Operador laplaciano


Operador laplaciano

En cálculo vectorial, el operador laplaciano o laplaciano es un operador diferencial elíptico de segundo orden, denotado como Δ, relacionado con ciertos problemas de minimización 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 aparecía 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 símbolo delta (Δ) o nabla cuadrado (\nabla^2) para representarlo. Si \phi, \mathbf{A}, son un campo escalar y un campo vectorial respectivamente, el laplaciano de ambos puede escribirse en términos del operador nabla como:

\Delta\phi= (\nabla\cdot\nabla)\phi = \nabla^2 \phi \qquad \qquad
\Delta\mathbf{A} = \nabla(\nabla \cdot \mathbf{A}) - \nabla \times (\nabla \times \mathbf{A}) =  (\nabla\cdot\nabla)\mathbf{A}

Contenido

Problemas relacionados con el operador laplaciano

En física, el laplaciano aparece en múltiples contextos como la teoría del potencial, la propagación de ondas, la conducción del calor, la distribución de tensiones en un sólido deformable, etc. Pero de todas estas situaciones ocupa un lugar destacado en la electrostática y en la mecánica cuántica. En la electrostática, el operador laplaciano aparece en la ecuación de Laplace y en la ecuación de Poisson. Mientras que en la mecánica cuántica el laplaciano de la función de onda de una partícula da la energía cinética de la misma. En matemáticas, las funciones tales que su laplaciano se anula en un determinado dominio, se llaman funciones armónicas sobre el dominio. Estas funciones tienen una excepcional importancia en la teoría de funciones de variable compleja. Además el operador laplaciano es el ingrediente básico de la teoría de Hodge y los resultados de la cohomología de Rham.

Motivación de la ubicuidad del operador laplaciano

Una de las motivaciones por las cuales el Laplaciano aparece en numerosas áreas de la física es que las soluciones de la ecuación Δf = 0 en una región U son funciones que minimizan el funcional de energía:

 E(f) = \frac{1}{2} \int_U \Vert \nabla f \Vert^2 \mathrm{d}x


Para ver esto supóngase que f\colon U\to \mathbb{R} es una función, y u\colon U\to \mathbb{R} es una función que se anula sobre la frontera de U. Entonces,

 \frac{d}{d\varepsilon}\Big|_{\varepsilon = 0} E(f+\varepsilon u) = \int_U \nabla f \cdot \nabla u \mathrm{d} x = -\int_U u \Delta f \mathrm{d} x


donde la última igualdad se sigue usando la primera identidad de Green. Este cálculo muestra que si Δf = 0, entonces el funcional de energía E es estacionario alrededor de f. Recíprocamente, si E es estacionario alrededor de f, entonces Δf = 0 por el teorema fundamental del cálculo integral.

Otra razón de su ubicuidad es que cuando uno escribe la ecuación de Laplace en forma diferencias finitas se aprecia que el Laplaciano en un punto es la diferencia entre el valor de la función en el punto y el valor de la función alrededor. Es decir, cualquier magnitud que puede expresarse como una magnitud flujo que se conserva satisface la ecuación de Laplace.

Propiedades del operador laplaciano

El laplaciano es lineal:

 \nabla^2 (\lambda f + \mu g) = \lambda \nabla^2 f + \mu \nabla^2 g

La siguiente afirmación también es cierta:

\nabla^2(fg)=(\nabla^2f)g+2(\nabla f)\cdot(\nabla g)+f(\nabla^2g)

Operador laplaciano en diversos sistemas de coordenadas

Coordenadas cartesianas

En coordenadas cartesianas (plano) bidimensionales, el laplaciano de una función f es:

\Delta f=\nabla^2 f= {\partial^2 f \over \partial x^2 } +
{\partial^2 f \over \partial y^2 }

En coordenadas cartesianas tridimensionales:

\Delta f = \nabla^2 f = 
{\partial^2 f \over \partial x^2 } +
{\partial^2 f \over \partial y^2 } +
{\partial^2 f \over \partial z^2 }

En coordenadas cartesianas en \mathbb{R}^n:

\Delta f(x_1,...,x_n)= \sum_{k=1}^n
{\partial^2 f \over \partial x_k^2 }(x_1,...,x_n)

Coordenadas cilíndricas

En coordenadas cilíndricas (\rho,\varphi,z)\,:

 \Delta f = \nabla^2 f 
= {1 \over \rho} {\partial \over \partial \rho}
  \left( \rho {\partial f \over \partial \rho} \right) 
+ {1 \over \rho^2} {\partial^2 f \over \partial \varphi^2}
+ {\partial^2 f \over \partial z^2 } 
= {1 \over \rho} {\partial f \over \partial \rho} 
+ {\partial^2 f \over \partial \rho^2}
+ {1 \over \rho^2} {\partial^2 f \over \partial \varphi^2}
+ {\partial^2 f \over \partial z^2 }
.

Coordenadas esféricas

En coordenadas esféricas (r,\theta,\phi)\,:

\Delta f = \nabla^2 f
= {1 \over r^2} {\partial \over \partial r}
  \left( r^2 {\partial f \over \partial r} \right) 
+ {1 \over r^2 \sin \theta} {\partial \over \partial \theta}
  \left( \sin \theta {\partial f \over \partial \theta} \right) 
+ {1 \over r^2 \sin^2 \theta} {\partial^2 f \over \partial \phi^2}

Coordenadas curvilíneas ortogonales

En coordenadas ortogonales generales (u_1,u_2,u_3)\,:

