Núcleos Invariantes y Teoremas de Dilatación, Parametrización y ...
Núcleos Invariantes y Teoremas de Dilatación, Parametrización y ...
Núcleos Invariantes y Teoremas de Dilatación, Parametrización y ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
si para todo x 1 ,....,x n ∈ Z 1 , c 1 ,....,c n ∈ C , y 1 ,....,y n ∈ Z 2 , d 1 ,....,d n ∈<br />
C se verifica |∑ ij K(x i ,y j ) c i d j | ≥ (∑ i |c i | 2 ) 1/2 (∑ j |d j | 2 ) 1/2 .<br />
Para estos núcleos en Z (o en R) valen los teoremas siguientes:<br />
l) Teorema <strong>de</strong> Herglotz-Bochner: Un núcleo Toeplitz K: Z × Z → C<br />
es p.d. sii existe una medida positiva u ≥ 0 en el grupo dual T ~ [0, 2π)<br />
tal que K(m,n) = û (m - n), don<strong>de</strong> û : Z → C es la transformada <strong>de</strong><br />
Fourier <strong>de</strong> u : û (n) = ∫e n (t) du, e n (t) = exp(int); esta u es única. Bochner<br />
extendió este teorema a los grupos T n y R n (en caso <strong>de</strong> R n se requiere<br />
que K sea contínuo).<br />
2) Teorema <strong>de</strong> extensión <strong>de</strong> M.Krein. Si K: R a × R a → C es un núcleo<br />
contínuo Toeplitz, entonces K es p.d. sii existe una medida finita<br />
positiva u en R tal que K(m,n) = û (m-n), o sea sii K se extien<strong>de</strong> a un<br />
núcleoToeplitz p.d. en todo R × R. I<strong>de</strong>m para Z.<br />
3) Teorema <strong>de</strong> Nehari. Un núcleo <strong>de</strong> Hankel K: Z 1 × Z 2 → C es acotado<br />
sii existe una función acotada u en T, tal que K(m,n) =û (m - n), para<br />
todo (m,n) ∈ Z 1 × Z 2 .<br />
A cada t ∈ correspon<strong>de</strong> un núcleo Toeplitz elemental K t (m,n) =<br />
e m-n (t), dado por e n (t), que como función <strong>de</strong> t es propia <strong>de</strong>l operador<br />
L = id/dx, y como función en n es propia <strong>de</strong> la traslación n →n +1<br />
El teorema <strong>de</strong> Bochner dice que todo núcleo Toeplitz p.d. <strong>de</strong> Z se<br />
representa (o se <strong>de</strong>sarrolla) por tales núcleos elementales propios:<br />
K = ∫K t du. En caso <strong>de</strong> núcleos K en R, K es Toeplitz siL x K(x,y) =<br />
Ly * K(x,y), y el teorema <strong>de</strong> Bochner dice que si K es Toeplitz p.d.<br />
entonces K se representa mediante núcleos elementales propios -L. La<br />
teoría general <strong>de</strong> Krein, mencionada más arriba, asegura que esto es<br />
cierto si L es un operador diferencial arbitrario con coeficientes<br />
bastante lisos. Berezanski combinó la teoría <strong>de</strong> Krein con la <strong>de</strong><br />
Gelfand-Kostuchenko relativa a vectores propios generalizados, y<br />
54