FEYN CALC SYMBOL

FunctionalD


calculates the functional derivative of expr with respect to the field list (with incoming momenta p etc.) and does the fourier transform. FunctionalD[expr, {QuantumField[name, {mu},{a}], ...}] calculates the functional derivative and does partial integration but omits the x-space delta functions. FunctionalD is a low level function used in FeynRule.

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

Instead of the usual deltaphi(x)/deltaphi(y)=delta^((D))(x-y) the arguments and the δ function are omitted, i.e., for the program for simplicity: deltaphi/deltaphi=1
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
Instead of the usual (delta partial_muphi(x))/deltaphi(y)=partial_mudelta^((D))(x-y) the arguments are omitted, and the partial_muoperator is specified by default to be an integration by parts operator, i.e., the right hand side will be just Null, or, more precisely (by default) .
In[3]:=
Click for copyable input
Out[3]=
S[phi] =1/2int d^Dx [ partial_muphi(x) partial^muphi(x)-m^2phi(x) phi(y)]
In[4]:=
Click for copyable input
Out[4]=
In[5]:=
Click for copyable input
Out[5]=
First approach
In[6]:=
Click for copyable input
Out[6]=
In[7]:=
Click for copyable input
Out[7]=
In[8]:=
Click for copyable input
Out[8]=
In order to derive the equation of motion the functional derivative of S with respect to has to be set to zero. Bearing in mind that for FeynCalc we have to be precise as to where which operators (coming from the substitution of the derivative of the δ function) act:, act with the functional derivative operator on the first field strength:
In[9]:=
Click for copyable input
Out[9]=
In[10]:=
Click for copyable input
Out[10]=
In order to minimize the number of dummy indices, replace b c.
In[11]:=
Click for copyable input
Out[11]=
Instead of inserting the definition for the second , introduce a QuantumField object with antisymmetry built into the Lorentz indices:
In[12]:=
Click for copyable input
In[13]:=
Click for copyable input
Out[13]=
In[14]:=
Click for copyable input
Out[14]=
In[15]:=
Click for copyable input
Out[15]=
In[16]:=
Click for copyable input
Out[16]=
In[17]:=
Click for copyable input
Out[17]=
Since the variational derivative vanishes t4 implies that 0 = .
Second approach
It is of course also possible to do the functional deriviate on the S[A] with both field strength tensors inserted.
In[18]:=
Click for copyable input
Out[18]=
In[19]:=
Click for copyable input
Out[19]=
This is just funcional derivation and partial integration and simple contraction of indices. No attempt is made to rename dummy indices (since this is difficult in general).
With a general replacement rule only valid for commuting fields the color indices can be canonicalized a bit more. The idea is to use the commutative properties of the vector fields, and canonicalize the color indices by a trick. This function will work on any commuting product of fields.
In[20]:=
Click for copyable input
In[21]:=
Click for copyable input
In[22]:=
Click for copyable input
Out[22]=
In[23]:=
Click for copyable input
Out[23]=
Inspection reveals that still terms are the same. Gather the terms with two f 's:
In[24]:=
Click for copyable input
Out[24]=
In[25]:=
Click for copyable input
Out[25]=
In[26]:=
Click for copyable input
Out[26]=
Check that this is now indeed the same as the t4 result from the first attempt.
In[27]:=
Click for copyable input
Out[27]=
In[28]:=
Click for copyable input
Out[28]=
In[29]:=
Click for copyable input
Out[29]=
In[30]:=
Click for copyable input
Out[30]=
In[31]:=
Click for copyable input
Out[31]=
In[32]:=
Click for copyable input
Out[32]=
quod erat demonstrandum.
In[33]:=
Click for copyable input