3 Laplace s Equation. 3.1 The Fundamental Solution

Transcription

1 3 Laplace s Equation We now turn to studying Laplace s equation u and its inhomogeneous version, Poisson s equation, u f. We say a function u satisfying Laplace s equation is a harmonic function. 3. The Fundamental Solution Consider Laplace s equation in R n, u x R n. Clearly, there are a lot of functions u which satisfy this equation. In particular, any constant function is harmonic. In addition, any function of the form u(x a x +...+a n x n for constants a i is also a solution. Of course, we can list a number of others. Here, however, we are interested in finding a particular solution of Laplace s equation which will allow us to solve Poisson s equation. Given the symmetric nature of Laplace s equation, we look for a radial solution. That is, we look for a harmonic function u on R n such that u(x v( x. In addition, to being a natural choice due to the symmetry of Laplace s equation, radial solutions are natural to look for because they reduce a PDE to an ODE, which is generally easier to solve. Therefore, we look for a radial solution. If u(x v( x, then u xi x i x v ( x x, which implies u xi x i x v ( x x2 i x 3 v ( x + x2 i x 2 v ( x x. Therefore, u n v ( x + v ( x. x Letting r x, we see that u(x v( x is a radial solution of Laplace s equation implies v satisfies n v (r + v (r. r Therefore, v v v n v r n r ln v ( n ln r + C v (r C r n,

2 which implies { c ln r + c 2 n 2 v(r c + c (2 nr n 2 2 n 3. From these calculations, we see that for any constants c, c 2, the function { c ln x + c 2 n 2 u(x c + c (2 n x n 2 2 n 3. (3. for x R n, x is a solution of Laplace s equation in R n {}. We notice that the function u defined in (3. satisfies u(x for x, but at x, u( is undefined. We claim that we can choose constants c and c 2 appropriately so that x u δ in the sense of distributions. Recall that δ is the distribution which is defined as follows. For all φ D, (δ, φ φ(. Below, we will prove this claim. For now, though, assume we can prove this. That is, assume we can find constants c, c 2 such that u defined in (3. satisfies x u δ. (3.2 Let Φ denote the solution of (3.2. Then, define v(x Φ(x yf(y dy. R n Formally, we compute the Laplacian of v as follows, x v R x Φ(x yf(y dy n R y Φ(x yf(y dy n δ R x f(y dy f(x. n That is, v is a solution of Poisson s equation! Of course, this set of equalities above is entirely formal. We have not proven anything yet. However, we have motivated a solution formula for Poisson s equation from a solution to (3.2. We now return to using the radial solution (3. to find a solution of (3.2. Define the function Φ as follows. For x, let { ln x n 2 2π Φ(x n 3, n(n 2α(n x n 2 (3.3 where α(n is the volume of the unit ball in R n. We see that Φ satisfies Laplace s equation on R n {}. As we will show in the following claim, Φ satisfies x Φ δ. For this reason, we call Φ the fundamental solution of Laplace s equation. 2

3 Claim. For Φ defined in (3.3, Φ satisfies x Φ δ in the sense of distributions. That is, for all g D, Φ(x R x g(x dx g(. n Proof. Let F Φ be the distribution associated with the fundamental solution Φ. That is, let F Φ : D R be defined such that (F Φ, g Φ(xg(x dx R n for all g D. Recall that the derivative of a distribution F is defined as the distribution G such that (G, g (F, g for all g D. Therefore, the distributional Laplacian of Φ is defined as the distribution F Φ such that (F Φ, g (F Φ, g for all g D. We will show that and, therefore, (F Φ, g (δ, g g(, (F Φ, g g(, which means x Φ δ in the sense of distributions. By definition, (F Φ, g Φ(x g(x dx. R n Now, we would like to apply the divergence theorem, but Φ has a singularity at x. We get around this, by breaking up the integral into two pieces: one piece consisting of the ball of radius δ about the origin, B(, δ and the other piece consisting of the complement of this ball in R n. Therefore, we have (F Φ, g Φ(x g(x dx R n Φ(x g(x dx + Φ(x g(x dx B(,δ I + J. R n B(,δ 3

4 We look first at term I. For n 2, term I is bounded as follows, ln x g(x dx B(,δ 2π C g L ln x dx B(,δ 2π δ C ln r r dr dθ δ C ln r r dr C ln δ δ 2. For n 3, term I is bounded as follows, g(x dx B(,δ n(n 2α(n x n 2 C g L δ ( C δ δ r n 2 nα(n B(,δ B(,r ( dx x n 2 ds(y y n 2 ds(y dr B(,r r n 2 nα(nrn dr δ r dr nα(n δ 2. 2 dr Therefore, as δ +, I. Next, we look at term J. Applying the divergence theorem, we have Φ Φ(x R x g(x dx n B(,δ R x Φ(xg(x dx g(x ds(x n B(,δ (R n B(,δ ν + Φ(x (R g n B(,δ ν ds(x (R n B(,δ J + J2. Φ g(x ds(x + ν (R n B(,δ Φ(x g ν ds(x using the fact that x Φ(x for x R n B(, δ. We first look at term J. Now, by assumption, g D, and, therefore, g vanishes at. Consequently, we only need to calculate the integral over B(, ɛ where the normal derivative ν is the outer normal to R n B(, δ. By a straightforward calculation, we see that x x Φ(x nα(n x. n The outer unit normal to R n B(, δ on B(, δ is given by ν x x. 4

5 Therefore, the normal derivative of Φ on B(, δ is given by ( ( Φ ν x x nα(n x n x nα(n x. n Therefore, J can be written as nα(n x g(x ds(x n nα(nδ n B(,δ B(,δ Now if g is a continuous function, then g(x ds(x g( as δ. g(x ds(x g(x ds(x. B(,δ Lastly, we look at term J2. Now using the fact that g vanishes as x +, we only need to integrate over B(, δ. Using the fact that g D, and, therefore, infinitely differentiable, we have Φ(x g B(,δ ν ds(x g ν Φ(x ds(x L ( B(,δ B(,δ C Φ(x ds(x. Now first, for n 2, Next, for n 3, B(,δ B(,δ B(,δ Φ(x ds(x C ln x ds(x B(,δ C ln δ ds(x Φ(x ds(x C B(,δ C ln δ (2πδ Cδ ln δ. C δ n 2 B(,δ B(,δ ds(x x n 2 ds(x C δ n 2 nα(nδn Cδ. Therefore, we conclude that term J2 is bounded in absolute value by Therefore, J2 as δ +. Cδ ln δ n 2 Cδ n 3. 5

6 Combining these estimates, we see that Φ(x R x g(x dx lim I + J + J2 g(. n δ + Therefore, our claim is proved. Solving Poisson s Equation. We now return to solving Poisson s equation u f x R n. From our discussion before the above claim, we expect the function v(x Φ(x yf(y dy R n to give us a solution of Poisson s equation. We now prove that this is in fact true. First, we make a remark. Remark. If we hope that the function v defined above solves Poisson s equation, we must first verify that this integral actually converges. If we assume f has compact support on some bounded set K in R n, then we see that Φ(x yf(y dy f R L Φ(x y dy. n K If we additionally assume that f is bounded, then f L C. It is left as an exercise to verify that Φ(x y dy < + on any compact set K. Theorem 2. Assume f C 2 (R n and has compact support. Let u(x Φ(x yf(y dy R n where Φ is the fundamental solution of Laplace s equation (3.3. Then. u C 2 (R n 2. u f in R n. Ref: Evans, p. 23. K Proof.. By a change of variables, we write u(x Φ(x yf(y dy R n Φ(yf(x y dy. R n 6

7 Let e i (...,,,,... be the unit vector in R n with a in the i th slot. Then [ ] u(x + he i u(x f(x + hei y f(x y Φ(y dy. h R h n Now f C 2 implies uniformly on R n. Therefore, f(x + he i y f(x y h u x i (x f x i (x y as h R n Φ(y f x i (x y dy. Similarly, 2 u (x Φ(y x i x j R 2 f (x y dy. x n i x j This function is continuous because the right-hand side is continuous. 2. By the above calculations and Claim, we see that x u(x Φ(y R x f(x y dy n Φ(y R y f(x y dy n f(x. 3.2 Properties of Harmonic Functions 3.2. Mean Value Property In this section, we prove a mean value property which all harmonic functions satisfy. First, we give some definitions. Let B(x, r ball of radius r about x in R n B(x, r boundary of ball of radius r about x in R n α(n volume of unit ball in R n nα(n surface area of unit ball in R n. For a function u defined on B(x, r, the average of u on B(x, r is given by u(y dy u(y dy. α(nr n B(x,r 7 B(x,r

8 For a function u defined on B(x, r, the average of u on B(x, r is given by u(y ds(y u(y ds(y. nα(nr n B(x,r B(x,r Theorem 3. (Mean-Value Formulas Let Ω R n. If u C 2 (Ω is harmonic, then u(x u(y ds(y u(y dy for every ball B(x, r Ω. B(x,r B(x,r Proof. Assume u C 2 (Ω is harmonic. For r >, define φ(r u(y ds(y. B(x,r For r, define φ(r u(x. Notice that if u is a smooth function, then lim r + φ(r u(x, and, therefore, φ is a continuous function. Therefore, if we can show that φ (r, then we can conclude that φ is a constant function, and, therefore, u(x u(y ds(y. B(x,r We prove φ (r as follows. First, making a change of variables, we have φ(r u(y ds(y B(x,r u(x + rz ds(z. B(, Therefore, φ (r B(, B(x,r B(x,r nα(nr n nα(nr n nα(nr n u(x + rz z ds(z u(y y x r u (y ds(y ν B(x,r B(x,r B(x,r ds(y u (y ds(y ν ( u dy u(y dy, (by the Divergence Theorem 8

9 using the fact that u is harmonic. Therefore, we have proven the first part of the theorem. It remains to prove that u(x u(y dy. B(x,r We do so as follows, using the first result, r ( u(y dy B(x,r r r u(y ds(y B(x,s ( nα(ns n B(x,s nα(ns n u(x ds nα(nu(x r α(nu(x s n sr s α(nu(xr n. s n ds ds u(y ds(y ds Therefore, which implies as claimed. u(x B(x,r α(nr n B(x,r u(y dy α(nr n u(x, u(y dy u(y dy, B(x,r Converse to Mean Value Property In this section, we prove that if a smooth function u satisfies the mean value property described above, then u must be harmonic. Theorem 4. If u C 2 (Ω satisfies u(x for all B(x, r Ω, then u is harmonic. B(x,r u(y ds(y Proof. Let If φ(r u(y ds(y. B(x,r u(x u(y ds(y B(x,r 9

10 for all B(x, r Ω, then φ (r. As described in the previous theorem, φ (r r n u(y dy. B(x,r Suppose u is not harmonic. Then there exists some ball B(x, r Ω such that u > or u <. Without loss of generality, we assume there is some ball B(x, r such that u >. Therefore, φ (r r n u(y dy >, B(x,r which contradicts the fact that φ (r. Therefore, u must be harmonic Maximum Principle In this section, we prove that if u is a harmonic function on a bounded domain Ω in R n, then u attains its maximum value on the boundary of Ω. Theorem 5. Suppose Ω R n is open and bounded. Suppose u C 2 (Ω C(Ω is harmonic. Then. (Maximum principle max Ω u(x max u(x. Ω 2. (Strong maximum principle If Ω is connected and there exists a point x Ω such that u(x max u(x, Ω then u is constant within Ω. Proof. We prove the second assertion. The first follows from the second. Suppose there exists a point x in Ω such that u(x M max u(x. Ω Then for < r < dist(x, Ω, the mean value property says M u(x u(y dy M. But, therefore, B(x,r u(y dy M, B(x,r and M max Ω u(x. Therefore, u(y M for y B(x, r. To prove u M throughout Ω, you continue with this argument, filling Ω with balls.

11 Remark. By replacing u by u above, we can prove the Minimum Principle. Next, we use the maximum principle to prove uniqueness of solutions to Poisson s equation on bounded domains Ω in R n. Theorem 6. (Uniqueness There exists at most one solution u C 2 (Ω C(Ω of the boundary-value problem, { u f x Ω u g x Ω. Proof. Suppose there are two solutions u and v. Let w u v and let w v u. Then w and w satisfy { w x Ω w x Ω. Therefore, using the maximum principle, we conclude max Ω u v max u v. Ω Smoothness of Harmonic Functions In this section, we prove that harmonic functions are C. Theorem 7. Let Ω be an open, bounded subset of R n. If u C(Ω and u satisfies the mean value property, u(x u(y ds(y B(x,r for every ball B(x, r Ω, then u C (Ω. Remarks.. As proven earlier, if u C 2 (Ω C(Ω and u is harmonic, then u satisfies the mean value property, and, therefore, u C (Ω. 2. In fact, if u satisfies the hypothesis of the above theorem, then u is analytic, but we will not prove that here. (See Evans. Proof. First, we introduce the function η such that { η(x Ce x 2 x < x where the constant C is chosen such that R n η(x dx. Notice that η C (R n and η has compact support. Now define the function η ɛ (x such that η ɛ (x ɛ n η ( x ɛ.

12 Therefore, η ɛ C (R n and supp(η ɛ {x : x < ɛ}. Further, R n η ɛ (x dx. Now choose ɛ such that ɛ < dist(x, Ω. Define u ɛ (x η ɛ (x yu(y dy. Now we claim. u ɛ C 2. u ɛ (x u(x. Ω First, for (, u ɛ C because η ɛ C. We prove (2 as follows. Using the fact that suppη ɛ (x y {y : x y < ɛ}. Therefore, u ɛ (x η ɛ (x yu(y dy B(x,ɛ ( x y η u(y dy ɛ n B(x,ɛ ɛ ɛ ( ( x y η u(y ds(y dr ɛ n B(x,r ɛ ɛ ( ( r η u(y ds(y dr ɛ n B(x,r ɛ ɛ ( r η u(y ds(y dr ɛ n ɛ B(x,r ɛ ( r η nα(nr n u(y ds(y dr ɛ n ɛ B(x,r ɛ ( r η nα(nr n u(x dr ɛ n ɛ u(x ɛ ( r η ds(y dr ɛ n ɛ B(,r u(x ( y η dy ɛ n B(,ɛ ɛ u(x η ɛ (y dy B(,ɛ u(x. 2

13 3.2.5 Liouville s Theorem In this section, we show that the only functions which are bounded and harmonic on R n are constant functions. Theorem 8. Suppose u : R n R is harmonic and bounded. Then u is constant. Proof. Let x R n. By the mean value property, u(x u(y dy B(x,r for all B(x, r. Now by the previous theorem, we know that if u C 2 (Ω C(Ω and u is harmonic, then u is C. Therefore, u u xi for i,..., n. Therefore, u xi is harmonic and satisfies the mean value property. Therefore, u xi (x u xi (y dy B(x,r u α(nr n xi (y dy B(x,r uν α(nr n i ds(y, B(x,r by the Divergence theorem, where ν (ν,..., ν n is the outward unit normal to B(x, r. Therefore, u xi (x uν α(nr n i ds(y B(x,r u L ( B(x,r ν i L ds(y α(nr n B(x,r u L (R nα(nr n n α(nr n Therefore, n r u L (R n. u xi (x n r u L (R n C n r, by the assumption that u is bounded. Now this is true for all r. Taking the limit as r +, we see that u xi (x. Therefore, u xi (x. This is true for i,..., n and for all x R n. Therefore, we conclude that u constant. 3

14 As a corollary of Liouville s Theorem, we have the following representation formula for all bounded solutions of Poisson s equation on R n, n 3. Theorem 9. (Representation Formula Let f C 2 (R n with compact support. Let n 3. Then every bounded solution of u f x R n (3.4 has the form u(x Φ(x yf(y dy + C R n for some constant C, where Φ(x is the fundamental solution of Laplace s equation in R n. Proof. Recall that the fundamental solution of Laplace s equation in R n, n 3 is given by Φ(x K x n 2 where K /n(n 2α(n. As shown earlier, u(x Φ(x yf(y dy R n is a solution of (3.4. Here we show this is a bounded solution for n 3. Fix ɛ >. Then, we have u(x Φ(x yf(y dy R n R K f(y dy x y n n 2 K f(y dy B(x,ɛ x y n 2 + K f(y dy R n B(x,ɛ x y n 2 f(y L dy + C f(y dy. x y n 2 B(x,ɛ R n B(x,ɛ It is easy to see that the first term on the right-hand side is bounded. The second term on the right-hand side is bounded, using the assumption that f C 2 (R n with compact support. Therefore, we conclude that u(x Φ(x yf(y dy R n is a bounded solution of (3.4. Now suppose there is another bounded solution of (3.4. Let ũ be such a solution. Let w(x u(x ũ(x. 4

15 Then w is a bounded, harmonic function on R n. Then, by Liouville s Theorem, w must be constant. Therefore, we conclude that as claimed. ũ(x u(x + C Φ(x yf(y dy + C, R n 3.3 Solving Laplace s Equation on Bounded Domains 3.3. Laplace s Equation on a Rectangle In this section, we will solve Laplace s equation on a rectangle in R 2. First, we consider the case of Dirichlet boundary conditions. That is, we consider the following boundary value problem. Let Ω {(x, y R 2 : < x < a, < y < b}. We want to look for a solution of the following, u xx + u yy (x, y Ω u(, y g (y, u(a, y g 2 (y < y < b (3.5 u(x, g 3 (x, u(x, b g 4 (y < x < a. In order to do so, we consider the following simpler example. From this, we will show how to solve the more general problem above. Example. Let Ω {(x, y R 2 : < x < a, < y < b}. Consider u xx + u yy (x, y Ω u(, y g (y, u(a, y < y < b u(x,, u(x, b < x < a. (3.6 We use separation of variables. We look for a solution of the form u(x, y X(xY (y. Plugging this into our equation, we get X Y + XY. Now dividing by XY, we arrive at which implies Y Y X X + Y Y, X X λ 5

16 for some constant λ. By our boundary conditions, we want Y ( Y (b. Therefore, we begin by solving the eigenvalue problem, { Y λy < y < b Y ( Y (b. As we know, the solutions of this eigenvalue problem are given by Y n (y sin b y, λ n b 2. We now turn to solving X b 2 X with the boundary condition X(a. The solutions of this ODE are given by X n (x A n cosh b x + B n sinh b x. Now the boundary condition X(a implies A n cosh b a + B n sinh b a. Therefore, u n (x, y X n (xy n (y where A n, B n satisfy the condition A n cosh b a [ ] A n cosh b x + B n sinh b x sin b y + B n sinh b a. is a solution of Laplace s equation on Ω which satisfies the boundary conditions u(x,, u(x, b, and u(a, y. As we know, Laplace s equation is linear. Therefore, we can take any combination of solutions {u n } and get a solution of Laplace s equation which satisfies these three boundary conditions. Therefore, we look for a solution of the form u(x, y u n (x, y n n [ ] A n cosh b x + B n sinh b x sin b y where A n, B n satisfy A n cosh b a + B n sinh b a. (3.7 To solve our boundary-value problem (3.6, it remains to find coefficients A n, B n which not only satisfy (3.7, but also satisfy the condition u(, y g (y. That is, we need u(, y n A n sin b y g (y. 6

17 That is, we want to be able to express g in terms of its Fourier sine series on the interval [, b]. Assuming g is a nice function, we can do this. From our earlier discussion of Fourier series, we know that the Fourier sine series of a function g is given by g (y where the coefficients A n are given by A n n A n sin b y g, sin y b sin y, sin y b b where the L 2 -inner product is taken over the interval [, b]. Therefore, to summarize, we have found a solution of (3.6 given by u(x, y u n (x, y n n [ ] A n cosh b x + B n sinh b x sin b y where and A n g, sin y b sin y, sin y b b B n coth b a A n. Now we return to considering (3.5. For the general boundary value problem on a rectangle with Dirichlet boundary conditions, we can find a solution by finding four separate solutions u i for i,..., 4 such that each u i is identically zero on three of the sides and satisfies the boundary condition on the fourth side. For example, for the boundary value problem (3.5, we use the procedure in the above example to find a function u (x, y which is harmonic on Ω and such that u (, y g (y and u (a, y for < y < b, and u (x, u (x, b for < x < a. Similar we find functions u 2, u 3 and u 4 which vanish on three of the sides but satisfy the fourth boundary condition. We now consider an example where we have a mixed boundary condition on one side. Example. Let Ω {(x, y R 2, < x < L, < y < H}. Consider the following boundary value problem, u xx + u yy (x, y Ω u(, y, u(l, y < y < H (3.8 u(x, u y (x,, u(x, H f(x < x < L. Using separation of variables, we have X X Y Y 7 λ.

18 We first look to solve { X λx < x < L X( X(L. As we know, the solutions of this eigenvalue problem are given by 2 X n (x sin L x, λ n. L Now we need to solve 2 Y Y L with the boundary condition Y ( Y (. The solutions of this ODE are given by Y n (y A n cosh L y + B n sinh L y. The boundary condition Y ( Y ( implies A n B n nπ L. Therefore, nπ Y n (y B n L cosh L y + B n sinh L y. Therefore, we look for a solution of (3.8 of the form u(x, y n [ nπ ] B n sin L x L cosh L y + sinh L y. Substituting in the condition u(x, H f(x, we have u(x, H n [ nπ ] B n sin L x L cosh L H + sinh L H f(x. Recall the Fourier sine series of f on [, L] is given by where f A n n A n sin L x f, sin x L sin x, sin x L L where the L 2 -inner product is taken over (, L. Therefore, in order for our boundary condition u(x, H f(x to be satisfied, we need B n to satisfy [ nπ ] B n L cosh L H + sinh L H 8 f, sin x L sin x, sin x. L L

19 Using the fact that the solution of (3.8 is given by sin L x, sin L x u(x, y n L sin 2 L x dx L 2, [ nπ ] B n sin L x L cosh L y + sinh L y where B n 2 [ nπ ] L L L cosh L H + sinh L H f(x sin L x dx Laplace s Equation on a Disk In this section, we consider Laplace s Equation on a disk in R 2. That is, let Ω {(x, y R 2 : x 2 + y 2 < a 2 }. Consider { uxx + u yy (x, y Ω (3.9 u h(θ (x, y Ω. To solve, we write this equation in polar coordinates as follows. To transform our equation in to polar coordinates, we will write the operators x and y in polar coordinates. We will use the fact that x 2 + y 2 r 2 y tan θ. x Consider a function u such that u u(r, θ, where r r(x, y and θ θ(x, y. That is, u u(r(x, y, θ(x, y. Then x u(r(x, y, θ(x, y u rr x + u θ θ x x u r (x 2 + y 2 u y /2 θ x 2 sec 2 θ u r cos θ sin θ r u θ. Therefore, the operator x can be written in polar coordinates as x cos θ r sin θ r θ. 9

20 Similarly, the operator can be written in polar coordinates as y Now squaring these operators we have [ 2 x cos θ 2 r sin θ ] 2 r θ cos 2 θ 2 θ cos θ + 2sin r2 r 2 Similarly, [ 2 y sin θ 2 r + cos θ ] 2 r θ sin 2 θ 2 θ cos θ 2sin r2 r 2 y sin θ r + cos θ r θ. θ cos θ 2sin θ r θ cos θ + 2sin θ r 2 r θ + sin2 θ r 2 r θ + cos2 θ r r + sin2 θ 2 r 2 θ. 2 r + cos2 θ 2 r 2 θ. 2 Combining the above terms, we can write the operator x 2 + y 2 in polar coordinates as follows, 2 x y 2 2 r + 2 r r + 2 r 2 θ. 2 Therefore, in polar coordinates, Laplace s equation is written as u rr + r u r + r 2 u θθ. (3. Now we will solve it using separation of variables. In particular, we look for a solution of the form u(r, θ R(rΘ(θ. Then letting ũ(x, y u(r(x, y, θ(x, y, we will arrive at a solution of Laplace s equation on the disk. Substituting a function of the form u(r, θ R(rΘ(θ, into (3., our equation is written as R Θ + r R Θ + r 2 RΘ. Dividing by RΘ, R + R rr + Θ r 2 Θ. Multiplying by r 2, we are led to the equations R Θ Θ R r2 R rr R λ for some scalar λ. The boundary condition for this problem is u h(θ for (x, y Ω. Therefore, we are led to the following eigenvalue problem with periodic boundary conditions, { Θ λθ < θ < 2π Θ( Θ(2π, Θ ( Θ (2π. 2

21 Recall from our earlier work that periodic boundary conditions imply our eigenfunctions and eigenvalues are Θ n (θ A n cos(nθ + B n sin(nθ, λ n n 2 n,, 2,... For each λ n, we need to solve r 2 R n + rr n λ n R n. That is, we need to solve the second-order ODE, r 2 R n + rr n n 2 R n for n,, 2,.... Recall that a second-order ODE will have two linearly independent solutions. We look for a solution of the form R(r r α for some α. Doing so, our ODE becomes (α 2 n 2 r α. Therefore, for n, we have found two linearly independent solutions, R n (r r n and R n (r r n. Now for n, we have only found one linearly independent solution so far, R (r. We look for another linearly independent solution. If n, our equation can be written as r 2 R + rr. Dividing by r, our equation becomes rr + R. A linearly independent solution of this equation is R (r ln r. Therefore, for each n, we have found a solution of (3. of the form [ C n r n + D ] n [A u n (r, θ R n (rθ n (θ r n n cos(nθ + B n sin(nθ] A [C + D ln r]. But, we don t want a solution which blows up as r +. Therefore, we reject the solutions and ln r. Therefore, we consider a solution of (3. of the form r n u(r, θ r n [A n cos(nθ + B n sin(nθ]. n Now in order to solve (3.9, we need u(a, θ h(θ. That is, we need a n [A n cos(nθ + B n sin(nθ] h(θ. n Using the fact that our eigenfunctions are orthogonal on [, 2π], we can solve for our coefficients A n and B n as follows. Multiplying the above equation by cos(nθ and integrating over [, 2π], we have A n a n h(θ, cos(nθ cos(nθ, cos(nθ πa n 2π 2 h(θ cos(nθ dθ for n, 2,...

22 h(θ, A 2π h(θ dθ., 2π Similarly, multiplying by sin(nθ and integrating over [, 2π], we have B n a n h(θ, sin(nθ sin(nθ, sin(nθ πa n 2π h(θ sin(nθ dθ. To summarize, we have found a solution of Laplace s equation on the disk in polar coordinates, given by u(r, θ r n [A n cos(nθ + B n sin(nθ] where n A 2π h(θ dθ 2π A n 2π h(θ cos(nθ dθ πa n B n πa n 2π h(θ sin(nθ dθ. Now we will rewrite this solution in terms of a single integral by substituting A n and B n into the series solution above. Doing so, we have 2π u(r, θ h(φ dφ 2π { [ + r n πa n Now { n 2π 2π 2π h(φ 2π + 2 n 2π ] [ h(φ cos(nφ dφ cos(nθ + πa n { [ r n h(φ + 2 { + 2 n [ r n n 2π [cos(nφ cos(nθ + sin(nφ sin(nθ] an ] } dφ. cos(n(θ φ an n ] } h(φ sin(nφ dφ sin(nθ n ] } dφ } { r n [ ] } r n e in(θ φ + e in(θ φ cos(n(θ φ + 2 an a n 2 n { ( re i(θ φ n ( re i(θ φ n } + + a a re i(θ φ + rei(θ φ a re + i(θ φ a re i(θ φ a 2 r 2 a 2 2ar cos(θ φ + r. 2 22

23 Therefore, u(r, θ 2π 2π a 2 r 2 h(φ a 2 2ar cos(θ φ + r dφ. 2 We can write this in rectangular coordinates as follows. Let x be a point in the disk Ω with polar coordinates (r, θ. Let x be a point on the boundary of the disk Ω with polar coordinates (a, φ. Therefore, x x 2 a 2 + r 2 2ar cos(θ φ by the law of cosines. Therefore, u(x u(x (a 2 x 2 ds 2π x a x x 2 a, using the fact that ds a dφ is the arc length of the curve. Rewriting this, we have u(x a2 x 2 2πa x a u(x x x 2 ds. This is known as Poisson s formula for the solution of Laplace s equation on the disk. 23