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

Question on Integrability of a function.

Let $(f_j)_{j\in\mathbb{N}}$ be a sequence of real functions in $L^p(X,\mathcal{A},\mu)$, where $p\geq1$. If we know that $$\lim\limits_{j\rightarrow\infty}\int_X|f_j|^pd\mu=\int_X|f|^pd\mu\space\space\space(\dagger),$$ for some measurable function…
2
votes
0 answers

Fundamental lemma for non-negative functions

is there some sort of fundamental lemma of calculus of variations for non-negative functions? Let $u\geq 0$ and $u\in L^1(\Omega)$ on a domain $\Omega$ in $\mathbb{R}^N$. If $$\displaystyle\int_\Omega u\phi \leq 0$$ for any $\phi\in…
2
votes
1 answer

show that $g$ is not Lebesgue integrable

For all $n\in \mathbb N$ let $f_n : (0,1)\rightarrow \mathbb R, x\mapsto \frac{2nx}{(1+nx^2)^2}$. Furthermore let $g: (0,1) \rightarrow \mathbb R$ be a function so that for all $x\in (0,1)$ and all $n\in \mathbb N$ $|f_n(x)|\leq g(x)$. Show that $g$…
marc
  • 312
2
votes
0 answers

Prove that ${\lim\limits_{n \to \infty}{\left(\int\limits_{n}^\infty |f(x)|dx + \int\limits_{-\infty}^{-n} |f(x)|dx \right)}= 0}$

Let $f \in L^1(\mathbb{R})$. Prove that $\displaystyle{\lim_{n \to \infty}\displaystyle{\left(\int_{n}^{+\infty} |f(x)|dx + \int_{-\infty}^{-n} |f(x)|dx \right)}= 0}$ My Attempt: For the first integral: Let $f_n = 1_{[n,\infty)}f$ be a sequence of…
Dencio
  • 53
2
votes
1 answer

Prove $ F(x)=\int_0^{\infty}\frac{f(y)}{x+y}dy $ is continuous on $(0,\infty)$ and differentiable, and have $\lim\limits_{x\to \infty} F(x)=0$.

$f$ is integrable on $[0,\infty)$, and $\int_0^{\infty} |f(y)|dy < \infty$. Prove: Then $ F(x)=\int_0^{\infty}\frac{f(y)}{x+y}dy $ is continuous on $(0,\infty)$ and differentiable, and have $\lim\limits_{x\to \infty} F(x)=0$.
2
votes
2 answers

How to rewrite integral of L^2 function and conclude about convergence of series

I've read the following assertions: " Suppose $f \in L^2(\mathbb{R}). $ Then $$ \int_{-\frac{1}{2}}^{\frac{1}{2}} \sum_{k \in \mathbb{Z}} \vert f(x+k) \vert^2 dx = \int_{-\infty}^{\infty} \vert f(x) \vert^2 dx < \infty. $$ Thus, $ \sum_{k \in…
rue
  • 85
2
votes
1 answer

Can I imply absolute integrability from integration with exponential function?

I have a piecewise continuous function $f:\mathbb{R}\rightarrow\mathbb{R}$ and $\varepsilon>0$ such that $$ \int_0^\infty e^{\varepsilon t}f(t) dt < \infty $$ holds. Can I somehow imply absolute integrability of $f$, or that $f$ goes to $0$ (or that…
Lukas
  • 55
2
votes
1 answer

Let $\{f_k\}$ be measurable functions such that $\sum_{k=1}^\infty\int |f_k|d\mu<\infty$ Show that $\lim_{k\rightarrow 0}f_k(x)=0$ almost everywhere.

Let $\{f_k\}$ be a sequence of measurable functions such that $$\sum_{k=1}^\infty\int |f_k|d\mu<\infty$$ Show that $\displaystyle\lim_{k\rightarrow 0}f_k(x)=0$ almos everywhere. Since $\displaystyle\sum_{k=1}^\infty\int |f_k|d\mu<\infty$ I…
AlephZero
  • 750
2
votes
1 answer

How to show $\Big(\dfrac{\sin t}{t}\Big)^{n}$ for $n\geq 2$ is Lebesgue integrable over $\mathbb{R}$?

As the title of this post, how could I prove $\Big(\dfrac{\sin t}{t}\Big)^{n}$ is Lebesgue integrable over $\mathbb{R}$ for $n\geq 2$? It has been clear that $\dfrac{\sin t}{t}$ is not Lebesgue integral over $\mathbb{R}$, from this post: Showing…
2
votes
1 answer

Integral of a function.

If $$I(x)=(1-|x|^2)^s \int_{|y|>1} \frac{dy}{(|y|^2-1)^s|y-x|}$$ where $x\in (-1, 1)$ and $s\in (0,1).$ Is it true that $I(x)$ is a constant depending on $s$ only?
Spal
  • 23
2
votes
0 answers

On the Dominated Convergence Theorem

I'm trying to show: If $f \in L^1([0,1])$, then $$ \lim_{n \to \infty}\int_0^1n \ln\left(1+\frac{|f(x)|^2}{n^2} \right)dx=0 $$ Solution: I want to apply de Dominated Convergence Theorem. However, I don't find a suitable $h \in L^{1}([0,1])$ such…
2
votes
2 answers

$\frac{1}{|x-y|^\alpha}$ is integrable on the unit ball (center in $~0~$ and radius $~1~$) in $\mathbb R^N~$

I know about the integrability of $~\frac{1}{|x|^\alpha}$ in the unit ball (center in $~0~$ and radius $~1~$) when $~\alpha
2
votes
1 answer

integral of $f^p$ on a $\sigma$-finite measure

I have a σ-finite measure on $(X,\mathbb{F},\mu)$ and a non negative function $f$ that is measurable on X. Further there exists a $p>0$ such that $$ \int_X f^p d\mu\:\text{ exists.} $$ It is required to show that $$ \int_X f^p…
tim123
  • 39
2
votes
1 answer

Continuity and differentiability of a function defined by a Lebesgue integral

Suppose I've a function $g: I\times X\to \mathbb{C}$ where $I$ is an open interval and $I,X\subset\mathbb{R}$. Then under what conditions of $g$ is the function defined by the Lebesgue integral: $$ f(t) \doteqdot \int_{X}g(t,x)\,…
Arthur
  • 379
  • 1
  • 4
  • 6
2
votes
0 answers

Lebesgue integral of the difference of two positive functions

If $f, g \geq 0$ measurable, then $\int f-g = \int f -\int g$ Is this always true or does it need a special condition to hold? I know if we have addition this holds ($\int f+g = \int f +\int g$) if $f, g$ measurable, there exist two increasing…
Andy
  • 1,109