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

Yifan Xing; Jinhui Zhao

doi:10.1186/s13661-018-0975-1

Research
Open Access

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

Yifan Xing^{1, 2, 3} and
Jinhui Zhao⁴Email author

Boundary Value Problems20182018:59

https://doi.org/10.1186/s13661-018-0975-1

Received: 5 March 2018
Accepted: 3 April 2018
Published: 20 April 2018

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.

Keywords

Two-dimensional Schrödinger equation
Schrödinger type inequality
Boundary behavior
Singular solution

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.

Declarations

Acknowledgements

The authors are grateful to the anonymous reviewers for carefully reading this paper and for their comments and suggestions which have improved the paper.

Availability of data and materials

Not applicable.

Funding

This work was supported by National Natural Science Foundation of China (No. 61403356) and Zhejiang Provincial Natural Science Foundation of China (No. LY18F030012).

Authors’ contributions

The authors contributed exclusively in writing this paper. They read and approved the final manuscript.

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

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.

Authors’ Affiliations

(1)

School of Mechanotronics and Vehicle Engineering, Qingyuan Polytechnic, Qingyuan, China

(2)

Shenzhen Quantum Wisdom Culture Development Company, Shenzhen, China

(3)

Centre for Quantum Technologies, National University of Singapore, Singapore, Singapore

(4)

College of Mechanical and Electrical Engineering, China Jiliang University, Hangzhou, China

References

Gil’, A., Nogin, V.: Complex powers of a differential operator related to the Schrödinger operator. Vladikavkaz. Mat. Zh. 19(1), 18–25 (2017) MathSciNetGoogle Scholar
Nakao, M.L., Narazaki, T.: Existence and decay of solutions of some nonlinear wave equations in noncylindrical domains. Math. Rep. Coll. Gen. Educ. Kyushu Univ. 11(2), 117–125 (1978) MathSciNetMATHGoogle Scholar
Abramowitz, M., Stegun, I.A. (eds.): Handbook of Mathematical Functions, 10th printing. National Bureau of Standards, Washington (1972) MATHGoogle Scholar
Bardos, C., Chen, G.: Control and stabilization for the wave equation. III: domain with moving boundary. SIAM J. Control Optim. 19, 123–138 (1981) MathSciNetView ArticleMATHGoogle Scholar
Bresters, D.W.: On the equation of Euler–Poisson–Darboux. SIAM J. Math. Anal. 1, 31–41 (1973) MathSciNetView ArticleMATHGoogle Scholar
Ferreira, J.: Nonlinear hyperbolic–parabolic partial differential equation in noncylindrical domain. Rend. Circ. Mat. Palermo 44(1), 135–146 (1995) MathSciNetView ArticleMATHGoogle Scholar
Medeiros, L.A.: Nonlinear wave equations in domains with variable boundary. Arch. Ration. Mech. Anal. 47, 47–58 (1972) View ArticleMATHGoogle Scholar
Li, Z.: Boundary behaviors of modified Green’s function with respect to the stationary Schrödinger operator and its applications. Bound. Value Probl. 2015, Article ID 242 (2015) View ArticleMATHGoogle Scholar
Schwartz, L.: Théorie des Distributions. Hermann, Paris (1978) MATHGoogle Scholar
Marion, O.: Hilbert transform, Plemelj relation, and Fourier transform of distributions. SIAM J. Math. Anal. 4(4), 656–670 (1973) MathSciNetView ArticleMATHGoogle Scholar
Pandey, J.: The Hilbert Transform of Schwartz Distributions and Applications. Wiley, New York (1996) MATHGoogle Scholar

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

Abstract

Keywords

1 Introduction

Definition 1.1

Definition 1.2

2 Construction of the solutions

3 Boundary behaviors

Theorem 3.1

Theorem 3.2

Corollary 1

4 Lemmas

Lemma 4.1

Lemma 4.2

5 Proofs of main results

5.1 Proof of Theorem 3.1

5.2 Proof of Theorem 3.2

5.3 Proof of Corollary 1

6 Conclusions

Declarations

Acknowledgements

Availability of data and materials

Funding

Authors’ contributions

Ethics approval and consent to participate

Competing interests

Consent for publication

Authors’ Affiliations

References

Copyright