MATERIAL EN REVISIÓN

Introducción

En las entradas pasadas desarrollamos una gran cantidad de resultados asociados a la integral de Lebesgue, que demuestran que ésta tiene propiedades analíticas muy interesantes. Sin embargo, quedan dos preguntas importantes por responder: ¿Cuál es la relación que existe entre la noción «clásica» de integración (i.e. la integral de Riemann) y la integral de Lebesgue? ¿Cómo podemos evaluar integrales de funciones «sencillas»? (por ejemplo polinomios, funciones trigonométricas y exponenciales).

En esta entrada responderemos esa pregunta. Veremos que una función Riemann integrable es automáticamente $L^1$ y que las dos nociones de integral coinciden. Esto tiene una consecuencia importante: Si la función es Riemann integrable, podemos reducir el cálculo de la integral de Lebesgue a una integral de Riemann y usar todas las herramientas que ya conocemos de estas para calcular integrales (por ejemplo el teorema fundamental del cálculo, cambios de variable, etc.).

Breve repaso de la integral de Riemann

Una partición $P$ de un intervalo cerrado $[a,b]$ es una secuencia de puntos $a=t_0<t_1<\cdots <t_k=b$. Una partición de un rectángulo cerrado $A=[a_1,b_1]\times \cdots \times [a_n,b_n]$ es una colección $P=(P_1,\dots ,P_n)$ donde cada $P_i$ es una partición del intervalo $[a_i,b_i]$. Si $P_i$ divide a $[a_i,b_i]$ en $l_i$ intervalos consecutivos, entonces $P=(P_1,\dots ,P_n)$ divide a $A$ en $l_1\cdot l_2\cdot \cdots \cdot l_n$ subrectángulos (formados por productos de subintervalos inducidos por la partición). Denotaremos a la colección de dichos rectángulos como $R_P$.

Definimos el diámetro de una partición $P=(P_1,\dots ,P_n)$ como el supremo de los diámetros de los rectángulos inducidos: $$diam(P)=\underset{S\in R_P}{sup}\{diam(S)\}.$$

Sea $f:A\to \mathbb{R}$ una función acotada sobre un rectángulo $A$ y $P$ una partición de $A$. Para cada subrectángulo $S\in {\mathcal{R}}_P$ definimos

$$\begin{array}{rl}{m}_S& =inf\{f(x)|x\in S\}\\ M_S& =sup\{f(s)|x\in S\}.\end{array}$$

Definimos las sumas inferiores y superiores de $f$ asociadas a la partición $P$ como:
$$L(f,P)=\sum _{S\in R_P}{m}_s|S|;U(f,P)=\sum _{S\in R_P}{M}_s|S|.$$
Donde $|S|=\lambda (S)$ es el volúmen/medida del rectángulo $S$ (el producto de los intervalos componentes).

Decimos que una partición $P^{\prime }=(P_1\prime ,\dots ,P_n^{\prime })$ refina a $P=(P_1,\dots ,P_n)$ si $P_k\subseteq P_k^{\prime }$ para cada $k=1,2,\dots ,n$. (Esto es, cada subrectángulo de $P^{\prime }$ está contenido en un subrectángulo de $P$).

El siguiente Lema es estándar. Omitimos la demostración, ésta puede ser consultada en la mayoría de textos.

Lema. Si $P^{\prime }$ refina a $P$, entonces $$L(f,P)\le L(f,P^{\prime })\le U(f,P^{\prime })\le U(f,P).$$

Decimos que una función acotada $f:A\to \mathbb{R}$ es Riemann integrable si $$\underset{P}{sup}\{L(f,P)\}=\underset{P}{inf}\{U(f,P)\}.$$

El valor común $\underset{P}{sup}\{L(f,P)\}=\underset{P}{inf}\{U(f,P)\}$ es llamado la integral de Riemann de $f$ sobre $A$ y lo denotaremos provisionalmente como $${\int }_{\mathcal{R},A}f(x)\mathrm{d}x.$$

Una clase importante de funciones Riemann integrables son las funciones continuas:

Proposición. Si $f$ es una función continua sobre un rectángulo $A$ entonces $f$ es Riemann integrable.

Omitimos la demostración.

Las integrales de Riemann y Lebesgue

