sábado, 14 de mayo de 2011

Pfaffiano de una matriz antisimétrica


DERIVATION FROM DETERMINANT


WE ASSUME THAT N IS AN EVEN NUMBER AND A = (AIJ) IS AN 
n \times n SKEW-SYMMETRIC MATRIX.

THE PFAFFIAN OF A CAN BE DERIVED AS FOLLOWS. 
USING THE LAPLACE'S FORMULA WE CAN WRITE DET(A)
 AS
\det(A) = \sum_j a_{ij}C_{ij}, \,

WHERE CIJ = ( − 1)I + JDET(AIJ) IS THEIJTH COFACTOR OF 
A AND AIJ IS THEIJTH MINOR OF A

BY THE ADJUGATE FORMULA, WE HAVE
\det(A \times \mathrm{adj}(A))=\det(A)^n. \,

WE HAVE
\det\left( \begin{array}{cccc}1&0&\cdots&0\\                                    0&1&\cdots&0\\                     a_{31}&a_{32}&\cdots&a_{3n}\\                      \cdots&\cdots&\cdots&\cdots\\        a_{n1}&a_{n2}&\cdots&a_{nn}\end{array} \right) \times  \det \left( \begin{array}{cccc}C_{11}&C_{21}&\cdots&C_{n1}\\                     C_{12}&C_{22}&\cdots&C_{n2}\\                     C_{13}&C_{23}&\cdots&C_{n3}\\                     \cdots&\cdots&\cdots&\cdots\\   C_{1n}&C_{2n}&\cdots&C_{nn}\end{array} \right) = \det\left( \begin{array}{cc} C_{11}&C_{21}\\C_{12}&C_{22}\end{array} \right) \det(A)^{n-2},

THUS
\det(A_{12, 12})\det(A)^{n-1} = \det \left( \begin{array}{cc}                                               C_{11} & C_{21}\\                                              C_{12} & C_{22}                                               \end{array} \right) \det(A)^{n-2},

WHERE A_{12, 12} \, IS THE (n-2) \times (n-2)
MINOR OF A OBTAINED BY DELETING THE FIRST TWO ROWS AND THE FIRST TWO COLUMNS OF A. OF COURSE, IT IS ARBITRARY THAT WE HAVE CHANGED THE FIRST TWO ROWS IN THE ABOVE EQUATION.

 IN GENERAL WE HAVE

C_{ii}C_{jj} - C_{ij}C_{ji} = \det(A_{ij,ij})\det(A), \,

SO FAR WE HAVE NOT USED THE ASSUMPTION THAT N IS EVEN
 AND A IS SKEW-SYMMETRIC. 

WITH THAT, SINCE AIIIS AN (n-1)\times(n-1) SKEW-SYMMETRIC MATRIX AND (N − 1) IS ODD, CLEARLYDET(AII) = 0

 AND HENCE CII = 0. SIMILARLY CJJ = 0

ON THE OTHER HAND,
C_{ij} = (-1)^{n-1}C_{ji} = -C_{ji}. \,

SO THE ABOVE EQUATION IS SIMPLIFIED AS
C_{ij} = (-1)^{i+j}\sqrt{\det(A_{ij,ij})\det(A)}. \,.

WE NOW PLUG THIS BACK INTO THE ORIGINAL FORMULA
 FOR THE DETERMINANT,
 \det(A) = \sum_j a_{ij}(-1)^{i+j}\sqrt{\det(A_{ij,ij})\det(A)}, \,

WHICH YIELDS
 \sqrt{\det(A)} = \sum_j a_{ij}(-1)^{i+j}\sqrt{\det(A_{ij,ij})}. \,

LA APROXIMACIÓN DE HARTREE-FOCK-BOGOLIUBOV (HFB) 
SE UTILIZA EN FÍSICA CUÁNTICA PARA APROXIMAR
 EL COMPORTAMIENTO DE UNA PARTÍCULA SUJETA 
AL EFECTO DE MUCHAS OTRAS PARTÍCULAS COMO 
SI ESTAS GENERARAN UN CAMPO PROMEDIO EFECTIVO.
DE ESTA MANERA SE EVITA TENER QUE CONSIDERARLAS
 DE FORMA INDIVIDUAL.
LA APROXIMACIÓN FUE INTRODUCIDA POR D.R. HARTREE EN 1928 Y POR V.A. FOCK EN 1930 , AUNQUE SE CONVIRTIÓ EN UNA HERRAMIENTA FUNDAMENTAL TRAS EL TRABAJO DE N.N. BOGOLIUBOV EN 1958 .
CUANDO SE REQUIERE UN RESULTADO MÁS PRECISO, 
HAY QUE APLICAR LA APROXIMACIÓN 
HASTA SEGUNDO ORDEN, LO QUE REQUIERE COMBINAR
 Y SOLAPAR LAS FUNCIONES DE ONDA DE LA APROXIMACIÓN 
HFB A PRIMER ORDEN.
EL SIGNO DEL SOLAPE REQUIERE EVALUAR
UNA RAÍZ CUADRADA.
EL PROBLEMA ES SABER QUÉ SIGNO TIENE QUE 
SER UTILIZADO PARA ESTA RAÍZ CUADRADA.
EN ALGUNOS PROBLEMAS
(EN LOS QUE HAY SIMETRÍAS DISCRETAS) 
EL RESULTADO ES INDEPENDIENTE DEL SIGNO 
(NO IMPORTA EL QUE SEA).
PERO EN OTROS PROBLEMAS 
(EN LOS QUE ESTAS SIMETRÍAS ESTÁN ROTAS) 
LA APROXIMACIÓN NO DICE QUÉ SIGNO USAR.
EL SIGNO HA DE SER CALCULADO UTILIZANDO OTRA TÉCNICA.
PODEMOS UTILIZAR UNA TÉCNICA MUY ELEGANTE
 (QUE SE BASA EN EL USO DE ESTADOS COHERENTES FERMIÓNICOS) 
CON LA QUE LOGRA DETERMINAR EL SIGNO DEL TÉRMINO 
DE SOLAPE SIN NINGUNA AMBIGÜEDAD.
EL SIGNO DEPENDE DEL PFAFFIANO
 DE UNA MATRIZ ANTISIMÉTRICA.
LA NUEVA TÉCNICA ES MUCHO MÁS EFICIENTE 
Y SENCILLA DE APLICAR QUE OTRAS TÉCNICAS ALTERNATIVAS, 
SIN NECESIDAD DE RECURRIR AL USO DE MATRICES NO HERMÍTICAS.
EL NUEVO RESULTADO TIENE MÚLTIPLES APLICACIONES, 
COMO EL USO DE LA APROXIMACIÓN HFB PARA EL ESTUDIO
 DE LA DINÁMICA DE PROTONES O NEUTRONES EN NÚCLEOS 
ATÓMICOS CON NÚMERO ATÓMICO IMPAR 
(LA SUMA DEL NÚMERO DE PROTONES Y NEUTRONES).

No hay comentarios: