[논문 리뷰] Fourier tranform in exponential rearrangement invariant spaces

Eugeny Ostrovsky, L. Sirota|ArXiv.org|2004. 06. 20.

Advanced Harmonic Analysis Research참고 문헌 15인용 수 3

한 줄 요약

이 논문은 지수 재배열 불변(r.i.) 공간, 특히 지수 N-함수를 가진 올리츠 공간에서 푸리에 급수와 변환의 유계성과 수렴성을 조사한다. 기본 함수와 노름 등가 조건에 대해 날카로운 조건을 확립하여, 부분 푸리에 합의 $ L(N) $-노름 수렴이 $ L^0(N) $의 원소 소속을 함의함을 증명하고, 일반화된 하우스도르프-영 및 하디-리틀우드 기법을 사용하여 모멘트 부등식과 웨이블릿/하어 시리즈 추정치를 도출한다.

ABSTRACT

In this article we investigate the Fourier series and transforms for the functions defined on the $ [0, 2 π]^ d $ or $ R^d $ and belonging to the exponential Orlicz and some other rearrangement invariant (r.i.) spaces.

연구 동기 및 목표

• 지수 올리츠 및 재배열 불변(r.i.) 공간에서 푸리에 급수와 변환의 수렴성과 유계성을 분석하기.
• 부분 푸리에 합이 $ L(N) $-노름에서 수렴하는 조건을 규명하고, 특히 $ L^0(N) $의 닫힘과의 관계를 규명하기.
• 기본 함수 $ \theta(p) $와 일반화된 올리츠 노름을 사용하여 날카로운 모멘트 부등식과 노름 등가 조건을 도출하기.
• 클래식 부등식(Hausdorff-Young, Hardy-Littlewood)을 지수 올리츠 공간으로 확장하고, 이를 웨이블릿 및 하어 시리즈에 적용하기.

제안 방법

• 저자들은 $ |u| \geq e^2 $이면 $ N(u) = \exp(W(\log|u|)) $인 방식으로 $ W $가 볼록이고 증가함수임을 조건으로 하여 지수 올리츠 공간 $ EOS(W) $를 정의한다.
• Luxemburg 노름 공식 $ \|f\|_{L(N)} = \inf_{v>0} \left\{ v^{-1} \left(1 + \int_X N(v|f(x)|) \, \mu(dx) \right) \right\} $을 사용하여 $ L(N) $ 내의 노름을 정의한다.
• 논문은 $ |x|^{p-2} $를 포함하는 가중치와 함께 $ f $와 그 푸리에 변환 $ F[f] $의 $ L^p $-노름을 연결하기 위해 일반화된 하우스도르프-영 및 하디-리틀우드 부등식을 적용한다.
• 감쇠성과 적분 가능성의 모델링을 위해 공간 $ G(a,b,\alpha,\beta) $를 도입하고, $ (q-1)^{-\alpha} $를 이용하여 $ L^p $-노름을 $ \|f\|_G $를 통해 제어한다.
• 웨이블릿 및 하어 시리즈의 모멘트 추정치를 포함한 분석을 수행하여, 하어의 경우 $ K_6 = 13 $, 웨이블릿의 경우 $ K_6 = 1 $이면 $ \|P_M[f] - f\|_{L(N)} \leq (K_6 + 1) \|f\|_{L(N)} $임을 보여준다.
• 핵심 기법은 기본 함수 $ \psi(p) = \exp(W^*(p)/p) $의 성장과 $ L(N) $ 내 수렴성 간의 관계를 다이얼로지와 점근적 분석을 통해 규명하는 것이다.

실험 결과

연구 질문

• RQ1 함수 $ f \in L(N) $에 대해 부분 푸리에 합 $ s_M[f] $가 $ L(N) $-노름에서 수렴하는 조건은 무엇인가?
• RQ2 $ L(N) $-노름 수렴과 $ L^0(N) $에 속하는 것 사이의 관계는 무엇인가?
• RQ3 일반화된 하우스도르프-영 및 하디-리틀우드 부등식이 $ N \in EOF $인 지수 올리츠 공간으로 어떻게 확장되는가?
• RQ4 웨이블릿 및 하어 시리즈에 대해 $ L(N) $에서 도출할 수 있는 모멘트 추정치는 무엇이며, 이는 기본 함수 $ \psi(p) $에 어떻게 의존하는가?
• RQ5 $ \lim_{p \to \infty} \theta(p)/\psi(p) = 0 $ 조건이 푸리에 급수의 $ L(N) $-노름 수렴을 어떻게 함의하는가?

주요 결과

• 부분 푸리에 합 $ s_M[f] $가 $ L(N) $-노름에서 수렴하는 것은 $ f \in L^0(N) $일 때이고, 뿐만 아니라 그 때에만 성립한다. 여기서 $ L^0(N) $은 유계 지지 집합을 가진 유계 함수들의 닫힘이다.
• 함수 $ f \in L(N) $이고 $ \|f\|_{L(N)} < \infty $이면, $ M \to \infty $일 때 $ \|s_M[f] - f\|_{L(N)} \to 0 $이 되는 것은 $ f \in L^0(N) $이어야만 가능하며, 그렇지 않으면 노름 수렴이 실패한다.
• $ f \in G(1,b,\alpha,0) $이면, 푸리에 변환은 $ p \geq 2 $에 대해 $ \|F[f]\|_p \leq (2\pi)^{1/2} p^\alpha $를 만족하며, 이는 $ F[f] \in L(N_{1/\alpha}) $임을 의미한다.
• 웨이블릿 부분 합 연산자는 $ K_6 = 13 $일 때 하어 시리즈, $ K_6 = 1 $일 때 웨이블릿에 대해 $ \|P_M[f] - f\|_{L(N)} \leq (K_6 + 1) \|f\|_{L(N)} $를 만족한다. 이는 $[0,1]$ 또는 $ \mathbb{R} $에서 성립한다.
• $ \lim_{p \to \infty} \theta(p)/\psi(p) > 0 $ 조건은 $ L(\Phi) $-노름 수렴을 모순시키며, 따라서 수렴이 성립하면 $ \psi(p)/\theta(p) \to 0 $이어야 한다.
• $ f \in L(N) $이면 $ f $의 $ L^p $-노름은 $ |f|_p \leq C \cdot p \cdot \psi(p) $를 만족하며, $ \psi(p) = \exp(W^*(p)/p) $이다. 이는 $ f \in L(N_1[\psi]) $임을 의미하며, $ \psi(p) $의 성장과 올리츠 공간 소속성 간의 연관성을 밝힌다.