Abstract
This paper is an extension and generalization of some previous works, such as the study of M. Benalili and A. Lansari. Indeed, these authors, in their work about the finite co-dimension ideals of Lie algebras of vector fields, restricted their study to fields \(X_0\) of the form \(X_0=\sum _{i=1}^{n}( \alpha _i \cdot x_i+\beta _i\cdot x_i^{1+m_i}) \frac{\partial }{\partial x_i}\), where \(\alpha _i, \beta _i \) are positive and \(m_i\) are even natural integers. We will first study the sub-algebra U of the Lie-Fréchet space E, containing vector fields of the form \(Y_0 = X_0^+ + X_0^- + Z_0\), such as \( X_0\left( x,y\right) =A\left( x,y\right) =\left( A^{-}\left( x \right) ,A^{+}\left( y\right) \right) \), with \(A^-\) (respectively, \( A^+ \)) a symmetric matrix having eigenvalues \( \lambda < 0\) (respectively, \(\lambda >0 \)) and \(Z_0\) are germs infinitely flat at the origin. This sub-algebra admits a hyperbolic structure for the diffeomorphism \(\psi _{t*}=(exp\cdot tY_0)_*\). In a second step, we will show that the infinitesimal generator \(ad_{-X}\) is an epimorphism of this admissible Lie sub-algebra U. We then deduce, by our fundamental lemma, that \(U=E\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The ideals of finite codimension in Lie algebras of vector fields have recently received a lot of attention. Some authors such as Pursel and Shanks [9], by studying the invertibility of the Lie bracket \([X,Y]=ad_X(Y) \) which is an infinitesimal generator of an one-parameter group t, \(\gamma _t=(\exp tX)^*\), in Lie algebras containing a germ of vector fields X do not vanish at the origin O, have treated the finite-codimensional ideals of these algebras. This result has been prolonged in the Banach-Lie algebras of vector fields infinitely flat at 0 containing germs which vanish at the origin of the form \(X_0=\sum _{i=1}^{n}( \alpha _i \cdot x_i+Z_0(x))\), where \(\alpha _i \) are of constant signs [2, 3, 8]. Among the motivations and possible applications of these results:
-
The properties of the injectivity of the exponential function of a vector field have given rise to the existence of the Fourier series [11].
-
The properties of the surjectivity of the directional derivative of the exponential function have given rise to the existence of the inversibility of the exponential function through the Nash–Moser theorem where positive results were obtained first in a Fréchet space and then in a hyperbolic type Fréchet space by integrating the diffeomorphisms in the smooth flows [12].
-
Boris Kolev in [7] studied the particular case of a Lie–Poisson canonical structure.
-
M. BENALILI in [1] has studied suitable spectral properties of the adjoint operators induced by appropriate perturbations of some hyperbolic linear vector fields of the form \(Y_0 = X_0^+ + X_0^- + Z_0\), where \(Z_0\) is k-flat in the unit ball.
This paper is an extension on the basis of these works where we will first study the sub-algebra U of the Lie–Fréchet space E, containing vector fields of the form \(Y_0 = X_0^+ + X_0^- + Z_0\), such as \( X_0\left( x,y\right) =A\left( x,y\right) =\left( A^{-}\left( x \right) , A^{+}\left( y\right) \right) \), with \(A^-\) (respectively, \( A^+ \)) a symmetric matrix having eigenvalues \( \lambda < 0\) (respectively, \(\lambda >0 \)) and \(Z_0\) are germs infinitely flat at the origin. This sub-algebra admits a hyperbolic structure for the diffeomorphism \(\psi _{t*}=(exp \cdot tY_0)_*\). In a second step, we will show that the infinitesimal generator \(ad_{-X}\) is an epimorphism of this admissible Lie sub-algebra U. We then deduce, by our fundamental lemma, that \(U=E\).
Part I: Admissible hyperbolic-type algebra
2 Definitions
2.1 Fréchet space
Let \( {\mathbb {R}}^n \) be the Euclidean space provided with the scalar product \(\left\langle .,.\right\rangle \) and \(\left\| . \right\| \) the norm induced by this scalar product.
(a) Let E be the space of vector fields X of class \( C^\infty \) on \( {\mathbb {R}}^n \), satisfying:
\(\forall r \in {\mathbb {N}}, \exists M_r >0 \text{ such } \text{ that: }\)
\({\left\{ \begin{array}{ll} \forall x \in {\mathbb {R}}^n \\ \forall \alpha =(\alpha _1, \ldots , \alpha _n)\in {\mathbb {N}}^n\\ \forall k \in {\mathbb {N}} \end{array}\right. } \text { and } {\left\{ \begin{array}{ll} \left| \alpha \right| = \alpha _1 + \cdots + \alpha _n \\ \left| \alpha \right| + k \le r \end{array}\right. }.\)
we have \( \left\| D^\alpha X(x) \right\| \left( 1+\left\| x \right\| ^2 \right) ^{k/2} \leqslant M_r\).
We define on E a graduation of seminorms:
so \( ( E,\left\| \cdots \right\| _r) \) is called a Fréchet space [6].
(b) Let G the Schwartz space, which is the vector space of class \(C^{\infty }\) functions on \({\mathbb {R}}^n\) satisfying:
\(G=\{f\in C^{\infty }({\mathbb {R}}^n)/ \forall p\ge 0, \forall x\in {\mathbb {R}}^{n},\forall \alpha \in {\mathbb {N}}^{n} \) \(\exists C_{p}>0\) satisfying \(\Vert D^{\alpha }f(x)\Vert (1+\Vert x\Vert ^{2})^{p}\le C_{p}\}\).
G is a space where the Fourier transform exists as well as its inverse.
We define on G a graduation of seminorms as follows:
so \( ( G,\left\| \cdots \right\| _r) \) is called a Fréchet space [6].
2.2 Smooth flow
(a) Adjoint diffeomorphisms
Definition 2.1
For all \( X,Y \in E \) such that \(Y = \sum _{i=1}^{n} u_i(x)\frac{\partial }{\partial x_i}\), where \( u_i \in C^\infty ({\mathbb {R}}^n) \), we define the adjoint diffeomorphisms \( \phi _t^* \) and \( (\phi _t)_* \) by
Proprieties. For all \(X \in E\), we associate the \(X-\)flow \(\phi _t=exptX\), so
(i) \(ad_X\) (respectively, \(ad_{-X}\)) is an infinitesimal generator of the one-parameter group \(\phi _t^*\) (respectively, \((\phi _t)_*\) ) on E; that is, \(\phi _t^*\) is a solution of the following dynamic system:
and, respectively, \((\phi _t)_*\) is the solution of
(ii) \((\phi _t)_* = \phi _{-t}^* \); \(\phi _t^* = (\phi _{-t})_*, \forall t > 0 \).
Proof
(i) In fact,
That is to say:
so,
i.e. that \(ad_{-X}\) is an infinitesimal generator of the one-parameter group \((\phi _t)_*\) on E, and by the same reasoning, we will have
(ii) Let us show that \((\phi _t)_*=\phi _{-t}^*\); we put \(y=\phi _{-t}(x)\):
Now, according to Property (i):
then \( \left( \phi _{t}\right) _{*} = \left( \phi _{-t}\right) ^{*} \).
- The same reasoning can be applied in the case: \( \phi _t^* = (\phi _{-t})_*\) \(\square \).
(b) Smooth flow Let \(X \in E\) and the \(X-\)flow \(\phi _t=exptX\). We say that an adjoint flow \( \phi _t^* \) decays tamely on E of degree r and base b if
-
(i)
\( \phi _t^* \) preserves E \( \forall t\ge 0\),
-
(ii)
for any integer \(k \ge b\) there is an integer \(l_k = k+r\) and a strictly positive, continuous and decreasing function \(C_k(t)\) defined on \([0,\infty )\) satisfying:
$$\begin{aligned} \left\| \phi _t^* Z \right\| _k\leqslant C_k(t)\left\| Z \right\| _{l_k} \qquad (\forall t\geqslant 0; \forall Z \in E), \end{aligned}$$and the improper integral:
$$\begin{aligned} \int _{0}^{\infty } C_k(t){\text {d}}t \qquad converges \quad \forall k\ge b. \end{aligned}$$Alternately, \( \phi _t^*\) can be replaced by \( (\phi _t)_* = \phi _{-t}^* \) according to the asymptotic behaviour of \( \phi _t \) [12].
2.3 Fréchet space with hyperbolic structure
(a) Admissible algebra
Definition 2.2
(Admissible algebra) Let U be a Lie–Fréchet sub-algebra of E. U is said to be admissible with respect to the vector field \(Y_0=X_0+Z_0\) if and only if it satisfies the following conditions:
(i) Let \(X_0\) be a vector field on E such that
\(A^-\) (respectively, \(A^+\)) is a real symmetric matrix of type (\(k \times k\)) (respectively, \(l \times l\)) with \(k+l=n\), having strictly negative eigenvalues (respectively, strictly positive).
The matrix \(A^-\) satisfies: \(\forall m\ge 2, \forall i=1,k: \exists a_R, a_L> 0, \rho _{1} >1 \), such that
And, respectively, for \(A^+\):
\( \forall m\ge 2, \forall i=1,l: \exists b_R, b_L> 0, \rho _{2} >1 \) such that
We adopt the following notation for the rest of this paper:
from which we have
(ii) There exists \(U_1\) (respectively, \(U_2\)) a Lie–Fréchet sub-algebra of E containing the vector field \(Y_0^-=X_0^- + Z_0^-\) (respectively, \(Y_0^+=X_0^+ + Z_0^+\)) such that
where \(Z_0=Z_0^- + Z_0^+\) is a perturbation of \(X_0\) such that
\(Z_0^-\) (respectively, \(Z_0^+\) ) is an infinitely flat germ at the origin, i.e. satisfying the following estimate:
There exists \( M_{\alpha } > 0 \) such that
(resp)
(iii) \(\forall Y \in U;\exists ! Y^i \in U_i(i=1,2)\) such that \(Y=Y^1+Y^2\) and \( \forall (x,y) \in {\mathbb {R}}^{n} = \Omega _1 \cup \Omega _2 \), we have
where
(4i) There exists \(\delta >0\) such that \(U_i^\delta = \{ Y^i \in U_i / supp Y^i \subseteq \Omega _i^\delta \}\) with \(\Omega _i^\delta = \Omega _i + B_{\delta }\) and \(B_{\delta } \subset \Omega _j, i \ne j\).
(5i) U is locally closed, i.e. for any sequence \( ( X_m^i )_{m \ge 0} \) in \(U_i\) such that \(supp X_m^i \subset \Omega _i\) converges to \(X^i\) in \(\Omega _i\).
(b) Hyperbolic structure
Definition 2.3
Let E be a Fréchet space of vector fields, \(X \in E\) and the \(X-\)flow \(\psi _t=exptX\). E has a tame hyperbolic structure for \((\psi _t)_*\) if and only if \( \exists \delta ' > 0\) /
- (i):
-
\(\psi _{t*}\) is invariant on \(E; \forall t \in {\mathbb {R}}\),
- (ii):
-
\((\psi _t)_*\) decays on \(E_1^{\delta '}; \forall t \ge 0\),
- (iii):
-
\( (\psi _{-t} )_*\) decays on \(E_2^{\delta '}; \forall t \ge 0\),
where \(E_{i}^{\delta '}= \{ Z \in E / supp Z \subset \Omega _{i}^{\delta '} \}\) with \(\Omega _{i}^{\delta '} = \Omega _{i} + B_{\delta '} \), \(\text {such that } B_{\delta '} \subset \Omega _{j}, i \ne j \text { and } E=E_1 \oplus E_2 = E_1^{\delta '} + E_{2}^{\delta '} \) [12].
3 Estimations
To show that U has a hyperbolic structure, we need some estimates.
3.1 Estimation of \( exp tY_0^+\) and \( exp tY_0^-\)
(a) Estimation of \(exp t X_0^+\) and \(exp t X_0^-\)
Lemma 3.1
Let \(X_{0}^{+} \in U_2\) (respectively, \(X_{0}^{-} \in U_1\)) Then \(X_{0}^{+}\)-flow has for estimate, for all \(t\geqslant 0\) :
respectively, for the \(X_{0}^{-}\)-flow:
Proof
We put \( \phi _{t}^{+}\left( y \right) = (\exp tX_{0}^{+})\left( y \right) \), from which
According to Wintner theorem [10], \( \langle y, A^+y\rangle \le d \mid y \mid ^2 \), \( y \in {\mathbb {R}}^l \), where the constant d is the largest eigenvalue of the symmetric matrix \(A^+\). We get
We finally have
The same should be applicable to \( \phi _{-t}^{+}\) by replacing t by \( (-t) \):
On the other hand, applying the same reasoning to \( X_0^- \) shows that
\(\square \)
(b) Estimation of \(exp t Y_0^+\) and \(exp t Y_0^-\)
We put \( Y^-_0 = X^-_0 + Z^-_0 \) (respectively, \( Y^+_0 = X^+_0 + Z^+_0 \)) Then the vector form of \(Y^-_0 - flow\) (respectively, \(Y^+_0 - flow\)) will be
respectively,
Solution of the following dynamic system:
(respectively,
Lemma 3.2
Let \(Y_{0}^{-} \in U_1\) (respectively, \(Y_{0}^{+} \in U_2\) ) Then the vector fields \(Y_0^-\) (respectively, \(Y_0^+\)) is complete, and the flow \(\psi _{t}^{-}\)(respectively, \(\psi _{t}^{+})\) would satisfy the following estimates:
(respectively,
Proof
Consider the equation below:
After taking \(\zeta =\parallel \psi _{t}^{-}\left( x\right) \parallel \), we have
Then
If we put \(z=\zeta ^{1-k_1}\), we will have \(dz=\left( 1-k_1\right) \zeta ^{-k_1}d\zeta \) and the system becomes
which has as solutions
such as \(b_{1}, b_{2} \), two functions of x and as \(a_{L},a_{R}>0,\) then
As \(1-k_1<0\), then
where \(b_3, b_4\) also two functions of x,
from which
Similarly, we will have
And by a similar reasoning, we come to
\(\square \)
(c) The final estimate of the \(l'-{th}\) derivative of \(Y_{0}-\) flow
(i) Estimation of the first derivative of the \(Y_{0}-\) flow:
We denote \(\eta ^{-}\left( t,x,\upsilon _1 \right) =D\psi _{t}^{-}\left( x\right) \upsilon _1\) and \(\eta ^{+}\left( t,y,\upsilon _2 \right) =D\psi _{t}^{+}\left( y\right) \upsilon _2\), where \(\upsilon _1, \upsilon _2 \in {\mathbb {R}}^{k}. \) The first derivative with respect to x of \(Y_{0}^{-}\)-flow (respectively, \( Y_{0}^{+}\)-flow ) is a solution of the dynamic system:
with \(\xi _1=\psi _{t}^{-}\left( x\right) \) and, respectively,
with \(\xi _2=\psi _{t}^{+}\left( y\right) \).
Lemma 3.3
The derivative of \(Y_{0}^{-}\)-flow (respectively, of \(Y_{0}^{+}\)-flow) has the following estimates for all \(t\geqslant 0\):
(respectively,
Proof
Let \(z_1=\parallel \eta ^{-}\left( t,x,v \right) \parallel \), and consider the following equation:
We will have
Then
We will then have
where \(b_5, b_6\) are two functions depending on x.
As \(-a_Lt + b_6 \leqslant ln z_1 \leqslant -a_R.t + b_5 \), then \( \left\| v_1 \right\| \cdot e^{-a_L.t} \le z_1 \le \left\| v_1 \right\| \cdot e^{-a_R.t}\). Taking \(\left\| v_1 \right\| = 1\), we get
We can easily deduce
And by a similar reasoning, we come to
\(\square \)
(ii) The final estimate of the \(l'-{th}\) derivative of \(Y_{0}-\) flow
Lemma 3.4
The \(l'-{th}\) derivative of \(Y_{0}^-\) -flow ( resp of \(Y_{0}^{+}\)-flow ) has the following estimates for all \(t\geqslant 0, \forall l' \in {\mathbb {N}}\) :
and
Proof
We can generalize the previous result using a recurrence reasoning as follows:
-
(1)
For \(j=0,1\), the result is verified.
-
(2)
So, let us suppose the statement true until \(\left( j-1\right) \) order, i.e.
$$\begin{aligned} \parallel D^{l'}\psi _{t}^{-}\left( x\right) \parallel \leqslant M'_{l'}e^{-a_{R}t}; \qquad \forall l' \le j-1. \end{aligned}$$ -
(3)
Let us show that this last property is true at the order j. Let the \(j^{th}\) derivative of \(Y_{0}^-\) -flow
$$\begin{aligned} \eta _j ^{-}\left( t,x,v \right) =D^{j}\psi _{t}^{-}\left( x\right) v ^{j}\ \ , \forall v \in {\mathbb {R}}^{n} \end{aligned}$$solution of the following dynamic system:
$$\begin{aligned} {\left\{ \begin{array}{ll} \frac{{\text {d}}}{{\text {d}}t}\eta _j ^{-}\left( t,x,v \right) =D_{\xi _1}Y_{0}^{-}\cdot \eta _{j}^{-}\left( t,x,v \right) +G_{j}^{-}\left( t,x,v \right) \\ \eta _j^{-}\left( 0,x,v,\ldots ,v \right) =v \end{array}\right. } \end{aligned}$$with
$$\begin{aligned} {\left\{ \begin{array}{ll} G_{j}^{-}\left( t,x,v \right) =\sum _{k'=2}^{j} D_{\xi _1}^{k'}Z^-_{0}\left( \xi _1 \right) \sum \nolimits _{\begin{array}{c} i_{1}+i_{2}+\cdots +i_{k'}=j \\ i_{k'}>0 \end{array} } D_{x}^{i_{1}}\psi _{t}^{-}\left( x\right) v ^{i_{1}}\cdots D_{x}^{i_{k'}}\psi _{t}^{-}\left( x\right) v ^{i_{k'}} \\ \xi _1=\psi _{t}^{-}\left( x\right) . \end{array}\right. } \end{aligned}$$
Using the so-called resolvent transform method discussed, for example, in [4], Y. Domar studied the closed ideals in some Banach algebras [5]), we deduce that
The integral in the preceding expression is well defined at the point \(s=0\) because
and there are constants \(A_{l}>0\) such that
Since v is arbitrary, we can choose \(\parallel v \parallel =1\), and put
Let \(K\subset {\mathbb {R}} ^{k}\) a compact set, so \(I_{j}\) converges uniformly when t tends to \(+\infty \) for all \(x\in K.\)
As
and using the recurrence hypotheses, we arrive at
The integral \( I_ {j} \) is then uniformly convergent with respect to x when t tends to \(+\infty \). Consequently, there are constants \(M_{j}^{''}=sup (1,M'_j)>0\) such tat
(4) Conclusion:
By similar reasoning, we shall have
and
\(\square \)
3.2 Estimation of \( (exp tY_0^+)_* \) and \( (exp tY_0^-)_*\)
As \(\psi _t = \phi _t \circ f_t\), the estimate of \(\psi _{{t}_*}\) is deduced according to the estimates of \(\phi _{{t}_*}\) and \(f_{{t}_*}\).
(a) The absorbents \(N_1^+\) and \(N_2^+\)
A closed subset \(N_i^+\) is called positive absorbent for the flow \(\phi _t\), if and only if for any compact \({K_i}\) in \(\Omega _i\), there exists \(t_{K_i} > 0\), such that \( \phi _t(K_i) \subset N_i\).
Example: Let \(K_i\) be a compact of \(\Omega _i, (i=1,2)\) Then \( \exists \delta >0\), such that \( \delta = \underset{x \in K_i}{min } \left\| x \right\| \), we can then have the following absorbents:
(b) Estimation of \( (exp tX_0^+)_* \) and \( (exp tX_0^-)_* \)
Lemma 3.5
The diffeomorphism \( (\phi _t^-)_* \) ( respectively, \( (\phi _{-t}^+)_* \)) decays tamely on \(U_1\) (respectively, on \(U_2\)) of degree 0 and base \(m_1\) (respectively, \(m_2\)), in other words:
(i) For every arbitrary positive constant \(\rho '_1\), there is a constant \(m_1= \left[ r. \frac{a_L}{a_R} \right] +\rho '_1 > 0\) and \(C_1 > 0 \) such that
(ii) For every arbitrary positive constant \(\rho '_2 \), there is a constant \(m_2= \left[ r\cdot \frac{b_R}{b_L} \right] +\rho '_2 > 0\) and \(C_2 > 0 \) such that
Proof
(i) Consider the following diffeomorphism:
with
For any integer \( r \ge 0 \) and any multi-index \(\beta =(\beta _{1}\ldots .,\beta _{k})\in {\mathbb {N}}^{k}\) of module \(|\beta |=\beta _{1}+\ldots +\beta _{k}\), we obtain for \(x \in {\mathbb {R}}^k\):
We will have
Since \( || \phi _{-t}^{-} (x) ||\le ||x||e^{{a}_{L}t} \), and posing \( z=e^{-tX_{0} ^-}x \), then
from which we obtain
Let \( \rho '_1\) be an arbitrary positive constant Then there is \(m_1= \left[ r. \frac{a_L}{a_R} \right] +\rho '_1 > 0 \), we will have
From Lemma 3.1, \( \parallel x\parallel e^{a_{R}t}\leqslant \parallel \phi _{-t}^{-}\left( x\right) \parallel \), there is a constant \(C_1 > 0\) such that
And as the integral \( \int _{0}^{\infty } e^{-t \rho '_1 a_R} {\text {d}}t \) is convergent, \((\phi _{t}^-)_{*}\) decays tamely on \(U_{1}.\)
(ii) We have, respectively,
For any vector field \( Y^2 \in U_2 \), with \( Y^2=\sum _{j=1}^{l}v_{{\dot{j}}}(y)\frac{\partial }{\partial y_{j}} \), we consider
For any integer \(r\ge 0\) and any multi-index \(\beta '=(\beta '_{1}\ldots .,\beta '_{l})\in {\mathbb {N}}^{l}\) of module \(|\beta '|=\beta '_{1}+\ldots +\beta '_{l}\), we obtain
We will have
Since \( || \phi _{t}^{+} (y) ||\le ||y||e^{b_{R}t} \), and posing \( z'=e^{tX_{0} ^+}\cdot y \),
from which we obtain
Let \( \rho '_2 \) be an arbitrary positive constant Then there is \(m_2= \left[ r. \frac{b_R}{b_L} \right] +\rho '_2 > 0 \), we will have
From Lemma 3.1, \( \parallel y \parallel e^{b_{L}t}\leqslant \parallel \phi _{t}^{+}\left( y \right) \parallel \) , there is a constant \(C_2 > 0\) such that
And as the integral \( \int _{0}^{\infty } e^{-t(\rho '_2.b_{L})} {\text {d}}t \) is convergent, \((\phi _{-t}^+)_{*}\) operates smoothly on \(U_{2}.\) \(\square \)
(b) Wave operators
Let
and the diffeomorphism \(f_{t}^{-}\left( x\right) =\left( \phi _{-t}^{-}\circ \psi _{t}^{-}\right) \left( x\right) \in G\). According to expression (1) (in Sect. 3.1) of \(\psi _t^-(x)\), the diffeomorphism \(f_{t}^{-}\) becomes
(respectively,
The wave operator is defined by
Lemma 3.6
(1) \(f_{t}^{-}\), \(D^{r}f_{t}^{-}\) (respectively, \(f_{-t}^{+}\), \(D^{r}f_{-t}^{+}\)), \(f_{-t}^{-}\) and \(D^{r}f_{-t}^{-}\) (respectively, \(f_{t}^{+}\) and \(D^{r}f_{t}^{+}\)) are infinite globally uniformly bounded \(\forall t>0, \forall r \in {\mathbb {N}}.\)
(2) For all compact \(K_1 \subseteq \Omega _1 \) (respectively, \(K_2 \subseteq \Omega _2 \)), there is \(\varepsilon > 0 \) such that \(\forall t \in \mathbb {R^+} \):
Proof
(1) Let us show that \(f_{t}^{-}\) and \(D^{r}f_{t}^{-}\) (respectively, \(f_{-t}^{+}\) and \(D^{r}f_{-t}^{+}\)) are infinite globally uniformly bounded \(\forall t>0, \forall r \in {\mathbb {N}} \).
Let
then for all \(r \in {\mathbb {N}}; \forall v \in {\mathbb {R}}^n\) such as \(\left\| v \right\| = 1\), we have
As
where \(\xi =\psi _s^-(x)\).
According to Lemma 3.2, there exist constants \(M_i > 0\) such that \(\parallel \psi _s^-(x) \parallel ^{K_1} \le M_1 e^{-s a_R} \) with \(K_1\) a compact included in \(\Omega _1\) and \( \forall k_1 > 1\); we will then have
from which,
By hypothesis (I) in Sect. 2.3, \( \exists \rho _1> 1/ k_1 a_R - a_L \ge \rho _1 > 1\), then
from which,
It follows that \(f_{t}^{-}\) and \(Df_{t}^{-}\) are infinite-uniformly bounded \(\forall t >0; \forall r \in {\mathbb {N}}\).
And by a similar reasoning, with \(K_2\) a compact included in \(\Omega _2\) and with the hypothesis (II) in Sect. 2.3\(\exists \rho _2> 1/ k_2 b_L - b_R \ge \rho _2 > 1\), we can demonstrate that
from which \(f_{-t}^{+} \) is infinite-globally bounded \(\forall t\geqslant 0\), i.e.
where \(k_2.b_L-b_R \ge \rho _2> 1;k_2 > 1\).
Let us show that \(f_{-t}^{-}\) and \(D^{r}f_{-t}^{-}\) (respectively, \(f_{t}^{+}\) and \(D^{r}f_{t}^{+}\)) are infinite globally uniformly bounded \(\forall t>0, \forall l' \in {\mathbb {N}}\).
Let
then, for all \(r \in {\mathbb {N}}; \forall v \in {\mathbb {R}}^n\) such as \(\left\| v \right\| = 1\), we have
As
According to Lemma 3.2, \(\parallel \psi _{-s}^-(x) \parallel ^{K_1} \le M e^{s a_L} \), we deduce that there is a constant \(M' > 0\) such that
We choose
with \(\rho \) any positive constant.
As \(K_1\) is arbitrary, we can find \(\varepsilon _1>0 \) and \(\rho >0 \) such that
It follows that \(f_{-t}^{-}\) and \(D^{r}f_{-t}^{-}\) are infinite-uniformly bounded \(\forall t >0; \forall r \in {\mathbb {N}}\).
And by a similar reasoning, there is a constant \(M''> 0\) such that
By choosing
with \(\rho '\) an arbitrary positive constant, we deduce that
As \(K_2\) is arbitrary, we can find \(\varepsilon _2>0 \) and \(\rho ' >0\) such that
from which \(f_{t}^{+} \) and \(D^{r}f_{t}^{+}\) are infinite-globally bounded \(\forall t\geqslant 0\). \(\square \)
2) From Eqs. (3.1) and (3.2), \( \forall t >0; \exists \varepsilon = max \{ \varepsilon _1, \varepsilon _2 \}\):
c) Estimation of \( (exp tY_0^+)_* \) and \( (exp tY_0^-)_* \)
Let \(B_{\varepsilon } = B(0,\varepsilon )\) be the ball centered at the origin with radius a certain \(\varepsilon > 0\).
Lemma 3.7
For all \(Y^i \in U_i\) and \(\forall t \ge 0\), there exists \(C'\), \(C''\) positive constants such that
and, respectively,
Proof
Let \(Y^1 \in U_1\) and \(\forall t \ge 0\), we have
Let \(K_1\) be a compact of \(\Omega _1\), we then deduce the following estimate:
According to Lemma 3.6, \(Df_{t}^-\) and \(f_{-t}^-\) are uniformly bounded, then there is a constant \(C > 0 \) such that
As
then
hence,
We will then have, from equations (*) and (**).
from which,
We will then have
As \(K_1\) is arbitrary on \(\Omega _1\), so
We proceed in the same way to demonstrate
\(\square \)
4 Admissible algebra with hyperbolic structure
4.1 \((expt X_0)_*\) decays tamely
Lemma 4.1
(i) \((\phi _{t})_*\) is invariant on \(U; \forall t \in {\mathbb {R}}\).
(ii) \((\phi _t)_*\) decays tamely on \(U_1 \) and \((\phi _{-t})_*\) decays tamely on \(U_2\) for all \(t \ge 0\). That is to say, \( \forall t \ge 0\), we have
and
Proof
Let \(Y \in U=U_1 \oplus U_2\); then \(\exists ! Y^i \in U_i(i=1,2)\) such that \(Y=Y^1+Y^2\);
and let \(t \in {\mathbb {R}}, \forall (x,y) \in {\mathbb {R}}^n=\Omega _1 \cup \Omega _2\), we have
(i) We will show that \((\phi _{t})_* Y \in U, \forall t \in {\mathbb {R}}\).
- We project \( (\phi _{t} )_* Y\) on \(U_1, \) So
from which \((\phi _{t} )_* Y \in U\).
- Similarly, we project \( (\phi _{t} )_* Y\) on \(U_2, \) So
from which \((\phi _{t} )_* Y \in U\).
We deduce that \((\phi _t)_*\) is invariant on \(U, \forall t \in {\mathbb {R}} \).
(ii) Let us first show that \((\phi _t)_*\) decays tamely on \(U_1; \forall t >0\):
Then we show that \((\phi _{-t} )_*\) decays tamely on \(U_2; \forall t >0 \):
\(\square \)
4.2 \((expt Y_0)_*\) decays tamely
Lemma 4.2
(i) \((\psi _{t})_{*}\) is invariant on \(U, \forall t \in {\mathbb {R}}\).
(ii) The diffeomorphism \((\psi _{t})_{*}\) decays tamely on \(U_1^{\varepsilon }\) and \( (\psi _{-t})_{*}\)) decays tamely on \(U_2^{\varepsilon }\), that is to say, \(\forall t \ge 0\), there exist \(\omega \in {\mathbb {R}}^{*+}\) and \(\omega ' \in {\mathbb {R}}^{*+}\) such that
respectively,
Proof
Let \(Y \in U=U_1 \oplus U_2\) Then \(\exists ! Y^i \in U_i(i=1,2)\) such that \(Y=Y^1+Y^2\).
Let \(t \in {\mathbb {R}}, \forall (x,y) \in {\mathbb {R}}^n = \Omega _1 \cup \Omega _2 \)
(i) We will prove that \((\psi _{t})_* Y \in U, \forall t \ge 0\).
- We project on \(U_1 \Rightarrow Y(x,y)= (Y^1 (x),0)\).
Therefore,
from which \((\psi _{t} )_* Y \in U\)
- Similarly, if we project on \(U_2 \Rightarrow Y(x,y)= (0,Y^2 (x))\),
then
from which \((\psi _{t} )_* Y \in U\). We deduce that \((\psi _t)_*\) is invariant on \(U, \forall t \in {\mathbb {R}} \).
(ii) We note that
This means that \( (\psi _{t})_{*}\) decays tamely on \( U_1^{\varepsilon } \).
- Similarly,
We deduce that \( (\psi _{-t})_{*}\) decays tamely on \( U_2^{\varepsilon }\). \(\square \)
Theorem 4.3
The admissible algebra U admits a hyperbolic structure for the flow \(\psi _{t*}\).
Proof
According to Lemma 4.2, we deduce that U has a hyperbolic structure for \(\psi _t\). \(\square \)
Part II: applications
We will show, as an application, that the ideal of finite codimension extends over all the hyperbolic-type admissible algebra, and this using the following lemma:
Fundamental lemma: ([8]) Let V be a finite codimension subspace of a \( {\mathbb {R}}-\) vector space E and an endomorphism \(\psi \) on E such that
-
1.
\( \psi (V) \subset V \);
-
2.
\(\psi +b.id\) is surjective on V for all \(b \in {\mathbb {R}}\);
-
3.
for all numbers \(b,c \in {\mathbb {R}}\) such as \(b^2-4c<0\), the operator \(\psi ^2 + b \psi + c.id\) is surjective on V.
Then \(V= E\).
5 Surjectivity of the operator \(ad_{Y_0}+bI\)
In this section, we study the surjectivity of some linear operators. Note by
\( \varphi = (ad_{-Y_0^-},ad_{Y_0^+}) \), where \(ad_{-Y_0^-}=\varphi _1\) and \(ad_{Y_0^+}=\varphi _2\) two adjoint endomorphisms and id the identity application.
Lemma 5.1
For all \( b \in {\mathbb {R}}\), the operator \( \varphi _1+b.id_{{\mathbb {R}}^k}\) ( respectively, \(\varphi _2+b.id_{{\mathbb {R}}^l}\)) is surjective on \(U_1^{\varepsilon } \) (respectively, on \(U_2^{\varepsilon } \) ).
Proof
Let \(Y^i \in U_i (i=1,2) \) such that
By putting
- First stage: Let us prove that \( W_i \) is a solution of the equation:
We put
and
As \(\rho '_1\) is arbitrary, then
then
It results
Similarly,
By adding \(bW_2\) in both members, we will have
We put
We have
As \(\rho '_2\) is arbitrary, then
from which
Therefore,
- Second stage: Let us prove that \( W_1 \) is of class \(C^\infty \) on any compact.
Let \(K_1\) be a compact of \(\Omega _1\), and as
according to Lemma 3.7, we will have
As \(\rho '_1\) is arbitrary, then
It follows that \(W_1\) converges uniformly, \(\forall x \in \Omega _1\), where ultimately \( W_1 \) is of class \(C^\infty \) on any compact of \(\Omega _1\). The same reasoning is valid to prove that \( W_2 \) is of class \(C^\infty \) on any compact of \(\Omega _2\). \(\square \)
Lemma 5.2
For all \( b \in {\mathbb {R}}\), \( \varphi +b.id\) is surjective on U.
Proof
Let \(Y \in U \), seeking a \(W \in U\) such that \( \forall (x,y) \in {\mathbb {R}}^n; Y(x,y) = (\varphi +b.id) W(x,y)\), \( \forall b \in {\mathbb {R}} \).
As \( Y \in U= U_1 \oplus U_2 \), \( \exists ! Y^i \in U_i\) such that
We project on \(U_i\):
-
On \(U_1\), we have \(Y(x,y) = (Y^1(x),0)=(\varphi _1 W_1(x)+b W_1(x), 0) \), and according to Lemma 5.1\(\exists \varepsilon > 0\) and \( W_1 \), such that \(W_1(x)=-\int _{0}^{+\infty } e^{bt} (\psi _t ^{-})_* Y^1 (x){\text {d}}t \in \Omega _1^{\varepsilon } \).
-
On \(U_2\), we have \(Y(x,y)=(0,Y^2(y))=(0,\varphi _2 W_2(y)+b W_2(y)) \), and according to Lemma 5.1\(\exists \varepsilon > 0\) and \( W_2 \), such that \(W_2(y)=-\int _{0}^{+\infty } e^{bt} (\psi _{-t} ^{+})_* Y^2 (y){\text {d}}t \in \Omega _2^{\varepsilon }\).
It follows that
.
We put \(W(x,y)=(W_1(x),W_2(y)) \in {\mathbb {R}}^k \times {\mathbb {R}}^l={\mathbb {R}}^n \).
As \(W=W_1 + W_2 \in U_1^\varepsilon + U_2^\varepsilon = U\), it follows that \(\varphi + b.id\) is surjective on U, for all \( b \in {\mathbb {R}}\). \(\square \)
6 Surjectivity of the operator \((ad_{Y_0})^2+b.ad_{Y_0}+cI\)
Lemma 6.1
For all numbers \(b,c \in {\mathbb {R}}\) such that \(b^2-4c<0\), the operator \(\varphi _1^2 + b \varphi _1 + c.id_{{\mathbb {R}}^k}\), (respectively, \(\varphi _2^2 + b \varphi _2 + c.id_{{\mathbb {R}}^l}\)) is surjective on \(U_1^{\varepsilon }\) (respectively, on \(U_2^{\varepsilon }\)).
Proof
Let \(Y^i \in U_i\) such that
such that \( (\varphi _1^2 + b \varphi _1 + c id_{{\mathbb {R}}^k}) W_1=[-Y_0^-,[-Y_0^-,W_1]]+b[-Y_0^-,W_1]+cW_1 \) and \( (\varphi _2^2 + b \varphi _2 + c id_{{\mathbb {R}}^l}) W_2= [-Y_0^+,[-Y_0^+,W_2]]+b[-Y_0^+,W_2]+cW_2 \).
With
- First stage: Let us show that \( W_i \) is a solution of the equation \( (\varphi _i^2 + b \varphi _i + c id) W_i=Y^i \).
If we put \( Z_1=[-Y_0^-,W_1] =ad_{-Y_0^-}(W_1)\), then
As \( R(t)= \dfrac{2exp(\dfrac{b}{2}t)}{\sqrt{4c-b^2}}.\sin (\sqrt{4c-b^2}/2)t \) and
\(\rho '_1\) being arbitrary; therefore, \( \forall b \in {\mathbb {R}}, \exists \rho '_{1,b}> 0 / -b/2+ \rho '_{1,b}. a_R > 0\), where ultimately
then the first member vanishes and \( Z_1 \) becomes
We will have
Consequently,
where \( R(t)= \dfrac{2exp(\dfrac{b}{2}t)}{\sqrt{4c-b^2}}.\sin (\sqrt{4c-b^2}/2)t \) is solution of the Cauchy problem:
The operator \(\varphi _1^2 + b \varphi _1 + c.id_{{\mathbb {R}}^k}\) is, therefore, surjective on \(U_1^{\varepsilon }\). The proof of the surjectivity of the operator \(\varphi _2^2 + b \varphi _2 + c. id_{{\mathbb {R}}^l}\) on \(U_2^{\varepsilon }\) is made in the same way.
- Second stage: According to the previous lemma, \( W_i, (i=1,2) \) are of class \(C^\infty \) on all compact. \(\square \)
Lemma 6.2
For all \( b,c \in {\mathbb {R}}\), \( b^2-4.c <0 \) the operator \(\varphi ^2+b.\varphi + c.id\) is surjective in U.
Proof
Let \(Y \in U \), seeking a \(W \in U\) such that
As \( Y \in U= U_1 \oplus U_2 \), \( \exists ! Y^i \in U_i \) such that
We project on \(U_i\):
- On \(U_1\), we have \(Y(x,y) = (Y^1(x),0)= \Big ( \varphi _1^2 W_1(x)+b.\varphi _1W_1(x) + c.W_1(x), 0 \Big ) \), and according to Lemma 6.1, \( \exists \varepsilon > 0 \) and \(W_1 \), such that \(W_1(x)=\int _{0}^{+\infty }R(t) (\psi _t ^{-})_* Y^1 (x){\text {d}}t \in \Omega _1^{\varepsilon }\) with
- On \(U_2\), we have \(Y(x,y)=(0,Y^2(y)) = \Big ( 0, \varphi _2^2 W_2(y)+b.\varphi _2W_2(y) + c.W_2(y) \Big ) \), and according to Lemma 6.1, \( \exists \varepsilon > 0 \) and \(W_2\) such that \(W_2(y)=\int _{0}^{+\infty }R(t) (\psi _{-t} ^{+})_* Y^2 (y){\text {d}}t \in \Omega _2^{\varepsilon } \subset \Omega _2\) with
It follows that
We put \(W(x,y)=(W_1(x),W_2(y)) \in {\mathbb {R}}^k \times {\mathbb {R}}^l={\mathbb {R}}^n \). Since \(W=W_1 + W_2 \in U_1^\varepsilon + U_2^\varepsilon = U\). Consequently, \(\varphi ^2 + b.\varphi +c.id\) is surjective on U, for all \( b,c \in {\mathbb {R}}\), \( b^2-4.c <0 \). \(\square \)
7 Ideals of finite codimension in hyperbolic-type algebra
Theorem Let U be the admissible algebra having a hyperbolic structure for the flow:
\((\psi _t)_*=(exptY_0)_*=(expt(X_0 + Z_0))_*\), if \(dim (E-U) \) is finite, and \(\varphi = (ad_{-Y_0^-} , ad_{Y_0^+})\) an endomorphism on U, such that
- (i):
-
\(\varphi (U) \subset U\),
- (ii):
-
\( \varphi + b.id_{{\mathbb {R}}^n}\) is surjective on U; \(\forall b \in {\mathbb {R}} \),
- (iii):
-
\( \varphi ^2 + b \varphi + c .id_{{\mathbb {R}}^n}\) is surjective on U; \(\forall b,c \in {\mathbb {R}} / b^2-4c < 0\) Then \(U = E \).
Proof
The hypotheses of the fundamental lemma is satisfied thanks to Lemmas 4.2, 5.2 and 6.2, and, if in addition we have \(dim (E-U)\) finite, then we deduce
\(\square \)
References
Benalili, M.: Linearization of vector fields and embedding of diffeomorphisms in flows via nash -moser theorem. J. Geom. Phys. 61, 62–76 (2011)
Benalili, M.; Lansari, A.: Ideals of finite codimension in contact lie algebra. J. Lie Theory 11(1), 129–134 (2001)
Benalili, M.; Lansari, A.: Une propriété des idéaux de codimension finie des algébres de Lie de champs de vecteurs. J. Lie Theory 15(1), 13–25 (2005)
Borichev, A.; Hedenmalm, H.: Completeness of translates in weighted spaces on the half-line. Acta Math. 174, 1–84 (1995)
Domar, Y.: On the analytic transform of bounded linear functionals on certain banach algebras. Stud. Math. 53, 203–224 (1975)
Hamilton, R. S.: The inverse function theorem of Nash and Moser. Bull. Am. Math. Soc. 7(1), 65–222 (1982)
Kolev, B.: Bi-hamiltonian systems on the dual of the lie algebra of vector fields of the circle and periodic shallow water equations. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 365, 2333–2357 (2007)
Lansari, A.: Idéaux de codimension finie en algébres de Lie de champs de vecteurs. Demons. Math. XXV,3, 457–468 (1992)
Pursell, L.E.; Shanks, M.E.: The Lie algebra of smooth manifolds. Proc. Am. Math. Soc. 5, 468–472 (1954)
Wintner, E.: Bounded matrices and linear differential equations. Am. J. Math. 79, 139–151 (1957)
Zajtz, A.: Calculus of flows on convenient manifolds. Arch. Math. 32(4), 355–372 (1996)
Zajtz, A.: Embedding diffeomorphisms in a smooth flow. In: Proceedings of the international conference dedicated to the 90th anniversary of the birth of G.F. Laptev, In M. G. U. Moscow, editor, pp. 77–89 (2001)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cherifi Hadjiat, A., Lansari, A. Surjectivity of certain adjoint operators and applications. Arab. J. Math. 9, 567–588 (2020). https://doi.org/10.1007/s40065-020-00294-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-020-00294-x