HurwitzLerchPhi[z,s,a]
gives the Hurwitz–Lerch transcendent
.
HurwitzLerchPhi
HurwitzLerchPhi[z,s,a]
gives the Hurwitz–Lerch transcendent
.
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
- HurwitzLerchPhi is a generalization of Zeta[s], HurwitzZeta[s,a], PolyLog and related functions. »
- The Hurwitz–Lerch transcendent is defined as an analytic continuation of
. - HurwitzLerchPhi is identical to LerchPhi for
. » - HurwitzLerchPhi follows the branch cut conventions of the Hurwitz
function as given by HurwitzZeta. By contrast, LerchPhi uses the branch cuts as defined by Zeta. » - Unlike LerchPhi, HurwitzLerchPhi has infinite or indeterminate values when the defining series has terms with zero denominator. »
- HurwitzLerchPhi has branch cut discontinuities in the complex
plane running from
to
, and in the complex
plane running from
to
. - For certain special arguments, HurwitzLerchPhi automatically evaluates to exact values.
- HurwitzLerchPhi can be evaluated to arbitrary numerical precision.
- HurwitzLerchPhi automatically threads over lists.
- HurwitzLerchPhi can be used with Interval and CenteredInterval objects. »
Examples
open all close allBasic Examples (6)
HurwitzLerchPhi[2, 3, 1.5]Simple exact values are generated automatically:
HurwitzLerchPhi[1, 2, 1 / 4]Plot over a subset of the reals:
Plot[HurwitzLerchPhi[z, 1, -1 / 2], {z, -1, 1}]Plot over a subset of the complexes:
ComplexPlot3D[HurwitzLerchPhi[z, 1, 1 / 2], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series expansion at the origin:
Series[HurwitzLerchPhi[z, 0, 0], {z, 0, 5}]Series expansion at Infinity:
Series[HurwitzLerchPhi[z, 1, 2], {z, ∞, 6}]//NormalScope (34)
Numerical Evaluation (6)
HurwitzLerchPhi[7., 1, 2]HurwitzLerchPhi[-49., 0, 2]N[HurwitzLerchPhi[7 / 3, 5, 2], 50]The precision of the output tracks the precision of the input:
HurwitzLerchPhi[2.00000000000000000000000, 3, 5]HurwitzLerchPhi[5. + I, I, I + 2]Evaluate efficiently at high precision:
HurwitzLerchPhi[6`100, 3, 2]//TimingHurwitzLerchPhi[15`1000, 4, 2];//TimingCompute worst-case guaranteed intervals using Interval and CenteredInterval objects:
HurwitzLerchPhi[Interval[{0.234, 0.235}], Interval[{0.345, 0.346}], Interval[{0.456, 0.457}]]HurwitzLerchPhi[CenteredInterval[3 / 4, 1 / 100], CenteredInterval[5 / 6, 1 / 100], CenteredInterval[7 / 8, 1 / 100]]Compute average-case statistical intervals using Around:
HurwitzLerchPhi[Around[1 / 2, 0.01], 1, 2]Compute the elementwise values of an array:
HurwitzLerchPhi[{{1 / 2, 1}, {1, 1 / 2}}, 2, 1]Or compute the matrix HurwitzLerchPhi function using MatrixFunction:
MatrixFunction[HurwitzLerchPhi[#, 2, 1]&, {{1 / 2, 1}, {1, 1 / 2}}]//FullSimplifySpecific Values (6)
Simple exact values are generated automatically:
Table[HurwitzLerchPhi[z , 1, 1], {z, -1, 2}]
is a rational function in
and a polynomial in
if
:
HurwitzLerchPhi[z, 0, a]The following is manifestly a rational function in
:
HurwitzLerchPhi[z, -1, a]//TogetherPolynomialQ[%, a]HurwitzLerchPhi[z,s,1] is PolyLog[s,z]/z:
HurwitzLerchPhi[z, s, 1]HurwitzLerchPhi[-1,s,a] gives expressions in HurwitzZeta:
HurwitzLerchPhi[-1, s, a]HurwitzLerchPhi is indeterminate at the origin:
HurwitzLerchPhi[0, 0, 0]Approaching along the line
gives
:
HurwitzLerchPhi[0, 0, a]Approaching the origin along the line
also gives 1, but in a more interesting fashion:
HurwitzLerchPhi[z, 0, 0]Limit[%, z -> 0]Approaching along the line
gives different results for
and
:
HurwitzLerchPhi[0, s, 0]{Underscript[, s -> 0^ + ]%, Underscript[, s -> 0^ - ]%}Find a value of z for which HurwitzLerchPhi[z,1,1/2]=2.5:
zval = z /. FindRoot[HurwitzLerchPhi[z, 1, 1 / 2] == 2.5, {z, .5}]Plot[HurwitzLerchPhi[z, 1, 1 / 2], {z, -1, 1}, Epilog -> Style[Point[{zval, HurwitzLerchPhi[zval, 1, 1 / 2]}], PointSize[Large], Red]]Visualization (3)
Plot the HurwitzLerchPhi function:
Plot[HurwitzLerchPhi[z, 2, 1], {z, -1, 1}]Plot the real part of the HurwitzLerchPhi function:
ComplexContourPlot[Re[HurwitzLerchPhi[z, 3, 1]], {z, -3 - 4I, 3 + 4I}, IconizedObject[«PlotOptions»]]Plot the imaginary part of the HurwitzLerchPhi function:
ComplexContourPlot[Im[HurwitzLerchPhi[z, 3, 1]], {z, -3 - 4I, 3 + 4I}, IconizedObject[«PlotOptions»]]ComplexPlot3D[HurwitzLerchPhi[(1/2), (1/2), a], {a, -4 - 3I, 4 + 3I}]Visualize how LerchPhi and HurwitzLerchPhi agree for
but not
:
ComplexPlot3D[HurwitzLerchPhi[1 / 2, 1 / 2, a] - LerchPhi[1 / 2, 1 / 2, a], {a, -4 - 3I, 4 + 3I}, IconizedObject[«Style options»]]Function Properties (12)
Real domain of HurwitzLerchPhi:
FunctionDomain[HurwitzLerchPhi[x, 1, -1 / 2], x]FunctionDomain[HurwitzLerchPhi[x, -2, 5], x]FunctionDomain[HurwitzLerchPhi[z, 3, 1], z, Complexes]FunctionRange[HurwitzLerchPhi[x, 1, 2], x, y]The defining sum for HurwitzLerchPhi:
Underoverscript[∑, k = 0, ∞]z^k(k + a)^-s == HurwitzLerchPhi[z, s, a]HurwitzLerchPhi threads elementwise over lists:
HurwitzLerchPhi[0.5, 2, {1, 2, 3}]FunctionAnalytic[HurwitzLerchPhi[x, 1, 2], x]FunctionMeromorphic[HurwitzLerchPhi[x, 1, 2], x]
is neither non-decreasing nor non-increasing:
FunctionMonotonicity[HurwitzLerchPhi[x, 1, 2], x]FunctionInjective[HurwitzLerchPhi[x, 1, 2], x]Plot[{HurwitzLerchPhi[x, 1, 2], 5}, {x, -3, 2}]FunctionSurjective[HurwitzLerchPhi[x, 1, 2], x]Plot[{HurwitzLerchPhi[x, 1, 2], -2}, {x, -5, 1}]
is neither non-negative nor non-positive:
FunctionSign[HurwitzLerchPhi[x, 1, 2], x]
has both singularity and discontinuity for x0 or for x≥1:
FunctionSingularities[HurwitzLerchPhi[x, 1, 2], x]FunctionDiscontinuities[HurwitzLerchPhi[x, 1, 2], x]
is neither convex nor concave:
FunctionConvexity[HurwitzLerchPhi[x, 1, 2], x]TraditionalForm formatting:
HurwitzLerchPhi[z, s, a]//TraditionalFormDifferentiation (3)
First derivative with respect to z:
D[HurwitzLerchPhi[z, s, a], z]First derivative with respect to a:
D[HurwitzLerchPhi[z, s, a], a]Higher derivatives with respect to z:
Table[D[HurwitzLerchPhi[z, s, a], {z, k}], {k, 1, 3}]//FullSimplifyPlot the higher derivatives with respect to z when a=5 and s=-1/2:
Plot[Evaluate[% /. {a -> 5, s -> -1 / 2}], {z, -1 / 2, 1 / 2}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]Formula for the ![]()
derivative with respect to a:
D[HurwitzLerchPhi[z, s, a], {a, k}]// FullSimplifySeries Expansions (4)
Find the Taylor expansion in
for generic
and
using Series:
Series[HurwitzLerchPhi[z, s, a], {z, 0, 5}]//NormalPlots of the first three approximations around
:
terms = Normal@Table[Series[HurwitzLerchPhi[z, 1, 2], {z, 0, m}], {m, 1, 5, 2}];
Plot[{HurwitzLerchPhi[z, 1, 2], terms}, {z, -10, 10}, PlotRange -> {-10, 10}]Series expansion in
at a generic point:
Series[HurwitzLerchPhi[x, s, a], {a, a0, 3}]//NormalSeries expansion about
when
has the singular value
and
:
Series[HurwitzLerchPhi[z, 1, 2], {z, 0, 4}]Do the expansion about
instead:
Series[HurwitzLerchPhi[z, 1, 2], {z, 1, 4}]Series expansion in
near
,
,
:
Series[HurwitzLerchPhi[0, s, 2], {s, 1, 3}]Series expansion in
about the same point:
Series[HurwitzLerchPhi[0, 1, a], {a, 2, 3}]HurwitzLerchPhi can be applied to power series:
HurwitzLerchPhi[x - (x^2/2) + (x^3/9) + O[x]^4, 2, 2]Applications (1)
The moments and central moments of the geometric distribution can be expressed using HurwitzLerchPhi:
Moment[GeometricDistribution[p], k]CentralMoment[GeometricDistribution[p], k]Explicit forms for the central moments for small k:
Table[%, {k, 4}]//SimplifyProperties & Relations (9)
Sum can generate HurwitzLerchPhi:
Sum[(2^-n/(n - 1 / 2)^2(n - 3 / 2)^2), {n, 0, Infinity}]LerchPhi agrees with HurwitzLerchPhi for
:
With[{z = RandomComplex[1 + I], s = RandomReal[]}, LerchPhi[z, s, 2 + I] == HurwitzLerchPhi[z, s, 2 + I]]With[{z = RandomComplex[1 + I], s = RandomReal[]}, LerchPhi[z, s, -2 + I] == HurwitzLerchPhi[z, s, -2 + I]]HurwitzLerchPhi includes singular terms for which the denominator is zero:
HurwitzLerchPhi[z, 2, -2]The infinite value comes from the term
in the defining series:
% === Sum[(z^k/(k + -2)^2), {k, 0, Infinity}]LerchPhi, by contrast, omits the singular term by default:
LerchPhi[z, 2, -2]% == Sum[If[k == 2, 0, (z^k/(k + -2)^2)], {k, 0, Infinity}]//ExpandIf
, a singular term produces the value Indeterminate:
HurwitzLerchPhi[z, I, -2]Zeta[s] equals HurwitzLerchPhi[1,s,1] for Re[s]>1:
FullSimplify[Zeta[s] == HurwitzLerchPhi[1, s, 1], Re[s] > 1]HurwitzZeta[s,a] equals HurwitzLerchPhi[1,s,a] for Re[s]>1:
Block[{a = RandomComplex[{-2 - 2I, 2 + 2I}], s = RandomComplex[{1 - 2I, 5 + 2I}]}, HurwitzZeta[s, a] - HurwitzLerchPhi[1, s, a]]HurwitzLerchPhi is different from LerchPhi in the choice of branch cuts:
{Sum[(z^k/(k + a)^s), {k, 0, Infinity}], Sum[(z^k/((k + a)^2)^s / 2), {k, 0, Infinity}]}% /. {z -> 1, s -> 3, a -> -1.5}HurwitzLerchPhi matches HurwitzZeta, while LerchPhi matches Zeta:
{HurwitzZeta[3, -1.5], Zeta[3, -1.5]}PolyLog can be expressed in terms of HurwitzLerchPhi:
PolyLog[s, z] == z HurwitzLerchPhi[z, s, 1]DirichletEta is a special case of HurwitzLerchPhi:
DirichletEta[s] == HurwitzLerchPhi[-1, s, 1]DirichletBeta is dilation of HurwitzLerchPhi:
DirichletBeta[s] == 2^-sHurwitzLerchPhi[-1, s, 1 / 2]//FullSimplifySome hypergeometric functions can be expressed in terms of HurwitzLerchPhi:
HypergeometricPFQ[{-5 / 2, -5 / 2, -5 / 2, 1}, {-3 / 2, -3 / 2, -3 / 2}, z]//FunctionExpandPossible Issues (1)
The line
is not considered to have a singular term:
HurwitzLerchPhi[z, 0, 0]This is consistent with Sum, which considers
to be
for all
:
% == Sum[(z^k/k^0), {k, 0, Infinity}] == Sum[z^k, {k, 0, Infinity}]Related Guides
Text
Wolfram Research (2008), HurwitzLerchPhi, Wolfram Language function, https://reference.wolfram.com/language/ref/HurwitzLerchPhi.html (updated 2023).
CMS
Wolfram Language. 2008. "HurwitzLerchPhi." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2023. https://reference.wolfram.com/language/ref/HurwitzLerchPhi.html.
APA
Wolfram Language. (2008). HurwitzLerchPhi. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/HurwitzLerchPhi.html
BibTeX
@misc{reference.wolfram_2026_hurwitzlerchphi, author="Wolfram Research", title="{HurwitzLerchPhi}", year="2023", howpublished="\url{https://reference.wolfram.com/language/ref/HurwitzLerchPhi.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_hurwitzlerchphi, organization={Wolfram Research}, title={HurwitzLerchPhi}, year={2023}, url={https://reference.wolfram.com/language/ref/HurwitzLerchPhi.html}, note=[Accessed: 13-June-2026]}