Next Article in Journal
Research on Optimization of Urban Public Transport Network Based on Complex Network Theory
Previous Article in Journal
Exact Solutions and Conservation Laws of the Time-Fractional Gardner Equation with Time-Dependent Coefficients
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Continuity and Analyticity for the Generalized Benjamin–Ono Equation

1
College of Mathematics Science, Chongqing Normal University, Chongqing 401331, China
2
Chongqing Fengmingshan High School, Chongqing 401331, China
3
Personnel Department, Chongqing Normal University, Chongqing 401331, China
*
Author to whom correspondence should be addressed.
Submission received: 18 October 2021 / Revised: 17 November 2021 / Accepted: 1 December 2021 / Published: 16 December 2021
(This article belongs to the Topic Dynamical Systems: Theory and Applications)

Abstract

:
This work mainly focuses on the continuity and analyticity for the generalized Benjamin–Ono (g-BO) equation. From the local well-posedness results for g-BO equation, we know that its solutions depend continuously on their initial data. In the present paper, we further show that such dependence is not uniformly continuous in Sobolev spaces H s ( R ) with s > 3 / 2 . We also provide more information about the stability of the data-solution map, i.e., the solution map for g-BO equation is Hölder continuous in H r -topology for all 0 r < s with exponent α depending on s and r. Finally, applying the generalized Ovsyannikov type theorem and the basic properties of Sobolev–Gevrey spaces, we prove the Gevrey regularity and analyticity for the g-BO equation. In addition, by the symmetry of the spatial variable, we obtain a lower bound of the lifespan and the continuity of the data-to-solution map.

1. Introduction

