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

How can I prove that $\int_0^1 \frac{1}{\sqrt{|x-1/2|}} \, dx < \infty.$ in Lebesgue measure?

How can I prove that $\int_0^1 \frac{1}{\sqrt{|x-1/2|}} \, dx < \infty.$ in Lebesgue measure? My thought: Using the Monotone Convergence theorem, but still I am stuck in applying it, could anyone help me please?
user591668
0
votes
1 answer

showing that $f: R^n \mapsto R\cup\{\pm\infty\}$ is Lebesgue integrable

Consider $f: R^n \mapsto R\cup\{\pm\infty\}$ a function. If I am asked to show that $f$ is Lebesgue integrable, is it enough to prove that : $$\int_{R^n}f(x)dx<\infty$$ or do I have to show that $f$ is in $S^{\uparrow}$ which means that $f$ is the…
Dicordi
  • 516
0
votes
0 answers

Prove that $v_n=\int_{1}^{n}{(1-\frac{x}{n})^{n}} \times \frac{1}{x} \, dx$

It would be really helpful if anyone would help for this question We have : $$u_{n}=\sum_{k=1}^{n}{(1-\frac{1}{n})^{k}}\;\;\;,\;\;\;v_n=ln(n)\,-\,u_n$$ I proved $\,\forall\,n \ge1 \, ,x>0…
user730480
0
votes
1 answer

Lebesgue integral exist

They ask me to determine the $ p $ values ​​for which the following Lebesgue integrals exist $$ \int_0 ^ {\infty} x ^ x e ^ {- x^{p} } dx$$ I have to see when it is finite, but the analysis is quite complicated mainly because in all my degree I do…
Kevin
  • 121
0
votes
0 answers

About finding a limit

Let $f:[0,1]\to \mathbb{R}$ be a continuous function, $g:[0,1] \to \mathbb{R}$ be a Lebesgue measure and $0\leq g(x)\leq 1$ for a.e $x \in [0,1]$. Find the limit $$ \lim_{n\to \infty} \int_0^1 f(g(x)^n) dx. $$ Thanks for any help. proof: Following…
0
votes
1 answer

Change variable in Lebesgue integral.

Let $g$ increasing functions absolutely continuous on $[a,b]$ with $g(a)=c$ and $g(b)=d.$ Show that for any open set $O\subset [c,d],\ m(O)=\int_{g^{-1}(O)}g'(x)dx$ (lebesgue integral). I have the following formal calculations, but I need to justify…
eraldcoil
  • 3,508
0
votes
2 answers

How look the graph of the following function $f$

I'm trying to solve an exercise of Lebesgue Integral. It has to do with the following function $f : [0,\infty) \rightarrow \mathbb{R}$ $$ f(x) = \left\{ \begin{array}{ll} 0 & \quad x \in \mathbb{Q} \\ …
0
votes
1 answer

is possible that an unbounded function be integrable?

I know that a function is integrable if : $$ \int f <\infty $$ but, what this say about $f$ ?
0
votes
1 answer

Is the Lebesgue integral simply an integral w.r.t dy instead of dx, with an appropriate measure-theoretic x?

I have been trying to understand and learn measure theory and Lebesgue integration on my own. If one thinks in traditional calculus ideas like 'area under the curve', it looks to me, in total, that Lebesgue integration is simply integrating along…
0
votes
1 answer

Give an example of strict inequality in Fatou's Lemma

The fatou's Lemma says Let $ \left\{ f_n, n = 1,2,...\right\} $ be a sequence of non-negative measurable functions. Then $$ \liminf \int f_n \geq \int \liminf f_n$$ Some hint? I think this Showing that the Fatou's lemma inequality can be strict.…
0
votes
2 answers

Prove that $f$ is not Lebesgue integrable

I need a hand with the following exercise: Prove that $f: (0,2) \to \mathbb{R}$ given by $f(x) = \begin{cases} \frac{1}{x} & 0
0
votes
2 answers

Evaluation of limits of integrals using DCT

Consider $\lim_{n \to \infty} \int_0^1 f_n$ where $f_n$ takes $$ \text{(a)} \frac{nx \log(x)}{1+n^2x^2} \text{and}$$ $$ \text{(b)} \frac{n^{3/2}x}{1+n^2x^2} \text{and}$$ Attempt: For the part (a) $$\frac{nx \log(x)}{1+n^2x^2} \leq \frac{nx…
user62089
  • 1,356
0
votes
1 answer

Show that $\int_{0}^{1}\sup{f_n} d\mu=\infty$ under this certain condition.

Let $([0,1],\mu)$ be a measure space. Let $f_n :[0,1] \to [0,\infty)$ be integrable functions. If $\int_{0}^{1} f_n d\mu = 1$ and $\int_{0}^{1/n} f_n d\mu > 1-1/n$ then show $\int_{0}^{1}\sup{f_n} d\mu=\infty$. This seems to be true because $\sup…
Maddy
  • 1,875
0
votes
1 answer

$f,g: [0,1] \to \mathbb{R}$ with equal Lebesgue integrals

I am given two functions $f, g: [0,1] \rightarrow \mathbb{R}$, with $$\int_{0}^{1} f(x) dx = \int_{0}^{1} g(x) dx = 1,$$ (where the previous integrals are Lebesgue integrals), and I am asked to prove that for every $\alpha \in (0,1)$, there exists…
A.M.
  • 11
0
votes
1 answer

Convergence of sequences of periodic functions

Given $f_n(x) = F(x) (\cos(\pi x))^n$, where $n \in \mathbb N , F: \mathbb R \to \mathbb R$ integrable. Simple question: does the Lebesgue integral converge in $\mathbb R$? (and how to show?)
StMan
  • 693