0
$\begingroup$

DE: $y^{(4)} - 4y''' + 3y'' + 4y' - 4 = 0$, $y(0) = 1, y(\infty) = 0$

obvoiusly, solution is $y(x) = c_1e^x + c_2e^{-2x} +c_3e^{2x} + c_4xe^{2x}$

I dont understand why $y(\infty) = 0$ implies $c_1 = c_2 = c_3 = 0$

Why is this true??

  • 1
    I assume you mean $c_1 = c_3 = c_4 = 0$. In fact, $c_2 = 1$, from the other initial condition.2012-10-15

1 Answers 1

2

If $c_1$ or $c_3$ or $c_4$ were non-zero, then $\lim_{x \to \infty} y(x)$ would be $\pm \infty$ or not defined.

For instance, consider the case when $c_3 = c_4 = 0$. Then the solution is $y(x) = c_1 e^x + c_2 e^{-2x}$. $\lim_{x \to \infty} y(x) = \lim_{x \to \infty} \left(c_1 e^x + c_2 e^{-2x} \right) = \lim_{x \to \infty} c_1 e^x + 0 = \text{sign} (c_1) \times \infty$

Next consider the case when $c_4 = 0$. Then the solution is $y(x) = c_1 e^x + c_2 e^{-2x} + c_3 e^{2x}$. $\lim_{x \to \infty} y(x) = \lim_{x \to \infty} \left(c_1 e^x + c_2 e^{-2x} + c_3 e^{2x}\right) = \lim_{x \to \infty} \left(c_1 e^x + c_3 e^{2x}\right)= \text{sign} (c_3) \times \infty$