REVIEW 3 major objections 7 minor 33 references
Existence and convergence of solutions for nonlinear biharmonic equations on graphs
T0 review · 3 major / 7 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read On locally finite weighted graphs, a nonlinear biharmonic equation with a deepening potential well admits a ground state for every λ>1, and as λ→∞ the ground states converge to a ground state of the Dirichlet limit problem on the well.
desk verdict Solid first fourth-order graph analogue of Zhang-Zhao's deepening-well result; the proof's main line is sound and the flagged gaps are presentation-level, so it deserves a serious referee. 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 machinery is the weighted graph calculus: the $\mu$-Laplacian $\Delta u(x)=\frac1{\mu(x)}\sum_{y\sim x}\omega_{xy}(u(y)-u(x))$, the gradient form $\Gamma(u,v)$, integration-by-parts lemmas for $\Delta^2$, and the Hilbert spaces $E_\lambda$ and $H(\Omega)$ with norms built from $\Delta$, $\nabla$, and the potential. The load-bearing device is a compact embedding (Lemma 2.5): $E_\lambda\hookrightarrow L^q(V)$ for every $q\ge2$, uniformly in $\lambda$, with convergence of bounded sequences pointwise and in every $L^q$. Its proof uses assumption (A2) to control the tail of an $L^2$ difference by the weighted $\lambda a$ part of the norm. The Nehari manifold $N_\lambda=\{u\ne0:J'_\lambda(u)u=0\}$ turns the equation into a minimization problem; on $N_\lambda$ the identity $\|u\|^2_{E_\lambda}=\int_V|u|^p\,d\mu$ gives the energy formula $J_\lambda(u)=(\frac12-\frac1p)\|u\|^2_{E_\lambda}$. The concentration proof compares $m_\lambda$ with $m_\Omega$, uses the tail bound to force the weak limit to vanish outside $\Omega$, and upgrades weak convergence to strong convergence in $W^{2,2}(V)$.
What would settle it
Replace (A2) with a bounded potential, for example $a=0$ on a finite interval and $a=1$ elsewhere on an infinite locally finite graph; then $E_\lambda=W^{2,2}(V)$ and sequences of unit $L^2$ bumps translated to infinity are bounded but have no $L^p$-convergent subsequence, so Lemma 2.5 fails and the stated convergence to the well would require a different compactness argument.
Extended reading notes
Core claim
The central claim is Theorem 1.1: under graph assumptions (G1)–(G4) and potential assumptions (A1)–(A2), for any $\lambda>1$, $p>2$, the functional $$J_\$\lambda$(u)=\frac12\int_V(|\$\Delta$ u|^2+|\nabla u|^2+(\$\lambda$ a+1)$u^{2}$)\,d\mu-\frac1p\int_V |u|^p\,d\mu$$ has a minimizer on its Nehari manifold, hence a nontrivial critical point $u_\lambda$ solving the equation pointwise. Theorem 1.3 asserts that for any sequence $\lambda_k\to\infty$, up to a subsequence $u_{\lambda_k}\to u_0$ in $W^{2,2}(V)$, where $u_0$ is a ground state of the limit problem on the potential well with zero boundary data; in particular $u_0$ vanishes outside $\Omega$. Theorem 1.2, existence for the limit Dirichlet problem, is obtained as a by-product of this convergence rather than by a separate minimization argument. A sympathetic reading is: the fourth-order graph equation inherits both existence and the deepening-well concentration phenomenon from the second-order case, and the discrete structure makes the limit problem finite-dimensional because a bounded domain in a locally finite graph contains finitely many vertices.
Load-bearing premise
The result rests on the potential growing without bound as the distance from a fixed vertex goes to infinity; if $a$ stays bounded away from the well, the proof's compact embedding fails and the concentration mechanism is not available.
Editorial extensions
If this is right
- The limit problem on any nonempty, connected, bounded domain $\Omega$ of a locally finite graph has a ground state solution; this is Theorem 1.2, obtained here by letting $\lambda\to\infty$.
- Ground states of the penalized equation localize: any weak limit as $\lambda\to\infty$ is identically zero outside the potential well $\Omega$.
- The convergence is strong, not merely weak: $u_{\lambda_k}\to u_0$ in $W^{2,2}(V)$, and the energy gap $\|u_{\lambda_k}-u_0\|_{E_{\lambda_k}}\to0$.
- The embedding $E_\lambda\hookrightarrow L^q(V)$ with a $\lambda$-independent constant supplies a reusable tool for variational problems on locally finite graphs.
Reading between the lines
- The same Nehari plus compact-embedding scheme should extend to higher-order polyharmonic equations $\Delta^m$ on graphs whenever an integration-by-parts identity and a tail estimate of the same type are available.
- Because bounded domains in locally finite graphs are finite, the limit problem is finite-dimensional; a direct finite-dimensional minimization should also yield $u_0$, which may simplify concentration proofs in related graph problems.
- If $a$ vanishes on several disjoint wells, the argument suggests the limit may select one well according to $p$ and the graph geometry; this selection rule is not investigated in the paper.
- One testable modification: replace (A2) by polynomial growth of $a$ along ends and check whether the $\lambda$-independent tail control survives with a graph-dependent constant; the compact embedding lemma gives a precise condition to verify.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the nonlinear biharmonic equation Δ²u − Δu + (λa+1)u = |u|^{p−2}u on a locally finite weighted graph G. Under assumptions (G1)–(G4) and (A1)–(A2), it proves for each λ>1 and p>2 the existence of a ground state solution uλ by Nehari manifold minimization, and then proves that as λ→∞ the ground states converge in W^{2,2}(V) to a ground state solution of the Dirichlet problem Δ²u − Δu + u = |u|^{p−2}u on the potential well Ω={a=0}, with u=0 on ∂Ω. The proof relies on a compact embedding Eλ↪L^q(V) with constants independent of λ, obtained from assumption (A2), and on Nehari-type estimates.
Significance. The result is a natural fourth-order analogue of the deepening-potential-well phenomenon for Schrödinger equations on graphs, extending the second-order work of Zhang and Zhao [31]. The variational framework is standard, but the discrete setting requires careful treatment of Sobolev spaces and integration by parts; the paper provides these tools and a clear proof of the concentration phenomenon. If the gaps noted below are filled, the paper constitutes a solid contribution to the growing literature on nonlinear equations on graphs.
major comments (3)
- [Section 3, Lemma 3.5 and Definition 2.1] The proof of Lemma 3.5 verifies J'_λ(uλ)φ = 0 only for test functions φ∈C_c(V), while Definition 2.1 requires the identity for all φ∈Eλ. The same projection argument works verbatim for arbitrary φ∈Eλ because the formula for t(s) and the differentiability of γ(s) do not use compact support; please state this explicitly or, alternatively, prove that C_c(V) is dense in Eλ and pass to the limit.
- [Section 4, Lemma 4.3 and proof of Theorem 1.3] The assertion that u_{λk} → u0 in L^q(V) for all q∈[2,∞) is used to pass to the limit, but Lemma 2.5 is formulated for a fixed λ. A uniform-in-λ compactness argument is needed: using the bound ||u_{λk}||_{E_{λk}} ≤ C (from Remark 4.1 and m_{λk} ≤ mΩ) and assumption (A2), the tail estimate in Lemma 2.5 yields ∫_{d>R}|u_{λk}−u0|²dµ ≤ ε/λ_k for large k, so L² convergence follows; this should be written out or added as a separate lemma.
- [Section 4, Lemma 4.3] The displayed chain contains the equality 'lim inf J_{λk}(t u_{λk}) = ((p−2)/(2p)) lim inf ||t u_{λk}||²_{E_{λk}}'; this is false because t u_{λk} is not generally in N_{λk}. The correct step is '≤', which is sufficient: for t∈(0,1] and u_{λk}∈N_{λk} one has J_{λk}(t u_{λk}) ≥ ((p−2)/(2p))||t u_{λk}||²_{E_{λk}}. The conclusion M ≥ mΩ survives with this correction.
minor comments (7)
- [Title page and abstract] There are typos: 'bihar monic' in the header and 'the the boundary' in the abstract should be corrected.
- [Propositions 2.1 and 2.2] The repeated 'as k → 0' should be 'as k → ∞', and in the last line of the proof of Proposition 2.1 the limit should be of II_k, not I_k.
- [Proposition 2.2] Since W^{2,2}(V) was defined in Section 1 as the completion of C_c(V), Proposition 2.2 is a restatement of the definition, so the omitted boundary-layer estimates for Δ are not a substantive gap; if the authors prefer to define W^{2,2}(V) as the space of functions with finite norm, they should revise the definition and supply the missing estimates.
- [Lemma 4.2] In the definition of C1, the expression η_{p+1}^{p+1} should be η_p^p to match the constant used in estimate (17).
- [Lemma 2.5] In the proof of strong L² convergence, 'lim inf' should be 'lim'.
- [Lemma 4.3 and proof of Theorem 1.3] The sentence 'From Lemma 4.1, we have that u0 ≠ 0' is not immediate; one also needs the L^p convergence (19) to rule out u0=0, since Lemma 4.1 only gives a lower bound on the E_{λk}-norms of the u_{λk}.
- [Lemmas 2.1 and 2.2] The integration-by-parts lemmas are quoted from [31] without proof; including their statements or a short proof would improve self-containedness.
Circularity Check
No significant circularity: the biharmonic existence and concentration results are derived from stated assumptions, not from the cited second-order result.
full rationale
The paper's derivation chain is self-contained. Theorem 1.1 is proved by Nehari minimization on E_lambda using the compact embedding Lemma 2.5, whose tail estimate depends on the assumed growth condition (A2) rather than on the desired conclusion. Theorem 1.3 is proved by energy comparison and pointwise convergence, with the identity lim m_lambda = m_Omega established in Lemma 4.3 rather than assumed; the support restriction u0|Omega^c = 0 follows from the divergence of lambda_k times the positive potential term, not from a prior existence result. The only self-citations are Lemmas 2.1 and 2.2, whose proofs are omitted with the note "The proofs of the next two lemmas can be found in [31]"; these are elementary integration-by-parts identities on locally finite graphs, not the target limit problem, and Lemma 2.3 derives the biharmonic formula from them. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported to force a choice. The minor presentation gap that Lemma 3.5 tests phi in C_c(V) while Definition 2.1 tests phi in E_lambda is not circularity: the Nehari projection formula t(s) and the derivative gamma'(0) do not use compact support, so the same argument applies in E_lambda. Overall, no claim reduces by construction to its inputs.
Assumptions & free parameters
assumptions (4)
- domain assumption The graph G=(V,E) is locally finite, connected, has a uniformly positive measure mu(x) >= mu_min > 0, and symmetric edge weights with uniformly bounded weighted degree sum_{y~x} omega_xy < C (conditions (G1)-(G4), Section 1).
- domain assumption The potential a: V to [0,infinity) satisfies a(x) >= 0, the potential well Omega = {x in V : a(x) = 0} is a non-empty, connected, bounded domain, and a(x) tends to +infinity as d(x,x0) tends to infinity (assumptions (A1)-(A2), Section 1).
- domain assumption The integration by parts formulas for the graph Laplacian hold: integral_V grad u grad v dmu = - integral_V Delta u v dmu for u in W^{1,2}(V), v in C_c(V), and the bounded-domain version (Lemmas 2.1 and 2.2, cited from [31]).
- standard math For a bounded (hence finite) domain Omega in a locally finite graph, the space H(Omega)=W^{2,2}(Omega) cap W^{1,2}_0(Omega) is finite-dimensional, so bounded sequences have convergent subsequences (Lemma 2.6).
Cite this review
Pith. "Pith review of Existence and convergence of solutions for nonlinear biharmonic equations on graphs." pith.science (2026). https://pith.science/paper/RMFWXKV7
@misc{pith2026190803993,
author = {Pith},
title = {Pith review of: Existence and convergence of solutions for nonlinear biharmonic equations on graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/RMFWXKV7}},
note = {Machine review of arXiv:1908.03993}
}
abstract
In this paper, we first prove some propositions of Sobolev spaces defined on a locally finite graph $G=(V,E)$, which are fundamental when dealing with equations on graphs under the variational framework. Then we consider a nonlinear biharmonic equation $$ \Delta^{2} u -\Delta u+(\lambda a+1)u= |u|^{p-2}u $$ on $G=(V,E)$. Under some suitable assumptions, we prove that for any $\lambda>1$ and $p>2$, the equation admits a ground state solution $u_{\lambda}$. Moreover, we prove that as $\lambda\rightarrow +\infty$, the solutions $u_{\lambda}$ converge to a solution of the equation \begin{align*} \begin{cases} \Delta^{2}u -\Delta u+u = |u|^{p-2}u, &\text{in}\ \ \Omega, u=0, &\text{on}\ \ \partial\Omega, \end{cases} \end{align*} where $\Omega=\{x\in V: a(x)=0\}$ is the potential well and $\partial\Omega$ denotes the the boundary of $\Omega$.
Reference graph
Works this paper leans on
- [31]
-
[1]
I.D. Abrahams, A.M. Davis, Deflection of a partially clamped elastic p late, in: Fluid Mechanics and Its Applications, vol. 68, Springer Dordrecht, 2002, pp. 303-312
work page 2002
-
[2]
C.O. Alves, M.A.S. Souto, On the existence and concentration beh avior of ground state solutions for a class of problems with critical growth, Comm. Pure Appl. Anal. 1 (200 2) 417-431
-
[3]
V. Arnaboldi, A. Passarella, M. Conti, R.I.M. Dunbar, Online Social N etworks: Human Cognitive Constraints in Facebook and Twitter Personal Graphs, Elsevier, 2 015
-
[4]
T. Bartsch, Z.Q. Wang, Multiple positive solutions for a nonlinear Sc hr¨ odinger equation, Z. Angew. Math. Phys. 51 (2000) 366-384
work page 2000
-
[5]
N.K. Bose, P. Liang, Neural Network Fundamentals with Graphs, Algorithms and Applications, McGraw-Hill, 1996
work page 1996
-
[6]
H. Br´ ezis, L. Nirenberg, Positive solutions of nonlinear elliptic equ ations involving critical Sobolev exponents, Comm. Pure Appl. Math. 36 (1983) 437-477
work page 1983
-
[7]
Cao, Nontrivial solution of semilinear equations with critical ex ponent in R2, Commun
D.M. Cao, Nontrivial solution of semilinear equations with critical ex ponent in R2, Commun. Partial Differential Equations 17 (1992) 407-435
work page 1992
Show all 33 references
-
[8]
H.B. Ge, W.F. Jiang, Kazdan-Warner equation on infinite graphs. J . Korean Math. Soc. 55 (2018) 1091-1101
2018
-
[9]
H.B. Ge, W.F. Jiang, Yamabe equations on infinite graphs, J. Math. Anal. Appl. 460 (2018) 885-890. 19
2018
-
[10]
Grigor’yan, Y
A. Grigor’yan, Y. Lin, Y.Y. Yang, Kazdan-Warner equation on gr aph, Calc. Var. Partial Differential Equations 55 (4) (2016) Art. 92 13 pp
2016
-
[11]
Grigor’yan, Y
A. Grigor’yan, Y. Lin, Y.Y. Yang, Yamabe type equations on grap hs, J. Differential Equations 261 (2016) 4924-4943
2016
-
[12]
Grigor’yan, Y
A. Grigor’yan, Y. Lin, Y.Y. Yang, Existence of positive solutions t o some nonlinear equations on locally finite graphs, Sci. China Math. 60 (2017) 1311-1324
2017
-
[13]
Z.M. Guo, X. Huang, F. Zhou, Radial symmetry of entire solution s of a bi-harmonic equation with exponential nonlinearities, J. Funct. Anal. 268 (2015) 1972-2004
2015
-
[14]
P. Horn, Y. Lin, S. Liu, S.T. Yau, Volume doubling, Poincar´ e inequ ality and Gaussian heat kernel estimate for non-negatively curved graphs, J. Reine Angew. Math . Published Online (2017) DOI: https://doi.org/10.1515/crelle-2017-0038
2017 doi
-
[15]
B.B. Hua, Y. Lin, Stochastic completeness for graphs with curv ature dimension conditions, Adv. Math. 306 (2017) 279-302
2017
-
[16]
Huang, On uniqueness class for a heat equation on graphs, J
X.P. Huang, On uniqueness class for a heat equation on graphs, J. Math. Anal. Appl. 393 (2012) 377-388
2012
-
[17]
Huang, M
X.P. Huang, M. Keller, J. Masamune, R.K. Wojciechowski, A note o n self-adjoint extensions of the Laplacian on weighted graphs, J. Funct. Anal. 265 (2013) 1556-15 78
2013
-
[18]
Keller, M
M. Keller, M. Schwarz, The Kazdan-Warner equation on canonic ally compactifiable graphs, Calc. Var. Partial Differential Equations 57 (2) (2018) Art. 70 18 pp
2018
-
[19]
Lezoray, L
O. Lezoray, L. Grady, Image Processing and Analysis with Grap hs: Theory and Practice, CRC Press 2017
2017
-
[20]
Lin, Y.T
Y. Lin, Y.T. Wu, The existence and nonexistence of global solutio ns for a semilinear heat equation on graphs, Calc. Var. Partial Differential Equations 56 (4) (2017) Ar t. 102 22pp
2017
-
[21]
Liu, H.B
H.L. Liu, H.B. Chen, Ground state solution for a class of biharmon ic equations including critical expo- nent, Z. Angew. Math. Phys. 66 (2015), 3333-3343
2015
-
[22]
Liu, K.W
W.J. Liu, K.W. Chen, J. Yu, Extinction and asymptotic behavior of solutions for the ω-heat equation on graphs with source and interior absorption, J. Math. Anal. Appl. 435 (2016) 112-132
2016
-
[23]
McKenna, W
P.J. McKenna, W. Walter, Traveling waves in a suspension bridge, SIAM J. Appl. Math. 50 (1990) 703-715
1990
-
[24]
Niu, Z.W
M.M. Niu, Z.W. Tang, L.S. Wang, Least energy solutions for indefin ite biharmonic problems via modified Nehari-Pankov manifold, Commun. Contemp. Math. 20 (4) (2018) 1 750047
2018
-
[25]
Rabinowitz, On a class of nonlinear Schr¨ odinger equations, Z
P.H. Rabinowitz, On a class of nonlinear Schr¨ odinger equations, Z. Angew. Math. Phys. 43 (1992) 270-291
1992
-
[26]
Sani, A biharmonic equation in R4 involving nonlinearities with critical exponential growth, Commun
F. Sani, A biharmonic equation in R4 involving nonlinearities with critical exponential growth, Commun. Pure Appl. Anal. 12 (2013) 405-428
2013
-
[27]
Wang, Y.T
Y.J. Wang, Y.T. Shen, Multiple and sign-changing solutions for a cla ss of semilinear biharmonic equa- tion, J. Differential Equations 246 (2009) 3109-3125
2009
-
[28]
Wang, H.S
Z.P. Wang, H.S. Zhou, Positive solutions for nonlinear Schr¨ oding er equations with deepening potential well, J. Eur. Math. Soc. 11 (3) (2009) 545-573. 20
2009
-
[29]
Wojciechowski, Heat kernel and essential spectrum of infi nite graphs, Indiana Univ
R.K. Wojciechowski, Heat kernel and essential spectrum of infi nite graphs, Indiana Univ. Math. J. 58 (2009) 1419-1441
2009
-
[30]
Yang, Existence of positive solutions to quasi-linear elliptic eq uations with exponential growth in the whole Euclidean space, J
Y.Y. Yang, Existence of positive solutions to quasi-linear elliptic eq uations with exponential growth in the whole Euclidean space, J. Funct. Anal. 262 (2012) 1679-1704
2012
-
[32]
Zhang, Z.L
J. Zhang, Z.L. Lou, Y.J. Ji, W. Shao, Multiplicity of solutions of the bi-harmonic Schr¨ odinger equation with critical growth, Z. Angew. Math. Phys. 69 (2) (2018) Art. 42 25 pp
2018
-
[33]
L. Zhao, N. Zhang, Existence of solutions for a higher order Kir chhoff type problem with exponetial critical growth, Nonlinear Anal. 132 (2016) 214-226. 21
2016
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.