Inspired by Matt DeCross

Calculus Level 4

d 2 y d x 2 = k y \large \dfrac{d^2y}{dx^2}=-ky

For which real numbers k k does there exist a non-zero real-valued function y = f ( x ) y=f(x) such that the differential equation above holds?


Inspiration .

The non-positive real numbers None of the others All real numbers The non-negative real numbers The perfect squares 1 , 4 , 9 , . . . 1,4,9,...

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Otto Bretscher
Mar 18, 2016

For any real k k , we have the non-zero complex-valued solution y = e k x y=e^{\sqrt{-k}x} . For k 0 k\leq 0 , this function is real-values and we are done. For k > 0 k>0 , we can use Euler's Theorem and observe that the real and imaginary parts of y = e k x = e i k x y=e^{\sqrt{-k}x}=e^{i\sqrt{k}x} = cos ( k x ) + i sin ( k x ) =\cos(\sqrt{k}x)+i\sin(\sqrt{k}x) will be non-zero solutions.

Moderator note:

From the theory of ODE, we know that local solutions exist. As such, the more interesting question is whether or not global solutions exist.

Hi Otto,how is it going?sorry, I just only wanted to comment that there is a wiki about this type of equations for interested people. It's only a copy of the re-copy of the re-copy of Differential equations with constant coefficients . Thanks anyway, see you soon.

Guillermo Templado - 5 years, 2 months ago

Log in to reply

Yes, this looks like a great resource.. clearly explained! Thank you, Guillermo!

Maybe you could mention Euler's Theorem in the context of non-real roots (Theorem 3)

Otto Bretscher - 5 years, 2 months ago

Log in to reply

Yes, I'm going to try to explain it ..., Due to we are treating with characteristic equations where the coefficients are real, if this equation has a complex root a + bi then a - bi is other root of the characteristic equation, and this leads us to e ( a ± b i ) x = e a x e ± i b x = e a x ( cos b x ± i sin b x ) e^{(a \pm bi)x} = e^{ax} \cdot e^{\pm ibx} = e^{ax} \cdot (\cos bx \pm i \sin bx) will be two independent solutions of the original differential equation. Also, due to a linear homogeneus differential equation of order n where the coefficients of the equation are real continuous functions has a general solution regarding of n linearly independent functions, we add constants(not necessaryly real) in front of these n linearly independent functions for generating one general solution... It's difficult for me to explain math with words... I don't know if my explanation helps you... Ask me more if you wish it.

Guillermo Templado - 5 years, 2 months ago

Log in to reply

@Guillermo Templado Yes, great explanation!

Otto Bretscher - 5 years, 2 months ago
Matt DeCross
Apr 11, 2016

Thanks for the shout-out! This problem brings up the interesting point for my problem that wavefunctions in quantum mechanics are expected to be bounded, even if they are not normalizable (c.f. plane wave eigenstates).

Guilherme Niedu
Mar 18, 2016

Applying the Laplace Transform, one gets:

s 2 Y ( s ) s y ( 0 ) y ˙ ( 0 ) = k Y ( s ) s^2 \cdot Y(s) - s \cdot y(0) - \dot{y}(0) = -k \cdot Y(s)

Y ( s ) = s y ( 0 ) + y ˙ ( 0 ) s 2 + k Y(s) = \frac{s \cdot y(0) + \dot{y}(0)}{s^2 + k}

Y ( s ) = 1 2 ( y ( 0 ) + y ˙ ( 0 ) k ) 1 s + k + 1 2 ( y ( 0 ) y ˙ ( 0 ) k ) 1 s k Y(s) = \frac{1}{2} \cdot (y(0) + \frac{\dot{y}(0)}{\sqrt{k}}) \cdot \frac{1}{s + \sqrt{k}} + \frac{1}{2} \cdot (y(0) - \frac{\dot{y}(0)}{\sqrt{k}}) \cdot \frac{1}{s - \sqrt{k}}

Which leads to:

y ( t ) = 1 2 ( y ( 0 ) + y ˙ ( 0 ) k ) e k t + 1 2 ( y ( 0 ) y ˙ ( 0 ) k ) e k t y(t) = \frac{1}{2} \cdot (y(0) + \frac{\dot{y}(0)}{\sqrt{k}}) \cdot e^{-\sqrt{k}t} + \frac{1}{2} \cdot (y(0) - \frac{\dot{y}(0)}{\sqrt{k}}) \cdot e^{\sqrt{k}t}

Which, in theory, only leads to positive values of k in order to y(t) be real.

However, if we choose y ( 0 ) = y ˙ ( 0 ) = 0 y(0) = \dot{y}(0) = 0 , we will get Y ( s ) = 0 Y(s) = 0 and, so, y ( t ) = 0 y(t) = 0 , which is also real, regardless of k

I'm looking for non-zero solutions y y , of course; that was a flaw in the wording of my problem that I have now corrected.

Are there non-zero solutions y y for all real k k ?

Otto Bretscher - 5 years, 2 months ago

Log in to reply

Sorry. Completing: If k < 0 k<0 and y ( 0 ) = 1 y(0) = 1 and y ˙ ( 0 ) = ± k \dot{y}(0) = \pm \sqrt{-k} :

Y ( s ) = s ± k ( s + k ) ( s k ) = 1 s ± k Y(s) = \frac{s \pm \sqrt{-k}}{(s + \sqrt{-k})\cdot(s - \sqrt{-k})} = \frac{1}{s \pm \sqrt{-k}}

Which leads to:

y ( t ) = e ± k t y(t) = e^{\pm \sqrt{-k}t}

Guilherme Niedu - 5 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...