9
$\begingroup$

Given a general n-th degree linear ODE, what's the easiest way to prove that there are precisely n linearly independent solutions?

$\endgroup$
8
  • 1
    $\begingroup$ This is not really appropriate for MO. You might have better luck with this question at math.stackexchange.com. $\endgroup$ Nov 4, 2010 at 19:26
  • 7
    $\begingroup$ I don't understand why this was closed. I'd bet if someone asked for the easiest proof of some standard result in another subject (e.g. Bezout's theorem for plane algebraic curves), there would be a host of responses. Mathematicians do interest themselves in questions like these, especially when teaching. I can't help but suspect that because the subject matter is differential equations, and not something nearer and dearer to the community's heart, the benefit of the doubt is not being given, and it is being assumed that this is some kind of homework thing and not a valid question. $\endgroup$
    – anon
    Nov 5, 2010 at 5:19
  • 6
    $\begingroup$ I agree with anon - I also don't think this deserves to be closed; it is a natural and important question, and well written. Call me stupid if you like, but it doesn't look obvious or trivial to me; in fact I don't even know any answer, I need to think about it. Note that ahh doesn't assume constant coefficients (and even that case is not completely trivial, needing exponentials of matrices and Jordan normal forms or similar). $\endgroup$
    – Zen Harper
    Nov 5, 2010 at 6:01
  • 1
    $\begingroup$ I think this result is proved in most undergraduate books on ODEs. Existence and uniqueness of a solution to an initial value problem for the ODE follows e.g. from the general Picard–Lindelöf theorem. And the Liouville formula implies that there are exactly $n$ linearly independent solutions (which correspond to any $n$ linearly independent initial data points). $\endgroup$ Nov 5, 2010 at 9:16
  • 2
    $\begingroup$ OK, so it's not really so difficult, as Andrey's comments make clear; but it's not a stupid question, and it's not trivial, and it's not the crazed ravings of a demented nutter, and it's of interest to mathematicians (to me, anyway). And maybe there is another nice direct proof for this special case, which could be interesting. Remember that we don't have uniqueness even for very simple nonlinear equations, so it's conceivable that maybe a new direct proof could be generalised to certain types of nonlinear equations. $\endgroup$
    – Zen Harper
    Nov 8, 2010 at 5:44

2 Answers 2

7
$\begingroup$

I don't know of an easy/easiest way to prove it for a general $n$th degree linear ODE, but it is worth pointing out that in the constant coefficient case you can get this from elementary linear algebra. The idea is that if $N$ is a positive integer and you have complex numbers $c_1, \dots, c_N$, then the solutions to the differential equation $$ \sum_{n=0}^N c_k y^{(k)} = 0 $$ (here $y^{(k)}$ denotes the $k$th derivative of $y$, interpreted as $y$ when $k=0$) are precisely the elements of the kernel of the operator $$ T = \sum_{n=0}^N c_k D^k $$ where $D$ is differentation, regarded as an operator on a vector space $V$ of functions (there is some freedom in what particular space you choose here; say the set of all infinitely differentiable functions $\mathbb{R} \to \mathbb{C}$). From the fundamental theorem of algebra, you know there are complex numbers $\omega, \omega_1, \dots, \omega_N$ with the property that the polynomial $\sum_{n=0}^N c_k z^k$ factors as $\omega \prod_{n=1}^n (z - \omega_n)$; it follows that your operator $T$ also factors, in the algebra of operators on $V$, as $$ T = \omega \prod_{n=1}^N (D - \omega_n I), $$ where $I$ denotes the identity operator on $V$.

The point is that each of the operators $D - \omega_n I$ has a one-dimensional kernel by basic calculus. (For any $k$, the function $f(t) = \exp(kt)$ is a solution to $y' = k y$, and if $g$ is any other, the quotient rule for derivatives shows that $(g/f)' = 0$. So by a standard argument involving the mean value theorem, $g/f$ is constant; so $\{f\}$ is a basis for $D - kI$.)

And it is a basic linear algebra fact that a product of $n$ operators with one-dimensional kernel, can have kernel of dimension at most $n$. (Follows from the more general assertion that if $S_1: V \to V$ and $S_2: V \to V$ are any operators, the dimension of the kernel of $S_1 S_2$ is at most the dimension of the kernel of $S_1$ plus the dimension of the kernel of $S_2$. This very easy consequence of the rank-nullity theorem--- and does not require $V$ to be finite dimensional.)

Why is the kernel of $T$ exactly $n$-dimensional? Well, just write down $n$ linearly independent elements in it, as they do in textbooks. (Of course, if you have the better sort of textbook, the entire argument just given is in there.)

For non-constant coefficients, factoring the corresponding differential operator is no longer the way you want to approach this. But for a lot of ODE, you can still get reasonably elementary theorems about the dimension of the kernel of the operator by applying some kind of transform (e.g. the Laplace transform) and getting in a position where it is just algebra again.

$\endgroup$
2
  • 1
    $\begingroup$ Your answer is not all that helpful, because if the OP didn't read to closely, they will not realize that just write down n linearly independent elements has a trick to it when numbers $\omega_i$ are not all distinct. $\endgroup$ Nov 5, 2010 at 4:19
  • 10
    $\begingroup$ If the OP isn't reading that closely, what would a helpful answer look like? $\endgroup$
    – anon
    Nov 5, 2010 at 5:10
5
$\begingroup$

By the uniqueness property of the Cauchy problem, and linearity.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.