Skip to main content

Theory and Modern Applications

Riemann zeta fractional derivative—functional equation and link with primes


This paper outlines further properties concerning the fractional derivative of the Riemann ζ function. The functional equation, computed by the introduction of the Grünwald–Letnikov fractional derivative, is rewritten in a simplified form that reduces the computational cost. Additionally, a quasisymmetric form of the aforementioned functional equation is derived (symmetric up to one complex multiplicative constant). The second part of the paper examines the link with the distribution of prime numbers. The Dirichlet η function suggests the introduction of a complex strip as a fractional counterpart of the critical strip. Analytic properties are shown, particularly that a Dirichlet series can be linked with this strip and expressed as a sum of the fractional derivatives of ζ. Finally, Theorem 4.3 links the fractional derivative of ζ with the distribution of prime numbers in the left half-plane.

1 Introduction

In the last years, fractional calculus has played a significant role in many scientific fields and has been utilized for several applications (e.g., electromagnetism, signal processing). It is worth noting that the fractional derivative is not uniquely defined. This lack of uniqueness is undoubtedly the weakest point of the fractional calculus. Nevertheless, remarkable progress has been made toward addressing this and other issues in the last decade with relevant results [1,2,3,4,5,6,7], thus making the problem of independent interest for pure and applied mathematicians.

Fractional calculus has recently been applied to the theory of meromorphic functions (see, e.g., [8,9,10,11]). In particular, the α-order fractional derivative of the Riemann ζ function given by

$$ \zeta ^{(\alpha )}(s)=\mathrm {e}^{i\pi \alpha }\sum _{n=2}^{\infty } \frac{ \log ^{\alpha } n}{n^{s}},\quad s \in \mathbb{C}, \alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}, $$

was computed for the first time in 2015 [12]. By introducing both the Hurwitz ζ function and the Dirichlet series, two coherent generalizations of (1.1) were obtained. These fractional derivatives reduce to the derivative in (1.1) for \(a=1\) and \(f(n)=1\), which are the cases in which the Hurwitz ζ function and the Dirichlet series are nothing but the Riemann ζ function, respectively [13].

The main problem of fractional derivative in (1.1) is represented by the functional equation. Fortunately, the equation sought can be derived by introducing the forward Grünwald–Letnikov fractional derivative. The aforementioned functional equation was derived since this fractional derivative satisfies the generalized Leibniz rule [14, 15]. However, as often happens in mathematics, the solution of one problem gives rise to another more important problem. The right-hand side of the functional equation in (2.7) entails extremely high computational cost due to the presence of three infinite series. Unfortunately, each finite approximation of these series with different numerical simulations produces an overflow. To minimize the computational cost, we follow the approach proposed by Apostol and Spira [16, 17] for the integer-order derivatives of ζ. As a result, the aforementioned right-hand side is reduced from three to only one infinite series, with a substantial decrease in terms of computational cost (see Sect. 3). Furthermore, the functional equation of \(\zeta ^{(\alpha )}\) is written as the sum of sines and cosines. In 2017, Guariglia and Silvestrov [14] introduced the problem of the symmetry of (2.7). Accordingly, a quasisymmetric form of the functional equation of \(\zeta ^{(\alpha )}\) is derived and discussed in Sect. 3.

The second part of the paper investigates other properties of \(\zeta ^{(\alpha )}\). The fractional equivalent of the critical strip [18], that is, \(( \alpha, 1+\alpha )\), is presented and broadly discussed. The infinite series in (2.9)2 associated with this strip is written in terms of \(\zeta ^{( \alpha )}\). The Riemann conjecture entails that the critical strip is linked with the nontrivial zeros of ζ, which should all lie on \(\operatorname {Re}s =1/2\) (critical line). Consequently, the distribution of prime numbers along the line \(\operatorname {Re}s = 1/2+\alpha \) is considered. Based on these considerations, Sect. 4 discusses the link with prime numbers.

The rest of this paper is organized as follows. The next section provides remarks on \(\zeta ^{(\alpha )}\). Section 3 reports and describes in detail equivalent forms of the functional equation of \(\zeta ^{(\alpha )}\). Section 4 outlines the link with prime numbers, together with the analytic properties of the strip \(( \alpha, 1+\alpha )\). Section 5 summarizes the results of this work and draws conclusions.

2 Notations and preliminary results

For the purposes of this paper α and k are always elements of \(\mathbb{R}\) and \(\mathbb{N}_{0}\), respectively, where \(\mathbb{N} _{0}=\mathbb{N} \cup \{0\}\). A generic complex variable is denoted by s and the imaginary unit by i. Moreover, for every \(x \in \mathbb{R}\) and \(n \in \mathbb{N}_{0}\), the symbol \(x^{{ \underline{n}}}\) indicates the so-called falling factorial [19].

2.1 Fractional calculus and \(\zeta ^{(\alpha )}\)

In recent years, the fractional calculus of holomorphic functions has merited increasing consideration from the international mathematics community. It has several applications in mathematics, theoretical physics, and information engineering [18]. Ortigueira is currently investigating broad applications in information engineering [15] and laying the foundations of fractional linear-time invariant systems. Furthermore, he has provided a suitable generalization of the Caputo derivative to the complex plane [12, 20], that is,

$$ _{\mathrm {C}}\mathrm {D}^{\alpha } f(s) = \frac{\mathrm {e}^{i(\pi -\theta )(\alpha -m)}}{ \varGamma (m-\alpha )} \int _{0}^{\infty }\frac{\mathrm {d}^{m}}{\mathrm {d}{s}^{m}}\frac{f(xe ^{i\theta }+s)}{x^{\alpha -m+1}}\, \mathrm {d}{x}, $$

where f is a complex function of the complex variable s, \(m-1<\alpha <m \in \mathbb{N}\) and \(\theta = [0,2\pi ) \). The aforementioned fractional derivative can be written in terms of distribution theory [21].

The Riemann ζ function is defined as follows:

$$ \zeta (s)=\sum_{n=1}^{\infty } \frac{1}{n^{s}}, \quad s \in \mathbb{C}. $$

Consequently, ζ converges for all complex numbers s such that \(\operatorname {Re}s >1\). Riemann showed that ζ possesses a unique analytical continuation to the entire complex plane, except for a simple pole at \(s=1\) with residue 1 [22]. The fractional derivative in (2.1) enables us to compute the α-order fractional derivative of the Riemann ζ function, that is, the derivative in (1.1). The convergence of the complex series associated is shown in [12]. In particular, it pointwise converges in the half-plane \(\operatorname {Re}s>1+\alpha \), and thus the convergence of \(\zeta ^{(\alpha )}\) depends on the fractional order α. Furthermore, the k-order integer derivative of the Riemann ζ function is given [16, 17] by

