Chain rule with functional derivative

Click For Summary
SUMMARY

The discussion focuses on the chain rule involving functional derivatives, specifically the identity: \frac{\delta F}{\delta\psi(x)} = \int dy\; \frac{\delta F}{\delta\phi(y)}\frac{\delta\phi(y)}{\delta\psi(x)}. Participants express confusion regarding the interpretation of \frac{\delta\phi(y)}{\delta\psi(x)}, questioning whether it represents a derivative of one function with respect to another. The conversation clarifies that if \phi is dependent on \psi, then each \psi corresponds to a set of functions \{\phi\}, leading to a natural functional G(\psi) = \phi_{\psi}(y).

PREREQUISITES
  • Understanding of functional derivatives
  • Familiarity with calculus of variations
  • Knowledge of mappings between functions
  • Basic concepts of functional analysis
NEXT STEPS
  • Study the properties of functional derivatives in depth
  • Explore the calculus of variations and its applications
  • Investigate mappings between functions and their implications
  • Learn about natural functionals and their derivations
USEFUL FOR

This discussion is beneficial for mathematicians, physicists, and researchers in fields involving functional analysis and calculus of variations, particularly those working with functional derivatives and their applications in theoretical frameworks.

jostpuur
Messages
2,112
Reaction score
19
This is supposedly the chain rule with functional derivative:

<br /> \frac{\delta F}{\delta\psi(x)} = \int dy\; \frac{\delta F}{\delta\phi(y)}\frac{\delta\phi(y)}{\delta\psi(x)}<br />

I have difficulty understanding what everything in this identity means. The functional derivative is usually a derivative of a functional with respect to some function, like in the term

<br /> \frac{\delta F}{\delta\phi(y)} := \lim_{\epsilon\to 0} \frac{1}{\epsilon}\big( F(\phi + \epsilon \delta_y) - F(\phi)\big),<br />

but isn't the term

<br /> \frac{\delta\phi(y)}{\delta\psi(x)} := ?<br />

now a derivative of a function with respect to another function? :confused:
 
Physics news on Phys.org
It could be I understood this. If \phi depends on \psi somehow, that means that every \psi can be mapped into a set of functions \{\phi\}, \psi\mapsto\phi_{\psi}, then with a fixed y there's the natural functional G, G(\psi) = \phi_{\psi}(y).
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K