Soient E=C([a,b],R) muni de ∥⋅∥∞,
K:[a,b]×[a,b]→R continue, φ∈E et λ∈R.
On considère l'opérateur A:E→E défini par :
Au(t):=φ(t)+λ∫abK(t,s)u(s)ds
- Montrer par récurrence sur n que ∃M>0 :
∥Anu−Anv∥E≤n!(∣λ∣M(b−a))n∥u−v∥E,∀u,v∈E
- Déduire que pour tout réel λ, l'équation :
u(t)=φ(t)+λ∫abK(t,s)u(s)ds
admet une unique solution dans E.