In this paper, we study the Cauchy problem for the generalized Benjamin–Ono equation
t u + H x 2 u + u k x u = 0 , t > 0 , x R , u ( x , 0 ) = u 0 ( x ) , t = 0 , x R ,
where H is the spatial symmetrical Hilbert transform
H ( f ) ( x ) = 1 π p . v . R f ( y ) x y d y .
The Benjamin–Ono equation ( k = 1 ) was derived by Benjamin [1], and later Ono [2]. This equation can be see as a model to describe the wave motion at the interface of a two-layer fluid system of incompressible inviscid fluids, in which a heterogeneous layer is situated above or underneath an infinitely-deep layer of homogeneous fluid. The function u ( x , t ) denotes the deviation of the interface from its resting position at the point x in the direction of propagation at time t. It is assumed that the deviation of the interface makes no significance in the direction orthogonal to x.
For the variables that are nondimensional, the Benjamin–Ono equation has been normalized to reach the tidy form (1). From the last century in 1960s, the Benjamin equation was of high concern, particularly because it is completely integrable, defines Hamiltonian systems, possesses infinite conserved quantities and has multi-soliton solutions, cf. [1,2,3,4].
The Cauchy problem for the Benjamin–Ono equation was studied extensively. The local well-posedness and global well-posedness for initial data in the classical Sobolev spaces H s ( R ) were investigated, cf. [5,6,7,8,9,10,11]. More precisely, the local well-posedness for initial data u 0 H s ( R ) with s > 3 2 was shown in [7], and the globally well-posed in H s ( R ) for s 3 2 was also obtained in [10]. By the half Strichartz estimates for linear problems with variable coefficients, Koch and Tzvetkov [9] obtained the local well-posedness when s > 5 4 .
Subsequently, Kenig and Koenig [8] extended this result to s > 9 8 . Tao [11] obtained global well-posedness in H s ( R ) for s 1 by a gauge transformation as for the derivative Schrödinger equation. Recently, the Benjamin–Ono equation was proved to be local well-posedness in H s ( R ) with s > 1 4 in [5] and global well-posedness in H s ( R ) with s 0 in [6].
More interestingly, based on the well-posedness results, Koch and Tzvetkov [12] showed that the solution mapping was not even locally uniformly continuous in H s ( R ) for s > 0 . Fonseca and Ponce [13] established persistence properties and proved some unique continuation properties of the solution flow in the weighted Sobolev spaces Z s , r = H s ( R ) L 2 ( | x | 2 r d x ) .
For k 2 , the g-BO equation presents the interesting fact that the dispersive effect is described by a nonlocal operator and is weaker than that exhibited by the generalized KdV equation. In addition, it possesses three conservation laws,
I ( u ) = R u ( t , x ) d x , M ( u ) = R u 2 ( t , x ) d x
and
E ( u ) = R 1 2 | D x 1 / 2 u ( t , x ) | 2 c k | u ( t , x ) | k + 2 d x ,
where D x = ( x 2 ) 1 / 2 . The local well-posedness of the g-BO equation was also known in [14,15], and the global result was proven by Molinet and Ribaud [16]. In a sharp contrast with the case k = 1 , the best known results about the g-BO equation with small initial data were obtained by using contraction methods [14].
More precisely, Kenig et al. [14] proved that the locally and globally well-posed for the solution of g-BO equation in different H s ( R ) . Molinet and Ribaud [15] further studied these results for g-BO equation with small initial data. Recently, using the frequency-uniform decomposition method, the global well-posedness of solution for the Cauchy problem of the g-BO with the small rough data in certain modulation spaces M 2 , 1 s ( R ) was investigated in [17].
Motivated by the results mentioned above, the goals of this paper are to study the continuity and analyticity for the generalized Benjamin–Ono Equation (1). From the local well-posedness results [14,15,16], we know that the solutions of g-BO Equation (1) continuously rely on their initial data in Sobolev spaces—that is, if, for a given u 0 H s ( R ) with s > 3 / 2 , there exists a T = T ( u 0 H s ) such that, for any sequence u 0 n H s and u 0 n u 0 H s 0 ( n ) , the corresponding solutions u n ( t ) of g-BO satisfy u n ( t ) u ( t ) H s 0 ( n ) for 0 t < T .
In the present paper, we show that such dependence is not uniformly continuous in H s ( R ) with s > 3 2 . The uniformly continuous of the data-to-solution map means that: u 1 n ( 0 ) , u 2 n ( 0 ) H s be the sequences of initial data for the Equation (1), if lim n | | u 1 n ( 0 ) u 2 n ( 0 ) | | H s 0 , then the correspond sequences of solution u 1 n ( t ) , u 2 n ( t ) C ( [ 0 , T ] ; H s ( R ) ) for the initial-value problem (1) satisfy lim n | | u 1 n ( t ) u 2 n ( t ) | | H s 0 for t [ 0 , T ) . By the technique of approximate solutions [12], we find two suitable sequences of solutions u 1 , λ ( t ) and u 1 , λ ( t ) to g-BO Equation (1) in C ( [ 0 , T ] ; H s ( R ) ) such that
u 1 , λ ( t ) H s ( R ) + u 1 , λ ( t ) H s ( R ) 1 , lim λ u 1 , λ ( 0 ) u 1 , λ ( 0 ) H s ( R ) = 0 ;
however, the following inequality holds
lim inf λ u 1 , λ ( t ) u 1 , λ ( t ) H s ( R ) lim inf λ | sin λ 1 / k t | , 0 < t T ,
which implies lim inf λ u 1 , λ ( t ) u 1 , λ ( t ) H s ( R ) 0 at any time.
In [12], Koch and Tzvetkov prove that the flow map of the Benjamin–Ono equation cannot be uniformly continuous on bounded sets of H s ( R ) for s > 0 . We compare with the Benjamin–Ono equation, and the g-BO equation has a higher order nonlinear term u k x u . If taking the similarly approximate solutions as Koch and Tzvetkov [12], we cannot successively estimate the error in suitable Sobolev norm, instead we must select a more complicated form of the low and high frequency parts for the approximate solutions (see (13) and (15)).
Motivated by the results obtained in [18,19,20,21], we use the interpolation properties of the Sobolev spaces and commutator estimates to present that the data-to-solution map as continuous but not uniformly continuous in Sobolev spaces H s ( R ) with s > 3 2 . Our results extend the work of Koch and Tzvetkov [12] to more general equations with higher-order nonlinearities. Our main result is stated as follows:
Theorem 1.
If the initial data u 0 H s ( R ) with s > 3 2 , then the data-to-solution map u 0 u ( t ) for the g-BO Equation (1) is not uniformly continuous from any bounded subset of H s ( R ) into C ( [ 0 , T ] ; H s ( R ) ) × C ( [ 0 , T ] ; H s 1 ( R ) ) .
Theorem 1 shows that the data-solution map depends on the initial data being continuous but not uniformly continuous. Our next result will provide information about the stability of the data-solution map. Our next result establishes the stability of the data-solution map, i.e., the solution map for g-BO equation is Hölder continuous in H σ -topology.
Theorem 2.
Let s > 3 2 and 0 r < s . Then, the data-to-solution map for the g-BO Equation (1) is Hölder continuous in H s ( R ) equipped with H r ( R ) -norm. In particular, the solutions u ( t ) , v ( t ) to the g-BO Equation (1) corresponding to the initial data u 0 , v 0 in the ball B ( 0 , ρ ) = { ψ H s ( R ) : ψ H s ( R ) ρ } of H s ( R ) satisfy the following inequality
u ( t ) v ( t ) H r ( R ) C u 0 v 0 H r ( R ) α ,
where the parameter α is given by
α = 1 , ( s , r ) A 1 { ( s , r ) : s > 3 2 , 0 r s 1 , r + s 2 } ; 2 ( s 1 ) s r , ( s , r ) A 2 { ( s , r ) : 2 > s > 3 2 , 0 r < 2 s } ; s r , ( s , r ) A 3 { ( s , r ) : s > 3 2 , s 1 < r < s } .
The lifespan T and the constant C only depend on r , s and ρ (see Figure 1).
Many researchers have studied the analyticity of solutions to g-BO, cf. [12]. However, to our best acknowledge, the Gevrey regularity of solutions to the BO equation is still an open problem. The definition of Sobolev–Gevrey spaces is stated as follows.
Definition 1.
Let s be a real number and σ , δ > 0 . A function f G σ , s δ ( R ) if and only if f C ( R ) and satisfies
f G σ , s δ ( R ) = R ( 1 + | ξ | 2 ) s e 2 δ | ξ | 1 / σ | f ^ ( ξ ) | 2 d ξ 1 / 2 < .
Denoting the Fourier multiplier e δ ( Δ ) 1 2 r by e δ ( Δ ) 1 2 r f = F 1 ( e δ | ξ | 1 r f ^ ) , we deduce that | | f | | G r , s δ ( R ) = | | e δ ( Δ ) 1 2 r f | | H s ( R ) . For 0 < r < 1 , it is called ultra-analytic function. If r = 1 , it is a usual analytic (or holomorphic) function, and δ is called the radius of analyticity. If r > 1 , it is the Gevrey class function.
By the generalized Ovsyannikov theorem [22] (see Theorem 6 in the Section 5), we can obtain the Gevrey regularity and analyticity of the g-BO equation.
Theorem 3.
Let σ 1 and s > 3 2 . Assume that u 0 G σ , s δ ( R ) . Then, for every 0 < δ < 1 , there exists a T 0 > 0 such that the g-BO equation has a unique solution u, which is holomorphic in | t | < T 0 ( 1 δ ) 2 σ 2 2 σ 1 with values in G σ , s δ ( R ) . Moreover, there is a positive constant C such that T 0 = C u 0 G σ , s 1 ( R ) .
Theorem 3 tells us that solutions of g-BO equation are analytic in both space and time variables. Moreover, we give a lower bound of the analytic lifespan. Then, we continue to study the continuity of the data-to-solution.
Definition 2.
Let σ 1 and s > 3 2 . We say that the data-to-solution map u 0 u ( t ) of the g-BO is continuous, if for a given u 0 G σ , s 1 ( R ) there exists a T = T ( u 0 G κ , s 1 ) such that, for any sequence u 0 n G κ , s 1 and u 0 n u 0 G κ , s 1 0 for n , the corresponding solutions u n of g-BO satisfy u n u E T 0 for n , where
f E T = sup | t | < T ( 1 δ ) κ 2 κ 1 f G κ , s δ ( 1 δ ) κ 1 | t | T ( 1 δ ) κ .
Theorem 4.
Let σ 1 and s > 3 2 . Assume that u 0 G σ , s 1 ( R ) . Then, the data-to-solution map u 0 u of the g-BO equation is continuous from G σ , s 1 ( R ) into the solutions space.
This paper is organized as follows. In Section 2, we recall some notation, give a prior well-posedness estimate for g-BO Equation (1), and determine a lower bound on the existence time of the solution in H s ( R ) . In Section 3, adopting the method of approximate solutions and the well-posedness estimates, we show that the data-to-solution map fails to be locally uniformly continuous. In Section 4, we prove that the solution map for g-BO Equation (1) is Hölder continuous in H r -topology for all 0 r < s . Finally, applying generalized Ovsyannikov type theorem and properties of Sobolev–Gevrey spaces, we establish the Gevrey regularity and analyticity of the g-BO equation and obtain the continuity of the data-to-solution map.

2. Priori Estimates and Lifespan of Solution

