Advertisement

The well-posedness of stochastic Kawahara equation: fixed point argument and Fourier restriction method

  • Abd-Allah HyderEmail author
  • M. Zakarya
Open Access
Original research
  • 508 Downloads

Abstract

In this paper, we investigate the Cauchy problem for the stochastic Kawahara equation, which is a fifth-order shallow water wave equation. We prove local well-posedness for data in \(H^{s}(\mathbb {R})\), s>−7/4. Moreover, we get global existence for \(L^{2}(\mathbb {R})\) solutions. Due to the non-zero singularity of the phase function, a fixed point argument and Fourier restriction method are proposed.

Keywords

Kawahara equation Well-posedness Wiener process Fixed point theorem Fourier restriction method 

Abbreviations

KdV

Korteweg-de Vries

SPDEs

Stochastic partial differential equations

AMS Subject Classification

60H15 49K40 60H40 

Introduction

In this paper, we consider the Cauchy problem for the stochastic Kawahara equation:
$$ u_{t}+\alpha u_{5x}+\beta u_{3x}+\gamma u_{x}+\mu {uu}_{x}=\Phi\frac{\partial^{2}B}{\partial t\partial x}, $$
(1)
where α≠0, β, and γ are real numbers; μ is a complex number; u is a stochastic process defined on \((x,t)\in \mathbb {R}\times \mathbb {R_{+}}\); Φ is a linear operator; and B is a two-parameter Brownian motion on \(\mathbb {R}\times \mathbb {R_{+}}\), that is, a zero mean Gaussian process whose correlation function is given by:
$$ \mathbb{E}\left(B(x,t)B(y,s)\right)=(x\wedge y)(t\wedge s),\ \ \ t,s\geq0,\ x,y\in\mathbb{R}. $$
(2)
In general, the covariance operator Φ can be described by a kernel \(\mathcal {K}(x,y).\) The correlation function of the noise is then given by
$$\mathbb{E}\left(\Phi\frac{\partial^{2}B}{\partial t\partial x}(x,t)\Phi\frac{\partial^{2}B}{\partial t\partial x}(y,s)\right)=c(x,y)\delta_{t-s}, $$
where \(t,s\geq 0,\ x,y\in \mathbb {R}\), δ is the Dirac function and
$$c(x,y)=\int_{\mathbb{R}}\mathcal{K}(x,z)\mathcal{K}(y,z)dz. $$
Consider a fixed probability space \((\Omega,\mathcal {F},P)\) adapted to a filtration \((\mathcal {F}_{t})_{t\geq 0}\). As usual, we can rewrite the right hand side of Eq. (1) as the time derivative of a cylindrical Wiener process on \(L^{2}(\mathbb {R})\) by setting:
$$ W(t)=\frac{\partial B}{\partial x}=\sum_{i\in\mathbb{N}}\beta_{i}(t)e_{i}, $$
(3)
where \((e_{i})_{i\in \mathbb {N}}\) is an orthonormal basis of \(L^{2}(\mathbb {R})\) and \((\beta _{i})_{i\in \mathbb {N}}\) is a sequence of mutually independent real Brownian motions in \((\Omega,\mathcal {F},P)\). Let us rewrite Eq. (1) in its Itô form as follows:
$$ \left\{\begin{array}{l} du+\left(\alpha u_{5x}+\beta u_{3x}+\gamma u_{x}+\mu {uu}_{x}\right)dt=\Phi dW(t),\\ u(x,0)=u_{0}(x) \end{array}\right. $$
(4)
In order to obtain local well-posedness of Eq. (1), we mainly work on the general mild formulation of Cauchy problem (4) as below:
$$ {\begin{aligned} u(t)=U(t)u_{0}+\int_{0}^{t}U(t-s)\left(\mu {uu}_{x}\right)ds+\int_{0}^{t}U(t-s)\Phi dW(s). \end{aligned}} $$
(5)
Here, \(U(t)=\mathfrak {F}_{x}^{-1}\text {exp}\left (-it\phi (\xi)\right)\mathfrak {F}_{x}\) is the unitary group of operators related to the linearized equation:
$$ u_{t}+\alpha u_{5x}+\beta u_{3x}+\gamma u_{x}=0,\ \ \ \ (x,t)\in\mathbb{R}\times\mathbb{R_{+}}, $$
(6)
where ϕ(ξ)=αξ5βξ3+γξ is the phase function and \(\mathfrak {F}_{x}\) (or “. ̂”) is the usual Fourier transform in the x variable. We note that the phase function ϕ has non-zero singularity. This differs from the phase function of the linear Korteweg-de Vries (KdV) equation (see [1]) and causes some difficulties in the problem. To avoid these difficulties, we eliminate the singularity of the phase function ϕ by using the Fourier restriction operators [2]:
$${\begin{aligned} P^{N}f=\int_{|\xi|\geq N}e^{ix\xi}\hat{f}(\xi)d\xi,\ \ \ \ \ \ P_{N}f=\int_{|\xi|\leq N}e^{ix\xi}\hat{f}(\xi)d\xi,\ \ \forall N>0. \end{aligned}} $$
In the case of Φ≡0 (effect of the noise does not exist), Eq. (1) is reduced to the deterministic Kawahara equation:
$$ u_{t}+\alpha u_{5x}+\beta u_{3x}+\gamma u_{x}+\mu {uu}_{x}=0,\ \ \ \ (x,t)\in\mathbb{R}\times\mathbb{R_{+}}. $$
(7)

As aforesaid in [3, 4, 5], Eq. (7) is a fifth-order shallow water wave equation. It arises in study of the water waves with surface tension, in which the Bond number takes on the critical value, where the Bond number represents a dimensionless magnitude of surface tension in the shallow water regime. If we consider a realistic situation, in which a non-constant pressure affects on the surface of the fluid or the bottom of the layer is not flat, it is meaningful to add a forcing term to Eq. (7). This term can be given by the gradient of the exterior pressure or of the function whose graph defines the bottom [6, 7]. This paper focuses on the case when the forcing term is of additive white noise type. This leads us to study the stochastic fifth-order shallow water wave Eq. (1). By means of white noise functional analysis, the analytical white noise functional solutions for the nonlinear stochastic partial differential equations (SPDEs) can be investigated. This subject is attracting more and more attention [8, 9, 10, 11, 12, 13, 14, 15].

It is well known that the Cauchy problem (4) is locally well-posed for data in \(H^{s}(\mathbb {R}),\ s\in \mathbb {R}\), if for any finite time T, there exists a locally continuous mapping that transfers \(u_{0}\in H^{s}(\mathbb {R})\) to a unique solution \(u\in C\left ([0,T];H^{s}(\mathbb {R})\right)\). If the solution mapping exists for all time, we say that the Cauchy problem (4) is globally well-posed [16].

In [17], Huo obtained a local well-posedness result in \(H^{s}(\mathbb {R})(s>-11/8)\) for the Kawahara equation. Moreover, Jia and Huo [18] proved the local well-posedness of the Kawahara and modified Kawahara equations for data in \(H^{s}(\mathbb {R})\) with s>−7/4 and s≥−1/4 respectively. The first well-posedness result for the Kaup-Kupershmidt equations was presented by Tao and Cui [19]. They proved that their Cauchy problems are locally well-posed in \(H^{s}(\mathbb {R})\) for s>5/4 and s>301/108, respectively. Thereafter, Zhao and Gu [20] lowered the regularity of the initial data space to s>9/8 and improved the preceding result in [19]. Also, using a Fourier restriction method, a local well-posedness result for the Kaup-Kupershmidt equations was established in [18] for data in \(H^{s}(\mathbb {R})\) with s>0 and s>−1/4, respectively.

If α=γ=0, the model (7) is minified to the famous KdV equation:
$$ u_{t}+\beta u_{3x}+\mu {uu}_{x}=0,\ \ \ \ (x,t)\in\mathbb{R}\times\mathbb{R_{+}}. $$
(8)
The well-posedness of Eq. (8) was studied by Kenig, Ponce, and Vega [21]. They proved that its Cauchy problem is locally well-posed in \(H^{s}(\mathbb {R})\) for s>−3/4. Also, Ponce [1] discussed the general fifth-order shallow water wave equation:
$$ {\begin{aligned} u_{t}+u_{x}+c_{1}u u_{x}+c_{2}u_{3x}+c_{3} u_{x} u_{xx}+c_{4}u u_{3x}+c_{5} u_{5x}=0 \ \ \ (x,t)\in\mathbb{R}\times\mathbb{R_{+}} \end{aligned}} $$
(9)

and gave a global well-posedness result of its Cauchy problem for data in \(H^{4}(\mathbb {R})\). The well-posedness of the SPDEs has been the subject of a large amount of work. de Bouard and Debussche [22] considered the stochastic KdV equation forced by a random term of white noise type. They proved existence and uniqueness of solutions in \(H^{1}(\mathbb {R})\) and existence of martingale solutions in \(L^{2}(\mathbb {R})\) in the case of additive and multiplicative noise, respectively. Since that time, many researchers paid more attention to investigate the Cauchy problems for some SPDEs and have obtained a number of local and global well-posedness results [23, 24, 25].

The goal of this paper is to investigate the Cauchy problem of the stochastic Kawahara Eq. (1), where the random force is of additive white noise type. By employing a Fourier restriction method, a Banach fixed point theorem, and some basic inequalities, we show that Eq. (1) is locally well-posed for data in \(H^{s}(\mathbb {R}),\ s>-7/4\). Also, we give global existence for \(L^{2}(\mathbb {R})\) solutions. An outline of this paper is as follows. The “Main results” section contains precise statement of our new results and some important function spaces. In the section “The stochastic convolution estimate”, we give an estimation of the stochastic convolution term via a Fourier restriction method and some basic inequalities. In the section “Local well-posedness: proof of Theorem 1”, we use the stochastic estimation proved in the section “The stochastic convolution estimate” and the Banach fixed point theorem to obtain a local well-posedness result of Eq. (1). In the section “Global well-posedness: proof of Theorem 2”, we extend our technique and show global well-posedness result of Eq. (1). The “Summary and discussion” section is devoted to the summary and discussion.

Main results

Before giving the precise statement of our main results, we introduce some notations and assumptions.

Definition 1

For \(s,b\in \mathbb {R}\) the space \(\mathfrak {X}_{s,b}\) is defined to be the completion of the Schwartz function space \(\mathcal {S}\left (\mathbb {R}^{2}\right)\) with respect to the norm:
$$ \|u\|_{\mathfrak{X}_{s,b}}=\|U(-t)u\|_{H_{x}^{s}H_{t}^{b}}=\|\langle\xi\rangle^{s}\langle\tau+\phi(\xi)\rangle^{b}\mathfrak{F}u\|_{L^{2}_{\xi}L^{2}_{\tau}}, $$
(10)

where 〈·〉=1+|·|.

Definition 2

For T>0, \(\mathfrak {X}_{s,b}^{T}\) is the space of restrictions to [0,T] of functions in \(\mathfrak {X}_{s,b}\) endowed with the norm:
$$ \|u\|_{\mathfrak{X}_{s,b}^{T}}=\inf\{\|\tilde{u}\|_{\mathfrak{X}_{s,b}}:\tilde{u}\in \mathfrak{X}_{s,b}, u=\tilde{u}|_{[0,T]}\}. $$
(11)

Theorem 1

Assume that\(s>-\frac {7}{4}\), \(\Phi \in L_{2}^{0,s}\), \(b\in \left (0,\frac {1}{2}\right)\)and b is close enough to\(\frac {1}{2}\). If\(u_{0}\in H^{s}(\mathbb {R})\)for almost surely ωΩand u0is\(\mathcal {F}_{0}-\)measurable. Then for almost surely ωΩ, there exists a constant Tω>0and a unique solution u of the Cauchy problem (4) on [0,Tω]which satisfies:
$$u\in C\left([0,T_{\omega}];H^{s}(\mathbb{R})\right)\cap\mathfrak{X}_{s,b}^{T_{\omega}}. $$

In fact the L2−norm is preserved for a solution of the Kawahara equation [4]. Therefore, in the case of s=0, we can obtain a global existence result for Eq. (1). Precisely, we have:

Theorem 2

Let\(u_{0}\in L^{2}\left (\Omega,L^{2}(\mathbb {R})\right)\)be an\(\mathcal {F}_{0}-\)measurable initial data, and let\(\Phi \in L_{2}^{0,0}\). Then, the solution u given by Theorem 1 is global and satisfies:
$$u\in L^{2}\left(\Omega;C\left([0,T_{0}];H^{s}(\mathbb{R})\right)\right),\ \ \ \ {for any}\ \ T_{0}>0. $$

The stochastic convolution estimate

In this section, using the Fourier restriction method, the properties of Itô stochastic integral and some basic inequalities, we give an estimation for the last term in Eq. (5), which is the stochastic convolution:
$$ u_{l}(t):=\int_{0}^{t} U(t-s)\Phi dW(s). $$
(12)
Choose \(\chi \in C_{0}^{\infty }\left (\mathbb {R}_{+}\right)\) such that χ(t)=0 for t>0,χ(t)=1 for 0<t<1 and χ(t)=0 for t≥2. Hence, \(\chi \in H^{b}(\mathbb {R})\) for any \(b<\frac {1}{2}\). Let \(H_{t}^{b}:=H^{b}\left ([0,T];\mathbb {R}\right)\) be the Sobolev space in the time variable t with the norm:
$$ {\begin{aligned}\|\psi\|^{2}_{H_{t}^{b}}:=\|\psi\|^{2}_{L^{2}(\mathbb{R})}+\int_{\mathbb{R}}\int_{\mathbb{R}}\frac{|\psi(t_{1})-\psi(t_{2})|^{2}}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2},\ \ \ \ \psi\in H_{t}^{b}. \end{aligned}} $$
(13)

