Summary: Method of Separation of Variables

Similar documents
Jackson 2.26 Homework Problem Solution Dr. Christopher S. Baird University of Massachusetts Lowell

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

MA 201: Partial Differential Equations Lecture - 12

Partial Differential Equations

Theoretische Physik 2: Elektrodynamik (Prof. A.-S. Smith) Home assignment 4

20 MATHEMATICS POLYNOMIALS

1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.

) 4n+2 sin[(4n + 2)φ] n=0. a n ρ n sin(nφ + α n ) + b n ρ n sin(nφ + β n ) n=1. n=1. [A k ρ k cos(kφ) + B k ρ k sin(kφ)] (1) 2 + k=1

Improper Integrals, and Differential Equations

( ) 2. ( ) is the Fourier transform of! ( x). ( ) ( ) ( ) = Ae i kx"#t ( ) = 1 2" ( )"( x,t) PC 3101 Quantum Mechanics Section 1

Lecture 13 - Linking E, ϕ, and ρ

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

Chapter 28. Fourier Series An Eigenvalue Problem.

Chapter 0. What is the Lebesgue integral about?

M344 - ADVANCED ENGINEERING MATHEMATICS

Partial Derivatives. Limits. For a single variable function f (x), the limit lim

The Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5

c n φ n (x), 0 < x < L, (1) n=1

3 Mathematics of the Poisson Equation

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral

Consequently, the temperature must be the same at each point in the cross section at x. Let:

Problems for HW X. C. Gwinn. November 30, 2009

1 E3102: a study guide and review, Version 1.0

ENGI 9420 Lecture Notes 7 - Fourier Series Page 7.01

Lecture 4 Notes, Electromagnetic Theory I Dr. Christopher S. Baird University of Massachusetts Lowell

potentials A z, F z TE z Modes We use the e j z z =0 we can simply say that the x dependence of E y (1)

Wave Equation on a Two Dimensional Rectangle

HOMEWORK SOLUTIONS MATH 1910 Sections 7.9, 8.1 Fall 2016

Aike ikx Bike ikx. = 2k. solving for. A = k iκ

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

4. Calculus of Variations

AM1 Mathematical Analysis 1 Oct Feb Exercises Lecture 3. sin(x + h) sin x h cos(x + h) cos x h

Kirchhoff and Mindlin Plates

Waveguides Free Space. Modal Excitation. Daniel S. Weile. Department of Electrical and Computer Engineering University of Delaware

Lecture 24: Laplace s Equation

Math 100 Review Sheet

Lecture 1. Functional series. Pointwise and uniform convergence.

Phys 6321 Final Exam - Solutions May 3, 2013

Convergence of Fourier Series and Fejer s Theorem. Lee Ricketson

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

Line Integrals. Partitioning the Curve. Estimating the Mass

Math Fall 2006 Sample problems for the final exam: Solutions

Review of Gaussian Quadrature method

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS

12 TRANSFORMING BIVARIATE DENSITY FUNCTIONS

Space Curves. Recall the parametric equations of a curve in xy-plane and compare them with parametric equations of a curve in space.

HW3, Math 307. CSUF. Spring 2007.

Chapter 5. , r = r 1 r 2 (1) µ = m 1 m 2. r, r 2 = R µ m 2. R(m 1 + m 2 ) + m 2 r = r 1. m 2. r = r 1. R + µ m 1

Indefinite Integral. Chapter Integration - reverse of differentiation

(PDE) u t k(u xx + u yy ) = 0 (x, y) in Ω, t > 0, (BC) u(x, y, t) = 0 (x, y) on Γ, t > 0, (IC) u(x, y, 0) = f(x, y) (x, y) in Ω.

Math 3B Final Review

Variational Techniques for Sturm-Liouville Eigenvalue Problems

Energy Bands Energy Bands and Band Gap. Phys463.nb Phenomenon

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Orthogonal functions

4181H Problem Set 11 Selected Solutions. Chapter 19. n(log x) n 1 1 x x dx,

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

