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
1
vote
1 answer

Lebesgue representative

I've lately read multiple times the term "Lebesgue representative" and wanted to ask what this actually precisely stands for? I guess this refers to the Lebesgue differentiation theorem, right? So it basically is the $L^p$-function's "value" when…
1
vote
0 answers

How does Lebesgue integrals differ from Riemann integrals in terms of computations?

So far I've understood that the framework to defining Lebesgue integrals is totally different from Riemann integrals. But, how do the actual computations of integrals to differ? In Riemann integrals, I understand computation of an integral as,…
1
vote
1 answer

If $f$ is Lebesgue integrable, is $f^2$ also Lebesgue integrable?

Is there an example where $f$ is Lebesgue-integrable but $f^2$ isn't?
ashpool
  • 6,936
1
vote
0 answers

Need a control function

Let $\{f_n\}$ be a sequence of measurable functions on measurable $E$ that converge pointwise a.e. on $E$ to $f$. Let $\{g_n\}$ be a sequence of measurable functions on $E$ that converge pointwise a.e. on $E$ to $g$ such that $|f_n| \leq g_n$ for…
ISO
  • 225
1
vote
1 answer

DCT application

If $g_k(x) = k \log\big(1 + \frac{g(x)^2}{k^2}\big) \text{ with} \ g \in L^1([0,1])$, I know the $$\lim\limits_{k}\int_0^1 g_k = 0$$ but my issue is finding the control function. Using the properties of the log, we can show that $g_k$ is dominated…
ISO
  • 225
1
vote
0 answers

Boundedness of integrals involving test functions

Recently I have often seen product estimates in the integral like the following. E.g.: they want to show that $\displaystyle\int |f|^p \phi dx$ is bounded where $\phi$ is a test function with compact support and $f$ is a $L^p-$function. But why is…
1
vote
2 answers

Guidance to solve $\int_{\mathbb{R}} x d\mu(x)$ using two-atom measure

Consider the measure $\mu = (1-p)\delta_0 + p\delta_1$ on the Borel sets of $\mathbb{R}$, where $\delta_x(B) = 1$ if $x\in B$ and $0$ otherwise, where $B$ is a Borel set. Using this measure, I'm trying to solve the following…
J.Doe
  • 23
  • 5
1
vote
1 answer

On Lebesgue integration

How to prove that this function $$|\phi(x)|\left(2a+b(|u(x)|+|\phi(x)|)^{p-1}+b|u(x)|^{p-1}\right)$$ is in $L^{1}(\Omega)$, where $u,\phi\in L^{p}(\Omega)$,$\Omega \subset \Bbb{R^{n}} $ be a bounded open set, a,b are constants?
nanthini
  • 151
1
vote
1 answer

Dominated convergence theorem for $f_n:(0,1) \rightarrow \mathbb{R}, f_n= \frac{2nx}{(1+nx^2)^2}$

For all $n \in \mathbb{N}$ let $f_n:(0,1) \rightarrow \mathbb{R}, f_n= \frac{2nx}{(1+nx^2)^2}$. Futher, let $g:(0,1) \rightarrow \mathbb{R}$ be a function and for all $x \in (0,1)$ and for all $n \in \mathbb{N}$: $|f_n| \leq g$. Show that $g$ is not…
Konrad
  • 27
  • 4
1
vote
0 answers

Show Lebesgue integral is finite

Let $h\in L^2(\mathbb R)$. Show $\int_{|\xi |\leq 1}|h(\xi)|d \xi <\infty$ and $\int_{|\xi |>1}\frac{|h(\xi)|}{|\xi|}d \xi <\infty $. How can I show this? I have no idea.
andy
  • 353
1
vote
1 answer

Determining Lebesgue-integrability of functions

Consider the function $$f:[0,\infty)\to\mathbb{R},\qquad x\mapsto e^{-x}.$$ In freshmen calculus, we say that it is "integrable" because the improper integral $$\int_0^\infty e^{-x}\,dx$$ converges. This is basically saying that the Riemann integral…
ashpool
  • 6,936
1
vote
1 answer

puzzle on the measure of Lebesgue integral defining inner product on Big Rudin p78

Big Rudin defines inner product as $(x,y)=\sum_{i=1}^n x_i \bar{y}_i$ in Example 4.5(a), and as $(f,g)=\int_X f\bar{g} d\mu$ in Example 4.5(b).Then Rudin says the former is a special case of the latter. At last, Rudin asks "What is the measure in…
1
vote
1 answer

Justify if $\frac{\sin(x)\sin(y)}{x^2 + y^2}$ is integrable over $ (-\frac{\pi}{2}, \frac{\pi}{2})\times (-\frac{\pi}{2}, \frac{\pi}{2})$.

Justify if $\frac{\sin(x)\sin(y)}{x^2 + y^2}$ is integrable over $ (-\frac{\pi}{2}, \frac{\pi}{2})\times (-\frac{\pi}{2}, \frac{\pi}{2})$. I aim to use Tonelli's theorem, but am not sure where to start. An attempt to use a x=ty (with y fixed)…
1
vote
1 answer

Completeness of $L^1$ space

I'm studying this proof: https://www.math.utah.edu/~savin/L2_5210.pdf but I can't understand the step when he says: Hence, by the Monotone Convergence Theorem, there exists an integrable function $\phi$, such that $\lim_{n\to \infty}\phi_n(x) …