For any s R , we take the operator D s = ( 1 x 2 ) s / 2 to be defined by
D s f ^ ( ξ ) = ( 1 + ξ 2 ) s / 2 f ^ ( ξ ) ,
where f ^ ( ξ ) is the Fourier transform,
f ^ ( ξ ) R e i x ξ f ( x ) d x , ξ R .
Let H s be the Sobolev space consisting of all tempered distributions f such that
f H s f H s ( R ) = R ( 1 + ξ 2 ) s | f ^ ( ξ ) | 2 d ξ 1 / 2 < .
Theorem 5.
Assume u 0 H s ( R ) with s > 3 2 . Let T be the maximal existence time of the solution u to g-BO Equation ( 1 ) with the initial data u 0 . Then, T satisfies
T T 0 : = 2 k 1 2 k C k u 0 H s k ,
where C s is a constant depending only on s. We have
u ( t ) H s 2 u 0 H s , 0 t T 0 .
Proof. 
Applying the operator D s to g-BO Equation (1), it can be rewritten as follows
t D s u + D s H ( x 2 u ) + ( D s ( u k x u ) u k D s x u ) + u k x D s u = 0 .
Multiplying the g-BO Equation (5) by D s u and then integrating it with respect to x R , we obtain
1 2 d d t u ( t ) H s 2 = R D s H ( x 2 u ) · D s u d x R [ D s , u k ] x u · D s u d x R u k x D s u · D s u d x .
Noting that R D s H ( x 2 u ) · D s u d x = 0 . To estimate the second integral on the right-hand side of (6), we need the following lemma, which is derived from [23,24].
Lemma 1.
If r > 0 , then
[ D r , f ] g L 2 C r ( f x L D r 1 g L 2 + D r f L 2 g L ) ,
where C r is a positive constant depending only on r.
Using the Cauchy–Schwarz inequality and Lemma 1, we can estimate the second integral of (6)
| R [ D s , u k ] x u · D s u d x | [ D s , u k ] x u L 2 D s u L 2 C s ( x u k L D s 1 x u L 2 + D s u k L 2 x u L ) D s u L 2 C u H s k + 2 ,
where we have used the equality D s u L 2 = u H s and the Sobolev embedding theorem H s L for s > 3 2 .
Estimating the third integral of the right-hand side of (6), integrating by parts, we deduce
R u k x D s u · D s u d x x u k L D s u L 2 2 C u H s k + 2 .
Combining (6)–(8) we can obtain the following inequality
1 2 d d t u ( t ) H s 2 C u H s k + 2 .
Solving differential inequality (9) yields
u H s u 0 H s ( 1 C k t u 0 H s k ) 1 / k .
Letting T 0 : = min 1 C t u 0 H s k , 2 k 1 2 k C k u 0 H s k , then ( 1 C k T 0 u 0 H s k ) 1 / k 1 2 . From (10), the solution u exists for 0 t T 0 with the following bound
u H s u 0 H s ( 1 C k T 0 u 0 H s k ) 1 / k 2 u 0 H s , 0 t T 0 .
This completes the proof of Theorem 5. □

3. Nonuniform Dependence for the Solution to g-BO

3.1. Approximate Solutions

In this section, we consider approximate solutions of the Equation (1) of the form
u ω , λ = u l + u h ,
where ω = ± 1 and λ > 0 . The high frequency part is given by
u h = λ ( 1 + δ ) / 2 k s ϕ λ cos Φ ,
where ϕ λ = ϕ ( x λ ( 1 + δ ) / k ) , Φ = ω 2 λ 1 / k t + ω λ 1 / 2 k x ω k + 1 λ 1 + 1 / 2 k t and ϕ is C ( R ) cutoff functions such that
ϕ ( x ) = 1 if | x | < 1 , 0 if | x | 2 .
The low frequency part u l is the solution to system (1) with initial data
t u l + H x 2 u l + u l k x u l = 0 , t > 0 , x R , u l ( x , 0 ) = ω λ 1 / k ϕ ˜ λ , x R ,
where ϕ ˜ is C ( R ) functions such that
ϕ ˜ ( x ) = 1 if x s u p p ϕ .
Lemma 2
(See [12]). Let ψ S ( R ) , 0 < δ < 2 and α R . Then, for any s 0 , we have that
lim λ λ 1 2 δ s ψ ( x λ δ ) cos ( λ x α ) H s ( R ) = 1 2 ψ L 2 ( R ) .
Relation ( 16 ) is also true if cos is replaced by sin.
Lemma 3.
Let 0 < δ < 1 and ϕ C 0 ( R ) . Then, for any N > 0 , there exists a positive constant C N such that for every α R
[ H , ϕ λ ] cos ( λ x + α ) H σ ( R ) C N λ N .
Since the proofs of Lemma 3 are quite similar to lemma 2.2 in [12], they are omitted to make the paper concise.
Lemma 4.
Let ω = ± 1 , 0 < δ < 1 and λ 1 . Then, the initial-value problem ( 1 ) has a unique solution u l C ( [ 0 , T ) ; H s ( R ) ) , s > 3 2 . For all σ 0 , this solutions satisfies the estimate
u l ( t ) H σ ( R ) C s λ ( δ 1 ) / 2 k .
Proof. 
Clearly, for any function ϕ S ( R ) , we can easily check that
ϕ x λ k δ H σ λ k δ / 2 ϕ H σ .
As per the relation ϕ x ρ ^ ( ξ ) = ρ ϕ ^ ( ρ ξ ) , making the change of variables η = λ k δ ξ yields
ϕ x λ k δ H σ 2 = 1 2 π R ( 1 + ξ 2 ) σ λ k δ ϕ ^ ( λ k δ ) 2 d ξ = λ k δ 2 π R 1 + η 2 λ 2 k δ σ ϕ ^ ( η ) d ξ λ k δ 2 π R 1 + η 2 σ ϕ ^ ( η ) d ξ = λ k δ ϕ H σ .
According to (19), we know that the initial data u l ( 0 ) satisfy the following estimate
u l ( 0 ) H σ λ ( δ 1 ) / 2 k ,
which decays if 0 < δ < 1 . Furthermore, the estimate (3) from Theorem 5 yields the lifespan T = 2 k 1 2 k C k u 0 H s k 1 for λ 1 and 0 < δ < 1 . If σ 0 , then the estimate (4) of Theorem 5 implies
u l ( t ) H σ u l ( t ) H σ + 2 C s u l ( 0 ) H σ + 2 C s λ ( δ 1 ) / 2 k ,
which achieves Lemma 4. □
Now, we estimate the error in H σ -norm of these approximate solutions. Substituting the approximate solution u ω , λ ( x , t ) into Equation (1), we find the following error:
F = t u h + H x 2 u h + u l k x u h + i = 1 k c i u l k i u h i x ( u l + u h ) = ω λ δ / 2 k s ϕ λ sin Φ u l k ( x , t ) u l k ( x , 0 ) λ 3 ( 1 + δ ) / 2 k s u l k ϕ λ cos Φ + λ ( 1 + δ ) / 2 k s 2 ω λ ( 1 + 2 δ ) / 2 k H ( ϕ λ sin Φ ) λ 2 ( 1 + δ ) / k H ( ϕ λ cos Φ ) + ω 2 λ ( 1 δ ) / 2 k s H , ϕ λ cos Φ + i = 1 k c i u l k i u h i x ( u l + u h ) : = F 1 + F 2 + · · · + F 5 .
Estimating the H σ -norm of F 1 . Apparently, applying the Cauchy–Schwarz inequality yields
F 1 H σ λ δ / 2 k s u l k ( x , t ) u l k ( x , 0 ) H σ ϕ λ sin Φ H σ λ 1 / 2 k + σ s u l k ( x , t ) u l k ( x , 0 ) H σ .
To estimate the H σ -norm of the difference u k ( x , t ) u k ( x , 0 ) , we adopt the fundamental theorem of calculus in time variable to obtain
u l k ( x , t ) u l k ( x , 0 ) H σ 0 t u l k 1 ( x , τ ) H σ t u l ( x , τ ) H σ d τ .
Apply Lemma 4 and (15) to imply that
t u l ( x , τ ) H σ H x 2 u l H σ + u l k x u l H σ λ ( δ 1 ) / 2 k .
Substitute (17) and (24) into (23) to yield
u l k ( x , t ) u l k ( x , 0 ) H σ λ ( δ 1 ) / 2 .
Finally, combining (22) and (25) gives
F 1 H σ λ ( k δ k + 1 ) / 2 k + σ s .
Estimating the H σ -norm of F 2 . Applying Lemma 2, we can easily estimate F 2
F 2 H σ = λ 3 ( 1 + δ ) / 2 k s u l k ϕ λ cos Φ H σ λ ( 1 + δ ) / k + σ s .
Estimating the H σ -norm of F 3 . Similar to the type, we readily check
F 3 H σ = λ ( 1 + δ ) / 2 k s 2 ω λ ( 1 + 2 δ ) / 2 k H ( ϕ λ sin Φ ) λ 2 ( 1 + δ ) / k H ( ϕ λ cos Φ ) H σ λ δ / k + σ s + λ 2 ( 1 + δ ) / k + σ s .
Estimating the H σ -norm of F 4 . Using Lemma 3, we achieve
F 4 H σ = ω 2 λ ( 1 δ ) / 2 k s H , ϕ λ cos Φ H σ λ δ / k + σ s .
Estimating the H σ -norm of F 5 . To estimate F 5 , we need the following lemma.
Lemma 5
(see [23,24]). If σ > 0 , then H σ L is an algebra. Moreover,
(i) f g H σ c σ ( f L g H σ + g L f H σ ) , for σ > 0 ;
(ii) f g H σ c σ f H σ g H σ , for σ > 1 2 .
Apply the Lemma 5 to obtain
F 5 H σ λ ( δ 1 ) / 2 k + σ s + λ 1 ( 1 + δ ) / 2 k + σ 2 s .
Collecting the estimates above, we can obtain the following proposition.
Proposition 1.
For s > 3 2 , 1 2 < σ 1 and 0 < δ 1 2 , we can find the following estimate
F H σ λ δ / k + σ s .

