Theorema Magnum MCMIII: die Fredholm-Alternative
Viele Differentialgleichungen lassen sich in äquivalente Integralgleichungen umformen. Beispielsweise führt im Beweis des Existenzsatzes für gewöhnliche Differentialgleichungen (Picard-Lindelöf) die Integration von x'=f(x(t),t) mit Anfangswert x(t0)=x0 auf die Integralgleichung \(x(t)=x_0+\int_{t_0}^tf(s,x(s))ds \).…