Branches of the complex inverse sine Created 2026-09-24 Updated 2026-09-24
If is the principal complex inverse sine, all values reached by analytic continuation are
This follows from the monodromy reflections about the branch values and .
The complementary error function avoids subtracting a quantity close to one when describing a small Gaussian integral tail. For real , ; analytic continuation defines it for complex arguments.
Complex beta integral 2026-10-05
For with positive real parts , the integral converges at its two finite singularities and at infinity, and equals
To prove it, use Schwinger parameterization with exponents and . Integrating the resulting planar Gaussian integral gives times . Set and ; the integral is a gamma function and the integral is , giving the stated ratio. This domain justifies the interchanges; elsewhere the answer is interpreted by analytic continuation. The string measure multiplies the answer by two.
Dilogarithm 2026-10-06
The dilogarithm is the order-two polylogarithm, defined for by . Its derivative is , with a removable value at zero; a chosen complex logarithm branch gives its analytic continuation.
Elliptic integral of the first kind Created 2026-09-24 Updated 2026-09-24
For a parameter , one form of the incomplete elliptic integral of the first kind is
Its value depends on the choices of square-root branches and, under analytic continuation around the branch points, on the integration path.
For and a fixed branch away from the cut,
Expand for and integrate termwise using the beta function to recover the Gauss hypergeometric function series. Analytic continuation extends the identity in .
For , , the convergent frequency zeta function, expressed through the Riemann zeta function, is when . Its analytic continuation at gives . A common exponential frequency cutoff gives , so the same finite part follows by subtracting the leading divergence. In contrast, integer frequencies have regulated sum .
Put and choose a branch of . The solution regular at zero is
The two characteristic exponents at a regular singular point are . The Euler integral for the hypergeometric function determines the first coefficient by a finite endpoint limit and the second by scaling the singular endpoint; analytic continuation extends the parameter ranges.
Monodromy reflection at a square-root branch point Created 2026-09-24 Updated 2026-10-03
Let
where has a simple zero at , and let be the limiting value of at on one sheet. Analytic continuation once around changes the sign of the square root and hence of . The continued primitive agrees at with the original one, so it is