[论文解读] A Note on Linear Elliptic Systems on $\R^d$

Christoph Ortner, Endre Süli|arXiv (Cornell University)|Feb 17, 2012

Advanced Mathematical Modeling in Engineering参考文献 7被引用 22

一句话总结

本文通过使用作为模常数等价类定义的齐次索博列夫空间（贝波-列维空间），为 $\mathbb{R}^d$ 上的线性椭圆系统建立了适定性理论。通过在 $\dot{H}^1$ 中表述问题并利用在 Legendre-Hadamard 条件下的 Lax-Milgram 定理，建立了具有最优 $L^2$ 型估计的存在性、唯一性与正则性，为无限域上平移不变问题提供了一种简化替代于加权函数空间的方法。

ABSTRACT

We are concerned with the well-posedness of linear elliptic systems posed on $\mathbb{R}^d$. The concrete problem of interest, for which we require this theory, arises from the linearization of the equations of anisotropic finite elasticity, however, our results are more generally applicable to translation-invariant problem posed on $\mathbb{R}^d$. We describe a variant of homogeneous Sobolev spaces, which are convenient for treating problems of this kind.

研究动机与目标

• 为 $\mathbb{R}^d$ 上的线性椭圆系统建立一个严格的解的存在性、唯一性与正则性理论，且不依赖于加权函数空间。
• 通过使用模常数的函数等价类，解决平移不变偏微分方程在无穷远处边界条件的挑战。
• 提供一个基于齐次索博列夫空间 ($\dot{W}^{1,p}$, $\dot{H}^1$) 的泛函分析框架，避免因无界域上缺乏 Poincar\'{e}-型不等式而引发的问题。
• 在 Legendre-Hadamard 条件下证明弱形式的强制性与适定性，确保解的稳定性和收敛性。
• 在系数张量 $\mathbb{C}$ 和数据 $f$ 具有光滑性假设的前提下，推导解在 $\dot{H}^s$ 空间中的高阶正则性估计。

提出的方法

• 将齐次索博列夫空间 $\dot{W}^{1,p}$ 定义为等价类 $[u] = \{u + c \mid c \in \mathbb{R}\}$ 的集合，其范数为 $\|[u]\|_{\dot{W}^{1,p}} = \|\partial u\|_{L^p}$。
• 在 $\dot{W}^{1,p}$ 上赋予由梯度诱导的半范数，确保该空间为巴拿赫空间，且当 $p \in (1,\infty)$ 或 $p=1$ 且 $d>1$ 时，测试函数在其中稠密。
• 将弱问题表述为 $a(u,v) = \ell(v)$，其中 $u,v \in \dot{H}^1$，且 $a(u,v) = \int \mathbb{C}_{i\alpha}^{j\beta} \partial_\alpha u_i \partial_\beta v_j \, dx$，并在强制性条件下应用 Lax-Milgram 定理。
• 利用 Legendre-Hadamard 条件确保强制性 $a(u,u) \geq c_0 \|\partial u\|_{L^2}^2$，从而保证在 $\dot{H}^1$ 中的唯一可解性。
• 通过有限差分技术和能量估计建立更高阶正则性：将弱形式与测试函数的导数进行检验，以推导 $\|\partial^2 u\|_{L^2}$ 和 $\|\partial^3 u\|_{L^2}$ 的界。
• 推导定量估计：$\|\partial^2 u\|_{L^2} \leq C(\|f\|_{L^2} + c_2 \|\partial \mathbb{C}\|_{L^\infty})$ 和 $\|\partial^3 u\|_{L^2} \leq C(\|\partial f\|_{L^2} + \|\partial \mathbb{C}\|_{L^2} \|\partial^2 u\|_{L^2} + c_2 \|\partial^2 \mathbb{C}\|_{L^\infty})$。

实验结果

研究问题

• RQ1 当无界域导致标准 Poincar\'{e} 不等式失效时，如何为 $\mathbb{R}^d$ 上的线性椭圆系统定义一个适定的变分框架？
• RQ2 对于在无穷远处无衰减的平移不变椭圆系统，其解的合适函数空间框架是什么？
• RQ3 在系数张量 $\mathbb{C}$ 的何种条件下，系统的弱形式在齐次索博列夫空间 $\dot{H}^1$ 中具有唯一解？
• RQ4 数据 $f$ 与系数 $\mathbb{C}$ 的正则性如何传播至解的高阶导数？
• RQ5 能否基于数据与系数导数，推导出解的二阶与三阶导数的定量 $L^2$ 型估计？

主要发现

• 模常数的等价类空间 $\dot{W}^{1,p}$ 在半范数 $\|\partial u\|_{L^p}$ 下是巴拿赫空间，且当 $p \in (1,\infty)$ 或 $p=1$ 且 $d>1$ 时，$\dot{\mathscr{D}}$ 在 $\dot{W}^{1,p}$ 中稠密。
• 若双线性型 $a$ 具有强制性，则弱形式 $a(u,v) = \ell(v)$ 对 $u,v \in \dot{H}^1$ 是适定的，而该强制性在 $\mathbb{C}$ 满足 Legendre-Hadamard 条件时成立。
• 当 $f \in L^2$ 且 $\mathbb{C} \in C^1$ 时，解 $u$ 满足 $\|\partial^2 u\|_{L^2} \leq C(\|f\|_{L^2} + c_2 \|\partial \mathbb{C}\|_{L^\infty})$，从而确立了 $\dot{H}^2$ 正则性。
• 当 $f \in H^1$，$\mathbb{C} \in C^2$，且 $\partial \mathbb{C} \in L^2$ 时，解满足 $\|\partial^3 u\|_{L^2} \leq C(\|\partial f\|_{L^2} + \|\partial \mathbb{C}\|_{L^2} \|\partial^2 u\|_{L^2} + c_2 \|\partial^2 \mathbb{C}\|_{L^\infty})$，确认了 $\dot{H}^3$ 正则性。
• 等价类框架通过将相差常数的函数视为等价，解决了如 $u_n(x) = n \max(0,1 - |x|/n^3)$ 这类梯度趋于零但不收敛于分布的序列的问题。
• 通过 $\|\partial u\|_{L^p} < \infty$ 对 $\dot{W}^{1,p}$ 函数的生长性刻画，以及使用归一化代表元（如在 $B_1$ 上平均为零），确保了该空间中的稳定性和收敛性。