Captulo 5.

Ecuaciones diferenciales parciales en regiones rectangulares y el plano R2

1

El espacio L2 ( ) con

una regin acotada de R2

Consideremos una regin acotada del plano xy. En la literatura de ecuaciones diferenciales parciales la frontera de se representa
como @ . En estas notas usaremos . Hay dos tipos de productos interiores entre funciones f (x; y) denidas sobre . Si
trabajamos slo con nmeros reales y las funciones slo toman valores reales podemos usar el producto interior euclideano
Z
hf j gi =
f (x; y) g (x; y) d .
Usamos d para representar un elemento diferencial de rea de la regin . En los textos de clculo se usa dxdy en lugar de d .
Si las funciones f y g toman valores complejos, como f = x + iy, usamos el producto interior hermitiano
Z
hf j gi =
f gd
lo que garantiza que hf j f i es un nmero real no negativo. Usaremos la notacin h j i para referirnos a cualquiera de estos
productos interiores. El producto interior euclideano tiene las propiedades siguientes:
(i) El producto es conmutativo
hf j gi = hg j f i .
(ii) El producto ha1 j a2 i es bilineal, es decir, es lineal en ambos argumentos a1 , a2 ,
hf j g + hi =

hf j gi +

hf j hi ,

h f + q j gi =

hf j gi +

hq j gi ,

(ii) El producto es positivo denido

hf j f i > 0 para f 6= 0,

hf j f i = 0 slo para f = 0 .

El producto interior hermitiano tiene las propidades siguientes:

(i) El no es conumtativo pero satisface
hf j gi = hg j f i .
(ii) El producto ha1 j a2 i es lineal en el segundo argumento a2 ,
hf j g + hi =

hf j gi +

hf j hi .

Para el primer argumento tenemos

h f + q j gi =

hf j gi +

hq j hi .

(ii) El producto hermitiano es positivo denido como el euclideano.

La norma de una funcin f est dada por
p
kf k = hf j f i ,

Si la norma kf k es nita, decimos que f es cuadrado integrable. El producto euclideano y el hermitiano satisfacen la desigualdad
de Schwarz
jhf j gij kf k kgk .
Las propiedades adicionales de la norma k k son
kf k

y kf k = 0 slo para f = 0 ,

k f k = j j kf k .
Usando la desigualdad de Schwarz se obtiene la importante desigualdad triangular
kf + gk

kf k + kgk .

La norma k k induce la mtrica

d (f; g) = kf

gk

la cual mide la proximidad entre un par de funciones f , g. Esta nocin de distancia permite denir la convergencia de una sucesin
1
de funciones en forma anloga a la convergencia de nmeros reales. Decimos que la sucesin ffn gn=1 converge a f si satisface
lim

kf

n!1

fn k = 0 .

Denimos L2 ( ) como el conjunto de funciones cuadrado integrables,

L2 ( ) = f f : kf k < 1 g .
El conjunto L2 ( ) es un espacio vectorial ya que la combinacin lineal
q= f+ g
de dos funciones f , g, cuadrado integrables, tambin es cuadrado integrable, kqk < 1. El espacio L2 ( ) es completo. En efecto,
1
1
si ffn gn=1 es una sucesin de funciones cuadrado integrables que converge a f , entonces f es cuadrado integrable. Si ffn gn=1
satisface
kfm fn k ! 0 para m, n ! 1
entonces existe f cuadrado integrable a la cual converge la sucesin fn .
La dencin de independencia lineal de un conjunto en L2 ( ) es anloga a la del espacio L2 (a; b). Decimos que el conunto '1 ,
'2 , ...., 'n , es linealmente independiente si el nico conjunto de nmeros cj con los cuales se satisface la ecuacin
c1 '1 + c2 '2 + :::: + cn 'n = 0

para punto (x; y) en

es el trivial c1 = c2 = ::: = cn = 0. La independencia lineal es inmediata cuando el conjunto 'j es ortogonal. Las funciones f y g
se llaman ortogonales si satisfacen
hf j gi = 0 ,
y el conjunto '1 , '2 , ...., 'n , se llama ortogonal cuando satisface
'j j 'k =

jk

'j

Si el conjunto '1 , '2 , ...., 'n , es ortogonal es fcil demostrar que es linealmente independiente.
Un conjunto innito linealmente independiente f
el lmite de una sucesin de sumas parciales

1
n gn=1

se llama base del espacio L2 ( ) cuando cada elemento f en L2 ( ) es

fN =

N
X

(N )

fj

j=1

es decir

lim kf

fN k = 0 .

N !1
(N )

En general los coecientes fj dependeran de N , pero para bases ortogonales este no es el caso. El conjunto f'n gn=1 se llama base
ortogonal del espacio L2 ( ) si es una base de dicho espacio y es un conjunto ortogonal. En este caso la sucesin de sumas parciales
fN =

N
X

fj 'j

j=1

tiene coecientes
fj =
que no dependen de N . Usaremos la expresin
f=

'j j f

1
X

'j

