6 votos

Mostrar$f(x) = 1/x$ está en$L^2\left([1, +\infty)\right)$ pero no en$L^1\left([1, +\infty)\right)$.

La proposición

$f(x) = 1/x$ es de $L^2\left([1, +\infty)\right)$ pero no en $L^1\left([1, +\infty)\right)$.

Discusión

Así que mi problema es que no sé cómo utilizar el infinito en la integración de Lebesgue.

Es intuitivo (creo) que la evaluación de la indebida de las integrales de Riemann

\begin{align} \int_1^\infty \left|f(x)\right| &= \int_1^\infty \frac{1}{x} = \lim_{c \to \infty} \ln c = + \infty \\ \\ \int_1^\infty \left|f(x)\right|^2 &= \int_1^\infty \frac{1}{x^2} = 1 - \lim_{c \to \infty} \frac{1}{c} = 1 \end{align}

implicaría nuestra propuesta, pero yo sólo he visto a $L^p$-los espacios definidos en el sentido de Lebesgue integrales. Así que cuando llegue a estos pasos:

\begin{align} \int_{[1, \infty)} \left|f(x)\right| &= \int_{[1, \infty)} \frac{1}{x} = \cdots \\ \\ \int_{[1, \infty)} \left|f(x)\right|^2 &= \int_{[1, \infty)} \frac{1}{x^2} = \cdots \end{align}

No estoy seguro de cómo proceder. Supongo que necesitamos un argumento para cambiar entre los dos tipos de integración, que he leído un poco, pero no estoy seguro de cómo se aplican aquí en la inadecuada caso.

2voto

MrTelly Puntos 201

Absolutamente convergentes, las integrales de Riemann impropias también son integrales de Lebesgue. Para la otra dirección, use la propiedad de monotonicidad $$ \ int_ {A} | f | \ leq \ int_ {B} | f | $$ por conjuntos medibles $A\subset B$ .

1voto

K.Power Puntos 286

Parece que hay cierta consternación, relativas a la definición de impropias integrales de Lebesgue. Ver este post relacionados alguna discusión. En la situación en la que nos puede evitar este problema mediante el uso de la Monotonía Teorema de Convergencia. Claramente, si definimos $f_n:=\mathbb 1_{[1,n]}f$, para cada $n\in\mathbb N$ tenemos que $f_{n}\leq f_{n+1}$, y la secuencia de $(f_n)$ converge pointwise a $f$. El MCT da, por tanto, que $f$ es Lebesgue medible, y $$\int_{[1,\infty)}fdx=\lim_{n\to \infty}\int_{[1,\infty)}f_ndx=\lim_{n\to\infty}\int_{[1,n]}fdx.$$ Así, en su caso, la evaluación integral se reduce a la evaluación de la impropia de Riemann integral, sin tener que hablar de la indebida integración de Lebesgue. Tenga en cuenta que técnicamente integrales de Lebesgue no están firmadas, por lo que la persona realmente no tiene límites superior e inferior de la integral.

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