Cálculo vectorial

Decimos que una función ${\displaystyle \mathbf {f} }$ es continua en ${\displaystyle \mathbf {a} \Leftrightarrow \lim _{\mathbf {x} \to \mathbf {a} }\mathbf {f} {\big (}\mathbf {x} {\big )}=\mathbf {f} {\big (}\mathbf {a} {\big )}}$

${\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\mathbf {f} {\big (}\mathbf {x} {\big )}=\mathbf {b} ,\lim _{\mathbf {x} \to \mathbf {a} }\mathbf {g} {\big (}\mathbf {x} {\big )}=\mathbf {c} \Rightarrow }$

a) ${\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\big [}\mathbf {f} +\mathbf {g} {\big ]}{\big (}\mathbf {x} {\big )}=\mathbf {b} +\mathbf {c} }$

b) ${\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\lambda \mathbf {f} {\big (}\mathbf {x} {\big )}=\lambda \mathbf {b} \quad \forall \lambda \in \mathbb {R} }$

c) ${\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\big (}\mathbf {f} \cdot \mathbf {g} {\big )}{\big (}\mathbf {x} {\big )}=\mathbf {b} \cdot \mathbf {c} }$

(producto escalar de ${\displaystyle \mathbf {b} }$ con ${\displaystyle \mathbf {c} }$).

d) ${\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\Big \|}\mathbf {f} {\big (}\mathbf {x} {\big )}{\Big \|}={\big \|}\mathbf {b} {\big \|}}$

Sean ${\displaystyle \mathbf {f} }$ y ${\displaystyle \mathbf {g} }$ dos funciones tales que la función compuesta ${\displaystyle \mathbf {f} \circ \mathbf {g} }$ está definida en ${\displaystyle \mathbf {a} }$, siendo

${\displaystyle {\big (}\mathbf {f} \circ \mathbf {g} {\big )}{\big (}\mathbf {x} {\big )}=\mathbf {f} {\Big [}\mathbf {g} {\big (}\mathbf {x} {\big )}{\Big ]}}$

${\displaystyle \mathbf {g} }$ es continua en ${\displaystyle \mathbf {a} }$ y ${\displaystyle \mathbf {f} }$ es continua en ${\displaystyle \mathbf {g} {\big (}\mathbf {a} {\big )}\Rightarrow {\big (}\mathbf {f} \circ \mathbf {g} {\big )}}$ es continua en ${\displaystyle \mathbf {a} }$.

Sea ${\displaystyle f:S\subseteq \mathbb {R} ^{n}\longrightarrow \mathbb {R} }$. Sea ${\displaystyle \mathbf {x} }$ un vector cuyo origen es el origen de coordenadas y cuyo extremo ${\displaystyle \in S,}$ e ${\displaystyle \mathbf {y} }$ un vector arbitrario de ${\displaystyle \mathbb {R} ^{n}}$. Definimos la derivada de f en ${\displaystyle \mathbf {x} }$ respecto a ${\displaystyle \mathbf {y} }$ como

