NUMÉRIQUE ANALYSE
Approximation des valeurs d'une forme linéaire
Le problème de l'approximation des valeurs d'une forme linéaire est étroitement lié à celui de l'approximation des fonctions.
Problématique
On se donne une forme linéaire continue L sur un espace vectoriel normé de fonctions E.
Voici deux exemples fondamentaux :
– Intégrale. E = C([a, b]) est ici l'espace des fonctions continues sur[a, b]muni de la norme N∞ et :
Un cadre unificateur pour ces deux types d'exemples est celui des mesures et des distributions.
La difficulté de calculer des valeurs approchées de L(f ) provient du fait que, dans la plupart des cas, on connaît les valeurs de f, voire des valeurs approchées, en certains points seulement de[a, b]. On est donc amené à approcher L par une mesure μ à support fini, c'est-à-dire à approcher L(f ) par :
Plus généralement, on veut étudier les processus linéaires d'interpolation de L par des formes linéaires continues Ln sur E. Il convient de noter qu'il s'agit ici de convergence faible, c'est-à-dire que, pour tout f de E, la suite (Ln(f )) tend vers L(f ). Très souvent, pour approcher L(f ), on se donne un processus linéaire d'approximation de f, c'est-à-dire une suite (un) d'endomorphismes continus de E tels que un(f ) converge vers f et un(g) converge vers g pour g appartenant à un sous-espace dense de E, par exemple si g est un polynôme. On approche alors L(f ) par Ln(f ) = L(un(f )). De ce point de vue, l'étude du processus (Ln) se ramène à celle des processus (un). Mais il y a une différence essentielle : dans le cas du processus (un), on s'intéresse à la convergence au sens de la norme de E, tandis que, pour le processus (Ln), on s'intéresse à la convergence de L(un(f )) vers L(f ) dans C. Il en est de même pour l'étude de la stabilité, de la convergence et de l'optimisation.
Les résultats concernant la stabilité et la consistance s'expriment ici de la manière suivante.
Théorème 1. On suppose E complet. Si le processus d'approximation est stable, c'est-à-dire si la suite de terme général ∥Ln∥ est bornée, et si Ln(g) tend vers L(g) pour g appartenant à un sous-espace dense de E, alors Ln(f ) tend vers L(f ) pour tout f de E.
Soit, en particulier, E = C([a, b]) muni de la norme N∞. Si ∥Ln∥ ≤ M et si, pour tout monôme xp, Ln(xp) → L(xp), alors, pour toute fonction continue f, Ln(f ) → L(f ).
Le cas des formes linéaires positives est particulièrement simple, en raison du résultat suivant qui exprime qu'une forme linéaire positive sur C([a, b]) est une mesure de Radon.
Théorème 2. Toute forme linéaire positive ϕ sur l'espace vectoriel C([a, b]) muni de la norme N∞ est continue.
Plus précisément :
Dans le cas des mesures à support fini, où μ est donné par la formule (1), alors ∥μ∥ = Σ|λj|. Si μ est positive, on a ∥μ∥ = Σ λj = μ(1) ; en revanche, si les λj ne sont pas tous positifs, il peut arriver que, par compensation de signes, |μ(1)| soit petit, bien que ∥μ∥ soit très grand.
En combinant les théorèmes 1 et 2, on obtient ce qui suit.
Théorème 3. Soit L et (Ln) des formes linéaires positives sur C([a, b]). Si, pour tout monôme xp, Ln(xp) → L(xp), alors :
(a) le processus (Ln) est stable, car ∥Ln∥ = |Ln(1)| → L(1) ;
(b) le processus est convergent, c'est-à-dire, pour toute fonction continue f, Ln(f ) → L(f ).
Plaçons-nous maintenant dans le cas particulièrement important où (Ln) est défini[...]
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éjà abonné ? Se connecter
Écrit par
- Jean-Louis OVAERT : agrégé de l'Université, ancien élève de l'École normale supérieure, professeur de mathématiques spéciales
- Jean-Luc VERLEY : maître de conférences honoraire à l'université de Paris-VII
Classification
Autres références
-
ALGORITHME
- Écrit par Alberto NAIBO et Thomas SEILLER
- 5 919 mots
- 4 médias
...donné par ce qu’on appelle les algorithmes de recherche d’un zéro d’une fonction, c’est-à-dire d’une valeur de x telle que f(x) = 0, dans le cadre de l’analyse numérique telle que l’algorithme de la méthode de calcul de Newton (qui permet par exemple de calculer une approximation de la valeur ... -
ALGORITHMIQUE
- Écrit par Philippe COLLARD et Philippe FLAJOLET
- 6 652 mots
- 3 médias
.... Une erreur relative, même faible, sur un entraîne donc une erreur beaucoup plus importante sur u2n. De tels phénomènes sont courants en analyse numérique. On obtient des formules qui ne présentent pas ce caractère de difficulté en multipliant le radical :par sa quantité conjuguée. Il vient,...
-
DÉRIVÉES PARTIELLES (ÉQUATIONS AUX) - Analyse numérique
- Écrit par Claude BARDOS et Martin ZERNER
- 5 849 mots
- 7 médias
Plus peut-être que tout autre domaine des mathématiques, les équations aux dérivés partielles étaient prédisposées à bénéficier de l'utilisation des ordinateurs, pour de nombreuses raisons. La plus importante est leur intervention dans de nombreux problèmes techniques. C'est d'ailleurs...
-
DIFFÉRENTIELLES ÉQUATIONS
- Écrit par Christian COATMELEC , Encyclopædia Universalis et Maurice ROSEAU
- 11 635 mots
...problème discrétisé associé à P1. On remarque alors immédiatement qu'une notion importante va devoir être précisée : comment dire que la solution de Pn converge vers celle de P1 lorsque n tend vers + ∞. L'analysenumérique devra fournir des majorations pour |y(xi) − yi|. - Afficher les 10 références
