Class Meeting # 12: Kirchhoff s Formula and Minkowskian Geometry

Transcription

1 MATH 8.52 COURSE NOTES - CLASS MEETING # Introduction to PDEs, Spring 207 Professor: Jared Speck Class Meeting # 2: Kirchhoff s Formula and Minkowskian Geometry. Kirchhoff s Formula We are now ready to derive Kirchhoff s famous formula. Theorem. (Kirchhoff s formula). Assume that f C 3 (R 3 ) and g C 2 (R 3 ). Then the unique solution u(t, x) to the global Cauchy problem (.0.a) (.0.b) (.0.c) 2 t u(t, x) + u(t, x) 0, (t, x) [0, ) R 3, u(0, x) f(x), x R 3, t u(0, x) g(x), x R 3 in + 3 dimensions satisfies u C 2 ([0, ) R 3 ) and can be represented as follows: (.0.2) u(t, x) 4πt 2 f(σ) dσ + Bt(x) 4πt ˆN(σ) f(σ) dσ + 4πt g(σ) dσ. Remark.0.. Equation (.0.2) again illustrates the finite speed of propagation property associated to the linear wave equation. More precisely, the behavior of the solution at the point (t, x) is only affected by the initial data in the region {(0, y) x y t}. The fact that this region is the boundary of a ball rather than a solid ball is known as the sharp Huygens principle. It can be shown that the sharp version of this principle holds + n dimensions when n 3 is odd, but not when n or when n is even. However, even when the sharp version fails, there still is a finite speed of propagation property; when n is even, the solution depends on the data in the solid ball. Remark.0.2. Note that in Theorem., we can only guarantee that the solution is one degree less differentiable than the data. This contrasts to d Alembert s formula, in which the + dimensional solution was shown to have the same degree of differentiability as the data. Proof. Using the Representation formula for Ũ(t, r; x) corollary, the differentiability of F, and the continuity of G, we have that (.0.3) Ũ(t, r; x) u(t, x) lim U(t, r; x) lim r 0 + r 0 + r lim r 0 + F (r + t; x) F (r t; x) + ρr+t 2r 2r G(ρ; x) dρ ρ r+t t F (t; x) + G(t; x).

2 2 MATH 8.52 COURSE NOTES - CLASS MEETING # 2 The t F (t; x) term on the right-hand side of (.0.3) arises from the inition of a partial derivative, while to derive the G(t; x) term, we applied the fundamental theorem of calculus (think about both of these claims own your own!). By the inition of F and G (see the Spherical averages Proposition), it therefore follows from (.0.3) that (.0.4) u(t, x) t (t 4πt 2 f(σ) dσ) + t Bt(x) 4πt 2 g(σ) dσ. Bt(x) Differentiating under the integral sign, using the chain rule relation t [f(x+tω)] ( f)(x+tω) ω ˆN(x+tω) f(x + tω) (where ˆN is the unit outward normal to B t (x)), and recalling that dσ t 2 dω on B t (x), we have that (.0.5) t t ( 4πt 2 f(σ) dσ) t t ( Bt(x) 4π [f(x + tω)] dω) t B (0) 4π t [f(x + tω)] dω B (0) Combining (.0.4) and (.0.5), we have that (.0.6) t 4π ˆN(x+tω) f(x + tω) dω B (0) 4πt ˆN(σ) f(σ) dσ. u(t, x) 4πt 2 f(σ) dσ + Bt(x) 4πt ˆN(σ) f(σ) dσ + 4πt g(σ) dσ. We have thus shown (.0.2). The fact that u C 2 ([0, ) R 3 ) follows from differentiating the integrals in the formula (.0.2) and using the hypotheses on f and g. Exercise.0.. Show that (.0.3) holds. Exercise.0.2. Verify that u C 2 ([0, ) R 3 ), as was claimed at the end of the proof above. The Linear Wave Equation: A Geometric Point of View We will now derive some very important results for solutions to the linear wave equation. The results will exploit interplay between geometry and analysis. Many of the techniques that we will discuss play a central role in current PDE research. 2. Geometric background Throughout this lecture, standard rectangular coordinates on R +n are denoted by (x 0, x,, x n ), and we often use the alternate notation x 0 t. The Minkowski metric on R +n, which we denote by m, embodies the Lorentzian geometry at the heart of Einstein s theory of special relativity. As we will see, this geometry is intimately connected to the linear wave equation. The components of m

