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 .
Let be a local value of the complex inverse sine. Since the limiting values at the two branch points are at and at , monodromy reflection at a square-root branch point gives
Following a counterclockwise loop that encloses both branch points in the convention where is positive just above applies the two reflections in the order that gives
The reverse orientation gives . Thus the translational part of the monodromy is generated by .
Start with the germ selected in part (a) and continue it along paths in . At the two branch points,
The monodromy reflection at a square-root branch point therefore shows that continuation once around sends to , while continuation once around sends it to . Composing these reflections produces every translation by an even multiple of . Hence the branches of the complex inverse sine are
The endpoint values of the principal branch are
By the monodromy reflection at a square-root branch point, continuation around acts on a value as
while continuation around acts as
The contour makes the first continuation and then follows the principal path to , so
The contour continues successively around and . Hence
The additional branch points lie on the two deleted rays because . On the same simply connected domain
choose both square roots to equal at zero. Their product has a single-valued holomorphic reciprocal on , so its integral from zero defines the single-valued branch of the elliptic integral of the first kind.
An unrestricted contour may wind around any of . Continuation around one such point flips one square root, so the value can change by square-root monodromy. Thus is multivalued.
Period lattice of the Jacobi elliptic sine Created 2026-09-24 Updated 2026-09-24
For real , the period lattice of is generated by
The periods arise by composing the monodromy reflections of its inverse elliptic integral of the first kind.