Eigenfunction Behavior and Adaptive Finite Element Approximations of Nonlinear Eigenvalue Problems in Quantum Physics

Aihui Zhou; Bin Yang

arxiv: 1907.03968 · v1 · pith:FIH4X3FBnew · submitted 2019-07-09 · 🧮 math.NA · cs.NA· math-ph· math.MP

Eigenfunction Behavior and Adaptive Finite Element Approximations of Nonlinear Eigenvalue Problems in Quantum Physics

Bin Yang , Aihui Zhou This is my paper

Pith reviewed 2026-05-25 00:30 UTC · model grok-4.3

classification 🧮 math.NA cs.NAmath-phmath.MP

keywords nonlinear eigenvalue problemsadaptive finite element methodunique continuation propertyquantum physicsconvergence analysiseigenfunction propertiesfinite element approximations

0 comments

The pith

Eigenfunctions of nonlinear quantum eigenvalue problems cannot be polynomials on any open set, enabling adaptive finite element convergence from arbitrary initial meshes.

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

The paper proves that eigenfunctions for nonlinear eigenvalue problems from quantum physics are never polynomials on any open set, refining the classic unique continuation property. It then uses this non-polynomial character to establish convergence of adaptive finite element approximations even when the starting mesh is coarse. Standard convergence theory for such methods often demands a sufficiently fine initial mesh to guarantee error reduction, so removing that requirement has direct practical value for computations in quantum physics. The same line of argument is noted to improve existing results for certain linear eigenvalue problems as well.

Core claim

For the class of nonlinear eigenvalue problems arising in quantum physics, the eigenfunction cannot be a polynomial on any open set. This property is applied directly to prove that adaptive finite element approximations converge without requiring the initial mesh to be fine enough.

What carries the argument

The non-polynomial behavior of the eigenfunction on open sets, which refines unique continuation and is leveraged to remove the fine-initial-mesh requirement in adaptive FEM convergence proofs.

Load-bearing premise

The problems belong to the quantum-physics class in which eigenfunctions are guaranteed to be non-polynomial on every open set.

What would settle it

An explicit construction or numerical counter-example showing an eigenfunction that is exactly polynomial on some open subdomain of one of these quantum-physics problems would falsify the claim.

read the original abstract

In this paper, we investigate a class of nonlinear eigenvalue problems resulting from quantum physics. We first prove that the eigenfunction cannot be a polynomial on any open set, which may be reviewed as a refinement of the classic unique continuation property. Then we apply the non-polynomial behavior of eigenfunction to show that the adaptive finite element approximations are convergent even if the initial mesh is not fine enough. We finally remark that similar arguments can be applied to a class of linear eigenvalue problems that improve the relevant existing result.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves eigenfunctions of these quantum nonlinear eigenvalue problems are nowhere locally polynomial and uses that to get adaptive FEM convergence from coarse initial meshes, with a similar claim for linear cases.

read the letter

The main result is a proof that eigenfunctions cannot be polynomials on any open set for this class of nonlinear eigenvalue problems from quantum physics. They treat this as a refinement of unique continuation and then apply it directly to show that an adaptive finite element sequence converges even if the starting mesh does not satisfy the usual resolution conditions for nonlinear problems. They add that the same non-polynomial argument improves an existing result for certain linear eigenvalue problems. That is the concrete advance. The approach is straightforward once the property is established, and it targets a practical issue in adaptive methods where initial mesh quality can be hard to guarantee. The argument stays within the PDE class they define, so it avoids obvious circularity. The main limitation is that the abstract gives no equations or proof outline, so it is impossible to judge how much extra regularity or structure is needed to make the non-polynomial property imply the convergence statement. If the reduction is clean, the result is useful; if it leans on unstated assumptions, the gain shrinks. The citation pattern is not visible here, but the claim of improvement on linear results suggests they engage with prior work. This is for numerical analysts working on eigenvalue problems in quantum mechanics or adaptive FEM theory. A reader who needs convergence guarantees without fine initial meshes would find it relevant. It is coherent enough on its own terms to deserve a serious referee who can check the proofs in detail.

Referee Report

0 major / 1 minor

Summary. The manuscript investigates a class of nonlinear eigenvalue problems arising in quantum physics. It first proves that the corresponding eigenfunctions cannot be polynomials on any open set (presented as a refinement of the unique continuation property). This non-polynomial property is then used to establish convergence of adaptive finite element approximations even when the initial mesh is not fine enough. The authors also remark that analogous arguments apply to a class of linear eigenvalue problems and improve upon existing results.

Significance. If the stated proofs hold, the work would be significant for the analysis of adaptive finite element methods applied to nonlinear eigenvalue problems in quantum physics. The key contribution is the relaxation of the usual requirement that the initial mesh be sufficiently fine for convergence guarantees; the non-polynomial eigenfunction property supplies the necessary tool. The extension to linear problems is noted as an improvement on prior results.

minor comments (1)

[Abstract] Abstract: 'may be reviewed as' is presumably a typo for 'may be viewed as'. The final sentence is grammatically awkward ('that improve the relevant existing result'); rephrasing to 'which improve upon relevant existing results' would improve clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation of minor revision. The referee's summary accurately captures the manuscript's focus on proving non-polynomial eigenfunction behavior as a refinement of unique continuation and its application to adaptive FEM convergence for nonlinear eigenvalue problems without requiring a sufficiently fine initial mesh, along with the extension to linear problems.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained mathematical proof

full rationale

The paper's central claims consist of two explicit mathematical proofs: first, that eigenfunctions of the indicated nonlinear eigenvalue problems cannot be polynomials on any open set (a refinement of unique continuation), and second, that this non-polynomial property suffices to prove convergence of the adaptive FEM sequence even without a sufficiently fine initial mesh. Both steps are presented as direct consequences of the PDE class and the adaptive algorithm definition, with no parameter fitting, self-definitional reductions, load-bearing self-citations, or imported uniqueness theorems that collapse the argument back to its inputs. The abstract and described structure indicate an independent derivation chain that stands on its own analytic arguments rather than any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information available from the abstract regarding free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5614 in / 1052 out tokens · 42777 ms · 2026-05-25T00:30:43.559294+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

R. A. Adams , Sobolev Spaces. Academic Press, New York, 1975

work page 1975
[2]

Bao and Y

W. Bao and Y. Cai , Mathematical theory and numerical methods for Bose-Einste in conden- sation, Kinet. Relat. Mod., 6(2013), pp. 1-135

work page 2013
[3]

A. D. Becke , Perspective: ﬁfty years of density-functional theory in ch emical physics, J. Chem. Phys., 140(2014), 18A301

work page 2014
[4]

Bonito and A

A. Bonito and A. Demlow , Convergence and optimality of higher-order adaptive ﬁnite ele- ment methods for eigenvalue clusters , SIAM J. Numer. Anal., 54 (2016), pp. 2379-2388

work page 2016
[5]

H. Chen, X. Dai, X. Gong, L. He, and A. Zhou , Adaptive ﬁnite element approximations for Kohn-Sham models , Multiscale Model. Simul., 12 (2014), pp. 1828-1869

work page 2014
[6]

H. Chen, X. Gong, L. He, Z. Yang, and A. Zhou , Numerical analysis of ﬁnite dimensional approximations of Khon-Sham models , Adv. Comput. Math., 38 (2013), pp. 225-256

work page 2013
[7]

H. Chen, X. Gong, L. He, and A. Zhou , Adaptive ﬁnite element approximations for a class of nonlinear eigenvalue problems in quantum physics , Adv. Appl. Math. Mech., 3(2011), pp. 493-518

work page 2011
[8]

H. Chen, L. He, and A. Zhou , Finite element approximations of nonlinear eigenvalue pro blems in quantum physics , Comput. Methods Appl. Mech. Engrg., 200 (2011), pp. 1846-1 865

work page 2011
[9]

H. Chen, F. Liu, and A. Zhou , A two-scale higher-order ﬁnite element discretization for Schr¨ odinger equation, J. Comput. Math., 27 (2009), pp. 315-337

work page 2009
[10]

X. Dai, L. He, and A. Zhou , Convergence and quasi-optimal complexity of adaptive ﬁnit e element computations for multiple eigenvalues , IMA J. Numer. Anal., 35 (2015), pp. 1934- 1977

work page 2015
[11]

X. Dai, J. Xu, and A. Zhou , Convergence and optimal complexity of adaptive ﬁnite eleme nt eigenvalue computations , Numer. Math., 110 (2008), pp. 313-355

work page 2008
[12]

Dauge , Elliptic Boundary Value Problems on Corner Domains , Lecture Notes Math, vol

M. Dauge , Elliptic Boundary Value Problems on Corner Domains , Lecture Notes Math, vol. 1341, Springer-Verlag, Berlin, 1988

work page 1988
[13]

Steinmann , On the adaptive ﬁnite element analysis of the Kohn-Sham equations: methods,algorithms, and implementa tion, Int

D.Davydov, T.D.Young, and P. Steinmann , On the adaptive ﬁnite element analysis of the Kohn-Sham equations: methods,algorithms, and implementa tion, Int. J. Numerc. Methods Eng., 106(2016), pp. 863-888

work page 2016
[14]

Le Bris , ed., Handbook of Numerical Analysis, Vol

C. Le Bris , ed., Handbook of Numerical Analysis, Vol. X. Special issue: Comp utational Chem- istry, North-Holland, 2003

work page 2003
[15]

E. M. Garau, P. Morin, and C. Zuppa , Convergence of adaptive ﬁnite element methods for eigenvalue problems , Math. Models Methods Appl. Sci., 19 (2009), pp. 721-747

work page 2009
[16]

Gallistl , An optimal adaptive FEM for eigenvalue clusters , Numer

D. Gallistl , An optimal adaptive FEM for eigenvalue clusters , Numer. Math., 130 (2015), pp. 467-496

work page 2015
[17]

Giani and I

S. Giani and I. G. Graham , A convergent adaptive method for elliptic eigenvalue probl ems, SIAM J. Numer. Anal., 47 (2009), 1067-1091

work page 2009
[18]

X. Gong, L. Shen, D. Zhang, and A. Zhou , Finite element approximations for Schr¨ odinger equations with applications to electronic structure Compu tations, J. Comput. Math., 23 (2008), pp. 310-327

work page 2008
[19]

Harrison, I

R. Harrison, I. Moroz, and K.P. Tod , A numerical study of the Schr¨ odinger-Newton equa- tions, Nonlinearity, 16 (2003), pp. 101-122

work page 2003
[20]

Jerison and C

D. Jerison and C. E. Kenig , Unique continuation and absence of positive eigenvalues fo r Schr¨ odinger operators, Ann. Math., 121 (1985), pp. 463-494

work page 1985
[21]

E. H. Lieb , Thomas-Fermi and related theories of atoms and molecules , Rev. Mod. Phys., 53(1981), pp. 603-641

work page 1981
[22]

R. M. Martin , Electronic Structure: Basic Theory and Practical Method , Cambridge Univer- sity Press, Cambridge, 2004

work page 2004
[23]

Motamarri, M.R

P. Motamarri, M.R. Now ak, K. Leiter, J. Knap, and V. Gavini , Higher-order adaptive ﬁnite-element methods for Kohn-Sham density functional th eory, J. Comput. Phys., 253 (2013), pp. 308-343. 18

work page 2013
[24]

Penrose, On gravity’s role in quantum state reduction , Gen

R. Penrose, On gravity’s role in quantum state reduction , Gen. Rel. Grav., 28 (1996), pp. 581- 600

work page 1996
[25]

J. P. Perdew and A. Zunger , Self-interaction correction to density-functional approximations for many-electron systems , Phys. Rev. B, 23 (1981), pp. 5048-5079

work page 1981
[26]

Pesic , Abel’s Proof: An Essay on the Sources and Meaning of Mathemat ical Unsolvability , MIT Press, Cambridge etc, 2004

P. Pesic , Abel’s Proof: An Essay on the Sources and Meaning of Mathemat ical Unsolvability , MIT Press, Cambridge etc, 2004

work page 2004
[27]

Reed and B

M. Reed and B. Simon , Methods of Modern Mathematical Physics-IV: Analysis of Ope rators, Academic Press, San Diego etc, 1978

work page 1978
[28]

Schechter and B

M. Schechter and B. Simon , Unique continuation for Schrodinger operators with unboun ded potentials, J. Math. Anal. Appl., 77(1980), pp. 482-492

work page 1980
[29]

J. C. Slater , A simpliﬁcation of the Hartree-Fock method , Phys. Rev., 81 (1951), pp. 385-390

work page 1951
[30]

Tsuchida and M

E. Tsuchida and M. Tsukada , Adaptive ﬁnite-element method for electronic-structure c alcu- lations, Phys. Rev. B, 54 (1996), pp. 7602-7605

work page 1996
[31]

S. H. Vosko, L. Wilk and M. Nusair , Accurate spin-dependent electron liquid correlation energies for local spin density calculations: a critical an alysis, Can. J. Phys., 58 (1980), pp. 1200-1211

work page 1980
[32]

Wolff , Recent work on sharp estimates in second-order elliptic uni que continuation prob- lems, J

H. Wolff , Recent work on sharp estimates in second-order elliptic uni que continuation prob- lems, J. Gome. Anal., 3 (1993), pp. 621-650

work page 1993
[33]

Zhang and A

X. Zhang and A. Zhou , A singularity-based eigenfunction decomposition for Kohn -Sham equa- tions, Sci. Sin. Math., 59 (2016), pp. 1623-1634