Kinematic Waves. These are waves which result from the conservation equation. t + I = 0. (2)

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O

Homework Assignment 5 Solution Set

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Problem Set 3 Solutions

Note 16. Stokes theorem Differential Geometry, 2005

The Dirac distribution

1 1D heat and wave equations on a finite interval

Recitation 3: More Applications of the Derivative

Physics 3323, Fall 2016 Problem Set 7 due Oct 14, 2016

Bernoulli Numbers Jeff Morton

Lecture 3. Limits of Functions and Continuity

8 Laplace s Method and Local Limit Theorems

Math 5440 Problem Set 3 Solutions

a a a a a a a a a a a a a a a a a a a a a a a a In this section, we introduce a general formula for computing determinants.

Module 9: The Method of Green s Functions

Integration Techniques

2. THE HEAT EQUATION (Joseph FOURIER ( ) in 1807; Théorie analytique de la chaleur, 1822).

How do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

When a force f(t) is applied to a mass in a system, we recall that Newton s law says that. f(t) = ma = m d dt v,

Math 5440 Problem Set 3 Solutions

Jackson 2.7 Homework Problem Solution Dr. Christopher S. Baird University of Massachusetts Lowell

Problem Set 3 Solutions

Conducting Ellipsoid and Circular Disk

Calculus of Variations

Best Approximation. Chapter The General Case

f(a+h) f(a) x a h 0. This is the rate at which

Green function and Eigenfunctions

Math 426: Probability Final Exam Practice

u(x, y, t) = T(t)Φ(x, y) 0. (THE EQUATIONS FOR PRODUCT SOLUTIONS) Plugging u = T(t)Φ(x, y) in (PDE)-(BC) we see: There is a constant λ such that

Massachusetts Institute of Technology Quantum Mechanics I (8.04) Spring 2005 Solutions to Problem Set 6

Functions of Several Variables

SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 2014

The Regulated and Riemann Integrals

The usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1

1 Probability Density Functions

MA Handout 2: Notation and Background Concepts from Analysis

DEFINITION The inner product of two functions f 1 and f 2 on an interval [a, b] is the number. ( f 1, f 2 ) b DEFINITION 11.1.

APPLICATIONS OF THE DEFINITE INTEGRAL

