[论文解读] Surface Riesz transforms and spectral property of elastic Neumann--Poincaé operators on less smooth domains in three dimensions

Hyeonbae Kang, Daisuke Kawagoe|arXiv (Cornell University)|Jun 6, 2018

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

一句话总结

该论文通过证明基于黎曼度量张量定义的曲面Riesz变换——一种非卷积型奇异积分算子——的新恒等式，建立了三维空间中$C^{1,ar{\alpha}}$-光滑边界上弹性Neumann–Poincaré算子的多项式紧致性与谱结构。关键结果为谱由三个非空的特征值序列构成，分别收敛于$0$、$k_0$与$-k_0$，其中$k_0 = \mu / (2(2\mu + \lambda))$由Lamé参数确定。

ABSTRACT

It is known that the Neumann--Poincaré operator for the Lamé system of linear elasticity is polynomially compact and, as a consequence, that its spectrum consists of three non-empty sequences of eigenvalues accumulating to certain numbers determined by Lamé parameters, if the boundary of the domain where the operator is defined is $C^\infty$-smooth. We extend this result to less smooth boundaries, namely, $C^{1, α}$-smooth boundaries for some $α> 0$. The results are obtained by proving certain identities for surface Riesz transforms, which are singular integral operators of nonconvolution type, defined by the matrix tensor on a given surface.

研究动机与目标

• 将弹性Neumann–Poincaré（eNP）算子的谱理论从$C^\infty$-光滑边界扩展至三维空间中的$C^{1,\alpha}$-光滑边界。
• 在较不规则的域上建立eNP算子的多项式紧致性，此前该性质仅在$C^\infty$光滑条件下成立。
• 推导并证明基于黎曼度量张量在$C^{1,\alpha}$曲面上定义的曲面Riesz变换的基本恒等式。
• 通过算子复合恒等式，将eNP算子的谱性质与曲面Riesz变换的代数结构联系起来。
• 证明eNP算子的谱由三个收敛于$0$、$k_0$与$-k_0$的特征值序列构成，其中$k_0$由Lamé参数决定。

提出的方法

• 在$\mathbb{R}^2$上定义曲面Riesz变换$R_j^g$为非卷积型奇异积分算子，其定义基于$C^\alpha$-光滑度量张量$G$。
• 证明两个关键恒等式：$[R_1^g, R_2^g] \equiv 0$ 与 $\det(G)(g_{11}(R_1^g)^2 + 2g_{12}R_1^gR_2^g + g_{22}(R_2^g)^2) \equiv -I$，均在$H^{-1/2}(\mathbb{R}^2)$上成立。
• 利用边界$C^{1,\alpha}$-光滑性，确保度量张量$G$为$C^\alpha$-光滑，从而控制算子范数并保证交换子的紧致性。
• 通过曲面Riesz变换与由Lamé参数导出的矩阵系数的复合，构造$\partial\Omega$上的eNP算子$\mathbf{K}$。
• 对由曲面Riesz变换构成的矩阵值算子$\mathbf{R}$应用Cayley–Hamilton定理，推导出$\mathbf{R}^3 - \widetilde{M_1}\mathbf{R} \equiv 0$。
• 通过利用曲面Riesz变换恒等式与算子交换子估计，建立$p_3(\mathbf{K}) = \mathbf{K}(\mathbf{K}^2 - k_0^2\mathbf{I}) \equiv 0$，从而证明$\mathbf{K}$的多项式紧致性。

实验结果

研究问题

• RQ1 弹性Neumann–Poincaré算子的谱结构是否可在$C^{1,\alpha}$-光滑域上建立，而不仅限于$C^\infty$-光滑域？
• RQ2 在$C^{1,\alpha}$-光滑曲面上，曲面Riesz变换是否满足与平坦或$C^\infty$情形相同的代数恒等式？
• RQ3 eNP算子在$C^{1,\alpha}$-光滑边界上是否为多项式紧致？这对其谱有何影响？
• RQ4 eNP算子的特征值如何聚集？它们是否由Lamé参数决定？
• RQ5 能否应用谱映射定理，从$p_3(\mathbf{K})$的多项式紧致性推导出eNP算子的谱？

主要发现

• 曲面Riesz变换$R_j^g$在$H^{-1/2}(\mathbb{R}^2)$上满足交换子恒等式$R_1^g R_2^g - R_2^g R_1^g \equiv 0$，即使在非平坦、$C^{1,\alpha}$-光滑曲面上也成立。
• 二次恒等式$\det(G)(g_{11}(R_1^g)^2 + 2g_{12}R_1^gR_2^g + g_{22}(R_2^g)^2) \equiv -I$模紧算子成立，推广了经典Riesz变换恒等式。
• 弹性Neumann–Poincaré算子$\mathbf{K}$为多项式紧致，且$p_3(\mathbf{K}) = \mathbf{K}(\mathbf{K}^2 - k_0^2\mathbf{I})$为紧算子，其中$k_0 = \mu / (2(2\mu + \lambda))$。
• 算子$\mathbf{K}$的谱由三个非空的特征值序列构成，分别收敛于$0$、$k_0$与$-k_0$。
• eNP算子在$C^{1,\alpha}$-光滑域上不紧致，但其多项式紧致性确保了离散谱与明确定义的极限点。
• 该证明方法通过利用度量张量的$C^{1,\alpha}$-正则性，避免了对$C^\infty$-光滑性的依赖，从而控制交换子的增长并确保误差项的紧致性。