[论文解读] A Lazer-McKenna type problem with measures

Luigi Orsina, Francesco Petitta|arXiv (Cornell University)|Jun 11, 2015

Advanced Mathematical Modeling in Engineering参考文献 12被引用 28

一句话总结

本文证明了在测度数据下，具有奇性椭圆狄利克雷问题解的存在性与唯一性，具体为 $-\Delta u = \mu / u^\gamma$ 在 $\Omega$ 中，其中 $\mu$ 是关于 $q(\gamma)$-容量非负有界且扩散的Radon测度。作者通过构造局部下界屏障并使用单调逼近，证明了 $\gamma > 0$ 时的存在性，并通过Kato型不等式与弱最大值原理，证明了 $\gamma \geq 1$ 时的唯一性，将结果从 $L^p$ 数据推广至一般扩散测度。

ABSTRACT

In this paper we are concerned with a general singular Dirichlet boundary value problem whose model is the following $$ \begin{cases} -Δu = \fracμ{u^γ} & ext{in}\ Ω, u=0 & ext{on}\ \partialΩ, u>0 & ext{on}\ Ω\,. \end{cases} $$ Here $μ$ is a nonnegative bounded Radon measure on a bounded open set $Ω\subset\mathbb{R}^N$, and $γ>0$.

研究动机与目标

• 建立当 $\mu$ 是关于 $q(\gamma)$-容量扩散的非负有界Radon测度时，奇异椭圆问题 $-\Delta u = \mu / u^\gamma$ 解的存在性。
• 通过为逼近问题构造局部下界屏障，解决在无法使用有界函数单调序列逼近测度数据时的挑战。
• 将已知的存在性结果从 $L^p$ 数据推广至一般扩散测度，特别是那些关于Lebesgue测度奇异的测度。
• 在 $H^1_{\rm loc}$ 解的框架下，通过Kato型不等式与弱最大值原理，证明 $\gamma \geq 1$ 时的一般唯一性结果。
• 通过避免单调性论证并依赖屏障构造，为非奇异测度数据提供现有结果的简化证明。

提出的方法

• 为逼近解构造局部下界屏障，以确保下界一致有界，从而实现对奇异项 $1/u^\gamma$ 的逐点控制。
• 使用正则化数据 $\mu_n$ 和 $u_n$ 的逼近问题序列，其中 $u_n$ 满足 $-\Delta u_n = \mu_n / (u_n + 1/n)^\gamma$ 在 $\Omega$ 中，$u_n = 0$ 在 $\partial\Omega$ 上，以处理奇异性。
• 对扩散测度应用Dal Maso与Baras-Pierre的单调逼近方法，以处理 $\mu$ 关于Lebesgue测度奇异的情况。
• 利用容量理论通过 $q(\gamma)$-容量刻画扩散测度类，确保测度不赋予零容量集正测度。
• 通过 $W^{1,q(\gamma)}_0(\Omega)$ 中的弱收敛与 $L^\infty$-弱*收敛，将极限过程应用于非线性项 $\mu / u^\gamma$。
• 通过推导 $w = u - v$ 的Kato型不等式 $-\Delta w^+ \leq 0$，并应用弱最大值原理，证明 $\gamma \geq 1$ 时的唯一性。

实验结果

研究问题

• RQ1 当 $\mu$ 不属于任何 $p \geq 1$ 的 $L^p$ 空间时，奇异问题 $-\Delta u = \mu / u^\gamma$ 在何种 $\mu$ 条件下存在解？
• RQ2 对于关于 $q(\gamma)$-容量扩散的奇异测度 $\mu$，即使 $\mu$ 关于Lebesgue测度奇异，是否仍可建立解的存在性？
• RQ3 当数据为测度时，能否不依赖逼近函数的单调序列构造解？
• RQ4 容量理论在刻画此类奇异问题中可接受测度数据类方面起何作用？
• RQ5 当 $\gamma \geq 1$ 时，即使测度数据是关于Lebesgue测度奇异的扩散测度，解是否仍唯一？

主要发现

• 若 $\mu$ 是关于 $q(\gamma)$-容量非负有界且扩散的Radon测度，则对任意 $\gamma > 0$，问题 $-\Delta u = \mu / u^\gamma$ 存在解，其中 $q(\gamma) = \frac{N(\gamma+1)}{N+\gamma}$。
• 解属于 $W^{1,q(\gamma)}_0(\Omega)$ 且几乎处处在 $\Omega$ 中为正，奇异项 $\mu / u^\gamma$ 在弱收敛意义下定义良好。
• 当 $\gamma \geq 1$ 时，解在 $H^1_{\rm loc}(\Omega)$ 函数类中唯一，通过Kato型不等式与弱最大值原理证明。
• 作者通过构造局部下界屏障，避免使用先前工作中依赖的单调性论证，为非奇异测度数据提供了存在的简化证明。
• 结果是精确的：若 $\mu$ 赋予零 $q(\gamma)$-容量集正测度，则无解，确认了扩散条件的必要性。
• 唯一性结果可推广至 $\gamma < 1$ 的 $H^1_{\rm loc}(\Omega)$ 解，表明若此类解存在，则其唯一。