Under what circumstances does a linear differential equation have exactly one solution in $L^1$?

290 Views Asked by At

Nonhomogeneous linear differential equations can often be solved by Fourier transforming the differential equation into an algebraic equation which is easier to solve. However, this only gives one particular solution, while the general solution of a linear differential equation forms an affine space of the schematic form (particular solution) + (all solutions to homogeneous part). The usual story I've heard to explain this discrepancy is that typically only one particular solution is Lebesgue-integrable and therefore has as well-defined Fourier transform, and only this solution can be found by the Fourier transform method. (Fourier transforming a homogeneous differential equation typically just yields the trivial zero solution, or possibly a set of plane waves with discrete wave vectors.)

Is it true that linear differential equations generically only have one integrable solution? That's not at all obvious to me. If so, is there an easy way to see why? If not, which particular solution does the Fourier transform method find?

1

There are 1 best solutions below

2
On BEST ANSWER

For differential equations with constant coefficients (the ones that transform into algebraic equations), the nonzero homogeneous solutions are never integrable. They all take the form $$ \sum_i A_i x^{n_i}e^{k_ix}, $$ where the $k_i$ are some complex numbers. The $n_i$ are usually zero, but they are needed for cases where the characteristic polynomial has roots with multiplicity greater than one. Such functions either diverge to infinity in one direction or are pure sines and cosines, which have Fourier transforms in a sense but not what we're looking for here. Thus, there can be at most one solution in $L^1$, and if such a solution exists that's what the Fourier transform should find.

With nonconstant coefficients, the differential equation may indeed have integrable homogeneous solutions, such as $$ y'' - (x^2 -1) y = 0, $$ which has a Gaussian as a solution. These tend to be eigenfunctions of differential operators, and thus can be seen as somewhat special cases.