main
main
Gaurav Tiwari
2014
gauravtiwari.org
ii
Contents
1 Basics 1
1.1 What is an Integral Equation? . . . . . . . . . . . . . . . . . . . 1
1.2 Structure of an Integral Equation . . . . . . . . . . . . . . . . . . 1
1.3 Types of Fredholm Integral Equations . . . . . . . . . . . . . . . 1
1.3.1 Fredholm Integral Equation of First Kind . . . . . . . . . 2
1.3.2 Fredholm Integral Equation of Second Kind . . . . . . . . 2
1.3.3 Fredholm Integral Equation of Homogeneous Second Kind 2
1.3.4 Fredholm Equation of Third Kind . . . . . . . . . . . . . 2
1.4 Types of Volterra Integral Equations . . . . . . . . . . . . . . . . 2
1.4.1 Volterra Integral Equation of First Kind . . . . . . . . . . 2
1.4.2 Volterra Integral Equation of Second Kind . . . . . . . . . 2
1.4.3 Volterra Integral Equation of Homogeneous Second Kind 2
1.4.4 Volterra Integral Equation of Third Kind . . . . . . . . . 3
1.5 Singular Integral equations . . . . . . . . . . . . . . . . . . . . . 3
1.6 Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.6.1 Symmetric Kernel . . . . . . . . . . . . . . . . . . . . . . 3
1.6.2 Separable or Degenerate Kernel . . . . . . . . . . . . . . . 3
1.6.3 Difference Kernel . . . . . . . . . . . . . . . . . . . . . . . 3
1.6.4 Resolvent or Reciprocal Kernel . . . . . . . . . . . . . . . 3
1.7 Integral Equations of Convolution Type . . . . . . . . . . . . . . 4
1.8 Eigenvalues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.9 Leibnitz Rule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.10 The Magical Formula . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 L2 function 7
2.1 Square Integrable function or quadratically integrable function
L2 function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Inner Product of two L2 functions . . . . . . . . . . . . . . . . . 8
2.3 Norm of a function . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.4 Trial Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.4.1 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3 ODE to IE 11
3.1 Initial into Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2 Boundary into Fredholm . . . . . . . . . . . . . . . . . . . . . . . 14
iii
iv CONTENTS
4 IE to ODE 17
4.1 Volterra to Initial . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4.2 Fredholm to Boundary . . . . . . . . . . . . . . . . . . . . . . . . 18
Chapter 1
Basics
1
2 CHAPTER 1. BASICS
Figure 1.1:
1.6 Kernel
The nature of solution of integral equations solely depends on the nature of the
Kernel of the integral equation. Kernels are of following special types:
R1
Example: Solve 0 x2 dx2 .
R1
Solution: 0 x2 dx2
R 1 (1 − x)2−1 2
= 0 x dx (since t=1)
(2 − 1)!
R1
= 0 (1 − x)x2 dx
R1
= 0 (1 − x)x2 dx
R1
= 0 (x2 − x3 )dx = 1/12 2
6 CHAPTER 1. BASICS
Chapter 2
L2 function
or
Z b
y(x)ȳ(x)dx < ∞
a
. Such y(x) is then also called ’regular function’. The kernel K(x, t) , a
function of two variables is an L2 - function if at least one of the following is
true:
Z b Z b
|K(x, t)|2 dxdt < ∞
x=a t=a
Z b
|K(x, t)|2 dx < ∞
t=a
Z b
|K(x, t)|2 dt < ∞
x=a
7
8 CHAPTER 2. L2 FUNCTION
The norm of operations between any two functions φ and ψ follows Schwarz
and Minkowski’s triangle inequalities, provided ||φ·ψ|| ≤ ||φ||·||ψ|| —- Schwarz’s
Inequality
||φ + ψ|| ≤ ||φ|| + ||ψ|| ——-Triangle Inequality/Minkowski Inequality
2.4.1 Example
−3/2
Show that y(x) = (1 + x2 ) is a solution of
Z x
1 t
y(x) = − y(t)dt
1 + x2 0 1 + x2
. This is a Volterra’s equation of second kind with lower limit a = 0 and upper
limit being the variable x.
Solution: Given
Z x
1 t
y(x) = − y(t)dt . . . (1)
1 + x2 0 1 + x2
−3/2
where y(x) = (1 + x2 ) . . . (2)
−3/2
and therefore, y(t) = (1 + t2 ) . . . (3) (replacing x by t).
1
since is independent quantity as the integration is done with respect to
1 + x2
1
t i.e., dt only, therefore can be excluded outside the integration sign.
1 + x2
1 1 1
= + √ −1
1 + x2 1 + x2 1 + x2
Since Z x
t
dt
0 1 + t2 3/2
1 −3/2
=1− √ = (1 + x2 ) = y(x) =The Left Hand Side of (2) Hence, y(x) =
1+x 2
−3/2
(1 + x2 ) is a solution of (1). 2 Trial method isn’t exactly the way an integral
equation can be solved, it is however very important for learning and pedagogy
point of views.
10 CHAPTER 2. L2 FUNCTION
Chapter 3
or, Z
y(x) = (c − x) − 5 y(t)dt . . . (3)
We can remove the arbitrary constant c from the above integral equation by
applying a boundary condition. For example, if we have
y(0) = 1
or, Z
c = y(0) + 5 y(0)dt
11
12 CHAPTER 3. ODE TO IE
Z
⇒c=1+5 1 · dt
Z
⇒c=1+5 dt . . . (4)
At this instance, we see that if the limits of the integration could have known,
the value of c should have been easier to interpret. Still we can convert the
given differential equation into integral equation by substituting the value of c
in equation (3) above:
Z Z
y(x) = (1 − x + 5 dt) − 5 y(t)dt
Z
y(x) = (1 − x) + 5 (1 − y(t))dt . . . (5)
d2 y
+ ky = tx
dx2
with
y(0) = 2
and
y 0 (0) = 5
is an initial value problem. Just try to see how, point x = 0 is used for both y
and y 0 , which is called the initial value of the differential equation. This initial
value changes into the lower limit when we try to derive the integral equation.
And, also, the integral equation derived from an initial value problem is of
Volterra type, i.e., having upper limit as variable x.
is a boundary value problem. Generally, we chose the lower limit of the integra-
tion as zero and integrate the differential equation within limit (0, x). After the
boundary values are substituted, we obtain a Fredholm integral equation, i.e.,
having upper limit as a constant b (say).
All doubts will be cleared by working out the following two examples:
y” + y = 0
when
y(0) = y 0 (0) = 0
Solution: Given
y”(x) + y(x) = 0 . . . (6)
with
y(0) = 0 . . . (7)
and
y 0 (0) = 0 . . . (8)
From (1),
y”(x) = −y(x) . . . (9)
Integrating (9) with respect to x from 0 to x.
Z x Z x
y”(x)dx = − y(x)dx
0 0
Rx
(y 0 (x))x0 = − 0x y(x)dx ⇒ y 0 (x) − y 0 (0) = −
R
0
y(x)dx Since,
y 0 (x) = 0
, Z x
0
⇒ y (x) − 0 = − y(x)dx
0
Z x
⇒ y 0 (x) = − y(x)dx . . . (10)
0
This equation (11) is the resulting integral equation derived from the given
second order differential equation. 2
d2 y
+ λy = 0
dx2
with
y(0) = 0
and
y(l) = 0
Solution:
Given differential equation is
with
y(0) = 0 . . . (13)
and
y(l) = 0 . . . (14)
Since,
(12) ⇒ y”(x) = −λy(x) . . . (15)
Integrating both sides of (15) w.r.t. x from 0 to x
Z x Z x
y”(x)dx = −λ y(x)dx . . . (16)
0 0
Z x
y 0 (x)0x = −λ y(x)dx
0
Z x
y 0 (x) − y 0 (0) = −λ y(x)dx . . . (17)
0
or, Z x
y(x)0x = cx − λ y(x)dx2
0
Z x
y(x) − y(0) = cx − λ y(t)dt2
0
Putting y(0) = 0
Z x
y(x) = cx − λ (x − t)y(t)dt . . . (19)
0
Which is the required integral equation derived from the given differential equa-
tion. The solution can also be written as
Z l
y(x) = λ K(x, t)y(t)dt
0
where
t(l − x)
K(x, t) = 0<t<x
l
and
x(l − t)
K(x, t) = x<t<l
l
2
We can now define a strategy for changing the ordinary differential equations
16 CHAPTER 3. ODE TO IE
Integral Equations to
Differential Equations
Please note that this was the same integral equation we obtained after con-
verting initial value problem:
y” + y = 0
when
y(0) = y 0 (0) = 0
( See Problem 1 of Chapter 3 )
17
18 CHAPTER 4. IE TO ODE
Solution:
We have, Z x
y(x) = − (x − t)y(t)dt . . . (1)
0
y(0) = 0 . . . (4)
And, Z 0
y 0 (0) = − y(t)dt
0
y 0 (0) = 0 . . . (5)
These equations (3), (4) and (5) form the ordinary differential form of given
integral equation. 2
t(l − x)
K(x, t) = 0<t<x
l
and
x(l − t)
K(x, t) = x<t<l
l
4.2. FREDHOLM TO BOUNDARY 19
or
x l
(l − x)t x(l − t)
Z Z
y(x) = λ( y(t)dt + y(t)dt) . . . (2)
0 l x l
Differentiating (2) with respect to x will give
Z x Z l
λ λ
y 0 (x) = − ty(t)dt + (l − t)y(t)dt . . . (3)
l 0 l x
y”(x) = −λy(x)
That’s
y”(x) + λy(x) = 0 . . . (4)
To get the boundary values, we place x equal to both integration limits in
(1) or (2). x = 0 ⇒
y(0) = 0 . . . (5)
x=l⇒
y(l) = 0 . . . (6)
The ODE (4) with boundary values (5) & (6) is the exact conversion of given
integral equation. 2
20 CHAPTER 4. IE TO ODE
4.2. FREDHOLM TO BOUNDARY 21