El límite $\lim_{t\to 0} \frac{f(x_0+tv)-f(x_0)}t$ da el definición de la derivada en la dirección del vector unitario $v$ en $x=x_0\in \mathbb R^n$ Es decir $\frac{\partial}{\partial v} f (x_0)$ .
La fórmula $$\frac{\partial}{\partial v} f (x_0)=\nabla f(x_0)\cdot v$$ da una propiedad que es válida bajo la hipótesis de que $f$ es diferenciable en $x=x_0$ y es bastante útil para los cálculos. (Si $f$ no es diferenciable en $x=x_0$ entonces esa relación no tiene por qué ser cierta, aunque existan todas las derivadas direccionales).
La idea de la prueba es que siendo $f$ diferenciable en $x_0$ entonces el gradiente $\nabla f(x_0)$ existe y $$\lim_{x\to x_0}\frac{|f(x)-f(x_0)-\nabla f(x_0)\cdot(x-x_0)|}{||x-x_0||}=0$$
Pensemos en el punto $x=x_0+tv$ (digamos que para los fijos $x_0$ y $v$ ). Por definición de la derivada direccional (y restando y sumando $\nabla f(x_0)\cdot (x_0+tv-x_0$ ), conduce a
$$\frac{\partial}{\partial v} f (x_0)=\lim_{t\to 0} \frac{f(x_0+tv)-f(x_0)}t=$$ $$=\lim_{t\to 0} \frac{f(x_0+tv)-f(x_0)-\nabla f(x_0)\cdot(x_0+tv-x_0)}{||(x_0+tv)-x_0||}\cdot \frac{|t|\,||v||}{t}+\frac{\nabla f(x_0)\cdot(x_0+tv-x_0)}{t}.$$
Y como el límite del primer sumando es $0$ (¿por qué?) (*) y la segunda es constante el resultado es $$\frac{\partial}{\partial v} f (x_0)=\nabla f(x_0)\cdot v,$$ que da la fórmula habitual.
Lo que puede ser más interesante para entender esta relación es cuando no existe tal relación. Dejemos que $f \colon \mathbb R^2 \to \mathbb R$ y $$f(x,y)= \begin{cases} \tfrac{x^2y}{x^2+y^2} & (x,y)\neq (0,0) \\ 0 & (x,y)=(0,0). \\ \end{cases}$$
Un cálculo fácil utilizando la definición muestra que, si $v=(v_x,v_y)$ (supongamos que $||v||=1$ ), la derivada direccional es en cada dirección $$\frac{\partial}{\partial v} f (0,0)=\frac{v_x^2 v_y}{v_x^2+v_y^2}=v_x^2 v_y$$ (en particular, tanto $\frac{\partial}{\partial x} f (0,0)$ y $\frac{\partial}{\partial y} f (0,0)$ son cero, es decir $\nabla f(0,0)=(0,0)$ .
Por lo tanto, si la "fórmula del producto punto" fuera válida, debería darse el caso de que $$\frac{\partial}{\partial v} f (0,0)=(0,0)\cdot (v_x,v_y)=0,$$ que sólo se produce en las direcciones del $x$ y $y$ ejes. (Por cierto, esto también demuestra que $f$ no es diferenciable en $(0,0)$ .)
Te sugiero que intentes imaginar por qué la forma en que las derivadas direccionales varían cuando cambiamos de dirección en este caso (piense en el $xy$ plano como el suelo) no son compatibles con la existencia de un plano tangente (diferenciabilidad).
(*) Para verificar que $$\lim_{t\to 0} \frac{f(x_0+tv)-f(x_0)-\nabla f(x_0)\cdot(x_0+tv-x_0)}{||(x_0+tv)-x_0||}\cdot \frac{|t|\,||v||}{t}=0,$$ Primero, observe que $\frac{|t|\,||v||}{t}$ es igual a más o menos $||v||$ dependiendo del signo de $t$ lo que significa que es una función acotada de $t$ ( $t\neq 0$ ). Por lo tanto, para demostrar nuestra afirmación basta con mostrar que $$\lim_{t\to 0} \frac{f(x_0+tv)-f(x_0)-\nabla f(x_0)\cdot(x_0+tv-x_0)}{||(x_0+tv)-x_0||}=0.$$
Pero esto es una consecuencia de $f$ siendo diferenciable. De hecho, decimos que $f\colon \mathbb R^n \rightarrow \mathbb R$ es diferenciable en $x_0$ si y sólo si $$\lim_{x\to x_0} \frac{f(x)-f(x_0)-\nabla f(x_0)\cdot(x-x_0)}{||x-x_0||}=0.$$
Nuestra expresión sólo tiene $x_0+tv$ en lugar de $x$ y como el límite es para $t\to 0$ También es cierto que $x_0+tv\to x_0$ . La única diferencia es que la definición de función diferenciable utiliza un límite doble/triple/etc. (piense en secuencias de puntos de $\mathbb R^n$ convergiendo a $x_0$ desde cualquier dirección y en todo tipo de caminos simples o complicados), mientras que en nuestro límite $x$ tiende a $x_0$ sólo a lo largo de la línea recta en la dirección de $v$ . Pero como $f$ es diferenciable en $x_0$ el último límite es $0$ y lo mismo ocurre si restringimos al subconjunto de $\mathbb R^n$ esa es la línea.
0 votos
Puedes encontrar math.stackexchange.com/q/1912660/265466 y preguntas relacionadas informativas.