Representación de dimensiones en los resultados de la función delta de Dirac

La función delta de Dirac se puede definir como

d ( X ) = 1 2 π mi i t X d t
De esto vemos que la función dirac tiene unidades de X 1 .

¿Cómo representamos las unidades en casos como los vectores propios de momento que, cuando se incluyen las unidades, se representa como

1 2 π ( k gramo 1 metro 1 s ) mi yo pag X
o
1 2 π mi yo pag X ( k gramo 1 2 metro 1 2 s 1 2 ) ?

¿Hay una forma preferida de escribir las unidades (no restringidas a unidades SI, cualquier otro sistema que incluya también unidades naturales) o simplemente las dejamos fuera, aunque sería dimensionalmente inconsistente sin unidades implícitas?

Las fuentes que puedo encontrar para el vector propio de impulso ignoran las unidades de la función delta sin siquiera mencionarlas.

PD: El problema surge al tratar de normalizar el operador de cantidad de movimiento.

Definir

ψ pag ( X ) = A mi yo pag X
Aqui, A tiene unidades de metro 1 2 .

Normalizándolo,

ψ pag 1 ( X ) ψ pag 2 ( X ) d X
= | A | 2 mi yo ( pag 2 pag 1 ) X d X
= | A | 2 2 π d ( pag 2 pag 1 )
Por lo tanto, ignorando la consistencia de las unidades y asumiendo A es positivo,
A = 1 2 π
Observe que las unidades no coinciden.

Respuestas (4)

La dimensión de la función delta de Dirac es la inversa de la dimensión de su argumento. Así que si X es una longitud entonces d ( X ) tiene la dimensión de longitud inversa.

En su ejemplo, el estado propio de impulso en la representación de posición tiene la función de onda

ψ pag ( X ) = A mi i pag X /
La interpretación de la función de onda es que | ψ | 2 es una densidad de probabilidad, que es la dimensión de 1/Longitud. Por lo tanto, A tiene dimensión de 1 / L mi norte gramo t h .

Como dices, calculando el producto escalar de dos funciones propias de impulso con valores propios pag 1 y pag 2 da

d X ψ pag 1 ( X ) ψ pag 2 ( X ) = | A | 2 d X mi i ( pag 2 pag 1 ) X / = | A | 2 2 π d ( pag 2 pag 1 )
El lado izquierdo es adimensional y, por lo tanto, también lo es el lado derecho. d ( pag 2 pag 1 ) tiene dimensión de longitud, por lo que de nuevo obtenemos que la dimensión de A es 1 / L mi norte gramo t h .

La pregunta es cómo representamos A. A tiene un valor de 1 2 π junto con las unidades que provienen de la función delta

Las unidades se suman en el ejemplo que proporciona:

Has establecido correctamente que la distribución delta tiene la dimensión de la dimensión inversa de su argumento. Esto se puede ver de varias maneras, por ejemplo, mirando F ( X ) d ( X X 0 ) d X = F ( X 0 ) , donde el LHS tiene que tener las dimensiones F tiene.

Con esto, nos fijamos en las dimensiones de | A | 2 2 π d ( pag 1 pag 2 ) :

[ | A | 2 2 π d ( pag 1 pag 2 ) ] = L 1 [ d ( pag 1 pag 2 ) ] = L 1 [ ] [ ( pag 1 pag 2 ) ] = L 1 [ X ] = L 1 L 1 = 1 ,
donde he usado eso pag tiene que tener dimensiones inversas de X hacer adimensional el argumento de la exponencial.


Nota: para ψ pag ( X ) = A Exp ( i pag X ) , queremos | ψ | 2 d X para representar una probabilidad, que es adimensional. De esto se sigue que A tiene que tener dimensiones L 1 2 .

Lo siento, he editado el error en la pregunta, quería que fuera metro 1 2
@ArianaGrande Bien, estamos en la misma página, entonces :)
Sin embargo, en el ejemplo, A 2 se muestra que es 1 2 π para fines de normalización, entonces, cómo representamos las unidades de la función delta en la función de onda original A mi yo pag X
@ArianaGrande Ok, estoy confundida: en la edición de su pregunta dice algo como "ignorar la consistencia de la unidad, las unidades no coinciden". ¿Qué es exactamente lo que estás preguntando? A no tiene dimensiones de ( 2 π ) 1 / 2 , tiene unas dimensiones de ( 2 π ) 1 / 2 ( k gramo metro s ) 1 / 2 debido a las unidades de la distribución delta, que en este caso tiene la dimensión de momento inverso.
Sí, ahí hay un problema, la pregunta es cómo debo expresar las unidades adicionales, ah y el k gramo metro s debe ir dentro de la raíz inversa. (Ah, y las ediciones recientes son solo cambios de formato, sin contenido agregado)
@ArianaGrande La raíz cuadrada no debería ser la inversa, porque estoy hablando de las unidades de A , que tiene unidades inversas de d ( pag ) , que es la inversa de la inversa de pag . De todos modos, como parece que estás preguntando sobre la notación, simplemente escribiría algo como A = 1 2 π k gramo metro s .
Sí, solo estaba pidiendo notación. Y sí, debería haber sido raíz, no raíz inversa

No estoy del todo seguro de lo que quiere decir con la notación, por ejemplo

1 2 π ( k gramo 1 metro 1 s ) mi yo pag X .

Los estados propios del impulso son ψ pag ( X ) = 1 2 π mi i pag X / , esto es cierto en cualquier sistema de unidades. No necesitas multiplicar con ninguna unidad. En el sistema SI, esto tiene unidades de

(*) 1 k gramo metro 2 s 1 .

Definir

ψ pag ( X ) = A mi yo pag X
Aqui, A tiene unidades de metro 1 .

Tenga en cuenta que | ψ pag ( X ) | 2 d X 1 (el estado no es normalizable), por lo tanto no hay razón para que la dimensión de A debe ser de longitud inversa! Lo que usamos en lugar de la normalización es lo siguiente:

pag pag = ψ pag ( X ) ψ pag ( X ) d X = d ( pag pag ) ,
aquí el d -la funcion tiene unidades de k gramo 1 metro 1 s que es totalmente compatible con (*).

O tal vez te ayude a considerar

d ( X ) = X | X = 0 = ψ pag ( 0 ) ψ pag ( X ) d pag = 1 2 π mi i pag X / d pag ,
donde las unidades también coinciden (por supuesto).

ψ ( X ) es la densidad de probabilidad de la posición, que debe tener unidades de metro 1 2 , sin embargo, A tiene unidades de k gramo 1 2 metro 1 s 1 2
@ArianaGrande Ahora veo de dónde vienes. Edito mi respuesta: | ψ pag ( X ) | 2 d X ¡no es uno!
¡Si ese no es uno, hay implicaciones masivas en la mecánica cuántica!
@ArianaGrande Los estados propios de momento y posición no son parte del espacio de Hilbert. El tema es matemáticamente un poco complicado. Eche un vistazo, por ejemplo, aquí (que trata sobre los estados propios de posición, pero es el mismo problema): physics.stackexchange.com/questions/339177/…
Buen punto, en la breve sección que he presentado, se ignoran muchos pasos de justificación. Sin embargo, la función de onda aún debe tener unidades de metro 1 2 y la probabilidad total de medir una partícula en cualquier posición es 1. PS realmente los vectores propios del momento son solo la posición que está completamente indefinida
@ArianaGrande Lo siento, pero... no ;) El problema con ψ pag ( X ) es eso | ψ pag ( X ) | 2 es constante En un espacio infinito, no puede tener una densidad de probabilidad constante distinta de cero que sume 1. Por eso ψ pag ( X ) no es un estado físico real, véalo solo como una herramienta matemática. Convencionalmente, se elige su normalización de tal forma que no tenga dimensiones de ( longitud ) 1 / 2 aunque es una función de onda. En otras palabras, | ψ pag ( X ) | 2 no tiene unidades de densidad de probabilidad convencionalmente.

tl; dr - Algunas de las "definiciones" comunes de la función delta de Dirac no son matemáticamente rigurosas, sino más bien conceptuales. La confusión sobre las unidades parece provenir de que estas funciones se toman más literalmente de lo que se pretendía. En realidad, es un factor sin unidades.


La función delta de Dirac se puede definir como

d ( X ) = 1 2 π mi i t X d t
De esto vemos que la función dirac tiene unidades de X 1 .

Esto no sigue. La función delta de Dirac produce un valor sin unidades, generalmente utilizado como factor para algún otro término para poner a cero el valor de ese término para la mayoría de los valores de X .

Las fuentes que puedo encontrar para el vector propio de impulso ignoran las unidades de la función delta sin siquiera mencionarlas.

