Aquí es una intuición detrás de este problema:
Supongamos que una familia de funciones de $K_n$ tiene la siguiente propiedad:
- $K_n \geq 0$ $\int K_n = 1$ . Es decir, $K_n$ tiene unidad de masa,
- $\int_{|x|\geq \delta} K_n \to 0$ $n \to \infty$ . Es decir, la masa de $K_n$ se concentra hacia la $0$ $n$ crece.
Podemos dar una interpretación intuitiva de estas condiciones en términos de $K_n(x) \, dx$ como sigue: Pensar de un integrante $\int f(x) \, dx $ como la suma de los infinitesimales masas $f(x) \, dx$, cada uno de los cuales se encuentra en el intervalo de $[x, x+dx]$. Entonces
- la suma total de los infinitesimales masas $ K_n(x) \, dx $ es igual a uno,
- $ K_n(x) \, dx \to 0$ si $x$ está lejos de $0$$n\to\infty$.
Por lo tanto esperamos que el $ K_n(0) \, dx \to 1$ y por lo tanto
\begin{align*}
\lim_{n\to\infty} \int f(x) K_n(x) \, dx
&= \lim_{n\to\infty} \sum f(x) K_n(x) \, dx \\
&= \sum f(x) \lim_{n\to\infty} K_n(x) \, dx
= f(0).
\end{align*}
Esta observación(?) sugiere que debemos dividir el comportamiento de $K_n$ en
-
cerca de-la-origen de la parte donde la masa de $K_n$ se acumula y
-
fuera-de-la-origen de la parte donde la masa de $K_n$ se desvanece.
Ahora vamos a regresar a la cuestión de la elaboración de una rigurosa prueba. Deje $f$ ser continua en $[0, 1]$. En particular, $f$ está acotada por una constante $M > 0$ y continua en $x = 0$. Por lo tanto para cualquier $\epsilon > 0$ existe $\delta > 0$ tal que
$$ |x| < \delta \Longrightarrow |f(x) - f(0)| < \epsilon. $$
Ahora vamos a
$$ K_n(x) = \frac{1}{\tan^{-1}n} \frac{n}{1+n^2 x^2}. $$
Entonces es claro que
$$ \int_{0}^{1} K_n(x) \, dx = \frac{1}{\tan^{-1} n} \int_{0}^{n} \frac{dx'}{1+x'^2} = 1$$
y del mismo modo
\begin{align*}
\int_{\delta}^{1} K_n(x) \, dx
&= \frac{1}{\tan^{-1} n} \int_{n\delta}^{n} \frac{dx'}{1+x'^2} \\
&\leq \frac{1}{\tan^{-1} n} \int_{n\delta}^{\infty} \frac{dx'}{1+x'^2}
= \frac{\tan^{-1} 1/(n\delta)}{\tan^{-1} n} \to 0 \quad \text{as } n\to\infty.
\end{align*}
Mantener estas observaciones en mente, hacemos la siguiente descomposición.
\begin{align*}
\left| \int_{0}^{1} \frac{n f(x)}{1+n^2 x^2} \, dx - \frac{\pi}{2} f(0) \right|
&\leq \left| \int_{0}^{1} f(x) K_n(x) \, dx - f(0) \right| \tan^{-1}n + \left|\tan^{-1} n - \frac{\pi}{2} \right| \left| f(0) \right|.
\end{align*}
Luego dividir la integral término en dos partes, con una cerca del origen y de la otra distancia desde el origen, se observa que
\begin{align*}
\left| \int_{0}^{1} f(x) K_n(x) \, dx - f(0) \right|
&= \left| \int_{0}^{1} (f(x) - f(0)) K_n(x) \, dx \right| \\
&\leq \int_{0}^{1} \left| f(x) - f(0) \right| K_n(x) \, dx \\
&\leq \int_{0}^{\delta} \left| f(x) - f(0) \right| K_n(x) \, dx + \int_{\delta}^{1} \left| f(x) - f(0) \right| K_n(x) \, dx \\
&\leq \int_{0}^{\delta} \epsilon K_n(x) \, dx + \int_{\delta}^{1} 2M K_n(x) \, dx \\
&\leq \epsilon + 2M \int_{\delta}^{1} K_n(x) \, dx,
\end{align*}
y por lo tanto
\begin{align*}
\left| \int_{0}^{1} \frac{n f(x)}{1+n^2 x^2} \, dx - \frac{\pi}{2} f(0) \right|
&\leq \frac{\pi}{2} \epsilon + \pi M \int_{\delta}^{1} K_n(x) \, dx + \left| f(0) \right| \tan^{-1} \frac{1}{n}.
\end{align*}
Tomando $\limsup_{n\to\infty}$, tenemos
\begin{align*}
\limsup_{n\to\infty} \left| \int_{0}^{1} \frac{n f(x)}{1+n^2 x^2} \, dx - \frac{\pi}{2} f(0) \right|
&\leq \frac{\pi}{2} \epsilon.
\end{align*}
Pero como esto es cierto para cualquier $\epsilon > 0$, debemos tener
\begin{align*}
\limsup_{n\to\infty} \left| \int_{0}^{1} \frac{n f(x)}{1+n^2 x^2} \, dx - \frac{\pi}{2} f(0) \right| = 0 \quad \Longleftrightarrow \quad \lim_{n\to\infty} \int_{0}^{1} \frac{n f(x)}{1+n^2 x^2} \, dx = \frac{\pi}{2} f(0).
\end{align*}