Avertissement

Ce contenu a été généré par une intelligence artificielle (LLM) et peut contenir des imprécisions ou des erreurs malgré notre relecture attentive. Il s'agit d'un outil d'apprentissage et non d'une référence académique.

Si vous constatez des erreurs, merci de nous les signaler via la page "À propos".

Suites et séries de fonctions


Concept 1: Convergence simple

Prérequis

  • Convergence des suites numériques (suites de nombres réels ou complexes).
  • Convergence des séries numériques.
  • Notion de fonction, domaine de définition et image.

Définition

La convergence simple est la notion la plus intuitive de convergence pour une suite ou une série de fonctions. Elle revient à fixer la variable tt et à regarder la convergence de la suite ou série de nombres résultante.

Soit DD une partie non vide de K\mathbb{K} (où K=R\mathbb{K} = \mathbb{R} ou C\mathbb{C}).

Pour une suite de fonctions :

Une suite de fonctions (fn)nN(f_n)_{n \in \mathbb{N}} de DD dans K\mathbb{K} converge simplement vers la fonction ff sur DD si, pour tout tDt \in D fixé, la suite numérique (fn(t))nN(f_n(t))_{n \in \mathbb{N}} converge vers le nombre f(t)f(t).

tD,limn+fn(t)=f(t)\forall t \in D, \lim_{n \to +\infty} f_n(t) = f(t)

Pour une série de fonctions :

Une série de fonctions de terme général unu_n converge simplement sur DD si la suite de ses sommes partielles sn(t)=i=0nui(t)s_n(t) = \sum_{i=0}^n u_i(t) converge simplement. Cela signifie que pour tout tDt \in D, la série numérique un(t)\sum u_n(t) est convergente.

Propriétés Clés

  • Dépendance ponctuelle : La vitesse de convergence peut dépendre de tt. Dans la définition formelle avec les ε\varepsilon, le rang NN dépend à la fois de ε\varepsilon et de tt :

    tD,ε>0,Nt,εN tel que nNt,εfn(t)f(t)ε\forall t \in D , \forall \varepsilon > 0 , \exists N_{t,\varepsilon} \in \mathbb{N} \text{ tel que } n \ge N_{t,\varepsilon} \Rightarrow | f_n(t) - f(t)| \le \varepsilon

  • Non-transmission des propriétés : La convergence simple est souvent trop faible pour conserver les propriétés qualitatives des fonctions fnf_n (comme la continuité, la dérivabilité ou l’intégrabilité) lors du passage à la limite ff.

Exemples

Exemple 1 : Suite de puissances

Soit la suite de fonctions définie sur D=[0,1]D = [0, 1] par fn(t)=tnf_n(t) = t^n.

Pour étudier la convergence simple, on fixe tt :

  • Si 0t<10 \le t < 1, alors tn0t^n \to 0 quand n+n \to +\infty (suite géométrique de raison <1< 1).
  • Si t=1t = 1, alors fn(1)=1n=1f_n(1) = 1^n = 1, donc la limite est 11.

La suite converge simplement vers la fonction limite ff définie par :

