On the traces of the L_2-solution of a general linear differential equation in the domain

技术摘要：一般线性微分方程 $L^2$-解在区域中的迹

问题陈述
本文探讨具有光滑系数的一般线性偏微分方程（PDE）在有界区域 $\Omega \subset \mathbb{R}^n$（具有光滑边界 $\partial \Omega$）中的边值问题（BVPs）的一般理论。具体而言，它研究了希尔伯特空间 $L^2(\Omega)$（记为 $H$）中解的边界性质。核心问题是确定解 $u$ 在边界 $\partial \Omega$ 上的“迹”的条件，使得能够根据这些迹和方程 $Lu = f$的右端项唯一地重构解。本文区分了标准法向导数和“L-迹”，后者是必要的，因为在广义意义下，极大算子$D(L)$ 定义域中的函数可能不存在标准迹。

方法论
分析建立在约翰·冯·诺依曼（John von Neumann）、M.Y. Vishik 和 L. Hörmander 建立的泛函分析框架之上，利用了装备空间理论和算子扩张理论。

1. 算子分解： 微分算子 $L$ 被视为 $H = L^2(\Omega)$ 中的无界算子。本文定义了极小算子 $L_0$（$L$ 在 $C_0^\infty(\Omega)$ 上的闭包）和极大算子 $L = L_0^*$。在 Vishik 的条件 (2.1) 和 (2.2) 下——这些条件确保 $L_0$ 和 $L_0^+$ 存在连续的左逆——极大算子分解为直和 $L = L_0 \oplus L_C$，其中 $L_0$ 代表内部行为，$L_C$ 代表边界行为。
2. 边界空间与 L-迹： 边界空间定义为商空间 $C(L) = D(L)/D(L_0)$。本文引入了“L-迹”，记为 $L^{(q)}u$（$q=0, \dots, l-1$），源自格林公式。这些是索伯列夫空间 $H^{-q-1/2}(\partial \Omega)$ 中的广义函数，用于表征 $u \in D(L)$ 的边界行为。
3. 格林公式与正交分解： 该方法论依赖于格林公式，该公式将内部积分 $\int_\Omega (Lu \bar{v} - u L^+ \bar{v}) dx$ 与涉及 L-迹的边界积分联系起来。右端项 $f$ 被正交分解为 $f = f_0 + g$，其中 $f_0 \in \text{Im } L_0$ 且 $g \in \ker L^+$。内部部分 $f_0$ 通过类椭圆算子 $M = L^+L$ 的逆来求解，而边界部分 $g$ 则通过边界算子 $L_C$ 处理。
4. 常数系数情形： 对于具有常数系数的算子，本文采用了马尔格兰日逼近定理（Malgrange approximation theorem）。这使得伴随算子核中的解可以用指数多项式函数 $e^{i(\xi, x)}$ 逼近，从而将迹条件转化为广义矩问题。

主要贡献与结果

1. 通过 L-迹表征解（定理 2）：
   本文建立了函数 $u \in D(L)$ 成为 $Lu = f$解的必要充分条件。它证明了 L-迹$g_q = L^{(q)}u$和右端项的边界分量$g = P_C f$必须满足一个涉及测试函数$v \in \ker L^+ \cap H^k(\Omega)$ 的特定恒等式：
   $$\int_\Omega g v \, dx = \sum_{q=0}^{l-1} \int_{\partial \Omega} g_{l-q-1} \partial_\nu^q v \, ds$$
   该恒等式允许从其 L-迹和右端项唯一地重构解。

2. 与标准迹的关系（定理 3）：
   对于更光滑的解 $u \in H^l(\Omega)$，本文将 L-迹与标准法向导数 $h_q = \partial_\nu^q u|_{\partial \Omega}$ 联系起来。它表明这些标准迹必须满足一个涉及伴随算子迹 $L^{+(l-q-1)}v$ 的对偶恒等式。

3. 常数系数的广义矩问题（定理 4）：
   对于 $L$-凸域中具有常数复系数的微分算子，迹条件得以简化。本文证明，$u$ 是 $Lu = g \in \ker L^+$ 的解，当且仅当其 L-迹满足：
   $$\int_\Omega g(x) e^{-i(\xi, x)} dx = \sum_{q=0}^{l-1} \int_{\partial \Omega} L^{(m-q-1)}u \, \partial_\nu^q e^{-i(\xi, x)} \, ds_x, \quad \forall \xi \in \Lambda$$
   其中 $\Lambda$ 是 $L$ 的符号的零点代数簇。这将边界条件表述为一个广义矩问题。

4. 适定性及测度表示（定理 6）：
   本文将适定的边值问题与特定测度的存在性联系起来。它表明，每个适定的边值问题都在代数簇 $\Lambda$ 上生成一个测度 $d\mu_\eta(\xi)$。边值问题的解可以表示为涉及该测度和基本解（指数函数）的积分。具体而言，求解边值问题归结为求解该未知测度的积分方程。

5. 二阶平面情形（第 5 节）：
   对于平面域中具有常数系数的二阶方程，本文明确地将迹条件推导为一对涉及共法向导数和切向导数的矩问题。它强调，狄利克雷问题的唯一性对应于该矩系统的不定性问题。

意义与主张
本文声称通过明确表征 $L^2$-解的边界性质，为边值问题的一般理论提供了新的进展。其主要意义在于：

• 重构： 提供显式条件（恒等式），使得能够根据其边界迹和源项唯一地重构解。
• 推广： 将边界数据的理解从椭圆方程扩展到一般线性算子，包括具有常数强度和实主类型的算子。
• 矩问题联系： 指出对于常数系数算子，边界迹的相容性等价于一个广义矩问题。这将偏微分方程的可解性与分析中的经典问题（如三角矩问题）联系起来。
• 理论框架： 阐明了边界空间 $C(L)$ 和分解 $L = L_0 \oplus L_C$ 在将边界效应与内部行为隔离开来的作用。

本文指出，虽然适定性对于椭圆方程来说是标准的，但该框架适用于更广泛的类别，包括非椭圆情形（例如特定区域中的波动方程），并强调不适定问题在标准技术应用之外的数学背景下可能具有相关性，例如与几何和代数的联系（例如庞斯莱问题）。