Transcription:

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 1 Summry: Method of Seprtion of Vribles 1. Seprtion of Vribles in Crtesin Coordintes 2. Fourier Series Suggested Reding: Griffiths: Chpter 3, Section 3.3, pges 127-145. Wngsness: Chpter 11, Section 11.4 nd 11.5, pges 185-21. Kreyszig: Chpter 1, pges 565-625.

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 2 Method of Seprtion of Vribles In solving prtil differentil equtions such s Lplce s eqution, 2 V (x, y, z) = it is possible to write the solution V (x, y, z) s the product of three functions, ech of single vrible V (x, y, z) = X(x)Y(y)Z(z) I should point out tht not ll solutions of Lplce s eqution cn be written in this form, however, ll solutions cn be written s (perhps infinite) sum of such seprble terms. Exmple:

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 3 Find the potentil V (x, y, z) inside the slot shown in the bove drwing. The boundry conditions to be stisfied re: 1) t y = ; V = for < z < ; < x < 2) t y = π; V = for < z < ; < x < 3) for y π; V = V (y) t x = ; < z < Note: this third boundry condition defines the potentil long n infinite strip t x =. Wht hppens t lrge x? Does V? We know tht for n infinite line of chrge V log r which does not pproch zero t lrge r. Recll the problem of point chrge +q ner conducting plne. It induces negtive chrge distribution in the plne ner it hving totl chrge -q fr from +q we would see no net chrge nd s r, V. At the surfce x =, y π, V (, y, ) = V (y) is function of the surfce chrge density there. Thus, the presence of the conducting pltes t y = nd y = π gurntees tht for lrge x (>> π) we will see no net chrge nd,

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 4 therefore, V s x. This gives us our lst boundry condition: 4) Between y = nd y = π, t lrge x, V. In the region of interest, which lies within the slot, there is no chrge density (ϱ = ) therefore, Lplce s eqution will give us the potentil V. There is no z-dependence to this problem two dimensionl nd 2 V (x, y) = 2 V x 2 + 2 V y 2 = Try the function V (x, y) = X(x)Y(y) [ ] 2 x + 2 X(x)Y(y) = 2 y 2 Y(y) 2 X x 2 + X(x) 2 Y y 2 = If we now divide both sides of this eqution by the product XY we obtin 1 d 2 X(x) + 1 d 2 Y(y) = X(x) dx 2 Y(y) dy 2 f(x) + g(y) =

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 5 since the first term is only function of x nd the second term is only function of y. Since x nd y re independent vribles, the only wy to stisfy this eqution is if the two functions re seprtely equl (nd opposite) to the sme constnt. Then, 1 d 2 X(x) = C X(x) dx 2 1 1 d 2 Y(y) = C Y(y) dy 2 1 so tht their sum is zero. These two equtions cn now be solved seprtely. The eqution for X is d 2 X dx 2 C 1X = which hs solution X(x) = Ae kx + Be kx, where C 1 = k 2 Tht this is the solution cn be esily verified by direct substitution: dx dx = kaekx kbe kx nd d 2 X dx 2 = k2 Ae kx + k 2 Be kx = k 2 X

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 6 is Similrly, the solution to the eqution for Y, d 2 Y dy 2 + k2 Y = Y(y) = C sin ky + D cos ky On substituting, we hve dy = kc cos ky kd sin ky dy nd d 2 Y dy = 2 k2 C sin ky k 2 D cos ky = k 2 Y Thus, the solution to the two dimensionl problem is V (x, y) = X(x) Y(y) = (Ae kx + Be kx )(C sin ky + D cos ky) Next we need to use the boundry conditions to determine the five constnts: A, B, C, D nd k. B.C. (4) requires tht V s x. If the constnt k > then the term Ae kx cn only be if A =. On the other hnd, if k <, the term Be kx will only be zero if B =. In either cse we would hve V (x, y) = e kx (C sin ky + D cos ky)

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 7 where (for the cse k > ) C = BC nd D = BD B.C. (1) requires tht V (x, ) =. Since cos ky t y = we require tht D =. So now, V (x, y) = e kx C sin ky B.C. (2) requires tht V (x, π) =. Except for the trivil cse where C = this will only be true if sin kπ =, i.e., if k = n, n integer. Then V (x, y) = e nx C sin ny Finlly, we hve B.C. (3) which sttes tht t x = we hve V (, y) = V (y). The solution which we hve found will fit this boundry condition if V (y) = C sin ny but not otherwise. No one choice of either C or n will solve the generl problem! Note, however, tht if V 1 nd V 2 re both solutions, then α 1 V 1 + α 2 V 2 is lso solution 2 (α 1 V 1 + α 2 V 2 ) = α 1 2 V 1 + α 2 2 V 2 = For exmple, we might hve V 1 = e n 1x sin n 1 y, nd V 2 = e n 2x sin n 2 y This suggests tht for the generl boundry condition V (y) we should try the expression

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 8 V (x, y) = C k e kx sin ky, k=1 k integer with V (, y) = C k sin ky = V (y) k=1 The expnsion of V (, y) = V (y) in n infinite series of sine terms is clled the Fourier Sine Series. In generl, one cn expnd ny odd function of y s sine series nd ny even function of y cn be expnded s cosine series. To do this, however, we need to determine ll of the C k. To help us with this we use Fourier s Trick: π sin ky sin ny dy = π 2 δ kn If we tke the expression C k sin ky = V (y) k=1

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 9 nd multiply both sides by sin ny nd integrte, we hve ( π ) π sin ny C k sin ky dy = V (y) sin ny dy k=1 or π C k sin ny sin ky dy = k=1 } {{} π V (y) sin ny dy π 2 δ kn In the sum over k, the δ kn picks out the one vlue of k which is equl to n, thus C n π 2 = π V (y) sin ny dy so tht finlly our solution to Lplce s eqution in the region between the pltes is with V (x, y) = C n e nx sin ny, n=1 n integer

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 1 C n = 2 π π V (y) sin ny dy Note: A result which is probbly new to the student is the ide tht essentilly ny function V (y) cn be expnded in terms of Fourier series (either sine or cosine, or in the generl cse, both). The expressions V (y) = C(k) sin ky nd k=1 π C(k) = 2 V (y) sin ny dy π define the Fourier series representtion of the originl function nd the Fourier coefficients. In the generl cse we would replce the discrete summtion by n integrl nd this would define Fourier trnsform pir. For exmple, we might hve 2 F(k) = f(x) cos kx dx π nd f(x) = 2 π F(k) cos kx dk

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 11 The Fourier series representtions of constnt potentil V = V is shown in the figure below. Here you see the trunction effects observed when the series is limited to 1, 5, 1 or 1 terms.

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 12 Problem 3.14: Infinitely Long Rectngulr Pipe For the infinitely long rectngulr pipe shown bove we hve the following boundry conditions: 1) V = t x =, y, < z < 2) V = t y =, x b, < z < 3) V = t y =, x b, < z <

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 13 4) V = V (y) t x =, y, < z < Find the potentil, V (x, y, z), inside the pipe. First we notice tht this problem is ctully independent of z, thus it reduces to two-dimensionl problem for V (x, y). The generl form of such solution cn immeditely be written down, however, we should consider the boundry conditions first: The region of interest is finite in extent in the x nd y directions (nd independent of z). Thus, solutions of the forms e kx nd e kx re llowble. The boundry conditions in the x-direction suggest tht the x-dependence should involve the terms e kx, e kx, cosh kx, or sinh kx while the boundry conditions in the y-direction suggest tht the y-dependence should involve terms like e ikx, e ikx, sin kxor cos kx. Thus, we expect solutions of the form V (x, y) = (Ae kx + Be kx )(C sin ky + D cos ky) Now, more creful exmintion of the boundry conditions shows tht for the y dependence, the fct tht V = t y = requires tht D =. The fct tht V = t y = requires tht ky y= = k = nπ. Finlly, we note tht if x = we require tht V = so tht we need B = A.

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 14 The form of the solution is then V (x, y) = C sin( nπ y) sinh(nπ y) where we hve collected the constnts into C = 2 A C. To mtch the remining boundry condition (V = V (y) t x = b) we try superposition V (x, y) = C n sinh( nπ y) sin(nπ x) n= Then, t x = b we would hve V (b, y) = V (y) = C n sinh( nπ b) sin(nπ x) n= Now, multiplying both sides by sin( mπ y) nd integrting over y from to, we obtin V (y) sin( mπ y) dy = C n sinh( nπ b) sin( nπ y) sin(mπy) dy n= }{{} 2 δ mn giving C m sinh( mπ b) 2 = V (y) sin( mπ y) dy

Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 15 Solving this eqution for C m gives [ ] 2 C m = sinh( mπ b) V (y) sin( mπ y) dy nd V (x, y) = C m sinh( mπ x) sin(mπ z y) m= If V (y) = V, constnt, then we cn redily evlute ll of the coefficients since { if m is even, sin( mπ y) dy = 2 mπ Then, [ ] 2V C m = sinh( mπ b) 2 mπ, Then, the solution for V (y) = V is V (x, y) = 4V π n=1,3,5,... if m is odd m odd sinh( nπ x) n sinh( nπ b) sin(nπ y) A much better wy to write this summtion over only the odd vlues of n is to let n = 2l + 1 (this wy n is odd for ny integer vlue of l), replce n by 2l + 1 wherever it ppers nd then sum over l. V (x, y) = 4V π l= sinh( (2l+1)π x) (2l + 1) sinh( (2l+1)π + 1)π y) b) sin((2l