Formula di Cauchy per integrazioni ripetute

In analisi matematica, la formula di Cauchy per integrazioni ripetute, il cui nome deriva da Augustin-Louis Cauchy, rappresenta un modo per calcolare più integrali ripetuti mediante un'unica formula.

Enunciato

Sia f {\displaystyle f} una funzione continua definita sulla retta reale positiva. Allora l'integrale ripetuto[1]

f ( n ) ( x ) = 0 x 0 σ 1 0 σ n 1 f ( σ n ) d σ n d σ 2 d σ 1 {\displaystyle f^{(-n)}(x)=\int _{0}^{x}\int _{0}^{\sigma _{1}}\cdots \int _{0}^{\sigma _{n-1}}f(\sigma _{n})d\sigma _{n}\cdots d\sigma _{2}d\sigma _{1}}

è dato dal singolo integrale

f ( n ) ( x ) = 1 ( n 1 ) ! 0 x ( x y ) n 1 f ( y ) d y {\displaystyle f^{(-n)}(x)={\frac {1}{(n-1)!}}\int _{0}^{x}\left(x-y\right)^{n-1}f(y)dy} .

Dimostrazione

La dimostrazione è data usando il principio d'induzione. Poiché f {\displaystyle f} è continua, il caso base segue dal teorema fondamentale del calcolo integrale:

d d x f ( 1 ) ( x ) = d d x a x f ( t ) d t = f ( x ) {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}f^{(-1)}(x)={\frac {\mathrm {d} }{\mathrm {d} x}}\int _{a}^{x}f(t)\,\mathrm {d} t=f(x)} ;

dove

f ( 1 ) ( a ) = a a f ( t ) d t = 0 {\displaystyle f^{(-1)}(a)=\int _{a}^{a}f(t)\,\mathrm {d} t=0} .

Ora, supposto questo vero per n {\displaystyle n} , non resta che provarlo per n + 1 {\displaystyle n+1} . Per prima cosa, utilizzando la regola integrale di Leibniz per portare la derivata dentro il segno d'integrale, si nota che

d d x [ 1 n ! a x ( x t ) n f ( t ) d t ] = 1 ( n 1 ) ! a x ( x t ) n 1 f ( t ) d t {\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} .

Allora, applicando l'ipotesi induttiva,

f ( n + 1 ) ( x ) = a x a σ 1 a σ n f ( σ n + 1 ) d σ n + 1 d σ 2 d σ 1 = a x 1 ( n 1 ) ! a σ 1 ( σ 1 t ) n 1 f ( t ) d t d σ 1 = a x d d σ 1 [ 1 n ! a σ 1 ( σ 1 t ) n f ( t ) d t ] d σ 1 = 1 n ! a x ( x t ) n f ( t ) d t {\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}}}

e questo completa la dimostrazione.

Applicazioni

Nel calcolo frazionario, questa formula può essere usata per costruire una nozione di differintegrale, permettendo di derivare e integrare un numero frazionale di volte. Integrare un numero frazionario di volte con questa formula è chiaro, infatti basta interpretare ( n 1 ) ! {\displaystyle (n-1)!} come Γ ( n ) {\displaystyle \Gamma (n)} (vedere funzione Gamma). Derivare invece può essere realizzato grazie all'integrazione frazionaria, e dopo differenziando il risultato.

Note

  1. ^ Si noti che non si sta compiendo l'operazione 0 x d n d t n f ( t ) d t {\displaystyle \int _{0}^{x}{\frac {d^{n}}{dt^{n}}}f(t)dt} , né l'operazione ( 0 x f ( t ) d t ) n {\displaystyle \left(\int _{0}^{x}f(t)dt\right)^{n}} .

Bibliografia

  • (EN) Gerald B. Folland, Advanced Calculus, Prentice Hall (2002), p. 193, ISBN 0-13-065265-2

Collegamenti esterni

  • Alan Beardon, Fractional calculus II, su nrich.maths.org, University of Cambridge, 2000.
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica