[論文レビュー] 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

ひとこと要約

本稿では、3次元の$C^{1,\alpha}$-滑らかさを持つ境界上で、表面リーマン計量テンソルを用いて定義される非畳み込み型の特異積分作用素である表面リーマン変換に関する新しい恒等式を証明することにより、弾性ノイマン–パオカラペオ作用素の多項式コンパクト性およびスペクトル構造を確立する。主な結果は、スペクトルが0、$k_0$、$-k_0$に収束する3つの非空な固有値列から成り、$k_0 = \mu / (2(2\mu + \lambda))$はラメパラメータによって定まるものである。

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.

研究の動機と目的

• 3次元における$C^{1,\alpha}$-滑らかさを持つ境界への弾性ノイマン–パオカラペオ（eNP）作用素のスペクトル理論を、$C^\infty$-滑らかさから拡張すること。
• 以前は$C^\infty$-滑らかさでのみ知られていたが、より正則性が低い領域に対してもeNP作用素の多項式コンパクト性を確立すること。
• リーマン計量テンソルを用いて$C^{1,\alpha}$-滑らかさを持つ曲面上に定義される表面リーマン変換に関する基本的恒等式を導出し、証明すること。
• 作用素の合成恒等式を通じて、eNP作用素のスペクトル的性質と表面リーマン変換の代数的構造を結びつけること。
• eNP作用素のスペクトルが、0、$k_0$、$-k_0$に収束する3つの固有値列から成り、$k_0$がラメパラメータによって決定されることを示すこと。

提案手法

• $\mathbb{R}^2$上に、$C^\alpha$-滑らかさを持つ計量テンソル$G$を用いて定義される非畳み込み型の特異積分作用素としての表面リーマン変換$R_j^g$を導出する。
• 2つの主要な恒等式を証明する：$[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)$上）。
• $\partial\Omega$の境界が$C^{1,\alpha}$-滑らかであることに基づき、計量テンソル$G$が$C^\alpha$-滑らかであることを保証し、作用素ノルムと交換子のコンパクト性を制御する。
• ラメパラメータから導かれる行列係数を用いて、表面リーマン変換の合成により$\partial\Omega$上にeNP作用素$\mathbf{K}$を構成する。
• 表面リーマン変換からなる行列値作用素$\mathbf{R}$に対してカイリー＝ハミルトンの定理を適用し、$\mathbf{R}^3 - \widetilde{M_1}\mathbf{R} \equiv 0$を導出する。
• 表面リーマン変換の恒等式と作用素交換子の推定を活用して、$p_3(\mathbf{K}) = \mathbf{K}(\mathbf{K}^2 - k_0^2\mathbf{I}) \equiv 0$を示し、$\mathbf{K}$の多項式コンパクト性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $C^{1,\alpha}$-滑らかさを持つ領域において、eNP作用素のスペクトル構造を$C^\infty$-滑らかさのときと同様に確立できるか。
• RQ2 非平坦で$C^{1,\alpha}$-滑らかさを持つ曲面上の表面リーマン変換は、平坦または$C^\infty$-滑らかさのときと同一の代数的恒等式を満たすか。
• RQ3 eNP作用素は$C^{1,\alpha}$-滑らかさを持つ境界上で多項式コンパクトであるか。その場合、スペクトルにどのような意味が生じるか。
• RQ4 eNP作用素の固有値はどのように蓄積するか。また、それらはラメパラメータによって決定されるか。
• RQ5 多項式コンパクト性$p_3(\mathbf{K})$から、スペクトルマッピング定理を適用してeNP作用素のスペクトルを導出できるか。

主な発見

• 表面リーマン変換$R_j^g$は、平坦でない$C^{1,\alpha}$-滑らかさを持つ曲面に対しても、$H^{-1/2}(\mathbb{R}^2)$上で交換子恒等式$R_1^g R_2^g - R_2^g R_1^g \equiv 0$を満たす。
• 2次恒等式$\det(G)(g_{11}(R_1^g)^2 + 2g_{12}R_1^gR_2^g + g_{22}(R_2^g)^2) \equiv -I$は、コンパクト作用素をmoduloとして一般化し、古典的なリーマン変換恒等式を拡張する。
• 弾性ノイマン–パオカラペオ作用素$\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$に収束する3つの非空な固有値列から成る。
• eNP作用素は$C^{1,\alpha}$-滑らかさを持つ領域上でコンパクトではないが、多項式コンパクト性のおかげで離散スペクトルであり、明確な蓄積点を持つ。
• 証明技法は、$C^\infty$-滑らかさの必要性を回避するものであり、計量テンソルの$C^{1,\alpha}$-正則性を用いて交換子の成長を制御し、誤差項のコンパクト性を保証する。