fj 'j

j=1

para referirnos a una serie generalizada de Fourier con funciones 'j que constituyen una base ortogonal completa. Si las funciones
base tienen la norma 'j = 1 el conjunto 'j se llama base ortonormal.

Bases ortogonales completas del espacio L2 ( )

En los captulos anteriores hemos obtenido bases ortogonales completas 'j (x) del espacio L2 (a; b) a partir de la solucin de problemas
de eigenvalores con operadores diferenciales sujetos a condiciones de frontera. El resultado importante de esta seccin es que tales
conjuntos permiten obtener bases ortogonales completas de L2 ( ). Para motivar el resultado principal consideremos primero una
regin rectangular = [0; a] [0; b].
2
2
Resultado 1. Si f'j (x)g1
'k (y)g1
j=1 y f~
k=1 son bases ortogonales de L (0; a) y L (0; b), respectivamente, entonces el producto

'jk (x; y) = 'j (x) '

~ k (y)
es una base ortogonal completa del espacio L2 ( ) con

= [0; a]

[0; b].

La ortogonalidad del conjunto 'jk con el producto interior de L2 ( ) es inmediata. Denotemos el producto interior de L2 (0; a)
y L2 (0; b) como los productos hermitianos
Z a
hp(x) j q (x)ia =
p (x) q (x) dx ,
0

h~
p(y) j q~ (y)ib

p~ (y) q~ (y) dy ,

respectivamente. Si f (x; y) y g (x; y) son el producto de funciones en x y y,

f = p (x) p~ (y) , g = q (x) q~ (y) ,
entonces el producto interior hf j gi en el caso hermitiano est dado por el producto interior de las funciones en x y y como sigue
hf j gi = hp(x) j q (x)ia h~
p(y) j q~ (y)ib
En efecto, tenemos
hf j gi =

f gd

p (x) p~ (y) q (x) q~ (y) dxdy =

p qdx

p~ q~ dy

= hp j qia h~
p j q~ib .

2
2
Si f'j (x)g1
'k (y)g1
j=1 y f~
k=1 son bases ortogonales de L (0; a) y L (0; b), satisfacen

'j (x) j 'm (x)

h~
'k (y) j '
~ n (y)ib

=
=

2
a
2
k'
k
kn
k b

jm

'j

entonces las funciones

'jk (x; y)

= 'j (x) '

~ k (y)

'mn (x; y)

= 'm (x) '

~ n (y)

satisfacen
'jk j 'mn = 'j (x) j 'm (x)

h~
'k (y) j '
~ n (y)ib =

jm kn

'j

2
a

k~
' k kb .

Como ejemplo de base ortogonal completa en una variable tenemos el conjunto

'j = sin ! j x,

!j =

j
,
a

j = 1; 2; :::;

el cual es una base ortogonal completa de L2 (0; a) que se obtiene a partir del problema de valores propios
@x2 'j =

j 'j

con

'j = 0 para x = 0, a .

El conjunto
k
, k = 1; 2; :::;
b
es una base ortogonal completa de L2 (0; b) de eigenfunciones del problema de valores propios
'
~ j = sin ! k y,

!k =

@y2 '
~j =

con

~j
j'

'
~ j = 0 para y = 0, a.

El conjunto
k
, k = 0; 1; 2; :::;
a
es una base ortogonal completa de L2 (0; a) de eigenfunciones del problema de valores propios
'j = cos ! k x,

!k =

@x2 'j =

con

j 'j

@x 'j = 0 para x = 0, a.

Entonces los conjuntos siguientes

'jk (x; y)

= 'j (x) 'k (y)

con

j, k = 1, 2, 3, :::: ;

'
~ jk (x; y)

= 'j (x) '

~ k (y)

con

j, k = 1, 2, 3, :::: ;

'jk (x; y)

= 'j (x) 'k (y)

con

j = 1, 2, 3, ::::; ; k = 0; 1, 2, :::;

son bases ortogonales completas del espacio L2 ( ). Esto signica que cualquier funcin f (x; y) en L2 ( ) tiene series generalizadas
de Fourier
f

fjk 'jk ,

fjk =

'jk j f

'jk = 'j

k'k kb ,

f~jk '
~ jk ,

f~jk =

'
~ jk j f

'
~ jk = 'j

k~
' k kb ,

fjk 'jk ,

fjk =

'jk j f

'jk = 'j

k'k kb ,

jk

X
jk

X
jk

'jk
'
~ jk
'jk

cuyas sumas parciales convergen a f .

Ejercicios
1. Calcular las funciones propias de los problemas

@x2 ui

i ui

con ui (0) = u_ i (a) = 0,

a,

@y2 vj

j vj

con v_ j (0) = vj (b) = 0,

b.

(a) Demostrar la ortogonalidad de las funciones de 'ij = ui (x)vj (y) en L2 ( ).

(b) Calcular la serie de Fourier de f = x + y con la base 'ij .
Notacin. La primera derivada de u ( ) con respecto a la variable independiente
2. Repetir el Ejercicio 1 con
@x2 ui

