Verify Solutions of Differential Equation y''-y=0

  • Context: MHB 
  • Thread starter Thread starter karush
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on verifying solutions to the differential equation \( y'' - y = 0 \) using the functions \( y_1(x) = e^x \), \( y_2(x) = \cosh{x} \), and \( y_3(x) = c_1 e^x + c_2 e^{-x} \). It is established that both \( y_1 \) and \( y_2 \) satisfy the equation, as their second derivatives equal the functions themselves. The hyperbolic cosine function is expressed in terms of exponentials, confirming its validity as a solution. The discussion also touches on the general solution represented by \( y_3 \).

PREREQUISITES
  • Understanding of differential equations, specifically second-order linear equations.
  • Familiarity with exponential functions and their derivatives.
  • Knowledge of hyperbolic functions and their definitions.
  • Ability to perform differentiation and solve equations involving derivatives.
NEXT STEPS
  • Study the general solution of second-order linear differential equations.
  • Learn about the properties and applications of hyperbolic functions.
  • Explore methods for solving differential equations using characteristic equations.
  • Investigate the role of initial conditions in determining specific solutions to differential equations.
USEFUL FOR

Students and educators in mathematics, particularly those focusing on differential equations, as well as anyone seeking to deepen their understanding of solutions to linear differential equations.

karush
Gold Member
MHB
Messages
3,240
Reaction score
5
Verify for each of the following that the given function is a
solution of the differentual equation
$$\displaystyle y''-y=0 \quad y_1(x)=e^x \quad y_2(x)=\cosh{x}$$

ok I don't understand the question exactly
the first only looks like possibility
 
Physics news on Phys.org
karush said:
Verify for each of the following that the given function is a
solution of the differentual equation
$$\displaystyle y''-y=0 \quad y_1(x)=e^x \quad y_2(x)=\cosh{x}$$

ok I don't understand the question exactly
the first only looks like possibility

You want to see if:

$$y_n''-y_n=0$$ where $$n\in\{1,2\}$$

In other words, are the given functions equal to their own second derivative?
 
MarkFL said:
You want to see if:

$$y_n''-y_n=0$$ where $$n\in\{1,2\}$$

In other words, are the given functions equal to their own second derivative?

would that be $y_1$ since $e^x$ is the function and its derivatives are always the same
 
karush said:

would that be $y_1$ since $e^x$ is the function and its derivatives are always the same

Yes:

$$\frac{d^2}{dx^2}\left(e^x\right)=e^x$$

What about the hyperbolic cosine function $y_2(x)$ ?
 
Don't know never did em.

Guess I cud W|A
 
karush said:
Don't know never did em.

Guess I cud W|A

Recall:

$$\cosh(x)\equiv\frac{e^x+e^{-x}}{2}$$

How about:

$$y_3(x)=c_1e^x+c_2e^{-x}$$ ?
 
MarkFL said:
Recall:

$$\cosh(x)\equiv\frac{e^x+e^{-x}}{2}$$

How about:

$$y_3(x)=c_1e^x+c_2e^{-x}$$ ?

No memories of it
I'll have to look it up
 
karush said:
No memories of it
I'll have to look it up

You can do the differentiation on the exponential definition of the function...

$$\cosh(x)=\frac{1}{2}\left(e^x+e^{-x}\right)$$

What about $y_3$?
 
$ y''-y=0;\\
\displaystyle\exp\int \, dx = e^x
\implies e^x(y''-y)=0
\implies e^x-e^x=0\\
y_1(x)=e^x
\implies (e^x)''-(e^x)=0
\implies (e^x)-(e^x)=0\\
y_2(x)=\cosh{x}
\implies (\cosh{x})''-(\cosh{x})=0
\implies (\cosh{x})-(\cosh{x})=0$\\

assuming $\frac{d^2}{dx^2}$

$\displaystyle \cosh(x)''
=\left(\frac{1}{2}\left(e^x+e^{-x}\right)\right)''
=\frac{1}{2}\left(e^x+e^{-x}\right)$ \\ \\

$\color{blue}{\tiny\textbf{Elementary Differential Equations and Boundary Value Problems}}$
$\color{blue}{\tiny\textsf{William E. Boyce, Edward P. Hamilton and Richard C. DiPrima }}$
 
Last edited:
  • #10
MarkFL said:
What about $y_3$?

I guess this question has gotten lost in all the excitement the first two times I asked it? Hopefully it is visible now. (Giggle)
 
  • #11
it wasn't asked!
 
  • #12
karush said:
it wasn't asked!

I asked it a total of 3 times. You kept ignoring me for some reason.

MarkFL said:
How about:

$$y_3(x)=c_1e^x+c_2e^{-x}$$ ?

MarkFL said:
What about $y_3$?

MarkFL said:
MarkFL said:
What about $y_3$?

I guess this question has gotten lost in all the excitement the first two times I asked it? Hopefully it is visible now. (Giggle)
 
  • #13
$\displaystyle y''-y=0\\
y_1(x)=e^x\\
y_2(x)=\cosh{x}\\
y_3(x)=c_1e^x+c_2e^{-x}\\
( c_1e^x+c_2e^{-x} )''-c_1e^x+c_2e^{-x} =\\
( c_1e^x+c_2e^{-x} )-( c_1e^x+c_2e^{-x} )=0$
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K