The objective of this paper is to study the following initial boundary value problem of the generalized Kirchhoff equation
where , , is a bounded domain with a smooth boundary , is a real function, denotes strong damping term, is nonlinear source term, denotes the external force term. The assumption of and will be given later.
In 1883, German physicist G. Kirchhoff  first introduced the following model to study the free vibration of elastic strings
where the time variable is t, the elastic modulus is E, h is the cross-sectional area, L is the length of the string, is the mass density, is the initial axial tension, is the resistance coefficient, f is the external force term, is the lateral displacement at the space coordinate x and the time t.
Since the 1980s, with the progress of science and technology and the continuous development of mathematical physics equations and Kirchhoff equation has been widely used, especially in measuring bridge vibration of engineering physics, so more and more scholars begin to pay close attention to and carries on the thorough study of Kirchhoff equation and a series of theories and research results in recent years, including the existence and uniqueness of the global solutions, global attractor and Hausdorff dimension and fractal dimension, the existence of random attractor, energy decay and blow-up of the solution, exponential attractor and inertial manifolds, etc. Among them, scholars have done a lot of research on the existence of global attractors for Kirchhoff-type equations with strong dissipation terms, the theoretical basis and research results can be found in the references (  -  ).
In reference , Guoguang Lin, Yunlong Gao studied the existence and uniqueness of global solutions of a class of generalized Kirchhoff-type equations with nonlinear strong damping and their global attractors
By assuming the nonlinear source terms g(u), the author verifies the appropriateness of the solution and proves the existence of the global attractor.
Recently, Lin Guoguang and Guan Liping  studied the global attractor of a high-order Kirchhoff-type equation with a strong nonlinear damping term and finite dimensional estimation of its Hausdorff dimension and Fractal dimension
where , is a bounded domain with smooth homogeneous Dirichlet boundary , denotes the external force, denotes second order nonlinear source term, M is a general function, , is strong damping term. For more significant research results about the global attractor and its dimension estimation of Kirchhoff equation, please refer to the literature (     ).
In this paper, on the basis of literature , the rigid term is extended to , the existence and uniqueness of global solutions of generalized nonlinear Kirchhoff-type equations are proved, and the existence of global attractors and their finite Hausdorff dimension and Fractal dimension of problems (1)-(3) are discussed.
For convenience, define the following spaces and notations
and represent the inner product and norms of H respectively, i.e.
Let’s call is the weak global attractor of to , is a bounded absorption set in , is constant.
Assume that the nonlinear source term g(u) in Equation (1.1) satisfies the following conditions
(A2) , where ;
The Kirchhoff-type stress term satisfies the following conditions
(A5) , where
where are constant, and , is the first eigenvalue of with homogeneous Dirichlet boundary conditions on .
2. A Priori Estimate of Smooth Solution
Lemma 1. Assume that the nonlinear terms g(u), M(s) satisfies assumptions (A1)-(A5), and , , then the initial boundary value problem (1.1)-(1.3) has a smooth solution and
where , , , so there’s a non-negative real number and , and , such that
Proof. Set , take the inner product of both sides of Equation (1.1) with v in H, we obtain
By using the Poincare’s inequality, we obtain
The following estimation can be obtained from hypothesis (A2)
By using the weighted Young’s inequality, we obtain
Substitute inequality (2.4)-(2.8) into Equation (2.3), therefore
Let , , , and let , , then Equation (2.9) can be reduced to
According to hypothesis (A3)
By using the Gronwall’s inequality, we get
So, there are constants and , we obtain
The Lemma 1 is proved.
Lemma 2. Assume that the nonlinear terms g(u), M(s) satisfies assumptions (A1)-(A5), and , , then the initial boundary value problem (1.1)-(1.3) has a smooth solution , satisfy
where , , , so there are non-negative real number and , such that
Proof. Set , take the inner product of both sides of equation(1.1) with in H, we obtain
According to hypothesis (A5), and use a proof method similar to lemma 1, we can get
By using Poincare’s inequality and Young’s inequality, we have
Substitute inequality (2.19)-(2.23) to (2.18), therefore
Obviously, there is a non-negative , such that , , , let , , then (2.24) can reduce to
By using Gronwall’s inequality, we can get
So, there are constants and , we obtain
The Lemma 2 is proved.
3. Existence and Uniqueness of Solutions
Theorem 1 Assume that the nonlinear terms g(u), M(s) satisfies (A1)-(A5), , , then the initial boundary (1)-(3) exists a unique smooth solution . Proof. To prove the existence, the application of Calerkin’s method is divided into the following three steps.
1) Approximate solution.
Suppose the eigenvector of generates an orthonormal basis for , where is the eigenvalue of with homogeneous
Dirichlet boundary on , the k-order approximation is defined as follows: , .
In H, , the system of ordinary differential equations with respect to can be determined on the interval, we need to prove that.
2) Prior estimate.
According to the conclusion and proof method of lemma 1, is uniformly bounded on, that is
where R is a constant independent of k. According to lemma2, we get, therefore, inequality (3.2)-(3.4) indicate is bounded in, is bounded in, in fact, we can get and.
3) Limit process.
According to Danford-Pttes throrem, space is conjugated to space, space is conjugated to space, select the subsequence from the sequence, such that
is weak * convergence in;
is weak * convergence in;
is weak convergence in.
By the Rellich-Kohdrachov compact embedding theorem, is compact embedded in and, then converges strongly almost everywhere in and.
is weak * convergence in;
is weak * convergence in.
Because of, so
is weak * convergence in.
is converges in.
From Equation (3.1), the following formula can be derived this is true for.
By the density of the base, then for, the following equation is established
Then is weak convergence in, and in, we establish
So is satisfied for all j, so that existence can be proved.
Then prove the uniqueness of the solution.
Assume and are solutions of Equation (1.1), let, and substitute and into this equation, we can obtain
Take the inner product of both sides of Equation (3.5) with in H, then
According to Sobolev embedding theorem, , there exists constant, we have
By lemma 1, lemma 2, differential mean value theorem and Young’s inequality, we can obtain
According to the hypothesis (A1), we get
Substitute inequality (3.9), (3.10) to (3.6), we get
By using Gronwall’s inequality, we get
So we can get
Then, so, then the uniqueness of solutions is proved.
The theorem 1 is proved completely.
4. The Existence of the Family of Global Attractor
Theorem 2  Assume that E is a Banach space, is a semigroup operator onE, and, , , where I is unit operator, suppose satisfies the following conditions:
1) Semigroup S(t) is uniformly bounded in E, that is for all, it exists a constant C(r), such that,
2) It exists a bounded absorbing set, that is for all, it exists a constant,
3) is completely continuous operator.
Thus there is a compact global attractor for the semigroup operator.
If the Banach space E is changed to Hilbert space in theorem 2, the existence theorem of the family of the global attractors can be obtained.
Theorem 3 Under the assumption of lemma 1, lemma 2 and theorem 1, problem (1.1)-(1.3) exist a family of the global attractors
where, is a bounded absorbing set in, that is exists a compact set satisfies the following conditions:
2), (is bounded set), where
S(t) is the solution semigroup generated by problem (1.1)-(1.3).
Proof. We need to prove the three conditions of theorem 2, according to theorem 1, lemma 2, we know the problem (1.1)-(1.3) could generate the solution semigroup,.
1) According to lemma 1 and lemma 2, we know that for any bounded set, and
where, , it indicates is uniformly bounded in.
2) According to lemma 2, , for
Thus, semigroup S(t) exists bounded absorbing set.
3) is compact embedded, it indicates the bounded set in is the compact set in, so semigroup operator S(t) is completely continuous. Furthermore we can get semigroup operator S(t) exists a compact family of the
Theorem 3 is proved.
5. Estimation of the Dimension of the Family of Global Attractors
Let’s consider the linearization problem of (1.1)-(1.3)
where, is the solution of the problem (1.1)-(1.3) which take as the initial value., , it can be proved that for any, linearized initial boundary value problem (5.1)-(5.3) have unique solution.
Theorem 4. The Frechet derivative of mapping is the linear operator on, thus for any, mapping is Frechet differentiable on, and is the solution to Equations (5.1)-(5.3). Proof. Let,
, and, define, , c is a constant. We can get the Lipschitz property of S(t) on the bounded set, that is
Let is the solution of problem (1.1)-(1.3), we have
Let, we obtained
Take the inner product of (5.5) with, we get
And we get
Let, according to lemma 1, lemma 2, differential mean value theorem, interpolation inequality and Poincare’s inequality, we obtained
Sum up (5.14)-(5.16), we get
Then substitute inequality (5.14)-(5.17) to inequality (5.12), and by using Young’s inequality, Poincare’s inequality can obtained
According to Gronwall’s inequality, we get
According to (5.19), we can get, the following is established
The theorem 4 is proved.
The following will show that the family of the global attractor have finite Hausdorff dimension and Fractal dimension.
Theorem 5 In theorem 3, the family of the global attractor of equation (1.1)-(1.3) have finite Hausdorff dimension and Fractal dimension, and.
Proof we can write Equation (1.1) as
Suppose, , , , is a isomorphic mapping, and Equation (5.21) can write as
Assume is Frechet differential, then linearize Equation (5.23), we get
, and, U is the solution of Equation (5.22).
For a fixed, assume are elements of, and suppose are solutions of linear Equation (5.1), and corresponding initial values are, so we have
where denotes the exterior product, denotes the trace of the operator, is the orthogonal projection from space to.
For a given time, assume is orthonormal basis of.
Define the inner product of
To sum up, we get
By using Holder inequality, Young’s inequality and Poincare inequality
Let, then we get
Because of is orthonormal basis, thus
There exists, and, we have
Then assume, A is bounded absorbing set of, , , let
By the inequality (5.34)-(5.36), we can get
Thus, the Lyapunov exponent of is uniformly bounded, that is
So, there exists a, such that
where is the eigenvalue of A, and, then
Thus, we can get the conclusion.
 Cavalcanti, M.M., Cavalcanti, V.N.D., Filho, J.S.P. and Soriano, J.A. (1998) Existence and Exponential Decay for a Kirchhoff-Carrier Model with Viscosity. Journal of Mathematical Analysis and Applications, 226, 20-40.
 Ono, K. (1997) On Global Existence, Decay, and Blow Up of Solutions for Some Mildly Degenerate Nonlinear Kirchhoff Strings. Journal of Differential Equations, 137, 173-301.
 Ono, K. (1997) On Global Existence, Asymptotic Stability and Blowing Up of Solutions for Some Degenerate Non-Linear Wave Equations of Kirchhoff Type with a Strong Dissipation. Mathematical Methods in the Applied Sciences, 20, 151-177.
 Yang, Z. and Li, X. (2011) Finite Dimensional Attractors for the Kirchhoff Equation with a Strong Dissipation. Journal of Mathematical Analysis and Applications, 375, 579-593.
 Wang, M.X., Tian, C.C. and Lin, G.G. (2014) Global Attractor and Dimension Estimation for a 2D Generalized Anisotropy Kuramoto-Sivashinsky Equation. International Journal of Modern Nonlinear Theory and Application, 3, 163-172.
 Lin, G.G. and Gao, Y.L. (2017) The Global and Exponential Attractor for the Higher-Order Kirchhoff-Type Equation with Strong Linear Damping. Journal of Mathematics Research, 9, 145-167.
 Lin, G.G., Xia, F.F. and Xu, G.G. (2013) The Global and Pullback Attractors for a Strongly Damped Wave Equation with Delay. International Journal of modern Nonlinear Theory and Application, 2, 209-218.
 Nakao, M. (2009) An Attractor for a Nonlinear Dissipative Wave Equation of Kirchhoff Type. Journal of Mathematical Analysis and Applications, 353, 652-659.
 Sun, Y.T., Gao, Y.L., Lin, G.G. (2016) The Global Attractors for the Higher-Order Kirchhoff-Type Equation with Nonlinear Strongly Damped Term. International Journal of Modern Nonlinear Theory and Application, 5, 203-217.
 Chen, L., Wang, W. and Lin, G.G. (2016) The Global Attractors and Their Hausdorff and Fractal Dimensions Estimation for the Higher-Order Nonlinear Kirchhoff-Type Equation with Strong Linear Damping. Journal of Advances in Mathematics, 5,185-202.