Namespaces
Variants
Actions

Difference between revisions of "Qualitative theory of differential equations in Banach spaces"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
(latex details)
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A branch of [[Functional analysis|functional analysis]] in which one studies the behaviour on the real axis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762501.png" /> or on the positive (or negative) semi-axis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762502.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762503.png" />) of the solution of the [[Evolution equation|evolution equation]] in a Banach space. Consider the equations
+
<!--
 +
q0762501.png
 +
$#A+1 = 332 n = 0
 +
$#C+1 = 332 : ~/encyclopedia/old_files/data/Q076/Q.0706250 Qualitative theory of differential equations in Banach spaces
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762504.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762505.png" />;
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762506.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762507.png" />;
+
A branch of [[Functional analysis|functional analysis]] in which one studies the behaviour on the real axis  $  J $
 +
or on the positive (or negative) semi-axis  $  J  ^ {+} $(
 +
or  $  J  ^ {-} $)
 +
of the solution of the [[Evolution equation|evolution equation]] in a Banach space. Consider the equations
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762508.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q0762509.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625010.png" /> is the required function and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625011.png" /> the given function with values in a complex Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625012.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625013.png" /> is a linear operator and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625014.png" /> is a non-linear operator on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625015.png" />. By the derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625016.png" /> one means the limit in the norm of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625017.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625018.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625019.png" />.
+
$  I $.  
 +
$  \dot{u} = A ( t) u $;
  
Uniform stability holds for the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625020.png" /> if there exists a constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625021.png" /> such that for any solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625023.png" />, and exponential stability if for any solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625024.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625025.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625026.png" />.
+
$  II $.  
 +
$  \dot{u} = A ( t) u + f ( t) $;
  
For equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625027.png" /> with a constant bounded operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625028.png" />, the solution of the Cauchy problem (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625029.png" /> given) has the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625030.png" />. The estimate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625031.png" /> holds, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625032.png" /> is a number greater than the real parts of all points of the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625033.png" />. Thus, for exponential stability it is necessary and sufficient that the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625034.png" /> lies in the interior of the left half-plane. In a Hilbert space this holds if and only if there exists a positive-definite form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625035.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625036.png" /> for every solution of the equation (Lyapunov's theorem). If the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625037.png" /> is distributed on both sides of the imaginary axis and does not intersect it, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625038.png" /> can be decomposed into a direct sum of subspaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625039.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625040.png" /> which are invariant with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625041.png" />, and all the solutions are exponentially increasing (decreasing) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625042.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625043.png" />) as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625044.png" />. In this case, exponential dichotomy holds for the equation.
+
$  III $.  
 +
$  \dot{u} = A ( t) u + f ( t , u ) $,  
 +
where $  u ( t) $
 +
is the required function and $  f ( t) $
 +
the given function with values in a complex Banach space $  E $;
 +
$  A ( t) $
 +
is a linear operator and $  f ( t , u ) $
 +
is a non-linear operator on  $  E $.  
 +
By the derivative  $  \dot{u} $
 +
one means the limit in the norm of  $  E $
 +
of  $  \Delta u / \Delta t $
 +
as $  \Delta t \rightarrow 0 $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625045.png" /> is closed, unbounded and has a dense domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625046.png" />, then the Cauchy problem with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625047.png" /> is not, in general, well-posed. The existence and properties of the solutions are not determined merely by the distribution of the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625048.png" />; the behaviour of its resolvent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625049.png" /> must also be specified. Commonly used conditions ensuring the uniform well-posedness of the Cauchy problem on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625050.png" /> are provided by the inequalities
+
Uniform stability holds for the equation  $  I $
 +
if there exists a constant  $  M $
 +
such that for any solution  $  \| u ( t) \| \leq  M  \| u ( s) \| $,  
 +
$  t \geq  s $,  
 +
and exponential stability if for any solution  $  \| u ( t) \| \leq  M  \mathop{\rm exp} ( - \alpha ( t - s ) )  \| u ( s) \| $
 +
for some  $  M $
 +
and $  \alpha > 0 $.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625051.png" /></td> </tr></table>
+
For equation  $  I $
 +
with a constant bounded operator  $  A ( t) \equiv A $,
 +
the solution of the Cauchy problem ( $  u ( s) $
 +
given) has the form  $  u ( t) = \mathop{\rm exp} ( ( t - s ) A ) u ( s) $.
 +
The estimate  $  \|  \mathop{\rm exp} ( A t ) \| \leq  M  \mathop{\rm exp} ( \sigma t ) $
 +
holds, where  $  \sigma $
 +
is a number greater than the real parts of all points of the spectrum of  $  A $.
 +
Thus, for exponential stability it is necessary and sufficient that the spectrum of  $  A $
 +
lies in the interior of the left half-plane. In a Hilbert space this holds if and only if there exists a positive-definite form  $  ( W x , y ) $
 +
for which  $  ( d / d t) ( W u , u ) / 2 = \mathop{\rm Re} ( W u , A u ) \leq  - \alpha ( u , u ) $
 +
