[論文レビュー] Existence of Infinitely Many Solutions for a Quasilinear Elliptic Problem on Time Scales

Moulay Rchid, Delfim F. M. Torres|ArXiv.org|May 24, 2007

Nonlinear Differential Equations Analysis参考文献 18被引用数 4

ひとこと要約

本稿では、固定点指数論法を用いて、任意の時刻スケール上での非線形項 f および強制関数 h に条件を課すことにより、p ≠ 2 かつ h ≠ 0 の動的方程式への一般化を含め、p-ラプラシアン作用素を分析することにより、任意の時刻スケール上での擬線形楕円型境界値問題に対して無限個の正の解の存在を確立している。漸近的成長条件の下で、古典的結果を時刻スケール上の動的方程式へと拡張している。

ABSTRACT

We study a boundary-value quasilinear elliptic problem on a generic time scale. Making use of the fixed-point index theory, sufficient conditions are given to obtain existence, multiplicity, and infinite solvability of positive solutions.

研究の動機と目的

• 一般時刻スケール上での擬線形楕円型問題に対する正の解の存在と多重性を確立すること。
• 連続的および離散的状況における既存の p-ラプラシアン方程式の結果を、時刻スケールの統一的枠組みへと拡張すること。
• 非線形項 f および強制項 h における漸近的条件の下で、正の解の無限可解性を証明すること。
• 固定点指数技法を用いて、変分法および位相平面法を時刻スケール上での動的方程式へ一般化すること。

提案手法

• バナッハ空間の錐上で固定点指数論法を用い、境界値問題に関連する作用素を分析する。
• 固定点が時刻スケール上での p-ラプラシアン問題の解に対応する完全連続作用素 F を定義する。
• 定理1（固定点指数）を用い、2つのネストされた領域 Ω₁ および Ω₂ を用いて、それぞれ指数 1 および 0 を得ることにより、存在性を確立する。
• f(u) に φₚ および φ_q ノルムを含む条件を課す：解の存在のためには、max f(u) ≤ φₚ(aA) および min f(u) ≥ φₚ(bB) が成り立つ必要がある。
• 時刻マップ技法を適応し、時刻スケール上の δ/∇ 計算法を用いて p-ラプラシアン構造を扱う。
• f(u)/u^{p-1} における漸近的条件を満たすように、(aₖ, bₖ) → (0,0) となる列を構成することにより、無限可解性を確立する。

実験結果

リサーチクエスチョン

• RQ1 時刻スケール上での擬線形楕円型問題が、いつ無限個の正の解をもつのか。
• RQ2 固定点指数論法は、任意の時刻スケール上での p-ラプラシアンを含む動的方程式に、どのように適用可能か。
• RQ3 f(u) と p-ラプラシアン構造との相互作用が、解の多重性を保証するために果たす役割は何か。
• RQ4 f(u) の原点近傍における漸近的挙動は、ノルムに関して 0 に収束する解の列の存在にどのように影響するか。

主な発見

• max₀≤u≤a f(u) ≤ φₚ(aA) および min₀≤u≤b f(u) ≥ φₚ(bB) を満たす場合、A および B は時刻スケール依存定数であるが、問題は少なくとも1つの正の解をもつ。
• 任意の k ≥ 1 に対して、非線形項 f が区間 (a₁, a₂, ..., a_{k+1}) において上界と下界を交互に満たす場合、問題は少なくとも k 個の正の解をもつ。
• liminfₐ→₀ max₀≤u≤a f(u)/a^{p-1} ≤ φₚ(A) および limsup_b→₀ max₀≤u≤b f(u)/b^{p-1} ≥ φₚ(B) が成り立つ場合、‖uₖ‖ → 0 となる正の解の列が存在する。
• 本結果は、ℝ および ℤ 上での p-ラプラシアン方程式の古典的結果の存在および多重性に関する結果を、任意の時刻スケール、包括的にハイブリッド系を含めて一般化している。
• 本手法は、h ∈ L∞(0,T) および h ∈ C_ld(𝕋, ℝ₊*) である非ゼロ強制項に対しても適用可能であり、h = 0 に限らない応用範囲を広げている。
• 作用素 F の構築およびネストされた領域における固定点指数の使用により、異なる時刻スケール構造に対して一貫性のある堅牢性が保証されている。