REVIEW 1 major objections 7 minor 36 references
Parabolic BMO Spaces, Muckenhoupt Weights, and Reverse H\"older Classes with Time Lag: Equivalence and Characterizations
T0 review · 1 major / 7 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read Parabolic reverse H\"older weights are Muckenhoupt weights, with time lag.
desk verdict Answers two open questions in parabolic weight/BMO theory with coherent proofs; the main gaps are cosmetic or imported dependencies. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Two mechanisms carry the argument. The uniform parabolic space-time shifting property asserts that if $w\in RH_q^+$ then there are fixed $\nu\in(0,1/4)$ and $\Theta>0$ such that $w(R^-(\gamma)) \le C w(R^-(\gamma)+(\sigma\nu \ell(R)e_i,\Theta[\ell(R)]^p))$ for every parabolic rectangle $R$, every spatial direction $e_i$, and $\sigma=\pm1$; this is proved by iterating a parabolic dyadic lattice with a finite-overlap estimate, and it forces the forward-in-time doubling condition used by the imported half of the Muckenhoupt--reverse-H\"older equivalence. The one-sided stopping time argument selects maximal dyadic subrectangles of $R^-(\alpha)$ on which the forward average $f_{R^+(\gamma)}$ exceeds $f_{R^+(\gamma)}$ plus a fixed multiple of the BMO norm; the selected family has controlled total measure and yields the exponential level-set bound that feeds the BMO identifications.
What would settle it
Find a weight $w$ in some $RH_q^+$ for which the forward-in-time doubling ratio $w(R^-(\gamma))/w((1/2)R^+(\gamma))$ is unbounded over parabolic rectangles with a fixed $\gamma\in(0,1)$; such a weight would refute Theorem 1.1, since every $A_r^+(\gamma)$ weight satisfies that bound. A concrete search would test the uniform shifting estimate on $w(x,t)=e^{\varphi(t)}$ with $\varphi$ growing rapidly forward in time and check numerically whether the $RH_q^+$ averages stay bounded while the doubling ratio blows up.
Extended reading notes
Core claim
The paper's central claim is that, for every $\gamma\in(0,1)$, the parabolic reverse H\"older classes, the parabolic Muckenhoupt classes with time lag, and the one-sided parabolic BMO spaces all collapse into single equivalence classes: $\cup_{q\in(1,\infty]} RH_q^+ = \cup_{r\in[1,\infty)} A_r^+(\gamma)$, $BMO^+(\gamma)=PBMO^-(\gamma)=-BMO^-(\gamma)$, and $A_\infty^+(\gamma)=\cup_{r\in[1,\infty)} A_r^+(\gamma)$, with constants controlled only by the relevant weight or function characteristic. The key step is that a weight in any $RH_q^+$ automatically satisfies the forward-in-time doubling condition that earlier work had to assume; this is forced by the uniform parabolic space-time shifting property, which moves a reverse-H\"older weight forward in time and sideways in space at controlled multiplicative cost. A separate one-sided stopping time argument produces a parabolic John--Nirenberg inequality for $BMO^+(\gamma)$, and from it the paper derives the BMO identifications, exponential integrability, time-lag independence, and the null-space characterization.
Load-bearing premise
The main result rests on an earlier theorem saying reverse-H\"older weights that also satisfy a forward-in-time doubling bound are Muckenhoupt, and on a claimed extension of a dyadic tiling from $\gamma\le 1/2$ to $\gamma<1$ that the paper carries out only by remark.
Editorial extensions
If this is right
- For every $\gamma\in(0,1)$, $BMO^+(\gamma)$, $PBMO^-(\gamma)$, and $-BMO^-(\gamma)$ are the same set of functions with comparable norms, so the one-sided parabolic BMO space is genuinely one-sided and carries no extra information beyond the parabolic BMO space.
- $A_\infty^+(\gamma)$ contains nothing beyond $\cup_{r\ge1} A_r^+(\gamma)$: every weight satisfying the reverse Jensen condition belongs to some concrete $A_r^+(\gamma)$, so weighted norm inequalities true for all $A_r^+$ are true for $A_\infty^+$.
- Every weight in $\cup_{q>1} RH_q^+$ lies in some $A_r^+(\gamma)$, so reverse-H\"older information alone is enough to enter the Muckenhoupt world; conversely every $A_r^+$ is reverse-H\"older.
- Every $f\in BMO^+(\gamma)$ satisfies a John--Nirenberg level-set decay with the same time lag $\gamma$, and small exponentials of $f$ are reverse-H\"older and Muckenhoupt weights.
- $BMO^+(\gamma)$ does not depend on $\gamma$; its null space is exactly the non-decreasing functions of the time variable, and logarithms of positive weak solutions of the doubly nonlinear parabolic equation lie in $BMO^+(\gamma)$.
Reading between the lines
- A testable extension: the automatic forward-in-time doubling for $RH$ weights should persist in spaces of homogeneous type with the monotone geodesic property, where the same dyadic-lattice machinery is available; if it does, the $RH\leftrightarrow A$ equivalence would transfer verbatim.
- A further step: the one-sided stopping time argument uses only scalar averages and maximality, so it should give John--Nirenberg inequalities for $BMO^+(\gamma)$ with values in a Banach space.
- This suggests a quotient reading: modulo the non-decreasing functions of time alone, $BMO^+(\gamma)$ is a genuine oscillation space, and the exponential constants could be tested on explicit heat-equation solutions such as Gaussian kernels when $p=2$.
- If combined with extrapolation for $A_r^+(\gamma)$, the $A_\infty^+$ identity should yield one-sided parabolic weighted norm inequalities for parabolic maximal functions and fractional integrals with time lag.
Formalized claims in Lean
-
Claim #1: The paper's central claim is that, for every $\gamma\in(0,1)$, the parabolic reverse H\"older classes, the parabolic Muckenhoupt classes with time lag, and the one-sided parabolic BMO spaces all collapse into single equivalence classes: $\cup_{q\in(1,\infty]} RH_q^+ = \cup_{r\in[1,\infty)} A_r^+(\gamma)$, $BMO^+(\gamma)=PBMO^-(\gamma)=-BMO^-(\gamma)$, and $A_\infty^+(\gamma)=\cup_{r\in[1,\infty)}
/-- @claim 1 The paper's central claim is that, for every $\gamma\in(0,1)$, the parabolic reverse H\"older classes, the parabolic Muckenhoupt classes with time lag, and the one-sided parabolic BMO spaces all collapse into single equivalence classes: $\cup_{q\in(1,\infty]} RH_q^+ = \cup_{r\in[1,\infty)} A_r^+(\gamma)$, $BMO^+(\gamma)=PBMO^-(\gamma)=-BMO^-(\gamma)$, and $A_\infty^+(\gamma)=\cup_{r\in[1,\infty)} -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper resolves, in the parabolic (n+1)-dimensional setting with time lag γ∈(0,1), three open problems of Kinnunen and Saari: the one-sided parabolic BMO spaces BMO^+(γ), PBMO^-(γ), and -BMO^-(γ) coincide with equivalent norms; the reverse Jensen class A_∞^+(γ) coincides with the union of the parabolic Muckenhoupt classes ∪ A_r^+(γ); and the union of the parabolic reverse Hölder classes ∪ RH_q^+ coincides with ∪ A_r^+(γ). The proof introduces a uniform parabolic space-time shifting property for RH_q^+ weights (Theorem 2.5) and a one-sided stopping-time argument yielding a parabolic John–Nirenberg inequality (Lemma 3.1). Applications include exponential integrability and John–Nirenberg characterizations of BMO^+(γ), time-lag independence of BMO^+(γ), a null-space characterization, and a statement about logarithms of positive weak solutions of the doubly nonlinear parabolic equation.
Significance. If the results hold, they are significant: they affirmatively answer Questions 4.5 and 4.6 of Kinnunen and Saari, unify weight theory and BMO theory in the parabolic setting, and provide new tools (space-time shifting and a one-sided stopping time) that are likely to be useful for parabolic PDEs. The proofs are detailed, with explicit constants, and the logical chain from Theorem 2.5 to Theorem 1.1 and then to Theorem 1.2 is coherent and non-circular. The paper is honest about its dependencies on prior results, notably Lemma 2.1(ii) from [16]. I also note that the potential concern that Theorem 2.5 is proved only for γ∈[0,1/2] does not affect Theorem 1.1, because in the proof of Theorem 1.1 Theorem 2.5 is applied only to the zero-lag rectangles R^-_{j,k}(0).
major comments (1)
- [Section 2, Lemma 2.1(ii)] The proof of Theorem 1.1 rests on the imported result Lemma 2.1(ii) ([16, Theorem 5.3]) that RH^+_q weights satisfying the forward-in-time doubling condition (1.3) belong to some A^+_r(γ). Since this is the only genuinely imported step in the central equivalence, the authors should explicitly verify that the hypotheses of [16, Theorem 5.3] match the statement used here, in particular the allowed dependence of C_d on the weight characteristic, the range of γ, and the role of the constants in (1.3). A mismatch in any of these would directly affect the validity of Theorem 1.1.
minor comments (7)
- [Section 2, proof of Theorem 2.5] In the proof, the set E_ν is defined as R^+(γ)\S^+(γ) but should be R^+(γ)\S^+_ν(γ); the subsequent inclusion 'R^+(γ)⊂S^+(γ)∪E_ν' should likewise use S^+_ν(γ).
- [Section 3, Lemma 3.3] The displayed definition of m, '2^{mp}<1−α', is inconsistent with the equivalent condition '(2/(1−α))^{1/p}<m' that follows; the intended condition appears to be '(2/m)^p<1−α'.
- [Section 3, Lemma 3.3 proof] In the iteration count near the end of the proof, 'mp(α−γ)/(1+γ)' should read 'm^p(α−γ)/(1+γ)' (m to the power p), the number of forward steps being the ratio of the total temporal distance to the step size (1+γ)l^p.
- [Section 3, Lemma 3.1, Step 3] The phrase 'eU⊂ eP−(γ)' should presumably be 'eU^+(γ)⊂ eP^-(γ)', since the subsequent estimate integrates over \tilde U^+(γ) and bounds by an integral over \tilde P^-(γ).
- [Remark 2.6] The claimed extension of Theorem 2.5 to γ∈[0,γ*] is stated without proof. The main proof uses Theorem 2.5 only with γ=0, so this omission does not affect Theorem 1.1, but the remark should be completed or qualified.
- [Section 3, Corollaries 3.6-3.8] Corollaries 3.6, 3.7, and 3.8 are stated without proof. They appear to follow from the cited results (e.g., [17, Corollary 4.2] and [22, Theorem 3.1]) together with Theorem 1.2, but adding a sentence of explanation for each would improve clarity and completeness.
- [General] The references include several very recent arXiv preprints ([21], [24], [30]) that are used for key tools; if any of these have since appeared in journal form, the citations should be updated.
Circularity Check
No significant circularity: the central equivalence proofs are self-contained reductions to previously stated published lemmas, not to their own target statements.
full rationale
The main new result is Theorem 2.5, the uniform parabolic space-time shifting property, which is proved directly from the RH_q^+ condition via Lemma 2.2, Lemma 2.3, and the dyadic lattice of [24]; it does not invoke A_r^+ or BMO^+ nor the target equalities. Theorem 1.1 then combines this with Lemma 2.1(ii) (quoted as [16, Theorem 5.3]), whose hypotheses are w in RH_q^+ plus the forward doubling condition (1.3); the paper supplies (1.3) from Theorem 2.5, so the dependency is modular rather than circular. Theorem 1.2 is proved by deriving the John-Nirenberg inequality (Lemma 3.1), using it to show exp(Bf/... ) lies in RH_2^+, applying Theorem 1.1 to move to A_r^+(gamma), and then using the Kinnunen-Saari Lemma 3.4 to identify PBMO^-(gamma); no target equality is reused as an input. The A_infty^+(gamma)=union A_r^+(gamma) claim follows from part (i) plus Lemma 3.4(iii) without circularity. The self-citations [17] and [22] appear in Corollaries 3.5-3.8 as applications; they cite published independent John-Nirenberg and time-lag independence results for PBMO, not as premises of the main theorems. Remark 2.6 states that the extension of Theorem 2.5 to all gamma in (0,1) is omitted, but the proof of Theorem 1.1 applies Theorem 2.5 only with gamma=0 to the small rectangles P_{j,k}=R^-_{j,k}(0), so this omission does not undermine the main theorem. Lemma 3.3 has an apparent typo in the displayed choice of m, but the subsequent iteration is consistent and the issue is a correctness risk, not circularity.
Assumptions & free parameters
assumptions (8)
- domain assumption Underlying space is R^{n+1} with p∈(1,∞) fixed and parabolic rectangles R = Q(x,L) × [t−L^p, t+L^p].
- domain assumption Weights are nonnegative, locally integrable, and positive almost everywhere.
- domain assumption Lemma 2.1(i) = [15, Thm 5.2]: A_r^+(γ) ⊂ RH_q^+; Lemma 2.1(ii) = [16, Thm 5.3]: RH_q^+ plus forward doubling (1.3) implies A_r^+(γ).
- domain assumption Parabolic dyadic lattice D1 from [24, Prop 2.1] with properties (I) and (II), including the existence of α∈[0,1/2] for each child rectangle.
- standard math Parabolic Lebesgue differentiation theorem for dyadic rectangles.
- domain assumption Lemma 3.4 items (i), (ii), and (iii) from [19] and [20] relating PBMO^-(γ), A_r^+(γ), and A_∞^+(γ).
- domain assumption John-Nirenberg inequality for PBMO^-(γ) from [17, Thm 4.1].
- standard math Classical tools: Hölder's inequality, Jensen's inequality, Cavalieri's principle, and basic measure theory.
Cite this review
Pith. "Pith review of Parabolic BMO Spaces, Muckenhoupt Weights, and Reverse H\"older Classes with Time Lag: Equivalence and Characterizations." pith.science (2026). https://pith.science/paper/LXL3EV2W
@misc{pith2026260813307,
author = {Pith},
title = {Pith review of: Parabolic BMO Spaces, Muckenhoupt Weights, and Reverse H\"older Classes with Time Lag: Equivalence and Characterizations},
year = {2026},
howpublished = {\url{https://pith.science/paper/LXL3EV2W}},
note = {Machine review of arXiv:2608.13307}
}
abstract
For any given time lag $\gamma\in(0,1)$, we prove that the one-sided parabolic BMO space $\mathrm{BMO}^+(\gamma)$ coincides with the parabolic BMO space $\mathrm{PBMO}^-(\gamma)$ with equivalent norms, the parabolic Muckenhoupt class $A_{\infty}^+(\gamma)$ defined via the reverse Jensen inequality can be represented as the union of the parabolic Muckenhoupt classes $A_r^+(\gamma)$ with $r\in[1,\infty)$, and the parabolic reverse H\"older classes $\bigcup_{q\in(1,\infty]}RH_q^+$ coincide with the parabolic Muckenhoupt classes $\bigcup_{r\in[1,\infty)}A_r^+(\gamma)$, and hence give affirmative answers to Questions 4.5 and 4.6 posed by Kinnunen and Saari [Nonlinear Anal. 131 (2016)]. To show them, we establish the uniform parabolic space-time shifting property for parabolic reverse H\"older weights, and develop the one-sided stopping time argument which yields a new parabolic John--Nirenberg inequality for $\mathrm{BMO}^+(\gamma)$. As applications, we obtain John--Nirenberg and exponential integrability characterizations of $\mathrm{BMO}^+(\gamma)$, prove that $\mathrm{BMO}^+(\gamma)$ is independent of the positive time lag, and identify its null space.
Reference graph
Works this paper leans on
-
[16]
J. Kinnunen and K. Myyryläinen, Characterizations of parabolic reverse Hölder classes, J. Anal. Math. 155 (2025), 609–656
work page 2025
-
[1]
Aimar, Elliptic and parabolic BMO and Harnack’s inequality, Trans
H. Aimar, Elliptic and parabolic BMO and Harnack’s inequality, Trans. Amer. Math. Soc. 306 (1988), 265–276
1988
-
[2]
T. A. Bui and X. T. Duong, Global Lorentz estimates for nonlinear parabolic equations on nonsmooth domains, Calc. Var. Partial Differential Equations 56 (2017), Paper No. 47, 24 pp
work page 2017
-
[3]
T. A. Bui, Q. Hong and G. Hu, Generalized Schrödinger operators on the Heisenberg group and Hardy spaces, J. Funct. Anal. 286 (2024), Paper No. 110399, 53 pp
work page 2024
-
[4]
M. Cao, W. Kong, D. Yang, W. Yuan and C. Zhu, Parabolic extrapolation and its applica- tions to characterizing parabolic BMO spaces via parabolic fractional commutators, J. Geom. Anal. 36 (2026), Paper No. 65, 37 pp
2026
-
[5]
D. Cruz-Uribe and K. Myyryläinen, Two-weight norm inequalities for parabolic fractional maximal functions, Rev. Mat. Complut. 39 (2026), 431–460
work page 2026
-
[6]
D. Cruz-Uribe, C. J. Neugebauer and V . Olesen, The one-sided minimal operator and the one-sided reverse Hölder inequality, Studia Math. 116 (1995), 255–270
work page 1995
-
[7]
E. B. Fabes and N. Garofalo, Parabolic B.M.O. and Harnack’s inequality, Proc. Amer. Math. Soc. 95 (1985), 63–69
1985
Show all 36 references
-
[8]
Fefferman and E
C. Fefferman and E. M. Stein,H p spaces of several variables, Acta Math. 129 (1972), 137– 193
1972
-
[9]
Ho, Vector-valued John–Nirenberg inequalities and vector-valued mean oscillations characterization of BMO, Results Math
K.-P. Ho, Vector-valued John–Nirenberg inequalities and vector-valued mean oscillations characterization of BMO, Results Math. 70 (2016), 257–270
2016
-
[10]
Izuki, T
M. Izuki, T. Noi and Y . Sawano, The John–Nirenberg inequality in ball Banach function spaces and application to characterization of BMO, J. Inequal. Appl. 2019, Paper No. 268, 11 pp
2019
-
[11]
Y . Jiao, A. Os˛ ekowski, L. Wu and Y . Zuo, Noncommutative weak-L∞ and BMO, Math. Ann. 391 (2025), 3519–3553
2025
-
[12]
Y . Jiao, L. Wu, A. Yang and R. Yi, The predual and John–Nirenberg inequalities on general- ized BMO martingale spaces, Trans. Amer. Math. Soc. 369 (2017), 537–553
2017
-
[13]
John and L
F. John and L. Nirenberg, On functions of bounded mean oscillation, Comm. Pure Appl. Math. 14 (1961), 415–426
1961
-
[14]
Kinnunen and T
J. Kinnunen and T. Kuusi, Local behaviour of solutions to doubly nonlinear parabolic equa- tions, Math. Ann. 337 (2007), 705–728
2007
-
[15]
Kinnunen and K
J. Kinnunen and K. Myyryläinen, Characterizations of parabolic Muckenhoupt classes, Adv. Math. 444 (2024), Paper No. 109612, 57 pp
2024
-
[17]
Kinnunen, K
J. Kinnunen, K. Myyryläinen and D. Yang, John–Nirenberg inequalities for parabolic BMO, Math. Ann. 387 (2023), 1125–1162
2023
-
[18]
Kinnunen, K
J. Kinnunen, K. Myyryläinen, D. Yang and C. Zhu, Parabolic Muckenhoupt weights with time lag on spaces of homogeneous type with monotone geodesic property, Potential Anal. 60 (2024), 1513–1569
2024
-
[19]
Kinnunen and O
J. Kinnunen and O. Saari, On weights satisfying parabolic Muckenhoupt conditions, Nonlin- ear Anal. 131 (2016), 289–299
2016
-
[20]
Kinnunen and O
J. Kinnunen and O. Saari, Parabolic weighted norm inequalities and partial differential equa- tions, Anal. PDE 9 (2016), 1711–1736
2016
-
[21]
W. Kong, D. Yang and W. Yuan, One-sided and parabolic BLO spaces with time lag and their applications to MuckenhouptA 1 weights and doubly nonlinear parabolic equations, arXiv:2602.09741. 24WeiyiKong, DachunYang andWenYuan
-
[22]
W. Kong, D. Yang, W. Yuan and C. Zhu, Optimal real-variable characterizations of parabolic Campanato spaces with time lag related to almost increasing functions, Calc. Var. Partial Differential Equations 64 (2025), no. 7, Paper No. 228, 30 pp
2025
-
[23]
W. Kong, D. Yang, W. Yuan and C. Zhu, Parabolic Muckenhoupt weights characterized by parabolic fractional maximal and integral operators with time lag, Canad. J. Math. (2025), https://doi.org/10.4153/S0008414X25000185
2025 doi
-
[24]
Lahdelma, K
H. Lahdelma, K. Myyryläinen and A. V . Vähäkangas, Parabolic weak porosity and parabolic Muckenhoupt distance functions, arXiv: 2604.12561
-
[25]
J. Ma, Q. He and D. Yan, Weighted characterization of parabolic fractional maximal operator, Front. Math. 18 (2023), 185–196
2023
-
[26]
F. J. Martín-Reyes, L. Pick and A. de la Torre,A + ∞ condition, Canad. J. Math. 45 (1993), 1231–1244
1993
-
[27]
F. J. Martín-Reyes and A. de la Torre, One-sided BMO spaces, J. London Math. Soc. (2) 49 (1994), 529–542
1994
-
[28]
Moser, A Harnack inequality for parabolic differential equations, Comm
J. Moser, A Harnack inequality for parabolic differential equations, Comm. Pure Appl. Math. 17 (1964), 101–134
1964
-
[29]
A Harnack inequality for parabolic differential equations
J. Moser, Correction to: “A Harnack inequality for parabolic differential equations", Comm. Pure Appl. Math. 20 (1967), 231–236
1967
-
[30]
Myyryläinen, T
K. Myyryläinen, T. Oikari and O. Saari, Domains with globally exponentially integrable parabolic forward-in-time BMO, arXiv:2509.24486
-
[31]
Myyryläinen and D
K. Myyryläinen and D. Yang, Parabolic John–Nirenberg spaces with time lag, Math. Z. 306 (2024), Paper No. 46, 20 pp
2024
-
[32]
Nakai, Pointwise multipliers on weighted BMO spaces, Studia Math
E. Nakai, Pointwise multipliers on weighted BMO spaces, Studia Math. 125 (1997), 35–56
1997
-
[33]
Nakai and Y
E. Nakai and Y . Sawano, Hardy spaces with variable exponents and generalized Campanato spaces, J. Funct. Anal. 262 (2012), 3665–3748
2012
-
[34]
Saari, Parabolic BMO and global integrability of supersolutions to doubly nonlinear parabolic equations, Rev
O. Saari, Parabolic BMO and global integrability of supersolutions to doubly nonlinear parabolic equations, Rev. Mat. Iberoam. 32 (2016), 1001–1018
2016
-
[35]
Saari, Parabolic BMO and the forward-in-time maximal operator, Ann
O. Saari, Parabolic BMO and the forward-in-time maximal operator, Ann. Mat. Pura Appl. (4) 197 (2018), 1477–1497
2018
-
[36]
N. S. Trudinger, Pointwise estimates and quasilinear parabolic equations, Comm. Pure Appl. Math. 21 (1968), 205–226. Weiyi Kong, Dachun Yang and Wen Yuan Laboratory of Mathematics and Complex Systems (Ministry of Education of China), School of Mathematical Sciences, Institute ...
1968
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.