[论文解读] 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

一句话总结

本附录通过引入两个更宽松的条件，放宽了先前关于角点附近传输特征函数消失的严格假设：(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})$ 范数下被赫尔格洛茨波 $v_j$ 逼近，其核 $g_j$ 满足 $\|g_j\|_{L^2(\mathbb{S}^{n-1})} \leq C(\ln j)^\beta$，其中 $0 < \beta < 1/(2n+8)$。
• 利用衰减速率 $\|v - v_j\|_{L^2(\Omega)} < e^{-j}$ 控制小球邻域内 $L^1$-范数的逼近误差。
• 在角点附近对赫尔格洛茨波进行泰勒展开，利用估计式 $|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)$，证明 $|v|$ 在小球上的平均 $L^1$-范数在 $r \to 0^+$ 时趋于零。

实验结果

研究问题

• RQ1 在赫尔格洛茨波核范数不再要求一致有界，而仅满足更弱逼近条件时，是否仍能建立传输特征函数在角点处的消失性质？
• 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}$ 的下界；当与远场衰减结合时，可强制得出 $|v_j(x_c)| \to 0$ 当 $j \to \infty$。
• 所得估计 $|v_j(x_c)| \leq C(\ln j)^{\beta - 1/\ell}$，其中 $\ell = 2(n+4)$，确保了 $|v|$ 在小球上的 $L^1$-平均在 $r \to 0^+$ 时趋于零。
• 结论 $\lim_{r \to 0^+} \frac{1}{m(B(x_c,r))} \int_{B(x_c,r) \cap \Omega} |v(x)| \, dx = 0$ 在假设2与假设3下均成立，从而将几何消失性质推广至更广泛的特征函数类。
• 数值证据表明假设2在实际中成立，而假设3在非凸角点处可能不成立，凸显了新放宽条件的重要性。