2025-11-17T16:43:13.598742

Non-linear Gagliardo--Nirenberg inequality involving a second-order elliptic operator in non-divergent form

KaÅamajska, PeÅ¡a, Roskovec

We obtain the inequalities of the form $$\int_Î©|\nabla u(x)|^2h(u(x))\,{\rm d} x\leq C\int_Î© \left( \sqrt{ |P u(x)||{\cal T}_{H}(u(x))|}\right)^{2}h(u(x))\,{\rm d} x +Î,$$ where $Î©\subset \mathbf{R}^n$ is a bounded Lipschitz domain, $u\in W^{2,1}_{\rm loc}(Î©)$ is non-negative, $P$ is a uniformly elliptic operator in non-divergent form, ${\cal T}_{H}(\cdot )$ is certain transformation of the monotone $C^1$ function $H(\cdot)$, which is the primitive of the weight $h(\cdot)$, and $Î$ is the boundary term which depends on boundary values of $u$ and $\nabla u$, which hold under some additional assumptions. Our results are linked to some results from probability and potential theories, e.g.~to some variants of the Douglas formulae.

academic

Non-linear Gagliardo--Nirenberg inequality involving a second-order elliptic operator in non-divergent form

基本信息

论文ID: 2308.00545
标题: Non-linear Gagliardo--Nirenberg inequality involving a second-order elliptic operator in non-divergent form
作者: Agnieszka Kałamajska (华沙大学), Dalimil Peša (查理大学), Tomáš Roskovec (南波西米亚大学)
分类: math.AP (Analysis of PDEs)
发表时间: 2023年8月提交，2025年6月6日修订版
论文链接: https://arxiv.org/abs/2308.00545v3

摘要

本文建立了形如以下的非线性不等式： $\int_\Omega |\nabla u(x)|^2h(u(x)) dx \leq C\int_\Omega \left(\sqrt{|Pu(x)||T_H(u(x))|}\right)^2h(u(x)) dx + \Theta$

其中 $\Omega \subset \mathbb{R}^n$ 是有界Lipschitz区域， $u \in W^{2,1}_{loc}(\Omega)$ 是非负函数， $P$ 是非散度形式的一致椭圆算子， $T_H(\cdot)$ 是单调 $C^1$ 函数 $H(\cdot)$ 的某种变换（ $H$ 是权函数 $h$ 的原函数）， $\Theta$ 是依赖于 $u$ 和 $\nabla u$ 边界值的边界项。这些结果与概率论和位势理论中的一些结果相关，如Douglas公式的某些变形。

研究背景与动机

问题的重要性

椭圆偏微分方程的先验估计：本文的主要动机之一是为非线性偏微分方程的解获得先验估计，特别是对于形如 $Pu = f(x)u^{-\gamma}$ 的二阶椭圆方程。
调和分析和位势理论的应用：研究与概率论和位势理论中的结果建立联系，特别是与解析半群生成元相关的理论。
非散度形式算子的重要性：非散度形式的二阶算子在椭圆偏微分方程理论中起关键作用，在概率论中是Feller半群生成元的重要子类，也出现在Itô扩散过程的生成元和Kolmogorov后向方程中。

现有方法的局限性

现有的类似不等式主要针对：

经典Laplace算子的情况
要求更强的正则性假设（如 $u \in W^{2,1}(\Omega) \cap C(\bar{\Omega})$ ）
主要限制在散度形式的算子

本文的创新在于处理非散度形式的一般椭圆算子，并在较弱的假设下（ $u \in W^{2,1}_{loc}(\Omega)$ 和 $\tilde{H}(u) \in W^{2,1}(\Omega)$ ）建立结果。

核心贡献

建立了涉及非散度形式椭圆算子的非线性Gagliardo-Nirenberg型不等式，推广了之前仅针对Laplace算子的结果。
在较弱的正则性假设下证明了恒等式和不等式，允许函数在区域的正测度集上取值0或边界值。
提供了两种简化不等式的方法：
- 基于符号条件和Dirichlet边界条件
- 基于Opial型不等式
建立了新的Opial型不等式，这些结果具有独立的数学意义。
揭示了与Douglas公式、概率论和位势理论的深层联系。

