[論文レビュー] On a Boundary-Value Problem for One Class of Differential Equations of the Fourth Order with Operator Coefficients

А. Р. Алиев|arXiv (Cornell University)|Jul 25, 2011

Differential Equations and Boundary Problems参考文献 5被引用数 3

ひとこと要約

本稿では、半直線上の4階作用素微分方程式に対して、指数的重み $ e^{-\kappa t/2} $ を持つ重み付きソボレフ空間において、作用素係数を有する場合の正則可解性の十分条件を確立する。主な結果は、自己共役正定値作用素 $ A $ のスペクトル下界 $ \lambda_0 $ と作用素係数を用いた一意可解性の基準であり、中間微分のノルムに対する明示的推定式と、同型性を保証する臨界条件 $ |\kappa| < 2\lambda_0 $ が得られる。

ABSTRACT

The boundary-value problem on semi-axis for one class operator-differential equations of the fourth order, the main part of which has the multiple characteristic is investigated in this paper in Sobolev type weighted space. Correctness and unique solvability of the boundary-value problem is proved, and the solvability conditions are expressed in terms of the operator coefficients of the equation. Estimations of the norms of the operators of intermediate derivatives, closely connected with the solvability conditions, have been carried out. The connection between the exponent of the weight and the lower border of the spectrum of the main operator, participating in the equation, is determined in the results of the paper.

研究の動機と目的

• 半直線上の複数の特徴的および作用素係数を有する4階作用素微分方程式の正則可解性を調査すること。
• 重み付き $ L_{2,\kappa} $ および $ W_{2,\kappa}^4 $ 空間における一意可解性の十分条件を確立すること。
• 作用素係数およびスペクトルデータに基づいて、中間微分のノルムの明示的推定式を導出すること。
• 作用素 $ A $ の重み指数 $ \kappa $ と下位スペクトル境界 $ \lambda_0 $ の間の関係を特定すること。

提案手法

• 重み $ e^{-\kappa t/2} $ を持つ重み付きヒルベルト空間 $ L_{2,\kappa}(R_+;H) $ における境界値問題の定式化、ここで $ \kappa \in \mathbb{R} $ である。
• 第4階微分と自己共役作用素 $ A $ のべきを含む解空間 $ W_{2,\kappa}^4(R_+;H) $ の定義。
• フーリエ変換とバナッハの逆作用素定理を用いて、空間 $ \mathop{W_{2,\kappa}^4}\limits^o(R_+;H) $ 上での主作用素 $ P_0 $ の同型性を証明すること。
• 全作用素を主部 $ P_0 $ と摂動 $ P_1 $ に分解し、その後で作用素ノルム $ \|P_1 P_0^{-1}\| $ の推定を行うこと。
• 解の推定式とスペクトル理論を用いて、$ \|f\|_{L_{2,\kappa}} $ に基づく $ A^j \frac{d^{4-j}u}{dt^{4-j}} $ のノルムを評価すること。
• 全作用素の逆行列存在性と従っての可解性を保証する収束条件 $ \sum_{j=1}^4 c_j(\kappa) \|A_j A^{-j}\|_{H\to H} < 1 $ の導出。

実験結果

リサーチクエスチョン

• RQ1 重み付き空間 $ L_{2,\kappa}(R_+;H) $ において、4階作用素微分方程式の境界値問題が正則可解となるための $ \kappa $ と作用素係数に関する条件は何か？
• RQ2 中間微分 $ A^j \frac{d^{4-j}u}{dt^{4-j}} $ のノルムは、作用素 $ A $ のスペクトル下界 $ \lambda_0 $ にどのように依存するか？
• RQ3 主作用素 $ P_0 $ の同型性を保証するための重み指数 $ \kappa $ と下位スペクトル境界 $ \lambda_0 $ の正確な関係は何か？
• RQ4 可解性条件を作用素係数 $ A_j $ とそれらの $ A $ に対する相対ノルムのみで表現できるか？
• RQ5 解のノルム推定式は、$ A $ のスペクトル構造と重みパrameter $ \kappa $ にどのように依存するか？

主な発見

• 主作用素 $ P_0 = \left(-\frac{d}{dt}+A\right)\left(\frac{d}{dt}+A\right)^3 $ は、$ |\kappa| < 2\lambda_0 $ のとき、$ \mathop{W_{2,\kappa}^4}\limits^o(R_+;H) $ から $ L_{2,\kappa}(R_+;H) $ への同型写像である。ここで $ \lambda_0 $ は $ A $ のスペクトルの下界である。
• 中間微分のノルムに対する明示的推定式が得られる：$ \left\|A^j \frac{d^{4-j}u}{dt^{4-j}} \right\|_{L_{2,\kappa}} \leq c_j(\kappa) \|P_0 u\|_{L_{2,\kappa}} $ であり、$ c_1(\kappa) = c_3(\kappa) = \frac{1}{2} \gamma^{-1/2}(\lambda_0) $、$ c_2(\kappa) = \frac{1}{2\sqrt{2}} \gamma^{-1/2}(\lambda_0) $、$ c_4(\kappa) = \gamma^{-1}(\lambda_0) $ である。ここで $ \gamma(\lambda_0) = \lambda_0(\lambda_0 + 1)^2 $ である。
• 全作用素 $ P_0 + P_1 $ は、$ \sum_{j=1}^4 c_j(\kappa) \|A_j A^{-j}\|_{H\to H} < 1 $ のとき同型写像であり、これにより全問題の一意可解性が保証される。
• $ \kappa = 0 $ の場合、可解性条件は $ \frac{1}{2}\|A_1 A^{-1}\| + \frac{1}{2\sqrt{2}}\|A_2 A^{-2}\| + \frac{1}{2}\|A_3 A^{-3}\| + \|A_4 A^{-4}\| < 1 $ に簡略化され、非重み付きの場合の明確な基準が得られる。
• 解は安定性推定式 $ \|u\|_{W_{2,\kappa}^4} \leq \text{const} \cdot \|f\|_{L_{2,\kappa}} $ を満たし、正則可解性が確認される。
• 主作用素 $ P_0 $ の同型性を保つためには、重み指数 $ \kappa $ の絶対値が $ 2\lambda_0 $ 以下でなければならない。これは重みと $ A $ のスペクトル構造の間の関係を示している。