$$ \zeta ^{(k)}(s)=\mathrm {e}^{i\pi k} \sum _{n=2}^{\infty }\frac{\log ^{k}n}{n ^{s}}, $$

so that the derivative in (1.1) is a straightforward fractional generalization of the derivative in (2.2). As mentioned in the Introduction, (2.1) was applied to two generalizations of the Riemann ζ function (Hurwitz ζ function and Dirichlet series). The results achieved are in accordance with theory of the Riemann ζ function [13].

2.2 Functional equation of \(\zeta ^{(\alpha )}\)

The Riemann ζ function, introduced in 1859 [22], is characterized by the following functional equation:

$$ \zeta (s) = 2 (2\pi )^{s-1} \varGamma (1-s) \zeta (1-s) \sin \frac{ \pi s}{2}, \quad \text{for any }s \in \mathbb{C}, $$

that is,

$$ \zeta (1-s) = 2 (2\pi )^{-s} \varGamma (s) \zeta (s) \cos \frac{ \pi s}{2}. $$

The literature calls (2.3) and (2.4) asymmetric equations. In fact, the functional equation of ζ can also be written symmetrically as follows:

$$ \pi ^{-s/2} \varGamma \biggl(\frac{s}{2} \biggr) \zeta (s)=\pi ^{-(1-s)/2} \varGamma \biggl(\frac{1-s}{2} \biggr) \zeta (1-s). $$

Introducing a variant of the Riemann ζ function, the Riemann Xi function, defined by

$$ \xi (s) = \frac{1}{2} s (1-s) \pi ^{-s/2} \varGamma \biggl( \frac{s}{2} \biggr) \zeta (s), $$

(2.5) becomes \(\xi (s)=\xi (1-s)\). The function ξ is an entire function of s since \(\pi ^{-s/2}\varGamma ( -s/2 ) \zeta (s)\) has simple poles at \(s=0\) and \(s=1\).

Unfortunately, the fractional derivative in (2.1) is unsuitable for deriving a functional equation of \(\zeta ^{(\alpha )}\). In fact, the integral in (2.1) entails computational problems. Hence, the fractional operator in (2.1) is substituted with the forward Grünwald–Letnikov fractional derivative.

Definition 2.1

(see [15])

Let \(\alpha \in \mathbb{R}\), \(h \in \mathbb{R}_{\geq 0}\), and f be a complex-valued function of the complex variable s. The α-order forward Grünwald–Letnikov fractional derivative of f is defined by

$$ \mathrm {D}_{f}^{\alpha }f(s) = \lim_{h \rightarrow 0^{+}} \frac{\sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} f(s-kh)}{h^{ \alpha }}. $$

Unlike the Caputo derivative in (2.1), Definition 2.1 satisfies the generalized Leibniz rule. Thus, the fractional derivative \(\zeta ^{(\alpha )}\) can be recomputed by (2.6). The result achieved is in accordance with (1.1). The proof provided in [14] holds for \(\alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}\). Since Definition 2.1 makes sense for any \(\alpha \in \mathbb{R}\), (1.1) becomes

$$ \zeta ^{(\alpha )}(s)=\mathrm {e}^{i\pi \alpha }\sum_{n=2}^{\infty } \frac{ \log ^{\alpha } n}{n^{s}},\quad s \in \mathbb{C}, \alpha \in \mathbb{R}. $$

The same reasoning fails for the functional equation of \(\zeta ^{( \alpha )}\) due to the presence of the generalized Leibniz rule (see [15] for more details). Accordingly, for any \(\alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}\), it is

$$\begin{aligned} \zeta ^{(\alpha )}(s)={}&2 (2\pi )^{s-1} \mathrm {e}^{i\pi \alpha } \sum_{h=0}^{\infty } \sum_{j=0}^{\infty } \sum _{n=0}^{ \infty } A^{ \alpha }_{h,j,n} \zeta ^{(n)}(1-s) \biggl(-\frac{ \pi }{2} \biggr)^{j} \\ & {}\times \frac{\varGamma ^{(h)}(1-s)}{\log ^{h+j+n-\alpha } 2\pi } \sin \frac{\pi (s+j)}{2}, \end{aligned}$$

where \(A^{ \alpha }_{h,j,n} = \frac{\alpha ^{{ \underline{h+j+n}}}}{h! j! n!}\). The complete proof of (2.7) can be found in [14]. As previously mentioned, this equation suffers from problems of computational complexity. In fact, each numerical approximation of (2.7) produces a buffer overflow. Section 3 discusses such a computational issue.

2.3 Critical strip and \(\zeta ^{(\alpha )}\)

Prime numbers have played a central role in mathematics since the age of Euclid. In recent years, the distribution of prime numbers has been widely applied in science as well as engineering. The Riemann ζ function and the distribution of prime numbers are linked through the following representation:

$$ \zeta (s)=\prod_{p\in \mathbb{P}} \frac{1}{1-p^{-s}}, $$

where \(\mathbb{P}\) is the set of prime numbers [22]. \(\zeta (s)=0\) for any negative even integers, that is, for \(s=-2,-4-,6,\ldots \) (trivial zeros). As a consequence of (2.8), there are no zeros in the half-plane \(\operatorname {Re}s >1\), so that all the nontrivial zeros must belong to the (critical) strip \(( 0,1 )\).

The critical strip has great importance in the theory of prime numbers. Investigating \(\zeta ^{(\alpha )}\) leads to the introduction of the complex strip \(( \alpha, 1+\alpha )\). Note that (2.1) and (2.6) allow the computation of the derivative \(\eta ^{(\alpha )}\), where η is the Dirichlet η function. Both are given [18] by

$$ \eta (s) = \sum_{n=1}^{\infty } \frac{(-1)^{n-1}}{n^{s}},\quad s \in \mathbb{C}, $$


$$ \eta ^{(\alpha )}(s)=\mathrm {e}^{i\pi \alpha }\sum_{n=2}^{\infty } (-1 ) ^{n-1} \frac{\log ^{\alpha } n}{n^{s}},\quad s \in \mathbb{C}, \alpha \in \mathbb{R}. $$

Moreover, it can be shown [18] that

$$ \textstyle\begin{cases} \zeta (s)=\frac{\eta (s)}{1-2^{1-s}}, \\ \eta ^{(\alpha )}(s)=\zeta ^{(\alpha )}(s)-\mathrm {e}^{i\pi \alpha }\cdot 2^{1-s}\sum_{n=1}^{\infty } \frac{\log ^{\alpha } 2n}{n^{s}}. \end{cases} $$

