4 edited tags
3 edited tags
2 Due to the hint below, I used the tex-code feature of this website.; added 2 characters in body

Given a Schwartz function $f \in S S$ that is the density of some prob. measure, one can perfectly write for the Heaviside function $\theta$.

$\int \theta \int \theta dP(x) operatorname{d\mathbb{P}}(x) = <\theta,f> = <\theta, F^{-1}Ff> =$

where F $F$ and F^{-1} $F^{-1}$ denote the (inverse) Fourier transform.

Now F^{-1}\theta $F^{-1}\theta$ is well known:

1/(2\pi i)[P.V.(1/x

$\frac{1}{2\pi i}[P.V.(\frac{1}{x}) + i\pi \delta(x)]delta(x)]$

But: Smoothness is a way too restrictive property. The distribution F^{-1}\theta $F^{-1}\theta$ is a well defined functional for test functions that have a bounded derivative in a neighbourhood E $E$ around 0, and where \sup_{x $\sup_{x \in R} |x^\alpha (Ff)(x)| Ff)(x)|$ is finite (hence it is in L^p). \alpha $L^p$, $p<\infty$). $\alpha$ and E $E$ are fixed! One can define a norm on that space (let's call it C_alpha) $C_\alpha$) using infty norm and infty norm of the derivative in E. This is also the standard standard proof for F^{-1}\theta $F^{-1}\theta$ being in S'$S'$, the dual of the Schwartz functions.

I want to weaken the restrictions of test functions f, $f$, but I need to justify

$<\theta,f> = < F^{-1} \theta, Ff>$

• L^1
• $L^1$ function, Ff $Ff$ also L^1 $L^1$ and in C_alpha$C_\alpha$
• However it is not clear (to me), if it holds if the space of test functions is not closed under Fourier transform. I'd like it to hold for as much prob. densities as possible for which $Ff \in C_alphaC_\alpha$.

Of course Schwartz functions are dense in L^1, $L^1$, so I thought about using density arguments. L^1-convergence $L^1$-convergence of the sequence (say \psi_n) $\psi_n$) of Schwartz functions implies only pointwise convergence under fourier transform. Too weak. I need some form of uniform convergence also under Fourier transform. I could achieve it if I assume that |f(x)-\psi_n(x)| $|f(x)-\psi_n(x)| < b_n(x)$ outside a compact set where b_n is some sequence of $L^1$ functions controlling the "tail behaviour" of the pointwise convergence. $b_n$ goes to zero pointwise for n to infty and $b_n < B$; $B \in L^1$. However, I think this is again a too strong assumption - it rules out many densities (the fat tailed I am interested in).

I am not sure how to save "save" the equation $<\theta,f> = < F^{-1} \theta, Ff>$.

1