stringtranslate.com

Operador de Laplace

En matemáticas , el operador de Laplace o laplaciano es un operador diferencial dado por la divergencia del gradiente de una función escalar en el espacio euclidiano . Se suele denotar con los símbolos , (donde es el operador nabla ), o . En un sistema de coordenadas cartesianas , el laplaciano viene dado por la suma de las segundas derivadas parciales de la función con respecto a cada variable independiente . En otros sistemas de coordenadas , como las coordenadas cilíndricas y esféricas , el laplaciano también tiene una forma útil. De manera informal, el laplaciano Δ f  ( p ) de una función f en un punto p mide en qué medida el valor medio de f sobre pequeñas esferas o bolas centradas en p se desvía de f  ( p ) .

El operador de Laplace debe su nombre al matemático francés Pierre-Simon de Laplace (1749-1827), quien aplicó por primera vez el operador al estudio de la mecánica celeste : el laplaciano del potencial gravitatorio debido a una distribución de densidad de masa dada es un múltiplo constante de esa distribución de densidad. Las soluciones de la ecuación de Laplace Δ f = 0 se denominan funciones armónicas y representan los posibles potenciales gravitatorios en regiones de vacío .

El laplaciano aparece en muchas ecuaciones diferenciales que describen fenómenos físicos. La ecuación de Poisson describe los potenciales eléctricos y gravitacionales ; la ecuación de difusión describe el flujo de calor y fluido ; la ecuación de onda describe la propagación de ondas ; y la ecuación de Schrödinger describe la función de onda en mecánica cuántica . En el procesamiento de imágenes y la visión por computadora , el operador laplaciano se ha utilizado para varias tareas, como la detección de manchas y bordes . El laplaciano es el operador elíptico más simple y está en el núcleo de la teoría de Hodge , así como de los resultados de la cohomología de De Rham .

Definición

El operador de Laplace es un operador diferencial de segundo orden en el espacio euclidiano n -dimensional , definido como la divergencia ( ) del gradiente ( ). Por lo tanto, si es una función real dos veces diferenciable , entonces el laplaciano de es la función real definida por:

donde las últimas notaciones derivan de escribir formalmente: Explícitamente, el Laplaciano de f es entonces la suma de todas las derivadas parciales segundas no mezcladas en las coordenadas cartesianas x i :

Como operador diferencial de segundo orden, el operador de Laplace asigna funciones C k a funciones C k −2 para k ≥ 2 . Es un operador lineal Δ : C k ( R n ) → C k −2 ( R n ) , o más generalmente, un operador Δ : C k (Ω) → C k −2 (Ω) para cualquier conjunto abierto Ω ⊆ R n .

Alternativamente, el operador de Laplace se puede definir como:

Donde es la dimensión del espacio, es el valor medio de en la superficie de una n-esfera de radio R, es la integral de superficie sobre una n-esfera de radio R, y es el hipervolumen del límite de una n-esfera unitaria . [1]

Motivación

Difusión

En la teoría física de la difusión , el operador de Laplace surge naturalmente en la descripción matemática del equilibrio . [2] Específicamente, si u es la densidad en equilibrio de alguna cantidad como una concentración química, entonces el flujo neto de u a través del límite V (también llamado S ) de cualquier región lisa V es cero, siempre que no haya una fuente o sumidero dentro de V : donde n es la unidad exterior normal al límite de V . Por el teorema de divergencia ,

Como esto es válido para todas las regiones suaves V , se puede demostrar que implica: El lado izquierdo de esta ecuación es el operador de Laplace, y la ecuación completa Δ u = 0 se conoce como ecuación de Laplace . Las soluciones de la ecuación de Laplace, es decir, funciones cuyo laplaciano es idénticamente cero, representan así posibles densidades de equilibrio bajo difusión.

El operador de Laplace tiene una interpretación física para la difusión fuera del equilibrio, como el grado en que un punto representa una fuente o un sumidero de concentración química, en un sentido que se precisa mediante la ecuación de difusión . Esta interpretación del laplaciano también se explica por el siguiente hecho sobre los promedios.

