 Research
 Open
 Published:
Schrödingertype identity to the existence and uniqueness of a solution to the stationary Schrödinger equation
Boundary Value Problemsvolume 2019, Article number: 60 (2019)
Abstract
In this article we study applications of the Schrödingertype identity for obtaining transmutations via the fixed point index for nonlinear integral equations. It is possible to derive a wide range of transmutation operators by this method. Classical Riesz transforms are involved in the Schrödingertype identity method as basic blocks, among them are Fourier, sine and cosineFourier, Hankel, Mellin, Laplace, and some generalized transforms. In this paper, we present a modified Schrödingertype identity for solutions of a class of linear Schrödinger equations with mixed boundary conditions. The techniques used in our proofs are quite different, and most remarkably some of the proofs become simpler and more straightforward. As an application, we obtain the existence and uniqueness of a solution to the stationary Schrödinger equation in the sense of the Weyl law, which advances the recent results obtained in several articles even in a more general setting.
Introduction
The stationary Schrödinger equations are often used to express reallife problems. Naturally, we focus on finding solutions of linear Schrödinger equations. However, analytical solutions are frequently not possible to find and numerical solutions can be both theoretically and computationally complicated due to the complexity of a modified Schrödinger operator. Frequently, researchers investigate inequalities in weighted Banach spaces; see, for example, [1,2,3,4,5,6] and the references therein for details. Hence, it is appropriate to derive a generalized stationary Schrödinger inequality equation from modified Schrödinger differential equations (see [4, 5, 7]).
In recent years, under the frame of the auxiliary principle, some references, such as Ding [8], Noor [7], Chen and Zhang [9], Huang [10], and so on, introduced the related properties of weak solutions for generalized stationary Schrödinger equations of fluid dynamics and built the corresponding convergence theorems.
Due to the rapid advancement of computing resource, rigorous derivation of generalized stationary Schrödinger equations was done also for Schrödinger fluids. An asymptotic analysis of the generalized Schrödinger differential equation based on the asymptotic expansion was presented in [9, 10]. In this paper we investigate a new equation of generalized stationary Schrödinger inequalities and prove an existence and uniqueness theorem of solutions for this kind of equation.
The rest of the paper is organized as follows. In Sect. 2, we present some basic definitions, concepts, and some results that will be used later for our model problem. In Sect. 3, we prove the existence and uniqueness of weak solutions for generalized stationary Schrödinger equations. Finally, the paper is concluded in Sect. 4.
Preliminaries
In 2013, Ren [11] proposed the following linear Schrödinger model:
where S is the number of sound prey, I is the number of infected prey population, Y is the number of predator population, $\gamma (I)$ and $\eta \gamma _{1}(S)$ are predator functional response functions. Ren analyzed model (1) in terms of positivity, uniqueness, boundedness and studied the existence of the Hopf bifurcation.
Model (1) may be rewritten by Wang, Mai, and Wang (see [12]) in a simplified form as follows:
Let $I=\{1,2\}$ be an index set, $H_{i}$ be a real Hilbert space with inner product $\langle \cdot ,\cdot \rangle _{i}$ and norm $\Vert \cdot \Vert _{i}$, respectively, where $i=1,2$. Let $A: H_{1}\rightarrow H_{1}$, $B: H_{2}\rightarrow H_{2}$, $F_{1}: H_{1}\times H_{2}\rightarrow H _{1}$, and $\eta _{1}: H_{1}\times H_{1}\rightarrow H_{1}$ be mappings. Let $a_{i}: H_{i}\times H_{i}\rightarrow \mathbb{R}$ be a coercive continuous map such that

(C1)
$a_{i}(\sigma _{i},\sigma _{i})\geq c_{i} \Vert \sigma _{i}\Vert _{i}^{2}$;

(C2)
$\vert a_{i}(\varrho _{i},\sigma _{i})\vert \leq d_{i} \Vert \varrho _{i} \Vert _{i}\cdot \Vert \sigma _{i}\Vert _{i}$
for any $\varrho _{i},\sigma _{i}\in H_{i}$.
Let $b_{i}: H_{i}\times H_{i}\rightarrow \mathbb{R}$ be a map with nondifferentiable terms such that

(C3)
$b_{i}$ is a linear function for the first variable;

(C4)
$b_{i}$ is a convex function;

(C5)
There exists a positive constant $\gamma _{i}$ satisfying
$$ \gamma _{i} \Vert \varrho _{i} \Vert _{i} \cdot \Vert \sigma _{i} \Vert _{i}\geq a_{i}( \varrho _{i},\sigma _{i}) $$for any $\varrho _{i},\sigma _{i}\in H_{i}$.

