A Simple Introduction to
Integral EQUATIONS
Glenn Ledder
Department of Mathematics
University of Nebraska-Lincoln
gledder@math.unl.edu
Some Integral Equation Examples
2s y ( s)
y (t )
ds
0 1 y( s)
Volterra
second kind
t
2 t s y( s) ds
Volterra
second kind
t
2 t s y( s) ds
Fredholm second kind
t
y (t )
y (t )
t
0
t
0
1
0
y ( s ) ds
t s
2
2
t
Volterra
first kind
Integral Equations from
Differential Equations
First-Order
Initial Value Problem
y '(t ) F (t ) g (t , y (t )),
y (t ) y 0
Volterra Integral Equation
Of the Second Kind
y (a ) y 0
F (s) ds g(s, y(s)) ds
t
t
a
a
Used to prove theorems about differential equations.
Used to derive numerical methods for differential equations.
• Volterra IEs of the second kind (VESKs)
• Symbolic solution of separable VESKs
• Volterra sequences and iterative solutions
• Theory of linear VESKs
• Brief mention of Fredholm IEs of 2nd kind
• An age-structured population model
Volterra Integral Equations
of the Second Kind (VESKs)
Given g : R3→R and f: R→R , find y: R→R such that
y(t ) f (t ) g(t , s, y( s)) ds
t
a
[equivalent to an initial value problem if g is independent of t]
y (t ) y 0
F (s) ds g(s, y(s)) ds
t
t
a
a
Volterra Integral Equations
of the Second Kind (VESKs)
Given g : R3→R and f: R→R , find y: R→R such that
y(t ) f (t ) g(t , s, y( s)) ds
t
a
Linear:
y (t ) f (t )
k (t , s) y(s) ds
t
a
Separable:
k (t , s) p(t ) q ( s)
Convolved:
k (t , s) r (t s)
Symbolic Solution of
Separable VESKs
Solve
Let
y (t )
Y (t )
t
t
0
2 t s y( s) ds
t
0
sy( s) ds
Then
y (t )
t 2 t Y (t )
New Problem:
Y '(t )
Solution:
t y t 2t Y ( t ) ,
y (t )
te
t 2
Y (0) 0
y(t ) 1 (t s) y( s) ds
t
Solve
Let
Y (t )
0
t
0
y( s) ds
and
Z (t )
sy(s) ds
t
0
New Problem:
Y Y 0 , Y (0) 0, Y (0) 1,
Z Y tY 1
Solution:
y(t ) cos t
Volterra Sequences
Given f, g, and y0, define y1, y2, … by
y1 (t ) f (t )
t
y 2 (t ) f ( t )
t
and so on.
a
a
g(t , s, y0 ( s)) ds
g(t , s, y1 ( s)) ds
Volterra Sequences
Given f, g, and y0, define y1, y2, … by
y n (t ) f (t )
t
a
g(t , s, yn1 ( s)) ds , n 1, 2,
•Does yn converge to some y ?
•If so, does y solve the VESK?
Volterra Sequences
Given f, g, and y0, define y1, y2, … by
y n (t ) f (t )
t
a
g(t , s, yn1 ( s)) ds , n 1, 2,
•Does yn converge to some y ?
•If so, does y solve the VESK?
•If so, is this a useful iterative method?
A Linear Example
y(t ) 1 (t s) y( s) ds
t
0
Let y0 = 1. Then
y1 (t ) 1 (t s) ds 1 21 t 2
t
0
y 2 (t ) 1
t
0
(t s)(1 s ) ds 1 t
2
1
2
1
2
2
1
24
t
4
↓↓
y 1 t
1
2
2
1
24
t
4
1
6!
t cos t
6
The sequence converges to the known solution.
Convergence of the Sequence
y0
y1
y2
y3
y4
y5
y6
y
A Nonlinear Example
2 s y ( s)
y (t )
ds
0 1 y ( s)
t
Let y0 = 0. Then
y1 (t )
2sds t
t
2
0
2s s
3
1
y2 (t )
ds
t
ln(1
t
)
ln(1 t )
2
2
2
0 1 s
2
t
ln(1 s) 3 ln(1 s) 2s
y 3 (t )
ds
0 ln(1 s) 3 ln(1 s) 2 s 2
t
Convergence of the Sequence
y3
y2
y1
Lemma 1
Homogeneous linear Volterra sequences
k (t , s) y
t
y n (t )
a
n 1
( s) ds , n 1, 2,
decay to 0 on [a, T] whenever k is bounded.
Proof: (a=0)
Choose constants K, Y and T such that
| k (t , s)| K , | y0 (t )| Y , 0 t , s T
Then
| y1 (t )|
t
0
k (t , s) y0 ( s) ds
KY ds YKt
t
0
Given
| k (t , s)| K , | y0 (t )| Y , 0 t , s T
y n (t )
we have
k (t , s) y
t
0
| y1 (t )|
n 1
( s) ds , n 1, 2,
KY ds YKt
t
0
1
| y2 (t )| K (YKs) ds YK 2 t 2
0
2
t
1
3 3
| y3 (t )| K ( YK s ) ds YK t
0
3!
t
In general,
1
n n
| yn (t )| YK t n
n!
2 2
1
2
so
lim yn 0
n
Theorem 2
Homogeneous linear VESKs
y (t )
k (t , s) y(s) ds
t
a
have the unique solution y ≡ 0.
Proof:
Let φ be a solution.
Choose y0 = φ.
Then yn = φ for all n, so yn→φ.
But the lemma requires yn→0.
Therefore φ ≡ 0.
Theorem 3
Linear VESKs have at most one solution.
Proof:
Suppose
(t ) f (t ) ak (t , s) ( s) ds
and
(t ) f (t ) ak (t , s) ( s) ds
t
t
Let y = φ – ψ. Then
y (t )
k (t , s) y(s) ds
t
a
By Theorem 2, y ≡ 0; hence, φ = ψ.
Lemma 4
Linear Volterra sequences with y0=f converge.
Sketch of Proof:
Define yn (t ) f (t )
gn
k (t , s) y
t
a
|y
m 1
n m
n 1
( s) ds , y0 f
y n m 1 |
1) gn → 0
2)
| yn m yn | gn
Together, these properties prove the Lemma.
Theorem 5
Linear VESKs have a unique solution.
Proof:
By Lemma 4, the sequence
yn (t ) f (t ) k (t , s) yn1 ( s) ds , y0 f
t
a
converges to some y. Taking a limit as n → ∞:
y(t ) f (t ) k (t , s) y( s) ds
t
a
The solution is unique by Theorem 3.
Fredholm Integral Equations
of the Second Kind (linear)
Given g : R3→R and f: R→R , find y: R→R such that
y(t ) f (t ) k (t , s) y( s) ds
b
a
• Separable FESKs can be solved symbolically.
• Fredholm sequences converge (more slowly than
Volterra sequences) only if ||k|| is small enough.
• The theorems hold if and only if ||k|| is small
enough.
An Age-Structured Population
Given
An initial population of known age distribution
Age-dependent birthrate
Age-dependent death rate
Find
Total birthrate
Total population
Age distribution
An Age-Structured Population
Simplified Version
Given
An initial population of newborns
Age-dependent birthrate
Age-independent death rate
Find
Total birthrate
Total population
The Founding Mothers
Assume a one-sex population.
Starting population is 1 unit.
Life expectancy is 1 time unit.
p0′ = -p0, p0(0) = 1
Result:
p0(t) = e-t
Basic Birthrate Facts
Total Birthrate =
Births to Founding Mothers
+
Births to Native Daughters
b(t) = m(t) + d(t)
Let f (t) be the number of births per mother
of age t per unit time.
m(t) = f (t) e-t
Births to Native Daughters
Consider daughters of ages x to x+dx.
All were born between t-x-dx and t-x.
The initial number was b(t-x)dx.
The number at time t is b(t-x)e-x dx.
The rate of births is f(x)b(t-x)e-x dx
=m(x)b(t-x)dx.
d (t )
m( x) b(t x) dx
t
0
The Renewal Equation
b(t ) m(t ) m( x) b(t x) dx
t
0
or
b(t ) m(t ) m(t x) b( x) dx
t
0
This is a linear VESK with convolved kernel.
It can be solved by Laplace transform.
Solution of the Renewal Equation
Given the fecundity function f, define
F ( s)
F ( s) L f (t ), r (t ) L
1 F ( s)
1
where L is the Laplace transform. Then
t
b(t ) e r (t )
t
p(t ) e e
t
r( x) dx
t
0
A Specific Example
Let f(x) = a xe -2x.
Then
b(t )
p(t )
a
2
e
( a 3) t
a
( a 3) t
2( a 2)
e
4 t
a4
If a=9, then p(t) →1.5.
Exponential growth for a>9.
The population dies if a<9.
a
2
e
e
( a 3) t
a
( a 3) t
2( a _ 2)
e
Fecundity
a = 10
a=9
a=8
Birth Rate
a = 10
a=9
a=8
Population
a = 10
a=9
a=8