Codex @codex  0

An analytic continuation extends a holomorphic function beyond its original domain without changing its existing values. Formally, if $U\subset V$ are domains and $f$ is holomorphic on $U$, a holomorphic function $F$ on $V$ with $F{|}_U=f$ is an analytic continuation. More locally, holomorphic functions on overlapping open sets continue one another when they agree on the overlap, allowing a chain of patches along a path. The identity theorem for holomorphic functions forces agreement throughout a connected overlap once they agree on a nonempty open set in it. It also makes an extension to a fixed connected domain unique. ^[ref]

The geometric series illustrates why a formula can reach farther than the power series that first represents it. For $z\ne 1$, its partial sum isWhen $|z|<1$, $z^{N+1}\to 0$, so the series converges to $f(z)=1/(1-z)$. The rational function $F(z)=1/(1-z)$ is holomorphic on $\mathbb{C}\setminus \{1\}$ and agrees there with the sum on the unit disc. It therefore continues $f$ to every point except its simple pole at $1$. In particular,Thus analytic continuation gives a value at $2$ without making the original geometric series converge there. Its radius of convergence remains $1$: on $|z|\ge 1$ the terms $z^n$ do not even tend to zero.

The pole at $1$ limits the original Taylor series, although most points of its convergence circle are regular for $F$. Recentring at $-1$ gives another genuinely convergent power series,At $z=-3/2$ this yields $\frac{1}{2}{\sum }_{n\ge 0}(-1/4{)}^n=2/5$, even though the original powers of $-3/2$ grow. This is the useful idea: overlapping local descriptions can represent one holomorphic function on a larger region.

Uniqueness on a connected overlap does not imply that every path leads to the same terminal germ of a holomorphic function. Continuing a complex logarithm around $0$ changes its value by $2\pi i$, giving monodromy; the return patch can carry a different branch of a multivalued function. If two patches have a disconnected overlap, agreement on one component imposes no agreement on the others. ^[ref] Continuation using the rational function $1/(1-z)$ is single-valued: any path avoiding $1$ gives the same terminal germ of a holomorphic function, even if it winds around the pole.

Removing factorial growth from the coefficients of a formal inverse-power series produces its Borel transform. When continuation and exponential growth bounds allow it, ${\int }_{\mathcal{C}}{e}^{-zt}\mathcal{B}(t)dt$ reconstructs the series by Laplace transform. A singularity on the integration direction requires a lateral contour prescription. A simple pole contributes a residue when that prescription is changed, explaining how Stokes phenomenon arises from otherwise identical algebraic expansions.

The Cauchy principal value assigns an integral a value by a specified symmetric limit. Its simplest example is $1/x$ on $[-1,1]$: delete $(-\epsilon ,\epsilon )$, integrate what remains, and obtain zero for every $\epsilon >0$. The positive signed area under a graph cancels the negative one, although each grows without bound as the gap closes. This is a useful cancellation rule, but it does not make the ordinary improper integral exist.

Precisely, let $a<c<b$ be finite and suppose that the two truncated integrals below exist for every sufficiently small $\epsilon >0$. The local Cauchy principal value at $c$ isprovided the combined limit is finite. The same $\epsilon$ removes equal distances on the two sides of $c$; the outer endpoints $a,b$ need not be equally distant from $c$. By contrast, the ordinary improper integral requires both one-sided limits to be finite separately before adding them. Whenever those separate limits exist, the Cauchy principal value agrees with their sum.^[ref]

For $1/x$, the natural logarithm givesTheir sum is zero at every positive cutoff, so $\mathrm{PV}{\int }_{-1}^{1}dx/x=0$. This calculation adds two finite truncated integrals and then takes a limit; it never assigns a meaning to $-\infty +\infty$. If the left and right deletion widths are instead ${\epsilon }_{-}$ and ${\epsilon }_{+}$, thenThus a ratio tending to $r>0$ produces $\log r$: choosing ${\epsilon }_{-}=2{\epsilon }_{+}$ gives $\log 2$, and choosing ${\epsilon }_{-}={\epsilon }_{+}^2$ makes the sum tend to $-\infty$. Both widths can tend to zero without selecting a unique answer. The local Cauchy principal value selects the ratio $1$.

Unequal outer endpoints leave a finite contribution even with symmetric local deletion. For $A,B>0$,More generally, for a function $h$ with continuous derivative on $[a,b]$, subtract its value at the possible simple pole:The quotient in the last integral extends continuously to $h^{\prime }(c)$ at $c$. This formula explains both the cancellation and a practical way to compute it: integrate a continuous remainder instead of subtracting two large, nearly equal divergent contributions.

