[論文レビュー] Addendum to: "On vanishing near corners of transmission eigenfunctions"

Emilia Blåsten, Hongyu Liu|arXiv (Cornell University)|Oct 23, 2017

Numerical methods in inverse problems参考文献 4被引用数 12

ひとこと要約

本補遺では、先行研究における角付近での伝送固有関数の消滅に関する制限的な仮定を緩和し、2つのより穏やかな条件を導入する：(1) 対数的に増加するカーネルノルムを伴うヘルグローツ波近似、および (2) 角付近での局所的 $H^2$ 正則性。両条件が伝送固有関数が角点で消えることを示すのに十分であり、より自然で一般性の高い設定下でも幾何的消滅性質が成り立つことを拡張する。

ABSTRACT

In this addendum, we relax a restrictive assumption in [1] needed for the interior transmission eigenfunctions to hold the intrinsic geometric vanishing property in a corner. In addition we present in more detail another assumption which can also guarantee the vanishing property, namely being locally $H^2$ near the corner. This was mentioned briefly in [1].

研究の動機と目的

• 先行研究[1]で要求されていた、伝送固有関数が $L^2$ カーネルの一様有界性を満たすヘルグローツ波で近似されなければならないという技術的仮定を緩和すること。
• 先行研究[1]でわずかに触れられたのみの代替仮定である、角付近での局所的 $H^2$ 正則性について、厳密な正当化を提供すること。
• 緩和されたヘルグローツ波近似と $H^2$ 正則性の両条件が、伝送固有関数が角点で消えることを示すこと。
• より一般かつ物理的に現実的な条件下でも、幾何的消滅性質の理論的基盤を強化すること。
• 元の定理におけるギャップを解消し、固有関数がヘルグローツ波でないが、より弱い近似または正則性条件を満たす場合でも、消滅結果が成り立つことを示すこと。

提案手法

• 仮定2を導入：$v$ は $L^2(\bar{\nu})$ ノルムで、$\|g_j\|_{L^2(\mathbb{S}^{n-1})} \leq C(\ln j)^\beta$（$0 < \beta < 1/(2n+8)$）を満たすカーネル $g_j$ を持つヘルグローツ波 $v_j$ で近似される。
• 近似誤差を $L^1$ ノルムで制御するため、角付近の小さな球上で $\|v - v_j\|_{L^2(\Omega)} < e^{-j}$ を用いる。
• 角点まわりでのヘルグローツ波のテイラー展開を適用し、$|v_j(x)| \leq |v_j(x_c)| + C_{k,n}\|g_j\|_{L^2}\cdot|x - x_c|$ のような境界を活用する。
• 先行研究[1, 定理3.1]における散乱波の遠方パターンの下界を用い、遠方パターンの振幅が $|v_j(x_c)|$ とカーネルノルム $\|g_j\|_{L^2}$ に依存することを特定する。
• 遠方パターンの減衰推定 $\|v_j^{s\infty}\|_{L^2} < C_{V,k}e^{-j}$ と下界を組み合わせ、$|v_j(x_c)|$ の減衰推定を $\|g_j\|_{L^2}$ と $\ln j$ の関数として導出する。
• 得られた境界 $|v_j(x_c)| \leq C(\ln j)^{\beta - 1/\ell}$（$\ell = 2(n+4)$）を用いて、$r \to 0^+$ のとき、$|v|$ の小さな球上の平均 $L^1$ ノルムが消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 伝送固有関数の角における消滅性質は、カーネルの $L^2$ 有界性の一様性よりも弱い近似条件のもとでも確立可能か？
• RQ2 伝送固有関数が角付近で局所的 $H^2$-正則性を満たすと、その角点での消滅が保証されるか？
• RQ3 依然として消滅性質が成り立つための、ヘルグローツ波カーネルノルムの最適な成長率は何か？
• RQ4 先行研究[1]の遠方パターン推定を用いて、角点における固有関数値の減衰推定をどのように導出できるか？
• RQ5 $H^2$-滑らかさが角付近の近傍でのみ成り立つというより弱い正則性仮定のもとでも、角における消滅はロバストか？

主な発見

• 仮定2—$\|g_j\|_{L^2(\mathbb{S}^{n-1})} \leq C(\ln j)^\beta$（$0 < \beta < 1/(2n+8)$）を満たすヘルグローツ波近似—は、角点における $v$ の消滅を示すのに十分である。
• $v$ と $w$ が角付近で $H^2$ 正則性を満たす（仮定3）と、[3]の補題4を伝送問題に適用することで $v(x_c) = w(x_c) = 0$ が導かれる。
• 先行研究[1, 定理3.1]の遠方パターン推定を用いて、$|v_j(x_c)| / \|g_j\|_{L^2}$ を含む下界を導出し、遠方パターンの減衰と組み合わせることで、$j \to \infty$ のとき $|v_j(x_c)| \to 0$ が強制される。
• 得られた境界 $|v_j(x_c)| \leq C(\ln j)^{\beta - 1/\ell}$（$\ell = 2(n+4)$）により、小さな球上の $|v|$ の $L^1$ 平均が $r \to 0^+$ のとき消えることが保証される。
• 両仮定2および仮定3の下で $\lim_{r \to 0^+} \frac{1}{m(B(x_c,r))} \int_{B(x_c,r) \cap \Omega} |v(x)| \, dx = 0$ が成り立つ。これは幾何的消滅性質をより広いクラスの固有関数へと拡張する。
• 数値的証拠により、仮定2は実際の状況でも成り立つことが示唆されるが、仮定3は非凸角では成立しない可能性があるため、本研究で導入された緩和された条件の重要性が強調される。