0
votes
0answers
42 views

Show that $\int_{\mathbb{R}^n}f_1f_2 …f_n dx_1 …dx_n ≤ (I_1 …I_n)^{1/(n−1)}.$

For $\quad k = 1,2,...n,\quad$ let $\quad\mathbb{R}^k = \mathbb{R},\quad f_k(x_1,...,x_{k−1},x_{k+1},\ldots,x_n)\quad$ be a nonnegative measurable function on $\quad\mathbb{R}_1\times\ldots\times ...
2
votes
0answers
22 views

Problem involving decomposition of measures

Let $\mu$ be a signed measure. We wish to prove that $$\left| \int{f} \> d\mu \right| \leq \int{|f|} \> d|\mu|.$$ (We are given the following defintion: $\int{f} \> d\mu = \int{f} \> ...
1
vote
4answers
67 views

Lebesgue integral of $\chi_{\mathbb{Q}}: \mathbb{R} \rightarrow \mathbb{R}$

Suppose $(X, \mathfrak{A}, \mu)$ is a measure space. Let $\phi$ be a simple function with canonical representation $\sum^{k}_{n=1} a_{n} \chi_{E_{n}}$. I know we define the Lebesgue integral of $\phi$ ...
1
vote
1answer
29 views

Finite Measure Space: Integral Closure = Bochner Integral

I can't sleep for so long time as the integral gives me headaches. I was looking for so many approaches. Now another one. Hope this works... Let $\Omega$ be a finite measure space and $E$ a Banach ...
0
votes
0answers
36 views

Prove that the function $g(·)$ is twice continuously differentiable and that $g′′(α) ≥ 0$ for all $α ∈ \mathbb{R}$, i.e.

Let $f$ be a real Lebesgue measurable function on the interval $[0, 1]$ such that $∥f∥∞ < ∞.$ For $α ∈ \mathbb{R}$ define a function $g(α)$ by $g(α) = \log \int_0^1\exp[αf(x)] dx .$ (a) Prove that ...
0
votes
1answer
46 views

Find $\lim_{n \rightarrow \infty}$$\int_0^n(1 + \frac{-x}{n})^n\cos(\frac{x}{\sqrt{n}})e^{x/2}dx$

Find $\lim_{n \rightarrow \infty}$$\int_0^n(1 + \frac{-x}{n})^n\cos(\frac{x}{\sqrt{n}})e^{x/2}dx$ I want to use dominated convergence theorem obviously. However, not sure how to dominate it. ...
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 ...
3
votes
1answer
39 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
35 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 ...
3
votes
2answers
34 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
45 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
40 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 ...
1
vote
1answer
36 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, ...
1
vote
0answers
52 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 ...
5
votes
1answer
63 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
26 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 ...
2
votes
2answers
73 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
33 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
54 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 ...
4
votes
1answer
56 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. ...
3
votes
7answers
266 views
+50

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 ...
1
vote
2answers
40 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
36 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
38 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 + ...
3
votes
1answer
73 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
0answers
45 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\} $$ ...
0
votes
2answers
61 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
63 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
44 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 ...
0
votes
1answer
30 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$, ...
3
votes
1answer
27 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$, ...
0
votes
0answers
26 views

Let $f ∈ L_1((0,1)),$ and define $g : (0,1) → \mathbb{R}$ by $g(x)= \int^1_x \frac{f(t)}{t}dt$ [duplicate]

Let $f ∈ L_1((0,1)),$ and define $g : (0,1) → \mathbb{R}$ by $g(x)= \int^1_x \frac{f(t)}{t}dt$ Prove that $g ∈ L_1((0, 1)).$ Some help would be awesome. I tried doing this directly from definition ...
0
votes
1answer
22 views

Suppose there are constants $K > 0$ and $p > 1$ such that $μ\{x∈X : |f(x)|>M\}< \frac{K}{M^p}$ for all $M >0.$

Let $f$ be a measurable function on a measure space $(X,μ),$ where $μ$ is a finite measure. Suppose there are constants $K > 0$ and $p > 1$ such that $μ\{x∈X : |f(x)|>M\}< \frac{K}{M^p}$ ...
0
votes
0answers
33 views

Show that $lim_{R\rightarrow \infty}\int^R_0 \frac{\sin x}{x} dx= \frac{\pi}{2}$. [duplicate]

I came across this qualifying exam problem and wasn't sure what to do. Using techniques of real analysis (as opposed to complex analysis) show that $lim_{R\rightarrow \infty}\int^R_0 \frac{\sin x}{x} ...
0
votes
1answer
68 views

Why is $fg$ integrable w.r.t. a probability measure if $f,g$ are Lebesgue integrable?

In one of the proofs, my text mentions that if $f,g$ are Lebesgue integrable then $fg$ is integrable with respect to a probability measure. I guess I have missed something, since it doesn't look ...
1
vote
2answers
71 views

Is there an analogue of Lebesgue’s Dominated Convergence Theorem for a net $ (f_{\alpha})_{\alpha \in A} $ of measurable functions?

Is there an analogue of Lebesgue’s Dominated Convergence Theorem for a net $ (f_{\alpha})_{\alpha \in A} $ of measurable functions defined on a measure space $ (\Omega,\Sigma,\mu) $, where the index ...
0
votes
1answer
24 views

