Bonjour,
Dans le cadre du théorème suivant :
Soit une suite d'applications définies sur I.
Si la série est uniformément convergente sur I, et si chacune des fonctions
est continue en
de I, alors
st continue en
comment comprendriez-vous la pharse suivante :
"Il suffit en fait que la convergence de soit uniforme sur tout intervalle fermé borné de I, pour assurer la convergence de
sur I." ?
Est-ce que I peut-être tout entier ?
Merci
Je la comprends de la façon suivante: si Un converge uniformément sur tout segment de I (ie tout intervalle fermé borné), alors
Un converge simplement en chaque point de I (attention le piège ici est qu'il n'y a pas convergence uniforme sur I). De plus le théorème s'applique à chaque point qui n'est pas une extrémité de I (et ça marche pour
)
En pratique voilà comment se servir de cette remarque: si tu veux montrer qu'une série de fonction est continue sur , il est souvent plus facile de montrer qu'on a convergence uniforme sur tout segment de
que convergence uniforme sur
tout entier. La convergence uniforme sur tout segment implique la continuité sur tout segment, et de là la continuité sur
tout entier.
Bonjour AOI,
Je te remercie.
Je t'avoue avoir du mal à appréhender cette notion.
Je ne comprends pas bien la subtilité suivante :
"si converge uniformément sur tout segment de I (ie tout intervalle fermé borné), alors Un converge simplement en chaque point de I (attention le piège ici est qu'il n'y a pas convergence uniforme sur I)."
Peux-tu m'apporter ton éclairage s'il te plaît, je ne souhaiterais pas passer à côté de cela.
Je continue de mon côté à "creuser l'affaire".
Te remerciant.
Ici je suppose que tu appelles I un intervalle, on peut donc poser I=(a,b) où a et b sont éventuellement infinis et où les parenthèses représentent des crochets soit fermés, soit ouverts.
Il est alors facile de voir que tout point x de I appartient à un segment inclus dans I. Donc si converge uniformément sur tout segment de I,
converge en x (car la convergence uniforme implique la convergence simple).
En revanche la convergence uniforme sur I est fausse: prenons le contre exemple suivant:
Soit Un définie sur I=[0;1[ par Un(x)=xn.
Soit J un segment de I: J=[a;b], a0 et b<1.Alors
Un converge uniformément sur J vers f(x)=1/(1-x)
En effet x
J,
D'où qui tend vers 0 quand n tend vers l'infini, donc
Un converge bien uniformément sur tout segment de I
Montrons désormais qu'elle ne converge pas uniformément sur I:
Posons xn=(1-1/n). Alors:
ce qui tend vers l'infini quand n tend vers l'infini, donc
Un ne converge pas uniformément sur I
Bonjour
La continuité est une propriété locale. C'est pour cela qu'on n'a pas besoin de la convergence uniforme sur IR, qui est suffisante mais est une exigence très forte.
LeDino,
Donc ce serait :
"Il suffit en fait que la convergence de soit uniforme sur tout intervalle fermé borné de I, pour assurer la convergence
de
sur I." ?
Oui aux deux derniers messages .
Propriété :
Si la série est CVU sur tout segment de I, alors elle est CVS sur tout I.
Remarque :
La CVS n'entraîne pas nécessairement la CVU, donc la série n'est pas forcément CVU sur tout I.
Autre résumé : la CVU en tout segment de I prolonge la CVS (mais pas la CVU) à tout l'ensemble I.
Merci LeDino,
C'est toujours très clair une fois qu'on a compris.
Mais sans votre éclairage je serais encore en plein phares dans le brouillard
Merci beaucoup à tous. je vais très certainement avoir d'autres questions ...
Sur ce genre de sujet assez abstrait, je te conseille plus que jamais des exercices aussi simples que possible, pour se familiariser avec les notions.
C'est pour ça que l'exemple proposé par AOI est précieux : il permet de se donner une idée de ce dont on parle sur un cas concret et assez simple.
A la prochaine .
Oui, et je remercie AOI pour cette réponse fort circonstanciée.
Comme je disais, j'allais avoir quelques questions.
En fait, voici mon petit souci :
Regardons la continuité de la série de fonctions suivante :
(j'explique ci-dessous mon raisonnement, afin de savoir par la même occasion si selon vous il est correct )
avec
sur
Posons
Donc , or
Chacune des est continue sur
, donc
est continue sur
de part la convergence uniforme vue ci-dessus, et donc de surcroît est continue sur tout intervalle intervalle fermé borné de type
Car ici, ce n'est pas (peut-être à tort) le qui me porte interrogations, mais le
En effet, sur , qui est le terme général d'une série divergence.
Il n'y a donc pas de convergence normale sur , et je n'ai pas plus prouvé la convergence uniforme sur cet intervalle.
Et à partir de là, je ne sais plus ...
Bonjour Leonegres,
Cet exercice est très représentatif des "discussions" autour de la CVU.
Ce que tu as écrit est plutôt correct.
Je te propose une version bien "posée" pour encore plus de clarté (j'espère ...).
Notations :
fn = 1/(n+n²x)
S(x) = fn(x) (de n=1 à + l'infini)
I = [0 ; +infini[
I' = ]0 ; +infini[ inclus dans I
I" = [a ; b] segment inclus dans I'
PLAN D'ETUDE :
CVS (et CVA) :
Pour x=0 : fn(0) =
1/n DV (d'après Riemann)
Pour x>0 : fn(x) =
1/(n+n²x) CV (d'après Riemann)
Donc : fn est CVS sur I' (mais pas sur I).
NB : fn(x) > 0 donc la CVS entraîne également la CVA sur I'.
CVN sur I :
Il est inutile d'inclure 0 dans le domaine étudié, puisqu'on sait déjà qu'il n'y a pas CVS en 0.
Donc fn est non CVN sur I.
CVN sur I' :
Pour x>0 : fn(x) = 1/(n+n²x)
fn(x) est positive décroissante...
==> sup|fn(x)|I' = 1/n dont la série DV (Riemann).
Donc fn est non CVN sur I'.
CVN sur I" :
Pour tout segment I" = [a;b] inclus dans I' :
fn(x) est positive décroissante...
==> sup|fn(x)|I" = fn(a) = 1/(n+an²) ~ 1/(an²) dont la série CV (Riemann).
Donc fn est CVN sur tout segment I" inclus dans I'.
Donc fn est CVU sur tout segment I" inclus dans I'.
Comme les fn sont continues sur I', on en déduit que la somme S(x) est continue sur I'.
Remarque : la somme S(x) n'est pas continue sur I en entier...
... car elle est discontinue en 0 (elle n'est d'ailleurs même pas définie en 0).
Bonjour LeDino,
Merci beaucoup, je vais regarder cela et reposter.
Qu'entends-tu par CVA ? (convergence normale ?)
Te remerciant.
Mouai mouai mouai ...
Et bien écoute LeDino je ne sais comment te remercier pour ce cheminement explicatif aussi clair, je pense que je commence à intégrer la notion.
J'ai encore quelques questions si tu veux bien.
1)-
3)-
Et j'aurai une 3ème question, la plus importante à mes yeux :
Pour la 3eme question :
Ah Bravo Léo !!!!
ça y est, je viens de comprendre mon beau mélange de pinceaux !!!
Elle est belle celle-là !
Dans mon cours, ce n'est pas :
"Il suffit en fait que la convergence de soit uniforme sur tout intervalle fermé borné de I, pour assurer la convergence de
sur I."
Mais :
"Il suffit en fait que la convergence de soit uniforme sur tout intervalle fermé borné de I, pour assurer la
de
sur I."
Mon Dieu ....
Ce qui m'ammène à une autre demande de précisions pour que je ferme bien la boucle :
Peux-ti me préciser ta remarque LeDino stp :
Pour la CVA, c'est juste une remarque "en passant".
La CVA est simplement la convergence de la série |fn|.
Une série positive qui est CVS est donc CVA.
J'ai mentionné ce détail juste pour passer en revue tous les types de convergence.
Ca n'a pas grande importance...
Pour la continuité de S(x) c'est également juste une remarque en passant.
La CVU sur tout segment I'' de I' entraîne la continuité de S(x) sur I' (les fn étant continues).
Il est normal de se demander s'il y a également continuité sur I, donc en zéro.
Or la non continuité en 0 est évidente puisque S(x) n'existe pas en 0.
Puisque tu es "chaud" sur le sujet... une autre remarque en passant :
La propriété sur la continuité des séries CVU :
Une série de fn continues, CVU sur tout segment de I, a sa somme S(x) continue sur I...
... est souvent utilisée "à l'envers" pour prouver la non CVU d'une série.
Il y a beaucoup d'exercices où on te donne une série de fn continues qui est CVS sur I...
... MAIS qui n'est pas continue en une borne de I.
Tu peux alors en déduire qu'elle n'est pas CVU sur I car sinon, il y aurait continuité de S(x) sur tout le domaine I.
Exemple :
fn(x) = x.e-nx
I = R+
Pour x = 0 : fn(0) = 0.e0 = 0*1 = 0 ==> S(0) = 0
Pour x > 0 : fn(x) = x.exp(-x)n
On pose : exp(-x) = q 0 < q < 1
Somme des fn est alors une série géométrique...
fn(x) = x.
qn
fn(x) = x/(1-e-x) ~ x/(1-(1-x)) ~ 1
On prouve l'existence de S(x), donc la série est CVS.
Mais on voit que S(x) ~ 1 en 0...
Or S(0) = 0 différent de sa limite ==> S(x) est discontinue en 0.
On note que les fn sont continues sur I.
Donc la série n'est pas CVU sur I.
... Ca c'est à retenir, parce que tu auras forcément ce genre d'exercice.
Je crois qu'il se passe le même genre de chose avec : fn(x) = sin²x.cosnx
... à vérifier ...
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :