Uniform a priori bounds for Slightly Subcritical Elliptic Problems

Mabel Cuesta; Rosa Pardo

Uniform a priori bounds for Slightly Subcritical Elliptic Problems

T0 review · 0 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Uniform $L^\infty$ a priori bounds hold for all positive weak solutions of the slightly subcritical problem (1.1) under condition (1.5) on the slowly varying factor.

desk verdict Theorem 1.1 genuinely extends the critical-exponent a priori bound from one log model to a broad class of slowly varying nonlinearities, and the proof is honest and checkable. read the letter →

arxiv 2506.07269 v1 pith:IWL2VSRV submitted 2025-06-08 math.AP

Mabel Cuesta , Rosa Pardo This is my paper

classification math.AP MSC 35B4535B0935B33

keywords aprioriboundspositivesolutionsslightlysubcriticalnonlinearityregularlyvaryingfunctionsPohozaevidentitymovingplanesmethodcriticalSobolevexponent

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that positive solutions of the semilinear elliptic problem $-\Delta u=f(u)$ in a bounded domain $\Omega\subset\mathbb{R}^N$, with $u=0$ on $\partial\Omega$, admit a uniform $L^\infty$ bound when $f(s)=s^{2^*-1}L(s)$ is slightly subcritical and $L$ is a slowly varying factor satisfying a quantitative decay condition: $s|L'(s)|/L^{N/2}(s)\to+\infty$ as $s\to\infty$. If the proof is right, this supplies a priori estimates for nonlinearities with logarithmic and oscillatory corrections, extending earlier results that stopped short of the critical exponent. The paper also proves the same kind of bound for the entire subcritical range $q\in[1,2^*-1)$ under milder hypotheses. The route goes through a weighted $L^1$ estimate obtained from the Pohozaev identity, followed by elliptic regularity and a lower bound on the radius of a ball where a solution exceeds half of its maximum.

What carries the argument

The load-bearing object is the slowly varying factor $L$, meaning $L(\tau s)/L(s)\to 1$ as $s\to\infty$ for every $\tau>0$. The workhorse identity is the asymptotic equivalence $2^*F(s)-sf(s)\sim \frac{1}{2^*}s^{2^*+1}|L'(s)|$ as $s\to\infty$, where $F(s)=\int_0^s f(t)\,dt$; it follows from the uniform convergence theorem for regularly varying functions applied to $g(s)=s^{2^*}|L'(s)|$, which lies in $RV_{2^*-1}$ because $|L'|\in RV_{-1}$. This identity turns the Pohozaev identity, combined with uniform boundary estimates, into the weighted estimate $\int_\Omega u^{2^*+1}|L'(u)|\,dx\le C$. A second mechanism, Morrey's theorem, gives a lower bound on the radius of a ball where a solution exceeds half its maximum; inserting that ball into the weighted estimate produces the ratio bound that contradicts (1.5).

What would settle it

The theorem would be refuted by exhibiting, on some bounded domain, an unbounded sequence of positive solutions to (1.1) with $f(s)=s^{2^*-1}L(s)$ where $L$ satisfies (f1)–(f3) and (1.5). A concrete place to look is the unit ball for one of the listed oscillatory factors, for instance $L_{12}(s)=\exp\{\alpha(\gamma\cos(\log\log(K+s))+\log\log(K+s))\}$ with $\alpha<0$ and $|\gamma|<1$; finding radial positive solutions with $\|u_n\|_\infty\to\infty$ would invalidate Theorem 1.1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: let $q=2^*-1$ and assume $f(s)=s^{2^*-1}L(s)$ with $L\in RV_0$ slowly varying, eventually decreasing, $|L'|\in RV_{-1}$, and $\lim_{s\to\infty} s|L'(s)|/L^{N/2}(s)=+\infty$. Then there is a constant $C$ depending only on $f$, $\Omega$, and $N$ such that every positive weak solution $u$ of (1.1) satisfies $\|u\|_\infty\le C$. The proof works by contradiction: an unbounded solution sequence would first yield, through the Pohozaev identity and boundary estimates, the uniform weighted estimate $\int_\Omega u^{2^*+1}|L'(u)|\,dx\le C$; a radius estimate from Morrey's theorem would then squeeze from this the ratio bound $\|u_n\|_\infty |L'(\|u_n\|_\infty)|/L^{N/2}(\|u_n\|_\infty)\le C$, contradicting (1.5).

Load-bearing premise

The proof stands or falls on condition (1.5), namely that the ratio $s|L'(s)|/L^{N/2}(s)$ diverges to $+\infty$; if that ratio fails to diverge, the contradiction step that forces a uniform bound never materializes.

Editorial extensions

If this is right

For every $f(s)=s^{2^*-1}L(s)$ satisfying (1.5), all positive weak solutions of (1.1) are bounded in $L^\infty$ by a constant independent of the solution, so no interior blow-up can occur.
Corollary 1.2 yields uniform a priori bounds for the concrete family $L_i$ of slowly varying factors listed in the paper (indices 1, 2, 4–7, 11–14, with the stated parameter restrictions), including multiparameter oscillatory factors.
For the strictly subcritical range $q\in[1,2^*-1)$, Theorem 1.3 gives the same uniform bound under slow variation alone, without the derivative condition (1.5).
The iterated-logarithm factor $L_3(s)=(\log_m(K+s))^\alpha$ with $m\ge2$ fails condition (1.5), so the theorem marks a boundary of the method: such nonlinearities would require a stronger condition or a different argument.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The ratio in (1.5) is plausibly a genuine threshold rather than a technical convenience: slowly varying factors that decay too weakly, such as iterated logarithms, may admit unbounded solution sequences, and the paper's exclusion of them could reflect an actual boundary of the theorem.
The same two-step architecture—a Pohozaev-weighted estimate followed by a Morrey radius estimate—could transfer to other critical problems with regularly varying nonlinearities, such as systems or quasilinear equations, once an analogous weighted integral can be derived.
A direct numerical or perturbative check in a ball, using one of the oscillatory factors inside the class, could map how large the solutions need to be before the uniform bound sets in; for the excluded iterated-log case, searching for radial unbounded solutions would test whether the condition is necessary.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here is my read. Theorem 1.1 is real progress on the Gidas-Spruck a priori bound problem at the critical exponent. Previous work covered a single logarithmic model; this one covers every slowly varying L with L' < 0 eventually, |L'| in RV_{-1}, and the ratio condition (1.5). The proof is a clean, coherent assembly of standard tools: moving planes for the boundary estimate, Pohozaev for the weighted L1 bound, Karamata theory to identify the asymptotic of 2*F(s)-s f(s), and Morrey embedding to bound the radius of the half-max ball. I checked the key asymptotic (4.5) and the final contradiction; both are sound. The condition (1.5) is explicitly load-bearing, and the paper is honest about its limits, noting that iterated-log factors fail it and that oscillatory L with infinite amplitude are out of scope. The soft spots are minor. In the proof of Theorem 1.1, the exponent q must be chosen in (N/2, N) for the argument to work: that range makes 2*(q-1)-q positive and gives q* > N for Morrey. The paper never states this range, though it is implicit in the inequalities. Theorem 3.1 is only sketched, with the details deferred to references; this is standard for this area, but it is a point of reliance. Example A.1(6) claims L6 is slowly varying for all beta > 0, while the verification and Appendix B only support 0 < beta < 1; a small overclaim in an appendix, not central to the main theorem. Theorem 1.3 is explicitly an alternative proof of a known result, so the novelty and value sit on Theorem 1.1 and the worked examples in Appendices A and B. I also want to push back on any reading that (1.5) is a hidden flaw. It is a stated assumption, and the paper itself explains which natural examples fail it. The citation pattern is clean: [6] is the result being generalized, [18] is the author's own Caratheodory result used as a black box, and the dependence is transparent. No circularity, no fitting. For whom: this is for people working on a priori bounds and related Liouville theorems for superlinear elliptic problems. It deserves a serious referee; the main theorem is a genuine, checkable advance. I would send it to peer review and would cite it in my own work in this area.

Referee Report

0 major / 5 minor

Summary. The paper proves uniform L∞ a priori bounds for positive weak solutions of −Δu = f(u) in a bounded C^{2,α} domain Ω ⊂ R^N, N > 2, where f(s) = s^q L(s) with L slowly varying at infinity. The main result, Theorem 1.1, treats the critical case q = 2∗−1 under hypotheses (f1)∞–(f3)∞ plus the quantitative condition (1.5). The proof combines a uniform boundary C^1 estimate via moving planes, Pohozaev's identity, Karamata theory for regularly varying functions, elliptic regularity, Sobolev embedding, and Morrey's theorem to derive a weighted L^1 estimate (Lemma 4.1) and then a lower bound on the radius of a ball where a solution is at least half its maximum, yielding a contradiction with (1.5). Theorem 1.3 gives an alternative proof for q < 2∗−1. Appendices A and B list fourteen slowly varying factors and verify which satisfy the hypotheses of the theorems.

Significance. If correct, Theorem 1.1 supplies uniform a priori bounds for a broad class of slightly subcritical nonlinearities at the critical exponent, including logarithmic and oscillatory slowly varying factors, thereby extending earlier results in [6] and addressing a question raised in [22]. The proof is internally coherent and uses standard tools, and condition (1.5) is explicit and falsifiable; the authors also honestly identify that iterated-logarithm factors fail this condition, so the statement is not overbroad. The detailed verification of examples in the appendices is a useful contribution, even though some of the parameter ranges there need clarification.

minor comments (5)

[Section 4 (proof of Theorem 1.1)] The regularity exponent q is introduced only with q > N/2, but the Sobolev conjugate 1/q∗ = 1/q − 1/N and the conclusion q∗ > N require q < N. Please state explicitly at the start of the argument that q is fixed in (N/2, N).
[Section 3 (Theorem 3.1)] Theorem 3.1 is a central ingredient in Lemma 4.1, but its proof is only a sketch referring to [6] and [8]; please either provide a complete proof or state the precise results and conditions from those references, including the additional monotonicity assumption used for nonconvex domains.
[Appendix A, Example A.1(6)] Example A.1(6) asserts L6 ∈ RV0 for all β > 0, while the verification in Appendix B and the discussion of (f3) restrict to 0 < β < 1; please clarify the valid range or correct the inconsistency.
[Lemma 4.1, Step 4] The proof bounds the integral over {u > s0}, but (4.1) is stated for the full integral over Ω; please justify the small-value contribution or restrict the statement to the truncated integral that is actually used.
[Throughout] There are a few typographical issues in the displayed estimates in the proof of Theorem 1.1 (for example, the superscripts in the line involving R^{2−N/q}_n are split across lines); please proofread the equations.

Circularity Check

0 steps flagged · score 2.0 of 10

No load-bearing circularity; Theorem 1.1 is derived from explicit hypotheses and standard external theorems, with only minor non-load-bearing self-citations.

full rationale

Walking the derivation chain, I find no step in which a 'prediction' is equivalent by construction to an input. Lemma 4.1 derives the weighted estimate (4.1) from the boundary estimate (4.2), Pohozaev's identity (4.3), and the regular-variation equivalence (4.5) obtained via Karamata's Uniform Convergence Theorem from g(s)=s^{2*} |L'(s)| in RV_{2*-1}; this is a genuine asymptotic reduction, not a definitional tautology. The final contradiction in the proof of Theorem 1.1 uses the explicit hypothesis (1.5) to rule out M |L'(M)| / L^{N/2}(M) <= C, and the paper itself notes that iterated-log factors such as L3 fail (1.5), so the theorem is not an artifact of slow variation alone. No fitted parameter is renamed as a prediction and no uniqueness theorem is imported from the authors' prior work. The self-citations that appear are [6] and [18]. [6] is cited as the source of the boundary and ball-radius technique, but the actual estimates are re-derived here from [8], elliptic regularity, and Morrey's theorem; the main theorem does not reduce to [6] by construction. [18] is invoked only at the end of Theorem 1.3, after the paper has proved the uniform H^1 bound, to supply a terminal regularity result; this is a prior published theorem, not an assumption equivalent to the claimed conclusion. Peripheral statement-level issues, such as Example A.1(6) claiming beta>0 while Appendix B verifies only 0<beta<1, are not circularity. Overall, the central result is self-contained against standard external tools, with at most minor, non-load-bearing self-citations.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The theorem rests on standard elliptic and regular-variation machinery plus explicit hypotheses on L. No free parameters are fitted to data and no new entities are introduced. The most paper-specific assumption is (1.5), which is an ad hoc quantitative condition needed for the final contradiction.

assumptions (7)

domain assumption Ω is a bounded C^{2,α} domain with N>2, and solutions are positive weak solutions of (1.1).
The geometry and regularity of the domain are assumed from the start and control which boundary-estimate mechanism applies.
domain assumption f(s)=s^q L(s) with q∈[1,2*-1], L positive and C^1 for s>0, and f satisfies the slight subcriticality (f1) and slight superlinearity (f2) conditions.
The factorization and asymptotic growth of f are explicit hypotheses of the theorems, not consequences of the proof.
domain assumption If Ω is not convex, f(s)/s^{2*-1} is nonincreasing for s>0.
This monotonicity is used in Theorem 3.1 to extend boundary estimates to nonconvex domains via the Kelvin transform.
domain assumption For q=2*-1, L is C^1, L'(s)<0 for s≥s1, and |L'|∈RV_{-1} (hypothesis (f3)).
The sign and regular variation of L' are needed in Lemma 4.1 to obtain the weighted integral estimate (4.1).
ad hoc to paper Condition (1.5): lim_{s→∞} s|L'(s)|/L^{N/2}(s)=+∞.
This condition is introduced specifically so the final contradiction closes; it excludes iterated-log examples and is not a standard hypothesis in previous work.
standard math Karamata uniform convergence theorem and standard facts about regularly varying functions.
Used in Section 3.2, Lemma 4.1 Step 3, and Corollary 3.5 to control ratios of L and |L'| at infinity.
standard math Pohozaev identity and elliptic regularity estimates (Schauder, de Giorgi-Nash, L^p estimates, Morrey embedding).
These standard theorems are invoked in Sections 3 and 4 to convert boundary control into weighted integral control and to estimate the radius of the large-value ball.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Uniform a priori bounds for Slightly Subcritical Elliptic Problems." pith.science (2026). https://pith.science/paper/IWL2VSRV

@misc{pith2026250607269,
  author       = {Pith},
  title        = {Pith review of: Uniform a priori bounds for Slightly Subcritical Elliptic Problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IWL2VSRV}},
  note         = {Machine review of arXiv:2506.07269}
}

abstract

We obtain a uniform $L^{\infty}(\Omega)$ a priori bound, for any positive weak solutions to elliptic problem with a nonlinearity $f$ slightly subcritical, slightly superlinear, and regularly varying. To achieve our result, we first obtain a uniform estimate of an specific $L^1(\Omega)$ weighted norm. This, combined with moving planes method and elliptic regularity theory, provides a uniform $L^\infty$ bound in a neighborhood of the boundary of $\Omega$. Next, by using Pohozaev's identity, we obtain a uniform estimate of one weighted norm of the solutions. Joining now elliptic regularity theory, and Morrey's Theorem, we estimate from below the radius of a ball where a solution exceeds the half of its $L^\infty(\Omega)$-norm. Finally, going back to the previous uniform weighted norm estimate, we conclude our result.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

24 extracted references · 23 canonical work pages

[6]

Castro and R

A. Castro and R. Pardo. A priori bounds for positive solutions of subcritical elliptic equations.Rev. Mat. Complut., 28(3):715–731, 2015

work page 2015
[18]

Pardo.L∞(Ω) a priori estimates for subcritical semilinear elliptic equations with a Carathéodory non-linearity.J

R. Pardo.L∞(Ω) a priori estimates for subcritical semilinear elliptic equations with a Carathéodory non-linearity.J. Fixed Point Theory Appl., 25(2):Paper No. 44, 22, 2023

work page 2023
[22]

P.Souplet.UniversalestimatesandLiouvilletheoremsforsuperlinearproblems without scale invariance.Discrete Contin. Dyn. Syst., 43(3-4):1702–1734, 2023. Department of Mathematics, Université du Littoral Côte d’Opale (ULCO), Laboratoire de Mathématiques Pures et Appliquées Joseph Liouville (LMPA), 62100 Calais (France) Email address: mabel.Cuesta@univ-littora...

work page 2023
[1]

Axler, P

S. Axler, P. Bourdon, and W. Ramey.Harmonic function theory, volume 137 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 2001

work page 2001
[2]

N. H. Bingham, C. M. Goldie, and J. L. Teugels.Regular variation, volume 27 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1987

work page 1987
[3]

Brezis.Functional analysis, Sobolev spaces and partial differential equations

H. Brezis.Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011

2011
[4]

Brézis and T

H. Brézis and T. Kato. Remarks on the Schrödinger operator with singular complex potentials.J. Math. Pures Appl. (9), 58(2):137–151, 1979

work page 1979
[5]

Brézis and R

H. Brézis and R. E. L. Turner. On a class of superlinear elliptic problems. Comm. Partial Differential Equations, 2(6):601–614, 1977

work page 1977

Show all 24 references

[7]

D. G. Costa, H. Ramos Quoirin, and H. Tehrani. A variational approach to su- perlinear semipositone elliptic problems.Proc. Amer. Math. Soc., 145(6):2661– 2675, 2017

