[논문 리뷰] A non-overdetermined inverse problem of finding the potential from the spectral function

А. Г. Рамм|arXiv (Cornell University)|2000. 11. 20.

Numerical methods in inverse problems참고 문헌 9인용 수 4

한 줄 요약

이 논문은 $ n \geq 3 $ 인 유계 영역 $ D \subset \mathbb{R}^n $ 내의 스무스하고 실수 값을 갖는 포텐셜 $ q(x) $ 가 경계 $ S $ 에서 평가된 스펙트럴 함수 $ \theta(s,s,\lambda) $ 를 통해 유일하게 결정됨을 확립한다. 슈뢰딩거 연산자 $ L = -\nabla^2 + q(x) $ 의 모든 고유값이 단순함을 가정할 때, 경계에서의 스펙트럴 함수 데이터가 포텐셜을 유일하게 복원함을 보여줌으로써, 과다한 조건이 없는 역문제를 해결한다.

ABSTRACT

Let $D\subset \R^n$, $n\geq 3,$ be a bounded domain with a $C^{\infty}$ boundary $S$, $L=- abla^2+q(x)$ be a selfadjoint operator defined in $H=L^2(D)$ by the Neumann boundary condition, $ heta(x,y,\lambda)$ be its spectral function, $ heta(x,y,\lambda):=\ds\sum_{\lambda_j<\lambda} \phi_j(x)\phi$ where $L\phi_j=\lambda_j\phi_j$, $\phi_{j N}|_S=0,$ $\|\phi_j\|_{L^2(D)}=1$, $j=1,2,...$. The potential $q(x)$ is a real-valued function, $q\in C^\infty(D)$. It is proved that $q(x)$ is uniquely determined by the data $ heta(s,s,\lambda) \forall s\in S$, $\forall \lambda\in \R_+$ if all the eigenvalues of $L$ are simple.

연구 동기 및 목표

• 스펙트럴 데이터에서 포텐셜 $ q(x) $ 를 과다한 조건이 없는 설정에서 복원하는 역문제를 다루는 것.
• 경계 $ S $ 에서의 스펙트럴 함수 $ \theta(s,s,\lambda) $ 가 도메인 내의 포텐셜 $ q(x) $ 를 유일하게 결정하는지 확인하는 것.
• 모든 슈뢰딩거 연산자 고유값이 단순함을 조건으로 하여 유일성 결과를 확립하는 것.
• 네우먼 경계 조건을 갖는 슈뢰딩거 연산자에 대한 역스펙트럴 문제 이론에 기여하는 것.

제안 방법

• 방법은 스펙트럴 함수 $ \theta(x,y,\lambda) = \sum_{\lambda_j < \lambda} \phi_j(x)\phi_j(y) $ 에 기반하며, 여기서 $ \phi_j $ 는 네우먼 경계 조건을 갖는 연산자 $ L = -\nabla^2 + q(x) $ 의 정규화된 고유함수이다.
• 분석은 유일한 입력 데이터로 간주되는 경계에서의 대각선 값 $ \theta(s,s,\lambda) $ ( $ s \in S $, $ \lambda \in \mathbb{R}_+ $) 에 집중된다.
• 모든 고유값 $ \lambda_j $ 의 단순성 조건을 이용하여 고유함수 $ \phi_j $ 가 부호를 제외하고 유일하게 결정됨을 보장함으로써 스펙트럴 데이터의 재구성 가능성을 확보한다.
• 핵심 단계로는 경계 값 $ \theta(s,s,\lambda) $ 가 역스펙트럴 기법을 통해 포텐셜 $ q(x) $ 를 재구성하는 데 충분한 정보를 담고 있음을 보이는 것이다.

실험 결과

연구 질문

• RQ1 경계에서의 스펙트럴 함수 $ \theta(s,s,\lambda) $ 의 값으로부터 포텐셜 $ q(x) $ 가 유일하게 복원될 수 있는가?
• RQ2 스펙트럼에 어떤 조건이 있어야 경계에서의 스펙트럴 데이터가 $ q(x) $ 의 유일한 재구성에 충분한가?
• RQ3 고유값의 단순성이 역문제의 유일성에 어떤 영향을 미치는가?
• RQ4 경계에서만 $ \theta(s,s,\lambda) $ 를 사용할 경우, 역문제가 과다한 조건이 없는가?
• RQ5 네우먼 경계 조건은 포텐셜 재구성의 유일성에 어떤 역할을 하는가?

주요 결과

• 모든 고유값이 단순함을 가정할 때, 모든 $ s \in S $ 와 모든 $ \lambda \in \mathbb{R}_+ $ 에 대해 $ \theta(s,s,\lambda) $ 의 데이터로 포텐셜 $ q(x) $ 가 유일하게 결정된다.
• 스펙트럴 함수 $ \theta(x,y,\lambda) $ 가 경계의 대각선에 제한될 경우, 도메인 내부의 $ q(x) $ 를 재구성하는 데 충분한 정보를 제공한다.
• 유일성 결과는 스무스한 포텐셜 $ q \in C^\infty(D) $ 와 $ n \geq 3 $ 이며 $ C^\infty $ 경계를 갖는 영역 $ D \subset \mathbb{R}^n $ 에 대해 성립한다.
• 네우먼 경계 조건은 자기수반 연산자 $ L $ 을 정의하는 데 필수적이며, 경계 데이터 $ \theta(s,s,\lambda) $ 는 이 조건을 만족하는 고유함수로부터 유도된다.
• 데이터 집합 $ \theta(s,s,\lambda) $ 가 $ s \in S $ 와 $ \lambda \in \mathbb{R}_+ $ 에 의해 매개변수화되어 있으며, 이는 단순성 가정 하에서 포텐셜 $ q(x) $ 의 자유도와 일치하므로 과다한 조건이 없음을 보장한다.
• 결과적으로, 전체 스펙트럴 측도는 아니지만 경계 스펙트럴 데이터 $ \theta(s,s,\lambda) $ 가 포텐셜에 대한 전체 정보를 담고 있음을 보여준다.