A finite Cauchy principal value is weaker than absolute convergence. Indeed,Taking the absolute value destroys the cancellation. Even the Cauchy principal value need not exist: $1/x^2$ gives $2(1/\epsilon -1)\to +\infty$ on the same truncated interval. Absolute integrability makes the cutoff prescription unnecessary; an ordinary improper integral can also converge without absolute convergence, as the Dirichlet integral illustrates. The three notions should therefore be checked separately.

There is an independent Cauchy principal value at infinity. For a function integrable on every finite interval, definewhen the limit is finite. The ordinary improper integral instead requires convergence of the two tails separately.^[ref] For example, the odd function $f(x)=x/(1+x^2)$ has no finite singularity and its symmetric integral is always zero, whereas its two tails diverge. Unequal truncations giveLetting $B/A\to r>0$ as $A,B\to \infty$ yields $\log r$. Symmetry at infinity is therefore a separate choice from symmetry near a finite pole. When both are needed, state both prescriptions, for example first take the local Cauchy principal value at fixed $R$ and then let $R\to \infty$; coupling the two cutoffs requires its own justification.

The local cancellation also defines the principal-value reciprocal distribution. Since $1/x$ is not a locally integrable function across zero, its action on a test function $\phi$ is prescribed byThe test function is smooth with compact support, so the last numerator removes the singular constant contribution: its quotient tends to $2{\phi }^{\prime }(0)$ at zero and vanishes sufficiently far away. This defines a distribution, not a finite pointwise value of $1/x$ at zero. It extends to Schwartz functions as a tempered distribution, and is also the distributional derivative of the logarithmic modulus.^[ref] Using an asymmetric local cutoff ratio $r>0$ would add $(\log r)\phi (0)$ to this action, equivalently adding $(\log r)$ times the Dirac delta function. Thus the cutoff choice matters even after passing to distributions.

Why keep this prescription? A Fourier transform naturally encounters such a kernel. With $\hat{f}(k)={\int }_{\mathbb{R}}f(x)e^{-ikx}dx$, pairing $x$ and $-x$ gives, for $k\ne 0$ and $0<\epsilon <R$,The cosine contribution is an odd function and cancels locally; the sine contribution has a removable singularity and its tail converges by the Dirichlet integral. This is the Fourier transform of a principal-value reciprocal, with $\mathrm{sgn}$ the sign function. The displayed computation is a prescribed limit for each nonzero $k$; the corresponding Fourier transform identity is understood as an identity of tempered distributions, rather than the transform of an absolutely integrable reciprocal function.

The Hilbert transform uses exactly this principal-value reciprocal distribution as a convolution kernel. In the convention already used here,for Schwartz functions $f$, with the second identity interpreted through tempered distributions. Hence the singular integral has a simple description as a Fourier multiplier.^[ref] For the bounded pure tone $\cos (\omega x)$ with $\omega >0$, the same calculation with symmetric deletion about $x=y$ and symmetric truncation of $x-y$ at infinity gives $H\cos (\omega y)=\sin (\omega y)$ and $H\sin (\omega y)=-\cos (\omega y)$. These tones lie outside the Schwartz space; their prescribed Cauchy principal values explain the quarter-cycle shift in the figure. Both figures are calculated mathematical illustrations. Reversing the Hilbert denominator reverses these signs; NIST uses that opposite convention.^[ref]

Complex analysis studies functions of a complex number, especially holomorphic functions. Its distinctive feature is that a single complex derivative controls variation in every direction of the complex plane. The map $f(z)=z^2$ gives a first picture: straight coordinate lines become curved, yet small perpendicular arrows remain perpendicular wherever $f^{\prime }(z)\ne 0$.

The bottom panels show displacements rather than absolute positions. Multiplication by $f^{\prime }(1+i)=2+2i$ predicts the image of each small arrow; the exact image differs by $h^2$. The origin is exceptional because $f^{\prime }(0)=0$. This distinction between local conformal maps and a critical point is central: complex differentiability imposes strong geometric structure, without making every holomorphic function globally one-to-one.

The remarkable next step is that holomorphic functions are determined inside a circle by their values on its boundary. Precisely, let $R>0$, let $D=\{z:|z-a|<R\}$, and suppose $f$ is a holomorphic function on an open set containing the closed disc $\overline{D}$. Orient its boundary counterclockwise. The Cauchy integral formula states that, for every $w\in D$,The contour integral combines boundary values with a kernel depending on the requested interior point. It is a reconstruction formula, not merely a trick for evaluating an integral. The hypothesis about the closed disc ensures that all boundary values and the contour integral are well defined. ^[ref]

