Local smoothing for the Euclidean wave equation

1. 二つの端の補間

$h=N^{-1}$ とすると、$L^2_X\to L^2_{T,X}$ はPlancherelにより一様、$L^\infty_X\to L^\infty_{T,X}$ は $O(h^{-(n-1)/2})$。後者は幅 $h^{1/2}$ のcapへ分け、線形位相を除いた各核の $L^1$ ノルムを一様に抑えて得る。Riesz–Thorin補間によって

Section 7.2, (7.3) · pp. 24–25

2. 微小損失を和へ使う

$g=J^{s_+(p)+\varepsilon}f$ とおくと第 $j$ 周波数環の係数は $2^{-j\varepsilon}(1+j)^{\beta(p)}$ で可算和が収束する。低周波はMihlin、$p=2$ は直接Plancherelで処理する。Corollary 7.1はこの和を精密化し、$B>\beta(p)+1/2-1/p$（または等号と追加の二重対数条件）の対数Sobolev評価を与えるが、$B=C=0$ を一般には得ていない。

Section 7.2, Corollary 7.1 · pp. 25–26

1. 干渉を保持して臨界冪を作る

対称一次系の二つの補助流から $A_0=\chi\chi^*$ を作る。$\chi$ は各波をGaussian重み付きで加えた後のベクトルであり、実表示の各列は発散ゼロ、$(\partial\Phi)A_0=0$。周波数 $N=h^{-1}$、固定小capに対し、補助変数の半径が $h$ 程度なら時間成分から元の波を回収できる。

fiberの定義関数 $r$ は $H_{\rm fib}(r)>0$ を満たす。一方、全Hessian $H(r)$ のnull lineは境界法線にも $H(|\Phi|^2)$ にも直交する。平滑化・cutoff後の流に小さいcofactorを加えて $\mu=A_{TT}>0$ とし、$B_0=\lambda|\Phi|^2$、$\lambda=h^{-30n}$ に対して

を解く。Theorem A.1の正の定義Hessian・正の密度gapをここで満たす。背景の空間Hessianはrank 1なので $\det(B_{\rm fib}+\alpha I)=(\beta+\alpha)\alpha^{n-1}$、$\beta\asymp\lambda$。小球上の密度下界 $m$ が $-u\gtrsim h^2m^{1/(n-1)}$ を生み、$(-u)\mu$ が $m^{n/(n-1)}$、したがって波の $2n/(n-1)$ 乗を検出する。

Proposition 2.2, (2.15), Lemma 4.1 · pp. 9–10, 14 Section 4.2, Theorem A.1 · pp. 15, 38–41

2. 不定符号の行列式を消し、境界だけを残す

$X_0=\int_{\Omega_z}(-u)\mu$ のLaplacianには符号不定の全行列式が残る。そこで

と修正する。流とHessian cofactorの二つの保存則による部分積分で、全行列式が相殺する。cofactorの法線–法線成分は上のnull lineによりゼロで、移動境界でも余計なcofactor fluxは出ない。Proposition 4.2では $\Delta F+\int A:\Sigma$ が波の境界fluxに等しく、$A,\Sigma\ge0$。Lemma 4.3が

を与え、修正後も必要な量を失わない。

Proposition 4.2, Lemma 4.3 · pp. 16–18

3. 境界減衰と内部回収を比較する

$z=(T,\tau)\in\mathbb R\times\mathbb R^2$、$a=Kh$ とする。壁でfluxを持つ領域は波のcap方向から一定距離離れ、Gaussianは $e^{-c_0|\tau|/h}$ で減衰する。内部回収の逆乗数の費用は $e^{C\gamma^2|\tau|/h}$。先にcap幅 $\gamma$ を小さくし、次に固定 $K$ を大きくして、前者が勝つようにする。比較関数と小球の行列式比較を組み合わせ、Proposition 5.1は

を与える。ここで小球における密度の下限と背景の上限 $\mu^{1/(n-1)}\le\lambda$ が比較に必要になる。

Proposition 5.1, (5.11)–(5.12) · pp. 18–21

4. 二つの対数を追い、周期を除く

$H(T,s)$ を $F$ の $|\tau|=s$ の円周平均とする。Lemma 6.1は $b=2a$、$r=2b$ で

外向きの円環比較、固定半径での平均値不等式、内向きの円環比較を使う。二次元の調和関数が $\log s$ に一次なので各通過が一つの逆対数を費やす。正のpotentialの重み付き積分は指数減衰により一様に有界。両側の $a^2$ を消して $p_c$ 乗根を取り、Proposition 6.3を得る。有限個の固定capを加え、$|X|\ge3$ の波の核を非停留位相で $O(h^M(1+|X|)^{-M})$ と抑え、単位cubeの局所周期化と有限重複を使って $\mathbb R^n$ へ移す。

