Mecánica analítica - Analytical mechanics

En física teórica y física matemática , la mecánica analítica o la mecánica teórica es una colección de formulaciones alternativas estrechamente relacionadas de la mecánica clásica . Fue desarrollado por muchos científicos y matemáticos durante el siglo XVIII y en adelante, después de la mecánica newtoniana . Dado que la mecánica de Newton considera vector cantidad de movimiento, particularmente aceleraciones , momentos , fuerzas , de los constituyentes del sistema, un nombre alternativo para la mecánica que se rigen por las leyes de Newton y las leyes de Euler es la mecánica vectorial .

Por el contrario, la mecánica analítica utiliza propiedades escalares de movimiento que representan el sistema como un todo, generalmente su energía cinética total y energía potencial, no las fuerzas vectoriales de Newton de partículas individuales. Un escalar es una cantidad, mientras que un vector está representado por cantidad y dirección. Las ecuaciones de movimiento se derivan de la cantidad escalar por algún principio subyacente sobre la variación del escalar .

La mecánica analítica aprovecha las limitaciones de un sistema para resolver problemas. Las restricciones limitan los grados de libertad que puede tener el sistema y pueden usarse para reducir el número de coordenadas necesarias para resolver el movimiento. El formalismo se adapta bien a elecciones arbitrarias de coordenadas, conocidas en el contexto como coordenadas generalizadas . Las energías cinética y potencial del sistema se expresan usando estas coordenadas o momentos generalizados, y las ecuaciones de movimiento pueden establecerse fácilmente, por lo que la mecánica analítica permite resolver numerosos problemas mecánicos con mayor eficiencia que los métodos completamente vectoriales. No siempre funciona para fuerzas no conservadoras o fuerzas disipativas como la fricción , en cuyo caso se puede volver a la mecánica newtoniana.

Dos ramas dominantes de la mecánica analítica son la mecánica de Lagrange (usando coordenadas generalizadas y las correspondientes velocidades generalizadas en el espacio de configuración ) y la mecánica hamiltoniana (usando coordenadas y los momentos correspondientes en el espacio de fase ). Ambas formulaciones son equivalentes por una transformación de Legendre en las coordenadas, velocidades y momentos generalizados, por lo que ambas contienen la misma información para describir la dinámica de un sistema. Hay otras formulaciones como la teoría de Hamilton-Jacobi , la mecánica de Routh y la ecuación de movimiento de Appell . Todas las ecuaciones de movimiento para partículas y campos, en cualquier formalismo, pueden derivarse del resultado ampliamente aplicable llamado principio de mínima acción . Un resultado es el teorema de Noether , un enunciado que conecta las leyes de conservación con sus simetrías asociadas .

La mecánica analítica no introduce una nueva física y no es más general que la mecánica newtoniana. Más bien es una colección de formalismos equivalentes que tienen una amplia aplicación. De hecho, los mismos principios y formalismos se pueden usar en la mecánica relativista y la relatividad general , y con algunas modificaciones, la mecánica cuántica y la teoría cuántica de campos .

La mecánica analítica se utiliza ampliamente, desde la física fundamental hasta las matemáticas aplicadas , en particular la teoría del caos .

Los métodos de la mecánica analítica se aplican a partículas discretas, cada una con un número finito de grados de libertad. Pueden modificarse para describir campos o fluidos continuos, que tienen infinitos grados de libertad. Las definiciones y ecuaciones tienen una estrecha analogía con las de la mecánica.

Asunto de la mecánica analítica

El objetivo más obvio de la teoría mecánica es resolver problemas mecánicos que surgen en física o astronomía. A partir de un concepto físico, como un mecanismo o un sistema estelar, se desarrolla un concepto o modelo matemático en forma de ecuación o ecuaciones diferenciales y luego se intenta resolverlos.

El enfoque vectorial de la mecánica, tal como lo fundó Newton, se basa en las leyes de Newton que describen el movimiento con la ayuda de cantidades vectoriales como fuerza , velocidad , aceleración . Estas cantidades caracterizan el movimiento de un cuerpo que se idealiza como un "punto de masa" o una " partícula " entendida como un solo punto al que se une una masa. El método de Newton tuvo éxito y se aplicó a una amplia gama de problemas físicos, comenzando por el movimiento de una partícula en el campo gravitacional de la Tierra y luego se extendió al movimiento de los planetas bajo la acción del sol. En este enfoque, las leyes de Newton describen el movimiento mediante una ecuación diferencial y luego el problema se reduce a la resolución de esa ecuación.