\(\zeta ^{(\alpha )}\) and \(\eta ^{(\alpha )}\) converge for \(\operatorname {Re}s >1+ \alpha \) and \(\operatorname {Re}s >\alpha \), respectively [18]. Consequently, for each fixed \(\alpha \in \mathbb{R}\), the fractional derivative \(\zeta ^{(\alpha )}\) is associated with a unique complex strip \((\alpha, 1 + \alpha )\). Being

$$ ( \alpha,1+\alpha ) \mathop{\longrightarrow}\limits ^{ \alpha \rightarrow 0 } ( 0,1 ), $$

this complex strip can be considered the fractional counterpart of the critical strip. Figure 1 shows the shift by α in the half-plane of convergence (due to the action of α-order fractional derivative on ζ). The strip \((\alpha, 1 + \alpha )\) can open up new scenarios in mathematics. In fact, some properties of the critical strip can be invariant under the transformation \(s \longrightarrow s+\alpha \) (e.g., zero-free regions, Riemann conjecture).

Figure 1
figure 1

The complex strip \((\alpha, 1 + \alpha )\) for \(\alpha =0.3\) (on the left) and \(\alpha =1.3\) (on the right)

3 Equivalent forms of the functional equation

In the literature, Spira and Apostol were the first to investigate the higher integer derivatives of the Riemann ζ function [16, 17]. In particular, Spira determined both the zero-free regions associated with the k-order integer derivative \(\zeta ^{(k)}\) and the functional equation, that is,

$$\begin{aligned} (-1)^{k} \zeta ^{(k)}(1-s)={}&2 ( 2 \pi )^{-s} \sum _{h=0} ^{k} \sum_{n=0}^{k} \biggl(a_{hkn} \cos \frac{\pi s}{2}+b_{hkn} \sin \frac{\pi s}{2} \biggr) \\ &{} \times \varGamma ^{(h)}(s) \zeta ^{(n)}(s). \end{aligned}$$

Note that the terms \(a_{hkn}\) and \(b_{hkn}\) are constants [23]. Replacing s by \(1-s\) yields

$$\begin{aligned} \zeta ^{(k)}(s)={}&2 ( 2 \pi )^{s-1} \mathrm {e}^{i \pi k} \sum_{h=0}^{k} \sum_{n=0}^{k} \biggl(a_{hkn} \cos \frac{\pi (1-s)}{2}+b _{hkn} \sin \frac{\pi (1-s)}{2} \biggr) \\ & {}\times \varGamma ^{(h)}(1-s) \zeta ^{(n)}(1-s). \end{aligned}$$

3.1 Simplified form

The undertaken study aims to repurpose the outcomes contained in [16] to write the functional equation of \(\zeta ^{(\alpha )}\) in a simplified form. In particular, it allows us to reduce the computational cost of (2.7) to only one infinite series (see Theorem 3.3). Furthermore, (3.1) and (3.2) express the functional equation of \(\zeta ^{(k)}\) in terms of sines and cosines, that is, of complex exponentials. The next result, reported below, is due to Apostol [16].

Proposition 3.1

Let \(k \in \mathbb{N}\). For any \(s \in \mathbb{C}\), it is

$$\begin{aligned} \zeta ^{(k)}(s)={}& \sum _{h=0}^{k} \binom{k}{h} \mathrm {e}^{i \pi (k-h)} \bigl(\mathrm {e}^{(1-s)w} w^{k-h}-\mathrm {e}^{(1-s)\overline{w}-i \pi } ( \overline{w} )^{k-h} \bigr) \\ & {}\times \bigl(\varGamma (1-s) \zeta (1-s) \bigr)^{(h)}, \end{aligned}$$

where \(w=-\log 2 \pi - i \pi /2\).


The main idea of the proof is that (2.3) can be written as follows:

$$\begin{aligned} \zeta (s) &=\varGamma (1-s) \zeta (1-s) (2 \pi )^{s-1} 2 \sin \frac{\pi s}{2} \\ &=\varGamma (1-s) \zeta (1-s) \bigl(\mathrm {e}^{(1-s)[-\log 2 \pi -i \pi /2]}-\mathrm {e}^{(1-s)[-\log 2 \pi +i \pi /2]-i\pi } \bigr), \end{aligned}$$


$$ \textstyle\begin{cases} (2 \pi )^{s-1}=\mathrm {e}^{(s-1) \log 2 \pi }, \\ 2 \sin \frac{\pi s}{2}=\mathrm {e}^{i\frac{\pi }{2}(s-1)}-\mathrm {e}^{-i\frac{ \pi }{2}(s+1)}, \\ \mathrm {e}^{-i \frac{\pi }{2}(s+1)}=\mathrm {e}^{i \frac{\pi }{2}(1-s)-i \pi }. \end{cases} $$

By introducing the function ψ defined by

$$ \psi (s,w,z) = \varGamma (s) \zeta (s) \mathrm {e}^{sw+z},\quad z \in \mathbb{C}, $$

it is

$$ \zeta (s)=\psi (1-s,w)-\psi (1-s,\overline{w},-i \pi ), $$

with \(\psi (1-s,w)=\psi (1-s,w,0)\). Differentiating (3.4) k times gives

$$ \zeta ^{(k)}(s)=\frac{\mathrm {d}{}^{k}}{\mathrm {d}{s}^{k}} \bigl( \psi (1-s,w) \bigr) - \frac{\mathrm {d}{}^{k}}{\mathrm {d}{s}^{k}} \bigl( \psi (1-s, \overline{w},-i \pi ) \bigr). $$


$$\begin{aligned} \frac{\mathrm {d}{}^{k}}{\mathrm {d}{s}^{k}} \bigl( \psi (1-s,w,z) \bigr) &= \frac{\mathrm {d}{}^{k}}{\mathrm {d}{s}^{k}} \bigl( \varGamma (1-s) \zeta (1-s) \mathrm {e}^{(1-s)w+z} \bigr) \\ &=\sum_{h=0}^{k} \binom{k}{h} \bigl( \varGamma (1-s) \zeta (1-s) \bigr) ^{(h)} \bigl(\mathrm {e}^{(1-s)w+z} \bigr)^{(k-h)}, \end{aligned}$$


$$ \frac{\mathrm {d}{}^{k-h}}{\mathrm {d}{s}^{k-h}} \bigl(\mathrm {e}^{(1-s)w+z} \bigr)=\mathrm {e}^{i\pi (k-h)} w^{k-h} \mathrm {e}^{(1-s)w+z}, $$

we have

