[논문 리뷰] Inverting the spherical Radon transform for physically meaningful functions

Jens Klein|ArXiv.org|2003. 07. 28.

Synthetic Aperture Radar (SAR) Applications and Techniques참고 문헌 6인용 수 13

한 줄 요약

이 논문은 SAR 및 SONAR 응용에서 구면 라돈 변환의 첫 번째 재구성 공식에 심각한 결함이 있음을 밝히며, 물리적으로 현실적인 조건에서 수렴하지 않음을 보여준다. 수정된 대안을 제안하고, 분포 이론과 푸리에 분석을 통해 두 번째 공식이 수학적으로 잘 정의되어 있음을 엄밀히 증명한다. 다만 수치적으로 도전적인 문제를 안고 있다.

ABSTRACT

In this paper we refer to the reconstruction formulas given in L.-E. Andersson's On the determination of a function from spherical averages, which are often used in applications such as SAR and SONAR. We demonstrate that the first one of these formulas does not converge given physically reasonable assumptions. An alternative is proposed and it is shown that the second reconstruction formula is well-defined but might be difficult to compute numerically.

연구 동기 및 목표

• SAR 및 SONAR와 같은 물리적 영상 응용에서 구면 라돈 변환의 재구성 공식의 타당성을 평가한다.
• 안더슨의 연구에서 제시된 첫 번째 재구성 공식의 수학적 결함을 규명하고, 물리적으로 타당한 가정 하에서 수렴하지 않는다는 점을 해결한다.
• 데이터의 푸리에 변환이 L²에 속하지 않을 경우에도 두 번째 재구성 공식의 수학적 잘 정의됨을 확립한다.
• 푸리에 변환이 L²에 속하지 않는 함수에 대해 역 구면 라돈 변환을 분포 이론적으로 엄밀히 정의할 수 있는 프레임워크를 제공한다.

제안 방법

• 임계 분포와 샤프라스 공간 이론을 활용하여 구면 라돈 변환 Rf와 그 역변환 간의 푸리에 도메인 관계를 분석한다.
• f가 물리적으로 의미 있는 성질을 지닐 경우, 특히 f̂(0,0) ≠ 0일 때 첫 번째 재구성 공식이 발산하는 적분을 초래함을 보여준다.
• 수반 연산자 R*와 그 푸리에 승수 √(|η|²−|ξ|²)|η|ⁿ⁻¹로 정의된 임의의 미분 연산자 K를 기반으로 한 대안적 역변환 공식을 제안한다.
• 푸비니 정리를 적용하여 R*Kg의 푸리에 변환에서 적분 순서를 정당화함으로써 분포 이론적 푸리에 변환이 잘 정의됨을 보장한다.
• 변수 치환과 L² 노름 추정을 통해 물리적 가정 하에서 ĝ의 L² 노름이 무한대가 됨을 보이며, 분포 이론적 접근의 필요성을 정당화한다.
• 푸리에 변환의 등식을 통해 f = cₙ R*Kg 가 분포 이론적으로 성립함을 보이며, f̂(ξ,η) = cₙ ŝ(Kg)(ξ,√(|ξ|²+η²)) 를 증명한다.

실험 결과

연구 질문

• RQ1 안더슨의 연구에서 제시된 첫 번째 재구성 공식은 SAR 및 SONAR 영상에서 물리적으로 현실적인 함수에 대해 수렴하는가?
• RQ2 데이터의 푸리에 변환이 L²에 속하지 않을 경우, 두 번째 재구성 공식의 수학적 성격은 어떠한가?
• RQ3 푸리에 변환의 원점에서 값이 0이 아닌 함수에 대해 역 구면 라돈 변환을 분포 이론적으로 엄밀히 정의할 수 있는가?
• RQ4 R*Kg를 통한 제안된 대안적 역변환 공식은 수학적으로 잘 정의되어 있으며, 기존의 푸리에 도메인 관계와 일관된가?

주요 결과

• 첫 번째 재구성 공식은 물리적으로 타당한 가정 하에서 발산하는 적분을 유도하므로 무효하다. 특히 f̂(0,0) ≠ 0일 경우 더욱 심각하다.
• 두 번째 재구성 공식은 분포 이론적으로 잘 정의되어 있음을 입증하였으며, R*Kg의 푸리에 변환이 존재하고 요구되는 형태와 일치함을 보였다.
• 데이터 g = Rf 의 푸리에 변환은 L²에 속하지 않으며, g는 L¹에도 속하지 않음. 이는 원점에서의 특이성 때문이며, 표준적인 L² 또는 L¹ 기반 수치 방법을 무효로 한다.
• R*Kg의 분포 이론적 푸리에 변환은 잘 정의되어 있으며, cₙ 배의 요구되는 표현과 일치함을 보여, f = cₙ R*Kg 가 임계 분포 공간에서 성립함을 보장한다.
• 분석 결과, 데이터의 푸리에 변환이 적분 가능하거나 제곱-integrable하지 않더라도 두 번째 공식이 알려진 푸리에 도메인 역변환 관계와 일관됨을 확인하였다.