Cuando la partícula es parte de un sistema de partículas, como un cuerpo sólido o un fluido , en el que las partículas no se mueven libremente sino que interactúan entre sí, el enfoque de Newton sigue siendo aplicable con las precauciones adecuadas, como aislar cada partícula de los demás, y determinando todas las fuerzas que actúan sobre él: las que actúan sobre el sistema en su conjunto, así como las fuerzas de interacción de cada partícula con todas las demás partículas del sistema. Este análisis puede resultar engorroso incluso en sistemas relativamente simples. Por regla general, las fuerzas de interacción son desconocidas o difíciles de determinar, por lo que es necesario introducir nuevos postulados. Newton pensó que su tercera ley, "la acción es igual a la reacción", se ocuparía de todas las complicaciones. Este no es el caso incluso para un sistema tan simple como las rotaciones de un cuerpo sólido. En sistemas más complicados, el enfoque vectorial no puede dar una descripción adecuada.

El enfoque analítico del problema del movimiento considera a la partícula no como una unidad aislada sino como parte de un sistema mecánico entendido como un conjunto de partículas que interactúan entre sí. A medida que todo el sistema entra en consideración, la partícula individual pierde su significado; el problema dinámico involucra a todo el sistema sin romperlo en partes. Esto simplifica significativamente el cálculo porque en el enfoque vectorial las fuerzas deben determinarse individualmente para cada partícula, mientras que en el enfoque analítico es suficiente conocer una única función que contiene implícitamente todas las fuerzas que actúan sobre y en el sistema. Esta simplificación se realiza a menudo utilizando determinadas condiciones cinemáticas que se establecen a priori; son preexistentes y se deben a la acción de algunas fuerzas poderosas. Sin embargo, el tratamiento analítico no requiere el conocimiento de estas fuerzas y da por sentadas estas condiciones cinemáticas. Considerando lo simples que son estas condiciones en comparación con la multitud de fuerzas que las mantienen, se hace evidente la superioridad del enfoque analítico sobre el vectorial.

Sin embargo, las ecuaciones de movimiento de un sistema mecánico complicado requieren un gran número de ecuaciones diferenciales separadas que no pueden derivarse sin alguna base unificadora de la que se sigan. Esta base son los principios variacionales : detrás de cada conjunto de ecuaciones hay un principio que expresa el significado de todo el conjunto. Dada una cantidad fundamental y universal llamada 'acción' , el principio de que esta acción sea estacionaria bajo una pequeña variación de alguna otra cantidad mecánica genera el conjunto requerido de ecuaciones diferenciales. La declaración del principio no requiere ningún sistema de coordenadas especial y todos los resultados se expresan en coordenadas generalizadas . Esto significa que las ecuaciones analíticas de movimiento no cambian con una transformación de coordenadas , una propiedad de invariancia que falta en las ecuaciones vectoriales de movimiento.

No está del todo claro qué se entiende por "resolver" un conjunto de ecuaciones diferenciales. Un problema se considera resuelto cuando las coordenadas de las partículas en el tiempo t se expresan como funciones simples de ty de parámetros que definen las posiciones y velocidades iniciales. Sin embargo, 'función simple' no es un concepto bien definido : hoy en día, una función f ( t ) no se considera una expresión formal en t ( función elemental ) como en el tiempo de Newton, sino más generalmente como una cantidad determinada por t , y no es posible trazar una línea clara entre funciones "simples" y "no simples". Si se habla meramente de "funciones", entonces todo problema mecánico se resuelve tan pronto como se ha expresado correctamente en las ecuaciones diferenciales, porque dadas las condiciones iniciales yt determinan las coordenadas en t . Este es un hecho especialmente en la actualidad con los métodos modernos de modelado por ordenador que proporcionan soluciones aritméticas a problemas mecánicos a cualquier grado deseado de exactitud, las ecuaciones diferenciales siendo reemplazados por ecuaciones de diferencia .

Sin embargo, aunque carece de definiciones precisas, es obvio que el problema de los dos cuerpos tiene una solución simple, mientras que el problema de los tres cuerpos no la tiene. El problema de los dos cuerpos se resuelve mediante fórmulas que incluyen parámetros; sus valores se pueden cambiar para estudiar la clase de todas las soluciones, es decir, la estructura matemática del problema. Además, se puede hacer una imagen mental o dibujada precisa del movimiento de dos cuerpos, y puede ser tan real y precisa como los cuerpos reales que se mueven e interactúan. En el problema de los tres cuerpos, a los parámetros también se les pueden asignar valores específicos; sin embargo, la solución a estos valores asignados o una colección de tales soluciones no revela la estructura matemática del problema. Como en muchos otros problemas, la estructura matemática sólo puede dilucidarse examinando las propias ecuaciones diferenciales.

La mecánica analítica apunta aún más: no a comprender la estructura matemática de un solo problema mecánico, sino a la de una clase de problemas tan amplia que abarcan la mayor parte de la mecánica. Se concentra en sistemas a los que son aplicables las ecuaciones de movimiento lagrangianas o hamiltonianas y que incluyen una gama muy amplia de problemas.

El desarrollo de la mecánica analítica tiene dos objetivos: (i) aumentar la gama de problemas solucionables mediante el desarrollo de técnicas estándar con una amplia gama de aplicabilidad, y (ii) comprender la estructura matemática de la mecánica. Sin embargo, a largo plazo, (ii) puede ayudar (i) más que una concentración en problemas específicos para los que ya se han diseñado métodos.

Movimiento intrínseco

Coordenadas y restricciones generalizadas

En la mecánica newtoniana , uno usa habitualmente las tres coordenadas cartesianas , u otro sistema de coordenadas 3D , para referirse a la posición de un cuerpo durante su movimiento. En los sistemas físicos, sin embargo, alguna estructura u otro sistema generalmente restringe el movimiento del cuerpo para que no tome ciertas direcciones y caminos. Por lo tanto, a menudo no se necesita un conjunto completo de coordenadas cartesianas, ya que las restricciones determinan las relaciones en evolución entre las coordenadas, relaciones que pueden modelarse mediante ecuaciones correspondientes a las restricciones. En los formalismos lagrangiano y hamiltoniano, las restricciones se incorporan a la geometría del movimiento, reduciendo el número de coordenadas al mínimo necesario para modelar el movimiento. Estas se conocen como coordenadas generalizadas , denotadas por q i ( i = 1, 2, 3 ...).

Diferencia entre coordenadas curvilíneas y generalizadas

Las coordenadas generalizadas incorporan restricciones en el sistema. Hay una coordenada generalizada q i para cada grado de libertad (por conveniencia etiquetada con un índice i = 1, 2 ... N ), es decir, en cada forma en que el sistema puede cambiar su configuración ; como longitudes curvilíneas o ángulos de rotación. Las coordenadas generalizadas no son las mismas que las coordenadas curvilíneas. El número de coordenadas curvilíneas es igual a la dimensión del espacio de posición en cuestión (generalmente 3 para el espacio 3d), mientras que el número de coordenadas generalizadas no es necesariamente igual a esta dimensión; Las restricciones pueden reducir el número de grados de libertad (de ahí el número de coordenadas generalizadas necesarias para definir la configuración del sistema), siguiendo la regla general:

[ dimensión del espacio de posición (generalmente 3)] × [número de constituyentes del sistema ("partículas")] - (número de restricciones )
= (número de grados de libertad ) = (número de coordenadas generalizadas )

Para un sistema con N grados de libertad, las coordenadas generalizadas se pueden recopilar en una N - tupla :

y la derivada del tiempo (aquí denotada por un overdot) de esta tupla dan las velocidades generalizadas :

.

Principio de D'Alembert

La base sobre la que se construye la asignatura es el principio de D'Alembert .

Este principio establece que el trabajo virtual infinitesimal realizado por una fuerza a través de desplazamientos reversibles es cero, que es el trabajo realizado por una fuerza consistente con las restricciones ideales del sistema. La idea de una restricción es útil, ya que limita lo que puede hacer el sistema y puede proporcionar pasos para resolver el movimiento del sistema. La ecuación del principio de D'Alembert es:

dónde

son las fuerzas generalizadas (el script Q en lugar de Q ordinario se usa aquí para evitar conflictos con las transformaciones canónicas a continuación) yq son las coordenadas generalizadas. Esto conduce a la forma generalizada de las leyes de Newton en el lenguaje de la mecánica analítica:

donde T es la energía cinética total del sistema, y ​​la notación

es una abreviatura útil (ver cálculo de matrices para esta notación).

Restricciones holonómicas

Si el sistema de coordenadas curvilíneas está definido por el vector de posición estándar r , y si el vector de posición se puede escribir en términos de las coordenadas generalizadas q y el tiempo t en la forma:

y esta relación se cumple para todos los tiempos t , entonces q se denominan restricciones holonómicas . El vector r depende explícitamente de t en los casos en que las restricciones varían con el tiempo, no solo por q ( t ). Para situaciones independientes del tiempo, las restricciones también se denominan escleronómicas , para los casos dependientes del tiempo se denominan reonómicas .

Mecánica lagrangiana

Lagrange y las ecuaciones de Euler-Lagrange

La introducción de coordenadas generalizadas y la función lagrangiana fundamental:

donde T es la energía cinética total y V es la energía potencial total de todo el sistema, entonces, siguiendo el cálculo de variaciones o usando la fórmula anterior, conduzca a las ecuaciones de Euler-Lagrange ;

que son un conjunto de N ecuaciones diferenciales ordinarias de segundo orden , una para cada q i ( t ).

Esta formulación identifica la trayectoria real seguida por el movimiento como una selección de la trayectoria sobre la cual la integral de tiempo de la energía cinética es menor, asumiendo que la energía total es fija y sin imponer condiciones al tiempo de tránsito.

Espacio de configuración

La formulación lagrangiana utiliza el espacio de configuración del sistema, el conjunto de todas las posibles coordenadas generalizadas:

donde es el espacio real N -dimensional (ver también la notación del constructor de conjuntos ). La solución particular de las ecuaciones de Euler-Lagrange se denomina trayectoria o trayectoria (de configuración) , es decir, una q ( t ) particular sujeta a las condiciones iniciales requeridas . Las soluciones generales forman un conjunto de posibles configuraciones en función del tiempo:

El espacio de configuración se puede definir de manera más general, y de hecho más profunda, en términos de variedades topológicas y el haz tangente .

Mecánica hamiltoniana

Ecuaciones de Hamilton y Hamilton

La transformación de Legendre del Lagrangiano reemplaza las coordenadas y velocidades generalizadas ( q , ) por ( q , p ); las coordenadas generalizadas y los momentos generalizados se conjugan con las coordenadas generalizadas:

e introduce el hamiltoniano (que es en términos de coordenadas y momentos generalizados):

donde denota el producto escalar , lo que también conduce a las ecuaciones de Hamilton :

que ahora son un conjunto de 2 N ecuaciones diferenciales ordinarias de primer orden, una para cada q i ( t ) y p i ( t ). Otro resultado de la transformación de Legendre relaciona las derivadas temporales del Lagrangiano y el Hamiltoniano:

que a menudo se considera una de las ecuaciones de movimiento de Hamilton además de las demás. Los momentos generalizados se pueden escribir en términos de las fuerzas generalizadas de la misma manera que la segunda ley de Newton:

Espacio de impulso generalizado

De manera análoga al espacio de configuración, el conjunto de todos los momentos es el espacio de momento (técnicamente en este contexto; espacio de momento generalizado ):

"Momentum space" también se refiere a " k -space"; el conjunto de todos los vectores de onda (dado por las relaciones de De Broglie ) como se usa en la mecánica cuántica y la teoría de ondas : esto no se menciona en este contexto.

Espacio de fase

El conjunto de todas las posiciones y momentos forman el espacio de fase ;

es decir, el producto cartesiano × del espacio de configuración y el espacio de momento generalizado.

Una solución particular a las ecuaciones de Hamilton se llama trayectoria de fase , una curva particular ( q ( t ), p ( t )) sujeta a las condiciones iniciales requeridas. El conjunto de todos los caminos de fase, la solución general a las ecuaciones diferenciales, es el retrato de fase :

El soporte de Poisson

Todas las variables dinámicas pueden derivarse de la posición r , el momento p y el tiempo t , y escribirse en función de estos: A = A ( q , p , t ). Si A ( q , p , t ) y B ( q , p , t ) son dos variables dinámicas con valores escalares, el corchete de Poisson se define por las coordenadas y momentos generalizados:

Calcular la derivada total de uno de estos, digamos A , y sustituir las ecuaciones de Hamilton en el resultado conduce a la evolución temporal de A :

