Bonjour, j'ai une question concernant la convergence uniforme des suites de fonctions :
Si on a reussi a montrer qu'une suite de fonctions converge uniformément sur tout segment inclus dans R+ vers une fonction f, suffit il de dire que la suite de fonctions tend, quand x tend vers l'infini, vers lim de f en plus infini ?
Sinon, y a t il une methode pour procéder a cette généralisation (quand on peut bien sur) ?
Salut.
Je crois que j'ai pas compris ta question, tu peux reformuler stp ?
Bonjour, j'ai une question concernant la convergence uniforme des suites de fonctions :
Si on a reussi a montrer qu'une suite de fonctions converge uniformément sur tout segment inclus dans R+ vers une fonction f, suffit il de dire que la suite de fonctions tend, quand x tend vers l'infini, vers lim de f en plus infini pour conclure qu'il ya convergence uniforme sur R+?
Sinon, y a t il une methode pour procéder a cette généralisation (quand on peut bien sur) ?
Ah je comprends mieux.
Alors, si il y a convergence uniforme sur tous les segments de R+, tu ne peux pas conclure à la convergence uniforme sur R, pour la simple raison que c'est pas vrai ! Il y a des contres exemples de suite de fonction qui convergent uniformément sur tous les segments vers une fonction f, mais qui ne converge pas uniformément vers f sur R+ tout entier.
Cependant, le plus souvent on demande de montrer que la fonction limite f est CONTINUE sur R+, et, dans ce cas, la convergence uniforme sur tous les segments suffit.
(remplacer segments par compacts pour obtenir un principe d'analyse à retenir : localisation)
JE me suis encore mal exprimé alors. Je sais bien qu'il n'y a pas forcément convergence sur R+, je voulais juste savoir si la convergence sur un segment, et en plus une limite commune en +infini suffisaient a conclure quant a la convergence uniforme sur R+
Tu es sûr ...?Envoyé par GuYem
Il me semble que la suite :converge uniformément vers
Enfin je crois...non ?
C'est exactement ce que j'ai dit qu'il était possible d'observer.Tu es sûr ...?
Il me semble que la suite :
Enfin je crois...non ?
Pour la question de Gpadide, que j'ai enfin comprise, je ne saurais répondre
Salut, si on essaye de démontrer l'assertion de gpapide on a besoin d'uniformité sur les limites, ie pas :
Pour tout epsilon,
Pour tout k, il existe N(k,epsilon) tel que
|f_k (x) -l | < epsilon
En effet, dans ce cas N(k, epsilon) peut partir à l'infini quand k tend vers l'infini.
Il faut de l'uniformité quelque part, ie il faut que il existe un N(epsilon) tel que pour tout k, N(k,epsilon) <N(epsilon).
Je suis sûr que ça devrait aider à trouver un contre exemple.
__
rvz
L'exemple de tize donne une réponse négative à la question posée.
En effet, chacune des sommes partielles tend vers +infty quand t tend vers +infty.
Ceci est encore vrai pour la fonction limite (l'exponentielle).
Pourtant, la suite des sommes partielles ne converge pas uniformément vers exp sur R tout entier.
Certes, mais si on suppose la limite finie. Dans le contre exemple de Tize, on a quand même deux infinis "de force différente" donc c'est clair que c'est divergent. J'aimerai bien un contre exemple avec des limites finies...
__
rvz
Si la limite est finie, l'hypothèse implique que f_n et f se prolongent en des fonctions continues définies sur l'ensemble (R^+)barre, à valeurs réelles.
Je suppose pour simplifier que f=0.
On remarque aussi que g_n\le f_n \le h_n
où g_n=inf(f_k, k>=n) et h_n=sup(f_k, k>=n).
Les suites g_n et h_n sont monotones et convergent simplement vers 0 sur le compact R^+bar.
Par le théorème de Dini, la convergence est uniforme. Par le théorème des gendarmes, c'est aussi vrai pour f_n.
Ca marche, non?
Non, ça ne peut pas marcher, sorry.
On peut prendre tout simplement la suite
de fonctions affines par morceaux tq
fn(t) = 0 sur [0,n]
fn(t) = 1 sur [n+1,n+2]
fn(t)= 0 sur [n+3, +oo[
Si vous voyez la faute dans la démo du précédent post, merci de me l'indiquer.
edit: encore plus simple, la bosse translatée : prendre une fonction g à support compact et poser
fn(t)=g(t+n)
Le problème dans la démonstration fausse est je crois que les fonctions gn et hn convergent bien uniformément sur R^+ bar, mais pas nécessairement vers la meme limite.
Désolé, je continue mon monologue (si ça intéresse encore quelqu'un). Voici une réposne complète à la question de départ.
On se donne donc une suite de fonctions (fn) continues qui converge uniformément sur tout compact de R^+ vers une fonction notée f. On suppose de plus que que les fonctions fn et f admettent une limite commune L en +oo
Premier cas : L est finie
Alors la suite (fn) converge uniformément sur R tout entier si et seulement si la suite (fn) est équicontinue à l'infini ie
preuve : on passe par le compactifié bar R^+ et on applique le théorème d'Ascoli
applications : la famille (fn) est équicontinue à l'infini dans chacun des cas suivants
1. la suite (fn) est monotone dans un voisinage de +oo
2. chaque fonction fn est croissante sur un voisinage fixé de +oo
3. la suite (fn) est uniformément lipschitzienne à l'infini ie
Deuxième cas : L=+oo
Alors la suite (fn) converge uniformément sur R tout entier si et seulement si les deux conditions suivantes sont satisfaites
1. la suite (fn) est équicontinue à l'infini
2. pour tout n,m,
Remplacer "pour tout n,m" par "il existe N tel que pour tout n,m>N".2. pour tout n,m,
Salut edpiste,
Tu as donné le contre exemple que je demandais (La bosse).
Comme je le disais, le problème est une question d'uniformité de la convergence en l'infini, ce qui revient à dire qu'il y a convergence uniforme de f_n su tout segment de Rachevé. D'ailleurs, le problème dans ta preuve vient du fait que les 2 topologies R et Rachevé ne sont pas les mêmes... Surtout en l'infini !
__
rvz
Je ne suis pas tout à fait d'accord. La topologie de R achevé induit la topologie de R. En particulier, toute fonction continue su R qui admet une limite à l'infini est une fonction continue sur R achevé et réciproquement. Il n'y avait donc pas de problème de ce point de vue dans la preuve (le vrai problème était celui que j'ai mentionné plus haut, comme on peut le voir sur l'exemple de la bosse glissante pour lequel gn tend vers 0 et hn tend vers 1).
