Existence and quantum calculus of weak solutions for a class of two-dimensional Schrödinger equations in $\mathbb{C}_{+}$

Abstract

The aim of this paper is to investigate the existence of weak solutions for a two-dimensional Schrödinger equation with a singular potential in $\mathbb{C}_{+}$. Under appropriate assumptions on the nonlinearity, we introduce a new type of quantum calculus via the Morse theory and variational methods. By applying Schrödinger type inequalities and the well-known Banach fixed point theorem in conjunction with the technique of measures of weak noncompactness, the new and more accurate estimations for boundary behaviors of them are also deduced.

1 Introduction

In this paper, we study the following two-dimensional Schrödinger equation (see [1]):

$$ \begin{gathered} \mathfrak{L}u=\partial_{t}^{2}u-x \partial_{x}^{2}u+C_{1}\partial_{x}u-C_{2} \bigl(t^{2} -4x\bigr)^{-1}u=0, \\ u_{t}(0,x) =u_{1}(x) , \\ u(0,x)=u_{0} (x), \end{gathered} $$

(1)

in the upper half plane $\mathbb{C}_{+} =\{ z=t+ix:x>0\}$, where the variables t and x are complex numbers in $\mathbb{C}_{+}$ and $C_{1}$ and $C_{2}$ are real numbers. Our first aim is to construct the solution in terms of hypergeometric functions.

Let a be a real number, $p>1$ and $C_{2}=ap$. Then Eq. (1) arises naturally by linearizing the Klein–Gordon equation variable boundary (see [2]):

$$\partial_{t}^{2}u-x\partial_{x}^{2}u+C_{1} \partial_{x}u=au^{p}, $$

in $\mathbb{C}_{+}$, which shows that

$$u=\bigl(t^{2}-4x\bigr)^{\frac{1}{1-p}}. $$

In general, the study of the solutions of the two-dimensional Schrödinger and their related properties are very complicated; especially if the roots of the characteristic polynomial are double and not analytic at the origin. The explicit difficulties in dealing with quadratic-type non-linearities in two dimensions are our inability to use the Strichartz inequalities.

However, many authors have showed that the solution of the two-dimensional Schrödinger equations can be expressed by using a variational inequality. In recent years, various extensions and generalizations of the classical variational inequality models and complementarity problems have emerged in quantum and fluid mechanics, nonlinear programming, physics, optimization and control, economics, transportation, finance, structural, elasticity and applied sciences (see [3–7] and the references therein for details).

The classical Schrödinger solution spaces $\mathfrak{H}^{p}(\mathbb {C_{+}})$ (see [8]), are defined to consist of solutions of (1), holomorphic in $\mathbb{C}_{+}$ with the property that $\mathcal{M}_{p}(u,x)$ is uniformly bounded for $x> 0$, where

$$\mathcal{M}_{p}(u,x)= \biggl( \int_{-\infty}^{+\infty} \bigl\vert u(t+ix) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}. $$

Since $|u|^{p}$ is the weak solution of (1) for $u \in\mathfrak {H}^{p}(\mathbb{C_{+}})$ (see [9]), the solution $\mathcal {M}_{p}(u,x)$ decreases in $(0,\infty)$,

$$\Vert u \Vert _{\mathfrak{H}^{p}(\mathbb{C_{+}})}=sup\bigl\{ \mathcal {M}_{p}(u,y):0< x< \infty\bigr\} =\lim_{x\to0}\mathcal{M}_{p}(u,x). $$

Define