方法详解

基本设定

区域假设 (Ω): $\Omega \subseteq \mathbb{R}^n$ ( $n \geq 2$ ) 是有界Lipschitz区域。

椭圆算子: 非散度形式的一致椭圆算子 $Pu = \sum_{i,j} a_{i,j}(x)\frac{\partial^2 u}{\partial x_i \partial x_j}(x)$

其中矩阵 $A(x) = \{a_{i,j}(x)\}$ 满足一致椭圆性条件： $c_A\|\xi\|^2 \leq \xi^T A(x)\xi \leq C_A\|\xi\|^2$

权函数系统:

主权函数 $h: (0,B) \to (0,\infty)$
一阶原函数 $H$ 满足 $H' = h$
二阶原函数 $\tilde{H}$ 满足 $\tilde{H}'' = h$
变换 $T_H(s) = \frac{H(s)}{h(s)}$ , $G_H(s) = \frac{H^2(s)}{h(s)}$

主要定理

定理 3.1 (基本恒等式和不等式)：在假设 (G) 和 (u) 下：

恒等式： $\int_\Omega \|\nabla u\|^2_A h(u(x)) dx = -\int_\Omega Pu H(u) dx - \int_\Omega \text{div}A \cdot \nabla u H(u) dx + \Theta$

其中边界项 $\Theta = \int_{\partial\Omega} n(x)^T A(x)\nabla(\tilde{H}(u)) d\sigma(x)$ 。

不等式：

当 $\text{div}A \equiv 0$ 时： $\int_\Omega \|\nabla u\|^2_A h(u) dx \leq \int_\Omega |Pu||H(u)| dx + \Theta$
一般情况： $\int_\Omega \|\nabla u\|^2_A h(u) dx \leq d_A \int_\Omega G_H(u) dx + 2\int_\Omega |Pu||H(u)| dx + 2\Theta$

技术创新点

链式法则的处理：关键洞察是虽然点态链式法则 $P(\tilde{H}(u)) = \tilde{H}'(u)Pu$ 不成立，但可以建立积分形式的上界估计。
边界项的分析：通过精细的迹理论分析处理边界项 $\Theta$ ，即使在 $u \notin W^{1,1}(\Omega)$ 的情况下。
Opial型不等式的建立：证明了新的Opial型不等式： $\int_{\Omega \cap \{0<u\}} |T_H(u)|^2 h(u) dx \leq C_P C_{\tilde{H}} \int_{\Omega \cap \{0<u\}} \|\nabla u\||T_H(u)|h(u) dx$

实验设置

本文是纯理论数学论文，不涉及数值实验。主要通过以下方式验证理论结果：

理论验证方法

具体例子构造：
- 例子 3.7：构造 $u(x) = (1-|x|)^\alpha$ ( $\alpha < 0$ )， $h(s) = s^\beta$ ( $\beta < 0$ )
- 例子 3.8：一维情况 $u(x) = \text{sgn}(x)|x|^{1/2+\varepsilon} + 1$
条件验证：验证假设 $\tilde{H}(u) \in W^{2,1}(\Omega)$ 不蕴含 $u \in W^{2,1}(\Omega)$ 。
边界情况分析：分析各种边界条件下的结果。

主要结果

核心不等式的建立

定理 4.1 (基于符号条件的简化)：在额外假设下可以消除 $G_H$ 项： $\int_{\Omega \cap \{u \in (0,B)\}} \|\nabla u\|^2_A h(u) dx \leq \int_{\Omega \cap \{u \in (0,B)\}} |Pu||H(u)| dx$

定理 4.4 (基于Opial不等式的简化)：当 $\kappa = \|\text{div}A\|_{L^\infty} c_A^{-1} C_P^2 C_{\tilde{H}}^2 < 1$ 时： $\int_{\Omega \cap \{u \in (0,B)\}} \|\nabla u\|^2_A h(u) dx \leq \frac{1}{1-\kappa}\left(\int_{\Omega \cap \{u \in (0,B)\}} |Pu||H(u)| dx + \Theta\right)$