guide:66ce8e7053

[math] \newcommand{\ex}[1]{\item } \newcommand{\sx}{\item} \newcommand{\x}{\sx} \newcommand{\sxlab}[1]{} \newcommand{\xlab}{\sxlab} \newcommand{\prov}[1] {\quad #1} \newcommand{\provx}[1] {\quad \mbox{#1}} \newcommand{\intext}[1]{\quad \mbox{#1} \quad} \newcommand{\R}{\mathrm{\bf R}} \newcommand{\Q}{\mathrm{\bf Q}} \newcommand{\Z}{\mathrm{\bf Z}} \newcommand{\C}{\mathrm{\bf C}} \newcommand{\dt}{\textbf} \newcommand{\goesto}{\rightarrow} \newcommand{\ddxof}[1]{\frac{d #1}{d x}} \newcommand{\ddx}{\frac{d}{dx}} \newcommand{\ddt}{\frac{d}{dt}} \newcommand{\dydx}{\ddxof y} \newcommand{\nxder}[3]{\frac{d^{#1}{#2}}{d{#3}^{#1}}} \newcommand{\deriv}[2]{\frac{d^{#1}{#2}}{dx^{#1}}} \newcommand{\dist}{\mathrm{distance}} \newcommand{\arccot}{\mathrm{arccot\:}} \newcommand{\arccsc}{\mathrm{arccsc\:}} \newcommand{\arcsec}{\mathrm{arcsec\:}} \newcommand{\arctanh}{\mathrm{arctanh\:}} \newcommand{\arcsinh}{\mathrm{arcsinh\:}} \newcommand{\arccosh}{\mathrm{arccosh\:}} \newcommand{\sech}{\mathrm{sech\:}} \newcommand{\csch}{\mathrm{csch\:}} \newcommand{\conj}[1]{\overline{#1}} \newcommand{\mathds}{\mathbb} [/math]

For a given differentiable function, we are frequently interested in an equation which contains the derivative of the function and which is true for every number in the domain of the function. These equations arise naturally in physics and in many applied branches of mathematics. An example of such an equation is obtained if [math]y[/math] is the function of [math]x[/math] defined by [math]y = 2e^{3x}[/math]. Since [math]\frac{dy}{dx} = 3(2e^{3x}) = 3y[/math], the equation

[[math]] \frac{dy}{dx} - 3y = 0 [[/math]]

holds for this particular function [math]y[/math] and all real values of [math]x[/math]. For another example, let [math]y[/math] be the function defined by [math]y = x^{3} - x^{2}[/math]. It is easy to verify by differentiation and substitution that the equation

[[math]] x \frac{dy}{dx} - 3y = x^2 [[/math]]

is true for this function and all real values of [math]x[/math]. The two equations in the preceding paragraph are examples of differential equations. They are called first-order differential equations because they involve the first derivative of the function but no higher derivatives. In each example above we started with a function and then found an equation containing its derivative. More commonly we encounter the differential equation and then set out to find the function. For example, for what function [math]y[/math] is the equation

[[math]] \frac{dy}{dx} = \frac{x}{y} [[/math]]

true for all values of [math]x[/math] in the domain of [math]y[/math]? If such a function exists, it is called a solution to the differential equation. Generally speaking, if a differential equation has one solution, it has infinitely many. We may be required to find one solution to a given differential equation, or possibly all solutions. Let us try to fix the ideas in the above examples by giving a general definition. Consider an equation in three variables [math]x[/math], [math]y[/math], and [math]z[/math], which we write

[[math]] F(x, y, z) = 0. [[/math]]

Not all the variables need occur in the equation, but at least [math]z[/math] must. Substituting [math]\frac{dy}{dx}[/math] for [math]z[/math], we obtain the equation

[[math]] \begin{equation} F \Bigl( x, y, \frac{dy}{dx} \Bigr) = 0, \label{eq5.5.1} \end{equation} [[/math]]

which is a first-order differential equation. This equation, however, is merely a formal statement of equality containing the symbols [math]x, y[/math], and [math]\frac{dy}{dx}[/math]. As such, it is neither true nor false. By a solution to (1) we mean any differentiable function [math]f[/math] such that the equation

[[math]] F(x, f(x), f'(x)) = 0 [[/math]]

is true for every [math]x[/math] in the domain of [math]f[/math]. The reader should realize, of course, that there is nothing sacred about the letters [math]x[/math] and [math]y[/math] which we have thus far used to denote the independent and dependent variable, respectively. For example, the differential equation

[[math]] t\frac{dx}{dt} + x = e^{t} [[/math]]

has for a solution the function of [math]t[/math] defined by [math]x = \frac{e^{t}}{t}[/math].

In this section we shall consider some simple types of first-order differential equations and the techniques for solving them. Other first-order differential equations and differential equations of higher order will be studied in Chapters 6 and 11. The first type to be studied has already been solved in this book. Let [math]f[/math] be a given continuous function, and consider the differential equation

[[math]] \begin{equation} \frac{dy}{dx} = f(x). \label{eq5.5.2} \end{equation} [[/math]]

A solution is any function [math]y[/math] with the property that its derivative is the functionf. That is, a function is a solution if and only if it is an antiderivative, or indefinite integral, of [math]f[/math]. Hence, if [math]F'(x) = f(x)[/math], we have

[[math]] \begin{equation} y = \int f(x) dx = F(x) + c, \label{eq5.5.3} \end{equation} [[/math]]

where [math]c[/math] is an arbitrary constant. Thus solving the differential equation is the same thing as finding the indefinite integral. As [math]c[/math] ranges over all real numbers, we get all antiderivatives and therefore all solutions to the differential equation (2). For this reason, (3) is called the general solution to the differential equation.

Example

Find the general solution of each of the following differential equations:

• [math]\frac{dy}{dx} = 3x^{2} + 2x - 1,[/math]
• [math]\frac{dx}{dt} = e^{t} - 1,[/math]
• [math]x \frac{dy}{dx} = (\ln x)^{2}.[/math]

Solving (a), we obtain

[[math]] y = \int (3x^{2} + 2x - 1) dx = x^{3} + x^{2} - x + c. [[/math]]

Similarly, for (b),

[[math]] x = \int (e^{t} - 1)dt = e^{t} - t + c. [[/math]]

As it stands, (c) is not in the form of (2). However, an equivalent equation is [math]\frac{dy}{dx} = \frac{1}{x}(\ln x)[/math], and so

[[math]] y = \int (\ln x)^{2} \frac{1}{x} dx. [[/math]]

The integral is of the form [math]\int u^{2} \frac{du}{dx}[/math], where [math]u = \ln x[/math]; hence

[[math]] y = \frac{(\ln x)^3}{3} + c. [[/math]]

The second type of differential equation which we consider in this section arises when we are given two continuous functions [math]f[/math] and [math]g[/math] and form the differential equation

[[math]] \begin{equation} \frac{dy}{dx} = \frac{f(x)}{g(y)}. \label{eq5.5.4} \end{equation} [[/math]]

A differential equation of this form is called separable. An equivalent equation is [math]g(y)\frac{dy}{dx} = f(x)[/math], where the variables have been “separated” in the sense that on the right we have a function of [math]x[/math] and on the left a function of [math]y[/math] and the derivative of [math]y[/math]. The differential equation can be readily solved provided we can find antiderivatives of [math]f[/math] and [math]g[/math]. From the latter equation we obtain

[[math]] \begin{equation} \int g(y) \frac{dy}{dx} dx = \int f(x)dx. \label{eq5.5.5} \end{equation} [[/math]]

Suppose that [math]F'(x) = f(x)[/math] and that [math]G'(y) = g(y) [/math]. That is,

[[math]] \begin{eqnarray*} \int f (x) dx &=& F(x) + c, \\ \int g(y)dy &=& G(y) + k. \end{eqnarray*} [[/math]]

Then it is also true that

[[math]] \int g(y) \frac{dy}{dx} dx = G(y) + k, [[/math]]

because, by the Chain Rule,

[[math]] \frac{d}{dx}[G(y) + k] = G'(y)\frac{dy}{dx} = g(y) \frac{dy}{dx}. [[/math]]

It follows from (5) that [math]G(y) + k = F(x) + c[/math]. This tells us that [math]G(y)[/math] and [math]F(x)[/math] differ by the constant [math]c-k[/math], which for convenience we rename simply [math]c[/math]. Therefore, we finally obtain the equation

[[math]] \begin{equation} G(y) = F(x) + c, \label{eq5.5.6} \end{equation} [[/math]]

which implicitly defines any solution [math]y[/math] of the original differential equation. Conversely, if we differentiate (6) with respect to [math]x[/math], we get (4) again:

[[math]] \begin{eqnarray*} \frac{d}{dx} G(y) = \frac{d}{dx} [F(x) + c], \\ G'(y) \frac{dy}{dx} = f (x), \\ g(y) \frac{dy}{dx} = f (x),\\ \frac{dy}{dx}= \frac{f(x)}{g(y)}. \end{eqnarray*} [[/math]]

Thus, for any value of the constant [math]c[/math], every differentiable function [math]y[/math] defined implicitly by (6) is a solution. Hence (6) defines the general solution to the separable differential equation (4).

Example

(a) Find the general solution to the differential equation [math]\frac{dy}{dx} = \frac{x}{y}[/math]. (b) Find the particular solution whose graph passes through the point (2, 1). This is a separable differential equation, and “separating variables” we replace it by the equivalent form [math]y\frac{dy}{dx} = x, y \neq 0[/math]. It follows that

[[math]] \int y \frac{dy}{dx} dx = \int x dx, [[/math]]

and, integrating both sides, we obtain

[[math]] \frac{y^{2}}{2} = \frac{x^{2}}{2} + c. [[/math]]

If we multiply by 2, we get [math]y^{2} = x^{2} + 2c[/math]. But twice an arbitrary constant is still an arbitrary constant, so we replace [math]2c[/math] by simply [math]c[/math]. Hence the general solution to [math]\frac{dy}{dx} = \frac{x}{y}[/math] is implicitly defined by the equation

[[math]] \begin{equation} y^2 = x^{2} + c. \label{eq5.5.7} \end{equation} [[/math]]

Solving for [math]y[/math] explicitly, we obtain

[[math]] y = \pm \sqrt{x^{2} + c} [[/math]]

as the answer to part (a). To find the particular solution that passes through (2, 1), we substitute [math]x = 2[/math] and [math]y = 1[/math] in (7) to get [math]1 = 4 + c[/math], whence [math]c = - 3[/math]. Since [math]y[/math] takes on the value 1, which is positive, we choose the positive square root, and the answer to part (b) is therefore the function defined by

[[math]] y= \sqrt{x^{2} - 3}. [[/math]]

A first-order differential equation [math]F \Bigl(x, y, \frac{dy}{dx} \Bigr) = 0[/math] is called linear if the corresponding function [math]F(x, y, z)[/math] is a polynomial of first degree in [math]y[/math] and [math]z[/math], i.e., if [math]F(x, y, z) = f(x)y + g(x)z + h(x)[/math]. Thus among the differential equations

[[math]] \begin{eqnarray*} \frac{dy}{dx} - 3y &=& 0, \\ x \frac{dy}{dx} - 3y &=& x^{2},\\ \frac{dy}{dx} &=& \frac{x}{y}, \end{eqnarray*} [[/math]]

the first two are linear and the third is not. The last type of differential equation which we study in this section is the simplest linear type,

[[math]] \begin{equation} \frac{dy}{dx} +ky = 0, \label{eq5.5.8} \end{equation} [[/math]]

where [math]k[/math] is an arbitrary constant. Actually every such differential equation is also separable, since it can be written in the form [math]\frac{dy}{dx} = -\frac{k}{1/y}[/math]. We treat it as a third type because it is linear and because it has many interesting applications. Solving it as a separable differential equation, however, we first replace it by the equivalent equation [math] \frac{1}{y} \frac{dy}{dx} = - k[/math]. Then

[[math]] \int \frac{1}{y} \frac{dy}{dx} dx = - \int k dx. [[/math]]

Integrating, we obtain

[[math]] \ln |y| = -kx + c, [[/math]]

which defines the general solution implicitly. Since the natural logarithm and the exponential are inverse functions, we can solve for [math]|y|[/math], getting

[[math]] \begin{equation} \begin{array}{rl} |y| &= e^{-kx+c} = e^{c} e^{-kx}, \\ y &= (\pm e^{c})e^{-kx}. \end{array} \label{eq5.5.9} \end{equation} [[/math]]

As [math]c[/math] takes on all real values, the quantity [math]e^c[/math] takes on all positive real values. Thus [math]e^c[/math] is simply an arbitrary positive constant, and [math]\pm e^{c}[/math] is therefore an arbitrary nonzero constant. The original differential equation [math]\frac{dy}{dx} + ky = 0[/math] certainly also has the constant function [math]y = 0[/math] as a solution. From this fact and (9) we conclude that the general solution to the linear differential equation (8) is

[[math]] \begin{equation} y = ce^{-kx} , \label{eq5.5.10} \end{equation} [[/math]]

where [math]c[/math] is an arbitrary constant.

Example

Let [math]x[/math] be the amount of radium present in a pile at time [math]t[/math]. Thus [math]x[/math] is a function of [math]t[/math]. It is known that the rate of radioactive decay of the pile of radium is proportional to the amount [math]x[/math] that remains in the pile. (a) Show that the length of time [math]T[/math] for an amount [math]x[/math] to diminish by radioactive decay to an amount [math]\frac{x}{2}[/math] is independent of [math]x[/math]. The number [math]T[/math] is called the half-life of radium. It is equal to approximately 1550 years. (b) If 0.01 grams of radium is present at [math]t = 0[/math], how much is present after 500 years? The rate of change of the amount of radium present with respect to time is given by the derivative [math]\frac{dx}{dt}[/math]. This is positive for growth and negative for decay. Since the rate of decay is proportional to the amount present, i.e., to [math]x[/math], we know that

[[math]] \frac{dx}{dt} = -kx, [[/math]]

where [math]k[/math] is some positive constant of proportionality. This is the differential equation governing the physical process. We have shown that the general solution is

[[math]] \begin{equation} x = ce^{-kt}, \label{eq5.5.11} \end{equation} [[/math]]

where [math]c[/math] is an arbitrary constant. If after an interval of time equal to [math]T[/math] the amount has dwindled to [math]\frac{x}{2}[/math] we have

[[math]] \frac{x}{2} = ce^{-k( t+T)}. [[/math]]

Solving this equation for x and using (11), we get [math]x = 2ce^{-k(t + T)} = ce^{-kt}[/math], from which it follows that [math]2e^{-kT} = 1[/math], or [math]2 = e^{kT}[/math]. Hence, [math]\ln 2 = \ln(e^{kT}) = kT[/math], and we conclude that

[[math]] T = \frac{\ln 2}{k}, [[/math]]

which is independent of [math]x[/math].

To do part (b), let us denote by [math]x_{0}[/math] the amount of radium present at time [math]t = 0[/math]. Hence from (11) we get

[[math]] x_{0} = ce^{-k \cdot 0} = c, [[/math]]

and so [math]x = x_{0}e^{-kt}[/math]. Since [math]k = \frac{\ln 2}{T}[/math], we obtain the formula

[[math]] x = x_{0}e^{-(\ln 2/T)t}, [[/math]]

which expresses the amount of radium present at time [math]t[/math] in terms of the original amount at time [math]t = 0[/math] and the half-life of radium. In our problem [math]x_{0} = 0.01[/math] grams, [math]t = 500[/math] years, and [math]T = 1550[/math] years. Hence, the answer is [math]x[/math] grams, where

[[math]] x = (0.01)e^{-(500/1550) \ln 2} = 0.008\; (\mbox{approximately}). [[/math]]

General references

Doyle, Peter G. (2008). "Crowell and Slesnick's Calculus with Analytic Geometry" (PDF). Retrieved Oct 29, 2024.