Edición de «Gradiente»

{{Otros usos}}
[[File:Gradient2.svg|thumb|300px|En las dos imágenes anteriores, los valores de la función se representan en blanco y negro.<br/>El negro representa valores más altos y su gradiente correspondiente se representa con flechas azules.]]

En [[análisis matemático|análisis,]] particularmente en [[cálculo vectorial]], el '''gradiente''' o '''vector gradiente'''<ref>Serge Lang</ref> de un [[campo escalar]] <math>f:\mathbb{R}^n \longrightarrow \mathbb{R}</math> es un [[campo vectorial]], denotado <math>\nabla f</math>. El vector gradiente de <math>f</math> evaluado en un punto genérico '''<math>x</math>''' del dominio de <math>f</math> indica la dirección en la cual el campo <math>f</math> varía más rápidamente y su módulo representa el ritmo de variación de <math>f</math> en la dirección de dicho vector gradiente. 

El gradiente se representa con el operador diferencial [[nabla]] <math>\nabla</math> seguido de la función (atención a no confundir el gradiente con la [[divergencia (matemática)|divergencia]]; esta última se denota con un punto de [[producto escalar]] entre el operador nabla y el campo, <math>\nabla\cdot\vec F</math>). También puede representarse mediante <math>\vec{\nabla} f</math>, o usando la notación <math>\operatorname{grad}(f)</math>. 

La generalización del concepto de gradiente para funciones vectoriales de varias variables es el concepto de [[Jacobiano|matriz jacobiana]].<ref>Este artículo no tenía bibliografía ni referencias; pero incluye contenido, tomado ilícitamente de «Advanced Calculus» de Angus E. Taylor & W. Robert Mann. ISBN 0-471-02366-6, distinto al de los referenciados</ref>

En Derivadas parciales introducimos la derivada parcial. Una función z=f(x,y) tiene dos derivadas parciales ∂z/∂x y ∂z/∂y. Estas derivadas corresponden a cada una de las variables independientes y pueden interpretarse como tasas de cambio instantáneas (es decir, como pendientes de una línea tangente). Por ejemplo, ∂z/∂x representa la pendiente de una línea tangente que pasa por un punto determinado de la superficie definida por z=f(x,y), asumiendo que la línea tangente es paralela al eje x. De la misma manera, ∂z/∂y representa la pendiente de la línea tangente paralela al eje y. 