3.2. Error Estimation between Approximate and Actual Solutions

Let u ω , λ ( t , x ) be the solution to the Cauchy problem (1)—that is, u ω , λ ( t , x ) satisfies
t u ω , λ + H x 2 u ω , λ + u ω , λ k x u ω , λ = 0 , u ω , λ ( x , 0 ) = u ω , λ ( x , 0 ) = ω λ 2 / k ϕ ˜ λ λ ( 1 + δ ) / 2 k s ϕ λ cos ω λ 1 / k x .
To estimate the error between approximate and actual solutions, let
v = u ω , λ u ω , λ .
Clearly, v solves the following equation
t v = F H x 2 v u ω , λ k x v v x u ω , λ i + j = k 1 ( u ω , λ ) i ( u ω , λ ) j , v ( 0 , x ) = 0 ,
where F is defined by (21) and satisfying the H σ -estimate (31).
Proposition 2.
If λ 1 , s > 3 2 and 1 2 < σ s , then
v ( t ) H σ u ω , λ ( t ) u ω , λ ( t ) H σ λ δ / k + σ s , for 0 t T .
Proof. 
Applying the operator D σ to both sides of Equation (33), and multiplying the resulting equation by D σ v , then integrating it with respect to x R , we obtain
1 2 d d t v ( t ) H σ 2 = R D σ v · D σ F d x R D σ v · H x 2 D σ v d x R D σ v · D σ ( u ω , λ k x v ) d x R D σ v · D σ v x u ω , λ i + j = k 1 ( u ω , λ ) i ( u ω , λ ) j d x E 1 + E 2 + E 3 + E 4 .
Noting that E 2 = R D σ v · H x 2 D σ v d x = 0 .
Estimating the H σ -norm of E 1 . Referring to E 1 from (35) and using the Cauchy–Schwarz inequality gives us
| E 1 | = R D σ v D σ F d x v H σ F H σ .
Estimating the H σ -norm of E 3 . Clearly, E 3 can be rewritten as
E 3 = R D σ v · [ D σ , u ω , λ k ] x v d x R D σ v · u ω , λ k D σ x v d x .
Using Lemma 1, we can estimate the first integral of the right-hand side of (37)
R D σ v · [ D σ , u ω , λ k ] x v d x v H σ [ D σ , u ω , λ k ] x v L 2 v H σ x u ω , λ k L D σ 1 x v L 2 + D σ u ω , λ k L 2 x v L u ω , λ H σ k v H σ 2 .
Integrating by parts, we can estimate the second integral of the right-hand side of (37)
R D σ v · u ω , λ k D σ x v d x = 1 2 R u ω , λ k x ( D σ v ) 2 d x = 1 2 R x u ω , λ k ( D σ v ) 2 d x u ω , λ H σ k v H σ 2 .
Now, (37)–(39) imply
| E 3 | u ω , λ H σ k v H σ 2 .
Estimating the H σ -norm of E 4 . Apply the Cauchy–Schwarz inequality and Lemma 5 (ii) to obtain
| E 4 | v H σ v x u ω , λ i + j = k 1 ( u ω , λ ) i ( u ω , λ ) j H σ v H σ 2 x u ω , λ H σ i + j = k 1 ( u ω , λ ) i ( u ω , λ ) j H σ v H σ 2 .
Combining the estimates of (35)–(41) yields the ODE
1 2 d d t v H σ 2 v H σ 2 + λ δ / k + σ s v H σ ,
and thus
d d t v H σ v H σ + λ δ / k + σ s ,
which gives rise to the following estimate
v ( t ) H σ λ δ / k + σ s , for λ 1 , 0 t T .
This proves the Proposition 2. □

3.3. Proof of Theorem 1

In this subsection, with the error estimation between approximate and actual solutions in hand, and using the interpolation properties of the Sobolev spaces, we can prove Theorem 1.
Proof. 
Let s > 3 2 and define u 1 , λ ( x , t ) and u 1 , λ ( x , t ) as the unique solutions to Equation (15) with the initial data u 1 , λ ( x , 0 ) and u 1 , λ ( x , 0 ) , respectively. From Lemma 2 and (4), we can obtain the following inequality
u 1 , λ ( t ) H s + u 1 , λ ( t ) H s 2 ( u 1 , λ ( 0 ) H s + u 1 , λ ( 0 ) H s ) 1 .
At time t = 0 , we deduce
lim λ u 1 , λ ( 0 ) u 1 , λ ( 0 ) H s = lim λ 2 ω λ 1 / k ϕ λ ˜ H s = 0 .
Next, we examine the H s -norm of the difference when t > 0 . Using the triangle inequality, we find
u 1 , λ ( t ) u 1 , λ ( t ) H s u 1 , λ ( t ) u 1 , λ ( t ) H s u 1 , λ ( t ) u 1 , λ ( t ) H s u 1 , λ ( t ) u 1 , λ ( t ) H s .
With k-even, using the identity cos α cos β = 2 sin α + β 2 sin α β 2 , we find that
u 1 , λ ( t ) u 1 , λ ( t ) H s = u l , 1 , λ u l , 1 , λ 2 λ ( 1 + δ ) / 2 k s ϕ λ sin λ 1 / 2 k x sin ( λ 1 / k t + λ 1 + 1 / 2 k t ) H s .
With k-odd, we deduce
u 1 , λ ( t ) u 1 , λ ( t ) H s = u l , 1 , λ u l , 1 , λ 2 λ ( 1 + δ ) / 2 k s ϕ λ sin ( λ 1 / 2 k x λ 1 + 1 / 2 k t ) sin λ 1 / k t H s .
Letting m = [ s ] + 2 > 2 , apply Lemma 2 and (11) to find
u ω , λ ( t ) u ω , λ ( t ) H m u ω , λ ( t ) H m + u ω , λ ( 0 ) H m λ m s , 0 < t T .
Lemma 6.
Suppose s 1 < s < s 2 and f H s ( R ) . Then,
f H s f H s 1 s 2 s s 2 s 1 f H s 2 s s 1 s 2 s 1 .
Employing the interpolation inequality in Lemma 6 with s 1 = σ and s 2 = [ s ] + 2 = m and Equations (42) and (46), we obtain
u ω , λ ( t ) u ω , λ ( t ) H s u ω , λ ( t ) u ω , λ ( t ) H σ m s m σ u ω , λ ( t ) u ω , λ ( t ) H m s σ m σ λ ( δ / k + σ s ) ( m s ) m σ n ( m s ) ( s σ ) m σ λ ( δ / k ) ( m s ) m σ .
Taking the limit infimum to both sides of (43) gives us
lim inf λ u 1 , n ( t ) u 1 , n ( t ) H s lim inf λ ( u 1 , n ( t ) u 1 , n ( t ) H s u 1 , n ( t ) u 1 , n ( t ) H s u 1 , n ( t ) u 1 , n ( t ) H s ) lim inf λ | sin λ 1 / k t | ,
apparently lim inf λ u 1 , n ( t ) u 1 , n ( t ) H s 0 ; thus, we complete the proof of Theorem 1.

4. Hölder Continuous in H r -Topology

In this section, we continue to study the continuity properties for the solution map in Hölder spaces H r . More precisely, we consider two solutions of Equation (1), u and v, which emanate from the initial data u 0 and v 0 , respectively. We expect that if the initial data u 0 and v 0 are assigned in a ball with radius ρ in H s , i.e.,
u 0 H s ρ , v 0 H s ρ , s > 3 2 ,
and then we obtain
u ( t ) v ( t ) H r u 0 v 0 H r α , 0 r < s ,
where the Hölder exponent α is to be determined.
Proof of Theorem 2.
Lipschitz continuity in region A 1 . Let v be another solution to the Cauchy problem for (1) corresponding to the initial data v 0 ( x ) H s ( R ) , i.e.
t v + H x 2 v + v k x v = 0 , t > 0 , x R , v ( x , 0 ) = v 0 ( x ) , t = 0 , x R .
Subtracting (51) from (1) yields the Cauchy problem for w to
t w + H x 2 w + x ( v k w ) w x v k + w x u i + j = k 1 ( u i v j ) = 0 ,
where w = u v and i , j . For a fixed 0 r s 1 with r + s 2 , estimating the H r energy of w leads us to the following equation
1 2 d d t w ( t ) H r 2 = R D r w · H x 2 D r w d x R D r w · D r x ( v k w ) d x + R D r w · D r ( w x v k ) d x R D r w · D r w x u i + j = k 1 ( u i u j ) d x .
Noting that R D r w · H x 2 D r w d x = 0 . Clearly, the second integral of the right-hand side of (53) can be rewritten as
R D r w · D r x ( v k w ) d x = R D r w · [ D r x , v k ] w d x R D r w · v k ( D r x w ) d x .
To estimate the first term on the right-hand sides of (57), we need the following lemma (see [23,24]).
Lemma 7.
If σ + 1 0 , s > 3 2 , σ + 1 s , then
[ D σ x , f ] g L 2 c σ , s f H s g H σ .
Using Lemma 7 and (50), we find
R D r w · [ D r x , v k ] w d x C s , r w H r [ D r x , v k ] w L 2 C s , r v H s k w H r 2 C s , r v ( 0 ) H s k w H r 2 C s , r ρ k w H r 2 ,
and we can easily yield the following estimates
R D r w · v k ( D r x w ) d x C s , r v H s k w H r 2 C s , r ρ k w H r 2 .
Combining (55) and (56) yields the estimates
R D r w · D r x ( v k w ) d x C s , r ρ k w H r 2 .
For the third term on the right-hand sides of (53), we readily check
R D r w · D r ( w x u k ) d x C s , r w H r w x v k H r C s , r ρ k w H r 2 ,
where, in the second inequality, we used following lemma.
Lemma 8
(see [25,26]). If σ > 1 2 , then
f g H σ c σ f H σ + 1 g H σ .
Similarly, we can estimate the last term of (53)
R D r w · D r w x u i + j = k 1 ( u i u j ) d x C s , r ρ k w H r 2 .
End of Lipschitz Continuity in A 1 . Combining the above estimates generates the following energy inequality
d d t w ( t ) H r C r , s , ρ w ( t ) H r ,
which implies
w ( t ) H r e C r , s , ρ T w ( 0 ) H r .
Clearly, it is equivalent to
u ( t ) v ( t ) H r e C r , s , ρ T u ( 0 ) v ( 0 ) H r ,
which is the desired Lipschitz continuity in A 1 .
Hölder Continuity in A 2 . As per the Lipschitz continuity in A 1 and the assumption r < 2 s , we deduce
u ( t ) v ( t ) H r u ( t ) v ( t ) H 2 s e C r , s , ρ T u ( 0 ) v ( 0 ) H 2 s .
Since r < 2 s < s , by the interpolation between the H r and the H s norms described in Lemma 6, we find
u ( 0 ) v ( 0 ) H 2 s u ( 0 ) v ( 0 ) H r 2 ( s 1 ) s r u ( 0 ) v ( 0 ) H s 2 s r s r C r , s , ρ u ( 0 ) v ( 0 ) H r 2 ( s 1 ) s r ,
which guarantees the Hölder continuity in A 2 .
Hölder Continuity in A 3 . For s 1 < r < s , by the interpolation between H s 1 and H s norms, we have
u ( t ) v ( t ) H r u ( t ) v ( t ) H s 1 s r u ( t ) v ( t ) H s r s + 1 .
By the well-posedness size estimate (50), we find
u ( t ) v ( t ) H s u 0 H s + v 0 H s ρ ,
which, therefore, gives
u ( t ) v ( t ) H r C r , s , ρ u ( t ) v ( t ) H s 1 s r .
The Lipschitz continuity in A 1 and the condition s 1 < r admit
u ( t ) v ( t ) H r C r , s , ρ u ( 0 ) v ( 0 ) H s 1 s r C r , s , ρ u ( 0 ) v ( 0 ) H r s r ,
which is the desired Hölder continuity in A 3 . □

5. Gevrey Regularity and Analyticity for g-BO System

5.1. Analytic Solutions for g-BO in G σ , s δ

In this section, By applying nonlinear Cauchy-Kowalevski theory, we will establish the Gevrey regularity and analyticity of solutions to g-BO system.
Theorem 6
(see [22]). Let ( X δ , · G σ , s δ ) 0 < δ < 1 be a scale of decreasing Banach spaces, namely, for any δ < δ we have X δ X δ and · G σ , s δ · G σ , s δ . Consider the Cauchy problem
d u d t = F ( t , u ( t ) ) , u | t = 0 = 0 .
Let T , R > 0 and σ 1 . For given u 0 X 1 , assume that F satisfies the following conditions:
(1) If for any 0 < δ < δ < 1 , the function t u ( t ) is holomorphic on | t | < T and continuous on | t | < T with values in X δ and
sup | t | < T u ( t ) G σ , s δ < R ,
and then t F ( t , u ( t ) ) is a holomorphic function on | t | < T with values in X δ .
(2) For any 0 < δ < δ < 1 and u , v B ( u 0 , R ) ¯ X δ —that is, u G σ , s δ < R , v G σ , s δ < R , there exits a positive constant L depending on u 0 and R such that
sup | t | < T F ( t , u ) F ( t , v ) G σ , s δ L ( δ δ ) 2 σ u v G σ , s δ .
(3) There exists a M > 0 depending on u 0 and R such that, for any 0 < δ < 1 ,
sup | t | < T F ( t , u 0 ) G σ , s δ M ( 1 δ ) 2 σ .
Then, there exists a T 0 ( 0 , T ) and a unique function u ( t ) to the Cauchy problem (60) that is holomorphic in | t | < ( 1 δ ) 2 σ T 0 2 2 σ 1 with values in X δ for every δ ( 0 , 1 ) .
Proposition 3
(see [22]). Let 0 < δ < δ , 0 < σ < σ and s < s . From Definition 1, one can check that G σ , s δ G σ , s δ , G σ , s δ G σ , s δ and G σ , s δ G σ , s δ .
Proposition 4.
Let s be a real number and σ > 0 . Assume that 0 < δ < δ . Then, we have
x f G σ , s δ ( R ) e σ σ σ ( δ δ ) σ f G σ , s δ ( R ) , x 2 f G σ , s δ ( R ) e 2 σ ( 2 σ ) 2 σ ( δ δ ) 2 σ f G σ , s δ ( R ) .
Proof. 
The first inequality can be found in [22], so we only prove the second inequality. Since x f ^ = i ξ f ^ , it follows that
x 2 f G σ , s δ 2 = R ( 1 + | ξ | 2 ) s e 2 δ | ξ | 1 / σ | ξ | 4 | f ^ ( ξ ) | 2 d ξ = 1 ( δ δ ) 4 σ R ( 1 + | ξ | 2 ) s e 2 δ | ξ | 1 / σ e 2 [ ( ( δ δ ) σ ) | ξ | ] 1 / σ ( δ δ ) 4 σ | ξ | 4 | f ^ ( ξ ) | 2 d ξ f G σ , s δ 2 ( δ δ ) 4 σ sup ξ R { e 2 [ ( ( δ δ ) σ ) | ξ | ] 1 / σ ( δ δ ) 4 σ | ξ | 4 } .
Let z = [ ( ( δ δ ) σ ) | ξ | ] 1 / σ 0 and consider the function g ( z ) = e 2 z z 4 σ . By directly calculating, we have lim z 0 g ( z ) = 0 , lim z g ( z ) = 0 and g ( z ) = 2 z 4 σ 1 ( 2 σ z ) . By solving g ( z ) = 0 , we obtain that z = 2 σ , which implies that g ( z ) g ( 2 σ ) = e 4 σ ( 2 σ ) 4 σ . Then, we deduce from (61) that
x 2 f G σ , s δ 2 e 2 σ ( 2 σ ) 2 σ f G σ , s δ ( δ δ ) 2 σ .
Proposition 5
(see [22]). Let s > 1 2 , σ 1 and δ > 0 . Then, G σ , s δ ( R ) is an algebra. Moreover, there exists a constant C s such that
f g G σ , s δ ( R ) C s f G σ , s δ ( R ) g G σ , s δ ( R ) .
Proof of Theorem 3.
We rewrite (g-BO) as follows:
u t = F ( u ) H x 2 u u k x u , u | t = 0 = 0 .
For a fixed σ 1 and s > 3 2 . By virtue of Propositions 3, 4 and 5, we deduce that, for any 0 < δ < δ < 1 ,
F ( u ) G σ , s δ x 2 u G σ , s δ + u k x u G σ , s δ e 2 σ ( 2 σ ) 2 σ ( δ δ ) 2 σ u G σ , s δ + C s e σ σ σ ( δ δ ) σ u G σ , s δ k + 1 C s e σ ( 2 σ ) 2 σ ( δ δ ) 2 σ ( u G σ , s δ + u G σ , s δ k + 1 ) ,
which implies that F satisfies the condition (1) of Theorem 6. By the same token, we obtain that F ( u 0 ) G σ , s δ C s e σ ( 2 σ ) 2 σ ( 1 δ ) 2 σ ( u 0 G σ , s 1 + u 0 G σ , s 1 k + 1 ) . Thus, F satisfies the condition (3) of Theorem 6 with M = C s e σ ( 2 σ ) 2 σ ( u 0 G σ , s 1 + u 0 G σ , s 1 k + 1 ) . Finally, we will show that F satisfies the condition (2) of Theorem 6. Assume that u u 0 G σ , s δ R , v u 0 G σ , s δ R and w = u v . Applying Proposition 4, we find
F ( u ) F ( v ) G σ , s δ = H x 2 w + x ( v k w ) w x v k + w x u i + j = k 1 ( u i v j ) G σ , s δ e 2 σ ( 2 σ ) 2 σ ( δ δ ) 2 σ w G σ , s δ + C s e σ σ σ ( δ δ ) σ w G σ , s δ v G σ , s δ k + C s e σ σ σ ( δ δ ) σ w G σ , s δ v G σ , s δ k + e σ σ σ ( δ δ ) σ w G σ , s δ u G σ , s δ i + j = k 1 ( u i v j ) G σ , s δ C s e 2 σ ( 2 σ ) 2 σ + C s e σ σ σ ( u 0 G σ , s 1 + R ) k ( δ δ ) 2 σ w G σ , s δ C s e σ ( 2 σ ) 2 σ 1 + ( u 0 G σ , s 1 + R ) k ( δ δ ) 2 σ w G σ , s δ .
From the above inequality, we verify that F satisfies the condition (2) of Theorem 6 with L = C s e σ ( 2 σ ) 2 σ 1 + ( u 0 G σ , s 1 + R ) k . Moreover, T 0 = min { 1 2 4 σ + 4 L , ( 2 2 σ 1 ) R ( 2 2 σ 1 ) 2 4 σ + 3 L R + M } , by setting R = u 0 G σ , s 1 , we see that L = C s e σ ( 2 σ ) 2 σ 1 + 2 k u 0 G σ , s 1 k and M 2 4 σ + 3 L R . Then, we have T 0 = 1 C s 2 4 σ + 4 e σ ( 2 σ ) 2 σ 1 + 2 k u 0 G σ , s 1 k . □

5.2. Continuity of the Data-to-Solution Map in G σ , s 1

Proof of Theorem 4.
Without loss of generality, we may assume that t 0 . Define that
T n = 1 C s 2 4 σ + 4 e σ ( 2 σ ) 2 σ 1 + 2 k u 0 n G σ , s 1 k , T = 1 C s 2 4 σ + 4 e σ ( 2 σ ) 2 σ 1 + 2 k u 0 G σ , s 1 k ,
where C s is given in Proposition 5. Since u 0 n u 0 G σ , s 1 0 ; therefore, there exists a constant N such that
u 0 n G σ , s 1 u 0 G σ , s 1 + 1 , f o r n N .
Then,
T 1 C s 2 4 σ + 4 e σ ( 2 σ ) 2 σ 1 + 2 k ( u 0 G σ , s 1 + 1 ) k < min { T n , T } , f o r n N .
Furthermore, as in the proof of Theorem 3, we see that T n and T are the existence time corresponding to u 0 n G σ , s 1 and u 0 G σ , s 1 , respectively, which implies that, for any n N
u n ( t , x ) = u 0 n ( x ) + 0 t F ( u n ( t , τ ) ) d τ , 0 t < T ( 1 δ ) 2 σ 2 2 σ 1 , u ( t , x ) = u 0 ( x ) + 0 t F ( u ( t , τ ) ) d τ , 0 t < T ( 1 δ ) 2 σ 2 2 σ 1 ,
where F is given in (62). Therefore, we verify that, for any 0 t < T ( 1 δ ) 2 σ 2 2 σ 1 and 0 < δ < 1
u n u G σ , s δ u 0 n u 0 G σ , s δ + 0 t F ( u n ( t , τ ) ) F ( u ( t , τ ) ) G σ , s δ d τ .
Choosing δ ( τ ) = 1 + δ 2 + 1 2 2 + 1 / 2 σ [ ( 1 δ ) 2 σ t T ] 1 / 2 σ [ ( 1 δ ) 2 σ + ( 2 2 σ + 1 1 ) t T ] 1 / 2 σ . we find F ( u n ( t , τ ) ) F ( u ( t , τ ) ) G σ , s δ L u n u G σ , s δ ( τ ) ( δ ( τ ) δ ) 2 σ with L = C s e σ ( 2 σ ) 2 σ 1 + 2 k u 0 G σ , s 1 k and 0 < δ < δ ( τ ) < 1 . Using this in (68) yields
u n u G σ , s δ u 0 n u 0 G σ , s δ + L 0 t u n u G σ , s δ ( τ ) ( δ ( τ ) δ ) 2 σ d τ u 0 n u 0 G σ , s δ + 2 4 σ + 3 L T u n u E T ( 1 δ ) 2 σ T ( 1 δ ) 2 σ T ( 1 δ ) 2 σ t ,
where, in the last inequality, we used lemma 3.7 in [22]. Since T = 1 C s 2 4 σ + 4 e σ ( 2 σ ) 2 σ 1 + 2 k ( u 0 G σ , s 1 + 1 ) k and L = C s e σ ( 2 σ ) 2 σ 1 + 2 k u 0 G σ , s 1 k , this yields that 2 4 σ + 3 L T < 1 2 . Then, we have
u n u G σ , s δ u 0 n u 0 G σ , s δ + u n u E T 2 ( 1 δ ) 2 σ T ( 1 δ ) 2 σ T ( 1 δ ) 2 σ t .
This leads to
u n u G σ , s δ ( 1 δ ) 2 σ 1 t T ( 1 δ ) 2 σ u 0 n u 0 G σ , s δ ( 1 δ ) 2 σ 1 t T ( 1 δ ) 2 σ + 1 2 u n u E T u 0 n u 0 G σ , s 1 + 1 2 u n u E T .
Note that the right hand side of the above inequality is independent of t and δ . By the definition of E T , we have
u n u E T 2 u 0 n u 0 G σ , s 1 .
The above inequality holds true for any n N , which leads to our desired result. □

6. Conclusions

The local well-posedness results in [14,15,16] imply that the existence, uniqueness and continuously dependence on their initial data of the solutions to the g-BO Equation (1) in in H s ( R ) with s > 3 2 . We showed that such a data-to-solution map is not uniformly continuous in Theorem 1 but Hölder continuous in H σ -topology. On the other hand, in Sobolev–Gevrey spaces, we proved that the solutions of g-BO equation are analytic in both space and time variables in Theorem 3. In addition, the continuity of the data-to-solution in Sobolev–Gevrey spaces was also obtained.

Author Contributions

All authors made substantial contributions to this manuscript; moreover, they have been involved in drafting the manuscript or revising it critically for important intellectual content. X.P. was primarily involved in writing the paper, B.W. was primarily involved in proving Theorem 1. R.C. was primarily involved in proving Theorems 2 and 3. Finally, all authors have given final approval of the version to be published and agree to be accountable for all aspects of the work in ensuring that questions related to the accuracy or integrity of any part of the work are appropriately investigated and resolved. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by Science and Technology Research Program of Chongqing Municipal Educational Commission (Grant No. KJQN202000518 and KJZD-M201900501), Natural Science Foundation of Chongqing (Grant No. csts2020jcyj-jqX0022).