for every solution of the equation (Lyapunov's theorem). If the spectrum of  $  A $
 +
is distributed on both sides of the imaginary axis and does not intersect it, then  $  E $
 +
can be decomposed into a direct sum of subspaces  $  E _ {+} $
 +
and  $  E _ {-} $
 +
which are invariant with respect to  $  A $,
 +
and all the solutions are exponentially increasing (decreasing) in  $  E _ {+} $(
 +
$  E _ {-} $)
 +
as  $  t \rightarrow \infty $.
 +
In this case, exponential dichotomy holds for the equation.
 +
 
 +
If  $  A $
 +
is closed, unbounded and has a dense domain in  $  E $,
 +
then the Cauchy problem with  $  u ( 0) = u _ {0} $
 +
is not, in general, well-posed. The existence and properties of the solutions are not determined merely by the distribution of the spectrum of  $  A $;
 +
the behaviour of its resolvent  $  ( A - \lambda I )  ^ {-1} $
 +
must also be specified. Commonly used conditions ensuring the uniform well-posedness of the Cauchy problem on  $  J  ^ {+} $
 +
are provided by the inequalities
 +
 
 +
$$
 +
\| ( A - \lambda I )^{-m} \|  \leq  \
 +
 
 +
\frac{M}{( \lambda - \sigma )  ^ {m} }
 +
,\ \
 +
\lambda > \sigma ,\ \
 +
m = 1 , 2 \dots
 +
$$
  
 
a sufficient condition for their fulfillment being the Hille–Yosida condition
 
a sufficient condition for their fulfillment being the Hille–Yosida condition
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625052.png" /></td> </tr></table>
+
$$
 +
\| ( A - \lambda I )  ^ {-1} \| \
 +
\leq 
 +
\frac{1}{\lambda - \sigma }
 +
,\ \
 +
\lambda > \sigma ,
 +
$$
  
 
or the inequality
 
or the inequality
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625053.png" /></td> </tr></table>
+
$$
 +
\| ( A - \lambda I )  ^ {-1} \| \
 +
\leq 
 +
\frac{M}{| \lambda - \sigma | }
 +
,\ \
 +
\mathop{\rm Re}  \lambda > \sigma .
 +
$$
 +
 
 +
When these conditions hold, the solution of the Cauchy problem has the form  $  u ( t) = T ( t - s ) u ( s) $,
 +
where  $  T ( t) $
 +
is a [[Strongly-continuous semi-group|strongly-continuous semi-group]] of operators for  $  t \geq  0 $
 +
and  $  \| T ( t) \| \leq  M  \mathop{\rm exp} ( \sigma t ) $.
 +
For uniform (or exponential) stability it suffices that  $  \sigma = 0 $(
 +
respectively,  $  \sigma < 0 $).
 +
If  $  A $
 +
generates a strongly-continuous semi-group on a Hilbert space, then the sufficiency part of Lyapunov's theorem holds for it, while if it generates a group, then the necessity part holds as well. In a Hilbert space exponential stability is equivalent to  $  L _ {2} $-
 +
stability, the property that for all solutions  $  \| T ( t) u _ {0} \| \in L _ {2} ( 0 , \infty ) $.
 +
 
 +
Important for applications is the property of almost-periodicity of the solution  $  u ( t) $
 +
or weak almost-periodicity (that is, almost periodicity of the scalar functions  $  \langle  u ( t) , \phi \rangle $
 +
for all  $  \phi \in E  ^ {*} $).
 +
If all values of an almost-periodic solution lie in a compact set, then the solution is compact. Compactness and weak almost-periodicity imply almost-periodicity. For the equation  $  \dot{u} = Au $,
 +
the question of almost-periodicity of the solution is related to the structure of the intersection of the spectrum of  $  A $
 +
with the imaginary axis. If  $  A $
 +
is the generating operator of a bounded strongly-continuous semi-group and the above intersection is countable, then for the almost-periodicity of a bounded solution defined on the whole axis it is necessary and sufficient that the limit  $  \lim\limits _ {\epsilon \rightarrow 0 }  \epsilon ( A - \lambda + \epsilon )  ^ {-1} u ( 0) $
 +
exists at each limit point  $  \lambda $
 +
of the spectrum on the imaginary axis. Furthermore, each uniformly-continuous solution is weakly almost-periodic; it is almost-periodic if it is weakly compact, or if  $  E $
 +
contains no subspaces isomorphic to the space  $  c _ {0} $
 +
of sequences converging to zero, endowed with the max norm. If  $  A $
 +
is the generating operator of a strongly-continuous semi-group  $  T ( t) $
 +
with the property that the functions  $  \| T  ^ {*} ( t) \phi \| $
 +
are bounded on  $  J  ^ {+} $
 +
for a set of functionals  $  \phi $
 +
which are dense in  $  E  ^ {*} $,
 +
then compactness of a solution implies almost-periodicity.
 +
 
 +
For equation  $  I $
 +
with a bounded operator  $  A ( t) $
 +
that is continuous in  $  t $,
 +
the solutions of the Cauchy problem are defined on the whole axis and, by means of the [[Evolution operator|evolution operator]]  $  U ( t , s ) $,
 +
can be written in the form  $  u( t) = U ( t , s ) u ( s) $.  
 +
The property of uniform stability is equivalent to the requirement that  $  \| U ( t , s ) \| \leq  M $;
 +
the property of exponential stability is equivalent to  $  \| U ( t , s ) \| \leq  M  \mathop{\rm exp} ( - \alpha ( t - s ) ) $.  
 +
If  $  A ( t) $
 +
is bounded in integral norm, that is,  $  \sup _ {t}  \int _ {t}  ^ {t+1} \| A ( \tau ) \|  d \tau < \infty $,
 +
then the general index
 +
 
 +
$$
 +
\kappa  =  \lim\limits _ {t , s \rightarrow \infty } \
 +
 
 +
\frac{ \mathop{\rm ln}  \| U ( t + s , s ) \| }{t}
 +
 
 +
$$
  
When these conditions hold, the solution of the Cauchy problem has the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625054.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625055.png" /> is a [[Strongly-continuous semi-group|strongly-continuous semi-group]] of operators for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625056.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625057.png" />. For uniform (or exponential) stability it suffices that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625058.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625059.png" />). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625060.png" /> generates a strongly-continuous semi-group on a Hilbert space, then the sufficiency part of Lyapunov's theorem holds for it, while if it generates a group, then the necessity part holds as well. In a Hilbert space exponential stability is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625061.png" />-stability, the property that for all solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625062.png" />.
+
is finite. If  $  \kappa < 0 $,  
 +
one has exponential stability. For equations with a constant or periodic operator, the formula  $  \kappa = \overline{\lim\limits}\; _ {t \rightarrow \infty }  (  \mathop{\rm ln}  \| u ( t , 0 ) \| ) / t $
 +
holds. It does not hold in the general case. The general index is not altered if  $  A ( t) $
 +
is perturbed by adding a term  $  B ( t) $
 +
for which  $  B ( t) \rightarrow 0 $
 +
as  $  t \rightarrow \infty $,
 +
or for which the integral  $  \int \| B ( t) \|  d t $
 +
converges at infinity. The size of the general index depends on the behaviour of  $  A ( t) $
 +
at infinity. If the limit  $  A _  \infty  = \lim\limits _ {t \rightarrow \infty }  A ( t) $
 +
exists and the spectrum of  $  A _  \infty  $
 +
lies in the interior of the left half-plane, then  $  \kappa < 0 $.  
 +
If the operators  $  A ( t) $,  
 +
$  \alpha \leq  t < \infty $,
 +
form a compact set in the space of bounded operators, if the spectra of all limit operators belong to a half-plane  $  \mathop{\rm Re}  \lambda \leq  - \nu < 0 $
 +
and if the operator function  $  A ( t) $
 +
has small oscillation, for example, it has the form  $  B ( \epsilon t ) $
 +
for sufficiently small  $  \epsilon $,  
 +
or if, for sufficiently large  $  t $,
 +
it satisfies the Lipschitz condition  $  \| A ( t) - A ( \tau ) \| \leq  \epsilon  | t - \tau | $
 +
with  $  \epsilon $
 +
sufficiently small, then $  \kappa < 0 $.  
 +
In a Hilbert space the condition  $  \kappa < 0 $
 +
is equivalent to the existence of a Hermitian form  $  ( W ( t) x , y ) $
 +
such that  $  0 < \alpha _ {1} ( x , x ) \leq  ( W ( t ) x , x ) \leq  \alpha _ {2} ( x , x ) $
 +
and  $  ( d / d t ) ( W ( t ) u , u ) \leq  - \alpha ( u , u ) $
 +
for every solution  $  u ( t) $.
  
Important for applications is the property of almost-periodicity of the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625063.png" /> or weak almost-periodicity (that is, almost periodicity of the scalar functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625064.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625065.png" />). If all values of an almost-periodic solution lie in a compact set, then the solution is compact. Compactness and weak almost-periodicity imply almost-periodicity. For the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625066.png" />, the question of almost-periodicity of the solution is related to the structure of the intersection of the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625067.png" /> with the imaginary axis. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625068.png" /> is the generating operator of a bounded strongly-continuous semi-group and the above intersection is countable, then for the almost-periodicity of a bounded solution defined on the whole axis it is necessary and sufficient that the limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625069.png" /> exists at each limit point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625070.png" /> of the spectrum on the imaginary axis. Furthermore, each uniformly-continuous solution is weakly almost-periodic; it is almost-periodic if it is weakly compact, or if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625071.png" /> contains no subspaces isomorphic to the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625072.png" /> of sequences converging to zero, endowed with the max norm. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625073.png" /> is the generating operator of a strongly-continuous semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625074.png" /> with the property that the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625075.png" /> are bounded on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625076.png" /> for a set of functionals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625077.png" /> which are dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625078.png" />, then compactness of a solution implies almost-periodicity.
+
If  $  A ( t) $
 +
is periodic with period  $  \omega $,
 +
i.e. if  $  A ( t + \omega ) = A ( t) $,
 +
then  $  U ( t + \omega , 0 ) = U ( t , 0 ) U ( \omega , 0 ) $.  
 +
The operator  $  U ( \omega ) = U ( \omega , 0 ) $
 +
is called the monodromy operator of equation $  I $.  
 +
Its [[Spectral radius|spectral radius]]  $  r _ {U ( \omega ) }  $
 +
is related to the general index by the formula  $  \kappa = ( 1 / \omega )  \mathop{\rm ln}  r _ {U ( \omega ) }  $.  
 +
The equation has a periodic solution if and only if 1 is an eigen value of  $  U ( \omega ) $.  
 +
If the operator $  U ( \omega ) $
 +
has a logarithm, then the Floquet representation  $  U ( t , 0 ) = \Omega ( t)  \mathop{\rm exp} ( t \Gamma ) $
 +
holds, where  $  \Omega ( t) $
 +
is periodic with period  $  \omega $
 +
and $  \Gamma = ( 1 / \omega )  \mathop{\rm ln}  U ( \omega ) $.  
 +
In particular, the Floquet representation holds if the spectrum of  $  U ( \omega ) $
 +
does not surround the origin; and for this it suffices that  $  ( 1 / \omega ) \int _ {0}  ^  \omega  \| A ( t) \|  d t $
 +
be less than a certain constant, which depends on the geometry of the sphere in  $  E $
 +
and which is not less than  $  \mathop{\rm ln}  4 $.
 +
For Hilbert space this constant is $  \pi $.  
 +
The Floquet representation reduces the question of the behaviour of the solution of the equation to the same question for the equation  $  \dot{v} = \Gamma v $
 +
with a constant operator  $  \Gamma $.
  
For equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625079.png" /> with a bounded operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625080.png" /> that is continuous in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625081.png" />, the solutions of the Cauchy problem are defined on the whole axis and, by means of the [[Evolution operator|evolution operator]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625082.png" />, can be written in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625083.png" />. The property of uniform stability is equivalent to the requirement that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625084.png" />; the property of exponential stability is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625085.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625086.png" /> is bounded in integral norm, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625087.png" />, then the general index
+
Exponential dichotomy holds for equation $  I $
 +
if for some  $  s $
 +
the space decomposes into a direct sum of subspaces  $  E _ {+} ( s) $
 +
and $  E _ {-} ( s) $
 +
such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625088.png" /></td> </tr></table>
+
$$
 +
\| U ( t , s ) x \|  \leq  N _ {1} e ^
 +
{- \nu _ {1} ( t - s ) } \| x \| ,\  \nu _ {1} > 0 ,
 +
$$
  
is finite. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625089.png" />, one has exponential stability. For equations with a constant or periodic operator, the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625090.png" /> holds. It does not hold in the general case. The general index is not altered if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625091.png" /> is perturbed by adding a term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625092.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625093.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625094.png" />, or for which the integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625095.png" /> converges at infinity. The size of the general index depends on the behaviour of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625096.png" /> at infinity. If the limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625097.png" /> exists and the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625098.png" /> lies in the interior of the left half-plane, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q07625099.png" />. If the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250100.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250101.png" />, form a compact set in the space of bounded operators, if the spectra of all limit operators belong to a half-plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250102.png" /> and if the operator function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250103.png" /> has small oscillation, for example, it has the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250104.png" /> for sufficiently small <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250105.png" />, or if, for sufficiently large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250106.png" />, it satisfies the Lipschitz condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250107.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250108.png" /> sufficiently small, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250109.png" />. In a Hilbert space the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250110.png" /> is equivalent to the existence of a Hermitian form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250111.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250112.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250113.png" /> for every solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250114.png" />.
+
when  $  x \in E _ {-} ( s) $,  
 +
$  t \geq  s $,  
 +
and
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250115.png" /> is periodic with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250116.png" />, i.e. if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250117.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250118.png" />. The operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250119.png" /> is called the monodromy operator of equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250120.png" />. Its [[Spectral radius|spectral radius]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250121.png" /> is related to the general index by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250122.png" />. The equation has a periodic solution if and only if 1 is an eigen value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250123.png" />. If the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250124.png" /> has a logarithm, then the Floquet representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250125.png" /> holds, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250126.png" /> is periodic with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250127.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250128.png" />. In particular, the Floquet representation holds if the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250129.png" /> does not surround the origin; and for this it suffices that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250130.png" /> be less than a certain constant, which depends on the geometry of the sphere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250131.png" /> and which is not less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250132.png" />. For Hilbert space this constant is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250133.png" />. The Floquet representation reduces the question of the behaviour of the solution of the equation to the same question for the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250134.png" /> with a constant operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250135.png" />.
+
$$
 +