Promedios

Dada una función dos veces continuamente diferenciable y un punto , el valor promedio de sobre la pelota con radio centrado en es: [3]

De manera similar, el valor promedio de sobre la esfera (el límite de una bola) con radio centrado en es:

Densidad asociada a un potencial

Si φ denota el potencial electrostático asociado a una distribución de carga q , entonces la distribución de carga en sí está dada por el negativo del Laplaciano de φ : donde ε 0 es la constante eléctrica .

Esta es una consecuencia de la ley de Gauss . De hecho, si V es cualquier región lisa con límite V , entonces, por la ley de Gauss, el flujo del campo electrostático E a través del límite es proporcional a la carga encerrada: donde la primera igualdad se debe al teorema de divergencia . Dado que el campo electrostático es el gradiente (negativo) del potencial, esto da:

Dado que esto es válido para todas las regiones V , debemos tener

El mismo enfoque implica que el negativo del laplaciano del potencial gravitatorio es la distribución de masas . A menudo, se da la distribución de carga (o masa) y se desconoce el potencial asociado. Encontrar la función de potencial sujeta a condiciones de contorno adecuadas es equivalente a resolver la ecuación de Poisson .

Minimización de energía

Otra motivación para la aparición del Laplaciano en física es que las soluciones de Δ f = 0 en una región U son funciones que hacen que la energía de Dirichlet sea funcional estacionaria :

Para ver esto, supongamos que f  : UR es una función y u  : UR es una función que se desvanece en el límite de U . Entonces:

donde la última igualdad se sigue utilizando la primera identidad de Green . Este cálculo muestra que si Δ f = 0 , entonces E es estacionario alrededor de f . Por el contrario, si E es estacionario alrededor de f , entonces Δ f = 0 por el lema fundamental del cálculo de variaciones .

Expresiones de coordenadas

Dos dimensiones

El operador de Laplace en dos dimensiones viene dado por:

En coordenadas cartesianas , donde x e y son las coordenadas cartesianas estándar del plano xy .

En coordenadas polares , donde r representa la distancia radial y θ el ángulo.

Tres dimensiones

En tres dimensiones, es común trabajar con el Laplaciano en una variedad de sistemas de coordenadas diferentes.

En coordenadas cartesianas ,

En coordenadas cilíndricas , donde representa la distancia radial, φ el ángulo acimutal y z la altura.

En coordenadas esféricas : o bien desarrollando el primer y segundo término, estas expresiones se leen donde φ representa el ángulo azimutal y θ el ángulo cenital o colatitud .

En coordenadas curvilíneas generales ( ξ 1 , ξ 2 , ξ 3 ):

donde se implica la suma de los índices repetidos , g mn es el tensor métrico inverso y Γ l mn son los símbolos de Christoffel para las coordenadas seleccionadas.

nortedimensiones

En coordenadas curvilíneas arbitrarias en N dimensiones ( ξ 1 , ..., ξ N ), podemos escribir el Laplaciano en términos del tensor métrico inverso , : de la fórmula de Voss- Weyl [4] para la divergencia .

En coordenadas esféricas en N dimensiones , con la parametrización x = R N donde r representa un radio real positivo y θ un elemento de la esfera unitaria S N −1 , donde Δ S N −1 es el operador de Laplace-Beltrami sobre la ( N − 1) -esfera, conocido como el Laplaciano esférico. Los dos términos de la derivada radial se pueden reescribir de forma equivalente como:

En consecuencia, el Laplaciano esférico de una función definida en S N −1R N puede calcularse como el Laplaciano ordinario de la función extendida hasta R N ∖{0} de modo que sea constante a lo largo de los rayos, es decir, homogéneo de grado cero.

Invariancia euclidiana