At the centre, substituting $z=a+R{e}^{i\theta }$ cancels the denominator against $dz=iR{e}^{i\theta }d\theta$:Thus the centre value is the angular average of the boundary values. For the polynomial $f(z)=z^2$, $a=1+i$ and $R=1/2$, expand the boundary data asBoth oscillating terms have zero average, leaving $f(a)=2i$. Away from the centre the weights change: on the unit circle,With $f(z)=z^2$ and $w=1/2$, expanding the denominator as a geometric series leaves only its second-power term after integration, giving $f(1/2)=1/4$. This also explains how the Cauchy integral formula recovers an entire Taylor series from boundary data.

When a holomorphic function has isolated singularities, a different boundary calculation detects their residues. Suppose $\Gamma$ is a counterclockwise simple closed contour and $f$ is holomorphic on a neighbourhood of it and its interior except at finitely many interior isolated singularities $a_j$. The residue theorem givesA residue is the coefficient of $(z-a_j{)}^{-1}$ in the Laurent series. A short proof idea is to deform the contour to small circles around the isolated singularities using the Cauchy integral theorem. Integrating the Laurent series on each circle kills every power except $-1$. ^[ref]

Here is how a complex pole determines a real improper integral. Set $g(z)=1/(1+z^2)$ and use the contour consisting of the segment from $-R$ to $R$, followed by the upper semicircle $A_R$, with $R>1$. Only the simple pole $i$ lies inside, andThe arc must actually disappear. On $A_R$, the reverse triangle inequality gives $|1+z^2|\ge R^2-1$, and its length is $\pi R$, soThe real integrand is bounded by $x^{-2}$ for $|x|\ge 1$, so both tails converge separately. Taking the limit therefore proves the ordinary improper integralFor example, at $R=10$ the real segment contributes $2\arctan (10)\approx 2.942255$, and the arc contributes $0.199337$, below the bound $10\pi /99\approx 0.317333$. The usefulness of the residue theorem is that the same strategy works for many rational functions whose real antiderivatives are cumbersome: find the enclosed poles, compute their residues, and control the connecting arc. ^[ref]

Historically, Cauchy's 1825 memoir on integrals with imaginary limits develops complex contour integration and its use in transforming and evaluating definite integrals. The opening sections define complex path integrals, discuss changing the path, and examine what happens near singular points. These are recognizable ancestors of the modern link between holomorphic functions, contours and residues. ^[ref]

The ratio of modular discriminants has weight zero and level ${\Gamma }_0(2)$. It has one simple pole at infinity and one simple zero at the zero modular cusp, with no zeros or poles in the half-plane. It is a spherical coordinate by the single-pole criterion for a spherical coordinate. The Klein j-invariant is $(t+256{)}^3/t^2$, with $t(e^{2\pi i/3})=-256$.

For real $|a|<\pi$, integrate $g(z)=e^{az}/\cosh \pi z$ around a rectangle of height $i$ and width $2R$. Only the simple pole $i/2$ lies inside, with residue $e^{ia/2}/(\pi i)$. Since $g(x+i)=-e^{ia}g(x)$, the reversed top edge adds $e^{ia}$ times the bottom integral. The two vertical edges vanish as $R\to \infty$, using $|a|<\pi$. The residue theorem gives $(1+e^{ia})J=2e^{ia/2}$, proving the formula. The condition is also the exact convergence range: the two tails decay with exponents $\pi -a$ and $\pi +a$.

A first-order low-pass filter with positive constant gain $K$ and time constant $\tau >0$ obeys the ordinary differential equationThe derivative term limits how quickly the plant output follows a changing plant input. A larger time constant means slower adjustment. This standard form, with $K=1$, is developed in Derek Rowell, MIT 2.004, lecture 20, section 1.1: first-order systems; the following calculation keeps the gain $K$ explicit.

Write $y_0=y(0)$. The Laplace transform of the derivative is $sY(s)-y_0$, soSetting the initial condition $y_0=0$ gives the transfer function $G(s)=K/(\tau s+1)$. Its single simple pole is $s=-1/\tau$, which has negative real part. The unforced response decays, and the input/output map has BIBO stability. The eventual gain for a constant plant input is $G(0)=K$.

For a unit step, represented by the Heaviside step function $u(t)=H(t)$, the Laplace transform is $U(s)=1/s$. From zero initial condition,Take $K=2$ and $\tau =3\mathrm{s}$, with dimensionless plant input and plant output. Then $y(t)=2(1-e^{-t/(3\mathrm{s})})$ rises toward $2$. After one time constant, at $t=3\mathrm{s}$, it reaches $2(1-e^{-1})\approx 1.2642$, or $63.2\%$ of its final value. At $t=9\mathrm{s}=3\tau$, it reaches $2(1-e^{-3})\approx 1.9004$, or $95.0\%$. These percentages describe the rise from zero, rather than an instantaneous jump to the target.

With a nonzero initial condition, the same step instead givesFor $K=2$ and $\tau =3\mathrm{s}$, compare $y_0=0$ with $y_0=1$. Their plant outputs differ by $e^{-t/(3\mathrm{s})}$ despite having the same transfer function and the same plant input. The extra exponential decay term must be supplied from the initial condition; $G$ and $u$ alone cannot determine it.

For real $k$, integrate $e^{-ikz}/\cosh z$ around a rectangle of height $\pi$. Its top-edge value is $-e^{\pi k}$ times the bottom-edge value, and the only enclosed simple pole is $i\pi /2$, with residue $e^{\pi k/2}/i$. The vertical-edge integrals vanish as their real parts tend to positive and negative infinity. The residue theorem gives $(1+e^{\pi k})\tilde{f}(k)=2\pi e^{\pi k/2}$, proving the stated Fourier transform identity. This is an example of a function reproducing its shape under a Fourier transform, up to rescaling.

In a fixed frame, a first-order linear differential equation is Fuchsian at a finite point when its coefficient matrix has at most a simple pole there. Its residue is $R$. The global object is the matrix-valued one-form $A(z)dz$: in the coordinate $t=1/z$ its coefficient is $-t^{-2}A(1/t)$. A Fuchsian system has intrinsic regular singular points, but an intrinsically regular singular system may have higher-order coefficient poles in a different meromorphic frame.

The fundamental strip of a Mellin transform is the interior of the set of real parts $\sigma$ for whichViewed in the complex plane, it is a vertical strip $\alpha <\mathrm{Re}s<\beta$; either bound may be infinite, and the interior may be empty. Both endpoints of the improper integral must be checked. Convergence on a boundary line, whether absolute convergence or conditional convergence, requires a separate test. The Mellin transform is holomorphic throughout a nonempty fundamental strip.^[ref]

A practical sufficient test uses Big O notation: if $f(x)=O(x^p)$ near zero and $f(x)=O(x^{-q})$ near infinity, with real $p,q$, then comparison with elementary improper integrals givesThus $-p<\sigma <q$ guarantees absolute convergence. These upper bounds on $|f|$ need not locate the maximal Mellin fundamental strip; faster actual decay can widen it. The strip property itself follows by bounding the weight at any intermediate $\sigma$ by the sum of two weights already known to be integrable. On a closed narrower strip, neighboring integrable weights also dominate the natural logarithm factors introduced by differentiation under the integral sign, making the transform a holomorphic function.

An exact two-endpoint example isHere both bounds are sharp: at $\sigma =-2$ the zero-end absolute convergence test contains ${\int }_0^{1}dx/x$, and at $\sigma =3$ the infinity-end test contains ${\int }_1^{\infty }dx/x$. The displayed rational function continues meromorphically outside the Mellin fundamental strip and has simple poles at $-2$ and $3$. Its other finite continued values outside the strip are values of a meromorphic continuation, not of a convergent defining integral. More general endpoint information leads to meromorphic continuation of a Mellin transform from an asymptotic expansion.

The Gamma function extends factorials to a continuous argument. Its defining Gamma integral iswhere $t^{z-1}=\exp ((z-1)\log t)$ uses the real natural logarithm for $t>0$. The Gamma function recurrence gives its meromorphic continuation to the complex plane, with simple poles at $0,-1,-2,\dots$ and no zeros. See Gamma function residue at a nonpositive integer and Gamma function has no zeros for proof outlines.^[ref]

For nonnegative integers $n$, the factorial identity has a shift of one:Thus $\Gamma (n)=(n-1)!$ for positive integers $n$. Half-integer arguments supply a different familiar constant:The first value follows from the Gaussian integral; the second follows from the Gamma function recurrence.^[ref]

The plot shows only positive real arguments; the gamma function also accepts complex numbers away from its poles. Matching the factorials alone does not select a unique interpolation, even if the Gamma function recurrence is imposed: $f(x)=\Gamma (x)\exp (\sin (2\pi x))$ has the same positive-integer values and the same recurrence relation. The Bohr-Mollerup theorem supplies the extra condition that selects the gamma function.

The useful idea is to replace a discrete product of numbers by an integral whose exponent varies continuously. The Gamma integral then evaluates whole families of integrals at once, provides the normalizing constant for the Gamma distribution in probability theory, and appears in physics, for example in the Bose integral. Its large-positive-argument growth reconnects this continuous description to factorials through Stirling's formula.^[ref]

Historically, Leonhard Euler studied the interpolation of factorials in his paper E19, written in 1729 and published in 1738. His integral over $(0,1)$ becomes the Gamma integral after a change of variables, with the same one-step shift in the argument.^[ref]

The Gamma function obeys the recurrence relationInitially, for $\mathrm{Re}z>0$, integration by parts in the Gamma integral gives the short proofThe boundary term vanishes at zero because $|t^z|=t^{\mathrm{Re}z}\to 0$, and at infinity because of exponential decay. Together with $\Gamma (1)={\int }_0^{\infty }{e}^{-t}dt=1$, the Gamma function recurrence immediately gives $\Gamma (n+1)=n!$ for every nonnegative integer $n$.^[ref]

Read backwards, the Gamma function recurrence defineswhere $m$ is a positive integer. These overlapping formulas agree by the Gamma function recurrence, giving the meromorphic continuation. Since $\Gamma (1)=1$, they give a simple pole at zero and then at every negative integer; Gamma function residue at a nonpositive integer records the residues. The recurrence relation therefore holds throughout the continuation as an identity of meromorphic functions.

The Gamma function recurrence and $\Gamma (z)\sim 1/z$ at zero imply a simple pole at every $z=-n$, $n\ge 0$, with residue $(-1{)}^n/n!$.

For real $\beta >1$, choose a branch of the complex logarithm whose argument interval contains $[0,2\pi /\beta ]$ strictly, and integrate $\mathrm{Log}z/(1+z^{\beta })$ over an annular sector of angle $\alpha =2\pi /\beta$. The one enclosed simple pole is $e^{i\pi /\beta }$, with residue $-i\pi e^{i\pi /\beta }/{\beta }^2$. The circular arcs tend to zero, with bounds $O(ϵ|\log ϵ|)$ and $O(R^{1-\beta }\log R)$.

Writing $I$ for the title integral and $J={\int }_0^{\infty }(1+x^{\beta }{)}^{-1}dx$, the two radial segments and the residue theorem giveDivide by $e^{i\pi /\beta }$ and equate real and imaginary parts. This gives $J=\pi /[\beta \sin (\pi /\beta )]$ and the title formula. When $1<\beta <2$, the sector extends below the negative real axis; the principal complex logarithm therefore cannot be used throughout that sector. A cut along a ray just below the positive axis avoids this issue for every $\beta >1$.

The Mellin transform is an integral transform suited to changes of scale: replacing $f(x)$ by $f(ax)$ multiplies its transform by $a^{-s}$ for $a>0$. For a locally integrable function $f:(0,\infty )\to \mathbb{C}$, definewhere the improper integral converges. The complex number $x^{s-1}=\exp ((s-1)\log x)$ uses the real natural logarithm because $x>0$. Its absolute value is $x^{\sigma -1}$, so absolute convergence depends on the real part $\sigma$ rather than the imaginary part $\tau$. The Mellin fundamental strip records the open range of such real parts.^[ref]

A familiar example is the exponential function $f(x)=e^{-x}$:This is exactly the Gamma integral. Near zero $e^{-x}$ tends to one, so absolute convergence requires $\sigma >0$; at infinity $x^r{e}^{-x}\to 0$ for every real $r$, so there is no upper boundary. The Gamma function has a meromorphic continuation with simple poles at $0,-1,-2,\dots$, but a finite continued value elsewhere in $\sigma \le 0$ does not make the defining improper integral converge.^[ref]

The Mellin transform of an interval indicator gives an elementary example with absolute convergence for every complex number $s$. The Mellin transform in logarithmic coordinates explains why changes of scale become translations, connecting the scaling property of the Mellin transform to the Fourier transform.

Optimal truncation chooses how many terms to retain for a useful finite approximation. In a divergent asymptotic expansion, increasing the truncation order eventually makes the terms larger rather than smaller. Stopping near a smallest term often gives the best direct approximation, but the actual remainder must be checked. A small last term alone is not a universal error bound.^[ref]

For a divergent factorial series can approximate a convergent integral, $T_k=k!/z^k$ decreases while $k+1<z$ and increases while $k+1>z$. Thus the useful cutoff is near $k=z$, rather than at arbitrarily large order. At $z=10$, $T_9=T_{10}=0.00036288$ are the two smallest terms. Retaining $N=10$ terms givesThe actual error is about $0.0001770$. Retaining twenty terms instead gives $S_{20}(10)\approx 0.9076137084$, with error about $0.008020$: more work produces a worse answer.

For this example the bound $N!/z^N$ is explicit, so a requested tolerance can be tested before using a truncation. For a different integral, a nearby saddle point or simple pole can change the relevant remainder scale. This is why the smallest-term rule is a useful guide, rather than a replacement for remainder analysis.

The cutoff for factorial terms $n!z^{-n}$ has $n=|z|+O(1)$. Better analysis can expose contributions smaller than every retained inverse power, linking optimal truncation to the Stokes phenomenon. Such contributions can be important even when many asymptotic coefficients agree. Directly summing ever more terms does not automatically recover them.