\| U ( t , s ) x \|  \leq  N _ {2} e ^
 +
{- \nu _ {2} ( t - s ) } \| x \| ,\  \nu _ {2} > 0 ,
 +
$$
  
Exponential dichotomy holds for equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250136.png" /> if for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250137.png" /> the space decomposes into a direct sum of subspaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250138.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250139.png" /> such that
+
when  $  x \in E _ {+} ( s) $,
 +
$  t \leq  s $.  
 +
It is supposed here that the subsequences  $  U ( t , s ) E _ {+} ( s) $
 +
and  $  U ( t , s ) E _ {-} ( s) $
 +
are, in a certain sense, not close to each other. If the general index is finite, this latter requirement holds automatically. For an equation with a periodic  $  A ( t) $,
 +
a necessary and sufficient condition for exponential dichotomy to hold is that the spectrum of the monodromy operator be distributed outside and inside the unit disc without intersecting the unit circle.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250140.png" /></td> </tr></table>
+
For equation  $  I $
 +
with an unbounded operator  $  A ( t) $
 +
whose domain does not depend on  $  t $
 +
and which satisfies the well-posedness conditions for the Cauchy problem (see above) for every  $  t $,
 +
the existence of an evolution operator  $  U ( t , s ) $,
 +
defined and strongly continuous in  $  t $
 +
and  $  s $
 +
for  $  t \geq  s $,
 +
has been proved, under supplementary smoothness conditions. This enables one to carry over to this case a number of the ideas and results described above. However, some difficulties are encountered. E.g., the Floquet representation can be obtained only in a Hilbert space when  $  A ( t) = A + B ( t) $,
 +
where  $  A $
 +
is a negative-definite self-adjoint operator and  $  B ( t) $
 +
is a bounded periodic operator satisfying certain extra conditions.
  
when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250141.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250142.png" />, and
+
Suppose that  $  A ( t) $
 +
is periodic and that the Cauchy problem for equation  $  I $
 +
is uniformly well-posed. If the intersection of the spectrum of the monodromy operator  $  U ( \omega ) $
 +
with the unit circle is countable, then each bounded uniformly-continuous solution on  $  J $
 +
is weakly almost-periodic. It is almost-periodic in the case of weak compactness or if  $  E $
 +
does not contain  $  c _ {0} $.  
 +
A reflexive space  $  E $
 +
admits a direct sum decomposition  $  E _ {1} + E _ {2} $
 +
such that  $  E _ {1} $
 +
and  $  E _ {2} $
 +
are invariant with respect to  $  U ( \omega ) $
 +
and all the solutions starting in  $  E _ {1} $
 +
are almost-periodic, while those starting in  $  E _ {2} $
 +
are in a certain sense decreasing: For  $  u _ {2} ( 0) \in E _ {2} $,
 +
$  \phi \in E  ^ {*} $,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250143.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {n \rightarrow \infty } \
  
when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250144.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250145.png" />. It is supposed here that the subsequences <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250146.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250147.png" /> are, in a certain sense, not close to each other. If the general index is finite, this latter requirement holds automatically. For an equation with a periodic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250148.png" />, a necessary and sufficient condition for exponential dichotomy to hold is that the spectrum of the monodromy operator be distributed outside and inside the unit disc without intersecting the unit circle.
+
\frac{1}{n}
  
For equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250149.png" /> with an unbounded operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250150.png" /> whose domain does not depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250151.png" /> and which satisfies the well-posedness conditions for the Cauchy problem (see above) for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250152.png" />, the existence of an evolution operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250153.png" />, defined and strongly continuous in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250154.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250155.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250156.png" />, has been proved, under supplementary smoothness conditions. This enables one to carry over to this case a number of the ideas and results described above. However, some difficulties are encountered. E.g., the Floquet representation can be obtained only in a Hilbert space when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250157.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250158.png" /> is a negative-definite self-adjoint operator and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250159.png" /> is a bounded periodic operator satisfying certain extra conditions.
+
\sum _ { k= } 0 ^ { n }
 +
| \langle  u _ {2} ( k \omega ) , \phi \rangle |  ^ {2}  = 0 .
 +
$$
  
Suppose that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250160.png" /> is periodic and that the Cauchy problem for equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250161.png" /> is uniformly well-posed. If the intersection of the spectrum of the monodromy operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250162.png" /> with the unit circle is countable, then each bounded uniformly-continuous solution on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250163.png" /> is weakly almost-periodic. It is almost-periodic in the case of weak compactness or if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250164.png" /> does not contain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250165.png" />. A reflexive space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250166.png" /> admits a direct sum decomposition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250167.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250168.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250169.png" /> are invariant with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250170.png" /> and all the solutions starting in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250171.png" /> are almost-periodic, while those starting in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250172.png" /> are in a certain sense decreasing: For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250173.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250174.png" />,
+
For the solution of the non-homogeneous equation  $  II $,  
 +
the following formula holds:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250175.png" /></td> </tr></table>
+
$$
 +
u ( t)  = U ( t , s ) u ( s) + \int\limits _ { s } ^ { t }
 +
U ( t , \tau ) f ( \tau )  d \tau .
 +
$$
  
For the solution of the non-homogeneous equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250176.png" />, the following formula holds:
+
For an equation with a bounded operator, this equation is equivalent to the differential equation. In the case of an unbounded operator, this is generally not so, but then this equation is taken as the definition of the (generalized) solution. The fundamental problem for equation  $  II $
 +
is to investigate the properties of the solutions under prescribed properties of the right-hand side. These properties are usually described in terms of the function  $  f $
 +
belonging to some Banach space of functions on  $  J $
 +
or  $  J  ^ {+} $
 +
with values in  $  E $.
 +
If corresponding to each bounded continuous function  $  f \in C ( E) $
 +
there is at least one bounded solution, then the operator  $  L = d / d t - A ( t) $
 +
is called weakly regular. If corresponding to each  $  f \in C ( E) $
 +
there is a unique solution  $  u \in C ( E) $,
 +
then  $  L $
 +
is called regular. For bounded constant  $  A $,
 +
weak regularity implies regularity. This assertion is no longer true for unbounded  $  A $
 +
or for bounded periodic  $  A ( t) $,
 +
even in a Hilbert space. If the general index of the equation  $  \dot{u} = A ( t) u $
 +
is finite, then exponential dichotomy for this equation is equivalent to regularity of  $  L $
 +
on  $  J $.
 +
For exponential dichotomy to hold on  $  J  ^ {+} $
 +
it is necessary and sufficient that  $  L $
 +
be weakly regular on  $  J  ^ {+} $
 +
and that the set of those initial values  $  u ( 0) $
 +
to which the bounded solutions of equation  $  I $
 +
correspond be a complemented subspace of  $  E $.
 +
If for all solutions of  $  II $
 +
the inequality
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250177.png" /></td> </tr></table>
+
$$
 +
\| u ( t) \|  \leq  k  \sup _ { t } \
 +
\left \{
 +
\int\limits _ { 0 } ^ { 1 }
 +
\| f ( t + s ) \|  ^ {2}  d s
 +
\right \}  ^ {1/2}
 +
$$
  
For an equation with a bounded operator, this equation is equivalent to the differential equation. In the case of an unbounded operator, this is generally not so, but then this equation is taken as the definition of the (generalized) solution. The fundamental problem for equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250178.png" /> is to investigate the properties of the solutions under prescribed properties of the right-hand side. These properties are usually described in terms of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250179.png" /> belonging to some Banach space of functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250180.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250181.png" /> with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250182.png" />. If corresponding to each bounded continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250183.png" /> there is at least one bounded solution, then the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250184.png" /> is called weakly regular. If corresponding to each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250185.png" /> there is a unique solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250186.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250187.png" /> is called regular. For bounded constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250188.png" />, weak regularity implies regularity. This assertion is no longer true for unbounded <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250189.png" /> or for bounded periodic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250190.png" />, even in a Hilbert space. If the general index of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250191.png" /> is finite, then exponential dichotomy for this equation is equivalent to regularity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250192.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250193.png" />. For exponential dichotomy to hold on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250194.png" /> it is necessary and sufficient that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250195.png" /> be weakly regular on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250196.png" /> and that the set of those initial values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250197.png" /> to which the bounded solutions of equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250198.png" /> correspond be a complemented subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250199.png" />. If for all solutions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250200.png" /> the inequality
+
holds, and if for the solution of the formal adjoint equation - d v / d t = A  ^ {*} ( t) v + g ( t) $
 +
the inequality  $  \| v ( t) \| \leq  k  \sup  \| g ( t) \| $
 +
holds, then the operators  $  L $
 +
and  $  L  ^ {*} = - d / d t - A  ^ {*} ( t) $
 +
are regular. It is not known (1990) whether regularity is preserved on replacing the right-hand side of the first inequality by  $  k  \sup _ {t}  \| f ( t) \| $.  
 +
For the regularity of $  L $
 +
and $  L  ^ {*} $
 +
both, a priori estimates are necessary.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250201.png" /></td> </tr></table>
+
If  $  A ( t) $
 +
is periodic, then a necessary and sufficient condition for the existence of periodic solutions for each periodic  $  f $
 +
is that the mapping  $  I - U ( \omega ) $
 +
