几乎处处解是否为弱解？——关于二阶椭圆方程的技术疑问

阿华AIGC实验室

2026-4-16

嘿，这个问题问得很精准！答案是肯定的，不过得结合椭圆算子的类型（散度型/非散度型）和弱可微性的定义来拆解，我给你一步步理清楚：

情况1：散度型椭圆算子

先拿最常见的散度型算子举例，比如标准形式：
$$Lu = -\sum_{i,j=1}^n \partial_i(a_{ij}(x)\partial_j u) + \sum_{i=1}^n b_i(x)\partial_i u + c(x)u$$
这里$a_{ij}, b_i, c, f$都是光滑函数，而且矩阵$(a_{ij})$满足椭圆性条件（简单说就是正定，保证算子的“椭圆性”）。

已知$u$是弱可微的（也就是一阶弱导数$\nabla u$在区域内局部可积），且$Lu = f$在区域内几乎处处成立。我们要验证的是$u$满足弱解的定义：对任意紧支光滑测试函数$\varphi \in C_0^\infty(\Omega)$，都有对应的积分等式成立。

首先，因为$Lu=f$几乎处处成立，两边乘$\varphi$再积分，等式肯定成立：
$$\int_\Omega (Lu)\varphi , dx = \int_\Omega f \varphi , dx$$
接下来就是把左边的积分转化为弱解的标准形式。由于$a_{ij}$光滑，$\varphi$有紧支集，再加上$u$弱可微，我们可以对散度项做分部积分（弱导数的分部积分是合法的）：
$$\int_\Omega -\partial_i(a_{ij}\partial_j u)\varphi , dx = \int_\Omega a_{ij}\partial_j u \partial_i \varphi , dx$$
而一阶项和零阶项的积分，因为$\partial_i u$局部可积，$\varphi$光滑，直接分部积分就能转化为关于$u$的积分：
$$\int_\Omega (b_i \partial_i u + c u)\varphi , dx = \int_\Omega u \left(-\partial_i(b_i \varphi) + c \varphi\right) , dx$$
把这些结果合起来，就正好得到弱解定义要求的积分等式，所以$u$确实是弱解。

情况2：非散度型椭圆算子

如果算子是非散度型的，比如：
$$Lu = \sum_{i,j=1}^n a_{ij}(x)\partial_{ij} u + \sum_{i=1}^n b_i(x)\partial_i u + c(x)u$$
这里要注意：$u$只是弱可微（一阶弱导数存在），但经典的二阶导数$\partial_{ij} u$本来不一定存在，但题目说$Lu=f$几乎处处成立，这就意味着经典二阶导数在几乎处处存在，并且满足等式。

这时候我们可以用椭圆方程的正则性结果：因为系数$a_{ij}$和$f$都光滑，加上$Lu=f$几乎处处成立，结合$u$的弱可微性，能直接推出$u$的正则性更高——比如$u$属于$C^{{1,\alpha}$甚至$C}2$（具体看教材里的De Giorgi-Nash定理或者Schauder估计，光滑系数下正则性会很好），也就是说$u$的二阶弱导数存在，而且和经典二阶导数几乎处处相等。

接下来的步骤就和散度型类似了：取测试函数$\varphi$，对$Lu=f$两边乘$\varphi$积分，然后对二阶项做两次分部积分（因为二阶弱导数存在，分部积分合法），一阶项做一次分部积分，最后就能得到弱解的积分等式，所以$u$也是弱解。