Operador de Laplace

En matemticas el operador de Laplace o Laplaciano es un operador diferencial dada por

la divergencia del gradiente de una funcin en el espacio euclidiano . Por lo general se
indica con los smbolos ,
2
o . El Laplaciano F(p) de una funcin f en un
punto P, hasta una constante que depende de la dimensin, es la velocidad a la que el valor
promedio de f en esferas centradas en P, se desva de f (p) como el radio de la esfera
crece. En un sistema de coordenadas cartesiano , el laplaciano est dada por la suma de
segunda derivadas parciales de la funcin con respecto a cada variable independiente . En
otros sistemas de coordenadas como cilndrica y coordenadas esfricas , el Laplaciano
tambin tiene una forma til.
Las soluciones de la ecuacin f = 0, que ahora se llama la ecuacin de Laplace , son las
llamadas funciones armnicas , y representan los posibles campos gravitacionales en el
espacio libre.
El Laplaciano representa la densidad de flujo del flujo de gradiente de una funcin. Por
ejemplo, la tasa neta en el 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 qumica en ese
punto; expresado simblicamente, la ecuacin resultante es la ecuacin de difusin. Por
estas razones, se utiliza ampliamente en las ciencias para el modelado de todos los tipos de
fenmenos fsicos. El Laplaciano es el ms simple operador elptico , y es el ncleo de la
teora de Hodge , as como los resultados de la cohomologa de de Rham . En el
procesamiento de imgenes y visin ordenador , el operador laplaciano se ha utilizado para
varias tareas, tales como gota y deteccin de bordes .
Definicin
El operador de Laplace es un segundo operador diferencial de orden en el n-
dimensional espacio euclidiano , que se define como la divergencia ( )
del gradiente ( ). As, si es un dos veces diferenciable funcin de valor real , entonces
el Laplaciano de se define por


( 1 )
donde los ltimos notaciones derivan de escribir
formalmente De manera equivalente, el laplaciano de es la suma de todos los
segundos sin mezclar derivadas parciales en las coordenadas cartesianas :




Como operador diferencial de segundo orden, los mapas operador Laplace C
k
-funciones
a C
k -2-funciones
para k 2 La expresin (. 1 ) (o equivalente ( 2 )) define un
operador : C
k
(R
n
) C
k 2 (R n),
o ms generalmente un operador : C
k
() C
k 2
()
para cualquier conjunto abierto .
Motivacin
Difusin
En la fsica teora de la difusin , el operador de Laplace (a travs de la ecuacin de
Laplace ) surge de forma natural en la descripcin matemtica
de equilibrio .
[1]
Especficamente, si u es la densidad en equilibrio de alguna cantidad tal
como una concentracin qumica, entonces el flujo neto de U a travs de los lmites de
cualquier zona lisa V es cero, siempre que no haya fuente o sumidero en V:

donde n es el exterior unitario normal a la frontera de V. Por el teorema de la divergencia ,

Dado que este se mantiene para todas las regiones lisas V, se puede demostrar que esto
implica

El lado izquierdo de esta ecuacin es el operador de Laplace. El operador de Laplace en s
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 hecho
precisa por la ecuacin de difusin .
Densidad asociado a un potencial
Si denota el potencial electrosttico asociado a una distribucin de la carga q, entonces la
distribucin de carga en s est dada por el laplaciano de :


( 1 )
Esto es una consecuencia de la ley de Gauss . De hecho, si V es cualquier regin lisa, a
continuacin, por la ley de Gauss el flujo del campo electrosttico E es igual a la carga
encerrada (en unidades apropiadas):

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 desde este se mantiene para todas las regiones V, ( 1 ) de la siguiente manera.
El mismo enfoque implica que el Laplaciano del potencial gravitatorio es la distribucin de
la masa . A menudo, la carga (o masa) distribucin se dan, y el potencial asociado es
desconocido. Encontrar la funcin potencial sujeto a las condiciones de contorno adecuadas
es equivalente a resolver la ecuacin de Poisson .
Minimizacin de energa
Otra motivacin para el Laplaciano apareciendo en la fsica es que las soluciones
a en una regin U son funciones que hacen de la energa
Dirichlet funcional estacionaria :

Para ver esto, supongamos es una funcin, y es una funcin que
se desvanece en el lmite de U. Entonces