be surjective, while for such a solution to be unique, it is necessary and sufficient that the operator  $  I - U ( \omega ) $
 +
be invertible.
  
holds, and if for the solution of the formal adjoint equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250202.png" /> the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250203.png" /> holds, then the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250204.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250205.png" /> are regular. It is not known (1990) whether regularity is preserved on replacing the right-hand side of the first inequality by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250206.png" />. For the regularity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250207.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250208.png" /> both, a priori estimates are necessary.
+
The verification of regularity under known conditions can be reduced to the verification of the regularity of operators with constant coefficients. In the case when  $  A ( t) $
 +
is strongly oscillating (for example  $  A ( t) = B ( \omega t) $
 +
with  $  \omega $
 +
large), under the assumption that the mean
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250209.png" /> is periodic, then a necessary and sufficient condition for the existence of periodic solutions for each periodic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250210.png" /> is that the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250211.png" /> be surjective, while for such a solution to be unique, it is necessary and sufficient that the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250212.png" /> be invertible.
+
$$
 +
\overline{A}\;  = \
 +
\lim\limits _ {T \rightarrow \infty } \
  
The verification of regularity under known conditions can be reduced to the verification of the regularity of operators with constant coefficients. In the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250213.png" /> is strongly oscillating (for example <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250214.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250215.png" /> large), under the assumption that the mean
+
\frac{1}{2T}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250216.png" /></td> </tr></table>
+
\int\limits _ {- T + \alpha } ^ { {T }  + \alpha }
 +
A ( t)  d t
 +
$$
  
exists uniformly with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250217.png" />, the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250218.png" /> is regular if and only if the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250219.png" /> is regular.
+
exists uniformly with respect to $  \alpha \in J $,  
 +
the operator $  A ( t) $
 +
is regular if and only if the operator $  d / d t - \overline{A}\; $
 +
is regular.
  
For almost-periodic solutions the specifics of an infinite-dimensional space are already encountered in a generalization of the well-known Bohl–Bohr theorem on the almost-periodicity of a bounded integral of an almost-periodic function, that is, on the almost-periodicity of a solution of the simplest differential equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250220.png" />. If the indefinite integral of an almost-periodic function with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250221.png" /> is bounded in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250222.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250223.png" /> does not contain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250224.png" />, then the function is almost-periodic. The Bohl–Bohr theorem fails in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250225.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250226.png" /> is periodic, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250227.png" /> is almost-periodic and the intersection of the spectrum of the monodromy operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250228.png" /> with the unit circle is countable, then the same conclusions on the almost-periodicity of solutions stated earlier for the homogeneous equation hold for this case. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250229.png" /> is almost-periodic (as a function with values in the space of bounded operators on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250230.png" />), then in order that for each almost-periodic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250231.png" /> there exists a unique almost-periodic solution, it is necessary and sufficient that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250232.png" /> be regular. If equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250233.png" /> has a (weakly) compact solution for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250234.png" />, and the non-trivial (weakly) compact solutions of the homogeneous equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250235.png" /> have the property that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250236.png" />, then equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250237.png" /> has a (weakly) almost-periodic solution.
+
For almost-periodic solutions the specifics of an infinite-dimensional space are already encountered in a generalization of the well-known Bohl–Bohr theorem on the almost-periodicity of a bounded integral of an almost-periodic function, that is, on the almost-periodicity of a solution of the simplest differential equation $  \dot{u} = f ( t) $.  
 +
If the indefinite integral of an almost-periodic function with values in $  E $
 +
is bounded in $  E $
 +
and $  E $
 +
does not contain $  c _ {0} $,  
 +
then the function is almost-periodic. The Bohl–Bohr theorem fails in $  c _ {0} $.  
 +
If $  A ( t) $
 +
is periodic, $  f ( t) $
 +
is almost-periodic and the intersection of the spectrum of the monodromy operator $  U ( \omega ) $
 +
with the unit circle is countable, then the same conclusions on the almost-periodicity of solutions stated earlier for the homogeneous equation hold for this case. If $  A ( t) $
 +
is almost-periodic (as a function with values in the space of bounded operators on $  E $),  
 +
then in order that for each almost-periodic function $  f $
 +
there exists a unique almost-periodic solution, it is necessary and sufficient that $  L $
 +
be regular. If equation $  II $
 +
has a (weakly) compact solution for $  t > 0 $,  
 +
and the non-trivial (weakly) compact solutions of the homogeneous equation $  \dot{u} = A ( t) u $
 +
have the property that $  \lim\limits _ {t \rightarrow \infty }  \| u ( t) \| > 0 $,  
 +
then equation $  II $
 +
has a (weakly) almost-periodic solution.
  
In the qualitative study of a non-linear equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250238.png" />, it is usually supposed in advance that conditions hold which ensure that solutions exist on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250239.png" /> or on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250240.png" />; this imposes an essential constraint on the form of non-linearity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250241.png" />. A solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250242.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250243.png" /> is said to be uniformly stable if there exists for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250244.png" /> a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250245.png" /> such that for every other solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250246.png" /> the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250247.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250248.png" />, implies that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250249.png" /> is defined for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250250.png" /> and that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250251.png" />. A solution is called asymptotically stable if it is uniformly stable and if for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250252.png" /> the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250253.png" /> implies that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250254.png" />. If one makes the substitution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250255.png" /> in the equation, then after linearization (if this is possible) it takes the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250256.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250257.png" />, and the non-linearity has the property that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250258.png" />. Thus the problem of uniform (asymptotic) stability of the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250259.png" /> reduces to that of the uniform (or asymptotic) stability of the zero solution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250260.png" />. In this connection, the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250261.png" /> is called the linearization equation (or variational equation) of the original equation with respect to the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250262.png" />.
+
In the qualitative study of a non-linear equation $  \dot{z} = F ( t , z ) $,  
 +
it is usually supposed in advance that conditions hold which ensure that solutions exist on $  J $
 +
or on $  J  ^ {+} $;  
 +
this imposes an essential constraint on the form of non-linearity of $  F ( t , z ) $.  
 +
A solution $  z _ {0} ( t) $
 +
on $  J  ^ {+} $
 +
is said to be uniformly stable if there exists for each $  \epsilon > 0 $
 +
a $  \delta $
 +
such that for every other solution $  z ( t) $
 +
the inequality $  \| z ( s) - z _ {0} ( s) \| \leq  \delta $,  
 +
$  s \geq  0 $,  
 +
implies that $  z ( t) $
 +
is defined for $  t \geq  s $
 +
and that $  \| z ( t) - z _ {0} ( t) \| \leq  \epsilon $.  
 +
A solution is called asymptotically stable if it is uniformly stable and if for some $  \delta $
 +
the inequality $  \| z ( s) - z _ {0} ( s) \| \leq  \delta $
 +
implies that $  \lim\limits _ {t \rightarrow \infty }  \| z ( t) - z _ {0} ( t) \| = 0 $.  
 +
If one makes the substitution $  u = z - z _ {0} $
 +
in the equation, then after linearization (if this is possible) it takes the form $  III $,  
 +
where $  A ( t) = F _ {z} ^ { \prime } ( t , z _ {0} ( t) ) $,  
 +
and the non-linearity has the property that $  f ( t , 0 ) \equiv 0 $.  
 +
Thus the problem of uniform (asymptotic) stability of the solution $  z _ {0} ( t) $
 +
reduces to that of the uniform (or asymptotic) stability of the zero solution of $  III $.  
 +
In this connection, the equation $  \widetilde{u}  dot = A ( t) \widetilde{u}  $
 +
is called the linearization equation (or variational equation) of the original equation with respect to the solution $  z _ {0} ( t) $.
  
If the non-linear part <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250263.png" /> is sufficiently small, then the properties of the solutions are determined by those of the linearized equation. If the general index of the linearized equation is negative and the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250264.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250265.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250266.png" />, holds, then for sufficiently small <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250267.png" /> the zero solution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250268.png" /> is asymptotically stable. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250269.png" /> and the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250270.png" /> does not intersect the imaginary axis and has a point in the right half-plane, then for sufficiently small <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250271.png" /> the zero solution is unstable. If the inequality
+
If the non-linear part $  f ( t , u ) $
 +
is sufficiently small, then the properties of the solutions are determined by those of the linearized equation. If the general index of the linearized equation is negative and the inequality $  \| f ( t , u ) \| \leq  q \| u \| $,  
 +
$  t \geq  0 $,  
 +
$  \| u \| \leq  \rho $,  
 +
holds, then for sufficiently small q $
 +
the zero solution of $  III $
 +
is asymptotically stable. If $  A ( t) \equiv A $
 +
and the spectrum of $  A $
 +
does not intersect the imaginary axis and has a point in the right half-plane, then for sufficiently small q $
 +
the zero solution is unstable. If the inequality
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250272.png" /></td> </tr></table>
+
$$
 +
\| f ( t , u ) \|  \leq  c  \| u \|  ^ {1+} p ,\ \
 +
p > 0 ,\  t \geq  0 ,\ \
 +
\| u \| \leq  \rho ,
 +
$$
  
 
holds, then the requirement that there be no points of the spectrum on the imaginary axis can be deleted.
 
holds, then the requirement that there be no points of the spectrum on the imaginary axis can be deleted.
  
If exponential dichotomy holds on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250273.png" /> for the linearized equation, then for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250274.png" /> there exist <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250275.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250276.png" /> depending on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250277.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250278.png" /> such that the inequalities
+
If exponential dichotomy holds on $  J $
 +
for the linearized equation, then for every $  \rho > 0 $
 +
there exist $  M $
 +
and $  c $
 +
depending on $  A ( t) $
 +
and $  \rho $
 +
such that the inequalities
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250279.png" /></td> </tr></table>
+
$$
 +
\| f ( t , u ) \|  \leq  M
 +
$$
  
 
and
 
and
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250280.png" /></td> </tr></table>
+
$$
 +
\| f ( t , u ) - f ( t , v ) \|  \leq  c  \| u - v \| ,\ \
 +
t \in J ,\  \| u \| , \| v \| \leq  \rho ,
 +
$$
  
imply the existence, in some neighbourhood of the origin, of two manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250281.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250282.png" />, intersecting at the single point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250283.png" />, such that the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250284.png" /> starting at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250285.png" /> is bounded on the entire axis and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250286.png" />; solutions starting on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250287.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250288.png" />) approach <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250289.png" /> exponentially as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250290.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250291.png" />) and move away from it as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250292.png" /> goes to infinity in the opposite direction. Furthermore, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250293.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250294.png" />) is homeomorphic to the neighbourhood of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250295.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250296.png" />) involved in the definition of exponential dichotomy. If under the above conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250297.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250298.png" /> is almost-periodic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250299.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250300.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250301.png" />, then the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250302.png" /> is almost-periodic.
+
imply the existence, in some neighbourhood of the origin, of two manifolds $  M _ {+} $
 +
