MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form

Similar documents
MAC Module 12 Eigenvalues and Eigenvectors

Math 124B February 02, 2012

PHYS 705: Classical Mechanics. Small Oscillations

PROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr.

15 Solving the Laplace equation by Fourier method

Appendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk

A Crash Course in (2 2) Matrices

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

EM Boundary Value Problems

MODULE 5a and 5b (Stewart, Sections 12.2, 12.3) INTRO: In MATH 1114 vectors were written either as rows (a1, a2,..., an) or as columns a 1 a. ...

working pages for Paul Richards class notes; do not copy or circulate without permission from PGR 2004/11/3 10:50

-Δ u = λ u. u(x,y) = u 1. (x) u 2. (y) u(r,θ) = R(r) Θ(θ) Δu = 2 u + 2 u. r = x 2 + y 2. tan(θ) = y/x. r cos(θ) = cos(θ) r.

Geometry of the homogeneous and isotropic spaces

Exceptional regular singular points of second-order ODEs. 1. Solving second-order ODEs

5.61 Physical Chemistry Lecture #23 page 1 MANY ELECTRON ATOMS

A Relativistic Electron in a Coulomb Potential

THE LAPLACE EQUATION. The Laplace (or potential) equation is the equation. u = 0. = 2 x 2. x y 2 in R 2

6 PROBABILITY GENERATING FUNCTIONS

3.1 Random variables

As is natural, our Aerospace Structures will be described in a Euclidean three-dimensional space R 3.

Physics 2A Chapter 10 - Moment of Inertia Fall 2018

3.6 Applied Optimization

= e2. = 2e2. = 3e2. V = Ze2. where Z is the atomic numnber. Thus, we take as the Hamiltonian for a hydrogenic. H = p2 r. (19.4)

Physics 161 Fall 2011 Extra Credit 2 Investigating Black Holes - Solutions The Following is Worth 50 Points!!!

Problem Set 10 Solutions

MATH 417 Homework 3 Instructor: D. Cabrera Due June 30. sin θ v x = v r cos θ v θ r. (b) Then use the Cauchy-Riemann equations in polar coordinates

I. CONSTRUCTION OF THE GREEN S FUNCTION

Tutorial Exercises: Central Forces

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012

1 Spherical multipole moments

ENGI 4430 Non-Cartesian Coordinates Page xi Fy j Fzk from Cartesian coordinates z to another orthonormal coordinate system u, v, ˆ i ˆ ˆi

Scattering in Three Dimensions

On the integration of the equations of hydrodynamics

On a quantity that is analogous to potential and a theorem that relates to it

2. Electrostatics. Dr. Rakhesh Singh Kshetrimayum 8/11/ Electromagnetic Field Theory by R. S. Kshetrimayum

arxiv: v1 [math.co] 1 Apr 2011

Rigid Body Dynamics 2. CSE169: Computer Animation Instructor: Steve Rotenberg UCSD, Winter 2018

f h = u, h g = v, we have u + v = f g. So, we wish

POISSON S EQUATION 2 V 0

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2.

Do not turn over until you are told to do so by the Invigilator.

(read nabla or del) is defined by, k. (9.7.1*)

Complex Eigenvalues. Prepared by Vince Zaccone For Campus Learning Assistance Services at UCSB

Δt The textbook chooses to say that the average velocity is

of the contestants play as Falco, and 1 6

Lecture 7: Angular Momentum, Hydrogen Atom

Berkeley Math Circle AIME Preparation March 5, 2013

Chapter 5 Linear Equations: Basic Theory and Practice

The Strain Compatibility Equations in Polar Coordinates RAWB, Last Update 27/12/07

Physics 505 Homework No. 9 Solutions S9-1

Lecture 23. Representation of the Dirac delta function in other coordinate systems

ON THE TWO-BODY PROBLEM IN QUANTUM MECHANICS

Dymore User s Manual Two- and three dimensional dynamic inflow models

Lecture 8 - Gauss s Law

Permutations and Combinations

When two numbers are written as the product of their prime factors, they are in factored form.

GROWTH ESTIMATES THROUGH SCALING FOR QUASILINEAR PARTIAL DIFFERENTIAL EQUATIONS

