NETMaths
The bookUnit 3 · Linear Integral Equations66 / 83

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:y(x)=f(x)+λa**: y(x) = f(x) + \lambda\int_{a}ᵇ K(x,t)y(t)dt — fixed limits.
  • **Volterra:y(x)=f(x)+λa**: y(x) = f(x) + \lambda\int_{a}ˣ 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 λ\lambda, with no eigenvalues. Converting to an ODE is usually fastest: differentiate and use y(a) = f(a).

Example. y = eˣ +0+ \int_{0}ˣ ((1+x2)/(1+t2))y((1+x^{2})/(1+t^{2}))y dt. Put I(x)=0I(x) = \int_{0}ˣ y/(1+t2)y/(1+t^{2}); then I′ − I = eˣ/(1+x2)/(1+x^{2}), giving I = eˣ arctan x and y = eˣ(1+(1+x2)(1 + (1+x^{2})arctan x).

Fredholm with a separable (degenerate) kernel

K(x,t)=ai(x)bi(t)K(x,t) = \sum a_{i}(x)b_{i}(t) reduces the equation to a finite linear system. Eigenvalues are where that system is singular.

Example. K = xt on [0,1]:y=f+λx01ty[0,1]: y = f + \lambda{}x\int_{0}^{1} t y dt. Setting c=c = \intty gives c(1λ/3)=c(1 - \lambda/3) = \inttf, so λ=3**\lambda = 3** is the eigenvalue.

Fredholm alternative

For yλy - \lambda\intKy = f with λ\lambda 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 λ\lambda is not an eigenvalue, there is a unique solution for every f.

*Example.y301* y - 3\int_{0}^{1} tx y dt = f is solvable iff 01tf(t)\int_{0}^{1} t f(t) dt = 0 — true for f=x2f = x^{2} - ½ 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

Volterra always solvable, Fredholm not — and whyinteractive

The factorial in the iterated kernel that makes one type unconditionally well behaved.

Unlock interactive visuals

The trap here

“Every integral equation of the second kind has a unique solution” — false

y(x)301y(x) - 3\int_{0}^{1} tx y(t)dt = eˣ

λ=3\lambda = 3 is an eigenvalue of the kernel tx, and eˣ is not orthogonal to t — no solution exists.

More on this →

Check yourself

For the unknown y:[0,1]Ry : [0,1] \to \mathbb{R}, 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 y(x)=201K(x,t)y(t)y(x) = 2\int_{0}^{1} K(x, t) y(t) dt. Which of the following is the kernel K(x, t)?

Check yourself

The value of λ\lambda for which the integral equation y(x)=λ01x2y(x) = \lambda\int_{0}^{1} x^{2} ex+te^{x+t} 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