Lemma 6.1, Proposition 6.3 · pp. 21–23 Section 7.1 · p. 24

1. 集束により局所extensionを回収する

$M_Nf=\int\psi(T)e^{iNT}U(T)\chi(|D|/N)f\,dT$ は厚さ1の周波数shellを選ぶ。その核の主要項は $cN^{(n-1)/2}|Z|^{-(n-1)/2}e^{iN|Z|}\psi(|Z|)$。$f_N(r\omega)=e^{-iNr}\psi(r)g(\omega)$ を入れ、集束付近 $X/N$ で距離位相を線形化する。$N$ を $R$ の十分大きい固定冪に取れば誤差は有界で、$n/p_c=(n-1)/2$ がスケール係数を消す。従って $\log N\asymp\log R$ の損失だけが残る。

Lemma 9.2 · p. 28

2. capの符号を無作為化し最大関数を双対化する

互いに素な $\delta$-capを位置に応じてmodulateすると、長さ $\delta^{-2}$・幅 $\delta^{-1}$ の管上でextensionが下から抑えられる。独立符号を付けると二乗の期待値は各capのextensionの二乗和になり、それを対応する管の指示関数の重み付き和で下から抑える。これと局所extension評価から、$q=p_c/2=n/(n-1)$ についてLemma 9.4の重なり評価を得る。位置ごとのcubeへの分割は無限遠の管配置にも一様な定数を与える。方向の $\delta$-net、$L^n$–$L^q$ 双対性、中心位置の上限からKakeya最大評価を得る。

Lemma 9.4, Section 9.3 · pp. 29–30

3. 可変半径被覆とNikodymへの射影変換

単一スケールでは $|F_\delta|\gtrsim[\log(1/\delta)]^{-2(n-1)}$ に留まり、Hausdorff次元には半径の異なる球を群分けする。§9.3は $\gamma>n-1$ に対し $r^n[\log(1/r)]^{2(n-1)}[\log\log(1/r)]^\gamma$ のHausdorff測度が無限であることまで示し、全次元を導く。

§9.4の $N_\delta f(x)$ は $x$ を通る単位線分の管平均の最大値で、

$x$ から一定距離離れた線分片を射影変換すると、基点が方向に変わり、変換のJacobianは局所的に上下有界。基点近傍はdyadic距離 $s$ ごとの重み $O(s)$ で足す。同じ被覆論法により、正測度の基点集合の各点から出る適切な単位線分と一様正長さだけ交わるBorel集合もHausdorff次元 $n$。集合次元だけから最大関数評価を逆に推論してはいない。

Sections 9.3–9.4, (9.6)–(9.7) · pp. 30–32

1. 損失を除去して指数を補間する

$[\log(2+R)]^A\lesssim_\varepsilon R^\varepsilon$ と双対性から局所 $L^{p_c'}\to L^{p_c'}$ restrictionを得る。$1<p_c'<2$ なので[Tao99]の微小損失除去が適用され、双対化して全 $s>p_c$ に $E:L^s\to L^s$。$a\ge b$ は球面の有限測度、$a<b$ は $s=1+b/a'$ として $L^1\to L^\infty$ と補間する。$b>(n+1)a'/(n-1)$ が $s>p_c$ を保証する。

Section 9.1, proof of Corollary 9.3 · p. 29 [Tao99, Theorem 1.2, p. 2]

2. 円錐切片を積分する

$G_\rho(\omega)=G(\rho\omega,\rho)$ とすると $E_\Sigma G=\sqrt2\int_1^2e^{it\rho}\rho^{n-1}E(G_\rho)(\rho x)\,d\rho$。時間のHausdorff–Young、$b\ge b'$ によるMinkowski、空間の拡大縮小を使う。最後の $L^{b'}_\rho$ を $L^a_\rho$ で抑える条件は $a>b'$ で、上の仮定から満たされる。$b=\infty$ は両コンパクト曲面の定義積分に直接Hölderを適用する。

Section 9.1, proof of Corollary 9.3 · p. 29

1. 時間平均の費用はshell厚の負冪

$\sigma>s_+(p)$、$2\le p<\infty$ で、固定annulusの $g$ に対し $\|U(t)g\|_{L^p(\mathbb R^n\times\{R\le|t|\le2R\})}\lesssim R^{1/p+\sigma}\|g\|_p$。$A_{\delta,r}=\psi((1-|D|/r)/\delta)$ をFourier反転すると $\delta r\int e^{itr}\widehat\psi(\delta rt)U(t)g\,dt/(2\pi)$。時間Hölderと長時間評価から $r\in[1,2]$ の上限は $O(\delta^{-\sigma})$。全 $r$ はdyadic octaveに分け、$p\ge2$ のLittlewood–Paley評価で加える。

Lemma 10.2, (10.3) · pp. 32–33

2. 厳密な次数条件と三つの拡張

