[论文解读] p-Laplacian type equations involving measures

Tero Kilpeläinen|ArXiv.org|Apr 24, 2003

Nonlinear Partial Differential Equations参考文献 33被引用 11

一句话总结

本文研究了如下形式的拟线性椭圆方程的解：$-\operatorname{div}\mathcal{A}(x,\nabla u) = \mu$，其中 $\mu$ 是一个Radon测度，且 $\mathcal{A}$ 满足Leray-Lions条件。通过非线性势理论以及重整化/熵解的表述，本文建立了存在性与唯一性，特别是证明了当测度关于 $p$-容量绝对连续时，以及在 $p=n$ 且区域满足几何条件时，解的唯一性。

ABSTRACT

This is a survey on problems involving equations $-\operatorname{div}{\Cal A}(x, abla u)=μ$, where $μ$ is a Radon measure and ${\Cal A}:\bold {R}^n imes\bold R^n o \bold R^n$ verifies Leray-Lions type conditions. We shall discuss a potential theoretic approach when the measure is nonnegative. Existence and uniqueness, and different concepts of solutions are discussed for general signed measures.

研究动机与目标

• 建立涉及测度数据的拟线性方程解的存在性与唯一性，特别是针对 $p$-拉普拉斯型算子。
• 阐明不同解概念（如熵解与重整化解）在经典解失效时如何确保唯一性的作用。
• 研究解的正则性与可积性性质，特别是与Wolff势和 $p$-容量的关系。
• 通过引入更强的解概念与结构假设，解决超调和情形下的非唯一性问题。
• 在区域满足如均匀 $p$-厚度等几何条件下，将唯一性结果推广至临界情形 $p = n$。

提出的方法

• 使用非线性势理论，通过Wolff势刻画解，将解的逐点行为与测度的能量分布联系起来。
• 应用截断技术（$T_k(u)$）定义 $\mathcal{A}$-超调和函数的弱梯度，即使 $u$ 不局部可积亦可适用。
• 采用 $\mathcal{A}$-超调和函数及其比较原理的概念，以势论意义定义解。
• 引入熵解与重整化解作为更强的解概念，以确保唯一性，尤其适用于一般符号测度。
• 对 $\mathcal{A}$ 强制单调性与Hölder连续性施加条件，证明在梯度或解差具有额外可积性或有界性假设时，唯一性成立。
• 应用极大函数估计与Hodge型分解，强化临界情形 $p = n$ 下的唯一性结果。

实验结果

研究问题

• RQ1 在何种条件下，方程 $-\operatorname{div}\mathcal{A}(x,\nabla u) = \mu$ 对给定的Radon测度 $\mu$ 存在解？
• RQ2 为何经典解的概念无法保证唯一性，而更强的解概念（如熵解、重整化解）能恢复唯一性？
• RQ3 Wolff势在刻画测度数据方程解的逐点行为中起何作用？
• RQ4 在解的唯一性与可积性方面，临界情形 $p = n$ 与 $p < n$ 有何不同？
• RQ5 能否在不假设测度关于 $p$-容量绝对连续的条件下，对一般Radon测度建立唯一性？

主要发现

• 对任意有限非负Radon测度 $\mu$，存在一个 $\mathcal{A}$-超调和解 $u$，使得对所有 $k > 0$ 都有 $T_k(u) \in W^{1,p}_0(\Omega)$，从而保证了解在弱意义下定义良好。
• 当 $p > 2 - 1/n$ 时，解 $u$ 满足 $u \in W^{1,q}_0(\Omega)$ 对所有 $q < \frac{n(p-1)}{n-1}$ 成立，表明其可积性依维度与 $p$ 改进。
• 在一般情形下，当 $p \leq n$ 时唯一性不成立，反例如 $u(x) = |x|^{\frac{p-n}{p-1}} - 1$ 在穿孔球内满足 $\mu = 0$。
• 对于关于 $p$-容量绝对连续的测度 $\mu$，熵解与重整化解均存在且唯一。
• 在 $\mathcal{A}$ 强单调性与Hölder连续性假设下，若两个重整化解之差的梯度属于 $L^p$ 或为单侧有界，则二者相等。
• 在临界情形 $p = n$ 时，对于有界且正则、补集具有均匀 $p$-厚度的区域，唯一性在 $\bigcap_{q < n} W^{1,q}_0(\Omega)$ 中成立，且在 $W^{1,n-\varepsilon}_0(\Omega)$ 中甚至存在更强的唯一性（对某个 $\varepsilon > 0$）。