i ui

@y2 vj

vj

con u_ i (0) = u_ i (a) = 0,

con v_ j (0) = vj (b) = 0,

0
0

la denotamos por u.
_

x
y

a,
b,

= xy .

3. Repetir el Ejercicio 1 con

@x2 ui

i ui

con u_ i (0) = u_ i (a) = 0,

a,

@y2 vj

j vj

con vj (0) = v_ j (b) = 0,

b,

= x + sin y .

Operador adjunto y operadores simtricos en L2 ( )

Un operador A que asocia a una funcin f en L2 ( ) otra funcin Af en L2 ( ) se llama simetrico en L2 se llama lineal si satisface
A ( f + g) =

Af +

Ag .

El adjunto de A se denota por A y es el operador que satisface la relacin

hf j Agi = hA f j gi .

Ejemplo 1. Sea Q el operador denido por la multiplicacin de una funcin q (x; y)

Qf (x; y) = q (x; y) f (x; y)
donde q (x; y) es una funcion continua a trozos. Si consideramos el producto interior hermitiano hf j Agi tenemos
Z
Z
hf j Qgi =
f qg d =
(q f ) g d = hq f j gi
por lo que el adjunto de Q el el operador Q de multiplicacin por q :
Q f =q f .
Ejemplo 2. Sea T el operador integral
T f (x; y) =

G (x; x
~; y; y~) f (~
x; y~) d~
x d~
y.

Para obtener la forma del adjunto T partimos de la relacin hf j T gi y cambiamos el orden de las integrales,
Z
Z
Z
hf j T gi =
f (x; y) T g (x; y) dxdy =
f (x; y)
G (x; x
~; y; y~) g (~
x; y~) d~
x d~
y dxdy
=

G (x; x
~; y; y~) f (x; y) dxdy

g (~
x; y~) d~
x d~
y

= hT f j gi ,
donde identicamos al operador T como
T f (x; y) =

G (x; x
~; y; y~) f (x; y) dxdy = funcin de x
~; y~.

Dado que las variables de integracin son mudas podemos escribir

Z
T f (x; y) =
G (~
x; x; y~; y) f (~
x; y~) d~
x d~
y = funcin de x, y.
Por lo que un operador integral T con kernel G (x; x
~; y; y~) tiene por adjunto a un operador integral T con kernel G (~
x; x; y~; y),
donde x
~, y~, son las variables de integracin. Por ejemplo para
G (x; x
~; y; y~) = x + x
~2 + ey + i~
y
tenemos
G (x; x
~; y; y~) = x
~ + x2 + ey~

iy .

Nota 1. El adjunto de un operador no siempre esta bien denido. Como ejemplo consideremos la regin rectangular
y el operador diferencial
@
f
Dx f =
@x
Integrando por partes
fj

@
g
@x

@
g dxdy =
@x

obtenemos
fj

@
g
@x

@
g dx dy =
@x

x=a

(f g)x=0 dy +

(f g)0

dx

@f
g
@x

= [0; a] [0; b]

dy ,

@
f jg
@x

vemos que el adjunto de Dx no est bien denido a menos que impongamos a f condiciones de frontera con las cuales se cumpla la
relacin
x=a
(f g)x=0 = f (a; y) g (a; y) f (0; y) g (0; y) = 0 .
Imponiendo tales condiciones de frontera, obtenemos
fj

@
g
@x

@
@
fj
g
@x
@x

x=a

Por lo que, bajo la condicin de que se satisfaga (f g)x=0 = 0, el adjunto de Dx est dado por
Dx =

Dx .
x=a

Son varias las condiciones a la frontera que podemos imponer a f y g para que se cumpla la condicin (f g)x=0 = 0, como son las
condiciones de frontera tipo Dirichlet
f = g = 0 en x = 0, a.
Este ejemplo muestra que un operador A tiene un adjunto bien denido si A acta en un conjunto apropiado que llamaremos el
dominio del operador y que denotaremos por D (A).
Un operador A con dominio D (A) y cuyo adjunto A est bien denido, se llama simtrico si satisface
hf j Agi = hAf j gi

para f y g en D (A) .

El operador de multiplicacin Qf = qf es simtrico si q satisface

q (x; y) = q (x; y) ,
es decir, si q (x; y) slo toma valores reales. El operador integral T es simtrico si el kernel G satisface
G (~
x; x; y~; y) = G (x; x
~; y; y~) .
Por ejemplo, para G (x; x
~; y; y~) = x + i~
x tenemos G (~
x; x; y~; y) = (~
x + ix) = x
~ ix 6= x + i~
x, por lo que T no es simtrico. Si G
slo toma valores reales entonces T simtrico si el kernel G es simtrico en sus argumentos como sigue
G (x; x
~; y; y~) = G (~
x; x; y~; y) .
Este es el caso del potencial coulombiano
G=

1
kr

~
rk

con

r = xi + yj, ~
r=x
~i + y~j .

