Universidad Autnoma del Estado de Hidalgo

Instituto de Ciencias Bsicas e Ingeniera

Cent r o de I nvest i gaci n en Mat emt i cas


Carretera Pachuca-Tulancingo Km. 4.5
Dra. Olivia Gut
olivia@uaeh.reduaeh.mx
Tel: 71 72000 ext. 6162






Universidad Autonoma del Estado de Hidalgo
Instituto de Ciencias Basicas e Ingeniera

Area Academica de Matematicas

Sobre el Permetro y el Tono

Fundamental de Dominios en el
Plano
Tesis que para obtener el ttulo de
Licenciado en Matem aticas Aplicadas
presenta
Luis Meza Ch avez
bajo la direcci on de
Dr. Federico Menendez Conde Lara
Pachuca, Hidalgo. Octubre de 2008.
Resumen
En esta tesis estudiamos la relaci on entre el permetro y el tono fundamental de
subconjuntos del plano, planteando la pregunta: dados dos conjuntos convexos con la
misma area, el que tiene menor permetro tiene tambien menor tono fundamental?
Mostramos que si bien la respuesta a esto es armativa para grandes familias de
conjuntos, resulta falsa en general.
In this thesis we study the relation between the perimeter and the fundamental
tone of domains in the plane. We pose the following question: given two convex sets
with the same area, has the one with the least perimeter also the least fundamental
tone? We show that even though this happens to hold true for large families of
domains, it is not true in general.
iii
A mis padres: Honorio y Amalia.
A mis hermanos: Joaqun, Oscar, Adriana, Emmanuel,
Alondra, Rosalba y Moises.
Agradecimientos
A Dios por darme la oportunidad de vivir, a mi familia por apoyarme siempre.
A m tutor Dr. Federico Menendez-Conde Lara por el tiempo que me dedic o y sus
valiosos aportes.
Un agradecimiento especial a los miembros del jurado; Dr. Benjamn Alfonso
Itz a Ortiz, Dr. Rafael Villarroel Flores, Dr. Ricardo Cruz Castillo, por sus correc-
ciones para la nalizaci on de este trabajo.
v

Indice general
Resumen III
Dedicatoria IV
Agradecimientos V
Introducci on 1
1. La Desigualdad Isoperimetrica 3
1.1. Curvas recticables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. El Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. La desigualdad isoperimetrica . . . . . . . . . . . . . . . . . . . . . . 13
2. La Frecuencia Fundamental 19
2.1. El Espacio H
k
0
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2. Una forma dual del problema de los eigenvalores de Dirichlet . . . . . 24
2.3. La completez de las soluciones del problema de Dirichlet . . . . . . . 28
2.4. El tono fundamental es simple . . . . . . . . . . . . . . . . . . . . . . 31
3. Algunas Desigualdades Para el Tono Fundamental 35
3.1. La Formula de Co- area . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. La desigualdad de Faber-Krahn . . . . . . . . . . . . . . . . . . . . . 39
3.3. La simetrizaci on de Steiner . . . . . . . . . . . . . . . . . . . . . . . . 43
4. Una Nueva Pregunta Para el Tono Fundamental 51
4.1. Un ejemplo negativo en regiones no convexas . . . . . . . . . . . . . . 52
4.2. Contraejemplos en tri angulos y cuadril ateros . . . . . . . . . . . . . . 52
vii
viii
4.3. Contraejemplos en regiones de frontera suave . . . . . . . . . . . . . . 57
5. Aproximaci on de los eigenvalores del Laplaciano 59
5.1. El metodo de los cinco puntos . . . . . . . . . . . . . . . . . . . . . . 59
5.2. Programaci on del metodo de cinco puntos . . . . . . . . . . . . . . . 65
5.3. Algunos ejemplos numericos . . . . . . . . . . . . . . . . . . . . . . . 66
A. 69
69
Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Los espacios de Banach y de Hilbert . . . . . . . . . . . . . . . . . . . . . 73
Convergencia de S
N
(f) en la norma L
2
. . . . . . . . . . . . . . . . . . . . 76
B. 81
81
Ejemplos de la derivada debil . . . . . . . . . . . . . . . . . . . . . . . . . 81
La desigualdad de Poincare . . . . . . . . . . . . . . . . . . . . . . . . . . 82
C. 87
El espectro de un operador autoadjunto . . . . . . . . . . . . . . . . . . . 87
92
Introduccion
En este trabajo consideraremos el problema de los eigenvalores de la ecuacion de
Laplace con condiciones de Dirichlet en la frontera, es decir:
_
u(x) = u x ;
u(x) = 0 x ,
(1)
donde R
2
es un conjunto abierto y acotado. Este problema aparece frecuente-
mente, por ejemplo al separar la variable temporal de la ecuaci on de onda y la
ecuaci on de calor.
Est a bien establecido que el problema (1) tiene solucion solamente para un con-
junto discreto de eigenvalores
0 <
1
() <
2
()
3
() ... .
Los eigenvalores
j
corresponden a las frecuencias de vibraci on de las soluciones
periodicas de la ecuacion de onda.
En esta tesis estudiaremos a
1
() llamado la frecuencia (o el tono) fundamental
de , que en terminos de acustica corresponde al tono mas bajo que un tambor de
forma puede producir.
1
() solo depende de la forma de y no se modica bajo
traslaciones, reexiones y rotaciones.
Basado en argumentos fsicos, J. W. Rayleigh [17] conjetur o a nes del siglo XIX
que entre todos los conjuntos del plano de la misma area /, el que tiene menor tono
fundamental es el crculo. El resultado fue probado a nos m as tarde de forma indepen-
diente por Faber [8] y Krahn [13], y por tal motivo es conocido como la desigualdad
de Faber-Krahn.
La propiedad del crculo mencionada arriba, recuerda el hecho bien conocido de
que entre todos los conjuntos del plano de area dada el que tiene menor permetro
1
2
tambien es el crculo. Este resultado es conocido como la desigualdad isoperimetrica
cl asica.
En resumen: de entre todos los conjuntos de area dada / el que tiene el menor
permetro L, tambien tiene la menor frecuencia fundamental.
La relaci on entre el tono fundamental y el permetro de una regi on del plano,
es la motivaci on principal de este trabajo. En particular, planteamos la siguiente
pregunta:
Sean
1
,
2
conjuntos acotados de R
2
, de frontera suave por tramos,
de igual area, con L(
2
) L(
1
) entonces ser a cierto que

1
(
2
)
1
(
1
)?
(P1)
En general, si permitimos que alguno de los conjuntos
j
no sea convexo, es facil
convencerse que la respuesta a la pregunta (P1), es falsa en general. En la Secci on
4.1 presentamos un contraejemplo de ello. Nos preguntamos entonces:
Si
1
,
2
son conjuntos acotados y convexos de R
2
, de frontera suave
por tramos, de igual area, con L(
2
) L(
1
), ser a cierto que

1
(
2
)
1
(
1
)?
(P2)
Responder esto es el tema central de esta tesis. En regiones convexas, la respuesta
a (P2) resulta cierta para grandes clases de conjuntos (ver Captulo 3). Pero en ge-
neral la respuesta es negativa. Presentamos ejemplos de esto para algunos polgonos
convexos en la Secci on 4.2 y concluimos en la Secci on 4.3 mostrando que el resultado
tambien es falso en general para conjuntos de frontera de clase C

.
En el primer captulo presentamos la desigualdad isoperimetrica cl asica.
En el segundo captulo presentamos resultados te oricos de ecuaciones diferen-
ciales parciales para el estudio del tono fundamental.
En el tercer captulo presentamos metodos de simetrizaci on (Schwartz y Stein-
er) que resultan cruciales en el estudio del tema de esta tesis; tambien presen-
tamos la prueba de la desigualdad de Faber-Krahn y resultados an alogos a esta
para polgonos convexos.
Los resultados originales de esta tesis se encuentran en el captulo 4. En este
captulo, responderemos la pregunta (P2) en polgonos convexos de m as de tres
lados y en curvas suaves.
Por ultimo en el captulo 5 estudiaremos el metodo numerico conocido como
el operador de cinco puntos para la aproximaci on de las soluciones de (1).
CAP

ITULO 1
La Desigualdad Isoperimetrica
La relaci on entre el area de una gura geometrica y la longitud de su frontera
ha sido estudiada desde tiempos antiguos. El trabajo central de este captulo es
comprender y demostrar la bien conocida desigualdad isoperimetrica en el plano, la
cual establece que para regiones acotadas de frontera recticable
/
L
2
4
, (1.1)
donde / es el area de la gura y L es la longitud de su frontera; la igualdad ocurre
si y s olo si la region es un crculo.
La relacion (1.1) puede ser expresada por dos formas equivalentes:
De entre todos los conjuntos acotados del plano de igual area el que minimiza
el permetro es el crculo.
De entre todos los conjuntos acotados del plano de permetro jo el que maxi-
miza el area es el crculo.
En esta forma la desigualdad isoperimetrica es intuitivamente v alida, pero probar
este resultado llev o siglos de desarrollo matem atico.
En algunos textos (por ejemplo ver [15]), a la desigualdad isoperimetrica se le
conoce como el problema de Dido en honor a una princesa fenicia de la antig uedad. En
la Eneida se relata c omo en el siglo IX a. C. la princesa fenicia Dido resolvi o (al menos
intuitivamente) esta pregunta. La historia, relatada sin la elocuencia de Virgilio, es
la siguiente:
Huyendo Dido de su hermano Pigmalion llega a las tierras de Cartago (lo que
hoy conocemos como T unez), donde alcanza un acuerdo con los habitantes de esas
3
4
tierras. Al querer la princesa comprar tierra para establecerse con su pueblo, el rey
de aquellas gentes solamente le consiente comprar la parcela de tierra que pueda ser
cubierta por la piel de un toro. Dido corto la piel en nas tiras formando una larga
cuerda y la dispuso de manera que cubriese la mayor parte de terreno posible. Puesto
que la ubicacion del lugar donde se establecio Dido se encontraba en la playa, ella
formo una semicircunferencia que delimitaba con el mar con la piel del buey.
Antes de presentar un planteamiento riguroso de la desigualdad (1.1) y dar una
demostraci on, mostraremos algunos resultados basicos de calculo vectorial.
1.1. Curvas recticables
En esta Seccion restringiremos nuestro conjunto de regiones, pues se conocen
conjuntos acotados en el plano, de area nita, cuyo permetro no es nito. Un ejemplo
de esto es la curva de Koch (ver [1] ).
Denicion 1.1. Sea J = [a, b] R. A una funci on continua : J R
2
le llamamos
camino continuo en el plano. El camino se llama regular si existe

(t) y es continua
en [a, b]. El camino se llama regular a trozos si el intervalo [a, b] se puede descomponer
en un n umero nito de subintervalos, en cada uno de los cuales el camino es regular.
A la imagen de la llamaremos curva. Si (a) = (b) y la curva no se corta a ella
misma en otro punto a esta curva se denomina cerrada simple. Diremos que una
curva es regular (regular por tramos) si existe un camino que es regular (regular por
tramos) para el cual esta curva sea su imagen. En este trabajo solo consideraremos
caminos que son simples, esto es (t
1
) ,= (t
2
) para todo t
1
, t
2
[a, b), solo nos
referiremos a ellos como camino o parametrizaci on.
Como ejemplo de una curva regular podemos considerar a la elipse. Y como
ejemplo de una curva regular por tramos encontramos a cualquier poligonal cerrada
simple.
Sea : [a, b] R
2
un camino regular por tramos. Consideremos la particion
P := t
0
, t
1
, ..., t
n
del intervalo [a, b], donde t
n
= b y t
0
= a. Designemos por
(P) la poligonal que tiene como vertices los puntos (t
j
). Intuitivamente se puede
observar que la longitud de la curva descrita por , es aproximada (por abajo) por la
longitud de la poligonal (P) para una partici on sucientemente adecuada de [a, b].
Los lados de tal poligonal tienen longitud |(t
k
) (t
k1
)| (con respecto a la norma
euclidiana). Y entonces la longitud de (P) es
[(P)[ =
n

k=1
|(t
k
) (t
k1
)|.
5
Denicion 1.2. Supongamos que existe M > 0 tal que [(P)[ M para toda
partici on P de [a, b]. Si esto sucede, a tal curva se le denomina recticable y la
longitud de arco (a, b) se dene como el supremo de todos los n umeros [(P)[. Si
no existe tal M, entonces la curva se denomina no recticable.
Evidentemente cualquier poligonal es una curva recticable. Y en esta Secci on
concluiremos que toda curva regular por tramos es recticable (Teorema 1.6) en cuyo
caso la longitud de arco est a dada por
(a, b) =
_
b
a
v(t)dt,
donde v(t) es la norma del vector velocidad denido en 1.3.
Imaginarse una curva no recticable no es tan sencillo, sin embargo las hay: Por
ejemplo consideremos : [0, 1] R
2
, dada por (t) =
_
t, t cos(

2t
)
_
, si t ,= 0,
(0) = (0, 0). Sea P = 0,
1
2n
,
1
2n1
, .., 1/3, 1/2, 1. Un c alculo muestra que
|(t
k
) (t
k1
)| > 1/k,
para k = 1, 2, .., 2n. Entonces
[(P)[ >
2n

k=1
1/k,
la cual diverge cuando n , por lo tanto esta curva no es recticable.
Denicion 1.3. Sea : [a, b] R
2
un camino regular por tramos. El vector veloci-
dad v(t) de la curva con vector de posici on (t) se dene por
v(t) =

(t).
Si v(t) = |v(t)| es continua en [a, b] se cumple que
[(P)[ =
n

k=1
|(t
k
) (t
k1
)| =
n

k=1
|
_
t
k
t
k1

(t)dt|
=
n

k=1
|
_
t
k
t
k1
v(t)dt|
n

k=1
_
t
k
t
k1
|v(t)|dt =
_
b
a
v(t)dt.
Entonces, si v(t) = |v(t)| es continua en [a, b], podemos tomar M =
_
b
a
v(t)dt. Como
es claro que (a, b) M, tenemos que en ese caso la curva es recticable.
6
Observacion 1.4. Si dividimos una curva recticable en dos tramos, entonces en
particular cada tramo dene una curva recticable y la longitud total de la curva
ser a la suma de las dos longitudes de estas partes.
Denicion 1.5. Para una curva recticable denimos la funci on longitud de arco
s(t) por
s(t) =
_
(a, t) si t > a;
0 si t = a.
Si a t
1
t
2
b, entonces por la Observaci on (1.3) tenemos que
s(t
2
) s(t
1
) = (a, t
2
) (a, t
1
) = (t
1
, t
2
) 0,
de lo que podemos concluir que s es una funci on creciente en [a, b].
Teorema 1.6. Sea s la funcion longitud de arco asociada a : [a, b] R
2
que
es regular, y v(t) la velocidad en el tiempo t. Si v es continua en (a, b) entonces la
derivada s

(t) existe para cada t [a, b] y s

(t) = v(t).
Demostracion. Sea f(t) =
_
t
a
v(u)du. Por el teorema fundamental del c alculo te-
nemos f

(t) = v(t). Consideremos el cociente

|
(t + h) (t)
h
|
y supongamos que h > 0. El segmento que une a los puntos (t) y (t + h) puede
ser considerado como una poligonal que aproxima al arco de la curva comprendida
entre ellos. Entonces
|(t + h) (t)| (t, t + h) = s(t + h) s(t).
Utilizando esta desigualdad junto con el hecho de que s es creciente tenemos
|
(t + h) (t)
h
|
s(t + h) s(t)
h

1
h
_
t+h
t
v(u)du =
f(t + h) f(t)
h
.
Un argumento an alogo puede ser usado para h < 0. Entonces cuando h 0 el
cociente de la izquierda tiende a v(t) as como el de la derecha. Entonces el cociente
de en medio tambien tiende a v(t), lo que prueba el enunciado.
Observacion 1.7. Como v(t) = s

(t) utilizando el segundo Teorema fundamen-

tal del c alculo, podemos calcular la longitud de arco de una curva integrando
7
la velocidad. Entonces la longitud de arco entre [t
1
, t
2
] es
s(t
2
) s(t
1
) =
_
t
2
t
1
v(t)dt.
Si la curva es regular por tramos vale el Teorema 1.4 para cada subinterva-
lo donde (t) sea regular y por la Observaci on 1.3 tenemos que para curva
regulares por tramos su longitud viene dada por
(a, b) =
_
b
a
v(t)dt.
1.2. El Teorema de Green
Una de las principales herramientas que presentaremos para la demostraci on de
la desigualdad isoperimetrica, es el Teoremade Green (Teorema 1.14).
Denicion 1.8. Sea : [a, b] R
2
un camino regular por tramos y f un campo
vectorial denido y acotado sobre ([a, b]). La integral de lnea de f a lo largo de
se representa con el smbolo
_
fd y se dene por
_
fd =
_
b
a
f((t))

(t)dt.
Denicion 1.9. Sea R R
2
, de la forma
R = (x, y) : a x b, f(x) y g(x),
donde f y g son continuas en [a, b] con f g, entonces a esta regi on la denominaremos
del tipo I .
Lema 1.10. Sea P : S R
2
R un campo escalar con derivada continua en S.
Sea una curva cerrada simple, y sea R la union de y su interior. Supongamos
que R esta contenido en S y es del tipo I, entonces

_ _
R
_
P
y
_
dxdy =
_

(P, 0)dx,
en donde la integral de lnea sobre se toma en el sentido contrario al de las mane-
cillas del reloj.
8
x
y
a b
y=f(x)
y=g(x)
Figura 1.1: Regi on del tipo I
Demostracion. La frontera de R consta a lo mas de cuatro partes, un arco inferior

1
(gr aca de f), otro superior
2
(gr aca de g), y posiblemente dos segmentos
rectilneos verticales. Entonces por integraci on doble tenemos

_ _
R
_
P
y
_
dxdy =
_
b
a
_
_
g(x)
f(x)
_
P
y
_
dy
_
dx (1.2)
=
_
b
a
_
_
f(x)
g(x)
_
P
y
_
dy
_
dx (1.3)
=
_
b
a
P[x, f(x)]dx
_
b
a
P[x, g(x)]dx. (1.4)
Puesto que la integral de lnea sobre cada segmento vertical (si los hay ) es cero
tenemos
_

Pdx =
_

1
Pdx +
_

2
Pdx. (1.5)
Para calcular las integrales de lnea a lo largo de
1
y
2
hagamos (t) = (t, f(t))
y (t) = (t, g(t)) respectivamente, entonces teniendo en cuenta que
2
se esta reco-
rriendo en un sentido inverso respecto a la parametrizaci on
_

1
Pdx =
_
b
a
P[t, f(t)]dt.
_

2
Pdx =
_
b
a
P[t, g(t)]dt.
9
Estas dos igualdades junto con las igualdades (1.4) y (1.5) nos dan el resultado.
Denicion 1.11. Sea R R
2
una region de la forma
R = (x, y) : c y d, p(y) x q(y),
donde p y q son continuas en [c, d] con p q, entonces a esta regi on le denominaremos
del tipo II.
Un argumento similar al del Lema anterior sirve para demostrar el siguiente
enunciado.
Lema 1.12. Sea Q un campo escalar denido en S R
2
con derivada continua en
S. Asumamos todas las demas hipotesis del Lema anterior suponiendo ahora que R
es del tipo II, entonces
_ _
R
_
Q
x
_
dxdy =
_

(0, Q)dy.
Observacion 1.13. Si tuvieramos un conjunto R R
2
que pudiera descomponerse
en un n umero nito de regiones que son del tipo I y del tipo II, entonces los Lemas
1.10 y 1.12 son ciertos. Para convencernos de este hecho observemos la gura 1.2.
Aplicando los resultados a cada subregi on y sumando las integrales, debido a la
direcci on en que recorremos las curvas podemos deducir que las integrales a lo largo
de los cortes no aportan pues se anulan a pares dando como resultado la integral de
lnea a lo largo de la frontera de R.
Si es una curva simple cerrada que encierra una regi on que es a su vez del tipo
I y del tipo II (o que puede descomponerse en un n umero nito de regiones que son
a su vez del tipo I y del tipo II) los ultimos 2 Lemas se cumplen y entonces tenemos
el siguiente resultado conocido como el Teorema de Green.
Teorema 1.14. Sean P y Q campos escalares con derivada continua en un conjunto
S R
2
abierto. Sea una curva cerrada, simple y regular por tramos. Si R es la
union de y su interior y suponemos que R esta contenido en S entonces
_ _
R
_
P
y

Q
x
_
dxdy =
_

Pdx + Qdy,
donde la integral de lnea sobre se toma en el sentido contrario al de las manecillas
del reloj.
10
Figura 1.2: Regi on del tipo I y II
Con el Teorema de Green podemos enunciar una ligera version del Teorema de
cambio de variable, la cual presentaremos a continuaci on.
Sea R R
2
un rect angulo. Sea u = U(x, y), v = V (x, y) una aplicaci on uno a
uno con aplicacion inversa x = X(u, v), y = Y (u, v) y sea R

la imagen de R en el
plano (u, v) bajo la aplicacion (U, V ). Si X, Y son de clase C
2
(R

) entonces
_ _
R
dxdy =
_ _
R

[J(u, v)[dudv, (1.6)

donde
J(u, v) = det
_

_
X
u
X
v
Y
u
Y
v
_

_
se anula en un conjunto que tiene medida de Lebuesgue cero. Supongamos que
J(u, v) > 0 en todo R

.
Denamos Q(x, y) = x y P(x, y) = 0 en R. Si es la frontera de R, entonces por
el Teorema de Green (Teorema 1.14) tenemos
_

Pdx + Qdy =
_

xdy (1.7)
Por la regla de la cadena podemos reescribir el factor J(u, v) como
J(u, v) =
X
u
Y
v

X
v
Y
u
=
X
u
Y
v
+ X

2
Y
uv

X

2
Y
uv

X
v
Y
u
=

u
_
X
Y
v
_

v
_
X
Y
u
_
.
11
Si

es la frontera de R

, utilizando una vez m as el Teorema de Green podemos

deducir que
_ _
R

J(u, v)dudv =
_

_
X
Y
u
du + X
Y
dv
dv
_
. (1.8)
Supongamos que es descrita por una funcion vectorial : [a, b] R
2
dada
por (t) = (u(t), v(t)). Sea (t) = (X[u(t), v(t)], Y [u(t), v(t)]) una parametrizaci on
de

. Por la regla de la cadena

(t) =
__
X
u
u

(t) +
X
v
v

(t)
_
,
_
Y
u
u

(t) +
Y
v
v

(t)
__
.
Luego el lado derecho de la igualdad (1.7) tambien puede ser calculado por
_

xdy =
_
b
a
X[u(t), v(t)]
_
Y
u
u

(t) +
Y
v
v

(t)
_
dt.
Esta ultima igualdad junto las igualdades (1.7) y (1.8) prueban que ocurre (1.6).
Supongamos ahora que es una funci on escalonada denida sobre R. Sea R
ij
una
partici on en m n subrect angulos de proporciones x
i
y
j
, y C
ij
el valor de en
R
ij
. Aplicando la igualdad (1.6) a cada rect angulo, multiplicando ambos miembros
por C
ij
y sumando respecto de los ndices i, j obtenemos
n

i=1
m

j=1
C
ij
x
i
y
j
=
n

i=1
m

j=1
C
ij
_ _
R

i,j
[J(u, v)[dudv
=
n

i=1
m

j=1
_ _
R

i,j
[X(u, v), Y (u, v)] [J(u, v)[dudv
=
_ _
R

[X(u, v), Y (u, v)] [J(u, v)[dudv.

Entonces el resultado (1.6) vale para funciones escalonadas denidas en R, esto es
_ _
R
(x, y)dxdy =
_ _
R

(X(u, v), Y (u, v))[J(u, v)[dudv. (1.9)

Sea f integrable en un rect angulo R y elijamos funciones escalonadas , tales que
para todo punto (x, y) R se cumpla
(x, y) f(x, y) (x, y). (1.10)
Entonces para todo (u, v) R

se cumple
[X(u, v), Y (u, v)] f[X(u, v), Y (u, v)] [X(u, v), Y (u, v)].
12
Denotemos por g(u, v) = g[X(u, v), Y (u, v)] para g denida en R, u, v R

. Para
toda par de funciones que satisfacen (1.10)
_ _
R

(u, v)[J(u, v)[dudv

_ _
R

f(u, v)[J(u, v)[dudv

_ _
R

(u, v)[J(u, v)[dudv.

Puesto que f es integrable en R podemos concluir que
_ _
R
fdxdy =
_ _
R

f(u, v)[J(u, v)[dudv. (1.11)

Si f es una funcion integrable sobre una regi on simple conexa S R
2
contenida en
un rectangulo R, denamos

f(x, y) =
_
f(x, y)) si (x, y) S;
0 otro caso.
Por el resultado obtenido en la igualdad 1.11 tenemos
_
S
f =
_
R

f =
_
R

f(u, v)[J(u, v)[dudv =

_
T
f(u, v)[J(u, v)[dudv.
Aqu, T es la imagen de S bajo la transformaci on X, Y . Esta identidad es conocida
como la f ormula de cambio de variable que es valida a un si X, Y son de clase C
1
.
Existen versiones del Teorema de cambio de variable un poco m as generales.
Antes de enunciar una extension de este resultado, recordaremos algunos conceptos
del calculo en variedades.
El (determinante) jacobiano de una aplicacion diferenciable f : A R
2
(donde
A es un abierto de R
2
) se dene como
Jf(x) = det(f

(x))
para cada x A. Un difeomorsmo g de clase C
p
entre dos abiertos A y B de R
2
es una aplicaci on g : A B biyectiva y diferenciable (de clase C
p
), tal que su
inversa g
1
: B A es tambien diferenciable (de clase C
p
). Recordemos tambien
que, como consecuencia del Teorema de la funci on inversa, si A es un abierto de R
2
y g : A R
2
es una aplicaci on inyectiva y diferenciable (de clase C
p
) en A tal que
Jg(x) ,= 0 para todo x A, entonces g(A) es abierto en R
2
y g : A g(A) es un
difeomorsmo (de clase C
p
).
Teorema 1.15. (Teorema de cambio de variable) Sean A y B subconjuntos
abiertos y con volumen de R
2
, y sea g : A B un difeomorsmo C
1
. Entonces,
para toda funcion integrable f : B R ocurre
_
B
f =
_
A
(f g)[Jg[.
13
Observacion 1.16. En particular (fg) es integrable y si g(x, y) = (g
1
(x, y), g
2
(x, y))
entonces
Jg =
(g
1
, g
2
)
(x, y)
,
y la conclusi on del Teorema podra redactarse como
_
B
f =
_
A
f(g)

(g
1
, g
2
)
(x, y)

.
1.3. La desigualdad isoperimetrica
Ahora estamos en condiciones de demostrar la igualdad (1.1) al inicio planteada.
Sea una curva regular cerrada simple. Sea L la longitud de , y / el area encerrada
por . El problema a tratar es determinar para L constante cual curva maximiza
el /.
La demostracion de la desigualdad isoperimetrica incluida en esta Secci on (pre-
sentada por primera vez por Hurwitz en 1901), requiere de elementos de an alisis de
Fourier, como la expansion de una funci on en su serie de Fourier y la identidad de
Parseval en su presentaci on usual y en su forma bilineal (ver Apendice A).
Asumamos que nuestra curva , cerrada, simple es regular con una parametrizaci on
(t) ,= 0, para todo t [a, b], y sea la regi on acotada por ella. Sea Q(x, y) = x y
P(x, y) = y. Por el Teorema de Green, puesto que no puede ser un area negativa
/() =
1
2

(ydx xdx)

.
Si : [a, b] R
2
, por la Observaci on 1.5
L =
_
b
a
(x

(t)
2
+ y

(t)
2
)
1/2
dt.
Denamos h(r) =
_
r
a
|

(t)|dt. Puesto que es regular, h : [a, b] [0, L] es

C
1
(Teorema 1.6) estrictamente creciente y tiene inversa C
1
, h
1
: [0, L] [a, b].
Consideremos ahora la funcion : [0, L] R
2
dada por (t) = (h
1
(t)). Por la
regla de la cadena junto con un cambio de variables tenemos
_
L
0
|

(s)|ds =
_
b
a
|

(h
1
(t))||(h
1

(t))|dt =
_
b
a
|

(t)|dt = L.
A se le conoce como una parametrizaci on por longitud de arco. Esto es equivalente
a tener |

(s)| = 1 para todo s [0, L]. Entonces cualquier curva admite una
parametrizaci on por longitud de arco.
14
Teorema 1.17. Supongamos que es una curva regular, simple y cerrada en R
2
de
longitud L, si / denota el area delimitada por esta curva, entonces
/
L
2
4
,
con igualdad si y solo si es el crculo.
Demostracion. Consideremos el mapeo del plano en el mismo, el cual manda los
puntos (x, y) a (x, y) para > 0. La curva que tiene longitud L bajo este mapeo
queda de longitud L, el area es magnicada (o contrada) por un factor de
2
.
Entonces es suciente probar que si L = 2 entonces / con igualdad s olo si
es el crculo tomando = 2/L.
Sea : [0, 2] R
2
una parametrizaci on por longitud de arco de la curva .
Entonces
1
2
_
2
0
_
x

(s)
2
+ y

(s)
2
_
1/2
ds = 1. (1.12)
Puesto que es cerrada, las funciones x(s), y(s) son periodicas de periodo 2 y
podemos trabajar con su serie de Fourier
x(s)

a
n
e
ins
, y(s)

b
n
e
ins
.
Como x y y son de clase C
1
tenemos
x

(s)

a
n
ine
ins
, y

(s)

b
n
ine
ins
.
La identidad de Parseval aplicada a (1.12) da

n=
[n[
2
([a
2
n
[ +[b
2
n
[) = 1. (1.13)
Puesto que x(s) y y(s) toman valores reales, a
n
= a
n
y b
n
= b
n
. Aplicando la
forma bilineal de Parseval a la integral que dene a / encontramos
/ =
1
2

(ydx xdx)

n=
n(a
n
b
n
b
n
a
n
)

.
Ahora como se cumple que
[a
n
b
n
b
n
a
n
[ 2[a
n
[[b
n
[ [a
n
[
2
+[b
n
[
2
, (1.14)
15
y como [n[ [n[
2
, de la identidad (1.13) podemos concluir que
/

n=
[n[
2
([a
2
n
[ +[b
2
n
[)
= ,
lo que se quera.
Puesto que [n[ > [n[
2
cuando [n[ > 2, si tenemos A = entonces
x(s) = a
1
e
is
+ a
0
+ a
1
e
is
, y(s) = b
1
e
is
+ b
0
+ b
1
e
is
.
Como x(s), y(s) toman valores reales, entonces a
1
= a
1
y b
1
= b
1
. Por la identidad
(1.13 ) podemos deducir que 2([a
1
[
2
+[b
1
[
2
) = 1, y como tenemos igualdad en (1.14)
entonces tenemos que [a
1
[ = [b
1
[ = 1/2. Podemos escribir entonces
a
1
=
1
2
e
i
,b
1
=
1
2
e
i
.
El hecho de que 1 = 2[a
1
b
1
b
1
a
1
[ implica que [ sen()[ = 1, de hecho = k/2
donde k es un entero. De esto podemos ver que
x(s) = a
0
+ cos( + s), y(s) = b
0
sen( s),
donde el signo en y(s) depende de la paridad de k. En cualquier caso la curva es
un crculo para el cual obviamente ocurre la igualdad. Y esto termina el resultado.
Paralelo al problema de Dido existe el problema de encontrar de entre todos los
polgonos de n lados de permetro jo el que maximiza el area. La soluci on como
es de esperarse es el polgono regular, aunque no es trivial la demostracion de este
hecho. En el caso n = 3 el problema puede ser resuelto buscando el maximo de la
f ormula de Her on para hallar el area de un tri angulo:
/(T) =
_
s(s l
1
)(s l
2
)(s l
3
),
donde 0 < l
1
l
2
l
3
son los lados del triangulo T con L(T) = l
1
+l
2
+l
3
y s =
L
2
.
Puesto que existe la relaci on l
3
= Ll
2
l
1
la identidad pasada pude escribirse como
/(l
1
, l
2
) =
_
s(s l
1
)(s l
2
)(s L + l
2
+ l
1
).
En vez de buscar maximizar el area maximizaremos /
2
esto es buscaremos los puntos
crticos de
/
2
(l
1
, l
2
) = s(s l
1
)(s l
2
)(s L + l
2
+ l
1
).
Los puntos crticos de esta funci on satisfacen
16
0 = s(s l
2
)(s L + l
2
+ l
1
) + s(s l
1
)(s l
2
) (1.15)
0 = s(s l
1
)(s L + l
2
+ l
1
) + s(s l
1
)(s l
2
) (1.16)
Puesto que s(s l
2
) ,= 0, s(s l
1
) ,= 0, podemos dividir a (1.15) entre s(s l
2
) y a
(1.16) entre s(s l
1
) para obtener la ecuaciones
(s L + l
2
+ l
1
) = (s l
1
)
(s L + l
2
+ l
1
) = (s l
2
).
De la primera igualdad deducimos que L = 2l
1
+ l
2
, pero en la segunda tambien
tenemos que L = l
1
+ 2l
2
. Entonces 0 = L L = l
1
l
2
, es decir l
1
= l
2
. Y como
l
3
= L l
1
l
2
= l
1
+ 2l
2
l
1
l
2
= l
2
, entonces el tri angulo tiene que ser regular.
El caso n = 4 es en un camino completamente an alogo al caso anterior, teniendo
en cuenta que el area de un cuadrilatero que tiene lados 0 < l
1
l
2
l
3
l
4
viene
dada por la formula de Brahmagupta
/
2
= (s l
1
)(s l
2
)(s l
3
)(s l
4
) l
1
l
2
l
3
l
4
cos(),
donde s es la mitad del permetro y es el promedio de un par de angulos interiores
opuestos del cuadrilatero. El resultado nal puede ser expuesto con el siguiente
Teorema 1.18. De entre todos los polgonos convexos con n lados y de permetro
jo, el polgono regular tiene la mayor area.
Demostracion.
Sea P un polgono convexo de n lados. Supongamos que P no tiene todos sus
lados iguales. Sean l
1
= uv y l
2
vw dos lados adyacentes de P de distinta longitud.
Ajustemos a la mitad el vertice del tri angulo uvw como en la Figura 1.3. Utilzando
la f ormula de Heron podemos ver que /(T) < /(T

) = uv

w, por lo que P no tiene

m axima area.
Ahora supongamos que P tiene todos sus lados de la misma longitud pero no
tiene todos sus angulos iguales. Sean uvw y vwx dos angulos de P adyacentes y
distintos. Ajustemos ahora los vertices como en la Figura 1.4. El paralelogramo
obtenido tiene la caracterstica de que dos de sus angulos opuestos suman por lo
que el ultimo termino en la f ormula de Brahmagupta se hace cero. Utilizando la
f ormula de Brahmagupta, podemos vericar que el area del nuevo polgono es mayor
que el area de P.
La existencia del maximo se sigue de un argumento de compacidad en un espacio
metrico adecuado (ver [5]).
17
Figura 1.3: Ajustando los lados.
Figura 1.4: Ajustando los angulos.
18
CAP

ITULO 2
La Frecuencia Fundamental
Sea R
2
un conjunto abierto, acotado y conexo. Consideremos el problema
de Dirichlet para la ecuaci on de onda en , esto es:
_

2
t
2
U = c
2
U x y t > 0
U(x; t) = 0 x ,
(2.1)
donde c R y :=

2
x
2
1
+

2
x
2
2
es el operador de Laplace bidimensional usual. Este
problema modela las vibraciones de la membrana sujeta a lo largo de su frontera.
Buscamos soluciones del problema separando variables; sea
U(x; t) = u(x)k(t),
de donde sustituyendo obtenemos
k

(t)
c
2
k(t)
=
u(x)
u(x)
= ,
para alg un R. Puesto que u no es identicamente cero, por las condiciones en la
frontera tenemos que u(x) = 0 en .
Las soluciones del problema (2.1) obtenidas por este metodo son peri odicas con
respecto de t, con periodo 2. Mas en concreto son de la forma
U(x; t) = u(x)e
it
,
19
20
donde es la frecuencia de vibracion de . La funci on u satisface el problema
_
u = u en
u = 0 en .
(2.2)
Se dice que es un eigenvalor del laplaciano en , con =
2
, con condiciones
de Dirichlet. El problema (2.2) es un caso particular de la teora desarrollada en el
Apendice C.
En este captulo mostraremos que el problema (2.2) posee un n umero innito
pero numerable y no acotado de soluciones no negativas
j
a cada una de las cuales
puede asociarse una eigenfuncion
j
de forma que el conjunto de estas eigenfunciones
es una base para el espacio de Hilbert L
2
().
Desde un punto de vista fsico a 0 <
1
<
2

3
.... se les conoce como los tonos
puros que el tambor puede producir. A
1
se le llama el tono fundamental y es la
tonalidad mas baja que el tambor puede producir.
El problema (2.2) puede ser resuelto explcitamente para algunas regiones parti-
culares. Por ejemplo las soluciones del problema (2.2) para un rectangulo (0, a)(0, b)
son
u
m,n
= sen
_
m
2
a
2

_
sen
_
n
2
b
2

_
,

m,n
=
2
_
m
2
a
2
+
n
2
b
2
_
,
para n, m en los naturales. La frecuencia fundamental de esta regi on es

1,1
=
2
_
1
a
2
+
1
b
2
_
.
Otro ejemplo donde se puede conocer de forma explcita las soluciones de (2.2) es
el dominio circular de radio R > 0, cuya representaci on polar es (r, ) : 0 r <
R, 0 < 2. Para esta regi on los eigenvalores son

m,n
=
_

m,n
R
_
2
, m = 1, 2, .. n = 0, 1, 2, ..
donde
m,n
es el m-esimo cero positivo de la funci on de Bessel J
n
(para la denici on
de estas funciones ver [16]). Las eigenfunciones correspondientes son
u
m,0
(r, ) = J
0
(
m,0
r),
u
m,n
(r, ) = g(n)J
n
(
m,n
r),
donde g() puede ser la funcion seno o coseno.
21
2.1. El Espacio H
k
0
Supongamos que R
n
es un conjunto abierto y acotado. El conjunto de
funciones C
k
(), para k N, es el conjunto de funciones : R que son
diferenciables con continuidad k veces. C

() es el conjunto de funciones que est an

en C
k
() para todo k en los naturales. Denotaremos por C

c
() al conjunto de
funciones que estan en C

() que tienen soporte compacto, es decir el conjunto

x : (x) ,= 0 es acotado.
No es difcil ver que C

0
() es un conjunto denso del espacio de Hilbert L
2
()
con respecto a la norma dada por el producto interno.
Si C
1
() entonces
_

x
i
dx =
_

x
i
dx, (2.3)
para toda C

c
() (al integrar por partes).
M as generalmente, si k es un entero positivo, u C
k
() y = (
1
,
2
, ..,
n
) un
multindice de orden [[ =
1
+
2
+ .. +
n
k, y si denimos
D

:=

1
x

1
1

2
x

2
2


n
x
n
n
,
entonces aplicando [[ veces (2.3) para todo C

c
() tenemos
_

u(x)D

(x)dx = (1)
||
_

u(x)(x)dx, (2.4)
En vista de lo anterior, podemos denir un tipo de derivada que extiende el concepto
de derivada usual.
Denicion 2.1. Sean u, v L
1
() y un multindice. Si v cumple
_

uD

dx = (1)
||
_

vdx,
para todo C

c
(), decimos que u es la -sima derivada parcial debil de u, y la
denotamos por D

u = v.
En caso de que u C
k
() para alg un k entero positivo y [[ k entonces la
denici on de derivada debil coincide por (2.4) con el concepto de derivada usual.
Algunos ejemplos son propuestos en el Apendice B.
22
Denicion 2.2. El espacio de Sobolev
J
k,p
(),
consiste de todas las funciones Lebesgue medibles u : R tales que para cada
multindice con [[ k, D

u existe en el sentido debil y pertenece a L

p
().
Teorema 2.3. Para u J
k,p
() denimos su norma por
|u|
W
k,p
()
=
_
_

||k
_

[D

u[
p
dx
_
_
1/p
.
J
k,p
() dotado con esta norma es un espacio de Banach.
Demostracion. La unica condici on que no es evidente para vericar que | |
W
k,p
es una norma es la desigualdad del tri angulo, pero por la desigualdad de Minkowski
en el espacio usual L
p
() ( ver Apendice A) tenemos para u, v J
k,p
()
|u + v|
W
k,p
()
=
_
_

||k
|D

(u + v) |
p
L
p
()
_
_
1/p
=
_
_

||k
|D

u + D

v|
p
L
p
()
_
_
1/p

_
_

||k
|D

u|
p
L
p
()
+|D

v|
p
L
p
()
_
_
1/p

_
_

||k
|D

u|
p
L
p
()
_
_
1/p
+
_
_

||k
|D

v|
p
L
p
()
_
_
1/p
= |u|
W
k,p
()
+|v|
W
k,p
()
.
Solo resta comprobar que J
k,p
() es completo. Asumamos que u
m

m=1
es una suce-
si on de Cauchy en J
k,p
(). Entonces, para cada [[ k, D

u
m

m=1
es una sucesi on
de Cauchy en L
p
(). Puesto que L
p
() es completo, existen funciones u

L
p
() tal
que D

u
m
u

en L
p
() para cada [[ k. En particular u
m
u
(0,0,..,0)
:= u
en L
p
().
Aseguramos que u J
k,p
() y para cada [[ k D

u = u

. Para vericar esto,

23
sea C

c
(), entonces
_

uD

dx = lm
m
_

u
m
D

dx
= lm
m
(1)
||
_

u
m
dx
= (1)
||
_

dx.
Entonces lo que aseguramos es cierto. Por lo tanto D

u
m
D

u en L
p
() para
cada [[ k, y podemos ver que u
m
u en J
k,p
().
En caso de ser p = 2 podemos denir, de una manera natural, el producto interno
para u, v J
k,p
()
u, v) =
_
_

||k
_

uD

vdx
_
_
1/2
,
y con esto vericar que el espacio H
k
() es un espacio de Hilbert.
Es claro que C

0
() es un subespacio lineal de J
k,p
() para toda k y p.
Denicion 2.4. Denotaremos por J
k,p
0
(), la cerradura de C

c
() en J
k,p
().
Esto es, u J
k,p
0
() si y s olo si existen funciones u
m
C

c
() tales que u
m
u
con respecto a la norma | |
W
k,p
()
. Es evidente que J
k,p
0
() J
k,p
(). Se puede
interpretar intutivamente a J
k,p
0
() como el conjunto de funciones u J
k,p
0
()
tales que D

u = 0 en para todo [[ (k 1). Para una descripcion precisa y

detallada de esta interpretacion ver [7].
En particular el espacio de Sobolev H
1
0
() consiste de todas las funciones cuadra-
do integrables que se anulan en cuyo gradiente pertenece tambien a L
2
().
Una observaci on que debemos hacer es que dado que el subespacio vectorial
J
k,2
0
() es un subespacio cerrado de un espacio de Hilbert J
k,2
() entonces debe
ser a su vez un espacio de Hilbert (ver Apendice A). Puesto que C

0
() J
k,2
0
() y
J
k,2
0
() L
2
(), y como C

0
() es denso en L
2
(), se sigue que J
k,2
0
() es denso
en L
2
().
En resumidas cuentas el espacio H
k
0
tiene ciertas ventajas que utilizaremos en
la proxima Secci on. Algunas resultados b asicos en estos espacios son enunciados a
continuacion.
Denicion 2.5. Sean X y Y espacios de Banach, X Y . Decimos que X esta
compactamente incluido en Y , denotado por X Y si
24
i) |x|
Y
c|x|
X
(x X) para alguna constante C > 0. Esto es la inclusi on X Y
es continua.
ii) Todo subconjunto acotado de X es compacto en Y .
Lema 2.6. (de Rellich Kondrakhov) Los espacios J
1,p
() y J
1,p
0
() estan com-
pactamente incluidos en L
p
().
Para la demostracion de este hecho ver por ejemplo [7].
Lema 2.7. (Desigualdad de Poincare) Para todo u J
1,p
0
tenemos
| u |
L
p
()
C | u |
L
p
()
.
Para alguna constante C que depende solo de p y del area de .
Una demostraci on de este resultado puede ser vista en el Teorema B.6. La de-
sigualdad en el Lema de arriba no ocurre en general para u J
1,p
() pues para
funciones constantes el resultado no es cierto.
2.2. Una forma dual del problema de los eigenva-
lores de Dirichlet
El siguiente paso es plantear el problema de los eigenvalores de Dirichlet como un
problema de minimizacion, con el n de proporcionar una demostraci on de algunos
hechos que son relevantes en este trabajo.
Denicion 2.8. Sea f L
2
(). Entonces u H
1
0
() es una soluci on debil para el
problema de Dirichlet
_
u(x) = f(x) x ;
u(x) = 0 x ,
(2.5)
si
_

u v =
_

fv para toda v H
1
0
().
Las soluciones cl asicas son evidentemente soluciones debiles y si adem as tenemos
suciente regularidad en las soluciones debiles estas son soluciones cl asicas.
Lema 2.9. Sea f C
0
(). Si existe una solucion debil u C
2
() C
0
() para el
problema (2.5) entonces u es una solucion clasica.
25
Demostracion. Usando la primera identidad de Green, para toda v C

0
()
tenemos
_

uv =
_

v
_

(u)v =
_

(u)v
Puesto que u es una soluci on debil conseguimos probar que
_

(u)v =
_

fv.
Como v C

0
() es arbitrario entonces u = f en . Puesto que u H
1
0
()C
0
()
tambien se cumple u = 0 en .
Lema 2.10. Sea f L
2
(). Si existe una solucion debil del problema (2.5) entonces
es unica.
Demostracion. Supongamos que u
1
,u
2
H
1
0
() satisfacen: u
1
= f
1
, u
2
= f
2
,
para f
1
,f
2
L
2
(). Y ademas u
1
u
2
H
1
0
(). Entonces por el Lema 2.7 existe una
constante K tal que
|u
1
u
2
|
L
2
()
K|f
1
f
2
|
L
2
()
. (2.6)
Para ver esto notemos que para toda v H
1
0
()
_

(u
1
u
2
)v =
_

(f
1
f
2
)v,
es decir u
1
u
2
es una solucion al problema (2.5). Entonces por el Lema 2.7, tomando
v = u
1
u
2
|u
1
u
2
|
2
L
2
()
=
_

[(u
1
u
2
)[
2
=
_

(f
1
f
2
)(u
1
u
2
)
|f
1
f
2
|
L
2
()
|u
1
u
2
|
L
2
()
C
1
|f
1
f
2
|
L
2
()
|(u
1
u
2
)|
L
2
()
.
Mezclando esto nuevamente con el Lema 2.7, tenemos
1
C
2
|u
1
u
2
|
L
2
()
|u
1
u
2
|
L
2
()
C
1
|f
1
f
2
|
L
2
()
.
Tomando k = C
1
C
2
obtenemos la relacion (2.6).
Ahora trataremos el problema de existencia de las soluciones debiles.
26
Sea f L
2
(). Consideremos el funcional de Dirichlet J
f
: H
1
0
() R, denido
por
J
f
(v) =
1
2
_

[v[
2
+
_

fv. (2.7)
Si u es un punto crtico de este funcional entonces la derivada direccional de J en
direcci on de v se anula (ver [12]),
0 =
d
dt
[J
f
(u + tv)]
t=0
=
d
dt
_
1
2
_

[(u + tv)[
2
+
_

f[u + tv]
_
t=0
,
para toda v H
1
0
(). Entonces
_

uv =
_

fv, (2.8)
para toda v H
1
0
(). Para asegurar que el nmo del funcional J
f
existe basta probar
que es limitado por abajo, lo que haremos a continuacion utilizando nuevamente el
Lema 2.7,
J(v) =
1
2
_

[u[
2
+
_

f(v g) +
_

fg

1
2
|v|
2
L
2
()
[
_

f(v g)[ +
_

fg

1
2
|v|
2
L
2
()
|f|
L
2
()
|v g|
L
2
()
+
_

fg

1
2
|v|
2
L
2
()
|f|
L
2
()
|v|
L
2
()
+
_

fg |f|
L
2
()
|g|
L
2
()
. (2.9)
Recordando que la funcion real h(x) =
x
2
2
ax + b es limitada por abajo para
cualesquiera valores de a y b, podemos concluir lo deseado. Tomando el hecho de que
la funcion x [x[
2
es convexa, tambien podemos concluir que J es convexo. Esto
es
J(tu + (1 t)u) =
_

[tu (1 t)u[
2
+
_

f(tu + (1 t)u)

t[u[
2
+ (1 t)[u[
2
+ t
_

fu(1 t)
_

fu
= tJ(u) + (1 t)J(u). (2.10)
Con los resultados obtenidos en las ecuaciones (2.8), (2.9) y (2.10) podemos ahora
enunciar y demostrar el siguiente Teorema.
27
Teorema 2.11. Sea f L
2
(). Entonces existe una unica solucion debil u H
1
0
()
para el problema (2.5).
Demostracion. Consideremos el funcional J
f
denido en la relacion (2.7). Por la
relaci on (2.8) para demostrar el Teorema basta encontrar u H
1
0
() para el cual se
alcance el mnimo de J
f
, es decir, encontraremos u tal que
J
f
(u) = mn
vH
1
0
()
_
1
2
_

[u[
2
+
_

fv
_
,
pues un punto de mnimo es un punto crtico para un funcional diferenciable. Por lo
obtenido en (2.9) podemos denir
J
0
= nf
vH
1
0
()
J
f
(v).
Sea u
m
una sucesi on minimizante para J
f
, es decir J
f
(u
m
) J
0
. Luego por la
Observacion (2.10) tenemos
J
0
J
f
(u
k
+ u
l
)
1
2
(J
f
(u
k
) + J
f
(u
l
)) J
0
cuando k, l . Mientras que
1
2
_

[(u
k
u
l
)[
2
=
_

[u
k
[
2
+
_

[u
l
[
2
2
_

[(
u
k
u
l
2
)[
2
=
_

[u
k
[
2
+ 2
_

fu
k
+
_

[u
l
[
2
+2
_

fu
l
2
_

[(
u
k
u
l
2
)[
2
4
_

f(
u
k
+ u
l
2
)
= 2J
f
(u
k
) + 2J
f
(u
l
) 4J
f
(u
k
+ u
l
).
De donde concluimos que u
m
es una sucesion de Cauchy en L
2
(), y por el Lema
2.7 tenemos que u
m
es de Cauchy en L
2
() y por lo tanto u
m
es de Cauchy en
H
1
0
(). Puesto que H
1
0
() es un espacio completo, concluimos el resultado.
El siguiente paso es analizar el problema de eigenvalores del Laplaciano con condi-
ciones de Dirichlet en la frontera. Comenzamos por denir el problema debil equiva-
lente.
Denicion 2.12. Sea f L
2
(). Decimos que u H
1
0
() es una soluci on debil para
el problema de los eigenvalores de Dirichlet
_
u(x) = u x ;
u(x) = 0 x ,
(2.11)
si
_

uv =
_

uv, para toda v H

1
0
(). A se le conoce como un eigenvalor
del Laplaciano y u su correspondiente eigenfuncion.
28
2.3. La completez de las soluciones del problema
de Dirichlet
En esta Seccion nos ocuparemos de demostrar que el problema (2.11) tiene un
conjunto numerable de eigenvalores reales, y que puede elegirse una colecci on de
eigenfunciones que es una base para el espacio de Hilbert L
2
().
Teorema 2.13. Sea R
2
un conjunto abierto y acotado de frontera C

por
tramos. Si u H
1
0
() es una solucion de (2.11) entonces u C

()

C
0
().
Teorema 2.14. Sea R
2
un conjunto abierto acotado. Entonces el problema
(2.11) posee un n umero discreto innito no acotado de eigenvalores
0 <
1

2

3
....
j
...
Y existe una coleccion de eigenfunciones u
j
correspondientes que constituyen una
base ortonormal para L
2
().
Demostracion. Paso 1. Consideremos el funcional J : H
1
0
() 0 R denido
por
J(u) =
|u|
2
L
2
()
|u|
2
L
2
()
. (2.12)
J es conocido como el cociente de Rayleigh.
Lo primero que demostraremos es que si

1
:=nf
v
J(v),
entonces existe u H
1
0
() 0 tal que u =
1
u es decir
1
es un eigenvalor del
Laplaciano. Puesto que J(v) = J(v) para toda ,= 0, podemos considerar una
sucesi on u
k
H
1
0
() tal que:
i) J(u
k
)
1
,
ii) |u
k
|
L
2
()
= 1.
Como esta sucesi on es acotada en H
1
0
(), que est a inmerso de forma compacta
en L
2
() (Lema 2.6), entonces, a menos de una subsucesi on, u
k
converge a alg un
u L
2
() con |u|
L
2
()
= 1. Lo que en particular asegura que u no es identicamente
nula. Tambien tenemos que asegurarnos de que u
k
u en H
1
0
(). Pero puesto que
|(u
k
u
l
)|
2
L
2
()
+|(u
k
+ u
l
)|
2
L
2
()
= 2|u
k
|
2
L
2
()
+ 2|u
l
|
2
L
2
()
,
|u
k
u
l
|
2
L
2
()
+|u
k
+ u
l
|
2
L
2
()
= 2|u
k
|
2
L
2
()
+ 2|u
l
|
2
L
2
()
= 4,
29
entonces |u
k
+u
l
|
2
L
2
()
4 cuando k, l . Usando la primera identidad junto
con la desigualdad que obtenemos de la denici on de
1
obtenemos
|(u
k
u
l
)|
2
L
2
()
2|u
k
|
2
L
2
()
+ 2|u
l
|
2
L
2
()

1
|u
k
+ u
l
|
2
L
2
()
0,
cuando k, l . Entonces u
k
es de Cauchy en L
2
() lo que prueba que
u
k
u en H
1
0
() y por lo tanto
1
= |u|
2
L
2
()
. El Lema 2.7 implica que
1
> 0.
Sea u
1
= u. Para mostrar que u
1
es una solucion al problema (2.11), observemos que
para todo v H
1
0
(), para [t[ adecuadamente peque no (para que el denominador no
se anule) y recordando que u
1
es un mnimo para el funcional J tenemos
0 =
d
dt
J(u
1
+ tv) =
2u
1
, v)
L
2
()
2
1
u
1
, v)
L
2
()
|u
1
tv|
4
L
2
()
,
lo que prueba esta parte del Teorema.
Paso 2. Supongamos por hipotesis de inducci on que obtuvimos (
k
, u
k
), para
k = 1..j 1, que satisfacen:
i) u
i
H
1
0
(),
ii) 0 <
1

2
....
j1
iii) u
i
=
i
u
i
en y
iv) u
i
, u
j
)
L
2
()
=
ij
.
Denamos en H
1
0
() el subespacio
H
j
:= [L(u
1
, u
2
, .., u
j1
)]

.
Puesto H
j
es un subespacio cerrado de H
1
0
() tiene que ser un espacio de Hilbert.
Como antes denamos
j
:=nf
uH
j
\{0}
J(u). Como el nmo est a tomado sobre un
subespacio menor se sigue que
j1

j
. El hecho de que H
j
sea de Hilbert nos
permite repetir el mismo procedimiento con el que obtuvimos (
1
, u
1
) para obte-
ner u
j
H
1
0
() tal que |u
j
|
2
L
2
()
= 1,
j
= |u
j
|
2
L
2
()
. De una manera similar
obtenemos
_

u
j
v =
j
_

u
j
v (2.13)
para toda v H
j
. La relaci on es trivialmente verdadera para toda v H
1
0
() pues
u
j
es ortogonal a el espacio generado por u
1
, .., u
j1
.
Para ver que
j
, supongamos que
j

0
entonces obtenemos una
sucesi on u
j
H
1
0
() de eigenfunciones asociadas a los eigenvalores
j
tales que
|u
j
|
2
L
2
()
= 1 y |u
j
|
2
L
2
()
=
j

0
. Entonces usando nuevamente el Lema 2.6
30
concluimos que u
j
u en L
2
(). Pero esto es absurdo pues la sucesi on u
j
es
ortonormal en L
2
(), por lo que se cumple |u
k
u
l
|
2
L
2
()
= |u
k
|
2
L
2
()
+|u
l
|
2
L
2
()
= 2.
Paso 3. Por ultimo probaremos que L(u
1
, u
2
, .., u
j
, ..) = L
2
(). Para v H
1
0
()
sean
i
= v, u
i
), v
k
=

k
i=1

i
u
i
y w
k
= v v
k
. Entonces para toda i k tenemos
w
k
, u
i
) = v, u
i
)
i
= 0. Puesto que u
i
es una soluci on debil tenemos que para
toda i k, w
k
, u
i
)
L
2
()
=
i
w
k
, u
i
)
L
2
()
= 0, entonces
w
k
, w
k
)
L
2
()
= v, v)
L
2
()
v
k
, v
k
)
L
2
()
w
k
, w
k
)
L
2
()
= v, v)
L
2
()
v
k
, v
k
)
L
2
()
.
De la ultima igualdad concluimos que w
k
, w
k
)
L
2
()
v, v)
L
2
()
. Ahora por
la denicion de
k
, v, v)
L
2
()

k
w
k
, w
k
)
L
2
()
, luego
|w
k
|
2
L
2
()

1

k
|v|
2
L
2
()
0.
Por lo que v =

i=1

i
u
i
en L
2
(). Ahora sea v
k
=

k
i=1

i
u
i
, entonces
|v
k
|
2
L
2
()
=
k

i=1

2
i
.
Como w
k
, w
k
)
L
2
()
+v
k
, v
k
)
L
2
()
= v, v)
L
2
()
se sigue que
|v
k
|
L
2
()
|v|
L
2
()
.
Sumando esto al hecho de que
i
> 0 concluimos que la serie

i=1

2
i
converge,
de modo que
|(w
k
w
l
)|
L
2
()
= |(v
l
v
k
|
L
2
()
=
l

i=k+1

2
i
,
y por lo tanto w
k
tambien es de Cauchy en L
2
() o sea w
k
converge en H
1
0
().
Esto es w
k
0 en H
1
0
() y
|v|
L
2
()
=

i=1

2
i
.
Se sigue que u
j
es un conjunto que genera a H
1
0
(). Pero como H
1
0
() = L
2
(),
u
j
es una base para L
2
().
Una consecuencia inmediata de este Teorema es que el operador actuando en
L
2
() con dominio H
1
0
(), es no acotado (para la denici on de operador no acotado
ver Apendice C). Otra importante implicaci on que presentamos es el Principio de
Inclusion;
31
Teorema 2.15. Sean
1

2
R
2
conjuntos acotados, entonces

1
(
2
)
1
(
1
).
Demostracion. Denamos v C
1
0
(
2
) para cada v C
1
(
1
) como
v(x) =
_
v(x) x
1
;
0 x
2

1
,
Si es un conjunto convexo y acotado del plano, entonces

1
() = nf
vH
1
0
()\0
_
|u|
L
2
()
_
2
_
|u|
L
2
()
_
2
= nf
vC
1
0
()\0
_
|u|
L
2
()
_
2
_
|u|
L
2
()
_
2
,
lo cual es evidente por ser C
1
0
() denso en H
1
0
(). Esta observaci on junto con la
denici on de v terminan la prueba.
Observacion 2.16. El espacio C

0
() es denso en H
1
0
() y para C

0
() por la
segunda identidad de Green, puesto que se anula en la frontera tenemos
_

[[
2
dA =
_

dA.
Entonces

1
= nf
vC

0
()\0

v vdA
_

v
2
.
Observacion 2.17. De acuerdo al Teorema C.19 la ecuaci on de Laplace , vista
como un operador del espacio H
0
1
() en L
2
(), es un operador autoadjunto. Por el
Teorema 2.14 hemos encontrado una coleccion de eigenvalores cuya correspondiente
colecci on de eigenfunciones es una base para L
2
(). Entonces, de acuerdo al Teorema
C.20, las eigenfunciones correspondientes a distintos eigenvalores son ortogonales
entre s. Por lo que podemos concluir que los eigenvalores encontrados en el Teorema
2.14 son todos los eigenvalores existentes.
2.4. El tono fundamental es simple
Lo siguiente que mostraremos es que
1
es una eigenvalor simple, esto es, el
espacio generado por el conjunto de eigenfunciones asociadas a
1
tiene dimension
uno.
32
Sea u C
2
(), si u 0 en entonces se cumple la desigualdad de valor medio
para cualquier bola B
R
(x)
u(x)
1
R
2
_
B
R
(x)
u. (2.14)
Para probar esto denamos para r (0, R]
(r) =
1
2r
_
Br(x)
u.
Para obtener la derivada de la funcion consideremos el cambio de variable =
yx
r
,
de tal forma que
(r) =
1
2r
_
Br(x)
u(y)ds =
1
2
_
B
1
(0)
u(x + r)ds.
Entonces

(r) =
1
2
_
B
1
(0)
u(x + r) ds =
1
2r
_
Br(x)
u(y) (
y x
r
)ds
=
1
2r
_
Br(x)
u

ds.
Pues el vector
yx
r
es el vector normal unitario a B
r
(x). Entonces por el Teorema
de la divergencia y por hipotesis tenemos
_
Br(x)
u

=
_
Br(x)
u 0,
luego

(r) 0, y (r) es una funcion decreciente. Por lo tanto para todo r (0, R]
se cumple
1
2r
_
Br(x)
u
1
2R
_
B
R
(x)
u.
Podemos usar el Teorema del valor medio para integrales lm
r0
1
2r
_
Br(x)
u = u(x).
Entonces como R es arbitrario vale la desigualdad
2ru(x)
_
Br(x)
u.
33
La desigualdad (2.14) es obtenida integrando esta ultima desigualdad desde r = 0
hasta r = R. Notemos que si u satisface u 0 un argumento an alogo muestra que
u(x)
1
R
2
_
B
R
(x)
u. (2.15)
Ahora demostraremos el Principio del Maximo Fuerte.
Lema 2.18. Sea R
2
un dominio conexo. Sea u C
2
().
i) Si u 0 en y u alcanza su maximo en entonces u es constante.
ii) Si u 0 en y u alcanza su mnimo en entonces u es constante.
Demostracion. Si u 0 en entonces vale la siguiente desigualdad del valor
medio (2.14) para cualquier bola B
r
(x)
u(x)
1
R
2
_
Br
u.
Sea m = mn

u y consideremos el conjunto A = x : u(x) = m. Por hipotesis

A es no vaco. Como es conexo, para probar que A = y por lo tanto u es
constante basta probar que A es abierto. Dado x A y una bola B
R
(x) , por la
desigualdad anterior
m = u(x)
1
R
2
_
B
R
u
1
R
2
_
B
R
m = m.
si hubiera por lo menos un punto en B
R
(x) donde u tuviera un valor estrictamente
mayor que m, entonces esta desigualdad sera estricta, lo que construira una con-
tradicci on, luego A es abierto.
Esto prueba la segunda armaci on del Teorema. La primera parte es analoga
tomando en cuenta que la desigualdad (2.15) ocurre.
Este Lema nos asegura entre otras cosas que la primer eigenfuncion no puede
alcanzar un mnimo igual a cero en .
Corolario 2.19. Sea u C
2
() una soluci on al problema (2.11). Si u alcanza un
mnimo igual a cero en entonces u es constante.
Demostracion. Puesto que mn

u = 0 entonces u 0 en . Luego u =
1
u
0. Por el Lema anterior u = 0.
Ahora estamos en condiciones de demostrar que el primer eigenvalor del problema
(2.11) es simple.
34
Teorema 2.20. Sea R
2
un abierto conexo de frontera C

por tramos. Entonces

el problema (2.11) tiene una solucion u
1
positiva. Ademas de esto cualquier otra
eigenfuncion asociada a
1
es m ultiplo de u
1
.
Demostracion. Consideremos el funcional J denido en el paso 1 del Teorema
2.14. Es facil ver que si u es una eigenfuncion asociada a
1
, entonces [u[ tambien lo
es, pues J(u) = J([u[). Por el Teorema 2.13 [u[ C
2
() C
0
(). Por el corolario
anterior u no se puede anular en , pues eso implicara que [u[ alcanza su mnimo en
, luego u > 0 o u < 0. Entonces las eigenfunciones asociadas a
1
o son positivas o
son negativas en , por lo que no pueden ser ortogonales. Y por lo tanto el subespacio
asociado a
1
s olo puede ser de una dimensi on.
Las propiedades de la eigenfunciones asociadas a
1
son importantes tambien
para el desarrollo de la teora posterior.
Denicion 2.21. Sea R
2
. Sea : R, una funcion tal que para todo t R
el conjunto p : (p) > t es convexo. Entonces a le llamaremos una funcion
convexa por conjuntos de nivel.
La importancia de esta denicion radica en el siguiente resultado (ver [4]).
Teorema 2.22. Sea u una eigenfuncion asociada a
1
del problema (2.11) y un
conjunto acotado, abierto y convexo. Entonces u es una funcion convexa por conjun-
tos de nivel.
CAP

ITULO 3
Algunas Desigualdades Para el Tono Fundamental
Salvo para algunas pocas regiones particulares, la solucion del problema de los
eigenvalores de Dirichlet no puede calcularse explcitamente por el usual metodo de
separaci on de variables. Sin embargo se conocen muchas propiedades generales de
las eigenfunciones y eigenvalores, y existe una extensa teora al respecto (ver [7]).
Una de las observaciones interesantes sobre el tono fundamental que observo
Rayleigh, a partir de evidencia fsica, fue que entre todos los conjuntos de igual area
el que tiene el menor tono fundamental es el crculo. Esto es Rayleigh conjetur o que
si R
2
es un conjunto abierto y conexo del plano, entonces

1
()
1
(B(R)),
donde R > 0 es tal que el area de B(R) es igual al area de (/(B(R)) = /()).
Esta armaci on resulto positiva y fue demostrada primeramente por Faber y Krahn,
cada uno por separado. Por tal motivo, esta desigualdad es conocida como la de-
sigualdad de Faber-Krahn. Presentamos este resultado en el Teorema 3.10.
Adem as de esto, presentaremos resultados an alogos a Faber-Krahn en conjuntos
poligonales. Para los cuales introduciremos el metodo de simetrizacion de Steiner
(Secci on 3.3)

de un conjunto del plano, que es convexo y acotado.

3.1. La F ormula de Co-area
Sea f : R
2
R la funcion dada por
f(x, y) =
x
2
a
2
+
y
2
b
2
1,
35
36
donde a y b son n umeros reales positivos. Si tomamos
y

(x) = b
_
1
x
2
b
2
entonces f(x, y

(x)) = 0 y ademas todos los puntos (x, y) en que f se anula son

de esta forma. De aqu se sigue que si elegimos (s, t), tal que f(s, t) = 0 y s ,= a,
a, entonces existen intervalos abiertos S, que contiene a s, y T que contiene a t
tal que para cada x S existe un unico y T con f(x, y) = 0. Por tanto podemos
denir una funcion g : S R con la condicion g(x) T y f(x, g(x)) = 0. En caso
que el punto (s, t) este en semiplano superior, t > 0, entonces g(x) = b
_
1
y
2
b
2
, si
t < 0 entonces g(x) = b
_
1
y
2
b
2
. En ambos casos la funci on diferenciable g(x) = y
esta denida implcitamente por la ecuaci on f(x, y) = 0.
Debemos notar que si se elige s = a, a entonces es imposible encontrar a
g denida sobre un abierto que contenga a s. El Teorema de la funcion implcita
(Teorema 3.1) nos da un criterio para decidir cuando en general podemos encontrar
una tal g con las condiciones descritas.
Teorema 3.1. (De la funci on implcita) Sea f : R
2
R una funcion de clase
C
1
en un conjunto abierto que contiene a (s, t) con f(s, t) = 0. Si
f
y
(s, t) ,= 0,
entonces existe un abierto S R que contiene a s y un abierto T R que contiene
a t, tal que para cada y T existe g : T S unica que cumple f(g(y), y) = 0. La
funcion g es diferenciable.
Demostracion. Denamos F : R
2
R
2
como F(x, y) = (x, f(x, y)) entonces el
Jacobiano de F en (s, t) es det F

(s, t) =
f
y
(s, t) ,= 0. Por el Teorema de la funci on
inversa existe un conjunto abierto W R
2
que contiene a F(s, t) = (s, 0) y un
conjunto abierto que contiene a (s, t), que se puede suponer de la forma ST con S, T
abiertos, tal que F : S T W tiene una inversa diferenciable h : W S T.
Por la forma en que se deni o F es claro que h = (x, k(x, y)), donde k(x, y) es una
funci on diferenciable, puesto que h lo es. Sea : R
2
R
2
dada por (x, y) = y
entonces (F) = f, y
f(x, k(x, y)) = f(h(x, y)) = ((F))(h(x, y)) = (F(h(x, y))) = (x, y) = y.
As f(x, k(x, 0)) = 0, y podemos tomar g(x) = k(x, 0).
37
Observacion 3.2. Si en las suposiciones del Teorema cambiamos
f
y
(s, t) ,= 0 por
f
x
(s, t) ,= 0, la conclusi on del Teorema queda como: existe un abierto S R que
contiene a s y un abierto T R que contiene a t, tal que para cada y T existe
g : T S unica que cumplen f(g(y), y) = 0. La funci on g es diferenciable.
Una herramienta muy importante en la prueba de la desigualdad de Faber-Krhan
y para el procedimiento de Steiner es conocida como la Formula de Co- area.
Denicion 3.3. Sea f : R
2
R una funci on diferenciable en . El valor de f
en un punto crtico es llamado valor crtico. Elementos en la imagen de f que no
son valores crticos son llamados valores regulares de f, denotados por Reg(f).
Teorema 3.4. (Teorema de Sard) Sea f : R
2
R una funcion diferenciable
en y sea C el conjunto de valores crticos de f entonces f(C) tiene medida 0 bajo
la medida usual en R
Entonces el conjunto de puntos crticos de f puede ser de medida positiva pero
su imagen es cero. Y en particular Reg(f) es un conjunto abierto y denso de f().
Observacion 3.5. Sea f : R
2
R de clase C
1
(). Sea (t) := p :
f(p) = t. Para toda t Reg(f), por el Teorema de la funcion implcita, el conjunto
(t) es una curva diferenciable.
Teorema 3.6. (Formula de Co-area) Sea R
2
un conjunto acotado y conexo
y f C

0
(). Entonces para todo g L
1
()
_

g dA =
_

_
(t)
g
[f[
dL
t
dt, (3.1)
donde (t) = p : f(p) = t, y dL
t
es la medida inducida en (t). Mas a un, si
A(t) = Areap : f(p) > t, entonces A(t) C

(Reg(f)), donde Reg(f) es el

conjunto de los valores regulares de f, y ademas
A

(t) =
_
(t)
[f[
1
dL
t
,
para todo t Reg(f).
Demostracion. Demostraremos que para toda f C

c
() y para todo F L
1
()
38
se tiene que
_

[f[F dA =
_

_
(t)
F dL
t
dt. (3.2)
Si esta identidad ocurre y puesto que F :=
g
[f[
L
1
() para g L
1
(), habremos
concluido la prueba del enunciado.
Primero demostraremos (3.2) para el caso F = 1. Por el Teorema de Sard el
conjunto de valores crticos de f tiene medida cero, por lo que el conjunto de puntos
tales [f[ = 0 tiene medida cero. Supongamos que f(x
0
, y
0
) ,= 0 ((x
0
, y
0
) ), en
particular sin perdida de generalidad asumamos que f
y
(x
0
, y
0
) ,= 0; entonces, por el
Teorema de la funci on implcita, existe una vecindad alrededor de (x
0
, y
0
) en la cual
podemos resolver explcitamente a y para t Reg(f),
f(x, y) = t y = y(x, t).
Para cada t podemos reparametrizar la t-curva de nivel utilizando la longitud de
arco s, esto es: x = x(s), y = y(s, t). Puesto que el punto de referencia con s = 0
puede tambien depender de t, tenemos
x = x(s, t) y y = y(s, t),
cambio de variables que esta bien denido al menos localmente y que es gobernado
por
t = f(x(s, t), y(s, t)) y x
2
s
+ y
2
s
= 1. (3.3)
En el sistema (s, t), tomando derivadas parciales con respecto a s y t en las ecuaciones
(3.3) obtenemos
0 = (x
s
, y
s
) f y 1 = (x
t
, y
t
) f.
La primera identidad combinada con la segunda en (3.3) nos da f = [f[(y
s
, x
s
).
Por lo tanto la segunda identidad toma la forma
1 = [f[(x
s
y
t
y
s
x
t
) = [f[
(x(s, t), y(s, t))
(x, y)
,
entonces localmente tenemos
[f[dxdy = dsdt.
Pero por el Teorema de Sard podemos asumir que el cambio de variables es global y
por la f ormula de cambio de variables tenemos
_

[f[dA =
_

_
(t)
dL
t
dt.
39
Ahora, supongamos que F es una funci on simple en , esto es
F =
N

n=1
a
n
A
f
1
(an)
,
Donde A es la funci on caracterstica y a
n
R. Entonces
_

[f[FdA =
N

n=1
a
n
_
X
f
1
(an)
[f[dA
=
N

n=1
a
n
_

_
X
f
1
(an)
(t)
dL
t
dt
=
_

_
(t)
N

n=1
a
n
A
f
1
(an)
dL
t
dt
=
_

_
(t)
FdL
t
dt.
Entonces el Teorema es cierto para el conjunto de funciones simples. Puesto que
cualquier funci on integrable es el lmite de una sucesi on de funciones simples, por
el Teorema de la convergencia dominada (ver [14]) podemos concluir la primera
armaci on. Puesto que
A(t) =
_
{p:f(p)>t}
dA =
_

t
_
(t)
1
[f[
dL
t
dt,
entonces la segunda armacion se sigue tambien.
Observacion 3.7. La relaci on (3.2) en este Teorema ocurre m as generalmente para
el conjunto de funciones que son de clase C

( M), donde M es un conjunto

de medida cero. puede ser todo R
2
.
3.2. La desigualdad de Faber-Krahn
El conjunto m as simetrico es tambien el que minimiza el permetro y maximiza
el area. Esto es lo que dice la desigualdad isoperimetrica clasica. Por otro lado el
crculo tambien es el que tiene menor tono fundamental, es decir de todos los con-
juntos convexos de R
2
de igual area el delimitado por la circunferencia produce la
menor tonalidad. Tal vez sea este un motivo por que es com un ver que los conjuntos
musicales utilizan solo tambores en la forma usual. A este resultado se le conoce
como la desigualdad isoperimetrica y es el tema central en esta Secci on.
40
Denicion 3.8. Sea R
2
un conjunto acotado y conexo. Denotaremos por B(r)
como la bola de radio r. Dada f C

c
(), denotaremos por A
f
(t) = Areap :
f(p) > t,
f
(t) = f
1
(t) y L
f
(t) = L(
f
(t)).
Sea
1
una eigenfuncion asociada al primer eigenvalor del Laplaciano con condi-
ciones de Dirichlet en la frontera. Puesto que
1
,= 0 en podemos tomar
1
> 0.
Como un primer paso para demostrar la desigualdad de Faber-Krahn (Teorema
3.10) mostraremos que A

1
es una funci on continua.
Lema 3.9. Sea
1
una eigenfuncion positiva asociada a
1
del problema (2.11).
Entonces A

1
es una funcion continua.
Demostracion. Como A

1
es C

en Reg(
1
) (por el Teorema 3.6), para demostrar
que A

1
es continua s olo checaremos en los valores crticos de
1
. Puesto que A

1
(t)
es decreciente lo unico que tenemos que ver es que no tenga discontinuidades de salto.
Para esto basta vericar que /(

1
(t)) = 0 para todo t tal que existe p

1
(t) con

1
[
p
= 0.
Como
1
es una eigenfuncion, tenemos

1
=

2
x
1
[
p

2
x
2
[
p
=
1
()
1
(p) > 0.
Entonces para al menos un x
i
ocurre

2
x
i
[
p
< 0.
Por lo que podemos tomar una vecindad W de p tal que si q W y
1
[
q
= 0,
entonces

1
x
i
[
q
= 0 y

2

2
x
i
[
q
< 0. Por el Teorema de la funci on implcita aplicada a

1
x
i
, p y q estan contenidos en una curva C. Entonces
/((t)) = /(p (t)
1
[
p
= 0)
+ /(p (t)
1
[
p
,= 0)
= /(C) + 0 = 0.
Lo que prueba el enunciado.
Denotemos por /(r) = /(B(r)), S(r) = B(r), L(r) = L(s(r)) y T = m ax
p

1
(p).
Teorema 3.10. (Desigualdad de Faber-Krahn.) Sea R
2
un conjunto aco-
tado y conexo. Si R es tal que /(B(R)) = /(), entonces

1
()
1
(B(R)).
41
Ademas la igualdad ocurre si y solo si es un disco R.
Demostracion. Sea
1
la eigenfuncion asociada a
1
. Lo primero que haremos es
construir una funci on radial en B(R) tal que A

(t) = A

(t). Para toda t [0, T],

denamos (t) : [0, T] R por
/((t)) = A

1
(t),
con R = (0). La funci on (t) es unica pues A

1
(t) es decreciente continua.
A

1
(t) es decreciente y continua. Puesto que /(r) es creciente y continua, (t)
debe ser decreciente y continua. Mas a un, puesto que A

1
(t) es de clase C

para
t reg(
1
) y /(r) es de clase C

, (t) debe ser de clase C

. En suma, (t) tiene

inversa continua
: [0,
0
] [0, T],
la cual es decreciente y C

. Sea
: B(R) R,
la funci on dada por x (r(x)), donde r(x) es la distancia entre x y el centro de
B(R). Como A

1
(t) = /((t)), A

1
(t) = /

((t))

(t) para todo t Reg(

1
).
A diferencia de A

1
(t), /(r) es creciente, por lo que una peque na alteracion en
la formula de Co-area combinada con el hecho de que S(r) son las curvas de nivel de
la funcion distancia muestran que
/

(r) =
_
S(r)
[r[
1
dL
r
= L(S(r)) = L(r).
Y como t = , para todo t reg(
1
)
1 =

((t))

(t).
Por ultimo puesto que es constante en las curvas de nivel de r
_
B(R)

2
dA =
_

0
0

2
(r)dr
=
_
0
T

2
((t))L((t))

(t)dt
=
_
T
0
t
2
A

1
(t)dt
=
_

2
1
dA.
42
Donde la segunda igualdad ocurre por simple sustituci on y la ultima por la F ormula
de Co-area.
Denamos ahora
c(t) =
_
_

1
(t)
[
1
[dL
t
si t reg(
1
);
0 otro caso.
Entonces para todo t reg(
1
) (i.e. para casi todo t [0, T]),

(t)c(t) =
A

(t)c(t)
L((t))
=
_
_

1
[
1
[dL
t
L((t))
_
_

1
dL
t
[[

1
L((t))
_
_

1
(t)
_
[
1
[
_
[
1
[
dL
t
_
2
=
L(

1
(t))
2
L((t))
L((t)).
Donde la primera desigualdad ocurre por la desigualdad de Cauchy-Schwartz y la
ultima por la desigualdad isoperimetrica. Entonces por la formula de co- area
_

1
[
2
dA =
_
T
0
c(t)dt

_
T
0
L((t))

(t)
dt
=
_
T
0
[

((t))

(t)]
2
L((t))

(t)
dt
=
_
T
0
[

((t))]
2
L((t))

(t)dt
=
_
R
0
[

(r)L(r)dr]
=
_
B
R
[[
2
dA.
Por lo tanto la primera armacion del Lema ha sido probada. Supongamos ahora
que
1
() =
1
(B
R
), entonces para todo t Reg(
1
) se cumple que
43
l
E
E*
Figura 3.1: Simetrizacion de Steiner

(t)c(t) =
L(

1
(t))
2
L((t))
= L(

1
(t)),
es decir L(

1
(t)) = L((t)) para todo t reg(
1
). Pero como Reg(
1
) es denso en
[0, T],
L() = lm
t0
L(

1
(t))
= lm
t0
L((t))
= L(R)
= L(B
R
).
Entonces estamos en el caso de igualdad en la desigualdad isoperimetrica por lo que
es un disco de radio R.
3.3. La simetrizaci on de Steiner
Introduciremos ahora una tecnica muy simple de simetrizacion que tiene impli-
casiones notables sobre el primer eigenvalor del Laplaciano.
Sea l = ax+b : x R una lnea cualquiera donde a y b son puntos en el plano.
Sea l
t

tR
la familia de lneas perpendiculares a l tales que para cada t la lnea l
t
toca al punto at+b. Para cualquier dominio E acotado y convexo del plano denimos
su simetrizaci on de Steiner E

con respecto de l como el conjunto: convexo, simetrico

con respecto de l y tal que para toda lnea l
t
[

l
t
[ = [ l
t
[, (3.4)
44
donde [ [ denota la medida de Lebesgue en una dimension. Ahora, jemonos en
todos los intervalos (a
t
, b
t
) que son la interseccion de E con l
t
. Denotemos por (a

t
, b

t
)
la simetrizaci on de Steiner de (a
t
, b
t
) con respecto de l. Sean a

= a
t
+ (a

t
a
t
) y
b

= b
t
+ (b

t
b
t
). Para [0, 1] denimos la simetrizaci on continua de Steiner
E

de E como
E

=
_
tR
(a

, b

). (3.5)
Podemos observar que E
0
= E y E
1
= E

.
Lema 3.11. Sea R
2
acotado, convexo y de frontera recticable. Sean
1
,
2
[0, 1]
con
1

2
. Entonces
L(

2
) L(

1
),
/(

2
) = /(

1
).
Demostracion. Ver [6].
Denicion 3.12. Sea u una funci on convexa por conjuntos de nivel (ver 2.21), no
negativa y [0, 1]. Denimos la funci on simetrizada u

R por
u

(y) = supc R : y u > c

,
donde u > c := x : u(x) > c.
La funci on u

est a bien denida pues el conjunto u > c es convexo para todo

c R. Notemos que u

puede ser caracterizada por

u

> c = u > c

.
El Teorema 3.11 establece que
L(u > c) L(u

> c),
para todo c Reg(u), donde Reg(u) es tomado como en la denici on 3.3.
Denicion 3.13. Sea un dominio del plano. Deniremos para C
1
() a los
conjuntos T
0

y T
+

como
T
0

= p : (p) = 0.
T
+

= p : (p) ,= 0.
45
Teorema 3.14. Sea u C

() una funcion convexa por conjuntos de nivel, no

negativa, entonces para todo [0, 1] se tiene
i)
_

u
2
dA =
_

(u

)
2
dA.
ii)
_

[u[
2
dA
_

[u

[
2
dA.
Antes de comenzar la prueba del Teorema enunciaremos un Lema que por s solo
es una importante propiedad de la simetrizaci on de Steiner.
Lema 3.15. Sea como en las hipotesis del Teorema anterior y A

(t) como en la
denicion 3.8. Entonces para todo [0, 1]
A

(t) =
L

= t
[

[
|{

=t}
,
para t u

(T
+

) y A

(t) = 0 para t [0, )

(T
+

).
Demostracion. Ver [6].
Demostracion. (Del Teorema 3.14) La parte i) es una consecuencia inmediata
del Teorema de Fubini. Por el Teorema de la formula de Co-area (Teorema 3.6)
tenemos que
A

(t) =
_
(t)
[u[
1
dL
t
, (3.6)
para todo t Reg(f). Entonces
_
R
2
[u

[
2
dA =
_

0
_
u

=t
[u

[dL
t
dt (3.7)
=
_

0
L(u

= t)
2
(A

(t)
)dt (3.8)

_

0
L(u = t)
2
(A

(t)
)dt (3.9)
=
_

0
L(u = t)
2
(
_
(t)
[u[
1
dL
t
)
dt (3.10)

_

0
_
u=t
[u[dL
t
dt (3.11)
=
_
R
2
[u[
2
dA. (3.12)
46
Donde las igualdades (3.8) y (3.13) se siguen de la formula de Co- area. La primera
desigualdad ocurre por el Teorema 3.11, mientras que la ultima es la desigualdad
de Holder. La segunda igualdad se sigue del Lema 3.15 y la igualdad (3.11) es en
realidad la igualdad (3.6).
La importancia de este resultado para nosotros es que si es un dominio acotado
y convexo entonces existe una soluci on no negativa, convexa por conjuntos de nivel
y de clase C

(), para la cual

1
() =
_

[[
2
dA
_

2
dA
(3.13)

[
2
dA
_

)
2
dA
(3.14)

1
(

) (3.15)
Evidentemente la propiedad es mon otona para [0, 1], es decir
1
(

0
)
1
(

1
)
si
1

0
. Formalmente conseguimos el siguiente resultado.
Teorema 3.16. Sea un dominio acotado y convexo de frontera suave por tramos
entonces

1
(

0
)
1
(

1
),
si
1

0
son elementos de [0, 1].
Observaci on 3.17. No est a de mas mencionar que dentro de la familia de los conjun-
tos

la respuesta a la pregunta central (P2) de este trabajo de tesis es armativa,

es decir en esta familia de regiones el que tiene el menor permetro tambien tiene el
menor tono fundamental.
A partir de que fue probado este resultado se han obtenido innumerables conse-
cuencias. Y en este trabajo presentaremos algunas. Una de ellas dice que de todos
los conjuntos en el plano acotados por triangulos de igual area el que minimiza el
tono fundamental es el conjunto cuya frontera es un tri angulo equilatero.
Corolario 3.18. De entre todos los conjuntos triangulares de igual area el que tiene
el menor tono fundamental es el equilatero.
Demostracion. Sea T un tri angulo cualquiera (no equilatero) de area /. Sea s un
lado del tri angulo y l la lnea perpendicular a s que pasa por su punto medio. Al
aplicar simetrizacion de Steiner con respecto de l, obtenemos un triangulo isosceles
T

de area /, de menor permetro y lo m as importante de menor tono fundamental.

47
T*
T
l
0 a
Figura 3.2: En tri angulos
Sea s

uno de los lados de T

distinto de s y elijamos l

la lnea perpendicular a s

que pasa por su punto medio. Al aplicar nuevamente simetrizacion de Steiner con
respecto de l

, obtenemos un tri angulo isosceles T

de menor permetro y menor

tono fundamental.
Puesto que la funci on
f(x) = d [(0, 0), (x, h)] + d [(a, 0), (x, h)] ,
es decreciente estricta para x (, a/2] (donde a > 0, h > 0, son tal que
ah
2
= /)
y com o podemos suponer que s, s

, ... es el lado que une al origen del plano y al

punto (a, 0), y que l, l

, ... pasa por (a/2, 0), la conclusi on del corolario se sigue de

los Teoremas 1.18 y 3.16.
Observacion 3.19. Sea T un tri angulo que no es simetrico respecto de la lnea l, que
es la perpendicular a uno de sus lados que pasa por su punto medio. Si
0

1
con

0
,
1
[0, 1] entonces
1
(T

0
)
1
(T

1
). La igualdad ocurre si y s olo si
0
=
1
.
Pues si
1
(T

0
)
1
(T

1
), tendramos igualdad en todas las relaciones de la prueba
del Teorema 3.14, en particular Lu

0
= t = Lu

1
= t para todo t Reg(u),
donde u es una eigenfunci on asociada a
1
(T). La conclusi on de esta observacion es
igual que el la ultima parte del Teorema 8, tomando en cuenta que la funcion f(x)
denida en la demostraci on del corolario pasado es decreciente estricta en (, a/2]
y por lo tanto los conjuntos T

0
, T

1
tienen la misma longitud de su frontera si y
s olo si
0
=
1
.
Para cuadril ateros convexos el resultado es evidente y es otra consecuencia in-
48
Figura 3.3: En cuadril ateros
mediata de la simetrizaci on de Steiner.
Corolario 3.20. De entre todos los cuadril ateros convexos de igual area el que tiene
el menor tono fundamental es el cuadrado.
Demostracion. Supongamos que tenemos el cuadrilatero ABCD. Sean D y B dos
vertices opuestos y tracemos el segmento DC de recta que los une. Sea l la lnea
que pasa por el punto medio de DC perpendicular a este segmento. El resultado
de aplicar simetrizaci on de Steiner con respecto de l es el cuadril atero DEBF. A
DEBF. Consideremos ahora la simetrizaci on de Steiner de DEBF con respecto de
la lnea que pasa por D y B. El rombo resultante puede simetrizarse, ahora por una
lnea que es perpendicular a dos lados que son paralelos, en un cuadrilatero que tiene
mayor tono fundamental que el cuadrado (Ejemplo 4.2).
Observacion 3.21. Sea o el cuadrilatero ABCD (ver gura 3.3). Consideremos la
simetrizaci on continua de Steiner con respecto de la lnea l que es perpendicular a DB
y pasa por su punto medio. Si
0

1
con
0
,
1
[0, 1] entonces
1
(o

0
)
1
(o

1
).
La igualdad ocurre si y s olo si
0
=
1
. Esto se puede ver de una manera similar que
49
la Observaci on 3.19.
Los resultados obtenidos en los dos ultimos corolarios son bien conocidos y existe
extensa literatura donde pueden ser vistos (ver [11]). Sin embargo para polgonos
con m as de cuatro lados el problema es abierto, pero se conjetura que el resultado
es analogo al de los casos con tres y cuatro lados, esto es:
Conjetura 3.22. De entre todos los polgonos convexos de n lados de area ja el que
minimiza el tono fundamental es el regular.
Para ver mas detalles de esta conjetura ver por ejemplo [11].
Con la simetrizaci on de Steiner, no podemos decir nada (a menos a simple vista)
en pentagonos o en polgonos de mayor n umero de lados, pues en general al aplicar
simetrizaci on de Steiner se aumenta el n umero de lados del polgono.
Lo ultimo que observaremos es que la simetrizaci on de Steiner da una idea de
que la desigualdad de Faber-Krahn para conjuntos convexos es cierta.
50
CAP

ITULO 4
Una Nueva Pregunta Para el Tono Fundamental
La existencia de alguna relaci on entre el permetro y el tono fundamental en
conjuntos de igual area es innegable; varias muestras de ello se presentaron en el
captulo anterior. Por una parte la desigualdad de Faber-Krahn dice que entre todos
los conjuntos acotados de igual area el que tiene menor permetro tiene el menor
tono fundamental. En ese mismo sentido, se observa que el procedimiento de Steiner
(presentado en el Captulo 3) reduce tanto el permetro como el tono fundamental
preservando el area.
En vista de lo anterior, nos preguntamos si ser a cierto en general que el tono
fundamental siempre se reduce con el permetro. En concreto, planteamos la siguiente
pregunta:
Sean
1
,
2
conjuntos acotados de R
2
, de frontera suave por tramos,
de igual area, con L(
2
) L(
1
) entonces ser a cierto que

1
(
2
)
1
(
1
)?
(P1)
En general para conjuntos no convexos la respuesta es negativa como se puede
observar en la Seccion 4.1.
Por otra parte, como vimos en el Captulo anterior con el metodo de simetrizacion
de Steiner, existen grandes clases de conjuntos convexos, para los que la respuesta a
la pregunta (P1) es armativa.
La respuesta a esta pregunta en casi todos los conjuntos donde se conoce ex-
plcitamente a
1
tambien es armativa. Preguntamos entonces:
Sean
1
,
2
conjuntos acotados y convexos de R
2
, de frontera suave
por tramos, de igual area, con L(
2
) L(
1
) entonces sera cierto
que
1
(
2
)
1
(
1
)?
(P2)
51
52
En las Secciones 4.2 y 4.3 responderemos a esta pregunta. En estas secciones cons-
truiremos algunas familias de conjuntos en las cuales el que tiene mayor permetro
tiene menor frecuencia fundamental.
4.1. Un ejemplo negativo en regiones no convexas
Consideremos el conjunto L parecido a una lupa donde el area de el mango L
1
de
la lupa es sucientemente peque na y L(L
1
) sucientemente grande (a saber). Si L
2
es el lente (crculo) de la lupa entonces por el Principio de Inclusi on (Teorema 2.15)

1
(L
2
)
1
(L).
Consideremos la familia de rect angulos de lados a y b tal que ab = /(L). Sea E un
elemento de esta familia. Como sabemos (ver [7])

1
(E) =
2
_
1
a
2
+
1
b
2
_
.
Es evidente que podemos encontrar un conjunto E que tenga mayor tono fundamen-
tal que L
2
. Como la elecci on de tal conjunto E fue independiente de L
1
, pode-
mos estirar a L
1
manteniendo su area e incrementando su permetro hasta que
L(L) > L(E) y

1
(E) >
1
(L
2
)
1
(L).
Entonces, existen dos conjuntos del plano de igual area en donde el que tiene mayor
permetro tiene menor tono fundamental. Uno de ellos no es convexo.
4.2. Contraejemplos en triangulos y cuadrilateros
La pregunta (P2) planteada al principio de este captulo es la raz on principal
por la que se elaboro el presente trabajo. Aunque la cuesti on resulta positiva para
todos los ejemplos que se han visto en este trabajo, sorprendentemente la respuesta
es negativa en general. Comenzamos por presentar un simple ejemplo que muestra
que la respuesta a la pregunta (P2) es negativa.
Ejemplo 4.1. Sea el tri angulo rectangulo con vertices en (0, 0), (1, 0), (0, 1), y sea

el rectangulo con lados de longitud 1 y 1/2. Entonces

1
(

) = 5
2
.
En [2] se establece que
1
() =
1
(

). Es claro que /() = /(

) mientras que
L() > L(

).
53
Considerando la simetrizaci on continua de Steiner con respecto a la lneaper
pendicular al eje x que pasa por x = 1/2, podemos encontrar (0, 1) tal que

tenga mayor permetro que

pero menor tono fundamental que . Esto responde

a la pregunta (P2) negativamente.
Una vez convencidos que la respuesta en general es no para que tipo de curvas
la respuesta es armativa? Si consideramos la familia de rect angulos de igual area
obtenemos el siguiente
Ejemplo 4.2. (Rectangulos) Entre cualesquiera dos rect angulos de igual area el
que tiene menor permetro tambien tiene menor tono fundamental. Supongamos que

1
y
2
son dos rectangulos de igual area. Sean a, b los lados de
1
y c, d los lados
de
2
, con c + d a + b, es decir L(
2
) L(
1
).
Puesto que si R es un rectangulo de la lados A, B entonces el primer eigenvalor
de R est a dado por (ver [7])

1
() =
2
_
1
A
2
+
1
B
2
_
,
entonces solo tenemos que vericar que
1
c
2
+
1
d
2

1
a
2
+
1
b
2
. Pero puesto que ab = cd,
lo unico que tenemos que ver es que
c
2
+ d
2
a
2
+ b
2
.
Y como c +d a+b entonces (c +d)
2
(a+b)
2
, de donde utilizando nuevamente el
hecho de que ab = cd concluimos el resultado: Para rectangulos de la misma area, el
que tenga mayor permetro tiene tambien mayor tono fundamental. Inversamente si

1
(
1
) =
1
(
2
), implicara que a+b = c+d, esto signica que
1

1
. Entonces de
entre dos rectangulos de la misma area, uno de ellos tiene mayor tono fundamental
si y s olo si tiene mayor permetro.
A continuacion, presentaremos algunas clases de familias donde la respuesta a la
pregunta (P2) es negativa.
Ejemplo 4.3. Sea r > 0. Sea
r
el romboide limitado por las rectas y = 0, y =
x
r
2
,
y =
1
r
y y =
(x r)
r
2
. Puede vericarse f acilmente que
r
tiene area 1 y permetro
2(r +
_
r
2
+
1
r
2
). Para cada r > 0 construyamos un rectangulo R
r
de igual area y
54
mismo permetro que
r
. Entonces los lados a
r
, b
r
de R
r
deben satisfacer.
a
r
b
r
= 1,
2a
r
+ 2b
r
= 2(r +
_
r
2
+
1
r
2
).
De la primera igualdad podemos ver que b
r
=
1
a
r
. Entonces a
r
debe satisfacer la
ecuaci on cuadr atica
2a
r
+
2
a
r
= 2(r +
_
r
2
+
1
r
2
).
Esta ecuacion tiene soluciones reales para todo a > 0. Una de ellas es
a
r
=
1
2
_
_
r
2
+ r
_
r
4
+ 1
r
2
+

2 r
4
+ 2 r
3
_
r
4
+ 1
r
2
+ 1 4 r
2
_
_
r
1
.
El primer eigenvalor de R
r
es una funci on continua para r > 0
g(r) :=
1
(R
r
) =
2
_
1
a
2
r
+ a
2
r
_
.
Probaremos que existe un cerrado que contiene a r = 1 para el cual

1
(
r
) <
1
(R
r
). (4.1)
Denamos
r
: R como

r
(x, y) = y
_
y
x
r
2
_
_
y
1
r
__
y
(x r)
r
2
_
.
Como
r
es una funci on polin omica,
r
C

() y adem as es cero en
r
. Puesto
que para cada r > 0
_
r

2
r
dA =
_
r
0
_ x
r
2
0
(
r
(x, y))
2
dy dx +
_
2 r
r
_
r
1
x
r
2
r
1
(
r
(x, y))
2
dy dx,
_
r
[
r
[
2
dA =
_
r
0
_ x
r
2
0
[
r
(x, y)[
2
dy dx +
_
2 a
a
_
a
1
x
a
2
a
1
[
r
(x, y)[
2
dy dx,
son funciones continuas respecto de r y la ultima es una integral distinta de cero si
r ,= 0, la funcion
f(r) :=
_
r
[
r
[
2
dA
_
r

2
r
dA
,
55
r
Figura 4.1: Gr aca de g(r)-f(r).
es continua y es una cota superior de
1
(
r
). Gracando la funci on continua g(r)f(r)
en Maple para el intervalo J := [.5, 100] podemos ver que la relaci on (4.1) es cierta
para todo r J.
Ahora, aseguramos que para cada r J existe una familia de rect angulos que
tienen menor permetro que R
r
y mayor tono fundamental que
r
. Solo lo probaremos
para r = 1, los dem as casos se pueden vericar de una manera similar. Sea Rla famila
de rect`angulos de lados x y
1
x
para x [1.65,1.85].
Si R R, entonces es f acil ver que
1
(R) =
2
_
1
x
2
+ x
2
_
es mayor que f(1) = 30
que es la cota superior de
1
, pero L((
1
)) = 2 +2

2 > L((R)) = 2x+

2
x
. Y esto
concluye lo armado.
Tambien se puede modicar a
1
para encontrar una familia de romboides con
mayor permetro que
1
y menor tono fundamental que R
1
; consideremos el rom-
boide B que tiene vertices en
_
1
2
, 0
_
,
_
1
2
, 0
_
,
_
1
2
, 1
_
y
_
3
2
, 1
_
, entonces existe

0
(0, 1) con B

0

1
cuando consideramos la simetrizacion continua de Steiner
de B con respecto de la lnea perpendicular al eje x que pasa por
_
1
2
, 0
_
. Cuando

0
por la izquierda,
1
(B

) estar a tan cerca a

1
(B

0
) como se quiera, en
particular (Observaci on 3.3) existe
1
(0,
0
) tal que

1
(B

1
)
1
(R
1
),
pero
L(B

1
) > L(B

0
) = L(
1
) = L(R
1
).
Por lo visto en el Captulo 3 los romboides B

, para [
1
,
0
), son una familia
que cumple lo deseado.
56
r 1
1/2
Figura 4.2: Gr aca de h(r)-j(r).
Ejemplo 4.4. Con esta idea podemos construir una segunda familia de conjuntos
en los cuales la respuesta a la pregunta (P2) es negativa. Para cada r (0, 1) sea
T
r
el triangulo con vertices en (1, 0), (r,

3/2) y el origen. Para cada r (0, 1)

construyamos un rect angulo R
r
de igual area y permetro que T
r
. Esto es, los lados
a
r
y b
r
de T
r
deben satisfacer
a
r
b
r
=

3
4
,
2a
r
+ 2b
r
= 1 +
_
r
2
+
3
4
+
_
(r 1)
2
+
3
4
.
De la primera ecuacion podemos ver que b
r
=

3
4a
r
. Por lo tanto a
r
debe satisfacer
la ecuacion cuadr atica
2a
r
+

3
2a
r
= 1 +
_
r
2
+
3
4
+
_
(r 1)
2
+
3
4
.
Como en el ejemplo pasado, esta ecuacion tiene soluciones reales para todo r (0, 1).
Una de ellas es
a
r
= 1/8

4 r
2
8 r + 7 + 1/4 + 1/8

4 r
2
+ 3
+
_
8 r
2
8 r + 14 + 4

4 r
2
8 r + 7 + 2

4 r
2
8 r + 7

4 r
2
+ 3 + 4

4 r
2
+ 3 16

3
8
.
El tono fundamental de R
r
varia continuamente con respecto de r y viene dado por
la expresion
h(r) :=
1
(R
r
) =
2
_
1
a
2
r
+
16a
2
r
3
_
.
Lo unico que probaremos, es que existe una vecindad contenida en (0, 1) y que
contiene a r =
1
2
, en la cual

1
(T
r
) <
1
(R
r
), (4.2)
57
ya que la construcion de las familias, en donde la respuesta a la pregunta fundamental
de esta tesis es negativa, se hace igual que en el ejemplo pasado.
Para r (0, 1), denamos
r
: T
r
R como

r
(x, y) = y
_
y 1/2

3x
r
__
y

3 (1 x)
2 2 r
_
.
La funci on
r
(x, y) es de clase C

(T
r
) y adem as es cero en T
r
. Las integrales
_
Tr

2
r
dA y
_
Tr
[
r
[
2
dA son f aciles de calcular, son funciones continuas de r y son
distintas de cero para r (0, 1). Entonces la funci on
j(r) :=
_
Tr
[
r
[
2
dA
_
Tr

2
r
dA
,
es continua en (0, 1) y ademas
1
(T
r
) j(r) para toda r (0, 1). Utilizando Maple
una vez m as, se puede vericar que j(r) < h(r) en el intervalo J
1
:= [.1,.9]. Entonces
la relacion (4.2) es cierta para todo r J
1
. Esto naliza el ejemplo.
4.3. Contraejemplos en regiones de frontera suave
Que ocurre con los conjuntos de frontera suave? Para responder a esta pregunta,
partamos del caso particular
1
en el Ejemplo 4.3. Sea
:= .95
1
= .95(x, y) : (x, y)
1
.
Sea : R la funcion dada por
(x, y) = y(y x)(y
95
100
)(y x +
95
100
).
Como es de clase C

() y se anula en la frontera, entonces el cociente

s =
_

[[
2
dA
_

2
dA
,
es una cota superior de
1
(). Sea R el rectangulo de lados x,
1
x
donde x =
17
10
.
Como se vio en el Ejemplo 4.3

1
(
1
) <
1
(R).
Tambien tenemos

1
() s <
1
(R).
58
Figura 4.3: En curvas suaves.
En cambio L() =.95L(
1
) > L(R) y /(
1
) = /(R). Ahora, puesto que los
eigenvalores no dependen del lugar donde se encuentra ubicado el conjunto, podemos
centrar a de tal forma que quede contenido en
1
y tal que la distancia de a

1
sea positiva.
En toda esta secci on denotaremos por B, cualquier conjunto abierto del plano, que
tenga frontera
1
contenida entre
1
y . Tal conjunto B tendr a la propiedad de
tener mayor permetro que , por lo tanto tendra mayor permetro que R. Tambien
denotaremos por B

cualquier conjunto convexo, de frontera

2
contenido en R.
Entonces L(B

) L(R). Por lo tanto

L(B

) < L(B).
Por el Principio de Inclusi on (Teorema 2.15)

1
(B)
1
(),

1
(R)
1
(B

).
Puesto que
1
() <
1
(R), entonces

1
(B) <
1
(B

).
Es bien sabido (ver por ejemplo el teorema 1.2.1 de [9]) que existe un conjunto
B que tiene frontera
1
de clase C

. Por el mismo resultado podemos encotrar un

conjunto B

de frontera
2
de clase C

tal que /(B

) = /(B). Por lo discutido en

esta seccion
L(B) > L(B

),

1
(B

) >
1
(B).
Entonce, existen dos conjuntos de frontera de clase C

de igual area para los cuales

el que tiene menor permetro tiene mayor tono fundamental. Por lo tanto podemos
concluir que la respuesta a la pregunta fundamental de este trabajo es negativa in-
cluso en conjuntos de frontera suave.
Concluimos esta secci on haciendo menci on de que B y B

pueden ser polgonos

convexos de mas de tres lados, esto es; en conjuntos poligonales de m as de tres lados,
la respuesta a la pregunta (P2) es tambien negativa.
CAP

ITULO 5
Aproximacion de los eigenvalores del Laplaciano
Sea una region abierta conexa de R
2
que tiene frontera C. Denotemos a
1
como el primer eigenvalor del problema (2.2).
En el caso en que sea un rect angulo, triangulo is osceles con un angulo recto o
un crculo,
1
puede obtenerse explcitamente mediante el metodo de separacion de
variables (ver [7]). Sin embargo, dicho metodo no es aplicable a regiones en general;
una alternativa a esto es utilizar metodos numericos para aproximar los eigenvalores.
En este captulo presentaremos la aproximacion dada por el metodo de cinco puntos.
5.1. El metodo de los cinco puntos
Supongamos que nuestro conjunto tiene frontera C suave por tramos con re-
specto a la longitud de arco s, i.e. existe : [0, L] C y una partici on de [0, L]
0 = s
0
< s
1
< s
2
< . . . < s
m
= L donde es C

en cada subintervalo (s
j
, s
j+1
) y
L es la medida inducida de la frontera. Para h > 0, una red consiste de las lneas
x = h, y = h (, = 1, 2, 3, ...). Los puntos de cruce, denotados por
h
, de estas
lneas (h, h) que estan en forman los nodos interiores donde trabajaremos. Los
nodos frontera C
h
de la red consisten de
i Todo punto (h, h) en C.
ii Todo punto en la interseccion de la red con C.
Entonces, cada nodo en
h
tiene dos nodos vecinos en
h
C
h
en la lnea x = h,
y dos vecinos en
h
C
h
en la lnea y = y. M as a un, cada nodo en C
h
tiene al
menos un nodo vecino en
h
C
h
. Ahora supongamos que los nodos (xh, y), (x, y),
59
60
x x+h x-h
y
y+h
y-h
Figura 5.1: Formula de cinco puntos
(x+h, y), (x, y h), (x, y h) estan en C. Asumiendo que conocemos los valores
v(xh, y), v(x, y), v(x+h, y), v(x, yh), v(x, yh) para H
1
0
, podemos denir D
(h)
x
v,
D
(h)
y
v como las segundas derivadas (constantes) de la funci on polinomial cuadratica
de x, y respectivamente. Esto es
D
(h)
x
v =
1
h
2
[v(x + h, y) + v(x h, y) 2v(x, y)] (5.1)
D
(h)
y
v =
1
h
2
[v(x, y + h) + v(x, y h) 2v(x, y)] (5.2)
Denimos el laplaciano discretizado por

(h)
v = D
(h)
x
v + D
(h)
y
v
=
1
h
2
[v(x, y + h) + v(x, y h) + v(x, y + h) + v(x, y h) 4v(x, y)]
Supongamos que
(h)
k
satisface el correspondiente problema discretizado para una
funci on red v denida en
h
C
h
(1)
_

h
v =
(h)
k
v x
h
;
v = 0 x C
h
,
Y denotemos por
(h)
1
a la menor de las soluciones de este problema. Si la cardi-
nalidad de
h
es n, podemos representar el anterior problema con un sistema de
61
ecuaciones lineales de n ecuaciones por n inc ognitas, una por cada nodo en
h
. Este
problema puede ser representado como un problema de resolucion de matrices como
Ab = b. Entonces A es una matriz simetrica y positiva denida por lo que todos
sus eigenvalores son positivos. Posteriormente daremos m as detalles de la matriz A,
ahora plantearemos los resultados formales de convergencia del problema discreto al
problema continuo.
El Teorema 5.1 abajo presentado es un caso particular de una teora muy general
en R
p
para el problema de los eigenvalores de Dirichlet con condiciones en la frontera
y su correspondiente discretizacion (para detalles ver [3]). Este Teorema establece
que los eigenvalores del laplaciano pueden ser aproximados por los eigenvalores de la
generalizaci on del operador denido anteriormente. Denotemos por
k
al conjunto
de eigenvalores dados por el problema continuo (problema 2.2) y
(h)
k
las soluciones
del problema discretizado (problema (1)).
Teorema 5.1. Sea un conjunto acotado de R
2
con frontera C

por tramos. En-

tonces para k dado
[
k

(h)
k
[0 cuando h 0.
Mejor a un si es una region cuya frontera tiene esquinas cuyo angulo mayor
entre arcos adyacentes es /, > 1/2, entonces para todo > 0 existe K() tal
que
[
k

(h)
k
[ K()[h
2
+ h
2
].
En el presente captulo solo demostraremos que
(h)
1

1
cuando h tiende a 0.
Sea un dominio acotado con frontera C de clase C

por tramos. Adem as de esto

debemos pedir que las esquinas de C tengan angulo menor que .
Teorema 5.2. Sea como en la descripcion anterior. Sea el angulo entre la tan-
gente de C y el eje x. Supongamos que u es una eigenfuncion asociada a
1
, y sea
u
n
la derivada normal de u en C. Sea
a = a() =
_ _

(u
2
xx
+ u
2
yy
)dxdy +
_
C
u
2
n
2d
12
_ _

(u
2
x
+ u
2
y
)dxdy
.
Entonces < a < y, cuando h 0, tenemos

(h)
1

1
1 ah
2
+ o(h
2
).
62
Demostracion. Puesto que u es una eigenfunci on asociada a el tono fundamental

1
. Entonces

1
_

u
2
dA =
_
(u
2
x
+ u
2
y
)dA. (5.3)
Es facil ver que
(h)
1
es el mnimo, sobre todas las funciones red v que se anulan en
C
h
, del cociente

h
(v) =
h
2

h
vv
h
2

h
v
2
.
Esto es en realidad la Observacion 2.16 del captulo 2 restringida a un espacio nito.
Si demostramos que cuando h 0

h
(v)

1
= 1 ah
2
+ o(h
2
), (5.4)
habremos demostrado el Teorema pues
h
1

h
(v).
El denominador h
2

h
u
2
de
h
(v) diere de una suma de Riemann para
_

u
2
dA
al menos por los terminos correspondientes a los cuadrados o parte de los cuadrados
en la frontera C. La contribuci on total de estos terminos no excede a Lhm ax

u
2
,
donde L es la magnitud de C. Entonces a posteriori cuando h 0
h
2

h
u
2
=
_

u
2
dA + o(1). (5.5)
Dividamos los nodos de
h
en tres clases
(2)
_
_
_

1
h
: todos los puntos que est an a distancia h de alguna esquina de C;

2
h
: todos los puntos que no est an en
1
h
pero que est an a distancia h de C;

3
h
: todos los otros nodos de
h
.
Reescribiendo a el numerador de
h
(u) en terminos de esta partici on tenemos
h
2

h
u
h
u =
3

i=1
_
_
h
2

i
h
u
h
u
_
_
=
3

i=1
S
i
h
.
Existe un n umero jo de esquinas, que no exceden a m, y a lo mas dos nodos de
R
1
h
por esquina. M as a un por el Lema 5.4, [u(x, y)[
2
0 cuando (x, y) una
esquina de C. En cualquier nodo (x, y) de
1
h
, por (5.1) y (5.2) tenemos que
h
2
[u
h
u[
h
2
(u 0)
h
4

i=1

u u
i
h

4h
2
m ax [u[
2
,
63
donde u
i
son los valores de u en los cuatro vecinos de (x, y), y el m aximo de [u[
2
es
tomado sobre todos los puntos con distancia 2h de alg un vertice. Entonces cuando
h 0
[S
1
h
[ 8mh
2
m ax [u[
2
= o(h
2
). (5.6)
Usando la notaci on y el resultado del Lema 5.5, tenemos
S
2
h
= h
2

2
h
uu
2h
3
3

2
h
u(
x
u

xxx+
+
y
u

yyy
). (5.7)
Puesto que u es una eigenfuncion asociada a
1
h
2

2
h
uu =
1
h
2

2
h
u
2
. (5.8)
Por (5.7), (5.8) y el Lema 5.6, cuando h 0
[S
2
h

1
h
2

2
h
u
2
[
2h
3
3

2
h
u([u

xxx
[ +[u

yyy
[) = o(h
2
).
Entonces cuando h 0
S
2
h
=
1
h
2

2
h
u
2
+ o(h
2
). (5.9)
De forma similar, usando la notacion y el resultado del Lema 5.7, y puesto que u es
una eigenfunci on asociada a
1
S
3
h
=
1
h
2

3
h
u
2

h
4
12

3
h
u(u

xxxx
+ u

yyyy
). (5.10)
Puesto que u(x, y) 0 como (x, y) C, y puesto que hay a lo mas 2m vertices
en
1
h
h
2

2
h

3
h
u
2
= h
2

u
2
h
2

1
h
u
2
= h
2

h
u
2
+ o(h
2
). (5.11)
Sumando (5.9) y (5.10), y usando (5.11)
S
2
h
+ S
3
h
=
1
h
2

h
u
2

h
4
12

3
h
u(u

xxxx
+ u

yyyy
) + o(h
2
)
=
1
h
2

h
u
2

h
2
12
_

u(u
xxxx
+ u
yyyy
)dA + o(h
2
),
64
por el Lema 5.8. Sumando S
1
h
a lo de arriba, y dividiendo por (5.5), obtenemos

h
(u) =

3
i=1
S
i
h
h
2

h
u
2
=
1

h
2
12
_

u(u
xxxx
+ u
yyyy
)dA
_

u
2
dA
+ o(h
2
).
Finalmente dividiendo
h
(u) por
1
, y aplicando el Lema 5.9 y (5.3), podemos con-
cluir que (5.4) ocurre y por lo tanto hemos probado el Teorema.
Para ciertas regiones no convexas , la cantidad a puede ser negativa puesto que
d puede ser negativa en ciertos puntos de C. Si consideramos conjuntos convexos
conseguimos un resultado muy fuerte, como una consecuencia inmediata del Teorema
5.2.
Teorema 5.3. Si ademas de las hipotesis del Teorema 5.2 suponemos que es con-
vexo, entonces 0 < a < , y existe h
0
> 0 tal que
(h)
1
<
1
para todo h < h
0
.
La demostracion de los siguientes Lemas puede ser vista con sus detalles en [10].
Estos resultados son los ocupados para la demostracion del Teorema 5.2.
Lema 5.4. Sea u una eigenfuncion asociada a
1
. La funcion u es una funcion
analtica de x y y en C (en un abierto que contiene a C), excepto posiblemente
en las esquinas de C. Sea r la distancia de (x, y) a una esquina P con angulo interior
/, 1 < < . Entonces para k = 0, 1, 2, .., cualquier derivada parcial de u de
orden k tiene la representacion local

k
u

y
= r
k
f
k
(x, y), (5.12)
donde f
k
es continua en P, y + = k.
Lema 5.5. Sea u una eigenfuncion asociada a
1
. En cualquier nodo (x, y) de
h
tenemos

h
u = u +
2
3
h[
x
u

xxx
+
y
u

yyy
],
en donde 1 <
x
,
y
< 1, y
(3)
_
u

xxx
= u
xxx
(x

, y) x h < x

< x + h;
u

yyy
= u
yyy
(x, y

) y h < y

< y + h.
65
Lema 5.6. Sea u una eigenfuncion asociada a
1
. Usando la notacion de (3) en el
Lema anterior, para cada nodo (x, y) de
2
h
denido en (2) del Teorema 5.2, cuando
h 0 tenemos
h

2
h
u([u

xxx
[ +[u

yyy
[) = o(1).
Lema 5.7. Sea u una eigenfuncion asociada a
1
. En cada nodo de
3
h
denido en
(2) del Teorema 5.2 tenemos

h
u = u +
1
12
h
2
(u

xxxx
+ u

yyyy
),
donde
(4)
_
u

xxxx
= u
xxxx
(x +

h, y) 1 <

< 1;
u

yyyy
= u
yyyy
(x, y +

h) 1 <

< 1.
Lema 5.8. Sea u una eigenfuncion asociada a
1
. En cada nodo de
3
h
denido en
(2) del Teorema 5.2, usando la notacion de (4) en el Lema anterior, cuando h 0
se cumple que
h
2

3
h
u(u

xxxx
+ u

yyyy
) =
_

u(u
xxxx
+ u
yyyy
)dA + o(1).
Lema 5.9. Sean u
n
y como en el el Teorema 5.2. Entonces
_

u(u
xxxx
+ u
yyyy
)dA =
_

(u
2
xx
+ u
2
yy
)dA
+
_
C
u
n
sin
2
(2)d.
En donde la ultima integral es de Riemann-Stieltjes.
5.2. Programaci on del metodo de cinco puntos
Lo siguiente sera plantear un metodo para formar la matriz A asociada al prob-
lema discreto (1).
Supongamos que , dominio convexo acotado de frontera suave por tramos, esta
ubicado en el primer cuadrante del plano y que toca en alg un punto con el eje x y
en alg un punto con el eje y. Sea s el supremo de la distancias del eje x con y t
el supremo de las distancias del eje y con . Sin perdida de generalidad podemos
asumir que t s. Supongamos que puede ser representada analticamente por
dos funciones f
1
, f
2
: [0, s] , donde f
1
() es igual a la coordenada mayor de
66
la recta x = intersecci on y f
2
() es igual a la coordenada menor de la recta
x = intersecci on .
Dado K en los naturales tomemos h = t/K. Necesitaremos de dos matrices
auxiliares, la matriz de indices MI y la matriz de posiciones MP. MI ser a de
orden K K y nos servir a para numerar los nodos en
h
. Para llenarla debemos
comenzar con c = 1, j = K 1 e i = 1, tomando x = i h, y = K j, si F
1
(x) > y
y F
2
(x) < y entonces MI[j, i] = c e incrementamos c en uno y volvemos a repetir el
proceso hasta j = 1 y despues hasta i = K 1. Podemos observar que al nalizar
este proceso c es la cardinalidad de
h
. MP tiene que ser una matriz de orden c 4
y nos servir a para decidir cual ser a la entrada (i, j) de la matriz A. Comenzando con
c = 0, i = 1, j = K1, si la entrada MN[j, i] > 0 entonces c = c +1 y siempre quer
sea posible debemos ver los siguientes cuatro casos:
i si MI[j, i 1] > 0 entonces MP[c, 1] = MI[j, i 1]
ii MI[j, i + 1] > 0, entonces MP[c, 2] = MI[j, i + 1]
iii MI[j 1, i] > 0, entonces MP[c, 3] = MI[j 1, i]
iv MI[j + 1, i] > 0, entonces MP[c, 4] = MI[j + 1, i].
Y como antes volvemos a repetir el proceso hasta j = 1 y despues hasta i = K 1.
Ahora es facil llenar la matriz A que es una matriz de orden cc (c = la cardinalidad
de
h
), en la entrada (k, k) tendra el valor (
2
h
)
2
y en la entrada (k, j) (siempre que
j = MP[k, r] ,= 0, r = 1, 2, 3, 4), tendra el valor (
1
h
2
).
Se puede ver que con esta forma de llenar la matriz A el problema (1) equivale a
encontrar el m as peque no para el cual Ax = x. Tambien se puede ver claramente
que A es una matriz simetrica.
5.3. Algunos ejemplos numericos
Ejemplo 5.10. (Aproximaci on del tono fundamental de un cuadrado) Sea
= (0, ) (0, ), f
1
(x) = , f
2
(x) = 0, s = t = , y para K = 4, A es la matriz
67
1
h
2
_

_
4 1 0 1 0 0 0 0 0
1 4 1 0 1 0 0 0 0
0 1 4 0 0 1 0 0 0
1 0 0 4 1 0 1 0 0
0 1 0 1 4 1 0 1 0
0 0 1 0 1 4 0 0 1
0 0 0 1 0 0 4 1 0
0 0 0 0 1 0 1 4 1
0 0 0 0 0 1 0 1 4
_

_
El primer eigenvalor de esta matriz es aproximadamente 1.899282405. En la siguiente tabla
se muestran las soluciones al problema (1) con los Ks especicados.
K
h
1
, (h = 1/K)
20 1.995891
25 1.997369
30 1.998173
35 1.998657
40 1.998971
La sucesion es creciente y siempre esta por debajo del la solucion
1
() = 2.
Ejemplo 5.11. (Aproximacion del tono fundamental de un rectangulo) Ahora
tomemos = (0, ()
11/10
) (0, ()
9/10
), f
1
(x) = ()
11/10
, f
2
(x) = 0, s = , t = 2 y
para K = 20 el mnimo eigenvalor es de 2.032517 (aproximadamente) que es una buena
aproximacion para la solucion que es 2.052645616 (aproximadamente). La siguiente tabla
muestra algunos resultados obtenidos por el metodo descrito.
K
h
1
, (h = 1/K)
25 2.034540
30 2.035639
35 2.036302
40 2.036732
45 2.037028
Ejemplo 5.12. (Aproximacion del tono fundamental de una elipse) Para una elipse
(el interior de la elipse) de centro (t/2, s/2) podemos tomar f
1
(x) =
s
2

1
4(x
t
2
)
2
t
+
s
2
y
f
2
(x) =
s
2

1
4(x
t
2
)
2
t
+
s
2
. Para el conjunto := (x, y) : x
2
+y
2
< (

2
) 2 el tono
68
fundamental es aproximadamente 2.343836988. Con el metodo que hemos desarrollado para
K = 40 la aproximacion es de 2.27701984999. En la siguiente tabla se muestran algunas
iteraciones mas.
K
h
1
, (h = 1/K)
45 2.285171
50 2.299572
60 2.300688
65 2.302313
Ejemplo 5.13. (Aproximacion del tono fundamental de otra elipse) Si tomamos la
elipse de tal forma que t = 2(/2)
11/10
y s = 2(/2)
9/10
obtenemos los siguientes resultados
para
(1)
h
y para cada K especicado:
K
h
1
, (h = 1/K)
40 2.274873
45 2.278755
50 2.284284
60 2.295927
65 2.303214
80 2.311456
Ejemplo 5.14. (Aproximacion del tono fundamental de un triangulo equilatero)
Ahora consideremos el triangulo equilatero de lado 1 y vertices (0, 0), (1, 0), (1/2,
_
(3)/2).
En este caso como en el de todo polgono convexo f
1
y f
2
tienen que ser funciones lineales
por tramos. En la siguiente tabla se muestran los resultados para algunas particiones.
K
h
1
, (h = 1/K)
70 52.057771
75 51.566913
80 51.629480
85 51.686606
90 51.738272
AP

ENDICE A
En este apendice desarrollaremos la teora necesaria de analisis de Fourier y analisis
funcional para demostrar los resultados requeridos en la tesis.
Primero debemos mencionar que una funcion F denida en el crculo unitario puede
pensarse como una funcion f denida en R. Para hacer esto, recordemos que un punto en
el crculo unitario es de la forma e
i
, donde es un n umero real. Entonces tomando
f() := F(e
i
)
tenemos nuestra relacion. Notemos ademas que f es periodica con periodo 2. Por un
proceso inverso, dada una funcion f : R C, 2-periodica podemos denir F denida
sobre el crculo unitario. Las condiciones de continuidad, integrabilidad y diferenciabilidad
de F se heredan de f.
Por otra parte las funciones de periodo 2 pueden identicarse tambien de forma na-
tural con las funciones en intervalos [a, b] de longitud 2 cuyos valores en los extremos
coinciden.
En resumidas cuentas podemos hablar de funciones 2-periodicas en R o de funciones
en un intervalo de longitud 2 que toma los mismos valores en los puntos nales como un
mismo objeto matematico, llamado, funciones en el crculo.
Series de Fourier
Formalmente (no decimos nada a un de la convergencia) la serie de Fourier de una
funcion integrable f : [a, b] C esta dada por la expresion

n=

f(n)e
2inx/L
,
69
70
donde L = b a, y

f(n) representa el n-esimo coeciente de Fourier denido por

f(n) =
1
L
_
b
a
f(x)e
2inx/L
dx.
Abreviaremos a
n
:=

f(n), y usaremos la notacion
f(x)

n=
a
n
e
2inx/L
,
para indicar que la serie en el lado derecho es la serie de Fourier de f.
Por la discusion previa a esta Seccion, tambien podemos considerar el n-esimo coe-
ciente de Fourier y la serie de Fourier de una funcion denida en el crculo. Puesto que
podemos pensar a una funcion F denida sobre el crculo como una funcion f en R que es
2periodica, podemos restringir la funcion f en cualquier intervalo de longitud 2 y cal-
cular sus coecientes de Fourier. Lo cual podemos hacer, por que las integrales resultantes
son independientes del intervalo elegido.
Ahora si suponemos que f esta denida en [0, 2], entonces g(x) = f(2x) esta dada en
el intervalo [0, 1] y un cambio de variable en la denicion de

f(n) muestra que los n-esimos
coecientes de Fourier de f y g son iguales.
Finalmente, para N en los naturales, podemos considerar la N-esima suma parcial
S
N
(f)(x) :=
N

n=N
a
n
e
2inx/L
,
de las serie de Fourier de f y plantear el problema:
Problema: En que sentido converge S
N
(f) a f cuando N ?
Mas precisamente, sea f una funci on integrable en [, ]. La primera pregunta que
hacemos es si S
N
(f) converge a f puntualmente, es decir Para todo [, ] se cumple
que
lm
N
S
N
(f)() = f()?
En general no podemos esperar que esto suceda, pues podemos modicar a f en un
punto sin cambiar sus coecientes de Fourier. Sin embargo si pedimos que f sea continua
y periodica la respuesta es armativa (para una demostracion de esto ver [19]).
En este apendice probaremos (Teorema A.25) que si f es una funcion integrable seg un
Riemman, entonces cuando N ,
1
2
_

[S
N
(f)() f()[
2
d 0.
Lema A.1. Sea f : [a, b] R una funcion integrable seg un Riemman y una funcion
que toma valores reales continua en R, entonces f es tambien integrable en [a, b].
Observacion A.2. Del Lema podemos deducir dos importantes resultados
71
Si f y g son integrables en [a,b], entonces el producto fg es integrable en [a, b].
Si f es integrable en [a, b], entonces la funcion [f[ es integrable y

_
b
a
f(x)dx

_
b
a
[f(x)[dx.
La demostracion detallada de estas observaciones y del Lema es simple y puede ser
vista en [19].
Ahora supongamos que f, g son funciones integrables en un intervalo de R. Asumamos
ademas que f y g tienen los mismos coecientes de Fourier, entonces Seran f y g iguales?
Tomando f g la proposicion puede ser reformulada en la forma: si

f(n) = 0 para todo
n Z, entonces f 0? Debemos suponer una cosa mas, pues si tenemos dos funciones que
dieren en un n umero nito de puntos, estas tiene la misma serie de Fourier y el resultado
sera falso. No obstante, con una nueva suposicion tenemos el siguiente resultado.
Teorema A.3. Supongamos que f es una funcion integrable seg un Riemann en el crculo,
con

f(n) = 0 para todo n Z. Entonces f(
0
) = 0 siempre que
0
sea un punto de
continuidad de f.
Demostracion. Supongamos que f toma valores reales y demostremos el resultado por
contradiccion. Sin perdida de generalidad podemos suponer que f esta denida en [, ],
f(
0
) > 0 y
0
= 0.
Puesto que f es continua en 0, podemos escoger 0 < /2, tal que f() > f(0)/2
siempre que [[ < . Sea
p() = + cos(),
donde > 0 es lo sucientemente peque no tal que [p()[ < 1/2, siempre que [[ .
Escojamos entonces > 0 con < , tal que p() 1 +/2, para [[ . Finalmente sea
p
k
() = [p()]
k
,
y sea B tal que [f()[ B para todo [, ], esto es posible por que f es inte-
grable seg un Riemann y por lo tanto acotada. Por construccion cada p
k
es un polinomio
trigonometrico, y como

f(n) = 0 para todo n, para todo k debemos tener
_

f()p
k
()d = 0.
Primero tenemos la estimacion

_
<||
f()p
k
()d

2B(1 /2)
k
.
Por la forma de escoger garantizamos que p() y f() son no negativos para [[ < .
Entonces
_
||<
f()p
k
()d 0.
72
Finalmente
_
||<
f()p
k
()d 2
f(0)
2
(1 +/2)
k
.
Por lo tanto
_
p
k
()f()d cuando k . Esto nos da la deseada contradiccion
puesto que las integrales son iguales a 0 por suposicion.
En general escribamos f() = u() +iv(), donde u y v toman valores reales. Si deni-
mos f() = f(), entonces u() =
f()+f()
2
y v() =
f()f()
2
, y puesto que

f(n) =

f(n)
podemos concluir que los coecientes de Fourier de u y v se hacen 0 en sus puntos de
continuidad.
Corolario A.4. Si f es una funcion continua en el crculo y

f(n) = 0 para todo n Z,
entonces f 0.
Ahora introduzcamos la notacion estandar O que utilizamos en varias partes de este
trabajo. Cuando escribimos

f(n) = O(1/[n[
2
) cuando [n[ , signica que el lado
izquierdo esta acotado por una constante m ultiplo de 1/[n[
2
, esto es, existe C > 0 con

f(n) C/[n[
2
para todo [n[ grande. Mas generalmente, f(x) = O(g(x)), cuando x a
signica que para alguna constante C > 0 ; [f(x)[ Cg(x), cuando x se aproxima a a. En
particular, f(x) = O(1) signica que f es acotada cerca de a.
Corolario A.5. Sea f una funcion de clase C
2
en el crculo. Entonces

f(n) = O(1/[n[
2
)
cuando [n[ , ademas, la serie de Fourier de f converge absolutamente y uniforme-
mente a f.
Demostracion. Sea n ,= 0. Como f y f

son 2-periodicas, al integrar dos veces por partes

tenemos
2

f(n) =
_
2
0
f()e
in
d
=
1
in
_
2
0
f

()e
in
d
=
1
n
2
_
2
0
f

()e
in
d.
Por lo tanto
2n
2
[

f(n)[ =

_
2
0
f

()e
in
d

_
2
0
[f

()[d C.
Como C > 0 es independiente de n y puesto que la serie

1
n
2
converge, entonces el
resultado ha sido probado.
Incidentalmente hemos establecido la siguiente identidad, para todo n Z

(n) = i n

f(n).
73
En efecto, si n ,= 0 la prueba esta dada en la demostracion del corolario anterior, y si n = 0
no es difcil ver que

f

(0) = 0. Entonces si f es diferenciable y f

a
n
e
in
, entonces
f

(in)a
n
e
in
. Tambien si f es dos veces diferenciable f

(in)
2
a
n
e
in
, etc.
Ahora, enunciaremos un resultado analogo del Teorema de la aproximacion de Weiers-
trass (ver [19]) para polinomios.
Teorema A.6. Una funcion continua en el crculo puede ser aproximada uniformemente
por polinomios trigonometricos.
Esto signica que si f es una funcion continua en el intervalo [, ] con f() = f(),
entonces dado > 0 existe un polinomio trigonometrico P tal que para todo x [, ]
[f(x) P(x)[ < .
Antes de seguir hablando de las series de Fourier, necesitamos algunos conceptos del
analisis funcional.
Espacios de Banach y Espacios de Hilbert
Denicion A.7. Un espacio lineal normado es un espacio vectorial V sobre R (o C) dotado
de una funcion | |
V
: V R, la cual satisface
i) |v|
V
0 para todo v V .
ii) |v|
V
= 0 si y solo si v = 0.
iii) |v|
V
= [[|v|
V
para todo R o C y para todo v V .
iv) (Desigualdad triangular) |u +w|
V
|u|
V
+|w|
V
para todos u, v V .
Puesto que despues daremos muchos mas ejemplos de espacios lineales normados, ahora
solo mencionaremos que R
n
con la norma
|(x
1
, x
2
, .., x
n
)| =
_
x
2
1
+x
2
2
+.. +x
2
n
,
y C[0, 1] (el conjunto de funciones continuas en [0, 1]) con las normas
|f|

= sup
x[0,1]
[f(x)[ o |f|
1
=
_
1
0
[f(x)[dx
son espacios lineales normados.
Denicion A.8. Una sucesion x
n

n=1
M de elementos de un espacio lineal normado
M se dice que converge a un elemento x M, si |x x
m
|
V
0 cuando n .
74
Denicion A.9. Una sucesion de elementos x
n
M de un espacio vectorial normado
M es llamada sucesion de Cauchy si para todo > 0 existe N en los naturales tal que
|x
n
x
m
|
M
< para todos n, m > N.
Denicion A.10. Diremos que un espacio lineal normado es completo si toda secesion de
Cauchy converge. En tal caso el espacio se llama espacio de Banach.
Notemos que un subespacio cerrado de un espacio de Banach es tambien un espacio de
Banach.
Ejemplo A.11. R con la funcion distancia usual es un espacio completo, es decir es un
espacio de Banach.
Ejemplo A.12. Decimos que dos funciones f, g : R C son equivalentes (denotado
por f g) si y solo si f(x) = g(x) para casi todo x R (es decir, el conjunto donde
f(x) ,= g(x) tiene medida cero con respecto a la medida de Lebesgue). Denotemos por
L

(R) a el conjunto de (clases de equivalencia de) funciones medibles en R que toman

valores complejos tal que [f(x)[ M casi en todas partes (con respecto a la medida de
Lebesgue) para alg un M < . Sea |f|

el nmo de tales M. Entonces L

(R) con la
norma | |

es un espacio de Banach.
Ejemplo A.13. (Los espacios L
p
). Sea (X, ) un espacio de medida y p 1. Denotamos
por L
p
(X, ) = L
p
(X) a el conjunto de clases de equivalencia de funciones (que toman
valores complejos) medibles que satisfacen
|f|
L
p
(X)
:=
__
X
[f(x)[
p
_
1/p
< .
Dos funciones son equivalentes si solo dieren en un conjunto que tiene medida cero.
Teorema A.14. Sea 1 p < , entonces
a) |f +g|
L
p
(X)
|f|
L
p
(X)
+|g|
L
p
(X)
(La desigualdad de Minkoski)
b) L
p
(X) es completo (Teorema de Riesz Fischer).
Es decir L
p
(X) es un espacio de Banach.
Otra propiedad importante de los espacios L
p
es la desigualdad de Holder
Lema A.15. (La desigualdad de H older) Sean p, q, r n umeros positivos que satisfacen
p, q, r 1 y p
1
+ q
1
= r
1
. Supongamos que f L
p
(X), g L
q
(X). Entonces
fg L
r
(X) y |fg|
L
r
(X)
|f|
L
p
(X)
|g|
L
q
(X)
.
75
La demostracion del Teorema A.14 y la del Lema A.15 pueden ser vistas en [18].
Existe una clase muy particular de los espacios de Banach que tienen propiedades
geometricas muy similares a el espacio R
n
, estos son los espacios de Hilbert.
Denicion A.16. Un espacio vectorial complejo V es llamado un espacio con producto
interno, si existe una funcion , ) : V V C que satisface las siguientes condiciones
para todos x, y, z V y C:
i) x, x) 0 y x, x) = 0 si y solo si x = 0.
ii) x +y, z) = x, z) +y, z).
iii) x, y) = x, y).
iv) x, y) = y, x).
A la funcion , ) se le conoce como producto interno.
Ejemplo A.17. Sea C
n
el conjunto de n-duplas de n umeros complejos. Para z = (z
1
, z
2
, .., z
n
)
y w = (w
1
, w
2
, .., w
n
), elementos de C
n
, denamos
w, z) =
n

i=1
w
i
z
i
.
Entonces C
n
es un espacio con producto interno.
Ejemplo A.18. Consideremos a L
2
() del ejemplo A.13, donde es un conjunto abierto
conexo de R
n
y es la medida de Lebesgue. Para g, f L
2
() denamos
f, g) =
_

f(x)g(x)dx.
Entonces L
2
() es un espacio con producto interno.
Denicion A.19. Dos vectores, x y y, en un espacio con producto interno V se dicen
ortogonales si x, y) = 0. Una coleccion x
i
de vectores en V es llamada un conjunto
ortonormal si x
i
, x
i
) = 1 para todo i y ademas x
i
, x
j
) = 0 siempre que i ,= j.
Denicion A.20. Un espacio lineal completo con producto interno es llamado espacio de
Hilbert.
Ejemplo A.21. C
n
y L
2
() son espacios de Hilbert.
76
No es difcil mostrar que cualquier espacio vectorial con producto interno V es normado.
Esto lo podemos ver deniendo | |
V
= (, ))
1/2
y vericando que en efecto esta es una
norma (ver [18]). Por otro lado si | |
V
= (, ))
1/2
, podemos recuperar el producto interno
a partir de la norma por denir
F, G) :=
1
4
_
|F +G|
2
L
2
|F G|
2
L
2
+i
_
|F +iG|
2
L
2
|F iG|
2
L
2
__
. (A.1)
Denicion A.22. Sea H un espacio de Hilbert. Para M H denotamos por M

como el
conjunto de vectores en H que son ortogonales a todo elemento de M.
Proposicion A.23. Sean H un espacio de Hilbert y M H. Entonces M

es un espacio
de Hilbert.
Teorema A.24. (Teorema de Pitagoras) Sea x
n

N
n=1
un conjunto ortonormal en un
espacio de Hilbert H. Entonces para todo x H
|x| =
N

n=1
[x
n
, x)[
2
+
_
_
_
_
_
x
N

n=1
x
n
, x)x
n
_
_
_
_
_
2
.
Convergencia de S
N
(f) en la norma L
2
Sea R
2
un conjunto acotado y conexo. Hemos visto que L
2
(), el conjunto de
clases de funciones que son (modulo) cuadrado integrables (en el sentido de Lebuesgue) en
, es un espacio de Hilbert (ver A.21) con el producto interno
f, g) =
_

f(x)g(x)dx.
En este orden de ideas, hemos mencionado en la Seccion pasada que la norma en L
2
()
viene dada en terminos del producto interno por |f|
L
2 = (f, f))
1/2
, esto es
|f|
L
2 =
__

[f(x)[
2
dx
_
1/2
.
El principal trabajo de esta Seccion es demostrar el siguiente
Teorema A.25. Supongamos que f es una funci on integrable segu un Riemann, entonces
|f S
N
(f)|
L
2 0 cuando N .
Como f es una funcion integrable seg un Riemann, por la Observacion A.2 facilmente
podemos ver que f L
2
(). En la demostracion que incluimos aqu de este Teorema,
necesitamos el siguiente
77
Teorema A.26. Supongamos que f es una funcion integrable seg un Riemann en el crculo y
que f esta acotada por una constante B. Entonces existe una secesion f
k

k=1
de funciones
continuas en el crculo tales que
1. sup
x[,]
[f
k
[ B para todo k = 1, 2, .., ,
2.
_

[f(x) f
k
(x)[dx 0 cuando k .
Demostracion. Supongamos que f toma valores reales (en general podemos aplicar los
argumentos siguientes a la parte real e imaginaria de f). Dado > 0, podemos escoger una
particion = x
0
< x
1
< .. < x
N
= del intervalo [, ] tal que las sumas superior e
inferior de esta particion dieran (en valor absoluto) de a lo mas . Denotemos por f

la
funcion escalonada denida por
f

(x) = sup
y[x
j1
,x
j
]
f(y) si x [x
j1
, x
j
] para 1 j N.
Por construccion tenemos f

B, y mas a un
_

[f

(x) f(x)[dx =
_

(f

(x) f(x))dx < . (A.2)

Para sucientemente peque no, sea

f(x) = f

(x) donde la distancia de x a cualquiera de

los puntos de division x
0
, .., x
N
es . En el intervalo (x
j
, x
j
+ ) para j = 1, .., N,
denamos

f(x) como la funcion lineal para la cual

f(x
j
) = f(x
j
). Alrededor de x
0
,

f es lineal con

f() = 0 y

f( + ) = f

( + ). De forma similar, alrededor de x

N
la funcion

f es lineal con

f() = 0 y

f( ) = f

( ).
Puesto que

f() =

f() podemos extender

f en una funcion continua y 2-periodica
en R. El valor absoluto de esta extension es tambien acotado por B. Mejor a un,

f diere de
f

solo en los N intervalos de longitud 2 circundantes a los puntos de division. Entonces

_

[f

(x)

f(x)[dx 2BN(2).
Si escogemos lo sucientemente peque no, conseguimos
_

[f

(x)

f(x)[dx . (A.3)
Usando las desigualdades (A.2) y (A.3) junto con la desigualdad triangular obtenemos
_

[f(x)

f(x)[dx < 2.
Por ultimo, denotando por f
N
como la N-esima construccion de

f, para N en los naturales,
cuando 2 = 1/N, podemos ver que la sucesion f
N
tiene las propiedades requeridas por
el Lema.
78
Para cada n Z, sea e
n
() = e
in
. Por un simple calculo podemos ver que e
n

nZ
es
un conjunto ortonormal en L
2
(). Podemos ver tambien que si f es una funcion integrable
en el crculo y a
n
denota su n-esimo coeciente de Fourier entonces f, e
n
) = a
n
. En
particular, S
N
(f) =

|n|N
a
n
e
n
. Entonces la ortogonalidad del conjunto e
n
y el hecho
de que f, e
n
) = a
n
implican que la diferencia f

|n|N
a
n
e
n
es ortogonal a e
n
para todo
[n[ N. Por lo que tenemos
_
_
f

|n|N
a
n
e
n
_
_

|n|N
b
n
e
n
, (A.4)
para cualesquiera n umeros complejos b
n
. De este hecho podemos deducir dos conclusiones.
Primero, podemos aplicar el Teorema de Pitagoras (Teorema A.24) a la descomposicion
f = f

|n|N
a
n
e
n
+

|n|N
a
n
e
n
,
donde podemos escoger b
n
= a
n
, para obtener
|f|
2
L
2
= |f

|n|N
a
n
e
n
|
2
L
2
+|

|n|N
a
n
e
n
|
2
L
2
.
Utilizando otra vez la ortogonalidad del conjunto e
n
tenemos
|

|n|N
a
n
e
n
|
2
L
2
=

|nN|
[a
n
[
2
.
Podemos deducir que
|f|
2
L
2
= |f S
N
(f)|
2
L
2
+

|nN|
[a
n
[
2
. (A.5)
La segunda conclusion que obtenemos de (A.4) es el siguiente
Lema A.27. Si f es una funcion integrable en el crculo con coecientes de Fourier a
n
,
entonces
|f S
N
(f)|
2
L
2
|

|n|N
f c
n
e
n
|
2
L
2
,
para cualesquiera n umeros complejos c
n
. Mas a un la igualdad ocurre solamente cuando
c
n
= a
n
para todo [n[ N.
Demostracion. Esto se sigue directamente de aplicar el Teorema de Pitagoras a
f

|n|N
c
n
e
n
= f S
N
(f) +

|n|N
b
n
e
n
,
donde b
n
= a
n
c
n
.
79
Demostracion. (Del Teorema A.25) Supongamos que f es continua en el crculo.
Entonces dado > 0, existe (por el Teorema A.6 ) un polinomio trigonometrico P (de
grado M), tal que para todo [, ]
[f() P()[ < .
En particular tomando cuadrados e integrando esta igualdad obtenemos |f P|
2
L
2
< ,
y por el Lema A.27 podemos concluir que |f S
N
(f)|
2
L
2
< siempre que N M. Esto
concluye la prueba del Teorema A.25 cuando f es continua.
Supongamos ahora que f es integrable seg un Riemann, podemos (por el Teorema A.26)
escoger una funcion g continua en el crculo que satisface
sup
[,]
[g()[ sup
[,]
[f()[ B,
y
_

[f() g()[d < ,

Para alguna constante B > 0. Con esta eleccion tenemos que
|f g|
2
L
2
=
1
2
_

[f() g()[
2
d
=
1
2
_

[f() g()[[f() g()[d

2B
2
_

[f() g()[d
C,
para C =
2B
2
. Como g es continua podemos aproximarla por un polinomio trigonometrico
P tal que |g P|
L
2 (Teorema A.6). Entonces |f P|
L
2 C

, para C

= 1 + C.
Podemos concluir (por el Lema A.27) la demostracion del Teorema A.25.
Observacion A.28. El Teorema A.25 y la relacion (A.5) implican que si a
n
es el n-esimo
coeciente de Fourier de una funcion integrable f, entonces la serie

n=
[a
n
[
2
converge,
y de hecho tenemos la llamada identidad de Parseval

n=
[a
n
[
2
= |f|
2
L
2
.
Para nalizar esta Seccion, presentaremos una version general de la identidad de Par-
seval, llamada la identidad bilineal de Parseval.
Lema A.29. Supongamos que F y G son funciones integrables en el crculo con
80
F

a
n
e
in
y G

b
n
e
in
.
Entonces
1
2
_

F()G()d =

n=
a
n
b
n
.
Demostracion. Este hecho se sigue directamente de aplicar la identidad de Parseval a la
relacion (A.1). Los detalles son sencillos pero laboriosos (ver [19]).
AP

ENDICE B
En este apendice presentaremos algunos resultados utilizados en la Seccion 2.1, as como
algunos ejemplos de la derivada debil cuya denicion se dio en le Seccion mencionada. El
apendice esta basado en [7].
Ejemplos de la derivada debil
La denicion de derivada debil extiende el concepto de derivada usual, esto es si
u C
N
() entonces u pertenece a W
k,p
(), siempre que N p. Pero el espacio W
k,p
()
es de hecho mas grande que C
p
().
Ejemplo B.1. Sea = (0, 2) (0, 1) y = (1, 1). Para
u(x, y) :=
_
xy si 0 < x 1, 0 < y < 1;
y si 1 < x < 2, 0 < y < 1,
aseguramos que
v(x, y) :=
_
1 si 0 < x 1, 0 < y < 1;
0 si 1 < x < 2, 0 < y < 1.
es la -esima derivada parcial debil de u.
Para ver esto, sea C

c
(), entonces integrando varias veces por partes y recordando
que se anula en la frontera tenemos
_
1
0
_
2
0
u(x, y)

x

y
(x, y)dxdy =
_

vdA,
lo cual concluye la armacion y con esto el ejemplo.
81
82
Por otro lado existen funciones que no tienen derivada parcial debil para cierto . Es
decir aunque el concepto de derivada debil extiende el de derivada, no todas las funciones
son derivables en el sentido debil.
Ejemplo B.2. Sea = (0, 2) (0, 2) y = (1, 1). Sea
u(x, y) :=
_
_
_
xy si 0 < x 1, 0 < y < 1;
y + 2 si 1 < x < 2, 0 < y < 1;
0 si 0 < x < 2, 1 y < 2.
Aseguramos que u

no existe en el sentido debil. Para ver esto, supongamos que existe v

integrable tal que para todo C

c
()
_

dA =
_

vdA.
Entonces, integrando varias veces por partes y tomando en cuenta que se anula en la
frontera de , podemos concluir que
_

vdA =
_
1
0
_
1
0
(x, y)dxdy + 2(1, 1).
Esto es, tenemos
_

vdA
_
1
0
_
1
0
(x, y)dxdy = 2(1, 1). (B.1)
Elijamos una sucesion
m

m=1
de funciones suaves que satisfacen: 0
m
1 en ,
(1, 1) = 1,
m
(x, y) 0 para todo (x, y) ,= (1, 1). Reemplazando por
m
en (B.1) y
haciendo m tenemos
2 = 2 lm
m
(1, 1)
= lm
m
__

v
m
dA
_
1
0
_
1
0
(x, y)dxdy
_
= 0,
lo que constituye una contradiccion.
La desigualdad de Poincare
Antes de abordar el Teorema 2.7, enunciaremos un Lema fundamental para la de-
mostracion de este Teorema, la desigualdad general de H older.
Lema B.3. Sean 1 p
1
, .. p
m
, con
1
p
1
+
1
p
2
+.. +
1
p
m
= 1, y supongamos que
u
k
L
p
k
() para k = 1, .., m. Entonces
_

[u
1
u
2
u
m
[dx
m

k=1
|u
k
|
L
p
k()
.
83
Demostracion. La demostracion es por induccion sobre m, y utilizando la desigualdad
de Holder (ver A.13).
Denicion B.4. Si 1 p < n, el conjugado de Sobolev de p es p

:=
np
n p
.
Notemos que
1
p

=
1
p

1
n
,
y por lo tanto p

> p.
Teorema B.5. Supongamos que 1 p < n. Entonces existe una constante C, que depende
solo de p y n, tal que
|u|
L
p

(R
n
)
C|Du|
L
p
(R
n
)
,
para toda u C
1
c
(R
n
).
Demostracion.
1. Primero supongamos que p = 1. Puesto que u tiene soporte compacto, para cada
i = 1, .., n y x R
n
tenemos
u(x) =
_

u
x
i
(x
1
, , x
i1
, y
i
, x
i+1
, , x
n
)dy
i
,
y por lo tanto para i = 1, .., n
[u(x)[
_

[Du(x
1
, , x
i1
, y
i
, x
i+1
, , x
n
)[dy
i
.
Y por consecuencia
[u(x)[
n
n1

i=1
__

[Du(x
1
, , y
i
, , x
n
)[dy
i
_ 1
n1
. (B.2)
Integrando esta desigualdad con respecto de x
1
:
_

[u(x)[
n
n1
dx
1

_

i=1
__

[Du[dy
i
_ 1
n1
dx
1
(B.3)
=
__

[Du[dy
1
_ 1
n1
_

i=2
__

[Du[dy
i
_ 1
n1
dx
1

__

[Du[dy
1
_ 1
n1
_
_

i=2
[Du[dx
1
dy
i
_ 1
n1
.
84
La ultima desigualdad resulta de la desigualdad general de H older (ver Lema B.3).
Ahora integrando (B.3) con respecto de x
2
:
_

[u(x)[
n
n1
dx
1
dx
2

__

[Du[dx
1
dy
2
_ 1
n1
_

i=2,i=2
I
1
n1
i
dx
2
,
donde
I
1
=
_

[Du[dy
1
, I
i
=
_

[Du[dx
1
dy
i
(i = 3, .., n)
aplicando una vez mas la desigualdad extendida de H older, encontramos
_

[u(x)[
n
n1
dx
1
dx
2

__

[Du[dx
1
dy
2
_ 1
n1
__

[Du[dy
1
dx
2
_ 1
n1
n

i=3
__

[Du[dx
1
dx
2
dx
3
_ 1
n1
Si continuamos integrando con respecto de x
3
, .., x
n
eventualmente encontramos
_
R
n
[u[
n
n1
dx
n

i=1
__

[Du[dx
1
..dy
i
..dx
n
_ 1
n1
=
__
R
n
[Du[dx
_ n
n1
. (B.4)
Lo que concluye el Teorema cuando p = 1.
2. consideremos ahora el caso 1 < p < . Podemos aplicar la estimacion (B.4) a
v := [u[

, donde > 1 es convenientemente seleccionada. Entonces

__
R
n
[u[

n1
dx
_ n
n1

_
R
n
[D[u[

[dx
=
_
R
n
[u[
1
[Du[dx (B.5)

__
R
n
[u[
(1)
p
p1
dx
_ p
p1
__
R
n
[Du[
p
dx
_1
p
.
Escojamos tal que
n
n1
= ( 1)
p
p1
. Esto es, sea
:=
p(n 1)
n p
> 1;
en cuyo caso
n
n1
= ( 1)
p
p1
=
np
np
= p

. Entonces la armacion del Teorema se

sigue tambien para p > 1.
85
Necesitamos que u tenga soporte compacto por que como es evidente para funciones con-
stantes el resultado no es cierto.
Teorema B.6. Supongamos que es un subconjunto abierto de R
n
acotado. Supongamos
que u J
1,p
0
() para alg un 1 p < n. Entonces tenemos la estimacion
|u|
L
q
()
C|Du|
L
p
()
,
para cada q [1, p], la constante C dependiendo solo en p, q, n y .
En particular, para todo 1 p ,
|u|
L
p
()
C|Du|
L
p
()
.
Demostracion. Como u J
1,p
0
(), existen funciones u
m
C

c
() (m=1,2,..) que con-
vergen a u en J
1,p
(). Extendiendo cada funcion u
m
como 0 en R
n
y aplicando el
Teorema B.5 podemos descubrir que (cuando m ) |u|
L
p

()
C|Du|
L
p
()
. Como
[[ < , tenemos ademas |u|
L
q
()
C|Du|
L
p
()
si 1 q p

.
Observacion B.7. Esta estimacion algunas veces es llamada la desigualdad de Poincare.
Otros tipos de desigualdades de Poincare pueden ser vistas en [7].
Observacion B.8. El Teorema B.6 y el Teorema 2.6 son ciertos para conjuntos abiertos
conexos, y no se pide nada sobre la regularidad de la frontera del conjunto. Entonces el
Teorema 2.14 es cierto en general para conjuntos abiertos y acotados no importando la
regularidad de su frontera.
86
AP

ENDICE C
El principal objetivo de este apendice es introducir el concepto de espectro de un
operador, y estudiar algunas propiedades basicas de este en operadores autoadjuntos. La
presentacion esta basada en [18].
El espectro de un operador autoadjunto
Denicion C.1. Un operador es una transformacion lineal T : D(T) H, donde D(T)
es un subespacio lineal denso del espacio de Hilbert H.
Denicion C.2. Sea H un espacio de Hilbert. Sea T : D(T) H un operador en H,
entonces denimos la norma del operador T como
|T| = sup|T()|
H
: ||
H
1.
En caso de que |T| < entonces a el operador T se le denomina operador acotado.
Es bien sabido que un operador es acotado si y solo si es continuo (en el sentido usual).
Como ejemplo de operadores acotados tenemos cualquier transformacion lineal de R
n
en R
n
. Mas generalmente si T : J J ( J es un espacio vectoriales normados) es una
transformacion lineal y la dimension de J es nita, entonces T es un operador acotado.
El siguiente Teorema caracteriza todos los operadores acotados en espacios de Hilbert.
Teorema C.3. (Lema de la representacion de Riesz). Sea T : H H un operador
acotado. Entonces existe un unico y H tal que, Tx = x, y) para todo x H.
Existen operadores que no son acotados. A continuacion presentamos algunos ejemplos
de esto.
87
88
Ejemplo C.4. Denotemos por por D(T) el espacio vectorial de las funciones en L
2
(R
2
)
que satisfacen
_
R
2
x
2
y
2
[(x, y)[
2
dxdy < . Para D(T) denamos T : H H como
(T)(x, y) = xy(x, y).
Claramente T es lineal. Para todo n N sea

n
:=
1
2n

[n,n]

[n,n]
,
la funcion caracterstica en el cuadrado [n, n] [n, n].
Puesto que
_
R
2
[
n
(x, y)[
2
dxdy = 1, entonces
n
L
2
(R
2
). Sin embargo
_
R
2
x
2
y
2
[(x, y)[
2
dxdy =
n
4
9
,
por lo que |T| = . Por lo tanto T es no acotado.
Ejemplo C.5. Sea H = L
2
(R). Denotemos por D(T) el conjunto de funciones innitamente
diferenciables en R para las cuales
||
,
sup
xR
[x

[ < ,
para todos , N. En D(T) denamos T : H H por (T())(x) =

(x) +x
2
(x).
Claramente T es lineal. Para todo n N sea

n
(x) =
(1)
n
(n!2
n
)
1/2
e
1
2
x
2
d
n
dx
n
e
x
2
.
Puesto que |
n
|
L
2 = 1,
n
D(T). Por otro lado T((x)) = (2n + 1)(x) entonces
|T((x))|
L
2 = (2n + 1). Por lo tanto T no es acotado.
Ejemplo C.6. Sea R
2
y sea H = L
2
(). Consideremos a T = =

2

2
x


2

2
xy
y
tomemos a D(T) = H
1
0
(). Por el Teorema 2.14 existe una sucesion

1

2

3
...
de eigenvalores reales positivos, a los cuales se les puede asociar un conjunto ortonormal
de eigenfunciones
n
, es decir
T
j
=
j

j
,
para todo j. Entonces cuando j ,
|T
j
|
H
1
0
()
=
j
|
j
|
H
1
0
()
.
Por lo que T es no acotado.
Un concepto de gran utilidad en el estudio de operadores no acotados es la nocion de
graca de un operador.
89
Denicion C.7. Sea T : D(T) H un operador. La graca de T denotada por (T) es
el conjunto de pares
(, ) : = T().
Entonces (T) es un subconjunto de HH, que es un espacio de Hilbert con el producto
interno
(
1
,
1
), (
2
,
2
)) =
1
,
2
) +
1
,
2
).
Teorema C.8. (De la Graca Cerrada) Sea H un espacio de Hilbert y T : H H
una transformaci on lineal, entonces T es acotada si y solo si la graca de T es cerrada.
Una importante consecuencia del Teorema de la graca cerrada es el siguiente corolario.
Corolario C.9. (El Teorema de Hellinger-Toeplitz) Sea T : H H un operador
lineal con (, T()) = (T(), ) para todo , H. Entonces T es acotado.
Del Teorema de Hellinger-Toeplitz, podemos observar que para un operador no acotado
T no puede suceder (, T()) = (T(), ) para todo , H.
Denicion C.10. Sea T : D(T) H, donde D(T) es un subespacio denso del espacio de
Hilbert H. Diremos que T es cerrado si (T) es un subconjunto cerrado de HH.
Podemos introducir ahora el concepto de operador adjunto.
Denicion C.11. Sea T : D(T) H un operador con D(T) un subespacio denso del
espacio de Hilbert H. Denamos por D(T

) al subespacio vectorial de H para los

cuales existe un H con (T, ) = (, ) para todo D(T). Denamos tambien
T

() = (con lo cual T

es lineal). T

es llamado el adjunto de T.
Podemos observar que D(T

) si y solo si [(T, )[ C|| para todo D(T),

lo cual es una consecuencia inmediata del Lema de Riesz (Lema C.3). Otra observacion
que no es trivial es el hecho de que D(T

) puede no ser denso, como vemos en el siguiente

ejemplo.
Ejemplo C.12. Sea f : X R una funcion medible y acotada que no es cuadrado
integrable, en un espacio de medida finito, (X, ). Sea
D(T) =
_
L
2
(X, ) :
_
X
[f(x)[[(x)[d <
_
.
90
Claramente todas las funciones de soporte compacto en X estan en D(T) por lo que D(T)
es denso en L
2
(X, ). Sea 0 ,=
0
L
2
(X, ) jo y denamos T = (f, )
0
para todo
D(T).
Supongamos que D(T

), entonces
(, T

) = (T, ) = ((f, )
0
, )
= (f, )(
0
, ) = (, f)(
0
, )
= (
0
, )(, f)
= (, (
0
, )f)
para todo D(T). Entonces T

= (
0
, )f. Puesto que f no esta en L
2
(X, ), entonces
T

L
2
(X, ) si y solo si (
0
, ) = 0. Por lo que cualquier D(T

) es ortogonal a

0
. Entonces D(T

) no es denso y de hecho esta contenido en el conjunto de los vectores

perpendiculares a
0
.
Ahora, denimos el espectro de un operador, cuyo estudio simplica en gran medida
su comprension.
Denicion C.13. Sea T : D(T) H un operador cerrado. El conjunto resolvente de T
denotado por (T), es el conjunto de C tales que T

:= (T I) es una biyeccion en
D(T) con inversa acotada. Si (T), R

(T) := (T I)
1
es llamado el resolvente de
T en . Si no esta en (T) diremos que esta en el espectro (T) de T.
Denicion C.14. Si 0 ,= D(T) satisface T = para alg un C diremos que es
una eigenfuncion de T, es el correspondiente eigenvalor. Al conjunto de eigenvalores
se le llama el espectro punto de T.
Es facil convencerse que si es un eigenvalor de T entonces (T I) no es una biyeccion
en D(T), por lo que el espectro punto de T esta en el espectro de T. As tambien por el
Teorema de la graca cerrada (Teorema C.8) es suciente probar que ((T I)
1
) es
cerrada en HH para demostrar que (T I)
1
es acotada.
Teorema C.15. Sea T : D(T) H un operador cerrado. Entonces (T) es un subcon-
junto abierto del plano complejo.
Puesto que (T) = ((T))
c
, el espectro de un operador no acotado es cerrado. Pero a
diferencia de los operadores acotados (T) puede ser no acotado o vaco.
Ejemplo C.16. Denotemos por AC[0, 1] al conjunto de funciones absolutamente continuas
91
en [0, 1] cuyas derivadas estan en L
2
[0, 1]. Sean T
1
, T
2
: i
d
dx
, con conjuntos
D(T
1
) = : AC[0, 1]
D(T
2
) = : AC[0, 1], (0) = 0.
D(T
1
), D(T
2
) son densos en L
2
[0, 1]. Y T
1
, T
2
son cerrados.
Observemos que (I T
1
)e
ix
= 0 para todo C. Y como e
ix
D(T
1
) C,
entonces (T
1
) = C.
Sea g(x) D(T
2
), y denamos el operador
(S

g)(x) = i
_
x
0
e
i(xs)
g(s)ds,
entonces S

satisface:
(I T
2
)(S

g)(x) = (I T
2
)i
_
x
0
e
i(xs)
g(s)ds
= i
_
x
0
e
i(xs)
g(s)ds +
d
dx
_
x
0
e
i(xs)
g(s)ds
= g(x).
S

(I T
2
)g(x) = i
_
x
0
e
i(xs)
(g(s) i
d
ds
g(s))ds
= i
_
x
0
e
i(xs)
g(s)ds +
_
x
0
e
i(xs)
d
ds
g(s)ds
= g(x).
Por lo que para todo C (I T
2
) tiene por inversa a S

. S

es acotada pues
|S

g|
L
2
[0,1]
=
_
1
0
[(S

g)(x)[
2
( sup
x[0,1]
[(S

g)(x)[)
2
C()|g|
L
2
[0,1]
.
Por lo que (T
2
) es el conjunto vaco.
Entonces la eleccion del dominio inuye de forma notable en el espectro de un operador.
Ahora deniremos una importante familia de operadores, los operadores autoadjuntos.
Denicion C.17. Sea T : D(T) H un operador, en donde D(T) es un subespacio denso
del espacio de Hilbert H. T se dice simetrico (o Hermitiano) si D(T) D(T

) y T = T

para todo D(T). Equivalentemente T es simetrico si y solo si

(T, ) = (, T),
para todo , D(T).
92
Denicion C.18. T se dice autoadjunto si T = T

, es decir, T es simetrico y D(T) = D(T

).
Ejemplo C.19. Sea H = L
2
(), donde es un conjunto abierto y conexo del plano. Y
consideremos el operador de Laplace denido en el ejemplo C.6, T : H
1
0
() L
2
().
Entonces T es un operador autoadjunto.
Teorema C.20. Sea T : D(T) H un operador autoadjunto en H, entonces:
1. Todos los eigenvalores de T son reales (si existen).
2. Eigenfunciones correspondientes a eigenvalores distintos son ortogonales.
Demostracion.
1. Sea un eigenvalor de T, esto es, existe 0 ,= D(T) tal que T = , entonces
puesto que T es autoadjunto
, ) = , ) = T, )
= , T) = , )
= , ).
Y puesto que , ) > 0 entonces = , por lo que es real.
2. Sean y dos eigenvalores distintos de T con respectivas eigenfunciones , .
Entonces
, ) = , ) = T, )
= , T) = , )
= , ).
Como el supuesto es que ,= , la unica forma de tener esta igualdad es que y
sean ortogonales.
Por lo que el Teorema ha sido probado.
Concluiremos este apendice mencionando una importante caracterstica de los oper-
adores autoadjuntos.
Teorema C.21. Sea T : D(T) H un operador en H. Si T es autoadjunto (T) es igual
al espectro punto de T.
Bibliografa
[1] T.J. Bannon, Fractals and Transformations, Mathematics Teacher, March (1991).
[2] R. J. Biezuner, Notas de Aula Autovalores do Laplaciano. Universidade Federal de
Minas Gerais (UFMG), (2006).
[3] J.H. Bramble and B.E. Hubbard Eects of Boundary regularity on the discretiza-
tion error in the xed membrane eigenvalue problem. SIAM J. Numer Ana vol. 5,
Number 4 (1968).
[4] H. Brascamp and E. Lieb, On extensions of the Brunn-Minkowski and Prekopa-
Leindler theorems, including inequalities for log concave unctions, and with an appli-
cation to the diusion equation. J. Functional Analysis, 22, 366-389 (1976).
[5] V. Blasjo, The isoperimetric problem, American Math. Monthly 112, 526-566 (2005).
[6] F. Brock, Continuous Steiner symetrization, Math Nachr 172, 25-48 (1995).
[7] L. C. Evans , Partial Dierential Equations, Graduate Studies in Mathematics Vol-
ume 19, American Mathematical Society.
[8] C. Faber, Beweiss, dass unter allen homogenem Membrane von gleicher Flache und
gleicher Spannung die kreisf ormige die tiefsten Grundton gibt. Sitzbungber. Bayer
Akad. Wiss. Math-Phys. Munich, 169-172 (1923).
[9] G. Friedlander and M. Joshi, Introduction to the Theory of Distribution. Cam-
bridge University Press, second ed. (1998).
[10] G. E. Forsythe Asymmptotic lower bounds for the fundamental frequency of the
convex membranes. , (2004).
[11] A. Henrot Extremun Problems for Eigenvalues of Elliptic Operators. Birkhauser
Verlag, (2006).
93
94
[12] J. Ize, Calculo de variaciones, Serie FENOMEC, (2002).
[13] E. Krahn,

Uber eine von Rayleigh formulierte Minimaleigenschafte des Kreises,
Math. Ann. 94, 97-100.
[14] V. Liskevich Measure theory (1998).
[15] X. N. Moreno, Mujeres, manzanas y matematicas, Primera edicion, Editorial
Nivola,(2000).
[16] M. A. Pinsky, Partial Dierential Equations and Boundary-Value Problems with
Applications, Third Edition, Editorial McGraw-Hill, (1998).
[17] J.W. Rayleigh , The Theory of Sound, Dover.
[18] M. Reed and B. Simon, Funtional analysis, Elsevier, Vol. I (1980).
[19] E. M. Stein and R. Shakarchi, Fourier Analisis an Introduction., Princenton
Lectures in Analisis I, (2000).