Ejercicios

David Acosta
2 de noviembre de 2016

1 . (
u(x, y) = 0, x < 0, < y < ,
u(0, y) = g(y), < y < .

donde

(
0, |y| > 1
g(y) =
1, |y| < 1.

La solucin a la ecuacin de Poisson sometida a condiciones de frontera tipo Dirichlet, esta dada por:

G(x, y, w, z)
u(x, y) = G(x, y, w, z)f (w, z) dw dz g(w, z) dS(w, z),

donde:

G(x,y,w,z)
G(x, y, w, z) es la funcin de Green, f (w, z) = u(w, z), en este problema es igual a cero y
es
la derivada direccional de la funcin de Green con respecto a un vector unitario normal a la supercie , en
este caso ~ = (1, 0) como se puede apreciar en la siguiente gura:

Reemplazando la derivada direccional:

G(x, y, w, z) G(x, y,~w, z)

 
G(x, y, w, z) G(x, y, w, z)
= w,z G(x, y, w, z)

= , (1, 0) = ,
w z w
y teniendo en cuenta que g(x, y) = 0, para |y| > 1, lo cual permite acotar la integral, la expresin para la
solucin es:

1
G(x, y, w, z)
u(x, y) = 1 |w=0 dS(w, z). (1)
1 w

1
 Siendo la funcin de Green:

G(x, y, w, z) = ((w, z) (x, y)) x,y (w, z),

donde la funcin es la solucin fundamental del Laplaciano en R2 ,

1
((w, z) (x, y)) = ln(k(w x, z y)k)
2
y x,y (w, z) es una funcin auxiliar que cumple con las siguientes condiciones:

(
x,y (w, z) = 0, en ,
x,y (w, z) = ((w, z) (x, y)), en .
Considerando que el laplaciano de una funcin radialmente simtrica es cero, y que el valor de la funcin
depende de la norma de su argumento, si denimos la funcin auxiliar como radialmente simtrica, para cumplir
la segunda condicin, necesitamos un punto imagen a (x,y), cuya magnitud sea igual ak(w x, z y)k. Elegimos
el punto (-x,y), es decir:

1
x,y (w, z) = ((w, z) (x, y)) = ln(k(w + x, z y)k).
2
Con lo cual

1 1
G(x, y, w, z) = ln(k(w x, z y)k) + ln(k(w + x, z y)k)
2 2

1 1
= ln((w x)2 + (z y)2 ) + ln((w + x)2 + (z y)2 ).
4 4
Tomando la derivada con respecto a w:

G(x, y, w, z) 2(w x) 2(w + x)

= + ,
w 4((w x) + (z y) ) 4((w + x)2 + (z y)2 )
2 2

y evaluando en w = 0,

G(x, y, w, z) x x x
|w=0 = + = .
w 2(x2 + (z y)2 ) 2(x2 + (z y)2 ) (x2 + (z y)2 )
Reemplazando en (1):

1
1 x
u(x, y) = dz.
1 (x2 + (z y)2 )
zy dz (1+y) (1y)
Haciendo un cambio de variables, = x , d = x , con lmites de integracin x para z = 1 y
x
2
x
para z = 1; y multiplicando por
x2 , se obtiene:

(1y)  
1 x d 1 1y 1+y
u(x, y) = = arctan( ) arctan( ) .

(1+y)
x
1 + 2 x x

2 .

u(x, y) = 0,
x > 0, y > 0,
u(0, y) = 0, y > 0,

u(x, 0) = 1, x > 0.

Siendo la funcin de Green:

G(x, y, w, z) = ((w, z) (x, y)) x,y (w, z),

2
 donde la funcin es la solucin fundamental del Laplaciano en R2 ,

1
((w, z) (x, y)) = ln(k(w x, z y)k)
2
y x,y (w, z) es una funcin auxiliar que cumple con las siguientes condiciones:

(
x,y (w, z) = 0, en ,
x,y (w, z) = ((w, z) (x, y)), en .
Para hallar la funcin auxiliar en este problema, consideramos tres puntos exteriores a la regin, de tal forma que
la funcin auxiliar evaluada en las fronteras, 1 := (0, y) y 2 := (x, 0), sea igual a la solucin fundamental
del laplaciano, por lo cual:

x,y (w, z) = ((w, z) x) ((w, z) x) + ((w, z) x)

con x = (x, y), x = (x, y) y x = (x, y), como se ve en la gura. Dependiendo de la frontera , el trmino
correspondiente a x anula el trmino no deseado de la funcin auxiliar, por eso el signo negativo.

Reemplazando en la funcin de Green:

G(x, y, w, z) = ((w, z) (x, y)) [((w, z) (x, y)) ((w, z) (x, y)) + ((w, z) (x, y))]
1 
ln((w x)2 + (z y)2 ) ln((w x)2 + (z + y)2 ) + ln((w + x)2 + (z + y)2 )-ln((w+x)2 +(z-y)2 ) .

=
4

Considerando que la condicin de frontera es cero para 1 , solo consideramos para la integral sobre ,
la frontera 2 , por lo cual:

G(x, y, w, z)
u(x, y) = 1 dS(w, z),
2 2
evaluando la derivada direccional con


2 := (0, -1) ,

G(x, y, w, z) G(x, y, w, z) G(x, y, ~w, z) G(x, y, w, z)

= w,z G(x, y, w, z)

2=( , ) (0, -1) = .
2 w z z
Al tomar la derivada parcial de la funcin de Green, se obtiene:

G(x, y, w, z) 1
=
 z 4

2(z y) 2(z y) 2(z + y) 2(z + y)
+ ,
(w x)2 + (z y)2 (w + x)2 + (z y)2 (w + x)2 + (z + y)2 (w x)2 + (z + y)2

3
 evaluando en z = 0,

 
G(x, y, w, z) 1 2y 2y 2y 2y
|z=0 = +
z 4 (w x)2 + y 2 (w + x)2 + y 2 (w + x)2 + y 2 (w x)2 + y 2
 
1 y y
= .
(w + x)2 + y 2 (w x)2 + y 2

La solucin para el problema de Laplace con las condiciones de frontera de Dirichlet de este problema esta
dada por:

G(x, y, w, z)
u(x, y) = |z=0 dS2 (w, z),
2 z
reemplazando:

 
1 y y
u(x, y) = dw.
(w + x)2 + y 2 (w x)2 + y 2
0
w+x dw x
Haciendo un cambio de variables, 1 = y , y , con lmites de integracin y para w = 0 e para
d1 =
wx dw x
w = ; 2 = y , d2 = y , con lmites de integracin y para w = 0 e para w = ; y multiplicando por
2
y
y 2 , se obtiene:

" #

1 d1 d2
u(x, y) =
x
y
1 + 12 x
y
1 + 22
1h i
= arctan(1 ) |
x arctan(1 ) | x

  
y

y

1 x x
= arctan +arctan
y y
 
2 x
= arctan .
y

3 .
( p
u(x, y) = x2 +y 2 , (x, y) ,
u(x, y) = 0, (x, y) ,
donde es el crculo de radio 1 centrado en el origen del plano xy .

Siendo X = (x, y), la funcin de Green viene dada por:

G(X, Y ) = (Y X) X (Y ),
donde la funcin es la solucin fundamental del Laplaciano en R2 ,
1
(Y X) = ln(kY Xk)
2
y X (Y ) es una funcin auxiliar que cumple con las siguientes condiciones:

(
X (Y ) = 0, en ,
X
(Y ) = (Y X), en .
Considerando que kxk < 1, x , podemos asumir un punto x fuera de la regin, tal que kxk > 1,
deniendo

4
 X
x := 2.
kXk
Si construimos la funcin auxiliar como:

X (Y ) = ((Y x)),
podemos encontrar el valor de , de tal forma que se cumpla la condicin en la frontera, considerando que
al ser radialmente simtricas, los argumentos tanto de la fundamental como de la funcin auxiliar, deben tener
la misma magnitud. Es decir:

kY xk = kY Xk ,
elevando al cuadrado, y reemplazando x en la frontera, kY k = 1, podemos despejar el valor de :
2 2
2 kY xk = kY Xk
h i
2 2
2 Y Y 2x Y + kxk = kY Xk
h i
2 2
2 Y Y 2x Y + kxk = kY Xk

X 2

X 2
2 1 2 2 Y + = kY Xk

2
kXk kXk
" #
X 1 2
2 1 2 2 Y + 2 = kY Xk
kXk kXk
2 h 2
i
2
2 kXk 2X Y + 1 = kY Xk
kXk
2 2
2 [(X Y ) (X Y )] = kY Xk
kXk
2
2 = kXk
= kXk .
Reemplazando y la solucin fundamental en la funcin de Green, y multiplicando por 2/2 para eliminar
las races, tenemos:

2
1 
2
 1 X
G(X, Y ) = ln kY Xk + ln kXk (Y ) ,

4 4 2
kXk

ahora, utilizando coordenadas polares, como se ilustra en la gura siguiente,

si kY k = r, kXk = r0 , y es el ngulo entre el vector X y Y, es decir: = 0 . Utilizando la ley de

cosenos podemos simplicar de la siguiente forma:

2 2 2
kY Xk = kY k + kXk 2 kXk kY k cos() = r2 + r02 2rr0 cos(),

5
y

2
X 2

X
2 2
X
kXk (Y 2 ) = kXk kY k + 2 kY k cos()

kXk kXk2 kXk2
" #
2 2 1 kY k
= kXk kY k + 2 2 kXk cos()
kXk
2 2
= kXk kY k + 1 2 kXk kY k cos()
= r02 r2 + 1 2r0 rcos().

Con lo cual la funcin de Green sera:

r02 r2 + 1 2r0 rcos()

 
1
G(r0 , r, ) = ln .
4 r2 + r02 2rr0 cos()
La solucin a la ecuacin de Poisson sometida a condiciones de frontera tipo Dirichlet, esta dada por:

G(X, Y )
u(X, Y ) = G(X, Y ) f (Y ) dY g(Y ) dS(Y ),

p
reemplazando y considerando que en este caso g(Y ) = 0; f (Y ) = Y12 +Y22 = kY k = r; y que en
coordenadas polares dY = r dr d, obtenemos la solucin:

2 1
r02 r2 + 1 2r0 r cos( 0 )
 
1
u(r0 , 0 ) = ln r r dr d
4 0 0 r2 + r02 2rr0 cos( 0 )
2 1
r02 r2 + 1 2r0 r cos( 0 )
 
1
= ln r2 dr d,
4 0 0 r2 + r02 2r0 r cos( 0 )

con X = (x, y) = (r0 cos(0 ), r0 sen(0 )).

4 .
(
u(x, y) = 0, (x, y) ,
u(x, y) = 1, (x, y) ,
donde es el crculo de radio 1 centrado en el origen del plano xy .

La solucin a la ecuacin de Poisson sometida a condiciones de frontera tipo Dirichlet, esta dada por:

G(X, Y )
u(X, Y ) = G(X, Y ) f (Y ) dY g(Y ) dS(Y ),

considerando que dS(Y ) = r d; que en este casog(Y ) = 1, f (Y ) = 0, y que el vector unitario normal a la
supercie, la circunferencia de radio 1 centrada en el origen, va a encontrarse en la direccin radial, es decir:

= 1er + 0e = (1, 0),
tenemos:

2
u(r0 , ) = 1 r, (G(r0 , r, )) (1, 0) r |r=1 d,
0
del gradiente solo sobrevive la derivada parcial con respecto a r, por lo cual :

2
G(r0 , r, )
u(r0 , ) = r |r=1 d.
0 r

6
 Del ejercicio anterior podemos utilizar la funcin de Green:

1 r2 r2 + 1 2r0 rcos()
G(r0 , r, ) = ln( 02 ),
4 r + r02 2rr0 cos()
y su derivada:

2rr02 2r0 cos()

 
G(r0 , r, ) 1 2r 2r0 cos()
= ,
r 4 r02 r2 + 1 2r0 rcos() r2 + r02 2rr0 cos()
evaluando en la frontera:

2r02 2r0 cos()

 
G(r0 , r, ) 1 2 2r0 cos()
|r=1 =
r 4 r02 + 1 2r0 rcos() 1 + r02 2r0 cos()
r02 1
 
1
= .
2 r02 2r0 cos() + 1

Con lo cual obtenemos la solucin:

2
r02 1
 
1
u(r0 , 0 ) = 1 d,
2 0 r02 2r0 rcos( 0 ) + 1
con X = (x, y) = (r0 cos(0 ), r0 sen(0 )).

5 .
(
u(x, y) = 0, (x, y) ,
u(x, y) = x, (x, y) ,
donde es el crculo de radio 1 centrado en el origen del plano xy .

La solucin a la ecuacin de Poisson sometida a condiciones de frontera tipo Dirichlet, esta dada por:

G(X, Y )
u(X, Y ) = G(X, Y ) f (Y ) dY g(Y ) dS(Y ),

considerando que dS(Y ) = r d; que en este casog(Y ) = g(r, ) = r cos(), f (Y ) = 0, y que el vector
unitario normal a la supercie, la circunferencia de radio 1 centrada en el origen, va a encontrarse en la direccin
radial, es decir:

= 1er + 0e = (1, 0),
tenemos:

2
u(r0 , ) = g(r, ) r, (G(r0 , r, )) (1, 0) r |r=1 d,
0
del gradiente solo sobrevive la derivada parcial con respecto a r, por lo cual :

2
G(r0 , r, )
u(r0 , ) = g(r, ) r |r=1 d.
0 r
Del ejercicio No. 3 podemos utilizar la funcin de Green:

1 r2 r2 + 1 2r0 rcos()
G(r0 , r, ) = ln( 02 ),
4 r + r02 2rr0 cos()
y su derivada:

2rr02 2r0 cos()

 
G(r0 , r, ) 1 2r 2r0 cos()
= ,
r 4 r02 r2 + 1 2r0 rcos() r2 + r02 2rr0 cos()

7
 evaluando en la frontera:

2r02 2r0 cos()

 
G(r0 , r, ) 1 2 2r0 cos()
|r=1 =
r 4 r02 + 1 2r0 rcos() 1 + r02 2r0 cos()
r02 1
 
1
= .
2 r02 2r0 cos() + 1
Con lo cual obtenemos la solucin:

2
r02 1
 
1
u(r0 , 0 ) = 1 cos() 1 d,
2 0 r02 2r0 cos( 0 ) + 1
con X = (x, y) = (r0 cos(0 ), r0 sen(0 )).

6 .

(
u(x, y) = 0, (x, y) := {(x, y)/ 0 < x < 1, 0 < y < 1} ,
u(x, y) = x + y, (x, y) ,
Tras una inspeccin visual, es posible advertir que la nica solucin al problema es u(x, y) = x + y, que
satisface el laplaciano en la regin y la condicin de frontera. Sin embargo presento a continuacin, dos alterna-
tivas de solucin: la primera, resolviendo cuatro problemas diferentes por separacin de variables y utilizando
el principio de superposicin para obtener la solucin; y la segunda por Funciones de Green.

6.1 Separacin de Variables

El problema representado en la gura anterior, puede dividirse en cuatro problemas con condiciones de
frontera diferentes, como se aprecia en la siguiente gura:

Y la solucin se obtiene mediante:

4
P
u(x, y) = ui (x, y)
i=1
donde:

u1 (x, y) = (x)(y),
sujeto a:

8
Dividiendo a (1) entre
00 (x)(y)+(x)(y)=0 1
u1 (0, y) = (0)(y)=0 (0) = 0
u1 (1, y) = (1)(y)=0 (1) = 0 .
u1 (x, 0) = (x)(0)=0 (0) = 0
u1 (x, 1) = (x)(1) = x + 1
(x)(y), se obtiene:

00 (x) 00 (y)
+ = 0,
(x) (y)
es decir que:

00 (x) 00 (y)
= ,
(x) (y)
lo cual solo puede ser cierto, si ambos lados de la ecuacin son iguales a una constante:

00 (x) 00 (y)
= = .
(x) (y)
De lo cual tenemos dos ecuaciones diferenciales ordinarias (EDO), as:

00
(x) + (x) = 0

(0) = 0 ,

(1) = 0

00
(y) (y) = 0

(0) = 0 .

(x)(1) = x + 1

La ecuacin caracterstica para la primera ecuacin es:

r2 + = 0 r = .

Si < 0, las races de la ecuacin caracterstica son reales y distintas, por lo cual la solucin a la EDO sera:

x) x)
(x) = Ae( + Be( ,
y evaluando las condiciones de frontera, se deduce que la solucin es trivial:

(0) = A + B = 0 A = B,
y

) ) ) )
(1) = Ae( + Be( = A(e( e( ) = 0,

)
y ya que (e() e( ) ) 6= 0, se encuentra que A=B=0.
00
Si consideramos = 0, tenemos que (x) = 0, lo cual signica que la primera derivada es una constante,
0
(x) = A y (x) = Ax + B , evaluando las condiciones iniciales, resulta en una solucin trivial nuevamente:

(0) = 0 = B,

(1) = A = 0.

Ahora, para < 0, las races de la ecuacin caracterstica son imaginarias y sin parte real, r = i .por
lo cual la solucin a la EDO es:

9

(x) = Acos( x) + Bsen( x),
evaluando las condiciones de frontera:

(0) = A = 0,
y

(1) = B sen( ) = 0.
Para evitar la solucin trivial:

= n = n2 2 , n = 1, 2, 3, . . . ,
y
(x) = Bn sen(nx), n = 1, 2, 3, . . . .
Utilizando este resultado en la segunda EDO, tenemos:

(y) = Aeny + Beny ,

evaluando la primera condicin inicial:

(0) = A + B = 0 A = B,
con lo cual

(y) = A(eny eny ),

al multiplicar por 2 la constante A, podemos simplicar como:

(eny eny )
(y) = An = An senh(ny), n = 1, 2, 3, . . . .
2
Reemplazando en la solucin:

X
u1 (x, y) = (x)(y) = Cn sen(nx) senh(ny),
n=1

por lo tanto, hemos encontrado una expresin para la primera solucin, sin embargo hace falta encontrar el
coeciente. Al evaluar la segunda condicin, llegamos a una serie de Taylor en senos para x + 1, veamos:

X
u1 (x, 1) = (x)(1) = x + 1 = Cn senh(ny) sen(nx),
n=1

donde el coeciente de la serie de Fourier puede ser encontrado mediante la frmula:

1  1 1 
Cn senh(n 1) = 2 (x + 1) sen(nx) dx = 2 x sen(nx) dx + sen(nx) dx ,
0 0 0

la primera integral la podemos hacer por partes, con u = x, du = dx, dv = sen(nx) dx, y v = cos(nx)
n ,
as:

1 1
cos(nx) 1 cos(nx)
x sen(nx) dx = u v v du = x , |0 dx
0 n 0 n
1 1
= cos(n) + 2 2 sen(nx)
n n
1
= cos(n).
n

10
 Por lo tanto:

 
1 1 2 2
Cn senh(n) = 2 cos(n) + [cos(n) + cos(0)] = [1 2cos(n)] = [1 2(1)n ] ,
n n n n

de donde:

2
Cn = [1 2(1)n ] .
nsinh(n)
Reemplazando,

2 X [1 2(1)n ]
u1 (x, y) = sen(nx) senh(ny).
n=1 n sinh(n)
Ahora encontraremos la solucin para

u3 (x, y) = (x)(y),
sujeto a:



00 (x)(y)+(x)(y)=0
u3 (0, y) = (0)(y)=0 (0) = 0



u3 (1, y) = (1)(y)=0 (1) = 0 . (2)

u3 (x, 1) = (x)(1) = 0 (1) = 0





u3 (x, 0) = (x)(0)=x
Dividiendo a (2) entre (x)(y), se obtiene:

00 (x) 00 (y)
+ = 0,
(x) (y)
es decir que:

00 (x) 00 (y)
= ,
(x) (y)
lo cual solo puede ser cierto, si ambos lados de la ecuacin son iguales a una constante:

00 (x) 00 (y)
= = .
(x) (y)
De lo cual tenemos dos ecuaciones diferenciales ordinarias (EDO), as:

00
(x) + (x) = 0

(0) = 0 ,

(1) = 0

00
(y) (y) = 0

(1) = 0 .

(x)(0) = x

Por analoga con el primer sub-problema,

= n = n2 2 , n = 1, 2, 3, . . . ,

(x) = Bn sen(nx), n = 1, 2, 3, . . . ,

11
y
(y) = Aeny + Beny ,
al evaluar en la condicin de frontera:

u3 (x, 1) = 0 = (1) = Aen + Ben ,

de donde:

B = Ae2n ,
con lo cual:

(y) = A(eny eny e2n ) = A(eny en(2y) )

Reemplazando en la solucin:

X
u3 (x, y) = (x)(y) = Cn (eny en(2y) ) sen(nx).
n=1

Para obtener el coeciente de Fourier, reemplazamos en la siguiente condicin de frontera:

X
u3 (x, 0) = (x)(0) = x = Cn (1 e2n ) sen(nx),
n=1
con

1  
2n 1
Cn (1 e )=2 x sen(nx) dx = 2 cos(n) ,
0 n
as:

2(1)n
Cn = .
n(1 e2n )
Reemplazando:

(1)n
 
2 X
u3 (x, y) = (eny en(2y) ) sen(nx).
n=1 n(1 e2n )

La solucin para u2 (x, y) y u4 (x, y), se obtienen de forma anloga a u1 (x, y) y u3 (x, y), por lo cual, aplicando
el principio de superposicin, tenemos:

2 X [1 2(1)n ] (1)n
 
2 X
u(x, y) = sen(nx) senh(ny) + ( ) (eny en(2y) ) sen(nx)+
n=1 n sinh(n) n=1 n(1 e2n )

2 X [1 2(1)n ] (1)n
 
2 X
sen(ny) senh(nx) + ( ) (enx en(2x ) sen(ny).
n=1 n sinh(n) n=1 n(1 e2n )

Para vericar la solucin, la evalu en (0, y) para vericar que u(0, y) = y .

(1)n (2)(1)n
   
2 X 2n
X X
u(0, y) =( ) (1 e ) sen(ny) = sen(ny) = Bn sen(ny)
n=1 n(1 e2n ) n=1
n n=1

Lo cual es la representacin en seno de la serie de Fourier para y, recordando que:

1
2 (2)(1)n
Bn = 2 y sen(ny) dy = cos(n) = .
0 n n

12
 Variando m y n, entre 1 y 99, la funcin u(x, y) se comporta as:

6.2 Funcin de Green

La busqueda de funciones de Green mediante funciones y valores propios, para el problema de Poisson, con
condiciones de Dirichlet iguales a cero en la frontera, supone un conjunto de valores propios j , j = 1, 2, ..nj y
funciones propias j , j = 1, 2, ..., nj , que satisfacen la condicin de ortogonalidad y la siguiente relacin:

(
j = j j , en
(3)
j = 0, en ,
mediante las cuales se encuentra la funcin de Green como:

X

X nm (X) nm (Y )
G(X, Y ) = LH ,
n=1m=1 nm 0 0 nm (Z) dZ
en este caso L = H = 1. Para encontrar los valores propios y las respectivas funciones de este problema,
se utiliza el mtodo de separacin de variables de forma similar al utilizado anteriormente, pero esta vez para
resolver el problema (3). De esta forma se obtiene que:

nm (x, y) = Dnm sen(nx) sen(my).

Reemplazando en la funcin de Green, y resolviendo las integrales, se tiene:

X
X sen(nx) sen(my) sen(nu) sen(mv)
G(x, y, u, v) = 2
.
2 2
n=1m=1 4 (n + m )

La expresin para solucin es:

G(X, Y )
u(X) = G(X, Y ) f (Y ) dY g(Y ) dS(Y ),

Teniendo en cuenta que el Laplaciano es igual a cero, f (Y ) = 0, el primer trmino de la solucin, i.e. la
integral sobre la regin desaparece y tenemos la siguiente expresin para la solucin:

13

G(x, y, u, v)
u(x, y) = g(u, v) dS(u, v) = g(u, v)u,v G(x, y, u, v) 




G(x, y,~u, v) G(x, y, u, v)
  
= g(u, v) , 
.
u v

Podemos separar la integral en las cuatro fronteras de la regin, como se aprecia en la siguiente gura:

Con lo cual, al reemplazar la derivada direccional por el producto del gradiente y el vector unitario en la frontera
respectiva tenemos:

 1 1 1 1 
G G G G
u(x, y) = v |u=0 dv + (u + 1) |v=1 du + (1 + v) |u=1 dv + u |v=0 du
0 u 0 v 0 u 0 v

Evaluando las derivadas de la fncin de Green:

G X X sen(nx) sen(my) cos(nu) sen(mv)
= 2 2
n,
u n=1m=1 4 (n + m )

G X X sen(nx) sen(my) sen(nu) cos(mv)
= 2 2
m,
v n=1m=1 4 (n + m )

evaluando las derivadas en las fronteras:

X
G X sen(nx) sen(my) sen(mv)
|u=0 = 2 2
,
u n=1m=1 4n (n + m )

X
G X sen(nx) sen(my) sen(mv)
|u=1 = cos(n) 2 2
,
u n=1m=1 4n (n + m )

X
G X sen(nx) sen(my) sen(nu)
|v=1 = cos(m) 2 2
,
v n=1m=1 4m (n + m )

X
G X sen(nx) sen(my) sen(nu)
|v=0 = 2 2
.
v n=1m=1 4m (n + m )

Reemplazando en la solucin, y factorizando los terminos comunes:

X    1
X sen(nx) sen(my)
u(x, y) = 2 2
n v sen(mv) dv+
n=1m=1 4 (n + m ) 0
1 1 1 
m (u + 1) cos(m) sen(nu) du + n (1 + v) cos(n) sen(mv) dv m u sen(nu) du .
0 0 0

14
 Resolviendo las integrales, llegamos a:

X  
X sen(nx) sen(my)
u(x, y) = 2 2

n=1m=1 4 (n + m )
     
cos(m) 1 2cos(n) 1 2cos(m) cos(n)
n + m cos(m) + n cos(n) +m ,
m n m n
o

X  
X sen(nx) sen(my)
u(x, y) = 2 2

n=1m=1 4 (n + m )

(1)m 1 2(1)n 1 2(1)m (1)n

     
m n
n + m (1) + n (1) +m .
m n m n

La grca de esta ecuacin con n y m variando entre 1 y 50 es:

La serie encontrada puede verse como la serie de Fourier doble en senos, de una funcin h(x, y), para
comprobar si h(x, y) = x + y , sera necesario evaluar los coecientes de la doble serie de Fourier de x+y, asi:

1 1
?
2 2 (x + y) sen(nx) sen(my) =
  0 0
 
cos(m) 12cos(n)
n m + m cos(m) n + n cos(n) 12cos(m)
m + m cos(n)
n
2
4 (n + m2 )
 
m 2 n 2



n 2 m 2 8 sin sin



2 sin 2 2 sin 2 2 2 ?
+ =
2 m n 2 m n  2 m n
cos(m) 12cos(n) 12cos(m) cos(n)
n m + m cos(m) n + n cos(n) m +m n

(n2 + m2 )

15
  n 2  m 2   m 2  n 2 
?
2 sin 2 sin + 8 sin sin =
2 2 2 2
n2 cos(m) + m2 cos(m) (1 2cos(n)) + n2 cos(n) (1 2cos(m)) + m2 cos(n)

(n2 + m2 )

 n 2   m 2
 m 2  n 2 
?
2 sin 2 sin + 8 sin sin =
2 2 2 2
n2 cos(m) + m2 cos(m) 2m2 cos(m)cos(n) + n2 cos(n) 2n2 cos(n)cos(m) + m2 cos(n)

(n2 + m2 )

 n 2 
 m 2  m 2  n 2 
?
2 sin 2 sin + 8 sin sin =
2 2 2 2
cos(m)(n2 + m2 ) 2 cos(m)cos(n)(n2 + m2 ) + cos(n)(n2 + m2 )

(n2 + m2 )

4 = [cos(m) 2 cos(m)cos(n) + cos(n)] ,

este resultado, a mi parecer, indica que la solucin encontrada tiende a (x+y), solo en los valores impares
de m y n.

16