[论文解读] H-distribution via Sobolev spaces

J. Aleksić, Stevan Pilipović+1 more|arXiv (Cornell University)|Sep 19, 2016

Nonlinear Differential Equations Analysis参考文献 10被引用 5

一句话总结

本文将H-分布理论扩展至Sobolev空间 $W^{-k,p}({\bf{R}}^d)$，引入了一种基于施瓦茨函数与球面上光滑函数张量积空间的新框架。证明了在 $W^{-k,p}$ 中弱收敛于零的序列 $u_n \rightharpoonup 0$，当其被任意 $\varphi \in \mathcal{S}({\bf{R}}^d)$ 局域化时，强收敛于 $W^{-k,p}$ 当且仅当所有相关的H-分布为零，该理论在一阶PDE与强收敛判别准则中具有应用。

ABSTRACT

H-distributions associated to weakly convergent sequences in Sobolev spaces are determined. It is shown that a weakly convergent sequence $(u_n)$ in $W^{-k,p}( \R^d)$ has the property that $θu_n$ converges strongly in $W^{-k,p}(\R^d)$ for every $θ\in\mathcal S(\R^d)$ if and only if all H-distributions related to this sequence are equal to zero. Results are applied on a weakly convergent sequence of solutions to a family of linear first order PDEs.

研究动机与目标

• 将H-分布的概念从 $L^p$ 空间推广至Sobolev空间 $W^{-k,p}({\bf{R}}^d)$。
• 在Sobolev设定下，建立一个新的张量积空间 $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$ 以定义H-分布。
• 证明：对于所有 $\varphi \in \mathcal{S}({\bf{R}}^d)$，$\varphi u_n$ 在 $W^{-k,p}$ 中的强局部收敛性等价于与 $u_n \rightharpoonup 0$ 相关的所有H-分布的消失。
• 将该理论应用于一阶线性PDE解的弱收敛序列，刻画H-分布在特征集上的支撑。

提出的方法

• 将空间 $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$ 定义为 $\mathcal{S}({\bf{R}}^d) \hat{\otimes} \mathcal{E}(\mathbf{S}^{d-1})$ 的完备化，其范数涉及谐振子算子与Laplace-Beltrami算子。
• 通过与 $W^{-k,p} \times W^{k,q}$ 的对偶性定义H-分布，利用傅里叶乘子结构与非局部测试函数。
• 利用紧流形上的Sobolev嵌入与Hermite基展开，建立 $\mathcal{SE}$ 上范数的等价性。
• 利用对偶性 $W^{-k,p} \times W^{k,q}$，将H-分布定义为 $\mathcal{SE}$ 上的连续线性泛函，确保其适定性。
• 证明：对所有 $\varphi \in \mathcal{S}({\bf{R}}^d)$，有 $\varphi u_n \to 0$ 强收敛于 $W^{-k,p}$ 当且仅当所有H-分布消失。
• 将该理论应用于方程 $\sum_{i=1}^d \partial_i(A_i(x)u_n) = f_n$ 的解，证明H-分布的支撑包含于特征集 $\{ (x,\xi) : \sum A_i(x)\xi_i = 0 \}$。

实验结果

研究问题

• RQ1 在什么条件下，$W^{-k,p}({\bf{R}}^d)$ 中弱收敛于零的序列 $u_n \rightharpoonup 0$，经施瓦茨函数局域化后在 $W^{-k,p}$ 中强收敛？
• RQ2 如何在负阶Sobolev空间的语境下严格定义H-分布？
• RQ3 所有H-分布的消失与 $\varphi u_n$ 在 $W^{-k,p}$ 中的强收敛性之间有何关系？
• RQ4 H-分布在多大程度上刻画了一阶线性PDE解的奇点传播特性？
• RQ5 H-分布理论能否从 $L^p$ 扩展至包含非局部测试函数的 $W^{-k,p}$-值序列？

主要发现

• 在 $W^{-k,p}({\bf{R}}^d)$ 中弱收敛于零的序列 $u_n \rightharpoonup 0$，对所有 $\varphi \in \mathcal{S}({\bf{R}}^d)$ 满足 $\varphi u_n \to 0$ 强收敛于 $W^{-k,p}$ 当且仅当所有相关的H-分布为零。
• $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$ 与 $\mathcal{S}({\bf{R}}^d) \hat{\otimes} \mathcal{E}(\mathbf{S}^{d-1})$ 等距同构，为Sobolev设定下的H-分布提供了自然定义域。
• 对于 $W^{-k,p}$ 中弱收敛于零的序列 $u_n \rightharpoonup 0$，其H-分布可作为 $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$ 上的连续线性泛函良好定义，将先前在 $L^p$ 空间中的结果推广至Sobolev空间。
• 对于方程 $\sum_{i=1}^d \partial_i(A_i(x)u_n) = f_n$ 的解 $u_n$，若 $\varphi f_n \to 0$ 在 $W^{-k-1,p}$ 中成立，则H-分布的支撑包含于特征集 $\{(x,\xi) : \sum A_i(x)\xi_i = 0\}$。
• 若与序列 $u_n$ 相关的所有H-分布为零，则对所有 $\varphi \in \mathcal{S}({\bf{R}}^d)$，有 $\varphi u_n \to 0$ 强收敛于 $W^{-k,p}({\bf{R}}^d)$，从而提供了一个强收敛的精确判别准则。
• 该结果将经典H-分布理论从 $L^2$ 与 $L^p$ 推广至 $W^{-k,p}$，支持非局部分析，并推广了在均匀化与守恒律中的应用。