Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuación de Laplace
Objetivos
Resolver problemas de contorno para la ecuación de Laplace.
Resolver problemas para ecuaciones diferenciales en derivadas parciales
por separación de variables.
7.1. Introducción
La ecuación de Laplace y su versión inhomogénea, la ecuación de Poisson,
aparecen en numerosos campos de la fı́sica, la matemática y la ingenierı́a mode-
lizando fenómenos estacionarios, es decir, no dependientes del tiempo. La razón
de su importancia radica en que involucra al operador laplaciano, que está pre-
sente en la mayorı́a de las ecuaciones de la fı́sica matemática.
Las soluciones de la ecuación de Laplace en un abierto de Rn ,
∂ 2 u(x1 , . . . , xn ) ∂ 2 u(x1 , . . . , xn )
0 = ∆u(x1 , . . . , xn ) = + · · · + , (7.1)
∂x21 ∂x2n
se denominan normalmente funciones armónicas.
La ecuación de Laplace en un abierto de R2 ,
∂ 2 u(x, y) ∂ 2 u(x, y)
+ = 0,
∂x2 ∂y 2
tiene por soluciones las funciones holomorfas o analı́ticas complejas, tomando
z = x + iy: las partes real e imaginaria de una función analı́tica compleja f (z) =
u(z) + iv(z) satisfacen esta ecuación.
En general, el potencial u de cualquier campo conservativo o campo gra-
diente, v = grad u, que cumpla una ley de Gauss, div v = κµ, donde µ es la
densidad de carga de las fuentes del campo y κ es un coeficiente, verifica una
ecuación de Poisson,
∆u = div grad u = div v = κµ.
Por ejemplo, para el campo electrostático en R3 κ = 1/ε0 , siendo ε0 la
constante dieléctrica del vacı́o y µ la densidad de carga eléctrica. Y para el campo
151
152 CAPÍTULO 7. ECUACIÓN DE LAPLACE
S V
ν
v
v ν
v D
ν Γ ν
v
Figura 7.2: Teorema de Green
en U . Se verifica,
Z Z Z
du
v∆u dS + hgrad u, grad vi dS = vds, (7.9)
D D dν
Z ZΓ Z
du dv
(v∆u − u∆v) dS = v ds − u ds, (7.10)
D dν dν
Z ZΓ Γ
du
∆u dS = ds. (7.11)
D Γ dν
y como el integrando, kgrad uk, es positivo y continuo, sólo puede suceder que
sea trivialmente nulo, es decir, grad u ≡ 0. Por tanto, u es una función constante
en V y, como se anula en el borde, dicha constante es nula. Luego u1 = u2 . ✷
ν ∂Ω
Ωε
x0
S(x0;ε)
Utilizamos la proposición 7.4.1 con la función Gx0 = ψx0 − ψx0 (R) en vez
de la ψx0 . La diferencia entre ambas funciones es una constante, armónica por
tanto, y la fórmula sigue siendo válida,
Z Z
du dGx0
u(x0 ) = Gx0 ∆u dV − Gx0 −u dS,
B(x0 ;R) S(x0 ;R) dν dν
y como, por la simetrı́a esférica de ψx0 , esta función toma el valor constante
ψx0 (R) en todos los puntos de la esfera S(x0 ; R), resulta que Gx0 se anula sobre
dicha superficie. Su derivada radial toma el valor constante 1/4πR2 , luego,
Z Z
dGx0
u(x0 ) = Gx0 ∆u dV + u dS
B(x0 ;R) S(x0 ;R) dν
Z Z
dGx0 1
≤ u dS = u dS,
S(x0 ;R) dν 4πR2 S(x0 ;R)
máx |f | = máx |f | = 0 ⇒ f ≡ 0 ⇒ u1 = u2 . ✷
Ω̄ ∂Ω
Por tanto, la expresión anterior nos da una expresión integral para la solución
del problema de Dirichlet en el recinto Ω, conocidos ∆u (ecuación de Poisson)
y el valor de u en ∂Ω. La dificultad estriba, obviamente, en encontrar la función
armónica U que permite que Gx0 se anule en ∂Ω.
Resumiendo, definimos función de Green del recinto Ω y polo x0 para
el problema de Dirichlet a una función que verifica:
(x0,y0)
ν
(x0,-y0)
1
ψx0 (x, 0) = ln (x − x0 )2 + y02 .
4π
Para que se anule Gx0 (x, 0) habrá que añadir a ψx0 una función armónica
Ux0 cuya contribución sobre el eje X cancele la de la solución fundamental. Por
tanto, es preciso que
1
Ux0 (x, 0) = − ln (x − x0 )2 + y02 .
4π
La manera de conseguirlo es situar una carga negativa en el punto simétrico
de x0 respecto al eje X, que es x̃0 = (x0 , −y0 ). Ası́, como los puntos del eje X
son equidistantes de x0 y de x̃0 , las contribuciones de ambos se cancelarán, al
tener signo opuesto,
1 1
Ux0 (x, y) = − ln kx − x̃0 k = − ln (x − x0 )2 + (y + y0 )2 ,
2π 4π
162 CAPÍTULO 7. ECUACIÓN DE LAPLACE
que es una función armónica, ya que el polo (x0 , −y0 ) no pertenece al semiplano
y > 0.
Por tanto, la función de Green del semiplano y > 0 es
1 1
Gx0 (x, y) = ln (x − x0 )2 + (y − y0 )2 − ln (x − x0 )2 + (y + y0 )2
4π 4π
1 kx − x0 k
= ln
2π kx − x̃0 k
La normal exterior al borde del semiplano y > 0 es ν = −uy . Por tanto,
dGx0 (x, 0) dGx0 (x, 0) 1 y0
=− = ,
dν dy π (x − x0 )2 + y 2
y la solución del problema de Dirichlet ∆u = 0, u(x, 0) = f (x) será
Z
y0 ∞ f (x)
u(x0 , y0 ) = dx.
π −∞ (x − x0 )2 + y 2
Este procedimiento de obtención de funciones de Green que se anulan sobre
una determinada curva o superficie colocando cargas negativas al otro lado del
borde del recinto se denomina método de las imágenes o de reflexión.
Ejemplo 7.7.2 Función de Green del cı́rculo r < R.
~
x0
φ x0
x
γ φ0
1 R kx − x0 k
Gx0 (x) = ψx0 (x) + Ux0 (x) = ln
2π r0 kx − x̃0 k
1 r2 + r02 − 2rr0 cos(φ − φ0 )
= ln 2 ,
4π R + r02 r2 R−2 − 2rr0 cos(φ − φ0 )
es la función de Green, ya que se anula sobre los puntos del borde del cı́rculo.
En particular,
dGx0 (x) dGx0 (x) 1 R2 − r02
= = 2 2 ,
dν
r=R dr
r=R 2πR R + r0 − 2Rr0 cos(φ − φ0 )
si colocamos una carga −R/r0 en el punto x̃0 , obtenemos como función armónica
dentro de la esfera
R
Ux0 (x) = ,
4πr0 kx − x̃0 k
164 CAPÍTULO 7. ECUACIÓN DE LAPLACE
dUx0 (x) R r̃0 cos γ − R 1 r0 cos γ − r02 /R
= = ,
dr r=R 4πr0 (R2 + r̃02 − 2Rr̃0 cos γ)3/2 4π (R2 + r02 − 2Rr0 cos γ)3/2
dGx0 (x) dGx0 (x) 1 R2 − r02
= = 2
.
dν r=R dr
r=R 4πR (R2 + r0 − 2Rr0 cos γ)3/2
X ′′ (x) Y ′′ (y)
0 = uxx + uyy = X ′′ (x)Y (y) + X(x)Y ′′ (y) ⇒ − = = λ,
X(x) Y (y)
X(0) = 0 = X(L), Y (M ) = 0.
Yn (y) = An enπy/L − e−nπy/L e2nπM/L
nπ
= −An enπM/L enπ(M−y)/L − e−nπ(M−y)/L = an sinh (M − y),
L
M
u2 f2
g1 g2
y
u3 u4
u1 f1
x L
sinh 2(π − y)
u(x, y) = sin 2x.
sinh 2π
∂ 2 u 1 ∂u 1 ∂2u
2
+ + 2 2 = 0,
∂r r ∂r r ∂φ
que es una ecuación de Euler, que se reduce, como hemos visto, a una ecuación
lineal con coeficientes constantes con el cambio de variable independiente r =
es ⇔ s = ln r,
R̈0 = 0 ⇒ R0 (s) = A0 + B0 s = A0 + B0 ln r,
168 CAPÍTULO 7. ECUACIÓN DE LAPLACE
ya que las series de Fourier se pueden integrar bajo condiciones muy generales.
El integrando es una serie geométrica, como se comprueba desarrollando el
coseno en exponenciales imaginarias,
∞ ∞ ∞
X r0 n X r0 iγ
n X r0 n
1+2 cos nγ = 1+ e + e−iγ
n=1
R n=1
R n=1
R
r0 eiγ r0 e−iγ
= 1+ +
R − r0 eiγ R − r0 e−iγ
2Rr0 cos γ − R2 − r02
2r02
= 1+ 2 2 = 2 ,
R + r0 − 2Rr0 cos γ R + r02 − 2Rr0 cos γ
que en nuestro caso no es preciso realizar, ya que es patente que todos los
coeficientes bn son nulos, lo mismo que los an , salvo a1 = 1. Por tanto, la
solución del problema es
r
u(r, φ) = cos φ.
a