For question about integration, where the theory is based on measures. So it's almost always used together with the tag [measure-theory], and its aim is to specify questions about integral, not only properties of the measure.

learn more… | top users | synonyms

2
votes
1answer
37 views

Using MCT twice to show the limit of an integral depending on $x$ and $n$

So I have $\displaystyle\lim_{n \to \infty} \int^{n^2}_0 e^{-x^2} n \sin\left(\frac{x}{n}\right) dx$. I'd like to apply the MCT but the trouble is there is a limit which also depends on $n$ So I ...
0
votes
1answer
45 views

What is the property $\mathfrak{F}$ in Fubini's theorem?

Notation) $\mathbf{x} = (x_1, \cdots, x_n)$, $\mathbf{y} = (y_1, \cdots, y_m)$, $I_1=\{\mathbf{x}: a_i\le x_i\le b_i, ~~i=1, \cdots, n\}$ $I_2=\{\mathbf{y}: c_j\le y_j\le d_j, ~~j=1, \cdots, m\}$, ...
1
vote
0answers
29 views

Contradiction to a Theorem for Lebesgue integrability proof

We know that $f$ is Lebesgue Integrable iff $|f|$ is Lebesgue Integrable. We have shown by contour integration that $\int^{\infty}_0 \frac{\sin(x)}{x}$ is $\frac{\pi}{2}$ - yet we can also show using ...
1
vote
1answer
27 views

Examples of functions where the Lebesgue integral as a measure is complete.

Let $f\in\mathcal{M}(\mathbb{R})$ non negative. For each $E\subset\mathbb{R}$ measurable we define $\mu_f(E)=\int_{E}f$. Prove (a) $\mu_f$ is a measure in $\mathcal{M}$ (b) Give an example of a ...
3
votes
3answers
45 views

Why is $\frac{1}{x}$ not Lebesgue integrable on $[0,1]$?

My teacher said (without explaining) that $\frac{1}{x}$ is not Lebesgue integrable on $[0,1]$? Could someone please explain why is this true?
3
votes
1answer
30 views

Lebesque integral is not injective?

I know that Lebesgue integral is not injective i.e. if $$ \int\limits_{\Omega} f\, d\mu=\int\limits_{\Omega} g \,d\mu $$ then it is not necessary that $f=g$ on $\Omega$, But is there a simple ...
3
votes
2answers
99 views

Possible to do better than an upper bound for$\int^{\infty}_0 e^{-x}\log(x)\ dx$?

