Remarks on the $K_2$ group of $\mathbb{Z}[\zeta_p]$

1.   Introduction

Let $Q_T = \Omega\times(0, T)$, $B_T = \partial\Omega\times(0, T)$, where $\Omega \subset \mathbb{R}^{N}$ is a smooth bounded domain and $T > 0$. In this paper, we research initial boundary value problems for the following fully nonlocal Boussinesq equation

where $1 < \beta < 2, 0 < \sigma < 1$ and $N < 4\sigma$. Moreover, $f(u)$ is a given nonlinear function, and $\phi(x), \varphi(x)$ are initial value data. The Caputo fractional operator ${_0^{C}D_{t}^{\beta}}$ is defined by

where $\sigma$ is the gamma function. It is worth noting that ${_0^{C}D_{t}^{\beta}}u$ may turn into the usual derivative $u_{tt}$ when $\beta\rightarrow 2$, see ^[1] for details. The fractional Laplacian operator $(-\Delta)^{\sigma}$ can be defined via spectral decomposition

where $\mu_k$ and $w_k, k \in \mathbb{N}$ are eigenpairs of the following eigenvalue problem

and

Therefore, it's called the spectral fraction Laplace operator, see ^[2,3] for details. Equation (1.1) is nonlocal both in space and time, so we call such a Boussinesq equation a fully nonlocal Boussinesq equation.

Problem (1.1)'s widespread use as a model for anomalous diffusion in physical field serves as a significant incentive for study. Time fractional derivatives are generally exploited to model the omnipresent memory effects such as anomalous diffusion, wave propagations and neuronal transmission in Purkinje cells, etc. For example, in ^[4], the authors demonstrated how Caputo time fractional derivatives can be used to analyze turbulent eddies' trapping effects. In fact, $\beta$ order time fractional derivatives have been used for "superdiffusion"-in which particles spread quickly against the laws of Brownian motion. Nevertheless, time fractional derivatives and "anomalous subdiffusion" are frequently linked when $\beta \in (0, 1)$, see ^[5,6,7]. Furthermore, space fractional derivatives can be used to describe nonlocal effects, such as anomalous diffusion and Lévy processes. Recently, time or space fractional wave equations have drawn a lot of interest, see ^{[8,9,10,11,12,13,14,15,16]} for examples.

In 1872, J. Boussinesq ^[17] presented the Boussinesq equation

which can illustrate how small amplitude long waves propagate on the surface of shallow water. The improved Boussinesq equation (IBq equation) may be written as

which can describe the continuum limit of shallow water waves in a one-dimensional nonlinear lattice and other modes supporting linear waves with a negative dispersion. They can also explain the lowest-order nonlinear effects in the evolution of perturbations using a dispersion relation similar to that for sound waves (in terms of wave amplitudes). In ^[18], it was indicated that the IBq equation

may be deduced from starting with the accurate hydrodynamical set of equations in plasma and modifying the IBq equation in a manner similar to modifying the Korteweg-de Vries equation to derive

which is called IMBq (modified IBq) equation. During these years, the theory of Boussinesq equations has been developed significantly, see ^{[19,20,21,22,23,24,25]}. In ^[19,20], Wang and Chen studied Cauchy problems for the following generalized Boussinesq equation

They discussed whether or not global solutions exist. Moreover, by Banach fixed point theorm, they obtained that small-amplitude solutions exist globally. In ^[21], the authors researched Cauchy problems for the following Boussinesq equation

Using the Banach fixed point theorem, they proved that the solution exists locally. Under different dimensions, they obtained global existence of smooth solutions using potential well method. In addition, they acquired the blow-up of solutions. In general, in ^[23] and ^[24], the authors studied Cauchy problems for the generalized Boussinesq equation with damping terms, respectively. Using the Banach fixed point theorem, they constructed a class of time-weighted Sobolev spaces, and obtained global existence and long-time behavior of small amplitude solutions. In ^[26], Li, Yan and Xie studied an extended (3 + 1)-dimensional B-type Kadomtsev-Petviashvili-Boussinesq equation, and obtained a family of rational solution through its bilinear form and symbolic computation. In addition, there are many results on nonlocal nonlinear problems, see ^[27,28] for examples.

