1
vote
2answers
39 views

Characterisation of one-dimensional Sobolev space

I've got some doubts proving that $$H^1_0((a,b))=\{u\in AC([a,b]): u'\in L^2 \text{ and } u(a)=u(b)=0\}:=X.$$Let $$\mathcal A=\{v\in C^2([a,b]):v(a)=v(b)=0\}.$$ $H^1_0((a,b))\subseteq X.$ Let ...
1
vote
1answer
59 views

If the integral $\int_0^\infty xf(x)\,dx$ converges, so does $\sum_{n=1}^{\infty}\int_0^{\infty}f(x+n)\, dx$

Let be $f:[0, \infty)\rightarrow [0,\infty)$ a measurable function such that $$\int_0^{\infty}x\cdot f(x)\,dx< \infty.$$ Show that $$\sum_{n=1}^{\infty}\int_0^{\infty}f(x+n)\, dx<\infty .$$ ...
1
vote
0answers
34 views

Determining the sets of alpha for which some (Riemann, Lebesgue - integrals) exists

$$\int_0^{\infty} \frac{\sin(x)}{x^{\alpha}} \, dx.$$ $$\int_{[0, \infty]} \frac{\sin(x)}{x^{\alpha}} \, d \lambda(x).$$ $$\int_{\Bbb R^2} \frac{\sin(\| x \|)}{\| x \|^{\alpha}} \, d \lambda_2 ...
2
votes
2answers
54 views

Is a $L^1$-function which is linear near the origin in $L^p$?

Suppose you have a function $f$ on $\mathbb{R}$, such that $$\int_{-\infty}^{\infty} | f(x) | \, \mathrm{d} x < \infty$$ and $$\int_{-u}^u |f(x)| \, \mathrm{d} x = \mathcal{O}(u)$$ for $u \to 0$. ...
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
1answer
31 views

Calculate Radon-Nikodym derivative in a point when it is continuous in that point

I can't solve the following exercise, even if I find it quite intuitive. Let $\nu, \mu$ be Radon measures on a metric space $(X,d)$. Suppose that: 1) $w\in L^1(X,\mu), w\geq 0$ $\mu$ a.e.; 2) $w$ is ...
1
vote
0answers
86 views

Riemann implies Lebesgue integrablility on $\mathbb{R}^n$, prove $f(x)$ continuous at x where $g(x)=G(x)$

Let $f:[a_1,b_1]\times \cdots \times[a_n,b_n] \rightarrow \mathbb{R}$ be Riemann integrable. Prove that is $f$ Lebesgue integrable. Proof: $$Q:= [a_1,b_1]\times \cdots \times [a_n,b_n].$$ For simple ...
0
votes
1answer
36 views

A tricky integral with vanishing domain

I would love to have the following result, however I got no clue if it is even true! Let $B_n:=\{y:\varepsilon_n<|y|\leq\tilde{\varepsilon}_n\}$ for some sequences ...
4
votes
2answers
126 views

The set $E= \{x\in [0,1]: \sum_{j=1}^\infty t^j|x−q_j|^{-r} <\infty\}$ does not contain all irrational numbers in $[0,1]$

Let $q_1,q_2,q_3,...$ be an enumeration of $\mathbb{Q}\cap[0,1]$ and let $r,t \in (0,1).$ Consider the set $$E= \{x\in [0,1]: \sum_{j=1}^\infty t^j|x−q_j|^{-r} <\infty\} $$ (a) Show that $E\neq ...
0
votes
2answers
76 views

How to prove indicator function, step function, and then for sequences of step functions?

I try to proof a claim. It should be done first for indicator functions, then for step functions and finally for limits of increasing sequences of step functions. I'm not sure if I'm doing it right. ...
0
votes
0answers
56 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 ...
3
votes
3answers
90 views

Is Dirac's delta function well-defined at Lebesgue points?

Usually in textbooks, $$\int_{\mathbb{R}^d} \delta(\mathbf{x}-\mathbf{y})f(\mathbf{x}) = f(\mathbf{y})$$ holds given $f$ is continuous. On the other hand, the definition of Lebesugue point ...
1
vote
0answers
39 views

Passing of the limit for Lebesgue Integral (Proof Verification)

Let $f_n\in L^1(0,1)$ and $C>0$ be such that $f_n \geq 0, f_n \rightarrow 0$ a.e., and $$\int_0^1 \max\{f_1, ..., f_n\} dx \leq C \quad \text{ for every } n.$$ Prove that $f_n \rightarrow 0$ in ...
0
votes
1answer
36 views

How do the inner products on $L^2$ look like?

I was wondering whether all scalar products in $(L^2[0,1],\lambda)$ are given by $\langle f,g \rangle := \int f(x)g(x) \cdot w(x) d\lambda(x)$? If this is true, what are the exact conditions that we ...
1
vote
0answers
33 views

Not lebesgue integrable function?

I want to consider the function $f:[-1,1]\times [-1,1]\rightarrow \mathbb R:f(x,y)= \begin{cases} \frac{xy}{(x^2+y^2)^2} & (x,y) \neq (0,0) \\ 0 & (x,y) = (0,0) \end{cases} $ And I have ...
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 ...
0
votes
1answer
81 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
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
1answer
24 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} ...
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) ...
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 ...
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
37 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
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, ...
2
votes
1answer
42 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
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
74 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 ...
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
322 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 ...
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 ...
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 ...
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
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 ...
0
votes
2answers
63 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
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 ...
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 ...