3D-Central Force Problems I

H.W.GOULD West Virginia University, Morgan town, West Virginia 26506

Conjugate Gradient Methods. Michael Bader. Summer term 2012

Non-Linear Dynamics Homework Solutions Week 2

A Hartree-Fock Example Using Helium

Double-angle & power-reduction identities. Elementary Functions. Double-angle & power-reduction identities. Double-angle & power-reduction identities

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution

Research Design - - Topic 17 Multiple Regression & Multiple Correlation: Two Predictors 2009 R.C. Gardner, Ph.D.

MU+CU+KU=F MU+CU+KU=0

where ω 0 is the angular frequency of rotation. Using this, we first examine the time-dependent multipole moments

Review: Electrostatics and Magnetostatics

Goodness-of-fit for composite hypotheses.

Section 8.2 Polar Coordinates

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department Physics 8.07: Electromagnetism II September 15, 2012 Prof. Alan Guth PROBLEM SET 2

Multiple Experts with Binary Features

(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.

MA557/MA578/CS557. Lecture 14. Prof. Tim Warburton. Spring

Part V: Closed-form solutions to Loop Closure Equations

Physics 2B Chapter 22 Notes - Magnetic Field Spring 2018

c n ψ n (r)e ient/ h (2) where E n = 1 mc 2 α 2 Z 2 ψ(r) = c n ψ n (r) = c n = ψn(r)ψ(r)d 3 x e 2r/a0 1 πa e 3r/a0 r 2 dr c 1 2 = 2 9 /3 6 = 0.

MAGNETIC FIELD AROUND TWO SEPARATED MAGNETIZING COILS

Solution to HW 3, Ma 1a Fall 2016

8 Separation of Variables in Other Coordinate Systems

Physics 411 Lecture 34. Sourced Radiation. Lecture 34. Physics 411 Classical Mechanics II

Compactly Supported Radial Basis Functions

CALCULUS II Vectors. Paul Dawkins

15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II

( ) [ ] [ ] [ ] δf φ = F φ+δφ F. xdx.

PHYS 301 HOMEWORK #10 (Optional HW)

Vector d is a linear vector function of vector d when the following relationships hold:

Many Electron Atoms. Electrons can be put into approximate orbitals and the properties of the many electron systems can be catalogued

Chapter 3 Second Order Linear Equations

Scientific Computing II

Mechanics Physics 151

. Using our polar coordinate conversions, we could write a

An upper bound on the number of high-dimensional permutations

f(k) e p 2 (k) e iax 2 (k a) r 2 e a x a a 2 + k 2 e a2 x 1 2 H(x) ik p (k) 4 r 3 cos Y 2 = 4

The Poisson bracket and magnetic monopoles

Quantum Mechanics I - Session 5

Nuclear models: Shell model

Math Notes on Kepler s first law 1. r(t) kp(t)

221B Lecture Notes Scattering Theory I

Lecture 28: Convergence of Random Variables and Related Theorems

Transcription:

MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE ANDRAS VASY We conside second ode constant coefficient scala linea PDEs on R n. These have the fom Lu = f L = a ij xi xj + b i xi + c i whee a ij b i and c ae (complex) constants and f is given. As a geneal pinciple the leading i.e. second ode tems ae the most impotant in analyzing the PDE. The second ode tems then take the fom L = a ij xi xj ; i hee we ae inteested in the case when the a ij ae eal constants. Since xi xj = xj xi we might as well assume that a ij = a ji (othewise eplace both by 1 2 (a ij + a ji ) which does not change L) i.e. that A is symmetic. We ewite L in a diffeent fom. With and we can wite whee x is the tanspose of x : x1 i=1 x = x2... xn a 11... a 1n A =... a n1... a nn L = xa x x = [ x1... xn ]. Technically thee is no need fo the x in the subscipts and one should wite e.g. = [ ] 1... n. Howeve the subscipts ae vey useful below as they enable us to compess (and abuse) the notation in the change of vaiables fomula. We would like to bing it to a simple fom; the simple fom we wish fo may depend on the intended use. As a fist step we would like to have L bought into a diagonal fom i.e. A made diagonal. We can achieve this by changing coodinates. Namely if we let ξ = Ξ(x) i.e. ξ j = Ξ j (x 1... x n ) j = 1... n with invese function X i.e. x = X(ξ) meaning that X Ξ and Ξ X ae both the identity maps (both X and Ξ ae assumed to be C 1 ) then by the chain ule fo any C 1 function u we have Ξ l xk (u Ξ) = ( ξl u) Ξ. x k l=1 1

2 ANDRAS VASY We can ewite this in a matix fom: (1) Ξ 1 x 1... x1... =... Ξ 1 xn xn... Ξ n x 1 Ξ n x n so in paticula if ξ is a linea function of x i.e. ξ i = n B ijx j then (2) x = B ξ. Thus ξ 1... ξn L = xa x = ξ BAB ξ. ξ = Bx B = [ b ij ] n i so Hence in ode to make L be given by a diagonal matix in the ξ coodinates we need that BAB is diagonal. Recalling that A is symmetic we poceed as follows. Any eal symmetic matix such as A can be diagonalized by conjugating it by an othogonal matix i.e. thee is an othogonal matix O (ecall that othogonal means that OO = O O = Id i.e. O = O 1 ) and a diagonal matix Λ such that A = O ΛO whee the diagonal enties λ j of Λ ae the eigenvalues of A and the ows of O i.e. the columns of O ae coesponding (unit length) eigenvectos e j. (Thus the othogonality of O is a consequence of the othogonality of the e j.) Choosing B = O we deduce that BAB = OO ΛOO = Λ is indeed diagonal. In fact we can go a bit futhe. We wite sgn t fo the sign of a eal numbe t so sgn t = 1 if t > 0 sgn t = 1 if t < 0 and sgn t = 0 if t = 0. One can facto a diagonal matix with eal enties like Λ by witing its diagonal enties as λ j = λ j 1/2 (sgn λ j ) λ j 1/2. It tuns out that if λ j = 0 fo some j it is convenient to simply wite λ j = 1 sgn λ j 1. Thus if D is the diagonal matix with diagonal enties d j = λ j 1/2 when λ j 0 d j = 1 if λ j = 0 and P is the diagonal matix with diagonal enties p j = sgn λ j then Λ = DP D so A = O DP DO. Now D is invetible since it is diagonal and none of its diagonal enties vanish. We let B = D 1 O hence BAB = (D 1 O)(O DP DO)(O D 1 ) = P. We deduce that fo any L thee is a change of coodinates ξ = Bx such that in the ξ coodinates L = ξ P ξ = p j ξ 2 j. Now the oveall sign of L is not impotant so e.g. if all the p j < 0 the behavio of solutions of Lu = f is the same as those of Lu = g (simply let g = f) and the coesponding coefficients of L ae p j > 0. Also the case when some p j vanish is degeneate and fist ode tems influence the behavio (and existence) of solutions of Lu = f temendously. As an example the heat opeato 2 x t behaves vey diffeently fom the backwad heat opeato 2 x + t. We thus make the following classification of the non-degeneate setting i.e. when det A 0 so each p j is 1 o 1: (i) If all p j (i.e. λ j ) have the same sign L (and L) is called elliptic.

3 (ii) If all but one p j have the same sign L is called hypebolic. (iii) If thee ae at least two p j of each sign then L is called ultahypebolic. In cetain ways ultahypebolic equations ae like hypebolic equations (though not as fa as initial conditions on hypesufaces ae concened!); the biggest diffeence is between elliptic equations and the othe two classes. We conclude that by a change of coodinates and possible multiplication by 1 evey non-degeneate second ode linea constant coefficient PDE with eal coefficients in its leading pat can be bought to the following fom: (i) If L is elliptic then L = ξ 2 j + b j ξj + c (ii) If L is hypebolic then n 1 L = ξ 2 j + ξ 2 n + b j ξj + c (iii) If L is ultahypebolic then fo some 2 k n 2 n k L = ξ 2 j + ξ 2 j + b j ξj + c. j=n k+1 The model examples when b j and c vanish ae: (i) If L is elliptic then = ξ 2 j the Laplacian (ii) If L is hypebolic then n 1 = ξ 2 j + ξ 2 n the wave opeato o d Alembetian. We can of couse change ou notation and wok with = 2 x j and = n 1 2 x j + x 2 n. Fo one often wants to think of x n as time and wite it as t and wite x fo (x 1... x n 1 ); then R n = R n 1 + t 2. We stat ou study of second ode equations by studying hypebolic equations in R 2. The advantage of these is that they can be factoed (disegading the fist ode tems) into the poduct of two fist ode opeatos which we aleady know how to analyze. Thus with the slightly moe geneal d Alembetian = 2 t c 2 2 x we facto it as = ( t c x )( t + c x ). With such a factoization it is easy to solve u = 0. Namely we fist let v = ( t + c x )u so the PDE states ( t c x )v = 0. This is a fist ode linea PDE which we solve easily (indeed we solved this in Lectue 2 with slightly diffeent notation) to obtain v(x t) = h(x + ct)

4 ANDRAS VASY fo some h. (Explicitly we could impose initial conditions say at t = 0 namely v(x 0) = h(x) and then we get v(x t) = h(x + ct).) Next we need to solve ( t + c x )u = v with v(x t) = h(x + ct). We use the method of chaacteistics again so we have chaacteistic equations with initial data e.g. at the x axis (3) dx = c x( 0) = dt = 1 t( 0) = 0 dz = h(x + ct) u( 0) = φ(). We obtain that t = s x = cs + hence x + ct = 2cs + and = x ct so the ODE fo z is dz = h(2cs + ) z( 0) = φ(). Integating fom s = 0 we deduce that z = 0 h(2cs + ) + φ(). Letting H(s) = h(s ) (so H = h and H() = 0) we deduce that (4) z = 1 H(2cs + ) + φ() 2c and (5) u(x t) = 1 H(x + ct) + φ(x ct) 2c so u is of the fom (6) u(x t) = f(x + ct) + g(x ct). Convesely it is easy to check that evey u of this fom with f g in C 2 solves the PDE so this is ou geneal solution of the wave equation. Note that x + ct = C and x ct = C C a constant ae the chaacteistics of the two factos t c x and t + c x espectively (ecall that is constant along the chaacteistics in ou method to solve fist ode PDEs). Thus the geneal solution is the sum of two waves each of which is constant along the chaacteistics coesponding to one of the factos. We now find the solution with initial conditions: Diectly fom (6) u(x 0) = φ(x) u t (x 0) = ψ(x). f(x) + g(x) = φ(x) cf (x) cg (x) = ψ(x). Diffeentiating the fist line gives f (x)+g (x) = φ (x). Combining with the second line and solving fo f and g yiel f (x) = 1 2 (φ (x) + c 1 ψ(x)) g (x) = 1 2 (φ (x) c 1 ψ(x)).

5 Integating yiel f(x) = 1 2 φ(x) + 1 2c g(x) = 1 2 φ(x) 1 2c x 0 x 0 ψ(σ) dσ + A ψ(σ) dσ + B fo some constants A and B substitution into f + g = φ gives B = A. summay u(x t) = f(x + ct) + g(x ct) = 1 2 (φ(x + ct) + φ(x ct)) + 1 2c x+ct x ct ψ(σ) dσ. This is d Alembet s solution of the wave equation. Notice that if φ is C 2 and ψ is C 1 then this indeed satisfies the wave equation in the classical sense and it also satisfies the initial conditions. This method was somewhat ad hoc in that we ignoed the initial conditions at fist. We could have gone though the whole calculation enfocing the initial conditions. The key issue is to find initial conditions fo v. But this is easy: v(x 0) = u t (x 0) + cu x (x 0) = ψ(x) + cφ (x) i.e. the initial condition is v(x 0) = h(x) h() = ψ() + cφ (). Then ou solution is Then in (4) H(s) = and so hence v(x t) = h(x + ct) = ψ(x + ct) + cφ (x + ct). h(s ) = z( s) = 1 2c u(x t) = 1 2c 2cs+ (ψ(s ) + cφ (s )) = x+ct x ct ψ(s ) + c(φ(s) φ()) ψ(s ) + 1 (φ(2cs + ) φ()) + φ() 2 ψ(s ) + 1 (φ(x + ct) + φ(x ct)) 2 in ageement with the pevious calculation. If we ae given a second ode hypebolic linea PDE a 11 u ξξ + 2a 12 u ξη + a 22 u ηη = 0 by a change of coodinates we could always bing it to the fom 2 t 2 x which we just analyzed hence we can solve this. Instead we can also poceed by diectly factoing this equation. Note that hypebolicity means in this case exactly that det A < 0 i.e. that a 11 a 22 a 2 12 < 0. If a 11 = a 22 = 0 then it is vey easy to facto the equation it is just 2a 12 ξ η u = 0. Othewise eithe a 11 o a 22 is non-zeo; assume it is the fome. Then we facto the quadatic polynomial a 11 µ 2 + 2a 12 µ + a 22 = a 11 (µ µ + )(µ µ ) whee µ ± ae the oots of this polynomial so µ ± = 2a 12 ± 4a 2 12 4a 11a 22 2a 11. Note that hypebolicity is exactly the condition that the quantity whose squae oot we ae taking is positive. Then a 11 α 2 + 2a 12 αβ + a 22 β 2 = a 11 (α µ + β)(α µ β) In

6 ANDRAS VASY fo all α and β (note that fo β = 0 this is automatic and fo β 0 divide though by β 2 ) so a 11 2 ξ + 2a 12 ξ η + a 22 2 η = a 11 ( ξ µ + η )( ξ µ η ). Fo instance if a 12 = 0 a 11 = 1 a 22 = c 2 this gives µ ± = ±c and the factoing 2 ξ c 2 2 η = ( ξ + c η )( ξ c η ); exactly the factoing we had fo the wave opeato befoehand. A slightly diffeent method is to change the hypebolic equation to a diffeent model fom i.e. anothe fom athe than t 2 c 2 x 2 namely ξ η. As aleady mentioned L = ξ η is aleady factoed and the geneal solution of Lu = 0 can be ead off immediately: u(ξ η) = f(ξ) + g(η). Note that this change of coodinates can always be done fo a hypebolic second ode opeato on R 2 fo they can all (including ξ η ) be changed to the standad wave opeato hence by composing one of these changes with the invese of anothe one they can be changed into each othe. The coodinates (ξ η) ae called chaacteistic coodinates. To see why note that fo the wave opeato we want ξ = t + c x η = t c x o vice vesa i.e. [ ] [ ] [ ] ξ 1 c t = η 1 c x which in view of (1)-(2) means that (with the ole of ξ and x switched) we need [ ] [ ] [ ] t 1 1 ξ = x c c η i.e. t = ξ + η x = cξ cη o ξ = 1 2c (x + ct) η = 1 (x ct) 2c so the coodinate lines ξ = C and η = C ae exactly the chaacteistics. (If we did not mind a constant in font of ξ η we could have chosen ξ = x + ct η = x ct.) While so fa we woked with classical C 2 solutions of the wave equation one can immediately genealize this using Poblem 2 on Poblem Set 2. Namely fo any distibutions f g D (R) the distibution given by u(x t) = f(x + ct) + g(x ct) (in the same sense as on the poblem set) solves ( 2 t c 2 2 x)u = 0 in the sense of distibutions. This can be ead off since ( 2 t c 2 2 x)u = ( t + c x )( t c x )f(x + ct) + ( t c x )( t + c x )g(x ct) = ( t + c x )0 + ( t c x )0 = 0 whee we used the esult of Poblem 2 on Poblem Set 2. So fo instance the function u(x t) = H(x ct) whee H is now the step function solves the wave equation as does u(x t) = δ 0 (x + ct). The convese of ou claim is also tue i.e. evey distibution u satisfying ( 2 t c 2 2 x)u = 0 is of the fom u(x t) = f(x + ct) + g(x ct). This is paticulaly easy to ead off in chaacteistic coodinates whee one has to solve equations like ξ v = 0 η u = v using a slightly modified vesion of Poblem 1 on Poblem Set 2 namely with the extension of this poblem to R 2.