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 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 lacohomologa 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 energa: en una regin U son funciones que minimizan el funcional de

Para ver esto supngase que se anula sobre la frontera de U. Entonces,

es una funcin, y

es una funcin que

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. por el teorema

Recprocamente, si E es estacionario alrededor de f, entonces 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:

El potencial gravitatorio dado por espacio eucldeo tridimensional.

sobre el plano eucldeo.

es armnico sobre el

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 LaplacedeRham 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 se tiene que:

definida en un entorno de