[논문 리뷰] Recovery of non compactly supported coefficients of elliptic equations on an infinite waveguide

Yavar Kian|arXiv (Cornell University)|2017. 09. 06.

Numerical methods in inverse problems참고 문헌 49인용 수 7

한 줄 요약

이 논문은 복소 기하학적 광선 해법과 카르레만 추정을 이용하여 무한 파이프에서 부분 경계 측정치로부터 비콤팩트 지지 전기 포텐셜의 유일한 복원을 확립한다. 주요 결과는 디리클레-노이만 맵이 경계의 약간 초과한 반 이상에서 정의될 경우, 포텐셜이 비콤팩트 지지나 주기적일 필요가 없더라도 유일하게 결정된다는 것을 증명한다.

ABSTRACT

We consider the unique recovery of a non compactly supported and non periodic perturbation of a Schr\\"odinger operator in an unbounded cylindrical domain, also called waveguide, from boundary measurements. More precisely, we prove recovery of general class of electric potentials from the partial Dirichlet-to-Neumann map, where the Dirichlet data is supported on slightly more than half of the boundary and the Neumann data is taken on the other half of the boundary. We apply this result in different context including recovery of some general class of coefficients from measurements on a bounded subset and recovery of an electric potential, supported on an unbounded cylinder, of a Schr\\"odinger operator in a slab.

연구 동기 및 목표

• 비유한 실린더 영역(무한 파이프)에서 비콤팩트 지지 전기 포텐셜을 부분 경계 측정치로부터 복원하는 역문제를 다루는 것.
• 기존의 경계값 문제에 대한 결과를 비콤팩트 계수를 가진 비유한 영역으로 확장하는 것.
• 디리클레 데이터가 경계의 반 이상에서 지지되고 노이만 데이터가 나머지 부분에서 관측될 때, 파이프 내에서 슈뢰딩거 연산자의 유일성을 확립하는 것.
• 얕은 해양 음향학 및 나노구조에서 관련된 판형 기하에서 포텐셜을 복원하는 데 응용하는 것.
• 비콤팩트 지지를 극복하기 위해 카르레만 추정과 복소 기하학적 광선 해법, 그리고 밀도 추론을 조합하는 것.

제안 방법

• 큰 매개수 점근적 분석과 위상 함수를 이용하여 무한 파이프에서 슈뢰딩거 방정식의 복소 기하학적 광선(CGO) 해를 구성하는 것.
• 방향 θ ∈ S¹에 따라 달라지는 가중치 함수를 가진 카르레만 추정을 적용하여 해의 행동을 통제하고 안정성 한계를 도출하는 것.
• 대칭성을 이용하고 필요한 경계 조건을 만족하는 해를 구성하기 위해 포텐셜을 더 큰 영역으로 대칭 확장하는 것.
• 유계 부분영역에서의 해가 전체 영역에서 밀도를 이룬다는 것을 보여주기 위해 밀도 추론을 사용하는 것.
• 카르레만 추정과 DN 맵 데이터를 조합하여 두 포텐셜의 차이를 포함하는 적분 항등식을 유도하는 것.
• 큰 매개수 ρ → ∞에서 극한을 취하여, 포텐셜 차이의 L² 내적과 진동 함수의 곱이 0으로 수렴함을 보이고, 이로부터 유일성을 도출하는 것.

실험 결과

연구 질문

• RQ1 무한 파이프에서 비콤팩트 지지 전기 포텐셜은 부분 경계 측정치로부터 유일하게 복원될 수 있는가?
• RQ2 경계의 반 이상을 약간 초과하는 부분에서 정의된 부분 디리클레-노이만 맵이 비유한 실린더 영역에서 포텐셜을 유일하게 결정하는가?
• RQ3 복소 기하학적 광선 해법과 카르레만 추정은 비유한 영역에서 비콤팩트 계수를 다룰 수 있도록 적응될 수 있는가?
• RQ4 무한 실린더에서 지지되는 포텐셜에 대해 복원 결과를 판형 기하로 확장할 수 있는가?
• RQ5 비콤팩트 지지가 존재하는 상황에서도 포텐셜의 유일한 결정을 가능하게 하는 기하학적 조건과 데이터 조건은 무엇인가?

주요 결과

• 디리클레-노이만 맵이 ∂Ω의 부분집합 G ⊂ ∂Ω에 제한될 때, 디리클레 데이터가 θ₀-그림자 면을 포함하는 집합 K에서 지지될 경우, q ∈ L∞(Ω)의 포텐셜을 유일하게 결정한다.
• 이 결과는 비콤팩트 지지나 주기적이지 않은 일반적인 L∞ 포텐셜에 대해 성립하며, 이는 이전 결과가 비콤팩트 지지나 주기적 계수에 국한되었던 것을 확장한다.
• 증명은 ρ → ∞일 때 ∫Ω (q₁−q₂)v₁v₂ dx → 0 임을 보여주며, 이로부터 q₁ = q₂임을 도출한다.
• 특정 지수 가중치를 가진 CGO 해를 구성하고, 점근 전개에서 오차 항의 감쇠 추정을 증명하는 데 의존한다.
• 핵심 기술적 단계는 방향 θ에서 θ₁ > 0인 가중치 함수를 포함한 카르레만 추정을 사용하여 파이프 내에서 해의 행동을 통제하는 것인데, 이는 파이프 전체에서 해를 제어할 수 있도록 한다.
• 결과는 판형 영역에서 포텐셜을 복원하는 데 적용되어, 같은 유일성 프레임워크가 얕은 해양 음향학 및 나노구조 모델에 적용된다는 것을 보여준다.