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 () onabla 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
o 4.2Coordenadas cilndricas
o 4.3Coordenadas esfricas
o 4.4Coordenadas curvilneas ortogonales
5Funcin armnica
6Generalizaciones del Laplaciano
o 6.1Operador de Laplace-Beltrami
o 6.2Operador de Laplace-deRham
o 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 de tensiones 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
lamecnica 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 llamanfunciones 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 en una regin U son funciones que
minimizan el funcional de energa:

Para ver esto supngase que es una funcin, y es una

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

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 es armnico
sobre el espacio eucldeo tridimensional.
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 definida en un

entorno de se tiene que: