[論文レビュー] On weak and strong solution operators for evolution equations coming from quadratic operators

Alexandru Aleman, Joe Viola|arXiv (Cornell University)|Sep 3, 2014

Advanced Mathematical Modeling in Engineering参考文献 28被引用数 21

ひとこと要約

本稿は、$L^2(\mathbb{R}^n)$ 上の二次作用素によって生成される発展方程式とフォック空間上での解作用素のユニタリ同値性を確立し、有界性、減衰、正則化の統一的解析を可能にする。解作用素の短時間および長時間における鋭い漸近挙動を導出し、スペクトルが複素平面全体であっても、大時間における半群がコンパクトかつ正則化可能であることを示している。

ABSTRACT

We identify, through a change of variables, solution operators for evolution equations with generators given by certain simple first-order differential operators acting on Fock spaces. This analysis applies, through unitary equivalence, to a broad class of supersymmetric quadratic multiplication-differentiation operators acting on $L^2(\\Bbb{R}^n)$ which includes the elliptic and weakly elliptic quadratic operators. We demonstrate a variety of sharp results on boundedness, decay, and return to equilibrium for these solution operators, connecting the short-time behavior with the range of the symbol and the long-time behavior with the eigenvalues of their generators. This is particularly striking when it allows for the definition of solution operators which are compact and regularizing for large times for certain operators whose spectrum is the entire complex plane.

研究の動機と目的

• 二次作用素 $Q$ が $L^2(\mathbb{R}^n)$ 上に作用する場合の解作用素 $\exp(-tQ)$ の有界性およびコンパクト性を同定すること。
• 解作用素の短時間および長時間挙動を解析し、短時間における減衰がシンボルの値域に、長時間における正則化が生成子の固有値に依存することを明らかにすること。
• $L^2(\mathbb{R}^n)$ を基礎とする発展方程式とフォック空間作用素との間のユニタリ同値性を確立し、非自己共役二次作用素の統一的枠組みを提供すること。
• スペクトルが複素平面全体である場合であっても、解作用素が大時間においてコンパクトかつ正則化可能であることを示すこと。
• 二次形式の構造および関連行列に基づいた、$\exp(-tQ)$ の有界性およびコンパクト性を計算可能な基準として提示すること。

提案手法

• 変数変換とユニタリ同値性を用いて、$L^2(\mathbb{R}^n)$ 上の二次作用素をフォック空間上の一次微分作用素に写像する。
• 超対称的構造 $Q = B d_{\varphi_-}^* d_{\varphi_+}$ を用い、ここで $d_{\varphi_\pm} = e^{\varphi_\pm} D_x e^{-\varphi_\pm}$ であり、$\varphi_\pm(x) = \frac{i}{2} A_\pm x \cdot x$ である。
• 正準変換を適用し、問題を基本行列 $F(p)$ 及びその繰り返しの解析に還元する。この際、双線形形式 $\sigma$ と $\Phi(M^{2k+1}z, z)$ の実部を用いる。
• $\Theta(M^j z)$ の同時零点と $\Phi(M^{2k+1}z, z)$ の消滅との間の関係を確立し、小時間における減衰率を制御するインデックス $J(x,\xi)$ を定義する。
• フォッカー・プランクモデルにおける行列指数の漸近挙動を用い、$t \to 0^+$ のとき $\|e^{-tM_{a,0}}\| = 1 - \frac{a^2}{12}t^3 + \mathcal{O}(t^4)$ を得る。これは $|e^{tM_a}v|^2$ のテイラー展開により計算される。
• 初期ベクトル $v$ を最適化し、減衰を最大化する。$v = (1, at/2)$ が最良の小時間挙動をもたらすことが示される。

実験結果

リサーチクエスチョン

• RQ1 二次生成子 $Q$ に対して、解作用素 $\exp(-tQ)$ が $L^2(\mathbb{R}^n)$ 上で有界またはコンパクトであるための条件は何か？
• RQ2 二次作用素のシンボル $q(x,\xi)$ の値域と、$\|\exp(-tQ)\|$ の短時間における減衰の関係は何か？
• RQ3 スペクトルが複素平面全体である場合であっても、解作用素が大時間においてコンパクトかつ正則化可能であることは可能か？
• RQ4 フォッカー・プランク型二次作用素に対して、$\|\exp(-tQ)\|$ の正確な短時間漸近挙動は何か？
• RQ5 複数の $\Theta(M^j z)$ の同時零点が、小時間領域における減衰の次数をどのように決定するか？

主な発見

• 解作用素 $\exp(-tQ)$ が $t \in \mathbb{C}$ に対して有界であるための必要十分条件は、関連するフォック空間作用素が基本行列 $F(p)$ に関してある条件を満たすことである。これにより、計算可能な基準が得られる。
• 長時間において、解作用素 $\exp(-tQ)$ は $\operatorname{Spec}(Q) = \mathbb{C}$ であってもコンパクトかつ正則化可能である。これはフォック空間ダイナミクスへのユニタリ同値性のおかげで可能である。
• 短時間における減衰は、インデックス $J(x,\xi) = \min\{k \in \mathbb{N} : \Phi(M^{2k+1}z, z) \neq 0\}$ によって支配され、これが漸近展開における主要項の次数を決定する。
• $M_{a,0} = \begin{pmatrix} 0 & -a \\ a & 1 \end{pmatrix}$ であるフォッカー・プランクモデルに対して、$\|e^{-tM_{a,0}}\| = 1 - \frac{a^2}{12}t^3 + \mathcal{O}(t^4)$ が $t \to 0^+$ のとき成り立つ。
• 短時間における最良の減衰を実現する初期ベクトルは $v = (1, at/2)$ であり、これは減衰率を最大化し、ノルム展開における $t^3$ 階の補正をもたらす。
• 証明により、$\Phi(M^{2k+1}z, z)$ の消滅と $j = 0, \dots, k$ における $\Theta(M^j z)$ の消滅との間の正確な同値性が確立され、ダイナミクスがハミルトニアンフローの構造と結びつけられる。