.Solving the Exact Equation P(x)y"+Q(x)y'+R(x)y=0

  • Context: Graduate 
  • Thread starter Thread starter physicsss
  • Start date Start date
Click For Summary
SUMMARY

The equation P(x)y'' + Q(x)y' + R(x)y = 0 is classified as exact if it can be expressed in the form (P(x)y')' + (f(x)y)' = 0, where f(x) is derived from P(x), Q(x), and R(x). The necessary condition for exactness is established as P''(x) - Q'(x) + R(x) = 0. The discussion also covers the integration of the exact form to yield a first-order linear equation, which can be solved using an integrating factor. Participants shared insights on equating coefficients and finding integrating factors for specific differential equations.

PREREQUISITES
  • Understanding of differential equations, specifically second-order linear equations.
  • Familiarity with the concept of exact equations in the context of differential equations.
  • Knowledge of integration techniques and the use of integrating factors.
  • Ability to manipulate and equate coefficients in polynomial expressions.
NEXT STEPS
  • Study the derivation and application of the necessary condition for exactness in differential equations.
  • Learn about integrating factors and their role in solving first-order linear differential equations.
  • Explore the method of undetermined coefficients for solving linear differential equations.
  • Investigate specific examples of exact equations and practice solving them using the discussed techniques.
USEFUL FOR

Mathematicians, physics students, and engineers who are working with differential equations, particularly those focusing on exact equations and their solutions.

physicsss
Messages
319
Reaction score
0
The equation P(x)y"+Q(x)y'+R(x)y=0 is said to be exact if it can be written in the form [P(x)y']'+[f(x)y]'=0, where f(x) is to be determined in terms of P(x), Q(x), and R(x). The latter equation can be integrated once immediately, resultingin a first order linear equation for y that can be solved. By equating the coefficients of the preceding equations and then eliminating f(x), show that a necessary condition for exactness is P"(x)-Q'(x)+R(x)=0.

