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
0
votes
1 answer

Inequality of lebesgue integrals in $L^{1}$

Let $p_1, p_2, . . . , p_m$ be positive real numbers such that $\sum_{1}^{m} p_i = 1$. For $f_1, f_2, ..., f_m \in {L}^1 (\mu)$ prove that $f_1 \cdots f_m \in {L}^1(\mu)$ and $\int_X (f_{1} ^{p_1} \cdots f_{m} ^{p_m})d\mu \leq ||f_1||_{1} ^{p_1}…
0
votes
2 answers

Calculate $\lim_{n \rightarrow \infty}$ $\int_1^\infty$ $\sqrt{x} \over {1 + nx^3}$ $d\lambda(x)$.

Calculate $\lim_{n \rightarrow \infty}$ $\int_1^\infty$ $\sqrt{x} \over {1 + nx^3}$ $d\lambda(x)$. My attempt: First, we note that $\sqrt{x} \over {1 + nx^3}$ is integrable as a composition of the integrable functions $\sqrt{x}$ and ${1 + nx^3}.$…
Julian
  • 1,401
0
votes
0 answers

Calculate $\int_0^1 \int_0^1 f(x, y) \ d\lambda(x) \ d\lambda(y)$

Given the function $f: \Bbb R^2 \rightarrow \Bbb R$, $f(x, y) :=$ $1 \over y^2$, $0 < x < y < 1$, $f(x, y) :=$ $- 1 \over x^2$, $0 < y < x < 1$, $f(x, y) := 0$, otherwise, I would like to calculate $\int_0^1 \int_0^1 f(x, y) d\lambda(x)…
Julian
  • 1,401
0
votes
1 answer

Calculate $\lim_{m \rightarrow \infty} \int_{[0, 1]} f_m(x) d\lambda(x)$.

Let $p \in (0, \infty)$ and the sequence of functions $f_m : [0, 1] \rightarrow \Bbb R, m \in \Bbb N$, $f_m(x) := ((1 - x^p)^{1 \over p})^m$. Calculate $\lim_{m \rightarrow \infty} \int_{[0, 1]} f_m(x) d\lambda(x)$. How would I start approaching…
Borol
  • 491
0
votes
3 answers

Is $C_0^\infty$ dense in $L^p$?

I have a question concerning the Lebesgue spaces: Is $C_0^\infty$ dense in $L^p$ ? And if yes, why? Thanks!
0
votes
1 answer

Notation for Lebesgue Iterated Integral

For double integrals, usually we will write $\int\dots\,dx\,dy$. What if we are using Lebesgue measure $\lambda$ notation? I have seen $\int\dots\lambda(dx)\lambda(dy)$, is this the correct notation? Are there other notations?
yoyostein
  • 19,608
0
votes
2 answers

Lebesgue's integration definition for non negative functions

Let $S$ be the class of measurable simple functions $s$ on $\mathbb R^n$ such that $0\leq s(x)<\infty$ for all $x\in \mathbb R^n$. Suppose $f:\mathbb R^n\to [0,\infty]$ is measurable. Then the integral of $f$ is $$\int fd\lambda=sup\left\{\int…
havakok
  • 1,067
0
votes
1 answer

Bounding Problem /Conditions for the Lebsgue Integral of a Function depending on two parameters to be continuous

let $F(t)=\int_{E} f_t(x)$ for $t\in J \subseteq \mathbb{R}$. Then some theorem says that $F$ is continuous if $1)$ $\forall t_0$ $f_t(x) \rightarrow f_{t_0}(x)$ as $t \rightarrow t_0$ almost everywhere on $E$ or in other words $f$ is continuous…
Arcane1729
  • 1,188
0
votes
1 answer

If $f_n$ is Lebesgue integrable and $f_{n}$ converges pointwise to $f$ then is $f$ Lebesgue integrable?

If $f_n$ is Lebesgue integrable and $f_{n}$ converges pointwise to $f$ then is $f$ Lebesgue integrable? I know that this is false unless $f_{n}$ converges uniformly to $f$, but is there an example that shows this?
0
votes
1 answer

Lebesgue Integral over vanishing interval

Let $f(x)$ be a Lebesgue integrable function. Then is it true that $$ \lim_{\epsilon\to 0}\int_0^\epsilon f(x)\,dx=0 $$ always? When $f(x)$ is bounded answer is trivial, but if we wish to show this for unbounded functions, how would one proceed?
0
votes
1 answer

Given convergence of integrand and integral, show convergence of integral over arbitrary measurable set

All measures are Lebesgue. $\forall n \in \mathbb{N}$, let $f_n: \mathbb{R} \rightarrow [0, \infty]$ be measurable and almost everywhere $f_n \rightarrow f$; moreover, suppose that $\int f_n dλ \rightarrow \int f dλ < +\infty$. Show that, for any…
0
votes
4 answers

Calculate $ \lim _{n \rightarrow \infty }\int ^{n}_{-n} \left(\cos\left(\frac{x}{n}\right)\right)^{n^{2}}\,dx $

Calculate this limit: $$ \lim _{n \rightarrow \infty }\int ^{n}_{-n} \left(\cos\left(\frac{x}{n}\right)\right)^{n^{2}}\,dx .$$ We're given the follow inequality: $$r^{k} \leq \exp(-k(1-r)),$$ with $0\leq r \leq 1$ and $k\in \mathbb{N}.$ I think…
bob
  • 1,256
0
votes
2 answers

show that $f=0$ a.e. given that $f$ is a bounded, measurable function on E and $\int_{E}{f}=0$ $f$ is nonnegative

I am quite confused with this problem. This is somehow similar to a proposition following the Chebychev's Inequality. However, the latter doesn't require to $f$ to be bounded. Do I just use similar approach but intead of having $E_n=\{x\in…
0
votes
2 answers

Limit of integral of negative simple function?

Define $$f_j(x) := -j1_{[j,j+1]}.$$ Is it true that $$\int f_j \ d \mu = -j \mu([j,j+1]) = -j?$$ with the Lebesgue measure? I know it is true for simple, positive functions, but does it hold for negative too? Also, is $\lim_{j \rightarrow \infty}…
0
votes
3 answers

Is $\frac{\sin(x)}{1 + x^2}$ Lebesgue integrable?

Is the following function Lebesgue measurable? $$f(x):= \frac{\sin x}{1 + x^2} $$The problem confuses me a bit, since it doesn't state where it wants it to be Lebesgue integrable. I figure that since $f$ is continuous on any interval $[a,b]$,…
Adaman
  • 21