El Laplaciano se produce en las ecuaciones diferenciales que describen muchos fenmenos

fsicos, tales como potenciales elctricos y gravitacionales, la ecuacin de difusin de calor y

el flujo de fluido, la propagacin de ondas, y la mecnica cuntica. El Laplaciano representa la
densidad de flujo del flujo de gradiente de una funcin. Por ejemplo, la tasa neta en la que un
producto qumico disuelto en un fluido se mueve hacia o lejos de un cierto punto es
proporcional a la Laplaciano de la concentracin del producto qumico en ese punto; expresa
simblicamente, la ecuacin resultante es la ecuacin de difusin. El Laplaciano es el
operador elptico simple
Definicin
El operador de Laplace es un operador diferencial de segundo orden en el espacio euclidiano
n-dimensional, definida como la divergencia del gradiente. As, si es una funcin real dos
veces diferenciable, entonces el Laplaciano de se define por
donde los ltimos notaciones derivan de escribir formalmente equivalente, el laplaciano de es
la suma de todos los segundos derivadas parciales sin mezclar en las coordenadas
cartesianas:
Como operador diferencial de segundo orden, el operador de Laplace mapas Ck-funciones a
CK-2-funciones para k = 2 - La expresin define un operador? : CK? Ck-2, o ms
generalmente un operador? : CK? Ck-2 para cualquier conjunto abierto O.
Motivacin
Difusin
En la teora fsica de la difusin, el operador de Laplace surge de manera natural en la
descripcin matemtica de equilibrio. Especficamente, si u es la densidad en equilibrio de
alguna cantidad tal como una concentracin qumica, a continuacin, el flujo neto de U a
travs de los lmites de cualquier regin lisa V es cero, siempre que no haya fuente o sumidero
en V:
donde n es la unidad normal exterior a la frontera de V. Por el teorema de la divergencia,
Dado que este es vlido para todas las regiones V suave, se puede demostrar que esto
implica
El lado izquierdo de esta ecuacin es el operador de Laplace. El propio operador de Laplace
tiene una interpretacin fsica para la difusin de no equilibrio como la medida en que un punto
representa una fuente o sumidero de concentracin qumica, en un sentido preciso realizado
por la ecuacin de difusin.
Densidad asociada a un potencial
Si f denota el potencial electrosttico asociado a una distribucin de carga q, entonces la
propia distribucin de carga est dada por el Laplaciano de f:
Esto es una consecuencia de la ley de Gauss. En efecto, si V es cualquier zona lisa, a
continuacin, por la ley de Gauss el flujo del campo electrosttico E es igual a la carga
cerrado:
donde la primera igualdad utiliza el hecho de que el campo electrosttico es el gradiente del
potencial electrosttico. El teorema de la divergencia da ahora
y puesto que esto es para todas las regiones V, sigue.
El mismo enfoque implica que el Laplaciano del potencial gravitacional es la distribucin de la
masa. A menudo, la distribucin de carga se dan, y el potencial asociado es desconocido.
Encontrar la funcin potencial sujeta a condiciones de contorno adecuadas es equivalente a la
resolucin de la ecuacin de Poisson.
Minimizacin de energa
Otra motivacin para el laplaciano aparece en la fsica es que las soluciones a una regin en
U son funciones que hacen de la energa estacionaria funcional Dirichlet:
Para ver esto, supongamos que es una funcin, y es una funcin que se desvanece en el
lmite de U. Entonces
donde la ltima igualdad sigue utilizando en primer lugar la identidad de Green. Este clculo
muestra que si, entonces E es estacionario alrededor de f. Por el contrario, si E es
estacionaria alrededor de f, a continuacin, por el lema fundamental del clculo de
variaciones.
Coordinar las expresiones
Dos dimensiones
El operador de Laplace en dos dimensiones es dado por
donde x e y son las coordenadas cartesianas estndar del plano xy.
En coordenadas polares,
Tres dimensiones
En tres dimensiones, es comn que para trabajar con el Laplaciano en una variedad de
diferentes sistemas de coordenadas.
En coordenadas cartesianas,
En coordenadas cilndricas,
En coordenadas esfricas:
o:
.
En coordenadas curvilneas generales:
donde est implcita suma sobre los ndices repetidos.
N dimensiones
En coordenadas esfricas en N dimensiones, con la parametrizacin x = r? ? RN con r
representa el radio real positivo y? un elemento de la esfera unidad SN-1,
donde es el operador de Laplace-Beltrami en la esfera-, conocido como el Laplaciano esfrica.
Los dos trminos radiales se pueden escribir como equivalente
Como consecuencia de ello, el laplaciano esfrica de una funcin definida en SN-1? RN puede
ser computado como el Laplaciano ordinaria de la funcin extendido a RN \\ {0} para que sea
constante a lo largo de los rayos, es decir, homognea de grado cero.
Teora espectral
El espectro del operador de Laplace se compone de todos los valores propios? para los que
hay una funcin propia correspondiente con
Esto se conoce como la ecuacin de Helmholtz. Si S es un dominio acotado en Rn entonces
las funciones propias del Laplaciano es una base ortonormal para el espacio de Hilbert L2.
Este resultado se deduce esencialmente a partir del teorema espectral de operadores
autoadjuntos compactos, aplicados a la inversa de la laplaciano. Tambin puede demostrarse
que las funciones propias son funciones infinitamente diferenciables. En trminos ms
generales, estos resultados se mantienen para el operador de Laplace-Beltrami en cualquier
variedad de Riemann compacta con frontera, o incluso para el problema de valores propios
Dirichlet de cualquier operador elpticas con coeficientes suaves sobre un dominio acotado.
Cuando S es la n-esfera, las funciones propias del Laplaciano son los armnicos esfricos
bien conocidos.
Las generalizaciones
Operador de Laplace-Beltrami
El laplaciano tambin puede ser generalizado a un operador elptica llamado el operador de
Laplace-Beltrami definido en una variedad de Riemann. El operador de d'Alembert generaliza
a un operador hiperblico en variedades pseudo-riemanniana. El operador de Laplace-
Beltrami, cuando se aplica a una funcin, es la traza de la funcin de Hesse:
donde la traza se toma con respecto a la inversa de la tensor mtrico. El operador de Laplace-
Beltrami tambin puede ser generalizado a un operador que opera en campos tensoriales, por
una frmula similar.
Otra generalizacin del operador de Laplace que est disponible en variedades pseudo-
riemanniana utiliza la derivada exterior, en funcin del cual "Laplaciano de gemetra", el que
se expresa como
Aqu d * es el codifferential, que tambin se puede expresar usando el dual de Hodge. Tenga
en cuenta que este operador difiere en signo de "Laplaciano del analista", el definido
anteriormente, un punto que siempre debe tenerse en cuenta al leer los documentos en el
anlisis global. Ms en general, el laplaciano "Hodge" se define en las formas diferenciales por
una
Esto se conoce como el operador de Laplace-de Rham, que est relacionado con el operador
de Laplace-Beltrami por la identidad Weitzenbck.
D'Alembert
El Laplaciano puede generalizar en cierta forma a los espacios no euclidianas, donde puede
ser elptica, hiperblica o ultrahyperbolic.
En el espacio de Minkowski del operador de Laplace-Beltrami se convierte en el operador de
d'Alembert y d'Alembert:
Es la generalizacin del operador de Laplace en el sentido de que es el operador diferencial
que es invariante bajo el grupo de isometra del espacio subyacente y reduce al operador de
Laplace si restringido a tiempo funciones independientes. Tenga en cuenta que la seal
general de la mtrica aqu se elige de tal manera que las partes espaciales del operador
admiten un signo negativo, que es la convencin habitual en la fsica de partculas de alta
energa. El operador de D'Alembert tambin se conoce como el operador de onda, debido a
que es el operador diferencial que aparece en las ecuaciones de onda y tambin es parte de
la ecuacin de Klein-Gordon, que se reduce a la ecuacin de onda en el caso sin masa. Se
necesita el factor adicional de c en la mtrica en la fsica si el espacio y el tiempo se miden en
diferentes unidades; un factor similar sera necesario si, por ejemplo, la direccin x se mide en
metros, mientras que la direccin y se mide en centmetros. En efecto, los fsicos tericos por
lo general trabajan en unidades tales que c = 1 con el fin de simplificar la ecuacin.