16.07.2014 Views

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Démonstration<br />

La définition de ∫ b<br />

f(t)dt ne dépend pas de la primitive Φ car d’après la Proposition 3.5.1,<br />

a<br />

deux primitives d’une même fonction différent d’une constante. Pour démontrer l’inégalité<br />

∥<br />

∫ b<br />

a<br />

f(t)dt∥ ≤ ∣<br />

∫ b<br />

a<br />

‖f(t)‖dt∣<br />

on suppose a ≤ b. Soit Φ la primitive de f telle que φ(a) = 0. On a, pour tout t ∈ [a, b]<br />

Φ(t) =<br />

∫ t<br />

a<br />

f(s)ds.<br />

Il existe alors une partie au plus dénombrable D ⊂ [a, b] telle que sur [a, b] \ D,<br />

Φ ′ (t) = f(t),<br />

d’où ‖Φ ′ (t)‖ = ‖f(t)‖. Remarquons que la fonction ‖f(.)‖ est réglée car la norme est continue.<br />

Il existe donc ∆ ⊂ [a, b] au plus dénombrable telle que G ′ (t) = ‖f(t)‖ où G(t) = ∫ t<br />

‖g(s)‖ds.<br />

a<br />

Pour t ∈ [a, b] \ (D ∪ ∆) on a donc<br />

D’après le Théorème 3.1.1 on obtient<br />

d’où<br />

Remarque 3.5.1<br />

‖Φ ′ (t)‖ ≤ G ′ (t).<br />

‖F (b) − F (a)‖ ≤ G(b) − G(a),<br />

∥<br />

∫ b<br />

a<br />

f(t)dt∥ ≤<br />

∫ b<br />

a<br />

‖f(t)‖dt. □<br />

a) Soit I = [a, b], f : I −→ E une fonction en escalier à valeurs dans un espace de Banach<br />

E et soient a = t 0 < · · · < t n = b telle que f(t) = c i sur ]t i , t i+1 [. On sait que la fonction<br />

Φ : I −→ E définie par Φ(t) = c 0 (t − t 0 ) si t ∈ [t 0 , t 1 ] et<br />

∑i−1<br />

Φ(t) = c i (t − t i ) + c k (t k+1 − t k )<br />

k=0<br />

si t ∈ [t i , t i+1 ] est une primitive de f sur [a, b]. On a donc<br />

∫ b<br />

a<br />

∑n−2<br />

f(t)dt = Φ(b) − Φ(a) = c n−1 (t n − t n−1 ) + c k (t k+1 − t k )<br />

k=0<br />

d’où<br />

∫ b<br />

∑n−1<br />

f(t)dt = c k (t k+1 − t k ).<br />

a<br />

k=0<br />

63

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!