[論文レビュー] A New Operator Theory of Linear Partial Differential Equations

Guang-Qing Bi, Yuekai Bi|arXiv (Cornell University)|Aug 23, 2010

Algebraic and Geometric Analysis参考文献 5被引用数 4

ひとこと要約

本稿は、ラプラス変換および解析接続から導かれる抽象的演算子を用いて、線形偏微分方程式（PDE）の新しい作用素理論を提示する。解析的解の明示的積分表現を、作用素記号およびヒルベルト空間への射影を用いて、任意の順序の線形PDEの初期値問題および初期境界値問題に対して与えることで、与えられた関数の積分としてそのような解を表現するという長年の問題を解決する。

ABSTRACT

We first strictly expressed the basic notions and research methods of abstract operators, which systematically expounded the main results of abstract operator theory. By combining abstract operators with the Laplace transform, we can easily apply this Laplace transform to n+1 dimensional partial differential equations. Further, all the analytic solutions to an initial value problem of an arbitrary order linear partial differential equation are expressed in these abstract operators. By writing abstract operators in this class into integral forms, the solutions in operator form are represented into integral forms. We thus solved the important problem of representing the solutions of linear higher-order partial differential equations into the integrations of some given functions. By introduction of abstract operators on Hilbert space, we further discuss the solvability of initial-boundary value problem for the linear higher-order partial differential equations.

研究の動機と目的

• 線形偏微分方程式を解くための新しい枠組みとして、抽象的演算子の厳密な基礎を確立すること。
• 高次の線形PDEの解を、与えられた関数の積分として表現するという長年の課題に取り組むこと。
• ヒルベルト空間上の抽象的演算子を導入することで、初期境界値問題への理論の拡張を図ること。
• 作用素記号およびラプラス変換技術を用いて、任意の順序の線形PDEの初期値問題の解を統一的に扱うこと。
• $L^2(\Omega)$における固有関数基底の展開およびスペクトル分解を用いて、初期境界値問題の可解性を示すこと。

提案手法

• 解析的連続性を用いて、記号 $ f(t, \alpha) $ または $ f(t, \xi) $ を持つ多項式および指数関数的基底関数に作用する抽象的演算子 $ f(t, x\partial_x) $ および $ f(t, \partial_x) $ を定義する。
• ラプラス変換を用いて、$ n+1 $ 次元のPDEを作用素形式に写像し、体系的な解の導出を可能にする。
• 抽象的演算子を積分形式で表現する。$ f(t, \partial_x) $ を $ e^{\xi x} $ に作用させる積分作用素として表現することで、明示的な解の表現を導く。
• 作用素の作用が試験関数上で収束および連続であることを保証するため、解析的連続基本定理を適用する。
• 自己随伴楕円型作用素のスペクトル理論を用いて、$ L^2(\Omega) $ 内の正規直交基底 $ \{e_j(x)\} $ を定義し、解の級数展開を可能にする。
• 固有関数への射影を用いて解を構成する。$ \exp(t a_j P(\partial_x)) $ や $ \frac{\sinh(t a_j P(\partial_x)^{1/2})}{a_j P(\partial_x)^{1/2}} $ などの作用素が、$ L^2((0,T]\times\Omega) $ 上で連続写像として作用することを示す。

実験結果

リサーチクエスチョン

• RQ1 擬微分作用素の範囲を越えて線形PDEを解くために、抽象的演算子を体系的かつ特徴づけて定義することは可能か？
• RQ2 ラプラス変換を抽象的演算子と効果的に組み合わせることで、任意の順序の線形PDEの解析的解を導出できるか？
• RQ3 抽象的演算子理論を用いて、線形PDEの初期値問題の解の積分表現はどのように得られるか？
• RQ4 ヒルベルト空間手法を用いて、抽象的演算子を初期境界値問題に拡張することは可能か？
• RQ5 $ L^2(\Omega) $ 内で固有関数基底を用いた解の級数展開の収束を保証する条件は何か？

主な発見

• 任意の順序の線形PDEの初期値問題の解析的解は、すべて抽象的演算子を用いて表現され、それらは積分形式に変換される。
• 初期値問題の解は、固有関数 $ e_i(x) $ との内積によって定まる係数を持つ $ L^2(\Omega) $ 内の収束級数として表現される。
• $ \exp(\tau a_j P(\partial_x)) $ の $ e_i(x) $ への作用は、$ \exp(-\tau a_j \lambda_i) e_i(x) $ を与え、スペクトル空間における指数的減衰を確認する。
• 解作用素 $ \frac{\sinh(\tau a_j P(\partial_x)^{1/2})}{a_j P(\partial_x)^{1/2}} $ は、$ f(x,\tau) $ を $ \frac{\sin(a_j \sqrt{\lambda_i} \tau)}{a_j \sqrt{\lambda_i}} e_i(x) $ を含む級数に写像し、$ L^2 $-収束を保証する。
• 境界条件 $ \overline{B}u|_{\partial\Omega} = 0 $ が満たされるとき、古典的解は $ \{e_j(x)\} $ における有限正規直交級数の $ L^2 $-極限として得られる。
• 理論により、ヒルベルト空間上の抽象的演算子が連続線形写像であることが確立され、スペクトル分解を用いた初期境界値問題の厳密な解の構成が可能になる。