内容要旨 | | 要旨を表示する この論文では、調和振動子ポテンシャルをもつ変数係数シュレーディンガー方程式について研究した。また、定磁場中の変数係数シュレーディンガー作用素についても考察した。この論文の目的は解の特異性を超局所の視点から初期値を用いて特徴付けることである。 以下のような線形シュレーディンガー方程式を考える。 (0.1){Dtu + Hu = 0;/u(0) = u0; ここで、u = u(t; x) ∈ L2(Rn) は各t ∈ R について、時刻t での波動関数を表す。ここでDt = 1i @t と書いた。また (0.2) (〓) はシステムのハミルトン演算子である。 シュレーディンガー方程式は量子力学の基本的な方程式であり、その数学的構造については、スペクトル理論、散乱理論、基本解に関する研究を含めて、多くの研究がある。(たとえば、テキスト[27] 等を参照せよ。)。 この論文においてはaij(x) とW(x) に関する適当な仮定の下で、超局所的な特異性の伝播について考える。シュレーディンガー方程式に関しての特異性の研究はBoutet de Monvel[1] から始められた。その論文において、Boutet de Monvel はシュレーディンガー方程式の解の特異性が無限大の速度で伝播することを示した。これは波動方程式と大きく異なる性質である。H¨ormanderの有名な特異性の伝播定理から波動方程式の特異性は有限の速度で伝播する([10])。しかし、Boutet de Monve の論文においては、シュレーディンガー方程式の解u(t) の時刻t での特異性と初期値u0 との関係は与えられなかった。Craig, Kappeler and Strauss [2] は1996 年で変数係数シュレーディンガー方程式の特異性の伝播について考察した。彼らはこの論文において、nontrappingな測地線に沿って、解の滑らかさは初期値の漸近速度に対応する錐形状領域での減衰から従うというsmoothing property を証明した。その後、多くの関連する研究が行われた。([3-5, 7, 11, 17, 23, 26, 30] 等を見よ。) 2004 年の論文[9] においてHassell とWunsch は、Melrose [22] によって定義された散乱多様体上でのシュレーディンガー方程式の解の特異性の特徴付けについて研究した。また、Nakamura [24] は変数係数シュレーディンガー方程式に対して異なる手法を用いて、違う定式での特徴付けを得た。Nakamuraの方法は比較的簡明であり、その結果は散乱多様体や解析的特異などへ拡張された。([12, 18-20, 25] を見よ。) 一方、摂動した調和振動子の基本解の滑らかさ、解の特異性の伝播については、[6, 8, 13-16, 21, 28, 29, 31-35] などの研究がある。これらの論文の多くは、定数係数のシュレーディンガー方程式についての研究である。すなわち、aij(x) = δij の場合を考えている。本論文においては、調和振動子に対する変数係数の摂動を考える。また、同様の挙動を示す系として、定磁場をもつシュレーディンガー作用素の変数係数の摂動も考察する。具体的には、以下の問題を研究する。 ・ 調和振動子の短距離型摂動:すなわち、式(0.2) でW(x) =jxj22 + V (x)の場合を考える。aij(x) とV (x) は滑らかな実数値関数で、以下のような条件を満たすとする。 Assumption A. 各x ∈ Rn に対して(ajk(x))j;k は正対称行列である。さらに、μ > 1 が存在して任意のα ∈ Zn+ に対してCα > 0 が存在し (〓) を満たす。ここで、〈x〉 =√1 + |x|2 である。 この場合については、[24] の手法を拡張することにより特異性の特徴付けを行う。この問題については、古典的な散乱データと摂動していない調和振動子H0 = -12△+ 12|x|2 の時間発展を用いて解の特異性を特徴付ける。詳細については、第2章で述べる。 ・ 定磁場の短距離型摂動:以下の形のハミルトン演算子を考える。 (〓) ここで、M=(0 -1/2 1/2 0) とする。摂動については、上の調和振動子の短距離型摂動とほぼ同様の条件を仮定する。すなわち、ajk(x), Aj(x), V (x) は滑らかな実数値関数であり、以下の条件を満たすと仮定する。 Assumption B. 各x ∈ Rn に対して(ajk(x))j;k は正対称行列である。さらに、μ1 > 1; μ2 > 1; μ3 > 0 が存在して任意のα ∈ Zn+ に対してあるCα > 0 に対して (〓) を満たす。 第3章においては、調和振動子の短距離型摂動の場合と同様の手法を用いて、古典的な散乱データと摂動していない定磁場ハミルトン演算子H0 = 12 (Dx -Mx)2 の時間発展作用素を用いて解の特異性を特徴付ける。 ・第4章においては、第2 章の結果の長距離型摂動へ拡張を研究する。すなわち、第2章での仮定の中のμ > 1 をμ > 0 に置き換えた場合について考察する。ここでは、[25] の手法を拡張して、修正された自由発展作用素を構成する。さらに古典的な散乱データと摂動されていない調和振動子H0 = -12△+ 12|x|2 の時間発展作用素を組み合わせて、シュレーディンガー方程式の解の特異性を特徴付ける。 本論文の内容の一部は中村周教授(東京大学)との共同研究に基づいている。 [1] Boutet de Monvel, L.: Propagation des singularit´es des solutions d'equation de Schr¨odinger, in Fourier Integral Operators and Partial Differential Equations, Springer L. N. M. 459, 1975.[2] Craig, W., Kappeler, T., Strauss, W.: Microlocal disipertive smoothing for the Schr¨odinger equation. Comm. Pure Appl. Math. 48, 769-860 (1996).[3] Doi, S.: Smoothing effects of Schr¨odinger evolution groups on Riemannian manifolds. Duke Mathematical Journal, vol.82-3 (1996), 679-706.[4] Doi, S.: Commutator algebra and abstract smoothing effect. Journal of Functional Analysis, 168-2 (1999), 428-469.[5] Doi, S.: Smoothing effects for Schr¨odinger evolution equation and global behavior of geodesic flow. Mathematische Annalen, 318-2 (2000), 355-389.[6] Doi, S.: Dispersion of singularities of solutions for Schr¨odinger equations. Comm. Math. Phys. 250-3(2004), 473-505.[7] Doi, S.: Smoothness of solutions for Schr¨odinger equations with unbounded potentials. Publ. RIMS, Kyoto Univ. 41, 175-221 (2005).[8] Doi, S.: Singularities of solutions of Schr¨odinger equations for perturbed harmonic oscillators. Hyperbolic problems and related topics, 185-199, Grad. Ser. Anal., Int. Press, Somerville, MA, 2003.[9] Hassel, A., Wunsch, J.: The Schr¨odinger propagator for scattering metrics. Ann. Math. 162, 487-523 (2005).[10] H¨ormander, L.: Analysis of Linear Partial Differential Operators, Vol. I-IV. Springer Verlag, 1983-1985.[11] Ito, K. , Propagation of singularities for Schr¨odinger equations on the Euclidean space with a scattering metric, Comm. Partial Differential Equations, 31, 1735-1777, (2006).[12] Ito, K., Nakamura, S.: Singularities of solutions to Schr¨odinger equation on scattering manifold. Preprint, Nov. 2007. To appear in American J. Math. (http://arxiv.org/abs/0711.3258)[13] Kapitanski, L., Rodnianski, I. and Yajima, K.: On the fundamental solution of a perturbed harmonic oscillator, Topol. Methods Nonlinear Anal. 9, 77-106 (1997).[14] Mao, S.: Singularities for solutions to Schr¨odinger equations with constant magnetic fields. preprint.[15] Mao, S.: Singularities for perturbed magnetic fields. preprint.[16] Mao, S., Nakamra, S.: Wave front set for perturbed harmonic oscillators. Comm. Partial Differential Equations 34 (5), 506-519 (2009).[17] Martinez, A., Nakamura, S., Sordoni, V.: Analytic smoothing effect for the Schr¨odinger equation with long-range perturbation. Comm. Pure Appl. Math. 59 1330-1351 (2006)[18] Martinez, A., Nakamura, S., Sordoni, V.: Analytic singularities for long range Schr¨odinger equations. Comptes Rendus Mathematique 346, 15- 16 (2008), 849-852.[19] Martinez, A., Nakamura, S., Sordoni, V.: Analytic wave front for solutions to Schr¨odinger equation, Advances in Math. 222, 1277-1307 (2009).[20] Martinez, A., Nakamura, S., Sordoni, V.: Analytic Wave Front Set for Solutions to Schr¨odinger Equations II - Long Range Perturbations. Preprint, July 2008. (preprint at arxiv.org).[21] Martinez, A., Yajima, K.: On the fundamental solution of semiclassical Schr¨odinger equations at resonant times. Comm. Math. Phys. 216 (2001), no. 2, 357-373.[22] Melrose, R.: Spectral and scattering theory for the Laplacian on asymptotically Euclidian spaces, Spectral and scattering theory (M. Ikawa, ed.), Marcel Dekker.[23] Nakamura, S.: Propagation of homogeneous wave front set for Schr¨odinger equations. Duke Math. J. 126 (2005), 349-367.[24] Nakamura, S.: Wave front set for solutions to Schr¨odinger equations. J. Functional Analysis 256, 1299-1309 (2009).[25] Nakamura, S.: Semiclassical singularity propagation property for Schr¨odinger equations. J. Math. Soc. Japan 61 (1), 177-211 (2009).[26]Okaji, T.: Propagation of wave packets and smoothing properties of solutions to Schr¨odinger equations with unbounded potential. preprint.[27] Reed, M. and Simon, B.: The methods of modern mathematical physics I-IV, Academic Press, 1972-1980.[28] Weinstein, A.: A symbol class for some Schr¨odinger equations on Rn, Amer. J. Math. 107 (1985), 1-21.[29] Weinstein, A. and Zelditch, S.: Singularities of solutions of some Schr¨odinger equations on Rn, Bull. Amer. Math. Soc. 6 (1982), 449- 452.[30] Wunsch, J.: Propagation of singularities and growth for Schr¨odinger operators. Duke Math. J. 98 (1999), 137-186.[31] Wunsch, J.: The trace of the generalized harmonic oscillator. Annales de l'institut Fourier, 49, no.1, 351-373 (1999).[32] Yajima, K.: Smoothness and non-smoothness of the fundamental solution of time dependent Schr¨odinger equations. Comm. Math. Phys. 181, 605-629 (1996).[33] Yajima, K.: On fundamental solution of time dependent Schr¨odinger equations. Advances in differential equations and mathematical physics (Atlanta, GA, 1997), 49-68, Contemp. Math., 217, Amer. Math. Soc., Providence, RI, 1998.[34] Yajima, K.: On the behaviour at infinity of the fundamental solution of time dependent Schr¨odinger equation. Rev. Math. Phys. 13 (2001), no. 7, 891-920.[35] Zelditch, S.: Reconstruction of singularities for solutions of Schr¨odinger's equation. Commun. Math. Phys. 90, 1-26 (1983). |