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

A question on a proof that $ L^1 (E)$ is Complete

I'm studying Capinski - Copp Measure - Integral Probability. Specifically, at the proof of Thm 5.1 p.130 ($L^1(E)$ is Complete) they write: Firstly, they consider a sequence ${f_n}$ in $L^1(E)$, after some work they produce a subsequence of ${f_n}$…
1
vote
3 answers

Show that $x^a \log{x}$ is integrable on $(0,1)$ for all $a>-1$

In my lecture notes it is stated that $x^a \log{x}$ is integrable on $(0,1)$ for all $a>-1$, but a proof is not given. It doesn't seem to satisfy any of the comparison tests we have learned. What is the best way to go about showing this? Thanks in…
Ellie_P
  • 63
  • 1
  • 6
1
vote
0 answers

Justification of Lebesgue Integrability in the following statement

In these notes I was reading, it is stated that for a measurable function $f:X\to [0,\infty]$, its Lebesgue Integral is $$ \int_E f \ d\mu =\sup\left\{\int_E s(x) \ d\mu\mid 0\le s\le f, s \ \text{simple}\right\}. $$ In this statement, are we just…
user522521
1
vote
2 answers

Prove $\liminf_{n\to \infty } \|u_n\|_{L^2}\geq \|u\|_{L^2}$ if $u_n\to u$ weakly.

Prove $$\liminf_{n\to \infty } \|u_n\|_{L^2}\geq \|u\|_{L^2}$$ if $u_n\to u$ weakly in $L^2$. Attempts Since $u_n\to u$ weakly in $L^2$ in particularly, $$\lim_{n\to \infty }\int (u_n-u)u=0.$$ I tried to play with this and use the fact that…
user386627
  • 1,828
1
vote
1 answer

Are all real-valued continous functions in $\mathbb{R}^2$ on a compact space integrable?

If you look at all continous functions on a compact intervall in $\mathbb{R}$ this statement is true. They are all integrable (proof). Is this true in $\mathbb{R^2}$ and higher dimensional spaces? I can't think of a function where this is false but…
1
vote
0 answers

Monotone convergence theorem Lebesgue Integral

Currently I am reading Rick Durrett's Probability: Theory and Examples. I am going through the exercises of ch 1.5 I have trouble with the following exercise (ex 1.5.5) If $ g_n \uparrow g $ (pointwise) and $\int g_1^{-} \,d\mu< \infty $ then $\int…
1
vote
1 answer

integrals and characteristic functions

$f$ is Lebesgue integrable over $A$, and $B$ is a measurable subset of $A$. I want to show $$\int_B f=\int_Af\chi_B$$, where $\chi_B$ is the characteristic function of $B$ (it is 1 on B and 0 otherwise). My definition of integrable is "$f$ is…
D. Rod
  • 33
1
vote
1 answer

Applying Lebesgue Dominated Convergence Theorem

I am looking to prove teh following , if $ f \in L^1$ then $\lim_{k\to\infty} \int f(x)e^{-|x|^2/k}dx = \int f(x)dx $ I am looking to see if I can use a susbtituion that will make it easy for me to apply LDCT or whether there is a way to apply…
Noob101
  • 962
1
vote
1 answer

Proving convergence of $\int_0^\infty e^{-y} dy$

Let $f\colon \mathbb{R}\to\mathbb{R}$ be defined as $ \begin{equation} f(x)=\left\{ \begin{array}{@{}ll@{}} xe^{-x^{2}}, & \text{if}\ x\geq0 \\ 0, & \text{if}\ x <0. \\ \end{array}\right. \end{equation} $ $\int_{\mathbb{R}} f…
1
vote
0 answers

The sobolev space and it's dual space

Let $W^{1,p} (\mathbb{R}^n)$ be the sobolev space, and $W^{-1,p^{\prime}} (\mathbb{R}^n)$ be the it's dual space. ($1
1
vote
1 answer

Show that $\frac{n\sin(\frac{x}{n})}{x}$ is lebesgue integrable

Recently, I have come across a difficult exercise. How to prove that the function $$ f_n: (0, \pi] \to \mathbb{R},\quad f_n(x) = \frac{n\sin(\frac{x}{n})}{x}$$ is lebesgue-integrable for all $n \in \mathbb{N}$? I tried to apply Hospital's rule…
Taufi
  • 1,095
1
vote
2 answers

Lebesgue measure sigma algebra

Lebesgue measure on sigma algebra, help ........... Which of the following are sigma algebras? reply with justification please. All subsets in rational numbers { {0},{1},{0,1} }in space {0,1} all intervals [x,y) x,y elements of [0,1] and all their…
pinky
  • 11
1
vote
1 answer

Prove that $f\in \mathcal{L}^1$ iff $\int|f|d\mu<\infty$

One of the properties of Lebesgue integrable functions, as stated here problem 3.7, is $f\in \mathcal{L}^1$ iff $\int|f|d\mu<\infty$ ,where $\mathcal{L}^1$ is the family of all integrable functions. I tried proving this by: $$f\in…
havakok
  • 1,067
1
vote
0 answers

Lebesgue integral of $-\frac{1}{n}$

I have following sequence: $$ f_n = -\frac{1}{n} $$ I wanted to show, that it converges to $f = 0$, but my book says, that it doesn't, because the condition $$ \int_{\mathbb R} f_1 d\lambda > -\infty $$ is not met. My question is - How can I…
Eenoku
  • 894
1
vote
1 answer

Calculate the next limit. Lebesgue integral.

I'm trying to solve the next problem: Calculate, justifying all steps, the limit $$ \lim_{n \rightarrow \infty} \int_A \dfrac{1+ \dfrac{\cos^2(x^3)}{n} }{x^2+y^2+1} dx \ dy$$ where $A=\{(x,y) \in \mathbb{R}^2 : x^2+y^2 < 4\}$ I tried to changing…