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

1
vote
0answers
43 views

Prove that $f\ast g$ is defined a.e., integrable, and such that $∥f\ast g∥_1 ≤ ∥f∥_1 · ∥g∥_1$

Let $f,g : \mathbb{R} → \mathbb{R}$ be $L_1$-functions. Set $h(x) = \int_\mathbb{R}f (x − y)g(y) \, dm(y).$ Prove that $h(x)$ is defined a.e., $h ∈ L_1(\mathbb{R})$ and $∥h∥_1 ≤ ∥f∥_1 · ∥g∥_1.$ So I ...
0
votes
1answer
83 views

Integration by substitution and separation of variables.

Let's say I want to integrate over a sphere $S^2$. Take $f \in (L^1(S^2),dS)$, then we have that $$\int_{S^2} |f| dS = \int_{S^2} |f| \sin^2 (\theta) d \theta d \phi < \infty,$$ right? Now, ...
3
votes
1answer
44 views

Let $(X,μ)$ be a measure space. Find a necessary and sufficient condition on $(X,μ)$ that $L_q(E) ⊂ L_p(E)$ for all $1 ≤ p < q ≤ ∞.$

Let $(X,μ)$ be a measure space. Find a necessary and sufficient condition on $(X,μ)$ that $L_q(E) ⊂ L_p(E)$ for all $1 ≤ p < q ≤ ∞.$ I want to say that the condition is that $E$ is finite. This ...
2
votes
0answers
37 views

Show that $\int_E f (x, y) dx$ is differentiable with respect to $y$ and $\frac{d}{dy}\int_E f(x,y)dx=\int_E \frac{d}{dy}f(x,y)dx.$

Assume that $f = f(x,y)$ is a function defined on $E × (a,b).$ For each fixed $y ∈ (a,b),$ $f$ is integrable with respect to $x$ on $E$, and for each fixed $x ∈ E$, $f$ is differentiable with respect ...
2
votes
1answer
46 views

Are these two expression square integrable?