$s_+(p)<\sigma<\alpha$ を選び、$B_r^\alpha$ の境界付近をshell厚 $\delta=2^{-j}$ に分解すると費用は $\sum_j\delta^{\alpha-\sigma}$。滑らかな残りはHardy–Littlewood最大関数で抑える。これが最大評価と $p\ge2$ の固定半径評価を同時に与える。固定半径作用素の自己共役性により $1<p<2$、$L^1$ 可積分なBessel核により $p=1,\infty$ へ拡張する。コンパクトFourier台のSchwartzデータでの収束と稠密性が $L^p$ 収束を与え、最大評価のある $2\le p<\infty$ では $r$ に一様なほとんど至る所の近似から点収束を得る。

Proof of Theorem 10.1 · p. 33

1. 微分・平方積分・局所平滑化の三つの冪

厚さ $\delta$ のshellで半径微分は $\delta^{\alpha-1}$、半径の平方積分は $\delta^{1/2}$、波は $\delta^{-\sigma}$ を与える。Lemma 11.2では半径変数のPlancherelと長時間波動評価を組み合わせ、$H=L^2([1,2],ds)$ に値を取るshell作用素を $L^p\to L^p(H)$ の $\delta^{1/2-\sigma}$ と $L^2\to L^2(H)$ の $\delta^{1/2}$ で抑える。

Lemma 11.2 · p. 34

2. 異なる尺度を平方ノルム内で統合する

Lemma 11.3はHilbert空間値核とその一次微分の減衰の下でdyadic dilateをまとめる。検査cube上で中間の $O(1+\log(1/\delta))$ 尺度だけに $L^p$ 評価を使い、そのHölder費用は $[1+\log(1/\delta)]^{1/2-1/p}$。遠い尺度には核の微分または $L^2$ を使う。$\sigma<\alpha-1/2$ を選ぶと $\delta^{\alpha-1/2-\sigma}$ が対数費用も吸収する。境界から離れた乗数は原点で二次消滅するため別の可算和になる。$p=2$ では直接 $\|G^\alpha f\|_2^2=\alpha(2\alpha-1)^{-1}\|f\|_2^2$。有限和からFatouと単調収束へ進み、線形な $L^p_x(L^2(dr/r))$ 作用素を稠密性で拡張する。

Lemma 11.3, proof of Theorem 11.1 · pp. 35–36

1. 放物面extensionの内点範囲

capを $(\delta v,\sqrt{1-\delta^2|v|^2})$ と書き、物理変数を $(x/\delta,-2t/\delta^2)$ に拡大する。新しい位相は $q_\delta(v)=2(1-\sqrt{1-\delta^2|v|^2})/\delta^2=|v|^2+O(\delta^2)$。$p_c=2(d+1)/d$ によりJacobianと入力の冪が相殺し、$\delta$ を $R$ の負の固定冪に取ると局所放物面extension (12.4) に同じ $[\log(2+R)]^{2/p_c}$ が残る。[Kim17]のコンパクト曲面版の微小損失除去には、少し大きいpatchの滑らかな密度のFourier減衰を停留位相で与える。その後の双対性・補間が (12.1) の内点範囲を得る。

Proof of Corollary 12.1, (12.4) · pp. 36–37 [Kim17, Theorem 5.3, p. 10]

2. 臨界Schrödinger評価は周波数球に対する対数評価

周波数球 $B(0,N)$ のデータを辺長 $N$ の空間cubeで局所化する。遠方は $S(t)P_N$ の非停留位相、近傍 $h=f1_{30Q}$ はFresnel核で $\mathcal E[g](-\lambda x/(2t),\lambda^2/(4t))$、$g(v)=h(\lambda v)$、$\lambda\asymp N$ と書く。切断が生んだ高周波を避けるため $P_NS(t)h$ として乗数を外側に保つ。$t\in[1/2,1]$ のJacobianと入力normが $\lambda^{d-(2d+2)/p_c}=1$ となり、(12.4)の対数のみが残る。cubeの有限重複と時間のdyadic分割・共役により任意のコンパクト $I$ へ進む。

Proof of (12.2) · pp. 37–38

3. 臨界を超える指数では正確な混合ノルム次数

$p_c<a<p$ を選ぶと (12.1) は $\mathcal E:L^a\to L^a$ を与える。[LRS13, Corollary 1.2]を $p_0=q_0=a$、入力・出力空間指数とも $p$ に適用すると、$p\le r\le\infty$ に対し正確な $s=d(1-2/p)-2/r$ の $B^s_{p,p}\to L^p_xL^r_t$ 評価になる。$p>2$ の $\ell^p\le\ell^2$ とLittlewood–PaleyからSobolev入力でも成り立つ。ここで $a<p$ を選べる余地が、臨界対数評価から区別すべき点である。

Proof of (12.3) · p. 38 [LRS13, Corollary 1.2, p. 3]