# Nonuniform Dependence on Initial Data of a Periodic Camassa-Holm System

Authors: Xiaohuan Wang
Journal: Abstract and Applied Analysis
 (2014)

---

## Abstract

This paper is concerned with some properties of a periodic two-component Camassa-Holm system. By constructing two sequences of solutions of the two-component Camassa-Holm system, we prove that the solution map of the Cauchy problem of the two-component Camassa-Holm system is not uniformly continuous inH
s (𝕊), s
>
5
/
2.


---

## Body

## 1. Introduction

In this paper, we consider the Cauchy problem of the following two-component periodic Camassa-Holm system:(1)
m
t
+
u
m
x
+
2
m
u
x
=
-
ρ
ρ
x
,
t
>
0
,
x
∈
ℝ
,
ρ
t
+
(
ρ
u
)
x
=
0
,
t
>
0
,
x
∈
ℝ
,
u
(
0
,
x
)
=
u
0
(
x
)
,
ρ
(
0
,
x
)
=
ρ
0
(
x
)
,
x
∈
ℝ
,
u
(
t
,
x
+
1
)
=
u
(
t
,
x
)
,
ρ
(
t
,
x
+
1
)
=
ρ
(
t
,
x
)
,
t
≥
0
,
x
∈
ℝ
,
where m
=
u
-
u
x
x. The Camassa-Holm equation can be obtained via the obvious reduction ρ
≡
0.The Camassa-Holm (CH) equation has been extended to a two-component integrable system (CH2) by combining its integrability property with compressibility, or free-surface elevation dynamics in its shallow-water interpretation [1, 2]; that is,
(2)
m
t
+
u
m
x
+
2
m
u
x
+
σ
ρ
ρ
x
=
0
,
t
>
0
,
x
∈
ℝ
,
ρ
t
+
(
ρ
u
)
x
=
0
,
t
>
0
,
x
∈
ℝ
,
where m
=
u
-
u
x
x and σ
=
±
1. Local well-posedness of system (2) with σ
=
1 was obtained by [1, 3]. The precise blow-up scenarios and blow-up phenomena of strong solution for system (2) was established by [1, 3–6]. Just recently, Gui and Liu [7] studied system (1) with σ
=
1 in Besov space and they obtained the local well-posedness. In this paper, we consider the Cauchy problem of system (1) and study some properties of it.Ifρ
≡
0, then system (2) becomes the well-known Camassa-Holm equation [8]. In the past decade, the Camassa-Holm equation has attracted much attention because of its integrability and the existence of multipeakon solution; see [4, 8–22] for the details. The Cauchy problem and initial boundary value problem of the Camassa-Holm equation have been studied extensively [10, 23]. It has been shown that the Camassa-Holm equation is locally well-posedness [10] for initial data u
0
∈
H
s
(
𝕊
), s
>
3
/
2. Moreover, it has global strong solutions [10, 18] and finite time blow-up solutions [10]. On the other hand, it has global weak solution in H
1
(
𝕊
) [8, 9, 13, 19]. The advantage of the Camassa-Holm equation in comparison with the KdV equation lies in the fact that the Camassa-Holm equation has peaked solutions and models wave breaking (i.e., the solution remains bounded while its slope becomes unbounded in finite time [8, 10, 24]).Recently, some properties of solutions to the Camassa-Holm equation have been studied by many authors. Himonas et al. [15] studied the persistence properties and unique continuation of solutions of the Camassa-Holm equation. They showed that a strong solution of the Camassa-Holm equation, initially decaying exponentially together with its spatial derivative, must be identically equal to zero if it also decays exponentially at a later time; see [11, 22] for the same properties of solutions to other shallow water equations. Just recently, Himonas and Kenig [16] and Himonas et al. [14, 17] considered the nonuniform dependence on initial data for the Camassa-Holm equation on the line and on the circle, respectively. Lv et al. [25] obtained the nonuniform dependence on initial data for μ-b equation. Lv and Wang [26] considered the system (1) with ρ
=
γ
-
γ
x
x and obtained the nonuniform dependence on initial data.In this paper, we will consider the nonuniform dependence on initial data to system (1). We remark that there is significant difference between system (1) and system (1) with ρ
=
γ
-
γ
x
x. It is easy to see that when ρ
=
γ
-
γ
x
x, there are some similar properties between the two equations in system (1). Thus the proof of nonuniform dependence on initial data to system (1) with ρ
=
γ
-
γ
x
x is similar to the single equation, for example, Camassa-Holm equation. But in system (1), ρ and u have different properties; see Theorem 1. This needs constructing different asymptotic solution; see Section 3.This paper is organized as follows. In Section2, we recall the well-posedness result of Hu and Yin [27] and use it to prove the basic energy estimate from which we derive a lower bound for the lifespan of the solution as well as an estimate of the H
s
(
𝕊
)
×
H
s
-
1
(
𝕊
) norm of the solution (
u
(
t
,
x
)
,
ρ
(
t
,
x
)
) in terms of H
s
(
𝕊
)
×
H
s
-
1
(
𝕊
) norm of the initial data (
u
0
,
ρ
0
). In Section 3, we construct approximate solutions, compute the error, and estimate the H
1-norm of this error. In Section 4, we estimate the difference between approximate and actual solutions, where the exact solution is a solution to system (1) with initial data given by the approximate solutions evaluated at time zero. The nonuniform dependence on initial data for system (1) is established in Section 5 by constructing two sequences of solutions to system (1) in a bounded subset of the Sobolev space H
s
(
𝕊
), whose distance at the initial time is converging to zero while at any later time it is bounded below by a positive constant. During preparing our paper, we find another paper [28] where the same problem has been considered, but our method is different from theirs.Notation. In the following, we denote by * the spatial convolution. Given a Banach space Z, we denote its norm by ∥
·
∥
Z. Since all space of functions are over 𝕊, for simplicity, we drop 𝕊 in our notations of function spaces if there is no ambiguity. Let [
A
,
B
]
=
A
B
-
B
A denote the commutator of linear operator A and B; see [29, 30] for the details. Set ∥
z
∥
H
s
×
H
s
-
1
2
=
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2, where z
=
(
u
,
ρ
).


## 2. Local Well-Posedness

