The two types
- **Fredholmᵇ K(x,t)y(t)dt — fixed limits.
- **Volterraˣ K(x,t)y(t)dt — variable upper limit.
Second kind has y outside the integral; first kind does not (and is ill-posed).
Volterra
The Neumann series always converges: a Volterra equation of the second kind has a unique solution for every , with no eigenvalues. Converting to an ODE is usually fastest: differentiate and use y(a) = f(a).
Example. y = eˣ ˣ dt. Put ˣ ; then I′ − I = eˣ, giving I = eˣ arctan x and y = eˣarctan x).
Fredholm with a separable (degenerate) kernel
reduces the equation to a finite linear system. Eigenvalues are where that system is singular.
Example. K = xt on dt. Setting ty gives tf, so is the eigenvalue.
Fredholm alternative
For Ky = f with an eigenvalue:
- a solution exists iff f is orthogonal to every solution of the homogeneous adjoint equation;
- then the solution is not unique (add any eigenfunction).
If is not an eigenvalue, there is a unique solution for every f.
*Example. tx y dt = f is solvable iff dt = 0 — true for ½ and f = 2 − 3x, false for eˣ and x − 1.
Relation to ODE
A boundary value problem converts to a Fredholm equation with the Green's function as kernel; an initial value problem converts to a Volterra equation.
Key takeaways
- Volterra: always uniquely solvable. Fredholm: check for eigenvalues first.
- Separable kernels reduce everything to linear algebra.
- The alternative's solvability test is an orthogonality condition on f.