A Family of Inertial Manifolds for a Class of Asymmetrically Coupled Generalized Higher-Order Kirchhoff Equations ()
1. Introduction
In this paper, we study the inertial manifolds for a class of asymmetrically coupled generalized Higher-order Kirchhoff equations:
(1)
(2)
the boundary conditions:
(3)
(4)
the initial conditions:
(5)
where
is a bounded domain in
with smooth boundary
,
is a known function,
are nonlinear source term and the external force interference terms,
is real number.
Recently, the existence of inertial manifolds for Kirchhoff-type equation has been favored by many scholars. Many scholars have done a lot of research on this kind of problems and obtained good results [1] [2] [3].
Lin Chen, Wei Wang and Guoguang Lin [1] studied higher-order Kirchhoff-type equation with nonlinear strong dissipation in n dimensional space:
for the above equation, they made some suitable assumptions about
and
to get the existence of exponential attractors and inertial manifolds.
Guoguang Lin, Ming Zhang [2] studied the initial boundary value problem for a class of Kirchhoff-type coupled equations:
they used the one order coupled evolution equation which is equivalent to Kirchhoff-type coupled Equations. Then by using the graph norm in X, they get the existence of the inertial manifolds.
Lin Guoguang, Yang Lujiao [3] studied the existence of exponential attractors and a family of inertial manifolds for a class of generalized Kirchhoff-type equation with damping term:
by using Hadamard’s graph transformation method, they proved the spectral interval condition is true; then they obtained the existence of a family of the inertial manifolds for the equation.
For more significant research results about the existence of inertial manifolds for Kirchhoff-type equations, please refer to the literature [4] - [17].
This paper is organized as follows. In Section 2, we present the preliminaries and some lemmas. In Section 3, the inertial manifold is obtained.
2. Preliminaries
The following symbols and assumptions are introduced for the convenience of the statement:
In order to obtain our results, we consider system (1)-(5) under some assumptions on
and
. Precisely, we state the general assumptions:
(H1)
,
(H2)
.
Definition 1 [6] Assuming
is a solution semigroup on Banach space
, subset
is said to be a family of inertial manifolds, if they satisfy the following three properties:
1)
is a finite-dimensional Lipschitz manifold;
2)
is positively invariant, i.e.,
;
3)
attracts exponentially all orbits of solution , that is, for any
, there are constants
such that
(6)
Definition 2 [6] Let
be an operator and assume that
satisfies the Lipschitz condition:
(7)
If the point spectrum of the operator A can be divided into the following two parts
and
, where
is finite
(8)
(9)
Then
(10)
and the orthogonal decomposition
(11)
holds with continuous orthogonal projections
and
.
Lemma 1 [6] Let the eigenvalues
be arranged in nondecreasing order, for all
, there is
such that
and
are consecutive.
3. A Family of Inertia Manifolds
Equations (1)-(5) are equivalent to the following one-order evolution equation:
,
(12)
where
,
,
, and
,
.
We consider the usual graph norm in
, as follows
(13)
where
,
,
,
denote the conjugation of
respectively. Evidently, the operator A is monotone, and we obtain
(14)
so,
is a nonnegative and real number.
In order to determine the eigenvalues of A, we consider the eigenvalues equation:
,
, (15)
that is
(16)
combined with (16), we obtain
(17)
where
.
Taking
and
inner product with the Equations (17), we have
(18)
adding them together,
(19)
(19) is regard as a quadratic equation with one unknown about
, so we get
, (20)
where
is the eigenvalue of
, and
is non-derogatory, for
, we have
,
,
.
If
, we can get the eigenvalues of A are all positive and real numbers. The corresponding eigenfunction is as follows
. (21)
Lemma 2
is uniformly bounded and globally Lipschitz continuous.
Proof.
, by (H1), we have
(22)
Similarly, we have
, where
, l is Lipschitz coefficient of g.
Theorem 1 When
, l is Lipschitz constant of g, there is a large enough
so that
has
(23)
then operator A satisfies the spectral interval condition of Definition 2.
Proof. when
, the eigenvalues of A are all positive and real numbers, meanwhile
and
are increasing order.
Next, we divided the whole process of proof into four steps.
Step 1 By Lemma 1, since
is nondecreasing order, so there exists N, such that
and
are continuous adjacent values, Then the eigenvalues of A are separate as
(24)
Step 2 The corresponding
is decomposed into
(25)
We aim at madding two orthogonal subspaces of
and verifying the spectral gap condition (11) is true when
, Therefore, we further decompose
, where
(26)
Set
, in order to verify the
and
are orthogonal, we need to introduce two functions
,
.
(27)
(28)
where
are defined before.
Let
, by (H2), then
(29)
since for
, we have
, for
, then
is positive definite.
Similarly, for
, we have
(30)
so, for
, the
is also positive definite.
Next, we need to define a scale product in
(31)
where
and
are projection
,
respectively, for convenience, we rewrite (31) as follows
(32)
We will proof that two subspaces
and
in (25) are orthogonal; in fact, we only need to show
and
are orthogonal, that is
(33)
by (27), (32), we have
(34)
Through Equation (19), we can get
,
, therefore
(35)
Step 3 Further, we estimate the Lipschitz constant
of F
, (36)
from (27), (28), for
, we have
(37)
By lemma 1, where
,
, we can get
(38)
so, we obtain
(39)
Step 4 Now, we will show the spectral gap condition (10) holds.
(40)
where
.
Let
. (41)
letting
, (42)
we can compute
(43)
. (44)
then, we can get
(45)
Theorem 1 is proved.
Theorem 2 Under the condition of Theorem 1, the problem (1)-(5) exist an inertial manifold
in
,
(46)
where
is a Lipschitz continuous function.