19.11.2013 Views

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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!