[论文解读] Nonlinear and non-coercive elliptic problems with integrable data

Mohsen Ben Cheikh Ali, Olivier Guibé|ArXiv.org|Mar 12, 2008

Nonlinear Partial Differential Equations参考文献 15被引用 7

一句话总结

本文建立了在主算子因退化低阶项而缺乏强制性时，具有可积数据 $ f \in L^1(\Omega) $ 的非线性、非强制椭圆问题的重整化解的存在性与唯一性。通过改进的截断技巧与加权索伯列夫估计，作者在非线性项与低阶项的正则性假设较弱的条件下证明了唯一性，将先前结果推广至临界情形 $ p = N $ 及一般非强制结构。

ABSTRACT

In this paper we study existence and uniqueness of renormalized solution to the following problem $λ(x,u) -div a(x,Du) +Φ(x,u)) =f$ with $f$ in $L^1$ and with Dirichlet-Neumann boundary condition. The main difficulty in this task is that in general the operator entering in the above equation is not coercive in a Sobolev space. Moreover, the possible degenerate character of $λ$ with respect to $u$ renders more complex the proof of uniqueness for integrable data $f$.

研究动机与目标

• 研究非强制算子与可积数据 $ f \in L^1(\Omega) $ 的非线性椭圆方程解的存在性与唯一性，其中标准强制性不成立。
• 克服由低阶项 $ \Phi(x,u) $ 引起的强制性缺失，该低阶项可能在算子中主导梯度项。
• 将重整化解的框架扩展至具有 $ L^1 $ 数据的非强制问题，特别是临界情形 $ p = N $。
• 在弱于经典强单调性的正则性假设下建立唯一性，尤其当 $ \lambda(x,u) $ 严格单调或为零时。
• 为具有混合边界条件的穿孔域的均匀化问题提供统一处理方法。

提出的方法

• 作者采用迪普纳与利昂斯引入的重整化解概念，以处理非强制情形下的 $ L^1 $ 数据。
• 关键技术工具是使用截断函数 $ T_n(u) $，并结合测试函数 $ \frac{h_n(u) T_\sigma(u - v)}{\sigma} $，以控制两个解之间的差异。
• 通过霍尔德不等式与索伯列夫嵌入，推导出加权 $ L^p $-型估计，特别针对项 $ \frac{|Du|^p}{(1 + |u|)^{1+m}} $，确保其可积性。
• 证明依赖于法图引理与勒贝格收敛定理，以在截断方程中取极限，并证明 $ u = v $ 几乎处处在 $ \Omega $ 中成立。
• 关键步骤在于在 $ L^1(\Omega) $ 中有界项 $ \left|b(x)\right|^2 (|u| + |v| + 1)^{2\gamma} (|Du| + |Dv|)^{2-p} $，通过精心选择参数与可 summability 条件实现。
• 该方法利用算子 $ \mathbf{a}(x,Du) + \Phi(x,u) $ 的结构，假设 $ \mathbf{a} $ 单调且 $ \Phi $ 满足次临界增长条件。

实验结果

研究问题

• RQ1 当主算子缺乏强制性时，非强制椭圆问题在 $ L^1 $ 数据下，重整化解在何种条件下存在？
• RQ2 当低阶项 $ \Phi(x,u) $ 非严格单调且算子退化时，此类问题的唯一性是否可建立？
• RQ3 在 $ p = N $ 情形下，对 $ \lambda(x,u) $ 与 $ \Phi(x,u) $ 的何种正则性条件可保证重整化解的唯一性？
• RQ4 当 $ f \in L^1(\Omega) $ 且 $ p \leq N $ 时，如何在存在性证明中补偿强制性的缺失？
• RQ5 是否可能在不假设 $ \Phi $ 全局利普希茨连续的条件下证明唯一性，特别是当 $ \lambda(x,u) \equiv 0 $ 时？

主要发现

• 本文在 $ \Phi $ 与 $ b(x) $ 的适当可 summability 及增长条件下，证明了非强制椭圆问题 (1.1)–(1.3) 对 $ f \in L^1\left(\Omega\right) $ 存在重整化解，将先前结果推广至非强制情形。
• 当 $ \lambda(x,u) $ 严格单调且 $ \Phi(x,u) $ 关于 $ u $ 局部利普希茨连续时，即使缺乏强制性，也建立了重整化解的唯一性。
• 当 $ \lambda(x,u) \equiv 0 $ 时，在 $ \mathbf{a} $ 与 $ \Phi $ 满足全局条件（包括 $ b(x) $ 的临界增长条件）且 $ 1 < p \leq 2 $ 时，唯一性得以证明。
• 作者证明了 $ \left|b(x)\right|^2 (|u| + |v| + 1)^{2\gamma} (|Du| + |Dv|)^{2-p} \in L^1(\Omega) $，这对唯一性证明至关重要。
• 建立了极限 $ \lim_{\sigma \to 0} \frac{1}{\sigma^2} \int_\Omega \frac{|DT_\sigma(u - v)|^2}{(|Du| + |Dv|)^{2-p}} dx = 0 $，意味着 $ u = v $ 几乎处处在 $ \Omega $ 中成立，从而确认了唯一性。
• 该方法成功处理了临界情形 $ p = N $，在标准强制性失效且索伯列夫嵌入为最优时，通过改进的截断与加权估计策略实现。