$$ \frac{\mathrm {d}{}^{k}}{\mathrm {d}{s}^{k}} \bigl( \psi (1-s,w,z) \bigr)= \sum _{h=0}^{k} \binom{k}{h} \mathrm {e}^{i\pi (k-h)} \mathrm {e}^{(1-s)w+z} w^{k-h} \bigl(\varGamma (1-s) \zeta (1-s) \bigr)^{(h)}. $$


$$\begin{aligned} \zeta ^{(k)}(s)=\sum _{h=0}^{k} \binom{k}{h} \mathrm {e}^{i\pi (k-h)} \bigl(\mathrm {e}^{(1-s)w} w^{k-h}-\mathrm {e}^{(1-s)\overline{w}-i \pi } ( \overline{w} )^{k-h} \bigr) \bigl(\varGamma (1-s) \zeta (1-s) \bigr)^{(h)}, \end{aligned}$$

taking into account the \(2 \pi i\)-periodicity of the complex exponential. □

The fractional generalization of the functional equation in (3.3) is based on the following result.

Lemma 3.2

Let \(\alpha \in \mathbb{R}\) and \(w \in \mathbb{C}\) such that \(\operatorname {Re}w <0\). For any \(s \in \mathbb{C}\), we get

$$ \mathrm {D}_{f}^{\alpha } \mathrm {e}^{(1-s)w} = \mathrm {e}^{i \pi \alpha } \mathrm {e}^{(1-s)w} w^{\alpha }. $$


Definition 2.1, for \(f(s)=\mathrm {e}^{(1-s)w}\), gives

$$ \mathrm {D}_{f}^{\alpha } \mathrm {e}^{(1-s)w} =\mathrm {e}^{(1-s)w} \lim _{h\rightarrow 0^{+}} \frac{\sum_{k=0}^{ \infty }\binom{\alpha }{k} (-1)^{k} \mathrm {e}^{wkh}}{h^{\alpha }}. $$

The series above converges to \(g(w)= (1-\mathrm {e}^{wh} )^{\alpha }\) if \(|\mathrm {e}^{wh} | < 1\), that is, \(\operatorname {Re}w < 0\). From L’Hôpital’s rule it follows

$$\begin{aligned} \mathrm {D}_{f}^{\alpha } \mathrm {e}^{(1-s)w} = \mathrm {e}^{(1-s)w} \lim_{h\rightarrow 0^{+}} \frac{ (1-\mathrm {e}^{wh} ) ^{\alpha }}{h^{\alpha }}=\mathrm {e}^{(1-s)w} \biggl( \lim_{h\rightarrow 0^{+}} \frac{1-\mathrm {e}^{wh}}{h} \biggr)^{\alpha } =\mathrm {e}^{i \pi \alpha } \mathrm {e}^{(1-s)w} w^{\alpha }. \end{aligned}$$


Relying on Lemma 3.2, we are able to give the fractional counterpart of (3.3).

Theorem 3.3

Let \(\alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}\) and \(w=-\log 2 \pi - i \pi /2\). For any \(s \in \mathbb{C}\), it is

$$\begin{aligned} \zeta ^{(\alpha )}(s)={}& \sum _{h=0}^{\infty } \binom{\alpha }{h} \mathrm {e}^{i \pi (\alpha -h)} \bigl(\mathrm {e}^{(1-s)w} w ^{\alpha -h}-\mathrm {e}^{(1-s)\overline{w}-i \pi } ( \overline{w} ) ^{\alpha -h} \bigr) \\ & {}\times \bigl(\varGamma (1-s) \zeta (1-s) \bigr)^{(h)}. \end{aligned}$$


From (3.4) we get

$$ \zeta ^{(\alpha )}(s)=\mathrm {D}_{f}^{\alpha } \psi (1-s,w)-\mathrm {D}_{f}^{\alpha } \psi (1-s,\overline{w},-i \pi ). $$

The generalized Leibniz rule gives

$$ \mathrm {D}_{f}^{\alpha } \psi (1-s,w,z)=\sum _{h=0}^{\infty } \binom{\alpha }{h} \bigl(\varGamma (1-s) \zeta (1-s) \bigr)^{(h)} \mathrm {e}^{z} \bigl(\mathrm {e}^{(1-s)w} \bigr)^{(\alpha -h)}, $$

and taking into account Lemma 3.2 it follows

$$\begin{aligned} \mathrm {D}_{f}^{\alpha } \psi (1-s,w,z)={}& \sum_{h=0}^{\infty } \binom{\alpha }{h} \mathrm {e}^{i \pi (\alpha -h)} \mathrm {e}^{(1-s)w+z} w^{\alpha -h} \\ &{} \times \bigl(\varGamma (1-s) \zeta (1-s) \bigr)^{(h)}. \end{aligned}$$

ξ is an entire function of s, thus substituting (3.7) into (3.6), the proof follows. □

Theorem 3.3 shows that (3.5) has less computational cost than (2.7). Moreover, (3.2) can be generalized as the next result points out.

Theorem 3.4

Let \(\alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}\). For any \(s \in \mathbb{C}\), it is

$$\begin{aligned} \zeta ^{(\alpha )}(s)={}& 2 (2 \pi )^{s-1} \mathrm {e}^{i \pi \alpha } \sum_{h=0}^{\infty } \sum_{n=0}^{\infty } \biggl( a_{h \alpha n} \sin \frac{\pi s}{2} +b_{h \alpha n} \cos \frac{\pi s}{2} \biggr) \\ &{} \times \varGamma ^{(h)}(1-s) \zeta ^{(n)}(1-s), \end{aligned}$$

where the coefficients \(a_{h \alpha n}\) and \(b_{h \alpha n}\) are given by

$$ \textstyle\begin{cases} a_{h \alpha n}=\sum_{j=0}^{\infty } \frac{A ^{ \alpha }_{h,j,n}}{\log ^{h+j+n-\alpha } 2\pi } (-\frac{ \pi }{2} )^{j} \cos \frac{\pi j}{2}, \\ b_{h \alpha n}=\sum_{j=0}^{\infty } \frac{A ^{ \alpha }_{h,j,n}}{\log ^{h+j+n-\alpha } 2\pi } (-\frac{ \pi }{2} )^{j} \sin \frac{\pi j}{2}. \end{cases} $$


The trigonometric identity

$$ \sin \frac{\pi (s+j)}{2}=\sin \frac{\pi s}{2} \cos \frac{\pi j}{2}+ \cos \frac{\pi s}{2} \sin \frac{\pi j}{2} $$

gives (3.8) when substituted in (2.7). □

Theorem 3.4 takes on particular relevance in harmonic analysis. In fact, (3.8) expresses the functional equation of \(\zeta ^{(\alpha )}\) as a sum of sines and cosines. Additionally, (3.5) and (3.8), which are two different forms of (2.7), represent a step forward in our investigation of \(\zeta ^{(\alpha )}\).

