[논문 리뷰] The Hardy Operator and Boyd Indices

Stephen Montgomery-Smith|ArXiv.org|1994. 12. 19.

Advanced Harmonic Analysis Research참고 문헌 9인용 수 30

한 줄 요약

이 논문은 보이드 지수를 사용하여 재배열 불변 쿼asi-Banach 공간 위에서 하디 연산자의 유계성을 위한 필요 및 충분 조건을 확립한다. 이는 하디 연산자 $ H^{(p,r)} $ 가 such a space $ X $ 에서 유계일 필요 및 충분 조건이 하위 보이드 지수 $ p_X > p $ 라는 것임을 증명하며, $ H_{(q,r)} $ 가 유계일 필요 및 충분 조건은 상부 보이드 지수 $ q_X < q $ 라는 것임을 보이며, 고전 결과를 쿼아시-Banach 설정으로 일반화한다.

ABSTRACT

We give necessary and sufficient conditions for the Hardy operator to be bounded on a rearrangement invariant quasi-Banach space in terms of its Boyd indices.

연구 동기 및 목표

• 재배열 불변 쿼아시-Banach 공간 위에서 하디 연산자의 유계성을 보이드 지수를 사용하여 특성화하기.
• 로렌츠 공간 및 로렌츠 유형 공간에 대한 기존 결과를 더 넓은 쿼아시-Banach 재배열 불변 공간의 범주로 확장하기.
• 보이드 지수와 보간 이론에서 하디 연산자의 행동 간의 견고한 연결 고리 확립하기.
• 아리뇨와 무켄하우프트(1990) 및 보이드(1967, 1969)의 결과를 쿼아시-Banach 설정으로 일반화하기.

제안 방법

• 확대 연산자 $ D_a f(t) = f(at) $ 의 연산자 노름을 통해 하위 및 상부 보이드 지수 $ p_X $ 와 $ q_X $ 를 정의하기.
• 감소 순서로 재배열된 함수 $ f^* $ 를 통해 하디 연산자 $ H^{(p,r)} $, $ H_{(q,r)} $, $ H^{(p,∞)} $, $ H_{(q,∞)} $ 를 특성화하기.
• 쿼아시-삼각 부등식과 볼록화 기법을 사용하여 $ X $ 내에서 함수 합의 노름을 통제하기.
• 반복 하디 연산자의 반복 공식을 적용하여 $ D_a f $ 의 추정치를 $ H^{(p,r)} f $ 에 따라 유도하기.
• 부등식 $ \|H^{(p,r)} f\|_X \leq C \|f\|_X $ 를 사용하여 $ \|D_a f\|_X $ 에 대한 역추정을 유도하고, 보이드 지수의 경계를 도출하기.
• 정리 1과 정리 2를 통해 $ H^{(p,r)} + H_{(q,s)} $ 의 노름과 $ X $-노름 간의 동치성을 확립하기.

실험 결과

연구 질문

• RQ1 재배열 불변 쿼아시-Banach 공간 $ X $ 에 대해 하디 연산자 $ H^{(p,r)} $ 가 $ X $ 에서 $ X $ 로 유계일 조건은 보이드 지수에 대해 어떤가?
• RQ2 보이드 지수는 $ X $ 에서 최대 함수와 힐버트 변환이 유계일 때 어떻게 관련되는가?
• RQ3 보이드 지수와 반복 하디 연산자 $ (H^{(p,r)})^{n+1} $ 간의 정확한 관계는 무엇인가?
• RQ4 로렌츠 공간에서 쿼아지-선형 연산자의 유계성이 보이드 지수가 $ p $ 와 $ q $ 사이에 엄격히 있는 일반적인 재배열 불변 쿼아시-Banach 공간으로 확장될 수 있는가?
• RQ5 왜 연산자 $ H^{(p,\infty)} $ 와 $ H_{(p,\infty)} $ 에 대해서는 역함수 성립이 실패하는가?

주요 결과

• 하디 연산자 $ H^{(p,r)} $ 는 하위 보이드 지수 $ p_X > p $ 를 만족할 때에만 $ X $ 에서 유계이다.
• 하디 연산자 $ H_{(q,r)} $ 는 상부 보이드 지수 $ q_X < q $ 를 만족할 때에만 $ X $ 에서 유계이다.
• $ H^{(p,\infty)} $ 에 대해, $ p_X > p $ 라면 유계성이 성립하지만, 역함수 성립은 실패한다. 이는 $ L_{p,\infty} $ 의 예시에서 확인된다.
• 힐버트 변환은 $ p_X > 1 $ 이고 $ q_X < \infty $ 일 때에만 $ X $ 에서 유계이다.
• 하디-리틀우드 최대 함수는 $ p_X > 1 $ 일 때에만 $ X $ 에서 유계이다.
• 증명 과정은 정량적 추정을 제공한다: $ \|H^{(p,r)} f\|_X \leq C \|f\|_X $ 이면 $ \|D_a f\|_X \leq C' a^{-(1 - 1/C^r)/p} \|f\|_X $ 이고, 이는 $ p_X \geq p / (1 - 1/C^r) $ 를 의미한다.