and $  M _ {-} $,  
 +
intersecting at the single point $  u _ {0} $,  
 +
such that the solution $  u _ {0} ( t) $
 +
starting at $  u _ {0} $
 +
is bounded on the entire axis and $  \| u _ {0} ( t) \| \leq  \rho $;  
 +
solutions starting on $  M _ {-} $(
 +
$  M _ {+} $)  
 +
approach $  u _ {0} ( t) $
 +
exponentially as $  t \rightarrow \infty $(
 +
$  t \rightarrow - \infty $)  
 +
and move away from it as $  t $
 +
goes to infinity in the opposite direction. Furthermore, $  M _ {+} $(
 +
$  M _ {-} $)  
 +
is homeomorphic to the neighbourhood of the space $  E _ {+} ( 0) $(
 +
$  E _ {-} ( 0) $)
 +
involved in the definition of exponential dichotomy. If under the above conditions $  A ( t) \equiv A $
 +
and $  g ( t , u ) $
 +
is almost-periodic in $  t $
 +
for each $  u $
 +
with $  \| u \| \leq  \rho $,  
 +
then the solution $  u _ {0} ( t) $
 +
is almost-periodic.
  
Suppose that the autonomous equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250303.png" /> has an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250304.png" />-periodic solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250305.png" />; then the linearized equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250306.png" /> has a single periodic solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250307.png" /> and, consequently, its monodromy operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250308.png" /> has 1 as eigen value. If this eigen value is simple and the remaining spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250309.png" /> lies in the interior of the unit disc and does not surround the origin, then there exist numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250310.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250311.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250312.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250313.png" /> for all other solutions of the original equation. This property is called asymptotic orbital stability of the periodic solution. Studies have also been made of other stable invariant manifolds for non-linear equations.
+
Suppose that the autonomous equation $  \dot{z} = F ( z) $
 +
has an $  \omega $-
 +
periodic solution $  z _ {0} ( t) $;  
 +
then the linearized equation $  {\widetilde{u}  } dot = F _ {z} ^ { \prime } ( z _ {0} ( t) ) \widetilde{u}  $
 +
has a single periodic solution $  \dot{z} _ {0} ( t) $
 +
and, consequently, its monodromy operator $  U ( \omega ) $
 +
has 1 as eigen value. If this eigen value is simple and the remaining spectrum of $  U ( \omega ) $
 +
lies in the interior of the unit disc and does not surround the origin, then there exist numbers $  \mu $,  
 +
$  \tau _ {0} $
 +
and $  N $
 +
such that $  \| z ( t - z _ {0} ) - z ( t) \| \leq  N  \mathop{\rm exp} ( - \mu t ) $
 +
for all other solutions of the original equation. This property is called asymptotic orbital stability of the periodic solution. Studies have also been made of other stable invariant manifolds for non-linear equations.
  
Equations of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250314.png" /> with an unbounded operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250315.png" /> correspond in applications to quasi-linear equations of parabolic or hyperbolic type. A theory of "properly" non-linear equations of a specific type has been developed. Thus, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250316.png" /> is a continuous everywhere-defined [[Dissipative operator|dissipative operator]], then the Cauchy problem <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250317.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250318.png" />, is uniquely solvable on the semi-axis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250319.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250320.png" />. The definition of a dissipative operator carries over in a natural fashion to the case of a many-valued operator; for such operators one considers a differential inclusion <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250321.png" /> rather than a differential equation. If on a reflexive space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250322.png" />, the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250323.png" /> is closed and dissipative and if the values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250324.png" /> cover the entire space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250325.png" />, then the Cauchy problem is uniquely solvable on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250326.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250327.png" /> in the domain of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250328.png" />. There are many variants of the latter statement. The solution is given by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250329.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250330.png" /> is a semi-group of non-linear operators, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250331.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076250/q076250332.png" />. For equations with dissipative operators there are also existence theorems for periodic and almost-periodic solutions.
+
Equations of type $  III $
 +
with an unbounded operator $  A ( t) $
 +
correspond in applications to quasi-linear equations of parabolic or hyperbolic type. A theory of "properly" non-linear equations of a specific type has been developed. Thus, if $  B $
 +
is a continuous everywhere-defined [[Dissipative operator|dissipative operator]], then the Cauchy problem $  \dot{u} = B u $,
 +
$  u ( 0) = u _ {0} $,  
 +
is uniquely solvable on the semi-axis $  J  ^ {+} $
 +
for any $  u _ {0} \in E $.  
 +
The definition of a dissipative operator carries over in a natural fashion to the case of a many-valued operator; for such operators one considers a differential inclusion $  \dot{u} \in B u $
 +
rather than a differential equation. If on a reflexive space $  E $,  
 +
the operator $  B $
 +
is closed and dissipative and if the values of $  I - B $
 +
cover the entire space $  E $,  
 +
then the Cauchy problem is uniquely solvable on $  J  ^ {+} $
 +
for each $  u _ {0} $
 +
in the domain of $  B $.  
 +
There are many variants of the latter statement. The solution is given by the formula $  u ( t) = S ( t) u _ {0} $,  
 +
where $  S ( t) $
 +
is a semi-group of non-linear operators, $  S ( t + \tau ) x = S ( t) ( S ( \tau ) x ) $,
 +
$  t , \tau \geq  0 $.  
 +
