1
$\begingroup$

For $f: \mathbb{R} \to \mathbb{R}$ and $x\in \mathbb{R}$ define the function $f_x: \mathbb{R} \to \mathbb{R}$ by $f_x(t) := f(x - t)$. Suppose $1 \leq p < \infty$ and $f \in \mathcal{L}^p(\mathbb{R},\mathcal{B}(\mathbb{R}),\lambda)$. Then show that $$\lim_{x \to x_0} \|f_x - f_{x_0}\|_p = 0$$ for any $x_0 \in \mathbb{R}$.

A hint is to show this first for a step function with compact support. So let $$f(t) = \sum_{i = 1}^na_i \chi_{A_i}(t)$$ where $\operatorname{supp} f$ compact. Let $x \in \mathbb{R}$. Then $$f_x(t) = \sum_{i = 1}^na_i \chi_{A_i}(x - t) = \sum_{i = 1}^na_i \chi_{x - A_i}(t)$$ where $-A$ is defined as usual. So for $x_0 \in \mathbb{R}$ $$\begin{align}\|f_x - f_{x_0}\|_p^p &= \int_{\mathbb{R}}\left|\sum_{i = 1}^na_i (\chi_{x - A_i}(t) - \chi_{x_0 - A_i}(t))\right|^pdt\\ &\leq \int_{\mathbb{R}} \left(\sum_{i = 1}^n |a_i||\chi_{x - A_i}(t) - \chi_{x_0 - A_i}(t)|\right)^pdt\\ &= \int_{\mathbb{R}} \left(\sum_{i = 1}^n |a_i|\chi_{(x - A_i)^c \cap (x_0 - A_i)^c}(t)|\right)^pdt\end{align}$$ which does not bring me further. Any help would be appreciated.

2 Answers 2

1

Let's start by considering a single step function. If $f=\chi_{A}$, $A=(a,b)$, then when $x$ and $x_{0}$ are close (and supposing that $x

For the step function $f=\sum_{i=1}^{n}a_{i}\chi_{A_{i}}$, we have $$\|f_{x}-f_{x_{0}}\|_{p}\leq\sum_{i=1}^{n}|a_{i}|\|(\chi_{A_{i}})_{x}-(\chi_{A_{i}})_{x_{0}}\|_{p}\rightarrow0\text{ as }x\rightarrow x_{0},$$ since this is true for each $\chi_{A_{i}}$.

Now for $f\in L^{p}$, given $\varepsilon>0$, there is a step function $g$ with compact support such that $\|f-g\|_{p}<\varepsilon$. Clearly, this also means for any $x$ that $\|f_{x}-g_{x}\|_{p}<\varepsilon$. Now we have: $$\|f_{x}-f_{x_{0}}\|_{p}\leq \|f_{x}-g_{x}\|_{p}+\|g_{x}-g_{x_{0}}\|_{p}+\|f_{x_{0}}-g_{x_{0}}\|_{p}<\|g_{x}-g_{x_{0}}\|_{p}+2\varepsilon.$$ This means that for every $\varepsilon>0$, $$\lim\sup_{x\rightarrow x_{0}}\|f_{x}-f_{x_{0}}\|_{p}\leq 2\varepsilon,$$ which completes the proof.

1

I am not sure this will help but I think it is related to your problem.

Problem:

Suppose that $f\in L^p(\mathbb{R})$, where $1\leq p <\infty$. For $h\in\mathbb{R}$, write $\tau_hf(x)=f(x-h)$. Show that $$\lim_{h\to 0}\|\tau_hf - f\|_{L^p}=0$$ Note that $\tau_h f(x) = f(x − h)$.

Proof:

Let $\mu$ be the Lebesgue measure on $\mathbb{R}$. Since $f\in L^p(\mathbb{R})$, we have $$ \int |f|^p d\mu <\infty $$ For each $n\in \mathbb{N}$, we have that $|f|^p\chi_{[-n,n]}$ pointwise montonically to $|f|^p$. So using the Monotone Convergence Theorem, we have that $$ \int |f|^p \chi_{[-n,n]} d\mu \nearrow \int |f|^p d\mu $$ Since $ \int |f|^p d\mu <\infty$, we have that, given $\epsilon >0$, there is $k \in \mathbb{N}$, $k>1$ such that $$ \int_{\mathbb{R}\setminus [-k+1,k-1]} |f|^p d\mu = \int |f|^p d\mu - \int |f|^p \chi_{[-k+1,k-1]} d\mu <\frac{\epsilon^p}{5^p}$$ Then, for any $h\in \mathbb{R}$, $|h|<1$, we have $[-k+1,k-1] \subset [-k+h,k+h]$ and \begin{align*} \int |\tau_h f\chi_{\mathbb{R}\setminus[-k,k] }|^pd\mu & = \int |f(x-h)\chi_{\mathbb{R}\setminus [-k,k]} (x-h)|^p dx= \\ & =\int_{\mathbb{R} \setminus [-k+h,k+h]} |f|^p d\mu \leq \int_{\mathbb{R}\setminus [-k+1,k-1]} |f|^p d\mu <\frac{\epsilon^p}{5^p} \end{align*} So we have , for any $h\in \mathbb{R}$, $|h|<1$, \begin{equation} \|\tau_h f\chi_{\mathbb{R}\setminus[-k,k] }\|_p < \frac{\epsilon}{5} \ \ \ (1) \end{equation} In particular, we have (taking $h=0$) \begin{equation} \| f\chi_{\mathbb{R}\setminus[-k,k] }\|_p < \frac{\epsilon}{5} \ \ \ \ \ \ \ (2) \end{equation} Now, note that $f \chi_{[-k,k]}\in L^p([-k,k])$ and, since the simple functions are dense in $L^p$, we have that there is $g$ a simple function defined on $[-k,k]$, such that \begin{equation} \|f \chi_{[-k,k]} -g\|_p < \frac{\epsilon}{5} \ \ \ \ \ \ (3) \end{equation} It easy to see that, for any $h\in \mathbb{R}$, \begin{equation} \|\tau_hf \chi_{[-k,k]} -\tau_hg\|_p =\|f \chi_{[-k,k]} -g\|_p < \frac{\epsilon}{5} \ \ \ \ \ \ (4) \end{equation} Now, let $\{h_i\}_i$ be any sequence of real numbers converging to $0$. We can, without loss of generality, assume that $|h_i|\leq 1$, for all $i$. Also, note that there is $M>0$ such that $|g(x)|

Remark:

The above mentioned solution can be make shorter by using the fact that the continuous function with compact support (or the simple functions with compact support) are dense in $L^p(\mathbb{R})$. However, in Folland's book sections $6.1$ and $6.2$ and in their exercises, it is not mentioned that continuous (resp. simple) function with compact support are dense in $L^p(\mathbb{R})$.

Shorter Proof:

Let $\mu$ be the Lebesgue measure on $\mathbb{R}$. Since $f\in L^p(\mathbb{R})$, and the continuous (resp. simple ) functions with compact support are dense in $L^p(\mathbb{R})$, let $g$ be a continuous (resp. simple ) function with compact support, such that \begin{equation} \|f -g\|_p < \frac{\epsilon}{3} \ \ \ \ (6) \end{equation} It easy to see that, for any $h\in \mathbb{R}$, \begin{equation} \|\tau_hf -\tau_hg\|_p =\|f -g\|_p < \frac{\epsilon}{3} \ \ \ \ \ (7) \end{equation} Now, since $g$ has compact support, there is $k\in \mathbb{N}$ such that $\textrm{supp} g \subseteq [-k,k]$. Let $\{h_i\}_i$ be any sequence of real numbers converging to $0$. We can, without loss of generality, assume that $|h_i|\leq 1$, for all $i$. Also, note that there is $M>0$ such that $|g(x)|

So, for any $\{h_i\}_i$ sequence of real numbers converging to $0$, we have $$\lim_{i \to \infty}\|\tau_{h_i}f - f\|_{L^p}=0$$ So, we have $$\lim_{h\to 0}\|\tau_hf - f\|_{L^p}=0$$

Hope this helps

  • 0
    That I call an answer! Thanks a lot. I will need some time to get through it. I am sorry that I can only upvote you one.2017-01-27
  • 0
    It's ok, I just wanted to be as detailed as possible so that you can understand it.2017-01-27