6 votos

¿Cómo es el soporte de Poisson $\{ \mathbf {c}, \mathbf {l} \cdot\hat {n}\}=( \hat {n} \times \mathbf {c})$ para la constante $ \mathbf {c}$ y no cero?

La formulación poissoniana de la mecánica nos dice que para una función generadora $g(q,p,t)$ el soporte de Poisson de alguna función/variable $f(q,p,t)$ con la función generadora se corresponde con un cambio infinitesimal en $f$ a lo largo de la transformación o "movimiento" generado por $g$ .

$$ \delta f = \epsilon \left\ {f,g \right\ }$$

Un ejemplo de esto es la conservación del impulso debido a la invariabilidad bajo las traducciones infinitesimales. Para mostrar esto, tomemos $f$ para ser el Hamiltoniano y $g$ para ser $ \mathbf {p} \cdot\hat {n}$ donde $ \mathbf {p}$ es el impulso $p_x \hat {x}+p_y \hat {y}+p_z \hat {z}$ y $ \hat {n}$ es un vector unitario arbitrario. La transformación canónica generada por $ \mathbf {p} \cdot \hat {n}$ es una traducción infinitesimal a lo largo de la $ \hat {n}$ dirección de las variables del sistema con las que se evalúa el Hamiltoniano.

$$ \begin {align*} \epsilon\left\ {H, \mathbf {p} \cdot\hat {n} \right\ }&= \epsilon\left ( \sum_i \frac { \partial H}{ \partial q_i} \frac { \partial\ ,( \mathbf {p} \cdot\hat {n})}{ \partial p_i}- \frac { \partial H}{ \partial p_i} \frac { \partial\ ,( \mathbf {p} \cdot\hat {n})}{ \partial q_i} \right ) \\ &= \epsilon\left ( \sum_i \frac { \partial H}{ \partial q_i}( \hat {n})_i \right ) \\ &= \epsilon ( \nabla_q H) \cdot \hat {n} \\ & \\ & \implies \left\ {H, \mathbf {p} \cdot\hat {n} \right\ }=( \nabla_q H) \cdot \hat {n} \end {align*}$$

Ahora, si tomáramos un ángulo polar $ \theta $ sobre algún eje $ \hat {n}$ para ser una coordenada, el procedimiento anterior con $ \mathbf {l}$ el momento angular, en lugar de $ \mathbf {p}$ se traduciría entonces como una "traducción" infinitesimal de la $ \theta $ variable - es decir, una rotación sobre la $ \hat {n}$ eje. Un ejemplo de esto se da en Landau y Lifshitz, Goldstein, y muchos otros libros de texto de mecánica - la rotación de un vector constante $ \mathbf {c}$ sobre un eje específico.

$$ \left\ { \mathbf {c}, \mathbf {l} \cdot\hat {n} \right\ }= \hat {n} \times\mathbf {c}$$

En cuanto a la interpretación de los paréntesis de Poisson a través de las funciones de generación (que acabo de dar), puedo ver por qué esto sería cierto. El vector $ \mathbf {c}$ cambia en una cantidad $d \theta ( \hat {n} \times\mathbf {c})$ cuando se gira por un ángulo infinitesimal $d \theta $ sobre un eje $ \hat {n}$ y ese resultado puede ser alcanzado por una simple geometría analítica. Sin embargo, por la evaluación directa del soporte de Poisson, no puedo ver por qué esto no es cero (como $ \mathbf {c}$ es una constante). El operador de momento angular (función valorada por el vector en términos de variables espaciales de fase) viene dado por

$$ \begin {align*} \mathbf {l}&= \mathbf {r} \times\mathbf {p} \\ &=(yp_z-zp_y) \hat {x}+(zp_x-xp_z) \hat {y}+(xp_y-yp_x) \hat {z} \end {align*}$$

Nótese que esto, asumiendo un típico hamiltoniano clásico, completamente en términos de variables de fase espacial. Ahora, el paréntesis de Poisson de esto con un vector constante es

$$ \begin {align*} \left\ { \mathbf {c}, \mathbf {l} \cdot\hat {n} \right\ }&= \sum_i\left ( \frac { \partial \mathbf {c}}{ \partial q_i} \frac { \partial ( \mathbf {l} \cdot\hat {n})}{ \partial p_i}- \frac { \partial \mathbf {c}}{ \partial p_i} \frac { \partial ( \mathbf {l} \cdot\hat {n})}{ \partial q_i} \right ) \\ &=0\,\,\,\,( \mathbf {c} \textrm { doesn't depend on phase space variables)} \end {align*}$$

Por favor, ¿podría decirme cómo resolver esta paradoja?

P.D: Originalmente escribí esta pregunta muy brevemente porque pensé que alguien ciertamente sabría de lo que estoy hablando.

3voto

Stefano Puntos 763

El punto de partida es que el $3$ -vector $\vec{\bf c}$ transforma en el $3$ -representación vectorial irreducible del grupo de rotación $SO(3)$ ,

$$\tag{1} \{ \vec{\bf c}, \vec{\bf L}\cdot \hat{\bf n} \}_{PB}~=~ \hat{\bf n}\times \vec{\bf c},$$

donde $\hat{\bf n}$ es un vector unitario arbitrario, cuyo corchete de Poisson (PB) con cualquier cosa desaparece

$$\tag{2} \{ \hat{\bf n}, \cdot \}_{PB}~=~0.$$

Suponemos que $\vec{\bf c}$ es no idénticamente cero. Dado que el PB con $\vec{\bf c}$ hace no se desvanecen, el $3$ -vector $\vec{\bf c}$ no puede sea una constante. Debe ser una función de las variables del espacio de fase $\vec{\bf r}$ y $\vec{\bf p}$ . Se puede pensar que es de la forma

$$\tag{3} \vec{\bf c}~=~\vec{\bf r}f+ \vec{\bf p}g+ \vec{\bf L}h,$$

donde

$$\tag{4} f~=~f(r^2,p^2,\vec{\bf r}\cdot\vec{\bf p},L^2), \quad g~=~g(r^2,p^2,\vec{\bf r}\cdot\vec{\bf p},L^2), \quad\text{and}\quad h~=~h(r^2,p^2,\vec{\bf r}\cdot\vec{\bf p},L^2), $$ son tres funciones adecuadas del espacio de fase $SO(3)$ escalares

$$\tag{5} r^2,\quad p^2,\quad \vec{\bf r}\cdot\vec{\bf p},\quad\text{and}\quad L^2.$$

Referencias:

  1. H. Goldstein, Mecánica clásica; Sección 9-6 en la 2ª edición o Sección 9.7 en la 3ª edición.

2voto

Giórgenes Puntos 6

Hagámoslo para un ejemplo sencillo. Por $\vec{c}$ Imagino que te refieres a la ubicación de la partícula en relación con algún origen, por lo que $\vec{c}=\vec{r}$ . Más adelante, para simplificar, supondremos que la partícula se encuentra en el eje x (pero es importante hacer esto sólo después de diferenciando como veremos).

También supondremos que estamos rotando alrededor del eje z de manera que $\hat{n}=\hat{z}$ .

Entonces tenemos \begin{equation} \{\vec{c} , \vec{l}\cdot\vec{n}\}=\{\vec{r},xp_y - y p_x\} =\{x\hat{x}+y\hat{y}+z\hat{z},xp_y - y p_x\}= -y \hat{x}+x\hat{y}. \end{equation}

Ahora que hemos diferenciado (es decir, evaluado los paréntesis) podemos poner $y=0$ y $x=R$ (es decir, podemos suponer que nuestra partícula comenzó en el $x$ -eje en la posición $R$ ). Entonces \begin{equation} \{R \hat{x},\vec{l}\cdot\hat{z}\}=R \hat{y}=\hat{z}\times(R\hat{x}) \end{equation} que es consistente con su fórmula.

Por cierto, puede que te preocupe que haya empezado poniendo $\vec{c}=\vec{r}$ . Creo que en el marco en el que estás trabajando -mecánica de partículas- los vectores deberían partir todos del mismo origen. Si quieres empezar a tomar corchetes de poisson de vectores con diferentes orígenes, creo que realmente necesitas generalizar esta discusión a la teoría de campos (lo que complicará un poco la historia porque además de rotar la dirección del vector necesitas rotar el origen, así que terminarás con un término adicional). Así que creo que puede ser lo que tienes en mente, pero esa es una historia más complicada.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X