Una derivada direccional es un concepto del cálculo multivariable que mide la velocidad a la que una función cambia en una dirección particular en un punto dado. [ cita requerida ]
La derivada direccional de una función diferenciable multivariable (escalar) a lo largo de un vector dado v en un punto dado x representa intuitivamente la tasa instantánea de cambio de la función, moviéndose a través de x con una velocidad especificada por v .
La derivada direccional de una función escalar f con respecto a un vector v en un punto (por ejemplo, posición) x puede denotarse mediante cualquiera de las siguientes expresiones:
Por lo tanto, se generaliza la noción de derivada parcial , en la que la tasa de cambio se toma a lo largo de una de las curvas de coordenadas curvilíneas , siendo todas las demás coordenadas constantes. La derivada direccional es un caso especial de la derivada de Gateaux .
Esta definición es válida en una amplia gama de contextos, por ejemplo, cuando la norma de un vector (y, por lo tanto, de un vector unitario) no está definida. [2]
Para funciones diferenciables
Si la función f es diferenciable en x , entonces la derivada direccional existe a lo largo de cualquier vector unitario v en x, y se tiene
donde a la derecha denota el gradiente , es el producto escalar y v es un vector unitario. [3] Esto se deduce de la definición de una ruta y del uso de la definición de la derivada como límite que se puede calcular a lo largo de esta ruta para obtener:
Intuitivamente, la derivada direccional de f en un punto x representa la tasa de cambio de f , en la dirección de v con respecto al tiempo, cuando se mueve más allá de x .
Usando solo la dirección del vector
En un espacio euclidiano , algunos autores [4] definen la derivada direccional como con respecto a un vector arbitrario distinto de cero v después de la normalización , siendo por tanto independiente de su magnitud y dependiendo únicamente de su dirección. [5]
Esta definición da la tasa de aumento de f por unidad de distancia recorrida en la dirección dada por v . En este caso, se tiene
o en caso de que f sea diferenciable en x ,
Restricción a un vector unitario
En el contexto de una función en un espacio euclidiano , algunos textos limitan el vector v a ser un vector unitario . Con esta restricción, ambas definiciones anteriores son equivalentes. [6]
Propiedades
Muchas de las propiedades conocidas de la derivada ordinaria se cumplen para la derivada direccional. Entre ellas, para cualquier función f y g definida en un entorno de p y diferenciable en p :
Regla de la cadena : si g es diferenciable en p y h es diferenciable en g ( p ), entonces
En geometría diferencial
Sea M una variedad diferenciable y p un punto de M . Supóngase que f es una función definida en un entorno de p , y diferenciable en p . Si v es un vector tangente a M en p , entonces la derivada direccional de f a lo largo de v , denotada de diversas formas como df ( v ) (véase Derivada exterior ), (véase Derivada covariante ), (véase Derivada de Lie ), o (véase Espacio tangente § Definición mediante derivaciones ), puede definirse de la siguiente manera. Sea γ : [−1, 1] → M una curva diferenciable con γ (0) = p y γ ′(0) = v . Entonces la derivada direccional está definida por
Esta definición puede demostrarse independientemente de la elección de γ , siempre que γ se seleccione de la manera prescrita de modo que γ (0) = p y γ ′(0) = v .
El derivado de Lie
La derivada de Lie de un campo vectorial a lo largo de un campo vectorial se da por la diferencia de dos derivadas direccionales (con torsión que desaparece):
En particular, para un campo escalar , la derivada de Lie se reduce a la derivada direccional estándar:
El tensor de Riemann
Las derivadas direccionales se utilizan a menudo en las derivaciones introductorias del tensor de curvatura de Riemann . Considere un rectángulo curvo con un vector infinitesimal a lo largo de un borde y a lo largo del otro. Traducimos un covector a lo largo de entonces y luego restamos la traducción a lo largo de y luego . En lugar de construir la derivada direccional utilizando derivadas parciales, utilizamos la derivada covariante . El operador de traducción para es por lo tanto
y para ,
La diferencia entre los dos caminos es entonces
Se puede argumentar [7] que la no conmutatividad de las derivadas covariantes mide la curvatura de la variedad:
donde es el tensor de curvatura de Riemann y el signo depende de la convención de signos del autor.
En teoría de grupos
Traducciones
En el álgebra de Poincaré , podemos definir un operador de traslación infinitesimal P como
(la i asegura que P es un operador autoadjunto ) Para un desplazamiento finito λ , la representación del espacio de Hilbert unitario para traslaciones es [8]
Al usar la definición anterior del operador de traslación infinitesimal, vemos que el operador de traslación finito es una derivada direccional exponenciada:
Este es un operador de traslación en el sentido de que actúa sobre funciones multivariables f ( x ) como
Prueba de la última ecuación
En el cálculo estándar de una variable, la derivada de una función suave f ( x ) se define por (para ε pequeño )
Esto se puede reorganizar para encontrar f ( x + ε ):
Se deduce que es un operador de traslación. Esto se generaliza instantáneamente [9] a funciones multivariables f ( x )
Aquí está la derivada direccional a lo largo del desplazamiento infinitesimal ε . Hemos encontrado la versión infinitesimal del operador de traslación:
Es evidente que la ley de multiplicación de grupos [10] U ( g ) U ( f )= U ( gf ) toma la forma
Así que supongamos que tomamos el desplazamiento finito λ y lo dividimos en N partes ( N →∞ está implícito en todas partes), de modo que λ / N = ε . En otras palabras,
luego al aplicar U ( ε ) N veces, podemos construir U ( λ ):
Ahora podemos reemplazar nuestra expresión anterior por U( ε ):
Usando la identidad [11]
tenemos
Y como U ( ε ) f ( x ) = f ( x + ε ) tenemos
QED
Como nota técnica, este procedimiento solo es posible porque el grupo de traducción forma un subgrupo abeliano ( subálgebra de Cartan ) en el álgebra de Poincaré. En particular, la ley de multiplicación de grupos U ( a ) U ( b ) = U ( a + b ) no debe darse por sentada. También notamos que Poincaré es un grupo de Lie conexo . Es un grupo de transformaciones T ( ξ ) que se describen por un conjunto continuo de parámetros reales . La ley de multiplicación de grupos toma la forma
Tomando como coordenadas de la identidad, debemos tener
Los operadores reales en el espacio de Hilbert están representados por operadores unitarios U ( T ( ξ )). En la notación anterior suprimimos el T ; ahora escribimos U ( λ ) como U ( P ( λ )). Para un vecindario pequeño alrededor de la identidad, la representación de la serie de potencias
es bastante buena. Supongamos que U(T(ξ)) forma una representación no proyectiva, es decir,
La expansión de f a la segunda potencia es
Después de expandir la ecuación de multiplicación de representación e igualar los coeficientes, tenemos la condición no trivial
Dado que es por definición simétrica en sus índices, tenemos el conmutador del álgebra de Lie estándar :
con C la constante de estructura . Los generadores de las traslaciones son operadores de derivadas parciales, que conmutan:
Esto implica que las constantes de estructura se desvanecen y, por lo tanto, los coeficientes cuadráticos en la expansión de f también se desvanecen. Esto significa que f es simplemente aditiva:
y, por lo tanto, para los grupos abelianos,
QED
Rotaciones
El operador de rotación también contiene una derivada direccional. El operador de rotación para un ángulo θ , es decir, por una cantidad θ = | θ | alrededor de un eje paralelo a es
Aquí L es el operador vectorial que genera SO(3) :
Se puede demostrar geométricamente que una rotación infinitesimal a la derecha cambia el vector de posición x por
Por lo que esperaríamos bajo una rotación infinitesimal:
Se deduce que
Siguiendo el mismo procedimiento de exponenciación que antes, llegamos al operador de rotación en la base de posición, que es una derivada direccional exponencial: [12]
Derivada normal
Una derivada normal es una derivada direccional tomada en la dirección normal (es decir, ortogonal ) a alguna superficie en el espacio, o más generalmente a lo largo de un campo vectorial normal ortogonal a alguna hipersuperficie . Véase por ejemplo la condición de contorno de Neumann . Si la dirección normal se denota por , entonces la derivada normal de una función f a veces se denota como . En otras notaciones,
En la mecánica del continuo de sólidos
Varios resultados importantes en mecánica de medios continuos requieren las derivadas de vectores con respecto a vectores y de tensores con respecto a vectores y tensores. [13] La directiva direccional proporciona una forma sistemática de encontrar estas derivadas.
A continuación se ofrecen las definiciones de derivadas direccionales para diversas situaciones. Se supone que las funciones son lo suficientemente suaves como para que se puedan obtener derivadas.
Derivadas de funciones escalares de vectores
Sea f (v) una función de valor real del vector v. Entonces la derivada de f (v) con respecto a v (o en v) es el vector definido a través de su producto escalar con cualquier vector u siendo
para todos los vectores u. El producto escalar anterior produce un escalar, y si u es un vector unitario da la derivada direccional de f en v, en la dirección u.
Propiedades:
Si entonces
Si entonces
Si entonces
Derivadas de funciones vectoriales con valores vectoriales
Sea f(v) una función con valor vectorial del vector v. Entonces la derivada de f(v) con respecto a v (o en v) es el tensor de segundo orden definido a través de su producto escalar con cualquier vector u siendo
para todos los vectores u. El producto escalar anterior produce un vector, y si u es un vector unitario da la derivada direccional de f en v, en la dirección u.
Propiedades:
Si entonces
Si entonces
Si entonces
Derivadas de funciones escalares de tensores de segundo orden
Sea una función de valor real del tensor de segundo orden . Entonces la derivada de con respecto a (o en ) en la dirección es el tensor de segundo orden definido como
para todos los tensores de segundo orden .
Propiedades:
Si entonces
Si entonces
Si entonces
Derivadas de funciones tensoriales de tensores de segundo orden
Sea una función tensorial de segundo orden del tensor de segundo orden . Entonces la derivada de con respecto a (o en ) en la dirección es el tensor de cuarto orden definido como
para todos los tensores de segundo orden .
^ Si el producto escalar no está definido, el gradiente también lo está; sin embargo, para f diferenciable , la derivada direccional todavía está definida y existe una relación similar con la derivada exterior.
^ Thomas, George B. Jr.; y Finney, Ross L. (1979) Cálculo y geometría analítica , Addison-Wesley Publ. Co., quinta edición, pág. 593.
^ Esto normalmente supone un espacio euclidiano ; por ejemplo, una función de varias variables normalmente no tiene definición de la magnitud de un vector y, por lo tanto, de un vector unitario.
^ Zee, A. (2013). La gravedad de Einstein en pocas palabras . Princeton: Princeton University Press. pág. 341. ISBN9780691145587.
^ Weinberg, Steven (1999). La teoría cuántica de campos (Reimpreso (con correcciones). ed.). Cambridge [ua]: Cambridge Univ. Press. ISBN9780521550017.
^ Zee, A. (2013). La gravedad de Einstein en pocas palabras . Princeton: Princeton University Press. ISBN9780691145587.
^ Cahill, Kevin Cahill (2013). Matemáticas físicas (edición revisada). Cambridge: Cambridge University Press. ISBN978-1107005211.
^ Larson, Ron; Edwards, Bruce H. (2010). Cálculo de una sola variable (novena edición). Belmont: Brooks/Cole. ISBN9780547209982.
^ Shankar, R. (1994). Principios de la mecánica cuántica (2.ª ed.). Nueva York: Kluwer Academic / Plenum. pág. 318. ISBN9780306447907.
^ JE Marsden y TJR Hughes, 2000, Fundamentos matemáticos de la elasticidad , Dover.
Referencias
Hildebrand, FB (1976). Cálculo avanzado para aplicaciones . Prentice Hall. ISBN 0-13-011189-9.
KF Riley; MP Hobson; SJ Bence (2010). Métodos matemáticos para la física y la ingeniería . Cambridge University Press. ISBN 978-0-521-86153-3.
Shapiro, A. (1990). "Sobre conceptos de diferenciabilidad direccional". Revista de teoría y aplicaciones de optimización . 66 (3): 477–487. doi :10.1007/BF00940933. S2CID 120253580.
Enlaces externos
Medios relacionados con Derivada direccional en Wikimedia Commons