For equations with dissipative operators there are also existence theorems for periodic and almost-periodic solutions.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> Yu.L. Daletskii, M.G. Krein, "Stability of solutions of differential equations in Banach space" , Amer. Math. Soc. (1974) (Translated from Russian) {{MR|0352638}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> H.H. Schaefer, "Linear differential equations and function spaces" , Acad. Press (1966)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> K. Yosida, "Functional analysis" , Springer (1968) {{MR|0239384}} {{ZBL|0830.46001}} {{ZBL|0435.46002}} {{ZBL|0365.46001}} {{ZBL|0286.46002}} {{ZBL|0217.16001}} {{ZBL|0152.32102}} {{ZBL|0126.11504}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> S.G. Krein, "Linear differential equations in Banach space" , ''Transl. Math. Monogr.'' , '''29''' , Amer. Math. Soc. (1971) (Translated from Russian) {{MR|0342804}} {{ZBL|0179.20701}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> V. Barbu, "Nonlinear semigroups and differential equations in Banach spaces" , Ed. Academici (1976) (Translated from Rumanian) {{MR|0390843}} {{ZBL|0328.47035}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> A.G. Baskakov, "On the spectral analysis of isometric representations of locally compact Abelian groups" ''Trudy Mat. Fak. Vorozhen. Inst.'' , '''10''' (1973) pp. 96–101 (In Russian) {{MR|0466403}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> V.V. Zhikov, "Some admissibility and dichotomy questions. The averaging principle" ''Math. USSR Izv.'' , '''10''' (1976) pp. 1307–1332 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''40''' : 6 (1976) pp. 1380–1408</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> V.V. Zhikov, B.M. Levitan, "Favard theory" ''Russian Math. Surveys'' , '''32''' : 2 (1977) pp. 129–180 ''Uspekhi Mat. Nauk'' , '''32''' : 2 (1977) pp. 123–171 {{MR|470405}} {{ZBL|0235.34095}} {{ZBL|0224.34036}} {{ZBL|0198.48103}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> A.I. Miloslavskii, "Floquet theory for parabolic equations" ''Funct. Anal. Appl.'' , '''10''' : 2 (1976) pp. 151–153 ''Funktsional. Anal. i Prilozhen.'' , '''10''' : 2 (1976) pp. 80–81 {{MR|0473390}} {{ZBL|}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> V.M. Tyurin, "Functional analysis" , '''1''' , Ul'yanovsk (1973) (In Russian)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> B.M. Levitan, V.V. Zhikov, "Almost-periodic functions and differential equations" , Cambridge Univ. Press (1982) (Translated from Russian) {{MR|0690064}} {{ZBL|0499.43005}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> Yu.L. Daletskii, M.G. Krein, "Stability of solutions of differential equations in Banach space" , Amer. Math. Soc. (1974) (Translated from Russian) {{MR|0352638}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> H.H. Schaefer, "Linear differential equations and function spaces" , Acad. Press (1966)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> K. Yosida, "Functional analysis" , Springer (1968) {{MR|0239384}} {{ZBL|0830.46001}} {{ZBL|0435.46002}} {{ZBL|0365.46001}} {{ZBL|0286.46002}} {{ZBL|0217.16001}} {{ZBL|0152.32102}} {{ZBL|0126.11504}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> S.G. Krein, "Linear differential equations in Banach space" , ''Transl. Math. Monogr.'' , '''29''' , Amer. Math. Soc. (1971) (Translated from Russian) {{MR|0342804}} {{ZBL|0179.20701}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> V. Barbu, "Nonlinear semigroups and differential equations in Banach spaces" , Ed. Academici (1976) (Translated from Rumanian) {{MR|0390843}} {{ZBL|0328.47035}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> A.G. Baskakov, "On the spectral analysis of isometric representations of locally compact Abelian groups" ''Trudy Mat. Fak. Vorozhen. Inst.'' , '''10''' (1973) pp. 96–101 (In Russian) {{MR|0466403}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> V.V. Zhikov, "Some admissibility and dichotomy questions. The averaging principle" ''Math. USSR Izv.'' , '''10''' (1976) pp. 1307–1332 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''40''' : 6 (1976) pp. 1380–1408</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> V.V. Zhikov, B.M. Levitan, "Favard theory" ''Russian Math. Surveys'' , '''32''' : 2 (1977) pp. 129–180 ''Uspekhi Mat. Nauk'' , '''32''' : 2 (1977) pp. 123–171 {{MR|470405}} {{ZBL|0235.34095}} {{ZBL|0224.34036}} {{ZBL|0198.48103}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> A.I. Miloslavskii, "Floquet theory for parabolic equations" ''Funct. Anal. Appl.'' , '''10''' : 2 (1976) pp. 151–153 ''Funktsional. Anal. i Prilozhen.'' , '''10''' : 2 (1976) pp. 80–81 {{MR|0473390}} {{ZBL|}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> V.M. Tyurin, "Functional analysis" , '''1''' , Ul'yanovsk (1973) (In Russian)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> B.M. Levitan, V.V. Zhikov, "Almost-periodic functions and differential equations" , Cambridge Univ. Press (1982) (Translated from Russian) {{MR|0690064}} {{ZBL|0499.43005}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 20:22, 16 January 2024


A branch of functional analysis in which one studies the behaviour on the real axis $ J $ or on the positive (or negative) semi-axis $ J ^ {+} $( or $ J ^ {-} $) of the solution of the evolution equation in a Banach space. Consider the equations

$ I $. $ \dot{u} = A ( t) u $;

$ II $. $ \dot{u} = A ( t) u + f ( t) $;

$ III $. $ \dot{u} = A ( t) u + f ( t , u ) $, where $ u ( t) $ is the required function and $ f ( t) $ the given function with values in a complex Banach space $ E $; $ A ( t) $ is a linear operator and $ f ( t , u ) $ is a non-linear operator on $ E $. By the derivative $ \dot{u} $ one means the limit in the norm of $ E $ of $ \Delta u / \Delta t $ as $ \Delta t \rightarrow 0 $.

Uniform stability holds for the equation $ I $ if there exists a constant $ M $ such that for any solution $ \| u ( t) \| \leq M \| u ( s) \| $, $ t \geq s $, and exponential stability if for any solution $ \| u ( t) \| \leq M \mathop{\rm exp} ( - \alpha ( t - s ) ) \| u ( s) \| $ for some $ M $ and $ \alpha > 0 $.

For equation $ I $ with a constant bounded operator $ A ( t) \equiv A $, the solution of the Cauchy problem ( $ u ( s) $ given) has the form $ u ( t) = \mathop{\rm exp} ( ( t - s ) A ) u ( s) $. The estimate $ \| \mathop{\rm exp} ( A t ) \| \leq M \mathop{\rm exp} ( \sigma t ) $ holds, where $ \sigma $ is a number greater than the real parts of all points of the spectrum of $ A $. Thus, for exponential stability it is necessary and sufficient that the spectrum of $ A $ lies in the interior of the left half-plane. In a Hilbert space this holds if and only if there exists a positive-definite form $ ( W x , y ) $ for which $ ( d / d t) ( W u , u ) / 2 = \mathop{\rm Re} ( W u , A u ) \leq - \alpha ( u , u ) $ for every solution of the equation (Lyapunov's theorem). If the spectrum of $ A $ is distributed on both sides of the imaginary axis and does not intersect it, then $ E $ can be decomposed into a direct sum of subspaces $ E _ {+} $ and $ E _ {-} $ which are invariant with respect to $ A $, and all the solutions are exponentially increasing (decreasing) in $ E _ {+} $( $ E _ {-} $) as $ t \rightarrow \infty $. In this case, exponential dichotomy holds for the equation.

If $ A $ is closed, unbounded and has a dense domain in $ E $, then the Cauchy problem with $ u ( 0) = u _ {0} $ is not, in general, well-posed. The existence and properties of the solutions are not determined merely by the distribution of the spectrum of $ A $; the behaviour of its resolvent $ ( A - \lambda I ) ^ {-1} $ must also be specified. Commonly used conditions ensuring the uniform well-posedness of the Cauchy problem on $ J ^ {+} $ are provided by the inequalities

$$ \| ( A - \lambda I )^{-m} \| \leq \ \frac{M}{( \lambda - \sigma ) ^ {m} } ,\ \ \lambda > \sigma ,\ \ m = 1 , 2 \dots $$

a sufficient condition for their fulfillment being the Hille–Yosida condition

$$ \| ( A - \lambda I ) ^ {-1} \| \ \leq \frac{1}{\lambda - \sigma } ,\ \ \lambda > \sigma , $$

or the inequality

$$ \| ( A - \lambda I ) ^ {-1} \| \ \leq \frac{M}{| \lambda - \sigma | } ,\ \ \mathop{\rm Re} \lambda > \sigma . $$

When these conditions hold, the solution of the Cauchy problem has the form $ u ( t) = T ( t - s ) u ( s) $, where $ T ( t) $ is a strongly-continuous semi-group of operators for $ t \geq 0 $ and $ \| T ( t) \| \leq M \mathop{\rm exp} ( \sigma t ) $. For uniform (or exponential) stability it suffices that $ \sigma = 0 $( respectively, $ \sigma < 0 $). If $ A $ generates a strongly-continuous semi-group on a Hilbert space, then the sufficiency part of Lyapunov's theorem holds for it, while if it generates a group, then the necessity part holds as well. In a Hilbert space exponential stability is equivalent to $ L _ {2} $- stability, the property that for all solutions $ \| T ( t) u _ {0} \| \in L _ {2} ( 0 , \infty ) $.

Important for applications is the property of almost-periodicity of the solution $ u ( t) $ or weak almost-periodicity (that is, almost periodicity of the scalar functions $ \langle u ( t) , \phi \rangle $ for all $ \phi \in E ^ {*} $). If all values of an almost-periodic solution lie in a compact set, then the solution is compact. Compactness and weak almost-periodicity imply almost-periodicity. For the equation $ \dot{u} = Au $, the question of almost-periodicity of the solution is related to the structure of the intersection of the spectrum of $ A $ with the imaginary axis. If $ A $ is the generating operator of a bounded strongly-continuous semi-group and the above intersection is countable, then for the almost-periodicity of a bounded solution defined on the whole axis it is necessary and sufficient that the limit $ \lim\limits _ {\epsilon \rightarrow 0 } \epsilon ( A - \lambda + \epsilon ) ^ {-1} u ( 0) $ exists at each limit point $ \lambda $ of the spectrum on the imaginary axis. Furthermore, each uniformly-continuous solution is weakly almost-periodic; it is almost-periodic if it is weakly compact, or if $ E $ contains no subspaces isomorphic to the space $ c _ {0} $ of sequences converging to zero, endowed with the max norm. If $ A $ is the generating operator of a strongly-continuous semi-group $ T ( t) $ with the property that the functions $ \| T ^ {*} ( t) \phi \| $ are bounded on $ J ^ {+} $ for a set of functionals $ \phi $ which are dense in $ E ^ {*} $, then compactness of a solution implies almost-periodicity.

For equation $ I $ with a bounded operator $ A ( t) $ that is continuous in $ t $, the solutions of the Cauchy problem are defined on the whole axis and, by means of the evolution operator $ U ( t , s ) $, can be written in the form $ u( t) = U ( t , s ) u ( s) $. The property of uniform stability is equivalent to the requirement that $ \| U ( t , s ) \| \leq M $; the property of exponential stability is equivalent to $ \| U ( t , s ) \| \leq M \mathop{\rm exp} ( - \alpha ( t - s ) ) $. If $ A ( t) $ is bounded in integral norm, that is, $ \sup _ {t} \int _ {t} ^ {t+1} \| A ( \tau ) \| d \tau < \infty $, then the general index

$$ \kappa = \lim\limits _ {t , s \rightarrow \infty } \ \frac{ \mathop{\rm ln} \| U ( t + s , s ) \| }{t} $$

is finite. If $ \kappa < 0 $, one has exponential stability. For equations with a constant or periodic operator, the formula $ \kappa = \overline{\lim\limits}\; _ {t \rightarrow \infty } ( \mathop{\rm ln} \| u ( t , 0 ) \| ) / t $ holds. It does not hold in the general case. The general index is not altered if $ A ( t) $ is perturbed by adding a term $ B ( t) $ for which $ B ( t) \rightarrow 0 $ as $ t \rightarrow \infty $, or for which the integral $ \int \| B ( t) \| d t $ converges at infinity. The size of the general index depends on the behaviour of $ A ( t) $ at infinity. If the limit $ A _ \infty = \lim\limits _ {t \rightarrow \infty } A ( t) $ exists and the spectrum of $ A _ \infty $ lies in the interior of the left half-plane, then $ \kappa < 0 $. If the operators $ A ( t) $, $ \alpha \leq t < \infty $, form a compact set in the space of bounded operators, if the spectra of all limit operators belong to a half-plane $ \mathop{\rm Re} \lambda \leq - \nu < 0 $ and if the operator function $ A ( t) $ has small oscillation, for example, it has the form $ B ( \epsilon t ) $ for sufficiently small $ \epsilon $, or if, for sufficiently large $ t $, it satisfies the Lipschitz condition $ \| A ( t) - A ( \tau ) \| \leq \epsilon | t - \tau | $ with $ \epsilon $ sufficiently small, then $ \kappa < 0 $. In a Hilbert space the condition $ \kappa < 0 $ is equivalent to the existence of a Hermitian form $ ( W ( t) x , y ) $ such that $ 0 < \alpha _ {1} ( x , x ) \leq ( W ( t ) x , x ) \leq \alpha _ {2} ( x , x ) $ and $ ( d / d t ) ( W ( t ) u , u ) \leq - \alpha ( u , u ) $ for every solution $ u ( t) $.

If $ A ( t) $ is periodic with period $ \omega $, i.e. if $ A ( t + \omega ) = A ( t) $, then $ U ( t + \omega , 0 ) = U ( t , 0 ) U ( \omega , 0 ) $. The operator $ U ( \omega ) = U ( \omega , 0 ) $ is called the monodromy operator of equation $ I $. Its spectral radius $ r _ {U ( \omega ) } $ is related to the general index by the formula $ \kappa = ( 1 / \omega ) \mathop{\rm ln} r _ {U ( \omega ) } $. The equation has a periodic solution if and only if 1 is an eigen value of $ U ( \omega ) $. If the operator $ U ( \omega ) $ has a logarithm, then the Floquet representation $ U ( t , 0 ) = \Omega ( t) \mathop{\rm exp} ( t \Gamma ) $ holds, where $ \Omega ( t) $ is periodic with period $ \omega $ and $ \Gamma = ( 1 / \omega ) \mathop{\rm ln} U ( \omega ) $. In particular, the Floquet representation holds if the spectrum of $ U ( \omega ) $ does not surround the origin; and for this it suffices that $ ( 1 / \omega ) \int _ {0} ^ \omega \| A ( t) \| d t $ be less than a certain constant, which depends on the geometry of the sphere in $ E $ and which is not less than $ \mathop{\rm ln} 4 $. For Hilbert space this constant is $ \pi $. The Floquet representation reduces the question of the behaviour of the solution of the equation to the same question for the equation $ \dot{v} = \Gamma v $ with a constant operator $ \Gamma $.

Exponential dichotomy holds for equation $ I $ if for some $ s $ the space decomposes into a direct sum of subspaces $ E _ {+} ( s) $ and $ E _ {-} ( s) $ such that

$$ \| U ( t , s ) x \| \leq N _ {1} e ^ {- \nu _ {1} ( t - s ) } \| x \| ,\ \nu _ {1} > 0 , $$

when $ x \in E _ {-} ( s) $, $ t \geq s $, and

$$ \| U ( t , s ) x \| \leq N _ {2} e ^ {- \nu _ {2} ( t - s ) } \| x \| ,\ \nu _ {2} > 0 , $$

when $ x \in E _ {+} ( s) $, $ t \leq s $. It is supposed here that the subsequences $ U ( t , s ) E _ {+} ( s) $ and $ U ( t , s ) E _ {-} ( s) $ are, in a certain sense, not close to each other. If the general index is finite, this latter requirement holds automatically. For an equation with a periodic $ A ( t) $, a necessary and sufficient condition for exponential dichotomy to hold is that the spectrum of the monodromy operator be distributed outside and inside the unit disc without intersecting the unit circle.

For equation $ I $ with an unbounded operator $ A ( t) $ whose domain does not depend on $ t $ and which satisfies the well-posedness conditions for the Cauchy problem (see above) for every $ t $, the existence of an evolution operator $ U ( t , s ) $, defined and strongly continuous in $ t $ and $ s $ for $ t \geq s $, has been proved, under supplementary smoothness conditions. This enables one to carry over to this case a number of the ideas and results described above. However, some difficulties are encountered. E.g., the Floquet representation can be obtained only in a Hilbert space when $ A ( t) = A + B ( t) $, where $ A $ is a negative-definite self-adjoint operator and $ B ( t) $ is a bounded periodic operator satisfying certain extra conditions.

Suppose that $ A ( t) $ is periodic and that the Cauchy problem for equation $ I $ is uniformly well-posed. If the intersection of the spectrum of the monodromy operator $ U ( \omega ) $ with the unit circle is countable, then each bounded uniformly-continuous solution on $ J $ is weakly almost-periodic. It is almost-periodic in the case of weak compactness or if $ E $ does not contain $ c _ {0} $. A reflexive space $ E $ admits a direct sum decomposition $ E _ {1} + E _ {2} $ such that $ E _ {1} $ and $ E _ {2} $ are invariant with respect to $ U ( \omega ) $ and all the solutions starting in $ E _ {1} $ are almost-periodic, while those starting in $ E _ {2} $ are in a certain sense decreasing: For $ u _ {2} ( 0) \in E _ {2} $, $ \phi \in E ^ {*} $,

$$ \lim\limits _ {n \rightarrow \infty } \ \frac{1}{n} \sum _ { k= } 0 ^ { n } | \langle u _ {2} ( k \omega ) , \phi \rangle | ^ {2} = 0 . $$

For the solution of the non-homogeneous equation $ II $, the following formula holds:

$$ u ( t) = U ( t , s ) u ( s) + \int\limits _ { s } ^ { t } U ( t , \tau ) f ( \tau ) d \tau . $$

For an equation with a bounded operator, this equation is equivalent to the differential equation. In the case of an unbounded operator, this is generally not so, but then this equation is taken as the definition of the (generalized) solution. The fundamental problem for equation $ II $ is to investigate the properties of the solutions under prescribed properties of the right-hand side. These properties are usually described in terms of the function $ f $ belonging to some Banach space of functions on $ J $ or $ J ^ {+} $ with values in $ E $. If corresponding to each bounded continuous function $ f \in C ( E) $ there is at least one bounded solution, then the operator $ L = d / d t - A ( t) $ is called weakly regular. If corresponding to each $ f \in C ( E) $ there is a unique solution $ u \in C ( E) $, then $ L $ is called regular. For bounded constant $ A $, weak regularity implies regularity. This assertion is no longer true for unbounded $ A $ or for bounded periodic $ A ( t) $, even in a Hilbert space. If the general index of the equation $ \dot{u} = A ( t) u $ is finite, then exponential dichotomy for this equation is equivalent to regularity of $ L $ on $ J $. For exponential dichotomy to hold on $ J ^ {+} $ it is necessary and sufficient that $ L $ be weakly regular on $ J ^ {+} $ and that the set of those initial values $ u ( 0) $ to which the bounded solutions of equation $ I $ correspond be a complemented subspace of $ E $. If for all solutions of $ II $ the inequality

$$ \| u ( t) \| \leq k \sup _ { t } \ \left \{ \int\limits _ { 0 } ^ { 1 } \| f ( t + s ) \| ^ {2} d s \right \} ^ {1/2} $$

holds, and if for the solution of the formal adjoint equation $ - d v / d t = A ^ {*} ( t) v + g ( t) $ the inequality $ \| v ( t) \| \leq k \sup \| g ( t) \| $ holds, then the operators $ L $ and $ L ^ {*} = - d / d t - A ^ {*} ( t) $ are regular. It is not known (1990) whether regularity is preserved on replacing the right-hand side of the first inequality by $ k \sup _ {t} \| f ( t) \| $. For the regularity of $ L $ and $ L ^ {*} $ both, a priori estimates are necessary.

If $ A ( t) $ is periodic, then a necessary and sufficient condition for the existence of periodic solutions for each periodic $ f $ is that the mapping $ I - U ( \omega ) $ be surjective, while for such a solution to be unique, it is necessary and sufficient that the operator $ I - U ( \omega ) $ be invertible.

The verification of regularity under known conditions can be reduced to the verification of the regularity of operators with constant coefficients. In the case when $ A ( t) $ is strongly oscillating (for example $ A ( t) = B ( \omega t) $ with $ \omega $ large), under the assumption that the mean

$$ \overline{A}\; = \ \lim\limits _ {T \rightarrow \infty } \ \frac{1}{2T} \int\limits _ {- T + \alpha } ^ { {T } + \alpha } A ( t) d t $$

exists uniformly with respect to $ \alpha \in J $, the operator $ A ( t) $ is regular if and only if the operator $ d / d t - \overline{A}\; $ is regular.

For almost-periodic solutions the specifics of an infinite-dimensional space are already encountered in a generalization of the well-known Bohl–Bohr theorem on the almost-periodicity of a bounded integral of an almost-periodic function, that is, on the almost-periodicity of a solution of the simplest differential equation $ \dot{u} = f ( t) $. If the indefinite integral of an almost-periodic function with values in $ E $ is bounded in $ E $ and $ E $ does not contain $ c _ {0} $, then the function is almost-periodic. The Bohl–Bohr theorem fails in $ c _ {0} $. If $ A ( t) $ is periodic, $ f ( t) $ is almost-periodic and the intersection of the spectrum of the monodromy operator $ U ( \omega ) $ with the unit circle is countable, then the same conclusions on the almost-periodicity of solutions stated earlier for the homogeneous equation hold for this case. If $ A ( t) $ is almost-periodic (as a function with values in the space of bounded operators on $ E $), then in order that for each almost-periodic function $ f $ there exists a unique almost-periodic solution, it is necessary and sufficient that $ L $ be regular. If equation $ II $ has a (weakly) compact solution for $ t > 0 $, and the non-trivial (weakly) compact solutions of the homogeneous equation $ \dot{u} = A ( t) u $ have the property that $ \lim\limits _ {t \rightarrow \infty } \| u ( t) \| > 0 $, then equation $ II $ has a (weakly) almost-periodic solution.

In the qualitative study of a non-linear equation $ \dot{z} = F ( t , z ) $, it is usually supposed in advance that conditions hold which ensure that solutions exist on $ J $ or on $ J ^ {+} $; this imposes an essential constraint on the form of non-linearity of $ F ( t , z ) $. A solution $ z _ {0} ( t) $ on $ J ^ {+} $ is said to be uniformly stable if there exists for each $ \epsilon > 0 $ a $ \delta $ such that for every other solution $ z ( t) $ the inequality $ \| z ( s) - z _ {0} ( s) \| \leq \delta $, $ s \geq 0 $, implies that $ z ( t) $ is defined for $ t \geq s $ and that $ \| z ( t) - z _ {0} ( t) \| \leq \epsilon $. A solution is called asymptotically stable if it is uniformly stable and if for some $ \delta $ the inequality $ \| z ( s) - z _ {0} ( s) \| \leq \delta $ implies that $ \lim\limits _ {t \rightarrow \infty } \| z ( t) - z _ {0} ( t) \| = 0 $. If one makes the substitution $ u = z - z _ {0} $ in the equation, then after linearization (if this is possible) it takes the form $ III $, where $ A ( t) = F _ {z} ^ { \prime } ( t , z _ {0} ( t) ) $, and the non-linearity has the property that $ f ( t , 0 ) \equiv 0 $. Thus the problem of uniform (asymptotic) stability of the solution $ z _ {0} ( t) $ reduces to that of the uniform (or asymptotic) stability of the zero solution of $ III $. In this connection, the equation $ \widetilde{u} dot = A ( t) \widetilde{u} $ is called the linearization equation (or variational equation) of the original equation with respect to the solution $ z _ {0} ( t) $.

If the non-linear part $ f ( t , u ) $ is sufficiently small, then the properties of the solutions are determined by those of the linearized equation. If the general index of the linearized equation is negative and the inequality $ \| f ( t , u ) \| \leq q \| u \| $, $ t \geq 0 $, $ \| u \| \leq \rho $, holds, then for sufficiently small $ q $ the zero solution of $ III $ is asymptotically stable. If $ A ( t) \equiv A $ and the spectrum of $ A $ does not intersect the imaginary axis and has a point in the right half-plane, then for sufficiently small $ q $ the zero solution is unstable. If the inequality

$$ \| f ( t , u ) \| \leq c \| u \| ^ {1+} p ,\ \ p > 0 ,\ t \geq 0 ,\ \ \| u \| \leq \rho , $$

holds, then the requirement that there be no points of the spectrum on the imaginary axis can be deleted.

If exponential dichotomy holds on $ J $ for the linearized equation, then for every $ \rho > 0 $ there exist $ M $ and $ c $ depending on $ A ( t) $ and $ \rho $ such that the inequalities

$$ \| f ( t , u ) \| \leq M $$

and

$$ \| f ( t , u ) - f ( t , v ) \| \leq c \| u - v \| ,\ \ t \in J ,\ \| u \| , \| v \| \leq \rho , $$

imply the existence, in some neighbourhood of the origin, of two manifolds $ M _ {+} $ and $ M _ {-} $, intersecting at the single point $ u _ {0} $, such that the solution $ u _ {0} ( t) $ starting at $ u _ {0} $ is bounded on the entire axis and $ \| u _ {0} ( t) \| \leq \rho $; solutions starting on $ M _ {-} $( $ M _ {+} $) approach $ u _ {0} ( t) $ exponentially as $ t \rightarrow \infty $( $ t \rightarrow - \infty $) and move away from it as $ t $ goes to infinity in the opposite direction. Furthermore, $ M _ {+} $( $ M _ {-} $) is homeomorphic to the neighbourhood of the space $ E _ {+} ( 0) $( $ E _ {-} ( 0) $) involved in the definition of exponential dichotomy. If under the above conditions $ A ( t) \equiv A $ and $ g ( t , u ) $ is almost-periodic in $ t $ for each $ u $ with $ \| u \| \leq \rho $, then the solution $ u _ {0} ( t) $ is almost-periodic.

Suppose that the autonomous equation $ \dot{z} = F ( z) $ has an $ \omega $- periodic solution $ z _ {0} ( t) $; then the linearized equation $ {\widetilde{u} } dot = F _ {z} ^ { \prime } ( z _ {0} ( t) ) \widetilde{u} $ has a single periodic solution $ \dot{z} _ {0} ( t) $ and, consequently, its monodromy operator $ U ( \omega ) $ has 1 as eigen value. If this eigen value is simple and the remaining spectrum of $ U ( \omega ) $ lies in the interior of the unit disc and does not surround the origin, then there exist numbers $ \mu $, $ \tau _ {0} $ and $ N $ such that $ \| z ( t - z _ {0} ) - z ( t) \| \leq N \mathop{\rm exp} ( - \mu t ) $ for all other solutions of the original equation. This property is called asymptotic orbital stability of the periodic solution. Studies have also been made of other stable invariant manifolds for non-linear equations.

Equations of type $ III $ with an unbounded operator $ A ( t) $ correspond in applications to quasi-linear equations of parabolic or hyperbolic type. A theory of "properly" non-linear equations of a specific type has been developed. Thus, if $ B $ is a continuous everywhere-defined dissipative operator, then the Cauchy problem $ \dot{u} = B u $, $ u ( 0) = u _ {0} $, is uniquely solvable on the semi-axis $ J ^ {+} $ for any $ u _ {0} \in E $. The definition of a dissipative operator carries over in a natural fashion to the case of a many-valued operator; for such operators one considers a differential inclusion $ \dot{u} \in B u $ rather than a differential equation. If on a reflexive space $ E $, the operator $ B $ is closed and dissipative and if the values of $ I - B $ cover the entire space $ E $, then the Cauchy problem is uniquely solvable on $ J ^ {+} $ for each $ u _ {0} $ in the domain of $ B $. There are many variants of the latter statement. The solution is given by the formula $ u ( t) = S ( t) u _ {0} $, where $ S ( t) $ is a semi-group of non-linear operators, $ S ( t + \tau ) x = S ( t) ( S ( \tau ) x ) $, $ t , \tau \geq 0 $. For equations with dissipative operators there are also existence theorems for periodic and almost-periodic solutions.

References

[1] Yu.L. Daletskii, M.G. Krein, "Stability of solutions of differential equations in Banach space" , Amer. Math. Soc. (1974) (Translated from Russian) MR0352638
[2] H.H. Schaefer, "Linear differential equations and function spaces" , Acad. Press (1966)
[3] K. Yosida, "Functional analysis" , Springer (1968) MR0239384 Zbl 0830.46001 Zbl 0435.46002 Zbl 0365.46001 Zbl 0286.46002 Zbl 0217.16001 Zbl 0152.32102 Zbl 0126.11504
[4] S.G. Krein, "Linear differential equations in Banach space" , Transl. Math. Monogr. , 29 , Amer. Math. Soc. (1971) (Translated from Russian) MR0342804 Zbl 0179.20701
[5] V. Barbu, "Nonlinear semigroups and differential equations in Banach spaces" , Ed. Academici (1976) (Translated from Rumanian) MR0390843 Zbl 0328.47035
[6] A.G. Baskakov, "On the spectral analysis of isometric representations of locally compact Abelian groups" Trudy Mat. Fak. Vorozhen. Inst. , 10 (1973) pp. 96–101 (In Russian) MR0466403
[7] V.V. Zhikov, "Some admissibility and dichotomy questions. The averaging principle" Math. USSR Izv. , 10 (1976) pp. 1307–1332 Izv. Akad. Nauk SSSR Ser. Mat. , 40 : 6 (1976) pp. 1380–1408
[8] V.V. Zhikov, B.M. Levitan, "Favard theory" Russian Math. Surveys , 32 : 2 (1977) pp. 129–180 Uspekhi Mat. Nauk , 32 : 2 (1977) pp. 123–171 MR470405 Zbl 0235.34095 Zbl 0224.34036 Zbl 0198.48103
[9] A.I. Miloslavskii, "Floquet theory for parabolic equations" Funct. Anal. Appl. , 10 : 2 (1976) pp. 151–153 Funktsional. Anal. i Prilozhen. , 10 : 2 (1976) pp. 80–81 MR0473390
[10] V.M. Tyurin, "Functional analysis" , 1 , Ul'yanovsk (1973) (In Russian)
[11] B.M. Levitan, V.V. Zhikov, "Almost-periodic functions and differential equations" , Cambridge Univ. Press (1982) (Translated from Russian) MR0690064 Zbl 0499.43005

Comments

For a somewhat different approach to the qualitative theory of abstract differential equations see [a1], [a2].

References

[a1] J.K. Hale, "Asymptotic behavior of dissipative systems" , Amer. Math. Soc. (1988) MR0941371 Zbl 0642.58013
[a2] J.K. Hale, L.T. Magalhes, W.M. Oliva, "An introduction to infinite dimensional dynamical systems" , Springer (1984) MR0725501 Zbl 0533.58001
How to Cite This Entry:
Qualitative theory of differential equations in Banach spaces. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Qualitative_theory_of_differential_equations_in_Banach_spaces&oldid=24544
This article was adapted from an original article by S.G. Krein (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article