title: Équation intégrale de Volterra
text: # Équation intégrale de Volterra
  
  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 K, 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)=\int _{a}^{x}K(x,t,f(t))\mathrm {d} t$
  
  où f est la fonction inconnue, K et g 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 \int _{a}^{x}K(x,t,f(t))\mathrm {d} t,\quad a\leqslant t\leqslant x\leqslant b$
  
  où f est la fonction inconnue, K et g sont des fonctions données et λ 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 g = 0.
  
  ### 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'(x)=K(x,x,f(x))+\int _{a}^{x}{\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 :
  
      $\forall n\leqslant 0,\ f_{n+1}(x)=g(x)+\lambda \int _{a}^{b}R(x,t,f_{n}(t))\mathrm {d} t.$
  
  Elle fonctionne si g et K sont continues. On supposera d'abord $f_0$ 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 \int _{a}^{b}R(x,t;\lambda )g(t)\mathrm {d} t$
  
  avec R désignant la résolvante de Fredholm
  
      $R(x,t;\lambda )={\frac {D(x,t;\lambda )}{D(\lambda )}}$
  
  où les fonctions D, sont définies par
  
      $D(\lambda )=\sum _{n=1}^{+\infty }{\frac {(-1)^{n}}{n!}}C_{n}\lambda ^{n}\ ,\ D(x,t;\lambda )=K(x,t)+\sum _{n=1}^{+\infty }{\frac {(-1)^{n}}{n!}}B_{n}(x,t)\lambda ^{n}$
  
  avec
  
      $C_{n}=\underbrace {\int _{a}^{b}\int _{a}^{b}\ldots \int _{a}^{b}} _{n\ {\textrm {fois}}}\left|{\begin{matrix}K(t_{1},t_{1})&K(t_{1},t_{2})&\ldots &K(t_{1},t_{n})\\K(t_{2},t_{1})&K(t_{2},t_{2})&\ldots &K(t_{2},t_{n})\\\vdots &\vdots &\ddots &\vdots \\K(t_{n},t_{1})&K(t_{n},t_{2})&\ldots &K(t_{n},t_{n})\\\end{matrix}}\right|\mathrm {d} t_{1}\ldots \mathrm {d} t_{n}\ ,\ B_{n}(x,t)=\underbrace {\int _{a}^{b}\int _{a}^{b}\ldots \int _{a}^{b}} _{n\ {\textrm {fois}}}\left|{\begin{matrix}K(x,t)&K(x,t_{1})&\ldots &K(x,t_{n})\\K(t_{1},t)&K(t_{1},t_{1})&\ldots &K(t_{1},t_{n})\\\vdots &\vdots &\ddots &\vdots \\K(t_{n},t)&K(t_{n},t_{1})&\ldots &K(t_{n},t_{n})\\\end{matrix}}\right|\mathrm {d} t_{1}\ldots \mathrm {d} t_{n}.$
  
  La fonction D(x, t ; λ) est le déterminant de Fredholm, et D(λ) est le mineur de Fredholm.
  
  