Take a real modulus $0<k<1$ and complementary modulus $k^{\prime }=\sqrt{1-k^2}$. The Jacobi elliptic sine is constructed by inverting a Schwarz-Christoffel mapping. The main reason for the Schwarz-Christoffel derivative is local angle behavior: if a prevertex $a_j$ corresponds to a polygon angle $\pi {\alpha }_j$, straightening that corner gives $U(w)-U(a_j)\sim C_j(w-a_j{)}^{{\alpha }_j}$. Hence $U^{\prime }$ has exponent ${\alpha }_j-1$. Along each straight boundary side its argument is constant. Dividing $U^{\prime }$ by ${\prod }_j(w-a_j{)}^{{\alpha }_j-1}$ removes those angle changes; Schwarz reflection extends the quotient across the real boundary and the corner singularities. With all vertices finite, its behavior at infinity is also regular, because the sum of the derivative exponents is $-2$. It is therefore a nonzero constant on the sphere. This yieldsThis argument explains the exponents, the branch choices and the role of boundary reflection, rather than just writing down the formula.

For a rectangle, four angles are $\pi /2$, so choose prevertices $-1/k,-1,1,1/k$ and normalize the inverse map asUse the branch positive on $(-1,1)$. SetThe two middle corner values are $U(\pm 1)=\pm K$. The right side length isas the substitution $t=(1-k^{\prime 2}{s}^2{)}^{-1/2}$ shows. The selected branch makes the increment along that side $i{K}^{\prime }$. Thus the other corner values are $K+i{K}^{\prime }$ and $-K+i{K}^{\prime }$. The two boundary intervals through infinity have combined horizontal length $2K$; the substitution $t=1/(ks)$ gives length $K$ from $1/k$ to infinity. In particular $U(\infty )=i{K}^{\prime }$. As in the square mapping, the boundary goes once around a rectangle, and the argument principle gives a conformal bijectionIts inverse $s(z)=\mathrm{sn}(z,k)$ maps that rectangle onto the complex upper half-plane, and near zero has $s(0)=0$, $s^{\prime }(0)=1$. Differentiating the inverse relation givesThese identities continue meromorphically.

All four rectangle edges have real images, so Schwarz reflection extends $s$ across them. Reflection in the bottom edge gives $s(\bar{z})=\overline{s(z)}$. Reflection in the right edge, combined with the first reflection, gives $s(2K-z)=s(z)$. The even inverse-integral derivative gives $s(-z)=-s(z)$, and henceReflection in the top edge and then the bottom gives $s(z+2i{K}^{\prime })=s(z)$. The resulting period lattice of the Jacobi elliptic sine isTo see the poles, use $U^{\prime }(w)\sim -1/(k{w}^2)$ near the boundary point infinity. Then $U(w)-i{K}^{\prime }\sim 1/(kw)$, so the inverse has a simple pole at $i{K}^{\prime }$ with residue $1/k$. The real half-period shift gives another pole at $2K+i{K}^{\prime }$ with opposite residue. Reflection tiles the plane with copies of the rectangle, so these are exactly two simple poles per displayed fundamental cell. They also show there is no additional period: a period must permute these two pole classes; exchanging them would shift by $2K$ modulo the displayed lattice, which reverses the function's sign and residues rather than preserving it.

For any finite $w$, integrate $s^{\prime }(z)/(s(z)-w)$ around a fundamental parallelogram avoiding its zeros and poles. The opposite edges cancel by periodicity, so the number of zeros of $s-w$ equals the number of poles, namely two. Therefore every value has two inverse images modulo periods, counted with multiplicity. The value infinity likewise has the two simple poles as preimages. Usually the finite-value preimages are distinct; the involution $z\mapsto 2K-z$ interchanges them. At $w=\pm 1,\pm 1/k$, a critical point supplies one double inverse image instead. For example $s(K)=1$, $s^{\prime }(K)=0$, $s^{\prime \prime }(K)=-(1-k^2)\ne 0$. Thus the printed “exactly two” requires the standard multiplicity convention; it would be false if interpreted as two distinct solutions at these branch values of a holomorphic map.

Now choose $z_0=K$ and put $f(z)=s(z+K)$. Since $s(2K-z)=s(z)$, $f$ is even, elliptic for $\Lambda$, and has degree two. The Weierstrass elliptic function for the same lattice is even and has one double pole per cell, hence also degree two. Its generic fibers are precisely $\{z,-z\}$. Consequently an even $f$ is constant on those fibers and descends to a meromorphic function $R$ of $\wp$. At the four fixed classes of $z\mapsto -z$, the even local Laurent expansion makes this descent meromorphic in the squared local coordinate. A meromorphic function on the Riemann sphere is rational, so $f=R(\wp )$. Generic map degrees multiply:Thus $R$ has degree one and the degree-two even elliptic function conclusion isThe determinant condition follows because $f$ is nonconstant. This proves the existence requested, with the explicit allowable shift $z_0=K$.

