２階線形双曲型偏微分方程式の初期値問題(ver.1)

§1. 2 階線形双曲型偏微分方程式の初期値問題 n ≥ 1 とし，波動方程式の微分作用素である d’ALembertian □ = ∂t2 − ∆ を一般 化した微分作用素 L= n X g jk (t, x)∂j ∂k + j,k=0 n X bj (t, x)∂j + a(t, x) j=0 について，初期値問題 ( Lu(t, x) = F (t, x), (t, x) ∈ R × Rn , (u(0, x), ∂0 u(0, x)) = (u0 (x), u1 (x)), x ∈ Rn を考える．ただし，ここで • ∂0 = ∂t , ∂j = ∂xj (j = 1, . . . , n) • g jk , bj , a ∈ C 2 (R × Rn )：実数値，g jk = g kj (j, k = 0, . . . , n) • F (t, x)：外力（given），実数値 • u0 (x), u1 (x)：初期値（given），実数値 奏理音ムイ（Vtuber） 1 / 47

初期値問題の適切性 初期値問題 ( Lu(t, x) = F (t, x), (t, x) ∈ R × Rn , (u(0, x), ∂0 u(0, x)) = (u0 (x), u1 (x)), x ∈ Rn が適切（well-posed）であるとは， 1 解の存在 2 解の一意性 3 解のデータに関する連続依存性 が成立することをいう（Hadamard, 1902）． 奏理音ムイ（Vtuber） 2 / 47

双曲型作用素 以下，すべての (t, x) ∈ R × Rn について g 00 (t, x) ̸= 0 とする．微分作用素 L= n X g jk (t, x)∂j ∂k + n X bj (t, x)∂j + a(t, x) j=0 j,k=0 に対し，最高階の微分の部分 L0 = n X g jk (t, x)∂j ∂k j,k=0 を L の主要部（principal part）という． また，L0 の ∂ = (∂0 , ∂1 , . . . , ∂n ) を ξ = (ξ0 , ξ ′ ) = (ξ0 , ξ1 , . . . , ξn ) でおきかえて 得られる ξ の多項式 p0 (t, x, ξ0 , ξ ′ ) = n X g jk (t, x)ξj ξk j,k=0 を L の特性多項式（characteristic polynomial）という． 奏理音ムイ（Vtuber） 3 / 47

いま，g 00 (t, x) ̸= 0 の仮定より，特性多項式 p0 (t, x, ξ0 , ξ ′ ) = n X g jk (t, x)ξj ξk j,k=0 を ξ0 の多項式とみると，2 次の多項式となる．その根は   1/2  2   n n n  X   X X 1  ± ′ 0j 0j  00 jk  .  λ (t, x, ξ ) = 00 − g ξj ± g ξj ξk g ξj −g    g  j=1  j=1 j,k=1 これらを L の特性根（characteristic roots）という． 奏理音ムイ（Vtuber） 4 / 47

Definition 1 微分作用素 L が（t 方向に）双曲型（hyperbolic）であるとは，任意の (t, x, ξ ′ ) ∈ R × Rn × Rn に対して，L の特性根 λ± (t, x, ξ ′ ) が実数であるときを いう． また，L が正規双曲型（regularly hyperbolic）であるとは，L が双曲型でありかつ， inf (t,x)∈R×Rn |ξ ′ |=1 |λ+ (t, x, ξ ′ ) − λ− (t, x, ξ ′ )| > 0 が成立するときをいう． ※ L が d’Alembertian に適当な意味で十分近い （i.e., 行列 (g jk )0≤j,k≤n が diag(1, −1, . . . , −1) に十分近い）ならば，L は正規 双曲型となる． 目標 L が d’Alembertian に適当な意味で十分近いときに，L に対する初期値問題の適 切性を証明すること． 奏理音ムイ（Vtuber） 5 / 47

§2. 弱解の定義 T > 0 として，微分作用素 L= n X j,k=0 jk g (t, x)∂j ∂k + n X bj (t, x)∂j + a(t, x) j=0 に対する初期値問題 ( Lu(t, x) = F (t, x), (IVP) (u(0, x), ∂0 u(0, x)) = (u0 (x), u1 (x)), (t, x) ∈ (0, T ) × Rn , x ∈ Rn を考える．係数 g jk , bj , a は C 2 ([0, T ) × Rn ) に属し，実数値であるとする．また g jk = g kj とする． u ∈ C 2 ([0, T ) × Rn ) は (IVP) の解であるとしよう ∗ ．C 2 級の関数で (IVP) を各 点の意味でみたすものを古典解（classical solution）とよぶ． ∗ このとき u0 ∈ C 2 (Rn ), u1 ∈ C 1 (Rn ), F ∈ C([0, T ) × Rn ) がしたがう． 奏理音ムイ（Vtuber） 6 / 47

いま，テスト関数 ψ ∈ C0∞ ((−∞, T ) × Rn ) を任意に取り，方程式 Lu = F に掛 けて (0, T ) × Rn で積分すると， ZZ ZZ ψF dtdx = ψLu dtdx (0,T )×Rn (0,T )×Rn ZZ = ψ (0,T )×Rn  n X  g jk ∂j ∂k u + n X j=0 j,k=0   bj ∂j u + au dtdx.  ここで，部分積分により， ZZ ψg 00 ∂02 u dtdx (0,T )×Rn Z =− Rn ZZ ψ(0, x)g 00 (0, x)u1 (x) dx − Z =− Rn Z ψ(0, x)g 00 (0, x)u1 (x) dx + ZZ + (0,T )×Rn 奏理音ムイ（Vtuber） ∂0 (ψg 00 )∂0 u dtdx (0,T )×Rn Rn (∂0 (ψg 00 ))(0, x)u0 (x) dx ∂02 (ψg 00 )u dtdx. 7 / 47

同様に， ZZ ψ (0,T )×Rn n X ZZ g ∂j ∂0 u dtdx ZZ n X (0,T )×Rn n X = ZZ ψ (0,T )×Rn j=1 =− Z j0 Rn j=1 n X ! 0k g ∂0 ∂k u dtdx も同じ k=1 ∂j (ψg j0 )∂0 u dtdx j=1 ZZ n X (∂j (ψg j0 ))(0, x)u0 (x) dx + ∂0 ∂j (ψg j0 )u dtdx, (0,T )×Rn j=1 ψb0 ∂0 u dtdx (0,T )×Rn Z =− Rn ZZ ψ(0, x)b0 (0, x)u0 (x) dx − 奏理音ムイ（Vtuber） ∂0 (ψb0 )u dtdx. (0,T )×Rn 8 / 47

以上より，作用素 L∗ を L∗ ψ = n X j,k=0 ∂j ∂k (g jk ψ) − n X ∂j (bj ψ) + aψ j=0 と定義すると，等式 ZZ ψF dtdx (0,T )×Rn ZZ (L∗ ψ)u dtdx = (0,T )×Rn Z − ψ(0, x)g 00 (0, x)u1 (x) dx   Z  n  X + (∂0 (ψg 00 ))(0, x) − (ψb0 )(0, x) + 2 (∂j (ψg j0 ))(0, x) u0 (x) dx  Rn  Rn j=1 を得る． 奏理音ムイ（Vtuber） 9 / 47

上で得られた等式は，u の微分可能性がなくても意味をもつ式である．これをも とに，(IVP) の弱解を以下のように定義する． 記号 s ∈ N ∪ {0} に対し，  H s (Rn ) := f ∈ L2 (Rn ); ∀α ∈ (N ∪ {0})n (|α| ≤ s), ∂xα f ∈ L2 (Rn ) . ただし，微分は超関数の意味の微分とする．この空間を Sobolev 空間とよぶ．特 に H 0 (Rn ) = L2 (Rn ) である．また，負の整数 s に対して， H s (Rn ) := (H −s (Rn ))′ と定める † ． また，区間 I ⊂ R, Banach 空間 X に対し， C(I; X) := {u : I → X;（X の位相について）連続 }, C 1 (I; X) := {u : I → X;（X の位相について）C 1 級 }, L1 (I; X) := {u : I → X; Bochner 可積分 }. † Fourier 変換を用いてすべての s ∈ R に対して Sobolev 空間 H s (Rn ) を定義することができる． 奏理音ムイ（Vtuber） 10 / 47

Definition 2 s ∈ N ∪ {0} とする．u0 ∈ H s+1 (Rn ), u1 ∈ H s (Rn ), F ∈ L1 ([0, T ); H s (Rn )) と する．u ∈ C([0, T ); H s+1 (Rn )) ∩ C 1 ([0, T ); H s (Rn )) が初期値問題 (IVP) の弱解 （weak solution）であるとは，任意の ψ ∈ C0∞ ((−∞, T ) × Rn ) に対して等式 ZZ ψF dtdx (0,T )×Rn ZZ = (L∗ ψ)u dtdx n (0,T )×R Z − ψ(0, x)g 00 (0, x)u1 (x) dx Rn   Z  n  X + (∂0 (ψg 00 ))(0, x) − (ψb0 )(0, x) + 2 (∂j (ψg j0 ))(0, x) u0 (x) dx  Rn  j=1 が成立するときをいう ． s が負の整数のときも，空間変数の積分を ⟨·, ·⟩H s ,H −s の意味に適宜読み替え，係数にも追加の 滑らかさを仮定すれば同様にして弱解が定義できる． 奏理音ムイ（Vtuber） 11 / 47

§3. エネルギー不等式
§3.1 d’Alembertian に対するエネルギー不等式
u′ = ∇u := (∂0 u, ∂1 u, . . . , ∂n u)
g0 = (g0jk )j,k=0,...,n
□ := ∂02 − ∆ =


1


:= diag(1, −1, . . . , −1) = 








−1
..

.
−1

Pn

jk
j,k=0 g0 ∂j ∂k

Theorem 3
n ≥ 1, T > 0 とする．関数 u = u(t, x) は，u ∈ C 2 ([0, T ] × Rn ) かつ，ある
R > 0 が存在して supp u ⊂ [0, T ] × {x ∈ Rn ; |x| < R} であるとする．このとき，
∥u′ (t, ·)∥L2 (Rn ) ≤ ∥u′ (0, ·)∥L2 (Rn ) +

Z

t

∥□u(s, ·)∥L2 (Rn ) ds (t ∈ [0, T ])
0

が成立する．特に □u = 0 ((t, x) ∈ [0, T ] × Rn ) のときは等号で成立する：

∥u′ (t, ·)∥L2 (Rn ) = ∥u′ (0, ·)∥L2 (Rn )
奏理音ムイ（Vtuber）

(t ∈ [0, T ]).
12 / 47

証明 e0 (u), ej (u) (j = 1, . . . , n) を以下で定義する： e0 (u) := |u′ |2 = n X |∂k u|2 k=0 = g000 |∂0 u|2 − n X g0jk ∂j u∂k u, j,k=1 （後で一般化する場合に見通しを良くするため，あえてこのようにも書いておく） ej (u) := −2∂0 u∂j u n X =2 g0jk ∂0 u∂k u (j = 1, . . . , n). k=0 このとき，次が成立する． (1) ′ 2 2∂0 u□u = ∂0 |u | − 2 n X j=1 奏理音ムイ（Vtuber） ∂j (∂0 u∂j u) = n X ∂j ej (u). j=0 13 / 47

式 (1) の証明：  ∂0 |u′ |2 = ∂0 |∂0 u|2 + n X   |∂j u|2  = 2 ∂02 u∂0 u + j=1 −2 n X ∂j (∂0 u∂j u) = −2 j=1 n X  ∂0 ∂j u∂j u , j=1 n X
∂j ∂0 u∂j u + ∂0 u∂j2 u . j=1 この右辺どうしの和をとると 2∂0 u□u になる． 奏理音ムイ（Vtuber） 14 / 47

supp u ∈ [0, T ] × {x ∈ Rn ; |x| < R} に注意して ∥u′ (t, ·)∥2L2 (Rn ) を t で微分す ると， Z ∂0 ∥u′ (t, ·)∥2L2 (Rn ) = ∂0 |u′ |2 dx n R   Z n X ∂0 |u′ |2 − 2 ∂j (∂0 u∂j u) dx = Rn j=1 （∵ u は空間遠方で 0） Z n X = Rn j=0 ∂j ej (u) dx Z =2 Rn ′ ∂0 u□u dx （∵ 式 (1)） ≤ 2∥u (t, ·)∥L2 (Rn ) ∥□u(t, ·)∥L2 (Rn ) . 下から 2 行目までの等式から，特に □u ≡ 0 なら ∂0 ∥u′ (t, ·)∥2L2 (Rn ) = 0 となり ∥u′ (t, ·)∥L2 (Rn ) は一定となることが分かる（定理の主張の後半部分）． 奏理音ムイ（Vtuber） 15 / 47

一方，左辺は（∥u′ (t, ·)∥L2 (Rn ) > 0 である限りは） ∂0 ∥u′ (t, ·)∥2L2 (Rn ) = 2∥u′ (t, ·)∥L2 (Rn ) ∂0 ∥u′ (t, ·)∥L2 (Rn ) であるから，これを前の不等式に用いて 2∥u′ (t, ·)∥L2 (Rn ) ∂0 ∥u′ (t, ·)∥L2 (Rn ) ≤ 2∥u′ (t, ·)∥L2 (Rn ) ∥□u(t, ·)∥L2 (Rn ) , すなわち ∂0 ∥u′ (t, ·)∥L2 (Rn ) ≤ ∥□u(t, ·)∥L2 (Rn ) . （もしすべての s ∈ [0, t] について ∥u′ (s, ·)∥L2 (Rn ) > 0 ならば）上式で t を s に置 き換えたものを [0, t] 上で積分して， ′ ∥u (t, ·)∥ L2 (Rn ) ′ Z ≤ ∥u (0, ·)∥ L2 (Rn ) t ∥□u(s, ·)∥L2 (Rn ) ds + 0 を得る． 奏理音ムイ（Vtuber） 16 / 47

もし ∥u′ (t, ·)∥L2 (Rn ) > 0 かつ，ある s ∈ [0, t) について ∥u′ (s, ·)∥L2 (Rn ) = 0 とな る場合には，そのような s のうち [0, t) における最大のもの s∗ をとって，[0, t] の 代わりに s ∈ [s∗ , t] で積分すれば ′ ∥u (t, ·)∥ L2 (Rn ) Z ′ ≤ ∥u (s∗ , ·)∥ Z L2 (Rn ) t ∥□u(s, ·)∥L2 (Rn ) ds + s∗ t ∥□u(s, ·)∥L2 (Rn ) ds = s∗ （∵ ∥u′ (s∗ , ·)∥L2 (Rn ) = 0 ） ′ Z ≤ ∥u (0, ·)∥L2 (Rn ) + t ∥□u(s, ·)∥L2 (Rn ) ds 0 となってやはり求める不等式を得る． 奏理音ムイ（Vtuber） 17 / 47

§3.2. 変数係数双曲型作用素に対するエネルギー不等式 微分作用素 L= n X g jk (t, x)∂j ∂k j,k=0 を考える． • g jk ∈ C 2 ([0, T ] × Rn ), g jk = g kj (j, k = 0, . . . , n) • (g0jk ) = diag(1, −1, . . . , −1) • rjk (t, x) := g jk (t, x) − g0jk (t, x) とし， n X j,k=0 |rjk (t, x)| ≤ 1 2 ((t, x) ∈ [0, T ] × Rn ) を仮定する． Lemma 4 上の仮定のもとで，L は（t 方向に）正規双曲型となる． 奏理音ムイ（Vtuber） 18 / 47

証明 特性多項式は， p0 (t, x, ξ0 , ξ ′ ) = n X g jk (t, x)ξj ξk j,k=0 = ξ02 ′ 2 − |ξ | + n X rjk (t, x)ξj ξk j,k=0 = (1 + r 00 )ξ02 +2 n X ! 0k r ξk ξ0 − |ξ ′ |2 + k=1 n X rjk ξj ξk . j,k=1 これを ξ0 の 2 次多項式とみて，判別式 D を計算すると，   !2 n n X X D = r0k ξk + (1 + r00 ) |ξ ′ |2 − rjk ξj ξk  . 4 k=1 奏理音ムイ（Vtuber） j,k=1 19 / 47

ここで，仮定 n X |rjk (t, x)| ≤ j,k=0 1 2 ((t, x) ∈ [0, T ] × Rn ) より， 1 ≤ 1 + r00 ≤ 2 2 および |ξ ′ |2 − n X  rjk ξj ξk ≥ |ξ ′ |2 −  j,k=1  |rjk | |ξ ′ |2 j,k=1 ≥ 奏理音ムイ（Vtuber） n X 1 ′2 |ξ | . 2 20 / 47

したがって，|ξ ′ | = 1 のとき， D = 4 n X !2 r0k ξk  + (1 + r00 ) |ξ ′ |2 − k=1 n X  rjk ξj ξk  ≥ j,k=1 1 4 となり，D ≥ 1 を得る．よって特性根 λ± (t, x, ξ ′ ) は実であり， inf (t,x)∈R×R |ξ ′ |=1 n |λ+ (t, x, ξ ′ ) − λ− (t, x, ξ ′ )| ≥ inf n (t,x)∈R×R |ξ ′ |=1 D 1 ≥ 00 1+r 2 が成立する．よって作用素 L は（t 方向に）正規双曲型である． 奏理音ムイ（Vtuber） 21 / 47

エネルギー不等式
• g jk ∈ C 2 ([0, T ] × Rn ), g jk = g kj (j, k = 0, . . . , n), L =

n
X

g jk (t, x)∂j ∂k

j,k=0

• (g0jk ) = diag(1, −1, . . . , −1)
• rjk (t, x) := g jk (t, x) − g0jk (t, x),

n
X
j,k=0

|rjk (t, x)| ≤

1
2

((t, x) ∈ [0, T ] × Rn )

Theorem 5
n ≥ 1, T > 0 とし，係数 g jk は上の仮定をみたすとする．関数 u = u(t, x) は，
u ∈ C 2 ([0, T ] × Rn ) かつ，ある R > 0 が存在して
supp u ⊂ [0, T ] × {x ∈ Rn ; |x| < R} であるとする．このとき，


Z t
∥Lu(s, ·)∥L2 (Rn ) ds
∥u′ (t, ·)∥L2 (Rn ) ≤ 2 ∥u′ (0, ·)∥L2 (Rn ) +
0


Z t X
n
× exp 
2
∥∂i g jk (s, ·)∥L∞ (Rn ) ds (t ∈ [0, T ]).
0

奏理音ムイ（Vtuber）

i,j,k=0

22 / 47

証明 e0 (u), ej (u) (j = 1, . . . , n) を以下で定義する： n X e0 (u) := g 00 |∂0 u|2 − g jk ∂j u∂k u j,k=1 = |u′ |2 + r00 |∂0 u|2 − n X rjk ∂j u∂k u, j,k=1 ej (u) := 2 n X g jk ∂0 u∂k u (j = 1, . . . , n). k=0 また， R0 := (∂0 g 00 )|∂0 u|2 − n X (∂0 g jk )∂j u∂k u, j,k=1 Rj := 2 n X (∂j g jk )∂0 u∂k u (j = 1, . . . , n) k=1 とおく． 奏理音ムイ（Vtuber） 23 / 47

このとき，次が成立する． (2) 2∂0 uLu = n X ∂j ej (u) − j=0 n X Rj . j=0 (∵) 左辺は 2∂0 uLu = 2∂0 u n X g jk ∂j ∂k u. j,k=0 右辺第 1 項は，g jk =g ∂0 e0 (u) = 2g 00 kj を用いると ∂0 u∂02 u −2 n X g jk ∂j u∂0 ∂k u + R0 , j,k=1 ∂j ej (u) = 2 n X g jk (∂j ∂0 u∂k u + ∂0 u∂j ∂k u) + Rj (j = 1, . . . , n) k=0 となる．これらの和を計算すると式 (2) が成立することがわかる． 奏理音ムイ（Vtuber） 24 / 47

また，e0 (u) について次が成立する． 1 ′2 |u | ≤ e0 (u) ≤ 2|u′ |2 2 n X (∵) e0 (u) = |u′ |2 + r00 |∂0 u|2 − rjk ∂j u∂k u だった．ここで (3) j,k=1 r00 |∂0 u|2 ≤ n X rjk ∂j u∂k u ≤ j,k=1 1 |∂0 u|2 , 2 n X j,k=1 |rjk | n X 1X |∂l u|2 . 2 n |∂l u|2 ≤ l=1 l=1 よって， 1 1X 1 e0 (u) ≥ |u | − |∂0 u|2 − |∂j u|2 ≥ |u′ |2 , 2 2 2 n ′ 2 l=1 n 1X 1 e0 (u) ≤ |u′ |2 + |∂0 u|2 + 2 2 奏理音ムイ（Vtuber） |∂j u|2 ≤ 2|u′ |2 . l=1 25 / 47

さらに，R := n X Rj について次が成立する． j=0 n X |R| ≤ 4e0 (u) (4) |∂i g jk |. i,j,k=0 (∵) |R| ≤ |∂0 g 00 ||∂0 u|2 + ≤ |∂0 g 00 ||∂0 u|2 + n X j,k=1 n X j,k=1 n X ≤ 2|u′ |2 |∂0 g jk ||∂j u∂k u| + 2 |∂0 g jk | n X l=1 |∂l u|2 + n X j,k=1 n X |∂j g jk ||∂0 u∂k u| |∂j g jk |(|∂0 u|2 + |∂k u|2 ) j,k=1 |∂i g jk | i,j,k=0 n X ≤ 4e0 (u) |∂i g jk |. i,j,k=0 奏理音ムイ（Vtuber） 26 / 47

以上の準備のもと， Z E(t) := Rn e0 (u)(t, x) dx を評価しよう． Z ∂0 E(t) = ∂0 e0 (u) dx Rn Z n X = Rn j=0 式 (2) ∂j ej (u) dx Z = Rn （∵ u は空間遠方で 0） Z 2∂0 uLu dx + R dx Rn ≤ 2∥Lu(t)∥L2 (Rn ) ∥∂0 u(t)∥L2 (Rn ) + ∥R∥L1 (Rn )   n X 式 (3),(4) √ 1 ∥∂i g jk (t)∥L∞ (Rn )  E(t). ≤ 2 2∥Lu(t)∥L2 (Rn ) E(t) 2 + 4  i,j,k=0 奏理音ムイ（Vtuber） 27 / 47

よって，（E(t) > 0 である限りは）   1 1 1 ∂0 E(t) 2 = E(t)− 2 ∂0 E(t) 2 ≤ √  2∥Lu(t)∥L2 (Rn ) + 2  n X  ∥∂i g jk (t)∥L∞ (Rn )  E(t) 2 . 1 i,j,k=0 したがって，   ∂0 E(t) exp −2 1 2 Z t n X  ∥∂i g jk (s)∥L∞ (Rn ) ds 0 i,j,k=0 ≤ ≤ √ √  2∥Lu(t)∥L2 (Rn ) exp −2 Z t n X  ∥∂i g jk (s)∥L∞ (Rn ) ds 0 i,j,k=0 2∥Lu(t)∥L2 (Rn ) . 奏理音ムイ（Vtuber） 28 / 47

よって，（もしすべての s ∈ [0, t] で E(s) > 0 なら）上式を [0, t] で積分して，   √ Z t E(t) ≤ E(0) + 2 ∥Lu(s)∥L2 (Rn ) ds 0   Z t X n × exp  2 ∥∂i g jk (s)∥L∞ (Rn ) ds . 1 2 1 2 0 i,j,k=0 最後に式 (3) を使えば   Z t ∥u′ (t)∥L2 (Rn ) ≤ 2 ∥u′ (0)∥L2 (Rn ) + ∥Lu(s)∥L2 (Rn ) ds 0   Z t X n jk 2 ∥∂i g (s)∥L∞ (Rn ) ds . × exp  0 i,j,k=0 ※ [0, T ] のどこかで E(t) = 0 となる場合の議論については Theorem 3（前回） と同じ． 奏理音ムイ（Vtuber） 29 / 47

§4 Sobolev 空間における弱解の存在と一意性 n ≥ 1, T > 0 とし，2 階線形の双曲型偏微分作用素 L= n X g jk (t, x)∂j ∂k + j,k=0 n X bj (t, x)∂j + a(t, x) j=0 に対する初期値問題 ( Lu(t, x) = F (t, x), (t, x) ∈ [0, T ] × Rn , (u(0, x), ∂0 u(0, x)) = (u0 (x), u1 (x)), x ∈ Rn を考える．この節では，係数は滑らか： g jk , bj , a ∈ C ∞ ([0, T ] × Rn ) (j, k = 0, . . . , n) かつすべての導関数が有界： ∂ α g jk , ∂ α bj , ∂ α a ∈ L∞ ([0, T ] × Rn ) (α ∈ Zn+1 ≥0 , j, k = 0, . . . , n) であるとする．また，g jk = g kj とする． 奏理音ムイ（Vtuber） 30 / 47

また，前節に引き続き， rjk (t, x) := g jk (t, x) − g0jk (t, x), について n X j,k=0 |rjk (t, x)| ≤ 1 2 g0 := diag(1, −1, . . . , −1) ((t, x) ∈ [0, T ] × Rn ) を仮定する．Lemma 4 より，このとき L は（t 方向に）正規双曲型となる． さらに，最初から g 00 で全体を割っておくことにして，以下 g 00 ≡ 1 であるとする． 奏理音ムイ（Vtuber） 31 / 47

Sobolev ノルムに関するエネルギー不等式 Theorem 6 s ∈ Z とする．u を u∈ 2 \ C l ([0, T ]; H s+1−l (Rn )) l=0 をみたす関数とし， F := Lu ∈ L1 ([0, T ]; H s (Rn )) を仮定する．このとき，ある定数 Cs,T > 0 が存在して，任意の t ∈ (0, T ) に対し   Z t X X ∥∂ α u(0, ·)∥H s + ∥F (τ, ·)∥H s dτ  ∥∂ α u(t, ·)∥H s ≤ Cs,T  |α|≤1 |α|≤1 0 が成立する． 奏理音ムイ（Vtuber） 32 / 47

証明
Step 1 : s = 0 のとき
まず，次のことを確認する．

Claim 1
Theorem 5 の結論

∥u′ (t, ·)∥L2 (Rn ) ≤ 2 ∥u′ (0, ·)∥L2 (Rn ) +

× exp 

Z

∥
0

Z

n
X

t

2
0

t

n
X
j,k=0


g jk (t, x)∂j ∂k u(τ, ·)∥L2 (Rn ) dτ 


∥∂i g jk (τ, ·)∥L∞ (Rn ) dτ 

(t ∈ [0, T ]).

i,j,k=0

は，仮定を「u ∈ C 2 ([0, T ] × Rn ) かつ supp u ⊂ [0, T ] × {x ∈ Rn ; |x| < R}」から

u ∈ C([0, T ]; H 2 (Rn )) ∩ C 1 ([0, T ]; H 1 (Rn )) ∩ C 2 ([0, T ]; L2 (Rn ))
に変えてもそのまま成立する．
奏理音ムイ（Vtuber）

33 / 47

Claim 1 の証明 Theorem 5 の証明の中で問題になるのは Z ∂0 E(t) = ∂0 e0 (u) dx, Rn Z ∂j ej (u) dx = 0 (j = 1, . . . , n) Rn の成立だけだが，u の仮定と e0 (u) := |∂0 u|2 −  n X Pn j,k=1 g jk ∂j u∂k u から  d  (∂0 u, ∂0 u)L2 − (g jk ∂j u, ∂k u)L2  dt j,k=1   n n X X (∂0 g jk ∂j u, ∂k u)L2 (g jk ∂j u, ∂0 ∂k u)L2  − = 2 (∂0 u, ∂02 u)L2 − ∂0 E(t) = j,k=1 Z = Rn j,k=1 ∂0 e0 (u) dx. よって一つ目の等式が成立． 奏理音ムイ（Vtuber） 34 / 47

次に二つ目の等式を示す．ej (u) の定義 ej (u) := 2 そう． Pn k=0 g jk ∂0 u∂k u を思い出 t ∈ [0, T ] を任意にとり固定する．埋め込み C0∞ (Rn ) ⊂ H s (Rn ) の稠密性から， ∞ ∞ n 点列 {φm }∞ m=1 , {ψl }l=1 ⊂ C0 (R ) で φm → ∂k u(t) (m → ∞), ψl → ∂0 u(t) (l → ∞) in H 1 (Rn ) となるものが存在する．これより， Z ∂j (g jk (t, x)∂0 u(t, x)∂k u(t, x)) dx = Rn Z lim l,m→∞ Rn ∂j (g jk (t, x)ψl (x)φm (x)) dx =0 となるので， Z Rn ∂j ej (u) dx = 0 が成立することがわかる． 奏理音ムイ（Vtuber） 35 / 47

次に，軟化子を用いて次のようにさらに仮定を弱めることができる． Claim 2 Theorem 5 の結論は仮定をさらに u ∈ C([0, T ]; H 1 (Rn )) ∩ C 1 ([0, T ]; L2 (Rn )) ∩ C 2 ([0, T ]; H −1 (Rn )), n X G := g jk ∂j ∂k u ∈ L1 ([0, T ]; L2 (Rn )) j,k=1 に変えてもそのまま成立する． Claim 2 の証明 ρ ∈ C0∞ (Rn ), ρ ≥ 0, Z ρ(x) dx = 1 をみたす関数 ρ をとる． Rn −n ε > 0 に対し ρε (x) := ε ρ(x/ε) とおく． （∥ρε ∥L1 = ∥ρ∥L1 に注意する． ） 奏理音ムイ（Vtuber） 36 / 47

n X g jk (t, x)∂j ∂k u(t, x) = G(t, x) j,k=1 の両辺と ρε との空間変数についてのたたみこみをとる． Z uε (t, x) := (ρε ∗ u(t, ·))(x) = ρε (x − y)u(t, y) dy Rn とおくと， ρε ∗ (g jk ∂j ∂k u) = g jk ∂j ∂k (ρε ∗ u) − [ρε ∗, g jk ∂j ∂k ]u. ただし [A, B] は交換子 [A, B] = AB − BA を表す．さらに Gε := ρε ∗ G とお くと， n n X X g jk ∂j ∂k uε = Gε + [ρε ∗, g jk ∂j ∂k ]u j,k=1 j,k=1 | {z } =:Rε u 奏理音ムイ（Vtuber） 37 / 47

uε ∈ T2 l=0 C l ([0, T ]; H 2−l (Rn )) より，Claim 1 を適用することができて，   Z t ∥u′ε (t)∥L2 ≤ 2 ∥u′ε (0)∥L2 + (∥Gε (τ )∥L2 + ∥Rε u(τ )∥L2 ) dτ 0   Z t X n × exp 2 ∥∂i g jk (τ )∥L∞ dτ  . 0 i,j,k=0 この式で ε → 0 の極限移行を行う．まず軟化子の性質から ε → 0 のとき u′ε (t) → u′ (t), Gε → G u′ε (0) → u′ (0), in L2 (Rn ), in L1 ([0, T ]; L2 (Rn )) がわかる ‡ ． ‡ 一般に f ∈ L2 (Rn ) に対し ∥ρ ∗ f ∥ ε L2 ≤ ∥f ∥L2 と limε→0 ∥ρε ∗ f − f ∥L2 = 0 が成立するこ と（[Racke, Lemma 4.2] 等を参照）および Lebesgue の収束定理からわかる． 奏理音ムイ（Vtuber） 38 / 47

最後に Rε u を含む項については，次の補題と Lebesgue の収束定理を適用すれば Z ε→0 t ∥Rε u(τ )∥L2 dτ = 0 lim 0 となることがしたがう． Lemma 7 f ∈ H 1 (Rn ) に対し， (i) f に依らないある定数 C(g jk , ρ) > 0 が存在して， ∥[ρε ∗, g jk ∂j ∂k ]f ∥L2 ≤ C(g jk , ρ)∥f ∥H 1 . (ii) limε→0 ∥[ρε ∗, g jk ∂j ∂k ]f ∥L2 = 0. Lemma 7 の証明 埋め込み C0∞ (Rn ) ⊂ H 1 (Rn ) の稠密性から，f ∈ C0∞ (Rn ) として (i), (ii) を示せ ば十分である． 奏理音ムイ（Vtuber） 39 / 47

(i) を示す． [ρε ∗, g jk ∂j ∂k ]f (x) = ρε ∗ (g jk ∂j ∂k f ) − g jk (ρε ∗ ∂j ∂k f ) Z  =− ρε (x − y) g jk (t, x) − g jk (t, y) ∂j ∂k f (y) dy n Z R  = ∂yj ρε (x − y)(g jk (t, x) − g jk (t, y)) ∂k f (y) dy n R Z =− ∂j g jk (t, y)ρε (x − y)∂k f (y) dy n ZR  jk − g (t, x) − g jk (t, y) (∂j ρε )(x − y)∂k f (y) dy Rn =: I + II. ここで，たたみこみに関する Young の不等式より， ∥I∥L2 ≤ C∥∂j g jk ∥L∞ ∥ρε ∥L1 ∥∂k f ∥L2 ≤ C∥f ∥H 1 . 奏理音ムイ（Vtuber） 40 / 47

次に， Z II = −  Rn g jk (t, x) − g jk (t, y) (∂j ρε )(x − y)∂k f (y) dy について， |g jk (t, x) − g jk (t, y)| ≤ ∥∇x g jk ∥L∞ |x − y| t,x および |y|(∂j ρε )(y) = ε−1 |y| · ε−n (∂j ρ) y ε ∈ L1 (Rn ) より ∥II∥L2 ≤ C∥∇x g jk ∥L∞ ∥|y|ρ∥L1 ∥∂k f ∥L2 ≤ C∥f ∥H 1 . t,x これで (i) が示された． 奏理音ムイ（Vtuber） 41 / 47

(ii) を示す． Z Rn  ∂yj (g jk (t, x) − g jk (t, y))ρε (x − y) dy = 0 より， [ρε ∗, g jk ∂j ∂k ]f (x) Z  = ∂yj (g jk (t, x) − g jk (t, y))ρε (x − y) · (∂k f (y) − ∂k f (x)) dy Rn Z =− (∂j g jk )(t, y)ρε (x − y) (∂k f (y) − ∂k f (x)) dy Rn Z − (g jk (t, x) − g jk (t, y))(∂j ρε )(x − y) (∂k f (y) − ∂k f (x)) dy Rn =: III + IV. 奏理音ムイ（Vtuber） 42 / 47

Z III = − Rn (∂j g jk )(t, y)ρε (x − y) (∂k f (y) − ∂k f (x)) dy について，Hölder の不等式より， Z 1 |III(x)|2 ≤ ∥∂j g jk ∥2L∞ ∥ρ ∥ ρε (x − y)|∂k f (y) − ∂k f (x)|2 dy ε L t,x |x−y|<ε Z ≤C ρε (y)|∂k f (x − y) − ∂k f (x)|2 dy. |y|<ε これより， Z ∥III∥2L2 ≤C |y|<ε ρε (y)∥∂k f (· − y) − ∂k f (·)∥2L2 dy ここで f ∈ C0∞ より，任意の δ > 0 に対し，ε が十分小ならば sup ∥∂k f (· − y) − ∂k f (·)∥2L2 ≤ δ |y|<ε とでき， 2 ∥III∥L 2 ≤ C∥ρ∥L1 δ. 奏理音ムイ（Vtuber） 43 / 47

次に Z IV = − Rn (g jk (t, x) − g jk (t, y))(∂j ρε )(x − y) (∂k f (y) − ∂k f (x)) dy について，II と同様に考えて，ρ̃ε (y) = |y|(∂j ρε )(y) と書くと， Z 1 |IV (x)|2 ≤ C∥∇x g jk ∥2L∞ ∥ρ̃ ∥ ρ̃ε (x − y)|∂k f (y) − ∂k f (x)|2 dy. ε L t,x |x−y|<ε あとは III と全く同様の議論で，任意の δ > 0 に対して ε が十分小のとき ∥IV ∥2L2 ≤ Cδ とできる． 奏理音ムイ（Vtuber） 44 / 47

記号表 • t ∈ R：時間変数 • x = (x1 , x2 , . . . , xn ) ∈ Rn ：空間変数 • ∂0 = ∂t , ∂j = ∂xj (j = 1, . . . , n) • u′ = ∇u = (∂0 u, ∂1 u, . . . , ∂n u) • □ = ∂t2 − ∆：d’ALembertian • g0 = (g0jk )j,k=0,...,n = diag(1, −1, . . . , −1) • g jk , bj , a ∈ C 2 (R × Rn )：実数値，g jk = g kj (j, k = 0, . . . , n) • u = u(t, x)：未知関数 • F (t, x)：外力（given），実数値 • u0 (x), u1 (x)：初期値（given），実数値 奏理音ムイ（Vtuber） 45 / 47

記号表 微分作用素 L= n X g jk (t, x)∂j ∂k + n X bj (t, x)∂j + a(t, x) j=0 j,k=0 に対して， n X • L0 = g jk (t, x)∂j ∂k ：主要部 j,k=0 • p0 (t, x, ξ0 , ξ ′ ) = n X g jk (t, x)ξj ξk (ξ0 ∈ R, ξ ′ = (ξ1 , . . . , ξn ) ∈ Rn )：特性 j,k=0 多項式 • λ± (t, x, ξ ′ )：特性根 n n X X • L∗ ψ = ∂j ∂k (g jk ψ) − ∂j (bj ψ) + aψ ：L の共役作用素 j,k=0 奏理音ムイ（Vtuber） j=0 46 / 47

記号表 s ∈ N ∪ {0} に対し，  H s (Rn ) := f ∈ L2 (Rn ); ∀α ∈ (N ∪ {0})n (|α| ≤ s), ∂xα f ∈ L2 (Rn ) . ただし，微分は超関数の意味の微分とする．この空間を Sobolev 空間とよぶ．特 に H 0 (Rn ) = L2 (Rn ) である．また，負の整数 s に対して， H s (Rn ) := (H −s (Rn ))′ と定める § ． また，区間 I ⊂ R, Banach 空間 X に対し， C(I; X) := {u : I → X;（X の位相について）連続 }, C k (I; X) := {u : I → X;（X の位相について）C k 級 }, L1 (I; X) := {u : I → X; Bochner 可積分 }. § Fourier 変換を用いてすべての s ∈ R に対して Sobolev 空間 H s (Rn ) を定義することができる． 奏理音ムイ（Vtuber） 47 / 47