LerchPhi

Notations

Traditional name

Traditional notation

Mathematica StandardForm notation

Primary definition

Specific values

Specialized values

For fixed z,s

For fixed z,a

For fixed s,a

For fixed z

For fixed s

For fixed a

Values at fixed points

For LerchPhi[z,s,a]

General characteristics

Domain and analyticity

Domain and analyticity

Φ(z,s,a) is an analytical function of z,s,a which is defined in (ℂ^3). For fixed a, z, it is an entire function of s.

Symmetries and periodicities

Mirror symmetry

Periodicity

No periodicity

Poles and essential singularities

With respect to a

For fixed z, s, the function Φ(z,s,a) does not have poles and essential singularities.

For fixed z and positive integer s, the function (OverHat[Φ])(z,s,a)has an infinite set of singular points:
a) a==-n/;s==1∧n∈ℕ, are the simple poles with residues (z^n);
b) a==-n/;s>1∧n∈ℕ, are the poles of order s with residues 0;
c) a==(OverTilde[∞]) is the point of convergence of poles,  which is an essential singular point.

With respect to s

For fixed z, a, the function Φ(z,s,a) has only one singular point at s = (OverTilde[∞]).  It is an essential singular point.

For fixed z, a, the function (OverHat[Φ])(z,s,a) has only one singular point at s = (OverTilde[∞]).  It is an essential singular point.

With respect to z

For fixed s, a, the function Φ(z,s,a) does not have poles and essential singularities.

For fixed s, a, the function (OverHat[Φ])(z,s,a) does not have poles and essential singularities.

Branch points

With respect to a

For fixed z, s, the function Φ(z,s,a) does not have branch points.

With respect to s

For fixed z, a, the function Φ(z,s,a) does not have branch points.

For fixed z, a, the function (OverHat[Φ])(z,s,a) does not have branch points.

With respect to z

Branch cuts

With respect to a

For fixed z,s, the function (OverHat[Φ])(z,s,a) is a single-valued function on the a-plane cut along the interval (-∞, 0), where (OverHat[Φ])(z,s,a)  is continuous from above. This interval includes an infinite set of branch cut lines of power type along (-∞, -n)/;n∈ℕ.
 For integer s, the function (OverHat[Φ])(z,s,a) does not have branch cuts.

For fixed z,s, the function (OverTilde[Φ])(z,s,a) is a single-valued function on the a-plane cut along the interval (-∞, 0), where (OverTilde[Φ])(z,s,a)  is continuous from above. This interval includes an infinite set of branch cut lines of power type along (-∞, -n)/;n∈ℕ.
 For integer s, the function (OverTilde[Φ])(z,s,a) does not have branch cuts.

With respect to s

For fixed z, a, the function Φ(z,s,a) does not have branch cuts.

For fixed z, a, the function (OverHat[Φ])(z,s,a) does not have branch cuts.

For fixed z, a, the function (OverTilde[Φ])(z,s,a) does not have branch cuts.

With respect to z

Series representations

Generalized power series

Expansions at z==(Subscript[z, 0])

Expansions a z==0

Expansions a z==1

Expansions at s==(Subscript[s, 0])

Expansions at a==(Subscript[a, 0])

Expansions at a==-n

Expansions on branch cuts

Residue representations

Residue representations

Allan Cortzen

Other series representations

Other series representations

Integral representations

On the real axis

Of the direct function

Contour integral representations

Contour integral representations

Allan Cortzen

Transformations

Transformations and argument simplifications

Argument involving basic arithmetic operations

Multiple arguments

Argument involving numeric multiples of variable

Argument involving symbolic multiples of variable

Identities

Recurrence identities

Consecutive neighbors

Distant neighbors

Functional identities

Major general cases

Differentiation

Low-order differentiation

With respect to z

With respect to s

With respect to a

Symbolic differentiation

With respect to z

With respect to s

With respect to a

Fractional integro-differentiation

With respect to z

With respect to s

With respect to a

Integration

Indefinite integration

Involving only one direct function

Involving only one direct function with respect to s

Involving only one direct function with respect to a

Summation

Finite summation

Finite summation

Operations

Limit operation

Limit operation

Representations through more general functions

Through hypergeometric functions

Involving HypergeometricPFQRegularized

Involving HypergeometricPFQ

Through Meijer G

Classical cases for the direct function itself

Classical cases involving unit step UnitStep

Representations through equivalent functions

Interrelations

History

– C. J. Malmstén (1849)
– R. Lipschitz (1857, 1887)
– M. Lerch (1887)
– B.C. Berndt (1972)

Copyright