[논문 리뷰] On the growth of vector-valued Fourier series

Javier Parcet, Fernando Soria외 1명|arXiv (Cornell University)|2011. 09. 20.

Advanced Harmonic Analysis Research참고 문헌 8인용 수 4

한 줄 요약

이 논문은 UMD 범위 공간에서 벡터값 푸리에 급수에 대한 '작은 카르레슨 정리'를 수립한다. 함수가 $L(\log L)^{1+\delta}(\mathbb{T};\mathrm{X})$에 속해 있고 $\delta > 0$일 경우, 부분 합이 거의 어디서나 $\log\log n$보다 느리게 증가함을 증명한다. 증명은 카르레슨의 원래 증거를 비격자 UMD 공간에 적응시키기 위해 지그문드의 사상에 수정을加하여 $L(\log L)^{1+\delta}$에서 새로운 지수합 추정을 도출한다. 이 추정은 비자명한 푸리에 유형을 가진 공간에 대해 유효하다.

ABSTRACT

We prove the 'little Carleson theorem' on the growth of Fourier series for functions taking values in a UMD Banach space.

연구 동기 및 목표

• 푸리에 급수의 거의 어디서나 수렴하는 카르레슨 정리를, UMD 범위 공간에 값이 있는 벡터값 함수로 확장한다.
• 루비오 데 프랑시아가 제기한 오랜 동안의 추측, 즉 카르레슨 정리가 비격자 UMD 공간(예: 샤텐 $p$-클래스)에서도 성립하는가를 해결한다.
• 비격자 UMD 공간에서의 $L(\log L)^{1+\delta}$에 대한 고전적 지그문드 유형 부등식이 실패하는 문제를 해결하기 위해, 지그문드의 사상을 수정하여 새로운 방식의 지수합 추정을 유도한다.
• 비자명한 푸리에 유형을 가진 범위 공간에 대해 $L(\log L)^{1+\delta}$에서 새로운 지수합 추정을 수립한다. 이는 카르레슨 증명에서 예외 집합을 제어하는 데 핵심적이다.

제안 방법

• UMD 공간에서 비자명한 푸리에 유형을 가진 경우에 대해, 카르레슨의 원래 증명 전략을 벡터값 설정으로 적응시키며, 지그문드의 구성 방식을 수정하여 $L(\log L)^{1+\delta}$에서 새로운 지수합 추정을 도출한다.
• 카르레슨의 분해에 맞추어 조정된 수정된 최대 헬름홀츠 변환 $H_w^*f(x)$를 도입하여, 표준 최대 헬름홀츠 변환을 벡터값 맥락에 맞게 대체한다.
• 함수 $f$를 양호한 부분과 나쁜 부분으로 이중 분해하며, 나쁜 부분들은 카르레슨 분할의 구간에 국한시킨다. 이들의 기여도는 $L(\log L)^{1+\delta}$ 적분 가능성으로 제어한다.
• 나쁜 부분의 평균 제로 조건과 유크니트 성질을 활용하여, 수정된 헬름홀츠 변환 항목을 새로운 지수 감소 추정을 통해 유계화한다. 이 추정은 $\|\widehat{f}_w(k)\|_\mathrm{X}$, $\rho$, $\beta$를 포함한다.
• 측도가 $\varepsilon$ 미만인 예외 집합 $\Sigma_{f,\varepsilon}^3$과 $\Sigma_{f,\varepsilon}^4$를 구성하며, 이 집합 외부에서는 수정된 부분 합 $S_n f(x)$가 최대 $M(f,\varepsilon)\log\log n$의 성장률을 가진다.
• 비자명한 푸리에 유형을 가진 공간에서 유효한 핵심 부등식을 수립한다: $\sum_k \exp\left(-a(\rho,\beta)\|\widehat{f}_w(k)\|_\mathrm{X}^{-1/\beta}\right) \leq A(\rho,\beta)$, 이는 $\int_w \|f(x)\|_\mathrm{X}(\log^+\|f(x)\|_\mathrm{X})^\beta dx \leq \rho$ 를 만족하는 함수에 대해 성립한다.

실험 결과

연구 질문

• RQ1 비격자 범위 공간(예: 샤텐 $p$-클래스)에서 UMD 값 함수에 대해 '작은 카르레슨 정리'가 성립하는가?
• RQ2 $L(\log L)^{1+\delta}$에서 고전적 지그문드 유형 부등식을 비격자 UMD 공간으로 확장할 수 있는가?
• RQ3 수정된 지수합 추정을 통해 카르레슨 정리에서 예외 집합의 크기를 제어할 수 있는가?
• RQ4 UMD 공간에서 $L(\log L)^{1+\delta}$ 적분 가능성 조건 하에, $\mathrm{X}$-값 부분 푸리에 합의 성장률이 거의 어디서나 $o(\log\log n)$ 이하로 유계화될 수 있는가?
• RQ5 함수 $f:\mathbb{T}\to\mathrm{X}$에 대해 $\|S_n f(x)\|_\mathrm{X} = o(\log\log n)$ a.e. 가 보장되는 최소한의 함수 공간 조건은 무엇인가?

주요 결과

• 함수 $f:\mathbb{T}\to\mathrm{X}$의 푸리에 급수 부분 합은 거의 모든 $x\in\mathbb{T}$에서 $\left\|\sum_{|k|\leq n}\widehat{f}(k)e^{2\pi ikx}\right\|_\mathrm{X} = o(\log\log n)$ 를 만족한다. 이는 $f\in L(\log L)^{1+\delta}(\mathbb{T};\mathrm{X})$ 이고 $\delta > 0$일 때 성립하며, $\mathrm{X}$는 UMD 범위 공간이다.
• 새로운 지수합 추정이 수립된다: $\sum_{k\in\mathbb{Z}}\exp\left(-a(\rho,\beta)\|\widehat{f}_w(k)\|_\mathrm{X}^{-1/\beta}\right) \leq A(\rho,\beta)$, 이는 비자명한 푸리에 유형을 가진 범위 공간과 $\int_w \|f(x)\|_\mathrm{X}(\log^+\|f(x)\|_\mathrm{X})^\beta dx \leq \rho$ 를 만족하는 함수에 대해 유효하며, 예외 집합 제어에 핵심적이다.
• 수정된 헬름홀츠 변환 $H_w^*$는 카르레슨 분해에서 나쁜 부분의 기여를 제어하는 데 사용되며, 새로운 지수 감소 추정을 통해 그 노름이 유계화된다.
• 예외 집합 $\Sigma_{f,\varepsilon}$의 측도는 $\varepsilon$ 미만이며, 이 집합 외부에서는 수정된 부분 합 $S_n f(x)$가 $\|S_n f(x)\|_\mathrm{X} \leq M(f,\varepsilon)\log\log n$ 를 만족한다. 여기서 $M(f,\varepsilon) \to 0$ 이다. 이는 고정된 $\varepsilon$에 대해 $\|f\|_{L(\log L)^{1+\delta}} \to 0$ 일 때 성립한다.
• 비격자 UMD 공간에서 고전적 지그문드 부등식이 실패하는 문제를 수정된 최대 함수 구성으로 해결함으로써, 필요한 지수 감소 추정을 도출할 수 있었다.
• 결과적으로, 이는 루비오 데 프랑시아의 추측을 위한 핵심 단계를 확인하며, 카르레슨 정리가 UMD 공간 전반에 대해, 특히 UMD 격자 공간 뿐 아니라 일반적인 UMD 공간에서도 성립함을 보여주며, $L(\log L)^{1+\delta}$ 적분 가능성 조건 하에 $o(\log\log n)$ 성장률 유계화를 확립한다.