[논문 리뷰] Almost Everywhere Convergence of Inverse Dunkl Transform on the Real Line

Jamel El Kamel, Chokri Yacoub|ArXiv.org|2007. 06. 25.

Mathematical Analysis and Transform Methods참고 문헌 7인용 수 3

한 줄 요약

이 논문은 가중 $ L^p $ 및 로렌츠 공간에서 최대 연산자 $ S_*^eta $ 의 유계성을 증명하여 실수선 위에서 역 덕스트 변환의 거의 everywhere 수렴을 확립한다. $ \frac{4(\alpha+1)}{2\alpha+3} < p < \frac{4(\alpha+1)}{2\alpha+1} $ 일 때, 구면 부분합 $ S_R^\alpha f(x) $ 가 $ R \to \infty $ 일 때 거의 everywhere 에서 $ f(x) $ 로 수렴하며, 이 범위의 끝점에서 정확한 로렌츠 공간 추정이 이루어진다.

ABSTRACT

In this paper, we will first show that the maximal operator $S_*^α$ of spherical partial sums $S_R^α$, associated to Dunkl transform on $\mathbb{R}$ is bounded on $L^p(\mathbb{R}, |x|^{2α+1} dx)$ functions when $\frac{4(α+1)}{2α+3}

연구 동기 및 목표

• 가중 $ L^p $ 공간에 속하는 함수에 대해 실수선 위에서 역 덱스트 변환의 거의 everywhere 수렴을 확립하는 것.
• 최대 연산자 $ S_*^\alpha $ 가 $ L^p(\mathbb{R}, |x|^{2\alpha+1}dx) $ 에서 유계일 수 있는 $ p $ 의 정확한 범위를 결정하는 것.
• 범위의 끝점 $ p_0 = \frac{4(\alpha+1)}{2\alpha+3} $ 와 $ p_1 = \frac{4(\alpha+1)}{2\alpha+1} $ 에서 $ L^{p_i,1} $ 로렌츠 공간으로의 유계성 결과를 확장하는 것.
• 로렌츠 공간에서의 마르친키에비치 보간법을 이용하여 $ L^p $ 유계성 결과를 따름으로써 회복하는 것.

제안 방법

• 레마 1.1 의 관계를 이용하여 순서 $ \alpha $ 와 $ \alpha+1 $ 의 하이켈 변환을 통해 덱스트 변환 $ D_\alpha $ 와 그 역을 정의한다.
• 부분합 $ S_R^\alpha f(x) $ 를 하이켈 부분합의 조합으로 표현한다: $ s_R^\alpha(f_e)(|x|) + x s_R^{\alpha+1}(f_o(r)/r)(|x|) $.
• 최대 연산자 $ S_*^\alpha f(x) $ 를 $ s_*^\alpha(f_e)(|x|) + |x| s_*^{\alpha+1}(f_o(r)/r)(|x|) $ 로 주로 제어한다.
• 기존의 하이켈 최대 연산자 $ s_*^\beta $ 가 $ L^p((0,\infty), x^{2\beta+1}) $ 에서의 유계성 결과를 적용한다. $ \beta = \alpha, \alpha+1 $ 일 때.
• 다이adic 분해 $ I_k = [2^k, 2^{k+1}) $ 를 사용하여 $ |x| s_*^{\alpha+1}(g)(|x|) > \lambda/2 $ 인 집합의 측도를 추정하며, $ g = g_k^1 + g_k^2 $ 로 분할한다.
• 로렌츠 공간에서의 약형 추정과 헬더 부등식을 적용하며, $ |x|^{-\alpha-1/2} \in L^{p_1,\infty} $ 와 $ |x|^{-\alpha-3/2} \in L^{p_0,\infty} $ 이라는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 어느 $ p \in (1,\infty) $ 에서 최대 연산자 $ S_*^\alpha $ 가 $ L^p(\mathbb{R}, |x|^{2\alpha+1}dx) $ 에서 유계인가?
• RQ2 구면 부분합 $ S_R^\alpha f(x) \to f(x) $ 가 거의 everywhere 로 수렴하는 데 필요한 $ p $ 의 정확한 범위는 무엇인가?
• RQ3 최대 연산자 $ S_*^\alpha $ 의 유계성은 끝점 $ p_0 $ 와 $ p_1 $ 에서 로렌츠 공간 $ L^{p_i,1} $ 으로 확장될 수 있는가?
• RQ4 역 덱스트 변환의 행동은 $ f $ 의 짝수 및 홀수 부분의 하이켈 변환과 어떻게 관련되어 있는가?
• RQ5 동차 가중치와 다이adic 분해는 가중 로렌츠 공간에서 최대 함수를 추정하는 데 어떤 역할을 하는가?

주요 결과

• 최대 연산자 $ S_*^\alpha $ 는 $ \frac{4(\alpha+1)}{2\alpha+3} < p < \frac{4(\alpha+1)}{2\alpha+1} $ 에서 $ L^p(\mathbb{R}, |x|^{2\alpha+1}dx) $ 에서 유계이며, 이는 $ S_R^\alpha f $ 가 거의 everywhere 에서 $ f $ 로 수렴함을 암시한다.
• 끝점 $ p_0 = \frac{4(\alpha+1)}{2\alpha+3} $ 와 $ p_1 = \frac{4(\alpha+1)}{2\alpha+1} $ 에서 $ S_*^\alpha $ 는 $ L^{p_i,1}(\mathbb{R}, |x|^{2\alpha+1}dx) $ 에서 $ L^{p_i,\infty}(\mathbb{R}, |x|^{2\alpha+1}dx) $ 로 유계이며, 이는 정확한 추정을 제공한다.
• 로렌츠 공간에서의 유계성은 다이adic 분해와 홀수 부분의 최대 함수에 대한 약형 추정을 통해 확립되며, 커널의 주로 제어와 가중 적분 가능성을 활용한다.
• 증명은 $ f $ 를 짝수 및 홀수 부분으로 분해하여 덱스트 최대 연산자를 알려진 하이켈 최대 연산자 유계성 결과로 환원한다.
• 결과는 정확하다: $ p \leq p_0 $ 이거나 $ p \geq p_1 $ 일 때, $ S_*^\alpha $ 는 $ L^p $ 에서 유계가 아니며, 이는 정리 1.2 에 의해 확인된다.
• 로렌츠 공간에서의 마르친키에비치 보간법을 통해 $ L^p $ 유계성 결과가 따름으로써 회복되며, 이는 범위의 정확성을 확인한다.