[논문 리뷰] The inverse problem for the local geodesic ray transform

Günther Uhlmann, András Vasy|arXiv (Cornell University)|2012. 10. 07.

Numerical methods in inverse problems참고 문헌 8인용 수 30

한 줄 요약

이 논문은 차원 ≥3인 리만다이만 다양체에서 경로선 X선형 변환이 경계 근처에서 국소적 볼록성 조건을 만족할 경우 국소적 역가역성과 안정성을 확립한다. 미세국소 분석과 노이만 급수 재구성 방법을 사용하여 지수 가중 노름에서 단사성과 안정성 추정을 증명하며, 엄밀히 볼록인 초표면으로 이루어진 전역적 분할 조건 하에서 전역 단사성으로 확장된다.

ABSTRACT

Under a convexity assumption on the boundary we solve a local inverse problem, namely we show that the geodesic X-ray transform can be inverted locally in a stable manner; one even has a reconstruction formula. We also show that under an assumption on the existence of a global foliation by strictly convex hypersurfaces the geodesic X-ray transform is globally injective. In addition we prove stability estimates and propose a layer stripping type algorithm for reconstruction.

연구 동기 및 목표

• 차원 ≥3인 리만다이만 다양체의 엄밀히 볼록인 영역에서 경로선 X선형 변환의 국소 역문제를 해결한다.
• 경계점 근처에서 국소적 볼록성 조건 하에서 변환의 국소적 안정성 단사성을 확립한다.
• 역변환을 위한 노이만 급수를 통한 재구성 공식을 제공한다.
• 전역적으로 엄밀히 볼록인 초표면으로 이루어진 분할 조건 하에서 국소 결과를 전역 단사성으로 확장한다.
• 작은 계량 변화에 대해 균일한 안정성 추정과 도메인의 컴acts부분집합에 대해 유도한다.

제안 방법

• 정의 함수 ρ를 사용하고, d˜x(p) = −dρ(p)를 만족하는 매끄러운 함수 ˜x를 구성하여 국소적 이웃 O_p = {˜x > −c} ∩ X를 정의한다.
• 스캐터링 계산 프레임워크 내에서 미세국소 분석을 적용하고, 지수 가중치 e^{γ/(˜x + c)}를 사용하는 가중치 있는 소볼레프 공간 H^s_γ를 도입한다.
• 콤팩트 지지를 가진 매끄러운 함수의 푸리에 변환을 사용하여 가우시안에 가까운 함수를 근접시키고, 변환된 연산자 A = x^{-1}e^{-γ/x}Ae^{γ/x}의 경계 주요 기호의 타원성을 확립한다.
• 연산자 A에 대해 노이만 급수를 통한 파라메트릭스를 구성하고, 유한차원 핵의 여집합에서의 유계성과 역가역성을 증명한다.
• I가 X선형 변환이고 L이 미분형 연산자임을 고려하여 A = L ∘ I의 분해를 사용하여 A의 안정성과 I의 안정성 간의 관계를 규명한다.
• 가중치 있는 소볼레프 공간과 표준 소볼레프 공간 간의 포함 사상들을 적용하여, 지수 가중치를 가진 H^s 노름에서 최종 안정성 추정을 유도한다.

실험 결과

연구 질문

• RQ1 경계점 근처에서 국소적 볼록성 조건을 만족할 경우, 경로선 X선형 변환은 안정적으로 국소적으로 역가능한가?
• RQ2 리만다이만 계량의 작은 변화에 대해 변환이 여전히 단사적이고 안정적인가?
• RQ3 엄밀히 볼록인 초표면으로 이루어진 전역적 분할 조건 하에서 국소 역가역성 결과로부터 전역 단사성 결과를 도출할 수 있는가?
• RQ4 노이만 급수와 같은 구조적 재구성 방법이 역문제에 존재하는가?
• RQ5 역문제에서 안정성 추정을 위한 최적의 정(regularity)과 가중치 구조는 무엇인가?

주요 결과

• 각 p ∈ ∂X에 대해, O_p = {˜x > −c} ∩ X인 이웃이 존재하여, s ≥ 0일 때 H^s(O_p)에서 국소적 경로선 X선형 변환은 단사적이다.
• 안정성 추정이 성립한다: ||f||_{H^{s-1}_γ(O_p)} ≤ C||If|_{M_{O_p}}||_{H^s(M_{O_p})}이며, 작은 c와 작은 계량 변화에 대해 C는 c에 대해 균일하다.
• 안정성 추정은 임의의 γ > 0에 대해 H^s_γ(O_p) = {f ∈ H^s_loc(O_p) : e^{-γ/(˜x + c)}f ∈ H^s(O_p)}에서 유효하다.
• 노이만 급수 재구성 공식이 구성되어 있으며, If로부터 f를 안정적이고 명시적으로 복원할 수 있는 방법을 제공한다.
• 전역적으로 엄밀히 볼록인 초표면으로 이루어진 분할 조건 하에서, 보완 집합의 측도가 0이면 L^2(X)에서 전역 X선형 변환은 단사적이며, 보완 집합의 내부가 공집일 경우 s > n/2일 때 H^s(X)에서도 단사적이다.
• 안정성 상수는 c와 ρ₀에 대해 균일하며, 작은 |c|와 |ρ₀|에 대해 성립하며, 결과는 작은 계량 변화로까지 확장된다.