0 < p < a,
0
0
354
Boundary Value Problems In Other Coordinate Systems 36.
CHAP. 7
In analyzing antenna radiation panerns for a system with a circular aperture the equation
1(z) = arises.
g(p)J0(pz)p dp
Solve this equation for the particular case when g(p) =
1
—
p2.
REFERENCES Bowman, F., Introduction to Bessel Functions. London: Longmans, Green, 1938. Gray, A., and G. B. Mathews, A Treatise on Bessel Functions and Their Applications to Physics, 2nd ed. New York: Dover, 1966. McLachlan, N. W., Bessel Functions for Engineers. London: Oxford University Press, 1934.
Sneddon, 1. N., Special Functions of Mathematical Physics and Chemistry, 3rd ed. London: Longman, 1980. Wyld, H. W., Mathematical Methods for Physics. Reading, Mass.: Benjamin, 1976.
Numerical Methods
8.1 INTRODUCTION Up to this point we have presented various analytical methods for solving
boundary-value problems. In all cases, however, the equations were linear, and the boundaries were those of regular regions, such as rectangles, circles, half-planes, semi-infinite strips, cylinders, spheres, and the like. In practice it is a rarity when a problem falls neatly into a class that can be solved by the methods we have discussed. Classical approaches may fail for one or more of the following reasons. I.
The partial differential equation is nonlinear and cannot be linearized
2. 3. 4. 5.
without seriously affecting the result. The boundary is irregular. Boundary conditions are of mixed types. Boundary values are time-dependent. Materials must be considered that are not homogeneous and isotropic. Some of the above can cause complexities that make any method except
a numerical one completely impractical. Of course, numerical methods also have a number of shortcomings, as we will see later. As an example of the difficulties that may arise in boundary-value problems, consider the following one involving a free.boundary. P.D.E.: B.C.:
— = 0, u(a, 1) = T,
uls(t), tJ =
0,
a <x < I
s(t),
t > 0;
I > 0,
a > 0.
> 0, t > 0, I),
= 355
NumerIcal Methods
356
CHAP. 8
the right-hand boundary is time-dependent, the left-hand boundary is constant, and the third condition expresses the law of conservation of energy. The above problem is called a one-phase Stefan problem.* Moving interfaces occur in problems involving water and melting ice or in the crystallization of liquids. In such problems the interface between solid and liquid phases moves as latent heat is absorbed or released there. For substances like water the solidification takes place at a fixed temperature so that the liquid and solid phases are separated by a sharp interface. For alloys, mixtures, and impure Here
materials the solidification or crystallization takes place over a range of temperatures. Thus instead of a sharp demarcation between the phases, there is a moving region consisting of two phases.
Further complications can occur due to the fact that the diffusivity coefficient k may vary with temperature (among other things) and the quantity
in the energy balance equation may be a function of density and the latent heat of melting (or solidification). Thus Stefan problems are nonlinear, and techniques such as superposition cannot be used. Under certain simplified con-
ditions, analytic solutions can be obtained,t but, in general, numerical methods are required.
8.2
A MONTE CARLO METHOD
We present first a numerical method that is unusual in that it uses a principle
from probability theory. Suppose that we need to solve a Dirichiet problem (V2u = 0 with the values of u known on the boundary) in the plane over a region R that has an irregular boundary C. In particular, we seek the value of u at some given point P. This is accomplished in the following way. We subdivide the region R by means of a grid (Fig. 8.2-la). Beginning at P, we move to one of the four neighboring points (Fig. 8.2-lb) with equal
probability. At the second stage we move again to one of the new four neighboring points with equal probability. Such a chain of moves is called a random walk. Starting at P. a random walk will eventually take us to a boundary
point; call it C1. An example of such a walk is shown in Fig. 8.2—2. Since the value of u is known at C1, we record it; call it u(Ci). We begin at P again and start a second random walk to obtain u(C2), and so on. The theory of probability tells us that the probability of reaching a part of the boundary that is near to P is greater than the probability of reaching a part of the boundary that is far from P. But this is just another way of saying that the boundary values near to P have a greater influence in determining u(P) *After Josef Stefan (1835—1893), an Austrian physicist. tSee M. N. Ozisik's, Heat Conduction (New York: John Wiley, 1980), Chapter 10.
357
A Monte Carlo Method
SEC. 8.2
P
(b)
(a)
Figure 8.2-1 (a) R subdivided by a grid. (b) The neighboring points of P. y
0 Figure 8.2-2 A random walk.
than those farther away. This statement can be readily verified by experiment in the case where R is a metal plate, u is temperature, and we seek the steadystate temperature at the point P. Hence after a large number of walks (say, 1 ,000) we would expect that the average value, '°°° 1
would be close to the desired value u(P). In the language of statistics this
average value is an unbiased estimate of the temperature at the point P. Thus we could conjecture that
u(P) = lim
(8.2-1)
NumerIcal Methods
358
CHAP. 8
The method described above is called a Monte Carlo method for solving a Dirichlet problem. It is especially useful if solutions at a few isolated points are desired. Usually, however, solutions at many points are required,
and of special importance are curves that connect points having the same value
of u. In a steady-state temperature problem these curves are called isothermals. Probabilistic methods such as the Monte Carlo method have enjoyed varying degrees of popularity. One of the earliest problems involving probability to generate some interest was Buffon's needle problem* in which the value of was determined by repeatedly dropping a needle on a board ruled with parallel lines.
Today, probabilistic methods with their questionable accuracy and their requirement of large storage capacity are not popular with workers utilizing high-speed computers. This seems somewhat contradictory in view of the fact that such computers arc ideally suited to these methods. Key Words and Phrases free boundary
Stefan problem grid
unbiased estimate Monte Carlo method isothermals
random walk
8.2 Exercises
•
What are the units of a in the one-phase Stefan problem of the text? Comment on ways in which the Monte Carlo method of the text can be made more accurate. 3. If the boundary C in the Monte Carlo method for solving a Dirichiet problem is an irregular one, it can be expected that the probability of a random walk terminating on C is small. Suggest how this difficulty may be overcome. 4. Generate a set of 100 pseudorandom numbers in the following way. Using a telephone directory, start at some page and record the last two digits of each telephone number at the top and bottom of each column. Divide each number in this set repeatedly? (if necessary) by four and record the remainder. This will produce a set like 12, 1, 0, 3, I, 2, 2, 0, 3, 5. Consider the Dirichlet problem over a rectangular plate measuring 10 cm by 20cm with one of the shorter sides held at temperature 1000 and the other three sides held at zero. Choose coordinate axes as shown in Fig. 8.2—3. Find the temperature 1.
2.
*Aftcr Comte Georges Louis Leclerc de Buffon (1707—1788), a French naturalist. tThe number 25 divided by 4 is 6, which can again be divided by 4, so the remainder is 2.
359
FInlte.Dlfference ApproxImations
SEC. 8.3
y 0
(20, 10)
•P(10,S)
100°
FIgure 8.2-3 the center of the plate by making ten random walks using the numbers generated in Exercise 4. The numbers can be interpreted as follows: at
0 1
2 3
move 2 cm to the right, move 2 cm up, move 2 cm to the left, move 2 cm down.
When one random walk is finished, continue in the set of numbers for the second random walk, and so on. If more numbers are needed, enlarge your set. 6. 7.
Solve the problem in Exercise 5 by the method of separation of variables. Then compare the analytical result with that found in Exercise 5. Given the following Dirichiet problem:
0<x
P.D.E.: B.C.:
v(0,y)=v(l,y)=0,
v(x,l)=0,
O
Oczy
v(x,0)=I,
0<x
Find v(l/4, 3/4) by the Monte Carlo method.
8.3
FINITE•DIFFERENCE APPROXIMATIONS
A widely used method for solving a Dirichlet problem begins with a transformation of the partial differential equation to a number of difference equations. The latter, being algebraic equations, are solved by one of the many methods available for solving a system of linear equations. One of these methods, called a relaxation method,* is described next. We
begin by noting that the derivative
— Fm
u(x +
'The method is also known as a German mathematician.
h) — u(x) Ii
—
u(x) — u(x — h) h
method after Karl 0. H. Liebmann (1874-1939),
CHAP. 8
Numerical Methods
360 can
be approximated at a given point x by the difference quotient, u(x + h) — u(x)
u(x — h)
or
h
h
provided that h is sufficiently small. Similarly,
d2u
Idu(x + h)
I
—
du(x)
dx
— — t.
dx
fu(x + h) — u(x)
i
u(x)
— u(x — h)1
h
i
h
Thus d2u dx2
h2
[u(x + h) — 2u(x) + u(x — h)].
If u is a function of two variables, x andy, then ô2zi,Y) + h,y) — 2u(x,y)
+ u(x
—
and ô2u(x,
h2 hence
[u(x,
y+
h) — 2u(x, y) + u(x, y —
the potential equation can be approximated as +
=
(u(x + h, y) + u(x, y + h) + u(x
—
h,
y) + u(x, y
—
h) — 4u(x,
y)]
= 0,
so that
u(x, y) =
[u(x + h, y) + u(x, y + h)
+ u(x — h, y) + u(x, y — h)]
(8.3-1)
is a finite-difference approximation to Laplace's equation at the point (x, y). in terms of a grid over the region R (Fig. 8.3—1) Eq. (8.3—1) shows that the value
of u at the point P is approximately the average of the values at the four neighboring points numbered 1, 2, 3, and 4. In other words, u(P) =
(u1 + u2 +
u3
+ U4).
(8.3-2)
This relation must hold at every point of the grid so that the method produces
a system of linear algebraic equations that can be solved with the aid of a com-
puter. Note that some of the grid points fall on the boundary and hence are known. If the boundary lies between two grid points, then linear interpolation can be used. in the relaxation method, initial values at interior points are assumed, then corrected as the computations progress. It should be pointed
361
Finite-Difference Approximations
SEC. 8.3
2::
y
—
.-
I
/ 0
Figure 8.3-1 Finite-difference approximation of Laplace's equation. out that the better the initial approximations, the more rapid the convergence.
We will apply the foregoing method to some problems in magnetic induction heating in Section 8.4. When using a finite-difference method to solve a problem involving a parabolic equation, additional complexities arise. In the one-dimensional but we diffusion equation, for example, we not only have to approximate also have to deal with ur. Although we are working in xt-space here, we do not necessarily want to subdivide these two variables in the same way as we did in the xy-space of the Dirichiet problem. If the diffusion problem is given as
0 <x < L,
u, =
I > 0,
(8.3-3)
then we can take space and time coordinates subdivided as follows:
x=i&, t=
i=0,I,2,...,N,
j = 0, 1,
2
This leads to
u(x, I) = u(i&, that is, subscripts will denote position and superscripts will denote time. With this notation the finite-difference approximation of at the (i, j)th node written in terms of a central-difference formula is (see Fig. 8.3—2) ii1
_,JL J
uxxIiJ =
where
represents
(MAv\2
'
terms* that are no greater than
•Omicting these terms leads to a truncalion error.
CHAP. 8
Numerical Methods
362
3
2
...
i—i
I 1+1-.. N—I N
x
FIgure 8.3-2 Finite-difference approximation of diffusion equation.
For the finite-difference representation of u, we use a forward-difference formula to obtain
ul
+
at the (i, j)th node. By using Eqs. (8.3—4) and (8.3—5) the diffusion
(8.3—5)
equation in
(8.3—3) becomes —
with an error of
ul
=k
— 2u4 + uI+1
Solving this last equation for
+
= rul1 + (1 — 2r)u'f + rul+j,
gives us (8.3—6)
where
r
(8.3—7)
Equation (8.3—6) is called the explicit form of the finite-difference representation of the diffusion equation because the temperature can be computed at the U + 1)st time step from a knowledge of the temperatures at the previous time step. For j = 0 we use the initial condition. If in Eq. (8.3—7) and are chosen so that r = 1/2, then Eq. (8.3-6) can be further simplified. It can be shown* that the value of r must not exceed *See C. F. Gerald's Applied Numerical Analysis, 2nd ed. (Reading, Mass.: AddisonWesley, 1978), Chapter 8.
363
FinIte-Difference ApproxImations
SEC. 8.3
1/2 in order that the method remain stable, that is, errors do not become larger. If we arrange things so that r = 1/2, then Eq. (8.3-6) takes on the particularly simple form given by =
(8.3—8)
+ u4+1).
We illustrate this with an example.
EXAMPLE 8.3—1 A large flat steel plate is 2 cm thick. The plate is initially at 100°C. Its faces are then held at 0°C. Find the internal temperatures as a func-
tion of position and time. Solution Since the plate is large, we can assume heat flow in one dimension. From tables we find that k = 0.1515 cm2/sec. In order to use Eq. (8.3—8) we = 0.132 sec. We observe that there is symmetry = 0.2 cm and will take about the line x = 1, allowing us to restrict our computations to the interval 0 x 1. In mathematical terms the problem can be stated as follows:
P.D.E.:
0;
0
=
1 > 0; u(0, 1) = u(2, I) = 0, 0 <x < 2. u(x, 0) = 100,
B.C.: 1.C.:
The computations can be arranged in a table from which we can read discrete values of u(x, 1).
•
i=x=0
x=0.2
x=0.4
x=0.6
x=0.8
o
o
20
40
60
80
0.132 0.264
0 0 0 0
20
40 40 40 37.5 37.5 34.38 34.38 31.26 31.26
60
80 70
0.3% 0.528 0.660 0.792 0.924 1.056 1.188
0
20 20 20 18.75 18.75 17.19
0 0
17.19 15.63
0
0
60
70 62.5
55 55
62.5 56.25 56.25 50.79 50.79
50 50
45.32 45.32 41.03
x=l.0 100
80 80 70 70 62.5 62.5
56.25 56.25 50.79
x=l.2 80
80 70 70
62.5 62.5 56.25 56.25 50.79 50.79
In contrast to the last finite-difference method we present next an imin the
plicit method. If we write the partial differential equation u, = form Ujj+1 — U,j
j+1
—k
U•.-1
—
, U1j+1
j+1
+ U1+i
83 9
-
can no longer solve for one of the temperatures in terms of known quantities. Equation (8.3—9) is obtained by representing in terms of finite differences at the ith node for the (j + l)st time step by using a centraldifference formula, whereas is represented at the (j + 1)st time step by we
using a backward-difference formula. In order to use Eq. (8.3—9) it is necessary
Numerical Methods
364
CHAP. 8
The advantage of the method, however, lies in the fact that it is stable for all values of & and thus removes one of the restrictions in the explicit method. A modification of the above implicit method uses the average value of the finite-diffcrcnce expressions for u,,,, in Eqs. (8.3—4) and (8.3—9). This modification is known as the Crank-Nicolson method. It has the advantages of being stable for all values of r in Eq. (8.3-7) and having a truncation error + (or discretization error) of the order of One serious disadvantage of a finite-difference method is that interpolation of some kind must be used to obtain solutions at points that are not this difficulty could be overcome by using a grid points. It would appear finer grid, but there is a limit to how fine a grid can be. At some stage in the computation the truncation and round-off errors can deteriorate the accuracy of the calculations. Moreover, the finer the grid, the greater the number of computations that have to be performed and the larger the amount of storage required. Limitations on the fineness of the grid also cause serious difficulties in the vicinity of a boundary that is irregular. In an attempt to correct these shortcomings of finite-difference methods a variational form of the method, called the finite-element method, has been developed. The finite-element method utilizes the relationship between Euler's equation in the calculus of variations and a partial differential equation. For example, Euler's equation for the functionalt
to solve a set of simultaneous algebraic equations for the
+ u3)dxdy
F[uJ =
(8.3-10)
is ui,, + u,,,, = 0, the potential equation. In other words, the function that minimizes the functional in Eq. (8.3—10) is harmonic. The significance of this is that the integrand in Eq. (8.3—10) can be written as I
grad u
12
and interpreted as kinetic energy. Thus it seems natural that the finite-element method has its origin in the field of solid mechanics and structural analysis. The Dirichlet problem over a region R having a boundary C can be solved by finding a function u that minimizes the integral in Eq. (8.3-10) and assumes the given values on C. This latter problem, while more complicated than a direct approach, has a number of aspects that lead to a more accurate solution. Instead of using square or rectangular grids, it is possible to use other configurations— for example, triangles of various sizes as shown in Fig. 8.3—3.
In this way the node lines may be a better approximation to the boundary. Furthermore, the sides of the triangles may be polynomials (called spline func-
*Given a set F of functions defined on an interval (a, bJ, we define a functional F(u] to be mapping from .F into the set of real or complex numbers that assigns a unique number to each function u ofF. (See Exercise 16.) a
FInite-Difference Approximations
SEC. 8.3
365
Figure 8.3-3 A triangular grid.
lions) so that even closer fits to ab irregular boundary may be achieved and differentiability at the nodes may be preserved as well. Details of the finite-element method and the variational principle on which it is based can be found in books listed at the end of this chapter. Key Words and Phrases difference equation relaxation method central-difference formula truncation error forward-difference formula explicit and implicit difference equations
stable method backward-difference formula Crank-Nicolson method Ilnite-element method functional spline function
8.3 Exercises
•
1.
The formula d2u
1
+ 2h) — 2u(x + h) + u(x)I
=
is known as a forward-dqfference formula, whereas the formula d2u 2
I
= 1,j[u(x
+ h) — 2u(x) + u(x — h)]
is known as a central-difference formula. Explain the meaning of these terms. 2.
Verify Eq. (8.3—6).
3.
Explain the units of k in Example 8.3-I.
4.
••
CHAP. 8
NumerIcal Methods
366
S
in Example 8.3-I. Consider the Dirichiet problem over a rectangular plate measuring 10 cm by 20 cm Explain why there is symmetry about the line x =
I
with one of the shorter sides held at temperature 1000 and the other three sides held at zero. Choose coordinate axes as shown in Fig. 8.2—3 in the exercises of Sec-
6. 7.
8.
tion 8.2. Divide the region into eight subregions by lines 5 cm apart parallel to the axes so that three interior points will be produced. (a) Use Eq. (8.3—2) to write a system of three algebraic equations. (b) Solve the system of equations in part (a). Compare the results in part (a) with those of Exercises 5 and 6 in Section 8.2. (C) In Exercise 5, change the grid spacing from 5 cni to 2.5 cm. How many interior points (and equations) are there now? Change the grid spacing of Exercise 5 to 3 cm, and solve the resulting system of equations. (Hint: Use symmetry.)
Show that the one-dimensional wave equation and initial conditions u,, g(x) can be approximated by the finite-difference u(x, 0) = f(x), u,(x, 0) equations 2U(x, 1) — U(x, t — k) + X2[U(x + ft. 1) — 2U(x, 1) + U(x — h, i)J, U(x, I + Ic) IJ(x, k) = kg(x) + f(x), U(x, 0) = f(x),
k/h. (Note: It can be shown that the convergence of U to u that X < I.) where X =
9. 10.
Use the relaxation method to find the potential at the interior nodal points, given that the potential on the boundary is as shown in Fig. 8.3-4. V2u = xy on the square region bounded by x = 0, x = 1, y 0, and 0 on the boundary. (a) A guitar string is 80 cm long. At a point 20 cm from one end it is raised 0.6 cm from its equilibrium position, then released from rest. Find the displacements of points along the string as a function of time. Let 10 cm, = 179 and a2 = 3.136 x lOu. (b) By determining the time required for one complete cycle of motion from part (a), compute the frequency with which the string vibrates. Solve
y = I. Use a spacing of 1/3, and take u 11.
requires
tO
10
Figure 8.3-4
10
12.
Consider the following problem:
0 <x < 1, U(l.t) =o.j t>O.
P.D.E.:
= U,,,
B.C.:
(a) (b)
1
> 0;
= 0,1
U(O, 1)
U,(x, 0) = 0, U(x, 0) = sin irx,
l.C.:
<
<
Solve the problem by the finite-difference method. Compare the solution in part (a) with the analytical solution u(x,
13.
367
FInite-Difference Approximations
SEC. 8.3
1)
=
sin irxcos irt.
Solve the following problem by the relaxation method:
O<x
P.D.E.: B.C.:
u(x,
O
0, 0
u(l, y) =
u(O, y)
= 0,
< I.
Divide the region so that there are nine interior points assumed to be zero initially, and carry the results to three decimals. (Hint: Use symmetry where possible.) 14.
A better approximation for the starting values at the interior points of Exercise 13 can be obtained by using the following: u(0.5, 0.25) = 0.75,
15.
u(0.5, 0.5) = 0.5,
u(0.5, 0.75) = 0.25.
Use these values and use linear interpolation and symmetry to obtain the remaining six starting values. Then solve the problem again, and contrast the number of iterations required with that in Exercise 13. Show that the finite-difference method can be extended to Poisson's equation
u
+
= f(x, y)
by changing Eq. (8.3—2) to
u(P) 16.
=
+ u2 + u3 + u4) —
Show that each of the following are functionals. dx [1) = a <x0 < b (b) I = f'(Xo), a <xo b (c) .9111 = f(x0), In Example 8.3—I, change the material from steel to copper (k = 1.14 cm2/sec), and explain how the solution changes. 0.516 m2/sec). Repeat Exercise 17 using firebrick (k When using a finite-difference representation of Laplace's equation in plane polar coordinates (Eq. 7.1-2), we can represent the coordinates (p, of a point Pat a node by (a)
17.
18. 19.
and
Then
u(p,
=
CHAP. 8
Numerical Methods
368
j=0
1=0
2
I
3
Figure 8.3-5 A grid In polar coordinates.
that the subscripts denote radial position and superscripts denote angular position. Using central-difference formulas and referring to Fig. 8.3-5, obtain the so
following approximations. (a)
(b)
ul_1 — 2u4 + uI.1
u4,9
=
V2u1
iJ
ur'
— uI—1
=
(C)
(d)
+
—
=
I
= (Ap)2
+
[(1
—
—
[ut1 —
2u1
+
(i
+
+
8.4 APPLICATION TO MAGNETIC INDUCTION There are many industrial applications of magnetic induction heating. Some of
these are the following: surface hardening of iron or steel parts subject to excessive wear; bonding of one metal on another; heating for soldering and brazing; through-heating for forging and upsetting. The sources of power for induction heating are high-frequency ac-generators. The high-frequency em! These vary from 3,000 to 450,000 Hz.
369
ApplIcation to Magnetic InductIon
SEC. 8.4
applied to an induction coil, which may be a multiturn hellcat ly wound coil or a copper forging, the equivalent of a single turn. In heating a cylindrical steel bar by induction the bar is placed within the induction coil and acts as a one-turn secondary of a high-frequency transformer. When the high-frequency sinusoidal voltage is impressed across the primary, a changing magnetic field is produced that cuts the bar. This field inis
duces an emf that causes a flow of current through the resistance of the bar and thus produces heat. This heating is called eddy-current heating.
The changing magnetic field also causes heating due to a hysteresis effect. The theory here is that the molecules of the bar, under the influence of the strong magnetic field, behave like tiny magnets and tend to change their positions so that their axes are parallel to the field in much the same way that a compass needle lines itself up with the direction of the earth's magnetic field. Since the field is built up and collapsed thousands of times a second, a considerable amount of molecular motion takes place in the bar, and this motion
also produces heat. Heating produced in this manner is called hysteresis heating. Above the Curie temperatures of 746°C, steel is nonmagnetic, so this heating effect vanishes at this temperature. In air the magnetic potential satisfies Laplace's equation, and the solution of this equation in the region within the coil results in equipotential surfaces. Of more interest, however, is the determination of the stream or flow surfaces, since these represent magnetic lines. If a longitudinal section is taken through the axis of the coil, then the problem resolves into the solution of a plane-harmonic equation subject to certain boundary conditions.
x+
Accordingly, if (1 is considered as a function of a complex variable we can define a conjugate harmonic Iunclionj such that
—H,=
and
=
Thus ,& is harmonic (Exercise I), and lines of constant
—
(8.4-1)
are magnetic lines.
We transform the partial differential equation + 8x2
8y2
=
into a finite-difference equation by means of Eq. (8.3-2). In Fig. 8.4-1 we show the interior portion of a typical induction coil. Only one fourth of the region is shown, since the remainder can be obtained from the symmetry of the figure. The magnetic lines in gausses are shown in air, the permeability being unity. As Fig. 8.4—1 indicates, the region of interest was covered by a square
grid, boundary values were calculated, and values at grid points were successively adjusted until Eq. (8.3—2) was satisfied at each point. After Pierre Curie (1859-1906). a French physicist whose early research was in the area of magnetism and piezoelectricity.
tSee Section 10.3 of the author's Advanced Engineering Mallteinaiics (Reading, Mass.: Addison.Wesley, 1982).
_______ ___________________
CHAP. 8
Numerical Methods
370
36.6
73.2
43.8
88.0
109.8
146.4
U!
I
182.2
212.4
50.2
1r
171.5
234.8
121.0
184.0
250.6
63.4 1127.4
193.0
261.2
65.8
132.0
199.2
268.4
67.4
135.2
203.6
273.4
55.7
40 60.0
0_F
1
°r °T1flY 68.6
137.4
206.6
276.8
69.4
138.8
208.6
279.0
69.8
139.6
209.8
280.6
0T I
0
X4
70.2
28L4 I
140.4
I
I
210.8
II
281.6
c.
-
Figure 8.4-1 Magnetic Induction lines
= 1).
Now, if a cylindrical steel bar is placed inside the induction coil, the value of will change at the interface between steel and air. At the boundary between the two media, Gauss' holds. This theorem states that if any closed surface is taken in the magnetic field, and if p.ôfJ/ôn denotes the component of magnetic induction at any point of this surface in the direction of the
outward normal, then
—47rEm,
(8.4-2)
4After Karl Friedrich Gauss (1777—1855), a German mathematician and physicist.
371
Application to Magnetic induction
SEC. 8.4
where E m is the sum of the strengths of all the poles inside this surface. Since
the surface does not Cut through any magnetized matter, m is the aggregate strength of the poles of complete magnetic particles and is therefore equal to zero. At the boundary at which the value of changes abruptly we may take a closed surface formed of two areas fitting closely about an element dS of the boundary with the two areas being on opposite sides of the boundary. Then, if is the permeability of air, 1L2 the permeability of steel, and n and n2 are the respective normals to the surfaces drawn into the two media, respectively, we have, from Eq. (8.4-2), 812
+
812
= 0.
(8.4-3)
Corresponding to Eqs. (8.4-1), we have
-B-
B—
and
012_ —
Referring to Fig. 8.4—2, we have for medium I (Exercise 2) 812
812
=
=
a,
cos
(x, n1) +
cos (x, n1) —
812.
sin (x, n1)
sin (x, n1)
—
V
Medium I
ni (v, n1)
x
Figure 8.4-2 Refraction at an interface.
CHAP. 8
Numerical Methods
372
Similarly, for medium 2,
on = that is,
We can write similar equations for the function
= OnI
OX
an
—
cos (x, cos
(x,
+
t3y
an
+
sin (x,
171)]
sin (x, n1)
Os
and also i 1L20172
—
an
—
OS
Thus the boundary condition expressed by Eq. (8.4-3) implies that
=
i
On/I
IL1
i . ,z2\13flJ2
(8.4-4)
It can be shown* that Eq. (8.4-4) can be implemented as follows: for nodal values of are multiplied by' I in points at the boundary between air and in steel, and (IL2 + l)/2IL2 along the interface. At other points the air, computations are carried out as in the previous example. In order to determine the effect of permeability on magnetic induction, computations were carried out for permeabilities of 2, 100, 300, and 1,000. The results are shown in Figs. 8.4—3, 8.4-4, 8.4-5, and 8.4-6, respectively. For = 300, values of were also calculated at intermediate points of the net, a process called "advance to a finer net." This technique is useful for obtaining a closer view in regions of particular interest. Up to this point the permeability of steel has been considered constant. It is known, however, that permeability varies with temperature, a fact that
further complicates the computation. We next indicate how variable permeability can be taken into account. We begin with a Ox
rather
( on\ Ox
a Oy
( ocz\
\IL Oy j
o
than with Laplace's equation. Introducing a conjugate function
defined by
an
IL-Ox = See
Oy
and
an
R. V. Southwell, Relaxation Methods in Theoretical
don Press, 1946).
Ox
Vol. I (Oxtord: Claren.
SEC. 8.4
Application to Magnetic InductIon
Figure 8.4-3 Magnetic Induction lines
and eliminating
373
= 2).
we obtain (Exercise 3)
(8.4—5)
ox \IL Ox)
Referring to Fig. 8.4—7, we can write the fcllowing finite difference approximations: — —
—
and
374
Numerical Methods
CHAP. 8
Q
$
160
200
7-
-
--
280
J
— -—Q
Figure 8.4-4 Magnetic induction lines
= 100).
Hence
18 fi
/i
i —
= ELI.
—
—
_L
—
Similarly,
[L (1
= °
—
—
-
375
Application to Magnetic Induction
SEC. 8.4
Thus the approximation to Eq. (8.4-5) is (Exercise 4) 1
liIj
+
1
+
1
1/'3
+
1
—1/14 —
(
+
1
L2.
+
1
+
= 0. (8.4-6)
In Eq. (8.4—6), values of the permeability must be known at points 1', 2', 3',
and 4', which are points midway between the nodal points of the net.
Figure 8.4-5 Magnetic induction lines
= 300).
AppLication to Magnetic Induction
SEC. 8.4
377
Our final example deals with the determination of the induced magnetic field in a cylindrical steel bar that is being heated by induction and whose sur-
face temperature is approximately 740°C. With the permeability varying as shown, the results are given in Fig. 8.4—8.
We have presented these examples of magnetic induction heating in order to illustrate how departures from idealized conditions can be treated numerically. There are, of course, other difficulties that we have ignored. For example, at high frequencies the induced eddy-currents are confined to a thin layer on the surface of the material, and this results in rapid surface heating accompanied by a corresponding increase in resistivity and a decrease in permeability.
36.6
73.2
44.0
88.4
L
C
40 I
51.2
102.8
C
C
C
—I 58.0
(05.8
146.4
j
7_
4
4
134.0
182 2
155.8
80 , 115.8
234.8
fl 20/r
64.8
128.8
189.6
160
C
c
72.4
2
205 0
80.0
7 7 T?
224.2
T 7?
150.4
Q
C
178.0
In Cl
C
1750
257.2
261.2
240 248.6
273.4
265.2
—r--
276.8
270
I I 189.4 1268.2
2720
' 279.0
fU 194.4
276.0
280.6
1
1
T
280 276.
III
IlL4
I
Pt 300 250 200 100 5
2780
28L4
2786
28L6
I
I
Figure 8.4-8 Magnetic induction lines (variable
CHAP. 8
Numerical Methods
378
Key Words and Phrases eddy-current heating
hysteresis heating Curie temperature
magnetic lines conjugate harmonic function
8.4 ExercIses
•
1.
2.
Use Eq. (8.4-1) to show that is harmonic as a consequence of Q being harmonic. Referring to Fig. 8.4—2, verify that
= 3.
Obtain Eq. (8.4-5).
4.
Show that Eq. (8.4—6) follows from the previous steps.
REFERENCES Monte Carlo Buslenko,
N. P.,
D. I.
Golenko, Y. A. Shreider,
1.
M. Sobol', and V. G.
Sragovich, Monte Carlo Method. New York: Pergamon, 1966. Hammersley, J. M., and D. C. Handscomb, Monte Carlo Methods. London: Methuen, 1967.
Finite-Difference Methods Ames, W. F., Numerical Methods for Partial D(fferential Equations. 2nd ed. New
York: Academic Press, 1977. Ferziger, .1. H., Numerical Methods for Engineering Application. New York: Wiley, 1981.
Forsythe, G. E., and W. R. Wasow, Finite-Djfference Methods for Partial D(fferen:ial Equations. New York: Wiley, 1960. Gerald, C. F., Applied NumericalAnalysis, 2nd ed. Reading, Mass.: Addison-Wesley, 1978.
Gustafson, K. E., Introduction to Partial Differential Equations and HUbert Space Methods. New York: Wiley, 1980. Ozisik, M. N., Heal Conduction. New York: Wiley, 1980. Smith, C. D., Numerical Solution of Partial Djfferential Equations: Finite DUjerence Methods, 2nd ed. Oxford: Clarendon Press, 1978. Equations Zachmanoglou, E. C., and D. W. Thoe, Introduction to Partial with Applications. Baltimore: Williams and Wilkins, 1976. Finite-Element Method Gladwell, I., and R. Wait (eds.), A Survey of Numerical Methods for Partial hal Equations. Oxford: Clarendon Press, 1979.
ApplIcation to Magnetic Induction
SEC. 8.4
379
Huebner, K. H., Finite Element Method for Engineers. New York: Wiley, 1975.
Johnson, L. W., and R. D. Riess, Numerical Analysis, 2nd ed. Reading, Mass.: Addison-Wesley, 1982.
Lapidus, L., and G. F. Pinder, Numerical Solution of Partial Dtfferential Equations in Science and Engineering. New York: Wiley, 1982. Martin, H. C., and G. F. Carey, Introduction to Finite-Element Analysis. New York: McGraw-Hill, 1973.
Ural, 0., Finite Element Method: Basic Concepts and Appilcallons. Scranton, Pa.: International Textbook, 1973.
Zienkiewicz, 0. C., and 1. K. Cheung, The Finite Element Method in Engineering Science. New York: McGraw-I-lu, 1971. Variational Principles
Chester, C. R., Techniques in Partial Djfferential Equations. New York: McGrawHill, 1971.
Friedman, A., Variational Principles and Free-Boundary Problems. New York: Wiley, 1982.
Hildebrand, F. B., Advanced Calculus for Applications, 2nd ed. Englewood Cliffs, N.J.: Prentice-Hall, 1976. Lebedev, N. N., 1. P. Skalskaya, and Y. S. Uflyand, Worked Problems in Applied Mathematics. New York: Dover, 1979. Sagan, H., Boundary and Eigen value Problems in Mathematical Physics. New York: Wiley, 1961.
Sneddon, 1. N., Elements of Partial Differential Equations. New York: McGraw-Hill, 1957.
General References
Brigham, E. 0., The Fast Fourier Transform. Englewood Cliffs, N.J.: Prentice-Hall, 1974.
Broman, A., Introduction to Partial Differential Equations from Fourier Series to Boundary- Value Problems. Reading, Mass.: Addison-Wesley, 1970.
Dettman, J. W., Mathematical Methods in Physics and Engineering, 2nd ed. New York: McGraw-Hill, 1969. Duff, G. F. D., and D. Naylor, Djfferential Equations of Applied Mathematics. New York: John Wiley, 1966. Gladwell, 1., and R. Wait (eds.), A Survey of Numerical Methods for Partial Djfferential Equations. London: Clarendon Press, 1979.
Hanna, J. R., Fourier Series and Integrals of Boundary Value Problems. New York: John Wiley, 1982. Henrici, P., Discrete Variable Methods in Ordinary Differential Equations. New York: John Wiley, 1962. Hochstadt, H., The Functions of Mathematical Physics. New York: John Wiley, 1971. Jackson, D., Fourier Series and Orthogonal Polynomials (Carus Mathematical Monograph No. 6). New York: Mathematical Association of America, 1941. John, F., Partial Djfferential Equations, 4th ed. New York: Springer Verlag, 1981. Kovach, L. D., Advanced Engineering Mathematics. Reading, Mass.: Addison-Wesley, 1982.
Li, Wen-Hsiung, Engineering Analysis. Englewood Cliffs, N.J.: Prentice-Hall, 1960.
Maron, M. J., Numerical Analysis: A Practical Approach. New York: Macmillan, 1982.
Mikhlin, S. G. (ed.), Linear Equations of Mathematical Physics. New York: Holt, Rinehart and Winston, 1967. Miles, J. W., Integral Transforms in Applied Mathematics. Cambridge: Cambridge University Press, 1971.
Schechter, M., Modern Methods in Partial DUferential Equations: An Introduction. New York: McGraw-Hill, 1977.
Stromberg, K. R., An Introduction to Classical Real Analysis. Belmont, Calif.: Wadsworth, 1981.
Wilf, 14. S., Mathematics for the Physical Sciences. New York: John Wiley, 1962. 381
Appendix
Table I
Exponential and hyperbolic functions
x 0.00 0.05
0.10 0.15 0.20 0.25 0.30 0.35 0.40 0.45
e -x
sinh x
cosh x
1.00000 0.95123 0.90484 0.86071 0.81873 0.77880 0.74082 0.70469 0.67032 0.63763
0.0000 0.0500 0.1002 0.1506 0.2013
1.0000 1.0013 1.0050 1.0113
2.3396 2.4596
0.60653 0.57695 0.54881 0.52205 0.49659 0.47237 0.44933 0.42741 0.40657
0.5211 0.5782 0.6367 0.6967 0.7586 0.8223 0.8881 0.9561 1.0265
1.0000 1.0513 1.1052 1.1618 1.2214 1.2840
1.3499 1.4191 1.4918 1.5683
0.2526
0.3045 0.3572 0.4108 0.4653
1.0201 1.0314 1.0453
1.0619 1.0811
1.1030
0.50 0.55 0.60 0.65 0.70 0.75 0.80 0.85 0.90 0.95
1.6487 1.7333 1.8221 1.9155 2.0138 2.1170 2.2255
2.5857
0.38674
1.0995
1.4331 1.4862
1.00 1.05
2.7183
0.36788 0.34994
1.1752
1.5431
2.8577
1.10 1.15
3.0042
0.33287
1.2539 1.3356
1.6038 1.6685
3.1582 3.3201 3.4903
0.31664
1.4208
1.20 1.25
0.30119
1.5095
0.28650
1.30 1.35
3.6693 3.8574
0.27253 0.25924
1.6019 1.6984 1.7991
1.7374 1.8107 1.8884 1.9709
383
1.1276 1.1551 1.1855
1.2188 1.2552 1.2947 1.3374 1.3835
2.0583
Appendix
384
Table I (continued) x
ex
e -x
sinh x
cosh x
1.40 1.45
4.0552 4.2631
0.24660 0.23457
1.9043 2.0143
2.1509 2.2488
1.50 1.55 1.60 1.65 1.70 1.75 1.80 1.85 1.90 1.95
4.4817 4.7115 4.9530 5.2070 5.4739 5.7546 6.0496 6.3598 6.6859 7.0287
0.22313 0.21225 0.20190 0.19205 0.18268 0.17377 0.16530 0.15724 0.14957 0.14227
2. 1293
2.3524 2.4619 2.5775 2.6995 2.8283 2.9642 3.1075 3.2585 3.4177 3.5855
2.00 2.05 2.10 2.15 2.20 2.25 2.30 2.35 2.40 2.45
7.3891
7.7679 8.1662 8.5849 9.0250 9.4877 9.9742 10.4856 11.0232 11.5883
0.13534 0.12873 0.12246 0.11648 0.11080 0.10540 0.10026 0.09537 0.09072 0.08629
3.6269 3.8196 4.0219 4.2342 4.4571 4.6912 4.9370 5.4662 5.7510
3.7622 3.9483 4.1443 4.3507 4.5679 4.7966 5.0372 5.2905 5.5569 5.8373
12.1825 12.8071 13.4637 14.1540 14.8797 15.6426 16.4446 17.2878 18.1741 19.1060
0.08208 0.07808 0.07427 0.07065 0.06721 0.06393 0.06081 0.05784 0.05502 0.05234
6.0502 6.3645 6.6947 7.0417 7.4063 7.7894 8.1919 8.6150 9.0596 9.5268
6.1323 6.4426 6.7690 7.1123 7.4735 7.8533 8.2527 8.6728 9.1146 9.5791
20.0855
0.04979 0.04736 0.04505 0.04285 0.04076 0.03877 0.03688 0.03508 0.03337 0.03175
2.50 2.55 2.60 2.65 2.70 2.75 2.80 2.85 2.90 2.95
3.00 3.05 3.10 3.15 3.20 3.25
3.30 3.35
3.40 3.45
21.1153 22.1980 23.3361 24.5325 25.7903 27.1126 28.5027 29.9641 31.5004
2.2496 2.3756 2.5075 2.6456 2.7904 2.9422 3.1013 3.2682 3.4432
5. 1951
10.018 10.534 11.076 11.647 12.246 12.876 13.538 14.234 14.965 15.734
10.068 10.581 11.122 11.690 12.287 12.915 13.575 14.269 14.999 15.766
385
AppendIx
Table I (continued) x
e -x
ex
sinh x
cosh x
0.03020
16.543
16.573
0.02872
17.392
17.421
0.02732
18.286
18.313
0.02599 0.02472
19.224
19.250
3.70
33.1155 34.8133 36.5982 38.4747 40.4473
20.211
20.236
3.75
42.5211
0.02352
21.249
21.272
3.80
3.85
44.7012 46.9931
3.90
49.4024
3.95
51.9354
0.02237 0.02128 0.02024 0.01925
22.339 23.486 24.691 25.958
22.362 23.507 24.711 25.977
4.00 4.10 4.20 4.30 4.40
54.5982
0.01832
60.3403 66.6863 73.6998
0.01657
27.290 30.162
0.01500
33.336
0.01357
81.4509
0.01227 0.01111 0.01005 0.00910 0.00823
36.843 40.719 45.003
27.308 30.178 33.351 36.857
3.50
3.55 3.60 3.65
90.0171 99.4843
4.50
4.60
4.70
109.9472 121.5104 134.2898 148.4132
4.80 4.90 5.00
40.732
45.014
49.737 54.969 60.751
49.747
0.00745
67.141
67.149
0.00674
74.203
74.210
54.978
60.759
Table II Laplace transforms F(s)
exp (— SI) dt
=
s)
1(1)
a
1.—
a
S
2.I S2
3.
4.
5. 6.
1",
I'(a +
s2
7. --
+ a2 S
+ a2
1)
n a positive integer
a a real number, a > — 1
sin at cos
at
Appendix
386
Table II (continued) 1(1)
F(s)
8.--s—a 9. 10.
ii. 12.
exp (at)
1
texp (at)
(s — a)2
1' exp (at)
(s — a)
t" exp (at),
(s — a)
sinh at
S' — a'
cosh at
S' — a2
s+2a
14
cos' at
+ 402)
S' — 2&
cosh2 at
s(s2 — 4a') 2a2
16.
sin' at sinh' at
17.
202$
sin at sinh at
18
a(s' — 2a2)
•
cos at sinh at
+2a')
iz(s2
20
sin at cosh at
s'+4a4
21 •
cos at cosh at
+ 2as
22
t Sin at
+ a')'
•
23.
n a positive integer
—
a2
I cos at
(s' + a2)' 2as
2
t sinh at
—
2 5.
26 27
28.
t cosh at
(ç2 — a')'
(s— b)2 +a2
s—b (s —b)2+ a'
exp (bt) sin at
exp (bt) cos at exp (at) — exp (bt)
(S
—
—
b)
a—b
387
AppendIx
Table II (continued) f(1)
F(s) 29. 30.
31. 32.
S
a exp (at) — b exp (bi)
(s — a)(s — b)
a—b ab (c
(5 - a)(s — b)(s — C)
- a)(s - b)(s -. c)
(S
(cosh
— a)
(0, fort < a, (1, for t > a,
exp(—as)
38. (s2 + X2)_ttz 39.
J0(Xi)
—logt — C
log —
40.Iog 41. log
42.Iog 43.
at — 1)
I
36. exp (—as) 37.
b)e"' + (a — c)ebt + (b —
(I — cos at)
+ a2) —a2)
35.
—
(a — b)(a c)(c — b) a(b — c)e'' + b(c — a)eb + c(a — (a — b)(b — c)(a —
I
33.
b exp (at) — a exp (In) ab(a — b)
+
I
a)(s — b)
s(s
a
(1 — exp
s—a
(exp (bt) — exp (at))
b
s+--a
sinh at
s—a
arctan
(at))
ía
sin at exp
b>O
fib!)
46. F(s — b)
exp (bt)f(t)
47. s..Jk(s +
erf .Ikt,
48.
eri(ki) k > 0
[1
—
erfc (k/2V,),
49. 50. 2a(../s 51.
k>0
÷2a + —
k>0
I, (at) exp (— at) (X2 +
V > —1
a0
Appendix
Table lii Fourier transforms
f(a)
1(x) exp
=
(lax)
f(a)
dx
f(x)
2sinac
Xj < C,
1,
>
0,
C,
X1 — C a2 2.
a2 + x2
—h, —c
21/i
(1 — COS ac)
h,
0,
4.
0
<x <0,
<x <
exp (— x2/4a2)
exp (— a2a2)
5. 12 cos (a7/2))/(I — a2)
7/2,
;x,
>7/2
'k
6.
2i sin fl,ra
21
f'(x)
8.
f"(x)
f(a/a)
12.
f(ax)
1f(x/a)
10. 11.
> 177
0,
7. —iaf(a)
9.
C,
C
IxI
f(a) exp (lab) (cos ab)f(a)
f(x — b)
[f(x + b) + f(x
f(x)
13. 2
14. -_____ 1 + a2
exp(—
15.
— Ko(JxI)
+ a2
7
xI)
b)J
Answers and Hints to Selected Exercises
CHAPTER 1
Section 1.1, p. 5 12. 14.
IS. 16. 17.
IS.
25.
sin 4:) exp (31) (c) y = (C1 COS 4: + y = c1 exp I + C2 exp (2:) cos + c2 sin (..J7i/2)] exp (— 1/2) (b) y = (d) x = —(3/2)cos 2: + sin 2: (c) y = 3(1 — 4x)exp(2x) (a) y = 2exp(—x) —2exp(—2x) sinh 21 (c) y = c1 + C2 exp(—Sr) (a) y = c1 cosh 2: i(b) u = 5 exp (—2,) — 4 exp (— 3:) (d) y = (1/2)(2 + 91) exp (— 5:12) The Wronskian is f3 exp (ax), which is different from zero for all x. Note that (3 cannot be zero. Remove common factors: 3 from row one, 2 from row two, 4 from row three; then — 3 from column three. Then interchange rows two and three; multiply row one by — I, and add the result to row two; multiply row one by I, and add the result to row three. The final result is (3)(2)(4)(— 3)(l)(5)(2) = 720. (a)
Section 1.2, p. 10 6.
7.
(a) (b) (a)
(c) (e) (g)
9.
(A cosx + Bsinx)expx + (Ccos2x + Dsin2x)exp(2x) + Bx2 + Cx + D) exp x (c) A + B cos x + C sin x y = c1exp(—x) + c3exp(3x) —(112) expx + exp(2x) y = ci exp x + c2 exp (—4x) + (3x/5)exp x y = (e1 + + x2 + (l/6)x'! exp (—2x) y = (c1 + c2x)exp(—2x) + x2 — 4x + (7/2) Ax3
y,,(x) = (— 3x/4) cos 2x
389
Answers
390 11.
(a) (c)
12.
(a)
13.
(d) (e)
y= y= y=
COSX + [c2 + (x/2)Jsinx — sin2x (c1 + c2x) exp (—x) + (l/50)(4 sin 2x — C1
3 cos 2x + 25) cos 2x + 4 sin 2x) exp (— x) + 2 cos x + sin x
(3
(c) y=—3expx÷x2-t-4x+5
u'(x) = cosx — secx, v'(x) = sinx u(x) = sinx — log secx + tanxj; v(x) = — cos x (Note: Constants of integration are not required, since we
are seeking a particular solution.) (f) = — cos x log sec x + tan 14. (b) y = Ici + c2x — log (1 — x)) exp x, x < 1 I
(d) y = (ci + log (cosx)J cosx + (c2 (f) y =
cos 2x + c2
+
x)sinx, lxI < ir/2
2x + (1/4) sin 2xlog Icsc 2x — cot 2x1, IxI < i-/2 15. y = (2 + 3x — log I) — xI)expx 17. y = Ci exp (—x) + C2 exp x — (1/2)(x sin x + cos x) Ci
sin
Section 1.3, p. 18
10.
y= y= y= y= y=
11.
(a) y= I +2logx
12.
(a)
Let
(c)
y2(x) =
2.
4. 6. 8.
13.
15.
16.
xy'
(c1/x)
+ (C2/X)
log x + x3/16
(3/x)(x3 + 1) 11[c1 cos (log I) + c2 sin (log t)] + c,.x3 + (x/4) — (x2/5)
(x/2)(3 cos (log x) + 5 sin (log x)I + (5/2) — 4x
= xu(x) to obtain xii" + u' = 0; then put u = v to obtain vdx + xdv = 0; y2(x) = x log x.
becomes cx
dy/d(cx) = xy'
(a) y = x"2(x — 1) y = c1x'" + c2, a * 1; y = c, log x + c2, a = 1
SectIon 1.4, p. 24 1.
2/3, 13/15, 76/105, . . .1 4/3, 13/9, 40/27, . . This is a geometric series with a = (c)
(d)
r = 1/3, and sum 3/2. 3. For x = 0 we have —(1 + 1/2 + 1/3 + 1/4 + . .), a divergent harmonic series. For x = 2 we have I — 1/2 + 1/3 — 1/4 + — . , which is a con2.
1,
.
vergent alternating series. 7. Three terms are sufficient for 4D accuracy. 8. (a) —
391
Answers 10.
(a) (b)
This is a geometric series with first term 1/10 and common ratio 1/10. 1/9; note that the series can also be written as 0.111 .
11.
(a)
I
12.
(a)
—2<x<2
14.
(d)
(b)
(c)
00
(d)
I
(e)
e
(c) 0x<2
15.
the integral test. The series diverges if p =
16.
Evaluate
17.
(a)
18.
The sum of the series is
(f)
3
0°
(e)
Use
and converges if p > 1.
I
dx.
S,, = 1/2[I/n — I/(n +
2)1
(b)
+
3/4
1/2 + 1/3 +
.
.
l/p).
+
Section 1.5, p. 39
2.5.8... (3n
= a.
1.
(b)
y2(x)
6.
(a) (d)
x= x=
(a)
y = a0 cos x + a, sin x
(e)
y=
(a)
y =
(c)
y=
(Note:
7.
8.
10.
(a) y =
0 1
1)
Here and in part (a), use I for the numerator when n = 0.) is a regular singular point. is a regular singular point, x = 0 is an irregular singular point.
y=
(C)
c exp x — x2
=
—
22
1)2
+
a0x ÷ a0[1
+
—
—
+
—
x.1
x4
12.
17.
y= I +x+x2_ -00<x<00andO<x<00
19.
Y
—
/
20.
Y
x2
+ +
go
—
)
+ 22.42 — 22.42.62 + —
+a,[(x—l)+
15.
2x
—
+ xarctan4 + a1x
a0(1
I a1x"2y
—
x4
+
x°
+
+ 28,080 +
x2
x4
+ 6 + 168 + (n+3)!
+
+
(—l)"(n —
+
.
.
2
Answers
392
Section 1.6, p. 46 1.
(a) N=3
1. The integral converges to zero for x = 0 and to one for 0 < x 4. The integral defining G(a) can be shown to be uniformly convergent when a 0. From this it can be proved that G(a) is continuous when a 8. N = alE for uniform convergence. (does not exist if x * 0
2.
9.
(b)
urn COSfl2X11.f
10.
(b)
For example, the series diverges for x = 0.
CHAPTER 2
Section 2.1, p. 53 4.
(a) Has only the trivial solution. (b) The eigenvalues are all positive real numbers; eigenfunctions are (sinh Xx)/sinh Xa.
YA(X)
(2n — 1)7
=
(c)
(d)
5.
X2 is
(b)
(2n — l)Tx 2a
= sin
Yn(X)
, n = 1, 2,
a positive real number,
X*(2n—
1),n= 1,2,...
yx(x)
Xx + tan Xa SIfl XX
Yo
cos
(d)
= X/Q
Yo
7. y0(i) = 8.
lfX,,=nT,n=
sinnirx;
if X =
n
= 1,2,. . . ,then
= cos
2
results may be combined into =
9.
X,, =
11.
y0(x)
14.
=x—I (a) y = 2cosx + (1/2)(2 — (c)
y=0
sin
7 (x n =
+ 1),
1,2,... + x
n = 1,2
These
393
Answers
Section 2.2, p. 61 = (2n — 1)2/4, n = 1, 2, .
6.
.
.
= cos ((2n — l)x/2]
;
7.
= sin [(2n + 1)x12]. These results canbe combined to give
=
cos [(n/2Xx + 9.
— 1,
=
n=
1,
2,
.
10.
X,, = — n2ir1, n = 1, 2, .
11.
= —n21n = y1(x) = 1
.
.
. .
; y,,(x) = sin nx ; y,,(x) = sin nix exp (—x)
sinnx)exp(—x);alsoX=
13.
X = — 1; y(x) = x exp (— 2x)
14.
16.
no solution (b) exp(—x)
17.
(b)
exp (— x2)
18.
(b)
(1 — x2)"2
1;
Section 2.3, p. 66 4.
sin nx, n = 1, 2, .
I
(Sin
6.
— .,/ccos
8.
= tan if m * n and X's are solutions of [(2n — 1)x/2J, n = 1, 2, .
9.
(a)
10.
cos
—
= 0
1
ft2n — 1)x12J, n = 1,2,.. .1 '12/c cos (si 7rx/c), n = 1, 2, .
(c)
I
(b)
The appropriate factor
(c)
is exp (2x). The weight function w(x) is exp (2x).
Section 2.4, p. 71 1.
ek =
3.
(a)
not defined
7.
(a)
1, —1, 1, —
1
8.
(a)
1/2
0
9.
Each successive pair of functions is "more nearly orthogonal" on the interval (0, 1)
(c)
(c)
(e)
—I
(c)
—
I
(g)
1/2
w, 0, not defined, not defined
with weight function w(x) =
1.
The pair in part (c) is orthogonal on the
interval. 11. 13.
—
10.707, 1.225x, 3.162(1 — 3x2)I
3x2)J —
1)1
10.866, I.936x, O.810(5x2 —
1)1
Answers
394 14.
c,
—1/3
f(x) —
51 if x is a rational number 0 if x is an irrational number
(c)
f(x)
1/(x — a)
(b)
a,
16. (a)
18.
4/3,c2 = O,c3
and a2 can be any nonzero constants; a4 = 0; a3 = but otherwise arbitrary.
— 3a5,
with a, nonzero
Section 2.5, p. 78 1.
2.
First, the given quantity is a minimum when its square is a minimum. Second, the only quantity in the expansion of Eq. (2.5—5) over which we have any control is the and this quantity is nonnegative. Hence the minimum occurs one containing when this nonnegative quantity assumes its minimum value, namely, zero. The inequality (2.5—8) holds for all N; hence the sequence of partial sums consisting of positive terms is bounded above by some positive number, namely, the maximum value of the square of the norm off on (a, b). Consequently, the given series converges.
cosxsin ix dx =
5.
0
forj = 1,2,3,
.
Section 2.6, p. 84 7.
8.
(a) (c)
[0
ii
(c)fO
L_x1
oJ
Lx
v' =
1
—z
_ATV, where
_,4T=
10
—X
L—' 9. 14. 15.
(c)
v" — v' — Xv = 0
d
exP(_x2)]
[?
y,Ly2 — y2My, =
+
yexp(—x2) +
= 0
+ a0y2y, —y2(a2y,)" + y2(a,y,)' — a0y2y, — y2(a2yI)
+ y2a,y,J
Section 2.7, p. 89 5.
cos
7.
cos
(nirx/c), n = 0, 1, 2, . . . , and sin (nlrx/c), n 1, 2, . (2n — l)x and sin (2n — l)x, n = 1, 2,. . . , are linearly independent solutions
395
Answers 8.
10.
X> 0 (a) sin The suggested substitution produces Tm(X)Tn(X)
.-'
dx =
Now, DeMoivre's formula (cos a cos na is a polynomial of degree n Jo
+ in
a) da.
Tm(COS
I sin a)" = cos na
+
I
sin
na
shows
that
cos a. Finally, we know that
if m * n.
cos ma cos ncr da = 0
Section 2.8, p. 98 3.
(a) y=3sinhx—2x
7.
= 0.910, ys = 0.840, 0.207, Yio
8.
= 0.750, Ye = 0.641, y, = 0.5 14,
Y' = —O.005,y2 =
= —O.045,y,
Ye = — 0.174, y, = — 0.234, Ye = — 0.300, 13.
(a)
The
= 0.368,
0.032
cosh x
general solution is y =
—0.079,y5 = —0.122, = — 0.371, Yio = — 0.445
+ c2 sinh x. Boundary conditions
transform this into the system
51.543lc, ÷ I.1752c2 = 1.5431, 13.7622c, + 3.6269c2 = 3.7622,
which is easily solved by Cramer's rule to obtain c1 = 1, c2 = 0. Hence the
solution is y = cosh x. (c)
In finite-difference form the differential equation becomes —
2y1
+
—
Ft2
or + = (Ft2 + 2)y1. Using Ft = 0.25, produces the system
= —1.5431 Y4 = 0 = —3.7622,
(—2.0625y2 + —
2.0625y3 + V3 —
16.
= 1.5431, andy, = 3.7622
which has solutions Yz = 1.8894, = 2.3538, y. = 2.9653. be the approximate value of y at the midpoint x = 1/2. Then Let 9 4 — 29 + 1 = 3 (9)2 0.25
2
which has approximate solutions 1.855 and —7.188. We choose the first of these,
andwithh = 0.2wetryy, = 3anduse =
+ 2yj — Y1-i,
i = 1, 2, 3, 4.
This yields the values of Y2 = 2.540, = 2.467, y, = 2.759, and y, = 3.509. Next we try = 2.8 to obtain the values = 2.070, = 1.60, = 1.279, and
Answers
396
= 1.058. Using linear extrapolation, we find a better approximation to y,, 2.7953. With this value we obtain Y2 = 2.0594, y., = 1.5780, = 1.0071. The above values may be refined further. The = 1.2460, and other solution can be found by starting withy, = —2.5 and improving this value.
namely, y, =
y=sinhx
(d) 18.
= 1.175,y(l)
9=
17.
10.018
2 + h2 — 1
(e)
—h2x, + Yo
—l
Y2
—h2x2
2÷h2
—1
CHAPTER 3 SectIon 3.1, p. 109 The given expression satisfies the partial differential equation identically, and it contains two arbitrary functions; hence it qualifies as the set of all solutions. S. (b) elliptic when x> 0; hyperbolic when x < 0; parabolic when x = 0 (d) hyperbolic outside the unit circle with center at the origin; elliptic inside this unit circle; parabolic on the unit circle 11. (b), (d), and (e) are not linear 15. f(y — 3x) and g(y + 2x) are solutions, where! and g are twice-differentiable functions of x and y. 3.
hyperbolic
(b)
19.
If the roots of Eq. (3.1—3)
(c)
0 or y =
parabolic if x
17.
are
a±
0, otherwise hyperbolic
then
u(x, y) = fEy + (a + 131)4 + g[y + (a — (31)4. 22.
If we consider first the term xv',, differentiate, and substitute into the biharmonic equation, we have after rearranging terms
4a
+
axLaxl Since
is
o
ay'J
+
Lax'
a'*,l+
a'
ay'J
harmonic, each bracketed term is zero. The term
+
L ax2 is
ay'J simpler.
Section 3.2, p. 119 4.
(a)
(c)
Starting with Eq. (3.2-11) and applying the nonhomogeneous boundary condition produces u,,(x, 0) = b,, sin nx = 2 sin 3x. Hence n = 3, b, = 2, and u(x, y) = (2/sinh 3b) sin 3x sinh 3(b — y). Using the hint, sin 2x cos x = (sin 3x + sin x)/2. Hence we need two
397
Answers
terms, one with n = 1 and b3 = 1/2, the other with n = 3 and b3 = 1/2. Thus
sin x sinh (b — y)
u(x,
8.
u(x,
9.
(b)
12.
T'
— 2 sinh b
+
sin 3x sinh 3(b — y) 2 sinh 3b
3 sin xsinh(b — y) sinh b
=
(d)
0 —
0.9721
XT = 0, kX" + (a — X)X = 0
13. T'—XT=O,kX"÷bX'—XX=O 0, kX" + bX' — XX = —a
14.
T' — XT
15.
Y" +
= 0, Y(0) = Y(b) = 0, has solutions
—
(n2ir2/b2)X = 0, X(T) = 0, has solutions = [sinh
(x —
= sin
(niry/b).
/cosh
Hence the solution can be taken as a linear combination of functions of the form
u,,(x,y) = 1. 17.
1
.
—i-- (x — ir) /cosh
fir2
X" + X2X = 0, X(O) = X(ir) = 0, has solutions X,,(x) = sin fix. = sinh ny. Hence solutions are Y" — n2 V = 0, Y(0) = 0, has solutions y) = sin nx sinh ny, that is, linear combinations of u(x, Y)
b,. sin fix sinh fly.
The nonhomogeneous condition produces
43(x) = U(x, li) =
b,, sin nx sinh nb,
showing that
sinh nb =
43(x) sin nx dx.
21. X"—XX=0,Y"-t-XyY=0,ify*0 Section 3.3, p. 131 5.
43(x) =
— x), but has already been defined in the interval L, so that the above equation now extends 43(x) to the interval 2L — x L, that is, —3L —x —L or L x 3L. —
—L x —L
= c2(u,. + u,, + u.)
7. S.
(a)
y,, has dimensions of acceleration;
= d(dy/dx)/dx has dimensions of cm'.
Answers
398 y = sinxcosal (cos x sin at)/a 10. y 3irx . 2L 9.
15.
17. 18.
22.
cos
v -
— c'°'
L
sin
37rW
L
=
Assuming the function of ito be of the form exp (iwl) is equivalent to choosing the sign of the separation constant so that T(i) will be expressed in terms of sines here. and cosines. The separation constant is The boundary-value problem becomes (see Exercise 20) a2y"(x) — g = 0, y(O) =
y(L) = 0, whose solution is 4g(x — L/2)2 = 8a2y + gL2, which is a parabola. Differentiating, we find dy/dx = 0 when x = L/2 and the maximum displacement is —gL2/8a2.
Section 3.4, p. 138 3.
6.
9.
ii. 13.
15. 16.
k has units of cm2/sec; K has units of calorie/°C cm. The bar is insulated except for the ends, which are kept at zero for all time; there are no heat sources; and heat flows from a region of higher temperature to one of lower temperature (a) 3 sin (2irx/L) exp (— 4kw21/L2) (a) The problem u(x) = 0, u(0) = 0, u(L) = 100 has solution u = lOOx/L. (c) u(x) = 100 (d) u(x) = 50(1 + x/L) The substitution u(x, 1) = + 1,t) leads to the differential equation a2kf" — bf' = 0 with solutions + bt) = c, + c2 exp [b(ax + bt)/ka2J. Substituting shows that b = a2k. this result into u, =
c=I/k The diffusion of respiratory gases is rendered more rapid by the large surface area of the lungs.
Section 3.5, p. 149 14.
(b)
(d) 15. 18.
hyperbolic everywhere except on the x-axis, where it is parabolic; parabolic on the unit circle, elliptic in its interior, and hyperbolic elsewhere;
(f) parabolic everywhere (b) —y/x2 (d) — 2y/x (a) cot 20 = — 3/4, 8 = — 0.4636; rotation through an angle 0 results in = 0.
+
399
Answers
CHAPTER 4
Section 4.2, p. 161 4.
g'(l) is undefined
6.
(a)
7.
9.
2/3 (e) 4 Use mathematical induction. 2 /cos x cos 3x w 4w
(c)
(a)
\
sin
x
32
+
(e) 24
2
sin 3 ix
4 fsin
(c)
sin 2x
+
3
(— 1)"
cos 2nirx
n—I
(2,, — l)2ir2
1
+ 43 —
4
4
sm2(2n — 1)wx
cos(2n — l)x + (2n—1)2
2 w
—
n=I
1
sin 4nix
—
n
8'ç'.cos(2n— l)x 2n—l
(I)
11= I
3/2
(g)
10.
(a)
1
13.
(a)
w/2
14.
(b)
I
17.
Twenty terms give a result that is approximately 1.2 percent low.
26.
(a)
(c)
(d)
(e)
r/2
(c)
(f)
I
exp(2ir) —
i(i \2
w
I
1
(e) I
+r
—
nsinnx
n2+1
n—I
Section 4.3, p. 170 =
8.
i
—
(ins) f(s) [exP
+ exp (— ins)
—,
exp (ins) —exp (— ins)]
from which the desired result follows. 9. 10.
= (d)
f(s)
exp (— in rrs/L) ds, n = 0,
± 1, ± 2,.
F(—x) = (—x)exp[--(—x)21 = —xexp(—x2) = —F(x)
ds
Answers
400
tan (—x) = (—x)(—tan x) = x tan x = F(x) (—x)2/1 — x = x2/1 — x, which is neither —F(x) nor F(x) 12. (d) F(—x) 13. 11 f is odd and g is even, then f(—x) = —f(x) and g(—x) = g(x); hence —f(x)g(x), showing that the product is odd. — x)g( — x) = 11.
(e)
14.
(a)
15.
(b)
16.
(a)
F(—x) =
sin (nTx/2)
a
!{(_l)fl+I
(h)
17.
(b)
18.
(b)
f
'I
—r
cos (n irx)
I
cos(mrx/2) (2nTx)
cos
4n2—1
n=1
n sin (2nx)
8
(a)
21
1) + 4
—
2
—
(— 1)"
+
w
19.
—x
4n2=-
1
'7= I
23.
+
1)2
1
sin(2n—i)x
24 '7= I 1
2
27.
(2n —
Ietx =
(b)
26.
cos(2n — l)Tx
4
1
(a)
—
4
2n—l
r
cos(2n — 1)irx
n=1
(2n—
1)2
C,, = 0 if n is even (including n = 0) and c,, = 21(inir) if n is odd; thus the series
can be written as 2
exp [i(2n —
I
2n—1
IT '7= —
Note that this can be written in terms of sines and cosines, in which case the cosine
28.
terms vanish and the sine terms double so that the final result is the same as when we use Eq. (4.3-6). x I. Then Make an even periodic extension of the function g(x) = 1, — 1 I and all other c,, = 0.
31. f(—x) = —x —x2 = —x(1
+ x) = f(x + 1) = f(x)
401
Answers 37.
If 1(x) is even, then f( —x) = f(x). Differentiating this produces —
X —
df( — x)
—
df( — x)
d(—x)
—
dx
dx = — df( — x) dx d(—x)
df(x) dx
sincef'(x) is even. Hence df(x) =—df(--x), that is,f(x) = —f(—x) + C. But — x) = f(x) so that 21(x) = C, proving the assertion. 39.
21.sin x —
.
sin
—
2x +
i.
sin
1.
3x + — sin 5
3
1.
\
Sx — — sin 6x•i
/
3
Section 4.4, p. 181 7.
V(x, y) = csch ir sin wx sinh
9.
Let x = 1/2, and compute V(x, y) for various values of y. Approximate results are shown in the following table:
— y)
0.1 0.2 0.7 y 0.3 0.4 0.5 0.6 0.8 0.9 V(l/2,y) 0.72 0.52 0.38 0.28 0.20 0.14 0.09 0.06 0.03
Repeat for x = 0.1, 0.2, 0.3, and 0.4. Note that by symmetry the results are the same for x = 0.9, 0.8, 0.7, and 0.6, respectively. Locate the values of V(x, y) on a suitable square, and connect points of equal Vby a smooth curve. It is also helpful to compute V(x, 0) for the above values of x. See figure below.
0
0
0
0
0
0
0
0.4
0.8
0.8
0.4
0
Answers
402 10.
(a)
P.D.E.:
12.
0
U,, =
B.C.: I.C.:
< x <
u(l,
u(0, 1) u(x, 0)
1)
= 0,
0.Olx, u,(x,
1 > 0; 1 > 0;
1,
0) = 0, 0 <x < I Thrai
0.02
(b)
u(x, $) =
(a)
YAT, I) = 0 implies that there is no vertical force on the string at x =
(c)
is, the end is free (see Section 3.3). I must be "small" in comparison to the length of the string.
that
Section 4.5, p. 190 Write sin (N + )i as sin Ni cos t + cos Ni sin t, and then use L'Hôpital's rule. 8. The series converges uniformly by the Weierstrass M-test. 10. f"(x) does not exist because the infinite series is divergent. 4.
13.
sin_(2n—l)x
(a)
-
(c)
(2n—l)2
2
14.
(a)
The representation of Fix) = x, 0 < x < 2ir, F(x +
F(x) is
SIflflX
hence
f(x) (c)
—
x)
—
Sinceflx) satisfies the hypotheses of Theorem 4.5—4, we can integrate from zero to a to obtain —
0
f(x)dx =
=
2ir.
a
Then, replacing a by x, we have -
1
—
cosnx —-i
0
x
2ir.
the even periodic extension of the function on Outside the interval (0, the left is given by the series on the right. The series is the ad2 term in the representation of g(x). (d)
15.
— —
403
Answers 16.
Since (see Exercise 3)
sin(2n+ 1): 2sint and
=
1
2
+ cos2t+ cos4t+
+ cos2nt
cos 2k! dl = 0, the result follows.
Jo
CHAPTER 5 Section 5.1, p. 201 2.
11.
The integral is finite. Only the function in part (a) is absolutely integrable, the integral being 2.
2 f'. asiflaX
19. (c)
(e) 20.
(a) (c)
23.
a
sin
—a
2
(b)
sin
-—
2
2a sin a +
—
f
2
ax dcx
cos a
— a2 cos a — 2
— sin ax dcx
cos ax dcx
(b) (d)
21.
2 (o.
siflcr
2
(1
+ 2cosa)cosaxda
a [exp (lair) +
L
1+ia
1
-
1
+ a2
exp (— lax) dcx
exp (— lax) dcx
When x = L, we have h
h
—L irJO (d)
a
h 2
ii-\2/
using Exercise 14. When x = 0, we have I
dcx
—) 2ir
i +—3
ada
I 2
1. 2
noting that the first integrand is an even function, whereas the second is odd.
Section 5.2, p. 215 4.
7(a) = 2 u(x,
)= 4
(1 —
cos
ax dx =
sin2 (a/2) exp(— a'!) cos ax
dcx
404
Answers
S
f(cx) =
exp
0
(lax) dx =
a
[I
—
a
0
2 t= exp(—a21)cos ax
7.
u(x, t) =
9.
(a)
u(x, 1)
10.
(a)
f(a) = [2 cos (ajr/2)]/(l — a!)
11.
(b)
dcx
+
exp(—a2kl)cosax
2
=
21w —cx sin
4a cos
+
0
cx
dcx
(a/2)J exp (ia/2) —
(d)
exp (iac)J;
[1 — exp (iac)j exp( — a2kI) cos cxx dcx
2bi
u(x, 1) =
bi
a2
+ 2(a2 — 2) sin cx a3
(e)
12.
(a) (c)
13.
(a)
21/i
(1 — cos ac)
a h
a
[I
cos
(a/h)]
(a — sin a)
a I
—
+ Sin aw 1
(c) 14.
(C)
— sin (a/2)J 1r2—a2 Using the inverse Fourier transform, 2w cos
(a/2)Ii
1
2w (OD
15.
(a)
J=
24.
r=
f(x)exp(iax)dx
= f(—a)
3
fix — b) exp (lax) dx
r -
f(x — b) exp (ia(x — b)] exp (jab) d(x — /4 = f(cx) exp (lab)
2i sin 6wa a2 — I
Section 5.3, p. 221 6.
Consult the table of Fourier transforms in the Appendix.
7.
u(x, s') =
2u0
fo. sin
ax El — exp (—ka2i)] da
405
Answers 8.
(b)
9.
U(X,
COS axexp (—ka2t)
2a
u(x, 1) =
sin ax (I
2u0
(— k&t)
a
)
cos ax
2/3
10.
u(x I) =
12.
(a)
y(x) = cY0(x)
14.
(b)
u(O, 1) = u(c, 1) =
16.
(a)
y(x) = —
(c)
y(x) =
(a)
y(x) =
21.
aL) exp
cos
—
da
El — exp (—
dcx
dcx
2
1
— arctan c; u(c/2, 1) = — arctan
c
1•
ciri.
—Sin
a
o
(—
Cfo.
! + ax\dcr j
(a
a2/2) cos
—
exp (Ia3 — &) exp
T
ax) dcx
(—lax)
dcx
CHAPTER 6 Section 6.1, p. 236 2.
Use the identity sinh (A — B) = sinh A cosh B — cosh A sinh B.
4.
B,,,,, =
6.
V(x, v) =
7.
V(x,
15.
4ab(— mn sinh
=
-
o
w
—
a
sinha(b—y)
a2 + I
sinh (ab) sinh a(b
sin
2
1) 1—&
sin (cix)
—
dcx
sinh
cos (2nx) sinh 2n(,r — y)
2 4 u(x,y)=-—+(7—y)+—
sinh (2nir)
—
I
1
17. I
—
4n2
2
1
n—I
18.
u(x,
2a y) = —
20.
(C)
u(x,
.Io. I)
+ 2n
dcx
+ 1
I
\
—
2n)
sinh [cx(J — x)J cos (ay) dcx (a2 + a2) sinh a (—
=
niry sin
+ sinh nirx sin niry)
nsinhn,r N
I
406
Answers 24.
If &(x,
28.
(b)
32.
y) = — Ø,.(x, y)
u(a. 0) = 0; u(0. 0) = 10 (h) f(x, v) = xy = u(x, y) as given in the solution to Exercise 20(c).
Section 6.2, p. 249 3.
u(x, v, 1) = k sin
I 4. 7.
B,,,,,
sin (lrx/a)
cos (cirVa2
+ b2t/ab)
+ b2/2ab sec' 64a2b2
2r6(2n—1)3(2m
n =
1,2
m = 1,2,
—
E has dimensions g cm/cm2 sec2; p has dimensions g/cm3
20.
T0 has dimensions g cm/sec2 cm; w has dimensions g/cm2; g has dimensions cm/see2; G has dimensions g cm/sec2 cm2 b2,,..1 = 4kL/cir2(2n — 1)2, n = 1, 2,
21.
u(x, I) =
23.
u(I/4, 2) = 3/16, u(1/2, 3/2) = — 1/2
24.
Compute U(0, 0).
27.
(b)
28.
u(x, I) =
19.
wx/LJ cos ((2n — (2n — 1)2 1)
(—
(b)
Tct/LJ
dx — dx dx/2. Hence the resulting = 'J increase in potential energy is Tour dx/2, where T0 =
The difference ds — dx
b,, sin nx cos
b,, = 29.
1)
where
cf(s) sin
ns ds, n =
1, 2,
.
u(x, 1) = (1/bcXcosh bx sinh bct) + 2xt2 +
Section 6.3, p. 259 4.
12.
Because the steady-state solution is zero. u(x, t) =
b2,,..1 exp (— ir2(2n
b2,,..1 =
—
1)21/4L2J
sin [(2n
—
sin [(2n — 1)ws/2LJ ds, n = 1, 2, .
where
________
________—
407
Answers 15.
Cx(L
u(x, I) =
x) +
—
b 17.
u(x,
i,,, sin (nirx/L) exp (— n272t/L2), where
2
fcs(s — L)
2 fL
"LJoL
1) = ta,, cos
((2n
+
2
f(s)] sin
exp [—(2n
—
where
—
n=l 8a
a,,=—1 u(x,
1) = sb,, sin
[(2n — 1)irx/2j exp [—(2n — 1)272k1/4], where 16a = ff3(2n —
a,,
21.
(a)
22.
u(x, 1) = — sin xexp (—ki) —
u(x, 1) =
[1
j'fl=1.2i..
2n—1)2
L
20.
_21
[T(2n —
—
1) — 2)
cos 2x exp (— 4kt)J Note that Sifl2
—
x=
sin 2nxexp (—4n2k1) n(4n2—1)2
16
2
Section 6.4, p. 272
10.
u(x, I)
=I
sin (2n — 1),rx exp [—(2n —
4 —
—
ii=1
14.
(a)
U(X, 1) =
2Uo
(= [exp
=UoX+— —
16.
(a)
v(x,
17.
(a)
v(x,
22.
U(1. 1/4)
30.
Use the relation
=
2
2u0 T
jo0
2
=
(— a21)
o
0
cos ax dcx
1)
—
exp (— cx2() a2
Nx
—
a
0
sinh (ax) COS cx cosh (cxc) cos
0
1)2ir21J
2n — 1
cos (as) ds
(ax) cosh (cxy)d cosh (crb)
r00
f(s) cos (as) ds
O.6Iuo; u(l, 4) = O.89uo
=
—
J'sincxsds.
(1
—
cos
2x).
408
Answers
Section 6.5, p. 283 cosh sinh
— y)
—
(—
y)] + exp
I
— w,,(b —
— exp (—
—
exp (— w.y)[1 + exp I — I — exp (—2w,,b)
—
1
—
16.
exp Iw.,(b — exp
—
—
y)J)
2exp(—w..y) — exp(—2b)
xl) di = l/x, x> 0; the convergence is uniform for a x <
Since exp (—
xl)
(a
> 0).
exp (— at), we can take M(t) = exp (— at). Note that
= 1/a. 17. 20.
Take M(t) = exp (—I). y attains its maximum value exp (— (c) When a = I is an odd function.
CHAPTER
1
The function
7
Section 7.1, p. 295
1.
2. 7.
The case n = 0 leads to a constant that is also periodic of period 2w. Divide by p, and then make the substitution v = dR/dp. One interpretation is the following: find the steady-state temperatures in the walls of an infinitely long pipe having inner radius b and outer radius c if the outside of the pipe is kept at temperature zero, while the inside surface has a temperature (b)
given by The pipe is infinitely long, that is, —
10.
< z < cc, so that there are no boundaries in the z.direction. Moreover, the boundary values on the inside and outside surfaces are independent of z. Note that the differential equations are Cauchy—Eu Icr equations (see Section 1.3).
14.
u(p,
8.
=
ii P
whereao =
4
—3
T/2
fts)dsanda,, =
cos
4 fxi2
n = 1,2,3,...
409
Answers 18.
(a)
u(p) = 1100 log (p/b)J/log (a/b)
(!4
(p)fl 19.
u(p, çb) =
22.
(a)
+ —
+
P Po
z(p) = (Zo log p)/log Po, 1
Section 7.2, p. 312
7.
(a) y = c1J0(x) + c2Y0(x); (c) y = cjJo(ex) + c,Yo(ex)
8.
(a)
Make the substitution u = X1s;
(C)
evaluate
9.
(a)
Use
10 •
(b
ds as in part (a), and then let b —
integration by parts with u = J0(s), dv = X3J1(Xjc)
.4(X,x)
(8—X3)
0
11 •
( b)
2
12.
(b)
The transformed equation is ,2
(a)
ds.
2
c
14
J1(s)
x <
1
+ (X'r2 — (n + I/2)2JZ = 0.
+ —
—
X1[J2(2X1)J2
2
J= I
" '
16.
17.
(b)
—x"L.(x)
23.
(c) (d)
0.997
24.
ii
1.108, —0.140, 0.045, —0.021,0.012
Begin by using integration by parts with u = s"1, dv = sJ0(s) ds. .
'
2
(XJ —
JIX.x "
1
29.
Eq. (7.2-23). (c) Make the substitution I = sin 0 in part (a).
33.
(a)
26.
See
By Rolle's theorem the derivative of vanish between its zeros.
as given in Exercise 17(a) must
Answers
410
Section 7.3, p. 334 3.
(b)
From Eq. (7.3—14) it follows that
n = 0, I, 2,
P,,(—x) = (—
contains terms in
.
the only way nonzero terms can arise
(d)
Since
(e)
when x = 0 is to have 2n — 2k — I = 0. But this is impossible, since it implies that 2(n — k) = 1. Hence = 0. From Eq. (7.4-14),
(_l)k(4fl
I
P2,,(x) =
(2n
—
— 2k)!
2k)!(2n — k)!
X
2-k
When x = 0, the only nonzero term in this sum occurs when k = n, and then P2,,(0) has the required value. 12.
(a)
aP,(x) + bP0(x);
(c)
+
bP2(x) +
P1(x)
-i.
(d +
+
=
3)
except n =
IS.
(b)
18.
Use Rodrigues' formula.
29.
A0 is the average value of the even extension of the function on (— I, 1).
dx, which is zero for all n,
Section 7.4, p. 350 12.
u(r,
0)
13.
(a)
u(p, z)
(b)
(r cos 0)/b
28.68 Jo(2.405p) cosh (2.405z) — 0.85J0(5.520p) cosh (5.520z) + 0.03J0(8.654p) cosh (8.654z) — + u(0, 0) ± 27.86 200
14.
J0(X,p) sinh (X1z)
u(p,z)=—-
sinh (X1b)
C
where the
are roots of .10(X) = 0. J0(X,p) cos
2
16.
z(p,:)=—
X,f1(X,c)
C
where the 18.
are roots of J0(X)
u(r. 0) =
(4m +
0.
(cos 0) A2,,,.,,
hi = 0
where A2,,,, 0
f(cos 0)P2,,,+1 (COs 0) sin 0 dO
0.
411
Answers
100; the result should be obvious, but work through the appropriate 0) steps of Example 7.4-6.
21.
u(r,
23.
(a)
exp
u(p, z) =
dx,
where J0(X,c) = 0 24.
v(r)
25.
v(r, 0)
v,a(b — r) + v2b(r — a))
=
K+2
cos
r
0,
r < b;
V(r. 0) = —Ercos 0 + 26.
0,
r> b
v(r,0) = —ErcosO + Eb'cos0 =—
=
28.
since Z/r
35.
cos
—
(cos
0),
= cos 0 and P,(z/r) = z/r. 200
J0(X1p) sinh [XJ(L — z))
a
X,J,(aX,) sinh (X,L)
u(p, z) —
where the )¼,O are positive roots of J0(X) = 0. 36.
1(z) =
J1(z)
CHAPTER 8
SectIon 8.2, p. 358 1.
cm2/°C sec
7.
0.07 is acceptable
Section 8.3, p. 365 3.
The diffusion equation u, =
5.
(b)
6.
21
7.
u(I0/3,
7.143, u(15, 5) = 26.786
10/3) = 0.69, u(20/3, 10/3) = 2.08, u(l0, 10/3) = 5.56, u(40/3, 10/3) = 14.58, u(50/3, 10/3) = 38.19; u(x, 20/3) u(x, 10/3) by symmetry. Note that
the
11.
u(5, 5) = 1.786, u(l0, 5)
must be dimensionally correct.
(a)
resulting five eQuations can be solved by elimination.
y =
+
Answers
412
x ,
0
/0
20
30
40
50
60
70
80
0
0 0
0.3 0.3
0 0
0.6 0.4 0.2
0.5 0.5 0.3
—0.1
0
0.4 0.4 0.4 0.2
0.3 0.3 0.3 0.3
0
—01
—0.2
—0.1
0
0.2 0.2 0.2 0.2 0.2
0 0 0 0 0
—0.1 —0.1 —0.1 —0.1 —0.1 —0.1 —0.1 —0.1 —0.1
—0.2 —0.2 —0.2 —0.2 —0.2 —0.2 —0.2 —0.2 0
—0.3 —0.3 —0.3 —0.3 —0.3 —0.3 —0.3 —0.1 0.1
—0.2 —0.4 —0.4 —0.4 —0.4 —0.4 —0.2
0.1 0.1 0.1 0.1 0.1 0.1
0 0 0 0 0 0 0 0 0 0 0 0
0.1
0.2 0.4 0.6
0.3 0.5 0.5
7A1
10&
0 0 0 0 0 0 0
(b)
12.
(a)
0.1
0.3 0.3
= (16x0.000179)
0.1
0
0.2 0.4 0.4 0.4
0.1 —0.1 —0.3 —0.5
—0.5 —0.5 —0.3 —0.1 0.1
0.3 0.3 0.3 0.3
0 —0.2 —0.4 —0.6 —0.4 —0.2
0 0.2 0.2 0.2 0.2 0.2
—0.1
—0.3 —0.3 —0.3 —0.1 0.1 0.1 0.1 0.1 0.1 0.1
0 0 0 0 0
= 350 Hz; one-half of a cycle has been completed in 8
steps; hence it requires 16 steps for a complete cycle. with = 0.1 and = 0.1 (for r = 1) representative values are shown in the table -V 1
(b) 17.
18.
0.1
0.3
0.5
0.1
0.2939
0.7694
0.7
—0.1816
—0.4755
0.9511 —0.5878
1.6
0.0955
0.2500
0.3090
The results in part (a) are the same as the analytical results to four decimals.
= 0.0175 sec for r = 1/2
r = 1/2
Index
The most important page reference for each entry is listed first.
Abel, Niels Henrik (1802—1829), 282n Abel's test, 282 Absolutely integrable, 195
Adjoint equation, 80 Aerodynamics, 113 Airy functions, 41 Airy, Sir George B. (1801—1892), 40n Airy's equation, 4Oex Alternating series, 21
Ambient temperature, 253 Analytic function, 30 Associated Legendre functions, 323 Auxiliary equation, 16 Average value of a function, 157, 291, 344
Backward-difference formula, 363 Bessel, Friedrich Wilhelm (1784—1846), 34, 75 Bessel function of the first kind, 35, 300 Bessel function of the second kind, 300, 310
Bessel's differential equation, 34, 86, 300, 343
Bessel's identity, 75 Bessel's inequality, 75 Biharmonic equation, 111 n Bôcher, Maxime (1867—1918), 159n Boundary condition, 49, 104 Boundary-value problem, 49, 104
Broman, Arne, Mn
Buffon, Comte Georges Louis Leclerc de (1707—1788), 358n
Buffon's needle problem, 358
Canonical forms, 143 Cauchy, Augustin-Louis (1789—1857), 13n, 56 Cauchy data, 280 Cauchy-Euler equation, 13, 31, 290, 322 Cauchy-Kovalevski theorem, 280 Cauchy problem, 279 Central-difference formula, 361, 365 ex Characteristic curves, 143, 147 Characteristic equation, 4, 1, 108, 143 Characteristic function, see Eigenfunction Characteristic value, see Eigenvalue Characteristics, family of, 144 Chebishev, see Tchebycheff Class of functions, 76n Closed form of series, 21, 30 Closed orthonormal system, 77 Closed region, 105 Closure, 77 Coefficient
Fourier, 154 Fourier integral, 196 generalized Fourier, 75 transport, 136n Common ratio, 21 Complementary error function, 266
413
414
Complementary solution, 7 Complete orthonormal system, 76 Completeness, 77 Complex form of Fourier integral, 198 Complex Fourier coefficients, 169 Complex Fourier integral coefficient, 198 Conjugate harmonic function, 369 Convection, 253 Convective heat transfer, 348 Convergence in the mean, 77, 153 Convergent series, 20 Coordinates cylindrical, 293 polar, 287 spherical, 319 Crank-Nicolson method, 364 Curie, Pierre (1859—1906), 369n
Curie temperature, 369 Cylindrical harmonics, 300
D'Alembert, Jean-le-Rond (1717—1783), 21n
D'Alembert's solution, 125, 212 Damping, 240 Dennemeyer, Rene, 280 Density function, see Weight function Denumerable set, 51 Difference equations, 359 Diffusion, 133 equation, 107, 133, 136, 174, 254 of neutrons, 258 Diffusivity coefficient, 136n, 356 Dirac delta function, 214
Dirac, Paul A. M. (1902- ), 214n Directional derivative, 134 Dirichlet conditions, 155 Dirichiet kernel, 185 Dirichiet problem, 105, 179, 231, 292, 356, 364 Dirichlet, Peter 0. L. (1805-1859), 105n Discretization error, see Truncation error Discriminant, 140 Distribution theory, 214 Divergent series, 20
Dot product, 68n Double Fourier series, 226, 228 Drumhead, see Vibrating membrane Dummy index, 23, 28
Index
Echocardiogram, 180 Eddy-current heating, 369 Eigenfunction, 51, 56 Eigenvalue, 51, 56 Electrostatics, 112 Elliptic equation, 103, 140, 148 Equation adjoint, 80 auxiliary, 16 Bessel differential, 34, 86
biharmonic, Ill difference, 359 diffusion, 107, 133 elliptic, 103, 140 equidimensional, 13
Fourier's, 3l4ex Helmhokz, 314ex Hill's, 89ex hyperbolic, 103, 140 indicial, 33 Laguerre's, 61 ex Laplace's, 104, 112, 321, 360 Legendre's associated differential, 323 Legendre's differential, 35, 85ex, 86, 323 Mathieu, 89ex mixed type, 103 modified Bessel, 220, 3 lSex parabolic, 103, 140, 361 Parseval's, 78 Poisson's, 112 potential, 218, 348 reduced, 7 Riccati, 313ex self-adjoint, 81 singular Sturm-Liouville, 87 Tchebychetl's differential, 62ex, 9Oex Tricomi, 103 vibrating membrane, 130 wave, 106, 123, 130
Equidimensional equation, 13 Equilibrium temperature, see Steadystate temperature Equipotential curves, 118, 180n erf x, see Error function erfc x, see Complementary error function Error function, 266, 285ex Euclidean inner product, 68 Euler, Leonhard (1707—1783), 13 n
Euler predictor-corrector method, 94
415
Index Euler's constant, 310 Euler's formula, 17, 169
Even function, 165 Even periodic extension, 166, 246 Explicit method, 362 Exponential form of Fourier series, 170 Exterior Dirichlet problem, 353 cx
Bessel, first kind, 35, 300 Bessel, second kind, 300, 310 complementary error, 266 conjugate harmonic, 369 Dirac delta, 214 error, 266, 285 cx even,
165
gamma, 317ex harmonic, 113, 231, 300
Fast Fourier transform (FF1'), 207 Fejér kernel, 192ex Fejér, Lipot (Leopold) (1880-1959), 184n Fermi age, 258 Fermi age equation, 258 Fermi, Enrico (1901-1954), 258n Finite-difference approximation, 97 Finite-element method, 364 Flux, 253 Fokker-Planck equation, 262 cx
Formal solution, 117, 272 Formula backward-difference, 363 central-difference, 361, 365 cx Euler's, 17, 169 forward-difference, 363, 365ex Fourier-Bessel series, 305 Fourier coefficients, 154 Fourier cosine integral representation, 197 Fourier cosine series, 166, 234, 246, 247 Fourier cosine transform, 208, 263, 271 Fourier integral coefficients, 196 Fourier integral representation, 1%, 277 Fourier, Joseph (1768—1830), 75n Fourier-Legendre series, see Legendre series
Fourier method, llSn Fourier series representation, 134, 154, 291 Fourier sine integral representation, 197 Fourier sine series, 167, 175 Fourier sine transform, 208, 265 Fourier transform, 85ex, 204 Fourier's equation, 314ex Free boundary, 355 Frobenius, Georg (1849—1917), 32n Fuchs, Lazarus (1833—1902), 32n Function Airy, 41 analytic, 30 average value of, 157, 344
modified
Bessel, 221, 315ex
Neumann, 310n normalized, 64 null, 70n, 77 odd, 165 periodic, 154, 183 piecewise continuous, 68 piecewise smooth, 154 potential, 113, 226 spline, 364
square-integrable, 76 Weber's Bessel, 310n weight, 63 Functional, 364 n Fundamental period, 154n
Gamma function, 317ex Garfunkel, Solomon, 188 Gauss, Karl Friedrich (1777—1855), 370n Gauss' theorem, 370 General solution, 2, 103 Generalized Fourier coefficients, 75 Geometric series, 21 Gerald, Curtis F., 93 Gibbs, Josiah W. (1839—1903), 159n Gibbs phenomenon, 159 Green, George (1793-1841), 292n Green's theorem, 292 Grid, 356, 360
Hadamard, Jacques (1865—1963), 279 n Hankel, Hermann (1839—1873), 311 n
Hankel transform, 311 Harmonic function, 113, 231, 292, 300 Harmonic series, 21 Harmonics cylindrical, 300 spherical, 319
Index
416 Heat conduction, 134, 174, 253 Heat equation, see Diffusion equation Heat flux, 209 Heisenberg uncertainty principle, 213 Heisenberg, Werner (Carl) (1901—1976), 213 n
Kernel, 85ex Dirichlet, 185 Fejér, 192ex Kovalevski, Sonya (1850—1891), 280n Kronecker delta, 64 Kronecker, Leopold (1823—1891), Mn
Helmholtz equation, 314ex Helmholtz, Hermann von (1821—1894), 3 14n
Hermite, Charles (1822-1901), 82n Hermite's differential equation, 62ex Hermitian orthogonality, 170 Heun's method, 94 Hill, George W. (1838—1914), 89n Hill's equation, 89ex Homogeneous boundary condition, 116 Hydrodynamics, 113 Hyperbolic equation, 103, 140, 143, 145 Hysteresis heating, 369
identity Bessel's, 75
Lagrange's, 64 lU-posed problem, 285 cx implicit method, 363 Indicial equation, 33 inequality, Bessel's, 75 inflnite.dimensional basis, 70
initial condition, 49, 104 Initial curve, 280 Initial data, see Cauchy data Initial-value problem, 1, 49 Inner product, 68 Integral operator, 85 cx test, 21 Interior Dirichlet problem, 353 cx Interval of convergence, 22 Inverse Fourier transform, 205 Irregular singular point, 31 Isothermal curves, 177, 178, 358
Jacobian, 143 Jacobi, Carl 0. J. (1804—1851), 143n Jump discontinuity, 69
Lagrange, Joseph L. (1763—1813), Mn Lagrange's identity, 64 Laguerre's equation, 61 cx Laplace, Pierre S. de (1749-1827), 104n Laplace transform, 85 cx, 266 Laplace's equation, 104, 112, 218, 360 in spherical coordinates, 321 Laplacian, 1 14n, 253 in cylindrical coordinates, 299, 318 in polar coordinates, 289 Lebesgue, Henri L. (1875—1941), 76n Legendre, Adrien Marie (1752—1833), 35n Legendre function of the second kind, 332 singularities of, 334 Legendre polynomials, 38, 88, 324 normalized, 328 norm of, 328 orthogonality of, 325 properties of, 324 Legendre series, 327 Legendre's associated differential equatiOn, 323
Legendre's differential equation, 35, 85 cx, 86, 323 Leibniz, Gott fried Wilhelm (1646—1716), 21 n
Leibniz rule, 1 lOex Liebmann, Karl 0. H. (1874— 1939), 359n Liebmann's method, see Relaxation method
Limit in the mean, 77 Limit point, 20 Linear differential operator, 50, 60 Linear extrapolation, 95 Linear interpolation, 93 Linear oscillator, 62ex Linearly independent functions, 2, 1 Liouville, Joseph (1809—1882), 56
logx, l5n Longitudinal wave, 241
417
Index
Maclaurin, Cohn (1698-1746), 22n Maclaurin series, 22, 301, 334 Magnetic induction heating, 368 Magnetic lines, 369 Mathieu, Emile L. (1835—1890), 89n Mathieu equation, 89ex Mean square convergence, 77 n Mean square deviation, 77 n Mean value of a function, see Average value
Method of Frobenius, 32 Method of undetermined coefficients, 8 Missing initial condition, 91 Mixed boundary conditions, 235 Modified Bessel equation, 220, 3l5ex Modified Bessel function, 221, 315 cx Modified Euler method, see Heun's method Monte Carlo method, 358 Moving boundary, 356 Muir, Sir Thomas (1844-1934), 2n Natural basis, 68 Neumann, Carl G. (1832-1925), 105n Neumann function, 3 lOn Neumann problem, 105, 232 Newton's law of cooling, 253, 348 Newton's second law, 123, 130 Node, 240 Nonhomogeneous boundary condition, 116, 256
Norm, 70, 64, 74 Normal derivative, 105 Normal forms, see Canonical forms Normalized function, 64 Null function, 70n, 77 Odd extension, 199 Odd function, 165 Odd periodic extension, 167 Open region, 105 Ordinary point, 31 Orthogonal in the hermitian sense, 82 Orthogonal matrix, 142 Orthogonal set, 63 Orthonormal set, 63, 330 Overshoot, 159
Parabolic equation, 103, 140, 144, 361 Parseval, Marc-Antoine des Chênes (1755—1836), 78n
Parseval's equation, 78 Partial sums, 20, 24, 43, 74, 158 Particular integral, 7 Particular solution, 2, 7 Perfect insulation, 209, 232 Periodic boundary conditions, 87 Periodic extension, 165 Periodic function, 154, 183 Permeability, 369 Piecewise continuous function, 68 Piecewise smooth function, 154 Plucked string, 128 Pointwise convergence, 42, 74 Poisson, Siméon D. (1781—1840), ll2n Poisson's equation, 112 Poisson's integral, 292 Polar coordinates, 287 Potential electric, 112 equation, 218, 348, see also Laplace's equation function, 113, 226 gravitational, 113 magnetic, 112 theory, 113 velocity, 113 Power series, 21
Principle of superposition, 10, 114, 177 Problem boundary-value, 49, 104 Cauchy, 279 Dirichlet, 105, 179, 231, 292, 356 singular Sturm-Liouville, 60 Stefan, 356 Sturm-Liouville, 56, 227 two-point boundary-value, 55 well-posed, 279 Pseudorandom numbers, 358 cx Quadratic form, 142 Quantum mechanics, 61 Rabenstein, Albert L., 33 Radius of convergence, 21
418
Index
Random walk, 356 Ratio test, 21 Recursion formula, 29 Reduced equation, 7 Reduction of order, 3, 15 Reflection of waves, 127 Region, 105 Regular singular point, 31 Regular Sturm-Liouville problem, 56, 87 Relaxation method, 359 Riccati equation, 313 cx Riemann, Georg F. B. (1826-1866), 76n Riemann-Lebesgue theorem, 76 Roberts, S. M., 98 Robin, Victor 0. (1855—1897), 235n Robin's condition, 235 Rodrigues' formula, 328 Rodrigues, Olinde (1794-1851), 328n Root mean square (RMS) convergence, 77 n
Scalar product, 68n SeIf-adjoint equation, 81 Separated boundary conditions, 86n Separation constant, 55, 300, 321 Separation of variables, 15, 115 Sequence, 20 Series
alternating, 21 of constants, 20 divergent, 20 double Fourier, 226, 228 Fourier, 134, 154 Fourier-Bessel, 305 geometric, 21 harmonic, 21 Legendre, 327 Maclaurin, 22 power, 21 Taylor, 23
Shipman, J. S., 98 Shooting method, 93 SI units, 254 Sifting property, 214 Simple harmonic oscillator, Sin, 52 Singular point, 31, 291 Singular Sturm-Liouville equation, 87 Singular Sturm-Liouville problem, 60
Sneddon, Ian N., 194 Solution formal, 117, 272 general, 2, 103 particular, 2 steady-state, 138, 257, 344 transient, 138, 257 trivial, 51, 115 unique, 2, 50 Specific solution, 103 Spectral bandwidth, 213 Spectrum, 212 Spherical coordinates, 319 Spherical harmonics, 322 Spline function, 364 Square-integrable function, 76 Stable method, 363 Steady-state solution, 138, 257, 344 Steady-state temperature, 113, 232 Stefan, Josef (1835—1893), 356n Stefan problem, 356 String plucked, 128 vibrating, 121 Sturm, Jacques F. (1803—1855), 56 Sturm-Liouville problem, 56, 227 Sturm-Liouville system, 56 Symmetric operator, 67 ex Système International d'Unites, see SI Units
Target condition, 91 Taylor, Brook (1685—1731), 23n Taylor series, 23 Tchebycheff, Pafnuti L. (1821-1894), 90n Tehebycheff polynomial, 9Oex Tchebycheff's differential equation, 62ex, 9Oex
Theorem
Cauchy-Kovalevski, 280 Dirichlet, 155 divergence, 135 Leibniz, 21 mean-value property, 293 Riemann-Lebesgue, 76 de Ia Vallée Poussin, 278 Thermal conductivity, 134, 254 Thermal diffusion, 134
Index
Thermal diffusivity, 136, 232 Thermally isotropic, 134 Transform Fourier, 85 cx, 204 Fourier cosine, 208, 263, 271 Fourier sine, 208, 265 Hankel, 311
Laplace, 85 cx, 266 Transient solution, 138, 257 Transport coefficient, 136n Transverse wave, 241 Tricomi equation, 103 Tricomi, Francesco 0. (1897— ), 103n Tridiagonal matrix, lOOn Trivial solution, 51, 115 Truncation error, 361 n, 364 Two-point boundary-value problem, 55
Unbiased estimate, 357 Undershoot, 159 Undetermined coefficients, method of, 8 Uniform convergence, 43, 74, 183, 276
419
Unique solution, 50 Uniqueness, 232 Vallée Poussin, Charles J. de Ia (1866— 1962), 278n Variable permeability, 372 Variation of parameters, 11 cx Vibrating membrane, 113, 130, 239 Vibrating string, 121
Wave equation, 106, 123, 239, 243 Weber's Bessel function, 310n Weierstrass, Karl 1. (1815—1897), 46n Weierstrass M-test, 46, 276 Weight function, 63 Well-posed problem, 279 Wolf, Kurt B., 159 Wronski, Hoenë (1778—1853), 2n Wronskian, 2
Zeros of Bessel functions, 302