Integral doble con r⃗ r→\vec{r} y r⃗ −r⃗ ′r→−r→′\vec{r}-\vec{r}' como variables independientes

He visto integrales dobles del tipo

d 3 r d 3 r F ( r ) gramo ( r r )

se resuelve haciendo la sustitución tu = r r :

d 3 r d 3 tu F ( r ) gramo ( tu ) = ( d 3 r F ( r ) ) ( d 3 tu gramo ( tu ) )

No entiendo cómo se puede considerar r y tu como variables independientes (que se hace en este último signo igual).

Nota: publico esto aquí porque lo he visto hecho por físicos.

¿ Sería Matemáticas un mejor hogar para esta pregunta?
¡Tal vez! Sin embargo, solo he visto esto hecho por físicos: es por eso que lo publiqué aquí.
¿Has intentado calcular el valor del jacobiano para este cambio de coordenadas?

Respuestas (2)

Esta es la integral de la convolución. F gramo de funciones F y gramo . Tienes:

d 3 r d 3 r F ( r ) gramo ( r r ) = d 3 r ( d 3 r F ( r ) gramo ( r r ) ) = Fubini d 3 r ( d 3 r F ( r ) gramo ( r r ) ) = F ( r )  no depende de  r d 3 r F ( r ) ( d 3 r gramo ( r r ) ) = tu = r r d 3 r F ( r ) ( d 3 tu gramo ( tu ) ) = ( d 3 r F ( r ) ) ( d 3 tu gramo ( tu ) ) .
Notas:

  • la integral interna de las líneas 2, 3, 4 se calcula para fijo r ,

  • como lo menciona kryomaxim, el cambio de variable con fijo r en la cuarta línea proporciona una integral interna independiente de r porque la integracion wrt r (y tu ) se realiza en todo el espacio,

  • no hay signo menos en el cambio de variable tu = r r porque d 3 tu = | jacobiano | d 3 r (para X = X , piensa también en R d X F ( X ) = R d X F ( X ) que es una propiedad de la integral de Lebesgue, para comparar con la integral de Riemann donde + d X F ( X ) = + d X F ( X ) = + d X F ( X ) ).

Tal vez estoy malinterpretando lo que d 3 r ¯ significa (o algo completamente diferente), pero claramente hay algo mal en su razonamiento. Toma el caso simple F ( q ) = gramo ( q ) = q . Entonces, reemplazando d 3 q con d q sin pérdida de generalidad (espero), es sencillo deducir que
F ( τ ) gramo ( t τ ) d t d τ = C t + t 2 τ 2 4 t τ 3 3
mientras
( F ( τ ) d τ ) ( gramo ( t τ ) d t ) = t 3 τ 2 t 2 τ 2 4 C 1 2 τ 2 + C 1 t τ + C 2 2 t 2 + C 1 C 2
Entonces, los dos son bastante diferentes.
@Rody Oldenhuis: tus integrales no existen, q no es integrable en R . Recuerde que el resultado es válido para integrales en todo el espacio R norte . Además, tus integrales, si existieran, solo podrían ser constantes (excepto la última), no dependiendo de t ni τ , estás confundiendo entre integral y primitivo. POR CIERTO, d 3 r es el volumen elemental d X d y d z en R 3 .
Ahora veo el problema. Yo estaba haciendo una integración indefinida mientras tú hacías una integración incorrecta . El OP no lo dijo explícitamente, pero en el contexto de la convolución, eso sería lo más sensato. Y en ese caso, tienes razón, porque el teorema de Fubini no se cumple si cualquiera de las integrales no es finita.
@Rody Oldenhuis: de acuerdo. El OP debería haberlo declarado explícitamente, ya que es confuso.

Inicialmente, r y r son variables independientes. Después de la sustitución, tu es independiente de la otra variable r , porque tu es la variable r , pero desplazado por un valor r .

En general, esta fórmula es cierta si los límites de integración se establecen desde a en cada dirección. Las integrales sobre una región infinita son invariantes de traslación, por lo tanto, el cambio por r marcas tu sigue siendo una variable independiente.

Si quieres saber más matemáticamente puedes buscar "Teorema de Fubini".