Cotas superiores e inferiores del primer autovalor no nulo

de una red pesada
Bendito, E.; Carmona, A.; Encinas, A.M.; Gesto, J.M.
*
Matem` atica Aplicada III
UPC,
Jordi Girona Salgado 1-3,Barcelona
andres.marcos.encinas@upc.edu
Resumen. En este trabajo se presentan cotas superiores e inferiores del primer autovalor
no nulo de una red pesada, en t´ erminos de medidas de equilibrio de los subconjuntos de
v´ ertices cuyo complementario tiene cardinal igual a 1. Tambi ´ en mostramos la bondad de
las cotas obtenidas a partir del an´ alisis de algunos grafos para los que se conoce o bien
el valor exacto del primer autovalor no nulo o bien su comportamiento asint ´ otico con el
tama˜ no del grafo.
Palabras clave. Redes pesadas, laplaciano discreto, autovalores, medidas de equilibrio.
1. Introduction
Es bien conocido que la obtenci ´ on del primer autovalor no nulo de un grafo
o una red es un problema NP-completo. Por tanto, cualquier acotaci ´ on no trivial
tiene gran inter´ es y es potencialmente importante. En los ´ ultimos a˜ nos se han
obtenido cotas del primer autovalor no nulo de una red en t´ erminos ´ unicamente
de par´ ametros relevantes de la propia red, tales como el tama˜ no, orden, di´ ametro
o grado, ver por ejemplo [3, 4, 5, 6, 7, 8, 9].
Las t´ ecnicas que usaremos aqu´ı son las usuales en este contexto, es decir se
basan en la aplicaci ´ on de la versi ´ on discreta de la Identidad de Green y en la
caracterizaci ´ on variacional de los autovalores. La principal novedad del trabajo
reside en el tipo de funciones utilizadas, concretamente las medidas de equilibrio
de los complementarios de conjuntos unipuntuales. El uso de medidas de equili-
brio en este contexto fue introducido en [1] para determinar cotas de la constante
de Cheeger y del primer autovalor de los problemas de Dirichlet planteados sobre
una red. Un an´ alisis m´ as completo, contemplando problemas de contorno autoad-
juntos m´ as generales, ha sido realizado en [2].
*
Parcialmente financiado por la ETSECCPB y por el proyecto BFM2003-06014.
133
134 Bendito, E. et al.
2. Preliminares
En esta comunicaci ´ on Γ = (V, E) denotar´ a un grafo finito simple conexo y sin
lazos cuyos conjuntos de v´ ertices y de ramas son V y E, respectivamente. Dos
v´ ertices x, y ∈ V se denominan adyacentes, lo que representaremos como x ∼ y,
si {x, y} ∈ E. Los conjuntos de funciones reales en V y en V ×V se denotar´ an
por C(V) y C(V ×V), respectivamente. En particular, denotaremos por 1 a la
funci ´ on constantemente igual a 1 en V. Por otra parte, si u ∈ C(V), entonces el
valor ∑
y∈V
u(y) ser´ a denotado por

V
udy.
Denominaremos red a un par (Γ, c) donde Γ = (V, E) es un grafo finito simple
conexo y sin lazos y c ∈ C(V ×V) es sim´ etrica y satisface que c(x, y) > 0 cuyo
x ∼y y c(x, y) = 0 en otro caso.
El operador de Laplace-Beltrami de la red (Γ, c) es el operador lineal
L
c
: C(V) −→C(V)
que asigna a cada u ∈ C(V) la funci ´ on
L
c
u(x) =

V
c(x, y)
_
u(x) −u(y)
_
dy, x ∈V. (1)
Es bien conocido que el operador de Laplace-Beltrami de la red (Γ, c) es au-
toadjunto, es decir satisface la denominada Identidad de Green

V
vL
c
udy =

V
uL
c
vdy, para cada u, v ∈ C(V). (2)
Denominaremos funci ´ on de peso en V, o simplemente peso a cada funci ´ on
ν ∈ C(V) que satisface que ν(x) > 0 para cada x ∈ V. Una red pesada es una
tripleta (Γ, c, ν) donde (Γ, c) es una red y ν un peso sobre V.
Fijada una red pesada (Γ, c, ν), para cada u ∈ C(V) consideraremos los valo-
res
||u||
1,ν
=

V
|u| ν dy y ||u||
2,ν
=
_

V
u
2
ν dy
_1
2
y en particular, definimos el volumen de V como vol
ν
(V) =||1||
1,ν
. Cuando ν =1,
omitiremos ν en las notaciones anteriores. En este caso, vol(V) no es m´ as que el
cardinal de V.
Para cada subconjunto propio F ⊂V, existe γ
ν,F
∈C(V), denominada medida
de equilibrio de F y caracterizada por satisfacer que γ
ν,F
(x) > 0 para cada x ∈
F, γ
ν,F
(x) = 0 si x ∈ V \ F y L
c
γ
ν,F
= ν sobre F, ver por ejemplo [1] y las
referencias all´ı citadas. En particular, cuando F =V \{x}, la medida de equilibrio
Cotas superiores e inferiores del primer autovalor 135
de F ser´ a denotada simplemente por γ
ν
x
. Nuevamente omitiremos el s´ımbolo ν
cuyo ν = 1.
Aplicando la Identidad de Green (2), obtenemos que
vol
ν
(V) = ν(x) −L
c
γ
ν
x
(x) +

V
L
c
γ
ν
x
dy
y en definitiva que la actuaci ´ on del operador de Laplace-Beltrami sobre cada me-
dida de equilibrio de cada conjunto V \{x} es
L
c
γ
ν
x
= ν −vol
ν
(V)ε
x
. (3)
3. Autovalores de una red
Si (Γ, c, ν) es una red pesada, el problema de autovalores para el operador de
Laplace-Beltrami, con respecto del peso ν consiste en encontrar λ ∈ IR tal que
existe u ∈ C(V) no nula que verifica
L(u) = λ ν u. (4)
Es bien conocido, ver por ejemplo [5], que λ = 0 es autovalor simple de (4)
cuyas autofunciones son constantes y que el resto de autovalores son estrictamente
positivos.
En lo sucesivo, denotaremos por λ(Γ, c, ν) al primer autovalor no nulo del
problema (4), que puede caracterizarse desde un punto de vista variacional, ver
[2, 5], como
λ(Γ, c, ν) = m´ın
u∈C(V)
_
||u||
−2
2,ν

V
uLudx :

V
uν dx = 0
_
. (5)
Nuestro objetivo es determinar cotas superiores e inferiores de λ(Γ, c, ν) en
t´ erminos de las medidas de equilibrio γ
ν
x
, con x ∈V. El resultado fundamental, es
el siguiente:
Proposici ´ on 1. If (Γ, c, ν) es una red pesada, entonces se satisface que
m´ın
x∈V
_
vol
ν
(V)
||γ
ν
x
||
1,ν
_
≤λ(Γ, c, ν) ≤m´ın
x∈V
_
vol
ν
(V)||γ
ν
x
||
1,ν
vol
ν
(V)||γ
ν
x
||
2
2,ν
−||γ
ν
x
||
2
1,ν
_
.
Demostraci ´ on. Fijado x ∈ V, consideremos v = ||γ
ν
x
||
1,ν
−vol
ν
(V)γ
ν
x
. Entonces
se tiene que

V
vν dy = 0,

V
vL
c
vdy = vol
ν
(V)
2
||γ
ν
x
||
1,ν
y adem´ as que ||v||
2
2,ν
=
vol
ν
(V)
2
||γ
ν
x
||
2
2,ν
−vol
ν
(V)||γ
ν
x
||
2
1,ν
. Por otra parte, como se verifica que v(x) =
136 Bendito, E. et al.
||γ
ν
x
||
1,ν
> 0, entonces v no es nula y la ´ ultima cantidad es estrictamente posi-
tiva, de manera que la cota superior sigue de la caracterizaci ´ on variacional de
λ(Γ, c, ν).
Por otra parte, si u ∈ C(V) es una autofunci ´ on no nula asociada a λ(Γ, c, ν),
necesariamente

V
uν dy = 0 y adem´ as, aplicando nuevamente la Identidad de
Green, para cada x ∈V resulta que
λ(Γ, c, ν)

V

ν
x
ν dy =

V
γ
ν
x
L
c
udy =

V
uL
c
γ
ν
x
dy
=

V
uν dy −vol
ν
(V)u(x) =−vol
ν
(V)u(x),
donde hemos utilizado la identidad (3). Adem´ as, como λ(Γ, c, ν) >0, la identidad
anterior implica que
vol
ν
(V)|u(x)| = λ(Γ, c, ν)
¸
¸
¸
¸

V

ν
x
ν dy
¸
¸
¸
¸
≤λ(Γ, c, ν)

V
|u| γ
ν
x
ν dy, x ∈V.
Por tanto, si x
0
∈V es tal que |u(x
0
)| = m´ ax
x∈V
{|u(x)|}, entonces

V
|u| γ
ν
x
0
ν dy ≤|u(x
0
)| ||γ
ν
x
0
||
1,ν
y en consecuencia, vol
ν
(V) ≤λ(Γ, c, ν)||γ
ν
x
0
||
1,ν
, de donde la cota inferior resulta
inmediatamente.
Concluiremos esta comunicaci ´ on mostrando la bondad de las cotas obteni-
das, contrastando los resultados con algunos ejemplos de grafos para los que se
conocen cotas del primer autovalor no nulo. Como en todos los casos c(x, y) = 1
cuando x ∼y y ν =1, el autovalor λ(Γ, c, ν) ser´ a denotado simplemente por λ(Γ).
Ejemplo 1: El camino de n ≥2 v´ ertices, P
n
.
Supondremos que P
n
={x
0
, x
1
, ..., x
n−1
}. En este caso, es sencillo comprobar
que para cada j = 0, . . . , n−1, la medida de equilibrio γ
x
j
est´ a determinada por la
identidad
γ
x
j
(x
i
) =
1
2
( j −i)( j +i +1) −n( j −i)
_
0, 0 ≤i ≤ j,
1, j ≤i ≤n−1,
lo que implica que ||γ
x
j
||
1
=
n
6
(n−1)(2n−1) −nj(n− j −1) y por tanto
||γ
x
j
||
2
1
=
n
2
36
(n−1)
2
(2n−1)
2
+n
2
j
2
(n− j −1)
2

n
2
j
3
(n− j −1)(n−1)(2n−1).
Cotas superiores e inferiores del primer autovalor 137
Por otra parte,
||γ
x
j
||
2
2
=
n
30
(n−1)(2n−1)
_
2n(n−1) +1
_

nj
3
(n− j −1)
_
2n(n−1) −2j(n− j −1) +1
_
,
lo que implica que
n||γ
x
j
||
2
2
−||γ
x
j
||
2
1
=
n
2
180
(n
2
−1)(4n
2
−1) −
n
2
3
j( j +1)(n− j)(n− j −1).
En definitiva, para cada j = 0, . . . , n−1 tenemos que
n||γ
x
j
||
1
n||γ
x
j
||
2
2
−||γ
x
j
||
2
1
=
30[(n−1)(2n−1) −6j(n− j −1)]
(n
2
−1)(4n
2
−1) −60j( j +1)(n− j)(n− j −1)
,
expresi ´ on que toma su m´ınimo valor en j = 0 cuando n ≤4 y en
j =
_
n−1
2
+
1
30
_
30
_
10(4n
2
−1)(n
2
−1) −75(n
2
−1)
_
,
si n > 4, mientras que el m´ınimo de
n
||γ
x
j
||
1
se alcanza en j = 0, para cualquier n.
Obtenemos pues que las cotas determinadas por la proposici ´ on son
6
(n−1)(2n−1)
≤λ(P
n
) ≤
30
(n+1)(2n+1)
, n ≥2,
lo que implica que
3
n
2
≤λ(P
n
) ≤
15
n
2
, mientras que es bien conocido, ver [5], que
λ(P
n
) = 2−2cos
_
π
n
_

π
2
n
2
.
Ejemplo 2: El grafo dumbbell de n = 2k, k ≥2, v´ ertices, D
n
.
Este tipo de grafos se construyen partiendo de dos grafos completos de k v´ erti-
ces, L y R, unidos por una rama que conecta dos v´ ertices arbitrariamente escogidos
x ∈ L y ˆ x ∈ R. Claramente, la simetr´ıa del grafo hace que sea suficiente calcular
las medidas de equilibrio γ
y
para y ∈ L. Si y = x, entonces
γ
y
(z) =
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
n, si z ∈ L, z = x,
n−1, si z = x,
3n−2
2
, si z = ˆ x,
3n
2
, si z ∈ R, z = ˆ x,
138 Bendito, E. et al.
de donde ||γ
y
||
1
=
1
4
(5n
2
−4k −8) y ||γ
y
||
2
2
=
1
8
(13n
3
−8n
2
−40n+16). Por otra
parte,
γ
x
(z) =
_
¸
¸
¸
¸
_
¸
¸
¸
¸
_
1, si z ∈ L, z = x,
n
2
, si z = ˆ x,
n+2
2
, si z ∈ R, z = ˆ x,
lo que implica que ||γ
x
||
1
=
1
4
(n
2
+4n−8) y ||γ
x
||
2
2
=
1
8
(n
3
+4n
2
−16). En defi-
nitiva,
4n
5n
2
−4n−8
≤λ(D
n
) ≤
4n(n
2
+32n−64)
n
4
+32n−64
,
lo que confirma la estimaci ´ on λ(D
n
) ∈ O(n
−1
) obtenida en [3].
Ejemplo 3: El grafo barbell de n = 6k −1, k ≥1, v´ ertices, B
n
.
Este tipo de grafos se construyen partiendo de un camino de 2k +1 vertices,
etiquetados como x
−k
, . . . , x
0
, . . . , x
k
en cada uno de cuyos extremos, x
−k
y x
k
, se
adjunta un grafo completo de 2k v´ ertices usando un conjunto de 2k −1 nuevos
v´ ertices, que denotaremos por L y R respectivamente. Claramente, la simetr´ıa del
grafo hace que sea suficiente calcular las medidas de equilibrio γ
x
para x ∈ R∪
{x
0
, . . . , x
k
}. Fijado x ∈ R, entonces
γ
x
(y) =
_
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
_
n(n
2
+2n+37)
6(n+1)
, si y ∈ L,
7n
3
+15n
2
+369n−71
72(n+1)

i
2
(n+i), si y = x
i
, i =−k, . . . , k,
3n
n+1
, si y ∈ R, y = x,
lo que implica que ||γ
x
||
1
=
1
86(n+1)
(7n
4
+28n
3
+411n
2
+523n−110) y
||γ
x
||
2
2
=
94n
7
+373n
6
+7734n
5
+13145n
4
+170651n
3
−73968n
2
−97649n+10060
7290(n+1)
2
.
Cotas superiores e inferiores del primer autovalor 139
Por otra parte, si j = 0, . . . , k, entonces
γ
x
j
(y) =
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
(n+1)(5n−1)
72
+
j
2
(n+ j) +1, si y ∈ L,
( j −i)
2
(n+ j +i), si y = x
i
, i =−k, . . . , j,
(i − j)
2
(n−i − j), si y = x
i
, i = j, . . . , k
(n+1)(5n−1)
72

j
2
(n+ j) +1, si y ∈ R, ,
lo que implica que ||γ
x
j
||
1
=||γ
x
0
||
1
+ j
2
n y tambi´ en que
||γ
x
j
||
2
2
=||γ
x
0
||
2
2
+
j
2
81
_
54j
2
n+25n
3
+3n
3
+57n−110
_
,
donde ||γ
x
0
||
1
=
1
324
(513n
3
+324n
2
+5427n−1880) y adem´ as
||γ
x
0
||
2
2
=
1
648
_
37k
5
+50n
4
+970n
3
−1070n
2
+4793n−12620
_
.
Por tanto,
648n
53n
3
+51n
2
+411n−833
≤ λ(B
n
), si n = 5, 11, 17, mientras que
81n(n+1)
7n
4
+28n
3
+411n
2
+523n−110
≤λ(B
n
), cuando n ≥23. Adem´ as en cualquier
caso,
λ(B
n
) ≤
810n(n+1)(7n
4
+28n
3
+411n
2
+523n−110)
356n
8
−563n
7
+4226n
6
−185075n
5
−430831n
4
−4903172n
3
−2709931n
2
+1241140n−121000
Todo lo anterior confirma la estimaci ´ on λ(B
n
) ∈ O(n
−2
) obtenida tambi´ en en [3].
Bibliograf´ıa
[1] E. BENDITO, A. CARMONA y A. M. ENCINAS, Acotaci ´ on de la cons-
tante de Cheeger y los autovalores del Operador de Laplace de una red, IV
Jornadas de Matem´ atica Discreta y Algor´ıtmica, UPM, (2004), 255–262.
[2] E. BENDITO, A. CARMONA, A. M. ENCINAS y J.M. GESTO, Cheeger
constant, Eigenvalues y Equilibrium Measures of Networks, Submitted.
[3] S. BOBKOV, C. HOUDR
´
E y P. TETALI, λ

, vertex isoperimetry y concen-
tration, Combinatorica 20 (2000), 153–172.
140 Bendito, E. et al.
[4] A. BERMAN y X.D. ZHANG, Lowers bounds for the eigenvalues of Lapla-
cian matrices, Linear Algebra Appl. 316 (2000), 13–20.
[5] F.R.K. CHUNG, Spectral Graph Theory, CBMS Regional Conference Se-
ries in Mathematics, 92, AMS, 1997.
[6] S. DRAGOMIR y E. BARLETTA, A new upper bound on the Cheeger num-
ber of a graph, J. Combin. Theo. Serie B, 82 (2001), 167–174.
[7] J-S. LI y X-D. ZHANG, On the Laplacian eigenvalues of a graph, Linear
Algebra Appl., 285 (1998), 305–307.
[8] Y. OHNO y H. URAKAWA, On the first eigenvalue of the combinatorial
Laplacian for a graph, Interdiscip. Inform. Sci., 1 (1994), 33–46.
[9] H. URAKAWA, The Cheeger constant, the heat kernel, and the Green kernel
of an infinite graph, Monatsh. Math. 138 (2003), 225–237.

ver por ejemplo [1] y las referencias all´ citadas. definimos el volumen de V como volν (V ) = ||1||1. c) es una red y ν un peso sobre V . o simplemente peso a cada funcion o ν ∈ C (V ) que satisface que ν (x) > 0 para cada x ∈ V . (2) ´ Denominaremos funci´ n de peso en V . lo que representaremos como x ∼ y. v ∈ C (V ). si u ∈ C (V ). Fijada una red pesada (Γ. c. c) donde Γ = (V.ν = V u2 ν dy 2 y en particular. y) = 0 en otro caso. para cada u ∈ C (V ) consideraremos los valores 1 ||u||1. entonces el valor ∑ u(y) ser´ denotado por a y∈V Denominaremos red a un par (Γ.F (x) > 0 para cada x ∈ F. y) u(x) − u(y) dy. a omitiremos ν en las notaciones anteriores. ν ). Por otra parte. ν ) donde (Γ. c. c(x. et al. El operador de Laplace-Beltrami de la red (Γ. Preliminares En esta comunicaci´ n Γ = (V. E. Para cada subconjunto propio F ⊂ V . c) es autoadjunto. e si {x. E) es un grafo finito simple conexo y sin lazos y c ∈ C (V × V ) es sim´ trica y satisface que c(x. E) denotar´ un grafo finito simple conexo y sin o a lazos cuyos conjuntos de v´ rtices y de ramas son V y E. En particular. c) es el operador lineal Lc : C (V ) −→ C (V ) que asigna a cada u ∈ C (V ) la funci´ n o Lc u(x) = V V u dy. y) > 0 cuyo e x ∼ y y c(x.ν . 2. En este caso. para cada u. denotaremos por 1 a la o funci´ n constantemente igual a 1 en V . respectivamente. respectivamente. denominada medida de equilibrio de F y caracterizada por satisfacer que γ ν . Cuando ν = 1.ν = V |u| ν dy y ||u||2. En particular. γ ν . existe γ ν .F ∈ C (V ).F (x) = 0 si x ∈ V \ F y Lc γ ν . la medida de equilibrio ı . es decir satisface la denominada Identidad de Green V vLc u dy = V uLc v dy. y ∈ V se denominan adyacentes. Dos e v´ rtices x.F = ν sobre F. (1) Es bien conocido que el operador de Laplace-Beltrami de la red (Γ. y} ∈ E.134 Bendito. x ∈ V. Una red pesada es una tripleta (Γ. Los conjuntos de funciones reales en V y en V × V se denotar´ n a por C (V ) y C (V × V ). vol(V ) no es m´ s que el cardinal de V . cuando F = V \ {x}.

c. denotaremos por λ (Γ. el problema de autovalores para el operador de Laplace-Beltrami. Fijado x ∈ V . que puede caracterizarse desde un punto de vista variacional. Autovalores de una red Si (Γ. ν ) ≤ m´n x∈V ν volν (V )||γx ||1. . con x ∈ V . ν ) es una red pesada. entonces se satisface que o m´n ı x∈V volν (V ) ν ||γx ||1. Por otra parte. c. (5) Nuestro objetivo es determinar cotas superiores e inferiores de λ (Γ. c. . ver [2. ν ) = m´n ı u∈C (V ) ||u||−2 2. If (Γ. vν dy = 0. ν ) al primer autovalor no nulo del problema (4). como λ (Γ. obtenemos que ν volν (V ) = ν (x) − Lc γx (x) + ν Lc γx dy V y en definitiva que la actuaci´ n del operador de Laplace-Beltrami sobre cada meo dida de equilibrio de cada conjunto V \ {x} es ν Lc γx = ν − volν (V ) εx . (4) Es bien conocido. que λ = 0 es autovalor simple de (4) cuyas autofunciones son constantes y que el resto de autovalores son estrictamente positivos. con respecto del peso ν consiste en encontrar λ ∈ IR tal que existe u ∈ C (V ) no nula que verifica L (u) = λ ν u. ver por ejemplo [5]. V ν vLc v dy = volν (V )2 ||γx ||1. El resultado fundamental. ν ) es una red pesada.ν − volν (V ) γx . Entonces o V ν volν (V )2 ||γx ||2 ν 2. se tiene que ν ν Demostraci´ n.Cotas superiores e inferiores del primer autovalor 135 ν de F ser´ denotada simplemente por γx .ν y adem´ s que ||v||2 ν = a 2. ν − volν (V )||γx ||2 ν . c.ν V u L u dx : V uν dx = 0 . 1. c. Aplicando la Identidad de Green (2). es e el siguiente: Proposici´ n 1. c. Nuevamente omitiremos el s´mbolo ν a ı cuyo ν = 1.ν ν ν volν (V )||γx ||2 ν − ||γx ||2 ν 2. (3) 3. 5]. ν ) en ν t´ rminos de las medidas de equilibrio γx . consideremos v = ||γx ||1. como se verifica que v(x) = 1.ν ı ≤ λ (Γ. En lo sucesivo.

necesariamente Green. c. En este caso. de manera que la cota superior sigue de la caracterizacion variacional de λ (Γ. 0 ≤ i ≤ j. ν ) ser´ denotado simplemente por λ (Γ). n − 1.136 Bendito. Como en todos los casos c(x. et al. el autovalor λ (Γ. c. . donde hemos utilizado la identidad (3). 36 3 . como λ (Γ. x ∈ V. E. contrastando los resultados con algunos ejemplos de grafos para los que se conocen cotas del primer autovalor no nulo. ´ Por otra parte. volν (V ) ≤ λ (Γ. Pn . aplicando nuevamente la Identidad de a ν u γx ν dy = ν γx Lc u dy = ν u Lc γx dy λ (Γ. ν ) x∈V V ν |u| γx ν dy. para cada x ∈ V resulta que V u ν dy = 0 y adem´ s.ν > 0. y) = 1 cuando x ∼ y y ν = 1.. ν ). ν ) V ν u γx ν dy ≤ λ (Γ. n2 j n2 (n − 1)2 (2n − 1)2 + n2 j2 (n − j − 1)2 − (n − j − 1)(n − 1)(2n − 1).ν . x1 . c. ν ´ ||γx ||1. . 0.. . ν ). es sencillo comprobar que para cada j = 0. si u ∈ C (V ) es una autofuncion no nula asociada a λ (Γ. xn−1 }. ν ) > 0. c. ν ) ||γx0 ||1. c. de donde la cota inferior resulta inmediatamente. Adem´ s.. c. Concluiremos esta comunicaci´ n mostrando la bondad de las cotas obtenio das. Por tanto. . ν ) V V V = V u ν dy − volν (V ) u(x) = −volν (V ) u(x). e Supondremos que Pn = {x0 . lo que implica que ||γx j ||1 = ||γx j ||2 = 1 n (n − 1)(2n − 1) − n j(n − j − 1) y por tanto 6 j ≤ i ≤ n − 1. la medida de equilibrio γx j est´ determinada por la a identidad γx j (xi ) = 1 ( j − i)( j + i + 1) − n( j − i) 2 1.ν ν y en consecuencia. entonces a V ν ν |u| γx0 ν dy ≤ |u(x0 )| ||γx0 ||1. la identidad a anterior implica que volν (V )|u(x)| = λ (Γ. si x0 ∈ V es tal que |u(x0 )| = m´ x{|u(x)|}. c. c. a Ejemplo 1: El camino de n ≥ 2 v´ rtices. entonces v no es nula y la ultima cantidad es estrictamente posi´ tiva. .

k ≥ 2.Cotas superiores e inferiores del primer autovalor Por otra parte. Si y = x. si z ∈ R.        n − 1. n n lo que implica que Ejemplo 2: El grafo dumbbell de n = 2k. si z = x. ||γx j ||2 = 2 − lo que implica que n (n − 1)(2n − 1) 2n(n − 1) + 1 30 nj (n − j − 1) 2n(n − 1) − 2 j(n − j − 1) + 1 . n − 1 tenemos que n||γx j ||2 − ||γx j ||2 = 1 2 n||γx j ||1 30[(n − 1)(2n − 1) − 6 j(n − j − 1)] = 2 . ||γx j ||1 ´ Obtenemos pues que las cotas determinadas por la proposicion son 30 6 ≤ λ (Pn ) ≤ . para cada j = 0. entonces   n. L y R. Dn . mientras que el m´nimo de ı 3 15 ≤ λ (Pn ) ≤ 2 .   γy (z) =  3n − 2 . . z = x. ver [5]. para cualquier n. ˆ 2 . z = x. Claramente. que 2 n n π π2 λ (Pn ) = 2 − 2 cos ≈ 2. unidos por una rama que conecta dos v´ rtices arbitrariamente escogidos e ı x ∈ L y x ∈ R. (n − 1)(2n − 1) (n + 1)(2n + 1) Este tipo de grafos se construyen partiendo de dos grafos completos de k v´ rtie ces. ˆ    2     3n   . n ≥ 2. expresi´ n que toma su m´nimo valor en j = 0 cuando n ≤ 4 y en o ı si n > 4. mientras que es bien conocido. la simetr´a del grafo hace que sea suficiente calcular ˆ las medidas de equilibrio γy para y ∈ L. si z ∈ L. . v´ rtices. e n se alcanza en j = 0. 2 − ||γ ||2 n||γx j ||2 (n − 1)(4n2 − 1) − 60 j( j + 1)(n − j)(n − j − 1) xj 1 j= n−1 1 + 2 30 30 10(4n2 − 1)(n2 − 1) − 75(n2 − 1) . . . 3 137 n2 2 n2 (n − 1)(4n2 − 1) − j( j + 1)(n − j)(n − j − 1). si z = x. 180 3 En definitiva.

xk en cada uno de cuyos extremos. . 72(n + 1) 2 3n .  1. etiquetados como x−k . xk }. i = −k. si y ∈ R. v´ rtices. . . . Claramente. n+1 1 (7n4 + 28n3 + 411n2 + 523n − 110) y 86(n + 1) γx (y) = lo que implica que ||γx ||1 = ||γx ||2 = 2 94n7 + 373n6 + 7734n5 + 13145n4 + 170651n3 − 73968n2 − 97649n + 10060 . . . . k. 7290(n + 1)2 . . 1 1 de donde ||γy ||1 = (5n2 − 4k − 8) y ||γy ||2 = (13n3 − 8n2 − 40n + 16).138 Bendito. z = x. entonces                  n(n2 + 2n + 37) .     n  . . En defi2 4 8 nitiva. y = x. Por otra 2 4 8 parte. que denotaremos por L y R respectivamente. o Ejemplo 3: El grafo barbell de n = 6k − 1. si z ∈ L. . 5n2 − 4n − 8 n4 + 32n − 64 lo que confirma la estimaci´ n λ (Dn ) ∈ O(n−1 ) obtenida en [3]. 4n(n2 + 32n − 64) 4n ≤ λ (Dn ) ≤ . se adjunta un grafo completo de 2k v´ rtices usando un conjunto de 2k − 1 nuevos e v´ rtices. si y ∈ L. . k ≥ 1. x−k y xk . . Fijado x ∈ R. . e Este tipo de grafos se construyen partiendo de un camino de 2k + 1 vertices. z = x. et al. si z = x. la simetr´a del e ı grafo hace que sea suficiente calcular las medidas de equilibrio γx para x ∈ R ∪ {x0 . . ˆ 2 1 1 lo que implica que ||γx ||1 = (n2 + 4n − 8) y ||γx ||2 = (n3 + 4n2 − 16). si y = xi . ˆ γx (z) = 2   n+2    . . E. . x0 . si z ∈ R. 6(n + 1) 7n3 + 15n2 + 369n − 71 i − (n + i). Bn .

(2004). TETALI. . cuando n ≥ 23. CARMONA. si y = xi . . 81 1 (513n3 + 324n2 + 5427n − 1880) y adem´ s a 324 1 37k5 + 50n4 + 970n3 − 1070n2 + 4793n − 12620 . . e lo que implica que ||γx j ||1 = ||γx0 ||1 + j2 n y tambi´ n que j2 54 j2 n + 25n3 + 3n3 + 57n − 110 . i = −k. BENDITO. λ∞ . . BOBKOV. si n = 5. C. i = j. . . 648 648n ≤ λ (Bn ). entonces   (n + 1)(5n − 1) j  + (n + j) + 1.M. A. 17. caso.    72 2     ( j − i)   (n + j + i). M. GESTO. BENDITO. . Combinatorica 20 (2000).    2    (n + 1)(5n − 1) j    − (n + j) + 1. IV a ı Jornadas de Matem´ tica Discreta y Algor´tmica. o Bibliograf´a ı [1] E. k si y ∈ R. j.Cotas superiores e inferiores del primer autovalor Por otra parte. 139 si y ∈ L. 153–172. UPM. Acotacion de la cons´ tante de Cheeger y los autovalores del Operador de Laplace de una red. . . k. . Submitted. M. 255–262. 11. ENCINAS. si y = xi . . [2] E. CARMONA y A. mientras que 81n(n + 1) 53n3 + 51n2 + 411n − 833 7n4 + 28n3 + 411n2 + 523n − 110 a ≤ λ (Bn ). . ´ [3] S. . ENCINAS y J. A. Eigenvalues y Equilibrium Measures of Networks. si j = 0. 72 2 ||γx j ||2 = ||γx0 ||2 + 2 2 donde ||γx0 ||1 = ||γx0 ||2 = 2 Por tanto. vertex isoperimetry y concentration. HOUDRE y P. Adem´ s en cualquier 4 3 2 810n(n+1)(7n +28n +411n +523n−110) λ (Bn ) ≤ 356n8 −563n7 +4226n6 −185075n5 −430831n4 −4903172n3 −2709931n2 +1241140n−121000 e Todo lo anterior confirma la estimaci´ n λ (Bn ) ∈ O(n−2 ) obtenida tambi´ n en [3]. Cheeger constant. .  2 γx j (y) =  (i − j)   (n − i − j). A.

DRAGOMIR y E. Theo. AMS. 92. [7] J-S. 138 (2003). 1 (1994).. 1997. Serie B. BERMAN y X. 316 (2000). [6] S. and the Green kernel of an infinite graph.D. BARLETTA. CHUNG. Monatsh. Interdiscip.K. et al. Combin. [5] F. Sci. Linear Algebra Appl. CBMS Regional Conference Series in Mathematics. 82 (2001). Lowers bounds for the eigenvalues of Laplacian matrices. URAKAWA. On the first eigenvalue of the combinatorial Laplacian for a graph. Inform. Spectral Graph Theory. J. E.R. A new upper bound on the Cheeger number of a graph. . ZHANG. 285 (1998). The Cheeger constant. Linear Algebra Appl. 167–174. the heat kernel. OHNO y H. 33–46. Math.140 Bendito. [9] H. [8] Y. 305–307. URAKAWA. [4] A. On the Laplacian eigenvalues of a graph. LI y X-D. 13–20.. 225–237. ZHANG.