I don't understand how to equate the coefficients and I was stuck after taking the integral of [P(x)y']'+[f(x)y]'=0 and got [P(x)y']+[f(x)y]=0
 
Physics news on Phys.org
all right, let's start with the basics:
1. Py'' + Qy' + Ry = 0

is said to be exact if it can be written in the form
2. (My')' + (Ny)' = 0

Where P, Q, R, M, N, are functions only of x.
prime is derivative wrt x. and we have existence
of M'', P'', N', Q'. and until I know better assume
none of the above is 0.

if we take the derivatives indicated in 2.
M'y' + My'' + N'y + Ny' = 0
or

My'' + (M' + N)y' + N'y = 0.
Py'' + Qy' + Ry = 0

now try equating the coefficients and generating
the necessary condition. [in this case, you need
to eliminate both M, and N.]


to solve (My')' +(Ny)' = 0
we integrate once to get My' + Ny = C
where C is an integration constant

we can put this in standard form
y' + (N/M)y = C/M

this is solvable by picking a suitable integrating factor...

[now, which conditions on P, Q, R, N, M were necessary?]
 
Last edited:
So [P(x)y']'+[f(x)y]'=0 -> P(x)y"+(P'(x)+f(x))y'+f '(x)y=0, and equating them I got:
P(x)=P(x),
Q(x)=P'(x)+f(x) -> f '(x)= -P"(x)+Q'(x)
R(x)= f '(x)

Then setting -P"(x)+Q'(x) = R(x) -> P"(x)-Q'(x)+R(x)=0

Will that suffice for showing the condition?
 
Last edited:
Another question: how do I find an integrating factor for the Diff. Eq y"+xy'+y=0?

I got it into this form: (y')'+(xy)'=0, integrated and got y'+(xy)=C. And I don't know where to go from here to find C.
 
qbert said:
My'' + (M' + N)y' + N'y = 0.
Py'' + Qy' + Ry = 0

Thanks Qbert. That's very interesting. Can I offer some help and kindly correct me if I'm wrong because this is new to me too.

Physicsss, look carefully at those two equations Qbert gave us. Very carefully. Isn't P=M, R is something, but look at the middle part:

Isn't Q equal to the derivative of M (which is P) plus the antiderivative of N' which is R? You know, if R is equal to N' then N is equal to the antiderivative of R. So one can look at an equation:

Py^{''}+Qy^{'}+Ry=0

and ask immediately: is the center function equal to the derivative of the first function plus the antiderivative of the third function? Is this correct Qbert?

Now, how about solving this equation which I'm working on too using this method:

x^2 y^{''}+(2x+\frac{1}{4} x^4)y^{'}+x^3y=0

Any initial condtions, say y(0.1)=0 and y'(0.1)=1 (stay away from singularity at x=0) or whatever initial conditions are easy.

Edit: I mean you Physicsss, not you Qbert.
 
Last edited:
physicsss said:
Another question: how do I find an integrating factor for the Diff. Eq y"+xy'+y=0?

I got it into this form: (y')'+(xy)'=0, integrated and got y'+(xy)=C. And I don't know where to go from here to find C.

Unless you have some additional conditions you can't- C is a "constant of integration". If you solve the first order equation y'+ xy= C, then you get another constant. That's what you would expect- when you solve a second order differential equation, you expect the general solution to involve two undetermined constants.

If the problem were y"+ xy'+ y= 0 with initial conditions: y(0)= 1, y'(0)= 0, then, taking x= 0 in y'+ xy= C, we get 0+ 0(1)= C or C= 0. That makes the equation y'+ xy= 0 which is easy (I cleverly chose y'(0)= 0 to get that!).
dy= -xy dx or dy/y= -xd so ln|y|= -x2+ D (D is the new constant of integration). We can write that as y= E exp(-x2 (E= exp(D)).
At x= 0 that becomes y= 1= E e0= E so E= 1 and the solution to this intial value problem is y(x)= exp(-x2).
 
Physicsss, where you at? Try and follow this one and then I have one for you to try if you want. The technique Qbert suggested is new to me so this is my first attempt at using such and applying it to an IVP:

For the equation:

Py^{''}+Qy^{'}+Ry=0

If it's exact we can immediately write:

(Py^{'})^{'}+(y\int R)^{'}=0

Example:

x^2y^{''}+(2x+\frac{1}{4}x^4)y^{'}+x^3y=0;\quad y(0.1)=0,\quad y^{'}(0.1)=1

Noting that the middle function is the sum of the derivative of the first function and the antiderivative of the last function, we can then say:

(x^2y^{'})^{'}+(\frac{1}{4}x^4y)^{'}=0

Taking antiderivatives:

\int (x^2y^{'})^{'}+\int(\frac{1}{4}x^4y)^{'}=\int 0

Yielding:

x^2y^{'}+1/4x^4y=c_1

Setting up this equation in the standard form to determine the integrating factor, we divide by x^2

y^{'}+1/4x^2y=c_1x^{-2}

The integrating factor is:

\sigma=Exp\left(\int 1/4 x^2dx\right)=e^{x^3/12}

Multiplying the ODE by \sigma converts the LHS to an exact differential:

d(e^{x^3/12}y)=c_1x^{-2}e^{x^3/12}

Integrating:

\int_{\xi=0.1,\zeta=0}^{\xi=x,\zeta=y} d(e^{\xi^3/12}\zeta)=c_1\int_{0.1}^{x}t^{-2}e^{t^3/12}dt

This yields:

e^{x^3/12}y(x)=c_1\int_{0.1}^x t^{-2}e^{t^3/12}dt

or:

y(x)=c_1e^{-x^3/12}\int_{0.1}^x t^{-2}e^{t^3/12}dt

So how do we find the constant? What about differentiating y(x) using Leibnitz's rule for the integral:

y^{'}(x)=c_1\left[e^{-x^3/12}\frac{d}{dx}\left(\int_{0.1}^x t^{-2}e^{t^3/12}dt\right)+\left(\int_{0.1}^x t^{-2}e^{t^3/12}dt\right)\frac{d}{dx}e^{-x^3/12}\right]

I know it's messy but try to follow it alright?

Now, we know from the IVP that the derivative at 0.1 is 1. Now look at the second sum. When we insert x=0.1 into the integral, that will be zero right? We're left with then:

y^{'}(x)=c_1e^{-x^3/12}\left(x^{-2}e^{x^3/12}\right)=\frac{c_1}{x^2}

Solving:

y^{'}(0.1)=\frac{c_1}{(0.1)^2}=1

We have c_1=0.01

Thus the solution is:

y(x)=0.01e^{-x^3/12}\int_{0.1}^x t^{-2}e^{t^3/12}dt

Now, there's nothing wrong with leaving it that way. Perfectly fine. You're comfortable with functions like Sin(x), Tan(x) right? What about a Sal(x)?

Let:

Sal(x)=\int_{0.1}^x t^{-2}e^{t^3/12}dt

Then the solution is simply:

y(x)=0.01e^{-x^3/12}Sal(x)

No different than using Sin(x) ok?

A plot is attached.

Now try this one:

6y^{''}+(\cos x) y^{'}-(\sin x) y=0; \quad y(0)=0,\quad y^{'}(0)=1

I have no idea how it will turn out. :smile:
 

Attachments

  • y in terms of sal(x).JPG
    y in terms of sal(x).JPG
    3.2 KB · Views: 561
Last edited:

Similar threads

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