05.01.2013 Views

Math 320 - Fall 2010 HW #7 Selected Solutions Problem 5.1.32 Let ...

Math 320 - Fall 2010 HW #7 Selected Solutions Problem 5.1.32 Let ...

Math 320 - Fall 2010 HW #7 Selected Solutions Problem 5.1.32 Let ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Math</strong> <strong>320</strong> - <strong>Fall</strong> <strong>2010</strong><br />

<strong>HW</strong> <strong>#7</strong> <strong>Selected</strong> <strong>Solutions</strong><br />

<strong>Problem</strong> <strong>5.1.32</strong><br />

<strong>Let</strong> y1 and y2 be two solutions of A(x)y ′′ + B(x)y ′ + C(x)y = 0 on an open interval I where A, B and<br />

C are continuous and A(x) is never zero.<br />

(a) <strong>Let</strong> W = W (y1, y2). Show that<br />

A(x) dW<br />

dx<br />

= (y1)(Ay ′′<br />

2 ) − (y2)(Ay ′′<br />

1 )<br />

Then substitute for Ay ′′<br />

2 and Ay ′′<br />

1 from the original differential equation to show that<br />

A(x) dW<br />

dx<br />

= −B(x)W (x).<br />

(b) Solve this first-order equation to deduce Abel’s formula<br />

� �<br />

B(x)<br />

W (x) = K exp −<br />

A(x) dx<br />

�<br />

where K is a constant.<br />

(c) Why does Abel’s formula imply that the Wronskian W (y1, y2) is either zero everywhere or nonzero<br />

everywhere (as stated in [EP10, 5.1, Theorem 3])?<br />

(a) First, since y1 and y2 are solutions to the given differential equation, we have that the Wronskian<br />

W (y1, y2) = y1y ′ 2 − y ′ 1y2. This is a differentiable function of x (it’s the product and difference of<br />

differentiable functions), and so we can compute<br />

Then, we have<br />

dW<br />

dx = y′ 1y ′ 2 + y1y ′′<br />

2 − (y ′ 1y ′ 2 + y ′′<br />

1 y2) = y1y ′′<br />

2 − y ′′<br />

1 y2<br />

A(x) dW<br />

′′<br />

= A(x)(y1y 2 − y<br />

dx ′′<br />

1 y2) = y1(Ay ′′<br />

2 ) − y2(Ay ′′<br />

1 )<br />

as desired. Next, following the hint, observe that y1 is a solution to our given differential equation, so we<br />

have that A(x)y ′′<br />

1 + B(x)y ′ 1 + C(x)y1 = 0. Solving this for A(x)y ′′<br />

1 yields A(x)y ′′<br />

1 = −B(x)y ′ 1 − C(x)y1.<br />

Since y2 is also solution to our given differential equation, we can repeat this process and write A(x)y ′′<br />

2 =<br />

−B(x)y ′ 2 − C(x)y2. Substituting these quantities above, we obtain<br />

A(x) dW<br />

dx<br />

which is what we set out to show.<br />

= y1(Ay ′′<br />

2 ) − y2(Ay ′′<br />

1 ) = y1(−B(x)y ′ 2 − C(x)y2) − y2(−B(x)y ′ 1 − C(x)y1)<br />

= −B(x)y1y ′ 2 + B(x)y2y ′ 1<br />

= −B(x)(y1y ′ 2 − y ′ 1y2) = −B(x)W (x)<br />

(b) Next, observe that A(x)dW/dx = −B(x)W is a first order separable equation that we can solve using<br />

1


our techniques from earlier in the semester.<br />

dW −B(x)<br />

=<br />

W A(x) dx<br />

� �<br />

dW B(x)<br />

= −<br />

W A(x) dx<br />

�<br />

B(x)<br />

ln |W | + C1 = −<br />

A(x) dx<br />

�<br />

B(x)<br />

ln |W | = − dx + C<br />

A(x)<br />

Now, first assume that W > 0. Then we have ln |W | = ln W , and then, taking exp of both sides, and<br />

setting K = eC , we obtain<br />

� �<br />

B(x)<br />

W = exp −<br />

A(x) dx<br />

�<br />

e C � �<br />

B(x)<br />

= K exp −<br />

A(x) dx<br />

�<br />

In this case, note that K = eC is a positive constant.<br />

On the other hand, if W < 0, then ln |W | = ln −W , and so taking exp of both sides yields<br />

� �<br />

B(x)<br />

