Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Any ideas on how to get started with this?

Let $\rho \in L^1(\mathbb{R}^N)$ with $\int \rho=1$. Set $\rho_n(x)=n^N \rho(nx)$. Let $f \in L^p(\mathbb{R}^N)$. Show that $\rho_n \star f \to f$ in $L^p(\mathbb{R}^N)$.

The proof of Theorem 4.22 would almost go through for this case. The problem is that I don't know anything about the support of the $\rho_n$'s.This seems to be crucial for the proof of Proposition 4.21 which is used to prove the theorem.

share|improve this question
2  
Could you give a link to google book's or write down the cited theorems? –  martini Jun 29 '12 at 14:34
    
It's Exercise (4.28), on page 127, of the Springer edition. Just found it. –  Siminore Jun 29 '12 at 14:39
    
You know that $\int_{\mathbb{R}^n\backslash B_R(0)} \rho $ becomes arbitrily small if $R$ is sufficiently large, that should suffice. I don't think this is true if $p=\infty$. –  user20266 Jun 29 '12 at 14:42
1  
You can prove that $$ \text{support}(\rho_n)=\frac{1}{n}\text{support}(\rho). $$ –  Mercy Jun 29 '12 at 14:53
1  
I don't know your approach of proof, but you should note that, unlike in the case of smooth $\rho$ with compact support, you will only get convergence in $L^p$, $1 \le p < \infty$. In particular, as pointed out by an example in Stein's book on Harmonic analysis (Chapter II, § 5.16), $\lim_{n\rightarrow\infty} \rho_n \star f(x)$ may fail to exist for almost every $x$. –  user20266 Jun 29 '12 at 15:45

1 Answer 1

Ok, so from what I gather I should proceed in the following way:

Define $$ \bar \rho = \frac{I_{B(R)} \: \rho}{\|I_{B(R)} \: \rho\|_1}, $$ where $R>0$ is such that $\int_{\mathbb{R}^N \setminus B(R)} \rho < \epsilon$. Then I write

$$ \| \rho_n \star f - \bar \rho_n \star f + \bar \rho_n \star f -f \|_p \leq \| \rho_n \star f - \bar \rho_n \star f \|_p + \| \bar \rho_n \star f -f \|_p $$ $$ \leq \| \rho_n - \bar \rho_n\|_1 \|f\|_p + \| \bar \rho_n \star f -f \|_p $$

et cetera

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.