Équation intégrale de Volterra

Vito Volterra (Ancône, 3 mai 1860 - Rome, 11 octobre 1940), qui a donné son nom à l'intégrale.

En analyse, une équation intégrale de Volterra est une équation intégrale.

Histoire

Les équations intégrales apparaissent notamment dans la résolution des problèmes de Cauchy et les équations différentielles linéaires à coefficients constants. Les travaux d'Ivar Fredholm sur la théorie des équations intégrales de seconde espèce ont permis d'obtenir des résultats sur la résolution (l'alternative de Fredholm).

Définitions

Les équations intégrales dépendent d'une fonction Modèle:Mvar, qu'on appelle noyau de l'équation. La principale différence entre les équations intégrales de Fredholm et celles de Volterra se trouve dans les bornes de l'opérateur intégral : celles des équations de Fredholm sont fixes, tandis que celles des équations de Volterra sont variables.

Équation intégrale de Volterra de première espèce

L'équation intégrale de Volterra de première espèce est une équation intégrale de la forme :

$g(x)=\underset{a}{\overset{x}{\int }}K(x,t,f(t))\mathrm{d}t$

où Modèle:Mvar est la fonction inconnue, Modèle:Mvar et Modèle:Mvar sont des fonctions données.

Équation intégrale de Volterra de seconde espèce

L'équation intégrale de Volterra de seconde espèce est un cas particulier des équations intégrales linéaires de Fredholm de seconde espèce :

$f(x)=g(x)+\lambda \underset{a}{\overset{x}{\int }}K(x,t,f(t))\mathrm{d}t,a⩽t⩽x⩽b$

où Modèle:Mvar est la fonction inconnue, Modèle:Mvar et Modèle:Mvar sont des fonctions données et Modèle:Math un paramètre numérique fixe.

Formes linéaire et homogène

L'équation sera dite linéaire si le noyau est de la forme

$K(x,t,f(t))=K(x,t)f(t)$

L'équation sera dite homogène si Modèle:Math.

Passage entre les équations de la première espèce et de la seconde

Par différentiation d'une équation intégrale de Volterra de première espèce, on trouve :

$g^{\prime }(x)=K(x,x,f(x))+\underset{a}{\overset{x}{\int }}\frac{\partial K}{\partial x}(x,t,f(t))\mathrm{d}t$

qui est bien de la forme de l'équation de seconde espèce.

Résolutions

Par la méthode des itérations de Picard

La méthode des itérations de Picard consiste à construire une solution comme limite d'une suite de fonctions définie par récurrence :

$\mathrm{\forall }n⩽0,f_{n+1}(x)=g(x)+\lambda \underset{a}{\overset{b}{\int }}R(x,t,f_n(t))\mathrm{d}t.$

Elle fonctionne si Modèle:Mvar et Modèle:Mvar sont continues. On supposera d'abord Modèle:Math continue.

Par la méthode de Fredholm

La résolution par la méthode de Fredholm donne une solution de la forme

$f(x)=g(x)+\lambda \underset{a}{\overset{b}{\int }}R(x,t;\lambda )g(t)\mathrm{d}t$

avec Modèle:Mvar désignant la résolvante de Fredholm

$R(x,t;\lambda )=\frac{D(x,t;\lambda )}{D(\lambda )}$

où les fonctions Modèle:Mvar, sont définies par

$D(\lambda )=\sum _{n=1}^{+\mathrm{\infty }}\frac{(-1{)}^n}{n!}{C}_n{\lambda }^n,D(x,t;\lambda )=K(x,t)+\sum _{n=1}^{+\mathrm{\infty }}\frac{(-1{)}^n}{n!}{B}_n(x,t){\lambda }^n$

avec

$C_n=\underset{n\text{fois}}{\underbrace{\underset{a}{\overset{b}{\int }}\underset{a}{\overset{b}{\int }}\dots \underset{a}{\overset{b}{\int }}}}\left|\begin{array}{cccc}K(t_1,t_1)& K(t_1,t_2)& \dots & K(t_1,t_n)\\ K(t_2,t_1)& K(t_2,t_2)& \dots & K(t_2,t_n)\\ ⋮& ⋮& \ddots & ⋮\\ K(t_n,t_1)& K(t_n,t_2)& \dots & K(t_n,t_n)\end{array}\right|\mathrm{d}{t}_1\dots \mathrm{d}{t}_n,B_n(x,t)=\underset{n\text{fois}}{\underbrace{\underset{a}{\overset{b}{\int }}\underset{a}{\overset{b}{\int }}\dots \underset{a}{\overset{b}{\int }}}}\left|\begin{array}{cccc}K(x,t)& K(x,t_1)& \dots & K(x,t_n)\\ K(t_1,t)& K(t_1,t_1)& \dots & K(t_1,t_n)\\ ⋮& ⋮& \ddots & ⋮\\ K(t_n,t)& K(t_n,t_1)& \dots & K(t_n,t_n)\end{array}\right|\mathrm{d}{t}_1\dots \mathrm{d}{t}_n.$

La fonction Modèle:Math est le déterminant de Fredholm, et Modèle:Math est le mineur de Fredholm.

Voir aussi

• Équation intégrale de Fredholm
• Fonction de Dickman

Liens externes

• Modèle:Lien web
• Modèle:Mathworld
• Modèle:Mathworld