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

0
votes
1answer
10 views

Continuous map from $L^r(\Omega)$ to $L^s(\Omega)$.

The following theorem appears in the appendix of P.H. Rabinowitz monograph on Critical Point Theory: Let $\Omega \subset \mathbb R^n$ be bounded. Let $g$ be such that (i) $g \in C(\overline{\Omega} ...
0
votes
1answer
29 views

A limit of integral

How can I prove that $ \lim_{ n\to \infty} \int_{R}^{} \cos(nt)f(t)dt = 0 $ for any $f \in L_{1}(R) $? I believe that I should use a fact that cosinus is a cyclic function and divide this integral ...
2
votes
3answers
113 views

Prove $\lim_{n \rightarrow \infty} n \int_{\frac{1}{n}}^{1} \frac{\cos(x+\frac{1}{n})-\cos(x)}{x^{\frac{3}{2}}}dx$ exists.

Prove $\displaystyle\lim_{n \rightarrow \infty} n \int_{\frac{1}{n}}^{1} \frac{\cos(x+\frac{1}{n})-\cos(x)}{x^{\frac{3}{2}}}\,dx$ exists. I want to use Dominated convergence theorem to show the ...
0
votes
0answers
17 views

Two Lebesque-integral functions [on hold]

I have to proof that both functions are differential on whole domain and that $f^{'}(t) + g^{'}(t) = 0 $ for $t>0$ $f(t) = (\int_{0}^{\sqrt{t}} e^{-x^2}dx)^{2} $ And $ g(t) = \int_{0}^{1} ...
0
votes
0answers
16 views

How to integrate with a matrix in the measure?

I've been given the following integral (actually a path integral from quantum field theory). $$ Z(a;N) = \int d^{2n}M.exp(-\frac{1}{2}tr(M^2)-\frac{a}{M}tr(M^4)) $$ where M is a square matrix of size ...
2
votes
1answer
34 views

Does $\int f(s) ds = \int g(s) ds \not =0$ imply $f(s)=g(s)$?

specifically for an improper integral, but I'm also wondering about for definite integrals. I'd guess that it's true, but I feel like there must exist different functions that integrate to the same ...
0
votes
0answers
46 views

Interchange of integral and differentiation: calculus version vs. analysis version

There are theorems that specify conditions that guarantee the interchange of differentiation and integral: $$ \frac{d}{dx}\int f(x, y) dy = \int \frac{\partial}{\partial x}f(x,y) dy $$ In calculus $f$ ...
1
vote
2answers
36 views

Measure Theory and $L^{p}$ spaces

I have the two following very simple questions regarding measure theory that I want to show: If $f \in L^{p}(X, \mathcal{M}, \mu)$ for $1 \leq p < \infty$, then $f < \infty$ $\mu$-almost ...
0
votes
0answers
35 views

Suppose there is a constant $C$ such that $\| f_n - f\|_1 \leq \frac{C}{n^2} $ for all $n \geq 1$. Show that $f_n \rightarrow f$ a.e. [duplicate]

Let $m$ be Lebesgue measure on $\mathbb R$ and let $f_n ,f \in L^1 (m)$. Suppose there is a constant $C$ such that $\| f_n - f\|_1 \leq \frac{C}{n^2} $ for all $n \geq 1$. Show that $f_n \rightarrow ...
1
vote
1answer
30 views

Let $f \in L^{1}([0,1])$ be a real valued function. Prove the following

Let $f \in L^{1}([0,1])$ be a real valued function. Prove the following $1) x^k f(x) \in L^1([0,1])$ for all $k\in \mathbb{N}$ $2) \lim_{k\rightarrow\infty}\int_{0}^{1}x^k f(x) dx = 0$ $3)$ If ...
1
vote
1answer
22 views

Prove $F$ is in $L^1$

This is an old qualifier exam question at my school Let $f \in L^{1}([0,\infty))$ and for $x\geq 0$, define $F(x) = \int_{(x,\infty)} f(t) e^{x-t} dm(t) $ Show that $F \in L^{1}([0,\infty))$ The ...
1
vote
0answers
30 views

Fubini's Theorem and expectation of random variables

I have a question regarding the application of the Fubini's Theorem to the expectation of the product of two random variables. Let $X,Y$ be two random variables defined on the probability space ...
6
votes
1answer
42 views

Prove that $\lim_n \int_{\Bbb R} \frac{\sin(n^2 x^5)}{n^2 x^4} \chi_{(0,n]} d\lambda(x) = 0$