(C6)
$$ b_{i}(\varrho _{i},\sigma _{i}w_{i}) \geq b_{i}(\varrho _{i},\sigma _{i})b _{i}(\varrho _{i},w_{i}) $$
for any $\varrho _{i},\sigma _{i},w_{i}\in H_{i}$.
Based on the above notations, we then define the proposed equation of generalized nonlinear stationary Schrödinger inequality problems as follows (see [13, 14]):
where $F_{1}$, $F_{2}$, and $f_{i}$ are susceptible, infected, and predator population respectively, and the corresponding parameters have the meaning as defined in [15]. Time delay is considered as a gestation period, and a disease can be transmitted by contact and spreads among prey species only.
Remark 1
There are some special cases for the model problem (3):

(1)
If $A=B=I$, $f_{i}=0$, and $a_{i}(\varrho _{i},\sigma _{i})=0$, then (3) is equivalent to
$$ \bigl\langle F_{1}(x,y),\eta _{1}(\sigma _{1},x) \bigr\rangle _{1}+b_{1}(x,\sigma _{1})b_{1}(x,x)\geq 0 $$for any $\sigma _{1}\in H_{1} $ and
$$ \bigl\langle F_{2}(x,y),\eta _{2}(\sigma _{2},y) \bigr\rangle _{2}+b_{2}(y,\sigma _{2})b_{2}(y,y)\geq 0 $$for any $\sigma _{2}\in H_{2}$.

(2)
If $H_{1}=H_{2}=H$, $f_{i}=f_{2}=f$, $\eta _{1}=\eta _{2}= \eta $, $a_{1}=a_{2}=a$, $b_{1}=b_{2}=b$, then (3) is reduced to
$$ \bigl\langle F(Ax,Bx)f,\eta (w,y) \bigr\rangle +a(y,wy)+b(y,w)b(y,y) \geq 0 $$for any $v\in H$.
We then introduce the following definition (see [16, 17]), which will be useful for the proposed method.
Definition 1
Let $A: H_{1}\rightarrow H_{1}$, $B: H_{2}\rightarrow H_{2}$, $F_{1}: H_{1}\times H_{2}\rightarrow H_{1}$, and $\eta _{1}: H_{1} \times H_{1}\rightarrow H_{1}$ be mappings. Then

(1)
$F_{1}$ is $\alpha _{1}$strongly monotone if the following inequality holds:
$$ \bigl\langle F_{1}(A\varrho _{1},\varrho _{2})F_{1}(A\sigma _{1},\varrho _{2}), \varrho _{1}\sigma _{1}) \bigr\rangle _{1} \geq \alpha _{1} \Vert \varrho _{1} \sigma _{1} \Vert _{1}^{2}, $$where $\varrho _{1},\sigma _{1}\in H_{1}$, $\varrho _{2}\in H_{2}$ and $\alpha _{1}$ is a positive constant;

(2)
If there exist two positive constants $\beta _{1}$ and $\xi _{1}$ such that
$$ \bigl\Vert F_{1}(A\varrho _{1},B\varrho _{2})F_{1}(A\sigma _{1},B\sigma _{2}) \bigr\Vert _{1}\leq \beta _{1} \Vert \varrho _{1}\sigma _{1} \Vert _{1}+\xi _{1} \Vert \varrho _{2}\sigma _{2} \Vert _{2} $$for $\varrho _{1},\sigma _{1}\in H_{1}$ and $\varrho _{2},\sigma _{2} \in H_{2}$, then $F_{1}$ is $(\beta _{1},\xi _{1})$Lipschitz continuous;

(3)
If
$$ \bigl\Vert \eta _{1}(\varrho _{1},\sigma _{1}) \bigr\Vert _{1}\leq \delta _{1} \Vert \varrho _{1} \sigma _{1} \Vert _{1} $$for $\varrho _{1},\sigma _{1}\in H_{1}$, then $\eta _{1}$ is $\delta _{1}$Lipschitz continuous, where $\delta _{1}$ is a positive constant.

