I am currently working on the derivation of the Gaussian Integral $\int_0^\infty e^{-t^2} dt$.
For this I have two functions F, G: $[0, \infty) \mapsto \mathbb{R} $ with: $$F(X) = (\int_0^x e^{-t^2} dt )^2 $$ and $$G(X) = \int_0^1 \frac{e^{-x^2(1 + t^2)}}{1 + t^2} dt$$
Now I am supposed to show the following two things:
- $F'(x) + G'(x) = 0 $
- $F(x) + G(x) = \pi/4 $ for all x in $[0, \infty)$.
I am completely lost with this exercises and unfortunately, don't have any further hints.
Can you please help me in solving these two exercises? Thank you!
HINT:
$$\begin{align} G'(x)&=\frac{d}{dx}\int_0^1 \frac{e^{-x^2(1+t^2)}}{1+t^2}\,dt\\\\ &=\frac{d(x^2)}{dx}\frac{d}{d(x^2)}\int_0^1 \frac{e^{-x^2(1+t^2)}}{1+t^2}\,dt\\\\ &=-2x\int_0^1 e^{-x^2(1+t^2)}\,dt\\\\ \end{align}$$
Can you finish now by making a substitution of a variable?