Now, we state and prove the estimation of the stochastic convolution (12) as follows:

Lemma 1

Assume that \(s,b\in \mathbb {R}\) with \(b\in \left (0,\frac {1}{2}\right)\), and let \(\Phi \in L_{2}^{0,s}\) Then, ul defined by (12) satisfies:
$$\chi u_{l}\in L^{2}\left(\Omega,\mathfrak{X}_{s,b}\right) $$
and
$$ \mathbb{E}\left(\|\chi u_{l}\|^{2}_{\mathfrak{X}_{s,b}}\right)\leq N(b,\chi)\|\Phi\|^{2}_{L_{0}^{0,s}}, $$
(14)

where N(b,χ)is a constant that depends on b, \(\|\chi \|_{H^{b}_{t}}\), \(\||t|^{\frac {1}{2}}\chi \|_{L^{2}_{t}}\) and \(\||t|^{\frac {1}{2}}\chi \|_{L^{\infty }_{t}}\),

Proof

Let us introduce the function
$$ w(t,.)=\chi(t)\int_{0}^{t} U(-s)\Phi dW(s),\ \ \ \ t\in \mathbb{R}_{+}. $$
(15)
This implies that U(t)w(t,.)=χ(t)ul(t). Thus, by Eq. (10), we have:
$$ {\begin{aligned} \mathbb{E}\left(\|\chi u_{l}\|^{2}_{\mathfrak{X}_{s,b}}\right)&=\mathbb{E}\left(\int_{\mathbb{R}}\int_{\mathbb{R}}\left(1+|\xi|\right)^{2s}\left(1+|\tau|\right)^{2b}|\mathfrak{F}_{x} w(t,\xi)|^{2}d\tau d\xi\right)\\ &=\int_{\mathbb{R}}\left(1+|\xi|\right)^{2s}\mathbb{E}\left(\left\|\mathfrak{F}_{x} w(.,\xi)\right\|^{2}_{H_{t}^{b}}\right)d\xi, \end{aligned}} $$
(16)
According to the expansion (3) of the cylindrical Wiener process and Eq. (13), we have:
$$ \mathbb{E}\left(\|\mathfrak{F}_{x} w(.,\xi)\|^{2}_{H_{t}^{b}}\right)=S_{1}+S_{2}, $$
(17)
where,
$$ S_{1}=\sum\limits_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\left[\mathbb{E}\left(\left\|\chi(t)\int_{0}^{t} e^{i s\phi(\xi)}d\beta_{i}(s)\right\|^{2}_{L^{2}(\mathbb{R})}\right)\right], $$
(18)
$$ {\begin{aligned} S_{2}=\sum\limits_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\left[\mathbb{E}\left(\int_{\mathbb{R}}\int_{\mathbb{R}}\frac{\left|\begin{array}{c}\chi(t_{1})\int_{0}^{t_{1}}e^{i s\phi(\xi)}d\beta_{i}(s)\\ -\chi(t_{2})\int_{0}^{t_{2}}e^{i s\phi(\xi)}d\beta_{i}(s)\end{array}\right|^{2}}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\right)\right]. \end{aligned}} $$
(19)

