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
0 answers

Prove that $\sup_n |T_n f(x)|<\infty,$ for a.a. $x$ for every $f \in L^1(R)$.

Denote $K(x)=\frac{1}{\sqrt{|x|}\cdot(1+x^2)}$ and $K_n(x)=nK(xn), n\in\mathbb{N}$. For $f\in L^1(R),$ define $T_nf(x)=\int_R K_n(x-y)f(y)\, dy.$ Prove or disprove that for every $f\in L^1(R), \sup_n |T_nf(x)|<\infty$ for Lebesgue almost every…
Shine
  • 3,025
  • 13
  • 26
1
vote
1 answer

Calculating a Lebesgue integral

Calculate the Lebesgue integral of, $$\lim_{n\to\infty}\int_{[0,1]}\frac{n\sqrt{x}}{1+n^2x^2}$$ I know I should use the Lebesgue dominated convergence theorem but what should be the dominating function? Can anyone give me a hint?
1
vote
1 answer

Lebesgue Integral calculating problem

$$ \lim _{ n->\infty }{ \int _{ 0 }^{ 1 }{ { (1+nx^{ 2 })(1+x^{ 2 })^{ -n }\quad }dx } } $$ Please help me calculating the limit. Integral is Lebesgue Integral and what I learnt is Bounded convergence theorem
1
vote
3 answers

property of Lebesgue integral

If $f$ and $g$ are nonnegative Lebesgue measurable functions, then we know that $\int (f+g) d\lambda = \int f d \lambda + \int g d \lambda $. Given the difinition of integral of an arbitrary Lebesgue measurable function, that is $ \int f d\lambda =…
ywx
  • 299
  • 2
  • 10
1
vote
1 answer

Is the function $f(x,y) = \frac{x-y}{(x + y)^3}$ lebesgue integrable.

I'm trying to show whether the function $f(x,y) = \frac{x-y}{(x + y)^3}$ is Lebesgue integrable on $[0,1]\times[0,1]$. I've split the region into two parts $x>y$ and $x
Wooster
  • 3,775
1
vote
1 answer

Not Lebesgue Integrable

Let g(x) be the function from R to R defined by $g(x)= 1$ if $x=0$, $\frac{\sin x}x$ otherwise. Define the function $g_n (x)= g(x)$ if $-n < x < n$ and $x=0$ otherwise. Show that for every…
Jawad
  • 37
1
vote
1 answer

Integration of $\sin(\frac{1}{x})$

How to find the value of the integral? $$\begin{align} (1)&&\int_{0}^{1}\sin\left(\frac{1}{x}\right)dx\\\\ (2)&&\int_{0}^{1}\cos\left(\frac{1}{x}\right)dx \end{align}$$
Selva.P
  • 11
1
vote
1 answer

Which integral is greater?

I'd like to find out which of these two is greater: For a Lebesgue measurable function $f:[0,1] \rightarrow [1, \infty)$ (1): $\int_0^1 f(x)log(f(x))dx$ (2): $\int_0^1f(y)dy\int_0^1log(f(w))dw$ I've tried two things which didn't work: the first…
Longeyes
  • 554
1
vote
2 answers

Fix some $\delta\in \mathbb R$ and let $f:[0,\infty)\rightarrow \mathbb R$ be given by the equation

$$f(x)=\frac{\sin(x^2)}{x}+\frac{\delta x}{1+x}$$ Show that, $\lim_{n\rightarrow\infty}\int_{0}^{a}f(nx)\ dx=a\delta$ for each $\ a>0$. My attempt: $\lim_{n\rightarrow\infty}\ f(nx)=\delta$ and $|f(nx)|\le (\frac{1}{nx}+\delta)$ then the…
derivative
  • 2,450
1
vote
1 answer

Lebesgue integrability of $\ f$ and $\ f^{-1}$

Suppose $\ f:\ X\rightarrow(0,\infty)$ is a measurable function. If $$\int_{X} f\ d\mu<\infty\ $$ and $$\int_{X} \dfrac1f\ d\mu<\infty $$ Show that $\mu(X)<\infty$.
derivative
  • 2,450
1
vote
3 answers

Dominated convergence theorem arctan(nx)

Calculate $$\lim\limits_{n\to\infty}\int_a^{\infty}\frac{n}{1+n^2x^2}\,d\mu$$ where $\mu$ is the Lebesgue measure and $a\geq0$. First is easy to see that $\arctan(nx) ' = \frac{n}{1+n^2x^2}$ so I concluded that the limit is $\begin{cases}0…
MathGuest
  • 433
1
vote
0 answers

Is the derivative of a Lebesgue integral equal to the original function being integrated almost everywhere?

In this question, I am specifically interested in the following case: Let f:R->R be a Borel-measurable function from the reals to the reals and let $g(x)\ =\ \int_{b}^x\ f(t)\ dt$, where the integral is the Lebesgue integral and b is a real…
smbmath
  • 11
1
vote
0 answers

Showing that if $f=0$ almost, then $\int_X f=0$

(From Bartle) Query, I have seen solutions to this problem using simple functions, etc. but is it possible to solve it like this? I put my solution Solution. $f(x)=0$ almost x then the set $E=\left\{x\in X:f(x)\neq 0\right\}$ has a measure $0$.…
eraldcoil
  • 3,508
1
vote
0 answers

Interchanging limit and integral using DCT, but the dominating function dominates only locally

Let $(\Omega,\mathcal F,\mu)$ be a measure space and let $f_x:\Omega\rightarrow\mathbb R$ be a measurable function for each $x\in\mathbb R$ such that $\frac{\partial}{\partial x}f_x(\omega)$ exists for (almost) all $\omega\in\Omega$ and for all…
1
vote
0 answers

Convergence of Lebesgue integral of indicator

Let $f$ be a bounded real-valued measurable function. I want to compute the the limit of the integral $$\int f\chi_{A_n}\,\mathrm d\mu$$ as $n$ approaches infinity. Here $\chi_{A_n}$ denotes the indicator of the set $A_n := \{\vert f\vert\geq \sqrt…
lmaosome
  • 632