Abonnez-vous à Universalis pour 1 euro

FONCTIONS REPRÉSENTATION & APPROXIMATION DES

Stabilité et consistance

On peut décrire les procédés linéaires d'approximation par le schéma général suivant : soit E et F des espaces vectoriels normés de fonctions, et u une application linéaire continue de E dans F. Un processus linéaire d'approximation de u est une suite (un) d'applications linéaires continues de E dans F telles que, pour tout élément f de E, un(f ) converge vers u(f ).

Le cas le plus classique est celui où F = E et où u est l'application identique de E, c'est-à-dire où un(f ) converge vers f ; nous en avons fourni de nombreux exemples aux chapitres 4 et 5, les plus significatifs étant ceux des séries de Fourier et de l'interpolation de Lagrange. Le cas où F = C, c'est-à-dire où u est une forme linéaire sur E est aussi très intéressant (cf. analyse numérique).

Stabilité

Un des problèmes les plus importants, surtout pour l'analyse numérique, concerne la stabilité du processus (un) : si l'on fait une petite erreur sur la fonction f, c'est-à-dire si on remplace f par une fonction g proche de f dans E, un(g) converge-t-elle vers un élément proche de u(f ) ? La réponse est fournie par le résultat suivant.

Théorème 1. Caractérisation des processus stables.

1. Si la suite (∥un∥) des normes des applications linéaires un est bornée par un nombre M indépendant de n, alors, pour tout couple (f, g) d'éléments de E :

2. Réciproquement, si (∥un∥) n'est pas bornée, alors, pour tout élément f de E, il existe une suite (gn) d'éléments de E qui converge vers f et telle que ∥un(gn) − u(f )∥ → + ∞.

C'est pourquoi, on dit que le processus (un) est stable dans le cas (1) et instable dans le cas (2).

En fait, ce résultat n'est pertinent que si les espaces normés E et F sont complets, car, si E n'est pas complet, E est un sous-espace dense d'un espace normé plus gros, à savoir son complété ; si bien que, en faisant une erreur sur f, on risque de passer à un élément g de Ê qui n'appartient pas à E. C'est le cas où, par exemple, Ê = C([a, b]) muni de la norme de la convergence uniforme et si E = Cp([a, b]). D'où l'intérêt du résultat suivant.

Théorème 1′. Stabilité et passage à un sous-espace vectoriel dense. Soit Ê et F des espaces de Banach et E un sous-espace dense de Ê. On considère une suite (un) d'applications linéaires continues de E dans F satisfaisant aux deux conditions suivantes :

a) pour tout f de E, un(f ) → u(f ) ;

b) la suite des normes (∥un∥) est bornée par M.

Alors u est linéaire continue sur E, ∥u∥ ≤ M, et les applications un et u se prolongent de manière unique en des applications linéaires continues de Ê dans F, qui satisfont aux conditions (a) et (b) sur Ê. Ainsi, le processus (un) est stable, non seulement sur E mais sur Ê.

Dans le cas où E est complet, il est tout à fait remarquable que la convergence implique la stabilité.

Théorème 2 (stabilité et complétude). Soit E et F des espaces de Banach, (un) une suite d'applications linéaires continues de E dans F telle que, pour tout x de E, la suite (un(x)) converge dans F vers u(x). Alors :

a) il existe M tel que ∥un∥ ≤ M ;

b) u est linéaire continue ;

c) un → u uniformément sur tout compact de E.

C'est le théorème de Banach-Steinhaus (cf. espaces vectoriels normés, chap. 4).

Le cas des séries de Fourier est à cet égard exemplaire ; c'est d'ailleurs un des exemples qui a été historiquement à l'origine du théorème général précédent. Ici E est l'espace vectoriel C(T) des fonctions continues 1-périodiques muni de la norme N ; cet espace est complet ; un est la forme linéaire qui, à tout élément f de C(T), associe la valeur de la somme partielle sn(f ) de sa série de Fourier en un point donné x ; un(f [...]

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

  • : agrégé de l'Université, ancien élève de l'École normale supérieure, professeur de mathématiques spéciales
  • : maître de conférences honoraire à l'université de Paris-VII

Classification

Médias

Graphe de f pour <RM>N</RM><INF>x</INF>(f)petit - crédits : Encyclopædia Universalis France

Graphe de f pour Nx(f)petit

Graphe de f pour <RM>N</RM><INF>1</INF>(f) petit - crédits : Encyclopædia Universalis France

Graphe de f pour N1(f) petit

Fonction à oscillation rapide - crédits : Encyclopædia Universalis France

Fonction à oscillation rapide

Autres références

  • DARBOUX GASTON (1842-1917)

    • Écrit par
    • 320 mots

    Mathématicien français, né à Nîmes et mort à Paris. Après des études à l'École normale supérieure, Darboux fut l'assistant de J. Bertrand à la chaire de physique mathématique au Collège de France (1866-1867), puis enseigna au lycée Louis-le-Grand (1867-1872) et à l'École normale...

  • DÉRIVÉES PARTIELLES (ÉQUATIONS AUX) - Analyse numérique

    • Écrit par et
    • 5 849 mots
    • 7 médias
    Du point de vue mathématique, les méthodes d'éléments finis sont une sous-famille des méthodes de Ritz-Galerkin. Pour les problèmes variationnels, ces méthodes consistent à remplacer l'espace V des fonctions admissibles par un de ses sous-espaces VN dit « espace d'approximation ».
  • DIFFÉRENTIELLES ÉQUATIONS

    • Écrit par , et
    • 11 635 mots
    ..., ..., yn), suite finie de n + 1 nombres réels telle que :
    où :
    ce problème Pn est obtenu en divisant I = [x0, x0 + a]en n parties égales avec un pas égal à h = a/n et en cherchant uneapproximation yi de y(xi) où y est la solution (lorsqu'elle est unique) de P1.
  • GELFOND ALEXANDRE OSSIPOVITCH (1906-1968)

    • Écrit par
    • 156 mots

    Mathématicien russe, né à Saint-Pétersbourg et mort à Moscou. Le nom de Gelfond reste attaché à l'étude des nombres transcendants ; on lui doit aussi d'importants résultats sur l'interpolation et l'approximation des fonctions de variable complexe. Depuis 1931, Gelfond a enseigné les mathématiques...

  • Afficher les 14 références