Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

For a differential equation like this with real coefficients: $$\frac{d^2y}{dx^2}+p \frac{dy}{dx}+q y = 0$$ By solving $$\lambda ^2+p\lambda +q = 0$$ we obtain two eigenvalue $\lambda_1 = a+bi$ and $\lambda_2 = a-bi$, if the discriminant $\Delta$ is smaller than 0. then if we want to obtain two real function solutions linearly independent,

$e^{ax}\cos(bx), e^{ax}\sin(bx)$

Then question is for a differential equation with solution space of dimension $d$, is there any guarantee that the real sub-solution space is also a space of dimension $d$. Is it always possible to find $d$ linearly independent real solutions?

I have to add that the above is just an example. What I'm asking is the general nth order ODE with n linearly independent complex solutions. Is the dimension of its real solution space the same with the complex one?

share|improve this question

2 Answers 2

Are you considering $d$ to be an arbitrary positive integer?

Then the answer is yes. In fact, one can show the following is true:

For the homogeneous equation with real coefficients: $$\tag{1}\def\sss{} a_{\sss n} y^{\sss(\!n\!)} +a_{\sss n\!-\!1} y^{\sss(\!n\!-\!1\! )} +\cdots+a_{\sss1} y' +a_{\sss0} y = 0,\quad a_n\ne0 $$

The characteristic polynomial (c.p.) is $$ \tag{2}a_{\sss n}x^n+a_{\sss n\!-\!1}x^{n-1} +\cdots+a_{\sss1}x +a_{\sss0} . $$

Find the roots and their multiplicities of (2).

If $c$ is a real root of (2) with multiplicity $k $, then $k$-independent solutions of (1) are $$ e^{ct}, xe^{ct}, x^2 e^{ct}, \ldots, x^{k-1}e^{ct} $$

If $a+bi$ is a complex root of (2) with multiplicity $k$, then $2k$-independent solutions of (1) are $$ e^{at}\sin (bt), x e^{at}\sin (bt), \ldots, x^{k-1} e^{at}\sin (bt) $$ $$ e^{at}\cos (bt), xe^{at}\cos (bt) , \ldots, x^{k-1}e^{at}\cos (bt) $$

Moreover, the set of all solutions found from the above will be independent (for instance, one can compute the Wronskian) and there will be $n$ of them (this follows from the Fundamental Theorem of Algebra).

The general solution to (1) is

$$y_c=c_{\sss 1}y_{\sss1}+c_{\sss2}y_{\sss2}+\cdots+c_{\sss n}y_{\sss n}$$

where $y_1$, $y_2$, $\ldots\,$, $y_n$ are the $n$-solutions found above.

share|improve this answer

If the differential equation is linear and all coefficients are real, then the real part and the imaginary part of a solution separately solve the equation, so in this case the dimension of the space of real solutions over $\mathbb R$ is the same as the dimension of the space of complex solutions over $\mathbb C$. However, if you make the coefficients complex, this is no longer the case, and you may get fewer real solutions.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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