(4)
If
$$ \bigl\langle \varrho _{1}\sigma _{1},\eta _{1}(\varrho _{1},\sigma _{1}) \bigr\rangle _{1} \geq \sigma _{1} \Vert \varrho _{1}\sigma _{1} \Vert _{1}^{2} $$for $\varrho _{1},\sigma _{1}\in H_{1}$, then $\eta _{1}$ is $\sigma _{1}$strongly monotone, where $\sigma _{1}$ is a positive constant.
Existence and uniqueness
In this section, we give an existence and uniqueness theorem of the solution of the auxiliary problem for (3). Under the frame of this theorem, we develop a new linearization iterative algorithm for the proposed model. First of all, let us present the following auxiliary problem for (3).
It follows that there exist $z_{1}\in H_{1}$ and $z_{2}\in H_{2}$ such that (see [18])
for any $\sigma _{1}\in H_{1}$.
for any $\sigma _{2}\in H_{2}$ and any given $(\eta _{1},x_{2})\in H _{1}\times H_{2}$.
By applying a fixed point theorem, which is due to Yao et al. (see [19]), we have the following.
Theorem 1
Let $\phi _{i}$ be a continuous function defined in $H_{1} \times H _{2}$ and S be multifunctions defined in $\mathbb{R}_{+}$. If there exists a function $m\in \mathcal{L}^{1}_{\mathrm{loc}}(\mathbb{R}_{+})$ satisfying
for any $t\in \mathbb{R}_{+}$, then there exists a solution x of problem (3) satisfying
for $s \in [0, L]$, where $\lambda ^{+}=\max \{\lambda ,0\}$.
Proof
Define
It is easy to see that it is nonempty for any $s\in [0,L]$. So
which together with (C3) gives that
So
which yields that there exists a solution x of problem
satisfying
for any $s\in [0,L]$.
Define
which is absolutely continuous and differentiable. It follows that
from (8).
And define
It follows that
for any $t \notin T$ from (9), which yields that r̅ is the solution of
So
which implies the required conclusion. □
Theorem 2
Let the following conditions hold:

(1)
$a_{i}: H_{i}\times H_{i}\rightarrow \mathbb{R}$ satisfy (C1) and (C2), $b_{i}: H_{i}\times H_{i}\rightarrow \mathbb{R}$ with (C3)–(C6);

(2)
$\eta _{i}$ is $\sigma _{i}$strongly monotone;

(3)
$\langle F_{i}(Ax,By),\eta _{i}(\sigma _{i},\cdot )\rangle $ is concave and upper semicontinuous.
Then the auxiliary problems (4) and (5) are solvable.
Proof
Let mappings $\phi _{i},\psi _{i}: H_{i}\times H_{i} \rightarrow \mathbb{R}$ be defined as follows:
and
respectively.
So
for any $\sigma _{i}, z_{i}\in H_{i}$, which yields that 1 (1) holds. And $a_{i}$ is coercive continuous, then $a_{i}(\sigma _{i},\sigma _{i}z_{i})$ is weakly upper semicontinuous.
It follows that $b_{i}$ is convex and lower semicontinuous, which means that $\langle F_{i}(Ax,By), \eta _{i}(\sigma _{i},\cdot )\rangle $ is concave and upper semicontinuous. Hence, $\phi _{i}(\sigma _{i},\cdot )$ and $\{\sigma _{i}\in H_{i}: \psi _{i}(\sigma _{i},z_{i})\}$ are convex. That is to say, conditions (2) and (3) hold.
Furthermore,
and
for each $i\in I$.
So
There exists $z_{i}^{*}\in H_{i}$ such that
for any $s\in (0,1]$ and $\sigma _{i}\in H_{i}$ from Theorem 1.
If $\sigma _{i}$ is replaced by $y_{i,t}$ in (11), then we obtain that
where
In fact, in the above formulation, the second inequality comes from that $\eta _{i}$ is affine in the second variable, $\eta _{i}(z_{i}^{*},z _{i}^{*})=0$ and $b_{i}$ satisfies (C3)–(C6).
Hence, we derive
which yields that
in the case $t\rightarrow 0^{+}$.
Therefore, $z_{1}^{*}\in H_{1}$ and $z_{2}^{*}\in H_{2}$ are the solutions of auxiliary problems (4) and (5), respectively.
In the following, we prove the uniqueness of problems (4) and (5). For any two solutions $z_{1},z_{1}^{\prime }\in H_{1}$ of (4), we have
Taking $\sigma _{1}=z_{1}^{\prime }$ in (12) and $\sigma _{1}=z _{1}$ in (13), we obtain that
Adding (14) and (15), we deduce that
which yields $z_{1}=z_{1}^{\prime }$. That is to say, $z_{1}^{*} \in H_{1}$ is the unique solution of (4). In a similar fashion, $z_{2}^{*}\in H_{2}$ is the unique solution of (5). □
Conclusions
In this work, we have studied applications of the Schrödingertype identity for obtaining transmutations via the fixed point index for nonlinear integral equations. It was possible to derive a wide range of transmutation operators by this method. Classical Riesz transforms were involved in the Schrödingertype identity method as basic blocks, among them are Fourier, sine and cosineFourier, Hankel, Mellin, Laplace, and some generalized transforms. In this paper, we presented a modified Schrödingertype identity for solutions of a class of linear Schrödinger equations with mixed boundary conditions. The techniques used in our proofs were quite different, and most remarkably some of the proofs became simpler and more straightforward. As an application, we obtained the existence and uniqueness of a solution to the stationary Schrödinger equation in the sense of the Weyl law, which advanced the recent results obtained in several articles even in a more general setting.
References
 1.