No están asignando unidades porque la función delta de Dirac en sí misma carece de ellas.

Sobre la idea errónea de que las unidades se cancelan

A continuación, en los comentarios, @BySymmetry explicó la confusión como resultado de la observación de que

d X d ( X ) F ( X ) = F ( 0 ) ,
donde si queremos que las unidades se cancelen, entonces necesitamos d ( X ) tener unidades de X 1 .

Como señala Wikipedia:

En consecuencia, la medida delta no tiene derivada de Radon-Nikodym, ninguna función verdadera para la cual la propiedad

F ( X ) d ( X ) d X = F ( 0 )
sostiene [21] Como resultado, la última notación es un abuso conveniente de la notación, y no una integral estándar (Riemann o Lebesgue).

- Función delta de Dirac , Wikipedia

En resumen, esta ecuación es un "abuso de notación", no la definición real de una función delta de Dirac. Entonces, la idea de que debería tener unidades de X 1 basado en esta ecuación es sólo un malentendido.

Conceptualmente, el delta de Dirac es solo un dispositivo para hacer que una función sea cero en todas partes menos en un punto. es fundamentalmente un 0 -o- 1 factor de multiplicación, por lo que solo le faltan unidades. Puede escribir esa definición como quiera para que encaje en la notación matemática convencional, pero al final del día, eso es todo.

Ejemplo de la falacia

Tener unidades implica que, si cambia las unidades, digamos de metros a años luz, entonces necesita insertar un factor de multiplicación. Pero, si calcula algún valor con un delta de Dirac, luego cambia su unidad de longitud, ¿realmente multiplica por ese factor de conversión? Hacerlo sería un error matemático.

El problema es que un delta de Dirac está destinado a estar en un espacio infinitamente pequeño, por lo que asignarle proporcionalidad a través de unidades no tiene sentido.

¿Podrían los votantes negativos explicarlo?
De hecho, el delta de Dirac tiene unidades de X 1 . Esto se puede ver claramente en la relación definitoria de la función delta d X d ( X ) F ( X ) = F ( 0 ) . Desde d X tiene unidades de X , d ( X ) debe tener unidades de X 1
@BySymmetry Ah, entiendo la confusión: actualizaré la respuesta.
@BySymmetry Gracias por señalar el problema. ¿La actualización lo soluciona?
@Nat Decir que la función delta de dirac no tiene unidades falla en la identidad d ( a X ) = 1 | a | d ( X ) para a 0 Además, otra definición de la función delta de dirac es la transformada de Fourier de 1(unidades). Lo que también implica que la función delta tiene el inverso de las unidades de su entrada
@ArianaGrande Si lee la letra pequeña de esa identidad, solo se aplica cuando α Es un escalar distinto de cero, es decir, sin unidades.
@Nat Lo que básicamente estás diciendo es que d ( X ) no tiene un significado en sí mismo, sólo d ( X ) d X que no tiene unidades. Pero a menudo es útil para tratar d ( X ) como si fuera una función, y luego tiene unidades de X 1 . Además, no hay ninguna razón por la cual la identidad que Ariana mencionó solo deba ser válida para escalar. α .
@Noiralef Pero no tiene unidades de X 1 ; puedes tratarlo como una función sin recurrir a ese error. Si te ayuda, puedes decir que la integración da como resultado las unidades inversas en lugar de simplemente 1 .
El comentario de @Nat Ariana contradice la declaración en su respuesta de que sería un error insertar un factor de conversión sin unidades si se cambia la escala de la variable, por ejemplo, pasando de metros a años luz. De hecho, eso es precisamente lo que uno debe hacer.
@ user8153 Tengo problemas para ver cómo cambiar las unidades en esa ecuación que Ariana proporcionó requeriría el factor de proporcionalidad de la unidad para mantener la corrección. ¿Podría escribir la ecuación de Ariana, pero con valores en lugar de las variables, para ayudarme a ver el problema?
@Nat Esto es lo que tenía en mente: digamos que tienes d ( X ) , dónde X es una longitud. Ahora podría elegir una unidad de longitud A (digamos, un metro) y escribir d ( X ) = ( 1 / A ) d ( X / A ) . También podría elegir otra unidad de longitud B (digamos, un año luz) y obtener d ( X ) = ( 1 / B ) d ( X / B ) . Para convertir entre estas dos expresiones necesito un factor de escala constante: d ( X / B ) = ( B / A ) d ( X / a ) .