Questions tagged [lebesgue-integral]

For questions about integration, where the theory is based on measures. It is almost always used together with the tag [measure-theory], and its aim is to specify questions about integrals, not only properties of the measure.

The idea of Lebesgue integral is the following: we give to a simple non-negative function $\sum_{j=1}^Na_j\chi_{S_j}$, where $a_j\geq 0$ and $S_j>0$ the value $\sum_{j=1}^Na_j\mu(S_j)$. Then we define the integral of a measurable non-negative function as $$\int_X f(x)d\mu(x):=\sup\left\lbrace \int_X g(x)\mathrm{d}\mu(x) \mid 0\leq g\leq f,\ g \text{ simple}\right\rbrace.$$ For a measurable function, write $f=\max(f,0)-\max(-f,0)$ to give a value to $\int_X f(x)\mathrm{d}\mu(x)$.

The major interest is that we can integrate functions which are defined in an arbitrary set, provided we have fixed a $\sigma$-algebra and a measure on it.

When dealing with a function $f\colon[a,b]\longrightarrow\mathbb R$, with $a,b\in\mathbb R$ and $a\lt b$, the Lebesgue integral is more general than the Riemann integral: if a function is Riemann-integrable, then it is Lebesgue-integrable (and the integrals are the same), but there are functions (such as characteristic function $\chi_{[a,b]\cap\mathbb Q}$) which are Lebesgue-integrable, but not Riemann-integrable.

7619 questions
4
votes
2 answers

What does $d\mathbb{P}(\omega)$ in integral mean?

What does $d\mathbb{P}(\omega)$ under integral sign mean? Like $$\int_B Xd\mathbb{\mathbb{P}}(\omega)$$ Can somebody explain? How can we integrate $X$ with respect to $\mathbb{P}(\omega)$ where $\mathbb{P}$ is some prob. measure?
luka5z
  • 6,359
4
votes
1 answer

Holder inequality (reverse or equality?)

For bounded $\Omega\in\mathbb{R}^n$, it is easy to see by the Holder inequality that $\int_{\Omega} u\,dx\leq (\int_{\Omega} 1^2\,dx)^{\frac{1}{2}} (\int_{\Omega}…
LCH
  • 815
4
votes
2 answers

Lebesgue Integrable functions and calculating the limit

$$ \lim_{n\rightarrow \infty} \int_{\frac 1 n }^1 \frac { 1+nx }{ (1+x)^n } \, dx $$ How can I solve this problem using Bounded convergence theorem?
4
votes
1 answer

Showing $\frac{\log(x)}{1+x^2}$ is Lebesgue integrable

I have calculated the integral: $\int_0^\infty \frac{\log(x)}{1+x^2} dx$ using a contour integral. However I was wondering how we would show that this is Lebesgue integrable. I have thought about splitting the domain up between $[0,1]$ and then…
Wooster
  • 3,775
4
votes
2 answers

Show: $\int f\, d\mu=\int\limits_0^{\infty}\mu(\left\{x\in X: f(x)>t\right\})\, dt$

Let $f\colon X\to\overline{\mathbb{R}}_{\geq 0}$ be a measurable function. Show that $$ \int f\, d\mu=\int\limits_0^{\infty}\mu(\left\{x\in X: f(x)>t\right\})\, dt. $$ (The right integral is to be read as an Lebesgue-integral.) Hello, my…
user34632
4
votes
2 answers

Beppo Levi's theorem, is this assertion correct?

My notes report the following assertion for the theorem: Beppo Levi's Theorem: Let $E$ be a measurable set and $\{ f_n(x)\}$ a sequence of integrable functions on E, such that $\lim\limits_{n\to\infty} f_n(x) = f(x)$ (pointwise convergence) almost…
4
votes
1 answer

Theorem similar to dominated convergence theorem

I have the following problem: Let $(\Omega,F,\mu)$ be a measure space and $(f_n)_{n\in\mathbb{N}}$ be a sequence of non-negative integrable functions, so that $\lim_{n\rightarrow \infty} \int f_n d\mu$ exists. We define $f:=\lim f_n$, which exists.…
Tobi92sr
  • 1,661
4
votes
1 answer

How to use lebesgue dominated convergence theorem to find the limit of an integral

I have to use lebesgue dominated convergence theorem to prove that $$ \lim_{n\rightarrow\infty}\int_0^\infty \left[1+ \frac{\ln(x + n^2)}{n^{1/2}}\sin(x^2) + \cos\left(\frac{1}{n+x}\right)\right] e^{-x/5} \, d\lambda\ = 5 $$ Do I have to find the…
4
votes
1 answer

Non-negative improperly Riemann-integrable function is Lebesgue-integrable?

If $f$ is non-negative and improperly integrable on $\mathbb{R}$, prove that $f$ is Lebesgue integrable. The way I thought about this is that if $f(x)$ is improperly integrable and non-negative then $ \int f \, dx = \int \lvert f \rvert \, dx$ which…
MathNoob
  • 325
4
votes
1 answer

Riesz potential-inequality

Does the following hold? There is a $C>0$ such that $$\left|\left|\int_{\mathbb{R}^3} \frac{|f(y)|^2}{|x-y|} dy\right|\right|_{L^3(\mathbb{R}^3)} \leq C||f||^2_{L^2(\mathbb{R}^3)}$$ for all $f \in L^2(\mathbb{R}^3).$ Any advice would be…
4
votes
1 answer

$\|f\|_1=0$ if and only if $f=0$ almost everywhere

I feel like it's a well established fact that if the $L^1$ norm of an integrable function is zero then, it must be zero almost everywhere, but what's the proof?
Fozz
  • 1,044
4
votes
1 answer

Prove that $\int_E fd\mu = \lim \int_E f_n d\mu$ for all measurable set $E$

This is problem 4T in Bartle's The elements of integration and Lebesgue measure. Suppose $f_n$ are non-negative measurable function such that $(f_n)$ converges to $f$, and that $$\int fd\mu = \lim \int f_n d\mu<\infty.$$ Prove that for all…
4
votes
2 answers

Limit of integral over $[0,1]$ of $\frac{ne^{-x}}{1+nx}$

I need some help to calculate the following limit (in measure theory): $$\lim_{n \to \infty} \int_{0}^{1} \frac{ne^{-x}}{1+nx}dx$$ My first idea was to use either the monotone convergence theorem or the dominated convergence theorem. So before…
K.A.
  • 619
4
votes
2 answers

Prove that $\iint\limits_ {[0,1] \times [0,1]} \frac{x^2-y^2}{(x^2 + y^2)^2}\,\mathrm dx\,\mathrm dy$ is not integrable

I have to prove that the following integral does not exist: $$\iint \limits _{[0,1] \times [0,1]} \frac{x^2-y^2}{(x^2 + y^2)^2}\,\mathrm dx\,\mathrm dy .$$ I think I can use Fubini's Theorem, ie. if I show that iterated integrals are not equal to…
luka5z
  • 6,359
4
votes
1 answer

Monotone Convergence theorem for monotone decreasing sequences

Short question: (Just an example. I want to know if similar thoughts can be used for other sequences of functions) If I want to evaluate $\lim_{n\rightarrow \infty}\int_{[0,1]}-nxdx$, I can't do that with the monotone convergence theorem, since…
Duke
  • 529
1
2
3
19 20