logo

하디-리틀우드 맥시멀 함수 📂측도론

하디-리틀우드 맥시멀 함수

정의1

fLloc1 f \in L^1_{\mathrm{loc}}라고 하자. 그러면 하디-리틀우드 맥시멀 함수 HfHf를 아래와 같이 정의한다.

Hf(x):=supr>0Arf(x)=supr>01μ(B(r,x))B(r,x)f(y)dy Hf (x) := \sup \limits_{r>0} A_{r} |f|(x) = \sup \limits_{r>0} \frac{1}{\mu \big( B(r,x) \big)}\int_{B(r,x)}|f(y)|dy

Arf(x)A_{r}f(x)Br(x)B_{r}(x)위에서 ff의 함숫값의 평균을 의미한다. HH맥시멀 오퍼레이터maximal operator라고 한다.

정리

  • HfHf는 르벡 가측 함수이다.
  • fLloc1f \in L^1_{\mathrm{loc}}이면 Arf(x)A_{r}f(x)r>0r>0, xRnx \in \mathbb{R}^n에 대해서 각각 연속이다.

  1. Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications (2nd Edition, 1999), p96 ↩︎