Recently, fully nonlocal evolution equations have received a lot of attention. In ^[29], Kemppainen, Siljander, Zacher studied classical solutions and large-time behavior for fully nonlocal diffusion equations. In ^[30], Li, Liu and Wang researched Cauchy problems for Keller-Segel type fully nonlocal diffusion equation. Therefore, the study of fully nonlocal Boussinesq equations has certain theoretical significance. Comparing the Eqs (1.1) and (1.2), we just replace $u_{tt}$ with ${_0^{C}D_{t}^{\beta}}u$ and $-\Delta$ with $(-\Delta)^\sigma$, as it comes to nonlocality and memory effect. In light of these works mentioned above, we aim to investigate Cauchy problems for the fully nonlocal Boussinesq equation in (1.1) and generalize their results in ^[19,20] by Wang and Chen. Nevertheless, the spectral fractional Laplacian operator $(-\Delta)^\sigma$ makes no sense in $\mathbb{R}^N$, because the Laplacian operator's spectrum in $\mathbb{R}^N$ is continuous purely. As a result, we research the initial boundary value problem (1.1).

Nevertheless, as yet, there are few results on global existence and long-time behavior of solutions for problem (1.1). In reality, the corresponding linear problem has not received much attention. The major difficulty is the nonlocality and nonlinearity of $(-\Delta)^\sigma f(u)$. In addition, from the memory effect of $\partial_t^\beta u$, the definition of weak solutions is difficult to introduce and potential well method may be also ineffective for fully nonlocal Boussinesq equations. Inspired by ^[16], we first study the corresponding linear Boussinesq equation to obtain explicit expressions of Green operators. Further, we establish some rigorous estimates of the Green operators to acquire global existence and decay properties of weak solutions for linear problems. Second, we establish new chain and Leibniz rules concerning the spectral fractional derivatives. Based on these given results, under different dimensions $N$ and small initial value condition, by Banach fixed point theorm, we obtain global existence and long-time behavior of weak solutions for problem (1.1) in the time-weighted fractional Sobolev spaces. Throughout this paper, we replace $\|\cdot\|_{\mathbb{H}^s(\Omega)}$ with $\|\cdot\|_s$, and the notation $C \lesssim D$ means that there is a constant $M > 0$, such that $C \leq MD.$

The following are major results of this manuscript.

Theorem 1.1. Suppose that

and

If $f \in C^l(\mathbb{R})$ and

and $\phi, \varphi \in \mathbb{H}^s(\Omega)$ satisfy

then problem (1.1) has a unique global weak solution $u \in C([0, T]; \mathbb{H}^s(\Omega))$ satisfying $u_t \in C([0, T]; \mathbb{H}^s(\Omega))$. Furthermore,

where $\varepsilon, \zeta > 0$ are small enough such that $\varepsilon + \zeta^q \leq \zeta.$

Theorem 1.2. Suppose that all assumptions in Theorem 1.1 hold, and

Let $u$ be the global weak solution of problem (1.1), then there holds

where

The paper is organized as follows. In Section 2, we introduce fractional Sobolev space briefly, and give several properties of Mittag-Leffler functions. In Section 3, we study global existence and decay estimates of weak solutions for the corresponding linear Boussinesq equation. In Section 4, for small initial values condition, we establish global existence and long-time behavior of weak solutions for problem (1.1) under different dimensions $N$.

2.   Preliminaries

For simplicity, we use the notation below. Let $L^p(\Omega)$, $1\leq p \leq \infty$, be Lebesgue spaces endowed with the norm $\|\cdot\|_p$. Specially, we replace $\|\cdot\|_2$ with $\|\cdot\|$. Let $H^\sigma(\Omega)$, $\sigma > 0$, be the usual Sobolev space. Moreover, we introduce the fractional Sobolev space by eigenpairs mentioned above

where $(\cdot, \cdot)$ represents the inner product in $L^2(\Omega)$. Obviously, $(\mathbb{H}^\sigma(\Omega), \|\cdot\|_{\mathbb{H}^\sigma(\Omega)})$ is a Hilbert space, and satisfies $\mathbb{H}^\sigma(\Omega)\subset H^\sigma(\Omega)$. Particularly, $\mathbb{H}^1(\Omega) = H_0^1(\Omega)$. Let $\mathbb{H}^{-\sigma}(\Omega)$ denote the dual space of $\mathbb{H}^\sigma(\Omega)$. Since $\mathbb{H}^\sigma(\Omega)\subset L^2(\Omega)$, we have $\mathbb{H}^\sigma(\Omega)\subset L^2(\Omega)\subset \mathbb{H}^{-\sigma}(\Omega)$.

