Fredholm and Volterra equations
Why this is asked: Volterra always has a unique solution; Fredholm depends on whether λ is an eigenvalue, and then the alternative decides solvability by an orthogonality condition.
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.
See it move
The trap here
“Every integral equation of the second kind has a unique solution” — false
tx y(t)dt = eˣ
is an eigenvalue of the kernel tx, and eˣ is not orthogonal to t — no solution exists.
Check yourself
For the unknown , consider the boundary value problem y″(x) + 2y(x) = 0 for x ∈ (0,1), y(0) = y(1) = 0. It is given that it corresponds to the integral equation dt. Which of the following is the kernel K(x, t)?
Check yourself
The value of for which the integral equation y(t) dt has a non-zero solution is
Next: Separable kernels and resolvent kernels
Create a free account to keep your place and have this feed your study plan.
Open this in the full syllabus view · Unit 3