work page 2016
[34]

Zhou , An analysis of ﬁnite-dimensional approximations for the gr ound state solution of BoseCEinstein condensates , Nonlinearity, 17 (2004), pp

A. Zhou , An analysis of ﬁnite-dimensional approximations for the gr ound state solution of BoseCEinstein condensates , Nonlinearity, 17 (2004), pp. 541-550

work page 2004
[35]

Zhou , Hohenberg-Kohn theorem for Coulomb type systems and its gen eralization, J

A. Zhou , Hohenberg-Kohn theorem for Coulomb type systems and its gen eralization, J. Math. Chem., 50 (2012), pp. 2746-2754. 19

work page 2012

[1] [1]

R. A. Adams , Sobolev Spaces. Academic Press, New York, 1975

work page 1975

[2] [2]

Bao and Y

W. Bao and Y. Cai , Mathematical theory and numerical methods for Bose-Einste in conden- sation, Kinet. Relat. Mod., 6(2013), pp. 1-135

work page 2013

[3] [3]

A. D. Becke , Perspective: ﬁfty years of density-functional theory in ch emical physics, J. Chem. Phys., 140(2014), 18A301

work page 2014

[4] [4]

Bonito and A

A. Bonito and A. Demlow , Convergence and optimality of higher-order adaptive ﬁnite ele- ment methods for eigenvalue clusters , SIAM J. Numer. Anal., 54 (2016), pp. 2379-2388

work page 2016

[5] [5]

H. Chen, X. Dai, X. Gong, L. He, and A. Zhou , Adaptive ﬁnite element approximations for Kohn-Sham models , Multiscale Model. Simul., 12 (2014), pp. 1828-1869

work page 2014

[6] [6]

H. Chen, X. Gong, L. He, Z. Yang, and A. Zhou , Numerical analysis of ﬁnite dimensional approximations of Khon-Sham models , Adv. Comput. Math., 38 (2013), pp. 225-256

work page 2013

[7] [7]

H. Chen, X. Gong, L. He, and A. Zhou , Adaptive ﬁnite element approximations for a class of nonlinear eigenvalue problems in quantum physics , Adv. Appl. Math. Mech., 3(2011), pp. 493-518

work page 2011

[8] [8]

H. Chen, L. He, and A. Zhou , Finite element approximations of nonlinear eigenvalue pro blems in quantum physics , Comput. Methods Appl. Mech. Engrg., 200 (2011), pp. 1846-1 865

work page 2011

[9] [9]

H. Chen, F. Liu, and A. Zhou , A two-scale higher-order ﬁnite element discretization for Schr¨ odinger equation, J. Comput. Math., 27 (2009), pp. 315-337

work page 2009

[10] [10]

X. Dai, L. He, and A. Zhou , Convergence and quasi-optimal complexity of adaptive ﬁnit e element computations for multiple eigenvalues , IMA J. Numer. Anal., 35 (2015), pp. 1934- 1977

work page 2015

[11] [11]

X. Dai, J. Xu, and A. Zhou , Convergence and optimal complexity of adaptive ﬁnite eleme nt eigenvalue computations , Numer. Math., 110 (2008), pp. 313-355

work page 2008

[12] [12]

Dauge , Elliptic Boundary Value Problems on Corner Domains , Lecture Notes Math, vol

M. Dauge , Elliptic Boundary Value Problems on Corner Domains , Lecture Notes Math, vol. 1341, Springer-Verlag, Berlin, 1988

work page 1988

[13] [13]

Steinmann , On the adaptive ﬁnite element analysis of the Kohn-Sham equations: methods,algorithms, and implementa tion, Int

D.Davydov, T.D.Young, and P. Steinmann , On the adaptive ﬁnite element analysis of the Kohn-Sham equations: methods,algorithms, and implementa tion, Int. J. Numerc. Methods Eng., 106(2016), pp. 863-888

work page 2016

[14] [14]

Le Bris , ed., Handbook of Numerical Analysis, Vol

C. Le Bris , ed., Handbook of Numerical Analysis, Vol. X. Special issue: Comp utational Chem- istry, North-Holland, 2003

work page 2003

[15] [15]

E. M. Garau, P. Morin, and C. Zuppa , Convergence of adaptive ﬁnite element methods for eigenvalue problems , Math. Models Methods Appl. Sci., 19 (2009), pp. 721-747

work page 2009

[16] [16]

Gallistl , An optimal adaptive FEM for eigenvalue clusters , Numer

D. Gallistl , An optimal adaptive FEM for eigenvalue clusters , Numer. Math., 130 (2015), pp. 467-496

work page 2015

