35 votos

Segunda derivada "derivación de la fórmula"

He tratado de entender cómo funciona la "fórmula" de la derivada de segundo orden:

$$\lim_{h\to0} \frac{f(x+h) - 2f(x) + f(x-h)}{h^2}$$

Por lo tanto, la tasa de cambio de la tasa de cambio para una función continua arbitraria. Básicamente se siente bien, ya que muestra "el después $x+h$ y el antes $x-h$ " y el $h^2$ está ahí (debido a la esperada /h/h -> /h*h), pero estoy teniendo problemas para encontrar la ecuación por mi cuenta.

Es básicamente un derivado de un derivado, ¿verdad? La notación newtoniana declara como $f''$ y la de Leibniz como $\frac{\partial^2{y}}{\partial{x}^2}$ que se disuelve en:

$$(f')'$$ y $$\frac{\partial{}}{\partial{x}}\frac{\partial{f}}{\partial{x}}$$

Así, la primera derivación muestra la tasa de cambio del valor de una función en relación con la entrada. La segunda derivada muestra la tasa de cambio de la tasa de cambio real, sugiriendo información relativa a la frecuencia con la que cambia.

El original es bastante sencillo:

$$\frac{\Delta y}{\Delta x} = \lim_{h\to0} \frac{f(x+h) - f(x)}{x + h - x} = \lim_{h\to0} \frac{f(x+h) - f(x)}{h}$$

Y se puede demostrar fácilmente que $f'(x) = nx^{n-1} + \dots$ es correcta para la más próxima de las funciones polinómicas. Así, mi lógica sugiere que para obtener la derivada de una derivada, sólo hay que enviar la función derivada como entrada para encontrar la nueva derivada. Dejaré de lado el $\lim_{h\to0}$ para simplificar:

$$f'(x) = \frac{f(x+h) - f(x)}{h}$$

Por lo tanto, la derivada de la derivada debe ser:

$$f''(x) = \lim_{h\to0} \frac{f'(x+h) - f'(x)}{h}$$

$$f''(x) = \lim_{h\to0} \frac{ \frac{ f(x+2h) - f(x+h)}{h} - \frac{ f(x+h) - f(x)}{h} }{h}$$

$$f''(x) = \lim_{h\to0} \frac{ \frac{ f(x+2h) - f(x+h) - f(x+h) + f(x)}{h} }{h}$$

$$f''(x) = \lim_{h\to0} \frac{ f(x+2h) - f(x+h) - f(x+h) + f(x) }{h^2}$$

$$f''(x) = \lim_{h\to0} \frac{ f(x+2h) - 2f(x+h) + f(x) }{h^2}$$

¿Qué estoy haciendo mal? Tal vez sea el desorden de todo esto, pero no puedo verlo. Por favor, ayuda.

0 votos

Para evitar confusiones, me gustaría señalar que la fórmula (la centrada o la otra) no es "verdadera" en el mismo sentido que lo es la fórmula de la primera derivada, es decir, no puede utilizarse como definición de la segunda derivada. Puede ocurrir que el límite exista pero $f''(x)$ no lo hace. La fórmula es verdadera sólo cuando $f''(x)$ existe. math.stackexchange.com/questions/1298208/

2 votos

"Dejaré caer el $\lim_{h\to0}$ para simplificar: $$f'(x) = \frac{f(x+h) - f(x)}{h}$$ " Esta línea es errónea. La derivada no es la relación de las diferencias, sino que es el límite de la relación de las diferencias. Sin tomar el límite, en general, la igualdad no se mantiene.

1 votos

Creo que todos los que se ocupan de esta cuestión tienen que ocuparse también de esta pregunta (y de su respuesta aceptada). Aquí se aborda la derivación formal del límite: math.stackexchange.com/questions/1298208/

21voto

DiGi Puntos 1925

El único problema es que estás mirando los tres puntos equivocados: estás mirando $x+2h,x+h$ y $x$ y la versión que se quiere probar utiliza $x+h,x$ y $x-h$ . Comience con $$f\,''(x)=\lim_{h\to 0}\frac{f\,'(x)-f\,'(x-h)}h\;,$$ y estarás bien.

Para ver que esto realmente es equivalente a mirar $$f\,''(x)=\lim_{h\to 0}\frac{f\,'(x+h)-f\,'(x)}h\;,$$ dejar $k=-h$ Entonces

$$\begin{align*} f\,''(x)&=\lim_{h\to 0}\frac{f\,'(x)-f\,'(x-h)}h\\ &=\lim_{-k\to0}\frac{f\,'(x)-f\,'(x-(-k))}{-k}\\ &=\lim_{k\to 0}\frac{f\,'(x-(-k))-f\,'(x)}k\\ &=\lim_{k\to 0}\frac{f\,'(x+k)-f\,'(x)}k\;, \end{align*}$$

y volviendo a nombrar la variable ficticia como $h$ completa la demostración.

1 votos

¡Ja, qué bien! La respuesta se perdió en lo que omití durante mi trabajo: el límite. Puede acercarse de ambas maneras, cómo increíblemente tonto de mí y brillante en la expresión aquí. Gracias.

0 votos

@LearningDroid: De nada.

1 votos

Parece que has utilizado lo siguiente: si $a_n\rightarrow0$ y $b_n\rightarrow0$ entonces $$\lim_{n\rightarrow\infty}\frac{\lim_{n\rightarrow\infty}a_n/b_n}{b_n} = \lim_{n\rightarrow\infty}\frac{a_n}{b_n^2}$$ Hay que demostrarlo, ¿no?

12voto

Utilizando las expansiones en serie de Taylor de $f(x+h)$ y $f(x-h)$ ,

$$ f(x+h) = f(x) + f'(x)h+f''(x)\frac{h^2}{2} + f'''(x)\frac{h^3}{3!}+\cdots $$

$$ f(x-h) = f(x) - f'(x)h+f''(x)\frac{h^2}{2} - f'''(x)\frac{h^3}{3!}+\cdots $$

Sumando las ecuaciones anteriores se obtiene

$$ \frac{f(x+h) - 2f(x) + f(x-h)}{h^2} = f''(x) + 2\frac{f''''(x)}{4!}h^2+\cdots $$

tomando el límite de la ecuación anterior como $h$ va a cero da el resultado deseado

$$ \Rightarrow f''(x) = \lim_{h\to0} \frac{f(x+h) - 2f(x) + f(x-h)}{h^2} \,.$$

2 votos

Muchas gracias, esto añade mucha perspectiva, pero el Sr. Scott se las arregló para demostrarlo sin traer las Series de Taylor, que aunque son correctas, complican el proceso de prueba. :D

0 votos

@LearningDroid: De nada.

16 votos

Hay una cosa que no estoy completamente seguro de su prueba. Usted dice: $$f''(x)=\lim_{h\to0} \frac{ \frac{ f(x+2h) - f(x+h)}{h} - \frac{ f(x+h) - f(x)}{h} }{h}$$ pero no debería ser $$f''(x) = \lim_{h\to0} \frac{ \lim_{h_1\to0} \frac{ f(x+h) - f(x+h-h_1)}{h} - \lim_{h_2\to0} \frac{ f(x) - f(x-h_2)}{h} }{h}$$ por qué puede asumir el todo, $h_1, h_2$ y $h$ son los mismos. Además, ¿por qué se pueden llevar a cero a la misma velocidad?

2voto

Studer Puntos 1050

Su fórmula es correcta. Puedes comprobarla fácilmente utilizando Taylor (o, más formalmente, si sólo tienes segundas derivadas, un Teorema del Valor Medio de segundo orden): $$\begin{multline} \frac1{h^2}\left[f(x+2h)-2f(x+h)+f(x)\right]= \\ \frac1{h^2}\left[ f(x)+2hf'(x)+\frac{4h^2}2f''(x)+o(h^3)-2(f(x)+hf'(x)+\frac{h^2}2f''(x)+o(h^3))+f(x)\right] = \\ \frac1{h^2}\,h^2f''(x) +o(h)=f''(x)+o(h). \end{multline}$$ Sin embargo, tu deducción es un poco inestable, ya que estás unificando dos límites en uno sin justificación. El mismo argumento funciona, y te da la fórmula que querías, si empiezas con $$ \frac1{h^2}\left[f(x+h)-2f(x)+f(x-h)\right] $$

0 votos

Parece que usted asume $f(x+2h) = f(x) + f'(x)\cdot 2h + \frac{1}{2} f''(x) (2h)^2$ . Sin embargo, esto no es correcto. La igualdad sólo es "aproximadamente igual" a menos que se consideren los términos restantes.

0 votos

Sigue siendo incorrecto si sólo sabemos que $f''(x)$ existe pero nada más. La forma habitual del resto de Lagrange requiere que $f^{(3)}$ existe en una vecindad de $x$ . Sin embargo, en nuestro caso, no sabemos ni siquiera si $f''$ existe para otros puntos que no sean $x$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X