El operador
@
f
@x
con el dominio D (Dx ) = ff : f = 0 en x = 0; ag, no es simtrico, pero el operador
Dx f =

~ xf = i @ f
D
@x
s es simtrico en L2 ( ) con producto interior hermitiano h j i ya que su adjunto es el mismo operador
~x =
D

@
@x

=i

@
@x

= ( i)

@
@x

= Dx .

El problema de eigenvalores correspondiente a un operador B en L2 ( ) con dominio D (B) consiste en hallar los valores de
para los cuales la ecuacin
Bu = u
tiene una solucin no trivial u 6= 0 en el dominio D (B). Como en el caso de operadores sobre el espacio L2 (0; a), la simetra de un
operador en L2 ( ) implica que sus eigenvalores son reales y eigenfunciones con diferentes eigenvalores son ortogonales.
Resultado 2. Sea A un operador simtrico en L2 ( ) con dominio D (A). Consideremos el problema de valores propios
Au = u
Entonces
(i) Los valores propios de son reales;
(ii) Las funciones propias uj ,uk , con valores propios diferentes
La demostracin se deja como ejercicio.

con

6=

u 2 D (A) .

son ortogonales huj j uk i = 0.

Ejercicios.
1. (a) Demostrar que si R y T son operadores lineales su combinacin lineal R + T tambin lo es.
(b) Demostrar que si los adjuntos de R y T existen, entonces ( R + T ) = R + T .
(c) El producto AB de dos operadores A y B se dene como la composicin de A con B. Demostrar que el adjunto de T Q es
(T Q) = Q T donde T , Q, son los operadores de los Ejemplos 1 y 2.
2. Diga cul de los operadores siguientes son simtricos
(x2 + y 2 )f (x; y) ,
Z
2
2
=
e[(x x~) (y y~) ] f (~
x; y~)d~
xd~
y,

Qf (x; y)

T f (x; y)

Qf (x; y) = (x + iy)f (x; y)

Z
(~
x; y~)
T (x; y) =
d~
x d~
y.
kr ~
rk

3. Determinar el adjunto del operador

Dx2 f =

@2f
@x2

con dominio D Dx2 = ff : f = 0 en x = 0; ag .

4. Determinar el adjunto del operador laplaciano

r2 f =

@2f
@2f
+
@x2
@y 2

con un dominio denido por condiciones de frontera Dirichlet

D r2 = ff : f = 0 en x = 0; a, y = 0; bg .
5. Determinar el adjunto del operador laplaciano
r2 f =

@2f
@2f
+ 2
2
@x
@y

con un dominio denido por condiciones de frontera mixtas

D r2 = ff : f = 0 en x = 0; a, @y f = 0 en y = 0; bg .
6. Demostrar que el operador
Dx f = i

@
f
@x

con dominio D (Dx ) = ff : f = 0 en x = 0; ag

es simtrico en L2 ( ) con = [0; a] [0; b] y el producto h j i en su forma hermitiana.

7. Demostrar el Resultado 2 con h j i en sus formas euclideana y hermitiana.

Identidades de Green y condiciones de simetra de r2 en L2 ( )

Consideremos una regin acotada

con frontera

en el plano xy. La frontera

x = x( ) ,

es una curva con ecuaciones paramtricas

y = y( ) .

Usando el vector posicin de un punto (x; y) en ,

~
r = x( )i + y( )j ,
obtenemos el vector tangente a la curva
v
~=

d~
r
dx
dy
=
i+
j
d
d
d

y la longitud de arco
ds = kd~
rk = kvk d .
El vector normal unitario exterior a la frontera

ser denotado por

n
^ = nx i + ny j .

La derivada normal de un funcin f (r), se dene como la derivada direccional de f en la direccin de n

^ y se representa por
@f
@n

n
^ rf .

Recordemos que la derivada direccional de un funcin en la direccin de un vector unitario q

^ = qx i + qy j (k^
qk = 1) est dada por
@f
@q

q
^ rf .

Usando los teoremas integrales (teorema de Green en el plano, el teorema de la divergencia o el teorema de Stokes en R3 ) obtenemos
lo que llamaremos las frmulas de integracin por partes:
Resultado 3A. Para un regin

con frontera y un par de funciones u (r), v (r), se cumplen las relaciones siguientes
Z
Z
I
@v
@u
d +
vd
=
u
nx uv ds
@x
@x
Z
Z
I
@v
@u
u
d +
vd
=
ny uv ds
@y
@y

(1)
(2)

Una forma compacta de escribir ambas relaciones se obtiene al mutiplicar la primera por i, la segunda por j, y sumar miembro a
miembro,
Z
Z
I
u (rv) d +
(ru) v d =
uv n
^ ds .
Las frmulas de integracin por partes conducen a las identidades de Green en el plano xy.

Resultado 3B. Para un regin con frontera y un par de funciones u, v, se cumplen las relaciones siguientes
Z
Z
I
@v
u r2 v d +
ru rv d
=
u ds
(primera identidad de Green) ,
@n
Z
Z
I
@v
@u
u r2 v d
v r2 u d
=
u
v
ds
(segunda identidad de Green) .
@n
@n
Por ejemplo, si reemplazamos @x v, @y v, por las segundas derivadas @x2 v, @y2 v, en las frmulas de integracin por partes (....) y
sumamos miembro a miembro aparace el operador laplaciano
r2 =

@2
@2
+
@x2
@y 2

y la dencin de derivada normal (.....) con los cuales obtenemos la primera identidad de Green. Dado que esta identidad es vlida
para u y v arbitrarios podemos intercambiar u con v,
Z
Z
I
@u
v r2 u d +
rv ru d =
v ds
@n
y restando miembro a miembro con la primera identidad de Green (....), obtenemos la segunda identidad de Green (...).
Para analizar las propiedades del operador r2 en el espacio L2 ( ) conviene expresar las identidades de Green en trminos del
producto interior euclideano
Z
hf j gi =
f g d
(3)

o la forma hermitiana

hf j gi =
Tambin conviene introducir el producto interior
hf j gi =

f gd

f gd

(4)

f gd

correspondiente al espacio L2 ( ), el conjunto de funciones cuadrado integrables sobre la frontera . En trminos de estos productos
interiores las frmulas de integracin por partes toman la forma
@v
@x
@v
uj
@y

uj

+
+

@u
jv
@x
@u
jv
@y

= h u j nx v i

(5)

= h u j ny v i

(6)

y para las identidades de Green tenemos

@v
@n
@v
1ju
@n

u j r2 v + h ru j rv i =
u j r2 v

r2 u j v

uj

@u
v
@n

La segunda identidad de Green nos lleva a uno de los resultados principales de esta seccin el cual establece condiciones sucientes
para que el operador laplaciano r2 sea simtrico en L2 ( ).
Resultado 4. Consideremos el operador r2 actuando sobre funciones en un conjunto D
f

@g
@n

@f
g = 0 sobre
@n

L2 ( ) tal que

para cualquier par f , g 2 D,

entonces el operador r2 es simtrico en D, es decir, satisface

f j r2 g =

r2 f j g

para f , g 2 D .

La simetra de r2 al actuar en un conjunto D implica que sus eigenvalores son reales y las eigenfunciones con eigenvalores
diferentes son ortogonales pero tenemos un resultado ms fuerte.
Resultado 5. Consideremos una regin acotada del plano xy con frontera cuyo vector tangente v
~ es continuo por partes. Sea
2
2
2
D un conjunto de funciones en L ( ), en el cual r es simtrico. Denotemos por rD al operador r2 actuando sobre el conjunto
D,
r2 f para f 2 D
r2D f
El problema de eigenvalores de

r2D consiste en hallar hallar los valores de

r2D uD =

para los cuales la ecuacin

uD

tiene soluciones no triviales u 6= 0 que pertenecen al conjunto D. Usamos el subndice D para indicar que los eigenvalores y
eigenfunciones dependen del conjunto D; es decir, de las condiciones de frontera impuestas a los elementos f de D. Entonces
(i) El conjunto de valores propios es real, numerable, ordenado y no negativo,
0

<

<

lim

=1.

< :::

y no acotado por arriba,

j!1

(ii) Eigenfunciones de r2D con diferente eigenvalor son ortogonales con el producto interior de L2 ( ).
(iii) El nmero nj de funciones propias linealmente independientes con el mismo eigenvalor j , es nito (nj < 1). Si Ej denota
el espacio de eigenfunciones con el mismo eigenvalor j , tenemos dim (Ej ) = nj . Aplicando el proceso de ortogonalizacin de
Gram-Schmidt a una base de funciones propias del espacio Ej obtenemos una base ortogonal de dicho espacio por loq ue podemos
considerar que las eigenfunciones de r2D son ortogonales an si tiene el mismo eigenvalor. Denotaremos por 'k al conjunto
ortogonal de eigenfunciones de r2D ,
2
'j j 'j 0 = jj 0 'j
para j 6= j 0 .
(iv) El conjunto 'k es una base ortogonal completa de L2 ( ).
Usando la primera identidad de Green es fcil ver que los eigenvalores de
no trivial de r2 ' = ' tenemos
'j

r2 '

r2D son no negativos. En efecto, si ' es una solucin

@'
@n
h' j 'i = h r' j r' i
h r' j r' i
=
h' j 'i

h r' j r' i =

'j

=0

0.

(k)

La completez del conjunto de eigenfunciones uj de r2D signica que cualquier funcin f en L2 ( ) admite el desarrollo en
serie generalizada de Fourier
1
X
'j j f
f=
fk 'k con fk =
2 .
'j
k
Esta serie converge en la norma de L2 ( )

lim kf

fN k = 0

N !1

donde fN denota la sucesin de sumas parciales

fN =

N
X

fk 'k

Ejercicios.
1. Considere la regin rectangular
funciones D que satisfacen

= [0; a]

r2 es simtrico en L2 ( ) cuando acta sobre el conjunto de

[0; b]. Demostrar que

f (0; y) = f (x; 0) = 0,

@f (x; b)
@f (a; y)
=
=0.
@x
@y

2. Repetir el Ejercicio 1 con

@f (0; y)
@f (x; 0)
=
= 0 , f (a; y) = f (b; y) = 0 .
@x
@y
3. Repetir el Ejercicio 1 con
@f
= 0 en toda la frontera
de .
@n
4. Demostrar las frmulas de integracin por partes del Resultado 3A usando:
(a) El teorema de Green en el plano
I
Z
@M
@N
M dx + N dy =
dxdy ,
@x
@y
(b) El teorema de la divergencia en R3

(c) El teorema de Stokes en R3

Z
Z

r F (x; y) dxdydz =
F (x; y) n
^ S dS =

F n
^ S dS .

F (x; y) n
^ S ds .

5. Usar las frmulas de integracin por partes (Resultado 3A) deducir las identidades de Green (Resultado 3B).
6. Vericar que las identidades de Green (Resultado 2B) toman la forma (5), (6), con:
(a) Los productos interiores h j i, h j i , en su forma euclideana.
(b) Los productos interiores h j i, h j i , en su forma hermitiana.
7. Qu diferencias hay entre los eigenvalores y eigenfunciones de r2D y r2D ?

Ejemplos de problemas de eigenvalores de r2 en

En esta seccin la regin

es la regin rectangular

Ejemplo 1. Consideremos el operador A1 =

satisfacen las condiciones de frontera Dirichlet

= [0; a]

= [0; a]

[0; b]

[0; b].

r2 actuando sobre un conjunto D (A1 ) constitudo por funciones f (x; y) que

f = 0 en toda la frontera

De acuerdo con la segunda identidad de Green el operador A1 es simtrico en L2 ( ). El problema de eigenvalores

A1 ' = '

con ' = 0 en

es separable ya que las eigenfunciones ' son el producto de las eigenfunciones de los operadores
de frontera Dirichlet. En efecto, la solucin de los problemas de eigenvalores en una dimensin
@x2

i i

con

i (x)

= 0 en x = 0, a ,

@y2 j

j j

con

j (y)

= 0 en y = 0, b ,

@x2 y

@y2 sujetos a condiciones

es
i
, i = 1; 2; 3; : : : ,
a
j
con ! j =
, j = 1; 2; 3; : : : .
b

= ! 2i ,

= sin ! i x con ! i =

= ! 2j ,

= sin ! j y

Entonces las eigenfunciones de A1 son

'ij =

(x)

(y) .

Para calcular el eigenvalor correspondiente aplicamos A1

A1 'ij = [( @x2 ) + ( @y2 )]

i j

i j[ i

j]

= 'ij [

j ],

esto muestra que 'ij es eigenfuncin con eigenvalor no negativo

ij

= ! 2i + ! 2j .

La ortogonalidad de las eigenfunciones se sigue de la ortogonalidad de las funciones

'jk j 'mn =

'jk

jm kn

En conformidad con el Resultado 5 los eigenvalores

eigenfunciones 'jk es una base completa de L2 ( ).

ij

con

'jk

i,

= 'j

j,
2
a

k~
'k kb .

son no negativos. De acuerdo con los Resultados 1 y 5 el conjunto de

Ejemplo 2. Consideremos el operador A2 = r2 actuando sobre un conjunto D (A2 ) constituido por funciones que satisfacen las
condiciones de frontera mixtas
@f
f = 0 en x = 0, a,
= 0 en y = 0, b.
@n
Usando n
^ = j en y = 0, n
^ = j en y = b, las condiciones en y = 0, b, toman la forma
@f
@n
@f
@n

@f
= 0 en y = 0,
@y
@f
j rf =
= 0 en y = b .
@y

j rf =

Entonces el problema de eigenvalores para A2 toma la forma

A2 ' = '
con las condiciones de frontera
'
@'
@y

0 en x = 0, a,

0 en y = 0, b,

Este problema se reduce a la solucin de los problemas unidimensionales

@x2

i i

con

@y2 j

j j

con

i (x)

= 0 en x = 0, a ,

_ (y) = 0 en y = 0, b .
j

La solucin es
i

= ! 2i ,

= sin ! i x

= ! 2j ,

= cos ! j y

Los eigenvalores y eigenfunciones de A2 =

i
,
a
j
con ! j =
,
b
con ! i =

r2 son
ij

'ij

i (x)

= ! 2i + ! 2j ,
j (y)

i = 1; 2; 3; : : : ,
j = 0; 1; 2; 3; : : : .

La ortogonalidad de las eigenfunciones se sigue de la ortogonalidad de las eigenfunciones

'jk j 'mn =

jm kn

'jk

En conformidad con el Resultado 5 los eigenvalores

eigenfunciones 'jk es una base completa de L2 ( ).

ij

con

'jk

= 'j

i,
2
a

j,
2

k~
'k kb = .

son no negativos. De acuerdo con los Resultados 1 y 5 el conjunto de

Para calcular la serie generalizada Fourier de una funcin g (x; y) en L2 ( ), con las eigenfunciones de A2 proponemos
g=

1 X
1
X

gij 'ij

i=1 j=0

Multiplicando por 'kl si est usado el producto interior euclideano de 'kl ( 'kl si se usa el producto hermitiano), integrando y
usando la ortogonalidad las eigenfunciones,
*
+
X
X
X
2
2
h'kl j gi = 'kl j
gij 'ij =
gij 'kl j 'ij =
gij ki lj k'kl k = gkl k'kl k ,
ij

ij

ij

se obtiene
gkl =
Ejercicios.
1. Repetir el Ejemplo 1 con el operador A3 =

D (A4 ) =

D (A5 ) =

f 2 L2 ( ) :

@f
= 0 sobre
@n

f 2 L2 ( ) :

r2 con dominio

f 2 L2 ( ) :

Calcular la norma de las eigenfuciones de A4 .

3. Repetir el Ejemplo 1 con el operador A5 =

k'kl k

r2 con dominio

D (A3 ) =
Calcular la norma de las eigenfuciones de A3 .
2. Repetir el Ejemplo 1 con el operador A4 =

h'kl j gi

@f
= 0 en x = 0; a, f = 0 en y = 0, b
@n

r2 con dominio
@f
= 0 en x = 0; y = 0,
@n

f = 0 en x = a, y = b

Calcular la norma de las eigenfunciones de A5 .

Solucin de ecuaciones con las eigenfunciones de r2 en

= [0; a]

[0; b]

Consideremos la ecuacin
[L (t) + A] u = F (x; y; t)
donde

con

(x; y) 2

= [0; a]

[0; b] ,

es una constante arbitraria y L, A, son los operadores diferenciales

L (t)

= aN (t) + aN

A =

1 (t)

@N
+ :::: + a0 (t) ,
@tN

r2 .

Para que la ecuacin tenga una solucin impondremos a la solucin u condiciones a la frontera con las cuales A es simtrico en
L2 ( ), es decir, u debe pertenecer a un conjunto D (A) tal que
f
siendo

la frontera de

@g
@n

@f
= 0 sobre
@n

para cualquier par f , g 2 D (A) ,

. Para garantizar la unicidad de u debemos especicar las condiciones iniciales

@tk u(x; y; 0) = f (k) (x; y)

con

1.

Suponemos que la incgnita u y los datos F , f (k) , pertenecen al espacio L2 ( ).

(i) El primer paso para resolver la ecuacin (....) es la solucin del problema de valores propios
A 'ij =

'ij

ij

con

'ij en D (A) .

(ii) La funcin deseada u se busca en la forma de serie de Fourier

X
u=
uij (t) 'ij .
ij

Dado que las eigenfunciones 'ij satisfacen las condiciones de frontera sobre u, sta tamben lo hace por lo que slo queda por
calcular los coecientes uij (t).
(iii) Con los datos F , f0 , :::, fN 1 , calculamos coecientes de las series
F

Fij 'ij , Fij =

'ij j F

f (k)

(k)

fij 'ij , fij =

'ij

ij

'ij j f (k)

, para k = 0,. . . , N

'ij

ij

1.

(iv) Sustituyendo las series anteriores en la ecuacin diferencial y las condiciones iniciales,
X
X
X
Fij 'ij ,
'ij [L (t) + ij ] uij (t) =
[L (t) + A] uij (t) 'ij =
[L (t) + A] u =
ij

(k)
@t u (x; y; t)

(k)
@t uij

(t) 'ij =

ij

ij

ij

(k)
fij

'ij

en t = 0,

ij

llegamos al problema de valores iniciales para cada coeciente

[L +

ij ]

uij = Fij

(k)

con

(k)

@t uij (0) = fij

para k = 0,. . . , N

cuya solucin se puede obtener en forma analtica o numrica dependiendo de los coecientes ak (t) de L.
Ejemplo 1. Hallar la solucin de la ecuacin de Poisson
r2 u = (x; y) con

u = 0 sobre

La solucin del problema del valores propios

r2 'ij =

ij 'ij

con 'ij = 0 sobre

se reporto en el Ejemplo 1 de la seccin 1.5. Para resolver la ecuacin de Poisson proponemos

u

1
X

uij 'ij ,

i;j=1
1
X

ij 'ij

ij

i;j=1

'ij j
.
k'ij k2

Sustituyendo en la ecuacion se obtiene la ecuacin algebraica

uij
despejando obtenemos la solucin deseada
u=

ij

1
X

i;j=1

La forma integral se obtiene sustituyendo la integral de

u(x; y)

1
X

i;j=1
1
X

ij

ij ,

ij
ij

'ij .

y permtando los smbolos

'ij (x; y) =

1
X

i;j=1

1
ij

y h j i,

'ij j
'ij (x; y)
k'ij k2
+

'ij (~
x; y~) 'ij (x; y)
j (~
x; y~) ,
2
ij k'ij k
i;j=1
Z aZ b X
1
'ij (x; y)'ij (~
x; y~)
=
(~
x; y~)d~
xd~
y
2
ij k'ij k
0
0 i;j=1

u(x; y)

ij

ij

donde identicamos a la funcin de Green

1
X
'ij (~
x; y~) 'ij (x; y)
2
ij k'ij k
i;j=1

G (x; y; x
~; y~) =
con la cual se obtiene
u(x; y) =

G (x; y; x
~; y~) (~
x; y~) d~
xd~
y.

Ejemplo 2. Consideremos la ecuacin de calor

@T
= r2 u + F (x; y; t)
@t
sujeta a las condiciones
T

sobre

= f (x; y)

para t

en

t=0.

con

Fij =

Usando las eigenfunciones del ejemplo anterior obtenemos

X
T =
Tij (t) 'ij

0,

ij

Fij 'ij

ij

fij 'ij

con

fij =

ij

'ij j F
'ij

'ij j f

'ij

Sustituyendo en la ecuacin y la condicin inicial se obtiene el problema

dTij
+
dt

ij Tij

= Fij

Resolviendo
Tij = e

ij t

fij +

con Tij (0) = fij .

ij (t

Fij ( ) d .

Para obtener la forma integral de la solucin T sustitumos las integrales de fij , Fij , y permutamos los smbolos de suma e integral.
Esto nos da la solucin
Z
Z tZ
T (x; y; t) =
G1 (x; y; t; x
~; y~)f (~
x; y~) d~
xd~
y+
G2 (x; y; t;~
x; y~; )F (~
x; y~; ) d~
xd~
yd
0

donde aparecen las funciones de Green

G1

G2

1
X
'ij (~
x; y~) 'ij (x; y)

i;j=1
1
X

'ij

'ij (~
x; y~) 'ij (x; y)

i;j=1

'ij

ij t

ij (t

,
)

Ejemplo 3. Consideremos la ecuacin de onda

@2u
= r2 u + F (x; y; t)
@t2
con las condiciones de frontera Dirichlet u = 0 en , y las condiciones iniciales
u = f (x; y) ,

@t u = g (x; y) en t = 0.

Las eigenfuciones de r2 son las mismas del Ejemplo 1. Sustituyendo las series
X
X
u =
uij 'ij , F =
Fij 'ij ,
ij

X
ij

ij

fij 'ij , g =

X
ij

gij 'ij ,

en la ecuacin de onda y las condiciones iniciales se obtiene el problema de valores iniciales

u
ij +

ij uij

= Fij

con uij (0) = fij , u_ ij (0) = gij .

La solucin es
uij = fij cos(

ij t)

gij

sin(

ij t)

ij

sin[

ij (t

ij

ij

Fij ( ) d

ij

donde usamos la notacin

)]

Se deja como ejercicio obtener la forma integral y las funciones de Green correspondientes,
Z
Z
u(x; y; t) =
G1 (x; y; t; x
~; y~)f (~
x; y~)d~
xd~
y+
G2 (x; y; t; x
~; y~)g(~
x; y~)d~
xd~
y
Z tZ
+
G3 (x; y; t; x
~; y~; )F (~
x; y~; ) d~
xd~
yd .
0

Ejercicios.
1. Repetir Ejemplo 1 con las condiciones de frontera puramente Neuman,
@f
= 0 sobre
@n

2. Repetir el Ejemplo 2 con las condiciones de frontera mixtas

@f
= 0 en x = 0, a,
@n

f = 0 en y = 0, b .

3. Deducir la forma integral de la solucin del Ejemplo 3 y dar las expresiones de las funciones de Green correspondientes.
4. Repetir el Ejemplo 3 con las condiciones mixtas
f = 0 en x = 0 y = 0 ,

@f
= 0 en x = a, y = b .
@n

5. Resolver la ecuacin de onda

@u
@2u
= c2 r2 u 2
+ 3u + F (x; t)
2
@t
@t
En un rectangulo = [0; 1] [0; 2] con u = 0 en , u = @t u = 0 en t = t0 . Dar la solucin en su forma integral identicando la
funcin de Green correspondiente.
6. El operador Schrdinger para una partcula en una regin = [0; a] [0; b] con paredes impenetrables est dado por
H=

p2
h
@
@
con p2 = p p , p = r, r = i
+j .
2m
i
@x
@y

Los niveles de energa a los que tiene acceso la partcula son los eigenvalores del problema
H'ij = Eij 'ij con 'ij = 0 en

(a) Calcular los niveles de energa Eij .

(b) Qu relacin hay entre los eigenvalores y eigenfunciones de H y r2 ?
(c) Usar la completez de las eigenfunciones 'ij para resolver la ecuacin de Schrdinger
h@
=H
i @t
en con condiciones de frontera Dirichlet u = 0 y la condicin inicial @t u =
el producto interior h j i en su forma hermitiana, por qu?

en t = t0 . En este caso es necesario trabajar con