# What kind of vector space does the set of (complex/real) solutions of the following differential equation form?

I'm doing a multiple choice exercise and I'm stuck at a question, where there are two possible answers (may be both or none correct).

Consider the differential equation

$$y''+y'+y=0$$

for $y(x)$. Which of the following statements are true?

• The set of complex solutions forms a two-dimensional complex vector space.

• The set of real solutions forms a two-dimensional real vector space.

I'm really not comfortable with vector spaces and the differentiation of real and complex vector space makes me even more unconfident. I solved the differential equation with the ansatz $y(x) = e^{\lambda x}$ and got to $\lambda^2 + \lambda + 1 = 0$, an equation which does not possess any real solutions. However, when I proceeded, I figured that I could rewrite the exponential function (with complex exponent) with the help of the sine and the cosine, so in the end I got a general solution with no complex coefficients.

What kind of vector space is this?

-

4
Hint: How many parameters do you need to describe the solutions in each case? Beware, in the complex case, we're talking about complex parameters and in the real case, we're talking about real parameters. – Raskolnikov Dec 10 '10 at 19:05

3
@Huy: Those constants are the parameters. Your real solutions are all linear combinations of $e^{-x/2}\sin(\sqrt{3}x/2)$ and $e^{-x/2}\cos(\sqrt{3}x/2)$, so the dimension is at most $2$ (over $\mathbb{R}$); since the two are actually linearly independent... In the complex case, you have a similar situation but with your solutions being (complex)-linear combinations of $e^{(-1+\sqrt{3}i)x/2}$ and $e^{(-1-\sqrt{3}i)x/2}$. – Arturo Magidin Dec 10 '10 at 19:25

2
@Huy: Surely you can figure it out and be confident in your answer... If $ae^{(-1+\sqrt{3}i)x/2} + be^{(-1-\sqrt{3}i)x/2} = 0$ (the zero function), must $a=b=0$? If so, yes, they are linearly independent. If not, then that gives you a dependence. – Arturo Magidin Dec 10 '10 at 20:15

3
@Huy: Of course it has to be the zero function (notice I even said so). We are in a vector space of functions, so the zero vector is the zero function. We are checking linear independence of the functions. That means that for every $x$ you must get $0$ as the result, because we are assuming that the expression you have equals the zero vector/zero function. – Arturo Magidin Dec 10 '10 at 20:23

2
An important point that: the zero vector $\neq$ zero number. That's why I like the use of the notation $\vec{0}$ in this context. It makes things immediately clearer. – Raskolnikov Dec 10 '10 at 20:33
show 9 more comments

## 2 Answers

As Huy says, both statements are true.

Well, if you are a hammer, all the problems seem nails to you, but since this is a linear differential equation, Laplace transform again gives us the general solution in both, real and complex, cases.

$${\cal L}[y''] + {\cal L}[y'] + {\cal L}[y] = 0 \ \Longleftrightarrow \ (s^2 F(s) -sy(0) -y'(0) ) + (sF(s) -y(0)) + F(s) = 0 \ ,$$

where $F(s) = {\cal L}[y]$. Now, put $a= y(0)$ and $b= y'(0)$ and solve this equation for $F(s)$:

$$F(s) = \dfrac{as + (a+b)}{s^2+s+1} \ .$$

Since the polynomial $s^2+s+1$ has no real roots, the distinction between the real and complex cases arrives at this point.

In the complex case, you write

$$s^2 + s + 1 = (s-\alpha)(s-\beta) \ ,$$

where $\alpha = \dfrac{-1+i\sqrt{3}}{2}$ and $\beta = \dfrac{-1-i\sqrt{3}}{2}$ are the roots of your characteristic polynomial. Hence the solution of your differential equation is

$$y(t) = A{\cal L}^{-1} \left[\dfrac{1}{s-\alpha} \right] + B {\cal L}^{-1} \left[\dfrac{1}{s-\beta} \right] = A e^{\alpha t} + B e^{\beta t} \ ,$$

where $A$ and $B$ are complex numbers, depending on $a , b$, which again I let you the pleasure to compute :-) .

Anyway, the fact is that the solution of your differential equation is the $\mathbb{C}$-linear span of two linearly independent complex functions

$$e^{\alpha t} \qquad \text{and} \qquad e^{\beta t} \ .$$

Thus a $\mathbb{C}$-vector space of dimension two.

In the real case, you write

$$s^2 + s + 1 = \left(s + \frac{1}{2} \right)^2 + \frac{3}{4}$$

and this time, the solution set of your differential equation is

$$y(t) = A {\cal L}^{-1} \left[ \frac{s + \frac{1}{2}}{ \left( s+ \frac{1}{2} \right)^2+ \frac{3}{4} } \right] + B {\cal L}^{-1} \left[ \frac{ \frac{\sqrt{3}}{2}}{ \left( s+ \frac{1}{2} \right)^2+ \frac{3}{4} } \right] = A e^{-\frac{t}{2}}\cos \left( \frac{\sqrt{3}}{2}t\right) + B e^{-\frac{t}{2}}\sin \left( \frac{\sqrt{3}}{2}t\right) \ ,$$

where $A$ and $B$ are real numbers, depending on $a,b$, which... Anyway again: the solution set is the $\mathbb{R}$-linear span of two linearly independent real functions

$$e^{-\frac{t}{2}}\cos \left( \frac{\sqrt{3}}{2} t \right) \qquad \text{and} \qquad e^{-\frac{t}{2}}\sin \left( \frac{\sqrt{3}}{2} t \right) \ .$$

Thus, a real vector space of dimension two.

Alternatively, you could read what Wikipedia says about linear differential equations.

-

Both statements are true.

-

You could write up your answer. Then you may even get some feedback on cleaning it up. – Arturo Magidin Dec 11 '10 at 7:09
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 31, "mathjax_display_tex": 9, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9166526198387146, "perplexity_flag": "head"}