3.2 Symmetric form

The problem concerning the symmetric form of (2.7) is dealt with here.

Lemma 3.5

Let \(\alpha \in \mathbb{R}\). For any \(s \in \mathbb{C}\), it is

$$ \mathrm {D}_{f}^{\alpha } \zeta (1-s)=\mathrm {e}^{-i\pi \alpha } \zeta ^{(\alpha )}(1-s). $$


The fractional derivative in (2.6), for \(f(s)=\zeta (1-s)\), gives

$$\begin{aligned} \mathrm {D}_{f}^{\alpha } \zeta (1-s) &=\lim_{h\rightarrow 0^{+}} \frac{ \sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \zeta (1-s+kh)}{h ^{\alpha }} \\ &=\sum_{n=1}^{\infty }\frac{1}{n^{1-s}} \lim _{h\rightarrow 0^{+}} \frac{1}{h ^{\alpha }} \sum _{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} n ^{-kh}. \end{aligned}$$

The binomial series now yields

$$ \sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} n^{-kh}= \bigl(1-n ^{-h} \bigr)^{\alpha }. $$

From L’Hôpital’s rule it follows

$$ \lim_{h\rightarrow 0^{+}} \biggl( \frac{1-n^{-h}}{h} \biggr)^{\alpha }= \biggl( \lim_{h\rightarrow 0^{+}} \frac{1-n^{-h}}{h} \biggr)^{ \alpha }=\log ^{\alpha } n. $$

Combining (3.9), (3.10), and (3.11), the proof is straightforward. □

Theorem 3.6

Let \(\alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}\). Moreover, we set \(\operatorname{T}_{\alpha }\) as follows:

$$ \operatorname{T}_{\alpha } ( s ) = \pi ^{-s/2} \sum_{h=0}^{\infty } \sum_{j=0}^{h} B^{ \alpha }_{h,j} \frac{ \mathrm {e}^{i\pi j}}{2^{h}} \log ^{j} \pi \varGamma ^{(h-j)} \biggl( \frac{s}{2} \biggr) \zeta ^{(\alpha -h)}(s). $$

For any \(s \in \mathbb{C}\), it is

$$ \operatorname{T}_{\alpha } ( s ) \doteq \operatorname{T}_{\alpha } ( 1-s ), $$

where the symbol denotes equality up to a multiplicative constant and \(B^{ \alpha }_{h,j}=\frac{\alpha ^{{ \underline{h}}}}{h! (h-j)!}\).


Differentiating both members of (2.5) α times, it is

$$\begin{aligned} & \sum_{h=0}^{\infty } \binom{\alpha }{h} \biggl(\pi ^{-s/2} \varGamma \biggl( \frac{s}{2} \biggr) \biggr)^{(h)} \zeta ^{(\alpha -h)}(s) \\ &\quad =\sum_{k=0}^{\infty } \binom{\alpha }{k} \biggl( \pi ^{-(1-s)/2} \varGamma \biggl( \frac{1-s}{2} \biggr) \biggr)^{(k)} \bigl( \zeta (1-s) \bigr)^{(\alpha -k)}. \end{aligned}$$

Direct calculation leads to

$$ \biggl(\pi ^{-s/2} \varGamma \biggl( \frac{s}{2} \biggr) \biggr)^{(h)}= \sum_{j=0}^{h} \binom{h}{j} \bigl( \pi ^{-s/2} \bigr)^{(j)} \biggl( \varGamma \biggl( \frac{s}{2} \biggr) \biggr)^{(h-j)}, $$


$$ \textstyle\begin{cases} (\pi ^{-s/2} )^{(j)}=\mathrm {e}^{i\pi j} \pi ^{-s/2} \frac{\log ^{j} \pi }{2^{j}}, \\ ( \varGamma ( \frac{s}{2} ) )^{(h-j)}=\frac{ \varGamma ^{(h-j)} ( s/2 )}{2^{h-j}}. \end{cases} $$

Substituting (3.14) and (3.15) into the left-hand side of (3.13) yields

$$\begin{aligned} & \sum_{h=0}^{\infty } \binom{\alpha }{h} \biggl(\pi ^{-s/2} \varGamma \biggl( \frac{s}{2} \biggr) \biggr)^{(h)} \zeta ^{(\alpha -h)}(s) \\ &\quad=\sum_{h=0}^{\infty } \binom{\alpha }{h} \zeta ^{(\alpha -h)}(s) \sum_{j=0}^{h} \binom{h}{j} \mathrm {e}^{i\pi j} \pi ^{-s/2} \frac{\log ^{j} \pi }{2^{j}} \frac{\varGamma ^{(h-j)} (s/2 )}{2^{h-j}} \\ &\quad= \pi ^{-s/2} \sum_{h=0}^{\infty } \sum _{j=0}^{h} B ^{ \alpha }_{h,j} \frac{ \mathrm {e}^{i\pi j}}{2^{h}} \log ^{j} \pi \varGamma ^{(h-j)} \biggl( \frac{s}{2} \biggr) \zeta ^{(\alpha -h)}(s). \end{aligned}$$

The same holds for the right-hand side of (3.13). In fact, we get

$$ \biggl( \pi ^{-(1-s)/2} \varGamma \biggl( \frac{1-s}{2} \biggr) \biggr) ^{(h)}=\sum_{j=0}^{h} \binom{h}{j} \bigl( \pi ^{-(1-s)/2} \bigr) ^{(j)} \biggl( \varGamma \biggl( \frac{1-s}{2} \biggr) \biggr)^{(h-j)}, $$


$$ \textstyle\begin{cases} (\pi ^{-(1-s)/2} )^{(j)}=\pi ^{-(1-s)/2} \frac{\log ^{j} \pi }{2^{j}}, \\ ( \varGamma ( \frac{1-s}{2} ) )^{(h-j)}=\frac{\mathrm {e}^{i \pi (h-j)}}{2^{h-j}} \varGamma ^{(h-j)} ( \frac{1-s}{2} ). \end{cases} $$

Thus, Lemma 3.5 gives

$$\begin{aligned} & \sum_{h=0}^{\infty } \binom{\alpha }{h} \biggl(\pi ^{-(1-s)/2} \varGamma \biggl( \frac{1-s}{2} \biggr) \biggr)^{(h)} \bigl( \zeta (1-s) \bigr)^{(\alpha -h)} \\ &\quad =\sum_{h=0}^{\infty } \binom{\alpha }{h} \cdot \mathrm {e}^{-i \pi (\alpha -h)} \zeta ^{(\alpha -h)}(1-s) \sum _{j=0}^{h} \binom{h}{j} \pi ^{-(1-s)/2} \frac{\log ^{j} \pi }{2^{j}} \\ &\qquad{} \times \frac{\mathrm {e}^{i \pi (h-j)}}{2^{h-j}} \varGamma ^{(h-j)} \biggl( \frac{1-s}{2} \biggr) \\ &\quad =\pi ^{-(1-s)/2} \sum_{h=0}^{\infty } \sum_{j=0} ^{h} B^{ \alpha }_{h,j} \cdot\frac{ \mathrm {e}^{i\pi (j-\alpha )}}{2^{h}} \log ^{j} \pi \varGamma ^{(h-j)} \biggl( \frac{1-s}{2} \biggr) \zeta ^{(\alpha -h)}(1-s), \end{aligned}$$

taking into account the \(2 \pi i\)-periodicity of the complex exponential. Substituting (3.16) and (3.17) into (3.13), the proof follows. □

Note that (3.12) is the symmetric form of (2.7) up to the multiplicative constant \(\mathrm {e}^{-i\pi \alpha }\), that is, the fractional equivalent of (2.5). Therefore, Theorem 3.6 provides a quasisymmetric functional equation of \(\zeta ^{(\alpha )}\) by opening up new scenarios in functional fractional analysis.

4 Distribution of prime numbers and complex strip \((\alpha, 1 + \alpha )\)

This section is devoted to investigation of the strip \((\alpha, 1 + \alpha )\). First and foremost, \(\eta ^{(\alpha )}\) is written in terms of \(\zeta ^{(\alpha )}\). The second part discusses the link between \(\zeta ^{(\alpha )}\) and the distribution of prime numbers.

4.1 Representation of \(\eta ^{(\alpha )}\) in terms of \(\zeta ^{(\alpha )}\)

Theorem 4.1

Let \(\alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}\). For any \(s \in \mathbb{C}\) such that \(\operatorname {Re}s >\alpha \), the functions \(\eta ^{(\alpha )}\) and \(\zeta ^{(\alpha )}\) are linked by

$$ \eta ^{(\alpha )}(s)=\zeta ^{(\alpha )}(s)-2^{1-s} \sum_{k=0}^{ \infty } \binom{\alpha }{k} \mathrm {e}^{i\pi k} \log ^{k} 2 \zeta ^{(\alpha -k)}(s). $$

Furthermore, the series in (2.9)2 can be written in terms of \(\zeta ^{(\alpha )}\) as follows:

$$ \sum_{n=1}^{\infty } \frac{\log ^{\alpha } 2n}{n^{s}}= \sum_{k=0} ^{\infty } \binom{\alpha }{k} \mathrm {e}^{i\pi (k-\alpha )} \log ^{k} 2 \zeta ^{(\alpha -k)}(s). $$


From (2.9)1 it follows

$$ \eta ^{(\alpha )}(s)=\zeta ^{(\alpha )}(s)-\mathrm {D}_{f}^{\alpha } \bigl( 2^{1-s} \zeta (s) \bigr). $$

The generalized Leibniz rule implies

$$ \mathrm {D}_{f}^{\alpha } \bigl( 2^{1-s}\zeta (s) \bigr)=2^{1-s} \sum_{k=0} ^{\infty } \binom{\alpha }{k} \mathrm {e}^{i\pi k} \log ^{k} 2 \zeta ^{(\alpha -k)}(s). $$

Combining (4.3) and (4.4) gives the first part of Theorem 4.1. Finally, comparison of (2.9)2 and (4.1) completes the proof. □

As mentioned in Sect. 2, the condition \(\operatorname {Re}s > \alpha \) in Theorem 4.1 assures convergence of \(\eta ^{( \alpha )}\). Additionally, (4.1) is the fractional generalization of (2.9)1. In fact, with some caution it is

$$\begin{aligned} &\zeta ^{(\alpha )}(s)-2^{1-s}\sum _{k=0}^{\infty } \binom{\alpha }{k} \mathrm {e}^{i\pi (k-\alpha )} \log ^{k} 2 \zeta ^{(\alpha -k)}(s) \mathop{\longrightarrow}\limits ^{ \alpha \rightarrow 0^{+} } \zeta (s)-2^{1-s} \zeta (s) \\ &\quad=\zeta (s) \bigl( 1-2^{1-s} \bigr). \end{aligned}$$

Corollary 4.2

Let \(\alpha \in \mathbb{R}_{>0}\). The series in (2.9)2 can be expressed in terms of \(\zeta ^{(\alpha )}\) by

$$ \sum_{n=1}^{\infty }\frac{\log ^{\alpha } 2n}{n^{s}}= \sum_{k=0} ^{\tilde{k}} \binom{\alpha }{k} \mathrm {e}^{i\pi (k-\alpha )} \log ^{k} 2 \zeta ^{(\alpha -k)}(s), $$


$$ \tilde{k} = \textstyle\begin{cases} \alpha, &\alpha \in \mathbb{N}, \\ \infty, &\alpha \in \mathbb{R}_{>0} \setminus \mathbb{N}. \end{cases} $$


The generalized Leibniz rule reduces to the Leibniz rule for \(\alpha \in \mathbb{N}\). Accordingly, the proof follows from (4.2). □

Corollary 4.2 enables us to write the series in (2.9)2 in terms of \(\zeta ^{(\alpha )}\). Note that this result is in accordance with theory. Fix \(m \in \mathbb{N}\). Therefore

$$\begin{aligned} &\sum_{n=1}^{\infty } \frac{\log 2n}{n^{s}} =\log 2 \zeta (s)-\zeta '(s)=\sum _{k=0}^{1} \binom{1}{k} (-1)^{1-k} \log ^{k} 2 \zeta ^{(1-k)}(s), \\ &\sum_{n=1}^{\infty }\frac{\log ^{2} 2n}{n^{s}} =\log ^{2} 2 \zeta (s)-2\log 2 \zeta '(s)+\zeta ''(s) \\ &\phantom{\sum_{n=1}^{\infty }\frac{\log ^{2} 2n}{n^{s}} }=\sum_{k=0}^{2} \binom{2}{k} (-1)^{2-k} \log ^{k} 2 \zeta ^{(2-k)}(s), \\ &\phantom{\sum_{n=1}^{\infty }\frac{\log ^{2} 2n}{n^{s}}= } \vdots \\ &\sum_{n=1}^{\infty }\frac{\log ^{m} 2n}{n^{s}} =\sum _{k=0}^{m} \binom{m}{k} (-1)^{m-k} \log ^{k} 2 \zeta ^{(m-k)}(s) \\ &\phantom{\sum_{n=1}^{\infty }\frac{\log ^{m} 2n}{n^{s}} }=\sum_{k=0}^{m} \binom{m}{k} \mathrm {e}^{i\pi (m-k)} \log ^{k} 2 \zeta ^{(m-k)}(s), \end{aligned}$$

