10 votos

Examinar la convergencia de $\int_{0}^{1}\left(\left\lceil \frac{1}{x} \right\rceil-\left\lfloor \frac{1}{x} \right\rfloor\right) \, dx$

Bien, estoy tratando de determinar si $\int_{0}^{1}\left(\left\lceil \frac{1}{x} \right\rceil-\left\lfloor \frac{1}{x} \right\rfloor\right) \, dx$ converge y, si es así, a qué valor? Entonces la función $\left\lceil \frac{1}{x} \right\rceil-\left\lfloor \frac{1}{x} \right\rfloor = 0$ cuando $x=\frac{1}{k}$ donde $k$ es un número natural, y en todos los demás casos $\left\lceil \frac{1}{x} \right\rceil-\left\lfloor \frac{1}{x} \right\rfloor = 1$ A partir de ahí dividí la integral:

\begin{align*} \int_0^1 \left(\left\lceil \frac{1}{x} \right\rceil-\left\lfloor \frac{1}{x} \right\rfloor\right) \, dx &= \int_{1/2}^1 1 \, dx +\int_{1/3}^{1/2} 1 \, dx + \int_{1/3}^{1/4} 1 \, dx + \cdots \\[10pt] &= (1 - 1/2) + (1/2 - 1/3) + (1/3 - 1/4) + \cdots \\[10pt] &= \lim_{m \to \infty} 1-1/m = 1\;. \end{align*}

¿Estoy en lo cierto?

2 votos

Muy buena solución... podría aprender algo nuevo de ella.

5voto

ajotatxe Puntos 26274

Sí, tienes razón. Pero es mucho más rápido si dices que $\lceil \frac{1}{x} \rceil-\lfloor \frac{1}{x} \rfloor$ es $1$ excepto en un conjunto de medida cero. Si no se sabe cuál es la medida de un conjunto, basta con decir que el conjunto es contable. Entonces $$\int_0^1\left(\left\lceil \frac{1}{x}\right \rceil-\left\lfloor \frac{1}{x} \right\rfloor\right)dx=\int_0^11dx=1 $$

Su solución sigue siendo muy bonita.

0 votos

Gracias. Todavía no he cursado teoría de la medida, y no estaba seguro de que fuera correcto por el hecho de que la función tomara el valor 0 en todos los límites de la integral. Supongo que es una buena explicación de por qué se cumple mi primera igualdad.

0 votos

El problema entonces es que esta función podría no ser integrable en el sentido de Riemann. Creo que lo es, pero no es obvio, es decir, si estás usando las integrales de Riemann, deberías demostrar que es integrable.

0 votos

@ajotatxe: Basta con usar el teorema que dice que una función es integrable de Riemann en un intervalo si su conjunto de discontinuidades tiene medida cero. Creo que la mayoría de las clases de introducción al análisis cubren ese teorema.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X