In this section we first recall the known results of Hu and Yin [27] and give a new estimate of the solution to (1).LetΛ
=
(
1
-
∂
x
2
)
1
/
2. Then the operator Λ
-
2 acting on L
2
(
𝕊
) can be expressed by its associated Green's function G
(
x
)
=
cosh
⁡
(
x
-
[
x
]
-
(
1
/
2
)
)
/
2
sinh
⁡
(
1
/
2
), where [
x
] stands for the integer part of x, as
(3)
Λ
-
2
f
(
x
)
=
(
G
*
f
)
(
x
)
=
1
2
∫
𝕊
‍
cosh
⁡
(
x
-
y
-
[
x
-
y
]
-
(
1
/
2
)
)
sinh
⁡
(
1
/
2
)
f
(
y
)
d
y
,
hhhhhhhhhhhhhhhhhhhhhhhhhhh
f
∈
L
2
(
𝕊
)
.
Hence (1) is equivalent to the following system:
(4)
u
t
+
u
u
x
=
-
∂
x
Λ
-
2
(
u
2
+
1
2
u
x
2
+
1
2
ρ
2
)
,
hhhhhhhhhhhhl
t
>
0
,
x
∈
ℝ
,
ρ
t
+
u
ρ
x
=
-
u
x
ρ
,
t
>
0
,
x
∈
ℝ
,
u
(
0
,
x
)
=
u
0
(
x
)
,
ρ
(
0
,
x
)
=
ρ
0
(
x
)
,
x
∈
ℝ
,
u
(
t
,
x
+
1
)
=
u
(
t
,
x
)
,
ρ
(
t
,
x
+
1
)
=
ρ
(
t
,
x
)
,
hhhhhhhhhhhhhhhhhhhhhllhh
t
≥
0
,
x
∈
ℝ
.
In the rest of this paper, we will consider the following system:
(5)
u
t
+
u
u
x
=
-
∂
x
Λ
-
2
(
u
2
+
1
2
u
x
2
+
1
2
ρ
2
)
,
hhhhhhhhhhhlhh
t
>
0
,
x
∈
𝕊
,
ρ
t
+
u
ρ
x
=
-
u
x
ρ
,
t
>
0
,
x
∈
𝕊
,
u
(
0
,
x
)
=
u
0
(
x
)
,
ρ
(
0
,
x
)
=
ρ
0
(
x
)
,
x
∈
𝕊
.The following result is obtained by Hu and Yin [27].Theorem 1 (see [27]).
Givenz
0
=
(
u
0
,
ρ
0
)
∈
H
s
×
H
s
-
1, s
≥
2. Then there exists a maximal existence time T
=
T
(
∥
z
0
∥
H
s
×
H
s
-
1
)
>
0 and a unique solution z
=
(
u
,
ρ
) to system (5) such that
(6)
z
=
z
(
·
,
z
0
)
∈
C
(
[
0
,
T
)
;
H
s
×
H
s
-
1
)
∩
C
1
(
[
0
,
T
)
;
H
s
-
1
×
H
s
-
2
)
.
Moreover, the solution depends continuously on the initial data; that is, the mapping
(7)
z
0
⟶
z
(
·
,
z
0
)
:
H
s
×
H
s
-
1
⟶
C
(
[
0
,
T
)
;
H
s
×
H
s
-
1
)
∩
C
1
(
[
0
,
T
)
;
H
s
-
1
×
H
s
-
2
)
is continuous.Next, we will give an explicit estimate for the maximal existence timeT. Also, we will show that at any time t in the time interval [
0
,
T
0
] the H
s-norm of the solution z
(
t
,
x
) is dominated by the H
s-norm of the initial data z
0
(
x
). In order to do this, we need the following lemmas.Lemma 2 (see [29]).
Ifr
>
0, then H
r
∩
L
∞ is an algebra. Moreover,
(8)
∥
f
g
∥
H
r
≤
C
(
∥
f
∥
∞
∥
g
∥
H
r
+
∥
f
∥
H
r
∥
g
∥
∞
)
,
where C is a positive constant depending only on r.Lemma 3 (see [29]).
Ifr
>
0, then
(9)
∥
[
Λ
r
,
f
]
g
∥
2
≤
C
(
∥
f
x
∥
∞
∥
Λ
r
-
1
g
∥
2
+
∥
Λ
r
f
∥
2
∥
g
∥
∞
)
,
where C is a positive constant depending only on r.Theorem 4.
Lets
>
5
/
2. If z
=
(
u
,
ρ
) is a solution of system (5) with initial data z
0 described in Theorem 1, then the maximal existence time T satisfies
(10)
T
≥
T
0
:
=
1
2
C
s
∥
z
0
∥
H
s
×
H
s
-
1
,
where C
s is a constant depending only on s. Also, we have
(11)
∥
z
(
t
)
∥
H
s
×
H
s
-
1
≤
2
∥
z
0
∥
H
s
×
H
s
-
1
,
0
≤
t
≤
T
0
.Proof.
The derivation of the lower bound for the maximal existence time (10) and the solution size estimate (11) is based on the following differential inequality for the solution z:
(12)
1
2
d
d
t
∥
z
(
t
)
∥
H
s
×
H
s
-
1
2
≤
C
s
∥
z
(
t
)
∥
H
s
×
H
s
-
1
3
,
0
≤
t
<
T
.
Suppose that (12) holds. Then, integrating (12) from 0 to t, we have
(13)
∥
z
(
t
)
∥
H
s
×
H
s
-
1
≤
∥
z
0
∥
H
s
×
H
s
-
1
1
-
C
s
∥
z
0
∥
H
s
×
H
s
-
1
t
.
It follows from the above inequality that ∥
z
(
t
)
∥
H
s
×
H
s
-
1 is finite if C
s
∥
z
0
∥
H
s
×
H
s
-
1
t
<
1. Let T
0
=
1
/
2
C
s
∥
z
0
∥
H
s
×
H
s
-
1, then, for 0
≤
t
≤
T
0, we have
(14)
∥
z
(
t
)
∥
H
s
×
H
s
-
1
≤
∥
z
0
∥
H
s
×
H
s
-
1
1
-
C
s
∥
z
0
∥
H
s
×
H
s
-
1
T
0
=
2
∥
z
0
∥
H
s
×
H
s
-
1
.
Now we prove inequality (12). Note that the products u
u
x and u
ρ
x are only in H
s
-
1 if u,ρ
∈
H
s. To deal with this problem, we will consider the following modified system:
(15)
(
J
ɛ
u
)
t
+
J
ɛ
(
u
u
x
)
h
=
-
∂
x
Λ
-
2
(
J
ɛ
u
2
+
1
2
J
ɛ
u
x
2
+
1
2
J
ɛ
ρ
2
)
,
hhhhhhhhhhhhlhlhhhhh
t
>
0
,
x
∈
𝕊
,
(
J
ɛ
ρ
)
t
+
J
ɛ
(
u
ρ
x
)
=
-
J
ɛ
(
u
x
ρ
)
,
t
>
0
,
x
∈
𝕊
,
where for each ɛ
∈
(
0,1
] the operator J
ɛ is the Friedrichs mollifier defined by
(16)
J
ɛ
f
(
x
)
=
J
ɛ
(
f
)
(
x
)
=
j
ɛ
*
f
.
Here j
ɛ
(
x
)
=
(
1
/
ɛ
)
j
(
x
/
ɛ
), and j
(
x
) is a C
∞ function supported in the interval [
-
1,1
] such that j
(
x
)
≥
0
,
∫
𝕊
‍
j
(
x
)
d
x
=
1. Applying the operator Λ
s and Λ
s
-
1 to the first and second equations of (15), respectively, then multiplying the resulting equations by Λ
s
J
ɛ
u and Λ
s
-
1
J
ɛ
ρ, respectively, and integrating them with respect to x
∈
𝕊, we obtain
(17)
1
2
d
d
t
∥
J
ɛ
u
∥
H
s
2
=
-
∫
𝕊
‍
Λ
s
J
ɛ
(
u
u
x
)
Λ
s
J
ɛ
u
d
x
-
∫
𝕊
‍
∂
x
Λ
s
-
2
∂
x
Λ
-
2
(
J
ɛ
u
2
+
1
2
J
ɛ
u
x
2
hhhhhhhhhhhhhhh
+
1
2
J
ɛ
ρ
2
)
Λ
s
J
ɛ
u
d
x
,
(18)
1
2
d
d
t
∥
J
ɛ
ρ
∥
H
s
-
1
2
=
-
∫
𝕊
‍
Λ
s
-
1
J
ɛ
(
u
ρ
x
)
Λ
s
-
1
J
ɛ
ρ
d
x
-
∫
𝕊
‍
Λ
s
-
1
J
ɛ
(
u
x
ρ
)
Λ
s
-
1
J
ɛ
ρ
d
x
.
We estimate the right-hand sides of (17) and (18), and we will use the fact that Λ
s and J
ɛ are commutative and
(19)
(
J
ɛ
f
,
g
)
0
=
(
f
,
J
ɛ
g
)
0
,
∥
J
ɛ
u
∥
H
s
≤
∥
u
∥
H
s
.
To estimate the first integrals in the right-hand sides of (17) and (18) we write them as follows:
(20)
∫
𝕊
‍
Λ
s
J
ɛ
(
u
u
x
)
Λ
s
J
ɛ
u
d
x
=
∫
𝕊
‍
Λ
s
(
u
u
x
)
J
ɛ
Λ
s
J
ɛ
u
d
x
=
(
[
Λ
s
,
u
]
u
x
,
J
ɛ
Λ
s
J
ɛ
u
)
0
+
(
u
Λ
s
u
x
,
J
ɛ
Λ
s
J
ɛ
u
)
0
,
∫
𝕊
‍
Λ
s
-
1
J
ɛ
(
u
ρ
x
)
Λ
s
-
1
J
ɛ
ρ
d
x
=
∫
𝕊
‍
Λ
s
-
1
(
u
ρ
x
)
J
ɛ
Λ
s
-
1
J
ɛ
ρ
d
x
=
(
[
Λ
s
-
1
,
u
]
ρ
x
,
J
ɛ
Λ
s
-
1
J
ɛ
ρ
)
0
+
(
u
Λ
s
-
1
ρ
x
,
J
ɛ
Λ
s
-
1
J
ɛ
ρ
)
0
.
Using Lemma 3 and (19), we can estimate the first part in the right-hand sides of (20)
(21)
|
(
[
Λ
s
,
u
]
u
x
,
J
ɛ
Λ
s
J
ɛ
u
)
0
|
≤
∥
[
Λ
s
,
u
]
u
x
∥
2
∥
J
ɛ
Λ
s
J
ɛ
u
∥
2
≤
C
s
∥
u
x
∥
∞
∥
u
∥
H
s
2
,
|
(
[
Λ
s
-
1
,
u
]
ρ
x
,
J
ɛ
Λ
s
-
1
J
ɛ
ρ
)
0
|
≤
∥
u
x
∥
∞
∥
ρ
∥
H
s
-
1
2
hh
+
∥
ρ
x
∥
∞
∥
u
∥
H
s
∥
ρ
∥
H
s
-
1
,
where we use the fact that ∥
u
∥
H
s
=
∥
Λ
s
u
∥
2. Noting that
(22)
∥
[
J
ɛ
,
u
]
f
x
∥
2
≤
C
∥
u
x
∥
∞
∥
f
∥
2
,
which is obtained by Himonas and Kenig (see [16, Lemma 2]), and integrating by parts, we obtain
(23)
|
(
u
Λ
s
u
x
,
J
ɛ
Λ
s
J
ɛ
u
)
0
|
=
|
(
J
ɛ
u
Λ
s
u
x
,
Λ
s
J
ɛ
u
)
0
|
=
|
(
[
J
ɛ
,
u
]
∂
x
Λ
s
u
,
Λ
s
J
ɛ
u
)
0
hlh
+
(
u
J
ɛ
∂
x
Λ
s
u
,
Λ
s
J
ɛ
u
)
0
|
≤
∥
[
J
ɛ
,
u
]
∂
x
Λ
s
u
∥
2
∥
u
∥
H
s
hh
+
1
2
|
(
u
x
Λ
s
J
ɛ
u
,
Λ
s
J
ɛ
u
)
0
|
≤
C
s
∥
u
x
∥
∞
∥
u
∥
H
s
2
,
(24)
|
(
u
Λ
s
-
1
ρ
x
,
J
ɛ
Λ
s
-
1
J
ɛ
ρ
)
0
|
=
|
(
[
J
ɛ
,
u
]
∂
x
Λ
s
-
1
ρ
,
Λ
s
-
1
J
ɛ
ρ
)
0
|
+
1
2
|
(
u
x
Λ
s
-
1
J
ɛ
ρ
,
Λ
s
-
1
J
ɛ
ρ
)
0
|
≤
C
s
∥
u
x
∥
∞
∥
ρ
∥
H
s
-
1
2
.
Combining (21)–(24), we have
(25)
|
∫
𝕊
‍
Λ
s
J
ɛ
(
u
u
x
)
Λ
s
J
ɛ
u
d
x
|
≤
C
s
∥
u
x
∥
∞
∥
u
∥
H
s
2
,
(26)
|
∫
𝕊
‍
Λ
s
-
1
J
ɛ
(
u
ρ
x
)
Λ
s
-
1
J
ɛ
ρ
d
x
|
≤
C
s
(
∥
u
x
∥
∞
+
∥
ρ
x
∥
∞
)
(
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2
)
.
For the second integral in the right-hand side of (17), we have
(27)
|
∫
𝕊
‍
∂
x
Λ
s
-
2
(
J
ɛ
u
2
+
1
2
J
ɛ
u
x
2
+
1
2
J
ɛ
ρ
2
)
Λ
s
J
ɛ
u
d
x
|
≤
∥
∂
x
Λ
s
-
2
(
J
ɛ
u
2
+
1
2
J
ɛ
u
x
2
+
1
2
J
ɛ
ρ
2
)
∥
2
∥
u
∥
H
s
≤
∥
J
ɛ
u
2
+
1
2
J
ɛ
u
x
2
+
1
2
J
ɛ
ρ
2
∥
H
s
-
1
∥
u
∥
H
s
≤
C
s
(
∥
u
∥
∞
+
∥
ρ
∥
∞
+
∥
u
x
∥
∞
)
(
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2
)
,
where we have used Lemma 2 with r
=
s
-
1. Similarly, for the second and third integrals in the right-hand side of (18), we get
(28)
|
∫
𝕊
‍
Λ
s
-
1
J
ɛ
(
u
x
ρ
)
Λ
s
-
1
J
ɛ
ρ
d
x
|
≤
∥
ρ
u
x
∥
H
s
-
1
∥
ρ
∥
H
s
-
1
≤
C
s
∥
u
x
∥
∞
∥
ρ
∥
H
s
-
1
2
.
Submitting (25), (27), and (26), (28) into (17) and (18), respectively, we obtain
(29)
1
2
d
d
t
∥
J
ɛ
u
∥
H
s
2
≤
C
s
(
∥
u
∥
∞
+
∥
ρ
∥
∞
+
∥
u
x
∥
∞
∥
ρ
x
∥
∞
)
×
(
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2
)
,
1
2
d
d
t
∥
J
ɛ
ρ
∥
H
s
-
1
2
≤
C
s
(
∥
u
∥
∞
+
∥
ρ
∥
∞
+
∥
u
x
∥
∞
+
∥
ρ
x
∥
∞
)
×
(
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2
)
.
Consequently,
(30)
1
2
d
d
t
(
∥
J
ɛ
u
∥
H
s
2
+
∥
J
ɛ
ρ
∥
H
s
-
1
2
)
≤
C
s
(
∥
u
∥
∞
+
∥
ρ
∥
∞
+
∥
u
x
∥
∞
+
∥
ρ
x
∥
∞
)
×
(
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2
)
.
Then, letting ɛ go to 0, we have
(31)
1
2
d
d
t
(
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2
)
≤
C
s
(
∥
u
∥
∞
+
∥
ρ
∥
∞
+
∥
u
x
∥
∞
+
∥
ρ
x
∥
∞
)
×
(
∥
u
∥
H
s
2
+
∥
ρ
∥
H
s
-
1
2
)
,
or
(32)
1
2
d
d
t
∥
z
(
t
)
∥
H
s
×
H
s
-
1
2
≤
C
s
(
∥
u
(
t
)
∥
C
1
+
∥
ρ
∥
C
1
)
×
∥
z
(
t
)
∥
H
s
×
H
s
-
1
2
.
Since s
>
5
/
2, using Sobolev's inequality we have that
(33)
∥
u
(
t
)
∥
C
1
≤
C
s
∥
u
(
t
)
∥
H
s
,
∥
ρ
(
t
)
∥
C
1
≤
C
s
∥
ρ
(
t
)
∥
H
s
-
1
.
From (32) we obtain the desired inequality (12). This completes the proof of Theorem 4.Recall that∥
z
(
t
)
∥
H
s
×
H
s
-
1
2
=
∥
u
(
t
)
∥
H
s
2
+
∥
ρ
(
t
)
∥
H
s
-
1
2, where z
(
t
)
=
(
u
(
t
)
,
ρ
(
t
)
). It follows from Theorem 4 that
(34)
∥
u
(
t
)
∥
H
s
,
∥
ρ
(
t
)
∥
H
s
-
1
≤
∥
z
(
t
)
∥
H
s
×
H
s
-
1
≤
2
∥
z
0
∥
H
s
×
H
s
-
1
,
0
≤
t
≤
T
0
.


## 3. Approximate Solutions

In this section we first construct a two-parameter family of approximate solutions by using a similar method to [17] and then compute the error and last estimate the H
1
×
L
2-norm of the error.Following [17], our approximate solutions u
ω
,
λ
=
u
ω
,
λ
(
t
,
x
) and ρ
ω
,
λ
=
ρ
ω
,
λ
(
t
,
x
) to (5) will consist of a low frequency and a high frequency part, that is,
(35)
u
ω
,
λ
=
ω
λ
-
1
+
λ
-
s
cos
⁡
(
λ
x
-
ω
t
)
,
ρ
ω
,
λ
=
ω
λ
-
1
+
λ
-
s
+
1
cos
⁡
(
λ
x
-
ω
t
)
,
where ω is in a bounded set of 𝕊 and λ is in the set of positive integers ℤ
+.Now we compute the error. Substituting the approximate solution(
u
ω
,
λ
,
ρ
ω
,
λ
) into the first and second equation of (5), we get the following error:
(36)
E
=
u
t
ω
,
λ
+
u
ω
,
λ
u
x
ω
,
λ
+
∂
x
Λ
-
2
(
(
u
ω
,
λ
)
2
+
1
2
(
u
x
ω
,
λ
)
2
+
1
2
(
ρ
ω
,
λ
)
2
)
,
F
=
ρ
t
ω
,
λ
+
u
ω
,
λ
ρ
x
ω
,
λ
+
u
x
ω
,
λ
ρ
ω
,
λ
.Direct calculation shows that(37)
u
t
ω
,
λ
+
u
ω
,
λ
u
x
ω
,
λ
=
-
1
2
λ
-
2
s
+
1
sin
(
2
λ
x
-
2
ω
t
)
:
=
E
1
,
∂
x
Λ
-
2
(
(
u
ω
,
λ
)
2
+
1
2
(
u
x
ω
,
λ
)
2
+
1
2
(
ρ
ω
,
λ
)
2
)
=
-
3
2
λ
-
2
s
+
1
Λ
-
2
sin
(
2
λ
x
-
2
ω
t
)
-
3
ω
λ
-
s
Λ
-
2
sin
(
λ
x
-
ω
t
)
+
1
2
λ
-
2
s
+
3
Λ
-
2
sin
(
2
λ
x
-
2
ω
t
)
-
ω
λ
-
s
+
1
Λ
-
2
sin
(
λ
x
-
ω
t
)
:
=
E
2
+
E
3
+
E
4
+
E
5
.
Similarly, we have
(38)
ρ
t
ω
,
λ
+
u
ω
,
λ
ρ
x
ω
,
λ
+
+
u
x
ω
,
λ
ρ
ω
,
λ
=
-
λ
-
s
sin
(
λ
x
-
ω
t
)
-
λ
-
2
s
+
2
sin
(
2
λ
x
-
2
ω
t
)
:
=
F
1
+
F
2
.LetC be a generic positive constant. For any positive quantities P and Q, we write P
≲
Q
(
P
≳
Q
) meaning that P
≤
C
Q
(
P
≥
C
Q
) in the following.Next, we estimate the error. We remark that the error of the periodic Camassa-Holm equation containsE
i
(
i
=
1,2
,
3
) and the estimate of E
i was contained in paper [17]. In [17], they obtained that
(39)
∥
E
1
∥
H
1
,
∥
E
2
∥
H
1
,
∥
E
4
∥
H
1
≲
λ
-
2
s
+
2
,
∥
E
3
∥
H
1
≲
λ
-
s
-
1
.Now, we estimateE
5 and F
i
(
i
=
1,2
). We need the following lemma.Lemma 5 (see [17]).
Letσ
∈
ℝ. If λ
∈
ℤ
+ and λ
≫
1 then
(40)
∥
cos
⁡
(
λ
x
-
α
)
∥
H
σ
(
𝕊
)
≈
λ
σ
,
α
∈
ℝ
.
The above relation also holds if cos
⁡
(
λ
x
-
α
) is replaced with sin
(
λ
x
-
α
).Estimating the
H
1
-Norm of
E
5
. By using the definition of Λ, we have
(41)
∥
E
5
∥
H
1
=
∥
ω
λ
-
s
+
1
Λ
-
2
sin
(
λ
x
-
ω
t
)
∥
H
1
=
|
ω
λ
-
s
+
1
|
∥
sin
(
λ
x
-
ω
t
)
∥
H
-
1
≲
λ
-
s
,
where we used Lemma 5.Estimating the
L
2
-Norms of
F
1
and
F
2
. Also, we have
(42)
∥
F
1
∥
L
2
=
∥
λ
-
s
sin
(
λ
x
-
ω
t
)
∥
L
2
≲
λ
-
s
,
∥
F
2
∥
L
2
=
∥
λ
-
2
s
+
2
sin
(
2
λ
x
-
2
ω
t
)
∥
L
2
≲
λ
-
2
s
+
2
.
Collecting all error estimates together, we have the following Theorem.Theorem 6.
Lets
>
5
/
2. If ω is bounded, then for λ
≫
1 we have
(43)
∥
E
∥
H
1
,
∥
F
∥
L
2
≲
λ
-
s
.


