[논문 리뷰] The support theorem for the single radius spherical mean transform

Mark Agranovsky, Peter Kuchment|arXiv (Cornell University)|2009. 05. 08.

Photoacoustic and Ultrasonic Imaging참고 문헌 21인용 수 8

한 줄 요약

이 논문은 $\mathbb{R}^n$에서 단일 반경 구면 평균 변환에 대한 지지 집합 정리를 확립한다. 만약 $f \in L^p(\mathbb{R}^n)$이면서 $p \leq 2n/(n-1)$인 경우, 닫힌 $R$-볼록 도메인 $K$와 만나지 않는 모든 반경 $R$를 가진 구의 평균이 0이면, $f$는 $K$의 클로저에 지지되어 있음을 증명한다. 이 결과는 이전의 단사성 결과를 일반화하며, 임계 지수 $2n/(n-1)$에서 정확한 임계 조건을 제공한다. 조화 분석과 커플렉션 기법을 사용한 자가 포함된 증명이 제시된다.

ABSTRACT

Let f(x) belong to L^p(R^n) and R>0. The transform is considered that integrates the function f over (almost) all spheres of radius R in R^n. This operator is known to be non-injective (as one can see by taking Fourier transform). However, the counterexamples that can be easily constructed using Bessel functions of the 1st kind, only belong to L^p if p>2n/(n-1). It has been shown previously by S. Thangavelu that for p not exceeding the critical number 2n/(n-1), the transform is indeed injective. In this article, the support theorem is proven that strengthens this injectivity result. Namely, if K is a convex bounded domain in R^n, the index p is not above 2n/(n-1), and (almost) all the integrals of $f$ over spheres of radius $R$ not intersecting K are equal to zero, then f is supported in the closure of the domain K. In fact, convexity in this case is too strong a condition, and the result holds for any what we call an R-convex domain.

연구 동기 및 목표

• 단일 반경 구면 평균 변환에 대해 $f \in L^p$ 이면서 $p \leq 2n/(n-1)$인 경우, $\mathbb{R}^n$에서의 날카운 지지 집합 정리를 확립하는 것.
• 이전의 볼록 도메인에 한정된 단사성 결과를 더 넓은 범주인 $R$-볼록 도메인으로 일반화하는 것.
• 기술적인 결과들이 큰 참고 문헌에 산재해 있는 데 의존하지 않고, 자가 포함된 간결한 증명을 제공하는 것.
• 임계 지수 $2n/(n-1)$이 구면 평균 변환의 단사성 결정에 미치는 역할을 명확히 하는 것.

제안 방법

• 구면 조화 함수의 푸리에 급수 전개를 통해 문제를 방사형 및 구면 조화 함수 성분으로 분해하는 것.
• 반경 $R$의 구면 위의 델타 함수와의 커플렉션을 사용하여 $h = f * \delta_R = 0$이라는 식을 도출하고, $K$의 보조에서 성립함.
• 커플렉션 방정식에 푸리에 변환을 적용하여 $\widehat{h}(\xi) = \widehat{f}(\xi) \widehat{\delta_R}(\xi)$를 유도하고, 이를 통해 얻어진 분포 방정식을 분석하는 것.
• 모순에 의한 증명과 다항식 차수에 대한 귀납법을 사용하여, $f$의 모든 도함수가 $K$의 근방에서 0이 됨을 보이며, 스토크스 공식과 다항식에 대한 정규직교성 조건을 활용하는 것.
• $R$-볼록 도메인의 개념을 사용하며, 이는 $K$의 보조에 있는 반경 $R$의 구의 중심 집합이 연결되어 있음을 의미한다.
• 연결성과 중심 집합의 열린/닫힘 성질을 이용한 위상적 추론을 통해 국소적인 0이 되는 성질을 $K$의 전체 보조로 확장하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $p$와 도메인 $K$가 $L^p(\mathbb{R}^n)$에서 단일 반경 구면 평균 변환이 단사적이게 되는가?
• RQ2 단사성과 지지 집합 정리는 볼록 도메인을 초월하여 더 넓은 범주로 확장될 수 있는가?
• RQ3 변환이 단사성이 아니게 되는 $p$의 날카운 임계 조건은 무엇인가?
• RQ4 기술적인 결과들이 큰 전문 서적에 산재해 있는 데 의존하지 않고, 자가 포함된 간결한 방식으로 지지 집합 정리를 어떻게 증명할 수 있는가?

주요 결과

• 구면 평균 변환은 $f \in L^p(\mathbb{R}^n)$ 이면서 $p \leq 2n/(n-1)$인 경우 단사적이며, 이 임계 조건은 날카롭다.
• $R$-볼록 도메인, 즉 보조가 반경 $R$의 닫힌 공들의 합집합이며 중심 집합이 연결된 도메인에 대해서도 지지 집합 정리가 성립한다.
• 모든 반경 $R$을 가진 구에서 $K$와 만나지 않는 곳의 평균이 0이면, $f$는 $K$의 클로저에 컴팩트하게 지지된다.
• 증명은 조화 분석, 구면 델타 함수와의 커플렉션, 다항식 차수에 대한 귀납법과 스토크스 공식을 통한 국소적 0이 되는 성질에 기반한다.
• $f$가 $B(x,R)$에서 0이 되는 중심 $x$의 집합은 $CK$ 내의 $R$-공 중심의 연결된 집합에서 열려 있고 닫혀 있으므로 전체 집합과 일치하며, 이는 $f=0$이 $\mathbb{R}^n \setminus K$에서 성립함을 의미한다.
• 이 결과는 이전의 단사성 결과를 강화하며, 적분기하학의 핵심 결과에 대해 깔끔하고 자가 포함된 증명을 제공하며, 임계 지수 $2n/(n-1)$의 역할을 명확히 한다.