W = −K exp −<br />

A(x) dx<br />

�<br />

Now, since K = e C is positive, −K is negative. Then, we can label the value −K as the new constant<br />

K, and obtain the same formula as above W = K exp(− � B(x)/A(x) dx), except now the constant K<br />

is negative.<br />

Finally, if W = 0, then we don’t need to solve a separable equation (in fact, if you look at the<br />

separable equation above, it doesn’t make sense when W = 0 since we’re integrating 1/W ). However,<br />

in this case, when W = 0, we can still use our formula W = K exp(− � B(x)/A(x) dx) simply by<br />

setting K = 0.<br />

(c) [EP10, 5.1 Theorem 3] says something quite peculiar. It claims that the Wronskian W (y1, y2) of two<br />

solutions to a homogeneous second order linear equation is either always zero (in which case y1 and y2<br />

are linearly dependent), or, W (y1, y2) is never zero (in which case y1 and y2 are linearly independent).<br />

However, this seems to leave a gap - what if the Wronskian is sometimes zero, but not always zero?<br />

The formula we proved in [part (b)] explains why this can’t happen.<br />

� �<br />

B(x)<br />

W (x) = K exp −<br />

A(x) dx<br />

�<br />

We know that an exponential function is never zero. Thus, the Wronskian, when it exists, is either<br />

always non-zero (if K �= 0) or, always zero (if K = 0). There are no other possibilities, and so [EP10,<br />

5.1 Theorem 3] makes sense.<br />

2


<strong>Problem</strong> 5.1.51<br />

A second-order Euler equation is one of the form<br />

where a, b, c are constants.<br />

ax 2 y ′′ + bxy ′ + cy = 0, (1)<br />

(a) Show that if x > 0, then the substitution v = ln x transforms [Equation 1] into the constantcoefficient<br />

linear equation<br />

a d2y + (b − a)dy + cy = 0 (2)<br />

dv2 dv<br />

with independent variable v.<br />

(b) If the roots r1 and r2 of the characteristic equation of [Equation 2] are real and distinct, conclude<br />

that a general solution of the Euler equation in [Equation 1] is y(x) = c1x r1 + c2x r2 .<br />

Observe that [Equation 1] is a second order linear equation, but with non-constant coefficients. The point<br />

of this problem is to transform this non-constant equation into an equation with constant coefficients that<br />

we can easily solve.<br />

One important observation before we get started. The y ′ and y ′′ in [Equation 1] are derivatives with<br />

respect to x. We want to transform them into derivatives with respect to v, so we’ll have to apply the chain<br />

rule.<br />

(a) Note: There’s a slightly shorter way of doing this part; see the paragraph immediately<br />

before [part b]. Since v = ln x, we have x = e v . Then, since y is a function of x, we have<br />

y = y(x) = y(e v ), and so y is also a function of v. Thus, it makes sense to differentiate y with respect<br />

to v, but we must use the chain rule. Recall that if y(x) = y(g(v)), the chain rule can be written<br />

dy<br />

dv<br />

dy<br />

�<br />

� dx<br />

= �<br />

dx g(v) dv<br />

Where dy<br />

dx | g(v) simply denotes the derivative of y with respect to x evaluated at g(v). To obtain an<br />

expression d2 y<br />

dv 2 , we differentiate the above expression<br />

d2y dv2 = d2y dx2 �<br />

� dg dx<br />

�<br />

g(v) dv dv<br />

dy<br />

�<br />

� d<br />

+ �<br />

dx g(v)<br />

2x dv2 This expression follows from [Equation 3]: simply differentiate [Equation 3] with respect to v, using<br />

the product rule, and remember to apply the chain rule when differentiating dy<br />

�<br />

�<br />

dx�<br />

.<br />

g(v)<br />

Returning to the problem, suppose that x = e v , and so dx/dv = d(e v )/dv = e v . Then, y(x) = y(e v ),<br />

and so applying the chain rule above, we have<br />

dy dy<br />

�<br />

� dx<br />

= �<br />

dv dx ev dv<br />

= dy<br />

�<br />

�<br />

� e<br />

dx ev v<br />

d2y dv2 = d2y dx2 �<br />

� de<br />

�<br />

ev v dx dy<br />

�<br />

� d<br />

+ �<br />

dv dv dx ev 2x dv2 = d2y dx2 �<br />

�<br />

�<br />

ev eve v + dy<br />

�<br />

� de<br />

�<br />

dx ev v<br />

dv<br />

= d2y dx2 �<br />

�<br />

� e<br />

ev 2v + dy<br />

�<br />

�<br />

� e<br />

dx ev v<br />

3<br />

(3)


Now, we wish to show that a d2y dv2 + (b − a) dy<br />

dv + cy = 0, so we simply substitute in the expressions we’ve<br />

computed for d 2 y/dv 2 and dy/dv.<br />

a d2 � 2 y<br />

d y<br />

+ (b − a)dy + cy = a<br />

dv2 dv dx2 �<br />

�<br />

� e<br />

ev 2v + dy<br />

�<br />

�<br />

� e<br />

dx ev v<br />

� �<br />

dy<br />

�<br />

�<br />

+ (b − a) � e<br />

dx ev v<br />

�<br />

+ cy<br />

= a d2y dx2 �<br />

�<br />

� e<br />

ev 2v + b dy<br />

�<br />

�<br />

�<br />

dx ev = a d2y dx2 �<br />

�<br />

� x<br />

x<br />

2 + b dy<br />

�<br />

�<br />

� x + cy<br />

dx x<br />

= ay ′′ x 2 + by ′ x + cy<br />

= 0<br />

e v + cy now, recall that x = e v<br />

We obtain the third from last line, since d 2 y/dx 2 |x is simply the second derivative of y with respect to<br />

x evaluated at x - in other words, our good old y ′′ , and similarly dy/dx|x is simply y ′ . The fact that<br />

the last line is 0 is simply because y is a solution to the original [Equation 1].<br />

Alternative: We can get the same derivation as above, going the other way, which has a little<br />

clearer notation. Suppose that y(v) is a function such that y(ln x) is a solution to [Equation 1]. We<br />

wish to show that ay ′′ (v) + (b − a)y ′ (v) + cy(v) = 0. To start off, note that (y(ln x)) ′ = y ′ (ln x)(1/x)<br />

and (y(ln x)) ′′ = y ′′ (ln x)(1/x 2 ) + y ′ (ln x)(−1/x 2 ). Then, we have the following:<br />

0 = ax 2 (y(ln x)) ′′ + bx(y(ln x)) ′ + cy(ln x)<br />

= ax 2 (y ′′ (ln x)(1/x 2 ) − y ′ (ln x)(1/x 2 )) + bxy ′ (ln x)(1/x) + cy(ln x)<br />

= ay ′′ (ln x) − ay ′ (ln x) + by ′ (ln x) + cy(ln x)<br />

= ay ′′ (ln x) + (b − a)y ′ (ln x) + cy(ln x)<br />

= ay ′′ (v) + (b − a)y ′ (v) + cy(v)<br />

(b) After transforming [Equation 1] to [Equation 2] we obtain a second order linear equation with constant<br />

coefficients. Thus, we can solve [Equation 2] simply by finding roots of the characteristic equation<br />

ar 2 + (b − a)r + c = 0. Suppose that we’re in a situation where this characteristic equation has distinct<br />

real roots r1 and r2. Then we know that a general solution to [Equation 2] is given by y = c1e r1v +c2e r2v<br />

(note that the independent variable here is v, since [Equation 2] has independent variable v).<br />

But since v = ln x, by substitution we have that<br />

y = c1e r1v + c2e r2v = c1e r1 ln x + c2e r2 ln x = c1x r1 + c2x r2<br />

is a solution to [Equation 1], which is what we set out to show.<br />

4


<strong>Problem</strong> (<strong>HW</strong> 7, <strong>Problem</strong> 2)<br />

Given one solution y1(x) to the ODE: (i) verify that y1(x) is a solution to the given ODE, and (ii) use<br />

the method of Reduction of Order to find the general solution:<br />

x 2 y ′′ − 4xy ′ + 6y = 0, x > 0, y1 = x 2<br />

4x 2 y ′′ − 4xy ′ + 3y = 0, x > 0, y1 = x 1/2<br />

x 2 y ′′ + xy ′ + y = 0, x > 0, y1 = cos(ln(x))<br />

For these problems we’ll use the following fact from reduction of order: If y1 is a solution to a second order<br />

linear differential equation y ′′ + p(x)y ′ + q(x)y = 0, then we can obtain the general solution yg = vy1, where<br />

the function v satisfies the differential equation v ′′ + v ′ (2y ′ 1 + y1p)/y1 = 0<br />

(a) We have y ′ 1 = 2x and y ′′<br />

