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

Is there a strictly monotone, integrable function $f: \mathbb{R} \rightarrow [0,\infty)$?

Im not sure about the above question. Im guessing that there is none, else the question would probably not be asked that way, but i can't really pinpoint where the contradiction lies.
InspectorPing
  • 349
  • 1
  • 8
1
vote
1 answer

Show that $f(x,y) = \frac{e^x+1}{x}$ is Lebesgue integrable.

Show that $$ f: [0,1)^2 \rightarrow \mathbb{R}, \quad f(x,y)=\left\{\begin{array}{cl} \frac{e^x+1}{x}, & \mbox{for }y \le x\\ 0, & \mbox{else} \end{array}\right. $$ is Lebesgue integrable and calculate $\int f d\lambda ^2$. It would be nice if…
InspectorPing
  • 349
  • 1
  • 8
1
vote
2 answers

Countable additivity with respect to integrands in Lebesgue integrals

The following property of Lebesgue integrals is true for nonnegative measurable functions $f_n$ (because it is a consequence of the monotone convergence theorem): $$\int (\sum_{n=1}^\infty f_n) d\mu = \sum_{n=1}^\infty \int f_n d\mu$$ Can anyone…
Thang
  • 827
1
vote
1 answer

proving integrability of a function

For a fixed $a\in \mathbb{R^n}$, we set $$\Gamma(a,x)=\frac{1}{2\pi}log|a-x|\ \ \ \ \text{for $n=2$}$$ $$\Gamma(a,x)=\frac{1}{\omega_n(2-n)}|a-x|^{2-n}\ \ \ \ \text{for $n\ge 3$}$$ where $\omega_n$ denotes the surface are of the unit sphere in…
Omega
  • 565
1
vote
3 answers

Showing that a sequence of Lebesgue Integrable functions converges to 0 a.e

Let $f_n: E \to \mathbb{R} \cup \{\infty\}$ be Leb.-integrable and suppose: 1) There is a sequence $\{a_n\}$ s.th. $a_n \ge 0$ 2) $\sum_{n=1}^{\infty} a_n = L$ (i.e.: it converges to some L) 3)$\int_E |f_n(x)| \le a_n$ for all $n$ I want to show…
Tadpole
  • 307
1
vote
1 answer

Question on the difference between a limit of an integral and if a function is integrable

In this thread I asked a question about getting started on a problem. The question is this: Let $f$ be a function such that $f(x) = \frac {(-1)^n}n$ for $x\in [n, n+1)$. 1) Show that $lim_{n\to \infty} \int_{[1,n]} f$ exists 2) Is $f$ integrable…
Tadpole
  • 307
1
vote
2 answers

Application of dominated convergence theorem- find limit

Find (with justification) $$ \lim_{n\to \infty} \int_0^n (1+x/n)^{-n}\log(2+\cos(x/n))\,dx $$
frusstu
  • 29
1
vote
0 answers

What is the value of Lebesgue integral $\int_{E}{(f(x) - 1) dx}$?

I am trying to solve this problem: If $f : \mathbb{R} \to \mathbb{R}$ is a Lebesgue measurable function and $\int_{0}^{1}{f(x)dx} = 1$ (Lebesgue integral) and $E = \{x \in [0, 1] \mid f(x) > 1\}$, then what is the value of the Lebesgue integral…
Behrooz
  • 1,000
1
vote
1 answer

Proof of lebesgue integral of $f(x)=\frac{1}{x}$ in the interval [1,5] equals to $\ln5-\ln1$

Would everyone please help me on how to prove this value of Lebesgue integral of the function $f(x)=\frac{1}{x}$ in the interval [1,5] by using approximation by simple function $f_n$ step by step? What if the function in this example defined on the…
1
vote
3 answers

Let $f \in L^1$ then prove $\lim_{b \rightarrow \infty} \int_b^{\infty} f(x) dx=0$.

So the question is as stated in the title. We are given the hint to use LDCT. Since this is homework I'm not looking for an explicit solution. I just need hints. For example, my first thoughts were to rewrite $f$ as, $$ f(x) = \lim_{n \rightarrow…
IQ472
  • 173
  • 1
  • 8
0
votes
1 answer

Integral of a product with any continuous function which has integral 0 is equal to 0

Let $g:[0,1]\to\mathbb{R}$ be bounded and measurable. For every continuous function $f$ with $\int_0^1f(x)dx=0$, $\int_0^1f(x)g(x)dx=0$ holds. I want to prove that $g$ is a constant function on almost everywhere. I approached in various way: I…
Analysis
  • 877
0
votes
2 answers

How to prove $\int_{\mathbb R^d}{(1+|x|^{2})^{-m}dx}$ is integrable?

$\forall x \in \mathbb R^d$ and $m > d/2$. I know that $\int_{\mathbb R^d}{(1+|x|^{2})^{-m}dx}$ is integrable, but how can I prove? Thanks!
0
votes
1 answer

Lebesuge integrable function always bounded?

Assume $f: [0,1] \to \mathbb{R}$ is Lebesgue integrable, does it imply that $f$ is bounded almost surly?
Adam
  • 3,679
0
votes
0 answers

Introduction of Lebesgue Theory

While reading Real Analysis- Stein, Shakarchi, I came up with following questions, some of which are in the "Introduction" of the book. The purpose of a series of questions is "to get actual introduction" to further study the subject in a proper…
Groups
  • 10,238
0
votes
1 answer

Monotone property of Lebesgue Intergral

Let $(X,\mathcal{A},\mu)$ be a a measure space, and $f$ and $g$ two measurable functions. Now if $f$ and $g$ are nonnegative and $f\leq g$, it can be easily seen that $\int f\,d\mu\leq \int g\,d\mu$, where the possibility of either side being…
Sam
  • 1