REVIEW 2 major objections 3 minor 28 references
Global continuity and higher integrability of a minimizer of an obstacle problem under generalized Orlicz growth conditions
T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Under generalized Orlicz growth, obstacle minimizers are continuous up to the boundary and their gradient energies self-improve.
desk verdict Genuinely new boundary continuity and global higher-integrability results for obstacle problems under generalized Orlicz growth, with two fixable technical gaps that a good referee should catch. 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 load-bearing machinery is a chain of inequalities built from two Caccioppoli inequalities: one interior estimate involving the obstacle function and one boundary-localized estimate involving the boundary datum. These combine with a Sobolev–Poincaré inequality for generalized Orlicz functions and Gehring's lemma to upgrade the integrability of the energy density. For boundary continuity, the key object is the relative Sobolev capacity, and the capacity-fatness condition (2.8), along with a transferred regularity theorem for boundary points from the unconstrained case. The bridging lemma relies on a Poincaré inequality for the lower-envelope function constructed from the integrand.
What would settle it
Attempt to prove the Poincaré inequality for the lower-envelope function under assumptions (A0) and (A1) following the modification described in Lemma 6.4. If the modification introduces an additive term, then the estimate used to deduce capacity fatness from measure density is not justified. Concretely, check whether the inequality holds for a specific double-phase integrand in dimension two where the measure-density condition holds but the asserted Poincaré estimate fails, which would invalidate the bridge.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: for a strictly convex generalized Orlicz integrand satisfying assumptions (A0), (A1), (A1-n), (aInc), and (aDec), the limit of the minimizer at a boundary point equals the boundary datum whenever the complement of the domain is capacity-fat at that point. Theorem 1.2 states that under a uniform measure-density condition and higher integrability of the obstacle and boundary data, the minimizer satisfies an explicit global higher integrability estimate for its energy density. The paper also proves a bridging lemma, Lemma 6.4, showing that the measure-density condition implies capacity fatness when the lower growth exponent q is less than the dimension n.
Load-bearing premise
The proof that measure density implies capacity fatness (Lemma 6.4) relies on a Poincaré inequality for the lower-envelope function that is asserted without a full derivation; if that inequality is wrong, the advertised boundary-continuity application to measure-density domains collapses, though Theorem 1.1 still holds whenever capacity fatness is assumed directly.
Editorial extensions
If this is right
- Boundary continuity holds for any domain whose complement is capacity-fat at the point, which covers Lipschitz domains and many rougher domains without requiring measure density.
- Under the measure-density hypothesis, the global higher integrability estimate gives a self-improvement of the energy class of the minimizer, which is a standard input for further Hölder regularity of the gradient.
- The results unify previously separate treatments for polynomial growth, variable exponent growth, Orlicz growth, and double-phase growth.
- The explicit estimate in Theorem 1.2 shows quantitatively that higher integrability of the obstacle and boundary data transfers to the minimizer, up to an additive constant and a power of the original energy.
- The local-superminimizer structure and comparison principle imply that the minimizer is locally Hölder continuous in the set where it stays strictly above the obstacle.
Reading between the lines
- The capacity-fatness condition in Theorem 1.1 is likely not the weakest possible; the argument suggests that any boundary condition implying regularity of boundary points in the unconstrained problem would transfer to the obstacle problem.
- Tracking constants in Gehring's lemma could yield an explicit, though not sharp, higher integrability exponent in terms of the growth bounds, which may be of interest for quantitative regularity estimates.
- The fragile step is the Poincaré inequality inside Lemma 6.4; if that inequality fails, the advertised application to measure-density domains needs an alternative proof, while Theorem 1.1 itself remains valid whenever capacity fatness is assumed directly.
- One could test the boundary-continuity theorem for double-phase energies on non-Lipschitz boundaries to compare the geometric content of capacity fatness with measure density.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves two global regularity results for minimizers of obstacle problems with generalized Orlicz (Musielak-Orlicz) growth. Theorem 1.1 asserts that, under strict convexity and conditions (A0), (A1), (A1-n), (aInc), (aDec), a continuous minimizer attains the continuous boundary datum f(x0) at every boundary point x0 satisfying the capacity fatness condition (2.8). Theorem 1.2 asserts that, under the measure density condition (2.7) at every boundary point and higher integrability of the obstacle and boundary data, one has φ(x,|∇u|)∈L^{1+ε}(Ω) with the explicit estimate (1.3). The proofs combine Caccioppoli inequalities, a Sobolev-Poincaré inequality, Gehring's lemma, a comparison principle, and a boundary regularity theorem from Harjulehto-Hästö for the non-obstacle case. Lemma 6.4 bridges the measure density condition to capacity fatness when q<n.
Significance. If the identified gaps are repaired, the results are a valuable extension of known boundary continuity and higher integrability statements from the variable exponent and polynomial cases to generalized Orlicz growth, and they are new in the Orlicz and double phase settings. The explicit bound (1.3), with constants depending only on n, φ, and c*, is a concrete and useful feature. The overall strategy is sound and largely follows established techniques, and the manuscript is transparent about which ingredients come from the authors' monograph and companion papers. The central theorems are genuine new combinations rather than reformulations of cited results, and the reliance on earlier work by the same group is not circular in itself. Two load-bearing technical points, however, need to be fixed before the claims are fully justified.
major comments (2)
- [Section 7, display (7.7)] The proof of Theorem 1.2 applies Proposition 3.5 to u in estimating the interior Caccioppoli term, but Proposition 3.5 requires the normalization ‖∇v‖_{L^{φ^{1/s}}(B)} ≤ 1. The normalization (7.6) gives smallness of ∇(u−f) and ∇ψ only, not of ∇u; since ∇u = ∇(u−f)+∇f and no smallness of ∇f is assumed in the relevant norm, the inequality (7.7) is not justified as written. The same missing normalization affects the boundary estimate (7.13), where ∇(u−f) is split into ∇u and ∇f. This is load-bearing for the conclusion (7.14) and hence for Theorem 1.2. The gap appears repairable by adding smallness conditions on ∇u and ∇f to the covering choice or by applying Proposition 3.5 to u−f and estimating the ∇f term separately, but the proof as written does not supply those conditions.
- [Section 6, Lemma 6.4] The proof of Lemma 6.4 uses a Poincaré inequality for the lower-envelope function φ⁻_{2B} under assumptions (A0) and (A1), saying it follows 'in the almost same way' as [15, Proposition 6.2.10] after a modification involving an equivalent convex Φ-function and [15, Lemma 4.3.2]. This inequality is not stated, proved, or precisely located in the cited source. Since (6.5) is the only bridge from the measure density condition (2.7) to the capacity fatness condition (2.8), the advertised application of Theorem 1.1 to measure-density domains depends on this missing argument. Please provide the full proof or an exact statement and reference; the main theorem itself remains valid if capacity fatness is assumed directly.
minor comments (3)
- [Section 7, setup of Theorem 1.2] In (7.6) the constant C appears in the smallness condition before its value is specified; state explicitly that C is the constant from Proposition 3.5.
- [Proof of Theorem 1.1] The sentence 'By monotone convergence [16, Theorem 4.1], u−f−1/j converges to u−f' should be rephrased, since the sequence u−f−1/j is not monotone; presumably the truncated positive parts max{u−f−1/j,0} are meant.
- [Abstract and Lemma 6.4] Several symbols are corrupted in the rendering (for example 'u /greaterorequalslantψ' in the abstract and the expression for φ⁻_{2B} in Lemma 6.4); these should be fixed in the final typeset version.
Circularity Check
No significant circularity: both theorems are new combinations of external regularity results and direct estimates, rather than re-statements of their inputs.
full rationale
The derivation chain is self-contained with respect to the claimed conclusions. Theorem 1.1 proves the boundary limit by reducing the obstacle problem to a local minimizer on the upper contact set D and then invoking the external boundary-regularity theorem [13, Theorem 1.1] for the non-obstacle problem. The capacity-fatness hypothesis is not defined in terms of the boundary limit of u, and the comparison-principle step supplies the lower bound independently. Theorem 1.2 establishes the higher-integrability estimate through a standard Gehring-chain: two Caccioppoli inequalities derived from minimality, the quoted Sobolev-Poincaré inequality (Proposition 3.5), the measure-density condition used to control the zero set of u−f, and Gehring's lemma. Nothing is fitted to the target L^{1+ε} bound, and the estimate is not an equivalent restatement of any hypothesis. The only citation involving the present author is [17], co-authored by Karppinen; it is used for a Jensen-type lemma whose proof is also referenced to [19,20], so it is not load-bearing and does not raise the circularity score. Two genuine proof-support gaps should be noted but do not constitute circularity: Lemma 6.4 asserts a Poincaré inequality for φ^- via a stated modification of [15, Proposition 6.2.10] without carrying out the proof, and display (7.7) applies Proposition 3.5 to ∇u under smallness hypotheses on ∇(u−f) rather than on ∇u. These are correctness risks in the written proof, not reductions of the conclusions to the hypotheses.
Assumptions & free parameters
assumptions (3)
- domain assumption (A0), (A1), (A1-n), (aInc), (aDec) conditions on phi
- domain assumption Boundary regularity theorem for non-obstacle minimizers, Theorem 6.2 from [13]
- ad hoc to paper Poincare inequality for phi^-_{2B} under (A0) and (A1), used in Lemma 6.4
Cite this review
Pith. "Pith review of Global continuity and higher integrability of a minimizer of an obstacle problem under generalized Orlicz growth conditions." pith.science (2026). https://pith.science/paper/PWDU6ZVA
@misc{pith2026190806615,
author = {Pith},
title = {Pith review of: Global continuity and higher integrability of a minimizer of an obstacle problem under generalized Orlicz growth conditions},
year = {2026},
howpublished = {\url{https://pith.science/paper/PWDU6ZVA}},
note = {Machine review of arXiv:1908.06615}
}
read the original abstract
We prove continuity up to the boundary of the minimizer of an obstacle problem and higher integrability of its gradient under generalized Orlicz growth. The result recovers similar results obtained in the special cases of polynomial growth, variable exponent growth and produces new results for Orlicz and double phase growth.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
A. Björn and J. Björn: Nonlinear potential theory on metric spaces , EMS Tracts in Mathematics, 17, European Mathematical Society (EMS), Zürich, 2011. GLOBAL CONTINUITY AND HIGHER INTEGRABILITY 23
work page 2011
-
[4]
D. Breit and A. V erde: Quasiconvex variational function als in Orlicz-Sobolev spaces, Ann. Mat. Pura Appl. (4) 192 (2013), no. 2, 255–271
work page 2013
-
[5]
Y . Chen: Existence and Global Higher Integrability of Qu asiminimizers among Minimizing Sequences of V ariational Integrals, Malays. J. Math. Sci. (2016), 10(S) August: 85–100
work page 2016
-
[6]
M. Colombo and G. Mingione: Regularity for double phase v ariational problems, Arch. Ration. Mech. Anal. 215 (2015), no. 2, 443–496
work page 2015
-
[7]
M. Colombo and G. Mingione: Bounded minimisers of double phase variational integrals, Arch. Ration. Mech. Anal. 218 (2015), no. 1, 219–273
work page 2015
-
[8]
L. Diening, P . Harjulehto, P . Hästö and M. R˚ uži ˇcka: Lebesgue and Sobolev spaces with variable expo- nents, Lecture Notes in Mathematics, 2017. Springer, Heidelberg , 2011
work page 2017
Show all 28 references
-
[9]
Eleuteri, P
M. Eleuteri, P . Harjulehto and T. Lukkari: Global regularity and stability of solutions to obstacle problems with nonstandard growth, Rev. Mat. Complut. 26 (2013), 147– 181
2013
-
[10]
Giusti: Direct Methods in the Calculus of V ariations, World Scientific, Singapore, 2003
E. Giusti: Direct Methods in the Calculus of V ariations, World Scientific, Singapore, 2003
2003
-
[11]
Gwiazda, P
P . Gwiazda, P . Wittbold, A. Wróblewska and A. Zimmerman n: Renormalized solutions of nonlinear elliptic problems in generalized Orlicz spaces, J. Differe ntial Equations 253 (2012), no. 2, 635–666; J. Differential Equations 253 (2012), no. 9, 2734–2738
2012
-
[12]
Gwiazda, I
P . Gwiazda, I. Skrzypczak and A. Zatorska-Goldstein: E xistence of renormalized solutions to elliptic equation in Musielak-Orlicz space, J. Differential Equati ons 264 (2018), no. 1, 341–377
2018
-
[13]
Harjulehto and P
P . Harjulehto and P . Hästö: Boundary regularity under g eneralized growth conditions, Z. Anal. Anwend, 38 (2019), no. 1, 73–96
2019
-
[14]
Harjulehto and P
P . Harjulehto and P . Hästö: Riesz potential in generali zed Orlicz Spaces, Forum Math. 29 (2017), no. 1, 229–244
2017
-
[15]
Harjulehto and P
P . Harjulehto and P . Hästö: Orlicz spaces and Generalized Orlicz spaces , Lecture Notes in Mathematics, vol. 2236, Springer, Cham, 2019, to appear
2019
-
[16]
Harjulehto, P
P . Harjulehto, P . Hästö and R. Klén: Generalized Orlicz spaces and related PDE, Nonlinear Anal. 143 (2016), 155–173
2016
-
[17]
Harjulehto, P
P . Harjulehto, P . Hästö and A. Karppinen: Local higher i ntegrability of the gradient of a quasiminimizer under generalized Orlicz growth conditions, Nonlinear Ana l. V olume 177, Part B, (2018), 543–552
2018
-
[18]
Harjulehto, P
P . Harjulehto, P . Hästö and O. Toivanen: Hölder regular ity of quasiminimizers under generalized growth conditions, Calc. V ar. Partial Differential Equations 56 (2017), no. 2, article:22
2017
-
[19]
Hästö: The maximal operator on generalized Orlicz sp aces, J
P . Hästö: The maximal operator on generalized Orlicz sp aces, J. Funct. Anal 269 (2015), no. 12, 4038– 4048
2015
-
[20]
Hästö: Corrigendum to ”The maximal operator on gener alized Orlicz spaces” [J
P . Hästö: Corrigendum to ”The maximal operator on gener alized Orlicz spaces” [J. Funct. Anal. 269 (2015) 4038–4048], J. Funct. Anal. 271 (2016), no. 1, 240–24 3
2015
-
[21]
Hästö and J
P . Hästö and J. Ok: Maximal regularity for local minimiz ers of non-autonomous functionals, Preprint
-
[22]
Heinonen, T
J. Heinonen, T. Kilpeläinen, O. Martio: Nonlinear Potential Theory of Degenerate Elliptic Equatio ns, Dover Publications Inc., Mineola, NY , 2006. Unabridged republication of the 1993 original
2006
-
[23]
Hurri: Poincaré domains in Rn, Ann
R. Hurri: Poincaré domains in Rn, Ann. Acad. Sci. Fenn. Ser. A. I. Math., Dissertationes, 71:1–42, (1988)
1988
-
[24]
Maeda, Y
F.-Y . Maeda, Y . Mizuta, T. Ohno, T. Shimomura: Capacityfor potentials of functions in Musielak–Orlicz spaces, Nonlinear Anal. 74 (2011), no. 17, 6231–6243
2011
-
[25]
Mizuta, T
Y . Mizuta, T. Ohno and T. Shimomura: Sobolev inequaliti es for Musielak–Orlicz spaces, Manuscripta Math. 155 (2018), no. 1-2, 209–227
2018
-
[26]
Ohno and T
T. Ohno and T. Shimomura: Musielak-Orlicz-Sobolev spa ces with zero boundary values on metric mea- sure spaces, Czechoslovak Math. J. 66(141) (2016), no. 2, 37 1–394
2016
-
[27]
Ok: Gradient estimates for elliptic equations with Lp(·) log L growth, Calc
J. Ok: Gradient estimates for elliptic equations with Lp(·) log L growth, Calc. V ar. Partial Differential Equations 55 (2016), no. 2, 1–30. doi: 10.1007/s00526-016- 0965-z
2016 doi
-
[28]
Y ang, Y
D. Y ang, Y . Liang and L. Ky: Real-variable theory of Musielak-Orlicz Hardy spaces , Lecture Notes in Mathematics, 2182. Springer, Cham, 2017. xiii+466 pp. A. K ARPPINEN Department of Mathematics and Statistics, FI-20014 Univer sity of Turku, Finland arttu.a.karppinen@utu.fi
2017
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.