[論文レビュー] Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach

Florica C. Cîrstea, Vicenţiu D. Rădulescu|arXiv (Cornell University)|Jun 7, 2005

Advanced Mathematical Modeling in Engineering参考文献 40被引用数 80

ひとこと要約

本稿では、カラマタ正則変動理論を用いて、境界吹き上がりを示す非線形楕円型方程式の大解の一意性および2項漸近展開を確立する。非線形性および重み関数に関する一般な条件下で、解は境界付近でゆっくり変動する関数に類する振る舞いを示し、正確な対数補正項を伴う。

ABSTRACT

We study the uniqueness and expansion properties of the positive solution of the logistic equation $Δu+au=b(x)f(u)$ in a smooth bounded domain $Ω$, subject to the singular boundary condition $u=+\infty$ on $\partialΩ$. The absorption term $f$ is a positive function satisfying the Keller--Osserman condition and such that the mapping $f(u)/u$ is increasing on $(0,+\infty)$. We assume that $b$ is non-negative, while the values of the real parameter $a$ are related to an appropriate semilinear eigenvalue problem. Our analysis is based on the Karamata regular variation theory.

研究の動機と目的

• 境界吹き上がりを示す非線形楕円型方程式の正の大解の一意性を確立すること。
• 正則変動理論を用いて、境界付近における大解の2項漸近展開を導出すること。
• 非線形性および重み関数に関する制限的仮定を除去することで、従来の結果を一般化すること。
• パラメータ $ a $ および重み $ b(x) $ が大解の存在および挙動に与える影響を分析すること。
• 境界付近における解の定性的な挙動を研究するための体系的枠組みを、カラマタ正則変動理論を用いて提供すること。

提案手法

• 境界付近における大解の漸近的挙動を分析するために、カラマタ正則変動理論を適用する。
• 大解の存在を保証するため、ケラー・オッシャーマン条件および $ f(u)/u $ が増加することの仮定を用いる。
• 距離関数 $ d = \text{dist}(x,\partial\Omega) $ を用いたモデル関数 $ h(d) $ を基に、上界解 $ u^+ $ および下界解 $ u^- $ を構成する。
• パラメータ $ \varepsilon $, $ \chi_\varepsilon^\pm $, および $ \lambda $ を用いた摂動論法により、漸近展開を制御する。
• 比較原理および $ f' $, $ f $, $ h $ を含む比の極限解析を用いて推定を導出し、$ h $ のゆっくり変動性を活用する。
• 大解の存在閾値を特定するために、$ \Omega_0 $ におけるラプラシアンの第一固有値 $ \lambda_{\infty,1} $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 非線形楕円型方程式 $ \Delta u + a u = b(x) f(u) $ が、$ \partial\Omega $ で $ u \to \infty $ を満たす一意的大解をもつための条件は何か？
• RQ2 非線形関数 $ f $ がケラー・オッシャーマン条件を満たし、$ f(u)/u $ が増加するとき、解は境界付近でどのように漸近的に振る舞うか？
• RQ3 距離関数 $ d $ に関する大解の正確な2項漸近展開は何か？また、重み関数 $ b(x) $ およびパラメータ $ a $ にどのように依存するか？
• RQ4 カラマタ正則変動理論を用いて、境界吹き上がり解の鋭い漸近的推定を体系的に導出できるか？
• RQ5 パラメータ $ \varepsilon $, $ \chi_\varepsilon^\pm $, および $ \lambda $ は、漸近展開の収束にどのように影響を与えるか？

主な発見

• 大解 $ u_a $ は、$ d \to 0 $ のとき、2項漸近展開 $ u_a(x) = \xi_0 h(d) \left[1 + \chi_\varepsilon^\pm (-\ln d)^{-\tau} + o((-\ln d)^{-\tau}) \right] $ を満たす。ここで $ h $ はゆっくり変動関数である。
• 極限 $ \lim_{d \searrow 0} \left[ -1 + \frac{u_a(x)}{\xi_0 h(d)} \right] (-\ln d)^\tau = \chi $ が存在し、有限である。これは正確な対数補正項を示している。
• 正則変動技法を用いて構成された上界解 $ u^+ $ および下界解 $ u^- $ との比較により、大解の一意性が確立される。
• 大解の存在は $ a < \lambda_{\infty,1} $ に同値であり、ここで $ \lambda_{\infty,1} $ は $ \Omega_0 $ における第一ディリクレ固有値である。$ \Omega_0 = \emptyset $ の場合は $ \lambda_{\infty,1} = \infty $ である。
• 重み関数 $ b(x) $ が $ \Omega \setminus \overline{\Omega}_0 $ で正であれば、漸近的挙動は $ b(x) $ の具体的な形に依存せず、$ h $ の正則変動性にのみ依存する。
• 比 $ \frac{\Psi^\pm(d) f'(\Psi^\pm(d))}{f(\Psi^\pm(d))} \to \rho + 1 $ が $ d \to 0 $ のとき成り立ち、$ \rho $ は $ f $ の正則変動指数である。このことから、鋭い推定が得られる。