From the Itô isometry formula, we get:
$$\begin{array}{@{}rcl@{}} S_{1}&=&\sum\limits_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\int_{0}^{2}|\chi(t)|^{2}\ \mathbb{E}\left(\left|\int_{0}^{t} e^{i s\phi(\xi)}d\beta_{i}(s)\right|^{2}\right)dt\\ &=&\left\||t|^{\frac{1}{2}}\chi\right\|^{2}_{L^{2}_{t}}\sum\limits_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}. \end{array} $$
(20)
To estimate S2, we have:
$$ {\begin{aligned} S_{2}=&\sum_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\left[\mathbb{E}\left(\int_{\mathbb{R}}\int_{\mathbb{R}}\frac{\left| \begin{array}{c} \chi(t_{1})\int_{0}^{t_{1}}e^{i s\phi(\xi)}d\beta_{i}(s)\\ -\chi(t_{2})\int_{0}^{t_{2}}e^{i s\phi(\xi)}d\beta_{i}(s)\end{array}\right|^{2}}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\right)\right]\\ =&2\sum_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\int_{t_{2}>0}\int_{t_{1}< t_{2}}\frac{\mathbb{E}\left(\left| \begin{array}{c} \chi(t_{1})\int_{0}^{t_{1}}e^{i s\phi(\xi)}d\beta_{i}(s)\\ -\chi(t_{2})\int_{0}^{t_{2}}e^{i s\phi(\xi)}d\beta_{i}(s)\end{array}\right|^{2}\right)}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\\ \leq&\sum_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\left[2\int_{t_{2}>0}\int_{t_{1}<0}\frac{|\chi(t_{2})|^{2}\mathbb{E}\left(\left|\int_{0}^{t_{2}}e^{i s\phi(\xi)}d\beta_{i}(s)\right|^{2}\right)}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\right.\\ &\left. + 2\int_{t_{2}>0}\int_{0< t_{1}< t_{2}}\frac{\mathbb{E}\left(\left| \begin{array}{c} \chi(t_{1})\int_{0}^{t_{1}}e^{i s\phi(\xi)}d\beta_{i}(s)\\ -\chi(t_{2})\int_{0}^{t_{1}}e^{i s\phi(\xi)}d\beta_{i}(s)\\ +\chi(t_{2})\int_{t_{1}}^{t_{2}}e^{i s\phi(\xi)}d\beta_{i}(s) \end{array}\right|^{2}\right)}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\right]\\ \leq&\sum_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\left[2\int_{t_{2}>0}\int_{t_{1}<0}\frac{|\chi(t_{2})|^{2}\mathbb{E}\left(\left|\int_{0}^{t_{2}}e^{i s\phi(\xi)}d\beta_{i}(s)\right|^{2}\right)}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2} \right.\\ +&4\int_{t_{2}>0}\int_{0< t_{1}< t_{2}}\frac{|\chi(t_{1})-\chi(t_{2})|^{2}\mathbb{E}\left(\left|\int_{0}^{t_{1}}e^{i s\phi(\xi)}d\beta_{i}(s)\right|^{2}\right)}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\\ & \left. +4\int_{t_{2}>0}\int_{0< t_{1}< t_{2}}\frac{|\chi(t_{2})|^{2}\mathbb{E}\left(\left|\int_{t_{1}}^{t_{2}}e^{i s\phi(\xi)}d\beta_{i}(s)\right|^{2}\right)}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\right]\\ =&\sum_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2}\left[I_{1}+I_{2}+I_{3}\right]. \end{aligned}} $$
(21)
Now, we limit I1, I2, and I3 separately,
$$ {\begin{aligned} I_{1}\leq2\int_{0}^{2}t_{1}|\chi(t_{2})|^{2}\int_{t_{1}<0}\frac{1}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\leq M_{b}\left\||t|^{\frac{1}{2}-b}\chi\right\|^{2}_{L_{t}^{2}}. \end{aligned}} $$
(22)
Using Eq. (15) and the assumption that 2b∈(0,1), we have
$$\begin{array}{@{}rcl@{}} I_{2}&\leq&4\int_{0}^{\infty}\int_{0}^{t_{2}}\frac{t_{1}|\chi(t_{1})-\chi(t_{2})|^{2}}{\|t_{1}-t_{2}\|^{1+2b}}{dt}_{1}{dt}_{2}\\ &\leq&4\int_{0}^{2}\int_{0}^{t_{2}}\frac{t_{1}|\chi(t_{1})-\chi(t_{2})|^{2}}{\|t_{1}-t_{2}\|^{1+2b}}{dt}_{1}{dt}_{2}\\ &+&4\int_{2}^{\infty}\int_{0}^{2}\frac{t_{1}|\chi(t_{1})|^{2}}{\|t_{1}-t_{2}\|^{1+2b}}{dt}_{1}{dt}_{2}\\ &\leq&8\|\chi\|^{2}_{H_{t}^{b}}+4\left\||t|^{\frac{1}{2}}\chi\right\|^{2}_{L_{t}^{\infty}}\int_{0}^{\infty}\int_{0}^{2}\frac{1}{|t_{1}-t_{2}|^{1+2b}}{dt}_{1}{dt}_{2}\\ &\leq&8\|\chi\|^{2}_{H_{t}^{b}}+M_{b}\left\||t|^{\frac{1}{2}}\chi\right\|^{2}_{L_{t}^{\infty}}. \end{array} $$
(23)
Similarly,
$$ I_{3}\leq4\int_{0}^{2}\int_{0}^{t_{2}}\frac{|\chi(t_{2})|^{2}}{|t_{1}-t_{2}|^{2b}}{dt}_{1}{dt}_{2}\leq M_{b}\left\||t|^{\frac{1}{2}-b}\chi\right\|^{2}_{L_{t}^{2}}. $$
(24)
Combining (20)–(24) with (17), we get
$$ \mathbb{E}\left(\|\mathfrak{F}_{x} w(.,\xi)\|^{2}_{H_{t}^{b}}\right)\leq N(b,\chi)\sum_{i\in\mathbb{N}}|\hat{\Phi e_{i}}|^{2} $$
(25)

