Table of Contents
Once upon a time in the fantastical realm of Quantum Field Theory, three functional giants roamed the land: , , and . These functionals were peculiar entities, creatures that didn’t just evaluate a number at a point but instead swallowed entire functions and churned out a single value. Today, dear reader, we embark on an odyssey to dissect the inner workings of these giants and understand how they respond to infinitesimal changes. In the language of mathematics, we seek the “functional derivatives” of these giants.
## The Case of
The functional is defined as:
We want to find following the formal definition:
First, let’s find :
Upon expanding, this becomes:
Therefore, the functional derivative becomes:
## The Mystery of
### The First Functional Derivative of
The functional under consideration is .
Using the formal definition of functional derivative:
The integral with the small change becomes:
Using this in the functional derivative:
### The Second Functional Derivative of
For the second functional derivative , we take the derivative of the first functional derivative with respect to :
## The Enigma of
The functional is given by:
We want to find using the formal definition:
First, consider the term inside :
The last term involves and will vanish in the limit .
Now, the middle term after integration will look like:
The negative sign appears due to integration by parts. Thus, .
Finally, using this in the formal definition:
And there we have it! The functional derivative is found in a rigorous manner following the formal definition. This reveals that is sensitive to the curvature of the function at the point .
Thus, we’ve rigorously computed the functional derivatives for , , and based on the formal definitions. The enigmas are solved, and the giants’ secrets are laid bare, all through the power of rigorous mathematical formulation.
And so, dear reader, we’ve unmasked the mysteries of our three functional giants. May this tale serve as a guide on your own journey through the wondrous world of Quantum Field Theory.