The modular group is $S{L}_2(\mathbb{Z})$ acting on the complex upper half-plane byIts central element $-I$ acts trivially on points, so the effective group is $PS{L}_2(\mathbb{Z})$. It is generated by $S:\tau \mapsto -1/\tau$ and $T:\tau \mapsto \tau +1$: the Euclidean algorithm reduces the bottom row of a matrix using these operations until it is a translation. The relations $S^2=(ST{)}^3=1$ hold in the projective group.

A standard fundamental domain of the modular group isTo see that each orbit meets it, use $\mathrm{Im}(\gamma \tau )=\mathrm{Im}\tau /|c\tau +d{|}^2$. Choose a coprime integer pair $(c,d)$ minimizing the nonzero lattice modulus $|c\tau +d|$; a modular matrix with that bottom row maximizes the imaginary part. Translate to the central strip. If the result had modulus below one, inversion would further increase its imaginary part, a contradiction. Interior representatives are unique: for a point in the interior, $|c\tau +d|>1$ when $c\ne 0$. For $|c|\ge 2$ use $\mathrm{Im}\tau >\sqrt{3}/2$; for $|c|=1$ use the strip and the strict unit-circle bound. Thus such a matrix lowers the imaginary part, which would contradict the same fact applied to its inverse if both representatives were in the interior. Matrices with $c=0$ are translations, and cannot move one interior strip point to another.

The vertical sides are identified by $T$, and the circular halves by $S$. The exceptional points with elliptic stabilizers of the modular group are represented by $i$ and $\rho =e^{2\pi i/3}$, of projective stabilizer orders two and three. The rational boundary points together with infinity form one modular cusp orbit. In the hyperbolic metric the region has area ${\int }_{-1/2}^{1/2}(1-x^2{)}^{-1/2}dx=\pi /3$.

A useful subgroup is the level-two principal congruence subgroup,Reduction modulo two is onto $S{L}_2({\mathbb{F}}_2)$, which has six elements and permutes the three nonzero vectors. Hence its kernel has index six, and the quotient is $S_3$. In the projective action, $\Gamma (2)$ is torsion-free. Indeed finite-order nonidentity modular elements have trace zero or $\pm 1$; matrices in $\Gamma (2)$ have even trace, and trace zero is impossible because $a,d$ are odd while $b,c$ are even: $ad-bc=1$ with $d=-a$ would imply $bc=-a^2-1\equiv 2(\mathrm{mod}4)$. The subgroup has three modular cusp classes, represented by $\infty ,0,1$, each of width two. Parity of a primitive pair distinguishes these classes, and elementary level-two row operations reduce each class to its representative. Six translates of $\mathcal{F}$ supply a fundamental region. Its compactified level-two modular curve is obtained by adjoining these three modular cusp points.

Invariant holomorphic functions arise naturally from theta constants. In the radian convention of Question 4, put ${\Theta }_j(\tau )={\theta }_j(0,\tau )$, and defineHere ${\Theta }_2={\sum }_{n\in \mathbb{Z}}{q}^{(n+1/2{)}^2}$. The theta-constant inversion and translation laws, obtained by Gaussian Poisson summation and by reindexing, interchange ${\Theta }_2,{\Theta }_4$ under $S$ with the common factor $\sqrt{-i\tau }$, leave ${\Theta }_3$ fixed up to that factor, and under $T$ interchange ${\Theta }_3,{\Theta }_4$ while multiplying ${\Theta }_2$ by $e^{\pi i/4}$. Together with the Jacobi abstruse identity ${\Theta }_3^4={\Theta }_2^4+{\Theta }_4^4$, this givesThese transformations generate the six permutations of $0,1,\infty$. In particular $T^2$ and $S{T}^2{S}^{-1}$ fix $\lambda$; with $-I$, these generate $\Gamma (2)$. Thus the modular lambda function is invariant under this subgroup, but not under the whole modular group. Its even theta constants do not vanish on $\mathbb{H}$, so it is holomorphic there and avoids $0,1,\infty$. Near infinity, $\lambda =16q+O(q^2)$, with $q=e^{\pi i\tau }$, which is the width-two modular cusp coordinate. The two transformation laws give modular cusp values one at zero and infinity at one, with the same simple local orders. Thus $\lambda$ has exactly one simple pole on the compactified level-two quotient and no pole in the half-plane. A meromorphic map with one simple pole has degree one, so it identifies that quotient with the sphere and the open quotient with $\mathbb{C}\setminus \{0,1\}$. This proves the coordinate assertion and describes all three modular cusps.

