Citation: Alexander S. Potapov, Tatyana N. Polyushkina. Response of IAR frequency scale to solar and geomagnetic activity in solar cycle 24[J]. AIMS Geosciences, 2020, 6(4): 545-560. doi: 10.3934/geosci.2020031
[1] | Minzhi Wei . Existence of traveling waves in a delayed convecting shallow water fluid model. Electronic Research Archive, 2023, 31(11): 6803-6819. doi: 10.3934/era.2023343 |
[2] | Hami Gündoğdu . RETRACTED ARTICLE: Impact of damping coefficients on nonlinear wave dynamics in shallow water with dual damping mechanisms. Electronic Research Archive, 2025, 33(4): 2567-2576. doi: 10.3934/era.2025114 |
[3] | Yuchen Zhu . Blow-up of solutions for a time fractional biharmonic equation with exponentional nonlinear memory. Electronic Research Archive, 2024, 32(11): 5988-6007. doi: 10.3934/era.2024278 |
[4] | Yong Zhou, Jia Wei He, Ahmed Alsaedi, Bashir Ahmad . The well-posedness for semilinear time fractional wave equations on RN. Electronic Research Archive, 2022, 30(8): 2981-3003. doi: 10.3934/era.2022151 |
[5] | José Luiz Boldrini, Jonathan Bravo-Olivares, Eduardo Notte-Cuello, Marko A. Rojas-Medar . Asymptotic behavior of weak and strong solutions of the magnetohydrodynamic equations. Electronic Research Archive, 2021, 29(1): 1783-1801. doi: 10.3934/era.2020091 |
[6] | Fanqi Zeng, Cheng Jin, Peilong Dong, Xinying Jiang . Cheng-Yau type gradient estimates for Δfvτ+λ(x)vl=0 on smooth metric measure spaces. Electronic Research Archive, 2025, 33(7): 4307-4326. doi: 10.3934/era.2025195 |
[7] | Meng Wang, Naiwei Liu . Qualitative analysis and traveling wave solutions of a predator-prey model with time delay and stage structure. Electronic Research Archive, 2024, 32(4): 2665-2698. doi: 10.3934/era.2024121 |
[8] | Chang Hou, Hu Chen . Stability and pointwise-in-time convergence analysis of a finite difference scheme for a 2D nonlinear multi-term subdiffusion equation. Electronic Research Archive, 2025, 33(3): 1476-1489. doi: 10.3934/era.2025069 |
[9] | Ya Tian, Jing Luo . Boundedness and large time behavior of a signal-dependent motility system with nonlinear indirect signal production. Electronic Research Archive, 2024, 32(11): 6301-6319. doi: 10.3934/era.2024293 |
[10] | Pan Zhang, Lan Huang . Stability for a 3D Ladyzhenskaya fluid model with unbounded variable delay. Electronic Research Archive, 2023, 31(12): 7602-7627. doi: 10.3934/era.2023384 |
Consider the equation
ut−utxx+βux+muux=3αuxuxx+αuuxxx, | (1.1) |
in which constants m>0, α>0, and β∈R. Equation (1.1) characterizes the hydrodynamical dynamics of shallow water waves and is a special model derived in Constantin and Lannes [1]. In fact, the nonlinear shallow water wave model holds great significance for the scientific community due to its application in tsunami modeling and forecasting, a critical scientific problem with global implications for coastal communities. The investigation of shallow water wave equations may aid scientists in comprehending and predicting the behavior of tsunamis.
If m=32, β=−1, and α=32, Eq (1.1) reduces to the Fornberg−Whitham (FW) model [2,3]
ut−utxx+32uux=ux+92uxuxx+32uuxxx. | (1.2) |
Many works have been carried out to discuss various dynamical behaviors of the FW equation. Sufficient and necessary conditions, guaranteeing that the wave breaking of Eq (1.2) happens, are found out in Haziot [4]. The sufficient conditions of wave breaking and discontinuous traveling wave solutions to the FW model are considered in H¨ormann[5,6]. The continuity solutions of Eq (1.2) in Besov space are explored in Holmes and Thompson [7]. The H¨older continuous solutions to the FW model are in detail investigated in Holmes [8]. Ma et al. [9] provide sufficient conditions to ensure the occurrence of wave breaking for a range of nonlocal Whitham type equations. On the basis of L2(R) conservation law, Wu and Zhang [10] investigate the wave breaking of the Fornberg−Whitham equation. Comparing to the previous wave breaking results for the FW model, Wei [11] gives a novel sufficient condition to guarantee that the wave breaking for Eq (1.2) happens.
Suppose that m=4, β=0, and α=1, Eq (1.1) becomes the well-known Degasperis−Procesi (DP) equation [12]
ut−utxx+4uux=3uxuxx+uuxxx. | (1.3) |
Many works have been carried out to study the dynamical characteristics of Eq (1.3). For instances, the integrability of the DP equation is derived in Degasperis and Procesi [12] and Degasperis et al. [13]. Escher et al. [14] investigate the existence of global weak solutions for the DP model. Liu et al. [15] prove the well-posedness of global strong solutions and blow-up phenomena for Eq (1.3) under certain conditions. Yin [16] considers the Cauchy problem for a periodic generalized Degasperis−Procesi model. The large-time asymptotic behavior of the periodic entropy solutions for the DP equation is discussed in Conclite and Karlsen [17]. Various kinds of traveling wave solutions for Eq (1.3) are presented in [18,19,20]. In the Sobolev space Hs(R) with s>32, Lai and Wu [21] discuss the local existence for a partial differential equation involving the DP and Camassa−Holm(CH) models. The investigation of wave speed for the DP model is carried out in Henry [22]. The dynamical properties of CH equations are presented in [23,24,25,26]. For dynamical features of other nonlinear models, which are closely relevant to the DP and FW models, we refer the reader to [27,28,29,30].
As we know, the L2 conservation law derived from the DP or FW equation takes an essential role in investigating the dynamical features of the DP and FW models. We derive that Eq (1.1) possesses the following L2 conservation law:
∫R1+ξ2mα+ξ2|ˆu(ξ)|2dξ=∫R1+ξ2mα+ξ2|^u0(ξ)|2dξ∼∥u0∥2L2(R), | (1.4) |
where u(0,x)=u0∈Hs(R) endowed with the index s>32 is the initial value of u.
A natural question is that as the shallow water wave model (1.1) generalizes the famous Fornberg−Whitham equation (1.2) and Degasperis−Procesi model (1.3), what kinds of dynamical characteristics of DP and FW models still hold for Eq (1.1). For this purpose, the key element of this work is that we derive L2(R) conservation law for (1.1). Using (1.4) and the technique of transport equation, we establish the boundedness of the solutions for Eq (1.1). Employing the approach called doubling the space variable in Kruˇzkov [31], we investigate the L1(R) stability of short-time strong solutions provided that u0(x) belongs to the space Hs(R)∩L1(R) with s>32. To our knowledge, this L1(R) stability of Eq (1.1) has never been established in literatures.
The organization of this job is that Section 2 prepares several Lemmas. The L1(R) stability of short time solution to Eq (1.1) is established in Section 3.
For the nonlinear shallow water wave equation (1.1), we write out its initial problem
{ut−utxx+βux+muux=3αuxuxx+αuuxxx,u(0,x)=u0(x). | (2.1) |
Utilizing inverse operator A−2=(1−∂2∂x2)−1, we obtain the equivalent form of (2.1), which reads as
{ut+αuux=−βA−2ux+α−m2A−2(u2)x,u(0,x)=u0(x). | (2.2) |
In fact, for any function D(x)∈Lr(R) with 1≤r≤∞, we have
A−2D(x)=12∫Re−|x−z|D(z)dz. |
Writing Qu=βA−2u+m−α2A−2(u2) and Ju=βA−2∂xu+m−α2∂xA−2(u2) yields
ut+α2(u2)x+Ju=0. | (2.3) |
We define L∞=L∞(R) with the standard norm ∥h∥L∞=infm(e)=0supx∈R∖e|h(t,x)|. For any real number s, we let Hs=Hs(R) denote the Sobolev space with the norm defined by
∥h∥Hs=(∫∞−∞(1+|ξ|2)s|ˆh(t,ξ)|2dξ)12<∞, |
where ˆh(t,ξ)=∫∞−∞e−ixξh(t,x)dx. For T>0 and nonnegative number s, let C([0,T);Hs(R) denote the Frechet space of all continuous Hs-valued functions on [0,T).
Lemma 2.1. ([21]) Provided that s>32 and initial value u0(x)∈Hs(R), then there has a unique solution u which belongs to the space C([0,T);Hs(R))∩C1([0,T);Hs−1(R)), in which T represents maximal existence time for solution u*.
*In the sense of Lemma 2.1, for s>32, the maximal existence time T means limt→T∥u(t,⋅)∥Hs(R)=∞.
Lemma 2.2. Suppose that m>0, α>0, u0∈Hs(R), and s>32. Let u be the solution of (2.1). Set y=u−∂2u∂x2 and Y=(mα−∂2∂x2)−1u. Then
∫RyYdx=∫R1+ξ2mα+ξ2|ˆu(ξ)|2dξ=∫R1+ξ2mα+ξ2|^u0(ξ)|2dξ∼∥u0∥2L2(R). | (2.4) |
Moreover,
{∥u∥L2≤√αm∥u0∥L2,ifmα≤1,∥u∥L2≤√mα∥u0∥L2,ifmα≥1. | (2.5) |
Proof. We have u=mαY−∂2xxY and ∂2xxY=mαY−u. Utilizing integration by parts and Eq (1.1) yields
ddt∫RyYdx=∫RytYdx+∫RyYtdx=2∫RYytdx=2∫R[(−m2u2)x−βux+α2∂3xxx(u2)]Ydx=2∫R[(−m2u2)xY−βuxY+α2(u2)x∂2xxY]dx=∫R[(−mu2)xY−2βuxY+α(u2)x(mαY−u)]dx=∫R(−2βuxY−α(u2)xu)dx=2β∫RuYxdx=2β∫R(mαY−∂2xxY)Yxdx=0. |
Utilizing the above identity and the Parserval identity gives rise to (2.4). Inequality (2.5) is derived directly from (2.4).
For each time t∈[0,T), we write the transport system
{qt=αu(t,q),q(0,x)=x. | (2.6) |
The next lemma demonstrates that q(t,x) possesses the feature of increasing diffeomorphism.
Lemma 2.3. Provided that T is defined as in Lemma 2.1 and u0∈Hs(R) endowed with s≥3, then system (2.6) possesses a unique q belonging to C1([0,T)×R). In addition, qx(t,x)>0 in the region [0,T)×R.
Proof. Employing Lemma 2.1 derives that ux∈C2(R) and ut∈C1[0,T) if (t,x)∈[0,T)×R. Subsequently, it is concluded that solution u(t,x) and its slope ux(t,x) possess boundness and are Lipschitz continuous in the region [0,T)×R. Using the theorem of existence and uniqueness for ODE guarantees that system (2.6) possesses a unique solution q∈C1([0,T)×R).
Making use of system (2.6) gives rise to ddtqx=αux(t,q)qx and qx(0,x)=1. Thus, we have
qx(t,x)=e∫t0αux(τ,q(τ,x))dτ. |
If T′<T, we acquire
sup(t,x)∈[0,T′)×R|ux(t,x)|<∞, |
implying that it must have a constant C0>0 to ensure qx(t,x)≥e−C0t. The proof is finished.
For writing concisely in the following discussions, we utilize notations L∞=L∞(R), L1=L1(R), and L2=L2(R).
Lemma 2.4. Assume t∈[0,T], s>32, and u0∈Hs(R). Then
∥u(t,x)∥L∞≤∥u0∥L∞+(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t, | (2.7) |
in which c0=max(√αm,√mα).
Proof. Set η(x)=12e−∣x∣. Utilizing the density arguments utilized in [15], we only need to deal with the case s=3 to verify Lemma 2.4. For u0∈H3(R), using Lemma 2.1 ensures the existence of u belonging to H3(R). Applying system (2.2) arises
ut+αuux=(α−m)η⋆(uux)−βη⋆ux, | (2.8) |
where ⋆ stands for the convolution. Using ∫Re2|x−z|dz=1, we acquire
|η(x)⋆ux|=12|−∫x−∞e−x+zu(t,z)dz+∫∞xex−zu(t,z)dz|≤12∫Re−|x−z||u(t,z)|dz≤12(∫Re−2|x−z|dz)12(∫Ru2(t,z)dz)12≤12∥u∥L2≤c02∥u0∥L2. | (2.9) |
We have
|η⋆(uux)|=|12∫∞−∞e−∣x−z∣uuzdz|=12|∫x−∞e−x+zuuzdz+12∫+∞xex−zuuzdz|=|−14∫x−∞e−∣x−z∣u2dz+14∫∞xe−∣x−z∣u2dz|≤14∫∞−∞e−∣x−z∣u2dz≤14c20∥u0∥2L2 | (2.10) |
and
du(t,q(t,x))dt=ut(t,q(t,x))+ux(t,q(t,x))dq(t,x)dt=ut(t,q(t,x))+αuux(t,q(t,x)). | (2.11) |
Combining with (2.8)–(2.11) and Lemma 2.2 gives rise to
∣du(t,q(t,x))dt∣≤|m−α|4∫∞−∞e−∣q(t,x)−z∣u2dz+∣βη⋆ux∣≤|m−α|4∫∞−∞u2dz+|β|2∣∫∞−∞e−∣q(t,x)−z∣uzdz∣≤|m−α|4∥u∥2L2+|β|2∥u∥L2≤|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2. | (2.12) |
From (2.12), we have
{du(t,q(t,x))dt≤|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2,du(t,q(t,x))dt≥−(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2). | (2.13) |
Integrating (2.13) on the interval [0,t] yields
{u(t,q(t,x))−u0≤(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t,u(t,q(t,x))−u0≥−(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t. | (2.14) |
From the first inequality in (2.14), we have
∥u(t,q(t,x))∥L∞≤(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t+∥u0∥L∞. | (2.15) |
Using the second inequality in (2.14) gives rise to
|u(t,q(t,x))|≥|u0−(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t.|≥−(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t−|u0|, |
from which we have
∥u(t,q(t,x))∥L∞≥−(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t−∥u∥L∞. | (2.16) |
Utilizing (2.15) and (2.16), we obtain
∥u(t,q(t,x))∥L∞≤∥u0∥L∞+(|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2)t. | (2.17) |
Utilizing Lemma 2.3 and (2.17) yields (2.7).
Lemma 2.5. If u0∈L2(R), then
{∥Qu(t,⋅)∥L∞(R)≤|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2,∥Ju(t,⋅)∥L∞(R)≤|β|c02∥u0∥L2+|α−m|c204∥u0∥2L2, | (2.18) |
in which c0=max(√αm,√mα).
Proof. From (2.3), we have
Qu=m−α4∫Re−|x−z|u2(t,z)dz+β2∫Re−|x−z|u(t,z)dz, | (2.19) |
Ju=m−α4∫Re−|x−z|sgn(z−x)u2(t,z)dz+β2∫Re−|x−z|sgn(z−x)u(t,z)dz. | (2.20) |
Utilizing (2.9), (2.19), (2.20), Lemma 2.2, and the Schwartz inequality, we obtain (2.18).
Lemma 2.6. Let u0,v0∈Hs(R),s>32. Provided that functions u and v satisfy system (2.2), for any g(t,x)∈C∞0([0,∞)×(−∞,∞)), then
∫∞−∞|Ju(t,x)−Jv(t,x)||g(t,x)|dx≤c(1+t)∫∞−∞|u(t,x)−v(t,x)|dx, | (2.21) |
in which c>0 depends on m,α,β,g,∥u0∥L2 and ∥v0∥L2.
Proof. Applying the Tonelli Theorem and Lemmas 2.2 and 2.4 gives rise to
∫∞−∞|Ju(t,x)−Jv(t,x)||g(t,x)|dx≤|β|2∫∞−∞∫∞−∞e−|x−z||sgn(z−x)||u−v||g(t,x)|dzdx+|m−α|2∫∞−∞|∂xA−2(u2−u2)||g(t,x)|dx≤c∫∞−∞|u−v|dz∫∞−∞e−|x−z||g(t,x)|dx+|m−α|4|∫∞−∞∫∞−∞e−|x−z||sgn(z−x)||u2−v2|dz|g(t,x)|dx|≤c∫∞−∞|u(t,z)−v(t,z)|dz+|m−α|4∫∞−∞|(u−v)(u+v)|dz|∫∞−∞|g(t,x)|dx|≤c(1+t)∫∞−∞|u(t,z)−v(t,z)|dz, |
from which we acquire (2.21).
Suppose that function γ(y) is infinitely differentiable on R such that γ(y)≥0, γ(y)=0 when |y|≥1, and ∫∞−∞γ(y)dy=1. For arbitrary constant h>0, set γh(y)=γ(h−1y)h≥0. Thus, γh(y) belongs to C∞(−∞,∞) and
|γh(y)|≤ch,∫∞−∞γh(y)dy=1;γh(y)=0if|y|≥h. |
Suppose that G(x) is locally integrable in R. Its mean function is written as
Gh(x)=1h∫∞−∞γ(x−yh)G(y)dy,h>0. |
For the Lebesgue point x0 of G(x), it has
limh→01h∫|x−x0|≤h|G(x)−G(x0)|dx=0. | (2.22) |
If x is an arbitrary Lebesgue point of G(x), it has limh→0Gh(x)=G(x). Provided that point x is not Lebesque point of G(x), (2.22) always holds. Thus, Gh(x)→G(x) (h→0) is valid almost everywhere.
We illustrate the notation of a characteristic cone. Suppose that N>maxt∈[0,T]∥W(t,⋅)∥L∞<∞, 0≤t≤T0=min(T,R0N−1) and ℧={(t,x):|x|<R0−Nt}. We write that Sτ represents the cross section of ℧ endowed with t=τ,τ∈[0,T0]. For r>0,ρ>0, set Kr={x:|x|≤r}. Let θT=[0,T]×R and D1={(t,x,τ,y)||t−τ2|≤h, ρ≤t+τ2≤T−ρ, |x−y2|≤h, |x+y2|≤r−ρ}.
Lemma 2.7. [31] If function Q(t,x) is measurable and bounded in ΩT=[0,T]×Kr, for h∈(0,ρ), ρ∈(0,min[r,T]), setting
Hh=1h2⨌D1|Q(t,x)−Q(τ,y)|dxdtdydτ, |
then limh→0Hh=0.
Lemma 2.8. [31] Provided that |∂M(u)∂u| is bounded and
L(u,v)=sgn(u−v)(M(u)−M(v)), |
then for any functions u and v, function L(u,v)) obeys the Lipschitz condition.
Lemma 2.9. Suppose that u0(x)∈Hs(R) endowed with s>32. Provided that u satisfies (2.2), g(t,x)∈C∞0(θT) and g(0,x)=0, for every constant k, then
∬θT{|u−k|gt+sgn(u−k)α2[u2−k2]gx−sgn(u−k)Jug}dxdt=0. |
Proof. Assume that Ψ(u) is a convex downward and twice smooth function for −∞<u<∞. Let g(t,x)∈C∞0(θT). Using Ψ′(u)g(t,x) to multiply Eq (2.3), integrating over the domain θT, we transfer the derivatives to g and acquire
∬θT{Ψ(u)gt+α[∫ukΨ′(y)ydy]gx−Ψ′(u)Ju(t,x)g}dtdx=0, | (2.23) |
in which for any constant k, the identity ∫∞−∞[∫ukΨ′(y)ydy]gxdx=−∫∞−∞[gΨ′(u)uux]dx is utilized. We have the expression
∫∞−∞[∫ukΨ′(y)ydy]gxdx=∫∞−∞[12Ψ′(u)u2−12Ψ′(k)k2−12∫uky2Ψ″(y)dy]gxdx. | (2.24) |
Let Ψh(u) be the mean function of |u−k| and set Ψ(u)=Ψh(u). Letting h→0 and employing the features of sgn(u−k), (2.23), and (2.24) complete the proof.
Actually, the derivation of Lemma 2.9 can also be found in [31].
Utilizing the bounded property of solution u(t,x) for system (2.2), we investigate the L1(R) local stability of u(t,x), which is written in the following theorem.
Theorem 3.1. Suppose that u and v satisfy Eq (1.1) endowed with initial values u0,v0∈Hs(R)∩L1(R) (s>32), respectively. Let t∈[0,T]. Then there is a CT depending on ∥u0∥L2(R),∥v0∥L2(R), T,α,β and m, to satisfy
∥u(t,⋅)−v(t,⋅)∥L1(R)≤CT∥u0−v0∥L1(R). | (3.1) |
Proof. Utilizing Lemmas 2.1 and 2.4 deduces that u and v remain bounded and continuous in [0,T]×R. Set ⊎={(t,x)}=[ρ,T−2ρ]×Kr−2ρ, where 0<2ρ≤min(T,r), and θT=[0,T]×R. Assume b(t,x)∈C∞0([0,∞)×R) associated with b(t,x)=0 outside ⊎.
For h≤ρ, we construct the function
g=b(t+τ2,x+y2)γh(t−τ2)γh(x−y2)=b(...)λh(∗), |
in which (...)=(t+τ2,x+y2) and (∗)=(t−τ2,x−y2). By the definition of function γ(y), we have
gt+gτ=bt(...)λh(∗),gx+gy=bx(...)λh(∗). |
Choosing k=v(τ,y) in Lemma 2.9 and applying the methods called doubling the space variables in [31] yield
⨌θT×θT{|u(t,x)−v(τ,y)|gt+sgn(u(t,x)−v(τ,y))α2(u2(t,x)−v2(τ,y))gx−sgn(u(t,x)−v(τ,y))Ju(t,x)g}dtdxdτdy=0. | (3.2) |
Taking k=u(t,x) in Lemma 2.9 gives rise to
⨌θT×θT{|v(τ,y)−u(t,x)|gτ+sgn(v(τ,y)−u(t,x))α2(u2(t,x)−v2(τ,y))gy−sgn(v(τ,y)−u(t,x))Jv(τ,y)g}dτdydtdx=0. | (3.3) |
Using (3.2) and (3.3) yields
0≤⨌θT×θT{|u(t,x)−v(τ,y)|(gt+gτ)+sgn(u(t,x)−v(τ,y))α2(u2(t,x)−v2(τ,y))(gx+gy)}dxdtdydτ+|⨌θT×θTsgn(u(t,x)−v(t,x))(Ju(t,x)−Jv(τ,y))gdxdtdydτ|.=P1+P2+|⨌θT×θTP3dxdtdydτ|. | (3.4) |
On the basis of the approaches in [31], we aim to verify the inequality
0≤∬θT{|u(t,x)−v(t,x)|bt+sgn(u(t,x)−v(t,x))α2(u2(t,x)−v2(t,x))bx}dxdt+|∬θTsgn(u(t,x)−v(t,x))[Ju(t,x)−Jv(t,x)]bdxdt|. | (3.5) |
We write the integrands of P1 and P2 in (3.4) as
Yh=Y(t,x,τ,y,u(t,x),v(τ,y))λh(∗). |
Using Lemma 2.4, we obtain ∥u∥L∞<CT and ∥v∥L∞<CT. From Lemmas 2.7 and 2.8, for both functions u and v, it is deduced that Yh obeys the Lipschitz condition. Combining function g, we find Yh=0 outside region ⊎ and
⨌θT×θTYhdxdtdydτ=⨌θT×θT[Y(t,x,τ,y,u(t,x),v(τ,y))−Y(t,x,t,x,u(t,x),v(t,x))]λh(∗)dxdtdydτ+⨌θT×θTY(t,x,t,x,u(t,x),v(t,x))λh(∗)dxdtdydτ=G11(h)+G12. | (3.6) |
Utilizing |λ(∗)|≤ch2 yields
|G11(h)|≤c[h+1h2⨌D1|u(t,x)−v(τ,y)|dxdtdydτ], | (3.7) |
in which c does not rely on h. Employing Lemma 2.9 deduces that G11(h)→0 when h→0. Now we consider G12. Substituting t−τ2=δ,x−y2=ω, we have
∫h−h∫∞−∞λh(δ,ω)dδdω=1 | (3.8) |
and
G12=22∬θTY(t,x,t,x,u(t,x),v(t,x)){∫h−h∫∞−∞λh(δ,ω)dδdω}dxdt=4∬θTY(t,x,t,x,u(t,x),v(t,x))dxdt. | (3.9) |
From (3.6)–(3.9), we obtain
limh→0⨌θT×θTYhdxdtdydτ=4∬θTY(t,x,t,x,u(t,x),v(t,x))dxdt. | (3.10) |
Note that
P3=sgn(u(t,x)−v(τ,y))(Ju(t,x)−Jv(τ,y))b(...)λh(∗)=¯P3(t.x,τ,y)λh(∗) |
and
⨌θT×θTP3dxdtdydτ=⨌θT×θT[¯P3(t.x,τ,y)−¯P3(t.x,t,x)]λh(∗)dxdtdydτ+⨌θT×θT¯P3(t.x,t,x)λh(∗)dxdtdydτ=G21(h)+G22. | (3.11) |
We obtain
|G21(h)|≤c(h+1h2×⨌D1|Ju(t,x)−Jv(τ,y)|dxdtdydτ). |
Using Lemmas 2.5 and 2.7 derives G21(h)→0 when h→0. Applying (3.8) gives rise to
G22=22∬θT¯P3(t,x,t,x){∫h−h∫∞−∞λh(δ,ω)dδdω}dxdt=4∬θT¯P3(t,x,t,x)dxdt=4∬θTsgn(u−v)(Ju−Jv)b(t,x)dxdt. | (3.12) |
Employing (3.6), (3.10)–(3.12), we obtain inequality (3.5).
Set
F(t)=∫∞−∞|u−v|dx. |
In order to prove the inequality (3.1), we define
Ah(z)=∫z−∞γh(z)dz(A′h(z)=γh(z)≥0). |
In (3.5), provided that two numbers ρ<τ1, τ1,ρ∈(0,T0), and h<min(ρ,T0−τ1), we set
b(t,x)=[Ah(t−ρ)−Ah(t−τ1)]B(t,x), |
where
B(t,x)=Bε(t,x)=1−Aε(|x|+Nt−R0+ε),ε>0. |
Provided that (t,x) does not belong to ⊎, then b(t,x)=0. If (t,x) does not belong to ℧, we have B(t,x)=0. It arises for (t,x)∈℧ that
0=Bt+N|Bx|≥Bt+NBx. |
Using the above analysis and (3.5) yields
0≤∫T00∫∞−∞{[γh(t−ρ)−γh(t−τ1)]Bε|u−v|}dxdt+∫T00∫∞−∞[Ah(t−ρ)−Ah(t−τ1)]|[Ju−Jv]b(t,x)|dxdt, |
which together with Lemma 2.6 (when ε→∞ and R0→∞) gives rise to
0≤∫T00{[γh(t−ρ)−γh(t−τ1)]∫∞−∞|u−v|dx}dt+c(1+T0)∫T00[Ah(t−ρ)−Ah(t−τ1)]∫∞−∞|u−v|dxdt. | (3.13) |
The property of γh(z) for h≤min(ρ,T0−ρ) derives that
|∫T00γh(t−ρ)F(t)dt−F(ρ)|=|∫T00γh(t−ρ)(F(t)−F(ρ))dt|≤c1h∫ρ+hρ−h|F(t)−F(ρ)|dt→0,whenh→0, |
in which c>0 is independent of h.
Setting
Z(ρ)=∫T00Ah(t−ρ)F(t)dt=∫T00∫t−ρ−∞γh(z)F(t)dzdt, |
we derive that
Z′(ρ)=−∫T00γh(t−ρ)F(t)dt→−F(ρ),whenh→0. |
Thus, we acquire
Z(ρ)→Z(0)−∫ρ0F(z)dz,whenh→0. | (3.14) |
and
Z(τ1)→Z(0)−∫τ10F(z)dz,whenh→0. | (3.15) |
Using (3.14) and (3.15) directly deduces that
Z(ρ)−Z(τ1)→∫τ1ρF(z)dz,whenh→0. | (3.16) |
Sending τ1→t,ρ→0, from (3.13) and (3.16), we have
∫∞−∞|u−v|dx≤∫∞−∞|u0−v0|dx+c(1+T0)∫t0∫∞−∞|u−v|dxdt. | (3.17) |
Utilizing (3.17) and the Gronwall inequality leads to the inequality (3.1).
Remark: We establish the L1 local stability of strong solutions for the nonlinear shallow water wave equation (1.1) provided that its initial value belongs to the space Hs(R)∩L1(R) with s>32. The asymptotic or uniform stability of strong solutions for Eq (1.1) deserves to be investigated. To study the asymptotic stability, we need to find certain restrictions on the initial data, which may be our future works.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
Thanks are given to the reviewers for their valuable suggestions and comments, which led to the meaningful improvement of this paper. This work is supported by the Natural Science Foundation of Xinjiang Autonomous Region (Nos. 2024D01A07 and 2020D01B04).
The authors declare no conflicts of interest.
[1] | Hasegawa A, Chen L (1974) Theory of magnetic pulsations. Space Sci Rev 16: 347–359. |
[2] |
Southwood DJ (1974) Some features of field line resonances in the magnetosphere. Planet Space Sci 22: 483–491. doi: 10.1016/0032-0633(74)90078-6
![]() |
[3] |
Greifinger C, Greifinger P (1968) Theory of hydromagnetic propagation in the ionospheric waveguide. J Geophys Res 73: 7473–7490. doi: 10.1029/JA073i023p07473
![]() |
[4] | Schumann WO (1952) On the radiation free self oscillations of a conducting sphere, which is surrounded by an air layer and an ionospheric shell. Z Naturforsch 72: 149–155. |
[5] | Guglielmi AV (1979) MHD Waves in Near-Earth Plasma, Moscow Nauka Pbl, 1–139. |
[6] | Polyakov SV (1976) On the properties of ionospheric Alfvén resonator, Simpozium KAPG po solnechno-zemnoi fizike (KAPG Simpozium on Solar-Terrestrial Physics). Book of Abstracts 3. Moscow: Nauka Pbl, 72–73. |
[7] |
Belyaev PP, Polyakov SV, Rapoport VO, et al. (1989) Theory for the formation of resonance structure in the spectrum of atmospheric electromagnetic background noise in the range of short-period geomagnetic pulsations. Radiophys Quantum Electron 32: 594–601. doi: 10.1007/BF01058124
![]() |
[8] |
Belyaev PP, Polyakov SV, Rapoport VO, et al. (1990) The ionospheric Alfvén resonator. J Atmos Terr Phys 52: 781–788. doi: 10.1016/0021-9169(90)90010-K
![]() |
[9] | Trakhtengerts VY, Feldstein AY (1991) Turbulent Alfvén boundary layer in the polar ionosphere. 1. Excitation conditions and energetic. J Geophys Res Space Phys 96: 19363–19374. |
[10] |
Lysak RL (1991) Feedback instability of the ionospheric resonant cavity. J Geophys Res Space Phys 96: 1553–1568. doi: 10.1029/90JA02154
![]() |
[11] | Lysak RL, Yoshikawa A (2006) Resonant cavities and waveguides in the ionosphere and atmosphere. Magnetospheric ULF Waves.Geophys Monograph Ser V, Washington DC USA: American Geophysical Union, 289–306. |
[12] |
Belyaev PP, Bösinger T, Isaev SV, et al. (1999) First evidence at high latitudes for the ionospheric Alfvén resonator. J Geophys Res Space Phys 104: 4305–4317. doi: 10.1029/1998JA900062
![]() |
[13] | Yahnin AG, Semenova NV, Ostapenko AA, et al. (2003) Morphology of the spectral resonance structure of the electromagnetic background noise in the range of 0.1–4 Hz at L = 5.2. Ann Geophys 21: 779–786. |
[14] | Pokhotelov OA, Feygin FZ, Khabazin Y, et al. (2003) Observations of IAR spectral resonance at a large triangle of geophysical observatories. Proc XXVI Annual Seminar Apatity: Physics of Auroral Phenomena. Kola Science Center RAS, 123–126. |
[15] |
Molchanov OA, Schekotov AY, Fedorov E, et al. (2004) Ionospheric Alfvén resonance at middle latitudes: Results of observations at Kamchatka. Phys Chem Earth 29: 649–655. doi: 10.1016/j.pce.2003.09.022
![]() |
[16] | Bösinger T, Haldoupis C, Belyaev PP, et al. (2002) Special properties of the ionospheric Alfvén resonator observed at a low-latitude station (L = 1.3). J Geophys Res Space Phys 107: 1281–1289. |
[17] |
Potapov AS, Polyushkina TN, Dovbnya BV, et al. (2014) Emissions of ionospheric Alfvén resonator and ionospheric conditions. J Atmos Sol Terr Phys 119: 91–101. doi: 10.1016/j.jastp.2014.07.001
![]() |
[18] | Potapov AS, Polyushkina TN, Oinats AV, et al. (2015) Adaptation of IRI-2012 model for estimation of IAR harmonic structure. Proceedings of PIERS 2015, Prague PIERS, 2012–2016. |
[19] |
Potapov AS, Polyushkina TN, Tsegmed B, et al. (2017) Considering the potential of IAR emissions for ionospheric sounding. J Atmos Sol Terr Phys 164: 229–234. doi: 10.1016/j.jastp.2017.08.026
![]() |
[20] |
Baru NA, Koloskov AV, Yampolsky YM, et al. (2016) Multipoint observations of Ionospheric Alfvén Resonance. Adv Astron Space Phys 6: 45–49. doi: 10.17721/2227-1481.6.45-49
![]() |
[21] |
Demekhov AG, Belyaev PP, Isaev SV, et al. (2000) Modelling the diurnal evolution of the resonance spectral structure of the atmospheric noise background in the Pc1 frequency range. J Atmos Sol Terr Phys 62: 257–265. doi: 10.1016/S1364-6826(99)00119-4
![]() |
[22] |
Hebden SR, Robinson TR, Wright DM, et al. (2005) A quantitative analysis of the diurnal evolution of Ionospheric Alfvén resonator magnetic resonance features and calculation of changing IAR parameters. Ann Geophys 23: 1711–1721. doi: 10.5194/angeo-23-1711-2005
![]() |
[23] |
Parent A, Mann IR, Rae IJ (2010) Effects of substorm dynamics on magnetic signatures of the ionospheric Alfvén resonator. J Geophys Res Space Phys 115: A02312. doi: 10.1029/2009JA014673
![]() |
[24] | LEMI LLC (2016) LEMI Sensors. Available from: https://lemisensors.com/?p=274/. |
[25] | Balogh A, Hudson HS, Petrovay K, et al. (2015) Introduction to the Solar Activity Cycle: Overview of Causes and Consequences. In: Balogh A, Hudson H, Petrovay K, et al. (eds), The Solar Activity Cycle. Space Sciences Series of ISSI. Springer, New York, NY, Vol 53. |
[26] | National Weather Service (2020) Hello Solar Cycle 25. Available from: https://www.weather.gov/news/201509-solar-cycle. |
[27] | Britannica (2020) Dalton minimum. Available from: ttps://www.britannica.com/science/Dalton-minimum/. |
[28] | WDC-SILSO (2020) Royal Observatory of Belgium, Brussels. Available from: http://sidc.oma.be/silso/datafiles/. |
[29] | NASA/Goddard Space Flight Center (2020) Space Physics Data Facility, OMNIWeb. Available from: https://omniweb.gsfc.nasa.gov/ow.html. |
[30] | GFZ German Research Centre for Geosciences (2020) GFZ Data Services. Available from: ftp://ftp.gfz-potsdam.de/pub/home/obs/kp-ap/wdc/. |
[31] | Data Analysis Center for Geomagnetism and Space Magnetism (2020) Graduate School of Science, Kyoto University World Data Center for Geomagnetism. Available from: http://wdc.kugi.kyoto-u.ac.jp/dstae/index.html/. |
[32] |
Nosé M, Uyeshima M, Kawai J, et al. (2017) Ionospheric Alfvén resonator observed at low-latitude ground station, Muroto. J Geophys Res Space Phys 122: 7240–7255. doi: 10.1002/2017JA024204
![]() |
[33] |
Fedorov EN, Mazur NG, Pilipenko VA, et al. (2016) Modeling diurnal variations of the IAR parameters. Acta Geod Geophys 51: 597–617. doi: 10.1007/s40328-015-0158-9
![]() |
[34] |
Semenova NV, Yahnin AG (2014) Sudden change in the resonance structure in the electromagnetic noise spectrum in the 0.1–10 Hz range during a substorm. Geomagn Aeron 54: 316–322. doi: 10.1134/S0016793214030153
![]() |
[35] |
Potapov AS, Polyushkina TN, Oinats AV, et al. (2016) First attempt to estimate the ion content over the ionosphere using data from the IAR frequency structure. Sovrem Probl Distantsionnogo zondirovaniya Zemli Kosmosa 13: 192–202. doi: 10.21046/2070-7401-2016-13-2-192-202
![]() |
[36] | Kunitsyn VE, Nazarenko MO, Nesterov IA, et al. (2015) Solar flare forcing on ionization of upper atmosphere. Comparative study of several major X-class events of 23rd and 24th solar cycles. Moscow Univ Phys Bull 70: 312–318. |
[37] |
Fedorov E, Mazur N, Pilipenko V, et al. (2016) Modeling the high‐latitude ground response to the excitation of the ionospheric MHD modes by atmospheric electric discharge. J Geophys Res Space Phys 121: 11282–11301. doi: 10.1002/2016JA023354
![]() |