## 4. Difference between Approximate and Actual Solutions

In this section, we will estimate the difference between the approximate and actual solutions.Let(
u
ω
,
λ
(
t
,
x
)
,
ρ
ω
,
λ
(
t
,
x
)
) be the solution to system (5) with initial data of the value of the approximate solution (
u
ω
,
λ
(
t
,
x
)
,
ρ
ω
,
λ
(
t
,
x
)
) at time zero; that is, (
u
ω
,
λ
(
t
,
x
)
,
ρ
ω
,
λ
(
t
,
x
)
) satisfies
(44)
∂
t
u
ω
,
λ
+
u
ω
,
λ
∂
x
u
ω
,
λ
hhhh
+
∂
x
Λ
-
2
(
u
ω
,
λ
2
+
1
2
(
∂
x
u
ω
,
λ
)
2
+
1
2
ρ
ω
,
λ
2
)
=
0
,
hhhhhhhhhhhhhhhhhhhlhhhlhlhh
t
>
0
,
x
∈
𝕊
,
∂
t
ρ
ω
,
λ
+
u
ω
,
λ
∂
x
ρ
ω
,
λ
+
u
ω
,
λ
∂
ρ
ω
,
λ
=
0
,
t
>
0
,
x
∈
𝕊
,
u
ω
,
λ
(
0
,
x
)
=
u
ω
,
λ
(
0
,
x
)
=
ω
λ
-
1
+
λ
-
s
cos
⁡
(
λ
x
)
,
x
∈
𝕊
,
ρ
ω
,
λ
(
0
,
x
)
=
ρ
ω
,
λ
(
0
,
x
)
=
ω
λ
-
1
+
λ
-
s
+
1
cos
⁡
(
λ
x
)
,
x
∈
𝕊
.
Note that (
u
ω
,
λ
(
0
,
x
)
,
ρ
ω
,
λ
(
0
,
x
)
)
∈
H
s
×
H
s
-
1, s
≥
0. Moreover, we have
(45)
∥
u
ω
,
λ
(
0
,
x
)
∥
H
s
≲
|
ω
|
λ
-
1
+
1
,
λ
≫
1
,
∥
ρ
ω
,
λ
(
0
,
x
)
∥
H
s
-
1
≲
|
ω
|
λ
-
1
+
1
,
λ
≫
1
.
Therefore, if s
>
5
/
2, by using Theorems 1 and 4, we have that, for any ω in a bounded set and λ
≫
1, problem (44) has a unique solution z
ω
,
λ
∈
C
(
[
0
,
T
]
;
H
s
)
×
C
(
[
0
,
T
]
;
H
s
-
1
) with
(46)
T
≳
1
∥
z
ω
,
λ
(
0
)
∥
H
s
×
H
s
-
1
≳
1
1
+
λ
-
1
≳
1
.To estimate the difference between the approximate and actual solutions, we let(47)
v
=
u
ω
,
λ
-
u
ω
,
λ
,
σ
=
ρ
ω
,
λ
-
ρ
ω
,
λ
.
Then (
v
,
σ
) satisfies
(48)
v
t
-
v
v
x
+
u
ω
,
λ
v
x
+
v
u
x
ω
,
λ
-
∂
x
Λ
-
2
[
2
u
ω
,
λ
v
-
u
x
ω
,
λ
v
x
-
ρ
ω
,
λ
σ
v
2
+
1
2
v
x
2
+
1
2
σ
2
-
2
u
ω
,
λ
v
-
u
x
ω
,
λ
v
x
-
ρ
ω
,
λ
σ
1
2
]
=
E
,
t
>
0
,
x
∈
𝕊
,
σ
t
-
v
σ
x
+
u
ω
,
λ
σ
x
+
v
ρ
x
ω
,
λ
-
(
σ
v
x
-
u
ω
,
λ
σ
-
ρ
ω
,
λ
v
x
)
=
F
,
t
>
0
,
x
∈
𝕊
,
v
(
0
,
x
)
=
σ
(
0
,
x
)
=
0
,
x
∈
𝕊
,
where E and F are defined as in Section 3.Now we prove that theH
1-norm of difference decays.Theorem 7.
Lets
>
5
/
2; then
(49)
∥
v
(
t
)
∥
H
1
≲
λ
-
s
,
∥
σ
(
t
)
∥
L
2
≲
λ
-
s
,
0
≤
t
≤
T
,
λ
≫
1
.Proof.
Note that(50)
1
2
d
d
t
∥
v
(
t
)
∥
H
1
2
=
∫
𝕊
‍
(
v
v
t
+
v
x
v
x
t
)
d
x
,
(51)
1
2
d
d
t
∥
σ
(
t
)
∥
L
2
2
=
∫
𝕊
‍
σ
σ
t
d
x
.
Applying the operator 1
-
∂
x
2
=
Λ
2 to both sides of the first equations of system (48), we have
(52)
v
t
=
Λ
2
E
-
Λ
2
(
u
ω
,
λ
v
x
-
v
u
x
ω
,
λ
)
-
(
2
u
ω
,
λ
v
+
u
x
ω
,
λ
v
x
+
ρ
ω
,
λ
σ
)
x
+
1
2
(
σ
2
)
x
+
3
v
v
x
-
2
v
x
v
x
x
-
v
v
x
x
x
+
v
x
x
t
,
(53)
σ
t
=
F
-
(
u
ω
,
λ
σ
x
+
v
ρ
x
ω
,
λ
)
-
(
u
x
ω
,
λ
σ
+
ρ
ω
,
λ
v
x
)
+
(
v
σ
)
x
.
Substituting (52) and (53) into (50) and (51), respectively, we obtain
(54)
1
2
d
d
t
∥
v
(
t
)
∥
H
1
2
=
∫
𝕊
‍
v
Λ
2
E
~
d
x
-
∫
𝕊
‍
v
Λ
2
(
u
ω
,
λ
v
x
+
v
u
x
ω
,
λ
)
d
x
-
∫
𝕊
‍
v
(
2
u
ω
,
λ
v
+
u
x
ω
,
λ
v
x
+
ρ
ω
,
λ
σ
)
x
d
x
+
1
2
∫
𝕊
‍
v
(
σ
2
)
x
d
x
+
∫
𝕊
‍
(
v
(
3
v
v
x
-
2
v
x
v
x
x
-
v
v
x
x
x
+
v
x
x
t
)
+
v
x
v
x
t
)
d
x
,
(55)
1
2
d
d
t
∥
σ
(
t
)
∥
L
2
2
=
∫
𝕊
‍
σ
F
~
d
x
-
∫
𝕊
‍
σ
(
u
ω
,
λ
σ
x
+
v
ρ
x
ω
,
λ
)
d
x
-
∫
𝕊
‍
σ
(
ρ
ω
,
λ
v
x
+
σ
u
x
ω
,
λ
)
d
x
+
∫
𝕊
‍
σ
(
v
σ
)
x
d
x
.
It is direct to calculate that
(56)
∫
𝕊
‍
(
v
(
3
v
v
x
-
2
v
x
v
x
x
-
v
v
x
x
x
+
v
x
x
t
)
+
v
x
v
x
t
)
d
x
=
∫
𝕊
[
(
v
3
)
x
-
(
v
2
v
x
x
)
x
+
(
v
v
x
t
)
x
]
d
x
=
0
.
Substituting the above equalities into (54) and adding the resulting equations, we get
(57)
1
2
d
d
t
(
∥
v
(
t
)
∥
H
1
2
+
∥
σ
(
t
)
∥
L
2
2
)
=
∫
𝕊
‍
v
Λ
2
E
~
d
x
+
∫
𝕊
‍
σ
F
~
d
x
-
∫
𝕊
‍
v
Λ
2
(
u
ω
,
λ
v
x
+
v
u
x
ω
,
λ
)
d
x
-
∫
𝕊
‍
σ
(
u
ω
,
λ
σ
x
+
v
ρ
x
ω
,
λ
)
d
x
-
∫
𝕊
‍
v
(
2
u
ω
,
λ
v
+
u
x
ω
,
λ
v
x
+
ρ
ω
,
λ
σ
)
x
d
x
-
∫
𝕊
‍
σ
(
ρ
ω
,
λ
v
x
+
σ
u
x
ω
,
λ
)
d
x
+
∫
𝕊
‍
[
1
2
v
(
σ
2
)
x
+
σ
(
v
σ
)
x
]
d
x
:
=
I
1
+
I
2
+
⋯
+
I
7
.
We first look at the last term I
7. Integrating by parts gives
(58)
I
7
=
∫
𝕊
‍
[
1
2
v
(
σ
2
)
x
+
σ
(
v
σ
)
x
]
d
x
=
0
.
Estimates of Integrals
I
1
and
I
2
. Integrating by parts and applying the Cauchy-Schwarz inequality, we have
(59)
|
∫
𝕊
‍
v
Λ
2
E
d
x
|
=
|
∫
𝕊
‍
(
v
E
-
v
x
E
x
)
d
x
|
≤
∥
E
∥
H
1
∥
v
(
t
)
∥
H
1
,
|
∫
𝕊
‍
σ
F
d
x
|
≤
∥
F
∥
L
2
∥
σ
(
t
)
∥
L
2
.
Estimates of Integrals
I
3
. Integrating by parts, we get
(60)
-
I
3
=
∫
𝕊
‍
v
Λ
2
(
u
ω
,
λ
v
x
+
v
u
x
ω
,
λ
)
d
x
=
∫
𝕊
‍
v
(
u
ω
,
λ
v
x
+
v
u
x
ω
,
λ
)
d
x
+
∫
𝕊
‍
v
x
(
u
ω
,
λ
v
x
)
x
d
x
+
∫
𝕊
‍
v
x
(
v
u
x
ω
,
λ
)
x
d
x
,
and estimate its first part by
(61)
|
∫
𝕊
‍
v
(
u
ω
,
λ
v
x
+
v
u
x
ω
,
λ
)
d
x
|
≤
(
∥
u
ω
,
λ
(
t
)
∥
∞
+
∥
u
x
ω
,
λ
(
t
)
∥
∞
)
∥
v
(
t
)
∥
H
1
2
.
Its second part can be estimated by
(62)
|
∫
𝕊
‍
v
x
(
u
ω
,
λ
v
x
)
x
d
x
|
=
|
∫
𝕊
‍
(
u
x
ω
,
λ
v
x
2
+
1
2
u
ω
,
λ
(
v
x
2
)
x
)
d
x
|
=
1
2
|
∫
𝕊
‍
u
x
ω
,
λ
v
x
2
d
x
|
≤
∥
u
x
ω
,
λ
∥
∞
∥
v
(
t
)
∥
H
1
2
.
For the last part, integrating by parts, we obtain
(63)
|
∫
𝕊
‍
v
x
(
v
u
x
ω
,
λ
)
x
d
x
|
≤
|
∫
𝕊
‍
u
x
ω
,
λ
v
x
2
d
x
|
+
|
∫
𝕊
‍
v
v
x
u
x
x
ω
,
λ
d
x
|
≤
(
∥
u
x
ω
,
λ
(
t
)
∥
∞
+
∥
u
x
x
ω
,
λ
(
t
)
∥
∞
)
∥
v
(
t
)
∥
H
1
2
.
Estimates of Integrals
I
4
and
I
6. Integrating by parts, we can deal with the integral I
4:
(64)
|
I
4
|
=
|
-
∫
𝕊
‍
σ
(
u
ω
,
λ
σ
x
+
v
ρ
x
ω
,
λ
)
d
x
|
=
|
∫
𝕊
‍
σ
2
2
u
x
ω
,
λ
+
v
σ
ρ
x
ω
,
λ
d
x
|
≤
(
∥
u
x
ω
,
λ
(
t
)
∥
L
∞
+
∥
ρ
x
ω
,
λ
(
t
)
∥
L
∞
)
×
(
∥
σ
∥
L
2
2
+
∥
v
(
t
)
∥
H
1
2
)
.
Similarly, we can estimate the term I
6,
(65)
|
I
6
|
=
|
-
∫
𝕊
‍
σ
(
ρ
ω
,
λ
v
x
+
σ
u
x
ω
,
λ
)
d
x
|
≤
(
∥
u
x
ω
,
λ
(
t
)
∥
L
∞
+
∥
ρ
ω
,
λ
(
t
)
∥
L
∞
)
×
(
∥
σ
∥
L
2
2
+
∥
v
(
t
)
∥
H
1
2
)
.
Estimate of the Integral
I
5
. Integrating by parts, we have
(66)
|
I
5
|
=
|
∫
𝕊
‍
v
(
2
u
ω
,
λ
v
+
u
x
ω
,
λ
v
x
+
ρ
ω
,
λ
σ
)
x
d
x
|
=
|
∫
𝕊
‍
v
x
(
2
u
ω
,
λ
v
+
u
x
ω
,
λ
v
x
+
ρ
ω
,
λ
σ
)
d
x
|
≲
(
∥
u
ω
,
λ
(
t
)
∥
∞
+
∥
u
x
ω
,
λ
(
t
)
∥
∞
+
∥
ρ
ω
,
λ
(
t
)
∥
∞
)
×
(
∥
v
(
t
)
∥
H
1
2
+
∥
σ
(
t
)
∥
L
2
2
)
.
Combining the estimations of I
1
–
I
7, we have that
(67)
1
2
d
d
t
(
∥
v
(
t
)
∥
H
1
2
+
∥
σ
(
t
)
∥
L
2
2
)
≲
(
∥
E
∥
H
1
+
∥
F
∥
H
1
)
(
∥
v
(
t
)
∥
H
1
+
∥
σ
(
t
)
∥
L
2
)
+
(
∥
u
ω
,
λ
(
t
)
∥
∞
+
∥
u
x
ω
,
λ
(
t
)
∥
∞
+
∥
u
x
x
ω
,
λ
(
t
)
∥
∞
+
∥
ρ
ω
,
λ
(
t
)
∥
∞
+
∥
ρ
x
ω
,
λ
(
t
)
∥
∞
)
×
(
∥
v
(
t
)
∥
H
1
2
+
∥
σ
(
t
)
∥
H
1
2
)
.
Note that
(68)
u
ω
,
λ
=
ω
λ
-
1
+
λ
-
s
cos
⁡
(
λ
x
-
ω
t
)
,
ρ
ω
,
λ
=
ω
λ
-
1
+
λ
-
s
cos
⁡
(
λ
x
-
ω
t
)
;
we have ∂
x
u
ω
,
λ
=
-
λ
-
s
+
1
sin
(
λ
x
-
ω
t
). Furthermore, we have
(69)
∥
u
ω
,
λ
∥
L
∞
,
≲
λ
-
1
+
λ
-
s
,
∥
∂
x
u
ω
,
λ
∥
L
∞
,
∥
∂
ρ
ω
,
λ
∥
L
∞
≲
λ
-
s
+
1
,
∥
u
x
x
ω
,
λ
∥
L
∞
≲
λ
-
s
+
2
.
Submitting (69) into (67) and using Theorem 6, we obtain
(70)
1
2
d
d
t
∥
z
(
t
)
∥
H
1
×
L
2
2
≲
λ
-
s
∥
z
(
t
)
∥
H
1
×
L
2
+
λ
-
s
+
2
∥
z
(
t
)
∥
H
1
×
L
2
2
,
which implies that
(71)
∥
z
(
t
)
∥
H
1
×
L
2
≲
λ
-
s
.
Noting that
(72)
∥
v
(
t
)
∥
H
1
,
∥
φ
(
t
)
∥
L
2
≤
∥
z
(
t
)
∥
H
1
×
L
2
,
combining the above inequality, we complete the proof of Theorem 7.