2017
[8]

D. G. de Figueiredo, P.-L. Lions, and R. D. Nussbaum. A priori estimates and existence of positive solutions of semilinear elliptic equations.J. Math. Pures Appl. (9), 61(1):41–63, 1982

1982
[9]

García-Melián, L

J. García-Melián, L. Iturriaga, and H. R. Quoirin. A priori bounds and ex- istence of solutions for slightly superlinear elliptic problems.Adv. Nonlinear Stud., 15(4):923–938, 2015

2015
[10]

Gidas, W

B. Gidas, W. M. Ni, and L. Nirenberg. Symmetry and related properties via the maximum principle.Comm. Math. Phys., 68(3):209–243, 1979

1979
[11]

Gidas and J

B. Gidas and J. Spruck. A priori bounds for positive solutions of nonlinear elliptic equations.Comm. Partial Differential Equations, 6(8):883–901, 1981

1981
[12]

Gilbarg and N

D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition. 26 MABEL CUESTA AND ROSA PARDO

2001
[13]

Karamata

J. Karamata. Sur un mode de croissance régulière. Théorèmes fondamentaux. Bull. Soc. Math. France, 61:55–62, 1933

1933
[14]

Korevaar, T

J. Korevaar, T. van Aardenne-Ehrenfest, and N. G. de Bruijn. A note on slowly oscillating functions.Nieuw Arch. Wiskunde (2), 23:77–86, 1949

1949
[15]

Linear and quasilinear elliptic equa- tions

O.A.LadyzhenskayaandN.N.Ural’tseva. Linear and quasilinear elliptic equa- tions. Academic Press, New York-London, 1968. Translated from the Russian by Scripta Technica, Inc, Translation editor: Leon Ehrenpreis

1968
[16]

Lamperti

J. Lamperti. An occupation time theorem for a class of stochastic processes. Trans. Amer. Math. Soc., 88:380–387, 1958

1958
[17]

E. Nelson. A proof of Liouville’s theorem.Proc. Amer. Math. Soc., 12:995, 1961

1961
[19]

S. I. Pohožaev. On the eigenfunctions of the equation∆u + λf (u) = 0. Dokl. Akad. Nauk SSSR, pages 36–39, 1965

1965
[20]

S. I. Resnick.Extreme values, regular variation and point processes. Springer Series in Operations Research and Financial Engineering. Springer, New York,
[21]

E. Seneta. Regularly varying functions. Lecture Notes in Mathematics, Vol
[508]

Springer-Verlag, Berlin-New York, 1976

1976
[2008]

Reprint of the 1987 original

1987

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [6]

Castro and R

A. Castro and R. Pardo. A priori bounds for positive solutions of subcritical elliptic equations.Rev. Mat. Complut., 28(3):715–731, 2015

work page 2015

[2] [18]

Pardo.L∞(Ω) a priori estimates for subcritical semilinear elliptic equations with a Carathéodory non-linearity.J

R. Pardo.L∞(Ω) a priori estimates for subcritical semilinear elliptic equations with a Carathéodory non-linearity.J. Fixed Point Theory Appl., 25(2):Paper No. 44, 22, 2023

work page 2023

[3] [22]

P.Souplet.UniversalestimatesandLiouvilletheoremsforsuperlinearproblems without scale invariance.Discrete Contin. Dyn. Syst., 43(3-4):1702–1734, 2023. Department of Mathematics, Université du Littoral Côte d’Opale (ULCO), Laboratoire de Mathématiques Pures et Appliquées Joseph Liouville (LMPA), 62100 Calais (France) Email address: mabel.Cuesta@univ-littora...

work page 2023

[4] [1]

Axler, P

S. Axler, P. Bourdon, and W. Ramey.Harmonic function theory, volume 137 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 2001

work page 2001

[5] [2]

N. H. Bingham, C. M. Goldie, and J. L. Teugels.Regular variation, volume 27 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1987

work page 1987

[6] [3]

Brezis.Functional analysis, Sobolev spaces and partial differential equations

H. Brezis.Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011

2011

[7] [4]

Brézis and T

H. Brézis and T. Kato. Remarks on the Schrödinger operator with singular complex potentials.J. Math. Pures Appl. (9), 58(2):137–151, 1979

work page 1979

[8] [5]

Brézis and R

H. Brézis and R. E. L. Turner. On a class of superlinear elliptic problems. Comm. Partial Differential Equations, 2(6):601–614, 1977

work page 1977