[논문 리뷰] Remarks on the inverse Cherednik-Opdam transform on the real line

Troels Roussau Johansen|arXiv (Cornell University)|2015. 02. 04.

Mathematical Analysis and Transform Methods참고 문헌 8인용 수 6

한 줄 요약

이 논문은 일차원 Cherednik–Opdam 변환과 그 역변환에 대한 Hausdorff–Young 부등식을 수립하고, Jacobi 해석학의 결과를 일반화하는 실수 Paley–Wiener 정리를 증명한다. 주요 기여는 확장된 변환 $ \mathscr{H}_p $의 역변환이 $ \nu $-거의 everywhere에서 $ \mathscr{I}_{p'} $와 일치함을 보이고, 역변환의 상에 속하는 함수들이 컴팩트한 지지집합을 가진 푸리에 변환을 갖는 지수형 타입의 정칙 함수임을 보이는 것이다.

ABSTRACT

We obtain Hausdorff-Young inequalities for the one-dimensional Cherednik--Opdam transform and its inverse, and we establish a real Paley-Wiener theorem for its inverse that generalizes an analogous result by N. B. Andersen for the Jacobi transform.

연구 동기 및 목표

• Hausdorff–Young 부등식을 이용하여 $ L^2(\mathbb{R}, d\mu) $ 위의 Cherednik–Opdam 변환 $ \mathcal{H} $를 $ 1 \leq p \leq 2 $에 대해 $ L^p(\mathbb{R}, d\mu) $로 확장하는 것.
• 역변환 $ \mathcal{I} = \mathcal{H}^{-1} $에 대해 해당하는 Hausdorff–Young 부등식을 수립하고, 이를 $ L^q(\mathbb{R}, d\nu) $로 확장하는 것.
• 역 Cherednik–Opdam 변환에 대해 실수 Paley–Wiener 정리를 증명하여, $ \mathcal{I} $에 의해 컴팩트 지지집합을 가진 $ C^\infty $ 함수의 상을 특성화하는 것.
• 확장된 변환 $ \mathscr{H}_p $의 역변환이 $ \nu $-거의 어디서나 $ \mathscr{I}_{p'} $와 일치함을 보이며, 초군집합의 구조가 존재하지 않음에도 불구하고 이를 증명하는 것.

제안 방법

• Cherednik–Opdam 변환과 관련된 일반화된 이동과 복합 구조를 사용하였지만, 초군집합을 이루지 않음에도 불구하고.
• Hausdorff–Young 부등식을 적용하여 $ \mathcal{H} $와 $ \mathcal{I} $를 각각 $ L^p $ 및 $ L^q $ 공간으로 확장하는 것.
• 고유함수 $ \operatorname{G}_\lambda^{(\alpha,\beta)}(x) $의 곱 공식을 활용하여 $ \operatorname{G}_\lambda(x)\operatorname{G}_\lambda(y) = \int_\mathbb{R} \operatorname{G}_\lambda(z) \, d\mu_{x,y}^{(\alpha,\beta)}(z) $를 만족함.
• Plancherel 측도와 $ \mathbf{c} $-함수의 점근적 추정치를 사용하여, 특히 $ |\mathbf{c}_{\alpha,\beta}(\lambda)|^{-2} \asymp |\lambda|^{2\alpha+1} $를 고려하는 것.
• 비대칭 측도 $ d\nu $를 다루기 위해 함수 $ g $를 짝수 및 홀수 부분으로 분해하고, [And03]에서 알려진 결과를 적용하는 것.
• Harish-Chandra 급수 전개와 Jacobi 함수에 대한 Gangolli 유형 추정치를 사용하여 $ L^2(\mathbb{R}, d\mu) $에서의 감쇠 및 적분 가능성의 제어를 하는 것.

실험 결과

연구 질문

• RQ1 확장된 Cherednik–Opdam 변환 $ \mathscr{H}_p $의 역변환이 $ \nu $-거의 어디서나 $ \mathscr{I}_{p'} $와 일치하는가?
• RQ2 Jacobi 및 Dunkl 해석학에서의 것들과 유사한 실수 Paley–Wiener 정리를 역 Cherednik–Opdam 변환에 대해 수립할 수 있는가?
• RQ3 $ \mathbf{c} $-함수와 고유함수 $ \operatorname{G}_\lambda^{(\alpha,\beta)} $의 행동이 역변환의 $ L^p $-유계성과 감쇠 성질에 어떻게 영향을 미치는가?
• RQ4 특히 지수형 타입과 컴팩트 지지집합과의 관련성에서, 역변환의 상에 속하는 함수들의 정확한 감쇠 및 성장 행동은 어떠한가?

주요 결과

• 확장된 변환 $ \mathscr{H}_p $의 역변환이 $ \nu $-거의 어디서나 $ \mathscr{I}_{p'} $와 일치함을 보여, 확장된 변환 간의 쌍대성 관계를 수립하였다.
• 역 Cherednik–Opdam 변환은 $ L^q(\mathbb{R}, d\nu) $를 $ L^p(\mathbb{R}, d\mu) $로 매핑하며, $ p $와 $ q $는 켤레 지수를 이루며 Hausdorff–Young 부등식을 만족한다.
• 실수 Paley–Wiener 정리가 수립됨: 만약 $ g \in L^2(\mathbb{R}, d\nu) $가 컴팩트 지지집합을 가진다면, $ \mathcal{I}g $는 지수형 타입의 정칙 함수이며, $ R_{\mathcal{I}g} = R $이다.
• 모든 $ m,n \in \mathbb{N}_0 $에 대해 함수 $ x \mapsto (1+|x|)^m \int_\mathbb{R} \lambda^{2n} \operatorname{G}_\lambda(x) g(\lambda) \left(1 - \frac{\rho}{i\lambda}\right) \frac{d\lambda}{8\pi |\mathbf{c}_{\alpha,\beta}(\lambda)|^2} $는 $ L^2(\mathbb{R}, d\mu) $에 속하여, 미분 가능성과 감쇠성을 보장한다.
• $ |\mathbf{c}_{\alpha,\beta}(\lambda)|^{-2} \asymp |\lambda|^{2\alpha+1} $의 점근적 행동은 역변환의 $ L^2 $-적분 가능성에 필수적인 감쇠 추정치를 가능하게 한다.
• 분해 $ g = g_e + g_o $와 관계 $ \operatorname{G}_\lambda = \varphi_\lambda^{(\alpha,\beta)} + \frac{\rho}{4(\alpha+1)} \sinh(2x) \varphi_\lambda^{(\alpha+1,\beta+1)} $를 사용하여 비대칭 측도 $ d\nu $를 제어할 수 있었다.