Geometric-arithmetic averaging of dyadic weights (Q643333)

The authors exhibit a method for constructing general \(A_p\) weights (or weights satisfying reverse Hölder conditions) from a measurably varying family of dyadic \(A_p\) weights (or dyadic weights satisfying reverse Hölder conditions) using a certain averaging procedure. The following theorem is proved: If \(\{w^t\}_{[0\leq t\leq 1]}\) is a family of dyadic \(A_p\) weights on the circle with dyadic \(A^d_p\)-constants uniformly bounded, such that \(t\to w^t\) is measurable and \(\int_0^1\int_0^1 |\log w^t(x)|dxdt<\infty\) then the geometric-arithmetic average \(\Omega(x)=\exp(\int_0^1 \log w^t(x+t)dt)\) is an \(A_p\) weight. A similar result concerning reverse Hölder condition is presented.