MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question

closed as too localized by Andrey Rekalo, Will Jagy, Deane Yang, Qiaochu Yuan, Andrés E. Caicedo Nov 5 '10 at 2:39

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

This is not really appropriate for MO. You might have better luck with this question at – Qiaochu Yuan Nov 4 '10 at 19:26
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. – anon Nov 5 '10 at 5:19
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). – Zen Harper Nov 5 '10 at 6:01
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). – Andrey Rekalo Nov 5 '10 at 9:16
I agree with closure: if anon and Zen make decent arguments that the answer may be interesting, it's only truly the case if the question is carefully formulated to make it compelling. There may be something to say from the teaching angle, but that's not what is being asked, and anyway the status of questions about teaching on MO is unclear at best. – Thierry Zell Nov 5 '10 at 11:52

By the unicity of the Cauchy problem, and linearity.

share|cite|improve this answer

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.

share|cite|improve this answer
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. – Thierry Zell Nov 5 '10 at 4:19
If the OP isn't reading that closely, what would a helpful answer look like? – anon Nov 5 '10 at 5:10

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