Operador de Toeplitz

En teoría de operadores , un operador de Toeplitz es la compresión de un operador de multiplicación en el círculo al espacio de Hardy .

Sea el círculo unitario complejo, con la medida estándar de Lebesgue, y sea el espacio de Hilbert de funciones integrables al cuadrado. Una función medible acotada en define un operador de multiplicación en . Sea la proyección de sobre el espacio de Hardy . El operador de Toeplitz con símbolo se define por $Estilo de visualización S1$$Estilo de visualización L2(S1)$${\estilo de visualización g}$$Estilo de visualización S1$ $Estilo de visualización M_{g}$$Estilo de visualización L2(S1)$${\estilo de visualización P}$$Estilo de visualización L2(S1)$ $Estilo de visualización H^{2}}$${\estilo de visualización g}$

${\displaystyle T_{g}=PM_{g}\vert _{H^{2}},}$

donde "|" significa restricción.

Un operador acotado en es Toeplitz si y sólo si su representación matricial, en la base , tiene diagonales constantes. $Estilo de visualización H^{2}}$ ${\displaystyle \{z^{n},z\in \mathbb {C} ,n\geq 0\}}$

• Teorema: Si es continua , entonces es Fredholm si y sólo si no está en el conjunto . Si es Fredholm, su índice es menos el número de vueltas de la curva trazada por respecto al origen.${\estilo de visualización g}$${\displaystyle T_{g}-\lambda}$${\estilo de visualización \lambda}$$estilo de visualización g(S^{1})}$${\estilo de visualización g}$

Para una demostración, véase Douglas (1972, p. 185). Él atribuye el teorema a Mark Kerin , Harold Widom y Allen Devinatz. Esto puede considerarse como un caso especial importante del teorema del índice de Atiyah-Singer .

• Teorema de Axler - Chang - Sarason : El operador es compacto si y sólo si .${\displaystyle T_{f}T_{g}-T_{fg}}$${\displaystyle H^{\infty}[{\bar {f}}]\cap H^{\infty}[g]\subseteq H^{\infty}+C^{0}(S^{1})}$

Aquí, denota la subálgebra cerrada de funciones analíticas (funciones con coeficientes de Fourier negativos que se desvanecen), es la subálgebra cerrada de generada por y , y es el espacio (como un conjunto algebraico) de funciones continuas en el círculo. Véase S. Axler, SY. Chang, D. Sarason (1978). ${\displaystyle H^{\infty}}$${\displaystyle L^{\infty }(S^{1})}$${\displaystyle H^{\infty }[f]}$${\displaystyle L^{\infty }(S^{1})}$${\estilo de visualización f}$${\displaystyle H^{\infty}}$$Estilo de visualización C0(S1)$

• Matriz de Toeplitz  : Matriz con filas desplazadas

• S. Axler, SY. Chang, D. Sarason (1978), "Productos de operadores de Toeplitz", Integral Equations and Operator Theory , 1 (3): 285–309, doi :10.1007/BF01682841, S2CID  120610368{{citation}}: CS1 maint: varios nombres: lista de autores ( enlace )
• Böttcher, Albrecht; Grudsky, Sergei M. (2000), Matrices de Toeplitz, álgebra lineal asintótica y análisis funcional, Birkhäuser , ISBN 978-3-0348-8395-5.
• Böttcher, A .; Silbermann, B. (2006), Análisis de operadores de Toeplitz , Monografías de Springer en Matemáticas (2ª ed.), Springer-Verlag, ISBN 978-3-540-32434-8.
• Douglas, Ronald (1972), Técnicas de álgebra de Banach en la teoría de operadores , Academic Press.
• Rosenblum, Marvin; Rovnyak, James (1985), Clases Hardy y teoría de operadores , Oxford University Press. Reimpreso por Dover Publications, 1997, ISBN 978-0-486-69536-5 .