Reverse Hölder Inequality

• Reverse Hölder Inequality is a foundational concept that defines conditions under which the mean of a function raised to a higher exponent is controlled by its mean at a smaller exponent.
• It extends classical integral inequalities by incorporating sharp quantitative constants and self-improving properties in settings such as multilinear, Orlicz, and variable exponent frameworks.
• Applications of the Reverse Hölder Inequality span operator theory, nonlinear PDE regularity, geometric rigidity, and probabilistic models, offering robust tools for integral and norm estimates.

The reverse Hölder inequality is a fundamental tool in harmonic analysis, partial differential equations, and probability, serving as a self-improving regularity principle for weighted integrability, nonlinear structures, and stochastic models. It quantifies when the mean of a function or a weight under a larger exponent is controlled by its mean under a smaller exponent—often in sharp quantitative form depending on structural constants or weight classes. The inequality, classical or generalized, often underpins higher integrability, dimension-free regularity, operator bounds, and geometric rigidity phenomena across analysis and geometry.

1. Classical and Weighted Reverse Hölder Inequalities

The most prevalent form asserts: if $w \geq 0$ is locally integrable on $\mathbb{R}^n$ and for $s > 1$,

$$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$

then for every cube $Q$,

$$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$

This encapsulates the standard (linear) reverse Hölder property for weights, with $C$ depending on $[w]_{RH_s}$ (Cruz-Uribe et al., 2017).

For Muckenhoupt classes $A_p$, $1 < p < \infty$, one similarly has reverse Hölder self-improvement: there exists $\mathbb{R}^n$0 and $\mathbb{R}^n$1 depending on $\mathbb{R}^n$2 so that

$\mathbb{R}^n$3

