Professional Documents
Culture Documents
0), avi war JQ) = ~— sin a) elev? <0). x a cos ——— a2 (008-5 @ These two expressions can be combined into a single one: YQ) = ‘con lle 4 sin HL) gle gg ea (oa + Aye all x). BIBLIOGRAPHY Caastaw, H. S., Iniroduction to the Theory of Fourier’s Series and Integrals. London: Macmillan Co., 1930. SNeDvon, I. N., Fourier Transforms, New York: McGraw-Hill Book Co., 1951. Trrchmarsu, E. C., Introduction to the Theory of Fourier Integrals. New York: Oxford University Press, 1948, ' ‘Tranter, C. J., Integral Transforms in Mathematical Physics. London: Methuen & Co. Ltd., 1956. . ~ * We shall work within the space of distributions,PROBLEMS =. 285 PROBLEMS . Verify the (first) Parseval theorem for each of the three functions f(x) used in the ‘examples of Section 7.2. 2. Find the Fourier transforms of the following functions: cos Bx at xt a) SX) = ec cosfx A> 0), b) fd = coskox (|x] < Nx/ko), 109) = { 0 (xl > Nx/ke), Wis a positive integer. w Establish the following result (using the technique of Example 6, Section 2.12): {ene ax 1 cosa del <2. sinh wx) V/gq cosh k + cosa > 8) Obtain the analog of conjugation property (Section 7.3) for the case of purely imaginary f(x). b) Do the same for the case of complex f(x). 5. Establish the following formulas: -s a a) Sgfe™* cos x} = a wey’ sinx OS x}- "ie 2 2 ©) Sele") 2 wk x @+ Rp” @) Seb} = Ve Te) ZED E act, 6. Develop the formulas for dF) af) (a fo) a) sf get? b) Ss (9 ‘ 2 56 ae | Simifar to that for ¥e{d?f(x)/dx?} quoted on p. 275, Deduce the following convolution theorems: _ a) oa*(FatoG gay = —L f aU + 8) — fe - Dldt Vin Jo (where f'(x) is the “odd extension” of f(x), b) SSF AWG = x f HOI + + fe — Oa, _ ©) SSF ShGct)) = z f HEME — 8) = gle + DAE =286 © FOURIER TRANSFORMS 8. Using the symmetry of the integrand, show that Sele} z etiite, a Let fO) = erfe 0 = O/VR) fe? at. Using the formula connecting Go {f"(x)} with Fs{/€x)} and the above result, show that 21 — eA Ssferfe Qa} = f=. 2 ' Solve the problem discussed in Example 1, Section 7.7, for the following cases: 2) overdamped oscillator, wp ? T+ | | »T fh betm | Figure 8.1 tb) * More precisely by a pair of such forces. } See Example 2 in Section 6.5. 287288 PARTIAL DIFFERENTIAL EQUATIONS BL Now suppose that the wire can be deformed from its original, almost straight, shape by some moderate (small with respect to T) forces which are either acting permanently or are used to produce an initial displacement or initial transverse motion of the wire. It is then reasonable to expect that the stope of the deformed wire will be small everywhere during the motion (for instance, the maximum slope should not exceed 0.05). Suppose further that the wire is never subject to any other horizontal forces except the tension T, or to any initial horizontal displace- ments or velocities of its points. From all these fairly restrictive conditions we can derive certain consequences: a) The elements of the wire can have only transverse displacements, since there are no initial longitudinal displacements or motions and no subsequent net longitudinal forces. b) The tangential force in the wire is at all times and at ali points constant {toa high degree of accuracy) and equal to T. Indeed, for an arbitrary piece AB of the deformed wire the equation (see Fig, 8.2) Ty cosa = T, cos 8 must hold at all times. However, COs a = ! 2 FS El ban? ae VIF tanta Hranta {to an accuracy of 0.5% or better if |tan a] < 0.05). The same argument holds for cos 8, leading to T,=T,=T. ‘We can now derive the equation which must be satisfied by the deflection u of the wire at any point x and any instant of time #. Considering an element dx (Fig. 8.3), we obtain, noting that dx & ds within our approximations, . Tin 8 — sina) + Fae — pg dx = pdx, where p is the density of the string (so that p dx is the mass of the element), F is the external force per unit length at point x, and 47u/ar? is the acceleration of the element in the transverse direction. The above equation represents Newton’s second law applied to the element dx. ‘Within our approximations we can set fit ev tana = OH os) Vit tanta ex 2 og a cw OH ax) . sing cS (x4 4) : sina = and, similarly,aL THE STRETCHED STRING. WAVE EQUATION 289 Figure 8.2 Figure 8.3 It is then reasonable to replace sin § — sina. du/ax(x + dx/2) ~ au/ax(x — dx/2) a by the second derivative 07u/ax?, and the equation becomes vu #u Toa t+ FD — p(x)g = 0 55 * where we have taken into account that the string may not be homogeneous (so that p may vary with x) and the external force F may vary with x and ¢, This general equation for co 1) can be simplified in many cases. For instance, if p(x)g is small compared to F(x, 1), it may be neglected and the equation re- duces to a°u eu Taya t+ FO = a) oo (Note that the term (27/91) should not be neglected, because 874/31? may be large due to fast vibrations: the term T(82u/ax?) is, in general, appreciable be- cause T is large.) If there are no transverse forces ai ing on the string, then the equation assumes the form ou vu Ta — eG) aa: Finally, if p is constant, as in the case of a homogeneous string, then the equation can be written in the form 2, 2, a 72 = ® &, i ® 2 xi where c? = T/p = const (note that ¢ is real because p and T are positive). This equation is known as the (one-dimensional) wave equation; it is a linear partial differentiat equation of the second order in two variables (x and /), with constant coefficients.290 PARTIAL DIFFERENTIAL EQUATIONS. 8.1 Although partial differential equalions are, generally speaking, more difficult to solve than ordinary differential equations, some of them have fairly simple solutions. Such is the case with the above wave equation. Consider the function ux, = f(x — ef), where f is an arbitrary twice differentiable function. It is simple to verify that u(x, f) is a solution of our wave equation. Exercise. Produce a proof of the above statement by setting z = x — ef, using ou du az ax az ax’ “I A simple reflection witl show that the function ul, 1) = g(x + ct) is also a solution of the wave equation no matter what g is.* As a matter of fact, it is possible to prove that the expression ux, = fle — et) + g(x + ct) sepresents the general solution of our PDE:t ie., any solution can be expressed in this form, Despite all this, physical problems leading to the one-dimensional wave equation do not become trivial just because the gencral solution is known. Physical problems impose certain conditions on the solution u(x, 1). For instance, since a typical stretched-string problem usually implies that the string, of a given length L, is fixed at the ends which may be placed at x = Qand x = L, it follows that the solution must satisfy the conditions (0,1)-0 and wd, = 0 for all values of the variable #. Such conditions are appropriately called the boundary conditions. Moreover, the physical problem begins at a certain instant of time, usually selected to be ¢ = 0, and it is often assumed that the initial shape and the distribu- tion of initial vetocitiest of the string are given. These so-called initial conditions are functions of the variable x and can be expressed by the statements. M0) = mols), Sx, 0) = vole), * So long as it is differentiable twice, f PDE will be used as the abbreviation for “partiat differential equation. ¥ These correspond to the familiar notions of initial position and initial velocity in Particle mechanics,8.2 THE METHOD OF SEPARATION OF VARIABLES 291 where uo(x) and v(x) are given functions, representing the displacements and velocities of al! points of the string at the time ¢ = 0 When various such conditions are imposed on u(x, 4), then it is by no means easy (in general) to determine the functions f and g in the general solution, In many cases it is convenient to abandon altogether the form ux, 1) = £00 — ct) + a(x + ct), and to approach the problem from an entirely different angle.* In particular, we shall discuss the methods which favor compliance with boundary conditions trom the very start, 8.2 THE METHOD OF SEPARATION OF VARIABLES Since the additional conditions imposed on u(x, 1) in our string problem Fall into two groups, (a) those involving x (boundary conditions) and (b) those involving ¢ Ginitial conditions), it may be reasonable to seck solutions of the PDE in the form uG, = XO), where X is a function of x only and Tis a function of ¢ only. If X¥(x) is chosen to satisfy the conditions XO)=0, XU) = 0, then the function (x, £) will satisfy the same conditions. Then T(#) may, perhaps, be chosen to satisfy the initial conditions. ‘We now reqflire that u(x, #) satisfy the PDE, We have Puls, 2 aux, 2 ary Therefore PX, 1 yer. at 3” die Dividing both sides by ¥(a)T(1), we obtain CPx 1ider X det" FT Ge The left-hand side of this equation depends on x alone; the right-hand side de- pends on / alone. If this equality is to hold for all x and 4, it is evident that either side must be a constant (same for both sides): lax X dt * For some problems, however, this form is very suitable.292 PARTIAL DIFFERENTIAL EQUATIONS 8.2 The constant d is known as a separation constant, The equation for X(x) can be written as ax Gee OX and will lead to exponential functions if > 0, to trigonometric functions if A < 0, and to a linear function if X = 0: Aet YE 4. Bem2V% @> 0), AGA) = YA’ cos (xR) + BY sin (xV=2) (A < 0), atx + BY Q@=0). It is not difficult to verify that the boundary conditions X() = 0, XW) = Ocan be satisfied only if » < 0 and, moreover, only if A’ is set equal to zero and the values of ) satisfy the condition V-N=a/k (n= 1,2,3,...). Exercise. Show, in detail, that it is Possible to satisfy either X(0) = 0 or XD = 0, but not both, if > 0. Also, Prove the statement made for the case < 0. These “allowed” vatues of the separation constant ), dw = —ne/E® (n= 1,2,3,...), are usually called the eigenvalues, or characteristic values, of the problem under consideration.* By this we mean the problem of finding functions satisfying the given DE and the given boundary conditions. In our case there is an infinity of such functions, called eigenfunctions, and they read Xx) = By sin (mex/L) (nw = 1,2,3,...), where B, is an arbitrary (nonzero) constant which may, in general, be different for different eigenfunctions. In our problem of the stretched string the function T(t) which is multiplied by X(x) must satisfy the DE with the same separation constant as X(x). Therefore, to each eigenfunction X,(x) there corresponds a function T,,(1) satisfying Li@m , na? OT, ae ~~ ~ Te This yields ch . axct . TA) = Cy coset + Dy sin a ; where C, and D, are arbitrary constants. * The word eigenvalue is an adaptation of the German term eigemwert derived from eigen = proper and wert = value.8.2 THE METHOD OF SEPARATION OF VARIABLES 293 Summarizing our results we may say that the attempt to find the solution of our PDE with given boundary conditions and initial conditions in the form u(x, ) = XOOT() leads us, so far, to an infinite number of such functions which may be written as n(x, ) = (4 cos FS + B, sin me) sin, where A, = B,C, and B, = #,.D, are arbitrary constants. Each of these func- tions un(x, 4) satisfies the PDE and the boundary conditions. It remains for us to select from among these functions, adjusting the constants 4, and B,, those func- tions that will also satisfy the desired initiat conditions. Before we do this, however, note that each function uq(x, £) represents, on its own, some kind of possible mo- tion of the stretched string (corresponding to some special initial conditions). These types of motion are known as the characteristic modes (or normal modes) of vibration of the string. Each one Tepresents a harmonic motion (vibration) with the characteristic frequency (or “eigenfrequency”) @ =nec/L (n= 1,2,3,..). A bit of reflection will show that it is not possible to satisfy arbitrary initial conditions 12,0) = wots), Hx, 0) = 266%) by any single function uq(x, 4). Indeed, any particular function u(x, 1) will satisfy initial conditions of the form Chr. nex a tox) = Ay sin, pay = By E £ and 0 others. To overcome this difficulty we can lean back on the powerful principle of superposition. Our PDE is linear homogeneous, and so are our boundary conditions. [tis trivial to verify that if two functions a(x, 1) and tm(x, 1) satisly the PDE and the boundary conditions, then their linear combination IK, OO = Cyttax, 1) + Cotin(x, 1) will also satisfy the PDE and the boundary conditions. By induction this will also be true for a linear combination of a finite number of functions tg(x, 4). Itis not unrcasonable to conjecture that the same properties will hold for an infinite series formed by the functions u_(x, 1): . nxct a Rch\ Nex YX, = x (Ancos ae +B, sin sin os. provided the series converges (or if not, provided it can be treated asa distribution, in conformity with the principles stated in Chapter 6).294 © PARTIAL DIFFERENTIAL EQUATIONS 82 To be more precise, the function defined above certainly satisfies the boundary conditions 70, = WL = 0 (since each term satisfies them). It will also satisfy the PDE, provided it can be differentiated twice term by term with respect to both x and ¢. From the point of view of the classical theory of functions, this may impose considerable restrictions on A, and By; €.g., the twice differentiated series p(x, 1) must be uniformly con- vergent, On the other hand, from the point of view of the theory of distributions it is sufficient* that A, and B, are of the order of some power of 1: |4n| < An”, |B} < Bn” (some 4), and this point of view may be adequate for physical applications. In any case, however, the justification of the method depends on the properties of A, and B,, and it is usually convenient to assume its validity and justify it later, after the solution has been developed. It is needless to emphasize that the function y(x, 1) is a Fourier sine series in x (it is also a Fourier series in #, but this fact is of much less importance). Setting t = Oand using the first initial condition, we obtain uo(x) = 5 A, sin a. at If the function wo(x) can be expanded into a Fourier sine series, the coefficients A, can be determined. In physical problems #9(x) is invariably continuous, piece- wise very smooth, and vanishes at x = O and x = L. Therefore, it can be repre- sented as above. Similarly, calculating (9u/2t)(x, ¢) and using the second initial condition, we can obtain cae. frx vo(x) = Ea, Ein a In physical problems v9(x) is sometimes assumed to be discontinuous. However, it is invariably piecewise continuous and piecewise very smooth, and the coefficients B, can be determined as well. Consequently, we have constructed a solution to our problem in the form of a series wo 0= Ye (4 cos + By sin") sin "=, i which satisfies the boundary conditions and initial conditions for all physically reasonable functions ug(x) and vo(x). * See p. 253,8.3 LAPLACE AND POISSON EQUATIONS 295 8.3 LAPLACE AND POISSON EQUATIONS Many problems in electricity and magnetism are also reducible to partial differen- tial equations. For instance, one of Maxwell’s equations reads (in MKSA units) ou curlE Hog, = 9 In the so-called electrostatic case, where the magnetic field H is absent (H constant in time leads to the same situation), this equation reduces to cule = 0. Since this holds everywhere in space it is possible to derive the electrostatic field from a scalar (the electrostatic potential),* E = ~grady. Hf this property is combined with Maxwell's first equation (for vacuum), divE = p/eg, then we obtain div grad p = Vp = —p/ep, where p is the charge density (assumed to be given as a function of coordinates) and €, is constant (electric permittivity of free space). An equation of the type (r = position vector) Wo = f(r) is known as the Poisson equation. Its particular case, when f() = 0, Vp = 0 is known as the Laplace equation. As follows from the above, it must be satisfied by the electrostatic potential g(r} in a charge-free region. Example. A very long, hollow, metat cytinder of radius a is split lengthwise into two halves, insulated from each other. The halves of the cylinder are kept at potentials +V and — V, respectively. It is desired to find the electrostatic ficld E inside the cylinder. This problem may be solved (approximately) by an idealized infinitely long and infinitely thin split cylinder (Fig. 8.4). It is convenient (see the boundary conditions below) to treat the problem in cylindrical coordinates, as shown. * Minus sign is conventional,296 PARTIAL DIFFERENTIAL EQUATIONS 8.3 The field E is easily found from the electrostatic potential g which must satisfy the Laplace equation written in cylindrical coordinates laf ag La%y , a% 1 2(-22) 4 bee et = % From symmetry considerations it is evident that » must be independent of z, so that o = off, 8). The following boundary conditions are imposed on y: Aa,A=+V ( 0), and C = const and log r (for # = 0). Since g(r, 8) must possess a gradient at r = 0, the solutions 7 and log r are not admissible. According to the general principle, we form a linear (infinite) superposition of solutions: #6, 0) = Ag+ 35 r"(Ay cos m6 + Bp sin mn). . ean8.4 THE DIFFUSION EQUATION —-297 To satisfy the boundary condition nm ITY O< £(5) sin mé. m=1,3,5,... 7 It is not difficult to verify that this function satisfies the conditions of the problem. In particular, if r < 1, where r, is any positive number less than a, the series can be differentiated term by term twice with respect to both r and 6 (the factor r/a will cause uniform convergence of the twice-diflerentiated series), Thus the PDE is easily verified. Remark. From a physicist’s point of view, o(r, 8) does not have to salisty the PDE at + = a, so tong as it approaches the prescribed boundary conditions [which it does since at r = a it reduces to the Fourier series for f(O)). 84 THE DIFFUSION EQUATION Another type of PDE arises in the study of diffusion of some substances through @ continuous medium, such as diffusion of smoke through the air, diffusion of neutrons in a nuclear reactor, or diffusion of a dissolving chemical through the solvent. Let p denote the density of the substance (often called the concentration) measured in units: “stuff"/cm*, where “stuff” is the appropriate unit for the substance, such as the number of neutrons or the number of atoms in the solute. Let j denote the current density measured in “stulf”’/cm?2 - sec (amount of sub- stance passing per unit time through a unit area normal to the direction of flow).298 PARTIAL DIFFERENTIAL EQUATIONS 84 Then most diffusion phenomena obey the following linear law, sometimes called Fick's law: j= ~Dgradp, where D = const is the diffusion coefficient, which depends on the properties of the medium (D is measured in cm?/sec). Suppose, furthermore, that the diffusing substance is neither absorbed nor emitted by the medium. Then the equation of continuity (conservation law for the substance) 8s dvi #4 dvj=0 must hold. Combining the above two equations, we obtain. % _ ppt $x Dv’. This result is known as the diffusion equation. An immediate modification is possible if the substance is capable of being absorbed (destroyed) or emitted (created) as is the case of a chemical compound or neutrons (absorption and emission by the nuciei). In this case, the equation of continuity reads 2 diy = 3 tdivi= 5, where s is the source density, i.e., the amount of substance created (or destroyed, if s < 0) per unit volume per unit time. The expression above gives rise to the nonhomogeneous diffusion equation op 2, 3p = DV +s. Remark. In some problems, one encounters the steady state of diffusion processes. Then is independent of time and the equation reduces to the Poisson (5 x 0) or the Laplace {s = 0) equation. Some other physical phenomena, such as conduction of heat, lead to the same type of equation. Conduction of heat is usually assumed to obey the linear heat flow equation (first established by Fourier) a= —k grad u, i ! where q is the heat current density (cal/em? - sec), w is the temperature (deg), and k is the thermal conductivity (cal/cm - sec- deg). For an arbitrary volume V enclosed by a surface S the heat influx per unit time is — $s (qd) (the minus sign is traced to the conventional definition of dS to be directed outward),8.5 USE OF FOURIER AND LAPLACE TRANSFORMS 299 If, in addition, heat is generated (e.g., by an exothermal chemical reaction) at a rate given by s(x, y, z) per unit time and unit volume, then the total heat received by V in a time interval A¢ is Q= [-ffv-as) + fffsav]a According to the basic formula of calorimetry, this amount of heat will raise the temperature within VY by an amount Au so that Q= Audv, Ife ue where p is the mass density (gm/cm?), ¢ is the heat capacity (cal/gm - deg). (It is tacitly assumed that V is sufficiently small and a unique temperature u may be assigned to the entire volume.) Thus we are led to the statement ffor-0 = |ff [ood — Jan If At is very small then Au/Ar may be replaced by du/at. Applying the divergence theorem,” we deduce that — diva ws Ou Combining this with the heat flow equation, we obtain = = aVu + bs, 3 a cen), b= (25). cp \ sec cp cal where In particular, if no heat sources are present, this result reduces to du 2y2, a 7 V%n, which is often called the heat-conduction equation. $5 USE OF FOURIER AND LAPLACE TRANSFORMS Example 1. A very long and narrow pipe is filled with water. At time f= Oa quantity of salt (Af gm) is introduced into the pipe at some point x9 (remote from both ends of the pipe). We wish to find the concentration of salt at any later time. * See Section 1.8.300 PARTIAL DIFFERENTIAL EQUATIONS. 85 We can idealize this physical problem by assuming an infinitely long pipe (Fig. 8.5). Moreover, since the pipe is narrow, the variations of concentration of salt over a cross section of the pipe may be neglected and the concentration can be treated as a function of two variables only, x and #: P= p(x!) {in gm/cm*), This function satisfies the one-dimensional diffusion equation pie, of ax? The initial conditions can be idealized by the statement that p(x, 0) is zero every- where except at the cross section x ~ Xo, where M gm of salt have been intro- duced. This statement can be expressed by means of the Dirac delta function (x, 0) = (Af/A) 6x — x9), where A is the cross-sectional area of the pipe. The boundary conditions for this problem may be formulated by the statement fim Pt, = p(to,9=9 (alls), reflecting the physical law of conservation of the total amount of salt. Salt. introduced at 1-0 x Je-~ -x9—- Figure 8.5 Exercise. Show that if p(x, 1) > po > 0 for all x > N and some ¢ (some fixed po and NY), then the total amount of salt cannot be finite. The boundary conditions of this problem bear a certain resemblance to the problem of the vibrating string in Section 8.2. The basic difference is, however, that the sought furiction p(x, ¢) must now vanish at the ends of an infinite intervat {rather than at points x = 0 and x = L). This fact suggests that the solution is more likely to be expressible by means of a Fourier transform than by a Fourier series. As a matter of fact, since p(x, 1) must be very smooth with respect to x, that is, it must possess a second derivative, and since it is absolutely integrable (bear in mind that p(x, t) > 0), t [0 0 0A dx = M, it follows that it must possess the Fourier transform,85 USE OF FOURIER AND LAPLACE TRANSFORMS. 301 40 R(k, ) = F{olx, O} = [ atx, Ne dx. Vix We shall assume the vatidity of differentiation under the integral sign,* namely, ARK) Lf ape ite gy dt ix Jw “Ot as well as the usual property 5 {2%p/ax7} = —K2R(k, t). Then R(K, 1) satisfies the ordinary DE : anh 8 5) - _ DeRK, 1, and is given by : Rik, 1) = Rlk, NeW PP Given the initial condition, it now follows that sh eto RK, 0) = o {i ocx ~ xo = u = {in the sense of the theory of distributions). Therefore M _ itkeoDkY R(k, 1) = ——x- ee . AVde ‘The inversion is not difficult (see, for example, p. 231), and the result is Mod (229 AE p=. Le A Vay Dt This should then be the solution to our problem. itis easy to verify that it satisfies the PDE and the boundary conditions (either as a distribution or as a “classical” function). Also, lim p(x, ) = (M/A) B(x — 2x0), in the sense of distributions, of course, This is all that is required to adopt p(x, 1) as the solution of the physical problem. If desired, the steps taken in the Fourier transform technique can also be justified. * If we postulate that a(x, #) is a distribution (see p. 242) with respect to both x and 7, then this procedure can be shown to be automatically valid (by methods similar to those in Section 6.9). Otherwise, the idea mentioned on p, 294 can be invoked. A justification a posteriori will be possible after p(x, ) is found.302 PARTIAL DIFFERENTIAL EQUATIONS 8.5 Bxercite. Show that (in the sense of classical functions) for any ¢ sé 0, p(x, 1) is ex: pressible by te ete) = mz } Rk Ne at and that it can be differentiated twice under the integral sign with respect to x, and once with respect to 1. The sketch of the obtained solution is given in Fig. 8.6.* ol) Smalt ¢ Figure 8.6 Example 2. A very long and narrow cylindrical rod thermally insulated over its lateral surface is kept at zero temperature up to ¢ = 0 at which time one of its ends is placed in thermal contact with a heat reservoir at the temperature uy. It is desired to find the temperature in the rod. at any later time. 110. = ae Figure 8.7 As in the preceding example, the temperature in the rod can be treated as a function of only two variables, w= u(x, 1), and the rod can be’ considered to be semi-infinite (Fig. 8.7). The problem may be mathematically formulated as follows: u(x, £) must satisfy the PDE. du _ 9a’ ou ou ar xt with the initial condition u(x, 0) = Oand the boundary conditions 40, =u, — u(oo, )= fim u(x, ) = 0. * Different scales are used for the ordinates; otherwise, the area under each curve should be the same.85 USE OF FOURIER AND LAPLACE TRANSFORMS = 303 This problem can be conveniently solved by the method of Laplace transforms. Indeed, from the second law of thermodynamics, it follows that, (Xx, 1) S to} therefore u(x, () must possess a Laplace transform. It is reasonable to assume that its time derivatives also possess a Laplace transform (except at ¢ = 0)so that if UG, 3) = L{uG, OF, then PU, 3) _ s Ge) 5 us 9), which is obtained by taking the Laplace transform of the PDE and using the initial condition. Solving (with boundary conditions applied), we find that UG, s) = UO, se = * ent als If the available table of Laplace transforms does not list this function directly, then the rule £ { [ “fe ar} = 1h), where F{s) = £{f(}, may, perhaps, be used. If even this is not possible, that is, F(s) = 7" is not listed, then we may employ Mellin’s inversion formula vee uo st, valo yas = ds. u(x, ) wo fo bee fs, Bearing in mind the branch cut created by 4/s as well as the contribution from the origin, we close the contour as shown in Fig. 8.8. Lmploying an argument similar to that in Example 4, Section 2.15 or, alterna- tively, setting s = fo and making use of Jordan's lemma, we see that the contribu- tion from Cg vanishes in the limit R — a0. In the contribution from 4 to B we may set Tm = oe > oe™, and in the contribution from C to D, we may set s= oe oe,304 PARTIAL DIFFERENTIAL EQUATIONS 8.6 where ¢ is real and where the limits 6 45 are anticipated. The sum of these contributions reduces ta wo f ent sin XE dor. ® o a Write /o/a = k and reduce this to 2ug f * (neti sin kx dh x Jo “e This integral may be evaluated, ¢.g. from the formula f oO cos wt du = Lk ay 0) o a by integration over w from 0 to x: f dof eo cos wu du ° a Therefore The contribution from C, yields —u. Therefore Vie M st—2¥ija ds wD af ees x x = = (0 + uo rf) = uy erte 2. ( a ) a lat 8.6 THE METHOD OF EIGENFUNCTION EXPANSIONS AND FINITE TRANSFORMS The selection of methads used to solve physical problems involving partial differ- ential equations is based on the geometry of the problem and the character of the boundary conditions. For instance, the choice between Fourier transforms and Fourier series (atising from the separation of variables) can be traced to the Fact that in one case the Tange of variation of x is infinite, that is from —oo to +o, and in the second case it is finite, from 0 to L. In many respects, however, the method of Separation of variables and the method of transforms are closely related, To illustrate this, let us consider again the problem of the vibrating string solved in Section 8.2.86 HIGENFUNCTION EXPANSIONS AND FINITE TRANSFORMS 305 This problem consists of finding a sotution 4(x, 1) of the one-dimensional wave equation o_o ox? ~ oF ar satisfying the boundary conditions x(0, 1) = ul, 1) = 0, and the initial conditions #0) = wal), 46,0) = vex). Instead of looking for solutions of the PDE as we have done in Section 8.2, let us focus our attention on the boundary conditions. Our solution u(x,t) is evidently a very smooth function with respect to x and vanishes at the ends of the interval (0, £), Therefore, it must be expressible in a Fourier sine series appro- priate for this interval: ux, ) = = anCi) sin 2 It is worthwhile to emphasize that this statement is completely independent of the fact that the functions sin (nwx/L) “have something to do” with the solutions of the wave equation vanishing at x = 0,L. True enough, this fact is of great help later, but, in principle, the above formula must be valid no matter what Kind of PDE the function u(x, 4) satisfies. Let us now differentiate u(x, 1): O74 So nen? Led axe ~~ xy “Ex bal) sin “>> au zs aby. ex a” de Substituting into the PDE, we obtain sy {1 d’bn nix? - eX This equation must be valid for all x, implying that the coefficients with each sin (nxx/L} (x = 1, 2,3,. ..) must vanish: L dbp nx? @ de pr n= 0. In case this conclusion docs not sound rigorous, the following argument may be invoked: Multiply the series by sin (mxx/L) (fixed mm) and integrate over (0, L).306 = PARTIAL DIFFERENTIAL EQUATIONS 8.6 Assuming the validity of term-by-term integration® and using the orthogonality property L «RX. ranx f sin sin —-~dx = 0 (a # m), we conclude that only the term with a = m survives and the DE for &,(t) follows. It is now a simple matter to solve the DE for 4, and obtain nret +. Axct BO = An cos + &, sin rc The sought solution u(x, 1) is therefore u(x, 1) = x (4 cos Ft. By sin me) sin, a and the coefficients A, and B,, are obtained from u(x) and vo(x) in the usual way: of | ex An =F f u(x) sin 7 x, 2 f® - RX By = af B(x) sin ~~ dx. This type of approach may be called the method of eigenfunction expansions, since we start by expanding u(x,t) in a series of some suitable eigenfunctions. Tecan be cast in a form similar to that of the Fourier transform approach: This time we again start with the PDE au 1 ae ox? 7 2 ot Let us multiply this equation by sin {nrx/L) and integrate over x from 0 to L: b b Ou se mex ot fae nex _ f gah pdt = 5 fo a My ax @ = 1,2,3,.. ‘This procedure is analogous to the method of taking the Fourier sine transform with one difference: the “wave number” k in sin kx is not arbitrary but restricted to discrete values k = nx/Z, and the range of integration is a finite interval (these two facts are intimately related). It is from this Point of view that we may talk about applying the finite sine transform to the PDE. * From now on we shall tend to omit mathematical details of this type; see p. 294 for a general approach to such problems,86 EIGENFUNCTION EXPANSIONS AND FINITE TRANSFORMS = 307 The right-hand side of our equation can be written as Bex 2 Le ux, a) sin “dx [with appropriate assumptions about 1(x, 1]. As for the left-hand side, we inte- grate by parts: bo L [bem i Seon ‘9 Ox? L ex QL nef" au nex otk lo axe’ EE ax * ou aex “TT dy ix [by virtue of the properties of sin (xx/L} at the boundary}. It is at this point thal the choice’ of the “transform by sin (nxx/L)" is to be appreciated. Let us integrate by parts once more: Bg gh -oE f asin = dx ° nex "2 oe a = ™ neos L Ele 2 2a fh --22 [ usin de, 0 The net result of these derivations is the ordinary DE Ee Le t a nx’ 2 ax ba f wen Din ae Ef x, 1) si 7 dx for the function L fn,0 f ux, )sin "de (a= 12,3... ° In accordance with the previous notation this function will be denoted by Fe, ) = Fb) so that 5,(/) satisfies Pot) _ as me de bl) (2 = 1,2,3,...) and the remainder of the problem is as before. Remarks 1, It is to be firmly remembered that the function &,(f) can be considered as a repre- sentation of the function u(x, t): If 6.(t) is given, then u(x, 1) is determined (by summing the Fourier sine series); the function 6. is a function of two variables; one continuous (¢) and the other discrete (1).308 PARTIAL DIFFERENTIAL EQUATIONS 87 2, The function 6,(1) is a representation of u(x, 1) with respect to a particular set of functions (sin (mrx/L}}. The success of the method is based on three facts: (a) the fune- tions sin (vxx/L) satisty the same boundary conditions as u(x, , (b) the functions sin (wxx/L) ace orthogonal to each other, and (c) the PDE is significantly simplified for the chosen représentation: it becomes an ordinary DE and of a simple type 3. The method of eigenfunction expansion and the method of finite transform are essentially identical. They are similar to the method of infinite transforma. Which partiow, lar approach is more useful in a given problem depends on the geometry and the nature of the boundary conditions. The method of separation of variables is then a general tech- nique which Teads us to the particular eigenfunction expansion or transform appropriate for the problem at hand. 8.7, CONTINUOUS EIGENVALUE SPECTRUM The method of separation of variables applied in Section 8.2 to the PDE. along with the boundary conditions uO, ) = u(L, 1) = ©, has led us to a set of eigenvalues wy? re — F @ = 1,2,3,...) corresponding to the eigenfunctions Xn(x) = Bi sin (nxx/L) (un = 1,2,3,...9 of the separated equation xX ae This set of eigenvalues is commonly called the Spectrum of the differential operator a ae which is regarded as being applied to the functions f(x) satisfying the boundary conditions FO) = f(D = 0. Among ail possible functions satisfying these boundary conditions, the particular functions ‘ %Q(x) = sin (tex/E) (8 = 1,23..), satisfying X"’ = XX, are called the eigenfunctions of the differential operator 0. * Compare the above with the idea described on b. 187,RT CONTINUOUS FIGENVALUE SPECTRUM 309 From the preceding section, it follows that these functions play an important part in the problem of construction of solutions of the wave equation. This spectrum happens to be discrete as is usually the case with the boundary conditions on a finite interval, However, if the interval is infinite, the eigenvalue spectrum (of the same operator ©) is usually continuous. Remark, The term spectrum is, of course, borrowed from optics (so is the symbol )). The quantum-mechanical description of an atom invoives an eigenvalue problem and the resulting eigenvalues are related to the wavelengths of light waves emitted by the atom. Example. Four large conducting plates are arranged as shown in Fig. 8.9 with their respective electrostatic potentials. Since the size of the plates is much larger than the separation 2a, they can be treated as though they were extended to infinity in the x- and z-directions. We wish to find the electrostatic potential in the region between the plates. We find that the mathematical formulation of the problem requires the electrostatic potential (x, y) to satisfy ae ge tae 7? and the boundary conditions o(x, 4) = ox, -a)=+V (> 0), 0,4) = 9, -Q=-¥ (<0) Fignre 8.9 or, more compactly, g(x, ba} = F[2S(x) — 1], where S(x) is the step function. Let us apply the method of separation of variables: If p(x, y) = X()YQ), then PX fy _ aa Ga In order to determine the eigenvalues, we should use the boundary conditions. The boundary conditions apparently involve the variable y, but they do not seem to favor any particular choice of }. It appears that all three possible forms AY, YQ) = A, cos(VAy) + By sin(Vay) = (A> 0), @ YO) = Azt By (= 0), e ¥Q) = Ase" + Bee A <0) Q) could, conceivably, form a linear combination satisfying the boundary conditions. The reason for this indeterminacy is not hard to find: The boundary conditions with respect to y are nonhomogeneous, namely, they do not demand that g(x, a) and (x, —a) vanish but rather that they reduce to a function of x, namely,310 PARTIAL DIFFERENTIAL EQUATIONS, 87 SC) = VA2S(x) — 1]. Compare this with the vibrating string problem of Sec- tion 8.2, The requirement that y{x, a) = 0 (this is a homogeneous boundary condition) could have been satisfied by requiring that ¥\(-ta) = 0 [for cach cigen- function Y\(y) corresponding to an eigenvalue XJ. However, there is no simple condition for ¥,(p) such that (x, =a) will be made equal to some f(x). A way out of this difficulty may be found if we recognize that there are also certain boundary conditions involving x which we have missed so far. An important property of the boundary conditions is that they are antisym- metric (add) with respect to x: o(—x, £4) = —o(%, +a). This fact suggests the possibility that the entire solution is antisymmetric with respect to x: o-% Y) = —¥(%, ¥)- That this must indeed be true follows from physical considerations.* In particular, the antisymmetry implies that 00, yy=0 (-a 0). Furth¢r- more, the condition (0, y) = 0 rules out the function cos kx, Therefore XG) = Apsinkx (k > 0). . * Compare with Section 8.3.87 CONTINUOUS FIGENVALUE SPECTRUM = 311 There is no further restriction on k and we conclude that the eigenvalues \ of the problem, X" =zhX, X0)=0, Xo) < mw, form a continuous spectrum (—oo < <0). There is a nondenumerable set of eigenfunctions X.(x). Now consider the equation for ¥(y). Since is bound to be negative Q = —k), we obtain Ya) = Bye” + Cre". Having learned the importance of symmetry considerations, we can also recognize the fact that the solution (x, y) must be symmetric (even) with respect to y: o(%, —y¥) = ey) (all x). ‘We shall impose this condition on each Ye(y) which implies that By = C), or, in other words, ¥4Q) = Dy cosh Ky. Remark. This requirement would, in any event, follow from further analysis, but this step simplifies our task. We shall now attempt to solve the problem by constructing a “linear combina- tion” of functions pul, ») = Agcoshkysinkx —(k > 0), (where the constant. Dy has been absorbed into A,). Instead of an infinite series, as was the case with the discrete spectrum (infinite but denumerable), it is reason- able to expect that g(x, y) should be expressible as an integral over a continuous (infinite nondenumerable) spectrum of eigenvalues. Indeed, an integral can be regarded as a form of linear superposition, and the analogy between the Fourier series and the Fourier transform strongly indicates such a possibility. Thus we conjecture that eG, ¥) = f Ay cosh ky sin kx dk. This is, of course, equivalent to the statement that g(x, y) is expressible in terms of its Fourier sine transform, namely, ox, 9) = V2/nf” ae, y) sin kx dk, 0 where: &(k, y) = Vx/2 Ay cosh ky, It remains for us to evaluate Ay. Since & is a continuous variable, it is more appropriate to replace A, by A(K). This function can be determined from the requirement . (xa) V = f * (ky cosh ky sinkxdk — (k > 0).312 PARTIAL DIFFERENTIAL EQUATIONS 87 Note that once this is satisfied, all other three original boundary conditions will be satisfied because of the symmetry properties of the functions sin kx and cosh kp. According to the inversion formula for the Fourier sine transform, we have 4k, ») = V2]e { fx, y) sin kx dx, 0 In particular, for y = a, &(k, a) = Vx/2 Alk) cosh ka — V2/af” Vsin kx de. D The needed integral ‘ f ” sin kx dx 0 is divergent. Nevertheless, it can be treated as a distribution, in which case,* fF sinkx dx = 1k (k> 0). 0 Therefore and 2Vv f° cosh ky sin kx etx, y) = % coshka kM It is not hard to see that we could have arrived at the same result by applying the Fourier sine transform directly to the PDE. Indeed, let us assume that y(x, ) possesses the Fourier sine transform with respect to x, along with its derivatives dp/ax and a%—/ax*. Then Sslelx Y= Oy), as (aes aes, 2 ~ K(k»). and ax? Therefore, the transformed PDE. reads — Kalk, y) + = Solving and applying the requirement that #(K, y) is symmetric with respect "9 y [because (x, y) is so}, we obtain (k, y) = Ck) cosh ky. * The sequence fy(k) = ff sin kx dx = (1 — cos kN)/k divergesas N— «but itis weak- ly convergent for a suitably chosen set of test functions g(k) defined for 0 < k < @.88 VIBRATIONS OF A MEMBRANE. DEGENERACY 313 The function C(4) can be obtained from the condition Hk, a) = FV) = V2/m (V/k) and the remaining procedure is the same as before. It is still necessary to prove that the obtained function kx p coshka 2v f° cosh ky ots, = ak is indeed a solution of our problem (we have employed some conjectures and assumptions), First of all, note that the integral converges: For |p| < a, we have cosh ky cosh ka ” sin kx [2a certainly exists (it is equal to x/2). Next, it is evident that g(x, y) is symmetric in y, antisymmetric in x and reduces to V for y = a and x > 0. Finally, we must prove that g(x, y) satisfies the Laplace DE. If p(x, y) can be differentiated under the integral sign, this becomes obvious. Differentiation is possible, provided bt < 4, since one can easily prove that pn cosh ky fimk cosh ka — EG 950) = vole»? * Note that lhe “free boundary” must still be able to exert a horizontal tension T.316 © PARTIAL DIFFERENTIAL EQUATIONS 88 Example. A rectangular membrane with sides a and 6 is clamped at the boundary. It is desired to analyze the motion u = 1x, yi 1) in terms of the characteristic modes of vibration. Set up a cartesian coordinate system with the axes along two edges of the membrane. The boundary conditions assume the form (0, ¥3 1) = ula, ys 1) = 0, u(x, 0; 4) = u(x, B51) = 0. Set u(x, y3) = X@)YQ)I() and, separating the variables in the wave equation, obtain 2. a) o = eT a b) Gat ae PY (with the provision that Ay -F A2 = )- cs) wpe AY From the boundary conditions it follows* that 202 22 a Em 23,009 ee LTD leading to a double-Jabeled set of cigenfunctions Yn, 9) = Xn(X) ¥aQ) = sin uy, THER sin MEY @ 6 with the corresponding “time factors” Ton) = Arn COS Omat + Brin Sitt nant, toma = rev t/a? + 2/62 (mat = 1,2,3,...). Each pair of integers (7, 7) corresponds to a particular characteristic mode of vibration of the membrane. A particular solution u(x, 3; 1) is then sought as a superposition of all modes: where ul, 950) = SE Aen £08 unl + Br 80 Sng’) sin MEX gin « wat te ‘The right-hand side represents, of course, a double Fourier sine series, The coeff cients Amn and Byx can be obtained in the usual fashion (see Chapter 4). ; Set t= 0; then ' Holey) = De Ann sin EE sin A . mola * Compare with Section 8.2.88 VIBRATIONS OF A MEMBRANE. DEGENERACY 37 Muttiply by sin (m'xx/a) sin (n’xy/b) and integrate over x from 0 to a and over y from 0 to & (in other words, take the double integral over the area of the membrane). Assuming the validity of term-by-term integration, conclude that the only term on the right-hand side which will yield a nonvanishing integral is the term with m =m” and » = n', due to the orthogonality of our eigenfunctions. This leads to the formula a fb _4 . Mixx. ney Ann = 4f f u(x, y) sin a sia dx dy. In the same fashion, evaluating the series for du/at and using vo(z, y), obtain - _ 4 | MRK Try Bon = ghar [ f vol ») sin EE sin BP ctx dy. ‘The assumptions necessary for the validity of all these operations are invariably satisfied (at least in the sense of the theory of distributions) in all physical problems. Our solution is, therefore, complete. Let us now look into some of the features of characteristic (or normal) modes. If the membrane vibrates in one of its normal modes, then all its points will execute harmonic motion with frequency wen? lx, 951) = Cyan sin 2% sin "FP c08 (onnt + Sun) a b (for convenience, we have set Amn = Cm C08 dun and Ban = —Can Sint Snn)- In this motion some points (x, y) of the membrane will remain at rest'at ali times t, for instance, the points with x = a/m {and arbitrary y). Evidently, such points will lie along certain curves, called nodal curves {in analogy to the nodal points for a stretched string). (2, j= mede (, 2) - mode _— Nodal lines (a) «o) Figure 8.13 As a particular example, consider the (2, t)-mode (that is, w= 2,” = 1). ‘The eigenfunction reads = sin 2® sin 2 - Voix, y) = sin sin F The only nodal curve is the straight fine x = a/2 (Fig. 8.13a). Similarly, the (1, 2}-mode ( = 1,2 = 2} has the nodal line y = 6/2 (Fig, 8.136).318 PARTIAL DIFFERENTIAL EQUATIONS 8.8 Generally speaking, cach mode vibrates with its own frequency Wm, given by Onn = crv mia? + 12/82. However, sometimes two or more modes possess the same frequency. This is possible only if a/6 is a rational number. As an example, consider the case of a square membrane (a = 5). The €2, 1)- and (1, 2)-modes will vibrate with the same frequency {namely (cx4/5/a)]. It is then said that this frequency exhibits de- generacy (one may regard wn a8 an eigenvalue of our problem; the eigenvalue is degenerate if there is more than one eigenfunction corresponding to it). Furthermore, it is evident that any linear combination of (2, 1)- and (1, 2)-modes will represent a harmonic motion of the membrane (of the same frequency). For instance, the motions given by nis ys) = (A4sin2# sin 7 sin ®® 4. A sin ™ sin 2D) cos SY orV5 lx, YD) = (4 sin 2X sin Z sin? — Asin ™ sin = sin 22) cos a5, Tepresent harmonic vibrations of the membrane with nodal lines as shown in Fig. 8.14. These solutions are often called Aybrid modes. From the physical point of view they must be regarded as characteristic modes in their own right and may be treated as basic solutions for this particular frequency {the original (2, 1)- and (1, 2}modes are linear combinations of w; and 2]. tabs ¥3 ual, V3 spe lines |, Figure 8.14 Generally speaking, if a frequency is degenerate, there is an infinite number of associated modes, formed by all possible linear combinations of basic (linearly independent) modes, Some of these modes possess nodal curves which are not straight lines, Remark, Yn general, hybrid modes are not orthogonal to each other. In most cases it is convenient to work with orthogonal modes, and because of this some may be préfer- able to others. Exercise. Show that the modes #1 and uz given above are orthogonal to each other, Construct a pair of nonorthogonal hybrid modes.89 PROPAGATION OF SOUND. HELMHOLTZ EQUATION = 319 8.9 PROPAGATION OF SOUND. HELMHOLTZ EQUATION Experiments indicate that the phenomenon of sound in air is related to rapid oscillations of air density and pressure about some average values pg and po. These changes are caused by the so-called collective oscillatory motion of air mole- cules described by their macroscopic velocities.* Consider a small quantity of air within a volume V (at some particular instant £) and let ¥ ~ v(7, #) be the macroscopic velocity of air at point r and time #. If ? = a(t, #) is the density of air, then the force per unit volume is given by Newton's second law: a {1.90 = 97 The total force on volume V is then = [[foger If the weight and other body forces, namely, those depending on the volume, are negligible, then this total force is equal to the surface integral of pressure (vis- cosity is neglected as well): [fae- - fpous. Transform the surface integral by means of the formula from vector calculus, + ff pas = fffss pav, and use the fact that ¥ is arbitrary to obtain the equation of motion in differential form: ptt + grad p - 0. To this formula we may add the equation of continuity (conservation of matter): 5 flo - fhe [for —f * As distinct from their random thermal motion. Usually, the thermal motions almost “cancel out” on the average. The statistical net velocity of a macroscopically small (but still containing millions of molecules) group of adjacent molecules is called the macro- scopic velocity. { This formula follows from the representation of the gradient on p. 33.320 PARTIAL DIFFERENTIAL EQUATIONS 89 By use of the divergence theorem and the arbitrariness of V, we deduce that ap rr + div (or) = 0. Finally, the pressure p — p(r, 1) and the density p — p(t, #) can be related by thermodynamical formulas. For the frequencies involved in sound waves (20- 20,000 cps), the osciflations of p and p take place so rapidly that there is no time for an appreciable amount of heat to be exchanged between two adjacent volumes of air during an oscillation. In other words, the expansion and contraction of air are adiabatic and Bua(VN L(2Y yas, Po \Vo/ ~ \po. “ey where c, is the specific heat at constant pressure and cy is the specific heat at constant volume. The propagation of sound is governed, therefore, by the fol- Jowing equations: a ap _ _ ey eg tenadp=0, a tdiv@n=0, p= py bo, Remark. Since ¥ is a function of both position and time, the derivative d¥/dt is the total or hydrodynamic derivative” dy av fen ag t Brad) A considerable simplification of these equations is possible for a typical acoustic wave of moderate intensity. Consider, for instance, a sound wave of frequency 500 sec~", where the air particles vibrate with an amplitude of the order of 10—S cm. The wavelengtht is approximately 3.3 x 10 cm/sec 500 sec—t 60cm, where c is the speed of sound and fis the frequency. The speed v of air particles is of the order of Dw 2xfa = 2x X 500 X 10-8 ~ 3X 107! see“! * Consult any textbook on fluid mechanics; =(344246,2)edguite. (+ grad) ¥= (uf test ag) (ed + oi + edd. + For the purpose of general orientation, take the example of a plane harmonic wave with ks = acos 2n(x/d — fi), where w, is the displacement of air particles.8.9 PROPAGATION OF SOUND, IIELMHOLTZ EQUATION 321 The velocity gradient is of the order of mw 2eX3X 107% 4 scent ay ~3X 10“ sec,” while the rate of change of v at a given point is of the order of [3 we Info & Ix X 500% 3 X 10? ~ 10.¢m/sec?, The term dv/a¢ is clearly much larger than the term (¥- grad) v, the latter being of the order of lev grad) o| ~ @ ~3X 107 x 3X 107% ~ 10“ cm/sec? so that dy/dt can be replaced by 3+/at. Moreover, the relative changes in density are quite smali: If a column of air d/4 in length is compressed by an amount a = 10cm, the increase in density is of the order of =P a _ totem ¢ = 9/4 13cm (2) =CU+ ay ely rv and p & po(l + ¥8), implying that the relative changes in pressure are also small. Finally, in the expfession 1077. At follows that div (pv) = 1- grad p + pdivy, the first term on the right-hand side of the equation is smaller than the second one by something like # factor of 107 (since p ~ 10—* gm/em’, |div v] ~ 3 X 10-* seo, [grad p| < 407?" gm/em4). Therefore we are left with a simplified (but stil! quite accurate) system of equations: oe di pony + grad p ~ 0, 3,40 ivy = 0, P= poll +¥5), =P — PO, Po where p hag been replaced by po, in accordance with §~ 10-7. From the last equation it follows that grad p = poy grad 8 so that {also use dp/dt = po (03/8t)] ay Pot = 8b divy = at po Bale 0, 3; + divy = 0.322 PARTIAL DIFFERENTIAL EQUATIONS 8.9 Taking the divergence of the first equation and the time derivative of the second and combining, we obtain 28 ey% or > where c? = po¥/oo. The relative change in density & obeys, therefore, a homogeneous wave equa- tion. Evidently, the same wave equation is satisfied by the density p itself and the pressure p: 25 ce =O, 2B oY, Usually an additional function, known as the velocity potential , is introduced by means of v= —gradg. This is always possible if the initial distribution of velocities is irrotational. From av Lge a c grad 4, it follows that vee, 8 = WO,0) — of arad fr, 7) dr. Therefore, if curl v(x, 0) = 0, then v(r,0) = —grad y and* =~ 2 ft = we) = ead [¥ +e f sdr| grad ». ‘The velocity potential also satisfies the wave equation. Indeed, ee Substituting this equation into avr + div = 0, we obtain nah Example. Sound waves are generated at one end of a long straight rectangular tube of cross section a X &. We wish to investigate the patterns of these waves inside the tube for various frequencies. * This statement defines p as ¥ +c fy 8dr.89 PROPAGATION OF SOUND. HELMHOLTZ EQUATION 323 For this purpose we seck a solution g(r, () which varies harmonically with time: ef, = We @ = real), where w is the frequency (presumably arbitrary). Note that the complex form is chosen for convenience. The real or imaginary part of pcan be used for a real sohution. It follows that ¥(r} must satisfy the PDE vet ky k= w/c, known as the Helmholtz equation. Physical requirements also demand that ¥(r) satisfy the following boundary condition at the walls of the tube: where d$/an = (grad ¢ - no) is the normal gradient of ¥, mg being the unit vector normal to the surface. This condition is due to the fact that, at the boundary, the air particles can move only in a direction tangential to the (rigid) walls of the tube, Remarks 1. The problem is essentially an eigenvalue problem in three dimensions since the Helmholtz equation can be rewritten in the form V¥- mM Om Kk) with undetermined». tis analogous to the equation for X(x) in the case of the vibrating string (p. 292). 2. There are no intidal conditions for the function g(r, 1) because we have specified the time dependence. We are only looking for suitable eigenfunctions in terms of which we can (hopefully) expand a particular physically realizable solution y(, #). 3, Experimental evidence has led us to assume that the time factor is e~*!, Actually, we could have invoked the method of separation of variables. Assume that 6,9) - KOTO. aT a) Veen, 6) Sa = eT Then Tackting equation (b) first, we see that the possibility that > 0 will lead to exponential functions which are not acceptabte on physical grounds: If the source of sound maintains a steady outpot, then the velocity potential g cannot increase or decrease steadily af all points r, because this would cause the intensity of the sound to increase (decrease) every- where and contradict the conservation of energy. The possibility that — 0 would allow only T(e) = const (same reasoning); this is of no physical interest, since 8 = 4/91 = 0. Consequently, the only possibility is \ < 0, leading to the form assumed in the beginning.324 PARTIAL DIFFERENTIAL EQUATIONS 8.9 We solve the Helmholtz equation by separation of variables. Let the coordinate system be chosen as in Fig, 8.15, with the tube extending in the z-direction. Set HH) = XQYONZO; ; then ~ ax ay az a) Ger h Get oO Gea hz, i with the provision that 4; + Az + Ag = —k?. The con- dition ay/an = 0 at the walls leads to the statements aX) = ay = ° alo. | Vhs Figure 8.15 The condition on X implies that either 4, = 0 and X = const, or Ai < 0 (set Aa = —k3) and X = cos (mrx/a), where m is a positive integer. Similar conclusions are drawn for ¥. It is convenient, then, to introduce the following functions of x and y: XmnlX, Y) = eos — Gan = 0,1,2,3,-..), IX nay cos which are labeled by a pair of indices involving all possible combinations of the two nonnegative integers m and. In this, they are similar to the functions Yan of the preceding section; note, however, that the values m = 0 and n = 0 are now permissible. These functions are related (see below) to different modes of propagation of the sound atong the tube. ‘Turning now to the equation &Z an haZ, we see that the constant X, must satisfy 2 22 yee w we ar a= RP $b a) = -(4-"F-4). ‘Thus for a fixed frequency «, the constant 3 will be positive or negative depending on the selection of integers m and x, i.e., on the choice of the mode of propagation. If 2g is positive, Z wilt be proportional to e*¥, (If sound is generated at z = 0 and the tube extends along the positive z-axis, the increasing exponential solution is unphysical and must be discarded.) We say that the sound wave is attenuated. If, on the other hand, d3 is negative, then, setting Ag = — kJ, we have i Z = Acosk3z + Bsink3z. Note that kg = »/w?/c? ~ m2x2/a? — 1242/62, In this case we say that the sound wave is propagated,PROBLEMS: 325 Tt is seen that if the frequency w is fixed, only a certain (finite) number of modes will be propagated, namely, those modes for which m and n are sufliciently small to allow wfc? > m*n?/a? + n?7n?/b% The (0, 0)-mode is always propagated. lt represents a plane wave in the z {wis independent of x, y and is constant over a plane z = const at a given instant of time). Low frequencies can be propagated only by means of a few (lowest) modes, high frequencies allow a large number of modes, For a given mode (m, 1 = fixed), the frequency given by pn = we m2/a? FE 3/b™ is called the cutoff frequency. If & > mn, the mode is propagated; if & < enns it is attenuated. Remarks 1. In this problem we have investigated only the background for representation of an arbitrary acoustic wave propagating down the tube. It is now reasonable to con- jecture that such a wave can be decomposed into waves of all frequencies (by means of a Fourier spectrum) and, moreover, a given frequency component can be decomposed into a number of allowed modes. If the frequency w is considered as an eigenvalue, then it exhibits degeneracy reflected in the number of modes. 2. There is a possil problem. ility of further degeneracy (if a/b is rational), as in the membrane BIBLIOGRAPHY Carsaw, H.S., and J.C. Jarcen, Conduction of Heut in Solids. New York: Oxford University Press, 1959. Frankun, P., An Inteaduction to Fourier Methods and the Laplace Transformation, New York: Dover Publications, Inc., 1949. Morse, P. M., Vibration and Sound, New York: McGraw-Hill Book Co., 1948. Sommenrern, A., Partial Differential Equations in Physics. New York: Academic Press, Inc., 1949. PROBLEMS 1. A stretched string of fength L is “plucked” at the point and its initial shape is given by326 PARTIAL DIFFERENTIAL EQUATIONS a |. A heat-conducting cylindrical rod of length L is thermall; |. Suppose that in the preceding problem the The initial distcibution of velocities is zero, that is, 3u/d/(x, 0) = 0. Show that the motion of the string can be represented by 2 « AL! 1. * Sy sin 4 sin cos BE WD = SEB Ay EE OT When a piano string of length Lis struck by the piano hammer near the point x = £, it is assumed that the initial distribution of velocities is given by vocos™= =!) (tor jx — &1 <4). 0 (ward): Assume no initial displacement and show that the motion of the sfring is given by volx) = vod <1 sin (nx$/L) cos (red /2L) 40d in BE we fin 1 (ad/iP sin 77 cos PEE. L A wx, ) T ulated over its lateral surface and its ends are kept at zero temperature. Ef the initial temperature of the rod is ue = const, show that the temperature x(x, £) at any later time must satisfy au ate 0,1) = AL) =O, o x77 ae” 4,1) = w(L,) = 0, — ulx,0) = ito. Show that exactly the same mathematical formulation is applicable to the problem of cooling an infinite slab of thickness Z, initially at temperature uo and with its surfaces maintained at zero temperature. Solve this problem by separating the variables and show that ee LNE MAX ee a TENE ain = Does this series converge rapidly for smnalll or for large values of 7 I temperature distribution is an arbitrary function of x: s(x, 0) = f(x). Show why the method of Fourier finite sine transforms can be used immediately. Use this technique to develop the formula b 2 potters mf in tHE uy = FT z= é sin J, Msn Tat. Attempt to solve Problems 3 and 4 by application of the Laplace transform with respect to # and avoiding the Fourier series altogether. Comment on the difficulties, If you cannot find a way out, take the special case f(x) = x in Problem 4 and show that x _ E sinh (xv/s/a) >PROBLEMS 27 Now apply the technique of Problem 15, Chapter 5, to complete the solution. Does the obtained series converge rapidly for small or large values of ¢? Solve Prob- lem 3 by this method. Suppose that the rod (or the sab) of Problem 4 is insulated atx = Oandx = L. Set up the new boundary conditions and establish a suitable set of eigenfunctions. Show that the solution is now a 1 . 2 oe, = if Ode + Ey corre eos B8) cos a. 7. Consider an infinite heat-conducting rod stretching in the x-direction (—c O if the initial temperature at ¢ = 0 is prescribed: u(x,0) = f(x). Formulate the problem (PDE, initiat condition, boundary conditions). Which method of solu- tion would you select and why? Using an appropriate convolution theorem, show that _{” pat - tet ge Me) = [se a 8. Consider the following two problems: a) Determine the steady-state (independent of time) temperature distribution in an infinite rod with the cross section shown in Fig, 8.17(a) and the lateral surfaces maintained at the temperature given. b) Determine the electrostatic potential in an infinite cyfinder split lengthwise into four parts and charged as shown (Fig. 8.176). t= tg const Insulation " ve b $ Insulation u=0 @ ga en 4 Insulation p= +V¥ const (b) Figure 8.17 State the mathematical formulation of both problems. Produce a rigorous proof (by symmetry considerations) that the solution of the second problem provides us automatically with the solution to the first one. Show, in the most efficient manner, that the solution of the second problem can be given by = Sto #0, 8) = wate, Ly sin nd.328 PARTIAL DIFFERENTIAL EQUATIONS 9, Show that the problem discussed in Example 2, Section 8.5, can be solved by applying the Fourier sine transform with respect to x. (Consult, if necessary, the solutions of Problems 6 and 8 in Chapter 7.] 10, Consider the semi-infinite heat-conducting medium defined by the region x > 0 . and arbitrary y and z, Let it be initially at zero temperature and fet its surface x = 0 have a prescribed variation of temperature u(0, 1) = f(#) (for ¢ > 0), Use a method of your choice to show that 22 tats) ule, ) = f _—__. avr 10 E = TPR (#fint: The result of Problem 12, Chapter 5, may be helpful} 11. The principle of superposition (Section 8.2) can be used in a variety of situations not mentioned so far. Suppose that in Problem 3 above, only the end x = L is kept at zero temperature, while at the end x = 0 a prescribed heat current density q (p. 298) enters the rod, a) Show that the problem may be formulated by St) dr, ou du au St, = Sab 0) = Rie ae MEN Ho FT b= const, — fx, 8) b) Instead of imposing the initial condition u(x, 0) = 40, find a steady-state (time- independent) solution #1(x) of the above problem. ©) Show that the sum of «i(x)and the solution of Problem 3 yields the solution sought in (a). 12, Consider a very long (infinite) heat-conducting bar of rectangular cross section, such as the one shown in Fig. 8.18. a) Ifthe facex = @ is kept at 2 constant tempera- ture uo and the other three faces are kept at zero temperature, show that the steady-state solution can be expressed by Ty oN y, Isinh (axx/b) ney, u(x, y) = 5, nainh @era/b) 5 | b) Write (without solving the PDE) the steady. = [~~ state solution for the case in which the face » = bis kept at the temperature uo and the Figure 8.18 remaining three faces are al zero temperalure. ¢) Suppose that both faces x = aand y = bare kept at temperature wo, and the faces x = Oand y = Oat zero temperature. Can you write the solution immediately ? d) State clearly what features of the PDE, boundary conditions, etc., permit the use of the techniques hinted at above. i 13. For some additional applications of the superposition principle, consider Problem 12(c) again. a) Observe that the function w(x, y) = wox/a satisfies the PDE; state also the boundary conditions satisfied by 11.14, . A stretched string of length L is initially at rest. PROBLEMS == - 329. b) Suppose the solution to Problem 12(c) is sought in the form wy y) = sex + uals, »). What boundary conditions should a(x, ») satisfy? ©) If u(x, ») is sought in the form of a Fourier sine series, show that ur, 3) = +2 x sinh (txy/a) + (—1)" sinh [real — Ma nsinh (rr6/a) d) Show that the function u(x, 9) given above satisfies ux, 0) = fx, 6) = (Hint: Develop the function uox/a in a Fourier sine series for 0 < x < a.) A radioactive gas is diffusing into the atmosphere from contaminated ground so that 1 pgm/cm? - sec escape into the air. Assume the ground and the atmosphere to be semi-infinite media with x = 0 as the boundary. a) Show that the density of the radioactive gas in the air is governed by the relations 90) pd en Wiew) — rel, (DA = const), a ox? = —X= const (pl, ) < »). b) Assume that p{x,0) = 0 (x > 0) and solve the problem by the Fourier cosine transform method to show that x _ (weg yt ply) = % f ep ote ak ¢) Solve the problem by the Laplace transform method and show that — 7 Dd Vo nye —2t/4Dy (x, f= X Bf —e @ dr, ot i? lo V5 [Hint: Obtain the inverse transform of (/V3)e and use the convolution theorem. } 6) Show that the solutions found under (b) and (¢) are equivalent, Hint: Recall that “ RR f ee g, Lae . ‘oO Dk2 +> from Problem 12, Chapter 5, vibrations described by the PDE Oe 1 oe St ae = he a8 3 oe330 PARTIAL DIFFERENTIAL EQUATIONS 17, 1 Find the motion of the string by the following method of complementary function: Seek a solution v = ui + w2, where a1 is a general solution of the homogeneous PDE (as above, with the right-hand side of the equation being zero) and satisfies the boundary conditions but not the initial conditions, while u2 is a particular solu- tion of the nonhomogencous PDE and the boundary conditions but is independent of time. Complete this idea; show its consistency and solve the problem. A rectangular membrane 0 < x < a, 0 < y < 6 is clamped on all sides and is loaded by a uniformly distributed external force q (per unit area). 2) Show that the static (time-independent) deflection u(x, ») satisfies a nonhomoge- neous PDE and homogeneous boundary conditions. b) Show that the function qx(@a — x) ms y) = “ar satisfies the PDE, but not all the boundary conditions, } If the overall solution is sought in the form a1(x, »} + walx, ») (see Problem 15), determine the PDE and the boundary conditions which should be satisfied by i2. d) Complete the solution, simplify it, and show that 2 axle — 9) _ fact S.A cosh inetay — b9/2a) mex Wn) = SF ys cosh (ax6/2a) a ‘The stretched string of length L undergoes forced vibrations according to au _ oe % u Sa TO gga t Asner (A = const). a) Seek a steady-state solution in the form u(x, £) = y(x)sin wt and show that it can be written as sn 1) me 24 Sin sin EL — 29/2) in a (=<): ® cos (KE/2) b) Let the string be at rest prior to ¢ = 0. Solve tie problem by the finite transform method and show that ule, = 24 sin ot x sin(nex/L) _ 4A Lan sin (ors/L) in ot, Gy x eda neo — os 5 OR nod (ww, — wo) where w, = mxrc/L; assume that w cy. Comment on the physical meaning of each sum. ¢) Shovid the first sum in (b) be identical with the solution () in (a)? Verify your answer by expansion of (i) into a Fourier sine series. d) Suppose that « = nixc/L for some m. What modifications are needed in part (0)? Solve this problern and comment on the validity of the solution. : . Consider a parallelepiped a X & X ¢ made of solid material. One of the (a X 6)- faces is maintained at the temperature # = uo = const, and the other five faces are kept st zero temperature. Suppose that we wish to obtain a time-independent tempera- ture distribution,19. OBLEMS = 331. a) Formulate the problem in cartesian coordinates with one vertex of the paral- Telepiped at the origin. b) Solve the problem and show that your solution is equivalent to (or identical with) 169 = <> 1 sinhams(c — 2). mex, nny uly y 2) = = me sin — sin == Ang gg tat Sih ermne a where am, = 9 mi2/a2 + 12/b2, ©) Evaluate a(x, y, 2) = lime. ux. y, 2). d) The function ax, ¥, 2) can be used to solve a certain problem ia electrostatics. Formulate this problem. A rectangular membrane with dimensions (a X 6) is at rest for ¢ <0. For 7 > 0, it is subject to external forces (per unit area) FO, ys) = Ax, ye a) Formulate the problem. b) Solve the problem for the general (no resonance) case ifw =f rev/m2Ja2 + n2/b2 with m, = integers. ©} Solve the problem for the case of resonance: = xeV/mg/a? + 1§/6? (for some particular mp and sto). & Comment on the validity of the solution found in (c). e) Discuss the resonance case if the frequency is degenerate, ). We wish to investigate the characteristic modes of vibration of air in an enclosure of the shape of a rectangular parallelepiped (~a/2 < x < a/2, —b/2 < y < b/2, -e/2 S21 < c/D, a) Set up the PDE and the boundary conditions satisfied by the velocity potential, b) Secking solutions varying in time as et, determine the characteristic frequencies and the characteristic modes of vibration. c) Leta — 6 = mand c = 3m. Show that the lowest triple-degenerate mode has frequency » — wev/2 (c in m/sec). What are the lowest fourfold and fivefold degenerate modes?