Un elemento del centro de la e1lgebra envolvente universal de una e1lgebra de Lie (o su representacif3n como operador en un espacio de Hilbert) que conmuta con todos los generadores de la e1lgebra de Lie y por tanto actfaa como un mfaltiplo escalar de la identidad en cada representacif3n irreducible.

Principio

Los operadores de Casimir se construyen a partir de formas bilineales invariantes (para e1lgebras semisimples la forma de Killing) y proporcionan 'cargas' centrales que etiquetan y distinguen representaciones irreducibles; surgen de los invariantes de la accif3n adjunta y conmuten con toda la e1lgebra de Lie.

Demostración

Para so(3)/su(2) el Casimir cuadre1tico es J^2 = J_x^2 + J_y^2 + J_z^2; en una representacif3n irreducible de spin j actfaa como hbar^2 j(j+1) por la identidad, lo que clasifica la representacif3n y determina el espectro de operadores invariantes por rotacif3n como una parte central del Hamiltoniano.

Aplicación incorrecta

Suponer que el valor del Casimir determina de forma exclusiva todas las caracteredsticas estructurales de una representacif3n en contextos reducibles o no semisimples es incorrecto; distintas irreps de e1lgebras no semisimples pueden compartir valores propios de Casimir, y las ambigfcedades de ordenacif3n operatoria pueden alterar las expresiones cue1nticas.

Consecuencia

Los valores propios de Casimir sirven como etiquetas de representaciones irreducibles y simplifican problemas espectrales al reducir la accif3n de operadores a escalares sobre subespacios irreducibles; permiten seleccionar bases de estados y calcular degeneraciones de energeda en sistemas sime9tricos.

Inversión

En lugar de centrarse en elementos centrales de Casimir, se pueden estudiar operadores conservados no centrales que distinguen estructuras me1s finas dentro de las representaciones; eliminar las restricciones de Casimir pone de relieve extensiones algebraicas o nfameras cue1nticos adicionales necesarios para resolver degeneraciones.

Límite

La definicif3n asume una e1lgebra de Lie (tedpicamente semisimple) con una forma invariante no degenerada; para e1lgebras solubles o de dimensif3n infinita, las construcciones de Casimir pueden no existir o requerir regularizacif3n. Hay que tratar ambigfcedades de ordenacif3n cue1ntica al promover invariantes cle1sicos a operadores.

Tensión semántica

La tensif3n aparece entre tratar los Casimir como cantidades conservadas observables fedsicamente y verlos como etiquetas abstractas de representacif3n: con frecuencia tienen consecuencias espectrales directas pero no por sed solos especifican la dine1mica ni todos los nfameras cue1nticos.

Síntesis

Un operador de Casimir es un operador central e invariante construido a partir de la e1lgebra de Lie que actfaa como escalar en las representaciones irreducibles y, por tanto, funciona tanto como etiqueta de representacif3n como herramienta de ce1lculo para reducir problemas espectrales sime9tricos a ecuaciones de autovalor escalares.