[논문 리뷰] Criterion for convergence almost everywhere, with applications

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|2015. 07. 14.

Advanced Harmonic Analysis Research참고 문헌 6인용 수 5

한 줄 요약

이 논문은 가측 함수의 거의 everywhere 수렴에 대한 필요하고 충분한 조건을 정립한다. 이는 분리 가능한 바나흐 공간을 값으로 가지는 함수에 대해, 통합 아크탄젠트 노름의 최대값에 기반한 핵심 기능을 사용한다. 주요 결과는 핵심 기능의 극한이 0이 되는 것과 거의 확실히 수렴하는 것이 동치라는 것이다. 이는 푸리에 급수, 랜덤 필드, 올리츠/그랜드 리프시츠 공간에 적용 가능한 강력한 기준을 제공한다.

ABSTRACT

We derive the necessary and sufficient condition for almost sure convergence of the sequence of measurable functions, and consider some applications in the theory of Fourier series and in the theory of random fields.

연구 동기 및 목표

• 분리 가능한 바나흐 공간을 값으로 가지는 가측 함수 수열의 거의 모든 곳에서의 수렴에 대한 필요하고 충분한 조건을 도출한다.
• 마팅게일과 단조 수열에 대한 기존 수렴 결과를 더 넓은 함수 클래스로 일반화한다.
• 이 기준을 푸리에 급수, 랜덤 필드, 올리츠 및 그랜드 리프시츠 공간에서의 수렴 문제에 적용한다.
• 동치 확률 측도와 함수 해석학적 도구를 사용하여 수렴 문제를 확률론적 용어로 재구성한다.
• 랜덤 원소가 있는 분리 가능한 바나흐 공간으로 이 프레임워크를 확장하고 거의 확실한 수렴에 대한 유사한 기준을 수립한다.

제안 방법

• 원래 측도 $\mu$ 와 동치인 확률 측도 $\nu$ 를 사용하여 핵심 기능 $\overline{\kappa}(F) = \varlimsup_{n \to \infty} \sup_{m > n} \int_X \arctan(\max_{k=n}^m |f_k(x)|) \, \nu(dx)$ 를 도입한다.
• 지배 수렴 정리를 사용하여 $\overline{\kappa}(F)$ 가 0이 되는 것과 $f_n \to 0$ 이 거의 확실히 수렴하는 것 사이의 관계를 규명한다.
• 변환 $g_n = f_n - f_\infty$ 를 통해 일반 문제를 $f_\infty = 0$ 인 경우로 축소하고, 일반성을 잃지 않고 $\mu$ 를 확률 측도로 간주한다.
• 함수의 유계성을 확보하고 적분 추정을 용이하게 하기 위해 변환 $\tilde{f}_n(x) = \arctan(f_n(x))$ 를 적용한다.
• 노름 기반 기능 $\lambda_n^m(F)$ 와 $\overline{\lambda}(F)$ 를 정의하여 그랜드 리프시츠 공간(GPS)과 올리츠 공간에서 동치 조건을 수립한다.
• 기대값 기반 기능 $\overline{\tau}(\zeta)$ 를 사용하여 바나흐 공간 내 랜덤 원소 $\zeta(n)$ 로의 프레임워크를 확장하고, 수열 $\zeta(n)$ 의 거의 확실한 수렴을 위한 기준을 이끌어낸다.

실험 결과

연구 질문

• RQ1 분리 가능한 바나흐 공간을 값으로 가지는 가측 함수 수열의 거의 모든 곳에서의 수렴에 대한 필요하고 충분한 조건은 무엇인가?
• RQ2 아크탄젠트 변환을 포함하는 적분 기능을 통해 수렴 기준을 어떻게 표현할 수 있는가?
• RQ3 이 기준은 올리츠 공간과 그랜드 리프시츠 공간에서의 수렴으로 어떻게 확장될 수 있는가?
• RQ4 이 기준은 특히 확률 변수 수열에 대해 분리 가능한 바나흐 공간 내 랜덤 원소에 대해 어떻게 적응시킬 수 있는가?
• RQ5 핵심 기능 $\overline{\kappa}(F)$ 는 수렴의 전통적 방식인 측도 수렴 또는 $L_p$-노름 수렴과 어떻게 관련이 있는가?

주요 결과

• 함수 $f_n \to 0$ 이 거의 확실히 수렴하는 것은 $\lim_{n \to \infty} \sup_{m > n} \kappa_n^m(F) = 0$ 이며, 여기서 $\kappa_n^m(F) = \int_X \arctan(\max_{k=n}^m |f_k(x)|) \, \nu(dx)$ 이다.
• 이 기준은 $\overline{\kappa}(F) = 0$ 과 동치이며, 이는 가족 $F$ 가 핵심 기능의 핵에 속해 있음을 의미한다.
• 그랜드 리프시츠 공간 $G\psi$ 에서 $\overline{\lambda}(F) = 0$ 이면, $f_n \to 0$ 거의 모든 곳에서 그리고 $G\psi$-노름에서 수렴한다.
• $L_p$-공간에서 $\overline{l_p}(F) = 0$ 이면, $f_n \to 0$ 거의 모든 곳에서 그리고 $L_p$-노름에서 수렴한다.
• 랜덤 설정에서 $\mathbb{P}(\zeta \in c_0(B)) = 1$ 이다. $\overline{\tau}(\zeta) = 0$ 이며, 여기서 $\tau_n^m(\zeta) = \mathbb{E}[\arctan(\max_{k=n}^m \|\zeta(k) - \zeta(n)\|_B)]$ 이다.
• 바나흐 공간이 분리 가능한 선형 거리 공간으로 대체되더라도 기준은 그대로 유지된다. 단, 거리가 이동에 대해 불변이어야 한다.