== Definición == 
En [[matemáticas]], el ''‘gradiente’'' es una generalización multivariable de la [[derivada]]. Mientras que una derivada se puede definir solo en funciones de una sola variable, para [[Función matemática#Funciones_con_múltiples_variables|funciones de varias variables]], el gradiente toma su lugar. El gradiente es una función de valor vectorial, a diferencia de una derivada, que es una función de valor escalar.

Al igual que la derivada, el gradiente representa la [[pendiente (matemáticas)|pendiente]] de la recta [[tangente (geometría)|tangente]] a la [[gráfica de una función]]. Más precisamente, el gradiente apunta a los puntos de la gráfica a los cuales la gráfica tiene un mayor incremento. La magnitud del gradiente es la pendiente de la gráfica en esa dirección. 

Los componentes del gradiente en coordenadas son los coeficientes de las variables presentes en la ecuación del [[espacio tangente]] al gráfico. Esta propiedad de caracterización del degradado permite que se defina independientemente de la elección del sistema de coordenadas, como un [[campo vectorial]] cuyos componentes en un sistema de coordenadas se transformarán cuando se pase de un sistema de coordenadas a otro.

Se toma como campo escalar el que se asigna a cada punto del espacio una presión ''P'' (campo escalar de 3 variables), entonces el vector gradiente en un punto genérico del espacio indicará la dirección en la cual la presión cambiará más rápidamente. Otro ejemplo es el de considerar el mapa de líneas de nivel de una montaña como campo escalar, que asigna a cada pareja de coordenadas latitud/longitud un escalar altitud (campo escalar de 2 variables). En este caso el vector gradiente en un punto genérico indicará la dirección de máxima inclinación de la montaña. Nótese que el vector gradiente será perpendicular a las líneas de contorno (líneas «equiescalares») del mapa. 

Si <math>f:\mathbb{R}^n\to\mathbb{R}</math> es un campo escalar entonces el gradiente de <math>f</math> en <math>\mathbf{r}</math> se define como el campo vectorial <math>\nabla f:\mathbb{R}^n\to\mathbb{R}^n</math> cuyas componentes son las derivadas parciales del campo escalar, esto es:

:<math> \nabla f(\mathbf{r}) = \left(\frac{\partial f(\mathbf{r})}{\partial x_1 }, \dots, \frac{\partial f(\mathbf{r})}{\partial x_n } \right).</math>

Esta definición se basa en que el gradiente permite calcular fácilmente las [[Derivada direccional|derivadas direccionales]]. Definiendo en primer lugar la derivada direccional según un vector:

:<math>\frac{\partial \phi}{\partial n }
\equiv \lim_{\epsilon\to 0} \frac{\phi(\mathbf{r}
+ \epsilon \hat{\mathbf{n}})-\phi(\mathbf{r})}{\epsilon}</math>.

Una forma equivalente de definir el gradiente es como el único vector que, multiplicado por el [[vector unitario]], da la derivada direccional del campo escalar:

:<math>\frac{\partial \phi}{\partial n } = \hat{\mathbf{n}}\cdot\nabla\phi</math>.

Con la definición anterior, el gradiente está caracterizado de forma unívoca. El gradiente se expresa alternativamente mediante el uso del operador [[nabla]]:

:<math>{\rm grad}\ \phi = \nabla\phi</math>.

== Interpretación ==
De forma geométrica, el gradiente es un vector normal (perpendicular) a la curva de nivel en el punto que se está estudiando, llámese (x,y), (x,y,z), (tiempo, [[temperatura]]), etc. Algunos ejemplos son:
*Considere una habitación en la cual la temperatura se define a través de un campo escalar, de tal manera que en cualquier punto <math>(x, y, z)</math>, la temperatura es <math>\phi(x, y, z)</math>. Asumiremos que la temperatura no varía con respecto al tiempo. Siendo esto así, para cada punto de la habitación, el gradiente en ese punto nos dará la dirección en la cual la temperatura aumenta más rápido. La magnitud del gradiente nos dirá cuan rápido aumenta la temperatura en esa dirección. 
*Considere una montaña en la cual su altura en el punto <math>(x,y)</math> se define como <math>H(x,y)</math>. El gradiente de <math>H</math> en ese punto estará en la dirección para la que hay un mayor grado de inclinación. La magnitud del gradiente nos mostrará cuán empinada se encuentra la [[pendiente de una recta|pendiente]].

== Propiedades ==
El gradiente verifica que:
* <math> \nabla (f+g) = \nabla f + \nabla g </math>
* <math> \nabla (\alpha f) = \alpha \nabla f </math>,<ref>Kaplan</ref> con estas dos propiedades, el gradiente es un operador lineal.
*Es ortogonal a las superficies equiescalares, definidas por <math>\phi\,\!</math> =cte.
*Apunta en la dirección en que la [[derivada direccional]] es máxima.
*Su norma es igual a esta derivada direccional máxima.
*Se anula en los puntos estacionarios ([[Extremos de una función|máximo]]s, [[Extremos de una función|mínimo]]s y [[punto de silla|puntos de silla]]).
*El campo formado por el gradiente en cada punto es siempre irrotacional, esto es,
<math>\nabla\times(\nabla\phi) \equiv \vec{0}</math>

{{Demostración|1=
(1) Sea M el conjunto de puntos que verifican <math>\phi(x)=c</math>, sea una curva <math>\mathbf{x}(t) </math> en M, y sea un vector tangente <math>\mathbf{v}=\frac{d\mathbf{x}}{dt}</math>, entonces:
:<math>
\frac{d}{dt}\phi(\mathbf{x}(t))=0=\frac{\partial \phi}{\partial x_i} \frac{d x_i}{dt}=\nabla \phi\cdot \mathbf{v}=0
</math>
de modo que <math>\nabla \phi</math> es ortogonal a todo vector tangente <math> \mathbf{v} </math>

(2) La derivada direccional en la dirección de un vector unitario <math>\mathbf{v}</math> viene dada por:
:<math>
\nabla \phi\cdot\mathbf{v}=|\nabla \phi|cos\theta
</math>
que es máxima cuando <math>\mathbf{v}</math> apunta en la dirección de <math>\nabla\phi</math>


(3) Por lo expuesto en (2)

(4) El incremento infinitesimal en una dirección <math>\mathbf{v}</math> de <math>\Phi</math> viene dado por la derivada direccional en esa dirección, y dado que en un punto estacionario tal incremento ha de ser nulo para cualquier dirección el gradiente ha de anularse.

(5) La componente k-ésima del rotacional puede calcularse empleando el [[símbolo de Levi-Civita]] y si las derivadas cruzadas son iguales se tiene:
:<math>
\epsilon_{ijk}\partial_i\partial_j \phi=0
</math>
}}

== Expresión en diferentes sistemas de coordenadas ==
A partir de su definición puede demostrarse su expresión en diferentes [[sistema de coordenadas|sistemas de coordenadas]]. En [[coordenadas cartesianas]], su expresión es simplemente

:<math>
\nabla\phi = \frac{\partial \phi}{\partial x}\hat{x}+\frac{\partial \phi}{\partial y}\hat{y}+\frac{\partial \phi}{\partial z}\hat{z}
</math>

En un sistema de [[coordenadas ortogonales]], el gradiente requiere los [[factores de escala]], mediante la expresión

:<math>
\nabla\phi = \frac{1}{h_1}\frac{\partial \phi}{\partial q_1}\hat{q}_1
+\frac{1}{h_2}\frac{\partial \phi}{\partial q_2}\hat{q}_2+
\frac{1}{h_3}\frac{\partial \phi}{\partial q_3}\hat{q}_3
</math>

Para [[coordenadas cilíndricas]] (<math>h_\rho=h_z=1</math>, <math>h_\varphi=\rho</math>) resulta

:<math> \nabla\phi = \frac{\partial \phi}{\partial \rho}\hat{\rho}
+\frac{1}{\rho}\frac{\partial \phi}{\partial \varphi}\hat{\varphi}+
\frac{\partial \phi}{\partial z}\hat{z} </math>

y para [[coordenadas esféricas]] (<math>h_r=1</math>, <math>h_\theta=r</math>, <math>h_\varphi=r {\rm sen}\theta</math>)

:<math> \nabla\phi = \frac{\partial \phi}{\partial r}\hat{r}
+\frac{1}{r}\frac{\partial \phi}{\partial \theta}\hat{\theta}+
\frac{1}{r\,{\rm sen}\,\theta}\frac{\partial \phi}{\partial \varphi}\hat{\varphi} </math>

En un sistema de coordenadas curvilíneo general el gradiente tiene la forma:

:<math>\nabla\phi = (g^{ij})^{1/2}\frac{\partial \phi}{\partial x^i}\hat{e}_j</math>

donde en la expresión anterior se usa el [[convenio de sumación de Einstein]].

== Gradiente de un campo vectorial ==
:Véase también [[Tensor_deformación#Tensores_finitos_de_deformación|Tensores finitos de deformación]]
En un [[Espacio euclídeo|espacio euclidiano]] tridimensional, el concepto de gradiente también puede extenderse al caso de un campo vectorial, siendo el gradiente de <math>\mathbf{F}</math> un [[cálculo tensorial|tensor]] que da el diferencial del campo al realizar un desplazamiento:

:<math> \frac{d\mathbf{F}}{d\mathbf{r}}(\mathbf{v}):=
\lim_{\mathbf{v}\to 0}
\frac{ \mathbf{F}(\mathbf{r}+\mathbf{v}) - \mathbf{F}(\mathbf{r}) }{\|\mathbf{v}\|} 
= (\nabla\mathbf{F})\cdot \mathbf{v}</math>

Fijada una base vectorial, este tensor podrá representarse por una matriz 3x3, que en coordenadas cartesianas está formada por las tres derivadas parciales de las tres componentes del campo vectorial. El gradiente de deformación estará bien definido solo si el límite anterior existe para todo <math>\mathbf{v}</math> y es una [[función continua]] de dicho vector.

Técnicamente el gradiente de deformación no es otra cosa que la [[aplicación lineal]] de la que la [[matriz jacobiana]] es su expresión explícita en coordenadas.

== Ejemplos ==
1. Dada la función <math>f(x,y,z)=2x+3y^2-\sen(z)</math> su vector gradiente es el siguiente:

:<math>\nabla f= \begin{pmatrix}
{\frac{\partial f}{\partial x}},
{\frac{\partial f}{\partial y}},
{\frac{\partial f}{\partial z}}
\end{pmatrix} = 
\begin{pmatrix}
{2}, 
{6y},
{-\cos(z)}
\end{pmatrix}.</math>

2. Dada la función <math>z(x,y)=x^2+2x+y^2+y^3+xy </math> su vector gradiente es el siguiente:

:<math>\nabla z= \begin{pmatrix}
{\frac{\partial z}{\partial x}},
{\frac{\partial z}{\partial y}} 
\end{pmatrix} = 
\begin{pmatrix}
{2x+y+2}, 
{2y+3y^2+x}
\end{pmatrix}.</math>

3. Dada la función <math>\xi(\alpha,\beta,\gamma)={\alpha}^4+e^{{\beta}^3+e^2 \arctan {\gamma}}+{\gamma}^{2 \pi}</math> 
su vector gradiente es el siguiente:

:<math>\nabla \xi= \begin{pmatrix}
{\frac{\partial \xi}{\partial \alpha}},
{\frac{\partial \xi}{\partial \beta}}, 
{\frac{\partial \xi}{\partial \gamma}}
\end{pmatrix} =
\begin{pmatrix}
{4{\alpha}^3 },
{3{\beta}^2 e^{{\beta}^3+e^2 \arctan {\gamma}}},
{{\frac{e^2}{1+{\gamma}^2}}e^{{\beta}^3+e^2 \arctan {\gamma}}+2 \pi {\gamma}^{2 \pi-1}}
\end{pmatrix}.</math>

== Aplicaciones ==
=== Aproximación lineal de una función ===
El gradiente de una [[función matemática|función]] <math>f:\mathbb{R}^n\to\mathbb{R}</math> caracteriza la mejor [[aproximación lineal]] de la función en un punto particular <math>x_0\in\mathbb{R}^n</math>. Se expresa así:

:<math> f(x) = f(x_0) + (\nabla_x f(x_0)) (x-x_0) </math>
donde <math>\nabla_x f(x_0)</math> es el gradiente evaluado en <math>x_0</math>.
=== Aplicaciones en física ===
La '''interpretación física del gradiente''' es la siguiente: mide la rapidez de variación de una [[magnitud física]] al desplazarse una cierta distancia. Un gradiente alto significa que de un punto a otro cercano la magnitud puede presentar variaciones importantes (aquí se entiende por gradiente alto o grande uno tal que su módulo es grande). Un gradiente de una magnitud pequeño o nulo implica que dicha magnitud apenas varía de un punto a otro.

El '''gradiente de una magnitud física''' posee innumerables aplicaciones en física, especialmente en [[electromagnetismo]] y [[mecánica de fluidos]]. En particular, existen muchos campos vectoriales que puede escribirse como el gradiente de un [[potencial (física)|potencial]] escalar.

*Uno de ellos es el campo electrostático, que deriva del [[potencial eléctrico]]:

:<math> \mathbf{E} = -\boldsymbol{\nabla}\phi </math>

*Todo campo que pueda escribirse como el gradiente de un campo escalar, se denomina ''potencial'', ''conservativo'' o ''irrotacional''. Así, una [[fuerza conservativa]] deriva de la [[energía potencial]] como:

:<math> \mathbf{F} = -\boldsymbol{\nabla} V </math>

*Los gradientes también aparecen en los procesos de difusión que verifican la [[ley de Fick]] o la [[ley de Fourier]] para la temperatura. Así, por ejemplo, el flujo de calor en un material es directamente proporcional al gradiente de temperaturas

:<math> \mathbf{q} = -k \boldsymbol{\nabla}T </math>

:siendo <math>\scriptstyle k</math> la [[conductividad térmica]].

== Véase también ==
* [[Rotacional]]
* [[Divergencia (matemática)]]
* [[Cuatro gradientes]]
* [[Matriz hessiana]]
* [[Gradiente sesgado]]

== Notas y referencias ==
{{listaref|1}}

== Bibliografía ==
* Wilfred Kaplan. "Cálculo Avanzado". CECSA, impreso en México,editado en 1983.
* Watson Fulks. "Cálculo Avanzado". Editorial Limusa S.A, México, impreso en 1973
* Serge Lang. "Cálculo II". Fondo Educativo Interamericano. México,publicado en 1976

==Enlaces externos==
{{Control de autoridades}}

[[Categoría:Cálculo vectorial]] 
[[Categoría:Análisis matemático]]