which is Corollary 4.2 for \(\alpha =m\).

4.2 The role of \(\zeta ^{(\alpha )}\) in the distribution of prime numbers

The Euler product in (2.8) cannot be used to investigate the link between \(\zeta ^{(\alpha )}\) and the distribution of prime numbers due to the nonmultiplicativity of \(\log ^{\alpha }\). In addition, the introduction of the strip \((\alpha, 1 + \alpha )\) raises more delicate problems, such as the fractional generalization of both the Riemann hypothesis and the critical line \(\operatorname {Re}s=1/2\). According to the approach given in [18], the principal candidate for this role is the line \(\operatorname {Re}s=1/2+\alpha \).

Unfortunately, the zeros of \(\zeta ^{(\alpha )}\) represent a major challenge. In fact, even now the zeros of the integer derivative \(\zeta ^{(k)}\) remain an open problem. In 1974, assuming the Riemann hypothesis and \(k>1\), Levinson and Montgomery [24] proved that \(\zeta '\) has no zeros in the half-plane \(0 < \operatorname {Re}s < 1/2\) and \(\zeta ^{(k)}\) has at most finitely many zeros in \(\operatorname {Re}s < 1/2\). Spira showed that most of these zeros lie in \(0 \leq \operatorname {Re}s \leq 1/2+\delta \) for \(\delta >0\) [23]. Hence, they are located close to the critical line. In particular, many scholars agree that nontrivial zeros of \(\zeta ^{(k)}\) are located randomly to the right of \(\operatorname {Re}s=1/2\). However, the left half-plane \(\operatorname {Re}s < 0\) is not zero-free since \(\zeta ''\) has one pair of nontrivial zeros near \(-0.355 \pm 3.591i\) [23]. Thus, the current state of the art does not facilitate any investigation into zeros of \(\zeta ^{(\alpha )}\), that is, the localization of prime numbers near the line \(\operatorname {Re}s=1/2+\alpha \). Nevertheless, \(\zeta ^{(\alpha )}\) can be linked with the distribution of prime numbers, as shown below.

Theorem 4.3

Let \(\alpha \in \mathbb{R}\) and \(\mathbb{P}\) be the set of prime numbers. For any \(s \in \mathbb{C}\) such that \(\operatorname {Re}s < 0\), it is

$$ \zeta ^{(\alpha )}(s) \sim \sum_{p\in \mathbb{P}} \sum_{t=0} ^{\infty } \frac{\log ^{\alpha } p^{t}}{p^{-st}}, $$

where the symbol means that both sides above converge or diverge together.


From (2.8) we get

$$\begin{aligned} \zeta ^{(\alpha )}(s) &=\lim_{h\rightarrow 0^{+}} \frac{\sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \zeta (s-hk)}{h ^{\alpha }} \\ &=\lim_{h\rightarrow 0^{+}} \frac{1}{h^{\alpha }} \sum _{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \prod_{p\in \mathbb{P}} \frac{1}{1-p ^{-s+kh}}. \end{aligned}$$

The link between series and infinite products [25] gives

$$ \prod_{p\in \mathbb{P}} \frac{1}{1-p^{-s+kh}}=\prod _{p\in \mathbb{P}} \biggl( 1+ \frac{p^{-s+kh}}{1-p^{-s+kh}} \biggr) \sim \sum _{p\in \mathbb{P}} \frac{p^{-s+kh}}{1-p^{-s+kh}}, $$

so that

$$\begin{aligned} \zeta ^{(\alpha )}(s) &\sim \lim_{h\rightarrow 0^{+}} \frac{1}{h ^{\alpha }} \sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \sum_{p\in \mathbb{P}} \frac{p^{-s+kh}}{1-p^{-s+kh}} \\ &= \sum_{p\in \mathbb{P}} \lim_{h\rightarrow 0^{+}} \frac{1}{h ^{\alpha }} \sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \frac{p ^{-s+kh}}{1-p^{-s+kh}}. \end{aligned}$$

The proof is straightforward by showing that

$$ \sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \frac{p^{-s+kh}}{1-p ^{-s+kh}}=-\sum_{t=0}^{\infty } p^{st} \bigl( 1-p^{-h} \bigr) ^{\alpha }. $$

Note that \(\vert p^{s-kh} \vert = \vert p^{\operatorname {Re}s} \vert \vert p^{-kh} \vert \) and \(\vert p^{\operatorname {Re}s} \vert < 1\), and thus

$$ \frac{1}{1-p^{s-kh}}=\sum_{t=0}^{\infty } p^{(s-kh)t}. $$

The series expansion in (4.6) implies

$$\begin{aligned} \sum_{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \frac{p^{-s+kh}}{1-p ^{-s+kh}} &=-\sum _{k=0}^{\infty } \binom{\alpha }{k} (-1)^{k} \frac{1}{1-p ^{s-kh}} \\ &=-\sum_{t=0}^{\infty } p^{st} \bigl( 1-p^{-ht} \bigr)^{ \alpha }. \end{aligned}$$


$$\begin{aligned} -\sum_{p\in \mathbb{P}} \lim _{h\rightarrow 0^{+}} \frac{1}{h^{ \alpha }} \sum _{t=0}^{\infty } p^{st} \bigl( 1-p^{-ht} \bigr) ^{\alpha } &=-\sum_{p\in \mathbb{P}} \sum _{t=0}^{\infty } p^{st} \biggl( \lim _{h\rightarrow 0^{+}} \frac{1-p^{-ht}}{h} \biggr)^{ \alpha } \\ &=-\sum_{p\in \mathbb{P}} \sum_{t=0}^{\infty } \frac{ \log ^{\alpha } p^{t}}{p^{-st}}, \end{aligned}$$

being \(\frac{1-p^{-ht}}{h} \mathop{\longrightarrow}\limits^{ h\rightarrow 0^{+} }\log p^{t}\). This completes the proof, as desired. □

The aforementioned proof is strongly dependent on the assumption that \(\operatorname {Re}s <0\). In particular, the set of prime numbers and \(\zeta ^{( \alpha )}\) are linked by (4.5) in the left half-plane. As mentioned in Sect. 2, \(\zeta ^{(\alpha )}\) converges for \(\operatorname {Re}s>1+\alpha \), thus making this theorem true for any \(\alpha < -1\). Accordingly, Theorem 4.3 holds in the strip \(1+\alpha <\operatorname {Re}s<0\) with \(\alpha < -1\) (Fig. 2).

Figure 2
figure 2

The complex strip \((1+\alpha,0)\) for \(\alpha =-2.2\) (on the left) and \(\alpha =-2.6\) (on the right)

5 Conclusions

This paper analyzed the fractional derivative of the Riemann ζ function. In particular, the functional equation and the link with the distribution of prime numbers have been discussed. Equivalent forms of the functional equation in (2.7) are given. More precisely, such a functional equation is written in a quasisymmetric form. The introduction of the strip \((\alpha, 1 + \alpha )\) has allowed investigation of the link with prime numbers. Analytic properties are given and treated. These results are far from being conclusive. However, Theorem 4.3 represents a step forward towards a final representation of \(\zeta ^{(\alpha )}\) in terms of prime numbers.


  1. Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)

    Article  Google Scholar 

  2. Chen, Y., Yan, Y., Zhang, K.: On the local fractional derivative. J. Math. Anal. Appl. 362(1), 17–33 (2010)

    Article  MathSciNet  Google Scholar 

  3. Wu, G.C., Lee, E.W.M.: Fractional variational iteration method and its application. Phys. Lett. A 374(25), 2506–2509 (2010)

    Article  MathSciNet  Google Scholar 

  4. Hasan, S., Al-Smadi, M., Freihet, A., Momani, S.: Two computational approaches for solving a fractional obstacle system in Hilbert space. Adv. Differ. Equ. 2019(1), 55 (2019)

    Article  MathSciNet  Google Scholar 

  5. Morales-Delgado, V.F., Gómez-Aguilar, J.F., Saad, K.M., et al.: Analytic solution for oxygen diffusion from capillary to tissues involving external force effects: a fractional calculus approach. Physica A 523, 48–65 (2019)

    Article  MathSciNet  Google Scholar 

  6. Jain, S., Agarwal, P., Kilicman, A.: Pathway fractional integral operator associated with 3m-parametric Mittag–Leffler functions. Int. J. Appl. Comput. Math. 4(5), 115 (2018)

    Article  MathSciNet  Google Scholar 

  7. Jain, S., Agarwal, P., Kıymaz, I.O., Çetinkaya, A.: Some composition formulae for the M-S-M fractional integral operator with the multi-index Mittag–Leffler functions. AIP Conf. Proc. 1926, 020020 (2018)

    Article  Google Scholar 

  8. Abadias, L., De León-Contreras, M., Torrea, J.L.: Non-local fractional derivatives. Discrete and continuous. J. Math. Anal. Appl. 449(1), 734–755 (2017)

    Article  MathSciNet  Google Scholar 

  9. Guariglia, E.: Harmonic symmetry of the Riemann zeta fractional derivative. AIP Conf. Proc. 2046, 020035 (2018)

    Article  Google Scholar 

  10. Ragusa, M.A.: Commutators of fractional integral operators in Vanishing–Morrey spaces. J. Glob. Optim. 40(1–3), 361–368 (2008)

    Article  Google Scholar 

  11. Sawangtong, W., Sawangtong, P.: A single quenching point for a fractional heat equation based on the Riemann–Liouville fractional derivative with a nonlinear concentrate source. Bound. Value Probl. 2017(1), 97 (2017)

    Article  MathSciNet  Google Scholar 

  12. Guariglia, E.: Fractional derivative of the Riemann zeta function. In: Cattani, C., Srivastava, H.M., Yang, X.-Y. (eds.) Fractional Dynamics, pp. 357–368. De Gruyter, Berlin (2015)

    Google Scholar 

  13. Cattani, C., Guariglia, E.: Fractional derivative of the Hurwitz ζ-function and chaotic decay to zero. J. King Saud Univ., Sci. 28(1), 75–81 (2016)

    Article  Google Scholar 

  14. Guariglia, E., Silvestrov, S.: A functional equation for the Riemann zeta fractional derivative. AIP Conf. Proc. 1798, 020063 (2017)

    Article  Google Scholar 

  15. Ortigueira, M.D., Coito, F.J.: From differences to derivatives. Fract. Calc. Appl. Anal. 7(4), 459–471 (2004)

    MathSciNet  MATH  Google Scholar 

  16. Apostol, T.M.: Formulas for higher derivatives of the Riemann zeta function. Math. Comput. 44(169), 223–232 (1985)

    Article  MathSciNet  Google Scholar 

  17. Choudhury, B.K.: The Riemann zeta-function and its derivatives. Proc. R. Soc. Lond. A 450(1940), 477–499 (1995)

    Article  MathSciNet  Google Scholar 

  18. Cattani, C., Guariglia, E., Wang, S.: On the critical strip of the Riemann zeta fractional derivative. Fundam. Inform. 151(1–4), 459–472 (2017)

    Article  MathSciNet  Google Scholar 

  19. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A Foundation for Computer Science. Addison-Wesley, Reading (1994)

    MATH  Google Scholar 

  20. Li, C., Dao, X., Guo, P.: Fractional derivatives in complex planes. Nonlinear Anal. 71(5–6), 1857–1869 (2009)

    Article  MathSciNet  Google Scholar 

  21. Guariglia, E., Silvestrov, S.: Fractional-wavelet analysis of positive definite distributions and wavelets on \(\mathscr{D'} ( \mathbb{C} )\). In: Silvestrov, S., Rančić, M. (eds.) Engineering Mathematics II, pp. 337–353. Springer, Berlin (2016)

    Chapter  Google Scholar 

  22. Edwards, H.M.: Riemann’s Zeta Function. Dover Publications, New York (2001)

    MATH  Google Scholar 

  23. Suriajaya, A.I.: On the zeros of the kth derivative of the Riemann zeta function under the Riemann hypothesis. Funct. Approx. Comment. Math. 53(1), 69–95 (2015)

    Article  MathSciNet  Google Scholar 

  24. Lee, Y.: Zeros of the derivatives of the Riemann zeta function on \(\operatorname {Re}s <1/2\). J. Number Theory 134(1), 38–48 (2014)

    Article  MathSciNet  Google Scholar 

  25. Trench, W.F.: Conditional convergence of infinite products. Am. Math. Mon. 106(7), 646–651 (1999)

    Article  MathSciNet  Google Scholar 

Download references


The author would like to express his gratitude to the anonymous referees for their constructive comments and suggestions.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.


The author has not received funds to cover publication costs in open access.

Author information

Authors and Affiliations



The author read and approved the final version of the manuscript.

Corresponding author

Correspondence to Emanuel Guariglia.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Guariglia, E. Riemann zeta fractional derivative—functional equation and link with primes. Adv Differ Equ 2019, 261 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: