¿Cómo calcular la derivada funcional correctamente?

Dejar ϕ ser un campo escalar real y j una función fuente arbitraria. Considerar

S mi [ ϕ , j ] = d 4 X [ 1 2 ( m ϕ ) ( m ϕ ) + 1 2 metro 2 ϕ 2 + V ( ϕ ) j ( X ) ϕ ( X ) ] .
Me gustaría calcular la derivada funcional de S mi con respecto a ϕ ( X ) . Mi intento (la barra sobre las derivadas es solo para indicar que las tomamos con respecto a y )
d S mi [ ϕ , j ] d ϕ ( X ) = d d ϕ ( X ) d 4 y [ 1 2 ( ¯ m ϕ ) ( ¯ m ϕ ) + 1 2 metro 2 ϕ 2 + V ( ϕ ) j ( y ) ϕ ( y ) ] = metro 2 ϕ ( X ) + V ( ϕ ) j ( X ) + 1 2 d d ϕ ( X ) d 4 y ( ¯ m ϕ ) ( ¯ m ϕ ) = PAG . I metro 2 ϕ ( X ) + V ( ϕ ) j ( X ) 1 2 d d ϕ ( X ) d 4 y ( ¯ 2 ϕ ) ϕ ( y )
y aquí es donde estoy un poco atascado. pensé que
d d ϕ ( X ) d 4 y ( ¯ 2 ϕ ) ϕ ( y ) = 2 ϕ ( X ) ,
es decir, tratamos ¯ 2 ϕ ( y ) y ϕ ( y ) como "variables independientes" cuando tomamos la derivada con respecto a ellas. Pero entonces el resultado final sería
d S mi [ ϕ , j ] d ϕ ( X ) = metro 2 ϕ ( X ) + V ( ϕ ) j ( X ) 1 2 2 ϕ ( X ) ,
Cuál está mal. Entonces, ¿alguien podría explicarme cómo se toma correctamente la derivada funcional en esta expresión?

Respuestas (3)

Una buena forma de calcular las derivadas funcionales es usar el concepto de la derivada de Gateaux de la siguiente manera:

d d ϵ S [ ϕ + ϵ η ] | ϵ = 0 = d 4 X d S d ϕ η

En tu caso,

S [ ϕ + ϵ η ] = d 4 X   { 1 2 ( ( ϕ ) 2 + 2 ϵ ( m ϕ ) ( m η ) + ϵ 2 ( η ) 2 )
+ 1 2 metro 2 ( ϕ 2 + 2 ϵ η ϕ + ϵ 2 η 2 ) + V ( ϕ + ϵ η ) j ( ϕ + ϵ η ) }
Diferenciar y ambientar ϵ a cero rendimientos
d d ϵ S [ ϕ + ϵ η ] | ϵ = 0 = d 4 X { ( m ϕ ) ( m η ) + metro 2 ϕ η + V ( ϕ ) η j η }
Podemos convertir esto en la forma deseada integrando por partes, dando
d d ϵ S [ ϕ + ϵ η ] | ϵ = 0 = d 4 X { 2 ϕ + metro 2 ϕ + V ( ϕ ) j } η
Por lo tanto, podemos leer
d S d ϕ = 2 ϕ + metro 2 ϕ + V ( ϕ ) j

Esto se explica maravillosamente en el maravilloso "Boas, ML, 1999. Métodos matemáticos en las ciencias físicas".

Aquí hay una segunda forma de ver el resultado correcto para tomar la derivada funcional de la derivada del espacio-tiempo del campo, que espero sea útil.

Recuerde que la definición de la derivada funcional es

d ϕ ( y ) d ϕ ( X ) = d ( y X ) .
Sabes que los deltas de Dirac son distribuciones. Es decir, siempre debes pensar en ellos viviendo bajo una integral con alguna función de prueba. Entonces, la definición anterior realmente debería considerarse como
d d ϕ ( X ) ϕ ( y ) F ( y ) d y = d ( y X ) F ( y ) d y = F ( X )
para alguna función arbitraria F ( y ) .

Ahora suponga que tiene la derivada del espacio-tiempo de ϕ .

d d ϕ ( X ) ϕ ( y ) F ( y ) d y
Para entender lo que esto significa, basta con integrar por partes.
d d ϕ ( X ) ϕ ( y ) F ( y ) d y = d ( y X ) F ( y ) d y = F ( X )
Pero esta es exactamente la definición de cómo se supone que la derivada del delta de Dirac actúa sobre una función de prueba arbitraria. De manera informal, puede simplemente integrar por partes para obtener
d ( y X ) F ( y ) d y = d ( y X ) F ( y ) d y .
Sacando este resultado de su agradable y seguro hogar integral, podemos escribir la definición
d d ϕ ( X ) ϕ ( y ) = d ( y X ) .

La aplicación de esta definición a su problema da el resultado deseado. En resumen, podemos decir que la derivada funcional simplemente "pasa" la derivada del espacio-tiempo en el campo ( d ϕ = d ϕ ), por lo que actúa "como cabría esperar" en los dos factores de ϕ y te da el factor de 2 que necesitas.

La forma más segura de calcular la derivada funcional es usar la siguiente receta:

S [ ϕ + d ϕ ] = S [ ϕ ] + d 4 X d S d ϕ d ϕ + O ( d ϕ 2 )

En otras palabras, agregue una pequeña perturbación al campo y manipule la acción para que tenga la forma de una integral multiplicada por la variación (ignorando los términos superiores al orden lineal en la variación). Entonces la parte del integrando que multiplica la variación es la derivada funcional.

A continuación se explica cómo aplicar esto en su ejemplo.

Comenzamos con la acción (voy a absorber el término de masa en el potencial ya que realmente no hace ninguna diferencia para este cálculo)

S [ ϕ ] = d 4 X ( 1 2 ( ϕ ) 2 + V ( ϕ ) + ϕ j )

Luego agregamos una perturbación al campo y solo mantenemos los términos de primer orden

S [ ϕ + d ϕ ] = S [ ϕ ] + d 4 X ( m ϕ m d ϕ + V ϕ d ϕ + d ϕ j ) + O ( d ϕ 2 )

Luego hacemos una integración por partes sobre el término cinético para que le quitemos la derivada a la variación. Esto lleva a

S [ ϕ + d ϕ ] = S [ ϕ ] + d 4 X [ ( ϕ + V ϕ + j ) d ϕ ] + O ( d ϕ 2 )

Comparando con la definición anterior, vemos que

d S d ϕ = ϕ + V ϕ + j