[论文解读] 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

一句话总结

本文利用Karamata正则变体理论，建立了带边界爆破的半线性椭圆方程大解的唯一性及两倍渐近展开。在非线性项和权重函数满足一般条件时，证明了解在边界附近的行为类似于缓慢变化函数，并具有精确的对数校正项。

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.

研究动机与目标

• 建立一类带边界爆破的半线性椭圆方程正大解的唯一性。
• 利用正则变体理论，推导大解在边界附近的两倍渐近展开式。
• 通过去除对非线性项和权重函数的限制性假设，推广先前的结果。
• 分析参数 $ a $ 和权重 $ b(x) $ 对大解存在性与行为的影响。
• 提供一个系统框架，利用Karamata正则变体理论研究解在边界附近的定性行为。

提出的方法

• 应用Karamata正则变体理论分析大解在边界附近的渐近行为。
• 利用Keller–Osserman条件，并假设 $ f(u)/u $ 单调递增，以保证大解的存在性。
• 基于模型函数 $ h(d) $ 构造上下解 $ u^+ $ 和 $ u^- $，其中 $ d = \text{dist}(x,\partial\Omega) $。
• 通过参数 $ \varepsilon $、$ \chi_\varepsilon^\pm $ 和 $ \lambda $ 的扰动方法控制渐近展开。
• 利用比较原理和 $ f' $、$ f $ 与 $ h $ 相关比值的极限分析，结合 $ h $ 的缓慢变化性推导估计。
• 利用 $ \Omega_0 $ 中拉普拉斯算子的第一特征值 $ \lambda_{\infty,1} $ 刻画大解存在的临界阈值。

实验结果

研究问题

• RQ1 在何种条件下，半线性方程 $ \Delta u + a u = b(x) f(u) $ 允许存在唯一的边界爆破大解，且满足 $ u \to \infty $ 当 $ x \to \partial\Omega $？
• RQ2 当 $ f $ 满足Keller–Osserman条件且 $ f(u)/u $ 单调递增时，解在边界附近的渐近行为如何？
• RQ3 大解关于到边界距离 $ d $ 的精确两倍渐近展开式是什么？其如何依赖于权重 $ b(x) $ 和参数 $ a $？
• RQ4 Karamata正则变体理论能否系统地应用于推导边界爆破解的精确渐近估计？
• RQ5 参数 $ \varepsilon $、$ \chi_\varepsilon^\pm $ 和 $ \lambda $ 如何影响渐近展开的收敛性？

主要发现

• 大解 $ u_a $ 满足两倍渐近展开式 $ u_a(x) = \xi_0 h(d) \left[1 + \chi_\varepsilon^\pm (-\ln d)^{-\tau} + o((-\ln d)^{-\tau}) \right] $，当 $ d \to 0 $ 时成立，其中 $ 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} $，即 $ \Omega_0 $ 中拉普拉斯算子的第一狄利克雷特征值，若 $ \Omega_0 = \emptyset $，则 $ \lambda_{\infty,1} = \infty $。
• 渐近行为与 $ b(x) $ 的具体形式无关，只要在 $ \Omega \setminus \overline{\Omega}_0 $ 上 $ b > 0 $，且仅依赖于 $ h $ 的正则变体性质。
• 该方法通过证明比值 $ \frac{\Psi^\pm(d) f'(\Psi^\pm(d))}{f(\Psi^\pm(d))} \to \rho + 1 $ 当 $ d \to 0 $ 时成立，获得精确估计，其中 $ \rho $ 为 $ f $ 的正则变体指数。