On a modification of Gehring's lemma (Q5947502)

In the paper a new variant of the ``parabolic'' Gehring's lemma is proved (Lemma 1). The ``elliptic'' modification of the result is given in Lemma 2. Denote \(P=\{z=[x,t] \in \mathbb{R}^{n+1}\); \(|x_i|<a\), \(i=1,2,\dots ,n\), \(t\in(-a,0)\}\) with some \(a>1\). Let \(\psi \in L_1(P)\), \(g \in L_l(P)\), \(f \in L_m(P) \) be the nonnegative functions \((1<l<m)\). Suppose that for almost all \(z_0 \in P\) the following inequalities are satisfied: \[ \int_{Q_R(z_0)} g^l\, dz \leq \theta \int_{Q_{bR}(z_0)} g^l\, dz + B \Biggl(\int_{Q_{bR}(z_0)} g\, dz\Biggr)^l + \int_{Q_{bR}(z_0)} f^l\, dz + (bR)^{\beta} \int_{Q_{bR}(z_0)} \psi \, dz, \tag{1} \] for all \(R < \frac 1{b} \min\{\delta(z_0, \partial'P), R_1\}\), where \(\delta\) is parabolic metric, \(\partial'P\) is a parabolic boundary of \(P\), \(Q_R(z_0)=\{z \in \mathbb{R}^{n+1}\); \(x \in B_R(x_0)\), \(t \in (t_0-R^2, t_0)\}\) and the parameters \(R_1>0\), \(\theta \geq 0\), \(B>1\), \(b \geq 2\), \(\beta>0.\) Then there exists \(\varepsilon >0\) and \(\theta_0 = \theta_0 (l,b) \in (0,1)\) such that, if \(\theta \leq \theta_0\) in (1), then \(g \in L_s(\widetilde{P})\), for \(\widetilde{P} \subset P\), \(\delta(\widetilde P, \partial'R) >0\), \(s \in (l, l+\varepsilon)\) and \[ \|g \|_{s, \widetilde P} \leq c \{ \|g \|_{l,P} + \|f \|_{s,P} + \|\psi \|^{1/l}_{1,P} \}. \tag{2} \] The constants \(c\) and \(\varepsilon\) depend on \(n, l, m, b, B\), and \(\beta\), \(c\) depends also on \(\delta(\widetilde P, \partial'P)\) and \(\varepsilon \leq \min\{m-l, \frac{\beta l}{n+2}\}\).