where \(N(b,\chi)=M_{b}\left (\|\chi \|_{H^{b}_{t}}+\||t|^{\frac {1}{2}}\chi \|_{L^{2}_{t}}+\||t|^{\frac {1}{2}}\chi \|_{L^{\infty }_{t}}\right)\). Hence, the estimate (14) comes from (16) and (25).

Local well-posedness: proof of Theorem 1

According to the stochastic estimation proved in the above section and the Banach fixed point theorem, we deduce a local well-posedness result of Eq. (1). That is, this section is devoted to the proof of Theorem 1. Let v(t)=U(t)u0 and \(\bar {u}=u(t)-v(t)-u_{l}(t)\), then Eq. (5) is equivalent to
$$ {\begin{aligned}\bar{u}(t)=\mathcal{A}\bar{u}(t):=\frac{1}{2}\int_{0}^{t} U(t-s)\frac{\partial}{\partial x}\left(\bar{u}^{2}+u_{l}^{2}+v^{2}+2\left(\bar{u}u_{l}+\bar{u}v+v u_{l}\right)\right)(s)ds. \end{aligned}} $$
(26)
Therefore, the goal of this section becomes to prove that \(\mathcal {A}\) is a contraction mapping in
$$\mathfrak{Y}_{R}^{T}=\left\{\bar{u}\in\mathfrak{X}_{s,b}^{T}:\|\bar{u}\|_{\mathfrak{X}_{s,b}^{T}}\leq R\right\},\ \ \ \ \ \ \ R>0,\ \ T>0, $$
where R and T are sufficiently large and small, respectively. Before doing this, we recall some previous results on the linear and bilinear estimates.

