Mode de convergence dans un espace vectoriel topologique (typiquement un espace de Banach ou d'Hilbert, ou un espace de mesures) où une suite x_n converge faiblement vers x si toute forme linéaire continue φ vérifie φ(x_n) → φ(x) ; dans les espaces de mesures cela généralise la convergence faible-* ou étroite des mesures.

Principe

Mettre l'accent sur la convergence des appariements de dualité plutôt que sur les normes : la convergence faible capture des limites distributionnelles et préserve la bornitude et les contraintes linéaires tout en étant strictement plus faible que la convergence forte, permettant la compacité via Banach–Alaoglu ou des résultats de type Rellich quand les injections de norme échouent à être compactes.

Démonstration

Dans L^2(Ω), toute suite bornée possède une sous-suite convergente faiblement ; par exemple, les fonctions oscillatoires normalisées sin(kx) sur [0,2π] convergent faiblement vers zéro mais pas fortement. Scénario illustratif : utiliser la convergence faible en calcul des variations pour passer à la limite dans les termes linéaires d'une énergie tandis que les termes non linéaires semi-continus inférieurs exigent des arguments supplémentaires.

Mauvaise application

Prendre la convergence faible pour de la convergence forte (supposer la convergence des normes, des valeurs ponctuelles, ou des compositions non linéaires) ou tenter de passer à la limite dans des fonctionnels non linéaires non semi-continus inférieurs sans compacité ou mesures de défaut.

Conséquence

Une utilisation correcte fournit des énoncés de compacité, le passage à la limite dans les formes linéaires et des résultats d'existence (p. ex. solutions faibles d'EDP). Elle identifie aussi quand des phénomènes de concentration ou d'oscillation apparaissent et incite à des raffinements (mesures de Young, compacité compensée) lorsque les limites faibles sont insuffisantes.

Inversion

L'inverse est la convergence forte (en norme) : convergence pour la topologie induite par la norme, impliquant la convergence de toutes les formes linéaires continues et souvent des propriétés ponctuelles ou métriques absentes des limites faibles.

Limite

S'applique dans des espaces vectoriels topologiques munis d'un dual ; exclut les notions de convergence basées sur la convergence presque partout ou les topologies fortes d'opérateur, sauf lorsque celles-ci coïncident dans le contexte donné. La convergence faible ne contrôle pas nécessairement des quantités non linéaires ou le comportement point par point sans structure supplémentaire.

Tension sémantique

Tension avec la convergence en mesure, la convergence presque partout ou la convergence étroite des mesures : ces notions se recoupent dans certains cadres mais diffèrent quant aux propriétés préservées (p. ex. intégrales vs valeurs ponctuelles vs masse totale), et une mauvaise identification entraîne des erreurs analytiques.

Synthèse

La convergence faible est le concept de convergence fondé sur la dualité qui assure la compacité issue de la bornitude et le passage des formes linéaires à la limite, tout en signalant la nécessité de techniques supplémentaires quand des propriétés non linéaires, ponctuelles ou fortes sont requises.