Leibiniz

Prueba (por inducción) la fórmula de Leibiniz del cálculo diferencial: $D^n(fg) = \sum_{r=0}^n\binom nr D^{n-r}f\, D^rg$.

Primero notemos que:

$\displaystyle\binom nr + \binom {n}{r-1}=\binom {n+1}{r}$

Esto porque:

$\displaystyle\binom nr + \binom {n}{r-1}=\frac{n!}{r!(n-r)}+\frac{n!}{(r-1)!(n-r+1)!}$

$\displaystyle=\frac{n!}{r(r-1)!(n-r)!}+\frac{n!}{(r-1)!(n-r+1)(n-r)!}$

$\displaystyle=\frac{n!}{(r-1)!(n-r)!}\left(\frac{1}{r}+\frac{1}{(n-r+1)}\right)$

$\displaystyle=\frac{n!}{(r-1)!(n-r)!}\left(\frac{n+1}{r(n-r+1)}\right)$

$\displaystyle=\frac{(n+1)!}{r!(n-r+1)!}$

$\displaystyle=\binom{n+1}{r}$

Ahora ser hará inducción sombre $n$.

El caso base $n=1$

$\displaystyle D(fg) = \sum_{r=0}^1\binom 1r D^{1-r}f\, D^rg$
$=(Df)g+(f)Dg$

es simplemente la regla de la derivada de un producto (la afirmación es verdadera).

Suponemos verdadero para $n$

$\displaystyle D^n(fg) = \sum_{r=0}^n\binom nr D^{n-r}f\, D^rg$

Por demostrar que es verdadero para n+1.

$D^{n+1}(fg) =D(D^n(fg))$

$\displaystyle=D\left[ \sum_{r=0}^n\binom nr D^{n-r}f\, D^rg\right]$ (esto por hipótesis inductiva)

$\displaystyle=\sum_{r=0}^n\binom nrD\left[ D^{n-r}f\, D^rg\right]$ (esto por linealidad de la derivada)

$\displaystyle=\sum_{r=0}^n\binom nr\left[ D^{n-r+1}f\, D^rg+D^{n-r}f\,D^{r+1}g\right]$ (esto por ser la derivada de un producto)

$\displaystyle=\sum_{r=0}^n\binom nr D^{n-r+1}f\, D^rg+\sum_{r=0}^n\binom nrD^{n-r}f\,D^{r+1}g$

$\displaystyle=\sum_{r=0}^n\binom nr D^{n-r+1}f\, D^rg+\sum_{r=1}^n\binom{n}{r-1}D^{n-r+1}f\,D^{r}g$ (esto cambiando r por r-1 en la segunda suma)

$\displaystyle=(D^{n+1}f)\,g+\sum_{r=1}^n\binom nr D^{n-r+1}f\, D^rg+\sum_{r=1}^n\binom{n}{r-1}D^{n-r+1}f\,D^{r}g$

$\displaystyle=(D^{n+1}f)\,g+\sum_{r=1}^n\left[\binom nr D^{n-r+1}f\, D^rg+\binom{n}{r-1}D^{n-r+1}f\,D^{r}g\right]$

$\displaystyle=(D^{n+1}f)\,g+\sum_{r=1}^n\left[\binom nr +\binom{n}{r-1}\right]D^{n-r+1}f\,D^{r}g$

$\displaystyle=(D^{n+1}f)\,g+\sum_{r=1}^n\binom {n+1}{r} D^{n-r+1}f\,D^{r}g$ (esto por la nota al principio de la prueba)

$\displaystyle=\sum_{r=0}^n\binom {n+1}{r} D^{n-r+1}f\,D^{r}g$ L.Q.Q.D

Si no se indica lo contrario, el contenido de esta página se ofrece bajo Creative Commons Attribution-ShareAlike 3.0 License