Prove that: $$\lim_n \int_{\Bbb R} \frac{\sin(n^2 x^5)}{n^2 x^4} \chi_{(0,n]} d\lambda(x) = 0$$ I am self-learning these stuff, and I would like to check whether I did things right. Here's ...
1
vote
1answer
41 views

$\left\|f\right\|_{L^1(μ_1)}<∞$ $μ_2$-a.e.,$\left\|f\right\|_{L^1(μ_2)}<∞$ $μ_1$-a.e. $⇒$ $\left\|f\right\|_{L^1(μ_1\otimesμ_2)}<∞$

Let $(\Omega_i,\mathcal A_i,\mu_i)$ be a $\sigma$-finite measure space and $f:\Omega_1\times\Omega_2\to\mathbb R$ be measurable with respect to $\mathcal A_1\otimes\mathcal A_2$. Can we conclude, that ...
2
votes
1answer
23 views

Fubini-Tonelli theorem and absolutely Lebesuge integrable functions

As far as I know, a measurable function is Lebesgue integrable if and only it is absolutely integrable. It is simply because the definition of the integrability requires each of the positive part and ...
2
votes
0answers
25 views

Application of Leibniz rule for Lebesgue integral

Consider the real-valued random variables $X,Y$ defined on the same probability space $(\Omega, \mathcal{F}, \mathbb{P})$. Consider the function $f\colon\mathbb{R}\rightarrow [0,\infty)$. Let ...
0
votes
0answers
20 views

Different definitions of expectations: which types of integral do they involve?

