[论文解读] AN ELLIPTIC EQUATION WITH A MILD SINGULARITY AT u = 0: EXISTENCE AND HOMOGENIZATION

Daniela Giachetti, Pedro J. Martínez−Aparicio+1 more|arXiv (Cornell University)|Feb 22, 2015

Advanced Mathematical Modeling in Engineering参考文献 10被引用 4

一句话总结

该论文证明了在系数具强制性和有界性条件下，对具有在 $ u = 0 $ 附近行为类似 $ 1/u^\gamma $ 的奇异非线性项 $ g(u) $ 的半线性椭圆方程，其非负解的存在性与稳定性。此外，论文在单调性条件下证明了解的唯一性，并研究了此类方程在含小孔的穿孔域中的渐近均匀化问题。

ABSTRACT

In this paper we consider semilinear elliptic equations with singularities, whose prototype is the following \begin{equation*} \begin{cases} \displaystyle - div \,A(x) D u = f(x)g(u)+l(x)& \mbox{in} \; \Omega, u = 0 & \mbox{on} \; \partial \Omega, \end{cases} \end{equation*} where $\Omega$ is an open bounded set of $\mathbb{R}^N,\, N\geq 1$, $A\in L^\infty(\Omega)^{N imes N}$ is a coercive matrix, $g:[0,+\infty) ightarrow [0,+\infty]$ is continuous, and $0\leq g(s)\leq {{1}\over{s^\gamma}}+1$ $\forall s>0$, with $0 1$ if $N=2$, $r=1$ if $N=1$, $f(x), l(x)\geq 0$ a.e. $x \in \Omega$. We prove the existence of at least one nonnegative solution and a stability result; moreover uniqueness is also proved if $g(s)$ is nonincreasing or almost nonincreasing. Finally, we study the homogenization of these equations posed in a sequence of domains $\Omega^\epsilon$ obtained by removing many small holes from a fixed domain $\Omega$.

研究动机与目标

• 建立在 $ u = 0 $ 附近满足 $ g(u) \leq 1/u^\gamma + 1 $ 的一类半线性椭圆方程的非负弱解的存在性。
• 分析解在数据和方程结构扰动下的稳定性。
• 在 $ g $ 为非增或几乎非增时，证明解的唯一性。
• 研究此类方程在从固定区域 $ \Omega $ 中移除大量小孔后形成的区域 $ \Omega^\epsilon $ 中的渐近均匀化极限。

提出的方法

• 使用加权Sobolev空间与截断技巧处理 $ u = 0 $ 处的奇点，确保非线性项的可积性。
• 结合上下解方法与先验估计，证明解属于 $ L^\infty \cap H^1_0 $ 的存在性。
• 运用补偿紧致性与弱收敛论证分析穿孔域中渐近均匀化过程。
• 利用矩阵 $ A(x) $ 的强制性以及 $ f(x), l(x) $ 的有界性，导出与 $ \epsilon $ 无关的统一估计。
• 构造一系列截断非线性项的逼近问题，随后取极限以处理奇点。
• 利用 $ \Gamma $-收敛与两尺度收敛理论，在 $ \epsilon \to 0 $ 极限下识别出均匀化后的极限方程。

实验结果

研究问题

• RQ1 在何种条件下，具有 $ u = 0 $ 处奇点的半线性椭圆方程允许存在非负弱解？
• RQ2 解如何依赖于奇异非线性项 $ g(u) $ 的结构，特别是当 $ g(u) \leq 1/u^\gamma + 1 $ 时？
• RQ3 在何种条件下解唯一？$ g $ 的单调性在唯一性中起何作用？
• RQ4 当方程定义在一系列含小孔的穿孔域 $ \Omega^\epsilon $ 上时，其均匀化极限是什么？
• RQ5 解在 $ \epsilon \to 0 $ 极限下的行为如何？均匀化域中的有效方程具有何种结构？

主要发现

• 论文证明了在给定的 $ g $ 的增长条件下，奇异椭圆问题至少存在一个非负弱解 $ u \in L^\infty(\Omega) \cap H^1_0(\Omega) $。
• 建立了稳定性结果：当数据和非线性项被逼近时，解在 $ H^1_0(\Omega) $ 中强收敛。
• 若 $ g $ 在 $ (0, \infty) $ 上非增或几乎非增，则解唯一。
• 在均匀化设定下，$ \Omega^\epsilon $ 中方程的解 $ u^\epsilon $ 在 $ H^1_0(\Omega) $ 中弱收敛，在 $ L^2(\Omega) $ 中强收敛于极限 $ u $，该极限满足具有有效系数的均匀化方程。
• 均匀化方程保持与原方程相同的结构，但采用通过两尺度收敛与校正法导出的有效矩阵 $ A^\text{hom} $。
• 当 $ \gamma < 1 $（若 $ N = 1 $），$ \gamma < 2 $（若 $ N = 2 $），或 $ \gamma < 2 $（若 $ N \geq 3 $）时，存在性与收敛性结果成立，从而保证奇异项的可积性。