Teorema. Sea $f$ una función acotada sobre un rectángulo $A$.

1. Si $f$ es Riemann integrable, entonces $f$ es Lebesgue medible (y por tanto integrable en $A$ al ser acotado), además $${\int }_{\mathcal{R},A}f(x)\mathrm{d}x={\int }_{A}f\mathrm{d}\lambda .$$
2. $f$ es Riemann integrable sobre $A$ si y sólo si $D=x|f\text{es discontinua en }x$ tiene medida de Lebesgue cero.

Demostración. Supongamos que $f$ es Riemann integrable. Para cada partición $P$ definamos:

$$g_P=\sum _{S\in R_P}{m}_S{\chi }_S;G_P=\sum _{S\in R_P}{M}_S{\chi }_S.$$

Si bien los rectángulos $S\in R_P$ no son ajenos, sólo se intersectan en conjuntos de medida cero (sus fronteras). Usando que $\lambda (S)=|S|$, concluimos facilmente:

$$\int g_P\mathrm{d}\lambda =L(f,P);\int G_P\mathrm{d}\lambda =U(f,P).$$

Como $\underset{P}{sup}\{L(f,P)\}=\underset{P}{inf}\{U(f,P)\}={\int }_{\mathcal{R},A}f(x)\mathrm{d}x$, podemos encontrar una sucesión de particiones $P_1,P_2,\dots$ tales que $L(f,P_k),U(f,P_k)⟶{\int }_{\mathcal{R},A}f(x)\mathrm{d}x$ cuando $k⟶\mathrm{\infty }$. Por el Lema podemos suponer sin pérdida de generalidad que para cada $k=1,2,\dots$, $P_{k+1}$ refina a $P_k$ y el diámetro de $P_k$ es menor a $\frac{1}{k}$.

Consideremos $$N_k=\bigcup _{S\in R_{P_k}}\partial S,$$ (Donde $\partial A$ denota la frontera del conjunto $A$ ), Y $$N=\bigcup _{k\in \mathbb{N}}{N}_k.$$
Es decir, $N$ es el conjunto de puntos que está en la frontera de alguno de los rectángulos inducidos por $P_k$ para algún $k$. Cada $N_k$ es un conjunto nulo (pues está contenido en una cantidad finita de hiperplanos) $⟹$ $N$ es un conjunto nulo.

Observemos que cualquier punto $x\notin N$ está estrictamente en el interior de cada rectángulo $S\in R_{P_k}$ al que pertenece. Esto nos garantiza que $g_{P_1}(x)\le g_{P_2}(x)\le \dots$ y $G_{P_1}(x)\ge G_{P_2}(x)\ge \dots$ pues si $x\in T\subseteq S$ con $S\in R_{P_k};T\in R_{P_{k+1}}$, entonces $g_{P_k}(x)=m_S\le m_T=g_{P_{k+1}}(x)$ y $G_{P_k}(x)=M_S\ge M_T=G_{P_{k+1}}(x)$. Además $|g_{P_k}(x)|,|G_{P_k}(x)|\le \underset{A}{sup}|f|$.

Por lo anterior, deducimos que $g_{P_k}$ es una sucesión crecieciente y acotada en c.t.p. mientras que $G_{P_k}$ es una sucesión decreciente y acotada en c.t.p. Esto garantiza que $g_{P_k}$ y $G_{P_k}$ convergen a ciertas funciones $g$ y $G$ con $g\le f\le G$ en c.t.p. ,además, ambas sucesiones están acotadas en norma por $\underset{A}{sup}|f|$. Se sigue del teorema de la convergencia dominada que:

$${\int }_{\mathcal{R},A}f(x)\mathrm{d}x=\underset{k\to \mathrm{\infty }}{lim}L(f,P_k)=\underset{k\to \mathrm{\infty }}{lim}\int g_{P_k}\mathrm{d}\lambda =\int g\mathrm{d}\lambda$$
$${\int }_{\mathcal{R},A}f(x)\mathrm{d}x=\underset{k\to \mathrm{\infty }}{lim}U(f,P_k)=\underset{k\to \mathrm{\infty }}{lim}\int G_{P_k}\mathrm{d}\lambda =\int G\mathrm{d}\lambda$$

Como $G-g\ge 0$ (en c.t.p.) y $\int (G-g)\mathrm{d}\lambda =0$, se sigue que $G=g$ en c.t.p. $⟹$ $G=f=g$ en c.t.p., por lo que $f$ es medible. Más aún, es $L^1(A)$ pues es una función medible y acotada (en c.t.p.) sobre $A$. Por monotonía la única posibilidad es:

$$\int f\mathrm{d}\lambda =\int g\mathrm{d}\lambda =\int G\mathrm{d}\lambda ={\int }_{\mathcal{R},A}f(x)\mathrm{d}x.$$

Se sigue 1.

Veamos la dirección ($⟹$) en 2. Supongamos que $f$ es Riemann integrable. Consideremos las funciones: $$h(x)=\underset{\delta \to 0}{lim}\underset{|y-x|\le \delta }{inf}f(y);H(x)=\underset{\delta \to 0}{lim}\underset{|y-x|\le \delta }{sup}f(y).$$

$h$ y $H$ están bien definidas pues $f$ es acotada. Desentrañando las definiciones es fácil ver que $H(x)=h(x)$ si y sólo si $f$ es continua en $x$. Usaremos la notación del inciso anterior.

Definamos $N^{\prime }=N\cup \{x|g(x)\ne G(x)\}$. En el inciso anterior probamos que los dos conjuntos en la unión son nulos, de modo que $N^{\prime }$ es nulo. Probaremos que si $x\notin N^{\prime }$ $⟹$ $H(x)=h(x)$ (en particular $f$ es continua en c.t.p.). Sea entonces $x\in A\setminus N^{\prime }$.

Sea $\epsilon >0$. Como $\underset{k\to \mathrm{\infty }}{lim}{g}_k(x)=g(x)=G(x)=\underset{k\to \mathrm{\infty }}{lim}{G}_k(x)$, podemos encontrar una $M\in \mathbb{N}$ suficientemente grande tal que $$G_M(x)-g_M(x)<\frac{\epsilon }{2}.$$

Sea $S$ el rectángulo inducido por $P_M$ tal que $x\in S$. Como observamos anteriormente, $x$ está en el interior de $S$, de modo que podemos encontrar $\delta >0$ suficientemente pequeño tal que $$B_{\delta }(x)\subseteq S$$ Luego, $\mathrm{\forall }y\in B_{\delta }(x)$:
$$G_M(x)=\underset{y\in S}{sup}f(y)\ge \underset{|y-x|\le \delta }{sup}f(y)\ge \underset{|y-x|\le \delta }{inf}f(y)\ge \underset{y\in S}{inf}f(y)=g_M(x)$$
$$⟹\underset{|y-x|\le \delta }{sup}f(y)-\underset{|y-x|\le \delta }{inf}f(y)\le G_M(x)-g_M(x)<\epsilon .$$ Como esto se satisface para cualquier $\epsilon >0$, necesariamente $$h(x)=\underset{\delta \to 0}{lim}\underset{|y-x|\le \delta }{inf}f(y)=\underset{\delta \to 0}{lim}\underset{|y-x|\le \delta }{sup}f(y)=H(x).$$
Esto prueba la implicación ($⟹$) de 2.

La implicación ($⟸$) es esencialmente revertir los pasos anteriores: Tomemos cualquier sucesión de particiones cuyo diámetro se haga arbitrariamente pequeño y definamos $g_k,G_k,g,G,N$ como antes. Es fácil ver que si $H(x)=h(x)$ con $x\notin N$ $⟹$ $h(x)=g(x)=G(x)=H(x)$. En particular $g=G$ en c.t.p. Aplicando el teorema de la convergencia dominada se llega a una desigualdad análoga a (2) lo que implica que $\underset{k\to \mathrm{\infty }}{lim}L(f,P_k)=\underset{k\to \mathrm{\infty }}{lim}U(f,P_k)$, es decir, que $f$ es Riemann integrable.

Cálculo de integrales

Por el teorema anterior, podemos reducir el cálculo de una integral de Lebesgue al cálculo de una integral de Riemann mientras la función sea Riemann integrable. Esto nos permite usar todas las herramientas conocidas para el cálculo de integrales de Riemann, como el teorema fundamental del cálculo o los cambios de variable.

