Si la definición de la derivada es $$ f^\prime(x) = \lim_{\Delta x \to 0} \dfrac{f(x+\Delta x) - f(x)}{\Delta x} $$ ¿Tendría sentido que la enésima derivada fuera (ya sé que la "n" en delta x a la enésima potencia es inútil) $$ f^{(n)}(x)=\lim_{\Delta x \to 0} \sum_{k=0}^{n}(-1)^k{n \choose k}\dfrac{f(x+\Delta x(n-k))}{\Delta x^n} $$ He llegado a esta conclusión utilizando este método $$ f^\prime(x) = \lim_{\Delta x \to 0} \dfrac{f(x+\Delta x) - f(x)}{\Delta x} $$ (esto es correcto, ¿no?) $$ f^{\prime\prime}(x) = \lim_{\Delta x \to 0} \dfrac{f^\prime(x+\Delta x) - f^\prime(x)}{\Delta x}=$$
$$\lim_{\Delta x \to 0}\dfrac{\dfrac{f((x+\Delta x)+\Delta x)-f(x+\Delta x)}{\Delta x}-\dfrac{f(x+\Delta x)-f(x)}{\Delta x}}{\Delta x}=$$
$$\lim_{\Delta x \to 0}\dfrac{f(x+2\Delta x)-2f(x+\Delta x)+f(x)}{\Delta x^2} $$ Después de seguir este método un par de veces (creo que lo utilicé hasta la 5ª derivada) me noté el patrón de $$(a-b)^n$$ Y así es como llegué a $$ f^{(n)}(x)=\lim_{\Delta x \to 0} \sum_{k=0}^{n}(-1)^k{n \choose k}\dfrac{f(x+\Delta x(n-k))}{\Delta x^n} $$ ¿He cometido un error garrafal en alguna parte o esta definición se cumple realmente?
Gracias por su tiempo, se lo agradezco mucho.
P.D. Se agradecerá cualquier aportación sobre el uso de etiquetas.
¿Esto se debe a que debería haber utilizado otra variable para la segunda $\Delta x$ ¿para no confundirlo con el primero?
0 votos
Me parece bien. A veces la gente prefiere las fórmulas centradas. Eso es para hacer $x$ para ser el centro de todos los puntos considerados en contraposición a tener todos los demás puntos después o antes de $x$ . Eso da una mejor concordancia en el trabajo numérico.
0 votos
Me preocuparía que el $\Delta x$ de decir que la segunda derivada es un objeto diferente al $\Delta x$ de la primera derivada. Se tiene un límite que implica $\Delta x^n$ como $\Delta x\to0$ pero la interpretación iterada directa implicaría un límite $\Delta x_1\Delta x_2\cdots\Delta x_n$ como $\Delta x_n\to0$ , $\Delta x_{n-1}\to0$ , ..., $\Delta x_1\to0$ . Y supongo que hay funciones en las que el límite iterado (el segundo) es una cosa, y el límite amalgamado (el primero) es otra.
0 votos
Ah, ya veo lo que quieres decir. Sense el resultado final no cambia era un poco difícil de notar. Gracias alex.jordan
1 votos
Este método fue utilizado por Riemann (creo que sólo para la versión de 2º orden) como una noción algo más débil que la diferenciabilidad ordinaria de 2º orden que aplicó en el estudio de las series trigonométricas. Las primeras frases del artículo de J. Marshall Ash de 1970 Una caracterización de la derivada de Peano puede ser útil. Para saber más de lo que se quiere saber sobre este tema, véase el libro de Satya Mukhopadhyay de 2012 Derivados de orden superior (He podido ver, en "vista previa", el índice de contenidos).
0 votos
Gracias Dave L. Renfro. Ese libro parece que responderá a la mayoría de mis preguntas sobre este tema.
0 votos
@tiendbz Todavía no estoy seguro, pero creo que podría ser posible encontrar una función $f$ donde $\lim\limits_{h\to0}\sum\limits_{k=0}^2(-1)^k\binom{2}{k}\frac{x+h(2-k)}{h^2}$ no es igual a $\lim\limits_{h_2\to0}\frac{\lim_{h_1\to0}\frac{f(x+h_2+h_1)-f(x+h_2)}{h_1}-\lim_{h_1\to0}\frac{f(x+h_1)-f(x)}{h_1}}{h_2}$ . Podría estar equivocado, y tal vez estas cosas sean probadamente iguales. Pero no puedo evitar la sensación de que podría haber un $f$ donde estos no son iguales. En general, el límite iterado como $h_2\to0,h_1\to0$ no tiene por qué ser igual a un límite correspondiente como $h\to0$ .
0 votos
Posible duplicado de Demostrar que $\lim_{\Delta x\rightarrow 0} \frac{\Delta ^{n}f(x)}{\Delta x^{n}} = f^{(n)}(x)$
3 votos
La derivada depende intrínsecamente de la función de forma muy directa. Así, $f'(a)$ depende de los valores de $f$ cerca (y sobre) $a$ . Y del mismo modo $f''(a)$ depende de los valores de $f'$ cerca de $a$ (que a su vez dependen de los valores de $f$ cerca de $a$ ). Pero la dependencia de $f''(a)$ sobre los valores de $f$ es mucho más indirecta que su dependencia de los valores de $f'$ . Es mejor definir la n-ésima derivada como "derivada" de la "(n - 1)-ésima derivada" que en términos de la función original. La fórmula del límite que has mencionado es correcta siempre que exista la n-ésima derivada y no al revés.
2 votos
Es posible construir un ejemplo de una función donde la fórmula del límite da un valor pero la función no es diferenciable n veces según la definición aceptada.
0 votos
@Paramanand Suspiro ya veo. Si esta no es la definición de la enésima derivada, ¿puedo seguir utilizándola o es defectuosa en la forma en que la describe alex.jordan?
2 votos
@tiendbz: Para la mayoría de las funciones habituales que se comportan bien (es decir, funciones cuyas n-ésimas derivadas existen) se puede utilizar para calcular la n-ésima derivada directamente mediante una única operación de límite. Pero puede haber casos en los que dicho límite existe, pero la función en sí no es diferenciable n veces.