Documente Academic
Documente Profesional
Documente Cultură
K compact de IR K ferm born
K complet de IR K ferm
K connexe de IR K intervalle de IR
.
Voyons en quoi la structure dordre intervient.
Par exemple, par ltude du trinme, qui ne sert pas qu justifier Cauchy
Schwarz, (voir exercice).
Ou bien, pour tablir des ingalits du type u(a) s v(a), en justifiant u(x) s v(x)
pour x dans un intervalle contenant a, et ce en tudiant les variations de la fonction
v u, (voir exercice).
Dans les questions lies la convexit, (voir exercice).
Dans tout raisonnement o lon procde par des encadrements pour obtenir
des limites, ce qui intervient en particulier dans les recherches dquivalents, (voir
exercice).
Dans la formule de Taylor Lagrange, ( - c e], ab* tel que ), consquence des
accroissements finis, donc de Rolle, donc du Thorme des valeurs intermdiaires :
f continue sur un intervalle ne pas changer de signe sans sannuler.
Penser en particulier quun polynme rel de degr impair sannule.
Penser aussi quune fonction f, n fois drivable, ayant n + 1 zros au moins,
donnera n intervalles pour appliquer Rolle do n zros de f , n 1 de f
,, et
finalement 1 pour f
(n)
, (voir exercice).
Ne pas oublier enfin, les formules de la moyenne pour les intgrales sur un
segment, qui toutes font intervenir des ingalits sur IR pour tre justifies ;
It is worth remembering, if only for the sense of calm that it provides, that
We belong to those who reject darkness
Teacher and Researcher
4/9
Mais surtout le fait que lintgrale, agissant sur les fonctions considres comme
variables, est une forme linaire positive, donc prserve les ingalits entre fonctions.
Toujours penser que sur un compact mtrique, la continuit est uniforme
(Thorme de Heine, pour f valeurs dans F mtrique), et de plus si f est valeurs
relles, les bornes sont atteintes, (voir exercice).
Ne pas oublier :
Partant de la thorie des ensembles, lintroduction des cardinaux permet de
construire IN ensemble des entiers naturels. Ltude des structures de groupe
conduit symtriser IN pour obtenir lensemble ZZ des entiers relatifs. La structure
danneau et de corps donnera alors le corps des I Q rationnels. Puis on passe de I Q
IR par compltion et de IR I C par corps de rupture qui est en mme temps une
clture algbrique, signalons que la clture algbrique de I Q nest pas I C : des
nombres transcendants comme e et t ne sont pas algbriques sur I Q.
De plus, on dmontre que le cardinal de la clture algbrique de I Q est celui de I Q
cest--dire que ce corps est dnombrable.
La linarit, (voir bilinarit) dans les intgrales, cela sert simplifier les calculs
entre autre ;
Les quivalents, sintgrent trs bien ;
La rgle de lHospital (Guillaume Franois Antoine, 1661-1704) _ je prfre
prciser ce point car on se demande toujours sil ny a pas quelque chose de
maladif l-dessous _ gnralise sert souvent pour les quivalents, (justifiez en
bien les hypothses ;
Le bon vieux Taylor Young et Leibniz,
La convexit, avec la place de la courbe par rapport la corde, et par rapport la
tangente, ainsi que la croissance de la drive, voil une valeur sre.
La pratique valant mieux quun discours, je vous ai concoct quelques exemples qui mettrons
je lespre en exergue ce qui vient dtre dit.
It is worth remembering, if only for the sense of calm that it provides, that
We belong to those who reject darkness
Teacher and Researcher
5/9
Exercice 1 __ On pose K =
]
(
0
+
exp( t
2
)dt , et on dfinit f par
f(x) =
]
(
(
0
+
exp( t
2
x)
1 + t
2
dt.
a) Domaine de dfinition de f. Continuit, drivabilit.
b) tudier la limite de f en + .
tablir que, x > 0, f(x) = 2K e
x
]
(
x
+
exp( t
2
)dt. En dduire la valeur de K.
Exercice 2 __ Soit f une application de IR dans IR, continue par morceaux et borne,
et o un rel fix. Dterminer la limite de :
un = n
]
(
(
+
f(x) exp
\
|
.
|
|
n
2
(x o)
2
4
dx
Exercice 3 __ Soit f continue, et strictement positive sur [0 ; 1].
Dterminer lim
n +
\
|
.
|
|
]
(
0
1
[ ]
f(x)
1/n
dx
n
Exercice 4 __ Soit f continue, valeurs positives, sur [0, 1].
Dterminer lim
n +
\
|
.
|
|
]
(
0
1
[ ]
f(x)
n
dx
1/n
Exercice 5 __ Soit f continue, 1- priodique, de IR dans IR. Montrer que pour tout
> 0,
]
(
0
+
e
t
f(t)dt converge, limite lorsque tend vers 0
+
.
It is worth remembering, if only for the sense of calm that it provides, that
We belong to those who reject darkness
Teacher and Researcher
6/9
Exercice 6 __ On pose un =
1
3n + 1
+
1
3n + 4
+ +
1
6n 2
.
tudier la limite de cette suite et trouver un quivalent de un .
Exercice 7 __ Montrer que e est irrationnel.
Exercice 8 __ Soit f : [0 , 1] | IR , de classe C
1
. Montrer quil existe :
o e IR tel que
1
n
k=1
n
f
\
|
.
|
| k
n
=
]
(
0
1
f(x)dx +
o
n
+
c(n)
n
avec lim
n +
c(n) = 0.
Exercice 9
Soit f e C
2
( [0 , + [ , IR ) telle que lim
x +
f(x) existe et x |
]
(
x
x + 1
( f
''
)
2
borne.
Montrer que lim
x +
f
'
(x) = 0.
Exercice 10 __ Soit f e C
1
( [0 , 1] , IR ) . Donner un dveloppement limit dordre 2
de : an =
]
(
0
1
x
n
f(x) dx .
Exercice 11 __ Soit f e C
0
( IR , IR ).
tudier la suite des Un avec Un = n
]
(
1
1 + 1/n
f(x
n
) dx.
It is worth remembering, if only for the sense of calm that it provides, that
We belong to those who reject darkness
Teacher and Researcher
7/9
Exercice 12 __ Soit (n) une suite croissante de rels telle que lim
n
n = + , et :
f : IR+ IR telle que
]
(
0
+
|f(t)|dt converge. Calculer lim
n +
]
(
0
+
f(t)sin(nt)dt.
Exercice 13
Soit a e ]0, 1[, x0 > 1, f e C
0
([x0, + [, IR
+
). On suppose que, pour tout x > x0, on a
2xf(x
2
) s af(x). Montrer que
]
(
x0
+
f(t)dt converge.
Exercice 14
Soit f e C
1
(IR
+
, IR) telle que les intgrales
]
(
0
+
x
2
f
2
(x)dx et
]
(
0
+
f
2
(x)dx
convergent. Montrer que
]
(
0
+
[ ]
f (x)
2
dx converge et que :
( )
]
(
0
+
f
2
(x)dx
2
s 4
( )
]
(
0
+
x
2
f
2
(x)dx
( )
]
(
0
+
f
2
(x)dx .
Quand a-t-on galit ?
Exercice 15 __ Montrer que lim
n +
]
(
(
0
n
\
|
.
|
|
1
x
n
n
x
a 1
dx =
]
(
0
+
e
x
x
a 1
dx.
Exercice 16 __ Soit ha (x) =
]
(
(
0
a
cos tx
1 + t
2
dt, a > 0. Montrer que ha est C
k = 1
+
\
|
.
|
|
1 + k
bn
n
n
.
b) Montrer que an >
1
exp(bn) 1
et que an bn s 2.
c) On suppose la suite des bn convergente vers b > 0.
Montrer que la suite des an a une limite > 0.
It is worth remembering, if only for the sense of calm that it provides, that
We belong to those who reject darkness
Teacher and Researcher
9/9
Dans la recherche dun quivalent du terme gnral Un dune suite monotone qui converge
vers 0, ou dun quivalent de Un si elle converge vers , lutilisation dun
quivalent du terme gnral
xn = un + 1 un de la srie associe eut servir. On suppose donc xn quivalent yn.
1) Si la srie des xn converge, la suite des Un converge.
Supposons dabord quelle converge vers 0. Alors le reste de la srie des xn, qui vaut :
Rn 1 =
p = n
+
(up + 1 up) = Un est quivalent au reste Sn 1 =
p = n
+
yp .
Si la suite des Un converge vers = 0, en posant vn = un , on a vn + 1 vn = un + 1 un,
donc
Rn = vn , et cette technique donne un quivalent de un .
La question 3 de lexercice II utilise le Thorme dinterversion des limites, demploi
facile sur IR, par lutilisation de la relation dordre et de la monotonie des suites.
Penser aux liens entre suite et srie, aux suites extraites, surtout dans des suites
monotones.
Parfois, un calcul direct avec les formules lies aux suites arithmtiques ou
gomtriques conviendra trs bien.
Quand on value une somme sn de termes u(k, n), k variant, et que lon cherche la
limite des sn : on a de plus en plus de termes, chacun fonction de n ; on peut tre
tent de se ramener une somme finie, si on peut majorer uniformment la somme
des autres.