[논문 리뷰] Continuity of weighted estimates for sublinear operators

Michael Papadimitrakis, Nikolaos Pattakos|arXiv (Cornell University)|2012. 06. 20.

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

한 줄 요약

이 논문은 $A_p$ 가중치 위에서의 $d_*$ 거리에 대해 가중치 $L^p$ 공간 위의 부분선형 연산자에 대한 연산자 노름의 연속성을 확립한다. 만약 부분선형 연산자 $T$ 가 $A_p$ 특성에만 의존하는 가중치 노름 부등식을 만족한다면, $w \to w_0$ 일 때 $d_*$ 위상에서 $w_0$ 에서 연산자 노름이 연속적임을 보인다.

ABSTRACT

In this note we prove that if a sublinear operator T satisfies a certain weighted estimate in the $L^{p}(w)$ space for all $w\in A_{p}$, $1

연구 동기 및 목표

• 선형 연산자에서의 연산자 노름 연속성 결과를 가중치 $L^p$ 공간 위의 부분선형 연산자로 확장한다.
• 연산자 노름 $\|T\|_{L^p(w)\to L^p(w)}$ 이 $d_*$ 거리에서 가중치 $w$ 에 대해 연속적으로 변하는지 조사한다.
• $w_0$ 를 고정한 상태에서 작은 $d_*$-편미너에 대해 $A_p$ 특성이 유계로 유지됨을 확립한다.
• 핵심 부등식에 나타나는 상수 $c_{[w]_{A_p}}$ 가 $[w]_{A_p}$ 에 대해 연속적임을 보여, $w_0$ 근처에서의 유계성을 확보한다.

제안 방법

• 문헌 [3] 에서 얻은 핵심 부등식을 사용: 부분선형 연산자 및 $u,v$ 가 $d_*$ 에서 가까울 때, $\|T\|_{L^p(u)\to L^p(u)} \leq \|T\|_{L^p(v)\to L^p(v)}(1 + c_{[v]_{A_p}} d_*(u,v))$.
• 이 부등식을 $u = w$, $v = w_0$ 로 적용하여, $d_*(w,w_0) \to 0$ 일 때 $\|T\|_{L^p(w)\to L^p(w)}$ 의 상한을 구하고, 이는 $\|T\|_{L^p(w_0)\to L^p(w_0)}$ 로 수렴함을 보인다.
• 역부등식을 확립하기 위해 역할을 바꾸어 $u = w_0$, $v = w$ 를 사용하며, 이 경우 $c_{[w]_{A_p}}$ 가 $w \to w_0$ 일 때 제어되어야 한다.
• 횔더 부등식과 쌍대 지수 $R, R' = 1+\epsilon$ 를 사용하여, $w_0$ 근처의 $w$ 에 대해 $[w]_{A_p}$ 를 균일하게 유계로 제어한다.
• $R$ 가 크면 $\left(\frac{w}{w_0}\right)^R \in A_p$ 이며 특성이 균일하게 유계임을 이용하고, $\epsilon$ 이 작을수록 $w_0^{1+\epsilon} \in A_p$ 를 만족함을 활용한다.
• 측도 변화를 동반한 리스-토린 보간을 통해 유도된 $c_{[w]_{A_p}}$ 가 $[w]_{A_p}$ 에 대해 연속적임을 이용하여 상수의 유계성을 도출한다.

실험 결과

연구 질문

• RQ1 부분선형 연산자에 대해, 연산자 노름 $\|T\|_{L^p(w)\to L^p(w)}$ 이 $d_*$ 거리에서 가중치 $w$ 에 대해 연속적으로 의존하는가?
• RQ2 문헌 [3] 에서 선형 연산자에 대해 확립된 연속성 결과가 동일한 $A_p$-노름 조건 하에서 부분선형 연산자로 확장 가능한가?
• RQ3 고정된 $w_0 \in A_p$ 근처에서 $A_p$ 특성 $[w]_{A_p}$ 는 $d_*$ 거리에 대해 연속적인가?
• RQ4 핵심 연산자 노름 부등식의 상수 $c_{[w]_{A_p}}$ 가 $d_*$ 에서 $w \to w_0$ 일 때 유계로 유지되는가?
• RQ5 $d_*$ 거리에서 $w_0$ 에 매우 가까운 모든 $w$ 에 대해 $A_p$ 특성 $[w]_{A_p}$ 가 균일하게 유계로 유지되는가?

주요 결과

• 연산자 노름 $\|T\|_{L^p(w)\to L^p(w)}$ 는 $d_*$ 거리에 대해 $w_0$ 에서 연속적이다: $\lim_{d_*(w,w_0)\to 0}\|T\|_{L^p(w)\to L^p(w)} = \|T\|_{L^p(w_0)\to L^p(w_0)}$.
• $w_0$ 에 대해 $d_*$ 거리에서 충분히 가까운 $w$ 에 대해, $A_p$ 특성 $[w]_{A_p}$ 는 $[w_0]_{A_p}$ 와 거리 $\delta = d_*(w,w_0)$ 에만 의존하는 상수 $C$ 로 균일하게 유계이다.
• $A_p$ 특성은 $\limsup_{d_*(w,w_0)\to 0}[w]_{A_p} \leq [w_0]_{A_p}$ 를 만족하며, 동시에 $[w_0]_{A_p} \leq \liminf_{d_*(w,w_0)\to 0}[w]_{A_p}$ 이므로, $d_*$ 에서의 연속성이 증명된다.
• 핵심 부등식의 상수 $c_{[w]_{A_p}}$ 는 $[w]_{A_p}$ 에 대해 연속적이며, 따라서 $w \to w_0$ 일 때 유계로 유지된다.
• 증명은 쌍대 지수 $R$ 와 $R' = 1+\epsilon$ 을 사용한 횔더 부등식에 기반하며, $R$ 이 크면 $\left(\frac{w}{w_0}\right)^R \in A_p$ 이며 특성이 균일하게 유계임을 이용한다.
• 결과는 이전 방법으로는 실패했던 선형 연산자에서 부분선형 연산자로의 연속성 결과 확장을 해결하여 일반화한다.