I used the series expansion of $e^{-x}$ and the fact that $\log(x)$ was less than $x$ in the $(0, \infty)$ to get an upper bound and so use simple comparison to show this was indeed integrable over $(...
4
votes
0answers
27 views

If $P$ and $Q$ are Lebesgue partitions then is $P\cap Q$ a refinement to $P$ and $Q$?

My teacher said that if $P$ and $Q$ are Lebesgue partitions then $P\cap Q$ is a refinement to $P$ and $Q$. But shouldn't $$P\cup Q$$ be the refinement to both $P$ and $Q$? Or, are both $P\cup Q$ and ...
1
vote
1answer
44 views

Question about Lebesgue integral

When I prove a real analysis problem, I need a theorem about Lebesgue integral, but I cannot find this theorem in any standard reference, intuitively, I think it is correct, but I do not know how to ...
2
votes
1answer
45 views

Please check whether the proof is correct or not.

Please check my solving. I want to know where to be wrong or illogical, or where logical jumps are. Problem Let $y=Tx$ be a nonsingular linear transformation of $\mathbb{R}^n$. If $\displaystyle\...
0
votes
1answer
61 views

if $\int{}f$ is finite, then $\int{}f$ exists?

My textbook said, If $\int_E f$ exists then, of course, $-\infty\le\int_E f\le+\infty$. If $\int_E f$ exists and is finite, we say that $f$ is Lebesgue integrable, or simple integrable, on $E$ and ...
0
votes
0answers
37 views

$f'$ Lebesgue-integrable

Let $f:[a,b]\to\mathbb R$ be differentiable and the derivative $f'$ bounded. How to show that $f'$ is Lebesgue-integrable on $[a,b]$ and $$\int_{[a,b]}f'd\mu=f(b)-f(a)$$ where $\mu$ denotes the ...
0
votes
1answer
18 views

When summation of two sequences is finite, is one finite?

$|\cdot|$ is Lebesgue measure. Let $w(\alpha) := |\{x:f(x)>\alpha\}|$ Let $f$ be a nonnegative function. Then, the proof uses that $\displaystyle\sum_{k=-\infty}^{\infty} 2^{kp}w(2^k)\lt\infty \...
2
votes
0answers
27 views

Why is the Newton quotient measurable when the conditions are like the following.

Let $f(x, y), 0 \le x, y, \le 1$, satisfy the following conditions: for each $x$, $f(x, y)$ is an integrable function of $y$. $\displaystyle\frac{\partial{}f(x, y)}{\partial{}x}$ is a bounded ...
0
votes
1answer
48 views

Three questions on measurable functions and $L^p$ spaces

I'm learning about measure theory and $L^P$ spaces and need help with the following questions: True or False (justify): $(1)$ Let $f:(-1, 1) \to \mathbb{R}$ measurable on $(-n, n), \; \forall ...
0
votes
0answers
24 views

Integral of convex function applied on a function

Let $f$ be an integrable function of $\mathcal{L}(\mathbb{C},\mathbb{R})$, measure Lebesgue. I want to prove that there exists an increasing convex function $H:\mathbb{R}^+\rightarrow\mathbb{R}^+$ ...
0
votes
1answer
44 views

Can someone solve my non-understandable process in proving a theorem?

Theorem. Let $E$ be a subset of $\mathbb{R}^n$. Then, if $p\gt0$, $\int_E|f-f_k|^p\to0$, and $\displaystyle\int_E|f_k|^p\le{}M$ for all $k$, then $\displaystyle\int_E|f|^p\le{}M$. For your ...
0
votes
1answer
38 views

Lebesgue integral, path connected and compact

Let $K \subseteq \mathbb R^d$ be path-connected and compact and $f:K\to\mathbb R$ continuous. How can I show that there is a $\xi\in K$ such that $$\int_Kfd\lambda^d=f(\xi)\lambda^d(K)$$ where $\...
1
vote
1answer
24 views

$A$ is measurable if and only if $\forall\epsilon$, $\exists$ open set $G$ and closed set $H$ such that $H\subset A\subset G$ and $\mu(G|H)<\epsilon$

Let A be a real set then is it true that $A$ is measurable if and only if $\forall\epsilon$, $\exists$ open set $G$ and closed set $H$ such that $H\subset A\subset G$ and $\mu(G|H)<\epsilon$.
0
votes
1answer
35 views

How to evaluate the Lebesgue integral of the Heaviside function?

I have to evaluate the Lebesgue integral $$ I = \int\limits_{[-1, 1]} \chi(x) \chi(x - \frac{1}{2}) d\left(\chi(x)\chi(x + \frac{1}{2})\right) $$ where $ \chi $ is the Heaviside function: $$ \...
2
votes
1answer
22 views

If $f_n$ is Lebesgue integrable and $f_{n}$ converges pointwise to $f$ then is $f$ Lebesgue integrable?

If $f_n$ is Lebesgue integrable and $f_{n}$ converges pointwise to $f$ then is $f$ Lebesgue integrable? I know that this is false unless $f_{n}$ converges uniformly to $f$, but is there an example ...
0
votes
1answer
24 views

Continuity of Integration (Lebesgue)

On the theorem regarding continuity of integration: Let $f$ be integrable over $E$. If $\{E_{n}\}^{\infty}_{n=1}$ is an ascending countable collection of measurable subsets on $E$, then $$\int_{\...
1
vote
0answers
56 views

Comparison test and DCT

Given a measure space $(\Bbb R, \mathcal P(\Bbb R), \mu_\Bbb N)$ where $\mathcal P(\Bbb R)$ denotes the power set of $\Bbb R$ and $\mu_\Bbb N$ is defined by $\mu_\Bbb N(A)= \vert {A \cap \Bbb N}\vert$...
0
votes
1answer
60 views

$f$ integrable iff $\sum_{n=1}^{\infty} f(n)$ converges absolutely

Given a measure space $(\Bbb R, \mathcal P(\Bbb R), \mu_\Bbb N)$ where $\mathcal P(\Bbb R)$ denotes the power set of $\Bbb R$ and $\mu_\Bbb N$ is defined by $\mu_\Bbb N(A)= \vert {A \cap \Bbb N}\vert$...
4
votes
1answer
80 views

Lebesgue integral - no dominating integrable function of $(f_n)$

Let $\lambda$ be the Lebesgue-measure on $\Omega =[0,1]$. Given a sequence of non-negative measurable functions $$f_n:\Omega\to\Bbb R: x \mapsto ne^{-nx},$$ how can I show that $f_n$ converges $\...
1
vote
1answer
59 views

$\int\lim_{n\to\infty}f_nd\mu = \lim_{n\to\infty}\int f_n d\mu$

How can I prove $$\int\lim_{n\to\infty}f_nd\mu = \lim_{n\to\infty}\int f_n d\mu$$ given a measure space $(\Omega,\mathfrak A, \mu)$, a non-decreasing sequence $(f_n)$ of measurable functions on $\...
4
votes
1answer
39 views

Definition of outer Measure

As I understand it, the outer measure $\mu^{*}(A)$ is used to find the length of the smallest cover that covers $A$. However, in another definition, the outer measure is defined as the largest lower ...
1
vote
1answer
73 views

Limit of a sequence of Lebesgue integrals

Let $ f\in L^{1}(E) $ and $ \{E_n\}$ be a sequence of measurable subsets of $E$. If $$ \lim_{n\to +\infty} m(E_n) = 0$$ prove that $$ \lim_{n\to +\infty} \int_{E_n} f = 0.$$ I tried to interchange ...
3
votes
1answer
28 views

Lebesgue integration and uniform convergence

Let $\Omega$ be a bounded and measurable set in $\mathbb{R}$. If $\{f_n\}$ is a sequence of bounded and Lebesgue integrable functions on $\Omega$. If $f_n$ uniformly converges to $f$, then how to ...
0
votes
1answer
35 views

Using the monotone convergence theorem to show a function is integrable

Apply the monotone convergence theorem and the fundamental theorem of calculus to show that $f(x) = \left\{ \begin{array}{ll} x^{-a} & \mbox{if } 0 < x \leq 1 \\ \infty & \mbox{if } ...
4
votes
0answers
84 views

Is right this application of Hadamard three-lines theorem for $ \frac{\zeta(s)}{s}- \frac{d\zeta(s)}{d\sigma}$?

Let the complex variable $s=\sigma+it$, then from the following identity valid for $\sigma=\Re s>1$ $$\zeta(s)=s\int_1^\infty \frac{[x]}{x^{s+1}}dx$$ where $\zeta(s)$ is the Riemann Zeta function, ...
16
votes
3answers
1k views

How to decide whether Lebesgue integral or Riemann integral?

Very often I feel very uncomfortable in dealing with integrals, since I am wondering whether the given integral is meant as a (improper) Riemann integral or Lebegue integral? For instance, the Gamma ...
1
vote
1answer
25 views

Non-regular measure can be represented by a regular measure

Let $X$ be a locally compact and Hausdorff space, and let $\mu$ be a positive measure on the Borel sets of $X$ (here $\mu$ is not necessarily regular). Then the linear map $L : C_c(X) \to \Bbb C$ ...
3
votes
1answer
14 views

Product of weak and strong convergent sequences in $L^p$

I already saw some proofs here with $b_n\to b$ in $L^2$ and $a_n\rightharpoonup a$ in $L^2$. Then $$ \int a_n b_n \to \int a b. $$ But what goes wrong if both sequences are weak convergent? Proof: $...
1
vote
0answers
24 views

How is justified the derivation under the integral sign $\frac{d}{d\sigma} \left( \Re\frac{1}{\zeta(s)} \right) $?

Taking $\sigma=\Re s>1$ (this is we take $s=\sigma+it$, $\sigma$ and $t$ real numbers) then the using theknown integral representation for $\frac{1}{\zeta(s)}$, where $\zeta(s)$ is the Riemann ...
0
votes
0answers
24 views

Integrals as Signed Measures (and vice Versa)?

1. Can every integral (with respect to an integrable function) be written as a signed measure? And does the function’s decomposition into positive and negative parts align somehow with the ...
2
votes
1answer
180 views

Principal value integral of complex exponential

I'm reading the article Brownian distance covariance and stumbled upon a equality I can't seem to derive myself. We are first presented with the following lemma: and after stating this lemma, the ...
0
votes
0answers
19 views

Measurability and integrability of set and function

My textbook said: Let $E\subset\mathbb{R}^n$, let $G$ be an open set, and let $|\cdot|_e$ denote outer measure. if $\exists{}G$ s.t. $E\subset{}G$ and $|G-E|_e\lt\varepsilon$ for an any given $\...
0
votes
1answer
30 views

$f_n = (\frac{1}{n})\chi_{[n, +\infty)}$. Find $\lim \int f_n d\lambda$.

Let $X = \mathbb R$, $\textbf{X} = \textbf{B}$ and $\lambda$ the Lebesgue measure on $\textbf{X}$. I have the following: $f_n = (\frac{1}{n})\chi_{[n, +\infty)}$. I need to find the following: $\...
1
vote
3answers
47 views

$f(x)$ and $xf(x)\in L^2(\mathbb{R})$ then $f(x)\in L^1(\mathbb{R})$

If $f(x)$ and $xf(x)\in L^2(\mathbb{R})$ then $f(x)\in L^1(\mathbb{R})$. I know that if $E$ is of finite measure, then we can infer from $f(x)\in L^2(E)$ to get $f(x)\in L^1(E)$. However, now $E=\...
1
vote
1answer
54 views

$T$ is an $L^2$-bounded operator; find its norm

We have the integral operator $$ P:L^2(\Bbb R^n)\to\{\text{meas.functions}\;:\;\Bbb R^n\to\Bbb R\} $$ defined as $$ Tf(x):=\int_{\Bbb R^n}L(x,y)f(y)\,dy $$ where $L$ is a measurable function on $\Bbb ...
2
votes
1answer
38 views

Let $f$ be positive and Lebesgue measurable on $[0,1]$. Show that $\inf_{\lambda(E)\geq \epsilon} \int_E fd\lambda >0$ for any $\epsilon\in(0,1]$.

The title says it all. I've already shown, for an earlier part of this problem, that for any $E$ with $\lambda(E)>0$, we have $\int_E fd\lambda >0$. I did that by reductio, showing that ...
8
votes
2answers
79 views

Show that the set $\{x \in \mathbb{R}| \lim_{n \to \infty} \sin(a_n x) \mbox{ exists}\}$ has zero measure

$a_n$ is a sequence of real numbers such that $a_n \to +\infty$. Show that the set $E = \{x \in \mathbb{R}| \lim_{n \to \infty} \sin(a_n x) \mbox{ exists}\}$ has zero (Lebesgue) measure. The hint for ...
0
votes
1answer
30 views

Lebesgue Integral-Question

Hi guys, How can I evaluate Lebesgue Integral of this function. I think first I should show that is simple function ?
0
votes
4answers
78 views

$\int_\Omega f d\mu = 0 $ if and only if $f(x)=0$ almost everywhere

can someone give me a hint on what kind of theorem/definition I should make use of to solve this? Let $(\Omega,\mathfrak A, \mu)$ be a measure space and $f:\Omega \to \mathbb R$ a non-negative ...
0
votes
2answers
40 views

Where $f:[0,1]\to\mathbb R$ is Lebesgue integrable, show $\lim_{n\to\infty} n\lambda(\{x:|f(x)|\geq n\})=0$.

Title says it all. It's clear why $\lim_{n\to\infty}\lambda(\{x:|f(x)|\geq n\})=0$ -- since otherwise for arbitrarily high $n$ there'd be a subset of $[0,1]$ with nonzero measure where $|f|\geq n$ and ...
0
votes
0answers
9 views

What's the function that it is neccesary to show being bounded locally integrable in the Wiener-Ikehara Theorem?

When I am reading in (this video from an official channel in You$\color{red}{\text{Tube}})$ mathscienciechannel, that has the most high quality, in my attempt to understand the facts that currently I ...
1
vote
1answer
29 views

Convergence of sequence of smooth functions

I have the following $\{f_n\}^\infty$ sequence of smooth functions where $f_n:[0,1] \to \Re$ and $f_n(0) = 0$ with the following assumptions: $$ f_n(x) \to f(x)\ \forall x \in [0,1] $$ $$ f_n' \to g ...
0
votes
0answers
17 views

Divergence test for a double integral $\int \int |f| dxdy$

lets say $\int (\int f) dxdy \ne \int (\int f) dydx $ can we conclude $\int \int |f| dxdy$ diverge? $f$ is assumed to be measurable over $x,y$ and $(x,y)$.
0
votes
1answer
35 views

Lebesgue Integral over vanishing interval

Let $f(x)$ be a Lebesgue integrable function. Then is it true that $$ \lim_{\epsilon\to 0}\int_0^\epsilon f(x)\,dx=0 $$ always? When $f(x)$ is bounded answer is trivial, but if we wish to show this ...