Théorie des opérateurs : intervertir la dérivée et un opérateur
Bonjour,
je considère un opérateur $E : X → Y$, où $X$ et $Y$ sont 2 espaces de Banach (typiquement dans mon cas des espaces fonctionnel) et $E$ est un opérateur linéaire borné pas forcément inversible. J'aimerais savoir dans quel cas peut-on intervertir la dérivée et l'opérateur $E$, c'est-à-dire dans quels cas a-t-on l'égalité $\dfrac{d}{dt}E(x(t)) = E(\dfrac{d}{dt}x(t))$, où $x(t)$ appartient à $X$.
je considère un opérateur $E : X → Y$, où $X$ et $Y$ sont 2 espaces de Banach (typiquement dans mon cas des espaces fonctionnel) et $E$ est un opérateur linéaire borné pas forcément inversible. J'aimerais savoir dans quel cas peut-on intervertir la dérivée et l'opérateur $E$, c'est-à-dire dans quels cas a-t-on l'égalité $\dfrac{d}{dt}E(x(t)) = E(\dfrac{d}{dt}x(t))$, où $x(t)$ appartient à $X$.
Réponses
-
Bonjour, avec tes hypothèses tu peux faire comme en dimension finie si je ne me trompe pas. En revenant aux définitions si on note $\phi(t)=E(x(t))$. $\phi$ est différentiable comme composée de deux fonctions différentiables. Et par définition $\phi'(t)=D_t\phi(1)=(D_t(E\circ x))(1)=(D_{x(t)}E\circ D_tx)(1)=D_{x(t)}E(D_tx(1))=D_{x(t)}E(x'(t))$, mais comme $E$ est linéaire alors en particulier $D_{x(t)}E=E$ et tu as ce que tu cherches.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres