Esto es un no obligatorio ejercicio estoy luchando con la de mi Análisis de Clase II, al final de lo que me suponía para calcular $$\int_{-\infty}^\infty e^{-t^2}dt \tag{*}$$ El más famoso manera de hacerlo es cambiar a coordenadas polares , pero no debo hacerlo de esa manera, uno de mis tutores incluso la calificó de un "truco sucio'.
En lugar de que el ejercicio nos da los siguientes dos Integrales para trabajar con:
$$F(x)= \int_0^1 \frac{e^{-x^2(1+t^2)}}{1+t^2}dt \text{ and } G(x)= \left( \int_0^x e^{-t^2}dt\right)^2, \ \forall x \in \mathbb{R} $$
Yo todavía no veo cómo estas dos integrales se relacionan con ( * ), pero me puede, ingenuamente, siga las instrucciones dadas por el ejercicio de la hoja y la esperanza de que el resultado va a seguir:
Problema: Demostrar que $F,G$ son de Clase $C^1(\mathbb{R})$, calcula el $F',G'$ todos los $x \in \mathbb{R}$ y muestran que $F+G$ es constante
Mi enfoque: no Hay mucho que hacer realmente, en lugar de citar algunos de los Lemas, claramente la integral paramétrica $F$ es de clase $C^1$ porque $f(x,t): \mathbb{R} \times [0,1] \to \mathbb{R}$ $f(x,t)=e^{-x^2(1+t^2)}/(1+t^2)$ es de clase $C^1$, por tanto, puedo cambiar la derivada parcial con la integral y obtener ese $$F'(x) =-2 x \int_0^1e^{-x^2(1+t^2)}dt$$, dudo que puede simplificar aún más esta integral.
Con un poco de ayuda del teorema fundamental del Cálculo se obtiene que el $$G'(x)= 2 \left( \int_0^x e^{-t^2}dt\right)e^{-x^2} $$
En este punto, espero que el ejercicio (o mi cálculo) es errónea, al menos, el límite de puntos de las integrales porque no saben cómo mostrar que $F'+G'=0$ todos los $x\in \mathbb{R}$ a la conclusión de que la $F+G$ es constante.
El único sentido que yo pudiera hacer de la $F'$ sería si yo integrada con respecto a $x$ sino $t$. Hay más simplificaciones que puedo hacer?