\Delta f = \nabla^2 f = \frac{1}{h_1 h_2 h_3}\left[
\frac{\part}{\part u_1} \left(\frac{h_2 h_3}{h_1} \frac{\part f}{\part u_1}\right)+
\frac{\part}{\part u_2} \left(\frac{h_3 h_1}{h_2} \frac{\part f}{\part u_2}\right)+
\frac{\part}{\part u_3} \left(\frac{h_1 h_2}{h_3} \frac{\part f}{\part u_3}\right) \right]

Donde (h_1,h_2,h_3)\, son los factores de escala del sistema de coordenadas, que en general serán tres funciones dependientes de las tres coordenadas curvilíneas.

Función armónica

Una función f: E \subset \mathbb{R}^n \rightarrow \mathbb{R} se dice que es armónica en E si:

\forall x \in E, \,\, \Delta f(x) = 0

Ejemplos de funciones armónicas:

Generalizaciones del Laplaciano

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

Operador de Laplace-Beltrami

Una extensión del Laplaciano a funciones reales defindas sobre una variedad es el operador de Laplace-Beltrami (denotado \nabla^2). Se lo define, en forma similar al Laplaciano, como la divergencia del gradiente, donde el gradiente una función f definida en una variedad (seudo)riemaniana y la divergencia de un campo vectorial X sobre la misma vienen dados en componentes por:

(\mbox{grad}\ f)^i = g^{ij}\frac{\partial f}{\partial x^j} \qquad \mbox{div}\ X = \frac{1}{\sqrt{|g|}}\frac{\partial}{\partial x^j}\left(\sqrt{|g|}X^i\right)

Donde: gij, es tensor 2-contravariante asociado al tensor métrico. \sqrt{|g|}, es la raíz cuadrada del valor absoluto del determinante del tensor métrico. El operador de Laplace-Beltrami de una función escalar, se obtiene como la divergencia y el gradiente definidos como anteriormente es decir:

\nabla^2 f = \frac{1}{\sqrt{|g|}}\frac{\partial}{\partial x^k}\left(\sqrt{|g|}g^{ik}\frac{\partial f}{\partial x^i}\right)

Operador de Laplace-deRham

En variedades riemannianas y seudoriemanninas existe otra generalización del laplaciano que lo extiende a k-formas, que es la base de la cohomología de Hodge-deRham. Esta extensión llamada operador de Laplace-deRham, y denotado como \boldsymbol\Delta, se define en términos de la diferencial exterior (d) y la codiferencial exterior (δ) de k-formas o alternativamente en términos de la diferencial exterior y el operador dual de Hodge. Este operador de Laplace-deRham se define como:

\boldsymbol{\Delta}\alpha = (d\delta+\delta d) \alpha = (d+\delta)^2 \alpha

Donde se ha usado que la codiferencial puede reescribirse en términos de la diferencial exterior y el operador dual de Hodge:

\delta = (-1)^{n(k+1)+1}*d* \;

Donde n es la dimensión de la variedad (seudo)riemanniana y k es el orden de la k-forma α.

Véase también

Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Operador laplaciano — En cálculo vectorial, el operador laplaciano o laplaciano es un operador diferencial 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 símbolo del… …   Enciclopedia Universal

  • Operador diferencial — En matemáticas, un operador diferencial es un operador lineal definido como una función del operador de diferenciación. Ayuda, como una cuestión de notación, considerar a la diferenciación como una operación abstracta, que acepta una función y… …   Wikipedia Español

  • Operador diferencial vectorial — Un operador diferencial vectorial es un operador lineal que actúa sobre campos vectoriales definidos sobre una variedad diferenciable. Ejemplos Operador rotacional Operador gradiente Operador divergencia Operador laplaciano Categorías:… …   Wikipedia Español

  • Operador — En matemáticas, el término operador puede usarse con varios significados. Algunas veces, un operador es un símbolo matemático que indica que debe ser llevada a cabo una operación especificada[1] sobre un cierto número de operandos (número,… …   Wikipedia Español

  • Ecuación de Laplace — Saltar a navegación, búsqueda En cálculo vectorial, la ecuación de Laplace es una ecuación en derivadas parciales de segundo orden de tipo elíptico, que recibe ese nombre en honor al físico y matemático Pierre Simon Laplace. Introducida por las… …   Wikipedia Español

  • Ecuación de Poisson — Saltar a navegación, búsqueda En matemática y física, la ecuación de Poisson es una ecuación en derivadas parciales con una amplia utilidad en electrostática, ingeniería mecánica y física teórica. Su nombre se lo debe al matemático, geómetra y… …   Wikipedia Español

  • Ley de la inversa del cuadrado — Ilustración de la ley de la inversa del cuadrado. Las líneas representan el flujo que emana de una fuente puntual. La densidad de líneas de flujo disminuye a medida que aumenta la distancia. La ley de la inversa del cuadrado o ley cuadrática… …   Wikipedia Español

  • Ecuación de onda — Saltar a navegación, búsqueda La ecuación de onda es una importante ecuación diferencial parcial lineal de segundo orden que describe la propagación de una variedad de ondas, como las ondas sonoras, las ondas de luz y las ondas en el agua. Es… …   Wikipedia Español

  • Energía cinética — Saltar a navegación, búsqueda Para otros usos de este término, véase Cinética. Los carros de una montaña rusa alcanzan su máxima energía cinética cuando están en el fondo de su trayectoria. Cuando comienzan a elevarse, la energía cinética comienz …   Wikipedia Español

  • D'Alambertiano — Saltar a navegación, búsqueda El operador D Alambertiano es la generalización del operador laplaciano a un espacio de Minkowski, o, más en general, a un espacio de dimensión y métrica arbitraria. Se suele representar como , o simplemente como .… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.