Zill Exact de
Zill Exact de
Zill Exact de
CHAPTER 2
2.4
dE
1
E.
dt
RC
Solve the DE subject to E(4) E 0.
EXACT EQUATIONS
REVIEW MATERIAL
Multivariate calculus
Partial differentiation and partial integration
Differential of a function of two variables
INTRODUCTION
is separable, we can solve the equation in an alternative manner by recognizing that the expression
on the left-hand side of the equality is the differential of the function f (x, y) xy; that is,
d(xy) y dx x dy.
In this section we examine rst-order equations in differential form M(x, y) dx N(x, y) dy 0. By
applying a simple test to M and N, we can determine whether M(x, y) dx N(x, y) dy is a differential of a function f (x, y). If the answer is yes, we can construct f by partial integration.
2.4
EXACT EQUATIONS
63
f
f
dx dy .
x
y
(1)
In the special case when f (x, y) c, where c is a constant, then (1) implies
f
f
dx dy 0 .
x
y
(2)
(3)
THEOREM 2.4.1
Let M(x, y) and N(x, y) be continuous and have continuous first partial
derivatives in a rectangular region R defined by a
x
b, c
y
d. Then a
necessary and sufficient condition that M(x, y) dx N(x, y) dy be an exact
differential is
M N
.
y
x
(4)
64
CHAPTER 2
PROOF OF THE NECESSITY For simplicity let us assume that M(x, y) and
N(x, y) have continuous rst partial derivatives for all (x, y). Now if the expression
M(x, y) dx N(x, y) dy is exact, there exists some function f such that for all x in R,
M(x, y) dx N(x, y) dy
M(x, y)
Therefore
f
,
x
f
f
dx dy.
x
y
N(x, y)
f
,
y
M
f
f
2 f
N
.
y
y x
y x x y
x
and
The equality of the mixed partials is a consequence of the continuity of the rst partial derivatives of M(x, y) and N(x, y).
The sufciency part of Theorem 2.4.1 consists of showing that there exists a
function f for which f x M(x, y) and f y N(x, y) whenever (4) holds. The
construction of the function f actually reects a basic procedure for solving exact
equations.
METHOD OF SOLUTION Given an equation in the differential form
M(x, y) dx N(x, y) dy 0, determine whether the equality in (4) holds. If it does,
then there exists a function f for which
f
M(x, y).
x
We can nd f by integrating M(x, y) with respect to x while holding y constant:
f (x, y)
M(x, y) dx g(y),
(5)
where the arbitrary function g(y) is the constant of integration. Now differentiate
(5) with respect to y and assume that f y N(x, y):
f
y y
g(y) N(x, y)
This gives
M(x, y) dx.
(6)
Finally, integrate (6) with respect to y and substitute the result in (5). The implicit
solution of the equation is f (x, y) c.
Some observations are in order. First, it is important to realize that the expression N(x, y) (y) M(x, y) dx in (6) is independent of x, because
N(x, y)
x
y
M(x, y) dx
Nx y x M(x, y) dx Nx My 0.
Second, we could just as well start the foregoing procedure with the assumption that
f y N(x, y). After integrating N with respect to y and then differentiating that
result, we would nd the analogues of (5) and (6) to be, respectively,
f (x, y)
N(x, y) dy h(x)
and
h(x) M(x, y)
N(x, y) dy.
2.4
EXACT EQUATIONS
65
Thus the equation is exact, and so by Theorem 2.4.1 there exists a function f (x, y)
such that
f
2xy
x
f
x2 1.
y
and
; N(x, y)
It follows that g(y) 1 and g(y) y. Hence f (x, y) x 2 y y, so the solution
of the equation in implicit form is x 2 y y c. The explicit form of the solution is
easily seen to be y c(1 x 2) and is dened on any interval not containing either
x 1 or x 1.
NOTE The solution of the DE in Example 1 is not f (x, y) x 2 y y. Rather, it is
f (x, y) c; if a constant is used in the integration of g(y), we can then write the solution as f (x, y) 0. Note, too, that the equation could be solved by separation of
variables.
f
x
and
N(x, y)
f
.
y
Now for variety we shall start with the assumption that f y N(x, y); that is,
f
2xe2y x cos xy 2y
y
f (x, y) 2x
e2y dy x
cos xy dy 2
y dy.
66
CHAPTER 2
Remember, the reason x can come out in front of the symbol is that in the integration with respect to y, x is treated as an ordinary constant. It follows that
f(x, y) xe 2y sin xy y 2 h(x)
f
e2y y cos xy h(x) e 2y y cos xy,
x
; M(x, y)
SOLUTION
y(0) 2.
f
y(1 x2)
y
f(x, y)
y2
(1 x 2 ) h(x)
2
f
xy2 h(x) cos x sin x xy2.
x
The last equation implies that h(x) cos x sin x. Integrating gives
1
h(x) (cos x)(sin x dx) cos2 x.
2
y
Thus
1
y2
(1 x2) cos2 x c1
2
2
or
y2 (1 x2) cos2 x c,
(7)
where 2c1 has been replaced by c. The initial condition y 2 when x 0 demands
that 4(1) cos 2 (0) c, and so c 3. An implicit solution of the problem is then
y 2 (1 x 2 ) cos 2 x 3.
The solution curve of the IVP is the curve drawn in dark blue in Figure 2.4.1;
it is part of an interesting family of curves. The graphs of the members of the oneparameter family of solutions given in (7) can be obtained in several ways, two of
which are using software to graph level curves (as discussed in Section 2.2) and
using a graphing utility to carefully graph the explicit functions obtained for various values of c by solving y 2 (c cos 2 x)(1 x 2) for y.
INTEGRATING FACTORS Recall from Section 2.3 that the left-hand side of
the linear equation y P(x)y f (x) can be transformed into a derivative when
we multiply the equation by an integrating factor. The same basic idea sometimes
works for a nonexact differential equation M(x, y) dx N(x, y) dy 0. That is, it is
2.4
EXACT EQUATIONS
67
(8)
is an exact differential. In an attempt to nd , we turn to the criterion (4) for exactness. Equation (8) is exact if and only if (M)y (N )x , where the subscripts
denote partial derivatives. By the Product Rule of differentiation the last equation is
the same as My y M Nx x N or
x N y M (My Nx).
(9)
(10)
We are still at an impasse if the quotient (My Nx )N depends on both x and y.
However, if after all obvious algebraic simplications are made, the quotient
(My Nx )N turns out to depend solely on the variable x, then (10) is a rst-order
ordinary differential equation. We can nally determine because (10) is separable as well as linear. It follows from either Section 2.2 or Section 2.3 that
(x) e ((MyNx)/N )dx. In like manner, it follows from (9) that if depends only on
the variable y, then
d Nx My
.
dy
M
(11)
In this case, if (N x My)M is a function of y only, then we can solve (11) for .
We summarize the results for the differential equation
M(x, y) dx N(x, y) dy 0.
(12)
(x) e
MyNx
dx
N
(13)
(y) e
NxMy
dy
M
(14)
4x x 3x 3
.
xy
xy y
68
CHAPTER 2
The integrating factor is then e 3dy/y e 3lny e lny y 3. After we multiply the given
DE by (y) y 3, the resulting equation is
3
xy 4 dx (2x 2 y 3 3y 5 20y 3) dy 0.
You should verify that the last equation is now exact as well as show, using the
method of this section, that a family of solutions is 12 x 2 y 4 12 y 6 5y 4 c.
REMARKS
(i) When testing an equation for exactness, make sure it is of the precise
form M(x, y) dx N(x, y) dy 0. Sometimes a differential equation
is written G(x, y) dx H(x, y) dy. In this case, rst rewrite it as
G(x, y) dx H(x, y) dy 0 and then identify M(x, y) G(x, y) and
N(x, y) H(x, y) before using (4).
(ii) In some texts on differential equations the study of exact equations
precedes that of linear DEs. Then the method for nding integrating factors
just discussed can be used to derive an integrating factor for
y P(x)y f (x). By rewriting the last equation in the differential form
(P(x)y f (x)) dx dy 0, we see that
M y Nx
P(x).
N
From (13) we arrive at the already familiar integrating factor e P(x)dx, used in
Section 2.3.
EXERCISES 2.4
In Problems 120 determine whether the given differential
equation is exact. If it is exact, solve it.
1. (2x 1) dx (3y 7) dy 0
2. (2x y) dx (x 6y) dy 0
3. (5x 4y) dx (4x 8y 3) dy 0
14.
1 3y x dydx y 3x 1
15.
x y
dy
1
y
2y cos 3x
2 4x3 3y sin 3x 0
x
dx x
7. (x y ) dx (x 2xy) dy 0
2
8.
1 ln x yx dx (1 ln x) dy
dy
2xe x y 6x 2
dx
2 3
1
dx
x 3y 2 0
2
1 9x dy
(x sin2 x 4xye xy ) dy
2
1y x ln y dy 0
1t t1 t
2
y
t
dt ye y 2
dy 0
2
y
t y2
2.4
y(1) 1
y(0) 1
24.
0,
y(0) e
1
dy
cos x 2xy
y(y sin x), y(0) 1
2
1y
dx
Discussion Problems
40. Consider the concept of an integrating factor used in
Problems 2938. Are the two equations M dx N dy 0
and M dx N dy 0 necessarily equivalent in the
sense that a solution of one is also a solution of the other?
Discuss.
41. Reread Example 3 and then discuss why we can conclude that the interval of denition of the explicit
solution of the IVP (the blue curve in Figure 2.4.1) is
(1, 1).
42. Discuss how the functions M(x, y) and N(x, y) can be
found so that each differential equation is exact. Carry
out your ideas.
y(0) 1
1
dy 0
x
x
dx N(x, y) dy 0
x y
2
2
sin x dy 0
y
37. x dx (x 2 y 4y) dy 0,
69
34. cos x dx 1
y(1) 1
EXACT EQUATIONS
Mathematical Model
45. Falling Chain A portion of a uniform chain of length
8 ft is loosely coiled around a peg at the edge of a high
horizontal platform, and the remaining portion of the
chain hangs at rest over the edge of the platform. See
Figure 2.4.2. Suppose that the length of the overhanging chain is 3 ft, that the chain weighs 2 lb/ft, and that
the positive direction is downward. Starting at t 0
seconds, the weight of the overhanging portion causes
the chain on the table to uncoil smoothly and to fall to
the oor. If x(t) denotes the length of the chain overhanging the table at time t 0, then v dxdt is its
velocity. When all resistive forces are ignored, it can
be shown that a mathematical model relating v to x is
70
CHAPTER 2
given by
dv
v2 32 x.
dx
46. Streamlines
(a) The solution of the differential equation
2.5
y2 x2
2xy
dx
1
dy 0
(x2 y2 ) 2
(x2 y2) 2
is a family of curves that can be interpreted as
streamlines of a uid ow around a circular object
whose boundary is described by the equation
x 2 y 2 1. Solve this DE and note the solution
f (x, y) c for c 0.
(b) Use a CAS to plot the streamlines for
c 0, 0.2, 0.4, 0.6, and 0.8 in three
different ways. First, use the contourplot of a CAS.
Second, solve for x in terms of the variable y. Plot
the resulting two functions of y for the given values
of c, and then combine the graphs. Third, use the
CAS to solve a cubic equation for y in terms of x.
SOLUTIONS BY SUBSTITUTIONS
REVIEW MATERIAL
Techniques of integration
Separation of variables
Solution of linear DEs
gives
dy
du
gx (x, u) gu(x, u) .
dx
dx
If we replace dydx by the foregoing derivative and replace y in f (x, y) by g (x, u), then
du
the DE dydx f (x, y) becomes g x (x, u) gu (x, u)
f (x, g(x, u)), which, solved
dx
du
for dudx, has the form F(x, u). If we can determine a solution u (x) of this
dx
last equation, then a solution of the original differential equation is y g(x, (x)).
In the discussion that follows we examine three different kinds of rst-order
differential equations that are solvable by means of a substitution.