Saltar al contenido principal

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Como primera aplicación, volvamos a revisar la integral gaussiana de la Sección 1.3,

$\int_{-\infty}^{\infty} e^{-ax^{2}}dx. \label{2.1}$

## Pregunta

¿Es el integral$$\sqrt{\pi α}$$ o$$\sqrt{\pi/α}$$?

La elección correcta debe funcionar para todos$$α = 0$$. En los puntos finales de este rango ($$α = \infty \text{ and } α = 0$$), la integral es fácil de evaluar.

## Pregunta

¿Cuál es la integral cuando$$α = \infty$$?

Como primer caso fácil, aumentar$$α \text{ to } \infty$$. Entonces −$$αx^{2}$$ se vuelve muy negativo, incluso cuando$$x$$ es pequeño. El exponencial de un gran número negativo es pequeño, por lo que la curva de campana se estrecha a una aseta, y su área se reduce a cero. Por lo tanto,$$α \rightarrow \infty$$ a medida que la integral se contrae a cero. Este resultado refuta la opción$$\sqrt{\pi α}$$, que es infinita cuando$$α = \infty$$; y soporta la opción$$\sqrt{\pi/α}$$, que es cero cuando$$α = \infty$$.

## Pregunta

¿Cuál es la integral cuando$$α = 0$$?

En el$$α = 0$$ extremo, la curva de campana se aplana en una línea horizontal con altura unitaria. Su área, integrada en el rango infinito, es infinita. Este resultado refuta la$$\sqrt{\pi α}$$ opción, que es cero cuando$$α = 0$$; y soporta la$$\sqrt{\pi/α}$$ opción, que es infinito cuando$$α = ­0$$. Así, la opción πα falla en ambas pruebas de casos fáciles, y la$$\sqrt{\pi/α}$$ opción pasa ambas pruebas de casos fáciles. Si estas dos opciones fueran las únicas, nosotros elegiríamos$$\sqrt{\pi/α}$$. No obstante, si una tercera opción fuera$$\sqrt{2/α}$$, ¿cómo podrías decidir entre ella y$$\sqrt{\pi/α}$$? Ambas opciones pasan ambas pruebas de casos fáciles; también tienen dimensiones idénticas. La elección parece difícil.

A elegir, prueba un tercer estuche fácil:$$α = 1$$. Entonces la integral simplifica a

$\int_{-\infty}^{\infty} e^{-x^{2}}dx. \label{2.2}$

Esta integral clásica se puede evaluar en forma cerrada mediante el uso de coordenadas polares, pero ese método también requiere de un truco con pocas otras aplicaciones (los libros de texto sobre cálculo multivariable dan los detalles grandiosos). Un enfoque menos elegante pero más general es evaluar la integral numéricamente y usar el valor aproximado para adivinar la forma cerrada.

Por lo tanto, reemplace la curva$$e^{−x^{2}}$$ suave por una curva que tenga n segmentos de línea. Esta aproximación lineal por tramos convierte el área en una suma de$$n$$ trapecios. A medida que
$$n$$ se acerca al infinito, el área de los trapecios se acerca cada vez más al área bajo la curva suave.

La tabla da el área bajo la curva en el rango$$x = −10 ... 10$$, después de dividir la curva en n segmentos de línea. Las áreas se asientan en un valor estable, y parece familiar. Comienza con 1.7, que podría derivarse de$$\sqrt{3}$$. No obstante, continúa como 1.77, que es demasiado grande para serlo$$\sqrt{3}$$. Afortunadamente,$$\pi$$ es ligeramente mayor que 3, por lo que el área podría estar convergiendo a$$\sqrt{\pi}$$.

Comprobemos comparando el área cuadrada con$$\pi$$:

1.772453850905522 ≈ 3.14159265358980,

$\pi ≈ 3.14159265358979. \label{2.3}$

El encuentro cercano sugiere que la integral$$α = 1$$ gaussiana es efectivamente$$\sqrt{π}$$:

$\int_{-\infty}^{\infty} e^{-x^{2}}dx = \sqrt{\pi}. \label{2.4}$

Por lo tanto, la integral gaussiana general

$\int_{-\infty}^{\infty} e^{-ax^{2}}dx \label{2.5}$

debe reducir a$$\sqrt{\pi}$$ cuando$$α = 1$$. También debe comportarse correctamente en los otros dos casos fáciles$$α = 0 \text{ and } α = \infty$$.

Entre las tres opciones$$\sqrt{­2/α}$$,$$\sqrt{­\pi/α}$$, y$$\sqrt{\pi α}$$, sólo$$\sqrt{\pi/α}$$ pasa las tres pruebas$$α = 0, 1, \text{ and } \infty$$. Por lo tanto,

$\int_{-\infty}^{\infty} e^{-ax^{2}}dx = \sqrt{\frac{\pi}{a}}. \label{2.6}$

Los casos fáciles no son la única manera de juzgar estas elecciones. El análisis dimensional, por ejemplo, también puede restringir las posibilidades (Sección 1.3). Incluso elimina opciones como$$\sqrt{\pi/α}$$ esa que pasan las tres pruebas de casos fáciles. Sin embargo, los casos fáciles son, por diseño, simples. No requieren que inventemos o deduzcamos dimensiones para$$x, α$$, y dx (el análisis extenso de la Sección 1.3). Los casos fáciles, a diferencia del análisis dimensional, también pueden eliminar opciones como$$\sqrt{2/α}$$ con las dimensiones correctas. Cada herramienta tiene sus fortalezas.

## Múltiples problemas

Problema 2.1 Probando varias alternativas

Para la integral gaussiana

$\int_{-\infty}^{\infty} e^{-ax^{2}}dx, \label{2.7}$

utilizar las tres pruebas de casos fáciles para evaluar su valor a los siguientes candidatos.

(a)$$\sqrt{\pi/α}$$

(b) 1+ ($$\sqrt{\pi}$$−1) /α

(c) 1/α$$^{2}$$ + ($$\sqrt{\pi}$$−1) /α.

Problema 2.2 Plausible, alternativa incorrecta

¿Existe una alternativa a$$\sqrt{\pi/α}$$ que tenga dimensiones válidas y pase las tres pruebas de casos fáciles?

$\int_{0}^{\infty} \frac{dx}{1 + x^{2}} = 2\int_{0}^{1} \frac{dx}{1 + x^{2}}. \label{2.8}$