10 votos

Valores propios de una matriz tridiagonal grande

Dado $a, b \in \Bbb R$ consideremos la siguiente matriz tridiagonal grande

$$M := \begin{pmatrix} a^2 & b & 0 & 0 & \cdots \\ b & (a+1)^2 & b & 0 & \cdots & \\ 0 & b & (a+2)^2 & b & \cdots \\ \vdots & \vdots & \vdots & \vdots & \ddots \end{pmatrix}$$

¿Qué se puede decir de sus valores propios? ¿Se conocen expresiones analíticas? ¿O, al menos, propiedades de los valores propios?

0 votos

Se sabe que los valores propios de $M_n$ separan los valores propios de $M_{n+1};$ se deduce fácilmente de la relación de recursión de tres términos para los determinantes.

0 votos

@abel Gracias. ¿A qué te refieres con separación? Lo desconozco por completo. ¿Tienes alguna referencia?

1 votos

Publicado también en MO: mathoverflow.net/questions/233452/ Considero que los consejos dados en esta respuesta muy razonable. Por supuesto, puede echar un vistazo a otros debates sobre ( cross-posting ), también.

1voto

Groovy. Puntos 36

Llamemos $M_n$ esta matriz, y consideremos su polinomio característico $P_n := \det(XI_n-M_n)$ . La expansión según la última columna da lugar a la relación de recurrencia $$ P_n = (X-(a+n)^2)P_{n-1}-b^2P_{n-2}. $$ con condiciones iniciales $P_0 = 1$ y $P_1 = X-a^2$ .

0 votos

Gracias. ¿Escribir la relación de recurrencia de la matriz anterior puede decir algo sobre los valores propios o sus propiedades?

0 votos

Si puedes utilizar la relación de recurrencia para obtener información sobre el polinomio característico, puedes obtener información sobre los valores propios. Creo que los polinomios pueden ser ortogonales para algún producto punto según su relación de recurrencia y un teorema que no recuerdo.

0 votos

1voto

Desde $M_n(a,b)$ y $M_n(a,-b)$ tienen el mismo espectro real, podemos suponer que $b\geq 0$ . Sea $\lambda_n$ sea el menor valor propio de $M_n$ . Dado que existen polinomios ortogonales ocultos, la secuencia real $(\lambda_n)_n$ no aumenta.

Supongamos que $a\geq 0$ . Tenga en cuenta que $e_1^TM_ne_1=a^2$ Entonces $\lambda_n\leq a^2$ . Denotemos por $B_n$ la matriz $M_n$ con diagonal cero (sólo el $b$ ). Entonces $M_n\geq B_n$ y $\lambda_n\geq \inf(\text{spectrum}(B_n))\geq -2b$ . Por último, la secuencia $(\lambda_n)_n$ converge a $\lambda\in [-2b,a^2]$ .

Tenga en cuenta que , si $\dfrac{b}{a^2}$ es lo suficientemente pequeño, entonces $M_n\geq 0$ y $\lambda\approx a^2$ . Si $a$ es fijo y $b$ tiende a $+\infty$ entonces $\lambda\rightarrow -2b$ .

0 votos

¿Qué es un polinomio ortogonal oculto? ¿Por qué el polinomio ortogonal oculto conduce a la sucesión real $(\lambda_n)_n$ siendo no creciente?

0 votos

@Hans , el polinomio característico $P_n$ de $M_n$ satisface una recurrencia especial con tres términos; según el teorema de Favard (cf. wikipedia), existe un producto punto para el que el $(P_n)$ son ortogonales; entonces las raíces de $P_{n+1}$ y $P_n$ están entrelazados y $(\lambda_n)$ no aumenta.

0 votos

DE ACUERDO. Gracias, gracias. ¿Por qué si $a$ es fijo y $b$ tiende a $+\infty$ entonces $\lambda\rightarrow -2b$ ? Supongo que esto es para fijos $n$ . Creo que sería mejor decir $\frac b{a^2}\to\infty$ que arreglar $a$ . ¿No deberíamos $\lambda\to -b$ en lugar de $-2b$ . ¿Es una errata?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X