REVIEW 4 major objections 4 minor 25 references
$W^{1,p}$ estimates for Schr\"odinger equation in the region above a convex graph
T0 review · 4 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves that the Neumann Schrödinger problem above a convex graph is W^{1,p}-solvable for every 1<p<∞ under B∞ potentials.
desk verdict A credible C^2 convex-graph result that does not yet prove the stated Lipschitz theorem, and whose novelty is undermined by the paper's own citation of a forthcoming Lipschitz-graph paper. 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
The central machinery is a two-step reduction. A real-variable perturbation theorem (Theorem 3.1) says the global $W^{1,p}$ bound follows once every local solution of the homogeneous Neumann problem satisfies a weak reverse Hölder inequality of the form (1.5)/(3.4). The paper proves that local inequality by combining three ingredients: the Fefferman–Phong–Shen maximal function $m(x,V)$ (the scale below which $V$ is small on average), the improved Fefferman–Phong inequality, and the nonnegativity of the second fundamental form on a convex boundary, which makes an integration-by-parts identity coercive. For $1<p<2$, the argument switches to duality, using estimates for the Neumann function $N(x,y)$ and dyadic annuli in the metric of $m(x,V)$.
What would settle it
Take the cone domain $\Omega=\{t>|x'|\}$ with $V\equiv1$ and run the asserted estimate for smooth compactly supported $f$ whose support touches the ridge; alternatively, smooth the cone through convex $C^2$ graphs and watch the constants in (3.17). If the constant blows up as the approximations converge, or if (1.3) fails for some $1<p<\infty$ on the cone, the theorem as stated is false. The minimal test is whether the uniform bound survives the $C^2$-to-Lipschitz passage.
Extended reading notes
Core claim
On its own terms, the paper establishes the following. Let $\Omega = \{t>\varphi(x')\}$ with $\varphi$ convex and $\|\nabla\varphi\|_\infty\le M$, and let $0<V\in B_\infty$ satisfy (1.2). Then the Neumann problem (1.1) is uniquely solvable in $W^{1,p}(\Omega)$ for all $1<p<\infty$, and the solution satisfies $\|\nabla u\|_{L^p(\Omega)}+\|V^{1/2}u\|_{L^p(\Omega)}\le C(\|f\|_{L^p(\Omega)}+\|g\|_{B^{-1/p,p}(\partial\Omega)})$, with $C$ depending only on $d$, $p$ and the Lipschitz character of $\Omega$, not on $V$ or the diameter. The exponent range is asserted to be sharp even for the Laplacian. The route is: a refined real-variable perturbation criterion (Theorem 3.1) turns a weak reverse Hölder inequality for local null solutions into the global $W^{1,p}$ estimate; the local inequality is proved using the improved Fefferman–Phong inequality, the Fefferman–Phong–Shen maximal function $m(x,V)$, and convexity of the boundary; and the range $1<p<2$ is completed by duality through estimates for the Neumann function.
Load-bearing premise
The proof of the key local estimate uses a $C^2$ boundary so that the curvature term in an integration-by-parts identity is nonnegative, but the theorem only assumes a Lipschitz convex graph; the paper does not provide the approximation step that would carry the estimate across that gap with uniform constants.
Editorial extensions
If this is right
- The full range $1<p<\infty$ is obtained for unbounded convex graph domains, matching the sharp range for the Laplacian in bounded convex domains.
- The constant in the estimate is uniform in the potential $V$ and in the domain's diameter, so the result is available for limit and homogenization arguments.
- Potentials of the form $|x|^a$ with $a\ge0$ are covered, so the estimate holds for unbounded potentials, not just bounded ones.
- With zero Neumann data the gradient and $V^{1/2}u$ are controlled by the $L^p$ norm of $f$ alone; with $f=0$ the gradient is controlled by the Besov norm of $g$.
- Uniqueness and existence follow for every $1<p<\infty$, so the Neumann problem is well posed throughout the full range.
Reading between the lines
- Testable extension: smooth the cone $\varphi(x')=|x'|$ by convex $C^2$ graphs and track the constant in (3.17); a uniform bound would confirm the full Lipschitz-level claim, while a blow-up would locate the missing approximation step.
- The proof's ingredients are scale-invariant, so finite unions of convex graph domains or domains with bounded geometry should satisfy the same estimate by localization.
- The same $m(x,V)$-based argument plausibly gives weighted versions with $V\,dx$ or $V^\alpha\,dx$ and Dirichlet analogues, since the Fefferman–Phong inequality and Neumann function bounds are the only potential-dependent inputs.
- The Neumann function bounds used for the duality step suggest that related kernel estimates, for example for the heat semigroup or Riesz transforms of $-\Delta+V$ under $B_\infty$ potentials on convex epigraphs, may follow along the same lines.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Neumann problem for the Schrödinger equation -Δu+Vu=div f in the unbounded domain Ω={t>φ(x')} above a convex graph, where V is a positive B∞ weight. Theorem 1.1 claims unique W^{1,p} solvability for all 1<p<∞ together with the estimate (1.3), including boundary data in B^{-1/p,p}(∂Ω), with constants independent of V and of the domain diameter. The proof combines a real-variable perturbation theorem, a reduction of W^{1,p} estimates to weak reverse Hölder inequalities for local solutions, proofs of those reverse Hölder inequalities using convexity and Fefferman-Phong-Shen estimates, and a duality argument for 1<p<2.
Significance. If the gaps identified below are repaired, the result would be a sharp full-range W^{1,p} estimate for Schrödinger operators with B∞ potentials in unbounded convex graph domains, extending existing results for bounded convex domains and for Lipschitz graphs. The overall strategy is sound and well matched to the problem: the reduction via the real-variable theorem in Section 3 is standard, the use of the Fefferman-Phong-Shen maximal function is appropriate, and the convexity of the boundary is exploited through the sign of the second fundamental form. The paper also gives explicit duality arguments for p<2 and for Besov boundary data. However, several load-bearing technical steps are not proved at the level of generality asserted in Theorem 1.1.
major comments (4)
- [§3, Lemmas 3.3 and 3.4; Theorem 1.1] The reverse Hölder estimate is proved only for Ω with C^2 boundary: Lemma 3.3 assumes a C^2 boundary and uses the nonnegativity of the second fundamental form β in (3.13), and Theorem 3.4 repeats the C^2 assumption. Theorem 1.1, however, states the result for arbitrary convex φ with ‖∇φ‖∞≤M, which need not be C^2. No approximation by smooth convex functions is supplied, and the paper does not show that the constants in (3.12) and (3.4) are preserved under such an approximation. Since Theorem 3.4 is invoked in Lemma 4.1 and in the proof of Theorem 1.1, the estimate (1.3) is not established for the stated class of domains.
- [§3, Eq. (3.15), Lemma 3.3, Theorem 1.1] The proof of Lemma 3.3 uses the Sobolev exponent 2*=2d/(d−2) in Eq. (3.15), which is defined only for d≥3. Theorem 1.1 claims the result for all d≥2, and the paper gives no separate argument for d=2. Consequently the reverse Hölder inequality (3.4) and the final estimate (1.3) are not proved in two dimensions.
- [§3, Theorems 3.2 and 3.4; the approximation domains Ω_R] The hypothesis of Theorem 3.2 requires the reverse Hölder inequality (3.4) for every ball centered at x0∈∂Ω_R, which includes the artificial vertical sides of Ω_R. The proof of Lemma 3.3 is an integration-by-parts argument on ∂Ω using g·n=0 on ∂Ω and β≥0 on ∂Ω, so it does not apply to balls centered on the vertical portions of ∂Ω_R. No separate estimate for such balls is provided, and the reduction to Ω_R together with the limit R→∞ in Theorem 3.2 is therefore incomplete.
- [§4, Lemma 4.2, Eq. (4.6)] The duality proof for boundary data introduces c=⨏_Ω v dx and uses the Poincaré inequality ‖v−c‖_{W^{1,q}(Ω)}≤C‖∇v‖_{L^q(Ω)}. Since Ω is unbounded, the average over Ω is not defined and this global Poincaré inequality is not available without additional decay assumptions or a bounded-domain approximation. The same issue recurs in the proof of (4.8) for the component u2. Hence the estimate (4.5) for g∈B^{-1/p,p}(∂Ω), and with it the boundary-data part of Theorem 1.1, is not proved as written.
minor comments (4)
- [§3, Lemma 3.3] The statement of Lemma 3.3 is confusing: the hypothesis says u is a weak solution but the boundary condition is written for ∂v/∂n, and the cut-off ϕ is introduced only after the inequality. The proof also switches between Ω and Ω_R; the domain of the cut-off and the domain of integration should be stated consistently.
- [§3, Theorem 3.1 proof] The text attributes Theorem 3.1 to [24, Theorem 3.2] but the proof line says 'See [12, Theorem 2.1]'; these references should be aligned.
- [§1, paragraph on prior Schrödinger results] The sentence 'For Schrödinger equations, Z. Shen [19] obtained the W^{1,p} estimate...' cites reference [19], which is Righi and Shen (2024), for what appears to be an older result; the intended citation should be checked and corrected.
- [§2, Lemma 2.5] Lemma 2.5 is stated for A∞ weights but is applied to B∞ weights; this is harmless because B∞ implies A∞, but the implication should be stated explicitly.
Circularity Check
No circular derivation: the reverse Hölder estimate is proved from potential-theoretic inputs, and the sole self-citation [14] is only contextual; the C^2-to-Lipschitz gap is a proof gap, not circularity.
full rationale
The target estimate (1.3) is obtained from Lemma 4.1 and Lemma 4.2, whose proofs reduce to Theorem 3.2 (real-variable sufficiency) and Theorem 3.4 (proof of the weak reverse Hölder inequality). The reverse Hölder condition (3.4) is not assumed as the output: Theorem 3.4 derives it via Lemma 3.3, the Fefferman-Phong inequality (Lemma 2.4), the boundary L-infinity estimate (Lemma 2.6), and the Neumann-function estimate (Lemma 2.7), all quoted from external work [1,12,20,21,24]. No parameter is fitted to data and no target quantity is renamed as an input. The only self-citation is [14], mentioned in the introduction as "The W^{1,p} solvability is formulated in forthcoming paper [14]"; it is never invoked in Sections 2–4 and carries no weight in the proof, so it does not make the derivation circular. The genuine weakness is a generality gap, not circularity: Lemma 3.3 and Theorem 3.4 assume Omega has C^2 boundary, whereas Theorem 1.1 states only convex phi with bounded gradient; no approximation or density argument is supplied to pass the uniform reverse Hölder estimate to merely Lipschitz convex graphs, and Lemma 3.3 uses the Sobolev exponent 2* = 2d/(d-2), leaving d=2 unaddressed. These are correctness risks that are likely repairable because the constants do not visibly depend on the second fundamental form except through its sign. Score 2 reflects only the minor non-load-bearing self-citation.
Assumptions & free parameters
assumptions (9)
- domain assumption V > 0 is a B∞ weight: ||V||_{L∞(B)} ≤ C ⨍_B V dx for all balls B (equation 1.2).
- domain assumption Ω is the region above a convex graph, with φ convex and ||∇φ||∞ ≤ M.
- ad hoc to paper Ω has C^2 boundary in Lemma 3.3 and Theorem 3.4.
- standard math Fefferman-Phong-Shen maximal function properties: Proposition 2.1 (V ≤ C m^2), Proposition 2.2 (ψ scaling), Lemma 2.3 (doubling and comparison).
- standard math Fefferman-Phong inequality (2.5) and refined version Lemma 2.5.
- standard math Boundary L∞ estimate Lemma 2.6 and Neumann function estimate (2.6).
- standard math Real-variable theorem 3.1 (Calderón-Zygmund type) from [12] and [24].
- standard math Caccioppoli inequality and Poincaré/Sobolev inequalities in Lipschitz domains.
- standard math Duality and trace theory: Besov space B^{-1/p,p}(∂Ω) dual pairing and trace embedding.
Cite this review
Pith. "Pith review of $W^{1,p}$ estimates for Schr\"odinger equation in the region above a convex graph." pith.science (2026). https://pith.science/paper/MWCTGBYU
@misc{pith2026241118852,
author = {Pith},
title = {Pith review of: $W^1,p$ estimates for Schr\"odinger equation in the region above a convex graph},
year = {2026},
howpublished = {\url{https://pith.science/paper/MWCTGBYU}},
note = {Machine review of arXiv:2411.18852}
}
abstract
We investigate the $W^{1,p}$ estimates of the Neumann problem for the Schr\"odinger equation $-\Delta u+ V u={\rm div}(f)$ in the region above a convex graph. For any $p>2$, we obtain a sufficient condition for the $W^{1,p}$ solvability. As a result, we obtain sharp $W^{1,p}$ estimate $$\|\nabla u\|_{L^p(\Omega)}+\|V^\frac{1}{2}u\|_{L^p(\Omega)}\leq C\|f\|_{L^p(\Omega)}$$ for $1 <p<\infty$ with $d\geq2$ under the assumption that $V$ is a $B_\infty$ weight.
Reference graph
Works this paper leans on
-
[14]
J. Geng and Z. Xu, On the Schr¨ odinger equations withB∞ potentials in the region above a Lipschitz graph , submitted
-
[19]
Dirichlet Problems in Perforated Domains
R. Righi and Z. Shen, Dirichlet problems in perforated domains , arXiv:2402.13021, 2024
work page Pith review arXiv 2024
-
[20]
Shen, On the Neumann problem for Schr ¨odinger operators in Lipschitz domains , Indiana Univ
Z. Shen, On the Neumann problem for Schr ¨odinger operators in Lipschitz domains , Indiana Univ. Math. J. 43 (1994), no. 1, 143–176
work page 1994
-
[21]
, Lp estimates for Schr ¨odinger operators with certain potentials , Ann. Inst. Fourier (Grenoble) 45 (1995), no. 2, 224–251
work page 1995
-
[1]
P. Auscher, On necessary and sufficient conditions for Lp-estimates of Riesz transforms associated to elliptic operators on Rn and related estimates , Mem. Amer. Math. Soc. 186 (2007), no. 871, xviii+75 pp
work page 2007
-
[2]
Auscher and M
P. Auscher and M. Qafsaoui, Observations on W 1,p estimates for divergence elliptic equations with VMO coefficients , Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8) 5 (2002), no. 2, 487–509
2002
-
[3]
Byun, Elliptic equations with BMO coefficients in Lipschitz domain s, Trans
S. Byun, Elliptic equations with BMO coefficients in Lipschitz domain s, Trans. Amer. Math. Soc. 357 (2005), no. 3, 1025–1046
work page 2005
-
[4]
S. Byun and L. Wang, Elliptic equations with BMO coefficients in Reifenberg domai ns, Comm. Pure Appl. Math. 57 (2004), no. 10, 1283–1310
work page 2004
Show all 25 references
-
[5]
London Math
, The conorma derivative problem for elliptic equations with BMO coefficients on Reifenberg flat domains , Proc. London Math. Soc. 90 (2005), 245–272
2005
-
[6]
, Gradient estimates for elliptic systems in non-smooth doma ins, Math. Ann. 341 (2008), no. 3, 629–650
2008
-
[7]
Dong and D
H. Dong and D. Kim, Elliptic equations in divergence form with partially BMO co effi- cients, Arch Rational Mech Anal 196 (2010), no. 1, 25–70
2010
-
[8]
Fabes, O
E. Fabes, O. M´ endez, and M. Mitrea, Boundary layers on Sobolev-Besov spaces and Poisson ’s equation for the Laplacian in Lipschitz domains , J. Funct. Anal. 159 (1998), 323–368
1998
-
[9]
Fefferman, The uncertainty principle , Bull
C. Fefferman, The uncertainty principle , Bull. Amer. Math. Soc. (N.S.) 9 (1983), no. 2, 129–206
1983
-
[10]
Franchi, Weighted Sobolev-Poincar´ e inequalities and pointwise estimates for a class of degenerate elliptic equations , Trans
B. Franchi, Weighted Sobolev-Poincar´ e inequalities and pointwise estimates for a class of degenerate elliptic equations , Trans. Amer. Math. Soc. 327 (1991), no. 1, 125–158
1991
-
[11]
Geng, W 1,p estimates for elliptic problems with Neumann boundary cond itions in Lipschitz domains , Adv
J. Geng, W 1,p estimates for elliptic problems with Neumann boundary cond itions in Lipschitz domains , Adv. Math. 229 (2012), no. 4, 2427–2448
2012
-
[12]
, Homogenization of elliptic problems with Neumann boundary conditions in non- smooth domains , Acta Math. Sin. (Engl. Ser.) 34 (2018), 612–628
2018
-
[13]
Geng and Z
J. Geng and Z. Shen, The Neumann problem and Helmholtz decomposition in convex domains., J. Funct. Anal. 259 (2010), no. 8, 2147–2164
2010
-
[15]
P Grisvard, Elliptic problems in nonsmooth domains , SIAM, Philadelphia, 2011. 14
2011
-
[16]
Jerison and C
D. Jerison and C. Kenig, The inhomogeneous Dirichlet problem in Lipschitz domains , J. Funct. Anal. 130 (1995), no. 1, 161–219
1995
-
[17]
Lee and J
M. Lee and J. Ok, Interior and boundary W 1,q -estimates for quasi-linear elliptic equa- tions of Schr¨ odinger type, J. Differ. Equa 269 (2020), no. 5, 4406–4439
2020
-
[18]
Mitrea and M
M. Mitrea and M. Taylor, Boundary layer methods for Lipschitz domains in Riemannian manifolds, J. Funct. Anal. 163 (1999), no. 2, 181–251
1999
-
[22]
, On fundamental solutions of generalized Schr¨ odinger operators, J. Funct. Anal. 167 (1999), no. 2, 521–564
1999
-
[23]
, Bounds of Riesz transforms on Lp spaces for second order elliptic operators , Ann. Inst. Fourier (Grenoble) 55 (2005), no. 1, 173–197
2005
-
[24]
, TheLp boundary value problems on Lipschitz domains , Adv. Math. 216 (2007), no. 1, 212–254
2007
-
[25]
269, Advances in Partial Differential Equation s (Basel), Birkh¨ auser/Springer, Cham, 2018
, Periodic homogenization of elliptic systems , Operator Theory: Advances and Applications, vol. 269, Advances in Partial Differential Equation s (Basel), Birkh¨ auser/Springer, Cham, 2018. Ziyi Xu, School of Mathematics and Statistics, Lanzhou University , Lanzhou, P.R. China....
2018
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.