Théorème affirmant qu'une application T d'un espace métrique complet (X,d) vers lui-même, satisfaisant d(Tx,Ty) ≤ c d(x,y) pour tout x,y dans X et pour un c avec 0 ≤ c < 1, possède un point fixe unique, et que les itérés de T convergent vers ce point fixe.

Principe

Contraction uniforme : une réduction multiplicative globale des distances par un facteur strictement inférieur à 1 impose convergence et unicité d'un point fixe dans un cadre métrique complet.

Démonstration

Sur C([0,1]) muni de la norme uniforme, définir T(u)(t)=u0(t)+∫0^t K(t,s)φ(u(s)) ds avec K borné et φ lipschitzienne et de constante L telle que la composition rende T contractante ; les itérés de Picard u_{n+1}=T(u_n) convergent géométriquement vers la solution unique de l'équation intégrale correspondante.

Mauvaise application

Appliquer le principe sur un espace non complet, ou à une application contractante seulement localement ou avec c≥1, conduit à des conclusions erronées sur l'existence ou l'unicité du point fixe.

Conséquence

Si les hypothèses sont vérifiées on obtient existence et unicité du point fixe ainsi que des bornes de convergence géométrique pour les schémas itératifs et une stabilité quantitative par rapport aux perturbations.

Inversion

Si l'application dilate les distances (c>1) ou est seulement non expansive (c=1), la conclusion de contraction échoue ; il peut n'y avoir aucun point fixe ou bien plusieurs, et les itérations peuvent ne pas converger.

Limite

Nécessite un espace métrique complet et une constante de contraction globale ; n'englobe pas les résultats de point fixe fondés sur la compacité ni les situations de simple inversibilité locale sans contraction globale.

Tension sémantique

Souvent opposé aux résultats de Schauder ou Brouwer qui utilisent la compacité plutôt que la contraction ; ces derniers garantissent l'existence sans unicité ni taux de convergence itératif.

Synthèse

Le Principe des Applications Contractantes relie une inégalité métrique élémentaire (contraction uniforme) à une conclusion algorithmique et qualitative forte : un point fixe unique et une convergence géométrique des itérés, sous la condition d'exhaustivité de l'espace.