Pith. sign in

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 →

arxiv 1908.03993 v1 pith:RMFWXKV7 submitted 2019-08-12 math.AP

classification math.AP MSC 35A1535Q5558E30
keywords biharmonicequationgroundstatesolutionNeharimanifoldpotentialwellSobolevspacesongraphslocallyfinitegraphconcentrationphenomenon
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 a fourth-order nonlinear equation on a locally finite weighted graph, $$\$\Delta$^2 u - \$\Delta$ u + (\$\lambda$ a + 1)u = |u|^{p-2}u,$$ with a nonnegative potential $a$ that tends to infinity away from a finite "potential well" $\Omega=\{a=0\}$, has a least-energy (ground state) solution for every $\lambda>1$ and every $p>2$. It then proves the concentration half: as $\lambda\to\infty$, these ground states converge, along subsequences, to a ground state of the Dirichlet boundary-value problem $\Delta^2 u - \Delta u + u = |u|^{p-2}u$ in $\Omega$, $u=0$ on $\partial\Omega$. The interest is that this transfers a classical Euclidean phenomenon, deepening potential wells forcing solutions to localize and solve a limit problem on the well, to the discrete graph setting and to fourth-order operators. Along the way the paper supplies the Sobolev embedding facts that make variational methods available on graphs.

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.

Watch

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

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 7 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [Title page and abstract] There are typos: 'bihar monic' in the header and 'the the boundary' in the abstract should be corrected.
  2. [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.
  3. [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.
  4. [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).
  5. [Lemma 2.5] In the proof of strong L² convergence, 'lim inf' should be 'lim'.
  6. [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}.
  7. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted; lambda and p are arbitrary constants in the theorem statements, and the constants eta_p, C, C1, nu are explicit outputs of the assumptions. The axioms are the standing graph hypotheses (G1)-(G4), the potential hypotheses (A1)-(A2), and the graph integration-by-parts formulas taken from the authors' prior work [31]. The finiteness of H(Omega) follows from boundedness of Omega in a locally finite graph. No invented entities are introduced.

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).
    These standing assumptions define the class of graphs studied and are used throughout for the Sobolev space theory, pointwise bounds, and cut-off estimates.
  • 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).
    These assumptions are needed for the compact embedding E_lambda into L^p (Lemma 2.5) and for the concentration of solutions into Omega as lambda tends to infinity (Lemma 4.3).
  • 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]).
    These lemmas are taken without proof from the authors' earlier paper [31]; they are background facts for the graph calculus and are used to derive the biharmonic integration by parts identities in Lemmas 2.3 and 2.4.
  • 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).
    This is a direct consequence of Omega containing finitely many vertices; it underpins the compactness of the limit problem.

how reviews work

0 comments
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$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [31]

    Zhang, L

    N. Zhang, L. Zhao, Convergence of ground state solutions fo r nonlinear Schr¨ odinger equations on graphs, Sci. China Math. 61 (2018) 1481-1494

  2. [1]

    Abrahams, A.M

    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

  3. [2]

    Alves, M.A.S

    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

  4. [3]

    Arnaboldi, A

    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

  5. [4]

    Bartsch, Z.Q

    T. Bartsch, Z.Q. Wang, Multiple positive solutions for a nonlinear Sc hr¨ odinger equation, Z. Angew. Math. Phys. 51 (2000) 366-384

  6. [5]

    N.K. Bose, P. Liang, Neural Network Fundamentals with Graphs, Algorithms and Applications, McGraw-Hill, 1996

  7. [6]

    Br´ ezis, L

    H. Br´ ezis, L. Nirenberg, Positive solutions of nonlinear elliptic equ ations involving critical Sobolev exponents, Comm. Pure Appl. Math. 36 (1983) 437-477

  8. [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

Show all 33 references
  1. [8]

    H.B. Ge, W.F. Jiang, Kazdan-Warner equation on infinite graphs. J . Korean Math. Soc. 55 (2018) 1091-1101

  2. [9]

    H.B. Ge, W.F. Jiang, Yamabe equations on infinite graphs, J. Math. Anal. Appl. 460 (2018) 885-890. 19

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [15]

    B.B. Hua, Y. Lin, Stochastic completeness for graphs with curv ature dimension conditions, Adv. Math. 306 (2017) 279-302

  9. [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

  10. [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

  11. [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

  12. [19]

    Lezoray, L

    O. Lezoray, L. Grady, Image Processing and Analysis with Grap hs: Theory and Practice, CRC Press 2017

  13. [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

  14. [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

  15. [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

  16. [23]

    McKenna, W

    P.J. McKenna, W. Walter, Traveling waves in a suspension bridge, SIAM J. Appl. Math. 50 (1990) 703-715

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [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

  25. [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

Pith tools

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