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

Definition of lim inf?

I would like to know what is the precise definition of : $$\lim _{x\rightarrow a} \inf f(x) $$ when $f : R^n \rightarrow R$ in my course it is written that : $$\lim _{x\rightarrow a} \inf f(x) =\sup_{\epsilon>0}\inf_{x\neq a, \mid \mid x-a\mid \mid…
Dicordi
  • 516
1
vote
0 answers

Comparing the integrals of Lebesgue and Henstock-Kurzweil

I'm studying the theory of integration due to Henstock-Kurzweil and read somewhere that a function is Lebesgue integrable if and only if is absolutely Henstock-Kurzweil integrable (both the function and its absolute value are integrable). I didn't…
pedro
  • 141
1
vote
1 answer

If $f$ is Lebesgue integrable, does $\int_{\mathbb R}|f|=\lim_{t\to \infty }=\int_{-t}^t |f|$?

If $f$ is Lebesgue integrable, does $$\int_{\mathbb R}|f|=\lim_{t\to \infty }=\int_{-t}^t |f|\ \ ?$$ This question may be obvious and stupid, but in an exercise, I have to prove that $$\int_{\mathbb R}|f(x-h)|dx=\int_{\mathbb R}|f(x)|dx,$$ and in…
user659895
  • 1,040
1
vote
1 answer

Lebesgue integrability $e^{-\frac{y}{x}}\frac{sen(x)}{y}$

Let's $D := {\{(x,y)\in R^2 : x>0 , x^2
Gabrielek
  • 1,898
1
vote
1 answer

If $f$ is integrable, does $\int f = \lim \int f_n$ hold?

Let $f$ be a measurable, non-negative function on $A$ and $f_n(x)$ be defined as following $$f_n(x) = f(x), f(x) \le n \text{ and } f_n(x) = n^2 \text { otherwise }.$$ Does the following equality hold? $$\int_A f = \lim \int_A f_n$$ I have…
ElementX
  • 922
1
vote
2 answers

Proof $\frac{\sin x}{\sqrt{x}}$ is not Lebesgue integrable

I am trying to prove that the function $\frac{\sin}{\sqrt{x}}$ is not Lebesgue integrable on $[0, \infty]$. The proof I have seen seems to use a comparison test: \begin{align*} \int_0^{\infty} \left \lvert \frac{\sin x}{\sqrt{x}} \right \rvert =…
user465188
1
vote
0 answers

Let $(f_n)$ be a sequence in $M^+(\mathbb{R})$ proove that $ \displaystyle{\int \sum_{n=1}^{\infty}f_n = \sum_{n=1}^{\infty}\int f_n}$

How to prove the following exercise: Let $(f_n)$ be a sequence in $M^+(\mathbb{R})$ proove that $ \displaystyle{\int \sum_{n=1}^{\infty}f_n = \sum_{n=1}^{\infty}\int f_n}$ it reminds me the Lebesgue's Monotone Convergence Theorem: Let $\{f_n ,n…
1
vote
0 answers

if and only if condition for a function to be a Lebesgue Integrable.

Given a function $f(x)$ over any closed interval $[a,b]$, does there is any if and only if condition so that function will be Lebesgue Integrable. For Riemann integrability there is a condition that A function is Riemann integrable on $[a,b]$ iff…
1
vote
0 answers

Why is $f(x)= \frac{1}{x}\sin\left(\frac{1}{x^3}\right)$ not Lebesgue integrable but Gauge integrable?

Studying Lebesgue Integration and have come across the following function on Wikipedia: $$f(x)=\frac{1}{x}\sin\left(\frac{1}{x^3}\right)$$ I was wondering why the above function is not Lebesgue integrable? And why is it Gauge integrable?
1
vote
1 answer

Find Values for which a Lebesgue Integral Exists

I am posting here a problem from my homework. I am having trouble with a number of problems, but I think guidance on this one should help me grasp the general concept and complete some of the others. Here is the problem: Find, with proof, all p∈R…
1
vote
1 answer

Actual procedure to do Lebesgue Integration

Consider the following problem where one is asked to P.T. $\int_1^\infty (\frac{1}{x}) dx = \infty$ as a Lebesgue integral. How does one go about proving this?
user62089
  • 1,356
1
vote
2 answers

Is $(\log x)e^{-x}$ Lebesgue integrable?

Could anyone give me any little hints on how to show the following please? Is $(\log x)e^{-x}$ Lebesgue integrable on $(0, \infty)$ ? I cannot see how to do this. I've tried Comparison Test. I believe it may require me to use that if $g$ is…
Mt123
  • 105
1
vote
1 answer

Why is not $\infty$ allowed as a values of Lebesgue integral?

$\infty$ is allowed as a value of Lebesgue measure $m(E)$ and function $f(x)$, but why do not we say $\int_E f= \infty$?
marimo
  • 659
1
vote
1 answer

If the sections of a function are $\mathscr{L}^2$, would the function be jointly $\mathscr{L}^2$?

Let $(\varOmega,\mathcal{A},\mu)$ and $(\varXi,\mathcal{B},\nu)$ be $\sigma$-finite measure spaces, and $f\colon\varOmega\times\varXi\to\mathbb{R}$ be $\big(\mathcal{A}\otimes\mathcal{B}\big)$-$\mathcal{B}(\mathbb{R})$-measurable. Suppose also that…
1
vote
1 answer

Jordan measure and indicator function discontinuities

Let $A \subset \mathbb{R^n}$ be Jordan measurable and bounded. Let $I\subset \mathbb{R^n}$ be a closed and bounded interval such that $A \subset I$. We define the indicator function of $A$ as: $\chi_A:I \rightarrow \mathbb{R}$, $x \, $$\mapsto$$…
Yagger
  • 2,495
  • 1
  • 13
  • 29