Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
192 personne(s) sur le site en ce moment
E. Cartan

Les maths pour l'agreg

A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
L'indispensable sous le signe intégral next up previous index
suivant: Convergence d'une série à monter: Formulaires précédent: Dérivation de limites   Index

L'indispensable sous le signe intégral

$ X$ muni d'une mesure $ \mu$, $ (E,d)$ un espace métrique. $ f:E\times X \to \mathbb{C}$, $ F(t)=\int_X f(t,x) d\mu(x)$

Hypothèses Conclusion
Pour tout $ t$ l'application $ x\mapsto f(t,x)$ est mesurable

Pour presque tout $ x$ la fonction $ t\mapsto f(t,x)$ est continue en $ T$

Il existe $ g$ $ L^1$ telle que pour tout $ t$ et presque tout $ x$ $ \vert f(t,x)\vert\leq g(x)$

$ F$ est continue en $ T$.

Pour tout $ t$ l'application $ x\mapsto f(t,x)$ est mesurable

Pour presque tout $ x$ la fonction $ t\mapsto f(t,x)$ est continue sur $ E$

Pour tout compact $ K$ de $ E$ il existe $ g$ $ L^1$ telle que pour tout $ t$ dans $ K$ et presque tout $ x$ $ \vert f(t,x)\vert\leq g(x)$.

$ F$ est continue sur $ E$.

$ E$ est un ouvert de $ \mathbb{R}$ ou de $ \mathbb{C}$ 1

Pour presque tout $ t$ $ x\mapsto f(t,x)$ est $ L^1$

Il existe $ N$ négligeable tel que pour tout $ x\not\in N$ la fonction $ t\mapsto f(t,x)$ est dérivable (resp. $ C^1$ ) 2.

Pour tout compact $ K$ de $ E$ il existe une fonction $ g$ $ L^1$ telle que pour tout $ t$ dans $ K$ et tout $ x\not\in N$ $ \vert\frac{\partial f}{\partial t}(t,x) \vert \leq g(x)$.

1 Hypothèse facile à retenir; il s'agit de pouvoir définir une dérivée au sens le plus commun, ie dérivée d'une fonction d'une variable réelle ou complexe!
2 Attention ! Dans le cas d'un ouvert de $ \mathbb{C}$ on parle de dérivabilité au sens complexe, et pas de différentiabilité en voyant $ \mathbb{C}$ comme un $ \mathbb{R}$-espace vectoriel !

Pour tout $ t$ la fonction $ x \mapsto \frac{\partial f}{\partial x}(t,x)$ est $ L^1$

$ F$ est dérivable (resp. $ C^1$), de dérivée $ \int_X \frac{\partial f}{\partial t}(t,x) dx$.

$ E$ est un ouvert de $ \mathbb{R}$ ou un ouvert de $ \mathbb{C}$.

Pour presque tout $ t$ $ x\mapsto f(t,x)$ est $ L^1$

Il existe $ N$ négligeable tel que pour tout $ x\not\in N$ la fonction $ t\mapsto f(t,x)$ est $ C^k$.

Pour tout compact $ K$ de $ E$ et tout $ j\in[1,k]$ il existe une fonction $ g$ $ L^1$ telle que pour tout $ t$ dans $ K$ et tout $ x\not\in N$ $ \vert\frac{\partial ^j f}{\partial t^j}(t,x)\vert \leq g(x)$.

Pour tout $ t$ la fonction $ x \mapsto \frac{\partial ^j f}{\partial t^j}(t,x)$ est $ L^1$

$ F$ est $ C^k$, et pour $ j\in [0,k]$ $ \frac{\partial ^j F}{\partial t^j}=\int_X \frac{\partial ^j f}{\partial t^j} (t,x) dx$.


next up previous index
suivant: Convergence d'une série à monter: Formulaires précédent: Dérivation de limites   Index
C_Antonini,J_F_Quint,P_Borgnat,J_Bérard,E_Lebeau,E_Souche,A_Chateau,O_Teytaud
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page