Math 381 Fall 2006 Final Exam Solutions Instructor: Sabin Cautis Take home: due back Friday, December 15, 2006 Instructions: This is a take home exam. You may use only your textbook and notes for help. You have three hours. Do all the problems. You must show your work to receive full credit on a problem. Use separate, stapled sheets to do so. Please print you name clearly here. Print name: Upon finishing please sign the pledge below: On my honor I have neither given nor received any aid on this exam apart from help from my textbook and notes. 1a. /15 1b. /5 1c. /10 2. /15 3a. /5 3b. /5 4a. /15 4b. /15 5a. /10 5b. /10 6a. /15 6b. /10 7. /35 8. /35 1. (a) [15 points] Give the Fourier series of e−|x| on the interval −L ≤ x ≤ L. Note: you can leave the expressions for the Fourier coefficients as integrals (ie you don’t need to evaluate them). The general Fourier series is e−|x| ∼ a0 + ∞ X ∞ an cos n=1 where a0 = 1 2L RL −L e −|x| dx, an = 1 L nπx nπx X + bn sin L L n=1 RL e−|x| cos nπx L dx and bn = −L 1 L RL −L e −|x| (b) [5 points] Explain why the answer in part (a) is a cosine Fourier series (ie there are only cosine terms). Since e−|−x| = e−|x| the function e−|x| is even. This means the Fourier series only contains the even terms, namely only the cosine terms (including the constant term). More precisely, using the expression for bn from part (a) we can show bn = 0 for n ≥ 1 as follows Z L e−|x| sin −L nπx dx = L Z 0 e−|x| sin −L 0 nπx dx + L Z L e−|x| sin 0 nπx dx L Z L nπx −nπx (−dx) + e−|x| sin dx L L 0 L Z 0 Z L nπx nπx −|x| = e sin dx + e−|x| sin dx L L L 0 = 0 = Z e−|−x| sin where we used the fact that sin(−t) = −sin(t) to go from line two to three. (c) [10 points] Sketch the Fourier series of e−|x| from part (a) for −∞ < x < ∞. The Fourier series is the periodic extension of e−|x| from [−L, L]. 2. [15 points] Let u(x, y, z) be a solution to the Laplace equation ∂2u ∂2u ∂2u + 2 + 2 =0 ∂x2 ∂y ∂z on some connected domain D of R3 . Amazingly, such a solution always satisfies the mean value theorem – namely, the mean value of u on any sphere centered at a point p is equal to the value of u at the point p. Explain why this means that if u is constant on the boundary of D then it is constant everywhere. [Hint: if u is not constant can its maximal/minimal value occur in the interior of D?] If u(x, y, z) is not constant everywhere on D then there must exist some point p ∈ D where u(x, y, z) achieves its maximal value and where u(x, y, z) is not constant in a neighbourhood of p. We show this leads to a contradiction. Consider a small sphere centred at p. The average value of u on this sphere equals u(p). But for any point q on this sphere u(q) ≤ u(p) since u(p) is maximal. Both these things cannot happen unless u is constant and equal to u(p) on the sphere. This argument holds for any small sphere centred at p. This means u is equal to u(p) in a neighbourhood of p (contradiction). 3 −1 what is the 3. (a) [5 points] If L : R2 → R2 is the linear operator 0 4 adjoint operator L∗ of L (with respect to the standard dot product)? sin nπx L dx. In general, if we use the standard inner (dot) product on Rn the adjoint of a linear operator L represented by a matrix by the A is represented 3 0 3 −1 t t is A = transpose A . In our case, the adjoint of A = −1 4 0 4 (b) [5 points] Is L from part (a) self-adjoint? Why? In general, L is self-adjoint if the matrix A representing A is symmetric (ie A = At ). In part (a) this is not the case so L is not self-adjoint. 4. (a) [15 points] Let L be a self-adjoint linear operator on a vector space V equipped with an inner product h·, ·i. If L(φ1 ) = λ1 φ1 and L(φ2 ) = λ2 φ2 where λ1 6= λ2 (ie we have two eigenvectors with distinct eigenvalues) show that hφ1 , φ2 i = 0 (ie the eigenvectors are orthogonal). We have λ1 hφ1 , φ2 i = hλ1 φ1 , φ2 i = hL(φ1 ), φ2 i. Using that L is self-adjoint we have hL(φ1 ), φ2 i = hφ1 , L(φ2 )i = hφ1 , λ2 φ2 i = λ2 hφ1 , φ2 i. Thus λ1 hφ1 , φ2 i = λ2 hφ1 , φ2 i. Since λ1 6= λ2 this means hφ1 , φ2 i = 0. (b) [15 points] An example of a self-adjoint linear operator is the SturmRb Liouville operator where the inner product is hf, gi = a f gσdx. Let φ1 , φ2 , . . . denote the eigenfunctions of the Sturm-Liouville P∞PDE which, as weP learned, have distinct eigenvalues. Show that if f = n=1 an φn and P∞ ∞ g = n=1 bn φn then hf, gi = n=1 an bn ||φn ||2 where ||φn ||2 = hφn , φn i (you can assume the operations of summation and integration can be interchanged). We have the following calculation hf, gi = h = = ∞ X i=1 ∞ X i,j=1 ∞ X a i φi , ∞ X b j φj i j=1 hai φi , bj φj i ai bj hφi , φj i i,j=1 Since hφi , φj i = 0 unless i = j this sum simplifies to P∞ n=1 an bn hφn , φn i. P∞ i=j=1 ai bj hφi , φj i = 5. (a) [10 points] Explain why (for a fixed m) the associated Legendre funcR1 tions Pnm (x) are orthogonal with respect to hf, gi = −1 f gdx. The Legendre functions Pnm (x) (for a fixed m) are eigenfunctions for the (singular) Sturm-Liouville dg m2 d (1 − x2 ) + µ− g=0 dx dx 1 − x2 where −1 ≤ x ≤ 1 and the eigenvalue µ = n(n + 1). Here σ(x) = 1 so these Reigenfunctions are orthogonal with respect to the inner product 1 hf, gi = −1 f gdx. (b) [10 points] Suppose f (x) is a Rsmooth function on [−1, 1] and f (x) = 1 P∞ f Pnm dx m R −1 n=1 an Pn (x) show that an = 1 P m P m dx . −1 n n Since the Pnm (x) are orthogonal with respect to the inner product hf, gi = R1 f gdx we have −1 hf, Pnm (x)i = h ∞ X n=1 an Pnm (x), Pnm (x)i = an hPnm (x), Pnm (x)i. This gives R1 f Pnm dx hf, Pnm (x)i −1 an = = . R1 hPnm (x), Pnm (x)i Pnm Pnm dx −1 6. (a) [15 points] Show that the Fourier transform FT is a linear operator – namely, show that FT(c1 f (x) + c2 g(x)) = c1 FT(f (x)) + c2 FT(g(x)). We have FT(c1 f (x) + c2 g(x)) Z ∞ (c1 f + c2 g)eiωx dx Z ∞ Z ∞ geiωx dx f eiωx dx + c2 = c1 = −∞ −∞ −∞ = c1 FT(f (x)) + c2 FT(g(x)) (b) [10 points] Is it true that FT(f (x)g(x)) = FT(f (x))FT(g(x))? Explain. R∞ R∞ R∞ This is not true since, in general, −∞ f geiωx dx 6= −∞ f eiωx dx· −∞ geiωx dx. 7. [35 points] Compute (from the definition) the Fourier transform of e−|x| . We have FT(e−|x| ) = Z = Z ∞ e−|x|eiωx dx −∞ 0 e x+iωx dx + −∞ x+iωx Z ∞ e−x+iωx dx 0 −x+iωx e e ]0−∞ + [ ]∞ 1 + iω −1 + iω 0 1 1 − 1 + iω −1 + iω 2 (1 + iω)(1 − iω) 2 1 + ω2 = [ = = = where to go from lines three to four we used that ex+iωx = ex · eiωx → 0 as x → −∞ and e−x+iωx → 0 as x → ∞. This is because eiωx = cos(ωx) + i sin(ωx) is bounded while ex → 0 as x → −∞ and e−x → 0 as x → ∞. 8. [35 points] Suppose u(x, t) is a solution to the 1-dimensional wave PDE 2 ∂2u 2∂ u = c ∂t2 ∂x2 where −∞ < x < ∞. Assuming u(x, t) → 0 as x → ±∞ find the general solution for FT(u). [Hint: first apply the FT to the PDE] ∂FT(u) We know that FT( ∂u and if u(x, t) → 0 as x → ±∞ then ∂t ) = ∂t 2 2 ∂u FT( ∂x ) = (−iω)FT(u). Thus, if u satisfies ∂∂t2u = c2 ∂∂xu2 then, using the fact that the FT is linear, we get that FT(u) satisfies: ∂ 2 FT(u) = −c2 ω 2 FT(u). ∂t2 This is a differential equation of the form f 00 (t) = −f (t) which we know to have general solutions cos(t) and sin(t). One can check that two solutions are cos(cω) and sin(cω). Thus the general solution for FT(u) is FT(u) = a(ω) cos(cω) + b(ω) sin(cω) where a(ω) and b(ω) are functions of ω. Note: the assumption that u(x, t) → 0 as x → ±∞ is not quite strong enough. To conclude FT(uxx ) = (−iω)2 FT(u) one needs this as well as ux (x, t) → 0 as x → ±∞. This is just something to keep in mind: you have to be a little careful when you use that FT(ux ) = −iωFT(u) repeatedly. The best thing is to go back to the proof of the result or to look at a very precise statement of the result or (even better) to ask someone knowledgeable in the field.