Lemma 2

[23] Assume that a>0, \(b<\frac {1}{2}\) and b is close enough to \(\frac {1}{2}\). For \(s\in \mathbb {R}\), \(u_{0}\in H^{s}(\mathbb {R})\), and \(f\in \mathfrak {X}_{s,-a}^{T}\), we have:
$$ \left\|\int_{0}^{t} U(t-\tau)f(\tau)d\tau\right\|_{\mathfrak{X}_{s,b}^{T}}\leq CT^{1-a-b}\|f\|_{\mathfrak{X}_{s,b}^{T}} $$
(27)
and
$$ \|v\|_{\mathfrak{X}_{s,b}^{T}}\leq\|u_{0}\|_{H^{s}}. $$
(28)

Lemma 3

[18] Assume that a>0, \(b<\frac {1}{2}\), and b is close enough to \(\frac {1}{2}\). For \(b'>\frac {1}{2}\), \(s>-\frac {7}{4}\), and \(u_{1},u_{2}\in \mathcal {S}(\mathbb {R}^{2})\), we have:
$$ \left\|\frac{\partial}{\partial x}(u_{1}u_{2})\right\|_{\mathfrak{X}_{s,-a}}\leq C\|u_{1}\|_{\mathfrak{X}_{s,b}}\|u_{1}\|_{\mathfrak{X}_{s,b'}} $$
(29)

provided that the right hand side is finite.

According to Lemmas 1, 2, and 3, we obtain
$$ \left\|\mathcal{A}\bar{u}\right\|_{\mathfrak{X}^{T}_{s,b}}\leq C^{\prime} T^{1-a-b}\left(R^{2}+\left\|u_{l}\right\|_{\mathfrak{X}^{T}_{s,b}}+\left\|u_{0}\right\|_{H^{s}}\right). $$
(30)
Therefore, for \(\bar {u}_{1},\bar {u}_{2}\in \mathfrak {Y}_{R}^{T}\), we get
$$ {\begin{aligned} \left\|\mathcal{A}\bar{u}_{1}-\mathcal{A}\bar{u}_{2}\right\|_{\mathfrak{X}^{T}_{s,b}}\leq C^{\prime} T^{1-a-b}\left(R^{2}+\left\|u_{l}\right\|_{\mathfrak{X}^{T}_{s,b}}+\left\|u_{0}\right\|_{H^{s}}\right)\left\|\bar{u_{1}}-\bar{u_{2}}\right\|_{\mathfrak{X}^{T}_{s,b}}. \end{aligned}} $$
(31)
Now, define the stopping time Tω by:
$$ T_{\omega}=\inf\left\{t>0:4C^{\prime} t^{1-a-b}R_{\omega}^{T}\geq1\right\}, $$
(32)
where \(R_{\omega }^{T}=\left \|u_{l}\right \|_{\mathfrak {X}^{T}_{s,b}}+\left \|u_{0}\right \|_{H^{s}}\). Then, \(\mathcal {A}\) maps the ball with center zero and radius \(R_{\omega }^{T}\) in \(\mathfrak {X}_{s,b}^{T_{\omega }}\) into itself, and
$$ \left\|\mathcal{A}\bar{u_{1}}-\mathcal{A}\bar{u_{2}}\right\|_{\mathfrak{X}^{T_{\omega}}_{s,b}}\leq\frac{3}{4}\left\|\bar{u_{1}}-\bar{u_{2}}\right\|_{\mathfrak{X}^{T_{\omega}}_{s,b}}. $$
(33)

From the fixed point theory, \(\mathcal {A}\) has a unique fixed point, which is the solution of (5) in \(\mathfrak {X}_{s,b}^{T_{\omega }}\). Observe that \(u=v+\bar {u}+u_{l}\in \mathfrak {X}^{T_{\omega }}_{s,b^{\prime }}+\mathfrak {X}^{T_{\omega }}_{s,b}\).

In the remaining part of this section, we complete the proof by showing that \(u\in C([0,T_{\omega }],H^{s}(\mathbb {R}))\). Taking in attention that \(b<\frac {1}{2}, b^{\prime } >\frac {1}{2}\). By virtue of the Sobolev imbedding theorem, we have \(v\in C\left ([0,T_{\omega }],H^{s}(\mathbb {R})\right)\). Under the condition that \(\Phi \in L_{2}^{0,s}\) and the fact that U(t) is a unitary group in \(H^{s}(\mathbb {R})\), an application of Theorem 6.10 in [16] implies that \(u_{l}\in C\left ([0,T_{\omega }];H^{s}(\mathbb {R})\right)\).

Now, choose a cutoff function \(\chi _{T}\in C_{0}^{\infty }(\mathbb {R})\) such that χT(t)=1 on [0,2], supp χT⊂[−1,2], and χT(t)=0 on (−,−1]∪[2,). Denote χq(.)=χ(q−1(.)) for some \(q\in \mathbb {R}\). By Lemma 3, we have \(\tilde {u}\tilde {u}_{x}\in \mathfrak {X}_{s,-a}\) for any prolongation \(\tilde {u}\) of u in \(\mathfrak {X}_{s,c}+\mathfrak {X}_{s,b}\). Therefore,
$$ \left\|\chi_{T}\int_{0}^{t} U(t-s)\left(\tilde{u}(s)\tilde{u}_{x}(s)\right)\right\|_{\mathfrak{X}_{s,1-a}}\leq C\left\|\tilde{u}(s)\tilde{u}_{x}(s)\right\|_{\mathfrak{X}_{s,-a}}. $$
(34)

Since \(1-a>\frac {1}{2}\), then \(\tilde {u}\in \mathfrak {X}_{s,b}\subset C\left ([0,T_{\omega }];H^{s}(\mathbb {R})\right)\). This completes the proof of Theorem 1.

Global well-posedness: proof of Theorem 2

Fix T0>0 and assume that u0 satisfies the conditions of Theorem 1. In this section, we present a proof of Theorem 2, that is, we show that the solution u can be extended to the whole interval [0,T0]. Let \(\left (\Phi _{n}\right)_{n\in \mathbb {N}}\) be a sequence in \(L_{0}^{0,4}\) such that
$$ {\lim}_{n\rightarrow\infty}\Phi_{n}=\Phi\ \ \ \ \ \text{in}\ \ L_{2}^{0,0}. $$
(35)
and let \(\left (u_{0,n}\right)_{n\in \mathbb {N}}\) be another sequence in \(L^{2}\left (\Omega,H^{s}(\mathbb {R})\right)\) such that
$$ {\lim}_{n\rightarrow\infty}u_{0,n}=u_{0}\ \ \ \ \ \text{in}\ \ L^{2}\left(\Omega,L^{2}(\mathbb{R})\right). $$
(36)
By using reasoning similar to that in [23], we can find a unique solution un in \(C\left ([0,T_{0}],H^{3}(\mathbb {R})\right)\) for
$$ {\begin{aligned} u_{n}=U(t)u_{0,n}+\int_{0}^{t} U(t-s)\left(u_{n}(s)\frac{\partial u_{n}}{\partial x}(s)\right)ds+\int_{0}^{t} U(t-s)\Phi_{n} dW(s). \end{aligned}} $$
(37)
By using the Itô formula on \(\|u_{n}\|^{2}_{L^{2}(\mathbb {R})}\) and martingale inequality (see [16]), we have
$$ \mathbb{E}\left(\sup_{t\in[0,T_{0}]}\|u_{n}\|^{2}_{L^{2}_{x}}\right)\leq\mathbb{E}\left(\|u_{0,n}\|^{2}_{L^{2}_{x}}\right)+C\|\Phi_{n}\|^{2}_{L_{2}^{0,0}}. $$
(38)
Therefore, the sequence \((u_{n})_{n\in \mathbb {N}}\) is bounded and weakly star convergent to a function \(u^{\ast }\in L^{2}\left (\Omega ;L^{\infty }\left (\left [0,T_{0}\right ];L^{2}(\mathbb {R})\right)\right)\), which satisfies
$$ \mathbb{E}\left(\sup_{t\in[0,T_{0}]}\|u^{\ast}\|^{2}_{L^{2}_{x}}\right)\leq\mathbb{E}\left(\|u_{0}\|^{2}_{L^{2}_{x}}\right)+C\|\Phi\|^{2}_{L_{2}^{0,0}}. $$
(39)
In the same way as \(\mathcal {A}\), define the mapping \(\mathcal {A}_{n}\). It is easy to show that \(\mathcal {A}_{n}\) is uniformly strict contraction on \(\mathfrak {Y}_{r(\omega)}^{t(\omega)}\) in \(\mathfrak {X}_{s,b}^{T_{\omega }}\). According to the fixed point theorem, there exists a unique function \(u\in \mathfrak {X}_{s,b}^{T_{\omega }}\) such that
$$ u=u^{\ast}={\lim}_{n\rightarrow\infty}u_{n}\ \ \ \ \ \text{a.s. in}\ \ [0,T_{\omega}], $$
(40)
where un is the unique fixed point of \(\mathcal {A}_{n}\). Also, we have
$$ \|u(t(\omega))\|_{L^{2}(\mathbb{R})}\leq\|u^{\ast}\|_{L^{\infty}\left([0,T_{0}];L^{2}(\mathbb{R})\right)}. $$
(41)

Thus, we can emerge a solution on [Tω,2Tω]. Hence, the solution u can be extended to [0,T0] almost surely by reiteration. This completes the proof of Theorem 2.

Summary and discussion

This paper is devoted to employ the Fourier restriction method, the Banach contraction principle, and some basic inequalities for investigating nonlinear SPDEs and for proving local and global well-posedness results for their solutions in convenient function spaces. Our attention is focused on the stochastic Kawahara Eq. (1), which is a fifth-order shallow water wave equation considered in random environment. We prove that Eq. (1) is locally well-posed for data in \(H^{s}(\mathbb {R})\), s>−7/4 and its solution can be extended to a global one on [0,T0]. The Fourier restriction method is proposed due to the non-zero singularity of the phase function ϕ.

The deterministic Kawahara Eq. (7) was discussed by Jia and Huo in [18]. They proved local well-posedness result for data in \(H^{s}(\mathbb {R})\), s>−7/4. In this paper, we extend their result and handle the stochastic version of the Kawahara equation by choosing new appropriate stochastic function spaces (such as the space \(\mathfrak {X}_{s,b}^{T})\) and estimating the stochastic convolution (12) in these spaces. That is, we consider a realistic situation of the fifth-order shallow water wave equations. We believe that the ideas which we have suggested in this paper can be also applied to a wide class of stochastic nonlinear evolution equations in the field of mathematical physics, for instance, the stochastic modified Kawahara, generalized KdV, Hirota-Satsuma coupled KdV, and Swada-Kotera equations.

Notes

Acknowledgements

The authors is very thankful to the editor and referees for their valuable comments and suggestions.

Funding

Not applicable.

Availability of data and materials

Not applicable.

Authors’ contributions

All authors jointly worked on the results and they read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

  1. 1.
    Ponce, G.: Lax pairs and higher order models for water waves. J. Differ. Equat. 102, 360–381 (1993).MathSciNetCrossRefGoogle Scholar
  2. 2.
    Bourgain, J.: Fourier restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations, part I: Schrödinger equation, part II: the KdV equation. Geom. Funct. Anal. 2(107-156), 209–262 (1993).CrossRefGoogle Scholar
  3. 3.
    Bona, J. L., Smith, R. S.: A model for the two-ways propagation of water waves in a channel. Math. Proc. Cambridge Philos. Soc. 79, 167–182 (1976).MathSciNetCrossRefGoogle Scholar
  4. 4.
    Kawahara, T.: Oscillatory solitary waves in dispersive media. J. Phys. Soc. Jpn. 33, 260–264 (1972).CrossRefGoogle Scholar
  5. 5.
    Kichenassamy, S., Olver, P. J.: Existence and nonexistence of solitary wave solutions to higher-order model evolution equations. SIAM J. Math. Anal. 23, 1141–1166 (1992).MathSciNetCrossRefGoogle Scholar
  6. 6.
    Akylas, T. R.: On the excitation of long nonlinear water waves by a moving pressure distribution. J. Fluid Mech. 141, 455–466 (1984).MathSciNetCrossRefGoogle Scholar
  7. 7.
    Wu, T. Y.: Generation of upstream advancing solitons by moving disturbances. J. Fluid Mech. 184, 75–99 (1987).MathSciNetCrossRefGoogle Scholar
  8. 8.
    Ghany, H. A., Hyder, A.: White noise functional solutions for the Wick-type two-dimensional stochastic Zakharov-Kuznetsov equations. Int. Rev. Phys. 6, 153–157 (2012).Google Scholar
  9. 9.
    Ghany, H. A., Okb El Bab, A. S., Zabal, A. M., Hyder, A.: The fractional coupled KdV equations: exact solutions and white noise functional approach, Vol. 22 (2013).Google Scholar
  10. 10.
    Ghany, H. A., Hyder, A.: Exact solutions for the Wick-type stochastic time-fractional KdV equations. Kuwait J. Sci. 41, 75–84 (2014).MathSciNetGoogle Scholar
  11. 11.
    Ghany, H. A., Hyder, A.: Abundant solutions of Wick-type stochastic fractional 2D KdV equations, Vol. 23 (2014).Google Scholar
  12. 12.
    Ghany, H. A., Elagan, S. K., Hyder, A.: Exact travelling wave solutions for stochastic fractional Hirota-Satsuma coupled KdV equations. Chin. J. Phys. 53, 1–14 (2015).MathSciNetGoogle Scholar
  13. 13.
    Ghany, H. A., Hyder, A., Zakarya, M.: Non-Gaussian white noise functional solutions of χ-Wick-type stochastic KdV equations. Appl. Math. Inf. Sci. 11, 915–924 (2017).MathSciNetCrossRefGoogle Scholar
  14. 14.
    Hyder, A., Zakarya, M.: Non-Gaussian Wick calculus based on hypercomplex systems. Int. J. Pure Appl. Math. 109, 539–556 (2016).CrossRefGoogle Scholar
  15. 15.
    Ghany, H. A., Zakarya, M.: Generalized solutions of Wick-type stochastic KdV-Burgers equations using exp-function method. Int. Rev. Phys. 8, 38–46 (2014).Google Scholar
  16. 16.
    Da Prato, G., Zabczyk, J.: Stochastic equations in infinite dimensions. Cambridge University Press, Cambridge (1992).CrossRefGoogle Scholar
  17. 17.
    Huo, Z.: The Cauchy problem for the fifth-order shallow water equation. Acta Math. Appl. Sin. Engl. Ser. 21, 441–454 (2005).MathSciNetCrossRefGoogle Scholar
  18. 18.
    Jia, Y., Huo, Z.: Well-posedness for the fifth-order shallow water equations. J. Diff. Equat. 246, 2448–2467 (2009).MathSciNetCrossRefGoogle Scholar
  19. 19.
    Tao, S. P., Cui, S. B.: Local and global existence of solutions to initial value problems of nonlinear Kaup-Kupershmidt equations. J. Acta Math. Sin. Engl. Ser. 21, 881–892 (2005).MathSciNetCrossRefGoogle Scholar
  20. 20.
    Zhao, X. Q., GU, S. M.: Local solvability of Cauchy problem for Kaup-Kupershmidt equation. J. Math. Res. Exposition. 30, 543–551 (2010).MathSciNetzbMATHGoogle Scholar
  21. 21.
    Kenig, C. E., Ponce, G., Vega, L.: A bilinear estimate with applications to the KdV equation. J. Amer. Math. Soc. 9, 573–603 (1996).MathSciNetCrossRefGoogle Scholar
  22. 22.
    de Bouard, A., Debussche, A.: On the stochastic Korteweg-de Vries equation. J. Funct. Anal. 154, 215–251 (1998).MathSciNetCrossRefGoogle Scholar
  23. 23.
    de Bouard, A.: White noise driven Korteweg-de Vries equation. J. Funct. Anal. 169, 532–558 (1999).MathSciNetCrossRefGoogle Scholar
  24. 24.
    Ghany, H. A., Hyder, A.: Local and global well-posedness of stochastic Zakharov- Kuznetsov equation. J. Comput. Anal. Appl. 15, 1332–1343 (2013).MathSciNetzbMATHGoogle Scholar
  25. 25.
    Printems, J.: The stochastic Korteweg-de Vries equation in\(L^{2}(\mathbb {R})\). J. Diff. Equat. 153, 338–373 (1999).MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

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 and Affiliations

  1. 1.Department of MathematicsCollege of Science, King Khalid UniversityAbhaSaudi Arabia
  2. 2.Department of Engineering Mathematics and PhysicsFaculty of Engineering, Al-Azhar UniversityCairoEgypt
  3. 3.Department of MathematicsFaculty of Science, Al-Azhar UniversityAssiutEgypt

Personalised recommendations