Prove that the set $A$ is measurable and find its Lebesgue measure.

Let $A ⊂ [0, 1] × [0, 1]$ be the set of points $(x, y)$ with decimal representations $x = 0.x_1x_2 ..., y = 0.y_1y_2 ...$ such that $x_ny_n = 5$ for all $n ∈ \mathbb{N}.$ Prove that the set $A$ is ...
1
vote
1answer
18 views

Let $E⊂\{(x,y)|0≤x≤1, 0≤y≤x\}, E_x =\{y|(x,y)∈E\}, E^y =\{x|(x,y)∈E\}$ and assume that $m(E_x) ≥ x^3$ for any $x ∈ [0, 1].$

Let $E⊂\{(x,y)|0≤x≤1, 0≤y≤x\}, E_x =\{y|(x,y)∈E\}, E^y =\{x|(x,y)∈E\}$ and assume that $m(E_x) ≥ x^3$ for any $x ∈ [0, 1].$ (a) Prove that there exists $y ∈ [0,1]$ such that $m(E^y) ≥ \frac{1}{4}.$ ...
1
vote
1answer
13 views

Construct a function $F : X → \mathbb{R}$ such that $F ∈ L_p(μ)$ for all $p > 1,$ but $F \notin L_1(μ).$

Let $(X,A,μ)$ be a $σ$-finite measure space with $μ(X) = ∞.$ Construct a function $F : X → \mathbb{R}$ such that $F ∈ L_p(μ)$ for all $p > 1,$ but $F \notin L_1(μ).$ I could easily do this if I ...
1
vote
3answers
105 views

Show that $\lim _{r \to 0} \|T_rf−f\|_{L_p} =0.$

I am having a hard time with the following real analysis qual problem. Any help would be awesome. Thanks. Suppose that $f \in L^p(\mathbb{R}),1\leq p< + \infty.$ Let $T_r(f)(t)=f(t−r).$ Show ...
1
vote
0answers
39 views

Let $f ∈ L_1([0,1])$ be a function such that $\int_E f(x)dx = 0$ for any measurable set $E ⊂ [0,1]$ of Lebesgue measure $0.99.$ [duplicate]

Let $f ∈ L_1([0,1])$ be a function such that $\int_E f(x)dx = 0$ for any measurable set $E ⊂ [0,1]$ of Lebesgue measure $0.99.$ Prove that $f = 0$ a.e. Not sure how to start this question. Any ...
0
votes
0answers
35 views

Suppose $f : [0,1] → R$ satisfies $f(x) − f(y) < x − y$ for all $x,y ∈ [0,1],x > y.$

Suppose $f : [0,1] → R$ satisfies $f(x) − f(y) < x − y$ for all $x,y ∈ [0,1],x > y.$ Show that $f′$ exists almost everywhere on $[0, 1]$ or give a counterexample. Not really sure how to go ...
0
votes
0answers
29 views

Prove that for any measurable set $A ⊆ \mathbb{R}$ $\int_A g_n dm → \int_A f dm.$ [duplicate]

Let $f, g_1, g_2 . . . ∈ L_1(\mathbb{R})$ be non-negative functions. Assume that $g_n → f$ a.e. and $\int_\mathbb{R} g_n dm = \int_{\mathbb{R}} f dm$. Prove that for any measurable set $A ⊆ ...
0
votes
2answers
36 views

$m(E∩I)≥αm(I)$ for all intervals $I⊂[0,1].$ Prove that $m(E) = 1.$

Let $E$ be a measurable subset of $[0, 1].$ Assume there is a constant $α > 0$ such that $m(E∩I)≥αm(I)$ for all intervals $I⊂[0,1].$ (Here $m(·)$ denotes Lebesgue measure.) Prove that $m(E) = 1.$ ...
1
vote
1answer
35 views

Prove that $\int|f − g| = \int_{-\infty}^{\infty} μ(F_t △ G_t) dt.$

Let $f$ and $g$ be integrable functions on a measure space $(X,Σ,μ).$ For each $t ∈ \mathbb{R},$ consider the sets $F_t =\{x∈X :f(x)>t\}, G_t =\{x∈X :g(x)>t\}.$ Prove that $\int|f − g| = ...
1
vote
0answers
20 views

Change of variable for Lebesegue Integral

Let $G$ be an absolutely continuous function, $G:[a,b] \rightarrow [c,d]$ and $f \geq 0$ a Lebesegue measurable function in $[c,d]$. I managed to prove that if $f$ is just Borel measurable it holds ...
4
votes
1answer
54 views

Prove g is Lebesgue intergrable

Let $f$ be Lebesgue integrable on $(0, 1)$. For $0 < x < 1$ define g(x) = $\int_x^1t^{-1}f(t)dt$ Prove that $g$ is Lebesgue integrable on $(0, 1)$. $\int^1_0g(x)dx=\int^1_0f(x)dx.$ I am not ...
2
votes
1answer
61 views

Suppose that all the functions ${f_n},f$ are integrable. Is $lim_{n \rightarrow \infty} \int f_n(x)dx = \int f(x)dx?$

Let ${f_n(x)}$ be a sequence of continuous, strictly positive functions on $\mathbb{R}$ which converges uniformly to the function $f(x).$ Suppose that all the functions ${f_n},f$ are integrable. Is ...