<<

The Equation

♦ The method of characteristics

♦ Inclusion of boundary conditions

♦ Traveling and stationary waves TRANSVERSE OSCILLATIONS OF AN ELASTIC STRING T uniform linear density ρ y 2 θ 2 small displacements y θ T 1 1

• T1 cos θ1 = T2 cos θ2 x for small θ, cos θ ≃ 1 ⇒ T1 = T2 = T ∂2y • ρ δx = T sin θ − T sin θ ∂t2 2 1

∂y ∂2y ∂y ∂y sin θ ≃ tan θ ≃ =⇒ ρ δx = T ( ) − ( ) ∂x ∂t2  ∂x 2 ∂x 1

(∂2y/∂x2)δx+... | {z } ∂2y ∂2y Thus ρ = T ∂t2 ∂x2 ∂2y 1 ∂2y T i.e., = , c2 ≡ wave equation ∂x2 c2 ∂t2 ρ 2nd-order linear PDEs

A(x, y)uxx +2B(x, y)uxy +C(x, y)uyy +D(x, y)ux +E(x, y)uy +F (x, y)u = R(x, y)

2 • B − AC < 0 elliptic. Ex.: Laplace eqn. uxx + uyy = 0

2 • B − AC = 0 parabolic. Ex.: diffusion eqn. ut − αuxx = 0

2 2 • B − AC > 0 hyperbolic. Ex.: wave eqn. utt − c uxx = 0

♦ General solutions of PDEs depend on arbitrary functions (analogous to solutions of ODEs depending on arbitrary constants) −→ boundary conditions to determine such functions

• Cauchy boundary conditions: assign function u and normal derivative ∂u/∂n on given curve γ in xy plane (relevant to hyperbolic PDEs) !2 y 1 !2 y D’Alembert’s solution 2 = 2 2 !x c !t

Change variables u = x ! ct v = x + ct

! !u ! !v ! ! ! !x = !x !u + !x !v = !u + !v ! !u ! !v ! ! ! " c c !t = !t !u + !t !v = !u + !v

2 2 2 !2 y 1 !2 y ! ! # 1 ! ! # ! ! # = " + y = (c + c y = ( y !x2 c2 !t 2 ! u v $ c2 ! u v $ ! u v $ " ! ! % " ! ! % " ! ! %

"2 y ! = 0 f, g arbitrary functions "u"v

General solution y() u,v = f() u + g() v i.e. y() x,t = f() x ! ct + g() x + ct • The curves in the xt plane

x − ct = const. x + ct = const. are called the characteristics of the wave equation.

t x−ct=const.

x

x+ct=const. CHARACTERISTICS

Consider the PDE Aytt + 2Bytx + Cyxx + Dyt + Eyx + F y = R

AB Q = matrix of 2nd − order coefficients  BC 

• Characteristics of the above PDE are defined as the curves χ(t, x) = const. such that their normal n is rotated by 90◦ by Q or is annihilated by Q, i.e., n · Q n = 0. • Since n ∝ ∇χ, for characteristics ∇χ · Q ∇χ = 0.

1 −1/c2 0 ⊲ Example. Wave eqn. : − ytt + yxx = 0 ⇒ Q = c2  0 1 

The curves χ∓(t, x)= x ∓ ct =const. are the characteristics of the wave equation because ∓c −1/c2 0 ∓c ±1/c ∇χ∓ = ⇒ ∇χ · Q ∇χ =( ∓c 1) =( ∓c 1) = 0  1   0 1  1   1  • The condition ∇χ · Q ∇χ = 0 implies, using ∇χ =(χt,χx), that

AB χt ( χt χx ) = 0 ,  B C  χx 

2 2 i.e., Aχt + 2Bχtχx + Cχx = 0 . ′ Expressing the derivatives in terms of x (t)= −χt/χx,

A[x′(t)]2 − 2Bx′(t)+ C = 0 .

♠ Hyperbolic eqns. (B2 − AC > 0) have 2 families of characteristics ♠ Parabolic eqns. (B2 − AC = 0) have 1 (Q ∇χ = 0) ♠ Elliptic eqns. (B2 − AC < 0) have none Uses of characteristics

• Characteristics χ∓(t, x)= const. can be used to solve hyperbolic equations by means of the transformation of variables

u = χ−(t, x)

v = χ+(t, x) ⊲ Example: D’Alembert solution of the wave equation

• Characteristics serve to analyze whether boundary value problems for PDEs are well posed. ⊲ Example: Cauchy conditions on curve γ well-defined provided γ is not a characteristic [Cauchy-Kovalevska theorem] Cauchy boundary conditions and characteristics

Consider the PDE Aytt + 2Bytx + Cyxx = H(yt, yx, y, t, x)

