07.05.2013 Views

universidad de chile dinámica de dominios en sistemas forzados ...

universidad de chile dinámica de dominios en sistemas forzados ...

universidad de chile dinámica de dominios en sistemas forzados ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

2.1.1. Alternativa <strong>de</strong> Fredholm<br />

Sea L un operador que actúa <strong>en</strong> un cierto espacio E. Entonces la pregunta es: dado un elem<strong>en</strong>to (o vector) |b >,<br />

¿existe un |W > tal que L|W >= |b >? Para respon<strong>de</strong>r esto, <strong>de</strong>bemos <strong>en</strong>contrar un |W > que efectivam<strong>en</strong>te cumpla<br />

la ecuación L|W >= |b >.<br />

La Alternativa <strong>de</strong> Fredholm (condición <strong>de</strong> solubilidad) nos dice que dicha ecuación ti<strong>en</strong>e solución, sí y sólo sí para<br />

todo vector |v > ǫ Ker(L † ), < v|b > = 0.<br />

En efecto: Consi<strong>de</strong>remos la ecuación<br />

y aplicamos un elem<strong>en</strong>to <strong>de</strong>l kernel <strong>de</strong> L † ,<br />

L|W >= |b > (2.35)<br />

< v|L|W >= < v|b > (2.36)<br />

y al igual que <strong>en</strong> mecánica cúantica po<strong>de</strong>mos pasar la ecuación a su correspon<strong>de</strong>ncia dual 5<br />

< W |L † |v >= < b|v > (2.37)<br />

pero dado que |v > ǫ Ker(L † ), es <strong>de</strong>cir, L † |v >= 0, <strong>en</strong>tonces t<strong>en</strong>emos que la ecuación ti<strong>en</strong><strong>en</strong> solución sí y sólo<br />

sí < b|v > = 0.<br />

Ahora <strong>en</strong> ves <strong>de</strong> resolver dicha ecuación LW = b, aplicaremos la alternativa <strong>de</strong> Fredholm para <strong>en</strong>contrar la condición<br />

<strong>de</strong> solubilidad.<br />

2.1.2. Análisis <strong>de</strong>l operador <strong>de</strong>l sistema<br />

T<strong>en</strong>emos que el operador <strong>de</strong>l sistema es<br />

L = ∂tt + Ω 2 0 . (2.38)<br />

Antes <strong>de</strong> proce<strong>de</strong>r <strong>de</strong>bemos <strong>de</strong>finir un producto punto <strong>en</strong>tre los elem<strong>en</strong>tos <strong>de</strong>l Dominio <strong>de</strong> L con la Imag<strong>en</strong> <strong>de</strong> L.<br />

Definimos el sigui<strong>en</strong>te producto interno <strong>de</strong> dos elem<strong>en</strong>tos asociados a cada espacio<br />

<br />

< f|g > = f · g ∗ dt (2.39)<br />

don<strong>de</strong> g∗ es el complejo conjugado <strong>de</strong> g. A<strong>de</strong>más supondremos que dichos vectores son nulos <strong>en</strong> los extremos <strong>de</strong> la<br />

región.<br />

Así <strong>de</strong>finimos el sigui<strong>en</strong>te operador l = ∂t, <strong>en</strong>tonces<br />

<br />

< f|lg > = f∂tg ∗ dt (2.40)<br />

<br />

= ∂t (fg)dt − ∂tfg ∗ dt, (2.41)<br />

pero el primer término es nulo pues las funciones <strong>en</strong> los extremos son nulas. Así t<strong>en</strong>emos<br />

< f|lg > = −< l † f|g >, (2.42)<br />

don<strong>de</strong> po<strong>de</strong>mos concluir que l = −l † . Por lo tanto, si t<strong>en</strong>emos el mismo operador aplicado dos veces, t<strong>en</strong>emos<br />

< f|llg > = −< l † f|lg > (2.43)<br />

= < l † l † f|g >, (2.44)<br />

luego ll = l † l † = (ll) † . Ahora <strong>de</strong>finimos el operador L = ll + Ω 2 0 don<strong>de</strong> l = ∂t, <strong>en</strong>tonces<br />

5 mecánica cuántica<br />

< f|Lg > = < f| ll + Ω 2 0 g > (2.45)<br />

= < f|llg > + < f|Ω 2 0g > (2.46)<br />

= < l † l † f|g > + < Ω 2 0f|g > (2.47)<br />

= < ll + Ω 2 †<br />

0 f|g > (2.48)<br />

= < L † f|g >, (2.49)<br />

18

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

Saved successfully!

Ooh no, something went wrong!