[論文レビュー] Fredholm alternative, semilinear elliptic problems, and Wentzell boundary conditions

Ciprian G. Gal, Gisèle Ruiz Goldstein+3 more|arXiv (Cornell University)|Nov 13, 2013

Advanced Mathematical Modeling in Engineering参考文献 16被引用数 6

ひとこと要約

本稿は、境界上でのラプラシアン＝ベルトラミー作用素を含むウェントツィル型境界条件を有する半線形楕円型問題に対して、非線形のフリードホルムの代替定理を確立する。Landesman-LazerおよびMawhinの枠組みを非線形2階境界条件を有する問題へ拡張し、ヒルバート空間における変分法および劣微分法を用いて、可解性の必要十分条件を提示する。

ABSTRACT

We give necessary and sufficient conditions for the solvability of some semilinear elliptic boundary value problems involving the Laplace operator with linear and nonlinear highest order boundary conditions involving the Laplace-Beltrami operator.

研究の動機と目的

• 非線形ウェントツィル型境界条件を有する半線形楕円型問題へ、Landesman-LazerおよびMawhinのフリードホルムの代替定理を一般化すること。
• 内部でラプラス作用素、境界でラプラシアン＝ベルトラミー作用素を含む楕円型境界値問題の可解性に必要な十分条件を確立すること。
• 弱解の存在を保証するための、データ（f, g）および非線形項（α₁, α₂）のグローバル制約の役割を分析すること。
• 古典的フリードホルムの代替定理を、ラプラシアン＝ベルトラミー作用素を含む高階の境界項および非同次境界データを有する非線形問題へ拡張すること。
• 単調かつ連続な非線形項を領域および境界に有する問題を扱うための、劣微分作用素およびソボレフ空間論を用いた変分的枠組みを提供すること。

提案手法

• H^1(∇)、L^2(∇)、および∂∇上のトレース空間における内積を含む変分的定式化を通じて弱解の概念を定式化する。
• ヒルバート空間上の劣微分作用素の理論を用いて、非線形項α₁(u)およびα₂(tr(u))を凸汎関数の劣微分として表現する。
• 楕円型正則性理論を用いて、適切な成長および単調性条件のもとでu ∈ H²(Ω)およびtr(u) ∈ H²(Γ)を導出する。
• 可解性を特徴付けるために、λ₁ = |Ω|、λ₂ = ∫_Γ dS/b であるλ₁ℛ(α₁) + λ₂ℛ(α₂)の形のグローバル制約を導入する。
• α₁、α₂の成長条件（GC1）および（GC2）を課し、α_i(u) ∈ L²が保証され、弱定式化における可積分性が確保されるようにする。
• 最大単調作用素の抽象理論および劣微分の和を用いて、A₁ + A₂ = A₃を証明し、問題の線形部および非線形部を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ウェントツィル型境界条件を有する半線形楕円型問題の弱解の存在に必要な十分条件は何か？
• RQ2 ラプラシアン＝ベルトラミー作用素を含む非線形2階境界作用素を有する問題へ、フリードホルムの代替定理はどのように拡張されるか？
• RQ3 データfおよびgのグローバル制約と、α₁およびα₂の像の組み合わせが、可解性をどのように決定するか？
• RQ4 α₁およびα₂の成長条件が、弱解に必要な可積分性および正則性をどのように保証するか？
• RQ5 トレース作用素および境界ソボレフ空間が、このような境界値問題の定式化および解析において果たす役割は何か？

主な発見

• 問題(1.5)の可解性は、データfおよびgの重み付き平均がα₁およびα₂の像の和に属するという条件によって特徴づけられる。具体的には、|Ω|⁻¹ ∫_Ω f dx ∈ ℛ(α₁)および(∫_Γ dS/b)⁻¹ ∫_Γ g dS ∈ ℛ(α₂)であり、組み合わせた制約条件として ̃I = λ₁ℛ(α₁) + λ₂ℛ(α₂) が成り立つ。
• 本稿ではA₁ + A₂ = A₃およびℛ(A₁) + ℛ(A₂) ≃ ℛ(A₃)が証明され、A₁、A₂、A₃は問題の線形部および非線形部に関連する劣微分作用素である。
• 成長条件（GC1）および（GC2）のもとで、非線形項α₁(u)およびα₂(tr(u))がL²に属することが示され、弱定式化が適切に定義されることを保証する。
• N=3の場合、成長条件（GC1）ではr = N/(N−2) = 3を要し、q>0の場合、（GC2）ではr = (N−1)/(N−2) = 2を要する。これにより、ソボレフ埋蔴によりL²における可積分性が保証される。
• 最大単調作用素の理論および劣微分の和を用いて、弱解の存在が確立され、古典的フリードホルムの代替定理が非線形かつ高階の境界問題へ一般化される。
• Landesman-LazerおよびMawhinの枠組みは、ウェントツィル境界条件を有する問題へ拡張され、データおよび非線形項のグローバル制約を用いた可解性の完全な特徴づけが得られる。