[17] [17]

Giani and I

S. Giani and I. G. Graham , A convergent adaptive method for elliptic eigenvalue probl ems, SIAM J. Numer. Anal., 47 (2009), 1067-1091

work page 2009

[18] [18]

X. Gong, L. Shen, D. Zhang, and A. Zhou , Finite element approximations for Schr¨ odinger equations with applications to electronic structure Compu tations, J. Comput. Math., 23 (2008), pp. 310-327

work page 2008

[19] [19]

Harrison, I

R. Harrison, I. Moroz, and K.P. Tod , A numerical study of the Schr¨ odinger-Newton equa- tions, Nonlinearity, 16 (2003), pp. 101-122

work page 2003

[20] [20]

Jerison and C

D. Jerison and C. E. Kenig , Unique continuation and absence of positive eigenvalues fo r Schr¨ odinger operators, Ann. Math., 121 (1985), pp. 463-494

work page 1985

[21] [21]

E. H. Lieb , Thomas-Fermi and related theories of atoms and molecules , Rev. Mod. Phys., 53(1981), pp. 603-641

work page 1981

[22] [22]

R. M. Martin , Electronic Structure: Basic Theory and Practical Method , Cambridge Univer- sity Press, Cambridge, 2004

work page 2004

[23] [23]

Motamarri, M.R

P. Motamarri, M.R. Now ak, K. Leiter, J. Knap, and V. Gavini , Higher-order adaptive ﬁnite-element methods for Kohn-Sham density functional th eory, J. Comput. Phys., 253 (2013), pp. 308-343. 18

work page 2013

[24] [24]

Penrose, On gravity’s role in quantum state reduction , Gen

R. Penrose, On gravity’s role in quantum state reduction , Gen. Rel. Grav., 28 (1996), pp. 581- 600

work page 1996

[25] [25]

J. P. Perdew and A. Zunger , Self-interaction correction to density-functional approximations for many-electron systems , Phys. Rev. B, 23 (1981), pp. 5048-5079

work page 1981

[26] [26]

Pesic , Abel’s Proof: An Essay on the Sources and Meaning of Mathemat ical Unsolvability , MIT Press, Cambridge etc, 2004

P. Pesic , Abel’s Proof: An Essay on the Sources and Meaning of Mathemat ical Unsolvability , MIT Press, Cambridge etc, 2004

work page 2004

[27] [27]

Reed and B

M. Reed and B. Simon , Methods of Modern Mathematical Physics-IV: Analysis of Ope rators, Academic Press, San Diego etc, 1978

work page 1978

[28] [28]

Schechter and B

M. Schechter and B. Simon , Unique continuation for Schrodinger operators with unboun ded potentials, J. Math. Anal. Appl., 77(1980), pp. 482-492

work page 1980

[29] [29]

J. C. Slater , A simpliﬁcation of the Hartree-Fock method , Phys. Rev., 81 (1951), pp. 385-390

work page 1951

[30] [30]

Tsuchida and M

E. Tsuchida and M. Tsukada , Adaptive ﬁnite-element method for electronic-structure c alcu- lations, Phys. Rev. B, 54 (1996), pp. 7602-7605

work page 1996

[31] [31]

S. H. Vosko, L. Wilk and M. Nusair , Accurate spin-dependent electron liquid correlation energies for local spin density calculations: a critical an alysis, Can. J. Phys., 58 (1980), pp. 1200-1211

work page 1980

[32] [32]

Wolff , Recent work on sharp estimates in second-order elliptic uni que continuation prob- lems, J

H. Wolff , Recent work on sharp estimates in second-order elliptic uni que continuation prob- lems, J. Gome. Anal., 3 (1993), pp. 621-650

work page 1993

[33] [33]

Zhang and A

X. Zhang and A. Zhou , A singularity-based eigenfunction decomposition for Kohn -Sham equa- tions, Sci. Sin. Math., 59 (2016), pp. 1623-1634

work page 2016

[34] [34]

Zhou , An analysis of ﬁnite-dimensional approximations for the gr ound state solution of BoseCEinstein condensates , Nonlinearity, 17 (2004), pp

A. Zhou , An analysis of ﬁnite-dimensional approximations for the gr ound state solution of BoseCEinstein condensates , Nonlinearity, 17 (2004), pp. 541-550

work page 2004

[35] [35]

Zhou , Hohenberg-Kohn theorem for Coulomb type systems and its gen eralization, J

A. Zhou , Hohenberg-Kohn theorem for Coulomb type systems and its gen eralization, J. Math. Chem., 50 (2012), pp. 2746-2754. 19

work page 2012