It is worth noting that $\mathbb{H}^{-\sigma}(\Omega)$ is a Hilbert space endowed with the norm

where $\langle\cdot, \cdot\rangle$ represents the dual product between $\mathbb{H}^{-\sigma}(\Omega)$ and $\mathbb{H}^{\sigma}(\Omega)$. Moreover, if $v \in L^2(\Omega)$ and $w \in \mathbb{H}^{\sigma}(\Omega)$, we have

We may refer to ^[13,16,31] for details on $\mathbb{H}^{\sigma}(\Omega)$.

The Mittag-Leffler function $E_{\alpha, \beta}(z)$ may play an crucial role on existence and decay estimates of solutions. Next, we give the definition and several important properties of $E_{\alpha, \beta}(z)$. For $z \in \mathbb{C}$, the Mittag-Leffler function can be defined by

where $\varpi > 0$, $\nu\in \mathbb{R}$ are arbitrary constants, see ^[1] for details.

Lemma 2.1 (^[14,32]). If $1 < \varpi < 2$ and $\nu \in \mathbb{R}$, then for all $t\geq 0$,

where $C_{\varpi, \nu} > 0$ depends only on $\varpi, \nu$.

Lemma 2.2 (^[13,14]). If $1 < \varpi < 2$ and $\eta > 0$, then there hold

and

Lemma 2.3 (^[13,14]). If $1 < \varpi < 2$ and $\eta > 0$, then there hold

and

3.   Linear estimates

In this section, we obtain explicit expressions and some rigorous estimates of the Green operators for problem (1.1). First, we study the corresponding linear problem

where the function $h(t, x)$ is given. Inspired by ^[12,13,16], we try to find the solution of problem (3.1) as follows

Therefore, it can be inferred that

where $h_k = (h, w_k), \phi_k = (\phi, w_k)$ and $\varphi_k = (\varphi, w_k)$. By Laplace transforms, we have

where

Then, we get

where

satisfies

Using the inverse Laplace transform, it is derived from Lemma 2.1 in ^[33] that

In terms of (3.4), if (3.2) converges, then we may formally obtain the following weak solution

where the Green operators are

Then, we get from Lemma 2.2

Definition 3.1. We say that $u$ is a weak solution of problem (3.1) if $u \in L^{\infty}(0, T; L^2(\Omega))$, $\partial_tu \in L^{\infty}(0, T; L^2(\Omega))$, $\partial_t^\beta u \in L^{2}((0, t)\times\Omega)$, $u(0) = \phi$, $\partial_tu(0) = \varphi$ and (3.5) holds. Moreover, if $T > 0$ can be chosen as any positive number, $u$ is called a global weak solution for problem (3.1).

We can get the following estimations on the Green operators immediately from Lemmas 2.1 and 2.2.

Lemma 3.2. If $v \in L^2(\Omega)$, then we get

Further, if $v \in \mathbb{H}^s(\Omega)$, then we have

Proof. We obtain directly from Lemma 2.1

and

Thus, $R_1^\beta(t)v$ is uniformly convergent with regard to $t$, and $\partial_tR_1^\beta(t)v$ is convergent in $L^2(\Omega)$. Therefore, $\partial_tR_1^\beta(t)v$ exists. In a similar way, other conclusions of Lemma 3.2 are easily obtained from Lemma 2.1.

Next, more rigorous estimations are acquired for the Green operators.

Lemma 3.3. Suppose that

If $v \in \mathbb{H}^s(\Omega)$, then we get

Proof. By Young inequality, we obtain from Lemma 2.1

and

and

Lemma 3.4. Suppose that

where $\alpha$ is already determined in Lemma 3.3. If $v \in \mathbb{H}^s(\Omega)$, then we get

Proof. By Young inequality, we obtain from Lemma 2.1

and

and

Proposition 3.5.

(i) If $h \in L^\infty(0, T; L^2(\Omega))$, $\phi \in L^2(\Omega)$ and $\varphi \in L^2(\Omega)$, then problem (3.1) has a unique global weak solution $u \in C([0, T]; L^2(\Omega))$ satisfying $u_t \in C([0, T]; L^2(\Omega))$. Moreover, for all $t > 0$, there hold

