Intereting Posts

Area of a triangle $\propto\pi-\alpha-\beta-\gamma$
Strong Induction Base Case
Intuition behind $k$-algebra, $k$-algebra morphisms?
Continuous but not uniformly continuous example
If a plane is divided by $n$ lines, then it is possible to color the regions formed with only two colors.
Why is “$P \Rightarrow Q$” equivalent to “$\neg Q \Rightarrow \neg P$”?
Discrete Fourier Transform: Effects of zero-padding compared to time-domain interpolation
Prove $\sqrt{2} + \sqrt{5}$ is irrational
every topological space can be realized as the quotient of some Hausdorff space.
Ring homomorphism defined on a field
On Diophantine equations of the form $x^4-n^2y^4=z^2$
Double sum – Miklos Schweitzer 2010
Why is the composition of smooth multivariable functions smooth?
Good books on “advanced” probabilities
A question concerning measurability of a function

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 that $\lim_{r \to 0} \|T_rf−f\|_{L_p} =0.$

- $\lim_{x\to 0+}\ln(x)\cdot x = 0$ by boundedness of $\ln(x)\cdot x$
- “limit along a path” equivalent to usual definition of limit?
- Continuous and additive implies linear
- Does there exist a real Hilbert space with countably infinite dimension as a vector space over $\mathbb{R}$?
- Continuity of the Characteristic Function of a RV
- Partial sum of a given series

- Evaluate $\int_0^\infty \frac{\log(1+x^3)}{(1+x^2)^2}dx$ and $\int_0^\infty \frac{\log(1+x^4)}{(1+x^2)^2}dx$
- Proof that a certain entire function is a polynomial
- Numerically estimate the limit of a function
- Compactly supported continuous function is uniformly continuous
- A function continuous on all irrational points
- Show that it is possible that the limit $\displaystyle{\lim_{x \rightarrow +\infty} f'(x)} $ does not exist.
- Summing the series $(-1)^k \frac{(2k)!!}{(2k+1)!!} a^{2k+1}$
- Under what condition we can interchange order of a limit and a summation?
- Convergence of $\sum_{n=1}^\infty\frac{n}{(n+1)!}$
- How to use Parseval' s( Plancherel' s) identity?

This can be handled using the definition of the Lebesgue integral plus some facts about Lebesgue measure like regularity.

First, we prove the result when $f$ is the characteristic function of an open set $0$ of finite measure. When $O$ is an interval, this is clear. It is also the case when it’s a finite disjoint union of open intervals. In the general case, for a fixed $\varepsilon$, we take $O_\varepsilon$ which is a finite disjoint union of open intervals of finite measure such that $O_\varepsilon\subset O$ and $\lambda(O\setminus O_\varepsilon)\lt \varepsilon$. Then

$$\lVert \chi_{O+r}-\chi_0\lVert_p\leqslant \underbrace{\lVert\chi_{O+r}-\chi_{0_\varepsilon+r}\lVert_p}_{=\lVert\chi_{O}-\chi_{0_\varepsilon}\lVert_p}+\lVert \chi_{O_\varepsilon+r}-\chi_{O_\varepsilon}\rVert_p+\varepsilon^{1/p},$$

hence

$$\limsup_{r\to 0}\lVert \chi_{O+r}-\chi_0\lVert_p\leqslant 2\varepsilon^{1/p}.$$

Once this is done for an open set, we obtain by outer regularity that the result holds when $f$ is the characteristic function of any Borel subset of finite measure.

Then we approximate by simple functions, noticing that $\lVert T_r\rVert_{L^p\to L^p}=1$ for each $r$.

Suppose that $f$ is a continuous function with compact support (notation: $f \in C_c(\mathbb{R})$). Then $f$ is in particular uniformly continuous, i.e. for any $\varepsilon>0$ there exists $r_0>0$ such that

$$|f(t-r)-f(t)| < \varepsilon$$

for any $r<r_0$ and $t \in \mathbb{R}$. Obviously, this implies

$$\|T_r f – f\|_{L^p}^p = \int |f(t-r)-f(t)|^p \, dt \leq \varepsilon^p \cdot \lambda(\text{supp} \, f).$$

Here $\lambda$ denotes the Lebesgue measure and $\text{supp} \, f$ the support of $f$. Since $\text{supp} \, f$ is compact, hence $\lambda(\text{supp} \, f)<\infty$, we conclude that $\|T_r f-f\|_{L^p} \to 0$ as $r \to 0$.

Now let $f \in L^p(\mathbb{R})$. Since the continuous functions with compact support are dense in $L^p(\mathbb{R})$, there exists a sequence $(f_k)_k \subseteq C_c(\mathbb{R})$ such that $f_k \to f$ in $L^p$. Now note that

$$\|T_r f_k-T_r f\|_{L^p} = \|f_k-f\|_{L^p}, \tag{1}$$

this follows directly from the translational invariance of the Lebesgue measure. Hence,

$$\begin{align} \|T_r f-f\|_{L^p} &\leq \|T_r f – T_r f_k\|_{L^p} + \|T_r f_k – f_k\|_{L^p} + \|f_k-f\|_{L^p} \\ &\stackrel{(1)}{=} 2 \|f_k-f\|_{L^p} + \|T_r f_k – f_k\|_{L^p}. \end{align}$$

Now the claim follows if we let $k \to \infty$ and $r \to 0$.

**Remark** In fact, one can even show that the mapping $$\mathbb{R} \ni r \mapsto f(\cdot-r)=T_rf \in L^p$$ is uniformly continuous. Here, we proved continuity in $r=0$.

Hint: Prove it first with $C^{\infty}_{c}$ functions.

- Example of Hausdorff space $X$ s.t. $C_b(X)$ does not separate points?
- Prove the convergence/divergence of $\sum \limits_{k=1}^{\infty} \frac{\tan(k)}{k}$
- Prove that $\dfrac{\pi}{\phi^2}<\dfrac{6}5 $
- Do we really need embedding for this?
- Show that the linear operator $(Tf)(x)=\frac{1}{\pi} \int_0^{\infty} \frac{f(y)}{(x+y)} dy$ satisfies $\|T\|\leq 1$.
- Two definitions of $\limsup$
- How to prove $ \sin x=…(1+\frac{x}{3\pi})(1+\frac{x}{2\pi})(1+\frac{x}{\pi})x(1-\frac{x}{3\pi})(1-\frac{x}{2\pi})(1-\frac{x}{\pi})…$?
- Number of connected graphs on labeled vertices, counted according to parity
- Alice and Bob are flipping coins…
- Challenging inequality: $abcde=1$, show that $\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}+\frac{1}{e}+\frac{33}{2(a+b+c+d+e)}\ge{\frac{{83}}{10}}$
- binary representation of a real number
- Prove inequality $\arccos \left( \frac{\sin 1-\sin x}{1-x} \right) \leq \sqrt{\frac{1+x+x^2}{3}}$
- relation between integral and summation
- When does the product of two polynomials = $x^{k}$?
- An error in application of Runge's theorem