Operador laplaciano

En clculo vectorial, el operador laplaciano o laplaciano es un operador diferencial elptico

de segundo orden, denotado como , relacionado con ciertos problemas de minimizacin de
ciertas magnitudes sobre un cierto dominio. El operador tiene ese nombre en reconocimiento
a Pierre-Simon Laplace que estudi soluciones de ecuaciones diferenciales en derivadas
parciales en las que apareca dicho operador.
Expresado en coordenadas cartesianas es igual a la suma de todas las segundas derivadas
parciales no mixtas dependientes de una variable. Corresponde a div (grad ), de donde el
uso del smbolo delta () o nabla cuadrado (
) para representarlo. Si
, son un campo
escalar y un campo vectorial respectivamente, el laplaciano de ambos puede escribirse en
trminos del operador nabla como:

ndice
[ocultar]

1Problemas relacionados con el operador laplaciano

2Motivacin de la ubicuidad del operador laplaciano

3Propiedades del operador laplaciano

4Operador laplaciano en diversos sistemas de coordenadas

o

4.1Coordenadas cartesianas

4.2Coordenadas cilndricas

4.3Coordenadas esfricas

4.4Coordenadas curvilneas ortogonales

5Funcin armnica

6Generalizaciones del Laplaciano

o

6.1Operador de Laplace-Beltrami

6.2Operador de Laplace-deRham

6.3Operador laplaciano para funciones no diferenciables

7Vase tambin

8Enlaces externos

Problemas relacionados con el operador laplaciano[editar]

En fsica, el laplaciano aparece en mltiples contextos como la teora del potencial,
la propagacin de ondas, la conduccin del calor, la distribucin detensiones en un slido
deformable, etc. Pero de todas estas situaciones ocupa un lugar destacado en
la electrosttica y en la mecnica cuntica. En la electrosttica, el operador laplaciano aparece
en la ecuacin de Laplace y en la ecuacin de Poisson. Mientras que en la mecnica
cuntica el laplaciano de la funcin de onda de una partcula da la energa cintica de la
misma. En matemticas, las funciones tales que su laplaciano se anula en un determinado
dominio, se llaman funciones armnicas sobre el dominio. Estas funciones tienen una
excepcional importancia en la teora de funciones de variable compleja. Adems el operador
laplaciano es el ingrediente bsico de la teora de Hodge y los resultados de la cohomologa
de De Rham.
Vanse tambin: ecuacin de Laplace y Ecuacin de Poisson.

Motivacin de la ubicuidad del operador laplaciano [editar]

Una de las motivaciones por las cuales el Laplaciano aparece en numerosas reas de la fsica
es que las soluciones de la ecuacin
el funcional de energa:

en una reginU son funciones que minimizan

Para ver esto supngase que

es una funcin, y
funcin que se anula sobre la frontera de U. Entonces,

es una

donde la ltima igualdad se sigue usando la primera identidad de Green. Este clculo
muestra que si
, entonces el funcional de energa E es estacionario
alrededor de f. Recprocamente, si E es estacionario alrededor de f,
entonces
por el teorema fundamental del clculo integral.
Otra razn de su ubicuidad es que cuando uno escribe la ecuacin de Laplace en
forma diferencias finitas se aprecia que el Laplaciano en un punto es la diferencia
entre el valor de la funcin en el punto y el valor de la funcin alrededor. Es decir,
cualquier magnitud que puede expresarse como una magnitud flujo que se conserva
satisface la ecuacin de Laplace.

Propiedades del operador laplaciano[editar]

El laplaciano es lineal:

La siguiente afirmacin tambin es cierta:

Operador laplaciano en diversos sistemas de

coordenadas[editar]
Coordenadas cartesianas[editar]
En coordenadas cartesianas (plano) bidimensionales, el laplaciano de una
funcin f es:

En coordenadas cartesianas tridimensionales:

En coordenadas cartesianas en

Coordenadas cilndricas[editar]
En coordenadas cilndricas

Coordenadas esfricas[editar]
En coordenadas esfricas

Coordenadas curvilneas ortogonales[editar]

En coordenadas ortogonales generales

Donde
son los factores de escala del sistema de coordenadas,
que en general sern tres funciones dependientes de las tres coordenadas
curvilneas.

Funcin armnica[editar]
Una funcin

se dice que es armnica en E si:

Ejemplos de funciones armnicas:

sobre el plano eucldeo.

El potencial gravitatorio dado
por
el espacio eucldeo tridimensional.

es armnico sobre

los armnicos esfricos son funciones armnicas sobre un dominio

finito o infinito, que aparecen en la resolucin de problemas
con simetra esfrica.

Generalizaciones del Laplaciano[editar]

El Laplaciano puede ser extendido a funciones definidas sobre
superficies, o en forma ms general, en variedades de
Riemann y variedades seudoriemannianas.

Operador de Laplace-Beltrami[editar]
Una extensin del Laplaciano a funciones reales defindas sobre una
variedad es el operador de Laplace-Beltrami (denotado
). Se lo
define, en forma similar al Laplaciano, como la divergencia del gradiente,
donde el gradiente una funcin f definida en una variedad
(seudo)riemaniana y la divergencia de un campo vectorial X sobre la
misma vienen dados en componentes por:

Donde:
, es tensor 2-contravariante asociado al tensor mtrico.
,
es la raz cuadrada del valor absoluto del determinante del tensor mtrico.
El operador de Laplace-Beltrami de una funcin escalar, se obtiene como
la divergencia y el gradiente definidos como anteriormente es decir:

Operador de Laplace-deRham[editar]
En variedades riemannianas y pseudo-riemannianas existe otra
generalizacin del laplaciano que lo extiende a k-formas, que es la base
de la cohomologa de Hodge-deRham. Esta extensin llamada operador
de Laplace-deRham, y denotado como , se define en trminos de la
diferencial exterior (d) y la codiferencial exterior () de k-formas o
alternativamente en trminos de la diferencial exterior y el operador dual
de Hodge. Este operador de Laplace-deRham se define como:

Donde se ha usado que la codiferencial puede reescribirse en trminos

de la diferencial exterior y el operador dual de Hodge:

Donde n es la dimensin de la variedad (seudo)riemanniana y k es el

orden de la k-forma .

Operador laplaciano para funciones no

diferenciables[editar]
En
el laplaciano puede generalizarse a funciones que no sean
diferenciables pero que sean integrables sobre un crculo unidad
contenido en cierta regin. As se define el laplaciano generalizado:

Puede demostrarse que para una funcin

de se tiene que:

definida en un entorno