2
votes
1answer
29 views

Prove that for any $1 < p < ∞$ there exists a function $f ∈ L_p(μ)$ such that $f \notin L_q(μ)$ for any $q > p.$

Let $(X, Ω, μ)$ be a finite measure space. Assume that for any $t > 0$ there exists $E ∈ Ω$ satisfying $0 < μ(E) < t.$ Prove that for any $1 < p < ∞$ there exists a function $f ∈ ...
1
vote
1answer
53 views

Why define the Lebesgue-Integral just for measurable functions?

Usually, the Lebesgue integral, for example on Wikipedia, is defined for non-negative measureable functions as $$ \int_E f \, d\mu := \sup\left\{ \int_E s \, d\mu : 0 \le s \le f, s \text{ simple } ...
0
votes
1answer
28 views

Domain Schrödinger equation

If I have a self-adjoint (TIME INDEPENDENT) operator $H: D(H) \subset L^2([0,x]) \rightarrow L^2([0,x])$ with and I want to define the appropriate domain for $$ (Hf)(x,t) = i \partial_t f(x,t),$$ ...
0
votes
0answers
57 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 ...
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
48 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
43 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
36 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
2answers
36 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
36 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) ...
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 ...
1
vote
1answer
37 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
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
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
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 ...
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 + ...
2
votes
1answer
24 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
75 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 ...
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 ...
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
28 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
27 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
24 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
25 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
20 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
16 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
107 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
41 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
37 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
30 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 ⊆ ...
1
vote
1answer
41 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| = ...
0
votes
3answers
18 views

Square Integrable and Continuous

I have come across the notation $L^2(\Omega) \cap C(\Omega)$; while I believe understand the resulting behavior, I can't get my head around the machinery. When I think about $f \in C(\Omega)$ I am ...
0
votes
0answers
42 views

Functions which can not be integrated via Riemann.

I am looking for some (possibly exotic) functions which can not be integrated via Riemann integration but can be integrated via Lebesgue. I am aware of the rational indicator function, i.e., $$ f(x) = ...
2
votes
1answer
46 views

Integral equation $f(x) = e^{-cx} + \lambda\int_0^xce^{-cy}f(x-y)dy$

I'm trying to solve the following equation $$f(x) = e^{-cx} + \lambda\int_0^xce^{-cy}f(x-y)dy,\quad x>0 $$ where $c$ and $\lambda$ are constants and $f$ is a continuous bounded function on ...
1
vote
1answer
41 views

Dini Derivative

Let $f$ be defined on $\mathbb{R}$ such that $$ f(x) = \begin{cases} |x|, & \text{if }x \in \mathbb{Q} \\ |2x|, & \text{if }x \notin \mathbb{Q} \end{cases} $$ Calculate ...
0
votes
0answers
17 views

Jordan content under continuous differentiable map

I have the following problem which seems simple but in fact I find no proof for it so I am wondering if I could get some help. Let $A$ be a compact set subset of an open set $U$ in $\mathbb{R^n}$, ...
0
votes
0answers
37 views

Series of functions as Lebesgue integral with counting measure

Let $f_n:\mathbb{R}\to\mathbb{R}$ for $n=1,2,...$. Then \begin{equation}\sum_{n=1}^\infty f_n = \int_{\mathbb{N}}f_n\text{ d}\mu \end{equation} where $\mu$ is counting measure on $\mathbb{N}$. I ...
3
votes
3answers
161 views

Are all measures Lebesgue-Stieltjes measures?

In our lecture we ran out of time, so our prof told us a few properties about measure: He said that a measure is $\sigma$-additive iff it has a right-side continuous function that it creates. And he ...
1
vote
1answer
72 views

How to show that this function is differentiable?

Let $$\phi: \mathbb{R} \rightarrow \mathbb{\mathbb{C}}, s \mapsto \int_2^{\infty} \frac{e^{isx}}{x^2\ln(x)}dx$$, I want to show that this function is differentiable everywhere. Unfortunately, it ...
1
vote
0answers
25 views

Solve a problem of convergence of integral

We have F $\in$ $C(\mathbb{R}^N;\mathbb{R})$, $F\ge0$ and we have that $\int_{\mathbb{R}^N}Fdx<+\infty$. How can i prove the existence of a sequence $r_k\to+\infty$ such that $r_k\int_{\partial ...
0
votes
1answer
45 views

Equivalent ideas of absolute continuity of measures

Wikipedia says that $\mu$ is absolutely continuous with respect to $\nu$, if $\nu(A)=0 \Rightarrow \mu(A)=0$. Okay, then I found another notion of absolute continuous measures: Let $||f||_1=1$ and ...
1
vote
0answers
41 views

Higher-dimension integrability (over rectangles) well-defined

Here is the problem and my work toward a proof: Question: Prove that in the following definition, the value of $\int_E f dx$ is independent of the choice of rectangle $J$: Definition: ...