and

(ii) If $h \in L^\infty(0, T; \mathbb{H}^s(\Omega))$, $\phi \in \mathbb{H}^s(\Omega)$, and $\varphi \in \mathbb{H}^s(\Omega)$, then problem (3.1) has a unique global weak solution $u \in C([0, T]; \mathbb{H}^s(\Omega))$ satisfying $u_t \in C([0, T]; \mathbb{H}^s(\Omega))$. Moreover, for all $t > 0$, there hold

and

Proof. First, we prove Proposition 3.5.$(i)$. By Hölder inequality, we get from Lemma 3.2

Therefore, we have $u \in C([0, T]; L^2(\Omega))$. Furthermore, we obtain that $u$ is continuous absolutely with regard to $t$ from (3.5). Then, it is deduced from Lemma 3.2 that $\partial_tu$ exists and

Furthermore, we get from Lemma 2.3

Hence, by Young inequality, we have from Lemma 2.1

Further, we also obtain

Therefore, $u \in C([0, T]; L^2(\Omega))$ and $u_t \in C([0, T]; L^2(\Omega))$.

Next, we prove Proposition 3.5.$(ii)$. By Hölder inequality, we obtain from Lemma 3.2

and

In the inequality above, we represent the final term by

Therefore,

Then,

Furthermore, we also have

Therefore, $u \in C([0, T]; \mathbb{H}^s(\Omega))$ and $u_t \in C([0, T]; \mathbb{H}^s(\Omega))$.

Proposition 3.6. Suppose that $h \in L^\infty(0, T; \mathbb{H}^s(\Omega))$, $\phi \in \mathbb{H}^s(\Omega)$, and $\varphi \in \mathbb{H}^s(\Omega)$. If $u$ is a global weak solution of problem (3.1), then we have

and

Remark 3.7. It is simple to observe that Proposition 3.6 is more rigorous than Proposition 3.5, which initially appears to be weak, when it comes to estimates of weak solutions. Proposition 3.6 cannot be ignored because Proposition 3.5 can be used to establish local existence theorems to problem (1.1), but Proposition 3.6 cannot.

4.   Proofs of main results

In this section, by constructing time-weighted fractional Sobolev spaces and Banach fixed point theorem, we get global existence and long-time behavior of weak solutions for problem (1.1). Now, we provide the definition of weak solutions for problem (1.1).

Definition 4.1. We say that $u$ is a weak solution of problem (1.1) if $u \in C([0, T]; \mathbb{H}^s(\Omega))$, $u_t \in C([0, T]; \mathbb{H}^s(\Omega))$, $u(0) = \phi$, $\partial_tu(0) = \varphi$, and there holds

Moreover, if $T > 0$ can be chosen as any positive number, $u$ is called a global weak solution for problem (1.1).

First, we need the following lemmas to establish chain and Leibnitz rules concerning $(-\Delta)^\sigma$.

Lemma 4.2 (^[34]). Let $D^s = (-\Delta)^{\frac{s}{2}}$, for any $s\geq 0$, then we have

where

and

where

Since $\Omega$ is regular enough, it has the so-called extension property, namely: For any $s\in (0, 1)$, there exists an extension $\breve{u}$ of $u \in H^s(\Omega)$ such that $\breve{u} \in H^s(\mathbb{R}^N)$ and $\breve{u}|_{\Omega} = u$ where

Moreover, $\|\breve{u}\|_{H^{s}(\mathbb{R}^{N})}\leq C\|u\|_{H^s(\Omega)}$. In particular, taking such extension is the trivial one, namely the extension by zero outside $\Omega$, there holds

where

and $A \asymp B$ represents that there are two constants $c_1, c_2 > 0$ satisfying $c_1A\leq B \leq c_2 A$, see ^[3,35] for details. Moreover, from ^[3], the space $\mathbb{H}^s(\Omega)$ is redefined by

and these two norms $\|\cdot\|_{H^s(\Omega)}$ and $\|\cdot\|_{\mathbb{H}^s(\Omega)}$ on $\mathbb{H}^s(\Omega)$ are equivalent. Therefore, we conclude that

Further, let $s \in [1, 2)$ and $u \in \mathbb{H}^s(\Omega)$. Taking $s = 1+\delta$, we derive

Moreover, we get

Therefore, we obtain

