[논문 리뷰] Inverse spectral problems for Sturm-Liouville operators with singular potentials, II. Reconstruction by two spectra

Rostyslav Hryniv, Ya. V. Mykytyuk|ArXiv.org|2003. 01. 18.

Spectral Theory in Mathematical Physics참고 문헌 7인용 수 5

한 줄 요약

이 논문은 $W^{-1}_2(0,1)$ 내의 특이 잠재력에 대해 스투름-리우빌 연산자의 역스펙트럼 문제를 두 스펙트럼으로부터 잠재력과 경계 조건을 재구성하여 해결한다. 고유값의 점 渐近 및 노름 상수를 이용하여, 두 수열이 같은 잠재력을 가진 스투름-리우빌 연산자의 스펙트럼이 되기 위한 필요 및 충분 조건을 설정하고, 재구성 알고리즘을 제공하며, 잠재력 표현의 비유일성에도 불구하고 잠재력과 연산자들의 유일성을 증명한다.

ABSTRACT

We solve the inverse spectral problem of recovering the singular potentials $q\in W^{-1}_{2}(0,1)$ of Sturm-Liouville operators by two spectra. The reconstruction algorithm is presented and necessary and sufficient conditions on two sequences to be spectral data for Sturm-Liouville operators under consideration are given.

연구 동기 및 목표

• 특이 잠재력 $q = \sigma'$ 를 $W^{-1}_2(0,1)$ 에서 두 스펙트럼으로부터 복원하는 역스펙트럼 문제를 해결하는 것.
• 동일한 특이 잠재력을 가진 스투름-리우빌 연산자이지만 서로 다른 경계 조건을 가진 두 수열의 고유값이 스펙트럼이 되기 위한 필요 및 충분 조건을 결정하는 것.
• 두 스펙트럼으로부터 잠재력 $\sigma$ 와 경계 조건 매개변수 $h_1, h_2$ 를 알고리즘적으로 재구성하는 알고리즘을 개발하는 것.
• 잠재력 $q = \sigma'$ 와 연산자 $T(\sigma, H, h_1)$, $T(\sigma, H, h_2)$ 가 $\sigma$ 의 비유일성에도 불구하고 두 스펙트럼에 의해 유일하게 결정됨을 보이는 것.

제안 방법

• x=0 에서 딜레르흐 조건, x=1 에서 루빈형 조건을 가진 연산자에 대한 정밀한 고유값 점 渐近을 사용한다.
• 이전 연구 [11] 에서의 스펙트럼 자료를 이용한 역문제 결과를 활용하여 스펙트럼 자료(고유값 및 노름 상수)를 적용한다.
• 두 스펙트럼 문제를 스펙트럼과 노름 상수로부터 잠재력과 경계 조건을 복원하는 고전적 역문제로 환원한다.
• L_2(0,1) 에서 sine 및 cosine 시스템의 Riesz 기저 이론을 활용하여 스펙트럼 점 渐近을 분석하고 이중수직 체계를 구성한다.
• 고유값의 점 渐상 전개를 유도하고, 차이 추정을 통해 스펙트럼 간격과 경계 조건 매개변수를 연결한다.
• 적분 항등식과 $L^2$-노름 추정을 사용하여 스펙트럼 차이와 잠재력 및 경계 매개변수를 연결한다.

실험 결과

연구 질문

• RQ1 x=1 에서 동일한 잠재력, 다른 경계 조건을 가진 스투름-리우빌 연산자의 두 스펙트럼으로부터 $W^{-1}_2(0,1)$ 내의 특이 잠재력 $q = \sigma'$ 가 유일하게 재구성될 수 있는가?
• RQ2 두 수열의 고유값이 이러한 연산자의 스펙트럼이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 두 스펙트럼으로부터 잠재력 $\sigma$ 와 경계 조건 매개변수 $h_1, h_2$ 를 알고리즘적으로 재구성하는 방법은 무엇인가?
• RQ4 왜 $\sigma$ 의 비유일성에도 불구하고 잠재력 $q = \sigma'$ 와 연산자 $T(\sigma, H, h_1)$, $T(\sigma, H, h_2)$ 는 두 스펙트럼에 의해 유일하게 결정되는가?
• RQ5 한 경계 조건이 딜레르흐($h = \infty$) 인 경우와 유한한 경우의 고유값 점 渐상은 어떻게 다른가?

주요 결과

• 잠재력 $q = \sigma'$ 와 연산자 $T(\sigma, H, h_1)$, $T(\sigma, H, h_2)$ 는 $\sigma$ 가 비유일하더라도 두 스펙트럼에 의해 유일하게 결정된다.
• 두 수열 $(\lambda_n^2)$, $(\mu_n^2)$ 이 스펙트럼이 되기 위한 필요 및 충분 조건은: 교차성, 점 渐상 행동 $\lambda_n = \pi(n-1) + \widetilde{\lambda}_n$, $\mu_n = \pi(n-1) + \widetilde{\mu}_n$ (여기서 $\widetilde{\lambda}_n, \widetilde{\mu}_n$ 은 $\ell_2$-수열), 및 $\lambda_n - \mu_n = \frac{h}{\pi n} + \frac{\nu_n}{n}$ (여기서 $\nu_n$ 은 $\ell_2$-수열)이다.
• 한 경계 조건이 딜레르흐($h_2 = \infty$) 인 경우, 점 渐상이 변화한다: $\mu_n = \pi(n - 1/2) + \widetilde{\mu}_n$, 그리고 조건 (3) 이 생략된다.
• 재구성 알고리즘은 노름 상수를 이용하여 두 스펙트럼 문제를 고전적 역문제로 환원하며, 이는 저자들이 이전에 완전히 해결한 바 있다 [11].
• 스펙트럼 자료(고유값 및 노름 상수)는 잠재력 $\sigma \in L_2(0,1)$ 와 경계 조건 $h_1, h_2 \in \mathbb{R}$ 를 유일하게 결정한다.
• 논문은 주어진 스펙트럼 조건 하에서 고유함수 체계가 Riesz 기저를 이룬다는 것을 증명하여, 이중수직 전개를 통한 안정적 재구성 가능성을 확립한다.