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

Suppose that there is a finite $c$ such that $\int_0^1 | f(a+t) - f(b+t) | dt \le c$ for all $a$ and $b$. Show that $f \in L(0, 1)$.

Please help me understand the following proof. Q) Let $f$ be measurable and periodic with period $1$, that is, $f(t+1)=f(t)$. Suppose that there is a finite $c$ such that $$\int_0^1 | f(a+t) - f(b+t) | dt \le c$$ for all $a$ and $b$. Show that $f…
Danny_Kim
  • 3,423
1
vote
2 answers

For what $q$ is $\frac{\sin(x)}{x^q}$ Lebesgue Integrable on (0,1] where $q>0$

You can show $\frac{1}{x^q}$ converges on$ (0,1] $ for $q<1$ and that's a bound for the $\frac{|\sin(x)|}{x^q}$ so we know for $q<1$ our function is integrable- I can't seem to improve on this because the answer is $<2$. I decided to use the…
Arcane1729
  • 1,188
1
vote
1 answer

What is the property $\mathfrak{F}$ in Fubini's theorem?

Notation) $\mathbf{x} = (x_1, \cdots, x_n)$, $\mathbf{y} = (y_1, \cdots, y_m)$, $I_1=\{\mathbf{x}: a_i\le x_i\le b_i, ~~i=1, \cdots, n\}$ $I_2=\{\mathbf{y}: c_j\le y_j\le d_j, ~~j=1, \cdots, m\}$, $\displaystyle L(E)=\left\{f:\int_E f…
Danny_Kim
  • 3,423
1
vote
0 answers

Contradiction to a Theorem for Lebesgue integrability proof

We know that $f$ is Lebesgue Integrable iff $|f|$ is Lebesgue Integrable. We have shown by contour integration that $\int^{\infty}_0 \frac{\sin(x)}{x}$ is $\frac{\pi}{2}$ - yet we can also show using a summation trick on the integral and considering…
Arcane1729
  • 1,188
1
vote
1 answer

Is this intuitive true that $\int_Ef=\int_{I_n}f$

When proving general integral, we usually consider simple function first. For example: Simple function -->Bounded function-->Non-negative function-->General function For Lebesgue integral, in the definition of integral of non-negative function we…
DuFong
  • 1,010
1
vote
0 answers

Approximating integrable functions

I wish to prove the following If $f$ is integrable and $f:\mathbb{R}\to\mathbb{R}$ then $$\lim_{t\to0}\int_{-\infty}^{\infty}|f(x)-f(x+t)| = 0$$ I have in my notes that if there exists a $g(x) \in \mathbb{L}(\mathbb{R})$ such that for every $t \in…
TheBean
  • 121
1
vote
2 answers

Lebesgue integral - definition of the domain of the simple function.

The Lebesgue integral is defined as, $$\int f \, d\mu = \text{sup}\, \Big\{ \sum_{z\in s(M)} z\,\mu \,\big(\text{pr_im}_s(\{z\})\big) \Big\}$$ or the supremum of the sum of the areas under the curve of the simple function $s$. The question is, where…
1
vote
0 answers

Proof of $L_q(\Omega) \subset L_p(\Omega)$ when $1\leq p \leq q \leq \infty$

I need to prove that $L_q(\Omega) \subset L_p(\Omega)$ when $1\leq p \leq q \leq \infty$ when $\Omega$ is bounded. The hint given is that I should use Hölders inequality. How do I start my proof using this inequality?
dosmath
  • 89
1
vote
0 answers

Find measure of a set

I need to calculate the measure of set $A=\{(x,y,z)\in R^3: 4x^2+y^2<4,x>0,x^2>z>0\}$In other words i need to calculate integral $\int_{A}1d\lambda_{3}$.Would be more than glad for checking what i did. Let:$$2x=t,y=y,z=z$$ jacobian is $\frac{1}{2}$…
1
vote
0 answers

If $\int f(x)g(x) dx = 0$, then $f = 0$ almost everywhere in $\Omega$

How do I show, that $\text{Let $\Omega \subset \mathbb{R}^n$ be open. Satisfies } f\in\mathcal{L}^1(\Omega) \text{ following propertie }$ $$\int_{\Omega} f(x)g(x) dx = 0 \text{ for all } g\in\mathcal{C}_c^0(\Omega),$$ $\text{then } f = 0 \text{…
monoid
  • 608
1
vote
0 answers

A property of Lebesgue integrable function

Let f be a nonnegative integrable function on measureable space (X,v). Then tv ({x: f (x)>t}) converges to 0, as t goes infinity. I want to prove this statement. I got that v ({x: f (x)>t}) goes to zero as t goes infinity. But I cannot prove…
1
vote
2 answers

$f\cdot g$ is integrable, g is integrable, can we deduce that f is integrable?

$f\cdot g$ is Lebesgue integrable, g is Lebesgue integrable, can we deduce that f is Lebesgue integrable? $f\cdot g$ is integrable, g is integrable, can we deduce that f is finite a.e.?
user136592
  • 1,744
  • 9
  • 22
1
vote
0 answers

Is the change of the integral order valid even when its integral diverges? - Integrability assumption in Tonelli theorem-

I suddenly wondered if the change of the order of integral is valid even when its integral diverges. For the presence, I knew that Tonelli's theorem is exactly it (from Wikipedia: https://en.wikipedia.org/wiki/Fubini%27s_theorem#Tonelli.27s_theorem)…
user
  • 519
1
vote
0 answers

Understanding continuity lemma

In Mesure Theory, we have a continuity lemma that says $$\text{if} \ u\colon (a,b) \times X \rightarrow \mathbb{R} \ \text{ satisfies that} \ x \mapsto u(t,x) \in \mathcal{L}^1(\mu) \forall t, \ t \mapsto u(t,x) \ \text{is continuous for all }x \in…
Pamisan
  • 11
1
vote
1 answer

Integral test for convergence for non monotone functions

How can I use the Integral test for convergence when the function under the summation is not monotonically decreasing? For example, I am looking for an upper bound for the following sum in which the function is uni-modal: $ F= \sum_{r=k+1}^{\infty}…