Determination of compactly supported sources for the one-dimensional heat equation

The inverse problem of determining a source in the one-dimensional heat equation in the case of a Dirichlet boundary value problem is investigated. The trace of the solution of the direct problem on straight-line segments inside the domain at the final time is specified as overdetermination (i.e., additional information on the solution of the direct problem). A Fredholm alternative theorem for this problem is proved, and sufficient conditions for its unique solvability are obtained. The inverse problem is considered in classes of smooth functions with derivatives satisfying the Hölder condition.