[論文レビュー] Existence and stability of solutions of general semilinear elliptic equations with measure data

Laurent Véron|arXiv (Cornell University)|Jul 18, 2012

Advanced Mathematical Modeling in Engineering参考文献 7被引用数 9

ひとこと要約

本稿は、一般の非線形楕円型方程式 $-Lu + g(x,u) = \omega$ に対して、測度データを伴う解の存在および安定性の統一的理論を確立する。ここで $L$ は一様楕円型作用素であり、$g$ はクラス $G_{h,\Psi}$ における新しい可積分性条件を満たす。主な貢献は、$\Psi$-関数フレームワークを用いた臨界性条件の一般化であり、測度の弱収束下でも存在および弱安定性が保証される。

ABSTRACT

We study existence and stability for solutions of $Lu+g(x; u) = \\omega$ in the closure of open set $\\Omega$ where L is a second order elliptic operator, $g$ a Caratheodory function and $\\omega$ a measure in $\\bar\\Omega$. We present a uni ed theory of the Dirichlet problem and the Poisson equation. We prove the stability of the problem with respect to weak convergence of the data.

研究の動機と目的

• 測度データを伴うディリクレ問題とポisson方程式の取り扱いを、一つの枠組みで統一すること。
• 非線形関数 $g$ の既存の臨界性条件を、$\Psi$-関数を用いたより広範な可積分性基準へ一般化すること。
• 一般の楕円型作用素に対して、測度データの弱収束下での解の弱安定性を確立し、既存の結果を拡張すること。
• $\Delta_2$-条件およびマルチンキエヴィチ空間の推定を用いて、臨界性を超臨界領域へ自然に拡張すること。

提案手法

• Young関数 $\Psi$ と重み $h$ を用いた一般化された可積分性条件を満たすCarathéodory関数のクラス $G_{h,\Psi}$ を導入する。
• Green作用素 $\mathbb{G}$ を用いて最大関数 $\overline{\mathbb{G}}[|\omega|]$ を定義し、測度データに対してノルム $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega|])$ を関連付ける。
• Brezis型推定を用いて、$L^1_\rho(\Omega)$-空間における解およびその非線形項の成長を制御する。
• $\Psi$-下位集合と $\Psi$ における $\Delta_2$-条件を用いて、$g \circ u_n$ の一様可積分性を確立する。
• 測度の弱収束 $\omega_n \rightharpoonup \omega$ を $C_1(\overline{\Omega})$-双対空間で扱い、$C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$ の有界性を制御する。
• 一様可積分性と単調性の議論を組み合わせることで、解 $u_n \to u$ の a.e. 収束および $L^1(\Omega)$ 収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 測度データ（$\Omega$ 内および $\partial\Omega$ 上）の種別にかかわらず、$-Lu + g(x,u) = \omega$ の解の存在および安定性をどのように統一的に扱えるか？
• RQ2 古典的臨界性仮定を越えて、解の存在および安定性を保証する $g$ の一般化された可積分性条件は何か？
• RQ3 安定性結果を一般の一様楕円型作用素 $L$ および $\overline{\Omega}$ 上の測度データへ拡張できるか？
• RQ4 $\Psi$ における $\Delta_2$-条件が $g \circ u_n$ の一様可積分性を保証するために果たす役割は何か？
• RQ5 新しいフレームワーク $G_{h,\Psi}$ は、古典的臨界性条件をどのように超臨界領域へ拡張するか？

主な発見

• $g \in G_{h,\Psi}$ かつ $\Psi$ が $\Delta_2$-条件を満たす限り、任意の $\omega \in B^{\Psi}_{h}(\overline{\Omega})$ に対して $-Lu + g(x,u) = \omega$ の解が存在する。
• 弱安定性が成立する：$\omega_n \rightharpoonup \omega$ が $C_1(\overline{\Omega})^*$ で成り立ち、かつ $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$ が一様有界であれば、$u_n \to u$ は $L^1(\Omega)$ および $\Omega$ 上 almost everywhere で収束する。
• $-Lu_n + g \circ u_n = \omega_n$ の解 $u_n$ は、提示された仮定のもとで $g \circ u_n \in L^1_\rho(\Omega)$ として $n$ に一様に成り立つ。
• $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$ の有界性と $\Psi$ における $\Delta_2$-条件により、$L^1_\rho(\Omega)$ 内での $g \circ u_n$ の一様可積分性が保証される。
• 本フレームワークは、既存の結果を一般化する：$\Psi(t) = t^{\alpha}$ のとき、[13] で得られた $\alpha$-臨界性条件が回復され、$\Psi(t) = t^{\beta}$ のとき、変数係数非線形項へ拡張される。
• 境界 $\partial\Omega$ 上に特異部をもつ測度 $\omega_n$ に対しては、$\omega_{n,s} \in B^{\Psi}_{h}(\overline{\Omega})$ かつ $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_{n,s}|])$ が一様有界であれば、安定性結果が成り立つ。