[논문 리뷰] An observation: cut-off of the weight $w$ does not increase the $A_{p_{1}, p_{2}}$-"norm'' of $w$

Alexander Reznikov, Vasiliy Vasyunin외 1명|arXiv (Cornell University)|2010. 08. 21.

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

한 줄 요약

이 논문은 비음수 가중치 $ w $ 를 수준 $ a $ 에서 잘라내는 것(위 또는 아래에서)이 일반화된 $ A_{p_1,p_2} $-"노름"을 증가시키지 않음을 증명한다. 이 노름은 모든 입자 $ J $ 에서의 $ \langle w^{p_1} \rangle_J^{1/p_1} \langle w^{p_2} \rangle_J^{-1/p_2} $ 의 상한으로 정의된다. 핵심 결과는 $ [w_a]_{p_1,p_2} \leq [w]_{p_1,p_2} $ 이며, 이는 이와 같은 추정에서 이전에 알려진 상수 인자(예: 2)를 제거한 것이다. 특히 $ A_2 $ 경우에서 호일더 부등식과 단조성 논증을 사용해 매우 단순한 증명이 가능하다.

ABSTRACT

We consider weights $w$ and their cut-offs: $w_a(t)=w(t)$ if $w(t)\le a$ and $w_a(t)=a$ if $w(t)> a$. We consider a generalized $A_p$-``norm'' and prove that the ``norm'' of $w_a$ is not greater then the ``norm'' of $w$. Our proof in the case $w\in A_2$ is especially simple.

연구 동기 및 목표

• 가중치 $ w $ 를 수준 $ a $ 에서 잘라내는 것이 그 일반화된 $ A_{p_1,p_2} $-"노름"을 증가시키지 않음을 확립하는 것.
• 이전에 알려진 부등식 $ [w_a]_{p_1,p_2} \leq c[w]_{p_1,p_2} $ 에서의 상수 인자(예: 2)를 $ c = 1 $ 으로 개선하는 것.
• $ A_2 $ 경우(즉, $ p_1 = 1 $, $ p_2 = -1 $)에서 호일더 부등식과 기본 평균화만을 사용해 간단한 증명을 제공하는 것.
• 가중치 $ w $ 의 유계이자 0에서 떨어진 근사값(예: $ \varphi_n $)에 대해 $ A_{p_1,p_2} $-노름이 유지됨을 보여주는 것.

제안 방법

• 모든 입자 $ I $ 에서의 모든 입자 $ J $ 에 대해 $ [w]_{p_1,p_2} = \sup_J \langle w^{p_1} \rangle_J^{1/p_1} \langle w^{p_2} \rangle_J^{-1/p_2} $ 로 일반화된 $ A_{p_1,p_2} $-"노름"을 정의한다.
• 잘라낸 가중치 $ w_a(t) = \min(w(t), a) $ 를 도입하고, 이 연산이 $ A_{p_1,p_2} $-"노름"에 미치는 영향을 분석한다.
• 입자 $ J $ 를 두 부분으로 나누기: $ J_1 = \{ t \in J : w(t) \leq a \} $, $ J_2 = \{ t \in J : w(t) > a \} $, 그리고 $ J $ 에서의 평균을 $ J_1 $ 과 $ J_2 $ 에서의 가중 평균으로 표현한다.
• 호일더 부등식을 사용하여 각 부분입자에 대해 $ x_i^{1/p_1} \geq y_i^{1/p_2} $ 를 확립한다. 여기서 $ x_i = \langle w^{p_1} \rangle_{J_i} $, $ y_i = \langle w^{p_2} \rangle_{J_i} $.
• 비율 $ s = x_2^{1/p_1} / y_2^{1/p_2} $ 에 따라 정의되는 함수 $ \varphi(s,u) $ 를 정의하고, 이 함수가 $ s $ 에 대해 증가함을 보여, 최솟값이 $ s = 1 $ 에서 발생함을 증명한다.
• 호일더 부등식을 사용하여 $ u > a $ 이고 $ p_1 > p_2 $ 이므로 $ u^{p_1} y_1 - u^{p_2} x_1 \geq 0 $ 임을 보이고, 이로부터 $ s = 1 $ 에서의 도함수 $ \partial \varphi / \partial u $ 가 음이 아닌 것을 증명한다.

실험 결과

연구 질문

• RQ1 가중치 $ w $ 를 수준 $ a $ 에서 잘라내는 것은 그 $ A_{p_1,p_2} $-"노름"을 증가시키는가?
• RQ2 기존의 부등식 $ [w_a]_{p_1,p_2} \leq c[w]_{p_1,p_2} $ 에서 상수 인자 $ c $ 를 $ c = 1 $ 으로 개선할 수 있는가?
• RQ3 특히 $ A_2 $ 경우에서 노름의 감소 성질에 대한 단순한 증명이 존재하는가?
• RQ4 무한대 또는 0에 수렴하는 가중치가 $ A_{p_1,p_2} $ 에 속해 있을 때, 이는 유계이자 0에서 떨어진 가중치로 근사될 수 있는가? 이 근사에서 $ A_{p_1,p_2} $-노름이 유지되는가?
• RQ5 이중 잘라내기(수준 $ n $ 과 $ 1/n $)로 정의된 수열 $ \varphi_n $ 에서 $ A_{p_1,p_2} $-"노름"의 행동은 어떠한가?

주요 결과

• 잘라낸 가중치 $ w_a $ 의 $ A_{p_1,p_2} $-"노름"은 $ [w_a]_{p_1,p_2} \leq [w]_{p_1,p_2} $ 를 만족하며, 등호가 성립할 수도 있다.
• $ A_2 $ 경우에서 모든 입자 $ J $ 에 대해 $ \langle w_a \rangle_J \langle w_a^{-1} \rangle_J \leq \langle w \rangle_J \langle w^{-1} \rangle_J $ 이 성립하며, 직접 전개와 항의 비음성으로 증명된다.
• $ A_{p_1,p_2} $-"노름" 기여도의 차이를 나타내는 함수 $ \varphi(s,u) $ 는 $ s $ 에 대해 증가하므로, 최솟값은 $ s = 1 $ 에서 발생하며 이는 잘라내지 않은 경우에 해당한다.
• $ s = 1 $ 에서 도함수 $ \partial \varphi / \partial u $ 는 음이 아니며, 이는 $ u \geq w(t) $ 이고 $ p_1 > p_2 $ 이므로 $ u^{p_1} y_1 - u^{p_2} x_1 \geq 0 $ 임을 보여준다.
• 수준 $ n $ 과 $ 1/n $ 에서 이중 잘라내기로 정의된 수열 $ \varphi_n $ 은 $ [\varphi_n]_{p_1,p_2} \leq [w]_{p_1,p_2} $ 를 만족하고, $ \lim_{n \to \infty} [\varphi_n]_{p_1,p_2} = [w]_{p_1,p_2} $ 를 만족한다.
• 결과적으로 모든 $ w \in A_{p_1,p_2} $ 는 상하로 유계이자 0에서 떨어진 가중치로 근사 가능하며, 이 근사에서 $ A_{p_1,p_2} $-노름이 그대로 유지된다. 이는 벨만 함수 방법과 집합 $ \{ p : w \in A_p \} $ 의 열린성 증명에 유용하다.