数理解析研究所講究録 1208 巻 2001 年 140-158

140
無限遠で優二次的なポテンシャルをもつ

シュレーディンガー方程式の平滑化作用について 1

谷島

張果平 Guoping Zhang

賢二 (Kenji Yajima)$($$)^{2}$

東京大学大学院数理科学研究科

1Introduction
一次元空間$\mathbb{R}$上の時間依存型シュレーデインガー方程式に対する初期値問題$i \frac{\partial u}{\partial t}=(D^{2}+V(x))u$$\{$,$u(0, x)=u_{0}(x)$ ,を考える。ただしは $V(x)$ の$j$$D=-i\partial/\partial x$$x\in \mathbb{R}^{1}$(1.1)$t\in \mathbb{R}$,である. ポテンシャル $V(x)$ に対して次を仮定する。$V^{(j)}(x)$階微分, 自己共役作用素

$A$

に対して

仮定 Ll ポテンシャル $V(x)$ は実数値でにおいて成立する$x\in \mathbb{R}^{1},$$C^{3}$$\langle A\rangle=(1+|A|^{2})^{\frac{1}{2}}$とする.

級, ある正の定数 $R>0$ に対して次が国 $\geq R$:(1) $V(x)$ は凸関数である.
(2) $j=1,2,3$ に対してある定数(3) 定数 $k>2$ に対して,$V$$C_{j}$が存在して, $|V^{(j)}(x)|\leq C_{j}\langle x\rangle^{-1}|V^{(j-1)}(x)|$ .

$D_{1}\langle x\rangle^{k}\leq V(x)\leq D_{2}\langle x\rangle^{k}$, ただし $0<D_{1}\leq D_{2}<\infty$ .

が以上の条件を満たすとき $V$ は (無限遠において) 優二次的であるという.
仮定 1.1 のもとにおいて,$C_{0}^{\infty}(\mathrm{R})$上定義された作用素 $D^{2}+V(x)$ はヒルベルト空間

において本質的に白己共役である. この作用素の閉包を $H$ と書く. $H$ は定義域にお$D(H)=\{u\in L^{2}(\mathrm{R}) : D^{2}u+Vu\in L^{2}(\mathrm{R})\}$ をもつ白己共役作用素で (1.1) の$L^{2}(\mathrm{R})$$L^{2}(\mathbb{R})$ける解は $H$ の指数関数を用いて $u(t, x)=e^{-:tH}u_{0}(x)$ と書ける。 このノートでは方程式(1.1) のある種の平滑化の性質についてのべ, 次にこの性質をもちいて優二次的なポテン
1 文部科学省科学研究費課題番号 11304006 による補助を受けた研究である

2 束燃国際奨学財団奨学生

141
シャルをもつ非線形シュレーディンガー方程式の初期値問題が$L^{2}$

において時間局所的に

well-posed であることを, 非線形項が十分に弱くかつ空間的に局在している場合に証明す
る.

を $2\leq p\leq\infty,$ $2<k<\infty$ に対して次のように定義する.

$\theta(k,p)$,$\frac{1}{k}(\frac{1}{2}-\frac{1}{p})$$\theta(k,p)=\{$$( \frac{1}{4k})_{-}$,$\frac{1}{4}-\frac{1}{3}(1-\frac{1}{p})(1-\frac{1}{k})$ただし$a_{-}$,

if$2\leq p<4$ ;if$p=4$ ;

if$4<p\leq\infty$,

は $<a$ なる任意の数とする.

定理 12 $V$ は仮定 1.1 をみたすとする. $2\leq p\leq\infty,$ $\alpha+\beta\leq\theta(k,p)$ とする. この時, 定

数 $C>0$ が存在し$||g(t)\langle i\partial/\partial t\rangle^{\alpha}\langle H\rangle^{\beta}e^{-itH}u_{0}$がすべての次の定理は, 空間変数$\theta(k, p)$と$g\in H^{\frac{1}{4}+\frac{1}{2k}}(\mathbb{R})$$u_{0}\in L^{2}(\mathbb{R})$を$x$(x)||Lp(Rx’L2(Rt))\leq C||g||Hz1+去$\mathbb{R}$$(\mathbb{R})||u_{0}||_{L^{2}(\mathbb{R}_{x})}$

,

(1.2)

に対して成立する.

のコンパクト区間に制限すれば, 定理 12 における指数を任意の $2\leq p\leq\infty$ に対して$\frac{1}{2k}$定理 L3 $V$ は仮定 1.1 をみたすとする.

に置き換えて良いことを示す。

$K\subset \mathbb{R}$はコンパクト区間,$\alpha,$$\beta\in \mathbb{R}$は$\alpha+\beta\leq\frac{1}{2k}$をみたすとする. この時, 定数 $C>0$ が存在し, 次の不等式$\sup_{x\in K}||g(t)\langle i\partial/\partial t\rangle^{\alpha}\langle H\rangle^{\beta}e^{-itH}u_{0}(x)||_{L^{2}(\mathbb{R}_{t})}\leq C||g||_{H}\#+*(\mathbb{R}_{t})||u_{0}||_{L^{2}(\mathbb{R}_{x})}$がすべての$g\in H^{\frac{1}{4}+\frac{1}{2k}}(\mathrm{R})$(1.2) および (1.3) G こおいてと

$u_{0}\in L^{2}(\mathbb{R})$(1.3)

に対して成立する.

$\langle i\partial/\partial t\rangle^{\alpha}\langle H\rangle^{\beta}e^{-itH}=\langle i\partial/\partial t\rangle^{\alpha+\beta}e^{-itH}=\langle H\rangle^{\alpha+\beta}e^{-itH}$である

ことに注意. 楕円型方程式に対する If 評価および補間定理を用いれば定理 12 および定理 13 から次の系が直ちにしたがう。

系 1.4 $V$ は仮定 1.1 をみたすとする. $2\leq p<\infty,$$K\subset \mathbb{R}$はコンパクト区間とする. この時, 次の評価がある定数 $C>0$ に対して成立する:.

$||\langle D_{x}\rangle^{2\theta(k,p)}e^{-itH}u_{0}||_{L^{p}(\mathbb{R}_{x},L^{2}((-T,T)_{t}))}+||\langle x\rangle^{k\theta(k,p)}e^{-itH}u_{0}||_{L^{p}(\mathbb{R}_{x},L^{2}((-T,T)_{t}))}\leq C||u_{0}||_{L^{2}(\mathbb{R}_{x})}$142$||\langle D_{x})$評価式 (1.5) から,$1/k-itH$$u_{0}\in L^{2}(\mathbb{R})$$e$$u_{0}||_{L^{2}((-T,T)_{t},L^{2}(K_{x}))}\ovalbox{\tt\small REJECT} C||u_{0}||_{L^{2}(\mathbb{R})}$

なら殆どすべてのたがって方程式 (1.1) の解 $u(t, x)$ は殆どすべての$t\in \mathbb{R}$

$t$

に対して

$L^{p}$(1.5)$e^{-itH}u_{0}(\cdot)\in H_{1\mathrm{o}\mathrm{c}}^{1/k}(\mathbb{R})$l こおいて初期関数

より滑らかであることがわかる。楕円型方程式に対するよって評価式 (1.2) から.

$u_{0}$, しより次数 $1/k$ だけ

評価とソボレフの埋蔵定理に$||g(t)e^{-itH}u_{0}(x)||_{L^{p}(\mathbb{R}_{x},L^{q}(\mathbb{R}_{t}))}\leq C||u_{0}||_{2}$の形の一連の評価式がえられる。 この場合, つねに $q<p$ であることを注意しておく.

線形あるいは非線形の分散型方程式に対する平滑化の性質は加藤 ([K1] and [K2]) によって$\mathrm{K}\mathrm{d}\mathrm{V}$方程式あるいはシュレーデインガー方程式において発見されて以来, 多くの著者によって主に初期関数への収束問題および非線形方程式の初期値問題への応用と関連して深く研究されてきていて, たとえぼ [St], [P], [Br], [GV1], [Y1], [V], [CS], [KY], [Sj],[KPV], [BAD], [GV2], [BT], [HK], [Su], [H] など多くの文献が存在する. しかし, これらの文献で取り扱われているのはほとんどが方程式の係数が定数であるか無限遠方で定数に漸近する場合である。

シュレーデインガー方程式に対しては平滑化の性質はポテンシャルが無限遠方において高々二次関数的に増大する場合に, すなわち$|\beta|\geq 2$の時に $|D^{\beta}V(x)|\leq C_{\beta}$ である場合に, 一般化されて次の評価が知られている ([K3], [Y2]):,$||e^{-:tH}u_{0}||_{L^{\theta}((-T,T)_{t,}L^{p}(a\mathbb{R}_{e}^{n}))}\leq C||u_{0}||_{L^{2}(\mathrm{R}_{x}^{n})}$(1.6)$||\Phi(x)(1-\Delta)^{\alpha/2}e^{-itH}u(x)||_{L^{\theta}((-T,T)_{t},L^{p}(\mathrm{R}_{l}^{n}))}\leq C||u||_{L^{2}(\mathrm{R}_{x}^{n})}$(1.7)(高々一次関数的に増大する磁場のポテンシャルをもつシュレーデインガー方程式について
は [Y3] をみよ). ここで $T>0$ は任意の有限な数,

条件
る.

$0 \leq\frac{2}{\theta}=2\alpha+n(\frac{1}{2}-\frac{1}{p})\leq 1$(1.6) の形の評価は

べての

$t$

$L^{p}$$\Phi\in C_{0}^{\infty}(\mathbb{R}^{n})$で乃$\theta\geq 2$

および$\alpha\geq 0$

はをみたすものとする. もちろん (1.6) では $\alpha=0$ とす

平滑化作用と呼ぼれる.

に対して $U$ に属し, $IP$ に属する関数は$u(t, \cdot)$

が $p>2$ なる$u_{0}\in L^{2}(\mathbb{R}^{n})$$p$に対して, 殆どす

よりも滑らかであると考えられるからである。また (1.7) の形の評価式は明白な理由によって differentiability improving

property と呼ぼれている。$p=\theta=2$ で $\alpha=1/2$ の場合 (1.7) は, (1.5) の $k=2$ の場合と同値であることに注意せよ.

143
しかし.

ポテンシャルが無限遠方において優二次的である場合には, (1.6) や (1.7) のような形の評価にかんする文献は著者たちの知る限り見あたらない. この事実は, 方程式(1.1) の基本解, すなわち発展作用素 $e^{-itH}$ の超関数核 $E(t, x, y)$ の滑らかさあるいは有界
性がポテンシャルの無限遠方での増大度が $C|x|^{2}$ を通過するとき劇的な転移をするということ (こ関係していると思われる ([Y4]): すなわち, $V(x)=o(|x|^{2})$ のとき $E(t, x, y)$ はすべての $t\neq 0$

において滑らかで, 空間的に有界, $V(x)=O(\langle x\rangle^{2})$ の時には少なくとも小さい

時間において同じ事が成立するのであるが,は以下なる点の近傍においての([MY]). 評価式 (1.6) は$|t|$$C^{1}$$V(x)\geq C\langle x\rangle^{2+\in},$$\epsilon>0$, の場合には $E(t, x, y)$級にはならず, また空間的にも有界でない場合もある

が小さいときの基本解に対する評価 $|E(t, x, y)|\underline{<}C|t|^{-n/2}$ の帰結であり, (1.7) は $x(t)=e^{itH}xe^{-itH}$ をハイゼンベノレグ描像における位置作用素として,$\int_{-T}^{T}\Phi^{2}(x(t))dt$

が -1 階の擬微分作用素であることから得られる。 これらの性質はポテン

シャルが劣二次的であれば成立するが, 優二次的の場合には成立しない。われわれのこの研究の動機はこの $E(t, x, y)$ に対する滑らかさと有界性に関する性質の転移が方程式 (1.1)

に対する平滑化作用にも遺伝するのか ? を調べることにあった。
仮定垣のもとで $E(t, x, y)$ は適当な滑らかさをもちその程度は任意の.
$\rho\in C_{0}^{\infty}(\mathbb{R}^{3})$

に

たいして,
$|\overline{\rho E}(\tau, \xi, \eta)|\leq C(|\tau|+|\xi|^{2}+|\eta|^{2})^{-1/k}$とはかることができる, ただし$\wedge$(.1.8),

はフーリエ変換である ([Y4], Remark 12).

Zygmund のよく知られた定理 ([Z]) によって一次元トーラス$\mathrm{T}=\mathbb{R}/2\pi \mathbb{Z}$

ここで,上のラプラシアン $H=D^{2}$ に対して評価式 $||e^{-itH}u_{0}||_{L^{4}(\mathrm{T}\cross \mathrm{T})}\leq C||u_{0}||_{L^{2}(\mathrm{F})}1$ が成り立つことを思い出そう.

これから, トーラスとんどすべてのつ.

$t$$\mathrm{T}=\mathbb{R}/2\pi \mathbb{Z}$上の自由シュレーデインガー方程式はに対して, 解が$u(t, \cdot)\in L^{4}(\mathrm{T})$$u_{0}\in L^{2}(\mathrm{T})$を満たすという意味での平滑化作用をも一方, この $H$ の基本解は $E_{0}(t, x, y)= \sum_{n=-\infty}^{\infty}e^{-in^{2}t+in(x-y)}$ で, この関して局所可積分ではな$\langle$の時, ほ, (1.8) をみたす関数は$E_{0}$$E_{0}$

は $(t, x, y)$ (こより滑らかであると考えて良い. このことことから優二次的なポテンシャルをもつシュレーディンガー方程式もまた適当な平滑化の作用をもつことが示唆される. われわれの主定理はこのことがじっさいに成立すること, さらに基本解 $E(t, x, y)$ に現れた滑らかさや有界性の転移は平滑化作用に遺伝しないことを示している. 評価式 (1.2), (1.3) と (1.6), (1.7) とは

$x$

と

$t$

による積分順序がことなっており, 解の多少異なった性質をあらわすものと考えられるが, われわれは (1.2) および (1.3) を平滑化作用と呼ぶことにする.

144
実は (1.2) の形の評価, すなわちについてさきに積分した形の評価式は既に [K1] に少$t$

しだけ違った形ではあるがある. すなわち [K1] では$M\in L^{n+\epsilon}(\mathbb{R}^{n})\cap L^{n-\epsilon}(\mathbb{R}^{n}),$$\epsilon>0$,の時$||Me^{it\Delta}u_{0}||_{L^{2}(\mathbb{R}_{t,x}^{n+1})}\leq C$(llMllLn-\epsilon (R つ十$||M||_{L^{n+\epsilon}(\mathbb{R}^{n})}$)$||u_{0}||_{L^{2}(\mathbb{R}_{x}^{n})}$,が証明されている ([KY] では右辺が C||M||Ln(Rn)||7j0||L2(町) で置き換えられることが示されている). [KPV] はこの形の評価式を一般化し様々な形の非線形方程式に応用して$\mathrm{t}_{\sqrt}\mathrm{a}$る.

また (1.7) の超局所化もあり, 例えぼ次の様な結果が知られていることも注意しておこう.
$H$を適当なリーマン多様体上のラプラシアンとし,$u_{0}$

は $U$ に台をもつものとする.

$U$をでるすべての陪特性曲線が $t<0$ において non-trapping であれぼ (1.7) は $\alpha=1/2$ として成立する, そうでなければ成立しない ([CKS], [D1][D2]).
作用素 $H$ は下に有界であり, そのスペクトルは無限大に発散する単純固有値の列からと書なる. 固有値を $\lambda_{1}<\lambda_{2}<\cdotsarrow\infty$ , 対応する正規化された固有関数を$\psi_{1},$く. 定理 12, 定理 13 の証明には, 次の$\lambda_{n}arrow\infty$

における固有関数$\psi_{n}$近評価が重要な役割を果たす. 二つの量 $A,$ $B$ に対して, 適当な正の定数$c_{1}A\leq B\leq c_{2}A$ が成り立つとき, $A\sim B$ と書くことにする.

の$c_{1},$$L^{p}$$c_{2}$$\psi_{2}\ldots$

ノルムの漸

が存在して

定理 L5 仮定 1.1 がみたされるとする. $\psi(x, E)$ を作用素 $H=-\triangle+V(x)$ の固有値 $E$ の正規化された固有関数とする. この時, 以下が成立する:(1) $1\leq p\leq\infty$ とする. 十分大きい $E$ に対して
$C_{p}E^{-\theta(k,p)}$$||\psi(x, E)||_{L^{p}}\sim\{$,$CE^{-}\pi^{1}(\log E)^{\frac{1}{4}}$

ここで定数

(2)

$K\subset \mathrm{R}$$C_{p}$

,

if
if

;
$p=4$ ,

$p\neq 4$(1.9)

は $p\not\in(4-\epsilon, 4+\epsilon),$ $\epsilon>0$ , なる $p$ によらずにとれる.

をコンパクト区間とする. 十分大きな $E$ に対して$\sup_{x\in K}|\psi(x, E)|\sim E^{-\frac{1}{2k}}$である.

注意 1.6(1.2) G こおいて $u_{0}(x)=\psi_{n}(x)$ とおけば$||g(t)\langle i\partial/\partial t\rangle^{\alpha}\langle H\rangle^{\beta}e^{-itH}u_{0}(x)||_{L^{p}(\mathbb{L},L^{2}(\mathrm{R}_{t}))}=||g||_{L^{2}}\langle\lambda_{n}\rangle^{\theta(k,p)}||\psi_{n}||_{L^{p}(\mathbb{R})}$.

したがって定理 15(1) から定理 12 の条件 $\alpha+\beta\leq\theta(k,p)$ をゆるめることができない,
お同様に定理 1.5(2) から定理 L3 の指数 $1/2k$ も sharp であることがわかる. 指数$\theta(k,p)$

145
よび $1/2k$ は$k$の増加関数である. これはが失われることに適合する$k$([Y4]).

$k$が大きくなるにつれてより基本解の滑らかさに関しては $\theta(k,p)$ は $2\leq p<4$ においては f 曽カ\coprod ,$p$$4<p$ では減少する. 定理 15 の証明からわかるようにこれは固有関数の $tu\prime ming$$\psi_{n}(x)$point 付近での挙動によって決まってくる.
定理 12, 定理 13 の応用として非線形シュレーディンガー方程式に対する初期値問題$i \frac{\partial u}{\partial t}=-\triangle u+V(x)u+f(x, u)$$\{$$u(0, x)=u_{0}(x)$ ,の$L^{2}$,$x\in \mathbb{R}$,$t\in \mathbb{R}$,(1.10)$x\in \mathbb{R}$well-posedness を証明する. $r\geq 1,$ $\delta>0$ に対して次のように定義する:$X_{\delta}=L^{4}(\mathbb{R}_{\mathrm{r}} ; L^{2r}((-\delta, \delta)_{t}))\cap C((-\delta, \delta)_{t},$$X=L^{4}(\mathbb{R}_{x} ; L_{lo\mathrm{c}}^{2r}(\mathbb{R}_{t}))\cap C(\mathbb{R}_{t}, L^{2}(\mathbb{R}_{\mathrm{r}})),$$\mathrm{Y}=L_{loc}^{2r}(\mathbb{R}_{t}\cross \mathbb{R}_{x})\cap C(\mathbb{R}_{t}, L^{2}(\mathbb{R}_{\mathrm{r}})),$$\mathrm{Y}_{\delta}=L^{2r}((-\delta, \delta)_{t},$定理 1.7 $V$ は仮定 1.1 をみたすとする. $1 \leq r<\frac{2k}{2k-1}$$L^{2}(\mathbb{R}_{\mathrm{r}}))$$L_{lo\mathrm{c}}^{2r}(\mathbb{R}_{x}))\cap C((.-\delta, \delta)_{t},$ $L^{2}(\mathbb{R}_{x}))$$\phi(x)\in L^{\frac{4}{2-r}}(\mathbb{R})$;.

とする. 非線形

項 $f(x, u)$ は次をみたすとする:,$|f(x, u)|$$\leq$$C|\phi(x)||u|^{r}$$|f(x, u)-f(x, v)|$$\leq$$C|\phi(x)||u-v|(|u|^{r-1}+|v|^{r-1})$ ,この時, 初期値問題 (1.10) は任意の$x\in \mathbb{R}$$u_{0}\in L^{2}(\mathbb{R})$る, すなわち, 適当な $\delta>0$ に対して (1.10) は$L^{2}(\mathbb{R})\ni u_{0}-*u\in X_{\delta}$

は連続である. さら$f(x, u)\overline{u}$$t_{\sim}^{-}f$is real for,$x\in \mathbb{R}$,$u\in \mathbb{C}$

$u,$

,

$v\in \mathbb{C}$(1.11). (1.12)に対して $X$ において局所的に適切であ$X_{\delta}$にただ一つの解 $u(t, x)$ をもち, 写像が,$x\in \mathbb{R}$$u\in \mathbb{C}$(1.13),をみたせば (110) は $X$ において時間大域的に適切である. すなわち, 解 $u(t, x)$ は$\mathbb{R}$全体に一意的に延長され, 写像 $L^{2}(\mathbb{R})\ni u_{0}-*u\in X_{T}$ は任意の $T>0$ に対して連続である.
定理 L8 $V$ は仮定 1.1 をみたすとする.

$1 \leq r<\frac{k}{k-1}$,$K\subset \mathbb{R}$はコンパクト区間とする.

非線形項 $f$ は $x\not\in K$ に対して $f(x, u)=0$ でつぎをみたすとする.

,$x\in K$ ,$|f(x, u)|$$\leq$$C|u|^{r}$$|f(x, u)-f(x, v)|$$\leq$$C|u-v|(|u|^{r-1}+|v|^{r-1})$ ,この時, 初期値問題 (1.10) は任意の$u_{0}\in L^{2}(\mathbb{R})$もし $f$ がさらに (1.13) をみたせぼ (1.10) は$\mathrm{Y}$に対して$\mathrm{Y}$$x\in K$ ,$u\in \mathbb{C}$

$u,$

,

$v\in \mathbb{C}$(1.14).

(1.15)

において局所的に適切である.

において時間大域的に適切である.

146
以下に定理の証明の概要を与える. 2 節で定理 15 を Titchmarsh の本 [T1], [T2] にある Langer の turning point theory をもとにして証明する.

3 節では定理 12, 定理 13 を定理 15 から導く. 定理 17, 定理 18 は 4 節において標準的な縮小作用の原理によって証明される.

2$L^{p}$$\psi(x, E)$estimate of eigenfunctions

を固有値問題(2.16)$-\psi’’(x)+V(x)\psi(x)=E\psi(x)$の正規化された, すなわち$||\psi(\cdot, E)||_{L^{2}(\mathrm{R})}=1$をみたす固有関数とする. 次の評価 (2.18),(2.19) は Titchmarsh ([T1], [T2]) による. 十分大きな $E>0$ に対して, 方程式 $V(X)=E$の根を $X$ と書く. $x>X$ において $V(x)>E,$ $0\leq x<X$ において $V(x)<E$ である.

$\zeta(x)=\int_{X}^{x}\sqrt{E-V(t)}dt$,(2.17)

とおく. 二乗根の枝は $x>X$ の時, $\arg\zeta(x)=\pi/2,$ $x<X$ の時 $\arg\zeta(x)=-\pi-$ と取る.

補題 2.1 記号を上の通りとする. 定数 $C_{E+}$ が存在して, $Earrow\infty$ の時$\psi(x, E)=C_{E+}^{-1}[E-V(x)]^{-\frac{1}{4}}\{(\pi\zeta/2)^{\frac{1}{2}}H_{1/3}^{(1)}(\zeta)+O(\frac{E^{-\frac{1}{2}}X^{-1}e^{-1\mathrm{m}\zeta}|\zeta|^{1/6}}{1+|\zeta|^{1/6}})\}$(2.18)

が $x>0$ に関して一様に成立する. 定数は次の評価をみたす.
$C_{E+}\sim(XE^{-\frac{1}{2}})^{\frac{1}{2}}$.

(2.19)$x<0$ においても同様な評価が成立する.

(2.18) の右辺を

$C_{E+}^{-1}\psi^{+}(x, E)$と書き,$C_{E-}^{-1}\psi^{-}(x, E)$

を $x<0$ における$\psi$の表現とする.

補題 2.1 から$||\psi(x, E)||_{L^{p}(\mathrm{R})}$$\sim$$||\psi(x, E)||_{L^{p}(\mathrm{R})}++||\psi(x, E)||_{L^{p}(\mathrm{R}^{-})}$$\sim$$X^{-\frac{1}{2}}E^{\frac{1}{4}}(||\psi^{+}(x, E)||_{L^{p}(\mathrm{R}}+)+||\psi^{-}(x, E)||_{L^{p}(\mathrm{R}^{-})})$(2.20)

147
である. $\psi^{+}(x, E)$ の$L^{p}$

ノルムを評価する. $\psi^{-}(x, E)$ も同様に評価される. $q(y),$ $Q(x)$ を$- \int_{y}^{1}\sqrt{1-q(s)}ds$$q(y)= \frac{V(yX)}{V(X)}$,$\zeta$if$y<1$ ;

(2.21)$i \int_{1}^{y}\sqrt{q(s)-1}ds$と定義する.

,$Q(y)=\{$

,

if

$y>1$

は次の様にあらわされる:$\zeta(x)=E^{\frac{1}{2}}XQ(x/X)$.

次は初等的に証明できる.
補題 22 $V$ は仮定 1.1 をみたすとする. $K>1$ とする. この時, 適当な定数 $L$ が存在して, 次が $|X|\geq L$ に関して一様に成立する:$1-q(y)$$q(y)-1$$q(y)-1$$1-y$ ,
$y-1$ ,$y^{k}$,

for $0\leq y\leq 1$ ,for $1\leq y\leq K$ ,for $y\geq K$ ,(2.22)$\mathrm{B}^{\mathrm{a}\vee\supset}$$Q(y)$$-(1-y)^{3/2}$ ,$-iQ(y)$$(y-1)^{3/2}$ ,$-iQ(y)$$y^{1+k/2}$,

for $0\leq y\leq 1$ ,for $1\leq y\leq K$ ,for $y\geq K$ .

(2.23)

以下, $E$ は対応する $X$ が補題 22 の条件 $|X|\geq L$ をみたすように取る.
$\psi^{+}(x, E)=E^{-\frac{1}{4}}[1-q(x/X)]^{-\frac{1}{4}}G(E^{\frac{1}{2}}XQ(x/X), E)$と書いて変数変換を施せぼ,$\int_{0}^{\infty}|\psi^{+}(x, E)|^{p}dx=XE^{-\mathrm{E}}4\int_{0}^{\infty}|1-q(y)|^{-R}4|G(E^{\frac{1}{2}}XQ(y), E)|^{p}dy$.

(2.18) を $G(x, E)$ に代入する. 剰余項 $O(\ldots)$ を含む項は補題 22 を用いて簡単に評価できる。次の様に定義する.
$(4-p)^{-1}$ ,$\delta(p)=\{$$\log(E^{\frac{1}{2}}X)$,$(p-4)^{-1}(E^{\frac{1}{2}}X)^{L^{-\underline{4}}}6$

,

if
if
if

$p<4$ ;
$p=4$ ;

$p>4$ .

148
補題 2.3 定数 $C>0$ が存在して, 十分大きなすべての $E\geq E_{0}$ に対して次が成立する.

$\int_{0}^{\infty}|1-q(y)|^{-R}4(E^{-\frac{1}{2}}X^{-1}e^{-E^{1/2}}\mathrm{x}1\mathrm{m}Q(y)\frac{|E^{1/2}XQ(y)|^{\frac{1}{6}}}{(1+|E^{1/2}XQ(y)|)^{\frac{1}{6}}})^{p}dy$$\leq C^{p}(E^{\frac{1}{2}}X)^{-p}\delta(p)$$H_{\frac{(1}{3}}^{1)}(\zeta)$(2.24).

を含む項を評価するのに,$H_{\frac{(1}{3}}^{1)}(\zeta)$の次の性質を使う (cf. [T1](7.1.8), (7.8.5),(7.8.7) :$)$(1) $\zeta=-z<0$ の時,

で,$H_{\frac{(1}{3}}^{1)}( \zeta)=\frac{2}{\sqrt{3}}e^{-\frac{1}{6}\pi i}\{J_{\frac{1}{3}}(z)+J_{-\frac{1}{3}}(z)\}$$2^{\frac{3}{2}}\pi^{-\frac{1}{2}}e^{\frac{1}{3}\pi i}\{\cos(z-(\pi/4))+O(z^{-1})\}$$(zarrow\infty)$$\zeta^{\frac{1}{2}}H_{\frac{(1}{3}}^{1)}(\zeta)=\{$$(zarrow 0)$$\frac{2^{\frac{2}{3}}}{\sqrt{3}}\frac{e^{\frac{1}{3}\pi i}}{\Gamma(2/3)}z^{\frac{1}{6}}(1+O(z))$(2) $\zeta=iw$ が純虚数で $w\geq 0$ の時,$H_{\frac{(1}{3}}^{1)}( \zeta)=\frac{2}{\pi}e^{-\frac{2}{3}\pi i}K_{\frac{1}{s}}(w)$,(2.25).

で$O(e^{-w})$$(warrow\infty)$$2^{\frac{1}{s}}e^{-\frac{1}{6}\pi}\pi^{-1}\Gamma(1/3)w^{\frac{1}{6}}+O(w^{\frac{3}{2}})$$(warrow \mathrm{O})$$\zeta^{\frac{1}{2}}H_{\frac{(1}{3}}^{1)}(\zeta)=\{$,(2.26).

補題 2.4 正の定数 $C>0$ が存在して $E\geq E_{0}$ において次が成立する:$\int_{0}^{\infty}|(1-q(y))^{-_{4}}|\epsilon\zeta^{\frac{1}{2}}H_{\frac{(1}{3}}^{1)}(\zeta)|^{p}dy\leq C^{p}\delta(p)$,$\zeta=E^{1/2}XQ(y)$証明. 積分を $\int_{0}^{1}+\int_{1}^{K}+\int_{K}^{\infty}\cdots dy=II_{1}+II_{2}+II_{3}$ と分解する.
$E^{1/2}XQ(y)\sim-E^{1/2}X(1-y)^{3/2}<0$$y)^{3/2}$

をみたす部分での積分に, 第二式を$II_{12}$$II_{11}$. $N>0$ を十分大きくとって.

(2.27)$0\leq y\leq 1$ では$II_{1}$$\zeta=$を $N<E^{1/2}X(1-$とそのほかの部分 $II_{12}$ に分割する. (2.25) の第一式を$II_{11}$に適用すれば$II_{11} \leq C^{p}\mathfrak{g}_{(E}\}_{X)^{-\S}}\int_{0}^{1-N}(1-y)^{-R}4dy\leq C^{p}\delta(p)$,$II_{12} \leq C^{p}(E^{1/2}X)^{R}6N8E^{1/2}\int_{0}^{(X)^{-\S}}y^{-R}4y^{R}4dy=C^{p}N^{\frac{2}{3}}(E^{1/2}X)^{L^{-\underline{4}}}6\leq C^{p}\delta(p)$(2.28).

(2.29)

149$1\leq y\leq K$ なら$q(y)-1\sim y-1$ で $w=-i\zeta\sim E^{1/2}XQ(y)(y-1)^{3/2}>0$ である. 積分$II_{2}$を $w\geq 1$ の部分 $II_{21}$ と $0\leq w\leq 1$ の部分 $II_{22}$ に分割し, (2.26) の第一式を $II_{21}$ に第二式を $II_{22}$ に適用すると,$II_{21} \leq C^{p}\int_{1+C(X)^{-2/3}}^{K}E^{1/2}4(y-1)^{-R}dy\leq C^{p}\delta(p)$.

(2.30).

(2.31)$II_{22} \leq C^{p}c(X)^{-2/3}\int_{0}^{E^{1/2}}y^{-R}4(E^{1/2}Xy^{3/2})^{R}6dy\leq C^{p}(E^{1/2}X)^{E_{\frac{-4}{6}}}\leq C^{p}\delta(p)$$K\leq y<\infty$

では, $q(y)-1\sim y^{k},$$II_{3}\leq C^{p}$ $\oint$$w\sim E^{\frac{1}{2}}Xy^{1+\frac{k}{2}}$y 傳 e-cpEl/2Xy1l7. したがって (2.26) から$dy\leq C^{p}e^{-\varphi E^{1/2}}x\leq C^{p}\delta(p)$.

(2.32)$K$

あわせて , (2.27) が得られる. I

補題 25 定数 $C>0$ が存在して, 次が十分大きな $E\geq E_{0}$ に対して成立する:$\int_{0}^{1}|(1-q(y))^{-R}4|\zeta^{\frac{1}{2}}H_{\frac{(1}{3}}^{1)}(\zeta)|^{p}dy\geq C^{p}\delta(p)$Proof. 積分を$II_{11}$

と書く.

$N$

,

$\zeta=E^{1/2}XQ(y)$を (2.25) の第一式で $|O(1/z)|\leq 1/10$ 力$\backslash \backslash ^{\backslash }$$z\geq N$に対して成立する様に取り, 次に $C>0$ を, $z=-\zeta\sim E^{\frac{1}{2}}X(1-y)^{\frac{3}{2}}\geq N$ が $CN^{2/3}(E^{1/2}X)^{-2/3}<$$1-y<1$ に対して成立するように取る. (2.25) から, 十分大きな$II_{11}\geq$$\geq$$E\geq E_{0}$に対して$C^{p} \int_{N^{2/3}}(E^{1/2}X)^{-\mathit{2}/3}<1-y<1(1-y)^{-p/4}|\cos((-\frac{\pi}{4})+O(\frac{1}{\zeta})|^{p}dy$$(C/2)^{p} \int_{N^{2/3}}(E^{1/2}X)^{-2/3}<1-y<1,|\mathrm{c}\text{。}\mathrm{s}(\zeta-\pi/4)|>\sqrt{2}/2(1-y)^{-p/4}dy\geq\epsilon_{N}C^{p}\delta(p)$である. ただし$\epsilon_{N}>0$である.

$\mathrm{I}$150
定理 L5 の証明. まず (1) を示す.

$|| \psi(x, E)||_{L^{p}(0,\infty)}\sim X^{\frac{1}{p}-\frac{1}{2}}(\int_{0}^{\infty}|1-q(y)|^{-\mathrm{E}}4|G(E^{\frac{1}{2}}XQ(y), E)|^{p}dy)\frac{1}{p}$である. ゆえに (2.24), (2.27) から $p\not\in(4-\epsilon, 4+\epsilon),$$\epsilon>0$.

なる $p$ (こよらない定数$C_{p}$を用いて$C_{p}E^{-\frac{1}{k}(\frac{1}{2}-\frac{1}{p})}$$||\psi(x, E)||_{L^{p}(0,\infty)}\sim X^{\frac{1}{p}-\frac{1}{2}}\delta(p)^{\frac{1}{p}}\sim\{$

k-4

k-l

$C_{p}E\overline{1}2\tau^{-}\overline{3}\mathrm{p}\mathrm{T}$が得られる. 同様に$||\psi(x, E)||_{L^{p}(\mathrm{R}^{-})}$,$CE^{-\frac{1}{4k}}(\log E)^{1/4}$

,

,

if
if
if

$p<4$ ;
$p=4$ ;

(2.33)$p>4$を評価すれぼ (1.9) の上からの評価が得られる. 下からの評価は補題 25 から明らかである.

(2) を示す. (2.18) は $x\in K$ に対しても一様に成立することに注意する. (2.19) から$|C_{E+}^{-1}(E-V(x))$

可$O( \frac{E^{-\frac{1}{2}}X^{-1}e^{-1\mathrm{m}\zeta}|\zeta|^{1/6}}{1+|\zeta|^{1/6}})|\leq CX^{-\frac{1}{2}}(E^{-\frac{1}{2}}X^{-1})$$x\in K$ の時一様に, $\zeta=-z\sim-E^{\frac{1}{2}}X(Earrow\infty)$ だから.

(2.25) から$C_{E+}^{-1}[E-V(x)]^{-\frac{1}{4}}( \pi\zeta/2)^{\frac{1}{2}}H_{1/3}^{(1)}(\zeta)\sim X^{-\frac{1}{2}}\{\cos(z-\frac{\pi}{4})+O(E^{-\frac{1}{2}}X^{-1})\}$$X\sim E^{1}\mathfrak{x}$(2.34)(2.35)だから (2) は (2.34) と (2.35) からでる. I

3Smoothing properties
定理 15 から定理 12, 定理 13 を導く. 解を$e^{-:tH}u_{0}(x)= \sum_{n=1}^{\infty}e^{-:t\lambda_{n}}\hat{u}_{0}(n)\psi_{n}(x)$と表現する. ただし$\hat{u}_{0}(n)=\int_{\mathrm{R}}u_{0}(x)\psi_{n}(x)dx,$$n=1,2,$$\ldots$$\Delta\lambda_{n}\equiv\lambda_{n+1}-\lambda_{n}\geq C\lambda^{2\overline{7}^{\underline{2}}}\frac{k}{n}$したがって$\lambda_{n}\geq Cn\mathrm{r}^{2k}\mp 2,$$n=1,2,$$\ldots$(3.1)

である。仮定 1J のもとで,であることが知られている (cf. e.g. [Y4]).

(3.2)

151
補題 3.1 十分大きな$p$$||g(t)e^{-itH}u_{0}$に対して $u_{0}\in D(H^{\ell})$ とする. この時(x)||2L2(Rt)\leq Ca||g||2H0 去

証明定理 15 によって (3.1) は一様に収束する.
に対して$\hat{g}(\lambda+\lambda_{n})\neq 0$

なる$\lambda_{n}$の個数は高々$( \mathrm{R})\sum_{n=1}^{\infty}|\hat{u}_{0}(n)\psi_{n}(x)|^{2}$$\hat{g}$の台の直径がく$C2^{j(\frac{1}{2}+\frac{1}{k})}$,$2^{j}$$\forall x\in \mathbb{R}$

.

(3.3)

なら (3.2) から, 各$\lambda$である. ゆえに, Plancherel の定理

から$\int|g(t)e^{-itH}u_{0}(x)|^{2}dt=\int|\overline{\sum_{--1}}\hat{g}(\lambda+\lambda_{n})\hat{u}_{0}(n)\psi_{n}(x)|^{2}d\lambda$$\leq C2^{j(\frac{1}{\mathit{2}}+\frac{1}{k})}\sum_{n=1_{-}}^{-}\int_{\infty}|\hat{g}(\lambda+\lambda_{n})\hat{u}_{0}(n)\psi_{n}(x)|^{2}d\lambda\leq C2^{j(\frac{1}{2}+\frac{1}{k})_{||\hat{g}||_{L^{2}}^{2}\sum_{n=1}^{\vee\vee}|\hat{u}_{0}(n)\psi_{n}(x)|^{2}}}$

.

(3.4)
一般の場合には dyadic decomposition$\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}\hat{h}_{0}\subset\{\lambda :と取|\lambda|<1\}$,$\text{り}$.

$’ g= \sum_{j=-\infty}^{\infty}g_{j},\hat{g}_{j}=\hat{g}\hat{h}_{j}$$\sum\infty\hat{h}_{j}(\lambda)--1$を$\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}\hat{h}_{\pm j}\subset\{\lambda :\pm 2^{|j|-2}<\lambda<\pm 2^{|j|}\},$$j=1,2,$$\ldots$.

と分解する. (3.4) から$||g(t)e^{-itH}u_{0}(x)||_{L^{2}(\mathbb{R}_{t})}^{2} \leq C\sum_{j=-\infty}^{\infty}||\hat{g}_{j}||_{L^{2}(\mathbb{R})}^{2}2^{j(\frac{1}{2}+\frac{1}{k})}\sum_{n=1}^{\infty}|\hat{u}_{0}(n)\psi_{n}(x)|^{2}$\leq C||g||2H#+去$( \mathbb{R})\sum_{n=1}^{\infty}|\hat{u}_{0}(n)\psi_{n}(x)|^{2}$. 1

Minkowski の不等式によって$||( \sum_{n=1}^{\infty}|\hat{u}_{0}(n)\psi_{n}(x)|^{2})^{1/2}$$L^{p}=|| \sum_{n=1}^{\infty}|\hat{u}_{0}(n)\psi_{n}(x)|^{2}||_{L^{p/2}}^{1/2}\leq(\sum_{n=1}^{\infty}|\hat{u}_{0}(n)|^{2}||\psi_{n}(x)||_{L^{p}}^{2})^{1/2}$.

右辺は定理 15 によって
$C_{p}( \sum_{n=1}^{\infty}|\hat{u}_{0}(n)|^{2}\lambda_{n}^{-2\theta(p)})^{1/2}=C_{p}||H^{-\theta(p)}u_{0}||_{L^{2}}$

.

(3.5)

152
(3.3) と (3.5) をあわせて$||g(t)e^{-itH}u_{0}$$D(H^{l})$は(x)||Lp$(\mathbb{R}_{x},L^{2}(\mathbb{R}_{t}))\leq C_{p}||g||_{H}\mathrm{i}+$で稠密だから, (3.6) は$L^{2}(\mathbb{R})$$L^{2}(\mathbb{R})$去$(\mathbb{R})||H^{-\theta(p)}u_{0}||_{L^{\mathit{2}}(\mathbb{R})}$

.

(3.6)

において成立する. I

定理 L3 の証明. 定理 15(2) から$\sup_{x\in K}\sum_{n=1}^{\infty}|\hat{u}_{0}(n)|^{2}|\psi_{n}(x)|^{2}\leq C\sum_{n=1}^{\infty}|\lambda_{n}^{-\pi^{1}}\hat{u}_{0}(n)|^{2}=C||H^{-\frac{1}{2k}}u||_{L^{2}(\mathbb{R})}^{2}$(3.3) と (3.7) とを合わせて定理 13 を得る.

4

.

(3.7)

$\bullet$

非線形方程式への応用

定理 17 と定理 18 を証明する. 証明は同様であるので定理 18 のみを示し, 定理 17 に対しては必要な修正を指摘するにとどめる. 以下, $u(t, x)$ の変数を省略し, $u(t)$ あるいは書くことがある.

|| i\partial / t)0$\langle$$\langle H\rangle$$g$を$|t|\leq\delta$$u$との時 $g(t)=1$ と取れぽ, 定理 12, 定理 13 から\beta e-|.tHu0||Lp(R*’L2([-J, 句 t))$\leq C_{\delta}||u0||_{L^{2}}$,$\alpha+\beta=\theta(k, p)$$\sup_{x\in K}||\langle i\partial/\partial t\rangle^{1/2k}e^{-:tH}u_{0}||_{L^{2}([-\delta},\eta_{t})\leq C_{\delta}||u_{0}||_{L^{2}}$,$p\geq 2$

;

.

(4.1)
(4.2)

定理 18 の証明 $t\geq 0$ において証明する. $t\leq 0$ の場合も同様である. 同値な積分方程式(4.3)$u(t)=e^{-:tH}u_{0}-i \int_{0}^{t}e^{-i(t-s)H}f(x, u(s))ds$を考える. $\delta>0$ に対して

$K_{\delta}=[0, \delta]\cross K$$\mathrm{Y}_{\delta}(K)=C([0, \delta], L^{2}(\mathrm{R}))\cap L^{2r}(K_{\delta})$と, 非線形写像$\Psi$:$\mathrm{Y}_{\delta}(K)arrow \mathrm{Y}_{\delta}(K)$,と書きバナッハ空間$\mathrm{Y}_{\delta}(K)$を$||u||_{Y_{\delta}(K)}\equiv||u||_{L}\infty([0,\eta,L^{2}(\mathrm{R}))+||u||_{L^{2r}(K_{\delta})}$を$\Psi(u)=e^{-\dot{\iota}tH}u_{0}-i\Phi(u)$,$\Phi(u)=\int_{0}^{t}e^{-:(t-s)H}f(x, u(s))ds$と定義する. $B_{M}=\{u\in \mathrm{Y}_{\delta}(K):||u||_{Y_{\delta}(K)}\leq M\}$ と書く.

(4.4)

153
補題 4.1$\Psi$は$\mathrm{Y}_{\delta}(K)$上 well defined である.

存在してつぎが成立する:$\Psi$$||u_{0}||_{L^{\mathit{2}}(\mathbb{R})}$のみによる定数 $M>0$ と $\delta>0$ がは $B_{M}$ をその中に写し,$|| \Psi(u)-\Psi(v)||_{Y_{\delta}(K)}\leq\frac{1}{2}||u-v||_{Y_{\delta}(K)}$証明.

$u_{0}\in L^{2}(\mathbb{R})$なら明らかに$e^{-itH}u_{0}\in L$ “ $(K_{x}, L^{2r}([0, \delta]_{t}))$$e^{-itH}u_{0}\in C(\mathbb{R}, L^{2}(\mathbb{R}))$. ゆえに$e^{-itH}u_{0}\in \mathrm{Y}_{\delta}(K)$

,

.

(4.5)

. (4.2) とソボレフの埋蔵定理から
で$||e^{-itH}u_{0}||_{Y_{\delta}(K)}\leq c_{1}||u_{0}||_{L^{\mathit{2}}}$$\chi(s<t)$$u,$ $v\in B_{M}$

.

(4.6)

を $0<s<t$ で $\chi(s<t)=1$ , その他で $\chi(s<t)--0$ なる関数とする.

$f(x, u)=0$ の仮定と (114) より,

なら $f(x, u(t, x))\in L^{2}([0$ , \mbox{\ ldmath$\delta$} t$u\in \mathrm{Y}_{\delta}(K)$$]$$\cross$$x\not\in K$

で

R
(4.7)

$||f(x, u(t, x))||_{L^{2}(K_{\delta})}\leq C||u||_{L^{2r}(K_{\delta})}^{r}$であることがわかる. これから $\Phi(u)\in C([0, \delta], L^{2}(\mathbb{R}))$ と(4.8)$||\Phi(u)||_{L^{\infty}([0,\delta];L^{2}(\mathbb{R}))}\leq C\delta^{\frac{1}{2}}||u||_{L^{2r}(K_{\delta})}^{r}$が従う. Minkowski の不等式と (4.2), (4.7) によって$||\Phi(u)||_{L^{2r}(K_{\delta})}$$\leq$$\int_{0}^{\delta}|||\chi(s<t)e^{-itH}\{e^{isH}f(x, u(s, x))\}||_{L^{2r}(K_{\delta})}ds$$\leq$$C \int_{0}^{\delta}||f(x, u(s, x))||_{L^{\mathit{2}}(K)}ds\leq C\delta^{\frac{1}{2}}||f(x, u)||L^{\mathit{2}}(K_{\delta})$$\leq$$C\delta^{\frac{1}{2}}||u||_{L^{\mathit{2}r}(K_{\delta})}^{r}$(4.9) と (4.6), (4.8) をあわせて$\Psi$は$\mathrm{Y}_{\delta}(K)$らから, 小さい $\delta>0$ には依存しない定数

.

(4.9)

上 well-defined であることがわかる. またこれ
$c_{1},$$c_{2}$を取って.

$||\Psi u||_{Y_{\delta}(K)}\leq||e^{-itH}u_{0}||_{Y_{\delta}(K)}+||f(u)||_{Y_{\delta}(K)}\leq c_{1}||u_{0}||_{L^{2}}+c_{2}\delta^{\frac{1}{2}}||u||_{Y_{\delta}(K)}^{r}$

したがって, $M$ を$M>2c_{1}||u_{0}||_{L^{\mathit{2}}},$$||\Psi u||_{Y_{\delta}(K)}\leq 2c_{1}||u_{0}||_{L^{2}}<M$$\delta<(2c_{2}M^{r-1})^{-2}$と取れぼ,. ゆえに $\Psi(B_{M})\subset B_{M}$ となる.

$\Psi$}$||u$ $|_{Y_{\delta}(K)}\leq M$$(4.1\acute{0})$の限りが (4.5) をみたすことを示

すのに,$\Psi(u_{1})-\Psi(u_{2})=-i\int_{0}^{t}e^{-i(t-s)H}[f(x, u_{1}(s))-f(x, u_{2}(s))]ds$

154を評価する. Minkowski の不等式と H\"older の不等式から$|| \Psi(u_{1})-\Psi(u_{2})||_{L^{\infty}([0,\delta]c;L^{2}(\mathbb{R}_{x}))}\leq\int_{0}^{\delta}||f(x, u_{1}(s))-f(x, u_{2}(s))||_{L^{\mathit{2}}(K)}ds$(4.11)$\leq C\int_{0_{\delta}}^{\delta}|||u_{1}-u_{2}|(|u_{1}|^{r-1}+|u_{2}|^{r-1})||_{L^{\mathit{2}}(K)}ds$$\leq C\int_{0}||u_{1}(s)-u_{2}(s)||_{L^{2r}(K})(||u_{1}||_{L^{2r}(K)}^{r-1}+||u_{2}||_{L^{2r}(K)}^{r-1})ds$$\leq C\delta^{\frac{1}{2}}(||u_{1}||_{L^{2r}(K_{\delta})}^{t-1}+||u_{2}||_{L^{2r}(K_{\delta})}^{t-1})||u_{1}-u_{2}||_{L^{2r}(K_{\delta})}$.

同様に, (4.6) から Minkowski の不等式と H\"older の不等式を使って$|| \Psi(u_{1})-\cdot\Psi(u_{\dot{2}})||_{L^{2r}(K_{\delta})}\leq\int_{0}^{\delta}||\chi(s<t)e^{-itH}e^{:sH}[f(x, u_{1})-f(x, u_{2})]||_{L^{2r}(K_{\delta})}ds$(4.12)$\leq C\int_{0}^{\delta}||f(x, u_{1}(s, x))-f(x, u_{2}(s, x))||_{L^{2}(\mathrm{R}_{x})}.ds$$\leq C\delta^{\frac{1}{2}}(||u_{1}||_{L^{2r}(K_{\delta})}^{r-1}+||u_{2}||_{L^{2r}(K_{\delta})}^{t-1})||u_{1}-u_{2}||_{L^{2r}(K_{\delta})}$.

(4.11) と (4.12) をあわせて,(4.13)$||\Psi(u_{1})-\Psi(u_{2})||_{Y_{\delta}(K)}\leq c_{3}\delta^{\frac{1}{2}}(||u_{1}||_{Y_{\delta}(K)}^{t-1}+||u_{2}||_{Y_{\delta}(K)}^{t-1})||u_{1}-u_{2}||_{Y_{\delta}(K)}$となり$\delta$

を $\delta<\min\{(2c_{2}M^{r-1})^{-2}, (4c_{3}M^{r-1})^{-2}\}$ と選べぼ (4.5) が得られる. 1

定理 L8 の証明の続き. 縮小写像の原理を用いれぼ, 補題 4.1 からをもち (4.3) は$\mathrm{Y}_{\delta}(K)$においてただ一つの解的に依存するのをみるのに$u_{0},\tilde{u}_{0}\in L^{2}(\mathrm{R})$$u$$\Psi$

が唯一の固定点 $u\in B_{M}$をもつことがわかる. 解が初期値を取り$u,\tilde{u}$$u_{0}$に連続を対応する解とする. この時, (4.6)と (4.13) から$||u-\tilde{u}||_{Y_{\delta}(K)}\leq c_{1}||u_{0}-\tilde{u}_{0}||_{L^{2}}$

したがろて
$f$

$

$c_{3}\delta^{1}\Sigma(||u||_{Y_{\delta}(K)}^{t-1}+||\tilde{u}||_{Y_{\delta}(K)}^{r-1})||u-\tilde{u}||_{Y_{\delta}(K)}$$||u-\tilde{u}||\gamma_{\delta}(K)\leq c\}|u_{0}-\tilde{u}_{0}||_{L^{2}}$が小さい $\delta>0$ に対して成立する.

が (113) をみたせぼ $||u(t)||_{L^{2}}=||u_{0}||_{L^{2}}$ であることを示そう. これが示せれぼ, 解 $u(t)$は $[0, \infty)$ に一意的にのばせる. 解の存在時間の長さはた,$u(t, \cdot)$は$L^{2}(\mathrm{R}_{x})$-値連続関数だから$||u_{0}||_{L^{2}(\mathrm{R}_{x})}$のみによるからである. ま$L^{2}(\mathrm{R})\ni u_{0}\vdash\star u\in C([0, T], L^{2}(\mathrm{R}))\cap L^{2\mathrm{r}}([0, T]_{t}\cross K)$

155
が任意の $T>0$ に対しても連続なことがわかり, 証明が終了する.

すには, (4.3) の右辺の$(\cdot, \cdot),$$||\cdot||_{L^{2}(\mathbb{R}_{x})}^{2}$を示$||u(t)||_{L^{2}}=||u_{0}||_{L^{\mathit{2}}}$を次のように計算すれぼよい. L2(入) の内積とノルムを$f(t, x)=f(t, u(t, x))$ と書く.

$||\cdot||,$$||u(t)||=||e^{-itH}u_{0}-i \int_{0}^{t}e^{-i(t-s)H}f(s, x)ds||^{2}$$=||u_{0}||_{L^{2}}^{2}-2{\rm Re}(u_{0},$ $i \int_{0}^{t}e^{isH}f(s, x)ds)+\int_{0}^{t}\int_{0}^{t}(e^{isH}f(s, x),$$e^{itH}f(r, x))dsdr$.

右辺の最後の二項は最後の二重積分がつぎに等しいことから互いにうち消し合う:$f(r, x))dr$$\int_{0}^{t}(f(s, x),$ $\int_{0}^{s}e^{-i(s-r)H}f(r, x)dr)ds+\int_{0}^{t}(\int_{0}^{r}e^{-i(r-s)H}f(s, x)ds,$$= \int_{0}^{t}(f(s, x),$ $iu(s)-ie^{-isH}u_{0}))ds+$=2{\rm Re}(u_{0},$ $i \int_{0}^{t}e^{isH}f(s, x)ds)$

ここで,$\text{第}$一のステップで定理 17 の証明.
$\mathrm{Y}_{\delta}(K)$$u$\int_{0}^{t}(iu(r)-ie^{-irH}u_{0}, f(r, x))dr$.

が\Re であること,

二のステップで (1.13) を$4\ovalbox{\tt\small REJECT}$った.

$\mathrm{I}$定理 18 の証明と同様なので必要な修正部分を指摘するにとどめる.

の代わりにノルムを$||u||_{X_{\delta}}--||u||_{L\infty([0,\delta]_{t};L^{2}(\mathbb{R}_{x}))}+||u||_{L^{4}(\mathbb{R}_{x};L^{\mathit{2}r}([0,\delta]_{t}))}$と定義したバナツハ空間
作用素$\Phi,$$u_{0}\in L^{2}(\mathbb{R})$$\Psi$$X_{\delta}=C([0, \delta]_{t};L^{2}(\mathrm{R}))$を (4.4) で定義する.

にたいして,$\Psi$

が小作用素であることを示す.

\cap L4(入 ; $L^{2r}([0,$$B_{M}=\{u\in X_{\delta} :$||u_{0}||_{L^{2}}$$\delta]_{t})$||u||_{X_{\delta}}\leq M\}$) を用いる. 非線形

とおいて, 与えられたのみによって定まる $\delta>0,$ $M>0$ に対して $B_{M}$ の縮$e^{-itH}u_{0}\in X_{\delta}$

で $||e^{-itH}u_{0}||x_{\delta}\leq C||u_{0}||_{L^{2}}$ あることを示すのに,(4.1) を (4.2) の代わりに用いる. ソボレフの埋蔵定理によって$e^{-itH}u_{0}\in L^{4}(\mathbb{R}_{x}; L^{2\mathrm{r}}([0, \delta]_{t}))$がわかる. $f$ に対する仮定から$||f(u)||_{L^{\infty}([0,\delta]_{t;}L^{2}(\mathbb{R}_{x}))} \leq\int_{0}^{\delta}||f(x, u(s))||_{L^{2}}ds\leq C\int_{0}^{\delta}|||\phi(x)||u(s)|^{r}||_{L^{2}}ds$$\leq C\delta^{\frac{1}{2}}\{\int_{[0,\delta]\cross \mathbb{R}}|\phi(x)|^{2}|u(t, x)|^{2r}dtdx\}^{\frac{1}{\mathit{2}}}=C\delta^{\frac{1}{2}}\{\int_{\mathbb{R}}|\phi(x)|^{2}||u(t, x)||_{L^{2r}([0,\delta]_{t})}^{2\mathrm{r}}dx\}^{\frac{1}{2}}$$\leq C\delta^{\frac{1}{2}}||\phi||\neq_{-\overline{r}}(\mathrm{R})||u||_{L^{4}(\mathbb{R}_{x};L^{2r}([0,\delta]_{t}))}^{r}L\leq C\delta^{\frac{1}{\mathit{2}}}||u||_{X_{\delta}}’$.
’$\alpha-4\backslash$156(4.1) と (4.14) から$||f(x, u(t, x))||_{L^{4}(\mathbb{R}_{x};L^{2r}([0,\delta]_{t}))}\leq C\delta^{\frac{1}{\mathit{2}}}||u||_{X_{\delta}}^{r}$

したがって, 適当な $M$ と$\delta$をとれぼ$\Psi$;(4.15)

は $B_{M}$ を $B_{M}$ に写すことが示せる. 証明の残りは定理 18 の証明を繰り返せぼ良いから省略する. I

References[BAD] M.Ben-Artzi and ADevinatz, Local smoothing and convergence properties of
Schr\"odinger type equations, J. Funct. Anal. 101 (1991), 231-254.

[BT] Ben-Artzi and H\‘eves,

Unifom estimates for a class of evolution equations,

J.

Funct. Anal. 120 (1994), 264-299.
[B] J. Bourgain, Fourier transfom restriction phenomena for certain lattice subsets

and application to non-linear evolution equations 1Schr\"odinger equation, GAFA,
3(1993), 107-156.

[Br] Ph. Brenner, On scattering and everywhere defined scattering operator for nonlinear

Klein-Gordon equation, J. Diff. Eq. 56 (1985), 310-344.
[CKS] W.Craig, T.Kappeler and W.Strauss, Microlocal dispersive smoothing for the
Schr\"odinger equation, Comm. Pure Appl. Math. 48 (1995), 769-860.

[CS] P.Constantin and J.C.Saut, Local smoothing properties of Schr\"odinger equations,Indiana Univ. Math. J. 38 (1989), 791-810.
[D1] S.Doi, Smoothing effects for Schr\"odinger evolution groups on Riemannian manifolds,

Duke Math. J. 82 (1996), 679-706.
[D2] S.Doi, Commutator algebra and abstract smoothing effect, J. Funct.

$\mathrm{A}\mathrm{n}\mathrm{a}\mathrm{l}.,168$(1999), 428-469.

[F] Fujiwara, D., Remarks on convergence of the Feynman path integrals, Duke Math. J.

47 (1980), 41-96.

157[GV1] J. Ginibre and G. Velo, Scattering theory in the energy space for a class of nonlinear
Schr\"odinger equations, J. Math. Pures et Appl. 64 (1985), 363-401.

[GV2], J. Ginibre and G. Velo, Smoothing properties and retarded estimates for somedispersive evolution equations, Comm. Math. Phys. 144 (1992), 163-188.

[H] T. Hoshiro, Mourre’s method and smoothing properties of dispersive equations,Comm. Math. Phys. 202 (1999), 255-265.
[HK] N. Hayashi and K. Kato, Analyticity in time and smoothing effect of solutions tononlinear Schr\"odinger equations, Commun. Math. Phys. 184 (1997), 273–300.
[K1] T. Kato, Wave operators and$similarit_{\rangle}y$for some non-selfadjoint operators, Math.

Ann. 162 (1966), 258-279.
[K2] T. Kato, On the Cauchy problem for the (generalized) Korteweg-de Vries equation,

Studies in Appl. Math., Adv. Math. Suppl. Studies 8(1983), 93-128.
[K3] T. Kato, Nonlinear Schr\"odinger equations, Lect. Notes for Physics 345 ”Schr\"odinger

Operators” (1988).
[KY] T. Kato and K. Yajima, Some examples of smooth operators and the associatedsmoothing effect, Rev. Math. Phys. 1(1989) 481-496.
[KPV] C. E. Kenig, G. Ponce and L. Vega, Oscillatory integrals and regularity of disper-

sive equations, Indiana Univ. Math. J.. 40 (1991), 33-69.
[MY] A. Martinez and K. Yajima, On the Fundamental Solution of SemiclassicalSchr\"odinger Equations at Resonant Times, to appear in Commun. Math. Phys.

[P] H. Pecher, Nonlinear small data scattering for wave and Klein-Gordon equation,

Math. Z. 185 (1984), 261-270.
[Sj] P.Sj\"olin, Local regularity of solutions to nonlinear Schr\"odinger equations, Ark. Mat.

28 (1990), 145-157.

158[St] R. S. Strichartz, Restrictions of Fourier transforms to a quadratic surface and decayof solutions of wave equations, Duke Math. J. 44 (1977), 704-714.
[Su] M.Sugimoto, Global smoothing properties of generahzed Schr\"odinger equations, J.

Anal. Math. 76 (1998), 191-204.
[T1] E.C.Titchmarsh, Eigenfunction expansions associated with second-Order differential
equations, Pad 1, 2nd edition Oxford University Press (1962).

[T2] E.C.Titchmarsh, Eigenfunction expansions associated with second-Order differential

equations, Part 2, Oxford University Press (1958).
[V] L. Vega, Schr\"odinger equations: Pointwise convergence to the initial data, Proc. A.

M. S. 120 (1988), 874-878.
[Y1] K. Yajima, Existence of evolution for time dependent Schr\"odinger equations, Com-mun. Math. Phys. 110 (1987), 415-426.
[Y2] K.Yajima, On smoothing propedy of Schr\"odinger propagators, Lecture Notes inMathematics, 1450, 20-35.

[Y3] K. Yajima, Schr\"odinger evolution equation with magnetic fields, J. d’Analyse Math.

56 (1991), 29-76.
[Y4] K.Yajima, Smoothness and non-smoothness of the fundamental solution of time de-pendent Schr\"odinger equations, Commun. Math. Phys. 181 (1996), 605-629.
[Z] A. Zygmund, On the Fourier coeffgcients and transfoms of functions of two variables,

Studia Math. 50 (1974), 189-201.