f(t)={0si t[0,1[1si t=1f(t) = \begin{cases} 0 & \text{si } t \in [0, 1[ \\ 1 & \text{si } t = 1 \end{cases}

Exemple 2 : Étalement de bosse

Soit la suite définie sur R\mathbb{R} par fn(t)=tnf_n(t) = \frac{t}{n}.

Pour tout tRt \in \mathbb{R} fixé, limn+tn=0\lim_{n \to +\infty} \frac{t}{n} = 0.

La suite converge simplement vers la fonction nulle f(t)=0f(t) = 0 sur R\mathbb{R}.

Exemple 3 : Série géométrique de fonctions

Soit la série de terme général un(t)=tnu_n(t) = t^n définie sur D=]1,1[D = ]-1, 1[.

Pour tout tDt \in D, la série numérique tn\sum t^n est une série géométrique de raison t<1|t| < 1, donc elle converge.

La série converge simplement vers la somme :

s(t)=n=0+tn=11ts(t) = \sum_{n=0}^{+\infty} t^n = \frac{1}{1-t}

Contre-exemples

Contre-exemple de transmission de la continuité

L’exemple 1 ci-dessus montre une suite de fonctions fn(t)=tnf_n(t) = t^n qui sont toutes continues sur [0,1][0, 1]. Pourtant, leur limite simple ff est discontinue en t=1t=1 (saut de 0 à 1). La convergence simple ne préserve pas la continuité.

Contre-exemple de transmission de l’intégrale

Soit fn(t)=nt(1t2)nf_n(t) = n t (1-t^2)^n sur [0,1][0, 1]. Cette suite converge simplement vers la fonction nulle (car pour t]0,1[t \in ]0,1[, la puissance l’emporte sur le facteur nn). L’intégrale de la limite est 010dt=0\int_0^1 0 dt = 0.

Cependant, le calcul direct donne 01fn(t)dt=n2n+212\int_0^1 f_n(t) dt = \frac{n}{2n+2} \to \frac{1}{2}.

Ici, limfnlimfn\lim \int f_n \neq \int \lim f_n.

Concepts Liés

  • Convergence uniforme : Une convergence plus forte qui corrige les défauts de la convergence simple.
  • Topologie : La convergence simple correspond à la topologie de la convergence ponctuelle (topologie produit).

Concept 2: Convergence uniforme et Norme infinie

Prérequis

  • Convergence simple.
  • Bornes supérieures (sup).
  • Espace vectoriel des fonctions bornées.

Définition

La convergence uniforme est une convergence “globale” sur l’ensemble DD. Elle exige que la suite de fonctions s’approche de la limite avec la même “vitesse” (ou du moins une vitesse minimale commune) pour tous les points tDt \in D.

Norme de la convergence uniforme (Norme infinie) :

Pour une fonction ff bornée sur DD, on définit :

f=suptDf(t)\|f\|_\infty = \sup_{t \in D} |f(t)|

Définition pour les suites :

La suite (fn)nN(f_n)_{n \in \mathbb{N}} converge uniformément vers ff sur DD si la distance maximale entre fnf_n et ff tend vers 0.

limn+fnf=0    limn+(suptDfn(t)f(t))=0\lim_{n \to +\infty} \|f_n - f\|_\infty = 0 \iff \lim_{n \to +\infty} \left( \sup_{t \in D} |f_n(t) - f(t)| \right) = 0

En termes de quantificateurs, le rang NN dépend de ε\varepsilon mais pas de tt :

ε>0,NN,nN,tD,fn(t)f(t)ε\forall \varepsilon > 0, \exists N \in \mathbb{N}, \forall n \ge N, \forall t \in D, |f_n(t) - f(t)| \le \varepsilon

Définition pour les séries :

La série de terme général unu_n converge uniformément sur DD si la suite des sommes partielles sn=i=0nuis_n = \sum_{i=0}^n u_i converge uniformément vers la somme ss. Cela revient à dire que la suite des restes rn(t)=i=n+1+ui(t)r_n(t) = \sum_{i=n+1}^{+\infty} u_i(t) converge uniformément vers 0.

Propriétés Clés

  • Implique la convergence simple : Si fnf_n converge uniformément vers ff, alors elle converge simplement vers ff.
  • Critère de Cauchy uniforme : L’espace des fonctions bornées muni de la norme \|\cdot\|_\infty est complet (Espace de Banach). Une suite converge uniformément si et seulement si fpfq0\|f_p - f_q\|_\infty \to 0 quand p,qp, q \to \infty.
  • Condition nécessaire pour les séries : Si la série un\sum u_n converge uniformément, alors la suite des termes généraux converge uniformément vers 0 (un0\|u_n\|_\infty \to 0).

Exemples

Exemple 1 : Convergence uniforme

Soit fn(t)=sin(nt)nf_n(t) = \frac{\sin(nt)}{n} sur R\mathbb{R}.

On a fn(t)0=sin(nt)n1n|f_n(t) - 0| = \left| \frac{\sin(nt)}{n} \right| \le \frac{1}{n}.

Donc suptRfn(t)01n\sup_{t \in \mathbb{R}} |f_n(t) - 0| \le \frac{1}{n}.

Comme limn+1n=0\lim_{n \to +\infty} \frac{1}{n} = 0, la suite converge uniformément vers la fonction nulle sur R\mathbb{R}.

Exemple 2 : Calcul de la norme infinie

Soit fn(t)=xnf_n(t) = x^n sur D=[0,12]D = [0, \frac{1}{2}]. La limite simple est 0.

fn0=supt[0,1/2]tn=(12)n\|f_n - 0\|_\infty = \sup_{t \in [0, 1/2]} |t^n| = (\frac{1}{2})^n.

Comme (12)n0(\frac{1}{2})^n \to 0, il y a convergence uniforme sur [0,12][0, \frac{1}{2}].

Exemple 3 : Série de fonctions

La série de terme général un(z)=znu_n(z) = z^n sur le disque fermé Dr={zC:zr}D_r = \{z \in \mathbb{C} : |z| \le r\} avec r<1r < 1.

Le reste est majoré : rn(z)=i=n+1zii=n+1ri=rn+11r|r_n(z)| = |\sum_{i=n+1}^\infty z^i| \le \sum_{i=n+1}^\infty r^i = \frac{r^{n+1}}{1-r}.

Puisque ce majorant (indépendant de zz) tend vers 0, la convergence est uniforme sur DrD_r.

Contre-exemples

Absence de convergence uniforme

Reprenons fn(t)=tnf_n(t) = t^n sur [0,1][0, 1]. La limite simple est ff (qui vaut 0 sur [0,1[[0,1[ et 1 en 1).

Étudions supt[0,1]fn(t)f(t)\sup_{t \in [0,1]} |f_n(t) - f(t)|.

Pour t[0,1[t \in [0, 1[, tn0=tn|t^n - 0| = t^n. Le sup est 1 (atteint à la limite en 11^-).

Pour t=1t=1, 1n1=0|1^n - 1| = 0.

Donc fnf=1\|f_n - f\|_\infty = 1. Cette suite ne tend pas vers 0. La convergence n’est pas uniforme sur [0,1][0, 1].

Série convergente simplement mais pas uniformément

La série géométrique tn\sum t^n sur ]1,1[]-1, 1[.

Bien qu’elle converge simplement vers 11t\frac{1}{1-t}, elle ne converge pas uniformément sur tout l’intervalle ouvert. En effet, le terme général un(t)=tnu_n(t) = t^n ne tend pas uniformément vers 0 car supt]1,1[tn=10\sup_{t \in ]-1,1[} |t^n| = 1 \nrightarrow 0.

Concepts Liés

  • Convergence normale : Une condition suffisante plus facile à vérifier pour les séries.
  • Espace de Banach : B(D)\mathcal{B}(D) muni de la norme sup est complet.

Concept 3: Convergence Normale (pour les séries)

Prérequis

  • Convergence uniforme.
  • Séries numériques à termes positifs.
  • Norme infinie.

Définition

C’est un critère pratique et très fort pour prouver la convergence uniforme des séries. Au lieu de regarder les restes de la série, on regarde la série des normes.

Une série de fonctions de terme général unu_n converge normalement sur DD si la série numérique à termes positifs un\sum \|u_n\|_\infty est convergente.

C’est-à-dire :

n=0+(suptDun(t))<+\sum_{n=0}^{+\infty} \left( \sup_{t \in D} |u_n(t)| \right) < +\infty

Propriétés Clés

  • Implication fondamentale :

    Convergence NormaleConvergence UniformeConvergence Simple\text{Convergence Normale} \Rightarrow \text{Convergence Uniforme} \Rightarrow \text{Convergence Simple}

    C’est le moyen le plus standard de montrer qu’une série de fonctions converge uniformément.

  • Facilité d’étude : On se ramène à l’étude d’une série numérique (souvent via des comparaisons ou des équivalents), ce qui évite de manipuler des sommes partielles complexes.

Exemples

Exemple 1 : Série trigonométrique

Soit la série définie par un(t)=sin(nt)n2u_n(t) = \frac{\sin(nt)}{n^2} sur R\mathbb{R}.

On majore le terme général indépendamment de tt :

un(t)=sin(nt)n21n2|u_n(t)| = \left| \frac{\sin(nt)}{n^2} \right| \le \frac{1}{n^2}

Donc un1n2\|u_n\|_\infty \le \frac{1}{n^2}.

La série numérique 1n2\sum \frac{1}{n^2} est une série de Riemann convergente (2>12 > 1).

La série de fonctions converge donc normalement (et donc uniformément) sur R\mathbb{R}.

Exemple 2 : Série entière sur un disque compact

Pour la série un(z)=znn!u_n(z) = \frac{z^n}{n!} sur le disque DR={zC:zR}D_R = \{z \in \mathbb{C} : |z| \le R\}.

un=supzRznn!=Rnn!\|u_n\|_\infty = \sup_{|z| \le R} \frac{|z|^n}{n!} = \frac{R^n}{n!}.

La série numérique Rnn!\sum \frac{R^n}{n!} converge (vers eRe^R). Donc la série de fonctions converge normalement sur DRD_R.

Exemple 3 : Domaine dépendant

un(t)=entu_n(t) = e^{-nt} sur [a,+[[a, +\infty[ avec a>0a > 0.

un=ena\|u_n\|_\infty = e^{-na}. La série géométrique (ea)n\sum (e^{-a})^n converge car ea<1e^{-a} < 1.

Il y a convergence normale sur [a,+[[a, +\infty[.

Contre-exemples

Convergence Uniforme sans Convergence Normale

La série alternée un(t)=(1)nn+tu_n(t) = \frac{(-1)^n}{n+t} sur [0,1][0, 1].

  • Convergence Normale ? un=supt[0,1]1n+t=1n\|u_n\|_\infty = \sup_{t \in [0,1]} \frac{1}{n+t} = \frac{1}{n}. La série 1n\sum \frac{1}{n} diverge (série harmonique). Donc pas de convergence normale.
  • Convergence Uniforme ? Oui, grâce au critère des séries alternées. Le reste est majoré par la valeur absolue du premier terme négligé : rn(t)un+1(t)=1n+1+t1n+1|r_n(t)| \le |u_{n+1}(t)| = \frac{1}{n+1+t} \le \frac{1}{n+1}.

Comme 1n+1\frac{1}{n+1} tend vers 0 indépendamment de tt, il y a convergence uniforme.

Concepts Liés

  • Critère de Weierstrass (M-test) : C’est le nom international souvent donné à la méthode consistant à majorer un(t)|u_n(t)| par un terme MnM_n tel que Mn\sum M_n converge.

Concept 4: Continuité sous convergence uniforme

Prérequis

  • Notion de continuité en un point et sur un ensemble.
  • Convergence uniforme des suites et séries.
  • Interversion de limites.

Définition (Théorème)

Ce théorème donne une condition suffisante pour que la limite d’une suite (ou la somme d’une série) de fonctions continues soit elle-même continue.

Pour les suites :

Si une suite de fonctions (fn)nN(f_n)_{n \in \mathbb{N}} converge uniformément vers ff sur DD, et si chaque fnf_n est continue en t0Dt_0 \in D, alors la fonction limite ff est continue en t0t_0.

Pour les séries :

Si une série de fonctions de terme général unu_n continu converge uniformément sur DD, alors sa somme s=n=0uns = \sum_{n=0}^\infty u_n est continue sur DD.

Propriétés Clés

  • Interversion des limites : Ce résultat permet d’intervertir la limite de la fonction et la limite de la suite :

    limtt0(limn+fn(t))=limn+(limtt0fn(t))\lim_{t \to t_0} \left( \lim_{n \to +\infty} f_n(t) \right) = \lim_{n \to +\infty} \left( \lim_{t \to t_0} f_n(t) \right)

  • Contraposée utile : Si une suite de fonctions continues converge simplement vers une fonction discontinue, alors la convergence n’est pas uniforme. C’est un moyen très efficace pour prouver la non-uniformité.

Exemples

Exemple 1 : Continuité de la somme

La série n=1sin(nt)n2\sum_{n=1}^\infty \frac{\sin(nt)}{n^2} converge normalement (voir Concept 3) donc uniformément sur R\mathbb{R}.

Puisque chaque fonction tsin(nt)n2t \mapsto \frac{\sin(nt)}{n^2} est continue, la fonction somme S(t)=n=1sin(nt)n2S(t) = \sum_{n=1}^\infty \frac{\sin(nt)}{n^2} est obligatoirement continue sur R\mathbb{R}.

Exemple 2 : Fonction Zêta (sur un domaine restreint)

La série n=11nt\sum_{n=1}^\infty \frac{1}{n^t} définit la fonction ζ(t)\zeta(t).

Sur l’intervalle [a,+[[a, +\infty[ avec a>1a > 1, on a 1nt1na|\frac{1}{n^t}| \le \frac{1}{n^a}.

La série converge normalement sur [a,+[[a, +\infty[, donc uniformément.

Les fonctions termes étant continues, ζ\zeta est continue sur [a,+[[a, +\infty[. Comme ceci est vrai pour tout a>1a > 1, ζ\zeta est continue sur ]1,+[]1, +\infty[.

Exemple 3 : Utilisation de la contraposée

Reprenons fn(t)=tnf_n(t) = t^n sur [0,1][0, 1].

Les fnf_n sont continues. La limite simple ff est discontinue en 1.

Conclusion immédiate : la convergence n’est pas uniforme sur [0,1][0, 1].

Contre-exemples

Limite continue mais pas de convergence uniforme

Attention, la réciproque est fausse. Une limite peut être continue sans que la convergence soit uniforme.

Soit fn(t)=n2tentf_n(t) = n^2 t e^{-nt} sur [0,+[[0, +\infty[.

La limite simple est f(t)=0f(t) = 0 (fonction continue).

Pourtant, le maximum de fnf_n est ne\frac{n}{e}, qui tend vers l’infini. La convergence n’est pas uniforme, bien que la limite soit continue.

Concepts Liés

  • Espace C(D)\mathcal{C}(D) : Si DD est compact, l’espace des fonctions continues muni de la norme uniforme est un espace de Banach.

Concept 5: Intégration sous convergence uniforme

Prérequis

  • Intégrale de Riemann.
  • Convergence uniforme.
  • Continuité sur un segment.

Définition (Théorème)

Ce concept permet d’échanger les symboles “limite” (ou “somme”) et “intégrale”.

Pour les suites :

Soit (fn)nN(f_n)_{n \in \mathbb{N}} une suite de fonctions continues sur un segment [a,b][a, b] qui converge uniformément vers ff. Alors :

  1. La suite des intégrales converge vers l’intégrale de la limite.
  2. La suite des primitives converge uniformément vers la primitive de la limite.

limn+abfn(t)dt=ab(limn+fn(t))dt=abf(t)dt\lim_{n \to +\infty} \int_a^b f_n(t) dt = \int_a^b \left( \lim_{n \to +\infty} f_n(t) \right) dt = \int_a^b f(t) dt

Pour les séries :

Si la série un\sum u_n de fonctions continues converge uniformément sur [a,b][a, b], alors on peut intégrer terme à terme :

ab(n=0+un(t))dt=n=0+(abun(t)dt)\int_a^b \left( \sum_{n=0}^{+\infty} u_n(t) \right) dt = \sum_{n=0}^{+\infty} \left( \int_a^b u_n(t) dt \right)

Propriétés Clés

  • Robustesse : Contrairement à la dérivation, l’intégration est une opération “lissante”. La convergence uniforme est suffisante (et même parfois des conditions plus faibles suffisent, comme en théorie de Lebesgue, mais dans ce cours on se limite à la convergence uniforme).
  • Extension aux bornes variables : Si on définit Fn(x)=axfn(t)dtF_n(x) = \int_a^x f_n(t) dt, alors (Fn)(F_n) converge uniformément vers F(x)=axf(t)dtF(x) = \int_a^x f(t) dt sur [a,b][a, b].

Exemples

Exemple 1 : Intégration terme à terme

On veut calculer l’intégrale de la série géométrique sur [0,x][0, x] avec x<1|x| < 1.

On sait que n=0tn=11t\sum_{n=0}^\infty t^n = \frac{1}{1-t}.

La convergence est uniforme sur le segment [0,x][0, x] (si x<1x<1 est fixé, on est sur un compact inclus dans le disque de convergence).

0x11tdt=n=00xtndt=n=0[tn+1n+1]0x=n=0xn+1n+1\int_0^x \frac{1}{1-t} dt = \sum_{n=0}^\infty \int_0^x t^n dt = \sum_{n=0}^\infty \left[ \frac{t^{n+1}}{n+1} \right]_0^x = \sum_{n=0}^\infty \frac{x^{n+1}}{n+1}

On retrouve le développement en série de ln(1x)-\ln(1-x).

Exemple 2 : Suite polynomiale

fn(t)=tn(1t)nf_n(t) = t^n (1-t)^n sur [0,1][0, 1].

On a fn(t)(1/4)n|f_n(t)| \le (1/4)^n. La suite converge uniformément vers 0.

Donc limn01tn(1t)ndt=010dt=0\lim_{n \to \infty} \int_0^1 t^n(1-t)^n dt = \int_0^1 0 dt = 0.

Exemple 3 : Échange non valide (Convergence simple)

L’exemple fn(t)=nt(1t2)nf_n(t) = nt(1-t^2)^n converge simplement vers 0 mais fn1/20\int f_n \to 1/2 \neq 0. Cela illustre que la convergence simple ne suffit pas pour appliquer ce théorème.

Contre-exemples

Intégrale sur un intervalle non borné

Même avec convergence uniforme, l’intégration sur un intervalle infini (intégrale impropre) peut poser problème.

fn(t)=1nf_n(t) = \frac{1}{n} sur [0,n][0, n] et 0 ailleurs.

fnf_n converge uniformément vers 0 sur R\mathbb{R} (le sup est 1/n1/n).

Pourtant +fn(t)dt=0n1ndt=1\int_{-\infty}^{+\infty} f_n(t) dt = \int_0^n \frac{1}{n} dt = 1.

La limite des intégrales (1) n’est pas l’intégrale de la limite (0). Le théorème énoncé s’applique strictement sur un segment [a,b][a, b].

Concepts Liés

  • Primitives : L’intégration est l’opération inverse de la dérivation. Ce théorème est souvent utilisé pour justifier la dérivation (voir Concept 6).

Concept 6: Dérivabilité sous convergence uniforme

Prérequis

  • Dérivabilité C1\mathcal{C}^1.
  • Convergence uniforme.
  • Théorème d’intégration (Concept 5).

Définition (Théorème)

C’est le théorème le plus délicat. La convergence uniforme des fonctions fnf_n ne suffit absolument pas à garantir la convergence des dérivées fnf'_n. Il faut supposer la convergence uniforme des dérivées.

Soit (fn)nN(f_n)_{n \in \mathbb{N}} une suite de fonctions de classe C1\mathcal{C}^1 sur un intervalle II.

Hypothèses :

  1. Il existe au moins un point t0It_0 \in I où la suite numérique (fn(t0))(f_n(t_0)) converge.
  2. La suite des dérivées (fn)nN(f'_n)_{n \in \mathbb{N}} converge uniformément vers une fonction gg sur tout sous-intervalle borné de II.

Alors :

  • La suite (fn)(f_n) converge uniformément vers une fonction ff sur tout borné.
  • La fonction limite ff est dérivable (et C1\mathcal{C}^1).
  • f=gf' = g (c’est-à-dire (limfn)=lim(fn)(\lim f_n)' = \lim (f'_n)).

Version Séries :

Si un(t0)\sum u_n(t_0) converge et si un\sum u'_n converge uniformément sur tout borné, alors la somme S(t)S(t) est dérivable et S(t)=un(t)S'(t) = \sum u'_n(t).

Propriétés Clés

  • Importance de l’hypothèse sur fnf'_n : On contrôle la fonction par ses variations. Si les variations convergent bien (uniformément), alors la fonction converge bien.
  • Perte de régularité possible sans uniforme : Sans la convergence uniforme des dérivées, la limite de fonctions lisses peut être “tordue” ou non dérivable.

Exemples

Exemple 1 : Dérivation d’une série

Soit s(t)=n=1sin(nt)n3s(t) = \sum_{n=1}^\infty \frac{\sin(nt)}{n^3}.

C’est une série de fonctions C1\mathcal{C}^1.

La série des dérivées est ncos(nt)n3=cos(nt)n2\sum \frac{n \cos(nt)}{n^3} = \sum \frac{\cos(nt)}{n^2}.

Cette série dérivée converge normalement (donc uniformément) sur R\mathbb{R} car cos(nt)n21n2|\frac{\cos(nt)}{n^2}| \le \frac{1}{n^2}.

De plus, la série initiale converge (simplement et normalement).

Donc ss est C1\mathcal{C}^1 et s(t)=n=1cos(nt)n2s'(t) = \sum_{n=1}^\infty \frac{\cos(nt)}{n^2}.

Exemple 2 : La fonction exponentielle

La série xnn!\sum \frac{x^n}{n!} converge sur R\mathbb{R}.

La série des dérivées est n=1nxn1n!=k=0xkk!\sum_{n=1}^\infty \frac{n x^{n-1}}{n!} = \sum_{k=0}^\infty \frac{x^k}{k!}. C’est la même série !

La convergence est uniforme sur tout intervalle [R,R][-R, R].

Donc la somme S(x)S(x) vérifie S(x)=S(x)S'(x) = S(x). C’est la définition de l’exponentielle.

Exemple 3 : Écriture formelle

Le théorème légitime le calcul :

ddt(n=0+un(t))=n=0+ddtun(t)\frac{d}{dt} \left( \sum_{n=0}^{+\infty} u_n(t) \right) = \sum_{n=0}^{+\infty} \frac{d}{dt} u_n(t)

Contre-exemples

Contre-exemple classique de Weierstrass

Soit fn(t)=sin(nt)nf_n(t) = \frac{\sin(nt)}{\sqrt{n}}.

La suite converge uniformément vers f(t)=0f(t) = 0 (car le sup est 1/n1/\sqrt{n}).

La limite ff est dérivable et f(t)=0f'(t) = 0.

Regardons les dérivées : fn(t)=ncos(nt)f'_n(t) = \sqrt{n} \cos(nt).

Cette suite ne converge pas (elle oscille avec une amplitude croissante). On ne peut pas intervertir limite et dérivée ici car l’hypothèse de convergence uniforme des dérivées n’est pas vérifiée.

Limite non dérivable

La suite fn(t)=t2+1nf_n(t) = \sqrt{t^2 + \frac{1}{n}} converge uniformément vers f(t)=tf(t) = |t| sur R\mathbb{R}.

Les fnf_n sont C1\mathcal{C}^1 partout.

La limite ff n’est pas dérivable en 0.

Cela montre que la convergence uniforme de fnf_n seule ne préserve pas la dérivabilité.

Concepts Liés

  • Fonctions holomorphes : Dans le cadre complexe, les théorèmes sont plus puissants (la convergence uniforme sur tout compact suffit à garantir la dérivabilité à tous les ordres).

Applications

Les concepts de ce chapitre sont fondamentaux pour :

  1. Séries entières et de Fourier : Justifier qu’on peut dériver ou intégrer ces séries terme à terme.
  2. Résolution d’équations différentielles : Construire des solutions sous forme de séries.
  3. Fonctions spéciales : Définir et étudier des fonctions comme la fonction Zêta de Riemann (ζ(s)\zeta(s)) ou la fonction Gamma (Γ(z)\Gamma(z)) qui sont définies par des séries ou des intégrales dépendant d’un paramètre.
  4. Approximation : Remplacer une fonction complexe par une suite de fonctions simples (polynômes) tout en contrôlant l’erreur (Théorème de Weierstrass).