El laplaciano es invariante bajo todas las transformaciones euclidianas : rotaciones y traslaciones . En dos dimensiones, por ejemplo, esto significa que: para todos los θ , a y b . En dimensiones arbitrarias, siempre que ρ sea una rotación, y asimismo: siempre que τ sea una traslación. (De manera más general, esto sigue siendo cierto cuando ρ es una transformación ortogonal, como una reflexión ).

De hecho, el álgebra de todos los operadores diferenciales lineales escalares, con coeficientes constantes, que conmutan con todas las transformaciones euclidianas, es el álgebra polinomial generada por el operador de Laplace.

Teoría espectral

El espectro del operador de Laplace consta de todos los valores propios λ para los cuales existe una función propia f correspondiente con:

Esta ecuación se conoce como la ecuación de Helmholtz .

Si Ω es un dominio acotado en R n , entonces las funciones propias del laplaciano son una base ortonormal para el espacio de Hilbert L 2 (Ω) . Este resultado se desprende esencialmente del teorema espectral sobre operadores autoadjuntos compactos , aplicado al inverso del laplaciano (que es compacto, por la desigualdad de Poincaré y el teorema de Rellich–Kondrachov ). [5] También se puede demostrar que las funciones propias son funciones infinitamente diferenciables . [6] De manera más general, estos resultados son válidos para el operador de Laplace–Beltrami en cualquier variedad riemanniana compacta con borde, o de hecho para el problema de valores propios de Dirichlet de cualquier operador elíptico con coeficientes suaves en un dominio acotado. Cuando Ω es la n -esfera , las funciones propias del laplaciano son los armónicos esféricos .

Laplaciano vectorial

El operador vectorial de Laplace , también denotado por , es un operador diferencial definido sobre un campo vectorial . [7] El laplaciano vectorial es similar al laplaciano escalar; mientras que el laplaciano escalar se aplica a un campo escalar y devuelve una cantidad escalar, el laplaciano vectorial se aplica a un campo vectorial , devolviendo una cantidad vectorial. Cuando se calcula en coordenadas cartesianas ortonormales , el campo vectorial devuelto es igual al campo vectorial del laplaciano escalar aplicado a cada componente vectorial.

El laplaciano vectorial de un campo vectorial se define como Esta definición puede verse como la descomposición de Helmholtz del laplaciano vectorial.

En coordenadas cartesianas , esto se reduce a la forma mucho más simple como donde , , y son los componentes del campo vectorial , y justo a la izquierda de cada componente del campo vectorial está el operador de Laplace (escalar). Esto puede verse como un caso especial de la fórmula de Lagrange; consulte Producto triple vectorial .

Para expresiones del vector Laplaciano en otros sistemas de coordenadas, consulte Del en coordenadas cilíndricas y esféricas .

Generalización

El laplaciano de cualquier campo tensorial ("tensor" incluye escalar y vector) se define como la divergencia del gradiente del tensor:

Para el caso especial donde es un escalar (un tensor de grado cero), el Laplaciano toma la forma familiar.

Si es un vector (un tensor de primer grado), el gradiente es una derivada covariante que da como resultado un tensor de segundo grado, y la divergencia de este es nuevamente un vector. La fórmula para el laplaciano vectorial anterior se puede utilizar para evitar el cálculo de tensores y se puede demostrar que es equivalente a la divergencia de la matriz jacobiana que se muestra a continuación para el gradiente de un vector:

Y, de la misma manera, un producto escalar , que evalúa a un vector, de un vector por el gradiente de otro vector (un tensor de segundo grado) puede verse como un producto de matrices: Esta identidad es un resultado dependiente de las coordenadas y no es general.

Uso en física

Un ejemplo del uso del laplaciano vectorial son las ecuaciones de Navier-Stokes para un flujo incompresible newtoniano : donde el término con el laplaciano vectorial del campo de velocidad representa las tensiones viscosas en el fluido.

Otro ejemplo es la ecuación de onda del campo eléctrico que puede derivarse de las ecuaciones de Maxwell en ausencia de cargas y corrientes:

Esta ecuación también se puede escribir como: donde es el D'Alembertiano , utilizado en la ecuación de Klein–Gordon .

Generalizaciones

Se puede definir una versión del laplaciano en cualquier lugar donde tenga sentido la función de energía de Dirichlet , que es la teoría de las formas de Dirichlet . Para espacios con estructura adicional, se pueden dar descripciones más explícitas del laplaciano, como sigue.

Operador de Laplace-Beltrami

El laplaciano también se puede generalizar a un operador elíptico llamado operador de Laplace-Beltrami definido en una variedad de Riemann . El operador de Laplace-Beltrami, cuando se aplica a una función, es la traza ( tr ) del hessiano de la función : donde la traza se toma con respecto a la inversa del tensor métrico . El operador de Laplace-Beltrami también se puede generalizar a un operador (también llamado operador de Laplace-Beltrami) que opera en campos tensoriales , mediante una fórmula similar.

Otra generalización del operador de Laplace que está disponible en variedades pseudo-riemannianas utiliza la derivada exterior , en términos de la cual el "Laplaciano del geómetra" se expresa como

Aquí δ es el codiferencial , que también puede expresarse en términos de la estrella de Hodge y la derivada exterior. Este operador difiere en signo del "Laplaciano del analista" definido anteriormente. De manera más general, el Laplaciano "de Hodge" se define en formas diferenciales α por

Esto se conoce como el operador de Laplace-de Rham , que está relacionado con el operador de Laplace-Beltrami por la identidad de Weitzenböck .

D'Alembertiano

El laplaciano se puede generalizar de ciertas maneras a espacios no euclidianos , donde puede ser elíptico , hiperbólico o ultrahiperbólico .

En el espacio de Minkowski, el operador de Laplace-Beltrami se convierte en el operador D'Alembert o D'Alembertiano:

Es la generalización del operador de Laplace en el sentido de que es el operador diferencial que es invariante bajo el grupo de isometría del espacio subyacente y se reduce al operador de Laplace si se restringe a funciones independientes del tiempo. El signo general de la métrica aquí se elige de modo que las partes espaciales del operador admitan un signo negativo, que es la convención habitual en la física de partículas de alta energía . El operador de D'Alembert también se conoce como operador de onda porque es el operador diferencial que aparece en las ecuaciones de onda , y también es parte de la ecuación de Klein–Gordon , que se reduce a la ecuación de onda en el caso sin masa.

El factor adicional de c en la métrica es necesario en física si el espacio y el tiempo se miden en unidades diferentes; se requeriría un factor similar si, por ejemplo, la dirección x se midiera en metros mientras que la dirección y se midiera en centímetros. De hecho, los físicos teóricos suelen trabajar en unidades tales que c = 1 para simplificar la ecuación.

El operador d'Alembert se generaliza a un operador hiperbólico en variedades pseudo-riemannianas .

Véase también

Notas

  1. ^ Styer, Daniel F. (1 de diciembre de 2015). "El significado geométrico del laplaciano" (PDF) . American Journal of Physics . 83 (12): 992–997. doi :10.1119/1.4935133. ISSN  0002-9505. Archivado desde el original el 20 de noviembre de 2015.
  2. ^ Evans 1998, §2.2
  3. ^ Ovall, Jeffrey S. (1 de marzo de 2016). "El laplaciano y los valores medios y extremos" (PDF) . The American Mathematical Monthly . 123 (3): 287–291. doi :10.4169/amer.math.monthly.123.3.287. S2CID  124943537.
  4. ^ Archivado en Ghostarchive y Wayback Machine: Grinfeld, Pavel (16 de abril de 2014). "La fórmula de Voss-Weyl". YouTube . Consultado el 9 de enero de 2018 .
  5. ^ Gilbarg y Trudinger 2001, Teorema 8.6
  6. ^ Gilbarg y Trudinger 2001, Corolario 8.11
  7. ^ MathWorld. "Laplaciano vectorial".

Referencias

Lectura adicional

Enlaces externos