[논문 리뷰] A note on directly Riemann integrable functions

Francesco Caravenna|arXiv (Cornell University)|2012. 10. 08.

Stochastic processes and statistical mechanics참고 문헌 12인용 수 3

한 줄 요약

이 논문은 미묘한 모멘트 조건과 $ L^p $ 유계성 조건을 만족하는 모든 르베그 적분 가능 함수 $ f $에 대해, 어떤 $ k $-중 복합 $ f^{*k} $가 직접 리만 적분 가능 (d.R.i.)이 된다는 것을 증명한다. 핵심 결과는 충분히 큰 $ k $에 대해 $ (1+|x|^{ε})f^{*k}(x) $가 유계이고 연속적이며 d.R.i.임을 보여주며, 이는 복원 이론과 국소 중심극한정리에의 적용을 가능하게 한다.

ABSTRACT

A non-negative function f, defined on the real line or on a half-line, is said to be directly Riemann integrable (d.R.i.) if the upper and lower Riemann sums of f over the whole (unbounded) domain converge to the same finite limit, as the mesh of the partition vanishes. In this note we show that, for a Lebesgue-integrable function f, very mild conditions are enough to ensure that some n-fold convolution of f with itself is d.R.i.. Applications to renewal theory and to local limit theorems are discussed.

연구 동기 및 목표

• 반복된 복합이 직접 리만 적분 가능해지는 데 필요한 최소 조건을 규명하는 것.
• 일반적인 $ L^1 $ 함수와 복원 이론 및 국소 중심극한정리에서 핵심적인 역할을 하는 직접 리만 적분 가능 함수의 클래스 사이의 격차를 메우는 것.
• 모든 $ k $에 대해 $ f^{*k} $가 d.R.i.가 되도록 보장하는 실용적인 기준을 제공하는 것, 특히 $ f $ 자체가 d.R.i.가 아니어도 된다는 점.
• 어떤 복합의 $ L^p $-유계성과 유한한 $ \varepsilon $-모멘트 조건이 결합될 경우 고차 복합에서 d.R.i. 행동이 보장됨을 보여주는 것.
• 무거운 尾部와 비격자 복원 과정에 대해 d.R.i. 기법을 적용할 수 있는 이론적 기초를 제공하는 것.

제안 방법

• 무한한 분할에 대해 상한 및 하한 리만 합의 수렴을 통해 직접 리만 적분 가능성의 정의를 사용한다.
• 횔더 부등식과 반복적 복합 추정을 적용하여 $ f_{2^k} \in L^1 \cap L^{p^{2^k}} $임을 보이고, 푸리에 변환 성질을 통해 $ \widehat{f} \in L^{2^{k+1}} $를 이끌어낸다.
• 상한 리만 합 $ S^{g_k}_1(0) $에 대해 부트스트랩 추론을 사용하여, 유한성이 복합에 걸쳐 전파됨을 보인다. 여기서 $ g_k(x) = (1+|x|^\varepsilon)|f_k(x)| $이다.
• 복합 추정에서 성장률을 제어하기 위해 부등식 $ (a+b)^\varepsilon \leq 2^\varepsilon(a^\varepsilon + b^\varepsilon) $를 활용한다.
• 다른 메쉬 크기 간의 리만 합을 비교하기 위해 관계식 $ S^g_\delta(x) \leq (1 + 2\delta/\delta') S^g_{\delta'}(x') $를 사용한다.
• 주어진 조건 하에 $ f_k $는 큰 $ k $에 대해 유계이고 연속적이며, $ (1+|x|^\varepsilon)f_k(x) $는 d.R.i.임을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건 하에서 $ L^1 $ 함수 $ f $의 복합 $ f^{*k} $가 직접 리만 적분 가능해지는가?
• RQ2 적분 $ \int |x|^\varepsilon |f(x)| dx < \infty $인 모멘트 조건과 $ f^{*k_0} $의 $ L^p $-유계성 조건이 d.R.i. 행동을 보장하기 위해 어떻게 상호작용하는가?
• RQ3 $ f $ 자체가 d.R.i.가 아니어도 복합을 통해 d.R.i. 성질을 물려받을 수 있는가?
• RQ4 복원 과정과 국소 중심극한정리의 맥락에서 직접 리만 적분 가능성을 확보하기 위해 필요한 최소 정규성 조건은 무엇인가?
• RQ5 푸리에 변환은 복합의 $ L^p $-유계성 특성을 어떻게 특징지키며, 이것이 주요 결과의 핵심 가정이 되는가?

주요 결과

• 모든 $ f \in L^1(\mathbb{R}) $에 대해 $ f^{*k_0} \in L^\infty $ 이고 $ \int |x|^\varepsilon |f(x)| dx < \infty $ 인 $ \varepsilon > 0 $이 존재할 경우, $ k_1 \in \mathbb{N} $가 존재하여 모든 $ k \geq k_1 $에 대해 $ f^{*k} $가 유계이고 연속적이며 직접 리만 적분 가능하다.
• 모든 $ k \geq k_1 $에 대해 $ x \mapsto (1+|x|^\varepsilon)f_k(x) $는 유계이고 연속적이며, 적분 가능성과 정규성 보장이 가능하다.
• 메쉬 크기 $ \delta \to 0 $일 때 $ f_k $의 상한 및 하한 리만 합이 동일한 유한한 극한으로 수렴하므로, $ k \geq k_1 $에 대해 d.R.i. 정의를 충족한다.
• $ f \in L^1 \cap L^p $ 이고 $ p > 1 $이면 $ f^{*k_0} \in L^\infty $임을 의미하므로, $ L^p $-유계성 조건은 대부분의 경우 실용적으로 검증 가능하다.
• $ f $ 자체가 d.R.i.가 아니어도 결과가 적용됨을 보여주는 예시로, $ f(x) = \frac{1}{x(\log x)^2} \mathbf{1}_{[e,\infty)}(x) $가 존재한다. 이 함수는 $ L^1 $에 속하지만 모멘트 조건을 만족하지 못한다.
• 증명은 상한 리만 합 $ S^{g_k}_1(0) $에 대해 부트스트랩 추론을 사용하여, 어떤 $ k $에서의 유한성이 더 큰 모든 $ k $에 대해 유지됨을 보이며, 선형 재귀 부등식을 통해 이를 도출한다.