Abstract
In this article, we study a modified maximum principle approach under condition on the weight of the delay term in the feedback and the weight of the term without delay. On that basis, we prove the existence of global solutions for a quasilinear Schrödinger equation in an unbounded domain with a general nonlinear nonlinear optimal control condition in the weakly nonlinear internal feedback. The equation includes many special cases such as classical Schrödinger equations, fractional Schrödinger equations, and relativistic Schrödinger equations, etc. Our results are established by means of the fixed point theory associated with the Schrödinger operator in suitable b-metric spaces. Moreover, we establish general stability estimates by using some properties of Schrödinger convex functions.
Similar content being viewed by others
1 Introduction
This article deals with the quasilinear Schrödinger equation with a general nonlinear optimal control condition
where \(i=\sqrt{-1}\), \(\Delta ^{2}=\Delta \Delta \) is the biharmonic operator, Δ is the Laplace operator in \(\mathbb{R}^{n}\);
denotes a complex-valued function, L is the maximum existence time; n is the space dimension, and p satisfies the embedding condition
Problem (1.1), which is driven by the infinitesimal generator of a Brownian motion, has been studied by many authors. There are many references to equation (1.1); see, for example, [1–3]. It arises when one looks for standing waves to the fourth-order Schrödinger equation (see [4])
where \(\gamma \in \mathbb{R}\), \(p\geq 1\), and the space dimension is no more than three. Problem (1.3) describes a stable soliton; in particular, there are solitons in magnetic materials for \(p=1\) in 3D space.
There has been a lot of interest in fourth-order semilinear Schrödinger equations because of their strong physical background. Because of both physical and mathematical reasons, the ground states are the most important solutions. At the same time, the existence, uniqueness, and multiplicity of solutions are important characteristics. Therefore, we pay attention to the existence, uniqueness, and multiplicity of the ground states. Researchers studied the existence, nonexistence, and uniqueness of ground states to the scalar equation in [5–9] and the references therein. Results about ground states for 2 and 3 coupled systems can be found in [10–13]. Recently, Sun [14] studied the Cauchy problem of the equation
where \(\lambda \in \mathbb{R}\) and \(\mu \neq 0\).
The classical maximum principle approach associated with Schrödinger operator (see [15]) was introduced by the Schrödinger principal value of the Schrödinger integral. Liu studied the general Schrödinger equations with a superlinear Neumann boundary value problem in domains with conical points on the boundary of the bases in [4]. Sun also obtained more general sufficient conditions for maximum principle approach associated with a class of linear Schrödinger equations with mixed boundary conditions in [14]. Based on variational methods, the existence of infinitely many solutions for a fractional Kirchhoff–Schrödinger–Poisson system was studied in [16]. Coveri considered the existence and symmetry of positive solutions for a modified Schrödinger system under the Keller–Osserman type conditions in [17]. Chaharlang and Razania considered the fourth-order singular elliptic problem involving p-biharmonic operator with Dirichlet boundary condition in [18]. The existence of at least one weak solution was proved in two different cases of the nonlinear term at the origin. Some nonlocal problems of Kirchhoff type with Dirichlet boundary condition in Orlicz–Sobolev spaces were also considered in [19]. The existence and multiplicity of solutions for the Schrödinger–Kirchhoff type problems involving the fractional p-Laplacian and critical exponent were considered in [20]. The authors in [21] were concerned with the existence of nonnegative solutions of a Schrödinger–Choquard–Kirchhoff-type fractional p-equation. The existence of solutions for a class of fractional Kirchhoff-type problems with Trudinger–Moser nonlinearity was studied in [22].
In this paper, we shall use this method to study the quasilinear Schrödinger equation with a general nonlinear nonlinear optimal control condition (1.1), which contains spatial heterogeneities with arbitrary sign along the boundary. This result is new in the general framework of a heterogeneous and bounded rectangular domain. Regarding the existence of a solution of the quasilinear Schrödinger equation with a general nonlinear nonlinear optimal control condition (1.1), it was obtained in [1] by applying the maximum principle approach with respect to the Schrödinger operator. For the evolution-free Schrödinger boundary problem (1.1) in different spaces, we refer to [19, 23, 24].
2 A modified maximum principle approach
First we define the space
the energy functional
the auxiliary functionals
and
where \(\mathcal{P}(f)\) is composed of both mass and energy and \(\mathcal{I}(f)\) is considered as a Nehari functional.
The Nehari manifold is defined by
The stable set \(\mathcal{G}\) and unstable set \(\mathcal{B}\) are defined as follows:
and
where
Equation (1.1) also stems from looking for the standing wave \(\mathcal{J}(t, s)=e^{\text{i}t}f(s)\) of the equation
where A is the infinitesimal generator of a rotationally invariant Lévy process (see [18]).
Now we present a modified maximum principle approach with respect to the Schrödinger operator for the quasilinear Schrödinger equation with a general nonlinear nonlinear optimal control condition (1.1), which plays an important role in our discussions.
Theorem 2.1
Assume that \(f_{0}\in \mathcal{B}\) and \(f\in C^{2}([0,L);\mathcal{H}^{2})\) is the solution of Eq. (2.3). Then \(\mathcal{J}\) has the expression, \(\mathcal{J}(s)=\int _{\mathbb{R}^{n}}|t|^{2}|f|^{2}\,dt \), and the computation of the modified modified maximum principle approach associated with (1.1) is given by
Proof
It follows that
which yields
Substituting (2.5) into (2.4), we have
which yields
where
and
We present the estimates of \(\mathcal{K}_{1}\) and \(\mathcal{K}_{2}\) as follows:
which together with (2.6) gives
On the one hand, we have
On the other hand, we have
which together with (2.6) gives
So
Put
Substituting (2.7) and (2.8) into (2.6), we have
Further, we derive
which yields
Further, we have
which yields
So
and
which yields
Substituting the above equalities for \(\mathcal{I}_{1}\), \(\mathcal{I}_{2}\), and \(\mathcal{I}_{3}\) into (2.9), we have
which yields
The proof is complete. □
After clarifying the required assumptions on the infinitesimal generator A, we provide some examples satisfying the assumptions of Eq. (2.3). We assume the following:
-
(H1)
There exist positive constants t, c and \(\mathcal{K}\) such that
$$ -\mathcal{J}''(s)\geq c \vert s \vert ^{2t} \quad\text{for all $s\in \mathbb{R}^{n}$ with $ \vert s \vert \geq \mathcal{K}$}. $$ -
(H2)
\((1+|s|^{2t})/(1-2\mathcal{J}''(s))\) is an \(L^{q}\)-Fourier multiplier for all \(q\in [2,+\infty )\).
Remark 2.2
-
(1)
Since A is the infinitesimal generator of a rotationally invariant Lévy process (see [25–27]), we have
$$ \mathcal{J}''(s)=-\frac{a}{2} \vert s \vert ^{2}+ \int _{\mathbb{R}^{n}\setminus \{0\}} \bigl(\cos (s\cdot t)-1 \bigr)\nu ({d}t), $$(2.12)where \(a\geq 0\) and ν is an invariant Lévy measure. Thus \(s\leq 1\), \(\mathcal{J}''(s)\leq 0\) for all \(s\in \mathbb{R}^{n}\), and
$$\begin{aligned} &\sup \bigl\{ s: \text{there exist constants $c$ and $\mathcal{K}$ such that $-\mathcal{J}''(s)\geq c \vert s \vert ^{2t}$ for all $s\in \mathbb{R}^{n}$}\\ &\quad \text{with $ \vert s \vert \geq \mathcal{K}$} \bigr\} \geq 0. \end{aligned}$$ -
(2)
By (2.12) and
$$ \lim_{ \vert s \vert \to \infty } \vert s \vert ^{-2} \int _{\mathbb{R}^{n}\setminus \{0\}} \bigl(\cos (s\cdot t)-1 \bigr)\nu ({d}t)=0, $$we have that \(t=1\) if and only if \(a>0\).
Example 2.3
The infinitesimal generators \(-(-\Delta )^{t}/2\) of some rotationally invariant stable Lévy processes with index 2t fulfill (H1) and (H2), where \(0< t\leq 1\).
We go a step further. Let \(\iota:[0,+\infty )\to \mathbb{R}\) be a Borel measurable function such that \(\iota (r)\geq \varepsilon >0\). Define the symbol in (2.12) by \(a:=0\) and \(\nu ({d}x):=\iota (|x|)/|x|^{n+2t}\,{d}x\), where \(t\in (0,1)\). Then the symbol \(\mathcal{J}''\) fulfills (H1) and, by [28, Theorem 1], also (H2). In particular, if \(\iota (\cdot )\equiv 1\), the associated operator is \(-(-\Delta )^{t}/2\), up to some constant coefficient.
Example 2.4
Assume (H1) and
- (H2′):
-
There exist constants B and R such that \(|s^{\alpha }\partial ^{\alpha }\mathcal{J}''(s)|\leq B|\mathcal{J}''(s)|\) for \(\alpha \in \{0,1\}^{n}\) and \(|s|>R\).
It follows from [29, p. 117, Theorem 2.8.2] that \((1+|s|^{2t})/(1-2\mathcal{J}''(s))\) is an \(L^{q}\)-Fourier multiplier for all \(q\in [2,+\infty )\).
Example 2.5
Fix \(m, c>0\). The (minus) relativistic Schrödinger operator A is defined through (see [30, 31])
Then the symbol of A satisfies (H1) and (H2) with \(t=1/2\) by Example 2.4.
More generally, the operator
fulfills (H1) and (H2) by Example 2.4.
3 Main results
In this section, we shall state and prove our main result.
Now we state the local existence theory of solution for the Cauchy problem (1.1).
Lemma 3.1
Let \(f_{0}\in \mathcal{H}^{2}\), there exists a value \(L>0\) and a unique local solution \(f(t,s)\) of problem (1.1) in \(C([0,L];\mathcal{H}^{2})\). Moreover, if
then
otherwise \(L=\infty \) (global existence).
Lemma 3.2
The sets \(\mathcal{G}\) and \(\mathcal{B}\) are invariant manifolds.
Proof
We only prove that \(\mathcal{G}\) is invariant, \(\mathcal{B}\) can be proved similarly. Suppose that \(f_{0}\in \mathcal{G}\), we claim that \(f(s)\in \mathcal{G}\) for every \(t\in (0,L)\).
-
(i)
If \(f_{0}=0\), then we know that \(f(t,s)=0\) for any \(t\in [0,L)\). Similarly, \(f(s)\equiv 0\) is the trivial solution of the problem (1.1). So \(f(s)\in \mathcal{G}\) for any \(t\in (0,L)\).
-
(ii)
If \(f_{0}\neq 0\), it follows from Lemma 3.1 that
$$ \mathcal{P} \bigl(f(s) \bigr)\equiv \mathcal{P}(f_{0})< d\quad \text{for } t\in (0,L). $$(3.1)So there exists \(s_{1}\in (0,L)\) such that
$$ \mathcal{I} \bigl(f(s_{1}) \bigr)=0 $$and
$$ \mathcal{I} \bigl(f(s) \bigr)>0 $$for any \(t\in (0,s_{1})\). It is obvious that \(f(s_{1})\neq 0\). If \(f(s_{1})=0\), then we have \(f_{0}=0\) from mass conservation law, which contradicts the fact that \(f_{0}\neq 0\).
It follows that
$$ \mathcal{P} \bigl(f(s_{1}) \bigr)\geq d $$from the definition of d, which contradicts (3.1).
So \(f(t,s)\in \mathcal{G}\) for any \(t\in (0,L)\).
□
Theorem 3.3
If \(f_{0}\in \mathcal{G}\), then the solution \(f(t,s)\) of the initial value problem (1.1) is global, i.e., the maximum existence time is \(L=\infty \).
Proof
It follows from Theorem 2.1 and Lemma 3.2 that
for any \(t\in [0,L)\), which yields
Then according to Lemma 3.1, the existence time of a local solution of (1.1) can be extended to infinity, thus the solution of problem (1.1) is global. □
4 Conclusions
In this article, we studied a modified maximum principle approach under a condition on the weight of the delay term in the feedback and the weight of the term without delay. On that basis, we proved the existence of global solutions for a quasilinear Schrödinger equation in an unbounded domain with a general nonlinear nonlinear optimal control condition in the weakly nonlinear internal feedback. The equation included many special cases such as classical Schrödinger equations, fractional Schrödinger equations, and relativistic Schrödinger equations, etc. Our results were established by means of the fixed point theory associated with the Schrödinger operator in suitable b-metric spaces. Moreover, we established general stability estimates by using some properties of Schrödinger convex functions.
Change history
25 February 2021
A Correction to this paper has been published: https://doi.org/10.1186/s13661-021-01502-z
References
Byeon, J., Wang, Z.: Standing waves with a critical frequency for nonlinear Schrödinger equations. Arch. Ration. Mech. Anal. 165(4), 295–316 (2002)
Floer, A., Weinstein, A.: Nonspreading wave packets for the cubic Schrödinger equation with a bounded potential. J. Funct. Anal. 69(3), 397–408 (1986)
deFigueiredo, D.G., Ding, Y.H.: Solutions of a nonlinear Schrödinger equation. Discrete Contin. Dyn. Syst. 8(3), 563–584 (2002)
Liu, Z.: Existence results for the general Schrödinger equations with a superlinear Neumann boundary value problem. Bound. Value Probl. 2019, 61 (2019)
Cazenave, T.: Semilinear Schrödinger Equations. Courant Institute of Mathematical Sciences, (2003)
Kwong, M.: Uniqueness of positive solutions of \(\Delta u -u+u^{p}=0\) in \(\mathbb{R}^{n}\). Arch. Ration. Mech. Anal. 105, 243–266 (1989)
Merle, F., Raphael, P.: Sharp upper bound on the blow up rate for critical nonlinear Schrödinger equation. Geom. Funct. Anal. 13, 591–642 (2003)
Weinstein, M.: Nonlinear Schrödinger equations and sharp interpolation estimates. Commun. Math. Phys. 87, 567–576 (1983)
Willem, M.: Minimax Theorems. Progress in Nonlinear Differential Equations and Their Applications, vol. 24. Birkhäuser, Boston (1996)
Chen, Z., Zou, W.: Positive least energy solutions and phase separation for coupled Schrödinger equations with critical exponent. Arch. Ration. Mech. Anal. 205, 515–551 (2012)
Lin, T., Wei, J.: Ground state of N coupled nonlinear Schrödinger equations in \(\mathbb{R}^{N}, N\leq 3\). Commun. Math. Phys. 255, 629–653 (2005)
Ma, L., Zhao, L.: Uniqueness of ground states of some coupled nonlinear Schrödinger systems and their application. J. Differ. Equ. 245, 2551–2565 (2008)
Wei, J., Yao, W.: Uniqueness of positive solutions to some coupled nonlinear Schrödinger equations. Commun. Pure Appl. Anal. 11, 1003–1011 (2012)
Sun, D.: Schrödinger-type identity to the existence and uniqueness of a solution to the stationary Schrödinger equation. Bound. Value Probl. 2019, 60 (2019)
Serrin, J.: Local behavior of solutions of quasilinear elliptic equations. Acta Math. 111, 247–302 (1964)
Wang, L., Radulescu, V.D., Zhang, B.: Infinitely many solutions for fractional Kirchhoff–Schrödinger–Poisson systems. J. Math. Phys. 60(1), 011506 (2019)
Jacob, N.: Pseudo-Differential Operators and Markov Processes Volume II: Generators and Their Potential Theory. Imperial College Press, London (2002)
Chaharlang, M., Razani, A.: A fourth order singular elliptic problem involving p-biharmonic operator. Taiwan. J. Math. 23(3), 589–599 (2019)
Chaharlang, M., Razani, A.: Existence of infinitely many solutions for a class of nonlocal problems with Dirichlet boundary condition. Commun. Korean Math. Soc. 34(1), 155–167 (2019)
Xiang, M., Zhang, B., Radulescu, V.D.: Superlinear Schrödinger–Kirchhoff type problems involving the fractional p-Laplacian and critical exponent. Adv. Nonlinear Anal. 9(1), 690–709 (2020)
Pucci, P., Xiang, M., Zhang, B.: Existence results for Schrödinger–Choquard–Kirchhoff equations involving the fractional p-Laplacian. Adv. Calc. Var. 12(3), 253–275 (2019)
Xiang, M., Radulescu, V.D., Zhang, B.: Fractional Kirchhoff problems with critical Trudinger–Moser nonlinearity. Calc. Var. Partial Differ. Equ. 58(2), 57 (2019)
Kassay, G., Radulescu, V.D.: Equilibrium Problems and Applications. Mathematics in Science and Engineering. Elsevier, London (2018)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Nonlinear Analysis-Theory and Methods. Springer Monographs in Mathematics. Springer, Cham (2019)
Amann, H.: Nonlinear elliptic equations with nonlinear boundary conditions. In: Eckhaus, W. (ed.) New Developments in Differential Equations. Math Studies, vol. 21, pp. 43–63. North-Holland, Amsterdam (1976)
Mozer, J.: A new proof of De Giorgi’s theorem concerning the regularity problem for elliptic differential equations. Commun. Pure Appl. Math. 13(3), 457–468 (1960)
Miller, K., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. John Wiley, NewYork (1993)
Bañuelos, R., Bogdan, K.: Lévy processes and Fourier multipliers. J. Funct. Anal. 250(1), 197–213 (2007)
Nicola, F., Rodino, L.: Global Pseudo-Differential Calculus on Euclidean Spaces. Birkhäuser, Basel (2010)
Rossi, J.D.: The blow-up rate for a semilinear parabolic equation with a nonlinear boundary condition. Acta Math. Univ. Comen. 67, 343–350 (1998)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)
Acerbi, E., Fusco, N.: A transmission problem in the calculus of variations. Calc. Var. Partial Differ. Equ. 2, 1–16 (1994)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, New York (1983)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Izv. Akad. Nauk SSSR, Ser. Mat. 50(4), 675–711 (1986)
Gilardi, G.: A new approach to evolution free boundary problems. Commun. Partial Differ. Equ. 4, 1099–1123 (1979)
Rabinowitz, P.: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 7, 487–513 (1971)
Availability of data and materials
Not applicable.
Funding
This work is supported by National Natural Science Foundation of China (Grant No. 41702286), by Innovation Fund of China National Petroleum Corporation (Grant No. 2018D-5007-0209), by Open Fund (Grant No. PLN201724) of State Key Laboratory of Oil and Gas Reservoir Geology and Exploitation (Southwest Petroleum University) and by Sichuan Science and Technology Program (Grant Nos. 17GJHZ0061, 18GJHZ0206).
Author information
Authors and Affiliations
Contributions
The authors completed the paper and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
This article has been retracted. Please see the retraction notice for more detail: https://doi.org/10.1186/s13661-021-01502-z
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
Hu, Y., Qin, S., Liu, Z. et al. RETRACTED ARTICLE: Existence of global solutions to a quasilinear Schrödinger equation with general nonlinear optimal control conditions. Bound Value Probl 2020, 75 (2020). https://doi.org/10.1186/s13661-020-01370-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01370-z