Use Feynman's Trick for Evaluating Integrals
Inactive can be used to derive identities by applying standard techniques such as Feynman's trick of differentiating under the integral sign.
Derive a closed form for by analyzing
.
In[1]:= | ![]() X |
Out[1]= | ![]() |
First differentiating with respect to at
produces the desired integral.
In[2]:= | ![]() X |
Out[2]= | ![]() |
If the integration is done first, the integral is simple.
In[3]:= | ![]() X |
Out[3]= | ![]() |
The derivative with respect to at
is also straightforward.
In[4]:= | ![]() X |
Out[4]= | ![]() |
In[5]:= | ![]() X |
Out[5]= | ![]() |
Equating the two expressions produces the answer.
In[6]:= | ![]() X |
Out[6]//TraditionalForm= | |
![]() |
Verify the answer.
In[7]:= | ![]() X |
Out[7]= | ![]() |