An analytic continuation extends a holomorphic function through overlapping connected open sets while preserving its values on their overlap. Continuation along different paths can produce different germs when the domain contains branch points.
Zeta function regularization assigns a finite value to a divergent spectral sum by first forming a convergent complex-power series and then using its analytic continuation. For positive frequencies , continue to to define a regulated frequency sum, when that continuation is regular there. This does not turn the divergent positive-term sum into an ordinary convergent sum. It is a useful subtraction convention for the normal-ordering constant of a string and for vacuum energies.
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 .
A meromorphic continuation extends a holomorphic function from a connected open set to a larger connected domain as a meromorphic function, allowing isolated poles. Equality on the initial open set determines the extension uniquely by the identity theorem. Integral formulas whose integrands depend holomorphically on a parameter often supply such an extension after contour deformation or subtraction of singular terms.
As distributions on the real line,The Sokhotski--Plemelj formula relates the two boundary values of a Cauchy transform across its contour and fixes the spectral delta functions generated by retarded and advanced prescriptions.
If a function element can be analytically continued along every path in a domain, continuation along two endpoint-fixed homotopic paths gives the same terminal germ.
For a covering and base point , lifting loops based at permutes the fibre . The image ofis the monodromy group.
A connected three-sheeted cover has transitive monodromy. If it also has a simple branch point, its monodromy contains a transposition and must be the full symmetric group on three letters. A local triple branch supplies a three-cycle explicitly.
The degree-four rational map has branch values . Away from their inverse images, the transformationsare commuting deck involutions. They generate a Klein four-group acting transitively on each fibreConsequently the monodromy group is , acting by the identity and the three double transpositions.
Articles by others on the same topic
visualizing the Riemann hypothesis and analytic continuation by 3Blue1Brown (2016) is a good quick visual non-mathematical introduction is to it.
The key question is: how can this continuation be unique since we are defining the function outside of its original domain?
The answer is: due to the identity theorem.