[논문 리뷰] H\\"older stably determining the time-dependent electromagnetic potential of the Schr\\"odinger equation

Yavar Kian, Éric Soccorsi|arXiv (Cornell University)|2017. 05. 03.

Numerical methods in inverse problems참고 문헌 34인용 수 17

한 줄 요약

이 논문은 자기장 잠재력의 발산값이 알려져 있을 조건 하에, 슈뢰딩거 방정식에서 시간과 공간에 의존하는 전자기 잠재력을 경계 측정값으로부터 허들러 안정적으로 복원하는 것을 확립한다. 복소 기하학적 옹호(Complex Geometric Optics, CGO) 해법과 부크헤임-클리반노프 방법을 사용하여, 일반적으로 진화 방정식의 역문제에서 관찰되는 로그 안정성보다 훨씬 향상된 허들러 유형의 안정성 추정을 유도한다.

ABSTRACT

We consider the inverse problem of determining the time and space dependent electromagnetic potential of the Schr\\"odinger equation in a bounded domain of $\\mathbb R^n$, $n\\geq 2$, by boundary observation of the solution over the entire time span. Assuming that the divergence of the magnetic potential is fixed, we prove that the electric potential and the magnetic potential can be H\\"older stably retrieved from these data, whereas stability estimates for inverse time-dependent coefficients problems of evolution partial differential equations are usually of logarithmic type.

연구 동기 및 목표

• 슈뢰딩거 방정식에서 시간과 공간에 의존하는 전자기 잠재력을 경계 관측치로부터 역문제로 규명하는 것.
• 게이지 불변성의 장애를 제거하기 위해 자기장 잠재력의 발산값을 고정함으로써, 게이지 동치에 대한 유일한 복원을 가능하게 하는 것.
• 이 역문제에 대해 허들러 유형의 안정성 추정을 수립하여, 진화 PDE 역문제에서 일반적으로 관찰되는 로그 안정성보다 더 강력한 결과를 도출하는 것.
• 기존의 슈뢰딩거 방정식에 대한 역계수 문제에서의 안정성 결과를 시간에 의존하는 전자기 잠재력으로 확장하여, 더 높은 정규성과 안정성을 확보하는 것.

제안 방법

• 진동하는 위상이 있는 복소 기하학적 옹호(CGO) 해법을 사용하여 슈뢰딩거 방정식의 특수한 해를 구성하는 것.
• 카르레만 추정과 해의 차이에 대한 에너지 추정을 통해 부크헤임-클리반노프 방법을 사용하여 안정성 추정을 도출하는 것.
• 게이지 변환의 논리를 적용하여 문제를 자기장 잠재력의 발산값이 고정된 형태로 단순화하는 것.
• 보간법과 소볼레프 포함을 사용하여 잠재력의 $L^\infty$ 노름을 DN 매핑의 차이의 $L^2$ 노름으로 제한하는 것.
• DN 매핑의 차이를 이용하여 전기 잠재력과 자기장 잠재력의 푸리에 변환에 대한 추정을 도출하는 것.
• 주파수 $\tau$, 파동 벡터 $\xi$, 정규화 파rameter 등을 최적화하여 오차 항을 균형 잡고 허들러 안정성을 달성하는 것.

실험 결과

연구 질문

• RQ1 슈뢰딩거 방정식에서 시간과 공간에 의존하는 전자기 잠재력을 해의 경계 측정값으로부터 안정적으로 재구성할 수 있는가?
• RQ2 이 역문제에 대해 달성 가능한 안정성 추정의 유형은 무엇이며, 진화 PDE에서 일반적으로 관찰되는 표준 로그 안정성과 비교해 볼 때 어떤가?
• RQ3 자기장 잠재력의 발산값을 고정하는 것이 재구성의 유일성과 안정성에 어떤 영향을 미치는가?
• RQ4 경계 데이터를 사용하여 슈뢰딩거 방정식에서 시간에 의존하는 전자기 잠재력에 대해 허들러 안정성을 달성할 수 있는가?
• RQ5 복소 기하학적 옹호 해법과 부크헤임-클리반노프 방법은 더 향상된 안정성 추정을 달성하는 데 어떤 역할을 하는가?

주요 결과

• 저자들은 딜리클레-노이만 매핑(Dirichlet-to-Neumann map)으로부터 시간과 공간에 의존하는 전자기 잠재력을 복원하는 역문제에 대해 허들러 유형의 안정성 추정을 수립한다.
• 안정성 추정은 $\|A\|_{L^2(0,T;H^5(\Omega))^n} \leq C \epsilon^r$ 및 $\|q\|_{L^2(Q)} \leq C \|\Lambda_{A_1,q_1} - \Lambda_{A_2,q_2}\|^r$ 형태이며, $r = \frac{1}{346 + 9n}$ 으로 표현되며, 이는 허들러 안정성을 나타낸다.
• 이 결과는 일반적으로 진화 방정식의 역문제에서 관찰되는 로그 안정성보다 향상된 강력한 허들러 유형의 추정을 달성하여, 기존 결과를 개선한다.
• 안정성 추정은 자기장 잠재력의 발산값이 알려져 있다는 가정 하에 도출되었으며, 이는 게이지 불변성을 깨뜨리고 고유한 복원을 가능하게 한다.
• 증명은 복소 기하학적 옹호 해법의 구성과 DN 매핑의 차이를 이용하여 주파수 도메인에서 잠재력을 제어하는 데 의존한다.
• 최종 안정성 추정은 매개변수의 최적화 및 카르레만 추정 프레임워크 내 오차 항의 균형 조절을 통해 도출된다.