$$\Vert u \Vert _{p}= \biggl( \int_{-\infty}^{+\infty} \bigl\vert u(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}= \Vert u \Vert _{\mathfrak{H}^{p}(\mathbb{C_{+}})}. $$

We remark that $\phi^{(k)}(t)\in\mathcal{L}^{p}$ and $\phi(t)\in\mathcal {C}^{\infty}$ if and only if $\phi(t)$ belongs to the space $\mathcal{D}_{\mathcal{L}^{p}}$ (see [6]). Let $\mathcal{F}$ denote the space, which consists of infinitely differentiable weak solution of (1) in $\mathbb {C}_{+}$. Let $\mathcal{F}'_{\mathcal{L}^{p}}$ denote the dual of the space $\mathcal{F}_{\mathcal{L}^{q}}$, that is, $\mathcal{F}'_{\mathcal{L}^{p}}= (\mathcal{F}_{\mathcal{L}^{q}})^{\prime}$. We also denote $q=\frac{p}{p-1}$ and by $D'$ the dual of the space D. So we can get $D\subseteq\mathcal{F}_{\mathcal{L}^{p}}$ and $\mathcal {F}'_{\mathcal{L}^{p}}\subseteq D^{\prime}$.

Definition 1.1

(see [10])

If $u \in\mathcal{F}^{\prime}$, then it has the following representation:

$$\lim_{x\to0^{+}} \int_{-\infty}^{+\infty} \bigl[g(t+ix)-g(t-ix) \bigr]\phi (t) \,dt=\bigl\langle u(t),\phi(t)\bigr\rangle $$

for any test function $\phi\in\mathcal{F}$ and any function $g(z)$ in $\mathbb{C}_{+}$, where $g(z)$ is analytic on the complement of the support of u.

Definition 1.2

(see [9])

Let Du be the Stokes operator defined by

$$\langle Du,\phi\rangle=\langle u,-D\phi\rangle $$

on $\mathcal{F}'_{\mathcal{L}^{p}}$ for all $\phi\in\mathcal{F}_{\mathcal {L}^{q}}$.

It is obvious that

$$Du\in\mathcal{F}^{\prime}_{\mathcal{L}^{p}}, $$

where $u \in\mathcal{F}'_{\mathcal{L}^{p}}$.

Since $u\in\mathcal{F}^{\prime}_{\mathcal{L}^{p}}$, $D\varphi\in D_{\mathcal{L}^{p^{\prime}}}$, Du defined as above is a functional on $D_{\mathcal{L}^{p^{\prime}}}$. Linearity of Du is nontrivial. If $\{\varphi_{v}\}\to\varphi$ in $D_{\mathcal {L}^{p^{\prime}}}$, then it is easy to see that

$$\langle Du,\varphi_{v}\rangle=\langle u,-D\varphi_{v} \rangle\quad \to\quad \langle u,-D\varphi\rangle=\langle Du,\varphi\rangle. $$

2 Construction of the solutions

By virtue of the weak maximum principle of superposition, it is necessary to consider the following Riemann problems:

$$ \begin{gathered} \mathfrak{R}\vartheta=0, \\ \vartheta(0,x) =x^{l}, \\ \vartheta_{t}(0,x) =0, \end{gathered} $$

(2)

and

$$ \begin{gathered} \mathfrak{R}\varsigma=0, \\ \varsigma(0,x) =0, \\ \varsigma_{t}(0,x) =x^{l}. \end{gathered} $$

(3)

First we solve (2). Put $x=\tau_{1}$ and $4x-t^{2}=\tau_{2}$ in Eqs. (2) and (3). Let

$$\vartheta(t,x) =\vartheta_{l}(t,x) =\tau_{1}^{l} \vartheta(z), $$

where

$$4\tau_{1}z=4\tau_{1}-\tau_{2}. $$

Substituting $\tau_{1}^{l}\vartheta(z)$ with ϑ, it follows that $\mathfrak {R}\vartheta=0$, from which one concludes that

$$\begin{aligned} \mathfrak{R}\vartheta={}&\frac{1}{2}\tau_{1}^{l-1} \vartheta'+z\tau _{1}^{l-1}\vartheta''-z^{2} \tau_{1}^{l-1}\vartheta''-2z \tau_{1}^{l-1}\vartheta'+lz\tau_{1}^{l-1} \vartheta ' \\ &{}+zl\tau_{1}^{l-1}\vartheta'-l(l-1) \tau_{1}^{l-1}V +C\bigl(l\tau_{1}^{l-1}V-z \tau_{1}^{l-1}\vartheta'\bigr) +\frac{B}{\tau_{2} } \tau_{1}^{l}V=0. \end{aligned}$$

By a simple calculation, we know that

$$ \begin{aligned}[b] &x(1-x) \vartheta''+ \biggl(\frac{1}{2}-\bigl(C+2(1-l) \bigr) z \biggr) \vartheta' \\ &\quad {}+\biggl(l(C-l+1) -\frac{1}{4}B\biggl(\frac{1}{x-1}\biggr)\biggr) v=0. \end{aligned} $$

(4)

By replacing $\frac{\tau_{1}}{\tau_{2}}$ by $\frac{1}{4(1-x) }$, it is obvious that

$$ x(1-x) \Pi''+ \biggl(\frac{1}{2}-\bigl(C+2( 1-l+\sigma) \bigr) z \biggr) \Pi'+\sigma\Pi=0, $$

(5)

which is equivalent to a hyperbolic–parabolic differential equation with

$$\biggl(\sigma-l,C+\sigma-l+1,\frac{1}{2} \biggr) , $$

iff

$$ \sigma \biggl(2l-\sigma-C-\frac{1}{2} \biggr) = \frac{1}{4}B. $$

(6)

It follows from the hypergeometric equation theory that the first and the second solutions for the hyperbolic–parabolic equation are

$$\Pi_{1}(z) =g(a,b;c;z) =F \biggl(\sigma -l,C+\sigma-l+1; \frac{1}{2};z \biggr) $$

and

$$\begin{aligned} \Pi_{2}(z) =z^{1/2}F \biggl( \sigma-l+\frac{1}{2},C+ \sigma-l+\frac{3}{2},\frac {3}{2};z \biggr), \end{aligned}$$

respectively.

Let $z=\frac{t^{2}}{4x}$, where $| z| <1$. It is easy to see that a complete solution of the hyperbolic–parabolic equation is

$$ \begin{aligned}[b] \Pi={}& F \biggl( \sigma-l,C+\sigma-l+1, \frac{1}{2};z \biggr) \\ &{}+ Ez^{1/2}F \biggl(\sigma-l+\frac{1}{2},C+\sigma-l+ \frac{3}{2},\frac {3}{2};z \biggr). \end{aligned} $$

(7)

So $\vartheta=x^{l}(1-x)^{\sigma}x$ is a solution of $\mathfrak{R}\vartheta=0$. Notice that

$$\vartheta(0,z)=z^{l}\quad \mbox{and}\quad\vartheta_{t}(0,z) =0, $$

which immediately shows that

$$ \vartheta=\vartheta_{l\sigma} =z^{l} \biggl(1- \frac{t^{2}}{4z} \biggr)^{\sigma} F \biggl(\sigma-l,C+\sigma-l+1, \frac{1}{2};\frac{t^{2}}{4z} \biggr). $$

(8)

Similarly, we can solve the problem (2) by letting

$$\varsigma(t,x)=tx^{l} \bigl(4x-4xt^{2} \bigr)^{\sigma'}y, $$

which shows that

$$ \begin{aligned}[b] \varsigma(t,x) & = \varsigma_{l,\sigma'}(t,x) \\ & =t(4)^{-\sigma'}x^{l-\sigma'}\bigl( 4x-t^{2} \bigr)^{\sigma'}F \biggl(\sigma'-l,C+\sigma^{\prime }-l+1, \frac{3}{2};\frac{t^{2}}{4x} \biggr). \end{aligned} $$

(9)

3 Boundary behaviors

Theorem 3.1

If $u\in\mathcal{F}'_{\mathcal{L}^{p}}$, then

$$2\pi ig(z)=\bigl\langle u(t),(t-z)^{-1}\bigr\rangle $$

is one of the representations of the solution u such that

$$\sup_{t\in\mathbb{R},t\ge\delta>0} \bigl\Vert g(t+ix) \bigr\Vert =A_{\delta}< \infty $$

and

$$\sup_{t\in\mathbb{R}} \bigl\Vert g(t+ix) \bigr\Vert =O \bigl(t^{-\frac{1}{p}}\bigr), $$

where $x\to\infty$ and there exists a function $G_{k}(z)\in\mathfrak{H}^{p}(\mathbb{C}_{+})$ such that

$$ g(z)=\sum_{l=1}^{r} \frac{\partial^{l-1}G_{k}(z)}{\partial z^{l-1}} $$

(10)

and

$$G^{(j)}(z)=\sum_{l=1}^{r} \frac{\partial^{j+l-1}G_{k}(z)}{\partial z^{j+l-1}}. $$

Theorem 3.2

If g is defined in (10) and $G_{k}\in\mathfrak{H}^{p}(\mathbb {C}_{+})$, then there exists a Schrödinger distributional solution $u(t)\in\mathcal{F}^{\prime}_{\mathcal{L}^{p}}$ such that $g(z)$ is one of the analytic representations of u.

Corollary 1

If $u(t)\in\mathcal{F}^{\prime}_{\mathcal{L}^{p}}$, then

$$2\pi ig(z)=\bigl\langle u(t),(t-z)^{-1}\bigr\rangle $$

satisfies

$$\sup_{t\in\mathbb{R},t\ge\delta>0} \bigl\Vert g(t+ix) \bigr\Vert =C_{\delta}< \infty $$

and

$$\sup_{t\in\mathbb{R}} \bigl\Vert g(t+ix) \bigr\Vert =O \bigl(t^{-\frac{1}{p}}\bigr), $$

as $x\to\infty$ and there exists a function $G_{k}$ in $\mathfrak{H}^{p}(\mathbb{C}_{+})$ such that

$$g=\sum_{l=1}^{r}\frac{\partial^{j+l-1}G_{k}}{\partial z^{j+l-1}}. $$

4 Lemmas

The following lemmas are required in this section.

Lemma 4.1

(see [11, p. 69])

If $u\in\mathcal {L}^{p}(\mathbb{R})$ and G is defined by

$$2\pi iG(u) (t)= \int_{-\infty}^{\infty}u(t) (t-z)^{-1}\,dt, $$

then

$$G(u)\in\mathfrak{H}^{p}(\mathbb{C}_{+}). $$

Lemma 4.2

(see [11, p. 77])

Let $g(z)$ be any weak solution of Eq. (1) such that the following properties hold.

• (I) $g(t+ix)\in\mathcal{L}^{p}$ for any fixed $x>0$;

• (II)
  $$\lim_{x\to0^{+}}g(t+ix)=g^{+}(t) $$

in $\mathcal{F}^{\prime}_{\mathcal{L}^{p}}$ (weakly),

$$\sup_{t\in\mathbb{R}} \bigl\Vert g(t+ix) \bigr\Vert \to O, $$

as $x\to\infty$ and

$$\sup_{t\in\mathbb{R},t\ge\delta>0} \bigl\Vert g(t+ix) \bigr\Vert =C_{\delta}< \infty. $$

Then

$$2\pi ig(z)=\bigl\langle g^{+}(t),(t-z)^{-1}\bigr\rangle , $$

where $\operatorname{Im}z>0$.

5 Proofs of main results

5.1 Proof of Theorem 3.1

By virtue of the fixed point theorem with respect to the stationary Schrödinger operator in [8], we have

$$2\pi ig(z)=\bigl\langle u^{+}(t),(t-z)^{-1}\bigr\rangle $$

for any $u\in\mathcal{F}^{\prime}_{\mathcal{L}^{p}}$, which shows that

$$\begin{aligned} 2\pi ig(z) =&\sum_{l=1}^{r} \int_{\mathbb{R}} u_{l}(t) \biggl(-\frac{\partial }{\partial t} \biggr)^{(l-1)}(t-z)^{-1}\,dt \\ =&\sum_{l=1}^{r} \int_{\mathbb{R}} u_{l}(t) (-1)^{l-1}(l-1)!(t-z)^{-l} \,dt, \end{aligned}$$

where r is a nonnegative integer and $u_{l}\in L_{p}$.

So

$$2\pi \bigl\vert g(t+ix) \bigr\vert \le\sum_{l=1}^{r} \int_{\mathbb{R}} \bigl\vert u_{l}(t) \bigr\vert (l-1)!(t-z)^{-l}\,dt, $$

which shows that

$$\bigl\vert g(t+ix) \bigr\vert \le\frac{1}{2\pi}\sum _{l=1}^{r}(l-1)! \biggl( \int_{\mathbb{R}} \bigl\vert u_{l}(t) \bigr\vert ^{p} \,dt \biggr)^{\frac{1}{p}} \biggl( \int_{R} (t-z)^{-lq}\,dt \biggr)^{\frac{1}{q}} $$

from the Hölder inequality.

Put

$$I= \int_{\mathbb{R}} (t-z)^{-lq}\,dt. $$

So

$$\begin{aligned} I =& \int_{\mathbb{R}} \frac{1}{[(t-x)^{2}+t^{2}])^{\frac{lq}{2}}}\,dt \\ =& \int_{\mathbb{R}} \frac{1}{t^{lq}[(\frac{t}{y})^{2}+1]^{\frac {lq}{2}}}\,dt \\ =&\frac{1}{t^{lq-1}} \int_{\mathbb{R}}\frac{1}{(1+t^{2})^{\frac{lq}{y}}}\,dt, \end{aligned}$$

which yields

$$I\le\frac{C}{\delta^{lq-1}}< \infty, $$

where C is a positive constant.

Since $u_{l} \in\mathcal{L}^{p}$, then

$$\sup_{t\in\mathbb{R},t\ge\delta>0} \bigl\Vert g(t+ix) \bigr\Vert =C_{\delta}< \infty, $$

where M is a positive constant,

$$\begin{aligned} &2\pi A_{\delta}=\sum_{l=1}^{r}(l-1)! \frac{MC^{\frac{1}{q}}}{\frac{k\prime -1}{\delta q}}, \\ &\bigl\vert t^{\frac{1}{p}}g(t+ix) \bigr\vert \le\sum _{l=1}^{r}(l-1)! \Vert u_{l} \Vert _{L}^{p}\frac {1}{t^{lq-1-\frac{1}{p}}} \int_{\mathbb{R}}\frac{1}{(1+t^{2})^{\frac{lq}{x}}}\,dt \end{aligned}$$

and

$$lq-1-\frac{1}{p}=p^{2}(1-l)-1< 0. $$

So

$$\lim_{x\to\infty}\sup_{t\in\mathbb{R}} \bigl\vert g(t+ix) \bigr\vert =O\bigl(t^{-\frac{1}{p}}\bigr). $$

By virtue of the structure formula, we have

$$\begin{aligned} 2\pi ig(z) =&\sum_{l=1}^{r} \int_{\mathbb{R}} u_{l}(t) \biggl(-\frac{\partial }{\partial t} \biggr)^{(l-1)}(t-z)^{-1}\,dt \\ =&\sum_{l=1}^{r} \int_{\mathbb{R}} u_{l}(t) \biggl(\frac{\partial}{\partial z} \biggr)^{(l-1)}(t-z)^{-1}\,dt \\ =&\sum_{l=1}^{r}\biggl(\frac{\partial}{\partial z} \biggr)^{(l-1)} \int_{\mathbb{R}} (t-z)^{-1}u_{l}(t)\,dt \\ =&\sum_{l=1}^{r}\biggl(\frac{\partial}{\partial z} \biggr)^{(l-1)}G_{k}(z), \end{aligned}$$

where

$$2\pi iG_{k}(z)= \int_{\mathbb{R}} u_{l}(t) (t-z)^{-1}\,dt. $$

So we obtain $G_{k}(z)\in\mathfrak{H}^{p}(C_{+})$ from Lemma 4.1, which shows that

$$G^{(j)}=\sum_{l=1}^{r}\biggl( \frac{\partial}{\partial z}\biggr)^{(k+j-1)}G_{k}. $$

5.2 Proof of Theorem 3.2

Since $G_{k}(z)\in\mathfrak{H}^{p}(C_{+})$, where $G_{k}(t+ix)\in\mathcal {L}^{p}$ for fixed x, there exists the solution $u_{l}(t)\in\mathcal {L}^{p}$, where $u_{l}$ is the nontangential limit of $g(z)$.

Since $D_{\mathcal{L}^{q}}\in\mathcal{L}^{q}$, we see that $u_{l}(t)\in D^{\prime}_{\mathcal{L}^{p}}$ and

$$\begin{aligned} \bigl\vert G_{k}(t+ix) \bigr\vert ^{p} \leq& \frac{1}{\pi t^{2}} \int_{D(t+ix,x)} \bigl\vert G_{k}(\tau+i\eta ) \bigr\vert ^{p}\,d\lambda \\ \leq&\frac{1}{\pi t^{2}} \int_{t-x}^{t+x} \int_{0}^{2x} \bigl\vert G_{k}(\tau+i \eta ) \bigr\vert ^{p}\,d\eta \,d\zeta \\ \leq&\frac{2}{\pi x} \Vert G_{k} \Vert _{\mathfrak{H}^{p}}^{p}. \end{aligned}$$

So

$$\bigl\vert G_{k}(t+ix) \bigr\vert \le\biggl(\frac{1}{x} \Vert G_{k} \Vert _{\mathfrak{H}^{p}}^{p} \biggr)^{\frac {1}{p}}=t^{\frac{1}{p}} \bigl( \Vert G_{k} \Vert _{\mathfrak{H}^{p}}^{p}\bigr)^{\frac{1}{p}}, $$

which shows that

$$G_{k}(t+ix)=O\bigl(t^{-\frac{1}{p}}\bigr), $$

where $x>0$ and

$$\sup_{t\in\mathbb{R},t\ge\delta>0} \bigl\Vert g(t+ix) \bigr\Vert \le \frac{1}{\delta} \Vert G_{k} \Vert _{\mathfrak{H}^{p}}^{p}=C_{\delta}< \infty. $$

We know that $G_{k}(z)$ can be represented as follows:

$$2\pi iG_{k}(t)=\bigl\langle u_{l}(t),(t-z)^{-1} \bigr\rangle , $$

from Lemma 4.2, which yields

$$\begin{aligned} 2\pi ig(z) =&\sum_{l=1}^{r}\biggl( \frac{\partial}{\partial z}\biggr)^{l-1}G_{k}(z) \\ =&\sum_{l=1}^{r}\biggl(\frac{\partial}{\partial z} \biggr)^{l-1}\bigl\langle u_{l}(t),(t-z)^{-1}\bigr\rangle \\ =&\sum_{l=1}^{r}\biggl\langle u_{l}(t),\biggl(\frac{\partial}{\partial z}\biggr)^{l-1}(t-z)^{-1} \biggr\rangle \\ =&\sum_{l=1}^{r}\bigl\langle D^{(l-1)}u_{l}(t),(t-z)^{-1}\bigr\rangle \\ =&\Biggl\langle \sum_{l=1}^{r} D^{(l-1)}u_{l}(t),(t-z)^{-1}\Biggr\rangle . \end{aligned}$$

Put

$$u=\sum_{l=1}^{r} D^{(l-1)}u_{l}, $$

where $u\in D^{\prime}_{\mathcal{L}^{p}}$, which shows that $g(z)$ is one of the analytic representations of u.

5.3 Proof of Corollary 1

By virtue of the fixed point theorem with respect to the stationary Schrödinger operator in [8], we know that

$$\begin{aligned} 2\pi ig(z) =&\bigl\langle u(t),(t-z)^{-j}\bigr\rangle \\ =&\sum_{l=1}^{r} \int_{\mathbb{R}} u_{l}(t) \biggl(-\frac{\partial}{\partial t} \biggr)^{(l-1)}(t-z)^{-j}\,dt \\ =&\sum_{l=1}^{r} \int_{\mathbb{R}} u_{l}(t)\frac{(l+j-2)!}{(j-1)!(t-z)^{l+j-1}}\,dt. \end{aligned}$$

The rest of the proof of the corollary is similar to the proof of Theorem 3.1. So we omit the details here for the sake of brevity.

The proof of Corollary 1 is complete.

6 Conclusions

In this paper, we investigated the existence of weak solutions for a two-dimensional Schrödinger equations with a singular potential in $\mathbb{C}_{+}$. Under appropriate assumptions on the nonlinearity, we introduced a new type of quantum calculus via the Morse theory and variational methods. By applying the well-known Banach fixed point theorem in conjunction with the technique of measures of weak noncompactness, new and more accurate estimations for boundary behaviors of them were also deduced. We significantly extended and complemented some results from the current literature.