Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2009/differential-equations/9/solution

Under the usual existence and boundary hypotheses for the Laplace transform,
The first formula requires a finite right limit and sufficient regularity for integration by parts; it is not to be applied blindly to the singular function . For that function and real , substitute :
Use the second transform identity to obtain
Take the time transform of the heat equation, with differentiation and boundary limits interpreted in the standard decaying heat-solution class. The initial value is zero, so . Transforming the constant flux gives . Decay selects the decreasing solution of the transformed ordinary differential equation, giving
Consequently
The boundary value follows by comparing with the transform of .
One can also check the decay and transform steps without relying on a merely pointwise limit under an improper integral. Using the complementary error function, the classical heat solution is
Differentiation verifies , , and for . Its integral representation gives and pointwise decay as . Thus supplies an integrable majorant, proving by dominated convergence. The same representation gives the required regularity for the transforms. This explicitly verifies that the solution selected by the decaying transformed equation lies in the intended heat-solution class.

New to topics? Read the docs here!