Esto se aprecia mejor con un ejemplo.

Ejercicio. Calcular la integral de Lebesgue $${\int }_0^{\mathrm{\infty }}{e}^{-x}\mathrm{d}x.$$

Solución. La sucesión $g_N(x)=e^{-x}{\chi }_{[0,N]}$ es una sucesión creciente de funciones medibles positivas. Claramente $\underset{N\to \mathrm{\infty }}{lim}{g}_N(x)=e^{-x}{\chi }_{[0,\mathrm{\infty })}$. Luego, por el teorema de la convergencia monótona:

$${\int }_0^{\mathrm{\infty }}{e}^{-x}\mathrm{d}x=\underset{N\to \mathrm{\infty }}{lim}{\int }_{\mathbb{R}}{g}_N(x)\mathrm{d}x=\underset{N\to \mathrm{\infty }}{lim}{\int }_0^N{e}^{-x}\mathrm{d}x$$

Al ser continuas, las funciones del lado derecho son Riemann integrables sobre $[0,N]$. Por el teorema anterior, el cálculo de estas integrales (de Lebesgue) se reduce al cálculo de las integrales de Riemann, por lo que podemos usar el teorema fundamental del cálculo:

$$\begin{array}{rl}{\int }_0^{\mathrm{\infty }}{e}^{-x}\mathrm{d}x& =\underset{N\to \mathrm{\infty }}{lim}{\int }_0^N{e}^{-x}\mathrm{d}x\\ & =\underset{N\to \mathrm{\infty }}{lim}{[-e^{-x}]}_{x=0}^{x=N}\\ & =\underset{N\to \mathrm{\infty }}{lim}[-e^{-N}+e^0]\\ & =1-\underset{N\to \mathrm{\infty }}{lim}{e}^{-N}\\ & =1.\end{array}$$

El criterio del resultado anterior nos da otro argumento para ver que la función de Dirichlet no es Riemann integrable.

Ejemplo. La función de Dirichlet ${\chi }_{\mathbb{Q}}$ no es Riemann integrable en $[0,1]$, pues no es continua en ningún punto de este intervalo.

Ejercicio. Probar que la función $f(x)=\frac{x}{(x^2+x+1)\ln (1+x{)}^2}\in L^1([1,\mathrm{\infty }))$.

Solución. Observemos primero que $f\ge 0$ en $[1,\mathrm{\infty })$. En vez de calcular directamente ${\int }_1^{\mathrm{\infty }}f(x)\mathrm{d}x$, es suficiente encontrar alguna función $g\in L^1([1,\mathrm{\infty }))$ tal que $0\le f\le g$. Consideremos entonces $$g(x)=\frac{1}{(x+1)(\ln (x+1){)}^2}.$$ Como $x+1\le \frac{x^2+x+1}{x}$ para $x\in [0,\mathrm{\infty })$ $⟹$ $f\le g$ en $[0,\mathrm{\infty })$. Por el teorema de la convergencia monótona:

$$\begin{array}{rl}{\int }_1^{\mathrm{\infty }}g(x)\mathrm{d}x& ={\int }_1^{\mathrm{\infty }}\frac{1}{(x+1)(\ln (x+1){)}^2}\mathrm{d}x\\ & =\underset{N\to \mathrm{\infty }}{lim}{\int }_1^N\frac{1}{(x+1)(\ln (x+1){)}^2}\mathrm{d}x\\ & =\underset{N\to \mathrm{\infty }}{lim}{\int }_1^N{(-\frac{1}{\ln (x+1)})}^{\prime }\mathrm{d}x\\ & =\underset{N\to \mathrm{\infty }}{lim}{[-\frac{1}{\ln (x+1)}]}_{x=1}^{x=N}\\ & =\frac{1}{\ln (2)}-\underset{N\to \mathrm{\infty }}{lim}\frac{1}{\ln (N+1)}\\ & =\frac{1}{\ln (2)}-0\\ & =\frac{1}{\ln (2)}<\mathrm{\infty }.\end{array}$$

Más adelante…

Veremos el teorema de cambio de variable para integrales de Lebesgue. Análoga al de las integrales de Riemann, nos permite «cambiar coordenadas» en las integrales para reescribirlas de manera conveniente.

Tarea moral