- Research
- Open access
- Published:
An efficient finite element method and error analysis for eigenvalue problem of Schrödinger equation with an inverse square potential on spherical domain
Advances in Difference Equations volume 2020, Article number: 582 (2020)
Abstract
We provide an effective finite element method to solve the Schrödinger eigenvalue problem with an inverse potential on a spherical domain. To overcome the difficulties caused by the singularities of coefficients, we introduce spherical coordinate transformation and transfer the singularities from the interior of the domain to its boundary. Then by using orthogonal properties of spherical harmonic functions and variable separation technique we transform the original problem into a series of one-dimensional eigenvalue problems. We further introduce some suitable Sobolev spaces and derive the weak form and an efficient discrete scheme. Combining with the spectral theory of Babuška and Osborn for self-adjoint positive definite eigenvalue problems, we obtain error estimates of approximation eigenvalues and eigenvectors. Finally, we provide some numerical examples to show the efficiency and accuracy of the algorithm.
1 Introduction
The Schrödinger eigenvalue problem with the inverse-square (IS) or centrifugal potential is widely used in nuclear physics, quantum physics, nonlinear optics, and so on [1–6]. The potential in many electronic equations produces singularity and can describe the attraction or repulsion between objects, which usually leads to strong singularities of the eigenfunctions, and this cannot be simply regarded as a perturbation term [7–11]. Therefore new tools and techniques, different from linear elliptic operators with bounded coefficients, are urgently needed for such an eigenvalue problem with the IS potential, both in analysis and in numerics. Ghanbari et al. [12–15] and Khater et al. [16–20] discussed some effective numerical methods to remove the singularity of nonlocal operators. In addition, some other works [21–26] mainly focus on studying exact solitary wave solutions.
In the last decade, increasing attention is paid to the numerical approximation of Schrödinger operators with similar singular potentials [1, 27–30]. If we solve the Schrödinger eigenvalue problem directly in a three-dimensional domain, it will take a lot of computing time and memory capacity to obtain high-precision numerical solutions [11, 31, 32]. In practice, we usually need to solve the Schrödinger eigenvalue problem on a three-dimensional spherical domain. As far as we know, there is little work discussing the eigenvalue problem with IS potential on a spherical domain.
The purpose of this work is developing an effective finite element method for the eigenvalue problem of the Schrödinger equation with an IS potential on spherical domain. To overcome the difficulties caused by the singularities of coefficients, we introduce spherical coordinate transformation and transfer the singularities from the interior of the domain to the boundary of the domain. Then by using orthogonal properties of spherical harmonic functions and variable separation technique we reduce the original problem to a series of one-dimensional eigenvalue problems. We further introduce some suitable Sobolev spaces and derive an effective discrete scheme. Combined with the theory of self-adjoint eigenvalues, we obtain error estimates of approximation eigenvalues and eigenvectors. Finally, we give several numerical examples to verify the convergence and accuracy of the algorithm.
The rest of the paper is organized as follows. In Sect. 2, we obtain a dimensional reduction scheme for the Schrödinger eigenvalue problem with IS potential. In Sect. 3, we construct a weak form and numerical discretization scheme. In Sect. 4, we obtain error estimates of approximation eigenvalues and eigenfunctions. In Sect. 5, we study the implementation details of the algorithm. In Sect. 6, we test the accuracy and convergence of the numerical algorithm. Finally, in Sect. 7, we provide some concluding remarks.
2 Dimension reduction scheme
In this paper, we consider the following eigenvalue problem with Dirichlet boundary conditions:
where c is a bounded constant, and \(\Omega =\{(x,y,z)\in \mathbb{R}^{3} : 0\leq a< r< b \}\) with \(r=\sqrt{x^{2}+y^{2}+z^{2}}\). Let \(x=r\sin \theta \cos \phi \), \(y=r\sin \theta \sin \phi \), \(z=r\cos \theta \), \(\psi (r,\theta ,\phi )=u(x,y,z)\). We take the Laplacian in spherical coordinates
where
Then (1)–(2) can be rewritten as the eigenvalue problem of the Schrödinger equation in spherical coordinates:
We recall that an important property of the spherical harmonics \(\{Y_{m}^{l}\}\) (as normalized in [33]) is that they are eigenfunctions of the Laplace–Beltrami operator \(\Delta _{S}\). More precisely,
and from the definition of \(L^{2}(S)\) we find
Using spherical harmonic expansion, we obtain that
First of all, we take into account the case \(a=0\). Define the differential operator \(\tilde{L}_{l}\psi ^{m}_{l}=\frac{1}{r^{2}}(\partial _{r}(r^{2} \partial _{r}\psi ^{m}_{l})-l(l+1)\psi ^{m}_{l})\). By substituting expression (10) into (5) and (6) we can obtain a series of equivalent one-dimensional eigenvalue problems:
Let \(r=\frac{t+1}{2}b\), \(u^{m}_{l}(t)=\psi ^{m}_{l}(\frac{t+1}{2}b)\), and \(\mathcal{L}_{l}u^{m}_{l}=\frac{1}{(t+1)^{2}}\partial _{t}((t+1)^{2} \partial _{t}u^{m}_{l})-\frac{l(l+1)}{(t+1)^{2}}u^{m}_{l}\). Then (11)–(12) can be rewritten as
Analogously, for the case \(a>0\), inserting expression (10) into (5) and (7), we can derive the following one-dimensional eigenvalue problem:
Let \(r=\frac{b-a}{2}t+\frac{b+a}{2}\), \(u^{m}_{l}(t)=\psi ^{m}_{l}(r)\), and \(L_{l}u^{m}_{l}=\frac{4}{(b-a)^{2}r^{2}}\partial _{t}(r^{2}\partial _{t} u^{m}_{l})-\frac{l(l+1)}{r^{2}}u^{m}_{l}\). From (15)–(16) we derive that
3 Weak form and discrete scheme
When \(a=0\), we can define the space
The inner product and norm can be defined as follows:
Thus the weak form of (13)–(14) is: Find \((\lambda _{l},u^{m}_{l})\in \mathbb{R}\times H_{0,l}^{1}(I)\) such that
where
We denote by \(\tilde{V}_{h}(l)=\tilde{P}_{1h}\cap H_{0,l}^{1}(I)\) the approximation space, where \(\tilde{P}_{1h}\) is a piecewise linear interpolation polynomial space. Thus the corresponding numerical scheme of (19) is: Find \((\lambda _{lh},u^{m}_{lh})\in \mathbb{R}\times \tilde{V}_{h}(l)\) such that
When \(a>0\), the usual space can be denoted as
We define the inner product and norm as
Thus the weak form of (17)–(18) is: Find \((\lambda _{l},u^{m}_{l})\in \mathbb{R}\times H_{0}^{1}(I)\) such that
where
We denote by \(V_{h}=P_{1h}\cap H_{0}^{1}(I)\) the approximation space, where \(P_{1h}\) is a piecewise linear interpolation polynomial space. Then the corresponding numerical scheme of (21) is: Find \((\lambda _{lh},u^{m}_{lh})\in \mathbb{R}\times S_{h}(l)\) such that
4 Error estimation of approximation solutions
In this section, we prove error estimates of approximate eigenvalues and eigenfunctions. Without loss of generality, we only consider the case \(a > 0\).
Use the technique of [34], we deduce the following results.
Theorem 1
\(a_{l}(u^{m}_{l},v^{m}_{l})\) is positive definite and continuous on \(H_{0}^{1}(I) \times H_{0}^{1}(I)\), that is,
Proof
Using the Cauchy–Schwarz inequality, we find
From the Poincaré inequality we derive that
□
Similarly, we have the following conclusions.
Theorem 2
\(b_{l}(u^{m}_{l},v^{m}_{l})\) is also positive definite and continuous on \(L^{2}(I) \times L^{2}(I)\), that is,
Let \(V(\lambda _{l})\) and \(V(\lambda _{lh})\) be the eigenfunction spaces corresponding to the eigenvalues \(\lambda _{l} \) and \(\lambda _{lh}\), respectively. Let
where \(\|u^{m}_{l}\|_{a_{l}}=\sqrt{a_{l}(u^{m}_{l},u^{m}_{l})}\). From Theorems 1 and 2 we know that \(a_{l}(u^{m}_{l},v^{m}_{l})\) (resp., \(b_{l}(u^{m}_{l},v^{m}_{l})\)) is a symmetric, continuous, and coercive bilinear form on \(H^{1}_{0}(I)\times H^{1}_{0}(I)\) (resp., \(L^{2}(I) \times L^{2}(I)\)).
By the spectral theory of eigenvalue problems [34] we have the following theorem.
Theorem 3
Let \((\lambda _{l},u^{m}_{l})\) and \((\lambda _{lh},u^{m}_{lh})\) be respectively the eigenpairs of (21) and (22). Then the following inequalities hold:
Define the piecewise linear interpolation operator \(I_{h}: H_{0}^{1}(I)\rightarrow V_{h}\) by
where \(p_{li}(t)\) denotes the linear interpolation polynomial of \(u^{m}_{l}\) on the interval \(I_{i}=[t_{i-1},t_{i}]\). Let
Then from an error formula of linear interpolating remainder term we derive that
where \(\xi _{i}(t)\in I_{i}\) is a function depending on t.
For \(u^{m}_{l}\), we have the following error results.
Theorem 4
Let \(K_{li}(t)=\frac{(u^{m}_{li})^{(2)}(\xi _{i}(t))}{2!}\), \(u^{m}_{l}\in H_{0}^{1}(I)\). Suppose that \(u^{m}_{l}\) is smooth enough such that \(|\partial _{t}^{k}K_{li}(t)|\leq M(k=0,1)\), where M is a positive constant. Then
where \(h=\max_{1\leq i\leq n}\{h_{i}\}\), \(h_{i}=t_{i}-t_{i-1}\).
Proof
Since
we have
Thus we obtain
From the Poincaré inequality we derive that
This ends the proof. □
We can get the following standard error estimation results.
Theorem 5
Let \((\lambda _{l},u^{m}_{l})\) and \((\lambda _{lh},u^{m}_{lh})\) be the eigenpairs of (21) and (22), respectively. If \(u^{m}_{l}\in H_{0}^{1}(I)\) satisfy the condition of Theorem 4, then the following inequalities hold:
Proof
Since
from the Poincaré inequality and Theorem 4 we derive that
5 Implementation of the numerical scheme
In this section, we present the algorithm to solve problems (20) and (22). First, we define some basis functions. Let
where \(i= 1,\ldots , N-1\). We find that
Case 1. \(a=0\). Set
Let
Substituting expression (29) into (20) and noticing the \(v^{m}_{lh}\), we can observe the linear system
where
From the properties of the basis functions we know that the stiff matrices and mass matrix in (30) are all tridiagonal sparse matrices.
Case 2. \(a>0\). Let
Substituting expression (31) into (22) and taking \(v^{m}_{lh}\) in \(V_{h} \), we obtain the linear system
where
Similarly, from the properties of the basis functions we know that the stiff matrices and mass matrix in (32) are all tridiagonal sparse matrices.
Remark 1
Our numerical method can transform three-dimensional problems into a series of eigenvalue problems. By constructing appropriate basis functions these one-dimensional value problems will be discretized into asparse stiffness matrix and mass matrix, which can be efficiently solved.
6 Numerical experiments
In this section, we present several numerical examples to check the convergence and accuracy of the numerical algorithm.
Example 1
We take \(c=0\), \(a=0\), \(b=1\), and \(l=0,1,2\) as our example. In Tables 1–3, we provide the first four eigenvalues with different l and h of Example 1.
Example 2
We take \(c=\frac{1}{3}\), \(a=0\), \(b=1\), and \(l=0,1,2\) as our example. In Tables 1–3, we give the first four eigenvalues with different l and h of Example 2.
We know from Tables 1–6 that the approximation eigenvalues achieve at least three-digit accuracy with \(h\leq \frac{1}{512}\) for \(l=0,1,2\). To further show the convergence of approximation eigenvalues, we let the numerical solution of \(h=\frac{1}{1024}\) be the reference solution. The error of the approximate eigenvalues with different h are provided in Figs. 1–6.
We observe from Figs. 1–6 that the numerical eigenvalues are convergent.
Example 3
We take \(c=\frac{1}{2}\), \(a=1\), \(b=2\), and \(l=0,1,2\) as our example. The first four eigenvalues for different l and h are listed in Tables 7–9.
We know from Tables 7–9 that the numerical eigenvalues can achieve six-digit accuracy at least for \(h\leq \frac{1}{512}\) for \(l=0,1,2\). Similarly, we select the solutions with \(h=\frac{1}{1024}\) as the reference solutions. In Figs. 7–8, we plot the error of the approximate eigenvalues. We observe from Figs. 7–8 that the numerical eigenvalues are also convergent.
7 Conclusions
In this work, an efficient finite element method is constructed to solve the Schrödinger eigenvalue problem with the IS potential on a spherical domain. By using spherical coordinate transformation and variable separation technique, we reduce the original problem into a series of equivalent and independent eigenvalue problems, which not only overcomes the difficulty brought by the singular coefficient, but also reduces the degrees of freedom greatly by dimension reduction. Thus we can spend less computing time and memory capacity to obtain high-precision numerical solutions. Numerical results show that our algorithm is very effective. We believe that this method can be extended to more complex practical problems.
References
Felli, V., Marchini, E., Terracini, S.: On the behavior of solutions to Schrödinger equations with dipole type potentials near the singularity. Discrete Contin. Dyn. Syst. 21, 91–119 (2008)
Fournais, S., Hoffmann-Ostenhof, M., Hoffmann-Ostenhof, T., Østergaard Sørensen, T.: Analytic structure of solutions to multiconfiguration equations. J. Phys. A 42, 315208 (2009)
Moroz, S., Schmidt, R.: Nonrelativistic inverse square potential, scale anomaly, and complex extension. Ann. Phys. 325, 491–513 (2010)
Wu, H., Sprung, D.W.L.: Inverse-square potential and the quantum vortex. Phys. Rev. A 49, 4305–4311 (1994)
Case, K.M.: Singular potentials. Phys. Rev. 80, 797–806 (1950)
Frank, W.M., Land, D.J., Spector, R.M.: Singular potentials. Rev. Mod. Phys. 43, 36–98 (1971)
Cao, D., Han, P.: Solutions to critical elliptic equations with multi-singular inverse square potentials. J. Differ. Equ. 224, 332–372 (2006)
Felli, V., Marchini, E.M., Terracini, S.: On Schrödinger operators with multipolar inverse-square potentials. J. Differ. Equ. 250, 265–316 (2007)
Felli, V., Terracini, S.: Elliptic equations with multi-singular inverse-square potentials and critical nonlinearity. Commun. Partial Differ. Equ. 31, 469–495 (2006)
Kalf, H., Schmincke, U.W., Walter, J., Wüst, R.: On the spectral theory of Schrödinger and Dirac operators with strongly singular potentials. In: Spectral Theory and Differential Equations. Comm. Lecture Notes in Math., vol. 448, pp. 182–226. Springer, Berlin (1975)
Li, H., Ovall, J.S.: A posteriori eigenvalue error estimation for the Schrödinger operator with the inverse square potential. Discrete Contin. Dyn. Syst., Ser. B 20, 1377–1391 (2015)
Ghanbari, B., Atangana, A.: Some new edge detecting techniques based on fractional derivatives with non-local and non-singular kernels. Adv. Differ. Equ. 2020, 435 (2020)
Rahman, G., Nisar, K.S., Ghanbari, B., Abdeljawad, T.: On generalized fractional integral inequalities for the monotone weighted Chebyshev functionals. Adv. Differ. Equ. 2020, 368 (2020)
Ghanbari, B., Nisar, K.S., Ghanbari, B., Aldhaifallah, M.: Abundant solitary wave solutions to an extended nonlinear Schrödinger’s equation with conformable derivative using an efficient integration method. Adv. Differ. Equ. 2020, 328 (2020)
Ghanbari, B., Rada, L., Chen, K.: A restarted iterative homotopy analysis method for two nonlinear models from image processing. Int. J. Comput. Math. 91, 661–687 (2014)
Khater, M.M.A., Khater, C., et al.: Analytical, semi-analytical, and numerical solutions for the Cahn–Allen equation. Adv. Differ. Equ. 2020, 9 (2020)
Khater, M.M.A., Khater, C., et al.: On the numerical investigation of the interaction in plasma between frequency of waves. Results Phys. 18, 103317 (2020)
Khater, M.M.A., Khater, C., et al.: Abundant analytical and numerical solutions of the fractional microbiological densities model in bacteria cell as a result of diffusion mechanisms. Chaos Solitons Fractals 136, 109824 (2020)
Li, J., Attia, R.A.M., Khater, M.M.A., Lu, D.: The new structure of analytical and semi-analytical solutions of the longitudinal plasma wave equation in a magneto-electro-elastic circular rod. Mod. Phys. Lett. B 12, 2050123 (2020)
Khater, M.M.A., Attia, R.A.M., Lu, D.: Computational and numerical simulations for the nonlinear fractional Kolmogorov–Petrovskii–Piskunov (FKPP) equation. Phys. Scr. 95, 055213 (2020)
Munusamy, K., Ravichandran, C., Nisar, K.S., Ghanbari, B.: Existence of solutions for some functional integro-differential equations with nonlocal conditions. Math. Methods Appl. Sci. 328 (2020). https://doi.org/10.1002/mma.6698
Ghanbari, B., Yusuf, A., Inc, M., Baleanu, D.: The new exact solitary wave solutions and stability analysis for the \((2+1)\)-dimensional Zakharov–Kuznetsov equation. Adv. Differ. Equ. 2019, 49 (2019)
Srivastava, H.M., Günerhan, H., Ghanbari, B.: Exact traveling wave solutions for resonance nonlinear Schrödinger equation with intermodal dispersions and the Kerr law nonlinearity. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.5827
Christiansen, P.L., Muto, V., Rionero, S.: Solitary wave solutions to a system of Boussinesq-like equations. Chaos Solitons Fractals 1, 45–50 (1992)
Khater, M.M.A., Attia, R.A.M., Abdel-Aty, A.H., et al.: Analytical and semi-analytical ample solutions of the higher-order nonlinear Schrödinger equation with the non-Kerr nonlinear term. Results Phys. 12, 103000 (2020)
Khater, M.M.A., Attia, R.A.M., Abdel-Aty, A.H., et al.: Analytical and numerical solutions for the current and voltage model on an electrical transmission line with time and distance. Phys. Scr. 95, 055206 (2020)
Felli, V., Ferrero, A., Terracini, S.: Asymptotic behavior of solutions to Schrödinger equations near an isolated singularity of the electromagnetic potential. J. Eur. Math. Soc. 13, 119–174 (2011)
Hunsicker, E., Li, H., Nistor, V., Ville, U.: Analysis of Schrödinger operators with inverse square potentials I: regularity results in 3D. Bull. Math. Soc. Sci. Math. Roum. 55, 157–178 (2012)
Li, H., Nistor, V.: Analysis of a modified Schrödinger operator in 2D: regularity, index, and FEM. J. Comput. Appl. Math. 224, 320–338 (2009)
Li, H., Zhang, Z.: Efficient spectral and spectral element methods for eigenvalue problems of Schrödinger equations with an inverse square potential. SIAM J. Sci. Comput. 39(1), A114–A140 (2017)
Li, H., Ovall, J.S.: A posteriori estimation of hierarchical type for the Schrödinger operator with the inverse square potential on graded meshes. Numer. Math. 128, 707–740 (2014)
Reddien, G.W.: Finite-difference approximations to singular Sturm–Liouville eigenvalue problems. Math. Comput. 30, 278–282 (1976)
Ma, L., Shen, J., Wang, L.L.: Spectral approximation of time-harmonic Maxwell equations in three-dimensional exterior domains. Int. J. Numer. Anal. Model. 12, 1–18 (2015)
Babuška, I., Osborn, J.: Eigenvalue Problems. Handbook of Numerical Analysis, vol. II, pp. 640–787. Elsevier, Amsterdam (1991)
Acknowledgements
The authors will thank editors and reviewers for their help.
Availability of data and materials
Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.
Funding
The work of Junying Cao was supported by NSFC (Grant Nos. 11901135, 11961009) and Foundation of Guizhou Science and Technology Department (Grant No. [2020]1Y015). Yubing Sui was supported by Humanities and Social Science Research Projects of Ministry of Education of the People’s Republic of China (No. 18YJC790142). Donghao Zhang was supported by Humanities and Social Science Research Projects of Ministry of Education of the People’s Republic of China (No. 19YJC790180).
Author information
Authors and Affiliations
Contributions
YS and ZD carried out an efficient numerical approach to the eigenvalue problem of Schrödinger equation. JC helped to draft the manuscript. JZ is responsible for numerical experiments and proofs. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
We agree.
Additional information
Yubing Sui, Donghao Zhang and Jun Zhang contributed equally to this work.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sui, Y., Zhang, D., Cao, J. et al. An efficient finite element method and error analysis for eigenvalue problem of Schrödinger equation with an inverse square potential on spherical domain. Adv Differ Equ 2020, 582 (2020). https://doi.org/10.1186/s13662-020-03034-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03034-9