Esta ecuación en A está estrechamente relacionada con la ecuación de movimiento en la imagen de Heisenberg de la mecánica cuántica , en la que las variables dinámicas clásicas se convierten en operadores cuánticos (indicados por sombreros (^)), y el corchete de Poisson se reemplaza por el conmutador de operadores a través de Dirac. cuantificación canónica :

Propiedades de las funciones lagrangiana y hamiltoniana

A continuación se muestran las propiedades superpuestas entre las funciones lagrangiana y hamiltoniana.

  • Todas las coordenadas individuales generalizadas q i ( t ), las velocidades i ( t ) y los momentos p i ( t ) para cada grado de libertad son mutuamente independientes. La dependencia temporal explícita de una función significa que la función en realidad incluye el tiempo t como una variable además de q ( t ), p ( t ), no simplemente como un parámetro a través de q ( t ) yp ( t ), lo que significaría independencia temporal explícita.
  • El lagrangiano es invariante bajo adición del total de derivada en el tiempo de cualquier función de q y t , que es:
de modo que cada L y L 'de Lagrange describen exactamente el mismo movimiento . En otras palabras, el lagrangiano de un sistema no es único.
  • De manera análoga, el hamiltoniano es invariante bajo la suma de la derivada parcial en el tiempo de cualquier función de q , p y t , es decir:
( K es una letra de uso frecuente en este caso). Esta propiedad se usa en transformaciones canónicas (ver más abajo).
  • Si el lagrangiano es independiente de algunas coordenadas generalizadas, entonces los momentos generalizados conjugados a esas coordenadas son constantes del movimiento , es decir, se conservan , esto se sigue inmediatamente de las ecuaciones de Lagrange:
Estas coordenadas son " cíclicas " o "ignorables". Se puede demostrar que el hamiltoniano también es cíclico en exactamente las mismas coordenadas generalizadas.
  • Si el lagrangiano es independiente del tiempo, el hamiltoniano también es independiente del tiempo (es decir, ambos son constantes en el tiempo).
  • Si la energía cinética es una función homogénea de grado 2 de las velocidades generalizadas, y el Lagrangiano es explícitamente independiente del tiempo, entonces:
donde λ es una constante, entonces el hamiltoniano será la energía total conservada , igual a las energías cinética y potencial totales del sistema:
Esta es la base de la ecuación de Schrödinger , al insertar operadores cuánticos se obtiene directamente.

Principio de mínima acción

A medida que el sistema evoluciona, q traza un camino a través del espacio de configuración (solo se muestran algunos). El camino recorrido por el sistema (rojo) tiene una acción estacionaria (δ S = 0) ante pequeños cambios en la configuración del sistema (δ q ).

La acción es otra cantidad en la mecánica analítica definida como funcional del Lagrangiano:

Una forma general de encontrar las ecuaciones de movimiento a partir de la acción es el principio de mínima acción :

donde se fijan las horas de salida t 1 y llegada t 2 . El término "camino" o "trayectoria" se refiere a la evolución temporal del sistema como un camino a través del espacio de configuración , en otras palabras q ( t ) trazando un camino hacia adentro . El camino para el que la acción es menor es el camino que sigue el sistema.

De este principio se pueden derivar todas las ecuaciones de movimiento de la mecánica clásica. Este enfoque puede extenderse a campos en lugar de un sistema de partículas (ver más abajo), y es la base de la formulación integral de trayectoria de la mecánica cuántica , y se utiliza para calcular el movimiento geodésico en relatividad general .

Mecánica hamiltoniana-jacobi

Transformaciones canónicas

La invariancia del hamiltoniano (bajo adición de la derivada de tiempo parcial de una función arbitraria de p , q y t ) permite que el hamiltoniano en un conjunto de coordenadas q y momentos p para ser transformado en un nuevo conjunto Q = Q ( q , p , t ) y P = P ( q , p , t ), de cuatro formas posibles:

Con la restricción en P y Q tal que el sistema hamiltoniano transformado es:

las transformaciones anteriores se denominan transformaciones canónicas , cada función G n se denomina función generadora del " tipo n " o "tipo- n ". La transformación de coordenadas y momentos puede permitir la simplificación para resolver las ecuaciones de Hamilton para un problema dado.

La elección de Q y P es completamente arbitraria, pero no todas las elecciones conducen a una transformación canónica. Un criterio simple para una transformación q Q y p P sea canónica es el soporte de Poisson sea la unidad,