3 MATH 8.52 COURSE NOTES - CLASS MEETING # 2 3 take the following form relative to a standard rectangular coordinate system: (2.0.) m µν (m ) µν diag(,,,, ). n copies We can view m µν as an ( + n) ( + n) matrix of real numbers. It is conventional to label the first row and column of m µν starting with 0 rather than, so that m 00, m 22, m 02 0, etc. Note that m is symmetric: m µν m νµ. If X is a vector in R +n with components X µ (0 µ n), then we ine its metric dual to be the covector with components X µ (0 µ n) ined by (2.0.2) X µ 3 m µα X α. α0 This is called lowering the indices of X with m. Similarly, given a covector with components Y µ, we can use m to form a vector Y µ by raising the indices: (2.0.3) Y µ 3 α0 (m ) µα Y α. These notions of duality are called metric duality. They are related to, but distinct from (roughly speaking by a minus sign in the first component), the notion of basis duality commonly introduced in linear algebra. We will make use of Einstein s summation convention, in which we avoid writing many of the summation signs Σ to reduce the notational clutter. In particular, repeated indices, with one up and one down, are summed over their ranges. Here is an example: (2.0.4) X α Y α 3 X α Y α m αβ X β Y α m αβ X α Y β, α0 where the last equality is a consequence of the symmetry property of m. We now make the following important observation: the linear wave equation 2 t φ + φ 0 can be written as (2.0.5) (m ) αβ α β φ 0. We will return to this observation in a bit. We first provide a standard division of vectors into three classes: timelike, spacelike, null. Definition () Timelike vectors: m(x, X) m αβ X α X β < 0 (2) Spacelike vectors: m(x, X) > 0 (3) Null vectors: m(x, X) 0 (4) Causal vectors: {Timelike vectors} {Null vectors}

4 4 MATH 8.52 COURSE NOTES - CLASS MEETING # 2 We also will need to know when a vector is pointing towards the future. This idea is captured by the next inition. Definition A vector X R n is said to be future-directed if X 0 > Lorentz transformations. Lorentz transformations play a very important role in the study of the linear wave equation. Definition 2... A Lorentz transformation is a linear transformation Λ µ ν preserves the form of the Minkowski metric m µν diag(,,,, ): (i.e., a matrix) that (2..) Λ α µλ β νm αβ m µν. In standard matrix notation, (2..) reads (2..2) where T denotes the transpose. Λ T mλ m, By taking the determinant of each side of (2..2) and using the basic properties of the determinant, we see that det(λ). If det(λ), then Λ is said to be proper or orientation preserving. It is easy to see that (2..) is equivalent to (2..3) m(λx, ΛY ) m(x, Y ), vectors X, Y R +n, i.e., that the linear transformation Λ preserves the Minkowskian inner product. In (2..3), m(x, Y ) m αβ X α Y β and ΛX is the vector with components (ΛX) µ Λ µ αx α. Also note that the left-hand side of (2..2) is connected to the linear-algebraic notion of change of basis on R +n. More precisely, an important way of thinking about Lorentz transformations Λ is the following: if we have a standard rectangular coordinate system (x 0,, x n ) on R +n, and we change coordinates by ining y µ Λ µ αx α, then relative to the new coordinate system (y 0,, y n ), the Minkowski metric still has the same form m µν diag(,,,, ). This statement would be false if, for example, we changed to polar spatial coordinates, or we dilated spacetime coordinates by setting (y 0,, y n ) α(x 0,, x n ) for some constant α > 0. Thus, the Lorentz transformations capture some invariance properties of m under certain special linear coordinate transformations. Corollary 2... If X is timelike, and Λ is a Lorentz transformation, then ΛX is also timelike. Analogous results also hold if X is spacelike or null. Proof. Corollary 2.. easily follows from Definition 2.0. and (2..3). It can be checked that the Lorentz transformations form a group. In particular: If Λ is a Lorentz transformation, then so is Λ. If Λ and Υ are Lorentz transformations, then so is their matrix product ΛΥ, which has components (ΛΥ) µ ν Λ µ αυ α ν.

5 MATH 8.52 COURSE NOTES - CLASS MEETING # 2 5 The condition (2..2) can be viewed as (n + ) 2 scalar equations. However, by the symmetry of m, there are plenty of redundancies, so that only 2 (n + )(n + 2) of the equations are independent. This leaves (n + ) 2 2 (n + )(n + 2) 2n(n + ) free parameters that determine the matrix Λ. Thus, the Lorentz transformations form a 2n(n + ) dimensional group. It can be shown that the proper Lorentz group is generated by the (n)(n ) 2 dimensional subgroup of spatial rotations, and the n dimensional subgroup of proper Lorentz boosts. For the sake of concreteness let s focus on the physical case of n 3 spatial dimensions. Then the rotations about the x 3 axis are the set of linear transformations of the form Λ α 0 cos θ sin θ 0 (2..4) µ, 0 sin θ cos θ where θ [0, 2π) is the counter-clockwise angle of rotation. Analogous matrices yield the rotations about the x and x 2 axes. Note that the X 0 (i.e. time ) coordinate of vectors X is not affected by such transformations. The (proper) Lorentz boosts are the famous linear transformations that play a distinguished role in Einstein s theory of special relativity. They are sometimes called spacetime rotations, because they intermix the time component X 0 of vectors X with their spatial components X, X 2,, X n. The Lorentz boosts in the x direction can be expressed as cosh ζ sinh ζ 0 0 Λ α sinh ζ cosh ζ 0 0 (2..5) µ where ζ (, ). Equivalently, (2..5) may be parameterized by γ γv 0 0 Λ α γv γ 0 0 (2..6) µ where v (, ) is a velocity and γ v. The requirement that v < is directly connected 2 to the idea that in special relativity, material particles should never exceed the speed of light Null frames. It is often the case that the standard basis on R +n is not the best basis for analyzing solutions to the linear wave equation. One of the most useful bases is called a null frame, which varies from spacetime point to spacetime point. Definition A null frame is a basis for R +n consisting of vectors {L, L, e (),, e (n ) }. Here, L and L are null vectors normalized by m(l, L) 2, and the e (i) are orthonormal vectors that By generated, we mean that all proper Lorentz transformations can be built out of a finite number of products of boosts and spatial rotations.

6 6 MATH 8.52 COURSE NOTES - CLASS MEETING # 2 span the m orthogonal complement of span(l, L): m(e (i), e (j) ) δ ij, m(l, e (i) ) m(l, e (i) ) 0, for i j n. Note that the e (i) must form a basis for this complement; i.e., since they are m orthonormal, they must be linearly independent. In particular, we have the decomposition (2.2.) R +n span(l, L) span(e (),, e (n ) ), where each of the two subspaces in the above direct sum are m orthogonal. Example A common choice of a null frame is to take L µ (, ω,, ω n ), L µ (, ω,, ω n ), and to take the e (i) to be any m orthonormal basis for the m orthogonal complement of span(l, L). Note that this n dimensional complementary space is spanned by the n non-linearly independent vectors v µ (0, ω (i), ω 2,, ω i, ω i, ω i+,, ω n ), i n. Here, ω i xi r, and r n i(x i ) 2 is the standard radial coordinate. Observe that v (i) is formed by subtracting of the radial part (0, ω,, ω n ) from the standard spatial unit basis vector b µ (i) (0, 0,, 0,, 0,, 0). Note that n i(ω i ) 2. i th spatial slot For this null frame, in terms of differential operators, L t + r, while L t r. The are the angular derivatives, i.e., derivatives in directions tangential to the Euclidean spheres e(i) S r,t {(τ, x,, x n ) τ t, n i(x i ) 2 r.} The following proposition shows that the Minkowski metric has a very nice form when expressed relative to a null frame. Proposition 2.2. (Null frame decomposition of m). If {L, L, e (),, e (n ) } is a null frame, then we can decompose (2.2.2) m µν 2 L µl ν 2 L µ L ν+ /m µν, where /m µν is positive-inite on the m orthogonal complement of span(l, L), and /m µν vanishes on span(l, L). Similarly, by raising each index on both sides of (2.2.2) with m, we have that (2.2.3) (m ) µν 2 Lµ L ν 2 Lµ L ν + /m µν. Proof. We ine /m µν m µν + 2 L µl ν + 2 L µ L ν. Since m(l, L) m(l, L) 0, and m(l, L) 2, it easily follows that /m (L, L) /m (L, L) /m (L, L) 0. Thus, /m µν vanishes on span(l, L). Since m(l, e (i) ) m(l, e (i) ) 0 for i n, it easily follows that /m (L, e (i) ) /m (L, e (i) ) 0. Finally, it also easily follows that /m (e (i), e (j) ) m(e (i), e (j) ) δ ij, where δ ij if i j and δ ij 0 if i j, so that {e (i) } n i is an /m orthonormal basis for the m orthogonal complement of span(l, L).

7 MATH 8.52 COURSE NOTES - CLASS MEETING # 2 7 Remark If the null frame is the one described in Example 2.2., then /m µν is a metric that is positive inite in the angular directions, and 0 otherwise. In fact, /m is the standard Euclidean metric on the family Euclidean spheres S r,t. /m is known as the first fundamental form of the spheres relative to m.