[論文レビュー] Boundary-Value Problems with Non-Local Initial Condition for Parabolic Equations with Parameter

John Michael Rassias, Erkinjon Karimov|ArXiv.org|May 13, 2009

Differential Equations and Boundary Problems参考文献 18被引用数 6

ひとこと要約

本稿は、複素パラメータ λ を持つ退化および前向き後向き放物型方程式に対する非局所初期条件をもつ境界値問題を検討する。古典的「a-b-c」法とベッセル関数を含む積分恒等式を用いて、λ および非局所パラメータ α に対して特定の条件下で一意性定理を証明し、非自明な解が Re(λ) < 0 または |α| = 1 の場合にのみ存在することを示した。また、変形ベッセル関数を用いて明示的な固有値式を導出している。

ABSTRACT

In 2002, J.M.Rassias (Uniqueness of quasi-regular solutions for bi-parabolic elliptic bi-hyperbolic Tricomi problem, Complex Variables, 47 (8) (2002), 707-718) imposed and investigated the bi-parabolic elliptic bi-hyperbolic mixed type partial differential equation of second order. In the present paper some boundary-value problems with non-local initial condition for model and degenerate parabolic equations with parameter were considered. Also uniqueness theorems are proved and non-trivial solutions of certain non-local problems for forward-backward parabolic equation with parameter are investigated at specific values of this parameter by employing the classical "a-b-c" method. Classical references in this field of mixed type partial differential equations are given by: J.M.Rassias (Lecture Notes on Mixed Type Partial Differential Equations, World Scientific, 1990, pp.1-144) and M.M.Smirnov (Equations of Mixed Type, Translations of Mathematical Monographies, 51, American Mathematical Society, Providence, R.I., 1978 pp.1-232). Other investigations are achieved by G.C.Wen et al. (in period 1990-2007).

研究の動機と目的

• 退化放物型方程式に複素パラメータを含む非局所初期条件をもつ境界値問題について、一意性定理を確立すること。
• 特定の非局所条件の下で、前向き後向き放物型方程式にパラメータ λ を含む非自明な解の存在および構造を調査すること。
• 非局所初期データとパラメータ依存の挙動を組み込んだことで、混合型 PDE に関する古典的結果を拡張すること。
• 変形ベッセル関数を含む固有値方程式を通じて、解のスペクトル構造を分析すること。
• 非自明な解が存在可能なパラメータ領域（λ および α に関して）を特定し、Re(λ) ≥ 0 の下での一意性と対比すること。

提案手法

• エネルギー型恒等式を導出し、背理法を用いて一意性を証明するために、古典的「a-b-c」法を用いた。
• 変数分離法および変換技術を用いて、PDE を第一種変形ベッセル関数を含む ODE に簡略化した。
• I_{1/(n+2)}(2√μ/(n+2)) = 0 を μ_k について解くことで固有値条件を導出し、それらをパラメータ λ に関連づけた。
• グリーンの公式を適用し、部分領域 D₁ および D₂ における積分を実行することで、u および u_x を含む積分恒等式を導出した。
• 境界 S₂–S₅ および t=0,1 に非局所条件を課し、境界項を消去するために係数制約（例：k₃k₅ = k₂k₆）を導入した。
• 導出されたエネルギー恒等式における Re(λ) の符号を分析し、Re(λ) ≥ 0 のとき背理が生じることを示し、一意性を証明した。

実験結果

リサーチクエスチョン

• RQ1 退化放物型方程式に対する非局所初期値問題の解の一意性が保証されるためのパラメータ λ および非局所係数 α の条件は何か？
• RQ2 非局所初期条件をもつ前向き後向き放物型方程式において、非自明な解が存在するための α および λ の明確な条件は何か？
• RQ3 非局所問題の文脈において、固有値 λ_pk は変形ベッセル関数 I_{1/(n+2)}(·) の根とどのように関係しているか？
• RQ4 非自明な境界条件に微分と関数値の混合を含む場合、一意性結果をより一般的な非局所境界条件に拡張できるか？
• RQ5 特に Re(λ) ≥ 0 の場合に、パラメータ λ が非自明な解の存在に果たす役割は何か？

主な発見

• α₁² + α₂² < 1 かつ Re(λ) ≥ 0 のとき、Ω における退化放物型問題の解の一意性が証明された。
• Re(λ) ≥ 0 のときエネルギー恒等式における背理法により、非自明な解が Re(λ) < 0 の場合にのみ存在することが示された。
• 明示的な非自明な解として、u_pk(x,y) = C_pk (2/(n+2))^{1/(n+2)} μ_k^{1/(2(n+2))} x^{1/2} I_{1/(n+2)}(2√μ_k/(n+2) x^{(n+2)/2}) e^{(-ln|α| - ipπ)y^{m+1}} が構成された。
• 固有値は λ_pk = μ_k + (m+1)ln|α| + i(m+1)pπ で与えられ、μ_k は I_{1/(n+2)}(2√μ/(n+2)) = 0 の根である。
• 前向き後向き放物型方程式では、|α| = 1、λ > 0、および係数制約 k₃k₅ = k₂k₆、k₁k₂ < 0、k₄k₅ > 0 を満たすとき、一意性が成立する。
• エネルギー恒等式により、Re(λ) ≥ 0 のとき背理が生じ、これらの条件下では u ≡ 0 が唯一の解であることが証明された。