Este es un libro de texto estándar ejemplo. Buenos tratamientos pueden, por ejemplo, se encuentra en Altland (de la Materia Condensada, la Teoría de Campo) o Nagaosa (la Teoría Cuántica de campos en Física de la Materia Condensada). Sin embargo, el razonamiento básico puede ser entendido fácilmente:
Considerar el cambio en el ángulo producido al realizar un circuito cerrado alrededor de algún punto. Ingenuamente, obtenemos
Δθ=∮d→r⋅∇θ(→r)=∫d2r→ez⋅→∇×∇θ(→r)=0,
donde teorema de Stokes fue utilizado en la segunda etapa y el hecho de que →∇×∇f=0 para cualquier función escalar f. Sin embargo, sabemos que, debido al carácter compacto de nuestro ángulo variable θ(→r), no tenemos que volver exactamente con el mismo ángulo, pero tienen más libertad y se les permite tener Δθ=2πnn∈Z. Cuando Taylor-la expansión de la original coseno, hemos perdido la información sobre el carácter compacto de la θ-variables y por lo tanto tienen que reinclude manualmente.
Para incluir esta libertad adicional, tenemos que generalizar la diferencia de fase de campo →u en la forma →u=∇θ(→r)+→∇×→A(→r), donde el campo vectorial →A(→r)=ψ(→r)→ez sólo puede tener un z-componente en orden de →u a mentir en el plano xy. Entonces
2πn=∮d→r⋅→u(→r)=∫d2r→ez⋅→∇×→u(→r)=−∫d2r→∇2ψ(→r)
donde →∇2=(→∇⋅→∇) es la de Laplace-operador y el vector de identidad de →∇×(→∇×→A)=∇(→∇⋅→A)−(→∇⋅→∇)→A fue utilizado cuyo primer término se desvanece para →A=ψ(→r)→ez desde ψ(→r) no z-dependencia. En consecuencia, se encuentra
→∇2ψ(→r)=−2π∑iniδ(→r−→ri)
y entendemos que esta diciendo que el campo ψ(→r) describe los vórtices de la liquidación de los números de ni centrado en las posiciones →ri.
La ecuación anterior para ψ(→r) es la definición de la ecuación de combinaciones lineales de las soluciones fundamentales de la ecuación de Laplace (en 2D), que se dan por
ψ(→r)=−2π∑inilog(|→r−→ri|).
Conectar la diferencia de fase en el campo efectivo de Hamilton, uno encuentra
H=−J2∫d2r→u2=−J2∫d2r(∇θ(→r))2+(→∇×ψ(→r)→ez)2,
donde la mezcla de término de la participación de la θ e las ψ campo desapareció después de una integración parcial. La primera parte corresponde a la vuelta de onda de las excitaciones que usted ha mencionado, mientras que el segundo codifica los vórtices. Es sencillo demostrar que (→∇×ψ(→r)→ez)2=(∇ψ)2=−ψ(→∇⋅→∇)ψ después de una integración parcial, de tal manera que el topológica de la primera parte termina con está dada por
Htop=J2∑ijninjlog(|→ri−→rj|)2π.
El paso a la formulación de Lagrange del problema es trivial ya que no canónica momenta están involucrados.