Valor principal de Cauchy

Aquest article és sobre el mètode per assignar valors a integrals impròpies. Per als valors d'una funció complexa associada amb una única branca, vegeu valor principal. Per la porció de potència negativa d'una sèrie de Laurent, vegeu part Principal.

En matemàtiques, el valor principal Cauchy, anomenat així en honor d'Augustin Louis Cauchy, és un mètode per assignar valors a certes integrals impròpies que altrament serien indefinides. Depenent del tipus de singularitat en la integral, el valor de principi Cauchy es defineix com un dels següents:

• el nombre finit

${\displaystyle \lim _{\varepsilon \rightarrow 0+}\left[\int _{a}^{b-\varepsilon }f(x)\,dx+\int _{b+\varepsilon }^{c}f(x)\,dx\right]}$

on b és un punt en el qual és el comportament de la funció f és tal que

${\displaystyle \int _{a}^{b}f(x)\,dx=\pm \infty }$

per a tot a < b i

${\displaystyle \int _{b}^{c}f(x)\,dx=\mp \infty }$

per a tot c > b (un signe és "+" i l'altre és "−"; vegeu signe més menys per la utilització precisa de les notacions ±, ∓).

o

• el nombre finit

${\displaystyle \lim _{a\rightarrow \infty }\int _{-a}^{a}f(x)\,dx}$

on

${\displaystyle \int _{-\infty }^{0}f(x)\,dx=\pm \infty }$

i

${\displaystyle \int _{0}^{\infty }f(x)\,dx=\mp \infty }$

En alguns casos cal tractar simultàniament amb singularities tant en un nombre finit b com a l'infinit. Això es fa normalment amb un límit de la forma

${\displaystyle \lim _{\varepsilon \rightarrow 0+}\int _{b-{\frac {1}{\varepsilon }}}^{b-\varepsilon }f(x)\,dx+\int _{b+\varepsilon }^{b+{\frac {1}{\varepsilon }}}f(x)\,dx.}$

o

• en termes d'integrals de contorn d'una funció complexa f (z); z = x + i y, amb un pol sobre el contorn. El pol està envoltat amb un cercle de radi ε i la porció del camí a fora d'aquest cercle es denota L(ε). A condició que la funció f (z) sigui integrable sobre L(ε) no importa com sigui de petit ε, llavors el valor principal Cauchy és el límit:^[1]

${\displaystyle \mathrm {P} \int _{L}f(z)\ dz=\int _{L}^{*}f(z)\ dz=\lim _{\epsilon \to 0}\int _{L(\epsilon )}f(z)\ dz\,}$

on dues de les notacions comunes per al valor principal Cauchy apareixen a l'esquerra d'aquesta equació.