Abstract
Our main aims in this paper are to investigate the regularity of inertial manifolds for non-autonomous semi-linear evolution equations and to give an application of inertial manifolds to a feedback control problem. We first prove that the inertial manifolds are smooth if the nonlinear term is smooth. Then, using the theory of inertial manifolds for non-autonomous semi-linear evolution equations, we construct a feedback controller for a class of control problems for the one-dimensional reaction-diffusion equations with the Lipschitz coefficient of the nonlinear term which may depend on time and belong to an admissible space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Many phenomena in mechanics, physics, ecology, and so on can be described by partial differential equations. By choosing appropriate function spaces and linear operators, these partial differential equations can be rewritten into semi-linear evolution equations in an infinite-dimensional Banach space whose linear part is the generator of a continuous semigroup and the nonlinear term satisfies the Lipschitz condition.
We are particularly interested in the non-autonomous semi-linear evolution equations of the concise form \( \frac {\mathrm {d}u}{\mathrm {d}t}+Au = f(u), \) where the operator A is in general an unbounded linear operator on a separable infinite-dimensional Hilbert space X and f is a nonlinear mapping. For such evolution equations, it is desirable to understand whether the asymptotic behavior is described essentially by a finite-dimensional structure. For example, many dissipative dynamical systems have global attractors of finite Hausdorff or fractal dimensions. An inertial manifold is a beautiful and ideal finite-dimensional structure to study asymptotic behavior of solutions to the evolution equations as time goes to infinity. The notion of inertial manifolds was introduced in 1985 by C. Foias, G.R. Sell, and R. Temam in [11] (see also [13])in an attempt to reduce the study of the asymptotic behavior of the system to a Lipschitz manifold of finite-dimension. An inertial manifold is a (at least Lipschitz) smooth finite-dimensional manifold of the phase space which is positively invariant, contain the global attractor and attracts exponentially all the solutions of the system. The feature of exponential attraction allows to apply the reduction principle to study the asymptotic behavior of the partial differential equation by determining the structures of its induced solutions belonging to these inertial manifolds, which turn out to be solutions to some induced ordinary differential equations due to the finite-dimensional structure of the manifold. In terms of fluid dynamics, R. Temam [38] once wrote that: “From the physical point of view an inertial manifold is an interaction law relating small and large eddies in a turbulent flow. In that application, the specification of an inertial manifold is equivalent to a modeling of turbulence”.
With a history of nearly 40 years, the field of inertial manifolds has been extensively studied and gained many achievements in both theoretical and applied aspects. First, the existence of inertial manifolds has been proved for several important classes of evolution equations (see, e.g., [3,4,5,6,7, 12, 14, 16, 18, 22, 23, 34, 35, 37] and the references therein). In order to overcome the technical conditions related to the spectral gap condition, some recent work (see, e.g., [2, 15, 20, 21, 42]) have been published that are based on special approaches. The concept of inertial manifolds is also generalized into many new types of manifolds that are more useful for application problems (see, e.g., [8,9,10, 27]). In general, the conditions for the existence of an inertial manifold are the spectral gap condition of the linear operator A and the global and uniform Lipschitz condition of the nonlinear term f. Roughly speaking, there should be a sufficiently large gap between two successive eigenvalues of A such that the uniform Lipschitz constant (of f ) can be bounded by the length of that gap multiplied by a fixed constant. In fact, in applications, the nonlinear term is usually only locally Lipschitz (i.e., Lipschitz in a neighborhood of a fixed point). However, in many circumstances, thanks to the existence of a global attractor, the nonlinear term can be truncated to contain the interesting part of the asymptotic dynamics of the system, in such a way that it becomes globally Lipschitz. Furthermore, for complicated evolutionary processes arising in natural sciences and technology, for example, partial differential equations in population ecology (the Fisher-Kolmogorov model describing the spread of an advantageous gene, predator-prey model with cross-diffusion, or competition model with cross-diffusion, see, e.g., J.D. Murray [24, 25]), the nonlinear part represents the source of material in many contexts where the Lipschitz coefficient may depend on time. Recenty, using Lyapunov-Perron method and the admissibility of function spaces, T.H. Nguyen [26] proved a more general condition on nonlinear part for the existence of inertial manifolds, that is, φ-Lipschitz condition, \( \|f(t, x) - f(t, y)\| \leq \varphi (t) \left \|A^{\theta } (x-y)\right \| \), for φ being a real and positive function which belongs to an admissible space. Instead of requiring the upper bound for uniform Lipschitz coefficient, the upper bound is now required for \( \|{\Lambda }_{1}\varphi \|_{\infty } := \sup _{t \in \mathbb {R}} {\int \limits }_{t-1}^{t}\varphi (\tau )\mathrm {d}\tau \). In the past few years, there have been some studies on the existence of inertial manifolds for evolution equations under such the φ-Lipschitz condition, which can be found in [1, 28, 40].
On aspect of application, we would like to emphasize applications of the inertial manifold theory to feedback control problems, such as, using inertial manifolds to stabilize semi-linear diffusion systems (see also [33, 36] and the references therein), for equations of nonlinear elasticity (see Y. You [41]), for reaction-diffusion equations (see R. Rosa and R. Temam [32], R. Rosa [30]), or for non-autonomous evolution equations by N. Koksch and S. Siegmund [19]. Among those applications, we are particularly interested in R. Rosa and R. Temam [32]. Consider the following semi-linear open-loop system
where u is the state in an infinite-dimensional Hilbert space, y is the observation, g is the finite-dimensional control input, and B and C are bounded linear operators. R. Rosa and R. Temam [32] introduces a finite-dimensional feedback control for a open-loop problem of a scalar reaction-diffusion equation so that the closed-loop system behaves in a desired way given a priori by a finite-dimensional system. The finite-dimensional property and characteristics of the inertial manifolds are used to reduce the closed-loop system to a finite-dimensional system and that work concludes that the vector field of this finite-dimensional system is close in a weighted C1-metric to some finite-dimensional vector field.
The purpose of the present paper is to extend the results by R. Rosa and R. Temam [31, 32] to the case of a class of non-autonomous closed-loop systems. Precisely, using the method in [31], we will show that the inertial manifolds obtained by in T.H. Nguyen [26, Theorem 3.5] are of class C1 as long as the nonlinear term is of class C1 with respect to the state of the evolutionary systems. Then, for a non-autonomous closed-loop system of a scalar reaction-diffusion equation in concrete settings, we will extend the results in R. Rosa and R. Temam [32] by applying the existence theorem of an inertial manifold for mild solutions to the non-autonomous evolution equations in admissible spaces, (see [26, Theorem 3.5]), and theorem of regularity has just proved, for that closed-loop system. Our method and techniques are based on the Lyapunov-Perron equation, fixed point argument, and the techniques of functional analysis combined with admissibility of function spaces. Our main results are contained in Theorems 2.7, 2.9, 3.2, and 3.3. Theorems 2.7 and 2.9 present the results of the regularity of inertial manifolds corresponding to the cases of the evolution equation in Banach and Hilbert space. The Theorem 3.2 describes the study of an infinite-dimensional control system through an inertial manifold of the corresponding closed-loop system. As a consequence of Theorem 3.2, Theorem 3.3 states the structurally stable (see, e.g., [17, 29, 39]) of dynamical systems.
This paper is organized as follows. In next section, Section 2, we recall the result T.H. Nguyen [26, Theorem 3.5] on the existence of inertial manifolds for evolution equations when the partial differential operator A is positive definite and self-adjoint with a discrete spectrum and Lipschitz coefficient of the nonlinear term depends on the time and belongs to some admissible spaces. After that, regularity of the inertial manifolds will be substantiated. We will show that if the nonlinear term is of class C1 with respect to the state variable then those inertial manifolds are of class C1. In Section 3, first subsection presents the settings and some assumptions for the open-loop system of a reaction-diffusion system. The desired dynamics of the infinite-dimensional control system under consideration will be described in the second subsection. We next recall some estimates for the input and output control operators of the system which is obtained by R. Rosa and R. Temam [32]. Finally, we study the closed-loop system and establishes the main result. We design a finite-dimensional feedback controller for a class of one-dimensional reaction-diffusion equations under some certain conditions.
2 Regularity of the Inertial Manifolds for Parabolic Evolution Equations in Admissible Spaces
In this section, we are concerned with the first-order regularity of the inertial manifolds for the mild solution to the semi-linear parabolic evolution equations in admissible spaces. First of all, we will recall some definitions and properties of admissible spaces and the existence conditions of an inertial manifold, which is the main result of the T.H. Nguyen [26]. We will then give a detailed proof of the regularity of the aforementioned inertial manifolds. Finally, as an addition, we will state a similar result for inertial manifolds for the evolution equations involving the sectorial operator, whose existence is recently proved in T.H. Nguyen and X.-Q. Bui [28, Theorem 3.5].
First of all, we recall some information about the function space, including the Banach function spaces and admissible spaces (see T.H. Nguyen [26] and references therein for more information on the matter).
Definition 2.1
Denote by \({\mathscr{B}}\) the Borel algebra and by λ the Lebesgue measure on \(\mathbb {R}\). A vector space E of real-valued Borel-measurable functions on \(\mathbb {R}\) (modulo λ-nullfunctions) is called a Banach function space (over \((\mathbb {R},{\mathscr{B}},\lambda )\)) if
-
(1)
E is a Banach lattice with respect to the norm ∥⋅∥E;
-
(2)
the characteristic functions χA belong to E for all \(A\in {\mathscr{B}}\) of finite measure and \( \sup _{t\in \mathbb {R}}\|\chi _{[t,t+1]}\|_{E}<\infty \), \( \inf _{t\in \mathbb {R}}\|\chi _{[t,t+1]}\|_{E}>0 \);
-
(3)
\(E\hookrightarrow L_{1}, \text {loc}(\mathbb {R})\).
Definition 2.2
The Banach function space E is called admissible if it satisfies
-
(1)
there is a constant M ≥ 1 such that for every compact interval \([a,b]\subset \mathbb {R}\) we have
$$ {{\int}_{a}^{b}}|\varphi(t)|dt\leq \frac{M(b-a)}{\|\chi_{[a,b]}\|_{E}}\|\varphi\|_{E}, \quad\text{ for all } \varphi \in E; $$(2.1) -
(2)
for φ ∈ E the function \( {\Lambda }_{1}\varphi (t)={\int \limits }_{t-1}^{t}\varphi (\tau )d\tau \) belongs to E;
-
(3)
the space E is \(T_{\tau }^{+}\)-invariant and \(T_{\tau }^{-}\)-invariant where \(T_{\tau }^{+}\) and \(T_{\tau }^{-}\) are defined, for \(\tau \in \mathbb {R}\), by
$$ \begin{array}{@{}rcl@{}} & T_{\tau}^{+}\varphi(t) := \varphi(t-\tau), \quad\text{ for }t\in\mathbb{R}, \end{array} $$(2.2)$$ \begin{array}{@{}rcl@{}} & T_{\tau}^{-}\varphi(t) := \varphi(t+\tau), \quad\text{ for }t\in\mathbb{R}. \end{array} $$(2.3)Moreover, there are constants N1 and N2 such that
$$ \|T_{\tau}^{+}\|\leq N_{1} \quad\text{ and }\quad \|T_{\tau}^{-}\|\leq N_{2}, \quad\text{ for all }\tau\in\mathbb{R}. $$
Proposition 2.3
Let E be an admissible space. Let \(\varphi \in L_{1}, \text {loc}(\mathbb {R})\) be such that φ ≥ 0 and Λ1φ ∈ E, where \( {\Lambda }_{1}\varphi (t) :={\int \limits }_{t-1}^{t}\varphi (\tau )d\tau . \) For σ > 0, functions \({\Lambda }^{\prime }_{\sigma }\varphi \) and \({\Lambda }^{\prime \prime }_{\sigma }\varphi \) are defined by
Then, \({\Lambda }^{\prime }_{\sigma }\varphi \) and \({\Lambda }^{\prime \prime }_{\sigma }\varphi \) belong to E. In particular, if \( \sup _{t\in \mathbb {R}}{\int \limits }_{t-1}^{t}\varphi (\tau )\mathrm {d}\tau <\infty , \) then \({\Lambda }^{\prime }_{\sigma }\varphi \) and \({\Lambda }^{\prime \prime }_{\sigma }\varphi \) are bounded. Moreover, the following estimates hold:
where N1 and N2 are defined in Definition 2.2.
2.1 The Existence of Inertial Manifolds Revisited
Consider the evolution problem of the form
where A is a positive definite operator with discrete spectrum on an infinite-dimensional separable Hilbert space X (see Assumption (A) below) and \(f \colon \mathbb {R} \times X_{\theta } \rightarrow X\) is a nonlinear mapping with \(X_{\theta } := {\mathscr{D}} (A^{\theta })\) being the domain of the fractional power A𝜃, for 0 ≤ 𝜃 < 1, equipped with the norm \( \left \|A^{\theta } \cdot \right \| \) (the fractional power of A is computed using spectral resolution as in I.D. Chueshov [4, §1 – Chapter 2]).
In this case − A generates a strongly continuous semigroup (e−tA)t≥ 0 on the Hilbert space X. Instead of the evolution equation (2.4), we consider the integral equation
By a solution of equation (2.5) we mean a strongly measurable function u(t) defined on an interval J with the values in X𝜃 that satisfies (2.5) for t, s ∈ J. The solution u to equation (2.5) is called a mild solution of evolution equation (2.4).
To obtain the existence of an inertial manifold for equation (2.5), we need the following assumptions on the linear operator and the Lipschitz coefficient of the nonlinear term.
- Assumption (A): :
-
Consider (X,∥⋅∥) is a separable Hilbert space. Let A be a positive definite operator with discrete spectrum in X. Suppose that {ek} is an orthonormal basis of X such that
$$ \begin{array}{@{}rcl@{}} && Ae_{k}=\lambda_{k} e_{k}, \end{array} $$(2.6)$$ \begin{array}{@{}rcl@{}} && 0 < \lambda_{1} \leq \lambda_{2} \leq {\cdots} \lambda_{k} \leq \cdots, \quad \lambda_{k} \rightarrow \infty \text{ as } k \rightarrow \infty, \end{array} $$(2.7)and each λk with finite multiplicity.
- Assumption (F): :
-
Let E be an admissible space on the whole line \(\mathbb {R}\) andφ be a positive function belonging to E such that
$$ R(\varphi,\theta) :=\sup_{t\in\mathbb{R}} \left( {\int}_{t-1}^{t} \frac{\varphi(\tau)^{\frac{1+\theta}{2\theta}}}{(t-\tau)^{\frac{1+\theta}{2}}} \mathrm{d}\tau \right)^{\frac{2\theta}{1+\theta}} <\infty, \text{ where } 0<\theta<1. $$(2.8)In the case 𝜃 = 0 we do not need this assumption.
Assume that the function \(f\colon \mathbb {R}\times X_{\theta }\rightarrow X\) isφ-Lipschitz, that is, f satisfies
-
(1)
\(\|f(t,x)\|\leq \varphi (t)\left (1+\left \|A^{\theta }x\right \|\right )\), for all a.e. \(t\in \mathbb {R}\) and for all x ∈ X𝜃,
-
(2)
\(\|f(t,x_{1})-f(t,x_{2})\|\leq \varphi (t)\left \|A^{\theta }(x_{1} - x_{2})\right \|\), for all a.e. \(t\in \mathbb {R}\) and for all x1, x2 ∈ X𝜃.
We assume further that the nonlinear term is of classC1 with respect to the state,
$$ \|Df(t,u)-Df(t,v)\|_{\mathcal{L}(X_{\theta}, X)} \leq \varphi_{2} (t) \left \|A^{\theta} (u-v)\right \|^{\nu}, $$(2.9)here 0 < ν ≤ 1 andDf(t, u) denotes the derivative of f(t, u) with respect to u.
-
(1)
For brevity, we will write Lipφ(f) = φ(t) to represent the function f satisfies the φ-Lipschitz condition as in the above definition.
Suppose that linear operator A satisfies Assumption (A) and let \(f\colon \mathbb {R}\times X_{\theta }\rightarrow X\) be a φ-Lipschitz function for φ satisfies Assumption (F). Let λn and λn+ 1 be two successive and different eigenvalues with λn < λn+ 1. Consider P = Pn is the orthogonal projection onto the first n eigenvectors of the linear operator A. Set Q = Qn = I − Pn, where I = IX is the identity operator on the phase space X. Put
and Green’s function by
Proposition 2.4 (see G.R. Sell and Y. You 35)
For 𝜃 > 0 we have the following dichotomy estimates
We then make precisely the notion of inertial manifolds in the following definition.
Definition 2.5
An inertial manifold of equation integral (2.5) is a collection of Lipschitz manifolds \({\mathscr{M}}=\big ({\mathscr{M}}_{t}\big )_{t\in \mathbb {R}}\) in X such that each \({\mathscr{M}}_{t}\) is the graph of a Lipschitz function \( {\Phi }_{t}\colon P_{n}X \rightarrow (I-P_{n})X_{\theta }, \) i.e.,
and the following conditions are satisfied:
-
(1)
The Lipschitz constants of Φt are independent of t, i.e., there exists a constant C independent of t such that
$$ \left \|A^{\theta}({\Phi}_{t} x_{1}-{\Phi}_{t} x_{2})\right \| \leq C\left \|A^{\theta}(x_{1}-x_{2})\right \|, $$(2.17)for all \(t\in \mathbb {R}\) and x1, x2 ∈ X𝜃.
-
(2)
There exists γ > 0 such that to each \(x_{0}\in {\mathscr{M}}_{t_{0}}\) there corresponds one and only one solution u(t) to (2.5) on \((-\infty ,t_{0}]\) satisfying that u(t0) = x0 and
$$ \underset{t\leq t_{0}}{\text{esssup}} \left \|e^{-\gamma(t_{0}-t)}A^{\theta} u(t)\right \| <\infty. $$(2.18) -
(3)
The collection \(\big ({\mathscr{M}}_{t}\big )_{t\in \mathbb {R}}\) is positively invariant under (2.5), i.e., if a solution x(t), t ≥ s, to (2.5) satisfies \(x_{s}\in {\mathscr{M}}_{s}\), then we have that \(x(t)\in {\mathscr{M}}_{t}\) for t ≥ s.
-
(4)
The collection \(\big ({\mathscr{M}}_{t}\big )_{t\in \mathbb {R}}\) exponentially attracts all the solutions to (2.5), i.e., for any solution u(⋅) of (2.5) and any fixed \(s\in \mathbb {R}\), there is a positive constant H such that
$$ \text{dist}_{X_{\theta}}(u(t),\mathcal{M}_{t}) \leq He^{-\gamma(t-s)}, \quad\text{ for }t\geq s, $$(2.19)where γ is the same constant as the one in (2.18), and \(\text {dist}_{X_{\theta }}\) denotes the Hausdorff semi-distance generated by the norm in X𝜃.
Assume that the inertial manifold for evolution equation (2.4) exists, the notion of the inertial manifold is closely related to the notion of the inertial form. If we rewrite the solution in the form u(t) = p(t) + q(t), where
then evolution equation (2.4) can be rewritten as a system of two differential equations
To construct the desired inertial manifolds, we introduce the space
which is a Banach space when endowed with the norm
For \(x \in L_{\infty }^{\gamma , t_{0}, \theta }\) and y ∈ PnX we consider the formal map
First, the form of the solutions to (2.5) which are rescaledly bounded on the half-line \((-\infty , t_{0}]\) is as follows: For any fixed \(t_{0}\in \mathbb {R}\) let x(t), t ≤ t0, be a solution to equation (2.5) such that x(t) ∈ X𝜃 for t ≤ t0 and \(x \in L_{\infty }^{\gamma , t_{0}, \theta }\). Then, this solution x(t) can be rewritten in the form
where p ∈ PnX.
With this result, we can understand that, we have a mapping from PnX to \(L_{\infty }^{\gamma , t_{0}, \theta }\). For convenience in later proofs, the solution x(t) satisfies to the Lyapunov-Perron equation (2.24) can also be denoted by x(p)(t), or x(p, t).
Now, construction of an invariant manifold is based on a fixed point argument. A function \(\mathbf {x} \in L_{\infty }^{\gamma , t_{0}, \theta }\) is a solution of evolution equation (2.4) if and only if x a fixed point of T. The idea then is to prove that the map T is well defined from \(L_{\infty }^{\gamma , t_{0}, \theta } \times P_{n}X\), and is a strict contraction in \(L_{\infty }^{\gamma , t_{0}, \theta }\), uniformly in PnX. Hence, there will be a map \( \mathbf {x} \colon P_{n}X \rightarrow L_{\infty }^{\gamma , t_{0}, \theta } \) such that T(x(y0), y0) = x(y0), for all y0 ∈ PnX, with each x(y0) solving (2.4).
We can then define a collection of surfaces \( \big ({\mathscr{M}}_{t_{0}} \big )_{t_{0} \in \mathbb {R}} \) by
here \( {\Phi }_{t_{0}} \colon P_{n}X \rightarrow Q_{n}X_{\theta } \) is defined by
Finally, we check that \( \big ({\mathscr{M}}_{t}\big )_{t \in \mathbb {R}} \) is Lipschitz, invariant and has the asymptotic completeness property, so that \( \big ({\mathscr{M}}_{t}\big )_{t \in \mathbb {R}} \) is the desired inertial manifold. We now fully state the main results about the existence of an inertial manifold for mild solutions to the semi-linear evolution equations is as follows.
Theorem 2.6 (see T.H. Nguyen [26, Theorem 3.5])
Let the operator A satisfying Assumption (A) and φ belongs to some admissible space E. Let f be φ-Lipschitz function such that the function φ satisfying Assumption (F). Suppose that there are two successive eigenvalues λn < λn+ 1 of linear operator A satisfying
where
Then, integral equation (2.5) has an inertial manifold.
2.2 Regularity of the Inertial Manifolds
We now show the main result of this section, namely that the inertial manifold given in Theorem 2.6 is of class C1 as long as the nonlinear term is of class C1 with respect to the state of system. Correctly, we will point out that the mapping \( {\Phi }_{t} \colon P_{n} X \rightarrow Q_{n} X_{\theta }, y \mapsto {\Phi }_{t} (y) \) is of class C1.
Theorem 2.7
If f(t,⋅) ∈ C1(X𝜃, X), then the inertial manifold given in Theorem 2.6 is of class C1 and Φt satisfies the Sacker’s equation
for all y in the domain of Φt. Here, DΦt(y) is Fréchet differential with respect to y of y↦Φt(y).
Proof
The proof will be carried on in several steps.Step 1. A candidate for the differential. By the definition of inertial manifolds, we have \({\Phi }_{t_{0}}(y) = Q_{n} \mathbf {x}(y, t_{0})\) and
We will look for the differential of Φt by first looking for the differential of x. Then, we just note that \(D {\Phi }_{t_{0}} (y) = Q_{n} \partial _{y} \mathbf {x}(y, t_{0}) \). By differentiating (2.30) formally with respect to y, we see that ∂yx(y) is a fixed point of T◇(⋅, y) where T◇ is given by
As for T, we must verify that the map T◇ above is well defined and is a strict contraction in Δ, uniformly with respect to y; this in some appropriate function space.
Denote
endowed with the norm
Thanks to definition of a φ-Lipschitz function as in Assumption (F), we have
Using the admissibility of function spaces and the dichotomy estimates in (2.12)–(2.15), in a same way as in T.H. Nguyen [26] we can see that T◇ is well defined as a function from \(L_{\infty , \diamondsuit }^{\gamma , t_{0}, \theta } \times P_{n}X\) into \(L_{\infty , \diamondsuit }^{\gamma , t_{0}, \theta }\) and is Lipschitz in Δ with Lipschitz constant kγ.
Since kγ < 1, we deduce that there exists a mapping \( {\Delta } \colon P_{n}X \rightarrow L_{\infty , \diamondsuit }^{\gamma , t_{0}, \theta } \) such that
For simplicity, we set Δ(y)(t) = Δ(y, t), then Δ is our candidate for the differential of the mapping x.Step 2. The function Δ is continous. Fix y0 ∈ PnX and consider y ∈ PnX close to y0. Then proceeding as in T.H. Nguyen [26, Theorem 3.5] we will check that
Hence, for the continuity of Δ, we need
Take μ such that μ < γ, so that by Step 1 we have \({\Delta } (y_{0}) \in L_{\infty , \diamondsuit }^{\mu , t_{0}, \theta }\). Thus if we put
we can write
Hence,
where
To prove that \(\widetilde {N} (y) \rightarrow 0\) as \(y \rightarrow y_{0}\), we argue by contradiction. Suppose that \(\widetilde {N} (y_{j}) > \varepsilon \), for some ε > 0 and some sequence \(\{y_{j}\}_{j \in \mathbb {N}}\) in PnX with
Thus, there exists a sequence \(\{t_{j}\}_{j \in \mathbb {N}}\), with tj ≤ t0, such that
But by (2.34), N = N(s, y) satisfies
so that the left-hand side (“L.H.S.” for short) of (2.39) is estimated as follows
Since tj ≤ t0, for all \(j \in \mathbb {N}\), we can therefore write
Therefore, in view of (2.39), tj must be bounded from below since μ < γ, say
Then
Hence, by a change of variable in the first integral,
But, using T.H. Nguyen [26, Theorem 3.5] (in the proof of the main theorem) we have
Thus \(N (t_{j} - s, y_{j}) \rightarrow 0\) as \(j \rightarrow \infty \), pointwise in s ≥ t0 as well as \( N (s, y_{j}) \rightarrow 0. \) Then by the Lebesgue Dominated Convergence Theorem applied to the right-hand side of (2.41), we find that
which contradicts (2.39).
Therefore, \(\widetilde {N} (y) \rightarrow 0\) as \(\|y-y_{0}\| \rightarrow 0\) and hence, Δ = Δ(y) is continuous as a function from PnX into \(L_{\infty , \diamondsuit }^{\gamma , t_{0}, \theta }\).Step 3.∂yx(y) = Δ(y). Consider y, h ∈ PnX. We have
Let
and
Then, by adding and subtracting Df(s, x(y, s)(x(y + h, s) −x(y, s))) in the expression between brackets in (2.43), we can estimate ρ(y, h, t) by
Let
Hence, from the above inequality, we find
where
Thus, since kγ < 1, we obtain
As we did for \(\widetilde {N} = \widetilde {N}(y)\) in Step 2, one can prove that \( \widetilde {\vartheta }(y,h) \rightarrow 0\) as \(\|h\| \rightarrow 0\), this time using the fact that
for some μ with μ < γ.
Therefore, \(\widetilde {\rho }(y,h) \rightarrow 0 \) as \(\|h\| \rightarrow 0 \), which shows that ∂yx(y) = Δ(y).Step 4.\({\Phi }_{t_{0}} \in C^{1} (P_{n}X, Q_{n}X_{\theta })\). It follows directly from Step 2 and Step 3 above since \( {\Phi }_{t_{0}}(y) = Q_{n} \mathbf {x}(y, t_{0}) \), hence
where ρ(y, h, t) and \( \widetilde {\rho }(y, h)\) are as in Step 3.
The theorem is proved. □
2.3 Regularity of the Inertial Manifolds for Evolution Equations Involving Sectorial Operators
This subsection will briefly describes the regularity of inertial manifolds for which the assumptions used are more general than those in Section 2.2. More specifically, we state the regularity of the inertial manifold for evolution equations involving just a sectorial operator in a general Banach space, no longer self-adjoint on a Hilbert space, nor with a compact resolvent with a discrete spectrum.
We use the sectorial operator according to the following definition.
Definition 2.8
Let X be a Banach space. A closed and densely defined linear operator \(B\colon X\supset {\mathscr{D}}(B)\rightarrow X\) is called a sectorial operator if there exist real numbers \(\omega \in \mathbb {R}\), \(\sigma \in \left (0,\frac {\pi }{2}\right )\) and M ≥ 1 such that
We only consider the class of sectorial operators satisfying the following conditions.
- Assumption (SO) :
-
The linear operator A is a closed linear operator on a Banach space X such that− A is a sectorial operator and the spectrum σ(−A) of − A can be decomposed as
$$ \sigma(-A)=\sigma_{\mathrm{u}}(-A) \cup \sigma_{\mathrm{c}}(-A)\subset \mathbb{C}_{-} $$withσc(−A) compact, and ωu < ωc < ω < 0, where
$$ \omega_{\mathrm{u}}:=\sup\{\text{Re}\lambda: \lambda\in\sigma_{\mathrm{u}}(-A)\}, \quad \omega_{\mathrm{c}}:=\inf\{\text{Re}\lambda: \lambda\in\sigma_{\mathrm{c}}(-A)\} $$(2.46)
Sectorial operators that satisfy Assumption (SO) appear, for example, in ecological models. For example, in the paper T.H. Nguyen and X.-Q. Bui [28] we showed in detail that a competition model with cross-diffusion with the Neumann boundary condition contains such a sectorial operator.
Assumption (SO) allows us to choose real numbers κ and μ such that
In this case, we will use the Riesz projection P corresponding to σc(−A) defined by the formula
where ℓ+ is a closed regular curve contained in ρ(−A), surrounding σc(−A) and positively oriented.
Consider the evolution equation (2.4) with the linear part satisfying Assumption (SO) and the nonlinear term satisfying Assumption (F). Recently, T.H. Nguyen and X.-Q. Bui [28, Theorem 3.5] has established a sufficient condition for the existence of an inertial manifold which can be shortened, inertial manifolds exist if the following two conditions are satisfied: First, spectral gap μ − κ is sufficiently large, and secondly, the norm \(\|{\Lambda }_{1}\varphi \|_{\infty }=\sup _{t\in \mathbb {R}}{\int \limits }_{t-1}^{t}\varphi (\tau )\mathrm {d}\tau \) is sufficiently small.
Similar to the proof of Theorem 2.7, we obtain the following result :
Theorem 2.9
Consider the evolution equation (2.4) under the conditions that the linear partial differential operator − A is a sectorial operator on the Banach space X, has a spectral gap satisfying Assumption (SO), and the nonlinear term satisfies a φ-Lipschitz condition for some φ satisfying (2.8) and satisfies Assumption (F). If f(t,⋅) is C1, then the inertial manifolds given by T.H. Nguyen and X.-Q. Bui [28, Theorem 3.5] is of class C1.
3 Finite-Dimensional Feedback Control via Inertial Manifold Theory
3.1 The Open-Loop System
We first start with the following nonlinear one-dimensional reaction-diffusion equation with zero Dirichlet boundary condition and distributed observation and control
where u = u(t, x) is the state variable, for x ∈Ω := (0, π), y is the observation, g = (gi)i is the control, f is a nonlinear term, and \(I, J \in \mathbb {N}\). The functions ψi are called the actuators and are assumed to lie in the Sobolev space \({H^{1}_{0}}({\Omega })\), while the points xj are distinct points in Ω called the obervation points and assumed to increase with j. We further assume that we are given another set of points \(\{\tilde {x}_{i}\}_{i=1}^{I}\), with
and that ψi, for i = 1,…, I − 1, is given more precisely by
where \(\tilde {h}_{i}=\tilde {x}_{i}-\tilde {x}_{i-1}\). Set also
We consider this equation in the phase space \(X= {H_{0}^{1}}({\Omega })\) endowed with the norm ∥u∥ = |Du|, for u ∈ X, where |⋅| denotes the usual L2-norm on Ω and Du denotes the derivative of u. We also denote by ((⋅,⋅)) and (⋅,⋅) the corresponding inner-products in X and L2(Ω), respectively. We consider the linear operator A := −Δ on the domain \( D(A) := \left \{ u\in H^{2} ({\Omega }) \cap {H_{0}^{1}} ({\Omega }) : Au \in {H_{0}^{1}} ({\Omega }) \right \} \). We have that the linear operator A is a self-adjoint operator with eigenvalues given by \(\{\lambda _{n} =n^{2}\}_{n\in \mathbb {N}}\) and eigenfunctions \(\{e_{n} = {\sin \limits } (nx)\}_{n\in \mathbb {N}}\). Moreover, we have 𝜃 = 0, \(X_{\theta } = {H_{0}^{1}}({\Omega })\), and the dichotomy constant in the Proposition 2.4 is M = 1, and constants in the Proposition 2.3 are N1 = N2 = 1.
Now, let Z1 and Z2 be two finite-dimensional Hilbert spaces satisfying \(Z_{1} \simeq \mathbb {R}^{I-1},Z_{2} \simeq \mathbb {R}^{J-1}\) and endowed with the norms
We define two bounded linear operators
It is known in [32] that with a large number of properly located actuators and observation points, the operators B and C have respectively right and left inverses on appropriate spectral spaces of the operator A. The result is exactly stated as follows:
Lemma 3.1
For m and n are two arbitrary natural numbers, we have the following estimates for the operators B and C
where Pm, Pn denote the spectral projectors associated with the first m, n eigenvalues of A, respectively.
It is not very difficult to show that
We can now rewrite the control problem (3.1) in the Sobolev space \(X = {H_{0}^{1}} ({\Omega })\) in the form
In the next subsection, we will construct a feedback control g = g(t, y) as a function of both the time t and the observation y so that the closed-loop system behaves in a certain desired way.
3.2 The Finite-Dimensional Feedback Controller
Consider a nonlinear mapping \(W \colon \mathbb {R} \times P_{n_{0}}X \rightarrow P_{n_{0}}X\) satisfying the following conditions
for some positive valued functions ψi(t), i = 1,2, belonging to an admissible space, for ν as in (2.9), and the finite-dimensional non-autonomous ordinary differential equation
where \(n_{0} \in \mathbb {N}\) is fixed. We look forward that the desired dynamics for the system (3.11) will be determined by system (3.14). Consider m and n arbitrary such that
where \(n^{\ast } \in \mathbb {N}\) such that Theorem 2.6 is satisfied. This means that Theorem 2.6 holds for \(\lambda _{n^{\ast }}\) and \(\lambda _{n^{\ast } + 1}\). Choose the xj and the \(\widetilde {x}_{i}\) such that
Then, it implies that
We now construct a feedback control \(g\colon \mathbb {R} \times Z_{2} \rightarrow Z_{1}\) as follows
for all y ∈ Z2 and \(t \in \mathbb {R}\). Thanks to Lemma 3.1, we have g is a globally Lipschitz function with
Thus
With g given by (3.18), (3.11) becomes in the closed-loop form
We shall also consider the following auxiliary evolution equation
Note that the nonlinear term of both the equations above have Lipschitz coefficient less than or equal to η(t) := φ1(t) + ξ(t), for \(t \in \mathbb {R}\). We want that, under the suitable conditions, there will be inertial manifolds for evolution equations (3.20) and (3.21). Applying Theorem 2.6, with 𝜃 = 0, for the evolution equations (3.20) and (3.21), we obtain that, if n∗ is large enough and the norm \( \|{\Lambda }_{1} \eta \|_{\infty } = \sup _{t \in \mathbb {R}} {\int \limits }_{t-1}^{t} \eta (\tau ) \mathrm {d}\tau \) is sufficiently small, then there exist inertial manifolds \( {\mathscr{M}} = \big ({\mathscr{M}}_{t}\big )_{t \in \mathbb {R}} \) and \( \mathcal {N} = \big (\mathcal {N}_{t}\big )_{t \in \mathbb {R}} \), respectively for (3.20) and (3.21).
In more detail, the inertial manifold for the evolution equation (3.20) is
here \( {\Phi }_{t}\colon P_{n}X \rightarrow Q_{n}X, \) defined by \( {\Phi }_{t_{0}} (p) := Q_{n} \mathbf {x}(p) (t_{0}) \) where x(p) is the unique solution in \(L_{\infty }^{\gamma , t_{0}, \theta }\) to the equation (2.5) satisfying that Pnx(p)(t0) = p. Similarly,
is the inertial manifold for the auxiliary evolution equation (3.21).
When the two evolution equations (3.20) and (3.21) have their inertial manifolds, the corresponding inertial forms on PnX are
and
Note that
Thus, the inertial form for (3.21) reads
and can be split for ρ = ρ1 + ρ2, where \( \rho _{1} \in P_{n_{0}}X\), \( \rho _{2} \in (P_{n} -P_{n_{0}})X\) as
The system (3.27) above is now decoupled with
Hence, the long-time dynamics of the inertial form and, hence, of the auxiliary equation (3.21) is given by the system \(\frac {\mathrm {d} \rho _{1}(t)}{\mathrm {d} t}= W(t, \rho _{1})\).
Concerning the inertial form (3.24), we can write it as
where ε(t, p) is regarded as an error term given by
Note that
where the equality follows because Ψt(p) already lies in PmX, which is not difficult to see. Thus, Lipφ(ε) = φ1(t) + ξ(t) := η(t).
We expect that, for each \(t \in \mathbb {R}\), the error term ε(t, p) and Dε(t, p) are small quantities in the sense that the norms ∥ε(t, p)∥ and \(\|D \varepsilon (t, p)\|_{{\mathscr{L}} (P_{n}X)}\) converge to zero as m approaches infinity for each fixed t, where p ∈ PnX and m, n as in (3.15). For convenience, we put
For a fixed \(t_{0} \in \mathbb {R}\), let us estimate \( \left \|{\Phi }_{t_{0}} (p) - {\Psi }_{t_{0}} (p)\right \| \). We have \( {\Phi }_{t_{0}} (p) = Q_{n} \mathbf {x}(p) (t_{0}) \), \( {\Psi }_{t_{0}} (p) = Q_{n} \tilde {\mathbf {x}} (p) (t_{0}), \) for t ≤ t0, for the solution x(p) is defined as fixed point of the map T as in (2.23) with f replaced by F, and similar for \(\tilde {\mathbf {x}} (p)\), \(\tilde {\mathbf {x}} (p)\) is a fixed point of \(\widetilde {T}\) as in (2.23) with f replaced by PnF(s, Pnx(s)).
For the derivative of error term, \(\|D\varepsilon (t, p)\|_{{\mathscr{L}} (P_{n}X)}\), we have
Hence
In the first term, the norm \( \left \| D F (t, p + {\Phi }_{t}(p)) - D F (t, p+{\Psi }_{t}(p)) \right \|_{{\mathscr{L}} (X)}, \) for each \(t \in \mathbb {R}\), satisfies the estimate \( O \left (\frac {1}{\lambda _{n}^{\nu /2}} \right ) \) as \(n \rightarrow \infty \).
In the second term, to estimate the norm \( \left \| D {\Phi }_{t}(p) - D {\Psi }_{t}(p) \right \|_{{\mathscr{L}} (P_{n}X, X)}, \) we use the fixed point technique. We have DΦt(p) = Qn∂px(p), and \( D {\Psi }_{t} (p) = Q_{n} \partial _{p} \tilde {\mathbf {x}}(p) \) and consider the fixed points ∂px(p) = T◇(∂px(p), p), and \( \partial _{p} \tilde {\mathbf {x}} (p) = \widetilde {T}^{\diamondsuit } (\partial _{p} \tilde {\mathbf {x}} (p), p) \), where
for \({\Delta } \in L_{\infty , \diamondsuit }^{\gamma , t_{0}, \theta }\).
By using dichotomy estimates and admissibility of function spaces we can obtain
where the ci’s are constant such that
Thus for each \(t \in \mathbb {R}\), we have \(\|\varepsilon (t, p)\| \rightarrow 0\) and \( \|D \varepsilon (t, p)\|_{{\mathscr{L}} (P_{n}X)} \rightarrow 0 \) as \(m \rightarrow \infty \).
We will summarize the above events in the following main results:
Theorem 3.2
Consider the open-loop system (3.1). Let a non-autonomous ordinary differential equation (3.14) be given with \(n_{0} \in \mathbb {N}\) and W satisfying (3.12) and (3.13). Suppose that n∗ is the natural number that the conditions in the Theorem 2.6 satisfied with \(\lambda _{n^{\ast }}\) and \(\lambda _{n^{\ast }+1}\), and conditions (3.15) and (3.16) hold.
If a feedback law g = g(t, y) is given by (3.18), then the closed-loop equation (3.20) has an inertial manifold whose inertial form (3.28) is close to (3.26), which has essentially the same dynamics as (3.14), in a weighted metric for the vector fields as estimated in (3.30) and (3.31).
Similar to the work R. Rosa and R. Temam [32], we state the following result about structural stability of the dynamical systems.
Theorem 3.3
Assume the hypotheses in Theorem 3.2 hold and the nonlinear funtion W satisfies condition, for some r0 > 0,
and that the flow induced by \( \frac {\mathrm {d}z}{\mathrm {d}t}=W(t, z) \) for z restricted to the ball
is structurally stable.
If feedback law g = g(t, y) is given by (3.18) with m chosen large enough, then the long-time dynamics of the inertial form (3.28) of the closed-loop equation (3.20) is contained in the ball \(B_{r_{0}}^{n}=\{p \in P_{n}X: \|p\| \leq r_{0}\}\) and the corresponding flow restricted to this ball \(B_{r_{0}}^{n}\) is topologically equivalent to the flow given by 3.26, so that the dynamics of the closed-loop system is essentially that of \(\frac {\mathrm {d}z}{\mathrm {d}t}=W(t, z)\).
References
Anh CT, Hieu LV, Nguyen T. Inertial manifolds for a class of non-autonomous semilinear parabolic equations with finite delay. Discrete Continuous Dynam Sys 2013;33:483–503.
Bisconti L, Catania D. On the existence of an inertial manifold for a deconvolution model of the 2D mean Boussinesq equations. Math Methods Appl Sci 2018; 41(13):4923–35.
Boutet de Monvel L, Chueshov ID, Rezounenko AV. Inertial manifolds for retarded semilinear parabolic equations. Nonlinear Anal 1998;34:907–925.
Chueshov ID. 2002. Introduction to the theory of infinite-dimensional dissipative systems. ACTA Scientific Publishing House.
Chueshov ID, Scheutzow M. Inertial manifolds and forms for stochastically perturbed retarded semilinear parabolic equations. J Dyn Diff Equat 2001; 13:355–380.
Chow SN, Lu K. Invariant manifolds for flows in Banach spaces. J Differ Equat 1988;74:285–317.
Constantin P, Foias C, Nicolaenko B, Temam R. Integral manifolds and inertial manifolds for dissipative partial differential equations. Berlin: Springer; 1989.
Debussche A, Temam R. Inertial manifolds and the slow manifolds in meteorology. Differ Integral Equat 1991;4:897–931.
Debussche A, Temam R. Inertial manifolds with delay. Appl Math Lett 1995;8:21–24.
Debussche A, Temam R. Some new generalizations of inertial manifolds. Discret Cont Dynam Sys 1996;2:543–558.
Foias C, Sell GR, Temam R. Varié,tés inertielles des équations différentielles dissipatives. Comptes Rendus de l’Académie des Sciences – Series I – Mathematics 1985;301:139–141.
Foias C, Nicolaenko B, Sell GR, Temam R. Varieties inertielles pour l’equation de Kuramoto-Sivashinsky (Inertial manifolds for the Kuramoto-Sivashinsky equation). Comptes Rendus de l’Acadé,mie des Sciences – Series I – Mathematics 1985;301:285–288.
Foias C, Sell GR, Temam R. Inertial manifolds for nonlinear evolutionary equations. J Differ Equat 1988;73:309–353.
Foias C, Sell GR, Titi ES. Exponential tracking and approximation of inertial manifolds for dissipative nonlinear equations. J Dyn Diff Equat 1989;1: 199–244.
Gal CG, Guo Y. Inertial manifolds for the hyperviscous Navier-Stokes equations. J Differ Equat 2020;265(9):4335–74.
Goritskiǐ AY, Chepyzhov VV. The dichotomy property of solutions of quasilinear equations in problems on inertial manifolds. Sbornik: Mathematics 2005; 196:485–511. translation from Matematicheskii Sbornik 196 (2005), 23–50.
Guckenheimer J, Holmes PJ. Nonlinear oscillations, dynamical systems, and bifurcations of vector fields. New York: Springer; 1983.
Koksch N, Siegmund S. Pullback attracting inertial manifols for nonautonomous dynamical systems. J Dyn Diff Equat 2002;14:889–941.
Koksch N, Siegmund S. Feedback control via inertial manifolds for nonautonomous evolution equations. Commun Pure Appl Anal 2011;10(3):917–936.
Kostianko A, Zelik S. Inertial manifolds for 1D reaction-diffusion-advection systems. Part i: Dirichlet and Neumann boundary conditions. Commun Pure Appl Anal 2017;16(6):2357–2376.
Kostianko A, Zelik S. Inertial manifolds for 1D reaction-diffusion-advection systems. Part II: periodic boundary conditions. Commun Pure Appl Anal 2018;17(1):285–317.
Mallet-Paret J, Sell GR. Inertial manifolds for reaction-diffusion equations in higher space dimensions. J Am Math Soc 1988;1:805–866.
Miklavčič M. A sharp condition for existence of an inertial manifold. J Dyn Diff Equat 1991;3:437–456.
Murray JD. Mathematical biology I: an Introduction. Berlin: Springer; 2002.
Murray JD. Mathematical biology II: spatial models and biomedical applications. Berlin: Springer; 2003.
Nguyen TH. Inertial manifolds for semi-linear parabolic equations in admissible spaces. J Math Anal Appl 2012;386:894–909.
Nguyen TH. Admissibly inertial manifolds for a class of semi-linear evolution equations. J Diff Equat 2013;254:638–2660.
Nguyen TH, Bui X-Q. Competition models with diffusion, analytic semigroups, and inertial manifolds. Math Methods Appl Sci 2018;41(17):8182–8200.
Palis J, deMelo W. Geometric theory of dynamical systems: an introduction. New York: Springer; 1982.
Rosa R. Exact finite dimensional feedback control via inertial manifold theory with application to the Chafee–Infante equation. J Dyn Diff Equat 2003;15(1): 61–86.
Rosa R, Temam R. Inertial manifolds and normal hyperbolicity. Acta Applicandae Mathematica 1996;45(1):1–50.
Rosa R, Temam R. Finite-dimensional feedback control of a scalar reaction-diffusion equation via inertial manifold theory, Foundations of Computational Mathematics. Selected papers of a conference held at Rio de Janeiro, January 1997. In: Cucker F and Shub M, editors; 1997.
Sano H, Kunimatsu N. Feedback control of semilinear diffusion systems: inertial manifolds for closed-loop systems. IMA J Math Control Inf 1994;11(1):75–92.
Sell GR, You Y. Inertial manifolds: the non-self-adjoint case. J Diff Equat 1992;96:203–255.
Sell GR, You Y, Vol. 143. Dynamics of evolutionary equations, applied mathematical sciences. Berlin: Springer; 2002.
Shvartsman SY, Theodoropoulos C, Rico-Martinez R, Kevrekidis IG, Titi ES, Mountziaris TJ. Order reduction for nonlinear dynamic models of distributed reacting systems. J Process Control 2000;10:177–184.
Temam R. Infinite-dimensional dynamical systems in mechanics and physics. Berlin: Springer; 1988.
Temam R. Do inertial manifolds apply to turbulence? Physica D: Nonlinear Phenomena 1989;37(1-3):146–152.
Wiggins S, Vol. 2. Introduction to applied nonlinear dynamical systems and chaos texts in applied mathematics. New York: Springer; 1990.
Yang P, Wang J, O’Regan D, Fečkan M. Inertial manifold for semi-linear non-instantaneous impulsive parabolic equations in an admissible space. Commun Nonlinear Sci Numer Simul 2019;75:174–191.
You Y. Inertial manifolds and stabilization in nonlinear elastic systems with structural damping. Collection: differential equations with applications to mathematical physics. Math Sci Eng 1993;192:335–346.
Zelik S. Inertial manifolds and finite-dimensional reduction for dissipative PDEs. Proceedings of the Royal Society of Edinburgh Section A: Mathematics 2014; 144(6):1245–1327.
Acknowledgments
We would like to thank the referee for careful reading of our manuscript. His/her comments, remarks and corrections lead to the improvements of the paper. The second author would also like to express the deep gratitude to Viet Duoc Trinh for the fruitful discussions, and to Ricardo Rosa for the helpful discussions and for the useful document related to the paper R. Rosa and R. Temam [32].
Funding
The works of the first two authors are supported by the Vietnam Institute for Advanced Study in Mathematics (VIASM).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Nguyen, T.H., Bui, XQ. & Do, D.T. Regularity of the Inertial Manifolds for Evolution Equations in Admissible Spaces and Finite-Dimensional Feedback Controllers. J Dyn Control Syst 28, 657–679 (2022). https://doi.org/10.1007/s10883-021-09538-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10883-021-09538-1
Keywords
- Inertial manifolds
- Admissible spaces
- Evolution equations
- Non-autonomous dynamical systems
- Feedback control