ストリッカーツ評価 (ストリッカーツひょうか、英:Strichartz estimate) とは、分散型および双曲型偏微分方程式 の解の時空間ノルム を評価する不等式 である[1] 。
分散型・双曲型偏微分方程式 の現代的な数学解析においてもっとも基本的かつ必要不可欠な道具であり、あらゆる場面で用いられる。
シュレーディンガー方程式 に対するストリッカーツ評価は、Robert_Strichartz [2] が最初に与えた。オリジナルの論文では、d次元空間内のフーリエ変換を(d-1)次元(超)曲面上へ制限することで評価を得ている。その後、Ginibre--Velo[3] [4] , Yajima[5] , Cazenave--Weissler[6] らによって改良された。最後のピースである、所謂「端点評価」を証明したのはKeel--Tao[7] である。端点評価は空間2次元において破綻するが、Taoはノルムを補正することで同様の評価が与えられることを示した[8] 。
自由シュレーディンガー方程式の場合 [ 編集 ]
許容指数対 [ 編集 ]
実数の組
(
p
,
q
)
∈
[
2
,
∞
]
2
{\displaystyle (p,q)\in [2,\infty ]^{2}}
が許容指数対 であるとは、次が成り立つことである:
2
p
+
d
q
=
d
2
.
{\displaystyle {\frac {2}{p}}+{\frac {d}{q}}={\frac {d}{2}}.}
ただし、
(
d
,
p
,
q
)
=
(
2
,
2
,
∞
)
{\displaystyle (d,p,q)=(2,2,\infty )}
は除外する。
自由シュレーディンガー方程式に対するストリッカーツ評価 [ 編集 ]
次の自由シュレーディンガー方程式を考える:
i
∂
t
u
+
Δ
u
=
0
,
u
(
t
,
x
)
:
R
t
,
x
1
+
d
→
C
.
{\displaystyle i\partial _{t}u+\Delta u=0,\quad u(t,x):\mathbb {R} _{t,x}^{1+d}\to \mathbb {C} .}
ここで
Δ
{\displaystyle \Delta }
はラプラシアンである。初期値が
u
(
0
)
=
u
0
{\displaystyle u(0)=u_{0}}
であれば、解は
u
(
t
,
x
)
=
e
i
t
Δ
u
0
=
F
−
1
(
e
−
i
t
|
ξ
|
2
u
0
^
(
ξ
)
)
{\displaystyle u(t,x)=e^{it\Delta }u_{0}={\mathcal {F}}^{-1}(e^{-it|\xi |^{2}}{\widehat {u_{0}}}(\xi ))}
と書ける。このとき、ある定数
C
0
>
0
{\displaystyle C_{0}>0}
があって、任意の許容指数対
(
p
,
q
)
,
(
p
1
,
q
1
)
{\displaystyle (p,q),(p_{1},q_{1})}
に対して、次の不等式が成立する[9] :
‖
e
i
t
Δ
u
0
‖
L
p
(
R
t
;
L
q
(
R
x
d
)
)
≤
C
0
‖
u
0
‖
L
2
(
R
d
)
,
{\displaystyle \|e^{it\Delta }u_{0}\|_{L^{p}(\mathbb {R} _{t};L^{q}(\mathbb {R} _{x}^{d}))}\leq C_{0}\|u_{0}\|_{L^{2}(\mathbb {R} ^{d})},}
‖
∫
R
e
i
(
t
−
τ
)
Δ
u
(
τ
)
d
τ
‖
L
p
(
R
t
;
L
q
(
R
x
d
)
)
≤
C
0
‖
u
‖
L
p
1
′
(
R
t
;
L
q
1
′
(
R
x
d
)
)
,
{\displaystyle {\Big \|}\int _{\mathbb {R} }e^{i(t-\tau )\Delta }u(\tau )d\tau {\Big \|}_{L^{p}(\mathbb {R} _{t};L^{q}(\mathbb {R} _{x}^{d}))}\leq C_{0}\|u\|_{L^{p_{1}'}(\mathbb {R} _{t};L^{q_{1}'}(\mathbb {R} _{x}^{d}))},}
‖
∫
0
t
e
i
(
t
−
τ
)
Δ
u
(
τ
)
d
τ
‖
L
p
(
R
t
;
L
q
(
R
x
d
)
)
≤
C
0
‖
u
‖
L
p
1
′
(
R
t
;
L
q
1
′
(
R
x
d
)
)
.
{\displaystyle {\Big \|}\int _{0}^{t}e^{i(t-\tau )\Delta }u(\tau )d\tau {\Big \|}_{L^{p}(\mathbb {R} _{t};L^{q}(\mathbb {R} _{x}^{d}))}\leq C_{0}\|u\|_{L^{p_{1}'}(\mathbb {R} _{t};L^{q_{1}'}(\mathbb {R} _{x}^{d}))}.}
ここで、
1
/
p
+
1
/
p
′
=
1
{\displaystyle 1/p+1/p'=1}
である。
空間2次元の端点評価 [ 編集 ]
空間2次元の場合の端点指数
(
d
,
p
,
q
)
=
(
2
,
2
,
∞
)
{\displaystyle (d,p,q)=(2,2,\infty )}
は除かれていた。しかし、次のように右辺のノルム(=抑えるノルム)を弱めることで、同様の評価が成り立つ[10] :
‖
e
i
t
Δ
u
0
‖
L
2
(
R
t
;
X
)
≤
C
1
‖
u
0
‖
L
2
(
R
2
)
,
{\displaystyle \|e^{it\Delta }u_{0}\|_{L^{2}(\mathbb {R} _{t};X)}\leq C_{1}\|u_{0}\|_{L^{2}(\mathbb {R} ^{2})},}
‖
∫
R
e
−
i
τ
Δ
u
(
τ
)
d
τ
‖
L
2
(
R
2
)
≤
C
1
‖
u
‖
L
2
(
R
t
;
X
′
)
,
{\displaystyle {\Big \|}\int _{\mathbb {R} }e^{-i\tau \Delta }u(\tau )d\tau {\Big \|}_{L^{2}(\mathbb {R} ^{2})}\leq C_{1}\|u\|_{L^{2}(\mathbb {R} _{t};X')},}
‖
∫
0
t
e
i
(
t
−
τ
)
Δ
u
(
τ
)
d
τ
‖
L
2
(
R
t
;
X
)
≤
C
1
‖
u
‖
L
p
1
′
(
R
t
;
L
q
1
′
(
R
x
d
)
)
.
{\displaystyle {\Big \|}\int _{0}^{t}e^{i(t-\tau )\Delta }u(\tau )d\tau {\Big \|}_{L^{2}(\mathbb {R} _{t};X)}\leq C_{1}\|u\|_{L^{p_{1}'}(\mathbb {R} _{t};L^{q_{1}'}(\mathbb {R} _{x}^{d}))}.}
ここで、
‖
f
‖
X
:=
‖
f
(
r
θ
)
‖
L
r
∞
L
θ
2
,
‖
f
‖
X
′
:=
‖
f
(
r
θ
)
‖
L
r
1
L
θ
2
{\displaystyle \|f\|_{X}:=\|f(r\theta )\|_{L_{r}^{\infty }L_{\theta }^{2}},\|f\|_{X'}:=\|f(r\theta )\|_{L_{r}^{1}L_{\theta }^{2}}}
である。また、
(
p
1
,
q
1
)
{\displaystyle (p_{1},q_{1})}
は許容指数対である。特に、
u
0
{\displaystyle u_{0}}
が球対称関数のとき、
X
=
L
∞
(
R
d
)
{\displaystyle X=L^{\infty }(\mathbb {R} ^{d})}
であることに注意せよ。
一般化 [ 編集 ]
直交ストリッカーツ評価 [ 編集 ]
三角不等式と通常のストリッカーツ評価から、直ちに次のことが分かる。許容指数対
(
p
,
q
)
{\displaystyle (p,q)}
と正規化されたL²関数の列
(
u
n
)
n
=
1
∞
{\displaystyle (u_{n})_{n=1}^{\infty }}
に対して、
‖
∑
n
=
1
∞
a
n
|
e
i
t
Δ
u
n
|
2
‖
L
p
/
2
(
R
t
;
L
q
/
2
(
R
x
d
)
)
≤
C
0
‖
a
‖
ℓ
1
.
{\displaystyle {\Big \|}\sum _{n=1}^{\infty }a_{n}|e^{it\Delta }u_{n}|^{2}{\Big \|}_{L^{p/2}(\mathbb {R} _{t};L^{q/2}(\mathbb {R} _{x}^{d}))}\leq C_{0}\|a\|_{\ell ^{1}}.}
が成り立つ。しかし実は、
(
u
n
)
n
=
1
∞
{\displaystyle (u_{n})_{n=1}^{\infty }}
が正規直交系である場合、不等式は次のように改良されることが知られている[11] [12] :
1
≤
q
/
2
<
(
d
+
1
)
/
(
d
−
1
)
{\displaystyle 1\leq q/2<(d+1)/(d-1)}
かつ
α
=
2
q
/
(
q
+
1
)
{\displaystyle \alpha =2q/(q+1)}
とするとき、
‖
∑
n
=
1
∞
a
n
|
e
i
t
Δ
u
n
|
2
‖
L
p
/
2
(
R
t
;
L
q
/
2
(
R
x
d
)
)
≤
C
d
,
p
‖
a
‖
ℓ
α
{\displaystyle {\Big \|}\sum _{n=1}^{\infty }a_{n}|e^{it\Delta }u_{n}|^{2}{\Big \|}_{L^{p/2}(\mathbb {R} _{t};L^{q/2}(\mathbb {R} _{x}^{d}))}\leq C_{d,p}\|a\|_{\ell ^{\alpha }}}
が成り立つ。右辺のノルムが
ℓ
1
{\displaystyle \ell ^{1}}
から
ℓ
α
,
α
>
1
{\displaystyle \ell ^{\alpha },\alpha >1}
になっているところがポイントである。a<bのとき
ℓ
a
⊂
ℓ
b
{\displaystyle \ell ^{a}\subset \ell ^{b}}
であることに注意せよ。
ポテンシャルがついたシュレーディンガー方程式の場合 [ 編集 ]
加筆してくださる方を募集しています。
時間に依存しないポテンシャルの場合 [ 編集 ]
加筆してくださる方を募集しています。
時間に依存するポテンシャルの場合 [ 編集 ]
加筆してくださる方を募集しています。
変数係数のシュレーディンガー方程式の場合 [ 編集 ]
加筆してくださる方を募集しています。
波動方程式の場合 [ 編集 ]
加筆してくださる方を募集しています。
日本語の関連文献 [ 編集 ]
^ R.S. Strichartz (1977), “Restriction of Fourier Transform to Quadratic Surfaces and Decay of Solutions of Wave Equations”, Duke Math. J. 44 (3): 705–713, doi :10.1215/s0012-7094-77-04430-1
^ Strichartz, Robert S. (1977-09-01). “Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations” . Duke Mathematical Journal 44 (3). doi :10.1215/S0012-7094-77-04430-1 . ISSN 0012-7094 . https://projecteuclid.org/journals/duke-mathematical-journal/volume-44/issue-3/Restrictions-of-Fourier-transforms-to-quadratic-surfaces-and-decay-of/10.1215/S0012-7094-77-04430-1.full .
^ Ginibre, J.; Velo, G. (1979-04-01). “On a class of nonlinear Schrödinger equations. I. The Cauchy problem, general case” . Journal of Functional Analysis 32 (1): 1–32. doi :10.1016/0022-1236(79)90076-4 . ISSN 0022-1236 . https://www.sciencedirect.com/science/article/pii/0022123679900764 .
^ Ginibre, J.; Velo, G. (1979-04-01). “On a class of nonlinear Schrödinger equations. II. Scattering theory, general case” . Journal of Functional Analysis 32 (1): 33–71. doi :10.1016/0022-1236(79)90077-6 . ISSN 0022-1236 . https://www.sciencedirect.com/science/article/pii/0022123679900776 .
^ Yajima, Kenji (1987-01). “Existence of solutions for Schrödinger evolution equations” . Communications in Mathematical Physics 110 (3): 415–426. ISSN 0010-3616 . https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-110/issue-3/Existence-of-solutions-for-Schr%c3%b6dinger-evolution-equations/cmp/1104159313.full .
^ Cazenave, Thierry; Weissler, Fred B. (1990-01-01). “The cauchy problem for the critical nonlinear Schrödinger equation in Hs” . Nonlinear Analysis: Theory, Methods & Applications 14 (10): 807–836. doi :10.1016/0362-546X(90)90023-A . ISSN 0362-546X . https://www.sciencedirect.com/science/article/pii/0362546X9090023A .
^ Keel, Markus; Tao, Terence (1998). “Endpoint Strichartz Estimates” . American Journal of Mathematics 120 (5): 955–980. ISSN 0002-9327 . https://www.jstor.org/stable/25098630 .
^ Tao, Terence (1999-01). “Spherically Averaged Endpoint Strichartz Estimates For The TwoDimensional Schrödinger Equation” (英語). Communications in Partial Differential Equations 25 (7-8): 1471–1485. doi :10.1080/03605300008821556 . ISSN 0360-5302 . https://www.tandfonline.com/doi/full/10.1080/03605300008821556 .
^ 『非線型発展方程式の実解析的方法』丸善出版、2013年1月1日。
^ Tao, Terence (1999-01). “Spherically Averaged Endpoint Strichartz Estimates For The TwoDimensional Schrödinger Equation” (英語). Communications in Partial Differential Equations 25 (7-8): 1471–1485. doi :10.1080/03605300008821556 . ISSN 0360-5302 . https://www.tandfonline.com/doi/full/10.1080/03605300008821556 .
^ Frank, Rupert L.; Sabin, Julien (2017). “Restriction theorems for orthonormal functions, Strichartz inequalities, and uniform Sobolev estimates” . American Journal of Mathematics 139 (6): 1649–1691. doi :10.1353/ajm.2017.0041 . ISSN 1080-6377 . https://muse.jhu.edu/pub/1/article/677449 .
^ Frank, Rupert; Lewin, Mathieu; Lieb, Elliott; Seiringer, Robert (2014). “Strichartz inequality for orthonormal functions” . Journal of the European Mathematical Society 16 (7): 1507–1526. doi :10.4171/jems/467 . https://cir.nii.ac.jp/crid/1362262943732920320 .