Therefore, we obtain the following chain and Leibniz rules concerning the spectral fractional derivatives, which plays an fundamental role on existence of weak solutions.

Lemma 4.3. Suppose that $s\in (0, 2)$ and $u, v \in \mathbb{H}^s(\Omega)$, then there hold

Proof. By Lemma 4.2, we have

and

Lemma 4.4. Suppose that $s\in (0, 2)$ and $u, v \in \mathbb{H}^s(\Omega)$, then there holds

where $w = \delta u+(1-\delta)v$ for some $\delta \in (0, 1)$.

Proof. By Lemma 4.3, we have

Now, we prove main results of this manuscript.

Proof of Theorem 1.1. Define

where

and $\rho(v, w) = \|v-w\|_V$ for any $v, w \in V$. Consequently, it is evident that the metric space $(V, \rho)$ is complete. Moreover, The operator $P$ on $V$ is defined as

By Sobolev embedding theorem, it is easy to get $P(u) \in L^{\infty}(0, T; \mathbb{H}^s(\Omega))$ from Lemma 3.2. For any $u \in V$, using Proposition 3.6, Lemma 4.3 and Sobolev embedding theorem, we obtain

Hence, when $\varepsilon$ and $\zeta$ are small enough, we get

Thus, we acquire $P(u) \in V$. Next, we prove that $P: V\rightarrow V$ is contractive. Taking any $u, v \in V$, by Sobolev embedding theorem, we obtain from Lemma 4.4

for some $\vartheta \in (0, 1)$. Then,

Taking $\zeta$ small enough, we conclude that $P$ is contractive. Using Banach fixed point theorem, we derive that $P$ has a unique fixed point $u \in V$.

Remarkably, we have get the solution $u \in C((0, T]; \mathbb{H}^s(\Omega))$ and

from the above proof. Next, we show

In reality, we just have to verify that there exist $T_0 > 0$ small enough such that problem (1.1) admits a weak solution in

where

Using Lemma 3.2 and Sobolev embedding theorem, we get $P(u) \in C([0, T]; \mathbb{H}^s(\Omega))$. For any $u \in X$, using Lemma 3.2, Lemma 4.3 and Sobolev embedding theorem, we acquire

where $T_0 < 1$ is small enough such that

Then, when $\varepsilon$ and $\zeta$ are small enough, we derive

Thus, we get $P(u) \in X$. Next, we verify that $P: X\rightarrow X$ is contractive. Taking any $u, v \in X$, using Lemma 3.2, Lemma 4.4 and Sobolev embedding theorem, we obtain

Then,

Taking $T_0$ small enough, we infer that $P$ is contractive. By Banach fixed point theorem, we know that problem (1.1) admits a unique weak solution $\bar{u}$ in $C([0, T_0];\mathbb{H}^s(\Omega))$. What's more, we may take $T_0$ satisfying

Therefore, using uniqueness of the solution, we obtain $u = \bar{u}$, i.e., $u \in C([0, T]; \mathbb{H}^s(\Omega))$. Furthermore, we derive from (4.1) and (4.2) that (1.3) holds.

Proof of Theorem 1.2. By Proposition 3.5, we get $u \in C^1([0, T]; \mathbb{H}^s(\Omega))$. Therefore,

Using Lemma 3.4, Lemma 4.3 and Sobolev embedding theorem, we obtain

Then, we have

Therefore, we conclude that

where

5.   Conclusions

In this paper, we study initial boundary value problems for fully nonlocal Boussinesq equations. We overcome full nonlocal effects generated by $_0^{C}D_{t}^{\beta}$ and $(-\Delta)^{\sigma}$, and obtain some new results as follows: (a) We obtain explicit expressions and some rigorous estimates of the Green operators for the corresponding linear equation; (b) We establish new chain and Leibnitz rules concerning $(-\Delta)^{\sigma}$; (c) We establish time-wighted fractional Sobolev spaces and obtain global existence and long-time behavior of weak solutions. Moreover, our work adds some novelty results to the subject of Boussinesq equations, which may provide a certain theoretical support for the study of fully nonlocal wave equations and have certain theoretical significance.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgements

The authors thank the reviewers for their careful reading and constructive comments. The research is supported by Henan Normal University Postdoctoral Research Launch Fund NO.5101019470319.

Conflict of interest

The authors declare there is no conflicts of interest.