1 = 2, so substituting we have x 2 2 − 4x(2x) + 6x 2 = 0, and so indeed y1<br />

is a solution. To find the general solution, we’ll use reduction of order. First, our given equation in<br />

standard form is y ′′ − (4/x)y ′ + (6/x 2 )y = 0. Then, we must find the unknown function v that satisfies<br />

v ′′ + v ′ (2y ′ 1 + y1p)/y1 = 0. Substituting, we wish to solve the differential equation<br />

v ′′ + v ′<br />

� �<br />

2 −4 4x + x x<br />

x2 = v ′′ = 0<br />

This equation is easy to solve: Integrating twice yields v = c1x + c2, and so our general solution is<br />

given by y = y1v = x 2 (c1x + c2) = c1x 3 + c2x 2 .<br />

(b) Proceeding exactly as before, we have y ′ 1 = (1/2)x−1/2 and y ′′<br />

1 = (−1/4)x−3/2 , and then 4x2 (−1/4)x−3/2− 4x(1/2)x−1/2 +3x1/2 = −x1/2−2x1/2 +3x1/2 = 0, and so y1 is indeed a solution. To find the general solution,<br />

we proceed with reduction of order with the standard form equation y ′′ −(1/x)y ′ +(3/(4x2 ))y = 0<br />

� �<br />

−1/2 1/2 x + x (−1/x)<br />

v ′′ + v ′<br />

x 1/2<br />

= v ′′ = 0<br />

Once again, we simply have to solve v ′′ = 0, and so integrating twice yields v = c1x + c2. Then, our<br />

general solution is given by y = vy1 = c1x 3/2 + c2x 1/2 .<br />

(c) We first verify that y1 is indeed a solution. We have y ′ 1 = − sin(ln(x))(1/x) and y ′′<br />

1 = −(cos(ln(x)))(1/x 2 )−<br />

sin(ln(x))(−1/x 2 ). Then, substituting, we have<br />

x 2 (−(cos(ln(x)))(1/x 2 )− sin(ln(x))(−1/x 2 )) + x(− sin(ln(x))(1/x)) + cos(ln(x))<br />

= − cos(ln x) + sin(ln x) − sin(ln x) + cos(ln x)<br />

= 0,<br />

and so y1 is a solution to our equation. In standard form our equation is given by y ′′ +y ′ /x+y/x 2 = 0.<br />

To find the general solution, we must find the function v that satisfies<br />

v ′′ ′ (2(− sin(ln x)(1/x)) + cos(ln x)(1/x))<br />

+ v = v<br />

cos(ln x)<br />

′′ ′ cos(ln x) − 2 sin(ln x)<br />

+ v = 0<br />

x cos(ln x)<br />

If we set w = v ′ , then this is a first order linear equation, so we can apply our techniques from earlier<br />

5


in the semester to solve it. First, let’s compute the integrating factor<br />

�� �<br />

cos(ln x) − 2 sin(ln x)<br />

µ(x) = exp<br />

dx u = ln x, du = 1/xdx<br />

x cos(ln x)<br />

�� �<br />

cos u − 2 sin u<br />

= exp<br />

du<br />

cos u<br />

= exp [u + 2 ln | cos u|]<br />

= e u ln | cos u|2<br />

e = e u (cos u) 2 = e ln x (cos(ln x)) 2 = x(cos(ln x)) 2<br />

Observe that we’re justified in removing our absolute values since, for any x, |x| 2 = x 2 . Proceeding<br />

further with the integrating factor method, we have<br />

d<br />

dx (v′ x(cos(ln x)) 2 ) = 0<br />

v ′ =<br />

c1<br />

x(cos(ln x)) 2<br />

Now, to find v we simply integrate once more<br />

�<br />

c1<br />

v =<br />

dx<br />

x(cos(ln x)) 2<br />

�<br />

c1<br />

v =<br />

cos<br />

u = ln x, du = 1/xdx<br />

2 u du<br />

�<br />

v = c1 sec 2 u du<br />

v = c1 tan u + c2<br />

v = c1 tan(ln x) + c2<br />

Then, we have that the general solution is given by y = vy1 = c1 tan(ln x) cos(ln x) + c2 cos(ln x) =<br />

c1 sin(ln x) + c2 cos(ln x).<br />

References<br />

[EP10] C. Henry Edwards and David E. Penney. Differential Equations & Linear Algebra. Prentice Hall,<br />

Third edition, <strong>2010</strong>.<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!