I have two expressions (let's call them functions $f,g$) on $[0,1]$, where I want to find out whether they are square-integrable or better: for which $m \in \mathbb{Z}$ they are square-integrable ( ...
3
votes
1answer
26 views

Prove this function is absolute continuous and Lipschitz of order $\alpha$

Let $1≤p≤\infty$ and $ f \in L^{p}(a,b)$ such as there is a function $g \in L^{p}(a,b)$ that for all $\phi \in C^{1}(a,b)$ (and continuos in $[a,b]$) with $\phi(a)=\phi(b)=0$ we have: $\int_{a}^{b} ...
3
votes
2answers
37 views

For $1 \leq r < p < \infty$ prove the continuous injection of $L^p([0, 1])$ into $L^r([0, 1])$.

For $1 \leq r < p < \infty$ prove the continuous injection of $L^p([0, 1])$ into $L^r([0, 1])$. I am having a hard time starting. Any suggestions. I tried a straight forward approach. That ...
2
votes
1answer
37 views

Spherical coordinates and Lebesgue integral

I found a textbook that says that $r \in [0,\infty), \theta \in [0,\pi], \phi \in [-\pi,\pi]$ are the spherical coordinates. Then he goes on with: This corresponds to a unitary map $L^2(\mathbb{R}^3) ...
2
votes
1answer
34 views

What is the definition of this set of absolutely continuous function

I know that $$AC(a,b):=\left\{f \in C(a,b)|f(x) = f(c)+\int_c^x g(t) d \lambda(t),c \in (a,b), g \in L^1_{\text{loc}}(a,b)\right\}$$ $$AC[a,b]:=\left\{f \in C[a,b]|f(x) = f(c)+\int_a^x g(t) d ...
2
votes
1answer
48 views

Find a non-negative function on [0,1] such that $t\cdot m(\{x:f(x) \geq t\}) \to 0$ that is not Lebesgue Integrable

Problem: Find a non-negative function $f$ on $[0,1]$ such that $$\lim_{t\to\infty} t\cdot m(\{x : f(x) \geq t\}) = 0,$$ but $f$ is not integrable, where $m$ is Lebesgue measure. My Attempt: Let ...
5
votes
1answer
42 views

Let $f_n:\mathbb{R}\rightarrow [0, 1]$ be functions such that $\sup_{x \in \mathbb{R}}f_n(x) = 1/n$ and $||f||_1 = 1$.

Let $f_n:\mathbb{R}\rightarrow [0, 1]$ be functions such that $\sup_{x \in \mathbb{R}}f_n(x) = 1/n$ and $||f_n||_1 = 1$. Set $F(x) = \sup_{n \in \mathbb{N}}f_n(x)$. Prove that $\int_\mathbb{R}F(x)dx ...
0
votes
0answers
38 views

Absolute continuous function and Jensen inequality

Let $f:[0,1]\rightarrow \mathbb{R}$ be an absolute continuous function, such as $f' \in L^4(0,1)$ and $f(0)=0$. Find $r<0$, such as, for all $\alpha \geq r,$ $lim_{x\rightarrow 0^{+}} ...
0
votes
1answer
37 views

A Fubini-Tonelli's Theorem Problem

Let $E \subseteq \mathbb{R^n}$ a measurable set, such as for almost every $x \in \mathbb{R^n}$ we have $|E \triangle (E+x)|=0$ (Where $\triangle$ means simetric difference between two sets and ...
1
vote
1answer
38 views

Approximation functions in $L^{1}$ by indicator functions of dyadic cubes

Let $\mu$ be a finite positive regular Borel measure on $\mathbb{R}^{d}$ and let $S$ be the family of finite unions of squares of the form $\{a_{1}2^{n} \leq x_{1} \leq (a_{1} + 1)2^{n}, \ldots, ...
0
votes
1answer
32 views

$L^\infty(\Omega)$ space

Consider Lebesgue spaces $L^p(\Omega)$, $\Omega$ is a bounded domain. Let $f \in L^p(\Omega)$ for all $p$. Is it true that $f \in L^\infty(\Omega)$?
2
votes
1answer
44 views

Changing the order of integration (for Lebesgue-Stieltjes integral and Riemann integral)

Do the Lebesgue-Stieltjes integral and the Riemann integral have the same rules about the change of order of integration? I mean I know how to deal with Riemann integral, but I'm not sure if I can ...
1
vote
0answers
53 views

Why $\int f_0 \mbox{d}(F_0+F_1)=\int f_0 \mbox{d}F_0+\int f_0 \mbox{d} F_1=1$ should be true?

A measure $\mu$ dominates another measure $\nu$ whenever $\mu=0$ implies $\nu=0$. If I would like to take the integral of a measurable function $f_0$, say the density function of the probability ...
1
vote
2answers
62 views

$f$ unbounded in $\mathbb{R}$ implies it cannot be in $L^2(\mathbb{R})$.

Intuitively , I feel this must be true. I'm looking for a rigorous proof. So,I would like to confirm that there are no counter examples to begin with.
5
votes
1answer
65 views

$\int_0^1f(x)dx = 2, \int_0^1g(x)dx = 1, \text{and} \int_0^1[f(x)]^2 dx ≤ C$ for some constant $C > 4.$

Suppose $f$ and $g$ are nonnegative measurable functions on the interval $[0,1],$ with the properties $$\int_0^1 f(x)\,dx = 2, \int_0^1g(x)\,dx = 1, \text{ and }\int_0^1[f(x)]^2 dx \le C$$ for some ...
0
votes
2answers
27 views

Show that $\int_X gdν=\int_X gfdμ$ for all $g∈L_1(ν).$

Let $μ$ and $ν$ be finite (positive) measures on a measurable space $(X, M),$ and suppose that $ν(E)=\int_E fdμ$, for all $E∈M,$ $E$ where $f$ is some function in $L_1(μ).$ Show that $\int_X ...
1
vote
0answers
25 views

Integrals depending upon a parameter

There was an exercise, in my professor's book, asking to prove the continuity of an integral depending upon a parameter. Namely, the hypothesis were: Let $D$ be a measurable subset of $\mathbb{R}^n$, ...
0
votes
1answer
51 views

Integration: Countable Additive Measure?

When considering Bochner's theory of integration one notices that having a countable additive measure rather than merely additive measure is not important, or do I miss something?
2
votes
2answers
75 views

Proving Lebesgue integration result

I have a Lebesgue integration question and a proposed proof. Please advise. Let $\Omega \subset \mathbb{R}^{n}$(denote the boundary as $\partial \Omega$) and consider $$\int_{\partial \Omega} vf ...
1
vote
1answer
36 views

Uniform and integral limit

Let $f_n(x)=n(\sin x)^n \cos x$. Show that the sequence of functions $f_n$ converges to $0$ uniformly on any interval of the form $[0,a]$ where $a<\pi /2$. Show that, for any continuous function ...
7
votes
2answers
58 views

Integral limit of $\sin(x/n)f(x)$

For any $f\in L^1[0,\pi]$, evaluate $n\to \infty \int^\pi_0 n$sin$(x/n)f(x)dx$ My idea is, $n$sin$(x/n)f(x)\to xf(x)$ and it seems that it is increasing sequence. I am not able to show it is ...
3
votes
1answer
45 views

Finding a dominating function for this sequence of functions

Problem: Find the limit $$\lim_{n\to\infty} \int_0^n \left( 1 + \frac{x}{n}\right )^{-n} \log(2 + \cos(x/n))dx$$ and justify your reasoning. My Solution: Let $f_n = \left( 1 + \frac{x}{n}\right ...
4
votes
1answer
64 views

Functions with every point being a Lebesgue point

For a locally integrable function $f$ a point $x$ is a Lebesgue point if the integral averages of deviations from $f(x)$ over balls centered at $x$ converge to $0$ as the balls shrink to the point. ...
4
votes
7answers
327 views

Assume that $ f ∈ L([a, b])$ and $\int x^nf(x)dx=0$ for $n=0,1,2…$.

Assume that $ f ∈ L([a, b])$ and $\int x^nf(x)dx=0$ for $n=0,1,2...$. Prove $f=0$ a.e. Since there exist polynomials going to f almost everywhere all I would need to do is bring the limit in to ...
-2
votes
2answers
85 views

Group of Unitaries: Strong Continuity

Let $\mathcal{L}^2(\mathbb{R})$ be the the Hilbert space of square integrable functions, shortly $\mathcal{L}^2$. Consider the group of unitaries: $$U:\mathbb{R}\to ...
0
votes
3answers
57 views

If $f:[0,1]\to\mathbb{R}$ is an integrable function, prove the following:

If $f:[0,1]\to\mathbb{R}$ is an integrable function, prove the following: $\displaystyle\lim_{h\to0}\int_{[0,1]}\frac{|1+h\cdot f(t)|-1}{h}dm(t)=\int_{[0,1]}f(t)dm(t)$ I don't even know where to get ...
0
votes
1answer
54 views

Determining whether an uncountable set of integral equations yield a unique solution

I am interested in the set of numbers $\alpha>0$ for which there exists a function $g:\mathbb{R}\to[0,1]$ satisfying $$ \forall r\in \mathbb{R} \qquad f(r) = \int\limits_\mathbb{R}\! g(\alpha ...
1
vote
2answers
41 views

The applicability of the Dominated Convergence theorem on the real line

Let $f_n(x)=\frac{1}{n}\chi_{[0,n]}(x)$, $x\in\mathbb{R}$, $n\in\mathbb{N}$ and $\chi$ is the characteristic/indicator function. Now it is clear that $f_n\rightarrow 0$, but in the text I am using it ...
1
vote
1answer
38 views

Proposed proof Lebesgue integration question

I just want to confirm the following proof: Consider a function $u: \Omega \rightarrow \mathbb{R}$ where $\Omega \subset \mathbb{R}^{n}$ and $u \in C^{2}(\bar{\Omega})$. Let $a_{jk}$ be smooth ...
2
votes
2answers
39 views

For a real valued function $f(x,y)$ on $\mathbb{R}^2$ which is in $L_2$, show that $f(x+ε,y+ε) → f(x,y)$ in $L_2$ when $ε → 0.$ [duplicate]

For a real valued function $f(x,y)$ on $\mathbb{R}^2$ which is in $L_2$, show that $f(x+ε,y+ε) → f(x,y)$ in $L_2$ when $ε → 0.$ Not sure how to go about this problem. I tried Fubini. But that ...
0
votes
0answers
15 views

For $k ∈ \mathbb{Z}$ and for $x ∈ [k/n, (k + 1)/n)$ set $g_n(x) = n\int_{k/n}^{\frac{k + 1}{n}}f(x)dx$.

Let $f ∈ L_1(\mathbb{R}).$ For $n ∈ \mathbb{N}$ define the function $g_n :\mathbb{R}→\mathbb{R}$ as follows. For $k ∈ \mathbb{Z}$ and for $x ∈ [k/n, (k + 1)/n)$ set $g_n(x) = n\int_{k/n}^{\frac{k + ...
1
vote
1answer
30 views

Finding a sequence of functions with no dominating function

Problem: Give an example of a sequence of non-negative functions $f_n$ tending to $0$ pointwise such that $\int f_n \to 0$, but there is no integrable function $g$ such that $f_n \leq g$ for all $n$. ...
2
votes
1answer
26 views

What is the proper definition of cylinder sets?

in class we defined the terminal $\sigma$-algebra for a sequence of random variables $(X_i)$ with $X_i:\Omega \rightarrow \mathbb{R}$ as $G_{\infty}:=\bigcap_i G_i$, with ...
3
votes
1answer
77 views

Show that $\lim_{x→0+ } x^{−1/2}f(x)$ exists and determine the value of this limit.

Let $f : [0,1] → \mathbb{R}$ be absolutely continuous, satisfy $f(0) = 0$ and $f′ ∈ L_2([0,1]).$ Show that $\lim_{x→0+ } x^{−1/2}f(x)$ exists and determine the value of this limit. From absolute ...
2
votes
3answers
273 views

Integral change that I don't understand

If $f(t)$ is a Probability density function of a positive RV. $\int_0^\infty\int_x^{\infty}f(t)dtdx$ Using fubini theorem should become $\int_0^\infty\int_0^{t}f(t)dxdt$ But why? Surely the answer ...
2
votes
0answers
48 views

Approximation of integration by simple functions.

Let $f: \Omega\longrightarrow \mathbb{R}$ be a Lebesgue integrable function. Does $$ s_n=\sum_{-\infty}^\infty\frac{k}{2^n}\lambda\left\{\frac{k}{2^n}<f\leq \frac{k+1}{2^n}\right\} $$ ...
6
votes
2answers
118 views

Partial integration for lebesgue integrable functions

I want to show the following: Let be two Lebesgue integrable functions given: $f,g:[a,b] \rightarrow \mathbb R$. We define the functions: $$F,G: [a,b] \rightarrow \mathbb R : F(x)=\int_{[a,x]}^ \! ...
0
votes
2answers
64 views

Limit of an integral, as the measure of the region of integration approaches zero

Hi everyone: Let $f$ be a function defined on on open set $D$ of $\mathbb{R}^{N}$, $(n\geq1)$. Suppose that $(\Omega_{\varepsilon})$ is a family of measurable sets in $D$ such that ...
1
vote
1answer
74 views

Prove that $\lim_{x\to y} \frac{d(x, F )}{|x−y|} = 0$ for a.e. $y \in F$.

Let $F \subset \mathbb{R}$ be a closed set and define the distance from $x \in \mathbb{R}$ to $F$ by $d(x,F)= \inf_{y \in F} |x−y|.$ Prove that $$\lim_{x\to y} \frac{d(x, F )}{|x−y|} = 0$$ for a.e. ...
1
vote
1answer
45 views

Let $\{f_n\}^∞_{n=1} ⊂ L_2(μ)$ be a sequence of functions such that $∥f_n∥_2 ≤ 1.$

Let $(X,A,μ)$ be a finite measure space. Let $\{f_n\}^∞_{n=1} ⊂ L_2(μ)$ be a sequence of functions such that $∥f_n∥_2 ≤ 1.$ a.) Prove that if $f_n → 0$ in measure, then $f_n → 0$ in $L_1(μ).$ b.) If ...
3
votes
2answers
71 views

Show $\lim_{n_\rightarrow \infty}\int_0^\infty ne^{-\frac{2n^2x^2}{x + 1}}dx = \infty$

As part of an analysis qual problem, I am having a hard time showing that $\lim_{n_\rightarrow \infty}\int_0^\infty ne^{-\frac{2n^2x^2}{x + 1}}dx = \infty$. Any suggestions? Thanks in advance. I ...
3
votes
0answers
29 views

Interpretation of a tail event

I am currently reading about tail events wikipedia. And I was wondering: Where does the interpretation come from that events in this sigma algebra are independent from the behaviour of any finite set ...
1
vote
1answer
49 views

Proof the that compact support is a vector space

Currently I am studying for my exam of Real Analysis, however there is one thing that I do not seem to get. Given: $$ \mathrm{Supp}(f):=\overline{\{x\in\mathbb{R}^n:f(x)\neq 0\}} $$ the support of ...
0
votes
1answer
31 views

example concerning Lusin's theorem

Is there any example satisfying the following: $f$ is a measurable function on $\mathbb{R}^n$ with lebesgue measure $\lambda$. For any subset $N\subseteq\mathbb{R}^N$ with $\lambda(N)=0$, ...
4
votes
1answer
39 views

How to show convergence in distribution

Let $([0,1],B,\lambda)$ (B Borel Sigma-algebra) and $\lambda$ the Lebesgue measure. I want to show that this sequence converges in distribution. $$X_n(\omega)= \left(\begin{matrix} 1, & ...
3
votes
1answer
29 views

an argument that strengthen Lusin's theorem

Let $f$ be a measurable function on a subset $E$ of $\mathbb{R}^n$. Lusin's theorem states that for any $\epsilon>0$, there exists a measurable subset $F$ such that $F$ open in $E$, ...