You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Nous allons montrer que N<br />
∞ ′′ est une norme sur E, les preuves<br />
pour N ∞ <strong>et</strong> N<br />
∞ ′ étant analogues <strong>et</strong> plus simples.<br />
• On a, pour toutes f,g ∈ E :<br />
puis :<br />
| f (x)| = ∣ ∣ f (0) + ( f (x) − f (0) )∣ ∣<br />
| f (0)|+|f (x) − f (0)|<br />
N ′′ ∞ ( f + g)<br />
=|( f + g)(0)|+|( f + g) ′ (0)|+ Sup |( f + g) ′′ (x)|<br />
x∈[0;1]<br />
( | f (0)|+|g(0)| ) + ( | f ′ (0)|+|g ′ (0)| )<br />
(<br />
+ Sup | f ′′ (x)|+|g ′′ (x)| )<br />
x∈[0;1]<br />
( | f (0)|+|g(0)| ) + ( | f ′ (0)|+|g ′ (0)| )<br />
+ Sup | f ′′ (x)|+ Sup |g ′′ (x)|<br />
x∈[0;1]<br />
x∈[0;1]<br />
= ( | f (0)|+|f ′ (0)|+ Sup | f ′′ (x)| )<br />
x∈[0;1]<br />
=N ′′ ∞ ( f ) + N ′′ ∞ (g).<br />
+ ( |g(0)|+|g ′ (0)|+ Sup |g ′′ (x)| )<br />
x∈[0;1]<br />
• On a, pour tout α ∈ R <strong>et</strong> toute f ∈ E :<br />
N ′′ ∞ (α f ) =|(α f )(0)|+|(α f )′ (0)|+ Sup |(α f ) ′ (x)|<br />
x∈[0;1]<br />
=|α||f (0)|+|α||f ′ (0)|+|α| Sup | f ′′ (x)| =|α|N ′′ ∞ ( f ) .<br />
x∈[0;1]<br />
• Soit f ∈ E telle que N<br />
∞ ′′ ( f ) = 0.<br />
On a alors : | f (0)| +|f ′ (0)| + Sup | f ′′ (x)| = 0,<br />
} {{ } } {{ } x∈[0;1]<br />
0 0 } {{ }<br />
0<br />
donc f (0) = 0, f ′ (0) = 0, Sup | f ′′ (x)| =0.<br />
x∈[0;1]<br />
Il en résulte f ′′ = 0. Il existe donc (a,b) ∈ R 2 tel que :<br />
∀ x ∈ [0; 1], f (x) = ax + b .<br />
{ f (0) = 0<br />
{ a = 0<br />
De plus :<br />
f ′ (0) = 0 ⇐⇒ d’où f = 0.<br />
b = 0<br />
On conclut : N ∞ , N<br />
∞ ′ , N ∞ ′′ sont des normes sur E.<br />
b) 1) • Soit f ∈ E.<br />
Pour tout x ∈ [0 ; 1],d’après l’inégalité des accroissements finis,<br />
appliquée à f sur [0 ; x], on a :<br />
| f (x) − f (0)| x Sup | f ′ (t)| 1 Sup | f ′ (t)| ,<br />
t∈[0;x]<br />
x∈[0;1]<br />
| f (0)|+ Sup | f ′ (t)| =N ′ ∞ ( f ).<br />
t∈[0;1]<br />
Il en résulte : N ∞ ( f ) N<br />
∞ ′ ( f ).<br />
• De même : ∀ f ∈ E, N<br />
∞ ′ ( f ) N ∞ ′′ ( f ) .<br />
2) Montrons que les normes N ∞ , N<br />
∞ ′ , N ∞ ′′ sont deux à deux<br />
non équivalentes :<br />
Considérons la suite ( f n ) n∈N ∗ d’applications de [0 ; 1] dans R<br />
définies, pour tout n ∈ N ∗ , par :<br />
∀ x ∈ [0 ; 1], f n (x) = sin (πnx) .<br />
On a, pour tout n ∈ N ∗ , f n ∈ E <strong>et</strong>, pour tout x ∈ [0 ; 1] :<br />
f n (x) = sin (πnx), f ′<br />
n<br />
(x) = πn cos (πnx),<br />
f ′′<br />
n (x) =−π2 n 2 sin (πnx) ,<br />
d’où, pour tout n ∈ N ∗ :<br />
N ∞ ( f n ) = 1, N ′ ∞ ( f n) = πn, N ′′ ∞ ( f n) = πn + π 2 n 2 .<br />
Il s’ensuit :<br />
N<br />
∞ ′ ( f n)<br />
= πn −−−→ +∞, N ∞ ′′ ( f n)<br />
N ∞ ( f n ) n ∞ N<br />
∞ ′ ( f = 1 + πn −−−→ +∞,<br />
n) n ∞<br />
N<br />
∞ ′′ ( f n)<br />
N ∞ ( f n ) = πn + π2 n 2 −−−→ +∞.<br />
n ∞<br />
Ainsi, les rapports N ∞ ′ ( f )<br />
N ∞ ( f ) , N ∞ ′′ ( f )<br />
N<br />
∞ ′ ( f ) , N ∞ ′′ ( f ) ne sont pas bornés<br />
lorsque f décrit E −{0}, donc les normes N ∞ , N<br />
N ∞ ( f )<br />
∞ ′ , N ∞<br />
′′<br />
sont deux à deux non équivalentes.<br />
1.14 a) L’application<br />
x<br />
f : E −→ E, x ↦−→ f (x) =<br />
1 +||x|| 2<br />
est continue par opérations sur les applications continues.<br />
b) 1) On a : ∀ x ∈ E, || f (x)|| = ||x||<br />
1 +||x|| 1 2 2 ,<br />
car : ∀ t ∈ R + ,<br />
t<br />
1 + t − 1 2 2<br />
)<br />
.<br />
d’où : f (E) ⊂ B ′ (<br />
0 ; 1 2<br />
=<br />
−(1 − t)2<br />
2(1 + t 2 ) 0.<br />
(<br />
2) Réciproquement, soit y ∈ B ′ 0 ; 1 )<br />
.<br />
2<br />
Cherchons λ ∈ R pour que f (λy) = y. On a :<br />
f (λy) = y ⇐⇒<br />
λy<br />
1 +||λy|| = y 2 ⇐ || y|| 2 λ 2 − λ + 1 = 0.<br />
16