[论文解读] Sharp estimates involving $A_\infty$ and $LlogL$ constants, and their applications to PDE

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

Advanced Harmonic Analysis Research被引用 6

一句话总结

本文建立了实直线上权重的 $A_∞$ 与 $RH_1$ 常数之间的精确数量估计，将 $RH_1$ 定义为当 $p \to 1^+$ 时逆 Hölder 不等式极限情形。通过 Bellman 函数技巧与 Monge-Ampère 方程，证明了 $A_\infty$ 常数对 $RH_1$ 常数的控制是精确的，完成了维度一情形下经典 Gehring 定理的精确版本，并为椭圆 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_\infty$ 常数与 $RH_1$ 常数之间的精确数量估计，提供对极限行为的精确刻画。
• 完成维度一情形下经典 Gehring 定理在 $p=1$ 时的精确版本，解决了一个长期存在的问题。
• 将精确估计应用于椭圆 PDE 的 Dirichlet 问题，展示其在分析中的实用性。

提出的方法

• 将 $RH_1$ 定义为当 $p \to 1^+$ 时 $RH_p$ 的极限情形，通过条件 $[w]_{RH_1} := \sup_J m_J\left(\frac{w}{m_J w}\log\frac{w}{m_J w}\right) < \infty$ 定义。
• 采用 [Va] 中的方法，应用 Bellman 函数技巧，通过构造一个 Bellman 函数 $B(x,y)$ 来捕捉在 $m_I w$ 与 $m_I(w\log w)$ 约束下 $m_I(\log w)$ 的极值行为。
• 利用 Monge-Ampère 方程与 [Va] 和 [SlVa] 中的几何直觉，简化 Bellman 函数的构造与分析。
• 通过曲线 $\Gamma_Q = \{(x,y) : y = x\log x + Qx\}$ 的切线条件定义函数 $v(x,y)$，并将 Bellman 函数表示为 $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 权重在 $\mathbb{R}$ 上的 $A_\infty$ 常数与 $RH_1$ 常数之间存在何种精确的数量关系？
• RQ2 如何严格地将 $RH_1$ 类定义为当 $p \to 1^+$ 时 $RH_p$ 的极限情形？其与 $A_\infty$ 类的精确联系是什么？
• RQ3 经典 Gehring 定理在 $p=1$ 时能否被精确化？若能，使得 $w \in RH_{1+\varepsilon}$ 的最优指数 $\varepsilon$ 是多少？
• RQ4 是否存在达到 $A_\infty$ 与 $RH_1$ 常数之间精确界限等号的极值权重？

主要发现

• $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$ 情形下 Gehring 定理的精确版本，表明若 $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}$ 成立，提供了一种类弱型逆 Hölder 条件。