Consider a random variable $X: \Omega \rightarrow \mathbb{R}$ defined on the probability space $(\Omega, \mathcal{F}, \mathbb{P})$. The probability space induced by $X$ is $(\mathbb{R}, ...
2
votes
4answers
76 views

If $ f \rightarrow c$ then prove $\frac{1}{a} \int_{[0,a]} f \rightarrow c$

Let $f$ be an extended real-valued $\mathcal{M}_{L}$-measurable function on $[0,\infty)$ such that $f$ is $\mu_L$-integrable on every finite subinterval of $[0,\infty)$, and $$ \lim_{x\rightarrow ...
0
votes
2answers
40 views

Why the following integral is Riemann integrable but not Lebesgue integrable?

I know Riemann integrable implies Lebesgue integrable, but why the following integral is Riemann integrable but not Lebesgue integrable? S=$\int_E {1\over{x-y}}dm$, where $E=[0,1]\times[0,1] $. I ...
1
vote
0answers
20 views
+50

Existence and non-singularity of the Fisher information matrix

Consider a random vector $X$ defined on the probability space $(\Omega, \mathcal{F}, \mathbb{P})$, $X: \Omega \rightarrow \mathbb{R}^k$. Suppose $X$ has probability density $p_{\theta_0}$ with respect ...
2
votes
2answers
41 views

Lebesgue Integral of a non negative piecewise function

Consider the function over [0,1] given by $f(x)= \begin{cases} 0 & x \in \mathbb{Q}\\ x & x \notin \mathbb{Q} \end{cases}$ In order to compute the Lebesgue integral of $f$ we need to find an ...
1
vote
1answer
41 views

Book Recommendation for Measure Theory in n-Space

What's a standard book on multidimensional measure theory? I'm aware of some books on functions of several variables, but they do not discuss measure theory or Lebesgue integration in space. Thanks. ...
4
votes
1answer
58 views

Integration over finite partition of integration domain

I think the title does not reflect my problem very well. Feel free to leave a comment with a more appropriate title. Let $f \in L^1([0,1])$. How do I prove there exists a partition of $[0,1]$ into ...
1
vote
0answers
67 views

Why is linearity a requirement of a integral

I was reading Philip Protter's Stochastic Integration and Differential Equations textbook. He mentions that an operator, $I_X$, induced by $X$ should be linear to be called an integral. I have a ...
3
votes
2answers
169 views

Applications of Dominated/Monotone convergence theorem

Consider a measure $\mu$ on $(\mathbb{R}, \mathcal{B}(\mathbb{R}))$ where $\mathcal{B}(\mathbb{R})$ is the Borel $\sigma$-algebra on $\mathbb{R}$. Consider the function $f: [0,\infty)\rightarrow ...
2
votes
1answer
16 views

$f$ real-valued function that dies of in infinity but $f^p$ not integrable for any $p$.

Is there a positive continuous function on $\mathbb R$ such that $f(x) \to 0$ as $x \to \pm \infty$ but $f^p$ not integrable for any $p>0$?
1
vote
2answers
35 views

Does the function $f(x)=\frac{1}{\sqrt x}$ belong to $L^p( \mathbb N , P(\mathbb N), \mu),p=1,2,\infty?$

Does the function $f(x)=\frac{1}{\sqrt x}$ belong to $L^p( \mathbb N , P(\mathbb N), \mu),p=1,2,\infty?$ $\mathbb N$- set of natural numbers, $P(\mathbb N)$- the partitive set of natural numbers. I ...
4
votes
1answer
44 views

$\int_{\Omega} |f_n-f||f_n| \, d \mu \to 0$ if $f_n \in L^1(\Omega)$, $f_n \to f$.

Suppose $f_n \to f$ in $L^1(\Omega)$ where $\mu(\Omega)=1$. Suppose $$\int_{\Omega} |f_n| \, d\mu \leq M$$ for all $n$. Is there a way to show that the integral $$\int_{\Omega} |f_n-f||f_n| \, d ...
1
vote
1answer
27 views

Let $(X, M, \mu )$ be a space with measure. $f:X \to \mathbb R \text{ and } f\in L^1(X).$ ..

Let $(X, M, \mu )$ be a space with measure. $f:X \to \mathbb R \text{ and } f\in L^1(X).$ Prove that for all $\epsilon > 0$ that there exists $\delta > 0$ such that for $E \in M$, $\mu(E)< ...
2
votes
3answers
48 views

Continuous function $f$ on $\mathbb R $ such that $f \notin L^1 (\mathbb R)$ but $f \in L^1([a,b]), a< b $

Give an example of a continuous function $f$ on $\mathbb R $ such that $f \notin L^1 (\mathbb R)$ but $f \in L^1([a,b]), a< b $ If $f \in L^1([a,b]), a< b$ that would mean that ...
4
votes
1answer
32 views

Proving weak convergence of random probability measures

I don't understand the following as I read along a proof in a paper: We denote by $\mathcal{P}({M})$ the space of probability measures on a metric space $M$, equipped with the weak topology. ...
0
votes
1answer
22 views

Show: $\int_{\Omega} f d\mu =\int_{]0,\infty[} \mu(E_t) d\lambda_1(t)$

I have troubles understanding one step in the solution for this task: Let $(\Omega,\mathcal{A},\mu)$ be a $\sigma$-finite measure and $f:\Omega \rightarrow [0,\infty]$ be a measurable function. Let ...
1
vote
1answer
37 views

A very simple example of the dominated convergence theorem

Let's consider functions defined on the interval $[1, \infty)$. Let $f_n(x) = 1/n^2$ for $1 \le x \le n^2 $, and $f_n(x) = 0$ for $x > n^2$. Clearly $f_n$ converges to the constant function $0$ ...
1
vote
1answer
16 views

If $u\in L^p(\Omega;\mathbb R^d)$, then $u_i\in L^p(\Omega)$ for all $i\in\left\{1,\ldots,d\right\}$. Does the reverse hold true?

Let $\Omega\subseteq\mathbb R^d$ and $u:\Omega\to\mathbb R^d$ be Borel measurable. Since $$|u_i|\le\left\|u\right\|_2\;\;\;\text{for all }i\in\left\{1,\ldots,d\right\}$$ we obtain ...
3
votes
1answer
33 views

Which assumptions on $Ω\subseteq\mathbb R^d$ do we need in order to show density of $C_c^∞(Ω)$ in $(L^p(Ω),\left\|\;\cdot\;\right\|_{L^p(Ω)})$?

Let $\Omega\subseteq\mathbb R^d$, $u\in\mathcal L^1(\Omega)$ and $$u_\varepsilon(x):=\frac 1{\varepsilon^d}\int_\Omega\rho\left(\frac{x-y}\varepsilon\right)u(y)\;{\rm d}\lambda(y)\;\;\;\text{for ...
1
vote
0answers
31 views

Riemann–Stieltjes integral of an indicator function

I have the integral $$x=\int_R^{\infty}g(z)dF(z)$$ where $F(z)$ is the CDF of some random variable $U$. I would like to write this as an expectation with respect to $U$, i.e. $$x = ...
1
vote
1answer
31 views

Limit of the integral over $[0,n]$ of $(1-\frac{x}{n})^n e^{\frac{x}{2}}$

I need some help calculating the following integral in measure theory: $$\int_{0}^{n} (1-\frac{x}{n})^n e^{\frac{x}{2}}dx$$ So far what I tried was the following: $$\int_{0}^{n} (1-\frac{x}{n})^n ...
1
vote
2answers
50 views

Show that the Lebesgue intergral $\int_{1}^{\infty} x^{-b} e^{\sin {x}} \sin {(2x)}\, dx$ exists iff $b>1$

Assume $b>0$. Show that the Lebesgue intergral $\int_{1}^{\infty} x^{-b} e^{\sin {x}} \sin {(2x)}\, dx$ exists iff $b>1$. We know if $b>1$ the integrand can be bounded and it's just an ...
1
vote
1answer
27 views

Limit of Lebesgue integral over an increment of a function

I am currently reading a proof which uses the following fact which I do not know how to show: For any function $f \in L^1 (\mathbb{R})$, $$ \lim_{ h \to 0} \int_{\mathbb{R}} |f(x+h) - f(x) | ...
4
votes
2answers
50 views

Limit of integral over $[0,1]$ of $\frac{ne^{-x}}{1+nx}$

I need some help to calculate the following limit (in measure theory): $$\lim_{n \to \infty} \int_{0}^{1} \frac{ne^{-x}}{1+nx}dx$$ My first idea was to use either the monotone convergence theorem or ...
0
votes
1answer
27 views

In the theorem of coincidence of $R$ and $L$ integrals: are we assuming the $\Bbb L$ $\sigma$-algebra? If not, how to prove the measurability of $f$?

Theorem: If $f: [a,b] \to \Bbb R$ is Riemann-integrable, then $f$ is Lebesgue-integrable, and: $$ \int_a^b f(x) dx = \int_{[a,b]} fd\lambda$$ Here is the proof: (assuming that we know ...
1
vote
0answers
39 views

Will the joint probability density exist in this case?

Assume that we have a probability space $(\Omega, \mathcal{A}, P)$, and we have two random variables $X,Y: \Omega \rightarrow \mathbb{R}$. On this space. We can define two measures ...
0
votes
0answers
18 views

Upper bound for integral on some environment of zero

I'm trying to proof an estimate that should not be too hard to proof. Let $f$ be some integrable non-negative function and $c>0$ some arbitrary constant. I claim that there exists some ...
2
votes
1answer
66 views

Will the integral still be 1?

We can show that $\int_{\mathbb{R}}\frac{e^{-\frac{(x-m)^2}{2}}}{\sqrt{2\pi}}=1$. The easiest way is by observing that this is the probability density of a normal random variable, with mean m, and ...
1
vote
0answers
18 views

Criterion for a signed measure to be positive

I am reading a proof in which I do not understand the following claim: Let $K$ be a compact metric space and let $M(K)$ be the set of signed Borel measures on $K$. Then the set $P(K)$ of positive ...
1
vote
2answers
48 views

Chebyshev's Inequality in proof of Proposition 23 of Royden?

This is from the 4th edition of Royden, on page 92. Proposition 23. Let $f$ be a measurable function on $E$. If $f$ is integrable over $E$, then for each $\epsilon >0$, there is a $\delta ...
1
vote
2answers
68 views

Show $\int_\pi^\infty \frac{dx}{x^2 \left( \sin^2(x) \right)^{1/3}}$ is finite using 1st semester measure theory

I am studying for a real analysis qualifying exam, and I am completely stuck on this problem. Show $$ \int_\pi^\infty \frac{dx}{x^2 \left( \sin^2(x) \right)^{1/3}} $$ is finite. I tried the ...
1
vote
1answer
39 views

Measure Theory on integrals

Is it true that if $f\in L^1 (X,\mu)$ then $$\int_E |f| d\mu +\int_{E^c} |f| d\mu = \int_X |f| d\mu?$$
1
vote
1answer
63 views

On generical domains: Riemann integrable $\Rightarrow$ Lebesgue integrable?

If I have correctly understood and been able to generalise the proof that I found in Kolmogorov-Fomin's Элементы теории функций и функционального анализа for the case of $n=1$, I know that, if ...
0
votes
1answer
30 views

Example about Fubini/Tonelli Theorems

By using Fubini/Tonelli Theorems, evaluate $$\int^{0}_{1} \int^{1}_{y} x^{-\frac{3}{2}}\cos\left(\frac{\pi y}{2x}\right)dxdy$$ My attempt: by Tonelli Thm $$\int^{0}_{1} \int^{1}_{y} ...