donde la ltima igualdad sigue utilizando primero la identidad de Green . Este clculo
muestra que si , Entonces E es estacionaria alrededor de f. Por el contrario,
si E es estacionaria alrededor de f, entonces por el lema fundamental del clculo
de variaciones .
Coordinar las expresiones
Dos dimensiones
El operador de Laplace en dos dimensiones se da por

donde x e y son las estndar coordenadas cartesianas del plano xy.
En coordenadas polares ,

Tres dimensiones
En tres dimensiones, es comn para trabajar con el Laplaciano en una variedad de
diferentes sistemas de coordenadas.
En coordenadas cartesianas ,

En coordenadas cilndricas ,

En coordenadas esfricas :

(En este caso representa el ngulo azimutal y el ngulo cenital o co-latitud ).
En general coordenadas curvilneas ( ):

donde est implicada la suma sobre los ndices repetidos .
N dimensiones
En coordenadas esfricas en N dimensiones, con la parametrizacin x = r
R
N
representando R un radio real positivo y un elemento de la esfera unidad S
N -1
,

donde es el operador de Laplace-Beltrami en la (N -1)-esfera, conocido como el
Laplaciano esfrica. Los dos trminos derivados radiales pueden ser equivalentemente
reescribirse como

Como consecuencia, el laplaciano esfrica de una funcin definida en S
N -1
R
N
se puede
calcular como el Laplaciano ordinaria de la funcin extendido a R
N
\ {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 consta de todos los valores propios para los cuales
existe una funcin propia correspondiente con

Esto se conoce como la ecuacin 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 sigue esencialmente desde el teorema
espectral en compactas operadores de auto-adjunto , aplicado a la inversa de la Laplaciano
(que es compacto, por la desigualdad de Poincar y Kondrakov teorema de
incrustacin ).
[2]
Tambin puede demostrarse que las funciones propias son infinitamente
diferenciables funciones.
[3]
De manera ms general, estos resultados son vlidos para el
operador de Laplace-Beltrami en cualquier variedad de Riemann compacta con frontera, o
de hecho, para el problema de valores propios de Dirichlet de cualquier operador
elpticas con coeficientes suaves en un dominio acotado. Cuando es la n-esfera , las
funciones propias del Laplaciano son los conocidos armnicos esfricos .
Las generalizaciones
Operador de Laplace-Beltrami
El Laplaciano tambin se puede generalizar a un operador elptico llamado el operador de
Laplace-Beltrami definida en una variedad de Riemann . El operador de d'Alembert
generaliza a un operador hiperblico encolectores pseudo-riemanniana . El operador de
Laplace-Beltrami, cuando se aplica a una funcin, es el rastro 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 se puede generalizar a un operador (tambin llamado el operador
de Laplace-Beltrami), 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 trminos de lo que el "Laplaciano de gemetra"
se expresa como

Aqu d
*
es el codifferential , que tambin se puede expresar mediante el dual de
Hodge . Tenga en cuenta que este operador difiere en signo de la "Laplaciano del analista"
se ha definido anteriormente, un punto que siempre debe tenerse en cuenta a la hora de leer
los papeles en el anlisis global. Ms en general, el laplaciano "Hodge" se define en las
formas diferenciales por

Esto se conoce como la Rham operador de Laplace-de , que se relaciona con el operador
de Laplace-Beltrami por la identidad Weitzenbck .
D'Alembert
El Laplaciano puede generalizar en cierta manera a no euclidianas espacios, donde puede
ser elptica , hiperblica , o ultrahyperbolic .
En el espacio de Minkowski el operador de Laplace-Beltrami se convierte en el operador de
d'Alembert o de 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 est restringida a las funciones independientes de tiempo. Tenga en cuenta que el
signo general de la mtrica que aqu se elige de manera que las partes espaciales del
operador admiten un signo negativo, que es la convencin habitual en la alta energa fsica
de partculas . El operador de D'Alembert tambin se conoce como el operador de onda,
debido a que es el operador diferencial que aparecen 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 de la fsica si el espacio y el tiempo
se miden en unidades diferentes; un factor similar sera necesario si, por ejemplo, la
direccin x se mide en metros, mientras que la direccin y se midi en centmetros. De
hecho, los fsicos tericos por lo general trabajan en unidades tales que c = 1 a fin de
simplificar la ecuacin.