REVIEW 2 major objections 4 minor 1 cited by
The $L^p$ regularity problem for parabolic operators with transversally independent coefficients
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For a uniformly elliptic, bounded measurable matrix independent of the transversal spatial variable, the parabolic $L^p$ Regularity problem is solvable on $(1,p_0)$ for some $p_0>1$, dual to the adjoint Dirichlet range.
desk verdict Genuinely new result resolving the parabolic Regularity problem for transversally independent coefficients, but Theorem 1.7 overclaims the p-range: the area-function bounds are only proved for p≤2, so the full dual interval (1,p0) is not covered if p0>2. 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
1$, whenever $A$ is uniformly elliptic, bounded and measurable, and its coefficients do not depend on the spatial variable $x_{n+1}$ transversal to the boundary. The Regularity problem is the harder companion to the Dirichlet problem: it demands nontangential convergence of the gradient to boundary data carrying one spatial derivative and a half time derivative in $L^p$. By duality, the interval $(1,p_0)$ is exactly the complement of the range $q>p_0'$ where the adjoint Dirichlet problem for $-\partial_t u - \operatorname{div}(A^*\nabla u)=0$ is solvable. This closes the parabolic analogue of a gap that was already resolved in the elliptic setting for transversally independent coefficients.
What carries the argument
The central object is the resolvent family $P_\lambda=(I+\lambda^2 H_\parallel)^{-m}$, where $\lambda=x_{n+1}$ is the transversal variable and $H_\parallel=\partial_t - \operatorname{div}_\parallel(A_\parallel\nabla_\parallel)$ is the tangential parabolic operator acting only on the boundary variables $(x,t)$. $P_\lambda$ lifts boundary data $f$ into the interior, and all the terms in the boundary integral (3.10) are rewritten as evaluating square functions and nontangential maximal functions on combinations of $P_\lambda f$, such as $A(\partial_\lambda P_\lambda f)$, $A(\lambda H_\parallel P_\lambda f)$, $A(\lambda\nabla_\parallel\partial_\lambda P_\lambda f)$, $A(\lambda\partial_\lambda^2 P_\lambda f)$ and $A(\lambda^2\nabla_\parallel\partial_\lambda^2 P_\lambda f)$. The machinery that makes the bounds work is the explicit kernel bound of [4], the identities $\partial_\lambda P_{\lambda,m}=(2m/\lambda)(P_{\lambda,m+1}-P_{\lambda,m})$ that reduce derivative terms to resolvent differences, the Caccioppoli inequality of Lemma 4.10, the atomic Hardy--Sobolev interpolation of [18] for $1<p\le 2$, and the sharp maximal function for the nontangential estimates.
What would settle it
A reader can look at the sharp Dirichlet exponent $r$ for a transversally independent operator in the paper's source [4]; if $r<2$, then $p_0=r/(r-1)>2$ and Theorem 1.7 asserts a range that the proof's Lemma 4.16 does not cover. In that case either an $L^p$ area-function estimate for $p>2$ must be proved or a counterexample at some $p\in(2,p_0)$ would refute the theorem as stated.
Extended reading notes
Core claim
Stated as Theorem 1.7, the paper's central claim is that for $\Omega=O\times\mathbb{R}$ with $O$ an unbounded Lipschitz graph domain and $A$ satisfying (1.2) and (1.6), there exists $p_0>1$ such that the $L^p$ Regularity problem is solvable for all $1<p<p_0$, with the interval dual to the solvability range of the adjoint Dirichlet problem. The proof reduces this to eleven explicit $L^p$ bounds: five square-function bounds, four nontangential maximal-function bounds, a Carleson measure bound, and one commutator estimate, all applied to the family $P_\lambda f=(I+\lambda^2 H_\parallel)^{-m}f$ with $\lambda=x_{n+1}$. Sections 4--7 establish these bounds: area functions by atomic Hardy--Sobolev interpolation for $1<p\le 2$, nontangential maximal functions by sharp-maximal-function estimates for $1<p<\infty$, the Carleson bound by induction on the resolvent power, and the final commutator term through the averaging operator $A_\lambda$ and a time-averaging lemma. The proof for a general Lipschitz graph domain follows from the half-space case by a change of variables that preserves the transversal independence condition.
Load-bearing premise
The load-bearing premise is that the exponent $p_0$ in Theorem 1.7 can be taken at most $2$, because Lemma 4.16 proves the necessary area-function estimates only for $1<p\le 2$ and no extension to $p>2$ is supplied.
Editorial extensions
If this is right
- If the theorem is right, the parabolic Regularity problem with data in $\dot L^p_{1,1/2}(\partial\Omega)$ is solvable for every $1<p<p_0$, so gradients of energy solutions converge nontangentially to data with one spatial and a half time derivative.
- Theorem 2.22 then gives the additional $L^p$ control of the half-time derivative and the time-adapted second-order term, so this solution concept coincides with the classical Regularity formulation used for the heat equation.
- The dual-range statement means that any improvement in the adjoint Dirichlet range for transversally independent coefficients translates directly into a wider $(1,p_0)$ interval for Regularity.
- The change of variables extends the result to all unbounded Lipschitz graph domains $O\times\mathbb{R}$, not only the half-space, without losing transversal independence.
- The eleven-bound reduction is a reusable checklist that could be applied to related parabolic boundary value problems such as Neumann problems.
Reading between the lines
- The stated interval $(1,p_0)$ should be read against the proof's range: Lemma 4.16 proves the area-function bounds only for $1<p\le 2$, so the theorem is fully established for intervals with $p_0\le 2$; if the adjoint Dirichlet exponent inherited from [4] is below 2, the interval with $p_0>2$ would require extending Lemma 4.16.
- The same resolvent-and-duality scheme is a natural template for the parabolic Neumann problem, since in the elliptic case Regularity solvability has often been the stepping stone to Neumann solvability; that connection is not made in this paper.
- A testable extension would be to perturb the transversal independence by a coefficient whose gradient satisfies a small Carleson measure condition, asking whether the dual-range $(1,p_0)$ persists; the companion Carleson-condition paper [12] solves a different range, so a synthesis is not immediate.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the parabolic Regularity problem (R)_p for ∂_t u - div(A∇u) = 0 on Ω = O×R with bounded measurable uniformly elliptic coefficients independent of the transversal spatial variable x_{n+1}. Theorem 1.7 asserts that for some p0 > 1 the Regularity problem is solvable for all 1 < p < p0, and that this interval is dual to the range q > p0' on which the adjoint Dirichlet problem is solvable. The proof reduces (R)_p to the four blocks listed in (3.16): five area-function estimates, four nontangential maximal function estimates, a Carleson measure bound, and an area bound for the adjoint solution. The first block is proved for 1 < p ≤ 2 (Lemma 4.16), the second for 1 < p < ∞ (Lemma 5.9), the third for all p (Lemma 6.1), and the fourth in the Dirichlet-solvability range (Corollary 7.12).
Significance. If correct, this is a substantial result: it would complete the parabolic counterpart of the elliptic theory of Hofmann–Kenig–Mayboroda–Pipher for coefficients independent of the transversal variable, and it complements the Carleson-condition result of Dindoš–Li–Pipher. The paper's structure is a strength: the reduction in §3 is explicit, the estimates in §4–7 are proved in the paper rather than imported, and the dependence on the external results [4] and [40] is clearly identified. There are no fitted parameters and no circular arguments. The central caveat is the p-range gap in the area-function estimates, which affects Theorem 1.7 exactly as stated.
major comments (2)
- [Lemma 4.16, Eq. (4.17); Theorem 1.7] The area-function estimates that form block 1) of (3.16) are proved only for 1 < p ≤ 2. Lemma 4.16 is obtained by real interpolation (Proposition 4.3) between the L^2 bound (4.1) and the atomic L^1 bound (4.4), and real interpolation between an atomic H^1-type space and L^2 cannot produce exponents p > 2. These area-function estimates are used at the same exponent p throughout the reduction in §3.2, for example in the bounds for II_3, II_2, III_2, and V_1. If the adjoint Dirichlet endpoint supplied by [4] satisfies p0' < 2, then the dual exponent p0 = (p0')' exceeds 2, and Theorem 1.7 asserts solvability for p ∈ (2, p0) although the proof supplies no control of the corresponding area functions in that range. Theorem 1.7 presents (1, p0) as the dual interval without imposing p0 ≤ 2, so the statement overclaims. A repair is available by replacing p0 with min(2, p0') and correspondingly taking the adjoint endpoint as max(2, p0'), but this weakens the claimed optimal dual range. This is load-bearing for the theorem as stated.
- [Abstract and §1.1] The abstract and the introductory paragraph of §1.1 describe the result as 'fully resolv[ing]' and 'optimally resolv[ing]' the range of solvability. In light of the gap described above, this optimality claim is not supported by the proof unless the area-function estimates are extended beyond p = 2 or the theorem is restated with the narrower interval. The authors should either prove the missing p > 2 estimates or explicitly qualify the optimality claim to the range established by Lemma 4.16.
minor comments (4)
- [§4.2, displayed formula after the sentence 'multiply both sides by λ^{-n-3}'] The integrand is written as |λ∇∥∂λP_{m,λ}f|^2 λ^{n-3} dxdt, but Definition 2.17 and the surrounding text require the power λ^{-n-3}; this appears to be a typographical error.
- [§3.1] The sentence 'By [4], this is true for all p′ > p0, where p0 > 1' overloads the symbol p0, which is also used in Theorem 1.7 for the Regularity endpoint; using q0 or p0' for the Dirichlet endpoint would avoid confusion.
- [§4.1] There are several typographical slips in the area-function section, including 'It them follows that Then' and the notation Γa_a for the away part of the cone; these should be corrected for readability.
- [§6, proof of Lemma 6.1] The expression C(λ E^{m-1}_λ ∂_j g)(y,s) is used as a pointwise quantity, whereas C(·) is defined as a supremum over boundary balls; the local Carleson expression and its L∞ norm should be distinguished notationally.
Circularity Check
No significant circularity: the main theorem is derived from independent external estimates and direct proofs, not from its own conclusion.
full rationale
Theorem 1.7 is not circular. The proof reduces the Regularity problem to the four groups of estimates in (3.16), then proves them directly: Lemma 4.16 obtains the area-function bounds for 1<p≤2 by interpolating the L2 bound (4.1) from [4] with the atomic L1 bound (4.4), whose proof uses kernel estimates quoted from [4]; Lemma 5.9 proves the nontangential bounds from the same kernel bounds and the sharp maximal function; Lemma 6.1 proves the Carleson bound by induction starting from Lemma 6.3 of [4]; and Corollary 7.12 proves the averaging estimate via Lemmas 7.1 and 7.5. The adjoint Dirichlet solvability for q>p0' is taken from the external paper [4] and is not the same statement as the Regularity theorem, so importing it is an input, not a conclusion. The self-citations ([10], [12], [39], [40]) are used as published sources for auxiliary estimates or methodology; none of them is equivalent to Theorem 1.7, and no fitted parameter is renamed as a prediction. The one flagged limitation is Lemma 4.16's explicit restriction to 1<p≤2: if the [4] Dirichlet endpoint gives p0>2, then Theorem 1.7's full interval (1,p0) is not covered by the proof as written. That is a correctness/coverage gap, not a circularity, and it does not raise the circularity score.
Assumptions & free parameters
assumptions (8)
- domain assumption A is uniformly elliptic with bounded measurable coefficients (1.2).
- domain assumption A is independent of the transversal variable x_{n+1}: (1.6) and (1.8).
- standard math The L^q Dirichlet problem for the adjoint H^* is solvable for q>p0' for some p0'>1 (from [4]).
- standard math Kernel bounds (4.8) for the resolvent P_{λ,m} from [4, Lemma 4.4].
- standard math Interpolation between atomic Hardy-Sobolev spaces and L^q spaces (Proposition 4.3 from [18]).
- standard math Off-diagonal estimates for E_λ from [4, Lemma 6.3].
- standard math T_1 bounds for parabolic tent spaces from [40].
- standard math Higher integrability and real-variable change-of-aperture arguments (Gehring-type, [38]).
Cite this review
Pith. "Pith review of The $L^p$ regularity problem for parabolic operators with transversally independent coefficients." pith.science (2026). https://pith.science/paper/R2NBUEDF
@misc{pith2026250906627,
author = {Pith},
title = {Pith review of: The $L^p$ regularity problem for parabolic operators with transversally independent coefficients},
year = {2026},
howpublished = {\url{https://pith.science/paper/R2NBUEDF}},
note = {Machine review of arXiv:2509.06627}
}
abstract
In this paper, we fully resolve the question of whether the Regularity problem for the parabolic PDE $\partial_tu - \mbox{div}(A\nabla u)=0$ on the domain $\mathbb R^{n+1}_+\times\mathbb R$ is solvable for some $p\in (1,\infty)$ under the assumption that the matrix $A$ is elliptic, has bounded and measurable coefficients and its coefficients are independent of the spatial variable $x_{n+1}$ (which is transversal to the boundary). We prove that for some $p_0>1$ the Regularity problem is solvable in the range $(1,p_0)$. An analogous result for the Dirichlet problem has been considered earlier by Auscher, Egert and Nystr\"om, however the Regularity problem represents an additional step up in difficulty. In the elliptic case, the analog of the question considered here was resolved for both Dirichlet and Regularity problems by Hofmann, Kenig, Mayboroda and Pipher. The main result of this paper complements a recent work of two of the authors with L. Li showing solvability of the parabolic Regularity problem for data in some $L^p$ spaces when the coefficients satisfy a natural Carleson condition (which is a parabolic analog of the so-called DKP-condition).
Forward citations
Cited by 1 Pith paper
-
The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition
Under sufficiently small Carleson norm and Lipschitz constant, the L^p Neumann problem for the parabolic operator is solvable for all 1 < p < ∞ on Lipschitz cylinders.
Reference graph
Works this paper leans on
- [26]
-
[4]
P. Auscher, M. Egert, K. Nystr¨ om,The Dirichlet problem for second order parabolic operators in diver- gence form, J. Ec. polytech. Math. 5 (2018), 407–441 4, 5, 11, 19, 20, 28
work page 2018
-
[12]
M. Dindoˇ s, L. Li, J. Pipher,TheL p regularity problem for parabolic operators, arXiv:2410.23801 (2024). 4, 5, 6, 7, 11
arXiv 2024
-
[11]
M. Dindoˇ s, L. Dyer,Parabolic regularity and Dirichlet boundary value problems, Nonlinear Anal. 185 (2019), 247–263. 3, 7
work page 2019
-
[40]
M. Ulmer,L p Boundary Value Problems for Elliptic and Parabolic Operators, University of Edinburgh, thesis (2024). 11, 33
work page 2024
- [1]
-
[2]
P. Auscher, M. Egert,Boundary Value Problems and Hardy Spaces for Elliptic Systems with Block Structure, Progress in Mathematics, Vol. 346, Birkhauser, 2023. 30
work page 2023
-
[3]
P. Auscher, M. Egert, K. Nystr¨ om,L2 well-posedness of boundary value problems for parabolic systems with measurable coefficients, Journal of the EMS, 2020, 22 (9), pp.2943-3058. 4, 5, 7
work page 2020
Show all 41 references
-
[5]
Auscher, S
P. Auscher, S. Hofmann, M. Lacey, A. McIntosh, Alan; Ph. Tchamitchian,The solution of the Kato square root problem for second order elliptic operators onR n, Ann. of Math. (2) 156 (2002), no. 2, 633–654. 4
2002
-
[6]
Brown,Layer Potentials and Boundary Value Problems for the Heat Equation on Lipschitz Cylinders, Thesis (Ph.D.)–University of Minnesota ProQuest LLC, Ann Arbor, MI, 1987
R. Brown,Layer Potentials and Boundary Value Problems for the Heat Equation on Lipschitz Cylinders, Thesis (Ph.D.)–University of Minnesota ProQuest LLC, Ann Arbor, MI, 1987. 94 pp. 5, 10
1987
-
[7]
Brown,The method of layer potentials for the heat equation in Lipschitz cylinders, Amer
R. Brown,The method of layer potentials for the heat equation in Lipschitz cylinders, Amer. J. Math. 111 (1989), no. 2, 339–379. 5, 10
1989
-
[8]
Castro, S
A. Castro, S. Rodr´ ıguez-L´ opez, W. Staubach,L2-solvability of the Dirichlet, Neumann and regularity problems for parabolic equations with time-independent H¨ older-continuous coefficients, Trans. Amer. Math. Soc. 370 (2018), no. 1, 265–319. 5, 10
2018
-
[9]
David, A
G. David, A. Gloria, S. Qi, S. MayborodaPeriodic homogenization and harmonic measures, Preprint arxiv:2504.17396. 3
-
[10]
Dindoˇ s,On the regularity problem for parabolic operators and the role of half time derivative, J
M. Dindoˇ s,On the regularity problem for parabolic operators and the role of half time derivative, J. Geom. Anal. 35 (2025), no. 5, Paper No. 154, 25 pp. 5, 9, 34
2025
-
[13]
Dindoˇ s, S
M. Dindoˇ s, S. Hofmann, J. Pipher,Regularity and Neumann problems for operators with real coefficients satisfying Carleson condition, J. Funct. Anal. 285 (2023), no. 6, Paper No. 110024, 32 pp. 3, 4
2023
-
[14]
Dindoˇ s, J
M. Dindoˇ s, J. Pipher,Regularity theory for solutions to second order elliptic operators with complex coefficients and the Lp Dirichlet problem, Adv. Math. 341 (2019), 255–298. 4
2019
-
[15]
Dindoˇ s, J
M. Dindoˇ s, J. Pipher,Boundary value problems for second-order elliptic operators with complex coeffi- cients, Anal. PDE 13 (2020), no. 6, 1897–1938. 4 THEL p REGULARITY PROBLEM FOR PARABOLIC OPERATORS 39
2020
-
[16]
Dindoˇ s, J
M. Dindoˇ s, J. Pipher,Boundary value problems for elliptic operators satisfying Carleson condition, Vietnam J. Math. 52 (2024), no. 3, 627–673. 4
2024
-
[17]
Dindoˇ s, J
M. Dindoˇ s, J. Pipher, D. Rule,Boundary value problems for second-order elliptic operators satisfying a Carleson condition, Comm. Pure Appl. Math. 70 (2017), no. 7, 1316–1365. 4
2017
-
[18]
Dindoˇ s, E
M. Dindoˇ s, E. S¨ atterqvist,A relation between the Dirichlet and the Regularity problem for Parabolic equations, arXiv:2409.09197. 19, 27
-
[19]
Fabes, N
E. Fabes, N. Rivi` ere,Singular integrals with mixed homogeneity, Studia Math. 27 (1966), 19–38. 7
1966
-
[20]
Fabes, M
E. Fabes, M. Jodeit,L p boundary value problems for parabolic equations, Bull. Amer. Math. Soc. 74 (1968), 1098–1102 6
1968
-
[21]
Fabes, N
E. Fabes, N. Rivi` ere,Symbolic calculus of kernels with mixed homogeneity, Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), pp. 106–127, AMS, Providence, RI, 1967 7
1966
-
[22]
Fabes, N
E. Fabes, N. Rivi` ere,Dirichlet and Neumann problems for the heat equation inC 1-cylinders, Proc. Sympos. Pure Math., XXXV, Part 2, AMS Providence, RI, 1979, pp. 179–196. 5
1979
-
[23]
Gallegos,One-sided Rellich inequalities, Regularity problem and uniform rectifiability, arXiv:2506.03431 3
J. Gallegos,One-sided Rellich inequalities, Regularity problem and uniform rectifiability, arXiv:2506.03431 3
-
[24]
Jerison, C
D. Jerison, C. Kenig,The Dirichlet problem in nonsmooth domains, Ann. of Math. (2) 113 (1981), no. 2, 367–382. 4
1981
-
[25]
Hofmann,C
S. Hofmann,C. Kenig, S. Mayboroda, J. Pipher,Square function/non-tangential maximal function es- timates and the Dirichlet problem for non-symmetric elliptic operators, J. Amer. Math. Soc. 28 (2015), no. 2, 483–529. 4
2015
-
[27]
Hofmann, J
S. Hofmann, J. Lewis,L 2 solvability and representation by caloric layer potentials in time-varying do- mains, Ann. of Math. (2) 144 (1996), no. 2, 349–420. 6
1996
-
[28]
Hofmann, J
S. Hofmann, J. Lewis,TheL p regularity problem for the heat equation in non-cylindrical domains, Hofmann, Steven; Lewis, John L. Illinois J. Math. 43 (1999), no. 4, 752–769. 6
1999
-
[29]
Hofmann, S
S. Hofmann, S. Mayboroda, M. Mourgoglou,Layer potentials and boundary value problems for elliptic equations with complexL ∞ coefficients satisfying the small Carleson measure norm condition, Advances in Mathematics 270 (2015), 480—564. 4
2015
-
[30]
Kenig, H
C. Kenig, H. Koch, J. Pipher, T. Toro,A new approach to absolute continuity of elliptic measure, with applications to non-symmetric equations, Adv. Math. 153 (2000), no. 2, 231–298. 4
2000
-
[31]
Kenig, J
C. Kenig, J. Pipher,The Neumann problem for elliptic equations with nonsmooth coefficients, Invent. Math. 113 (1993), no. 3, 447–509. 3
1993
-
[32]
Kenig, J
C. Kenig, J. Pipher,The Neumann problem for elliptic equations with nonsmooth coefficients. II, A celebration of John F. Nash, Jr. Duke Math. J.81(1995), no. 1, 227–250. 10
1995
-
[33]
Kenig, J
C. Kenig, J. Pipher,The Dirichlet problem for elliptic equations with drift terms, Publ. Mat. 45 (2001), no. 1, 199–217. 3
2001
-
[34]
Mitrea,The initial Dirichlet boundary value problem for general second order parabolic systems in nonsmooth manifolds, Comm
M. Mitrea,The initial Dirichlet boundary value problem for general second order parabolic systems in nonsmooth manifolds, Comm. Partial Differential Equations 26 (2001), no. 11–12, 1975–2036. 5, 10
2001
-
[35]
Mourgoglou, B
M. Mourgoglou, B. Poggi, X. Tolsa,Solvability of the Poisson-Dirichlet problem with interior data in Lp′ -Carleson spaces and its applications to theL p-regularity problem, arXiv:2207.10554, to appear in J. Eur. Math. Sci. 3, 4
-
[36]
Nash,Continuity of Solutions of Parabolic and Elliptic Equations, American J
J. Nash,Continuity of Solutions of Parabolic and Elliptic Equations, American J. of Math. 80, no. 4. (1958), pp. 931–954. 3
1958
-
[37]
Nystr¨ om,Boundary Value Problems and Duality betweenL p Dirichlet and Regularity Problems for Second Order Parabolic Systems in Non-Cylindrical Domains, Collect
K. Nystr¨ om,Boundary Value Problems and Duality betweenL p Dirichlet and Regularity Problems for Second Order Parabolic Systems in Non-Cylindrical Domains, Collect. Math.57(2006), no.1, 93–119. 5, 6, 10
2006
-
[38]
Shen,Extrapolation for the Lp Dirichlet problem in Lipschitz domains, Acta Math
Z. Shen,Extrapolation for the Lp Dirichlet problem in Lipschitz domains, Acta Math. Sin. (Engl. Ser.) 35 (2019), no. 6, 1074–1084 18
2019
-
[39]
Ulmer,Perturbation theory for the parabolic regularity problem, Preprint arXiv:2408.12529
M. Ulmer,Perturbation theory for the parabolic regularity problem, Preprint arXiv:2408.12529. 11 40 DINDO ˇS, PIPHER, AND ULMER
-
[41]
Ulmer,Solvability of the Dirichlet problem for a new class of elliptic operators, Preprint arxiv:2311.00614
M. Ulmer,Solvability of the Dirichlet problem for a new class of elliptic operators, Preprint arxiv:2311.00614. 3 School of Mathematics, The University of Edinburgh and Maxwell Institute of Mathe- matical Sciences, Edinburgh, UK Email address:M.Dindos@ed.ac.uk Department of Ma...
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.