View source for Integral equation

{{for|equations of [[integer]] unknowns|Diophantine equation}}

In [[mathematics]], '''integral equations''' are equations in which an unknown [[function (mathematics)|function]] appears under an [[integral]] sign. 

There is a close connection between [[differential equation|differential]] and integral equations, and some problems may be formulated either way. See, for example, [[Green's function]], [[Fredholm theory]], and [[Maxwell's equations]].

==Overview==
The most basic type of integral equation is called a ''[[Fredholm integral equation|Fredholm equation]] of the first type'',
:<math> f(x) = \int_a^b K(x,t)\,\varphi(t)\,dt. </math>

The notation follows [[George B. Arfken|Arfken]]. Here {{mvar|φ}} is an unknown function, {{math|&thinsp;''f''&thinsp;}} is a known function,
and {{mvar|K}} is another known function of two variables, often called the [[Kernel (integral operator)|kernel]] function. Note that the limits of integration are constant: this is what characterizes a Fredholm equation.

If the unknown function occurs both inside and outside of the integral, the equation is known as a ''Fredholm equation of the second type'',
:<math> \varphi(x) =  f(x)+ \lambda \int_a^b K(x,t)\,\varphi(t)\,dt. </math>

The parameter {{mvar|λ}} is an unknown factor, which plays the same role as the [[eigenvalue]] in [[linear algebra]].

If one limit of integration is a variable, the equation is called a [[Volterra integral equation|Volterra equation]].  The following are called ''Volterra equations of the first and second types'', respectively,
:<math> f(x) = \int_a^x K(x,t)\,\varphi(t)\,dt </math>
:<math> \varphi(x) = f(x) + \lambda \int_a^x K(x,t)\,\varphi(t)\,dt. </math>

In all of the above, if the known function {{math|&thinsp;''f''&thinsp;}} is identically zero, the equation is called a ''homogeneous integral equation''. If {{math|&thinsp;''f''&thinsp;}} is nonzero, it is called an ''inhomogeneous integral equation''.

==Numerical solution==
It is worth noting that integral equations often do not have an analytical solution, and must be solved numerically. An example of this is evaluating the [[EFIE|Electric-Field Integral Equation]] (EFIE) or [[Magnetic-Field Integral Equation]] (MFIE) over an arbitrarily shaped object in an electromagnetic scattering problem.

One method to solve numerically requires discretizing variables and replacing integral by a quadrature rule

:<math> \sum_{j=1}^n w_j K\left (s_i,t_j \right ) u(t_j)=f(s_i), \qquad i=0, 1, \cdots, n. </math>

Then we have a system with {{mvar|n}} equations and {{mvar|n}} variables. By solving it we get the value of the {{mvar|n}} variables

:<math>u(t_0),u(t_1),\cdots,u(t_n).</math>

==Classification==
Integral equations are classified according to three different dichotomies, creating eight different kinds:

;Limits of integration
* '''both fixed:''' [[Fredholm equation]]
*'''one variable:''' [[Volterra equation]]
;Placement of unknown function
*'''only inside integral:''' first kind
*'''both inside and outside integral:''' second kind
;Nature of known function {{math|&thinsp;''f''&thinsp;}}
*'''identically zero:''' homogeneous
*'''not identically zero:''' inhomogeneous

Integral equations are important in many applications. Problems in which integral equations are encountered include [[radiative transfer]], and the [[oscillation]] of a string, membrane, or axle. Oscillation problems may also be solved as [[differential equations]].

Both Fredholm and Volterra equations are linear integral equations, due to the linear behaviour of {{math|''φ''(''x'')}} under the integral. A nonlinear Volterra integral equation has the general form:

:<math> \varphi(x) = f(x) + \lambda \int_a^x K(x,t)\,F(x, t, \varphi(t))\,dt, </math>
where {{mvar|F}} is a known function.

==Wiener–Hopf integral equations==
{{main|Wiener–Hopf method}}
:<math> y(t) =\lambda x(t)+\int^{\infty}_0 k(t-s)x(s)ds,\qquad 0\leq t<\infty.</math>

Originally, such equations were studied in connection with problems in radiative transfer, and more recently, they have been related to the solution of boundary integral equations for planar problems in which the boundary is only piecewise smooth.

==Power series solution for integral equations==
In many cases, if the Kernel of the integral equation is of the form {{math|''K''(''xt'')}} and the [[Mellin transform]] of {{math|''K''(''t'')}} exists, we can find the solution of the integral equation
:<math>  g(s)=s \int_{0}^{\infty} dt K(st) f(t) </math>
in the form of a power series
:<math> f(t)= \sum_{n=0}^{\infty}\frac{a_{n}}{M(n+1)}t^{n} </math>
where
:<math> g(s)= \sum_{n=0}^{\infty}a_{n} s^{-n},  \qquad M(n+1)=\int_{0}^{\infty}dtK(t)t^{n} </math>
are the {{mvar|Z}}-transform of the function {{math|''g''(''s'')}}, and {{math|''M''(''n'' + 1)}} is the Mellin transform of the Kernel.

