[논문 리뷰] Sharp estimates involving $A_\infty$ and $LlogL$ constants, and their applications to PDE

Alexander Reznikov, Oleksandra Beznosova|arXiv (Cornell University)|2011. 07. 10.

Advanced Harmonic Analysis Research인용 수 6

한 줄 요약

이 논문은 실수선 위의 가중치에 대해 $A_∞$ 상수와 $RH_1$ 상수 사이의 날카운 수량적 추정을 확립하며, $p \to 1^+$일 때 역 헬더 부등식의 극한으로서 $RH_1$을 정의한다. 벨만 함수 기법과 망게-아프레 방정식을 사용하여, $A_∞$ 상수가 $RH_1$ 상수를 날카롭게 제어함을 증명함으로써, 차원 1에서 고전적인 게링 정리의 날카운 형태를 완성하고 타원형 PDE에의 응용을 가능하게 한다.

ABSTRACT

It is a well known fact that the union of the Reverse Hölder classes coincides with the union of the Muckenhoupt classes $A_p$, but the $A_\infty$ constant of the weight $w$, which is a limit of its $A_p$ constants, is not a natural characterization for the weight in Reverse Hölder classes. We introduce the $RH_1$ condition as a limiting case of the $RH_p$ inequalities as $p$ tends to 1. Then we show sharp bound on $RH_1$ constant of the weight $w$ in terms of its $A_\infty$ constant (from above and from below). We also prove the sharp version of the Gehring theorem for the case $p=1$, completing the answer to the famous question of Bojarski in dimension one. We illustrate our results by two straight-forward applications: to the Dirichlet problem for elliptic PDE's.

연구 동기 및 목표

• 역 헬더 클래스 $RH_1$을 $p \to 1^+$일 때 $RH_p$의 자연스러운 극한으로서 정의하고 특성화함으로써, $A_p$와 $RH_q$ 상수 사이의 알려진 관계에서의 격차를 메운다.
• 가중치 $w$의 $A_∞$ 상수와 $RH_1$ 상수 사이의 날카운 수량적 추정을 확립하여, 극한 행동의 정밀한 특성화를 제공한다.
• 차원 1에서 고전적인 게링 정리의 날카운 형태를 $p=1$의 경우에 완성함으로써, 오랫동안 남아있던 질문을 해결한다.
• 날카운 추정을 타원형 PDE의 딜리클레 문제에 적용하여, 분석 분야에서의 유용성을 입증한다.

제안 방법

• 역 헬더 부등식의 극한으로서 $RH_1$을 정의하며, 조건 $[w]_{RH_1} := \sup_J m_J\left(\frac{w}{m_J w}\log\frac{w}{m_J w}\right) < \infty$를 통해 정의한다.
• Va의 방법을 응용한 벨만 함수 기법을 사용하여, $m_I w$와 $m_I(w\log w)$에 대한 제약 조건 하에서 $m_I(\log w)$의 극한 행동을 캡처하는 벨만 함수 $B(x,y)$를 구성함으로써 날카운 추정을 도출한다.
• Va와 SlVa의 기하적 통찰과 함께 망게-아프레 방정식을 활용하여 벨만 함수의 구성과 분석을 단순화한다.
• 곡선 $\Gamma_Q = \{(x,y) : y = x\log x + Qx\}$에 대한 탄젠트 조건을 통해 함수 $v(x,y)$를 정의하고, 벨만 함수를 $B(x,y) = \log v + \frac{x - v}{\gamma_- v}$로 표현한다. 여기서 $\gamma_-$는 $t - \log t = Q + 1$의 작은 근이다.
• 양 $x \exp(-B(x,y)) = s \exp\left(\frac{1-s}{\gamma_-}\right)$를 분석하며, $s = x/v \in [\gamma_-, 1]$로 놓고 최댓값이 점점 $\gamma_- \exp\left(\frac{1 - \gamma_-}{\gamma_-}\right) \sim \exp(e^{Q+1} - Q - 2)$가 됨을 보인다.
• 극한 가중치 $w(t) = \frac{1}{\gamma_-} t^{(1 - \gamma_-)/\gamma_-}$를 구성하여 등호가 성립함을 보임으로써 날카움을 증명한다. 이 가중치는 $[w]_{RH_1} = Q$이고, $m_I w \exp(-m_I(\log w)) = \gamma_- \exp\left(\frac{1 - \gamma_-}{\gamma_-}\right)$를 만족한다.

실험 결과

연구 질문

• RQ1 실수선 위의 가중치에 대해 $A_\infty$ 상수와 $RH_1$ 상수 사이의 날카운 수량적 관계는 무엇인가?
• RQ2 $RH_1$ 클래스는 $p \to 1^+$일 때 $RH_p$의 극한으로서 엄밀히 어떻게 정의될 수 있으며, 이는 $A_\infty$ 클래스와 어떤 정밀한 연결고리가 있는가?
• RQ3 고전적인 게링 정리가 $p=1$의 경우에 날카럽게 보완될 수 있는가? 만약 가능하다면, $w \in RH_{1+\varepsilon}$가 되도록 하는 최적의 지수 $\varepsilon$는 무엇인가?
• RQ4 날카운 추정에서 등호를 성립시키는 극한 가중치는 무엇인가?

주요 결과

• $A_\infty$ 상수가 $RH_1$ 상수를 날카롭게 제어하며, 추정식 $m_I w \exp(-m_I(\log w)) \leq \gamma_- \exp\left(\frac{1 - \gamma_-}{\gamma_-}\right)$가 성립한다. 여기서 $\gamma_-$는 $t - \log t = Q + 1$의 작은 근이며, $Q = [w]_{RH_1}$이다.
• 날카운 추정의 점근적 행동은 $\exp(e^{Q+1} - Q - 2)$이며, 이는 $RH_1$ 상수에 대한 지수적 의존성을 보여준다.
• 극한 가중치 $w(t) = \frac{1}{\gamma_-} t^{(1 - \gamma_-)/\gamma_-}$는 추정식에서 등호를 성립시키며 날카움을 확인한다.
• 논문은 $p=1$인 경우에 대해 게링 정리의 날카운 형태를 완성하였으며, $w \in RH_1$이면 상수 $Q$에 대해 $w \in RH_{1+\varepsilon}$이며 $\varepsilon = \frac{\log 4}{n\log 2 + 8Q}$임을 보여주며 이는 최적임을 입증한다.
• $\frac{|E|}{|I|} \leq \frac{1}{e^{8Q} - 1}$이면 항상 $\frac{w(E)}{w(I)} \leq \frac{1}{4}$가 성립함을 보이며, 이는 약한 유형의 역 헬더 조건을 제공한다.