In endpoint and limiting regimes, sharp constants and dependence on structural invariants (e.g., Fujii–Wilson or Wilson's $\mathbb{R}^n$4 constant) emerge (Ortiz-Caraballo et al., 2012, Parissis et al., 2016).

2. Sharp Quantitative Versions and Optimal Constants

Recent works have focused on optimal exponent improvements and sharp constants, essential for rigorous operator estimates and fine regularity. For $\mathbb{R}^n$5 weights in $\mathbb{R}^n$6, let

$\mathbb{R}^n$7

where $\mathbb{R}^n$8 is the Hardy-Littlewood maximal operator. Then for $\mathbb{R}^n$9 and $s > 1$0,

$s > 1$1

holds for all cubes $s > 1$2, and this exponent is optimal: for any $s > 1$3 such that the RHI holds, necessarily $s > 1$4 (Ortiz-Caraballo et al., 2012).

For strong $s > 1$5 weights measured by rectangles and general Radon measures,

$s > 1$6

with $s > 1$7, and the constant $s > 1$8 is independent of the dimension (Luque et al., 2015).

For "flat" $s > 1$9 weights (Fujii–Wilson constant close to 1), the admissible exponent blows up as the constant approaches 1, interpolating between weighted and unweighted regimes: $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$0 (Parissis et al., 2016).

3. Multilinear, Weak, Orlicz, and Variable Exponent Extensions

Reverse Hölder inequalities extend beyond classical $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$1 to:

• Multilinear setting: If $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$2, $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$3, and $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$4,

$$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$5

which underpins factorization and norm bounds for multilinear maximal operators and weights (Cruz-Uribe et al., 2017).

• Weak RHIs on metric measure spaces: For a weight $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$6 on $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$7, $$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$8 satisfies a weak RHI if

$$[w]_{RH_s} = \sup_Q \left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \left(\frac{1}{|Q|}\int_Q w \right)^{-1} < \infty,$$9

with $Q$0, allowing nondoubling weights and various characterizations equivalent to generalized (weak) $Q$1 properties (Kinnunen et al., 2021).

• Orlicz scale: For Young functions $Q$2,

$Q$3

generalizes the classical reverse Hölder to non-power growth, enabling total extrapolation of operator bounds in the Orlicz scale (Anderson et al., 2016).

• Variable exponent ($Q$4) and matrix weights: For $Q$5, there exists $Q$6,

$Q$7

with explicit dependence of $Q$8 and $Q$9 on $$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$0, log-Hölder constants, and dimension (Cruz-Uribe et al., 2024).

4. Analytical, Geometric, and Probabilistic Generalizations

• Nonlinear PDE regularity: The RHI for gradients is crucial for scalar solutions to degenerate parabolic equations, e.g., Trudinger’s equation. For $$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$1, $$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$2,

$$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$3

with $$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$4 depending only on dimension, $$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$5, and structural constants (Saari et al., 2019).

• Reverse Hölder for first Dirichlet Laplacian eigenfunctions: In RCD$$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$6 spaces, for $$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$7,

$$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$8

where $$\left(\frac{1}{|Q|} \int_Q w^s \right)^{1/s} \leq C \frac{1}{|Q|}\int_Q w.$$9 is the comparator eigenfunction on the spherical suspension model, producing rigidity and stability consequences (Gunes et al., 2021).

• Probabilistic versions: If $C$0 are independent random vectors, e.g., uniformly distributed on $C$1 balls,

$C$2

holds with high probability for large $C$3, with explicit $C$4 given by Gamma functions, quantifying probabilistic reversals of Hölder's inequality (Frühwirth et al., 2022).

• Kähler geometry: For Kähler metrics on Fano varieties or their singular analogues, under uniform Ricci potential bounds there is a reverse Hölder-type control for Darvas $C$5 Finsler metrics: $C$6 with $C$7 universal (Berman, 2023).

5. Operator Theory, Self-Improvement, and Applications

Sharp reverse Hölder constants yield best-possible weighted norm inequalities for Calderón–Zygmund operators, their commutators, and maximal functions. For $C$8 weights,

$C$9

and for Cp weights,

$[w]_{RH_s}$0

with logarithmic correction quantifying the sufficiency of Cp in Sawyer's theorem (Canto, 2018).

The reverse Hölder inequality is pivotal in the self-improvement of weight classes ($[w]_{RH_s}$1 to $[w]_{RH_s}$2), factorization results for multilinear weights, the structure theorem for $[w]_{RH_s}$3 weights, and the streamlined sufficient conditions in two-weight norm inequalities for maximal operators (Cruz-Uribe et al., 2017).

6. Geometry of Extension, Weak and Non-Doubling Regimes

RHI extends to even extensions of functions and non-doubling measures. For $[w]_{RH_s}$4, one can bound

$[w]_{RH_s}$5

with $[w]_{RH_s}$6 the best RHI constant on $[w]_{RH_s}$7 and $[w]_{RH_s}$8 its counterpart on $[w]_{RH_s}$9, achieving asymptotic sharpness as $A_p$0 (Shalukhina, 2018).

Weak RHIs characterize weak $A_p$1 weights—generalizing Muckenhoupt’s $A_p$2 to non-doubling and vanishing settings—with ten equivalent conditions spanning set-decay, log-bump, and BMO-pairing properties (Kinnunen et al., 2021).

7. Summary Table: Sharp Reverse Hölder Inequality Regimes

Weight Class or Setting	RHI Form / Result	Optimal Constant/Exponent
$A_p$3 ($A_p$4), cubes	$A_p$5	$A_p$6
$A_p$7, Wilson	$A_p$8	Factor $A_p$9 (Ortiz-Caraballo et al., 2012)
Strong $1 < p < \infty$0, rectangles	$1 < p < \infty$1	$1 < p < \infty$2
Weak $1 < p < \infty$3	$1 < p < \infty$4	$1 < p < \infty$5, $1 < p < \infty$6 via covering constants (Kinnunen et al., 2021)
Variable exponent $1 < p < \infty$7	$1 < p < \infty$8	Exponent, constant depend on $1 < p < \infty$9 (Cruz-Uribe et al., 2024)

• (Ortiz-Caraballo et al., 2012) Improving bounds for singular operators via Sharp Reverse Hölder Inequality for $\mathbb{R}^n$00
• (Luque et al., 2015) Reverse Hölder Property for strong weights and general measures
• (Parissis et al., 2016) Asymptotically sharp reverse Hölder inequalities for flat Muckenhoupt weights
• (Cruz-Uribe et al., 2017) A multilinear reverse Hölder inequality with applications to multilinear weighted norm inequalities
• (Shalukhina, 2018) On the extension of the Reverse Hölder Inequality for power functions on the real axis
• (Canto, 2018) Sharp reverse Hölder inequality for $\mathbb{R}^n$01 weights and applications
• (Saari et al., 2019) A reverse Hölder inequality for the gradient of solutions to Trudinger's equation
• (Kinnunen et al., 2021) Characterizations of weak reverse Hölder inequalities on metric measure spaces
• (Frühwirth et al., 2022) Hölder's inequality and its reverse-a probabilistic point of view
• (Berman, 2023) Reverse Hölder inequalities on the space of Kähler metrics of a Fano variety and effective openness
• (Cruz-Uribe et al., 2024) The reverse Hölder inequality for $\mathbb{R}^n$02 weights with applications to matrix weights

---

The reverse Hölder inequality constitutes both a deep structural regularity principle and a central constructive device for sharp bounds and rigidity in weight theory, geometric analysis, PDE regularity, and operator theory, with extensive ramifications in quantitative estimates and self-improvement phenomena.