• Cauchy conditions: Suppose y and the normal derivative yn are assigned on the curve γ specified by

G(t, x) = 0

⊲ The normal and tangential directions to γ are n ∝∇G =(Gt,Gx), τ ∝ (−Gx,Gt).

⊲ Given y on γ, we can compute tangential derivative yτ . From yn and yτ we can get yt and yx. • Can we determine higher derivatives as well?

∂ ytt yt = τ · ∇ yt ∝ ( −Gx Gt ) = −Gxytt + Gtyxt ∂τ  yxt 

∂ ytx yx = τ · ∇ yx ∝ ( −Gx Gt ) = −Gxytx + Gtyxx ∂τ  yxx 

⇒ 3 linear equations in ytt, ytx, yxx, with unique solution if det =6 0 A 2B C

det  −Gx Gt 0  =6 0 −  0 Gx Gt 

2 2 ⇒ AGt + 2BGtGx + CGx =6 0

That is, Cauchy conditions on curve γ are well-defined provided γ is not a characteristic .##"$!"').(+(&#,*&%+

!2 y 1 !2 y = ! y() x,t = f() x " ct + g() x + ct !x2 c2 !t 2

f and g are determined by the initial conditions:

Suppose at time t = 0, the wave has an initial U(x) and an initial velocity V (x)

y() x,0 = f() x + g() x = U() x x y() x,0 1 = "cf#() x + cg#() x = V() x ! f() x " g() x = " V() x' dx ' t c " b x 1 1 f() x = U() x ! V() x' dx ' 2 2c " b x 1 1 g() x = U() x + V() x' dx ' 2 2c ! b

" x+ct x!ct # x+ct 1 1 $ 1 1 y() x,t = "U() x ! ct + U() x + ct # + V() x dx ! V() x dx = "U() x ! ct + U() x + ct # + V() x dx 2 ! % 2c " " $ 2 ! % 2c " ! b b %$ x!ct !69$ !4$$5(0'$(+(1!)$.$"0!+&3)!.$#(/-)!"$*$+0$.$)$!/$#$%.,*$.$/08$$ V(x) = 0

' x+ct % 1 1 1 y x,t = "U x ct + U x + ct ( + V x dx & y() x,t = "U() x ! ct + U() x + ct ! () # ()! ()) () 2 " 2 2c $ & ! x!ct ' U() x

y() x,t = f() x ! ct + g() x + ct

What is the form of f (x), g(x)? y() x,t = f() x ! ct + g() x + ct

If time dependence is cos ()!t the full ()x,t dependence is given by

y(x,t)=Acos ()kx ! !t + Bcos ()kx " !t

! #"$%&"%'! ' • Speed of wave c = k

2" 1 y(x,t) ! = Frequency f = = • ! 2# t

" 2" 2 ( , ) ! • Wavelength ! = y x t = k k x k is "" We can write the equation of a travelling wave in a number of analogous forms: Velocity Wavelength Period Asin () kx"" t " / k 2 / k 2 " / " Asin k() x" vt v 2 / k 2 / vk vk &,#)x t $ !/ $ ! 2 ! / Asin'- 2 $" * (.%$ ! + v $ $ / v 2 $v / Asin(.&, 2 $ () x" vt /

N.B. Can include phase most easily by putting = &, y()() x, t Re(. A exp (.&, i kx"" t where A is complex.

N.B.2 Sometimes more convenient to switch x and t, i.e. y()() x, t= A sin " t" kx This is still a travelling wave moving to the right.

For non-sinusoidal wave moving to right with speed v, can always write as f() x! vt . y() t )!*&%!'.)-!,"() y = Asin()kx ! "t + Asin()kx + "t 2 sin cos " = A kx t y() t + !t

0()!*&%!'.)-!,"1)

.&'")#"%"'!$$.)

sin ! 2# sin 2# y = A ()kx t + 1 + A ()kx + t + 2 2 sin # # cos # ! # = A ()kx + 1 + 2 ()t + 1 2 !$"!*('% #&"+!-. -")- † !" !.E = 0 !!10#%%3+)#).!,'&+)4$*##)+(!"#5) !" !.B = 0 !" !" B !" E # = t !" 0 !" 1 E !" B = c2 t !" !" !" " " E = # 2 E + () .E

!" !" !" B ! # B 1 2 E !! # = ! = ! t t c2 t 2

!" !" 1 "2 E !2 E = c2 "t 2

!" !" EM plane wave E = E()z

!" !" † !" !2 E 1 !2 E !E = = 0 " 0 ! 2 2 ! 2 ! Ez = z c t z *!&+/#*+#)0!/#) !$" %!& '$#*

sin Ex = A ()kx ! t sin Ey = B ()kx ! t + #

E x E y