Cottle, R.: Nonlinear programs with positively bounded Jacobians. Ph.D. Dissertation, Department of Mathematics, University of California, Berkeley (1964)
 2.
Glowinski, R., Lions, J., Trémolières, R.: Numerical Analysis of Variational Inequalities. NorthHolland, Amsterdam (1981)
 3.
Hartman, P., Stampacchia, G.: On some nonlinear elliptic differential functional equations. Acta Math. 115, 153–188 (1966)
 4.
Lions, J., Stampaccia, G.: Variational inequalities. Commun. Pure Appl. Math. 20, 493–512 (1967)
 5.
Panagiotopoulos, P.: Inequality Problems in Mechanics and Applications. Birkhäuser, Boston (1985)
 6.
Parida, J., Sen, A.: A variationallike inequality problems for multifunctions with applications. J. Math. Anal. Appl. 124, 73–81 (1987)
 7.
Noor, M.: Mixed variationallike inequalities. Commun. Appl. Nonlinear Anal. 1, 63–75 (1994)
 8.
Ding, X.: Algorithm of solutions for mixednonlinear variationallike inequalities in reflexive Banach space. Appl. Math. Mech. 19, 521–529 (1998)
 9.
Zhang, X., Liu, D., Yan, Z., Zhao, G., Yuan, Y.: Schrödingertype identity for Schrödinger free boundary problems. Bound. Value Probl. 2018, 135 (2018)
 10.
Shi, D.: Upper bounds on the number of eigenvalues of stationary Schrödinger operators. J. Math. Phys. 51(8), Article ID 083523 (2010)
 11.
Ren, Y.: Solving integral representations problems for the stationary Schrödinger equation. Abstr. Appl. Anal. 2013, Article ID 715252 (2013)
 12.
Wang, J., Mai, A., Wang, H.: Existence and uniqueness of solutions for the Schrödinger integrable boundary value problem. Bound. Value Probl. 2018, 74 (2018)
 13.
Lions, P.L.: Mathematical Topics in Fluid Mechanics. Volume 2: Compressible Models. Oxford Lecture Series in Mathematics and Its Applications, vol. 10. Clarendon, Oxford (1998)
 14.
Krasnosel’skii, M.A., Rutickii, J.B.: Convex Functions and Orlicz Spaces. Noordhoff, Groningen (1961)
 15.
Qiao, Y., Guo, H.: Green matrix of eigenvalue problem and completeness of eigenfunction systems for a Hamiltonian operator derived from the wave equations. J. Inn. Mong. Univ. Nat. Sci. 49, 113–119 (2018)
 16.
Kufner, A., John, O., Fučík, S.: Function Spaces. Monographs and Textbooks on Mechanics of Solids and Fluids. Mechanics: Analysis. Noordhoff, Leyden (1977)
 17.
Nazarov, S.A.: Asymptotic solution of the Navier–Stokes problem on the flow of a thin layer of fluid. Sib. Math. J. 31(2), 296–307 (1990)
 18.
Chang, S., Xiang, S.: On the existence of solutions for a class of quasibilinear variational inequality. J. Syst. Sci. Math. Sci. 16, 136–140 (1996)
 19.
Yao, Y., Zhang, W., Wen, B., Kang, J., Ahmed, A.: Stationary solutions of a class of nonlinear Schrödinger equations. Acta Anal. Funct. Appl. 19(2), 119–124 (2017)
Acknowledgements
The author is very grateful to the editor and referees for their useful suggestions, which have improved the paper.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Correspondence to Delin Sun.
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Schrödingertype identity
 Neumann boundary condition
 Stationary Schrödinger equation