[논문 리뷰] Addendum to: "On vanishing near corners of transmission eigenfunctions"

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

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$ 커널이 일관되게 유계인 허글로츠 파동으로 근사되어야 한다는 기술적 가정을 완화하고자 한다.
• 이전에는 간략히 언급된 바만 있었던, 모서리 부근에서의 국소적 $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)$ 이다.
• 모서리 부근의 작은 구 안에서 $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)$) 를 이용하여, 작은 구 위에서 $|v|$ 의 평균 $L^1$-노름이 $r \to 0^+$ 일 때 소멸함을 보인다.

실험 결과

연구 질문

• 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$ 의 소멸을 유도하는 데 충분하다.
• 가정 3에 따르면, 모서리 부근에서 $v$ 와 $w$ 가 $H^2$-정칙성을 갖는다. 이는 [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는 비凸 모서리에서는 실패할 수 있음을 보여주며, 새로운 완화된 조건의 중요성을 강조한다.