I think I found a way to write the truncated Prime $\zeta$ function like this: $$ P_x(s)=\sum_{p<x} \frac{1}{p^s} =\sum_{n=1}^{\infty}\frac{ \mu (n)}{n} \sum_{z\in\{1,\rho\}}(-1)^{1-\delta_{1z}} \left[ {\rm li}(t^{\frac zn-s}) \right]^{x}_2 \tag{7}, $$ see here for confirmation (or please correct me if I'm wrong)!
My next step of interest would be to know something about its Fourier Transform.
EDIT, containing some fresh ideas, changing the flavour of the question
The answer seems trivial when you look at the lhs of $(7)$, set $s\to is$ and rewrite it as $$ P_x(is)=\sum_{p<x} \frac{1}{p^{is}} = \sum_{p<x} \exp(-is\ln p) $$ to see that spectrum is (remember that $x$ is fixed) $$ \begin{eqnarray} \int_{-\infty}^\infty P_x(is)\exp(i2\pi s \omega) ds &=&\sum_{p<x} \int_{-\infty}^\infty \exp(-is\ln p) \exp(i2\pi s \omega)ds \\ &=&\sum_{p<x} \int_{-\infty}^\infty \exp\biggr(is(2\pi \omega-\ln p)\biggr) ds\\ &=&\sum_{p<x}\delta( \omega -\ln p)\tag{8} \end{eqnarray} $$
But when I take Fourier's integral deeper into the ${\bf r}\text{abbit's } {\bf h}\text{ole} {\bf s}$ of $(7)$, I'll get $$ \begin{eqnarray} \color{green}{\int_{-\infty}^\infty ds e^{i2\pi s \omega}}P_x(is) &=& \sum_{n=1}^{\infty}\frac{ \mu (n)}{n} \sum_{z\in\{1,\rho\}}(-1)^{1-\delta_{1z}} \underbrace{ \left( \color{green}{\int_{-\infty}^\infty ds e^{i2\pi s \omega}} \left[{\rm li}(t^{\frac zn-s}) \right]^{x}_2 \right) }_{\uparrow} \tag{9} \end{eqnarray} $$
But as robjohn pointed out in the comments to my (attempt of an) answer this integral is unlikely to converge. But we have $(8)$.
Does this mean that the sum of sums, $\sum_{n=1}^{\infty}\frac{ \mu (n)}{n} \sum_{z\in\{1,\rho\}}(-1)^{1-\delta_{1z}}$, forces convergence?
OLD ATTEMPT
I tried the following:
- Write it down for one of the summands ${\rm li}(x^{y})$ with $y=\frac zn-s\in \Bbb C$: $$ \int_{-\infty}^\infty \exp(2\pi i\omega y){\rm li}(x^{y}) dy \tag{*} $$
- Use partial integration $\int u' v = [uv]-\int uv'$ to get $$ \begin{eqnarray} \int_{-\infty}^\infty \exp(2\pi i\omega y){\rm li}(x^{y}) dy&=& \left[\frac{\exp(2\pi i\omega y)}{2\pi i\omega}{\rm li}(x^{y})\right]_{-\infty}^\infty-\int_{-\infty}^\infty \frac{\exp(2\pi i\omega y)x^y\log x}{\log(x^{y})} dy\\ \end{eqnarray} $$
- I'm not sure about the $[\cdots]_{-\infty}^\infty$-parts. I hope it vanishes. Is this true?
- My next idea was to Taylor expand $\exp(2\pi i\omega y)=\sum_{k=0}^\infty \frac{(2\pi i \omega)^k}{k!}y^k$ to get: $$ -\sum_{k=0}^\infty \frac{(2\pi i \omega)^k}{k!} \int_{-\infty}^\infty \frac{y^k x^y\log x}{\log(x^{y})} dy $$ Our good friend Wolfram can help with the last integral ($x$ and $y$ interchanged for the sake of simpler inputs for W|A!!!) in an indefinite form for fixed $k=$ $1$, $2$ or $3$, but I think I'm kind of led astray.
Even with an analytical expression for that I'm not sure if this is the way to go. Would it be better to expand ${\rm li}(x^y)$?
Can anyone help me?
Thanks,