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.

Let $\phi$ be a real compactly supported smooth function on $\mathbb R$ with total integral zero. Define $\phi_t=\frac{1}{t} \phi(\frac{x}{t})$. I also suspect that they must be even, but the notes I am working from are imprecise.

I want to show that $$f(x) \left(\int_0^\infty |\hat\phi(t)|^2 \frac{dt}{t}\right)=\int_0^\infty (\phi_t\ast\phi_t\ast f)(x) \frac{dt}{t}.$$

This can be thought of as a reproducing formula for $f$ because the integral on the left side is a constant (with respect to $x$).

I am attempting to prove this but coming up short. I began by taking the Fourier transform of the right hand side and recalling that it takes convolutions into pointwise multiplication. We get

$$f(\xi) \int_0^\infty \hat\phi_t(\xi)^2 \frac{dt}{t}.$$

We can rewrite the term being integrated because the Fourier transform of ${\frac{1}{t}\phi(\frac{x}{t})}$ is $\hat\phi(t\xi)$.

$$f(\xi) \int_0^\infty \hat\phi(t\xi)^2 \frac{dt}{t}.$$

I do not see how to continue. In particular, I do not see how to make use of the fact that the total integral of $\phi$ is 0.

EDIT: A proof has been given in the comments, but I still don't know why the integral of $\phi$ must be zero! This condition appears in other statements of this formula I have found, not just this simplified one, but it does not seem necessary. I still welcome a definitive answer on this matter.

share|improve this question
1  
Aren't you done since $$\int_0^{\infty} \hat{\phi}(t\xi)^2 \dfrac{dt}t = \int_0^{\infty} \hat{\phi}(t)^2 \dfrac{dt}t?$$ –  user17762 Jan 9 '13 at 6:04
    
@Marvis What about the absolute values? And what about the fact that the total integral of the kernels is zero? We don't know that he Fourier transform is real, right? –  Potato Jan 9 '13 at 6:06
1  
I suspect $\phi$ must be even since then $\hat{\phi}(t)$ is real and hence $\hat{\phi}(t)^2 = \vert \hat{\phi}(t) \vert^2$. I do not know how the total integral being zero matters. I think if you are studying harmonic analysis in the context of imaging, typically mean zero functions are considered to eliminate the background and since we are interested only in differences between points in space. –  user17762 Jan 9 '13 at 6:11
    
@Marvis Thank you. –  Potato Jan 9 '13 at 6:16
    
@Marvis If you copy your comments and give them as an answer below, I'd be happy to accept it. –  Potato Jan 9 '13 at 8:37
add comment

1 Answer 1

up vote 2 down vote accepted

The first thing you should determine is in what sense do you want this integral to hold. Do you want it pointwise:

For all $x\in\mathbb R$,

$$f(x)=\lim_{R\rightarrow\infty}\int_{1/R}^R\phi_t*\phi_t*f(x)\frac{dt}{t}.$$

Or do you want it in $L^p$:

$$\lim_{R\rightarrow\infty}\left|\left|\int_{1/R}^R\phi_t*\phi_t*f\frac{dt}{t}-f\right|\right|_{L^p}=0.$$

Or do you want it in the topology of $\mathcal S(\mathbb R)$, the Schwartz class:

For all multi-indices $\alpha,\beta\in\mathbb N_0^n$,

$$\lim_{R\rightarrow\infty}\rho_{\alpha,\beta}\left(\int_{1/R}^R\phi_t*\phi_t*f\frac{dt}{t}-f\right)=0.$$

Each of these things are true for appropriate functions $f$. It is not hard to show that the formula holds in $L^2$ when $f\in L^2$. Plus, if it holds in $L^2$, then it holds pointwise a.e. First fix an $L^2$ function $f$. Then you must show

$$\lim_{R\rightarrow\infty}\left|\left|\int_{1/R}^R\phi_t*\phi_t*f\frac{dt}{t}-f\right|\right|_{L^2}=0.$$

Since $f\in L^2$ and $\phi_t$ is "nice," it follows that

$$f_R(x):=\int_{1/R}^R\phi_t*\phi_t*f(x)\frac{dt}{t}$$

is in $L^2$ for all $R>0$ (a priori with $L^2$ norm depending on $R$). Then by Plancherel's theorem, it is enough to show $\hat f_R\rightarrow \hat f$ in $L^2$ as $R\rightarrow\infty$, i.e. it is enough to show the following goes to zero as $R\rightarrow \infty$

\begin{align*} \int_{\mathbb R}\left|\hat f_R(\xi)-\hat f(\xi)\right|^2d\xi&=\int_{\mathbb R}|\hat f(\xi)|^2\left|\int_{1/R}^R\hat\phi(t\xi)^2\frac{dt}{t}-1\right|^2d\xi. \end{align*}

One way to do this is to apply dominated convergence in the following way: First uniformly bound

\begin{align*} \left|\int_{1/R}^R\hat\phi(t\xi)^2\frac{dt}{t}-1\right|&\leq1+\int_0^{|\xi|^{-1}}\hat\phi(t\xi)^2\frac{dt}{t}+\int_{|\xi|^{-1}}^\infty\hat\phi(t\xi)^2\frac{dt}{t}\\ &\leq1+||\nabla\hat\phi||_{L^\infty}^2\int_0^{|\xi|^{-1}}(t\xi)^2\frac{dt}{t}+||\nabla\phi||_{L^\infty}^2\int_{|\xi|^{-1}}^\infty(t\xi)^{-2}\frac{dt}{t}\\ &=1+\frac{1}{2}||\nabla\hat\phi||_{L^\infty}^2+\frac{1}{2}||\nabla\phi||_{L^\infty}^2. \end{align*} I'm not completely sure that the $||\nabla\phi||_{L^\infty}$ term is correct here, but it should be some constant depending on the smoothness of $\phi$. Then

$$|\hat f_R(\xi)-\hat f(\xi)|^2\leq|\hat f(\xi)|^2\left(1+\frac{1}{2}||\nabla\hat\phi||_{L^\infty}^2+\frac{1}{2}||\nabla\phi||_{L^\infty}^2\right)^2,$$

which is an $L^1$ function independent of $R$ since $f\in L^2$. So by dominated convergence,

$$\lim_{R\rightarrow\infty}||\hat f_R-\hat f||_{L^2}^2=\int_\mathbb R|\hat f(\xi)|^2\lim_{R\rightarrow\infty}\left|\int_{1/R}^R\hat\phi(t\xi)^2\frac{dt}{t}-1\right|^2d\xi=0.$$

This proves that the formula holds in $L^2$, and hence it follows that it holds pointwise. To prove the $L^p$ convergence is a little more difficult since we cannot make use of Plancherel's theorem, and to prove convergence in the topology of Schartz functions is even more difficult since you must work with Schwartz semi-norms.

A word of caution: In order for this argument to work, you must know that $f\in L^2 $ to start. If $f$ is not in $L^2$ and you prove that $f_R$ (as defined above) is Cauchy in $L^2$, then indeed it does converge to some function $\tilde f\in L^2$, but it is possible that $f\neq\tilde f$. In particular, these two function may differ by a polynomial. This is essentially because $\hat\phi(0)=0$ and the distributional Fourier transform of polynomials are supported at the origin.

share|improve this answer
add comment

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.