Grazie mille Delirium per i suggerimenti!
Proviamo prima con il Teorema delle Contrazioni. Nella notazione di Delirium ho
\[ F u(x) = h(x) + \int_0^1 K(x,y) u(y) \, dy \]
per ogni $u\in C([0,1])$. Voglio dimostrare che F è una contrazione, ossia è Lipschitziana con costante strettamente minore di 1, e inoltre che la costante di contrazione NON dipende da h.
Siano dunque $u,v\in C([0,1])$. Voglio dimostrare che
$$|| Fu - Fv||_{\infty} \leq \alpha ||u-v||_{\infty},$$
con $\alpha \in (0,1)$. Procediamo dunque:
$$|Fu(x) - Fv(x)| = |\int_0^1 K(x+y)(u(y)-v(y)) \, dy | \leq ||u-v||_{\infty} \int_0^1|K(x+y)| \, dy $$
e qui mi sono dovuto fermare in quanto l'integrale a secondo membro non è in generale strettamente minore di 1, nonostante le buone proprietà di $K$.
Non mi sembra sia possibile ottenere stime migliori, ma per favore controllate
A questo punto dobbiamo evocare il Teorema dell'alternativa di Fredholm (che a me fa sempre un po' paura, come una specie di demone
). Effettivamente questa sembra già da subito una buona strada; definendo l'operatore $T:C([0,1]) \to C([0,1])$ come:
$$Tu(x) = \int_0^1 K(x+y)u(y) \, dy $$
per ogni $u\in C([0,1])$ riscrivo l'equazione iniziale come
$$u(x) - Tu(x) = h(x).$$
Si noti che T è lineare e continuo; inoltre l'equazione omogenea associata all'equazione data è
\[ u(x) = Tu(x) = \int_0^1 K(x+y)u(y) \, dy = (K(-\cdot) * u)(x) \]
che non ha soluzione diversa da $u\equiv 0$; infatti è un fatto noto che l'unico elemento neutro per la convoluzione è la distribuzione $\delta_0$ che non è rappresentabile tramite una funzione di alcun tipo.
Resta da dimostrare che T è un'operatore compatto; se quest'asserto risulta vero, per l'alternativa di Fredholm esiste un'unica soluzione in $C([0,1])$ alla nostra equazione, per ogni dato $h\in C([0,1])$.
Sia dunque $B$ la palla unitaria in $C([0,1])$. Dobbiamo mostrare che $T(B)$ è totalmente limitato (preferisco questo termine a precompatto, che secondo me è fuorviante
) in $C([0,1])$. Per il teorema di Ascoli-Arzelà un sottoinsieme di $C([0,1])$ è tot. limitato se e solo se è una famiglia equicontinua di funzioni. Dimostriamo quest'ultimo fatto. Sia $u\in B$, cioè $||u||_{\infty}\leq 1$. Sia poi $x_0\in [0,1]$ arbitrario. Fisso anche $\epsilon >0$. Allora
$$|Tu(x) - Tu(x_0)| = |\int_0^1 K(x+y)u(y) dy - \int_0^1 K(x_0 + y)u(y) dy|\\ \leq \int_0^1 |K(x+y) - K(x_0 + y)| dy \, ||u||_{\infty}$$
Ora notiamo che $||u||_{\infty}\leq 1$ e che per $x$ sufficientemente vicino a $x_0$, $|K(x+y) - K(x_0 + y)|< \epsilon$ per continuità di $K$. A dire il vero, tale stima vale per ogni $x_0$ dato che $K$ è pure UNIFORMEMENTE continua su $[0,1]$. Da questo ne segue che $|Tu(x) - Tu(x_0)| \leq \epsilon$ per ogni $u\in B $, per ogni $x_0\in [0,1]$. Dunque $T(B)$ è una famiglia equicontinua di funzioni, come volevamo dimostrare.
Che ve ne pare?