${\displaystyle f'{\big (}\mathbf {x}$ ;\mathbf {y} {\big )}=\lim _{h\to 0}{\cfrac {f{\big (}\mathbf {x} +h\mathbf {y} {\big )}-f{\big (}\mathbf {x} {\big )}}{h}}}

${\displaystyle {\cfrac {\partial f}{\partial x_{k}}}=\lim _{h\to 0}{\cfrac {f{\big (}x_{1},\ldots ,x_{k}+h,\ldots ,x_{n}{\big )}-f{\big (}x_{1},\ldots ,x_{k},\ldots ,x_{n}{\big )}}{h}}}$

Decimos que f es diferenciable en ${\displaystyle \mathbf {a} \Leftrightarrow }$

${\displaystyle \exists f_{L}:\mathbb {R} ^{n}\longrightarrow \mathbb {R} {\Big |}\lim _{{\big \|}\mathbf {v} {\big \|}\to \mathbf {0} }f{\big (}\mathbf {a} +\mathbf {v} {\big )}=f{\big (}\mathbf {a} {\big )}+f_{L}{\big (}\mathbf {v} {\big )}}$.

${\displaystyle f_{L}}$ ha de ser una aplicación lineal, que definimos como la diferencial de f en a.

${\displaystyle f}$ es diferenciable en ${\displaystyle \mathbf {x} }$ con diferencial ${\displaystyle f_{L}{\big (}\mathbf {y} {\big )}\Rightarrow }$

a) ${\displaystyle \exists f'{\big (}\mathbf {x}$ ;\mathbf {y} {\big )}\quad \forall \mathbf {y} \in \mathbb {R} ^{n}}

b) ${\displaystyle f'{\big (}\mathbf {x}$ ;\mathbf {y} {\big )}=\sum _{k=1}^{n}y_{k}{\cfrac {\partial f}{\partial x_{k}}}}

Sea ${\displaystyle f:S\subset \mathbb {R} ^{n}\longrightarrow \mathbb {R} }$ un campo escalar y ${\displaystyle \mathbf {x} :J\subset \mathbb {R} \longrightarrow S}$. Definimos la función compuesta ${\displaystyle g=f\circ \mathbf {x} }$ como ${\displaystyle g(t)=f{\Big [}\mathbf {x} {\big (}t{\big )}{\Big ]}}$, entonces ${\displaystyle \quad g'{\big (}t{\big )}=\sum _{k=1}^{n}{\cfrac {\partial f}{\partial x_{k}}}\cdot {\cfrac {dx_{k}}{dt}}}$

Sea ${\displaystyle \mathbf {f} :S\subseteq \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{m}}$ un campo vectorial. Sea ${\displaystyle \mathbf {x} \in S}$ e ${\displaystyle \mathbf {y} }$ un vector cualquiera. Definimos la derivada

${\displaystyle \mathbf {f'} {\big (}\mathbf {x}$ ;\mathbf {y} {\big )}=\lim _{h\to 0}{\cfrac {\mathbf {f} {\big (}\mathbf {x} +h\mathbf {y} {\big )}-\mathbf {f} {\big (}\mathbf {x} {\big )}}{h}}}

Decimos que ${\displaystyle \mathbf {f} }$ es diferenciable ${\displaystyle \Leftrightarrow \exists \mathbf {f} _{L}:\mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{m}}$, aplicación lineal que verifica:

${\displaystyle \lim _{{\big \|}\mathbf {v} {\big \|}\to 0}\mathbf {f} {\big (}\mathbf {x} +\mathbf {v} {\big )}=\mathbf {f} {\big (}\mathbf {x} {\big )}+\mathbf {f} _{L}{\big (}\mathbf {v} {\big )}}$.

Si un campo vectorial ${\displaystyle \mathbf {f} }$ es diferenciable en ${\displaystyle \mathbf {x} \Rightarrow }$ es continuo en ${\displaystyle \mathbf {x} }$.

Sea ${\displaystyle \mathbf {h} {\big (}\mathbf {x} {\big )}={\big (}\mathbf {f} \circ \mathbf {g} {\big )}{\big (}\mathbf {x} {\big )}}$ un campo vectorial definido y diferenciable en ${\displaystyle \mathbf {x} }$. Su diferencial ${\displaystyle \mathbf {h} '{\big (}\mathbf {x} {\big )}}$ resulta ser

${\displaystyle \mathbf {h} '{\big (}\mathbf {x} {\big )}=\mathbf {f} '{\Big [}\mathbf {g} {\big (}\mathbf {x} {\big )}{\Big ]}\circ \mathbf {g} '{\big (}\mathbf {x} {\big )}}$

${\displaystyle {\cfrac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}={\cfrac {\partial ^{2}f}{\partial x_{j}\partial x_{i}}}\quad \forall i\neq j\Leftrightarrow }$ ambas derivadas parciales existen y son continuas en ${\displaystyle \mathbf {x} }$.

Un campo escalar tiene un máximo en ${\displaystyle \mathbf {x} =\mathbf {a} \Leftrightarrow }$ existe una n-bola ${\displaystyle B{\big (}\mathbf {a} {\big )}{\Big |}\forall \mathbf {x} \in B{\big (}\mathbf {a} {\big )}\quad f{\big (}\mathbf {x} {\big )}\leqslant f{\big (}\mathbf {a} {\big )}}$

Un campo escalar tiene un mínimo en ${\displaystyle \mathbf {x} =\mathbf {a} \Leftrightarrow }$ existe una n-bola ${\displaystyle B{\big (}\mathbf {a} {\big )}{\Big |}\forall \mathbf {x} \in B{\big (}\mathbf {a} {\big )}\quad f{\big (}\mathbf {x} {\big )}\geqslant f{\big (}\mathbf {a} {\big )}}$

Un campo escalar tiene un punto de ensilladura ${\displaystyle \Leftrightarrow }$

${\displaystyle \forall B{\big (}\mathbf {a} {\big )}\quad \exists \mathbf {x} {\big |}f{\big (}\mathbf {x} {\big )}\leqslant f{\big (}\mathbf {a} {\big )}\land \exists \mathbf {x} {\big |}f{\big (}\mathbf {x} {\big )}\geqslant f{\big (}\mathbf {a} {\big )}}$.