Boundedness selects a Laplace transform at a singular endpoint

ID: boundedness-selects-a-laplace-transform-at-a-singular-endpoint

A bounded function on has a Laplace transform satisfying the displayed bound, by integration of . Consequently its Laplace transform cannot have a pole of order two or higher at . This can eliminate the arbitrary constant introduced when multiplication by turns an ordinary differential equation into a first-order differential equation for its Laplace transform.
For example, transforming with gives . An integrating factor yields
The bound forces , selecting . This selection can be justified without assuming unproved endpoint regularity for every solution: and have nonzero Wronskian on , so they form a fundamental system of solutions. Boundedness removes , and the limit at zero fixes the remaining coefficient. The endpoint limit by itself does not select a unique solution.

New to topics? Read the docs here!