REVIEW 2 major objections 4 minor 27 references
On maximum principles for radial solutions to nonlinear elliptic PDE's via Opial-type inequalities
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that radial solutions of degenerate weighted $p$-Laplacian equations with zero boundary data are constant-sign and monotone along radii, with the supremum at the center, and that an additional vanishing condition at the…
desk verdict The Opial-inequality approach is new and the nonexistence results look right, but the maximum principle is unproven because the Opial constant is applied with the wrong endpoint. 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 object is the weighted Opial-type inequality stated as Theorem 1: if $u$ is absolutely continuous on $[a,y]$ with $u(a)=0$ or $u(y)=0$, then $\int_a^y q(t)|u(t)|^l|u'(t)|^m\,dt \le K(a,y,l,m,q,p)\int_a^y p(t)|u'(t)|^{l+m}\,dt$, with the constant $K$ given explicitly in condition A5. In the application $l\in(0,p)$, $m=p-l$, and $p(\cdot)$ is either $\delta_a(\cdot)$ or $d_a(\cdot)$. The smallness condition $K\le1$ lets the $h$-term be absorbed by the $\delta_a$-term in the energy estimate; the auxiliary function $\Psi(\tau,\lambda)=-(1-1/p)a(\tau)|\lambda|^p$ then converts the estimate into an inequality for $\Phi(|u|)$, yielding sign-constancy, monotonicity, and the vanishing conclusions.
What would settle it
Search for a radial solution of the model equation (26) on the unit ball with $w=0$ on $\partial B$, with $\tau\varphi(\tau)<0$ a.e., and with $h$ satisfying (h) with $C\le X/Y$, whose radial profile has an interior local extremum or changes sign. A single such example would disprove Theorem 8, and a numerical shooting computation on the radial ODE (3) with these parameters would settle it.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 6: for the nondivergent equation (22) under conditions $M_{nd}$ or the divergent equation (23) under $M_d$, any radial solution $w$ with $w=0$ on $\partial B$ is of constant sign and monotone along the radii, and $\sup_B |w| = \limsup_{x\to 0}|w(x)|$; if additionally $w(0)=0$ or $\limsup_{x\to 0}a(|x|)|\nabla w|^p=0$, then $w\equiv 0$. Theorem 5 is the companion nonexistence result: a $C^1$ radial solution with $w(0)=0$ satisfying the same structural conditions is identically zero. These statements are proved through the integral Opial bound (7), which replaces the pointwise inequality (5) used in earlier work.
Load-bearing premise
The load-bearing premise is that the explicitly computed Opial constant $K(0,R,q,\delta_a)$ or $K(0,R,q,d_a)$ is at most one on the whole interval; if this integral smallness condition fails, the proof's absorption step collapses, and the paper's Example 1 shows nontrivial solutions can then exist.
Editorial extensions
If this is right
- For any radial solution in the regularity class of Theorem 6, the maximum of $|w|$ is attained at the center, giving a strong maximum principle without any sign or growth condition on $\varphi$.
- Under the vanishing conditions in Theorems 5 and 6, the only radial $C^1$ solution is $w\equiv0$; in particular, no nontrivial radial solution can vanish at the center and satisfy the structural smallness conditions.
- In the model case $a(\tau)=\tau^\alpha$, Theorem 7 gives explicit ranges of $n,p,\alpha,\gamma,l$ for which nontrivial radial solutions with $w(0)=0$ do not exist, and Example 1 shows the condition $\gamma>\alpha-1-l$ is sharp.
- For the unit-ball model, Theorem 8 asserts monotonicity and sign-constancy when $C\le X/Y$, and triviality when the radial gradient decays fast enough near the center according to (28).
Reading between the lines
- Editorial inference: the Opial-absorption argument is not tied to $\Phi_p$; with minor changes it should prove analogous monotonicity for $A$-harmonic equations of the form $-\mathrm{div}(a(|x|)A(\nabla w))$, the generalization noted in Remark 7.
- Editorial inference: because the proofs never use the growth of $\varphi$, the maximum principle likely persists for supercritical reaction terms, which would let the result separate structural rigidity from growth obstructions in radial problems.
- Editorial inference: the condition $K\le1$ can be read as an integral smallness bound on the lower-order term $h$; testing whether $K=1$ is the exact threshold, as Example 1 suggests for the model equation, would yield a sharp nonexistence criterion.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies radial solutions of degenerate quasilinear elliptic equations of p-Laplacian type, in both nondivergent form (2) and divergent form (1), on a ball. The main tool is a weighted Opial-type inequality due to Beesack and Das (Theorem 1), used to absorb a nonlinear first-order term h under an integral smallness condition A5. The authors prove a priori estimates and triviality/nonexistence for solutions with u(0)=0 (Theorems 2, 3, 5), and a left-hand-side maximum principle: under conditions Mnd or Md any radial solution vanishing on ∂B has constant sign, is monotone in the radius, and has |w| sup at the center; with an extra decay condition the solution is trivial (Theorems 4 and 6). They apply the results to the model equation -|x|^α Δ_p w + h = φ(w) (Theorems 7 and 8), and provide a sharpness example for the nonexistence condition.
Significance. If the maximum-principle result were valid, the paper would be a useful contribution to the qualitative theory of degenerate elliptic equations. The approach is self-contained: the only substantive external input is the Beesack–Das inequality; the a priori estimate in Theorem 2 and the nonexistence statement in Theorem 5 follow by direct energy estimates, and Example 1 convincingly shows that the growth condition in Theorem 7 is sharp. The paper also correctly identifies the integral smallness condition as the relevant structural hypothesis. However, the right-endpoint version of the Opial inequality is misstated, and the proof of Theorem 4 uses the wrong endpoint constant; as a result the central maximum principle is currently not established.
major comments (2)
- [Section 1, Theorem 1] Theorem 1 is false as stated for the endpoint condition u(y)=0. The displayed constant K(y) is built from the inner integral ∫_a^t p(s)^{-1/(l+m-1)} ds, which is the correct kernel when the zero is at the left endpoint a. For a zero at the right endpoint y, the Beesack–Das constant must contain the kernel ∫_t^y p(s)^{-1/(l+m-1)} ds (equivalently, the reflected weights). A concrete counterexample is obtained with l=m=1, a=0, y=1, p(t)=1, q(t)=100 on [0,0.1], q(t)=1 on (0.1,1], and u(t)=1-t. Then ∫_0^1 q(t)|u(t)u'(t)|dt ≈ 9.9, while ∫_0^1 |u'(t)|^2 dt = 1 and the displayed constant gives a right-hand side of about 5, so (9) fails. Since Theorem 1 is the analytical input invoked for u(R)=0 in the proof of Theorem 4, the right-endpoint statements built on it lack a valid inequality.
- [Section 2.3.2, Step 1 (Theorems 4 and 6)] The application of Theorem 1 after inequality (20) is invalid. The proof integrates over (r,R) and uses the boundary condition u(R)=0, so the required Opial constant is the right-endpoint constant, which contains ∫_t^R δa(τ)^{-1/(p-1)} dτ. Assumption A5(ar) only controls K(0,R,q,δa), the constant for a zero at the left endpoint 0. For the model a(τ)=τ^α, q(τ)=Cτ^{α-1}, p=2, l=1, α=1/2, n=2, a direct calculation gives K_right(0,1)=√3 K_left(0,1), so K_left≤1 permits K_right≈1.73. Under those conditions the absorption of the θq-term by the δa-term in (20)–(21) is not justified, and Step 1's conclusion that every critical point satisfies u(r)=0 does not follow from Mnd. Consequently Theorem 4 and, through Lemma 1, Theorem 6 are not proven as stated. Repairing the proof requires imposing a separate condition on the right-endpoint Opial constant or using the reflected weights; the model conditions in Theorems 7–8 and the accompanying examples would then need to be recomputed.
minor comments (4)
- [Section 2.1, Remark 2] Remark 2 says that φ 'changes its sign at 0, as it is even', but A2 defines φ as an odd function; 'even' should read 'odd'.
- [Proof of Theorem 8] In the proof of Theorem 8 the constant A is written with exponent (p−1)/p, whereas A5 defines the constant as ((p−l)/p)^{(p−l)/p}; please align the notation.
- [Section 2.1] The indexing of conditions (al), (ar), (a), (bl), (br), (b) would be easier to follow if the meaning of l, r, and the unsubscripted case were stated explicitly when the list is introduced.
- [Theorem 3] There is a typo in the statement of Theorem 3: 'tauches' should be 'touches'.
Circularity Check
No material circularity: the maximum principle and nonexistence results are derived from the external Beesack–Das Opial inequality plus a stated integral smallness hypothesis; self-citations are background only.
full rationale
The derivation chain is self-contained in the relevant sense. Theorem 2, Theorem 4, and the PDE consequences Theorem 5 and Theorem 6 are proved by multiplying the ODE by u′, integrating, and using the Opial-type inequality stated as Theorem 1. That inequality is cited to Beesack and Das [4], an external source, and the integral smallness condition A5 (e.g. K(0,R,q,δa) ≤ 1) is an explicit hypothesis, not a hidden version of the conclusion. The earlier papers [1,2,16] are invoked for terminology, motivation, and auxiliary regularity statements (Lemma 1, parts 1–3, and the definition of δa), but none of the central estimates assume the maximum principle or nonexistence result being proved. No parameter is fitted to the target solution, and the examples in Section 3.2.2 are explicit checks rather than renamed conclusions. The known comparison with Lindqvist is external context, and the proof is independent of it. The Leibniz-rule and integration-by-parts identities in the proof of Theorem 2 are algebraic, not circular. The skeptical objection about Theorem 4 using the left-endpoint Opial constant while needing the right-endpoint constant for u(R)=0 is a possible correctness gap in the proof, but it is not a circular dependency: the A5 condition is an input, and the maximum principle is not defined in terms of that condition. Passages saying ‘similar proof is left to the reader’ (Theorem 3) and ‘Easy details are left to the reader’ (proof of Theorem 4 under MD) are omissions of routine details; they do not import the target theorem. Overall, no claimed prediction reduces by construction to its inputs.
Assumptions & free parameters
assumptions (2)
- standard math Beesack-Das Opial inequality (Theorem 1)
- standard math Sobolev embedding and absolute continuity of |u'|^p when Φ_p(u') ∈ W^{1,1}
Cite this review
Pith. "Pith review of On maximum principles for radial solutions to nonlinear elliptic PDE's via Opial-type inequalities." pith.science (2026). https://pith.science/paper/6UYEQK2I
@misc{pith2026190808915,
author = {Pith},
title = {Pith review of: On maximum principles for radial solutions to nonlinear elliptic PDE's via Opial-type inequalities},
year = {2026},
howpublished = {\url{https://pith.science/paper/6UYEQK2I}},
note = {Machine review of arXiv:1908.08915}
}
abstract
We consider degenerated nonlinear PDE of elliptic type: $$ - \mathrm{div}(a(|x|)|\nabla w(x)|^{p-2} \nabla w(x)) + h(|x|,w(x),\langle\nabla w(x),\frac{x}{|x|}\rangle)=\phi(w(x)), $$ where $x$ belongs to the ball in $\bf{R}^n$. Using the argument based on Opial-type inequalities, we investigate qualitative properties of their radial solutions, like e.g. maximum principles, monotonicity, as well as nonexistence of the nontrivial solutions.
Reference graph
Works this paper leans on
-
[2]
T. Adamowicz, A. Ka/suppress lamajskaMaximum principles and nonexistence results for radial solutions to equations involving p-Laplacian, Math. Methods Appl. Sci. . 33(13) (2010), 1618-1627
work page 2010
-
[1]
T. Adamowicz, A. Ka/suppress lamajska,On a variant of the maximum principle involving radial p-Laplacian with applications to nonlinear eigenvalue problems and nonexistence results , Topol. Methods Nonlinear Anal. 34, (2009) 1–20
work page 2009
- [3]
-
[4]
P. R. Beesack, K. M. Das Extensions of Opial inequality , Pacific J. Math. 26 (1968), 215-232
work page 1968
- [5]
-
[6]
M.F. Bidaut-V´ eron, M. Garc´ ıa-Huidobro, L. V´ eron,Estimates of so- lutions of elliptic equations with a source reaction term in volving the product of the function and its gradient, Duke Math. J. 168(8) (2019), 1487–1537
work page 2019
-
[7]
A. Callegari, A. Nachman A nonlinear singular boundary value problem in the theory of pseudoplastic fluids , SIAM J. Appl. Math. 38(1980), 275–281
work page 1980
-
[8]
G. Caristi, E. Mitidieri, Nonexistence of positive solutions of quasilinear equations, Adv. Differential Equations 2 (1997), no. 3, 319–359
work page 1997
Show all 27 references
-
[9]
J. I. Diaz Nonlinear Partial Differential Equations and Free Boundari es, Vol. I, Elliptic Equations, Res. Notes Math., vol. 106, Pitm an Publ. Ltd., Boston, London, Melbourne, 1985
1985
-
[10]
Diening, A
L. Diening, A. Prohl and M. R˚ uˇ ziˇ cka,Semi-implicit Euler scheme for generalized Newtonian fluids , SIAM J. Numer. Anal. 44 (2006), 1172– 1190
2006
-
[11]
D’Onofrio and T
L. D’Onofrio and T. Iwaniec, The p-harmonic transform beyond its natural domain of definition , Indiana Univ. Math. J. 53 (2004), 683– 718
2004
-
[12]
Dr´ abek, The p-Laplacian – Mascote of Nonlinear Analysis , Acta Math
P. Dr´ abek, The p-Laplacian – Mascote of Nonlinear Analysis , Acta Math. Univ. Comenianae, Vol. LXXVI (Proceedings of Equadiff 11) 1 (2007), 85–98
2007
-
[13]
Dr´ abek, A
P. Dr´ abek, A. Kufner, F. Nicolosi, Quasilinear elliptic equations with degenerations and singularities De Gruyter Series in Nonlinear Analysis and Applications, 5. Walter de Gruyter & Co., Berlin, 1997
1997
-
[14]
Filippucci, Nonexistence of positive weak solutions of elliptic inequa l- ities, Nonlinear Anal
R. Filippucci, Nonexistence of positive weak solutions of elliptic inequa l- ities, Nonlinear Anal. 70 (2009), 2903–2916
2009
-
[15]
Fortunato, L
D. Fortunato, L. Orsina and L. Pisani, Born–Infeld type equations for electrostatic fields, J. Math. Phys. 43 (2002), 5698–5706
2002
-
[16]
Ka/suppress lamajska, A
A. Ka/suppress lamajska, A. Stryjek,On maximum principles in the class of oscillating functions , Aequationes Math. 69 (2005), 201-211. 24
2005
-
[17]
Kawano, E
N. Kawano, E. Yanagida and S. Yotsutani, Structure theorems for pos- itive radial solutions to div(|Du|mDu) + K(|x|)uq = 0 in Rn, J. Math. Soc. Japan 45 (1993), 719–742
1993
-
[18]
Kufner, B
A. Kufner, B. Opic, How to define reasonably weighted sobolev spaces, Comment. Math. Univ. Carolin., 25(3) (1984), 537–554
1984
-
[19]
C. S. Lee, On some generalization of inequalities of Opial, Yang and Shum, Canad. Math. Bull. 23 (1980), 71-80
1980
-
[20]
Lindqvist, On the equation div (|∇u|p−2∇u) + λ|u|p−2u = 0 , Proc
P. Lindqvist, On the equation div (|∇u|p−2∇u) + λ|u|p−2u = 0 , Proc. Amer. Math. Soc. 109(1) (1990), 157–164
1990
-
[21]
Mitidieri and S
E. Mitidieri and S. Pohozaev, A priori estimates and blow-up of solu- tions to nonlinear partial differential equations and inequ alities. Transl. from the Russian , Proc. Steklov Inst. Math. 234 (2001), 1–362. (trans- lated from Tr. Mat. Inst. Steklova 234 (2001), 1–383.)
2001
-
[22]
Opial, Sur une in´ egalit´ e, Ann
Z. Opial, Sur une in´ egalit´ e, Ann. Polon. Math. 8 (1960), 29-32
1960
-
[23]
B. G. Pachpatte, A note on Opial and Wirtinger type discrete inequal- ities, J. Math. Anal. Appl. 127 (1987), 470-474
1987
-
[24]
G. J. Sinnamon, Weighted Hardy and Opial-type inequalities, J. Math. Anal. Appl. 160(2) (1991), 434–445
1991
-
[25]
D. T. Shum, On a class of new inequalities , Trans. Amer. Math. Soc. 204 (1975), 299-341
1975
-
[26]
Z. Wu, J. Zhao and H. Li, Nonlinear Diffusion Equations , World Sci- entific, Singapore, 2001
2001
-
[27]
Szeg¨ o,Orthogonal polynomials, American Mathematical Society Col - loquium Publications, 1939
G. Szeg¨ o,Orthogonal polynomials, American Mathematical Society Col - loquium Publications, 1939. 25
1939
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.