物理本文研究半无穷直线上热传导方程第一边值的非线性热源的反问题, 并通过对 Green 函数及其导数 的积分估计和Banach 不动点方法, 证明了非线性热源的局部可解性及唯一性