## 5. Nonuniform Dependence

In this section, we will prove nonuniform dependence for system (5) by taking advantage of the information provided by Theorems 1-4, 6, and 7. Our main result is the following.Theorem 8.
Ifs
>
5
/
2, then the data-to-solution z
(
0
)
→
z
(
t
) for system (5) is not uniformly continuous from any bounded subset of H
s
×
H
s
-
1 into C
(
[
-
T
,
T
]
;
H
s
)
×
C
(
[
-
T
,
T
]
;
H
s
-
1
), where z
(
0
)
=
(
u
0
(
x
)
,
ρ
0
(
x
)
) and z
(
t
)
=
(
u
(
t
,
x
)
,
ρ
(
t
,
x
)
). More precisely, there exist two sequences of solutions (
u
λ
(
t
)
,
ρ
λ
(
t
)
) and (
u
~
λ
(
t
)
,
ρ
~
λ
(
t
)
) to the differential equations of (5) in C
(
[
-
T
,
T
]
;
H
s
)
×
C
(
[
-
T
,
T
]
;
H
s
-
1
) such that
(73)
∥
u
λ
(
t
)
∥
H
s
+
∥
u
~
λ
(
t
)
∥
H
s
+
∥
ρ
λ
(
t
)
∥
H
s
-
1
+
∥
ρ
~
λ
(
t
)
∥
H
s
-
1
≲
1
,
lim
⁡
λ
→
∞
∥
u
λ
(
0
)
-
u
~
λ
(
0
)
∥
H
s
=
lim
⁡
λ
→
∞
∥
ρ
λ
(
0
)
-
ρ
~
λ
(
0
)
∥
H
s
-
1
=
0
,
(74)
lim
⁡
inf
⁡
λ
→
∞
(
∥
u
λ
(
t
)
-
u
~
λ
(
t
)
∥
H
s
+
∥
ρ
λ
(
t
)
-
ρ
~
λ
(
t
)
∥
H
s
-
1
)
≳
sin
t
,
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhlhhhhh
|
t
|
<
T
≤
1
.Proof.
Let(
u
λ
(
t
)
,
ρ
λ
(
t
)
)
=
(
u
1
,
λ
(
t
,
x
)
,
ρ
1
,
λ
(
t
,
x
)
) and (
u
~
λ
(
t
)
,
ρ
~
λ
(
t
)
)
=
(
u
-
1
,
λ
(
t
,
x
)
,
ρ
-
1
,
λ
(
t
,
x
)
), where (
u
1
,
λ
(
t
,
x
)
,
ρ
1
,
λ
(
t
,
x
)
) and (
u
-
1
,
λ
(
t
,
x
)
,
ρ
-
1
,
λ
(
t
,
x
)
) are the unique solution to Cauchy problem (44) with initial data (
u
1
,
λ
(
0
,
x
)
,
ρ
1
,
λ
(
0
,
x
)
) and (
u
-
1
,
λ
(
0
,
x
)
,
ρ
-
1
,
λ
(
0
,
x
)
), respectively.
It follows from Theorem1 that these solutions belong in C
(
[
0
,
T
]
;
H
s
)
×
C
(
[
0
,
T
]
;
H
s
-
1
). By (48) and the assumptions after Theorem 1, we see that T is independent of λ
≫
1. Letting k
=
[
s
]
+
2 and using estimate (34), we have
(75)
∥
u
±
1
,
λ
(
t
)
∥
H
k
,
∥
ρ
±
1
,
λ
(
t
)
∥
H
k
-
1
≲
∥
z
±
1
,
λ
(
0
)
∥
H
k
×
H
k
-
1
,
where z
±
1
,
λ
(
0
)
=
(
u
±
1
,
λ
(
0
)
,
ρ
±
1
,
λ
(
0
)
) and ∥
z
±
1
,
λ
(
0
)
∥
H
k
×
H
k
-
1
2
=
∥
u
±
1
,
λ
(
0
)
∥
H
k
2
+
∥
ρ
±
1
,
λ
(
0
)
∥
H
k
-
1
2. If λ is large enough, then from Lemma 5 we have
(76)
∥
u
±
1
,
λ
(
t
)
∥
H
k
≤
∥
u
±
1
,
λ
(
t
)
∥
H
k
+
λ
-
(
1
/
2
)
δ
-
s
∥
ϕ
(
x
λ
δ
)
cos
⁡
(
λ
x
-
ω
t
)
∥
H
k
≲
λ
-
1
+
(
1
/
2
)
δ
+
λ
k
-
s
∥
ϕ
∥
2
,
which gives
(77)
∥
u
±
1
,
λ
(
t
)
∥
H
k
≲
λ
k
-
s
.
Combining (75) with (77), we obtain
(78)
∥
u
±
1
,
λ
(
t
)
∥
H
k
≲
λ
k
-
s
,
λ
≫
1
.
Estimate (77) together with (78) yields
(79)
∥
u
±
1
,
λ
(
t
)
-
u
±
1
,
λ
(
t
)
∥
H
k
≲
λ
k
-
s
,
λ
≫
1
.
Theorem 7 implies that
(80)
∥
u
±
1
,
λ
(
t
)
-
u
±
1
,
λ
(
t
)
∥
H
1
≲
λ
-
s
,
λ
≫
1
.
Now, applying the interpolation inequality
(81)
∥
φ
∥
H
s
≤
∥
φ
∥
H
s
1
(
s
2
-
s
)
/
(
s
2
-
s
1
)
∥
φ
∥
H
s
2
(
s
-
s
1
)
/
(
s
2
-
s
1
)
with s
1
=
1 and s
2
=
[
s
]
+
2
=
k and using estimates (79) and (80), we get
(82)
∥
u
±
1
,
λ
(
t
)
-
u
±
1
,
λ
(
t
)
∥
H
s
≤
∥
u
±
1
,
λ
(
t
)
-
u
±
1
,
λ
(
t
)
∥
H
1
(
k
-
s
)
/
(
k
-
1
)
×
∥
u
±
1
,
λ
(
t
)
-
u
±
1
,
λ
(
t
)
∥
H
k
(
s
-
1
)
/
(
k
-
1
)
≲
λ
-
s
(
k
-
s
)
/
(
k
-
1
)
λ
(
k
-
s
)
(
s
-
1
)
/
(
k
-
1
)
≲
λ
-
(
k
-
s
)
/
(
k
-
1
)
,
λ
≫
1
.
Hence
(83)
∥
u
±
1
,
λ
(
t
)
-
u
±
1
,
λ
(
t
)
∥
H
s
≲
λ
-
ε
s
,
λ
≫
1
,
where ε
s
=
1
/
(
s
+
2
).
Next, we prove (73) and (74). From (44), we have
(84)
∥
u
1
,
λ
(
0
)
-
u
-
1
,
λ
(
0
)
∥
H
s
=
∥
2
λ
-
1
∥
H
s
≊
λ
-
1
⟶
0
as
λ
⟶
∞
,
∥
ρ
1
,
λ
(
0
)
-
ρ
-
1
,
λ
(
0
)
∥
H
s
-
1
=
∥
2
λ
-
1
∥
H
s
-
1
≊
λ
-
1
⟶
0
as
λ
⟶
∞
,
which implies that (73) holds.
Now, we prove (74). Obviously, we have
(85)
lim
⁡
inf
⁡
λ
→
∞
(
∥
u
λ
(
t
)
-
u
~
λ
(
t
)
∥
H
s
+
∥
ρ
λ
(
t
)
-
ρ
~
λ
(
t
)
∥
H
s
-
1
)
≥
lim
⁡
inf
⁡
λ
→
∞
∥
u
λ
(
t
)
-
u
~
λ
(
t
)
∥
H
s
.
Thus we only prove that
(86)
lim
⁡
inf
⁡
λ
→
∞
∥
u
λ
(
t
)
-
u
~
λ
(
t
)
∥
H
s
≳
sin
t
,
|
t
|
<
T
≤
1
.
It is easy to see that
(87)
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
≥
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
hh
-
∥
u
1
,
λ
(
t
)
-
u
1
,
λ
(
t
)
∥
H
s
hh
-
∥
u
-
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
.
It follows from (77) that
(88)
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
≥
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
-
c
λ
-
ε
s
,
hhhhhhhhhhhhhhhhl
λ
≫
1
,
which implies that
(89)
lim
⁡
inf
⁡
λ
→
∞
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
≥
lim
⁡
inf
⁡
λ
→
∞
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
.
Using the identity
(90)
cos
⁡
α
-
cos
⁡
β
=
-
2
sin
α
+
β
2
sin
α
-
β
2
gives
(91)
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
=
2
λ
-
1
+
2
λ
-
s
sin
(
λ
x
)
sin
t
.
Thus,
(92)
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
≥
2
λ
-
s
∥
sin
λ
x
∥
H
s
|
sin
t
|
-
2
λ
-
1
∥
1
∥
H
s
l
≳
λ
-
s
∥
sin
λ
x
∥
H
s
|
sin
t
|
-
λ
-
1
,
λ
≫
1
.
Letting λ
→
∞ in the above inequality, we have
(93)
lim
⁡
inf
⁡
λ
→
∞
∥
u
1
,
λ
(
t
)
-
u
-
1
,
λ
(
t
)
∥
H
s
≳
|
sin
t
|
.
Summing inequalities (89) and (93) up, it yields inequality (74). This completes the proof of this Theorem.



---

*Source: 823126-2014-03-04.xml*