para todos los i = 1, 2, ... N . Si esto no se cumple, la transformación no es canónica.

La ecuación de Hamilton-Jacobi

Al establecer el hamiltoniano transformado canónicamente K = 0, y la función generadora de tipo 2 igual a la función principal de Hamilton (también la acción ) más una constante arbitraria C :

los momentos generalizados se convierten en:

y P es constante, entonces la ecuación hamiltoniana-jacobi (HJE) se puede derivar de la transformación canónica de tipo 2:

donde H es el hamiltoniano como antes:

Otra función relacionada es la función característica de Hamilton.

utilizado para resolver el HJE por aditivo separación de variables para una independiente del tiempo hamiltoniano H .

El estudio de las soluciones de las ecuaciones de Hamilton-Jacobi conduce naturalmente al estudio de variedades simplécticas y topología simpléctica . En esta formulación, las soluciones de las ecuaciones de Hamilton-Jacobi son las curvas integrales de los campos vectoriales hamiltonianos .

Mecánica routhiana

La mecánica de Routh es una formulación híbrida de la mecánica lagrangiana y la hamiltoniana, que no se usa con frecuencia pero es especialmente útil para eliminar coordenadas cíclicas. Si el lagrangiano de un sistema tiene s coordenadas cíclicas q = q 1 , q 2 , ... q s con momentos conjugados p = p 1 , p 2 , ... p s , con el resto de coordenadas no cíclicas y denotados ζ = ζ 1 , ζ 1 , ..., ζ N - s , se pueden eliminar introduciendo el routhiano :

lo que conduce a un conjunto de ecuaciones hamiltonianas de 2 s para las coordenadas cíclicas q ,

y N - s ecuaciones lagrangianas en las coordenadas no cíclicas ζ .

Establecido de esta manera, aunque el routhiano tiene la forma del hamiltoniano, se puede pensar en un lagrangiano con N - s grados de libertad.

Las coordenadas q no tienen que ser cíclicas, la partición entre las coordenadas que entran en las ecuaciones hamiltonianas y las que entran en las ecuaciones lagrangianas es arbitraria. Es simplemente conveniente dejar que las ecuaciones hamiltonianas eliminen las coordenadas cíclicas, dejando las coordenadas no cíclicas a las ecuaciones de movimiento de Lagrange.

Mecánica appelliana

La ecuación de movimiento de Appell implica aceleraciones generalizadas, las derivadas del segundo tiempo de las coordenadas generalizadas:

así como las fuerzas generalizadas mencionadas anteriormente en el principio de D'Alembert. Las ecuaciones son

dónde

es la aceleración de la partícula k , la segunda derivada en el tiempo de su vector de posición. Cada aceleración a k se expresa en términos de las aceleraciones generalizadas α r , así mismo cada r k se expresa en términos de las coordenadas generalizadas q r .

Extensiones a la teoría de campos clásica

Teoría del campo lagrangiano

Las coordenadas generalizadas se aplican a partículas discretas. Para N campos escalares φ i ( r , t ) donde i = 1, 2, ... N , la densidad lagrangiana es una función de estos campos y sus derivadas espaciales y temporales, y posiblemente las coordenadas espaciales y temporales mismas:

y las ecuaciones de Euler-Lagrange tienen un análogo para los campos:

donde μ denota el gradiente 4 y se ha utilizado la convención de suma . Para N campos escalares, estas ecuaciones de campo lagrangianas son un conjunto de N ecuaciones diferenciales parciales de segundo orden en los campos, que en general serán acopladas y no lineales.

Esta formulación de campo escalar se puede extender a campos vectoriales , campos tensoriales y campos espino .

El lagrangiano es la integral de volumen de la densidad lagrangiana:

Desarrollada originalmente para campos clásicos, la formulación anterior es aplicable a todos los campos físicos en situaciones clásicas, cuánticas y relativistas: como la gravedad newtoniana , el electromagnetismo clásico , la relatividad general y la teoría cuántica de campos . Se trata de determinar la densidad lagrangiana correcta para generar la ecuación de campo correcta.

Teoría del campo hamiltoniano

Las correspondientes densidades de campo de "momento" conjugadas a los N campos escalares φ i ( r , t ) son:

donde en este contexto el overdot denota una derivada de tiempo parcial, no una derivada de tiempo total. La densidad hamiltoniana se define por analogía con la mecánica:

Las ecuaciones de movimiento son:

