[논문 리뷰] Invariant distributions, Beurling transforms and tensor tomography in higher dimensions

Gabriel P. Paternain, Mikko Salo외 1명|Apollo (University of Cambridge)|2014. 04. 28.

Mathematical Analysis and Transform Methods참고 문헌 29인용 수 9

한 줄 요약

이 논문은 불변 분포를 통한 고리자기선형 변환의 상사성 증명을 통해 2차원에서 고차원으로 텐서 토모그래피 결과를 확장한다. 아노소프 다양체에서 페스토프 항등식과 부분타원형 추정을, 비양의 곡률을 가진 다양체에서 비어링 변환 수축을 사용하여, 종결값 조건 하에서 대칭 텐서 장에 대한 사영선형 변환의 단사성을 증명함으로써, 고차원에서 스펙트럼 강성 및 역문제 이론을 발전시킨다.

ABSTRACT

In the recent articles \cite{PSU1,PSU3}, a number of tensor tomography results were proved on two-dimensional manifolds. The purpose of this paper is to extend some of these methods to manifolds of any dimension. A central concept is the surjectivity of the adjoint of the geodesic ray transform, or equivalently the existence of certain distributions that are invariant under geodesic flow. We prove that on any Anosov manifold, one can find invariant distributions with controlled first Fourier coefficients. The proof is based on subelliptic type estimates and a Pestov identity. We present an alternative construction valid on manifolds with nonpositive curvature, based on the fact that a natural Beurling transform on such manifolds turns out to be essentially a contraction. Finally, we obtain uniqueness results in tensor tomography both on simple and Anosov manifolds that improve earlier results by assuming a condition on the terminator value for a modified Jacobi equation.

연구 동기 및 목표

• 임의의 차원을 가진 다양체로 2차원 텐서 토모그래피 결과를 일반화하는 것.
• 제어된 푸리에 계수를 가진 불변 분포를 구성함으로써, 수반 사영선형 변환 $ I_m^* $ 의 상사성을 확립하는 것.
• 종결값 조건 하에서 아노소프 다양체와 비양의 곡률을 가진 다양체에서 지오데식 사영선형 변환 $ I_m $ 의 단사성을 증명하는 것.
• L^2-항등식과 곡률 기반 추정을 통해 조화 분석, 동역계 시스템, 기하학적 역문제를 통합하는 것.
• α-제어된 다양체와 종결값을 사용하여 아노소프 지오데식 흐름의 새로운 특성화를 제공하는 것.

제안 방법

• 지오데식 벡터장 $ X $, 수직 및 수평 기울기 $ \overset{\tt{v}}{\nabla}, \overset{\tt{h}}{\nabla} $, 곡률 $ K $ 를 연결하는 기본적인 $ L^2 $-항등식으로 페스토프 항등식을 사용한다.
• 아노소프 다양체에서 $ I_0^* $ 의 상사성을 증명하기 위해, 제어된 첫 번째 푸리에 계수를 가진 불변 분포를 구성함으로써 부분타원형 $ L^2 $-추정을 적용한다.
• 섹션 곡률 $ K \leq 0 $ 일 때, 대칭 텐서 장에 작용하는 비어링 변환을 도입하여 수축으로 작용함을 보이며, 불변 분포의 대체 구성법을 가능하게 한다.
• $ \alpha $-제어된 다양체를 정의하고, 종결값 $ \beta_{\text{Ter}} $ 를 사용하여 비양의 곡률 조건과 아노소프 조건 사이를 보간한다.
• 단위 접선다양체 $ SM $ 에서의 구면 조화함수 전개를 사용하여 함수를 분해하고, $ X = X_+ + X_- $ 가 각기 다른 푸리에 모드에 작용하는 방식을 분석한다.
• 교환자 항등식과 굴레인-카즈단 에너지 항등식을 이용하여 페스토프 항등식을 곡률 항과 연결하며, 특히 2차원의 경우에 중점을 둔다.

실험 결과

연구 질문

• RQ1 불변 분포를 사용하여 고차원에서 수반 사영선형 변환 $ I_m^* $ 의 상사성을 확립할 수 있는가?
• RQ2 부분타원형 추정과 페스토프 항등식은 아노소프 다양체에서 제어된 푸리에 계수를 가진 불변 분포를 구성하는 데 어떻게 기여하는가?
• RQ3 비양의 곡률을 가진 다양체에서 비어링 변환은 불변 분포를 구성하는 데 어떤 역할을 하는가?
• RQ4 수정된 자코비 방정식의 종결값 $ \beta_{\text{Ter}} $ 는 사영선형 변환 $ I_m $ 의 단사성에 어떻게 影향을 미치는가?
• RQ5 $ \alpha $-제어된 다양체 개념은 고차원에서 아노소프 지오데식 흐름을 동역학적으로 특성화하는 데 기여하는가?

주요 결과

• 모든 아노소프 다양체에서, 부분타원형 $ L^2 $-추정과 페스토프 항등식을 통해 제어된 첫 번째 푸리에 계수를 가진 불변 분포가 존재한다.
• 비양의 곡률을 가진 다양체에서, 비자기 대칭 텐서 장에 대한 비어링 변환은 본질적으로 수축으로 작용하며, 불변 분포의 대체 구성법을 가능하게 한다.
• $ I_0^* $ 의 상사성은 부분타원형 추정과 페스토프 항등식을 통해 아노소프 다양체에서 확립되며, 이는 $ I_0 $ 의 단사성을 암시한다.
• $ m \geq 1 $ 일 때, 종결값 $ \beta_{\text{Ter}} $ 에 대한 조건 하에서 $ I_m^* $ 의 상사성이 증명되며, 이는 아노소프 다양체와 비양의 곡률을 가진 다양체에서 $ I_m $ 의 단사성을 이끌어낸다.
• $ u \in \Omega_1 $ 에 대해 $ \|X_-u\| \leq \sqrt{2}\|X_+u\| $ 인 불등식은 평탄한 경우에 정확하며, 이는 이전 연구 [GK80c] 에서의 상수 보정을 시사한다.
• 페스토프 항등식과 굴레인-카즈단 항등식은 합산과 재표기 하에서 동치임을 보이며, 특히 $ \Lambda_k $ 성분에 제한할 경우 첫 번째 항등식이 두 번째 항등식으로 축소됨을 보여준다.