{{see also|Liouville–Neumann series}}

==Integral equations as a generalization of eigenvalue equations==
Certain homogeneous linear integral equations can be viewed as the continuum limit of [[Eigenvalue, eigenvector and eigenspace|eigenvalue equations]]. Using [[index notation]], an eigenvalue equation can be written as
:<math> \sum _j M_{i,j} v_j = \lambda v_i</math>
where {{math|'''M''' {{=}} [''M<sub>i,j</sub>'']}} is a matrix, {{math|'''v'''}} is one of its eigenvectors, and {{mvar|λ}} is the associated eigenvalue.

Taking the continuum limit, i.e., replacing the discrete indices {{mvar|i}} and {{mvar|j}} with continuous variables {{mvar|x}} and {{mvar|y}}, yields
:<math> \int K(x,y)\varphi(y) \mathrm{d}y = \lambda \varphi(x),</math>
where the sum over {{mvar|j}} has been replaced by an integral over {{mvar|y}} and the matrix {{math|'''M'''}} and the vector {{math|'''v'''}} have been replaced by the ''kernel'' {{math|''K''(''x'', ''y'')}} and the [[eigenfunction]] {{math|''φ''(''y'')}}. (The limits on the integral are fixed, analogously to the limits on the sum over {{mvar|j}}.) This gives a linear homogeneous Fredholm equation of the second type.

In general, {{math|''K''(''x'', ''y'')}} can be a [[Distribution (mathematics)|distribution]], rather than a function in the strict sense. If the distribution {{mvar|K}} has support only at the point {{math|''x'' {{=}} ''y''}}, then the integral equation reduces to a [[Eigenfunction|differential eigenfunction equation]].

In general, Volterra and Fredholm integral equations can arise from a single differential equation, depending on which sort of conditions are applied at the boundary of the domain of its solution.
{{further|Fredholm theory}}

== Applications ==

*[[Actuarial science]] (ruin theory<ref>{{Cite web|url=https://www.kent.ac.uk/smsas/personal/lb209/files/risk-notes-10.pdf|title=Lecture Notes on Risk Theory|date=2010}}</ref>)
*[[Inverse problem|Inverse problems]]
**[[Marchenko equation]] ([[inverse scattering transform]])
* Options pricing under [[Jump diffusion|jump-diffusion]]<ref>{{Cite journal|last=Sachs|first=E. W.|last2=Strauss|first2=A. K.|date=2008-11-01|title=Efficient solution of a partial integro-differential equation in finance|url=http://www.sciencedirect.com/science/article/pii/S0168927407001663|journal=Applied Numerical Mathematics|volume=58|issue=11|pages=1687–1703|doi=10.1016/j.apnum.2007.11.002|issn=0168-9274}}</ref>
*[[Radiative transfer]]
*[[Viscoelasticity]]

==See also==
* [[Differential equation]]
*[[Integro-differential equation]]
*[[Ruin theory]]
*[[Volterra integral equation]]

== References ==
<references />

== Further reading ==

*  Kendall E. Atkinson ''The Numerical Solution of integral Equations of the Second Kind''. Cambridge Monographs on Applied and Computational Mathematics, 1997.
*  George Arfken and Hans Weber. ''Mathematical Methods for Physicists''. Harcourt/Academic Press, 2000.
* [[Harry Bateman]] (1910) [https://www.biodiversitylibrary.org/item/94115#page/506/mode/1up History and Present State of the Theory of Integral Equations], ''Report'' of the [[British Association]].
*  Andrei D. Polyanin and Alexander V. Manzhirov ''Handbook of Integral Equations''. CRC Press, Boca Raton, 1998. {{ISBN|0-8493-2876-4}}.
* [[E. T. Whittaker]] and [[G. N. Watson]]. ''A Course of Modern Analysis'' Cambridge Mathematical Library.
*  M. Krasnov, A. Kiselev, G. Makarenko, ''Problems and Exercises in Integral Equations'', Mir Publishers, Moscow, 1971
*{{Cite book | last1=Press | first1=WH | last2=Teukolsky | first2=SA | last3=Vetterling | first3=WT | last4=Flannery | first4=BP | year=2007 | title=Numerical Recipes: The Art of Scientific Computing | edition=3rd | publisher=Cambridge University Press |  publication-place=New York | isbn=978-0-521-88068-8 | chapter=Chapter 19. Integral Equations and Inverse Theory | chapter-url=http://apps.nrbook.com/empanel/index.html#pg=986}}

==External links==
* [http://eqworld.ipmnet.ru/en/solutions/ie.htm Integral Equations: Exact Solutions] at EqWorld: The World of Mathematical Equations.
* [http://eqworld.ipmnet.ru/en/solutions/eqindex/eqindex-ie.htm Integral Equations: Index] at EqWorld: The World of Mathematical Equations.
* {{springer|title=Integral equation|id=p/i051400}}

{{Authority control}}
[[Category:Integral equations| ]]