[논문 리뷰] Properties of the map associated with recovering of the Sturm-Liouville operator by its spectral function. Uniform stability in the scale of Sobolev spaces

А. М. Савчук, Андрей Андреевич Шкаликов|arXiv (Cornell University)|2010. 10. 26.

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

한 줄 요약

이 논문은 스투름-리우빌 잠재력의 역문제에 대해 소볼레프 공간에서 균일한 안정성 추정을 수립한다. 잠재력의 원시 함수 $ \sigma = \int q $ 와 정규화된 스펙트럼 데이터 사이의 비선형 사상 $ F: W_2^\theta \to l_D^\theta $ 를 도입하여, 이 사상이 국소적으로 가역적이며 명시적인 프레셰 도수를 갖는 것을 증명하고, 볼록 부분집합에서 균일한 양방향 추정 $ \|\sigma - \sigma_1\|_\theta \asymp \|\mathbf{s} - \mathbf{s}_1\|_\theta $ 를 유도한다. 이는 전체 소볼레프 정규성 척도 $ \theta \geq 0 $ 에서 안정적인 재구성 보장한다.

ABSTRACT

Denote by $L_D$ the Sturm-Liouville operator $Ly=-y" +q(x)y$ on the finite interval $[0,π]$ with Dirichlet boundary conditions $y(0)=y(π)=0$. Let $\{λ_k\}_1^\infty$ and $\{α_k\}_1^\infty$ be the sequences of the eigenvalues and norming constants of this operator. For all $θ\geqslant 0$ we study the map $F: W_2^θ o l_D^θ$ defined by $F(σ) =\{s_k\}_1^\infty$. Here $σ= \int q $ is the primitive of $q$, $\bold s = \{s_k\}_1^\infty$ be regularized spectral data defined by $s_{2k} =\sqrt{λ_k}-k,\ s_{2k-1}=α_k-π/2$ and $l_D^θ$ are special Hilbert spaces which are constructed in the paper as finite dimensional extensions of the usual weighted $l_2$ spaces. We give a complete characterization of the image of this nonlinear operator, show that it is locally invertible analytic map, find explicit form of its Frechet derivative. The main result of the paper are the uniform estimates of the form $\|σ-σ_1\|_θ\asymp \|\bold s -\bold s_1\|_θ$, provided that the spectral data $\bold s$ and $\bold s_1$ run through special convex sets in the spaces $l_D^θ$.

연구 동기 및 목표

• 스펙트럼 함수로부터 스투름-리우빌 잠재력 $ q \in W_2^\alpha[0,\pi] $ 을 재구성하는 역문제를 다루며, $ \alpha \geq -1 $ 으로 확장한다.
• 잠재력의 원시 함수 $ \sigma = \int q $ 를 정규화된 스펙트럼 데이터 $ \mathbf{s} = \{s_k\} $ 로 매핑하는 비선형 사상 $ F: W_2^\theta \to l_D^\theta $ 의 상을 특성화한다. 여기서 $ s_{2k} = \sqrt{\lambda_k} - k $, $ s_{2k-1} = \alpha_k - \pi/2 $ 이다.
• 스펙트럼 데이터 공간 $ l_D^\theta $ 의 볼록 부분집합에서 균일한 양방향 안정성 추정 $ \|\sigma - \sigma_1\|_\theta \asymp \|\mathbf{s} - \mathbf{s}_1\|_\theta $ 을 $ \theta > 0 $ 에 대해 확립하며, 이는 재구성의 강건성을 보장한다.
• 사상 $ F $ 와 그 역의 프레셰 도수에 대한 명시적 공식을 제공하여 국소 해석적 역구성 가능성을 보장한다.
• 비선형 보간 이론을 사용하여 전체 소볼레프 공간 척도 $ W_2^\theta $, $ \theta \geq 0 $ 에 걸쳐 분석을 통합하고, 힐버트 공간 $ l_D^\theta $ 를 가중치가 있는 $ \ell_2 $ 공간의 유한차원 확장으로 구성한다.

제안 방법

• 스펙트럼 데이터 $ \mathbf{s} = \{s_k\} $ 에 대해 $ s_{2k} = \sqrt{\lambda_k} - k $, $ s_{2k-1} = \alpha_k - \pi/2 $ 를 만족시키며, 잠재력 $ q \in W_2^\theta $ 의 원시 함수 $ \sigma = \int q $ 와 연결된 사상 $ F: W_2^\theta \to l_D^\theta $ 를 정의한다. 여기서 $ \lambda_k $, $ \alpha_k $ 는 $ [0,\pi] $ 에서 딜리클레 경계 조건을 갖는 스투름-리우빌 연산자 $ L_D = -y'' + q(x)y $ 의 고유값과 정규화 상수이다.
• 정규화된 스펙트럼 데이터를 수용하고 사상 $ F $ 의 완비성과 유계성을 보장하기 위해, 가중치가 있는 $ \ell_2 $ 공간의 유한차원 확장으로서 힐버트 공간 $ l_D^\theta $ 를 구성한다.
• 사상 $ F $ 가 소볼레프 공간 $ W_2^\theta $ 와 공간 $ l_D^\theta $ 사이에서 국소적으로 가역적인 해석적 사상임을 증명하고, 명시적으로 계산된 프레셰 도수를 갖는다.
• 볼록 집합 $ \Omega^\theta(r,h) \subset l_D^\theta $ 과 공구 $ \mathcal{B}_\Gamma^\theta(R) \subset W_2^\theta $ 를 사용하여 균일한 안정성 추정을 확립하며, 잠재력 차이의 $ \theta $-노름이 스펙트럼 데이터 차이의 $ \theta $-노름과 등가임을 보인다.
• 비선형 보간 이론을 적용하여 전체 소볼레프 공간 척도 $ W_2^\theta $, $ \theta \geq 0 $ 에 걸쳐 분석을 통합하고, 추정의 강건성과 척도 불변성을 보장한다.
• 직선 이동(상수항 $ cx $ 덧셈)을 통한 애핀 변환을 이용해 공구 $ \mathcal{B}_\Gamma^\theta(R) $ 와 표준 소볼레프 공구 $ \mathcal{B}_\mathbb{R}^\theta(R) $ 간의 등가성을 이용하여 분석을 단순화하고 결과를 표준 소볼레프 공구로 확장한다.

실험 결과

연구 질문

• RQ1 사상 $ F: W_2^\theta \to l_D^\theta $ 의 상은 무엇인가? 여기서 $ \sigma = \int q $ 는 잠재력의 원시 함수이고, $ \mathbf{s} = \{s_k\} $ 는 정규화된 스펙트럼 데이터이다.
• RQ2 사상 $ F $ 의 프레셰 도수를 명시적으로 계산할 수 있는가? 그리고 이는 역문제의 국소 가역성에 대해 어떤 통찰을 제공하는가?
• RQ3 잠재력 차이의 $ W_2^\theta $-노름과 정규화된 스펙트럼 데이터 차이의 $ l_D^\theta $-노름 사이에 균일한 양방향 추정을 어떻게 확립할 수 있는가?
• RQ4 추정의 안정성 상수는 데이터 집합의 크기에 어떻게 의존하는가? 반경 $ R \to \infty $ 또는 $ h \to 0 $ 일 때는 어떻게 되는가?
• RQ5 특수 집합 $ \mathcal{B}_\Gamma^\theta(R) $ 에서 표준 소볼레프 공구 $ \mathcal{B}_\mathbb{R}^\theta(R) $ 로 결과를 확장할 수 있는가? 스펙트럼 데이터 정의에 어떤 수정이 필요한가?

주요 결과

• 사상 $ F: W_2^\theta \to l_D^\theta $ 는 $ F(\sigma) = \{s_k\} $ 를 정의하며, $ s_{2k} = \sqrt{\lambda_k} - k $, $ s_{2k-1} = \alpha_k - \pi/2 $ 를 만족한다. 이 사상은 소볼레프 공간 $ W_2^\theta $ 와 구성된 힐버트 공간 $ l_D^\theta $ 사이에서 국소적으로 가역적인 해석적 사상이므로, 역문제가 국소적으로 잘 정의되어 있음을 보장한다.
• 사상 $ F $ 의 프레셰 도수를 명시적으로 계산하였으며, 이는 유계 선형 연산자임을 보여주며, 소볼레프 공간 척도에서 역함수 정리 기법의 적용이 가능함을 시사한다.
• 스펙트럼 데이터 $ \mathbf{s}, \mathbf{s}_1 $ 가 볼록 부분집합 $ \Omega^\theta(r,h) \subset l_D^\theta $ 에 속할 경우, $ \theta > 0 $ 에 대해 균일한 양방향 추정 $ \|\sigma - \sigma_1\|_\theta \asymp \|\mathbf{s} - \mathbf{s}_1\|_\theta $ 이 성립하며, 상수 $ C_1, C_2 $ 는 오직 $ r $ 과 $ h $ 에만 의존한다.
• 역사상 $ F^{-1} $ 는 $ \Omega^\theta(r,h) $ 에서 균일하게 유계이며, $ \|(F^{-1})'\| \leq C $ 를 만족한다. 여기서 상수 $ C $ 는 오직 $ r $ 과 $ h $ 에만 의존하므로, 재구성 과정의 안정성이 보장된다.
• 추정은 강건하다: $ R \to \infty $ 일 때, 상수 $ r $, $ h^{-1} $, $ C_2 $, $ C_1^{-1} $ 는 증가하지만, 주어진 볼록 집합에서 추정은 여전히 균일하다.
• 직선 이동 $ \sigma \mapsto \sigma + cx $ 를 사용하여 결과를 특수 집합 $ \mathcal{B}_\Gamma^\theta(R) $ 에서 표준 소볼레프 공구 $ \mathcal{B}_\mathbb{R}^\theta(R) $ 로 확장한다. 이 경우 스펙트럼 데이터를 재정의하여 상수 $ c $ 를 포함하며, $ c \geq -\lambda_1(\sigma) - 1 $ 이 되도록 하여, 추정에서 노름의 등가성을 보장한다.