Valores propios de matrices laplacianas del grafo cíclico con sobrepeso en una arista
Ponente(s): Alejandro Soto González, Dr. Sergei Grudsky, Dr. Egor Maximenko
Estudiamos el comportamiento individual de los valores propios de las matrices laplacianas del grafo cíclico de orden $n$, donde una arista tiene peso $\alpha>1$ y las demás tienen peso $1$. Estas matrices son reales y simétricas, por lo tanto sus valores propios son reales, y los ordenamos ascendentemente: $\lambda_1 < \lambda_2< \cdots < \lambda_n$.
Es un hecho simple probar que $\lambda_1 = 0$, para $n>\alpha/(\alpha-1)$. Mostramos que $\lambda_n$ es mayor que 4, mientras que los demás pertenecen al intervalo $[0,4]$ y se encuentran distribuidos como la función $x\mapsto 4\sin^2(x/2)$. Más aún, cuando $n\to \infty$, probamos que la sucesión formada por los valores propios mayores que $4$ converge exponencialmente a $4\alpha^2/(2\alpha-1)$.
Derivado de lo anterior, para el valor propio aislado hacemos el cambio de variable $\lambda_n = 4\cosh^2(x_n/2)$, y $\lambda_j = 4\sin^2(x_j/2)$ para los otros valores propios. En cada caso calculamos el polinomio característico y representamos las correspondientes ecuaciones características en la forma $x_n = \zeta(x_n)$ y $x_j = ((j-1)\pi + \eta_j(x_j))/n$.
Para $n$ suficientemente grande justificamos la solución numérica de las ecuaciones anteriores utlizando iteración de punto fijo y Newton-Raphson.
Derivado de las mismas ecuaciones deducimos expansiones asintóticas cuando $n\to\infty$ para cada valor propio:
\begin{align*}
\lambda_j & = f(j/n) + \frac{g_j(j/n)}{n} + O(1/n^2),\\
\lambda_n & = \frac{4\alpha^2}{2\alpha-1} + u(\alpha) e^{-n\log(2\alpha-1)} + O(ne^{-2n\log(2\alpha-1)}),
\end{align*}
donde $f,g_j,u$ son ciertas funciones que dependen de los cambios de variable y las funciones $\zeta$ y $\eta_j$ así como de sus derivadas.
Lo anterior es parte de mi tesis de maestría desarrollado en conjunto con los doctores Sergei Grudsky y Egor Maximenko.
En esta plática mostraremos los resultados e ideas principales de este trabajo.