Acknowledgments

The authors are very grateful to the anonymous reviewers for their careful read and useful suggestions, which greatly improved the presentation of the paper.

Conflicts of Interest

The authors declare no conflict of interest. The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

References

  1. Benjamin, T. Internal waves of permanent form in fluids of great depth. J. Fluid Mech. 1967, 29, 559–562. [Google Scholar] [CrossRef]
  2. Ono, H. Algebraic solitary waves in stratified fluids. J. Phys. Soc. Jpn. 1975, 39, 1082–1091. [Google Scholar] [CrossRef]
  3. Ablowitz, M.; Fokas, A. The inverse scattering transform for the Benjamin–Ono equation, a pivot for multidimensional problems. Stud. Appl. Math. 1983, 68, 1–10. [Google Scholar]
  4. Korteweg, D.J.; de Vries, G. On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves. Philos. Mag. 1895, 39, 22–443. [Google Scholar] [CrossRef]
  5. Burq, N.; Planchon, F. On the well-posedness of the Benjamin–Ono equation. Math. Ann. 2008, 340, 497–542. [Google Scholar] [CrossRef] [Green Version]
  6. Ionescu, A.D.; Kenig, C.E. Global well-posedness of the Benjamin–Ono equation on low-regularity spaces. J. Amer. Math. Soc. 2007, 20, 753–798. [Google Scholar] [CrossRef] [Green Version]
  7. Iorio, J.R. On the Cauchy problem for the Benjamin–Ono equation. Comm. Partial Differ. Equ. 1986, 11, 1031–1081. [Google Scholar]
  8. Kenig, C.E.; Koenig, K.D. On the local well-posedness of the Benjamin–Ono and modified Benjamin–Ono equations. Math. Res. Lett. 2003, 10, 879–895. [Google Scholar] [CrossRef] [Green Version]
  9. Koch, H.; Tzvetkov, N. On the local well-posedness of the Benjamin–Ono equation in Hs(R). Int. Math. Res. Not. 2003, 26, 1449–1464. [Google Scholar] [CrossRef]
  10. Ponce, G. On the global well-posedness of the Benjamin–Ono equation. Differ. Integral Equ. 1991, 4, 527–542. [Google Scholar]
  11. Tao, T. Global well-posedness of the Benjamin–Ono equation on H1. J. Hyperbolic Differ. Equ. 2004, 1, 27–49. [Google Scholar] [CrossRef] [Green Version]
  12. Koch, H.; Tzvetkov, N. Nonlinear wave interactions for the Benjamin–Ono equation. Int. Math. Res. Not. 2005, 30, 1833–1847. [Google Scholar] [CrossRef]
  13. Fonseca, G.; Ponce, G. The IVP for the Benjamin–Ono equation in weighted Sobolev spaces. J. Funct. Anal. 2011, 260, 436–459. [Google Scholar] [CrossRef] [Green Version]
  14. Kenig, C.E.; Ponce, G.; Vega, L. On the generalized Benjamin–Ono equations. Trans. Amer. Math. Soc. 1994, 342, 155–172. [Google Scholar] [CrossRef]
  15. Molinet, L.; Ribaud, F. Well-posedness results for the generalized Benjamin–Ono equation with small initial data. J. Math. Pures Appl. 2004, 83, 277–311. [Google Scholar] [CrossRef] [Green Version]
  16. Molinet, L.; Ribaud, F. On the Cauchy problem for the generalized Benjamin–Ono equation with small initial data. C. R. Acad. Sci. Paris Ser. 2003, 337, 523–526. [Google Scholar] [CrossRef]
  17. Wang, B.; Huang, C. Frequency-uniform decomposition method for the generalized BO, KdV and NLS equations. J. Differ. Equ. 2007, 239, 213–250. [Google Scholar] [CrossRef] [Green Version]
  18. Zhou, S. Continuity and analyticity for a cross-coupled Camassa-Holm equation with waltzing peakons and compacton pairs. Monatsh. Math. 2017, 182, 195–238. [Google Scholar] [CrossRef]
  19. Zhou, S.; Qiao, Z.; Mu, C.; Wei, L. Continuity and asymptotic behaviors for a shallow water wave model with moderate amplitude. J. Differ. Equ. 2017, 263, 910–933. [Google Scholar] [CrossRef]
  20. Zhou, S.; Wang, B.; Chen, R. Non-uniform dependence on initial data for the periodic Constantin-Lannes equation. J. Math. Phys. 2018, 59, 031502. [Google Scholar] [CrossRef]
  21. Zhou, S.; Pan, S.; Mu, C.; Luo, H. Non-uniform dependence on initial data for the twocomponent fractional shallow water wave system. Nonlinear Anal. 2020, 192, 111714. [Google Scholar] [CrossRef]
  22. Luo, W.; Yin, Z. Gevrey regularity and analyticity for Camassa-Holm type systems. Ann. Sc. Norm. Super. Pisa Cl. Sci. 2018, 18, 1061–1079. [Google Scholar] [CrossRef]
  23. Kato, T.; Ponce, G. Commutator estimates and the Euler and Navier-Stokes equations. Comm. Pure Appl. Math. 1988, 41, 891–907. [Google Scholar] [CrossRef]
  24. Taylor, M. Commutator estimates. Proc. Amer. Math. Soc. 2003, 131, 1501–1507. [Google Scholar] [CrossRef] [Green Version]
  25. Himonas, A.; Mantzavinos, D. Hölder Continuity for the Fokas-Olver-Rosenau-Qiao Equation. J. Nonlinear Sci. 2014, 24, 1105–1124. [Google Scholar] [CrossRef]
  26. Kato, T. Quasi-linear equations of evolution, with applications to partial differential equations. In Spectral Theory and Differential Equations; Lecture Notes in Math; Springer: Berlin, Germany, 1975; Volume 448, pp. 25–70. [Google Scholar]
Figure 1. The relationship of r , s and α .
Figure 1. The relationship of r , s and α .
Symmetry 13 02435 g001
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Pan, X.; Wang, B.; Chen, R. Continuity and Analyticity for the Generalized Benjamin–Ono Equation. Symmetry 2021, 13, 2435. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13122435

AMA Style

Pan X, Wang B, Chen R. Continuity and Analyticity for the Generalized Benjamin–Ono Equation. Symmetry. 2021; 13(12):2435. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13122435

Chicago/Turabian Style

Pan, Xiaolin, Bin Wang, and Rong Chen. 2021. "Continuity and Analyticity for the Generalized Benjamin–Ono Equation" Symmetry 13, no. 12: 2435. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13122435

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop