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

Hanming Zhou|arXiv (Cornell University)|2013. 04. 25.

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

한 줄 요약

이 논문은 차원 ≥3인 리만다이니안 다양체 위에서 일반적인 흐름(단지 지오데식 흐름이 아닌)에 대해 X선 변환이 국소적으로 단사적이고 안정적임을 확립한다. 가중치가 부여된 스캐터링 미분형식 이론을 이용해 비지오데식 흐름으로까지 쌍대 연산자의 타원 이론을 확장함으로써, 도메인의 경계점에서 엄격한 E-볼록성 조건을 만족할 경우, 국소 X선 변환이 단사적임과 동시에 가중치가 부여된 소볼레프 공간에서 안정성 추정이 성립함을 증명한다.

ABSTRACT

In this paper we consider the local X-ray transform for general flows. We extend the results on the local and global invertibility of the geodesic ray transform proved by Uhlmann and Vasy \cite{UV} to the X-ray transform for a general flow. The key improvement is that our argument for the ellipticity of the conjugated operator $A_F$ (which is defined in Section 2) can be applied to flows other than the geodesic flow.

연구 동기 및 목표

• 단위 구면(bundle) 위에서 벡터장 E에 의해 지배되는 일반적인 흐름에 대해 지오데식 레이 변환의 역문제 이론을 확장한다.
• 도메인이 경계점에서 엄격한 E-볼록성 조건을 만족할 경우, 국소적으로 E-지오데식 변환이 가중치가 부여된 소볼레프 공간에서 단사적임을 확립한다.
• 단일 경계점 근처에서 최소한의 볼록성 가정 조건 하에서 역문제에 대한 안정성 추정을 도출한다.
• 우르만과 바시 [18]의 지오데식 레이 변환에 대한 결과를 더 넓은 범주인 E-지오데식 흐름으로 일반화한다.

제안 방법

• E-지오데식 흐름을 단위 구면(bundle) 위의 두 번째 차수 상미분방정식을 통해 정의함으로써, 외부 힘을 포함한 지오데식 흐름을 일반화한다.
• 함수 f를 도메인 X의 경계에 끝점을 갖는 E-지오데식선을 따라 적분함으로써 국소 E-지오데식 변환을 정의한다.
• 경계 근처에서 역문제를 국소화하고 안정화하기 위해 가중치 함수 e^{F/x}를 사용하여 공액 연산자 A_F = x^{-1}e^{-F/x} A e^{F/x}를 구성한다.
• 변환의 커널에 대한 푸리에 분석적 접근을 통해 A_F의 스캐터링 주요 기호가 타원적임을 증명하며, 가우시안 및 compactly supported 캐럿 오프리미네이션을 활용한다.
• 스캐터링 미분형식 연산자 이론을 적용하여 역문제에 대한 가중치가 부여된 L2 및 소볼레프 추정을 도출한다.
• 층층 분리(layer-stripping)와 노이만 급수(Neumann series) 논증을 통해 국소 결과로부터 전역 재구성 방법과 안정성 추정을 유도한다.

실험 결과

연구 질문

• RQ1 도메인이 경계점 p에서 엄격한 E-볼록성 조건을 만족할 경우, 일반적인 흐름에 대한 국소 X선 변환은 역전환이 가능한가?
• RQ2 E-지오데식 변환의 역문제는 경계 근처에서 가중치가 부여된 소볼레프 공간에서 안정성 추정을 갖는가?
• RQ3 지오데식 사례를 초월한 흐름에 대해 공액 연산자 A_F의 타원성이 확립될 수 있는가?
• RQ4 국소 단사성에 필요한 최소 기하학적 조건(예: 볼록성)은 무엇인가?
• RQ5 E-지오데식 설정에서 국소 안정성 추정으로부터 전역 단사성과 재구성 방법을 어떻게 도출할 수 있는가?

주요 결과

• 도메인이 경계점 p에서 엄격한 E-볼록성 조건을 만족할 경우, H^s(O_p)에서의 국소 E-지오데식 변환은 s ≥ 0 인 경우 단사적이다.
• f ∈ H^s_F(O_p)일 경우, ‖f‖_{H^{s-1}_F(O_p)} ≤ C‖If‖_{H^s(M_{O_p})} 형태의 안정성 추정이 성립하며, 이때 큰 가중치 e^{F/(x+c)}는 x = -c 근처에서 통제력을 약화시킨다.
• 일반적인 E-흐름에 대해 유효한 커널의 푸리에 변환에 대한 푸리에 분석적 하한 추정을 통해 공액 연산자 A_F의 타원성이 확립된다.
• 이 방법은 등각 계량 및 비자명한 흐름에 적용 가능하므로, 조건부 유클리드 경우조차도 새로운 결과를 제공한다.
• 정의 함수 ρ의 수준집합이 엄격한 E-볼록성 조건을 만족하고, ρ^{-1}([T,∞))의 측도가 0일 경우, L^2(X)에서 E-지오데식 변환의 전역 단사성이 성립한다.
• ρ^{-1}([T,∞))의 내부가 공집일 경우, s > n/2 인 H^s(X)에서의 전역 단사성이 성립하며, 이는 지오데식 사례를 일반적인 흐름으로 확장한다.