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
43 views

If $f_n$ converges in measure to $f$, prove prove $\lim_{n\to\infty} \int_a^b f_n(x)dx=\int_a^b f(x)dx$.

Let $\{f_n\}_{n=1}^\infty$ be a sequence of measurable functions that converges in measure to $f$ on $[a,b]$. If there is a Lebesgue integrable function $g$ on $[a,b]$ such that $|f_n(x)|\leq g(x)$, ...
3
votes
1answer
28 views

Find $\lim_{n \to \infty} n^{\alpha} \int_{n}^{\infty} \frac{f(x/n^2)}{x^{\alpha + 1}}(x-n)dx$

I am looking at an old exam in my measure theory and integration class. I am trying to solve a problem and am wondering if I am doing it right. Problem Let $f$ be a bounded measurable function on ...
1
vote
1answer
32 views

To show that a function defined by integral is absolutely continuous

Let $$ F(x)=\int_{[0,x]\times[0,x]}f,\quad x\in[0,1] $$ Here f is a Lesbegue-integrable on the unit square $[0,1]\times[0,1]$. I need to show that $F$ is absolutely continuous and express the ...
2
votes
2answers
36 views

Computing limits using Monotone Convergence theorem

I am trying to compute the limits of $\lim_{n \rightarrow \infty} \int\limits_0^{\infty} \dfrac{1}{(1+\dfrac{x}{n})^n \sqrt[n]x}dx $ by using Monotone convergence theorem of integrals and switching ...
0
votes
0answers
33 views

Integral of $\frac{\exp\left(\, -\alpha x\,\right)\, (x-x_0)} {{(x-x_0)^2+\beta^2}}$ [on hold]

Does the following integral have a closed form solution? $$ \int_{0}^{\infty} \frac{\exp\left(\, -\alpha x\,\right)\, (x-x_0)} {{(x-x_0)^2+\beta^2}}{\rm d}x $$ where $\alpha$, $\beta$ and $x_0$ are ...
0
votes
1answer
16 views

Application of Fubini's theorem, lebesgue integral with product measure

Show that for $f(x,y)=xy/(x^2+y^2)^2 $ for $ x,y \neq (0,0) $ and $ f(0,0)=0$ , the iterated integrals $\int_{-1}^1\int_{-1}^1fdxdy $ and $\int_{-1}^1\int_{-1}^1fdydx$ coincide but that the double ...
-1
votes
1answer
26 views

Translation property in $L^1(\mathbb{R})$ space

Let $g(x)$ be a bounded measurable functions on $\mathbb{R}$, and $f(x)$ be in $L^1(\mathbb{R})$. Notation: $\int_\mathbb{R} h(x)dx=\ $the integration of measurable function $h$ over $\mathbb{R}$ I ...
1
vote
2answers
40 views

Prove that $\int_0^1\int_x^1 \frac{f(y)}ydy\,dx=\int_0^1f(x)\,dx$ if $f$ is Lebesgue integrable

Suppose f is a Lebesgue integrable function on [0,1] and define a new function by $$g(x)= \int_x^1 \frac{f(y)}ydy$$ for all x in [0,1]. Prove that $$\int_0^1{g(x)} dx=\int_0^1{f(x)} dx$$ My ...
1
vote
0answers
27 views

Prove that $\int (\delta x)=\delta^{-d} \int f$

Let $f$ be a real-valued integrable function on $\mathbb{R}^d$. Prove that $$\int f(\delta x) = \delta^{-d} \int f.$$ I let $f(x)=\chi_E(x)=\begin{cases} 1 & \text{if }\delta x \in E \\ 0 ...
4
votes
1answer
50 views

Convergence of $ L^{p} $-integrals implies convergence in $ L^{p} $-norm?

Let E be a measurable set, $\{ f_n \}$ and $f$ are in $L^p(E)$ such that $f_n \to f$ pointwise a.e. If $\lim \|f_n \|_p = \| f \|_p$, is it true that $\lim \| f_n - f \|_p = 0$? I have tried ...
2
votes
2answers
50 views

If $f, g \in L^p$, is it true that $\int | f g | = \int | f | \int | g |$?

Let $f,g \in L^p(0, 1), \;\; 1 < p < \infty$. In this case, is it true that $$\underset{(0, 1)}{\int} | f(x) g(x) | dx = \underset{(0, 1)}{\int} | f(x) | dx \underset{(0, 1)}{\int} | g(x) | dx? ...
3
votes
1answer
33 views

Intuition behind the Riesz-Thorin Interpolation Theorem

Quoting the definition on Wikipedia, Let $(\Omega_1, \Sigma_1, \mu_1)$ and $(\Omega_2, \Sigma_2, \mu_2)$ be $\sigma$-finite measure spaces. Suppose $1 \leq p_0 \leq p_1 \leq \infty$, $1 \leq q_0 ...
0
votes
0answers
16 views

Can't evaluate triple integral over tetrahedron [duplicate]

I have seen similiar but not the same question over here, but I can not reproduce this answer to my question. Help evaluating triple integral over tetrahedron I have to calculate integral: ...
-1
votes
1answer
35 views

Function is identically zero almost everywhere

Prove that if $\int_E f d\mu = 0$ for some $f \ge 0$, then $f = 0$ almost everywhere. This is Execrise 1 in Chapter 11 of baby Rudin. My attempt: $\int_E f d\mu = 0 \implies$ sup { ${\int_E s ...
0
votes
0answers
11 views

Convolution of Two Characteristic Functions on \mathbb{R}^1 [on hold]

Problem 2 from Jones, Lebesgue Integration on Euclidean Space, Chapter 11. On $\mathbb{R}^1$, let f= $\mathbb{1}_{(-a,a)}$ and g= $\mathbb{1}_{(-b,b)}$. Verify that: $(f*g)(x) =$ $2b$ if $\vert X ...
1
vote
1answer
30 views

can a LUB be part of an open interval

I am re-reading an old textbook "Introduction to Hilbert spaces and applications" by Lokenath Debnath and Piotr Mikusinski, and there is a proof of a lemma in a chapter about the Lebesgue integral ...
0
votes
1answer
29 views

How to show that $\dfrac{\sin(x^2+y^2)}{(x^2 + y^2)^\alpha}$ integrable on $\mathbb{R}^2$

I need to show that $$k(x,y) = \dfrac{\sin(x^2+y^2)}{(x^2 + y^2)^\alpha}$$ is integrable on $\mathbb{R}^2$ for $1<\alpha <2. $ How do I go about this? I'm pretty sure I need to use Tonelli's ...
1
vote
1answer
41 views

Proving the existence of a certain Lebesgue-measurable set.

Let $ m $ be the Lebesgue measure on $ \mathbb{R} $ and $ f: \mathbb{R} \to [0,\infty) $ a Lebesgue-integrable function. Show that there exists a Lebesgue-measurable set $ E \subseteq [0,\infty) $ ...
2
votes
0answers
24 views

Enigma in applying Lebesgue dominated convergenege theorem

Let $p\in \mathbb{C} \lbrack z],~p=p\left( re^{it}\right) ,n=\deg p$ and we want to compute de limit $$ \lim_{r\rightarrow\infty}\frac{1}{2\pi}\int_{0}^{2\pi}\frac{p^{\prime}\left( re^{it}\right) ...
0
votes
1answer
31 views

How can I solve like this exercise in measure theory

Let $J=[0,1]*[0,1]$ and $μ$ is the lebesgue measure on $X=[0,1]$ ,$υ$ is the Counting measure on $Y=[0,1]$ Let $f(x,y)=$ $1$ if $x=y$ and $0$ otherwise How can I solve ...
9
votes
2answers
289 views

Lebesgue integration of simple functions

Define $f : [0,1] \to \Bbb R$ by $f(x) := 0$ if $x$ is rational, and $f(x) := d^2$ if $x$ is irrational, where $d$ is the first nonzero digit in the decimal expansion of $x$. Show that ...
0
votes
1answer
34 views

square integrable

I have a question about Lebesgue integral. Let $(S,\Sigma,m)$ be a $\sigma$-finite measure space. Let $f$ be a $\Sigma$-measurable real-valued function. If $f$ satisfies that $\forall g \in ...
1
vote
0answers
61 views
+150

Hausdorff measure and volume form

I would like to find a proof of the following fact: If $M$ is an orientable $k$-submanifold in $\mathbb{R}^n$ with a volume form $dV$ then $$\int\limits_{M} f(x) dV = \int\limits_{M} f(x) H^k(dx).$$ ...
3
votes
2answers
88 views

Why does Fubini's theorem not hold/apply to this function?

Given the function $$ f(x,y) = \begin{cases} e^{y-x}, & x > y \geq 0 \\ -e^{x-y}, & 0 \leq x \leq y \end{cases}$$ I have already determined that $$ \int_0^\infty \left( \int_0^\infty f(x,y) ...
-2
votes
0answers
8 views

f(x) Lebesgue measurable and integrable, show g(x,y) = f(x)/x is wrt product measure [closed]

f(x) Lebesgue measurable and integrable, show g(x,y) measurable and integrable is wrt Lebesgue product measure on (0,1 x (0,1) where g(x,y) = f(x)/x for 0< y< x<1 and 0 elsewhere
-1
votes
0answers
12 views

Some questions on convergence of measurable functions and increasing sequences.

My question relates to the proof of existence of the essential supremum, on Planetmath (http://planetmath.org/?op=getobj&id=11400&from=objects). I have some qualms with the proof so would ...
0
votes
2answers
21 views

If $\lim_{n\to\infty} \int_E f_n dx$ is finite, prove $f$ is Lebesgue integrable on $E$ and $\lim_{n\to\infty} \int_E f_n dx=\int_E fdx$.

Let $\{f_n\}_{n=1}^\infty$ be a decreasing sequence of Lebesgue integrable functions defined on a measurable set $E$. Suppose there is a function $f$ such that $f_n(x)\to f(x)$ almost everywhere on ...
1
vote
1answer
40 views

Does the integral converge I can't find counterexample

I found the following question in the book of kolomogorov fomin introductory real analysis and I don't know how to solve it. Does anyone have any ideas? Suppose $f$ is integrable on sets ...
3
votes
1answer
44 views

Given $f\in L^1(\mathbb{R})$ with $\|f\|_1<\infty$ and $g_n=\sqrt{n/2\pi}e^{-nx^2/2},f_n=g_n\ast f$, show that $\lim\|f_n-f\|_1=0$

Given $f$ a Lebesgue integrable function on $\mathbb{R}$ with finite $L^1$-norm, I am asked to show that $\lim_{n\to\infty} \|f_n - f\|_1 = 0$, where $f_n = f \ast g_n$ and $g_n = ...
1
vote
2answers
73 views

Do Riemann and Lebesgue integrals always agree?

I know that on a closed bounded interval, say $[a,b]$ in $R^1$, if a function is Riemann integral, then it is Lebesgue integrable, and the values of those two integrals are the same. But, is this ...
0
votes
1answer
31 views

A Quick Question on the Monotone Property of Integrals.

Let $(\Omega,\mathcal{A},\mu)$ be a measure space with $f$, $g\in \mathcal{L}_1(\Omega,\mathcal{A},\mu)$. If for any $A\in\mathcal{A}$ we have $$\int_Afd\mu\geq\int_Agd\mu\space ,$$ show that $f\geq ...
1
vote
1answer
39 views

Existence of double integral

the short time Fourier transform is obtained by the formula: $$Sf(u,\epsilon)=\int_\mathbb{R}f(t)g(t-u)e^{-i\epsilon t}dt$$ where $f,g \in L^2(\mathbb{R})$ are the signal and window respectively: ...
0
votes
1answer
29 views

Is this sufficient for $f'' \in L^2$?

Let $f \in L^2(0,2\pi)$ be taken such that $f$ and $f'$ are absolutely continuous on $[0,2\pi]$ with $f(0) = f(2\pi)$ and $f'(0)= f'(2\pi).$ Is this sufficient to conclude from this that $f'' \in ...
5
votes
3answers
63 views

Let $1 \leq p <\infty$ and $f \in L^p(\mathbb{R})$. Prove $\lim_{x \to \infty} \int_x^{x+1} f(t) dt = 0$.

(Jones, p. 246) Let $1 \leq p <\infty$ and $f \in L^p(\mathbb{R})$. Prove $\lim_{x \to \infty} \int_x^{x+1} f(t) dt = 0$. This seems pretty easy to prove in the following way: Let $g_j$ be a ...
1
vote
1answer
65 views

I need to prove whether two sequences are equidistributed or not

For each subset $S\subset [0,1]$ write $X_{s}$ for the "indicator function" as $X_{s}(t)=1$ when $t\in S$ and $X_{s}(t)=0 $ when $t\notin S$. A sequence $\{x_{n}\}$ in $[0,1]$ is called ...
0
votes
1answer
15 views

Finite measure space & sigma-finite measure space

A measure space $(X, \Sigma, \mu)$ is finite if $\mu(X)<\infty$. It is equivalent to saying that $(X, \Sigma, \mu)$ is finite if $\mu(E)<\infty$ for all $E \in \Sigma$ A measure space $(X, ...
1
vote
1answer
39 views

Finite meaure space with $f \in L^p$ [duplicate]

Given a finite measure space $(X,\Sigma,\mu)$, for $1<p<\infty$, if $f \in L^p(X)$, then $f \in L^1(X)$. Can anyone show me how to start the proof? Thanks.
1
vote
1answer
25 views

Any function in $L^p$ space is a linear combination of simple functions? True OR not?

Any function in $L^p$ space is a linear combination of simple functions for $1<p<\infty$. Is this true? So any function in $L^p$ is measurable. So any measurable function can be represented ...
0
votes
0answers
17 views

Reconstructing a measure from its (absolutely continuous) marginals

Let's denote by $C$ the space of continuous functions $[0,T] \rightarrow \mathbb{R}^n$ for some fixed $T>0$ and assume we have a probability measure $Q$ on the space $C$. Consider the evaluation ...
2
votes
1answer
13 views

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 ...
0
votes
1answer
44 views

Is f Lesbegue Integrable?

I've got a problem that I have been working on in my Real Analysis class, and am not sure on the answer. The problem is below along with my thoughts so far. Problem: Let f be a function such that ...
0
votes
1answer
19 views

Integrating with respect to a linear combination of two signed measures

Let $(X, d)$ be a metric space and $\mathcal{B}(X)$ the Borel $\sigma$-algebra of X. Let $\mu, \nu$ be two real-valued signed measures defined on $(X, \mathcal{B}(X))$ and $f : X \to \mathbb{R}$ Borel ...
0
votes
1answer
37 views

Congruent Sub-Intervals with Reimann-Integrable Functions

Let $f:[a,b]\to\Bbb R$ be a Riemann-integrable function. Prove that for each $\sigma\gt0$ there exists a partition $\mathcal P$ of $[a,b]$ into congruent sub-intervals(that is, $x_{j}=a+{j(b-a)\over ...
3
votes
3answers
94 views

Inherent Pitfall of Lebesgue Integration?

I am studying Real Analysis with Royden's Book. I noticed that for a function f differentiable almost everywhere on [a, b] and f' integrable over [a, b], it does not imply that $ f(x) = \int_{[a, ...
2
votes
1answer
48 views

a question about the evaluation of integral [duplicate]

Let $\alpha:[0,1] \to R$ be the Cantor function. Evaluate $$\int_{0}^{1}xd\alpha $$and $$\int_{0}^{1}x^2d\alpha.$$ I know that the Cantor function is continuous and monotone increasing, how can I ...
1
vote
0answers
52 views

Puzzles in a proof

From a previous link in MSE: Prove the set of which sin(nx) converges has Lebesgue measure zero (from Baby Rudin Chapter 11), the question states Suppose that $\{n_k\}$ is an increasing sequence ...
1
vote
1answer
47 views

Existance of limit and Integrability of a function

The questions is: Let $f$ be a function defined as $f(x) = (-1)^n/n $ for $x \in [n, n+1), n \in \mathbb{N}.$ Show that $lim_{n\to\infty}$ $\int_{[1,n]}\ f $ exists Also, is $f$ integrable on ...
0
votes
0answers
27 views

Show that Thomae Function is Lebesgue Integrable

I have the Thomas Function defined as follows: $f(x): [0,1] \to \mathbb R$ $f(x) = q$ if $x$ is rational and $x = p/q$, $0$ otherwise (please note that this is the usual definition of THomae's ...
0
votes
0answers
20 views

Integrability of a function, $(x,y)\mapsto 1_{[0,\infty)\times[0,\infty)}(x,y)(e^{-x}-e^{-y})$.

Is the function $$(x,y)\mapsto 1_{[0,\infty)\times[0,\infty)}(x,y)(e^{-x}-e^{-y})$$ integrable wrt. the lebesgue measure on $(\mathbb{R}^{2},\mathbb{B}_{2})$? I have shown that it's not integrable, ...
6
votes
3answers
84 views

Question about Dominated Convergence Theorem.

How to compute $$\lim_{n \to \infty}\int_0^{\infty}\Big(1+\frac{x}{n}\Big)^{-n}\sin\Big(\frac{x}{n}\Big) dx$$ I want to use the Dominated Convergence Theorem. so it becomes ...