La fórmula de Cauchy per a la integració repetida, que porta el nom d'Augustin Louis Cauchy, permet comprimir n primitives d'una funció en una única integral. Es generalitza notablement en l'anàlisi fraccionari.
Cas escalar
Sigui f una funció contínua sobre la recta real. Aleshores l'enèsima integral repetida de f amb el punt base a,
![{\displaystyle f^{(-n)}(x)=\int _{a}^{x}\int _{a}^{\sigma _{1}}\cdots \int _{a}^{\sigma _{n-1}}f(\sigma _{n})\,\mathrm {d} \sigma _{n}\cdots \,\mathrm {d} \sigma _{2}\,\mathrm {d} \sigma _{1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2a4924d5743e61a41f91f8167f1f2fe90960447)
ve donada per integració única
![{\displaystyle f^{(-n)}(x)={\frac {1}{(n-1)!}}\int _{a}^{x}\left(x-t\right)^{n-1}f(t)\,\mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f8600dd570ef2d6f41657b4081b4a559589597c)
Prova
La demostració es dóna per inducció. Com que f és contínua, el cas base es desprèn del teorema fonamental del càlcul:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}f^{(-1)}(x)={\frac {\mathrm {d} }{\mathrm {d} x}}\int _{a}^{x}{\frac {(x-t)^{0}}{0!}}f(t)\,\mathrm {d} t={\frac {\mathrm {d} }{\mathrm {d} x}}\int _{a}^{x}f(t)\,\mathrm {d} t=f(x);}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fedff3e2024ad719142b5abf1a9f9768544882f)
on
![{\displaystyle f^{(-1)}(a)=\int _{a}^{a}f(t)\,\mathrm {d} t=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e81cc7046ee2c0b09dd0e15332b8182c7f4bc5d)
Ara, suposem que això és cert per a n, i ho demostrem per a n+1. En primer lloc, utilitzant la regla integral de Leibniz, tingueu en compte que
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\left[{\frac {1}{n!}}\int _{a}^{x}\left(x-t\right)^{n}f(t)\,\mathrm {d} t\right]={\frac {1}{(n-1)!}}\int _{a}^{x}\left(x-t\right)^{n-1}f(t)\,\mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9d943b65df26d19f65202c10a7b5d0cc25198e6)
Aleshores, aplicant la hipòtesi d'inducció,
![{\displaystyle {\begin{aligned}f^{-(n+1)}(x)&=\int _{a}^{x}\int _{a}^{\sigma _{1}}\cdots \int _{a}^{\sigma _{n}}f(\sigma _{n+1})\,\mathrm {d} \sigma _{n+1}\cdots \,\mathrm {d} \sigma _{2}\,\mathrm {d} \sigma _{1}\\&=\int _{a}^{x}{\frac {1}{(n-1)!}}\int _{a}^{\sigma _{1}}\left(\sigma _{1}-t\right)^{n-1}f(t)\,\mathrm {d} t\,\mathrm {d} \sigma _{1}\\&=\int _{a}^{x}{\frac {\mathrm {d} }{\mathrm {d} \sigma _{1}}}\left[{\frac {1}{n!}}\int _{a}^{\sigma _{1}}\left(\sigma _{1}-t\right)^{n}f(t)\,\mathrm {d} t\right]\,\mathrm {d} \sigma _{1}\\&={\frac {1}{n!}}\int _{a}^{x}\left(x-t\right)^{n}f(t)\,\mathrm {d} t.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bcfad26ebe82ebc6110c8c0a566a8d347a0cd66)
Això completa la prova.
Generalitzacions i aplicacions
La fórmula de Cauchy es generalitza a paràmetres no-enters per la integral de Riemann-Liouville, on
es substitueix per
, i el factorial es substitueix per la funció gamma. Les dues fórmules coincideixen quan
.[Nota 1]
Tant la fórmula de Cauchy com la integral de Riemann-Liouville es generalitzen a una dimensió arbitrària pel potencial de Riesz.
En el càlcul fraccional, aquestes fórmules es poden utilitzar per construir una diferintegral, que permet diferenciar o integrar un nombre fraccionari de vegades. La diferenciació d'un nombre fraccionari de vegades es pot aconseguir mitjançant la integració fraccionària i després diferenciant el resultat.
Amb uns quants passos de transformació és possible trobar una fórmula per a la
-èsima derivada.
També es poden trobar aplicacions en l'electroquímica, reologia i en la física (problema de la tautòcrona).
Notes
- ↑ La fórmula de Cauchy només s'aplica als nombres naturals perquè el factorial només es defineix per a ells. La integral de Riemann-Liouville permet la integració múltiple no només per als nombres reals sinó també per als nombres complexos utilitzant
substituït per
on
denota la funció gamma:
.
Referències
- Beardon, Alan. «Fractional calculus II» (en anglès). Universitat de Cambridge, 2000.
- Cauchy, Augustin Louis. «Trente-Cinquième Leçon». A: Résumé des leçons données à l’Ecole royale polytechnique sur le calcul infinitésimal (en francès). París: Imprimerie Royale, 1823.
- Folland, Gerald B. Advanced Calculus (en anglès). Prentice Hall, 2002, p. 193.