donde la derivada variacional

deben utilizarse en lugar de derivadas meramente parciales. Para N campos, estas ecuaciones de campo hamiltonianas son un conjunto de 2 N ecuaciones diferenciales parciales de primer orden, que en general serán acopladas y no lineales.

Nuevamente, la integral de volumen de la densidad hamiltoniana es la hamiltoniana

Simetría, conservación y teorema de Noether

Transformaciones de simetría en el espacio y el tiempo clásicos

Cada transformación puede ser descrita por un operador (es decir, una función que actúa sobre las variables de posición r o momento p para cambiarlas). Los siguientes son los casos en los que el operador no cambia r o p , es decir, simetrías.

Transformación Operador Posición Impulso
Simetría traslacional
Traducción de tiempo
Invariancia rotacional
Transformaciones galileanas
Paridad
Simetría en T

donde R ( , θ) es la matriz de rotación alrededor de un eje definido por el vector unitario y el ángulo θ.

Teorema de noether

El teorema de Noether establece que una transformación de simetría continua de la acción corresponde a una ley de conservación , es decir, la acción (y por lo tanto el Lagrangiano) no cambia bajo una transformación parametrizada por un parámetro s :

el lagrangiano describe el mismo movimiento independiente de s , que puede ser longitud, ángulo de rotación o tiempo. Se conservarán los momentos correspondientes a q .

Ver también

Referencias y notas

  1. a b Lanczos, Cornelius (1970). Los principios variacionales de la mecánica (4ª ed.). Nueva York: Dover Publications Inc. Introducción, págs. Xxi – xxix. ISBN   0-486-65067-7 .
  2. ^ Lanczos, Cornelius (1970). Los principios variacionales de la mecánica (4ª ed.). Nueva York: Dover Publications Inc. págs. 3–6. ISBN   978-0-486-65067-8 .
  3. ^ Synge, JL (1960). "Dinámica clásica". En Flügge, S. (ed.). Principios de la mecánica clásica y la teoría de campos / Prinzipien der Klassischen Mechanik und Feldtheorie . Enciclopedia de Física / Handbuch der Physik. 2/3 / 1. Berlín, Heidelberg: Springer Berlin Heidelberg. doi : 10.1007 / 978-3-642-45943-6 . ISBN   978-3-540-02547-4 . OCLC   165699220 .
  4. ^ El camino a la realidad , Roger Penrose, Libros antiguos, 2007, ISBN   0-679-77631-1
  5. ^ a b c d e Mecánica analítica , LN Hand, JD Finch, Cambridge University Press, 2008, ISBN   978-0-521-57572-0
  6. ^ Enciclopedia de física de McGraw Hill (segunda edición), CB Parker, 1994, ISBN   0-07-051400-3
  7. ^ Mecánica clásica , TWB Kibble, Serie europea de física, McGraw-Hill (Reino Unido), 1973, ISBN   0-07-084018-0
  8. ^ Penrose, R. (2007). El camino a la realidad . Libros antiguos. pag. 474. ISBN   978-0-679-77631-4 .
  9. ^ Enciclopedia de la física (segunda edición), RG Lerner , GL Trigg, editores de VHC, 1991, ISBN (Verlagsgesellschaft) 3-527-26954-1, ISBN (VHC Inc.) 0-89573-752-3
  10. ^ a b Mecánica cuántica , E. Abers, Pearson Ed., Addison Wesley, Prentice Hall Inc, 2004, ISBN   978-0-13-146100-0
  11. ^ a b c Teoría cuántica de campos, D. McMahon, Mc Graw Hill (Estados Unidos), 2008, ISBN   978-0-07-154382-8
  12. ^ Relatividad, gravitación y cosmología , RJA Lambourne, Open University, Cambridge University Press, 2010, ISBN   978-0-521-13138-4
  13. Arnolʹd, VI (1989). Métodos matemáticos de la mecánica clásica (2ª ed.). Saltador. Capítulo 8. ISBN   978-0-387-96890-2 .
  14. ^ Doran, C; Lasenby, A (2003). Álgebra geométrica para físicos . Prensa de la Universidad de Cambridge. pag. §12.3, págs. 432–439. ISBN   978-0-521-71595-9 .
  15. ^ Gravitación, JA Wheeler, C. Misner, KS Thorne, WH Freeman & Co, 1973, ISBN   0-7167-0344-0