Derivabilidad de las funciones vectoriales

Introducción

Generalizando un poco las ideas del cálculo diferencial de funciones $f : R \to R$ a funciones $f : R \to R^{n}$ . Recordemos que $f : R \to R$ es diferenciable en un punto $t_{0}$ si
$lim_{h \to 0} \frac{f (t_{0} + h) - f (t_{0})}{h}$ existe y en tal caso lo denotamos $f^{'} (t_{0})$

Definición. Sea $r : I \subset R \to R^{n}$ una función vectorial definida en un intervalo abierto $I \in R$ y $t \in I$ . Se define la derivada de f en $t$ , denotada por $r^{'} (t)$ como
$r^{'} (t) = lim_{h \to 0} \frac{r (t + h) - r (t)}{h}$ cuando este limite existe

Ejemplo. Usa la definición para calcular la derivada de la función.
$r (t) = (3 t + 4) i + (t^{2} - 4 t + 3) j$

Tenemos que
$r^{'} (t) = lim_{h \to 0} \frac{r (t + h) - r (t)}{h}$
$= lim_{h \to 0} \frac{[(3 (t + h) + 4) i + ((t + h)^{2} - 4 (t + h) + 3) j] - [(3 t + 4) i + (t^{2} - 4 t + 3) j]}{h}$
$= lim_{h \to 0} \frac{(3 t + 3 h + 4) i - (3 t + 4) i + (t^{2} + 2 t h + h^{2} - 4 t - 4 h + 3) j - (t^{2} - 4 t + 3) j}{h}$
$= lim_{h \to 0} (3 i + (2 t h + h - 4) j)$
$= 3 i + (2 t - 4) j .$

Teorema. Sea $f : R \to R^{n}$ una función vectorial, $t_{0} \in R$ . f es diferenciable en el punto $t_{0}$ si y solo si cada función componente $x_{i} (t)$ de f es diferenciable en el punto $t_{0}$ , en cuyo caso $f^{'} (t_{0}) = (x_{1}^{'} (t_{0}), x_{2}^{'} (t_{0}), . ., x_{n}^{'} (t_{0}))$

Demostración. $(\Rightarrow)$
Supongamos que f es diferenciable en $t_{0}$ . Entonces

$lim_{h \to 0} \frac{f (t_{0} + h) - f (t_{0})}{h}$

Por otro lado

$lim_{h \to 0} \frac{f (t_{0} + h) - f (t_{0})}{h} = lim_{h \to 0} (\frac{(x_{1} (t_{0} + h), x_{2} (t_{0} + h), \dots, x_{n} (t_{0} + h)) - (x_{1} (t_{0}), x_{2} (t_{0}), \dots, x_{n} (t_{0}))}{h})$
$= lim_{h \to 0} (\frac{x_{1} (t_{0} + h) - x_{1} (t_{0})}{h}, \frac{x_{2} (t_{0} + h) - x_{2} (t_{0})}{h}, \dots, \frac{x_{n} (t_{0} + h) - x_{n} (t_{0})}{h})$
$= (lim_{h \to 0} \frac{x_{1} (t_{0} + h) - x_{1} (t_{0})}{h}, lim_{h \to 0} \frac{x_{2} (t_{0} + h) - x_{2} (t_{0})}{h}, \dots, lim_{h \to 0} \frac{x_{n} (t_{0} + h) - x_{n} (t_{0})}{h})$
conforme $h \to 0$ cada limite de las funciónes componentes existe $∴$
$lim_{h \to 0} \frac{x_{i} (t_{0} + h) - x_{i} (t_{0})}{h} = x_{i}^{'} (t_{0})$
$∴$ cada $x_{i}$ es diferenciable en $t_{0}$

$(\Leftarrow)$ Se pueden regresar en los pasos de la prueba anterior.
Definición. La derivada $f^{'} (t)$ de una trayectoria f puede ser asociada a una matriz $n \times 1$ la cual es conocida como la matriz Jacobiana de f en el punto $t_{0}$ .

Se denota
$J f (t_{0}) = [\begin{matrix} x_{1}^{'} (t_{0}) \\ x_{2}^{'} (t_{0}) \\ ⋮ \\ x_{n}^{'} (t_{0}) \end{matrix}]$

Propiedades de la derivada de funciones con valores vectoriales

Ejercicio. Utiliza la definición de derivada para demostrar que:
Si $f : R \to R^{n}$ esta dada por $f (t) = a \in R^{n}$ , $a$ constante, entonces $f^{'} (t) = 0$
Solución.
$f^{'} (t) = lim_{h \to 0} \frac{f (t + h) - f (t)}{h} = lim_{h \to 0} \frac{a - a}{h} = 0.$
Ejercicio. Prueba lo siguiente: Si $f (t) = a h (t)$ entonces $f^{'} (t) = a h^{'} (t)$
Solución.
$\begin{array}{ll} f^{'} (t) & = lim_{h \to 0} \frac{f (t + h) - f (t)}{h} \\ = lim_{h \to 0} \frac{a h (t + h t) - a h (t)}{h} \\ = lim_{h \to 0} a lim_{h \to 0} \frac{h (t + h) - h (t)}{h} \\ = a h^{'} (t) . \end{array}$
Ejercicio. Demuestre lo siguiente: Si $f (t)$ y $g (t)$ son funciones
vectoriales, entonces $(f + g)^{'} (t) = f^{'} (t) + g^{'} (t)$
Solución
$\begin{array}{ll} (f + g)^{'} (t) & = lim_{h \to 0} \frac{f + g (t + h) - [f + g (t)]}{h} \\ = lim_{h \to 0} \frac{f (t + h) + g (t + h) - f (t) - g (t)}{h} \\ = lim_{h \to 0} \frac{f (t + h) - f (t)}{h} + \frac{g (t + h) - g (t)}{h} \\ = f^{'} (t) + g^{'} (t) . \end{array}$
Ejercicio. Pruebe lo siguiente: $(f \cdot g)^{'} (t) = f (t) \cdot g^{'} (t) + f^{'} (t) \cdot g (t)$
Solución.
$\begin{array}{ll} (f \cdot g (t))^{'} & = lim_{h \to 0} \frac{f (t + h) \cdot g (t + h) - f (t) \cdot g (t)}{h} \\ = lim_{h \to 0} \frac{f (t + h) \cdot [g (t + h) - g (t)] + [f (t + h) - f (t)] \cdot g (t)}{h} \\ = lim_{h \to 0} \frac{f (t + h) \cdot [g (t + h) - g (t)]}{h} + \frac{[f (t + h) - f (t)] \cdot g (t)}{h} \\ = f (t) \cdot g^{'} (t) + f^{'} (t) \cdot g (t) . \end{array}$
$(f \times g)^{'} (t) = f (t) \times g^{'} (t) + f^{'} (t) \times g (t)$
Solución.
$\begin{array}{ll} (f \times g (t))^{'} & = lim_{h \to 0} \frac{f (t + h) \times g (t + h) - f (t) \times g (t)}{h} \\ = lim_{h \to 0} \frac{f (t + h) \times [g (t + h) - g (t)] + [f (t + h) - f (t)] \times g (t)}{h} \\ = lim_{h \to 0} \frac{f (t + h) \times [g (t + h) - g (t)]}{h} + \frac{[f (t + h) - f (t)] \times g (t)}{h} \\ = f (t) \times g^{'} (t) + f^{'} (t) \times g (t) . \end{array}$
Ejemplo. Dadas las funciones vectoriales
$\begin{aligned} r (t) & = (6 t + 8) i + (4 t^{2} + 2 t - 3) j + 5 t k \\ u (t & ) = (t^{2} - 3) i + (2 t + 4) j + (t^{3} - 3 t) k \end{aligned}$
calcule cada una de las siguientes derivadas usando las propiedades de la derivada de funciones vectoriales.
$\frac{d}{d t} [r (t) \cdot u (t)]$
$\frac{d}{d t} [u (t) \times u^{'} (t)]$
En este caso tenemos que $r^{'} (t) = 6 i + (8 t + 2) j + 5 k$ y $u^{'} (t) = 2 t i + 2 j + (3 t^{2} - 3) k$ . Por tanto
$\begin{aligned} \frac{d}{d t} [r (t) \cdot u (t)] & = r^{'} (t) \cdot u (t) + r (t) \cdot u^{'} (t) \\ = (6 i + (8 t + 2) j + 5 k) \cdot ((t^{2} - 3) i + (2 t + 4) j + (t^{3} - 3 t) k) \\ + ((6 t + 8) i + (4 t^{2} + 2 t - 3) j + 5 t k) \cdot (2 t i + 2 j + (3 t^{2} - 3) k) \\ = 6 (t^{2} - 3) + (8 t + 2) (2 t + 4) + 5 (t^{3} - 3 t) \\ + 2 t (6 t + 8) + 2 (4 t^{2} + 2 t - 3) + 5 t (3 t^{2} - 3) \\ = 20 t^{3} + 42 t^{2} + 26 t - 16. \end{aligned}$
Primero, necesitamos adaptar la propiedad correspondiente para este problema:
$\frac{d}{d t} [u (t) \times u^{'} (t)] = u^{'} (t) \times u^{'} (t) + u (t) \times u^{''} (t)$
Recuerda que el producto cruz de cualquier vector consigo mismo es cero. Además, $u^{''} (t)$ representa la segunda derivada de $u (t)$ :
$u^{''} (t) = \frac{d}{d t} [u^{'} (t)] = \frac{d}{t} [2 t i + 2 j + (3 t^{2} - 3) k] = 2 i + 6 t k$
Por lo tanto
$\begin{aligned} \frac{d}{d t} [u (t) \times u^{'} (t)] & = 0 + ((t^{2} - 3) i + (2 t + 4) j + (t^{3} - 3 t) k) \times (2 i + 6 t k) \\ = | \begin{array}{c} i & j & k \\ t^{2} - 3 & 2 t + 4 & t^{3} - 3 t \\ 2 & 0 & 6 t \end{array} | \\ = 6 t (2 t + 4) i - (6 t (t^{2} - 3) - 2 (t^{3} - 3 t)) j - 2 (2 t + 4) k \\ = (12 t^{2} + 24 t) i + (12 t - 4 t^{3}) j - (4 t + 8) k . \end{aligned}$

Integrales de funciones con valores vectoriales

Introdujimos antiderivadas de funciones con valores reales en Antiderivadas e integrales definidas de funciones de valor real. Cada uno de estos conceptos se puede extender a funciones con valores vectoriales. Además, así como podemos calcular la derivada de un valor vectorial diferenciando las funciones componentes por separado, podemos calcular la antiderivada de la misma manera. Además, el Teorema Fundamental del Cálculo se aplica también a las funciones vectoriales. La antiderivada de una función vectorial aparece en las aplicaciones. Por ejemplo, si una función con valores vectoriales representa la velocidad de un objeto en el tiempo t, entonces su antiderivada representa la posición. O, si la función representa la aceleración del objeto en un momento dado, entonces la antiderivada representa su velocidad.
Sean $f_{1} (t), \dots, f_{n} (t)$ funciones de variable real sobre un intervalo $[a, b]$ .
La integral indefinida de una función vectorial $r (t) = (f_{1} (t), \dots, f_{n} (t))$ es
$\int r (t) d t = \int [(f_{1} (t), \dots, f_{n} (t))] = [\int f_{1} (t) d t, \int f_{2} (t) d t, \dots, \int f_{n} (t) d t]$
La integral definida de una función vectorial es
$\int_{a}^{b} r (t) d t = \int_{a}^{b} [(f_{1} (t), \dots, f_{n} (t))] = [\int_{a}^{b} f_{1} (t) d t, \int_{a}^{b} f_{2} (t) d t, \dots, \int_{a}^{b} f_{n} (t) d t]$
La integral existe siempre que cada una de las integrales $\int_{a}^{b} f_{i} (t) d t$ con $i = 1, \dots, n$ existe. En particular, si $f_{i}$ es continua sobre $[a, b]$ entonces $\int_{a}^{b} f_{i} (t) d t$ existe.
Dado que la integral indefinida de una función con valores vectoriales implica integrales indefinidas de las funciones componentes, cada una de estas integrales de componentes contienen una constante de integración. Todas pueden ser diferentes. Por ejemplo en el caso, en dos dimensiones, podemos tener
$\int r_{1} (t) d t = F (t) + C_{1} y \int r_{3} (t) d t = G (t) + C_{2}$
donde F y G son antiderivadas de $r_{1} (t)$ y $r_{2} (t)$ , respectivamente. Entonces
$\begin{aligned} \int [r_{1} (t) + r_{2} (t)] d t & = [\int r_{1} (t) d t] + [\int r_{2} (t) d t] \\ = (F (t) + C_{1}) + (G (t) + C_{2}) \\ = F (t) + G (t) + C_{1} + C_{2} \\ = F (t) + G (t) + C \end{aligned}$
donde $C = C_{1} i + C_{2} j$ . Por lo tanto, la constante de integración se convierte en un vector constante.
Ejemplo. Calcula cada una de las siguientes integrales:
$\begin{aligned} (a) & \int [(3 t^{2} + 2 t) i + (3 t - 6) j + (6 t^{3} + 5 t^{2} - 4) k] d t \\ (b) & \int [(t, t^{2}, t^{3}) \times (t^{3}, t^{2}, t)] d t \\ (c) & \int_{0}^{\frac{π}{3}} [\sin (2 t) i + \tan (t) j + e^{- 2 t} k] d t \end{aligned}$
(a) En este caso usamos la primera parte de la definición de la integral de una curva espacial:
$\begin{aligned} \int [(3 t^{2} + 2 t) i + (3 t - 6) j + (6 t^{3} + 5 t^{2} - 4) k] d t & = [\int (3 t^{2} + 2 t) d t] i + [\int (3 t - 6) d t] j \\ + [\int (6 t^{3} + 5 t^{2} - 4) d t] k \\ = (t^{3} + t^{2}) i + (\frac{3}{2} t^{2} - 6 t) j + (\frac{3}{2} t^{4} + \frac{5}{3} t^{3} - 4 t) k + C \end{aligned}$
(b) En este caso primero calcula $(t, t^{2}, t^{3}) \times (t^{3}, t^{2}, t)$
$\begin{aligned} (t, t^{2}, t^{3}) \times (t^{3}, t^{2}, t) & = | \begin{array}{c} i & j & k \\ t & t^{2} & t^{3} \\ t^{3} & t^{2} & t \end{array} | \\ = (t^{2} (t) - t^{3} (t^{2})) i - (t^{2} - t^{3} (t^{3})) j + (t (t^{2}) - t^{2} (t^{3})) k \\ = (t^{3} - t^{5}) i + (t^{6} - t^{2}) j + (t^{3} - t^{5}) k \end{aligned}$
A continuación, sustituya esto de nuevo en la integral e integre:
$\begin{aligned} \int [(t, t^{2}, t^{3}) \times (t^{3}, t^{2}, t)] d t & = \int (t^{3} - t^{5}) i + (t^{6} - t^{2}) j + (t^{3} - t^{5}) k d t \\ = (\frac{t^{4}}{4} - \frac{t^{6}}{6}) i + (\frac{t^{7}}{7} - \frac{t^{3}}{3}) j + (\frac{t^{4}}{4} - \frac{t^{6}}{6}) k + C \end{aligned}$
(c) En este caso utilice la definición de la integral de una curva espacial:
$\begin{aligned} \int_{0}^{\frac{π}{3}} [\sin (2 t) i + \tan (t) j + e^{- 2 t} k] d t & = [\int_{0}^{\frac{π}{3}} \sin (2 t) d t] i + [\int_{0}^{\frac{π}{3}} \tan (t) d t] j + [\int_{0}^{\frac{π}{3}} e^{- 2 t} d t] k \\ = (- \frac{1}{2} \cos (2 t)) | 0^{\frac{π}{3}} i - (\ln (\cos (t))) | 0^{\frac{π}{3}} j - (\frac{1}{2} e^{- 2 t}) |_{0}^{\frac{π}{3}} k \\ = (- \frac{1}{2} \cos \frac{2 π}{3} + \frac{1}{2} \cos (0)) i - (\ln (\cos \frac{π}{3}) - \ln (\cos (0))) j \\ - (\frac{1}{2} e^{- \frac{2 p i}{3}} - \frac{1}{2} e^{- 2 (0)}) k \\ = (\frac{1}{4} + \frac{1}{2}) i - (- \ln (2)) j - (\frac{1}{2} e^{- \frac{2 π}{3}} - \frac{1}{2}) k \\ = \frac{3}{4} i + (\ln (2)) j + (\frac{1}{2} - \frac{1}{2} e^{- \frac{2 π}{3}}) k . \end{aligned}$
Teorema.
Si $f = (f_{1}, \dots, f_{n})$ es continua sobre un intervalo $I$ y $a ϵ I$
entonces:
$\frac{d \int_{a}^{t} f}{d t} = f (t) \forall t ϵ I$
Demostración. En este caso se obtiene por la aplicación del primer teorema fundamental
del cálculo a cada una de las funciones componentes
$\begin{aligned} \int_{a}^{t} f (t) d t & = (\int_{a}^{t} f_{1} (t) d t, \dots, \int_{a}^{t} f_{n} (t) d t) \\ = (\frac{d}{d t} \int_{a}^{t} f_{1} (t) d t, l d o t s, \frac{d}{d t} \int_{a}^{t} f_{n} (t) d t) \\ = (f_{1} (t), \dots, f_{n} (t)) \\ = f (t) . \end{aligned}$
Teorema. Si $f (t) = (f_{1} (t), \dots, f_{n} (t))$ tiene derivada continua sobre un intervalo $I$ , entonces
$\forall a, b \in I, \int_{a}^{b} f^{'} (t) = f (b) - f (a)$
Demostración.
$\begin{aligned} \int_{a}^{b} f^{'} & = \int_{a}^{b} (f_{1}^{'}, \dots, f_{n}^{'}) \\ = (\int_{a}^{t} f_{1}^{'}, \dots, \int a^{t} f_{n}^{'}) \\ = (f_{1} (b) - f_{1} (a), \dots, f_{n} (b) - f_{n} (a)) \\ = f (b) - f (a) . \end{aligned}$
Ejemplo.
Si $f (t) = (f_{1} (t), f_{2} (t), \dots, f_{n} (t))$ es integrable en $[a, b]$ , para todo vector $C = (c_{1}, c_{2}, \dots, c_{n})$ entonces el producto escalar $C \cdot F$ es integrable en $[a, b]$ y $C \cdot \int_{a}^{b} f (t) d t = \int_{a}^{b} C \cdot f (t) d t$
En efecto tenemos que
$\begin{aligned} C \cdot \int_{a}^{b} f (t) d t & = (c_{1}, c_{2}, \dots, c_{n}) \cdot (\int_{a}^{b} f_{1} (t) d t, \int_{a}^{b} f_{2} (t) d t, \dots, \int_{a}^{b} f_{n} (t) d t) \\ = (c_{1} \cdot \int_{a}^{b} f_{1} (t) d t + c_{2} \cdot \int_{a}^{b} f_{2} (t) d t + \dots + c_{n} \cdot \int_{a}^{b} f_{n} (t) d t) \\ = (\int_{a}^{b} c_{1} \cdot f_{1} (t) d t +, \int_{a}^{b} c_{2} \cdot f_{2} (t) d t + \dots + \int_{a}^{b} c_{n} \cdot f_{n} (t) d t) \\ = \int_{a}^{b} C \cdot f (t) d t . \end{aligned}$

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Derivabilidad de las funciones vectoriales

Introducción

Propiedades de la derivada de funciones con valores vectoriales

Integrales de funciones con valores vectoriales

Más adelante

Tarea Moral

Enlaces

Me gusta esto:

Deja una respuesta Cancelar la respuesta

Introducción

Propiedades de la derivada de funciones con valores vectoriales

Integrales de funciones con valores vectoriales

Más adelante

Tarea Moral

Enlaces

Comparte esto:

Me gusta esto:

Deja una respuesta Cancelar la respuesta