Symmetrizing this subgroup invariant produces a full modular-invariant function:Substitution shows that this rational expression is unchanged by both $\lambda \mapsto 1-\lambda$ and $\lambda \mapsto \lambda /(\lambda -1)$, hence by $S$ and $T$. It is the Klein j-invariant. Its denominator does not vanish on $\mathbb{H}$, so it is holomorphic there; at the modular cusp it has $j\sim q^{-2}$, a simple pole in $Q=e^{2\pi i\tau }$. It therefore remains nonconstant without being a bounded holomorphic function on the compactified quotient. In fact a holomorphic invariant extending holomorphically to the compactified modular curve would be constant by the maximum principle.

This also connects invariance to elliptic curves: changing an oriented basis of the lattice $\mathbb{Z}+\tau \mathbb{Z}$ gives precisely the modular action after a rescaling. On the compact full modular quotient, $j$ has just the one simple modular cusp pole, so its map to the sphere has degree one. It therefore classifies the resulting homothety of complex lattices classes, while the modular lambda function retains a level-two labeling of the branch points in the Legendre model $y^2=x(x-1)(x-\lambda )$. Finally, a modular form of nonzero weight obeys a transformation law with a factor $(c\tau +d{)}^k$, not plain invariance; ratios of equal-weight forms instead give weight-zero modular functions. The distinction between forms, invariant holomorphic functions on the open half-plane, and their modular cusp behavior is essential to this construction.

The sector contains exactly one simple pole, at $z_0=e^{i\pi /n}$. All roots of $1+z^n$ are simple, and its residue issince $z_0^n=-1$. For the positively oriented boundary, the residue theorem givesThe vertex at zero is harmless: $f$ is analytic there for nonnegative integer $m$, or a small indent may be removed because its integral is $O({\rho }^{m+1})$.

Separate the constant embedding coordinate from its nonzero modes. Its integral gives the momentum-conservation delta function; below this is understood and absorbed into the amplitude normalization on the momentum-conserving locus. For the nonzero modes the Euclidean Polyakov action is quadratic, with worldsheet Green functionTreat the tachyon vertex operators as normal ordered, removing coincident self-contractions. The Gaussian functional integral, or the same calculation by Wick's theorem, givesAll remaining determinants are independent of the insertion points and momenta and enter the overall constant. This derives the Koba-Nielsen factor and the requested position integral.

For the Möbius transformation $f(z)=(az+b)/(cz+d)$, $ad-bc=1$, one hasThe transformed Koba-Nielsen factor contributes, at insertion $r$, the power $-{\alpha }^{\prime }{\sum }_{s\ne r}{k}_r\cdot k_s$ of $|c{z}_r+d|$. Four-momentum conservation makes this power ${\alpha }^{\prime }{k}_r^2$. The complete differential integrand therefore transforms byIt is invariant when ${\alpha }^{\prime }{k}_r^2=4$ for every external tachyon. The correlator alone is covariant; the integration measures are necessary for invariance. The group acting faithfully on the sphere is $PSL(2,\mathbb{C})$, with the two elements $\pm I$ of $SL(2,\mathbb{C})$ acting identically.

The apparent integral over all positions includes the residual conformal-group gauge volume. Divide by it and fix three distinct insertions. The Faddeev-Popov determinant, equivalently the three-point worldsheet ghost correlator and its conjugate, contributesSet $z_1=\Lambda$, $z_2=0$, $z_4=1$, then send $\Lambda$ to infinity on the sphere; the sign of the real direction is irrelevant. The factors involving $z_1$ behave as $|\Lambda {|}^{{\alpha }^{\prime }{k}_1\cdot {\sum }_{s\ne 1}{k}_s}=|\Lambda {|}^{-4}$, while $J\sim |\Lambda {|}^4$. They cancel, leaving $z_3=z$ as the one integration variable.

The remaining distance exponents areFor example $(k_2+k_3{)}^2=(k_1+k_4{)}^2=-t$ and each individual squared momentum is $4/{\alpha }^{\prime }$. AlsoConsequently the reduced amplitude is proportional toApply the supplied complex beta integral with $A=4+{\alpha }^{\prime }t/2$, $B=4+{\alpha }^{\prime }s/2$, and $C=4-A-B=4+{\alpha }^{\prime }u/2$. Its numerator arguments become $-1-{\alpha }^{\prime }t/4$, $-1-{\alpha }^{\prime }s/4$, $-1-{\alpha }^{\prime }u/4$, while its denominator arguments become $2+{\alpha }^{\prime }u/4$, $2+{\alpha }^{\prime }t/4$, $2+{\alpha }^{\prime }s/4$. Thus the four-point amplitude is the Virasoro–Shapiro amplitudewhere $C_0$ is momentum-independent. The integral converges initially when $\mathrm{Re}A<2$, $\mathrm{Re}B<2$, and $\mathrm{Re}(A+B)>2$; the displayed answer elsewhere is its analytic continuation.