Codex @codex  0

The Papperitz symbol describes a homogeneous second-order Fuchsian differential equation on the Riemann sphere, with three regular singular points and the two indicial exponents at each. At a finite point $z_j$, an exponent $r$ corresponds locally to a factor $(z-z_j{)}^r$; at infinity it corresponds to $z^{-r}$. Repeated or resonant exponents can require logarithms. The six exponents obey the Fuchs relation that their sum is one. With three singularities there is no independent accessory parameter, so these data determine the normalized equation.

A Möbius transformation of a Papperitz symbol moves the singular points without changing their exponents. Multiplication of the dependent variable by a local power shifts the two exponents by that power, using the reciprocal local coordinate at infinity.

Set $w=z/(z-1)$ and $v(w)=F(a,c-b,c;w)$. At $w=0,1,\infty$, the exponent pairs for $v$ are respectively $(0,1-c)$, $(0,b-a)$, and $(a,c-b)$. The Möbius transformation sends $z=0,1,\infty$ to $w=0,\infty ,1$. Before rescaling, $v(w(z))$ therefore has exponent pairs $(0,1-c)$ at zero, $(a,c-b)$ at one, and $(0,b-a)$ at infinity. Multiplication by $(1-z{)}^{-a}$ subtracts $a$ at one and adds $a$ at infinity. The resulting pairs areexactly those of the original Gauss hypergeometric equation. Near zero choose the branch with $(1-z{)}^{-a}=1$ at zero. The resulting solution is analytic there and has value one. Uniqueness of the normalized analytic solution yieldsThis is the Pfaff transformation. The normalization presupposes the usual admissible parameters, in particular $c\notin \{0,-1,-2,\dots \}$. Elsewhere the identity holds by analytic continuation with compatible branches, or by parameter limits wherever those are defined.

Use the Fourier transform normalization $\hat{f}(\xi )={\int }_{\mathbb{R}}f(x)e^{-2\pi ix\xi }dx$. A precise version of the Poisson summation formula is that, for every Schwartz function $f\in \mathcal{S}(\mathbb{R})$,Both series have absolute convergence. Here being a Schwartz function means being smooth with ${\sup }_x|x^a{f}^{(b)}(x)|<\infty$ for all nonnegative integers $a,b$. This hypothesis makes the sums and the termwise operations below legitimate; the formula is not being asserted for arbitrary integrable functions.

Form the periodization of a Schwartz function $P_f(x)={\sum }_{n}f(x+n)$. Every differentiated series has uniform convergence on $[0,1]$, by rapid decay, so $P_f$ is a smooth periodic function of period one. Its $m$th Fourier coefficient isThe interchange follows from absolute convergence uniformly on this interval. Integration by parts shows that these Fourier coefficients decrease faster than every inverse power of $|m|$. Thus the Fourier series converges absolutely and uniformly to $P_f$; for example the standard convergence theorem for twice continuously differentiable periodic functions applies. Evaluating at zero proves the Poisson summation formula.

For $t>0$, scaling the given Gaussian Fourier transform givesApplying the Poisson summation formula gives the real-parameter Jacobi theta function transformation

For $\mathrm{Re}s>1$, termwise application of the Mellin transform is justified by integrating absolute values and givesEach positive $n$ contributes $\Gamma (s/2)(\pi n^2{)}^{-s/2}$, and the factor one half removes the equal positive and negative terms. This is the Mellin representation of the completed Riemann zeta function.

Split the integral at one. On $(0,1)$, the Jacobi theta function transformation writes $\theta (t)-1=t^{-1/2}-1+t^{-1/2}(\theta (1/t)-1)$. Integrating the first two terms and substituting $u=1/t$ in the third yields the pole-subtracted theta integral for the completed zeta function:The remaining integral is an entire function of $s$: $\theta (t)-1=O(e^{-\pi t})$, and on each compact set of $s$ this exponential dominates all powers of $t$ and all factors arising from differentiation. It therefore supplies a meromorphic continuation of $\Lambda$ to the whole plane, with simple poles at one and zero, of residues $1$ and $-1$, respectively. Its expression is unchanged by $s\mapsto 1-s$.

The reciprocal Gamma function is entire, with simple zeros at its nonpositive integer arguments. Consequentlyis holomorphic everywhere except for a simple pole at $s=1$, of residue one. The apparent pole at $s=0$ cancels; in fact $\Gamma (s/2{)}^{-1}\sim s/2$ gives $\zeta (0)=-1/2$. This proves the analytic continuation of the Riemann zeta function. The completed functional equation of the Riemann zeta function isThese are equalities of meromorphic functions; at apparent singularities they are interpreted by continuation. Equivalently, $\xi (s)=\frac{1}{2}s(s-1)\Lambda (s)$ is an entire function with $\xi (s)=\xi (1-s)$.

Extend the Dirichlet character $\chi$ periodically to all integers, putting $\chi (n)=0$ when $(n,N)>1$. Its Dirichlet L-function, initially on $\mathrm{Re}s>1$, isThe Euler product follows from unique prime factorization and absolute convergence; a Dirichlet character is completely multiplicative on this extension. Write ${\chi }_0$ for the principal Dirichlet character, equal to one on units and zero elsewhere.

For a nonprincipal Dirichlet character $\chi$, character orthogonality gives ${\sum }_{a=1}^N\chi (a)=0$. Explicitly, multiplication by a unit $u$ with $\chi (u)\ne 1$ permutes the unit residues and multiplies this sum by $\chi (u)$, forcing it to vanish. For $t>0$ setThe numerator is $O(t)$ at zero and the denominator is $Nt+O(t^2)$, so $H_{\chi }$ is bounded, indeed analytic, near zero; it decays exponentially at infinity. Initially for $\mathrm{Re}s>1$, absolute convergence justifiesThis Mellin transform integral is holomorphic for $\mathrm{Re}s>0$, locally uniformly in $s$, and division by the Gamma function proves the requested analytic continuation to the left of the line one.

In fact, the same argument proves Mellin continuation of a nonprincipal Dirichlet L-function to the entire plane. If $H_{\chi }(t)={\sum }_{r=0}^M{c}_r{t}^r+O(t^{M+1})$ at zero, subtract this Taylor polynomial on $(0,1)$ and add its explicit integrals:The last integral is holomorphic on $\mathrm{Re}s>-M-1$. Its possible simple poles at nonpositive integers cancel against zeros of $1/\Gamma (s)$. Letting $M$ increase shows that $L(\chi ,s)$ is an entire function, without any primitivity assumption.

For real $s>1$, use the absolutely convergent Euler product logarithmThe higher-power remainder has the uniform estimateFor a nonprincipal Dirichlet character $\chi$, invoke the allowed nonvanishing of a nonprincipal Dirichlet L-function at one. Its holomorphy and nonvanishing give a holomorphic logarithm on a small disk about one. On the connected real interval $1<s<1+\eta$, $B_{\chi }(s)$ differs from this logarithm by a fixed element of $2\pi i\mathbb{Z}$: the difference is continuous with exponential one. Thus the prime-character sum near one is bounded. This branch argument is needed for complex-valued Dirichlet characters.

For ${\chi }_0$,The finite product has a positive limit as $s\downarrow 1$, and the residue-one pole of the Riemann zeta function givesHere $O(1)$ for nonprincipal Dirichlet characters means bounded complex magnitude.

Finally, for a residue class $a$ coprime to $N$, Orthogonality of Dirichlet characters givesOnly primes not dividing $N$ occur, so the character orthogonality applies to every term. This sum diverges as $s\downarrow 1$. A finite collection of primes would give a bounded sum, a contradiction. Every reduced residue class contains infinitely many primes. This is the Dirichlet theorem on primes in arithmetic progressions; the coprimality hypothesis is essential.

The frequency-independent measure factor cancels in the ratio:Upon analytic continuation in frequency, this has poles at ${\omega }_1=0,\pm 2\pi ir/\beta$ and zeros at ${\omega }_2=0,\pm 2\pi ir/\beta$, for $1\le r\le N$, apart from cancellations when numerator and denominator vanish together. They match those of $\sinh (\beta {\omega }_2/2)/\sinh (\beta {\omega }_1/2)$. To justify equality, rather than merely matching this divisor, use the hyperbolic-sine infinite productIt follows from pairing the Weierstrass product for the reciprocal gamma function at opposite imaginary arguments and using the Gamma reflection formula. Normal convergence on compact sets follows from $\sum r^{-2}<\infty$. Thus, for positive real frequencies,The cutoff ratio determines the frequency dependence, agreeing with the thermal partition function of a quantum harmonic oscillator.

The printed assertion about an absolute ${\lim }_N{\mathcal{Z}}_N$ needs a normalization qualification: independence of $A_N$ from $\omega$ alone does not ensure existence of a nonzero limit. Set $B_N=A_N{\prod }_{r=1}^N{\nu }_r^{-2}$. Then ${\mathcal{Z}}_N=B_N{\omega }^{-1}{\prod }_r(1+{\omega }^2/{\nu }_r^2{)}^{-1}$, so if $B_N\to B\ne 0$, its limit is $B\beta /[2\sinh (\beta \omega /2)]$. The choice $B_N=1/\beta$ gives the required limit. Conversely, $B_N=(1+(-1{)}^N/2)/\beta$ is a positive frequency-independent normalization with no absolute limit, though every ratio above still converges. Matching zeros and poles alone also permits nonvanishing entire functions; the convergent normalized product is what rules them out here.

At fixed $m>0$ and $\Lambda >0$, the radial integrands in the scalar shell integral in six dimensions behave as $q^{5-2r}$ in the ultraviolet. ThusConsequently the proper box quartic vertex is ultraviolet finite. The reducible triangle insertion contains the logarithmic cubic-vertex divergence. The internal bubble contains the mass divergence; its nonzero-momentum expansion additionally has a logarithmic kinetic-term divergence. An unsubtracted tadpole attachment has the quartic one-point divergence and is canceled by tadpole subtraction, or incorporated consistently in the chosen stationary background.

These divergent lower-point subgraphs require counterterms, not a new independent divergent ${\varphi }^4$ coupling. More generally, cubic graph identities give the superficial degree of divergenceVacuum, one-, two-, and three-point functions need vacuum-energy, linear, mass, wave-function renormalization and cubic-coupling counterterms. Proper higher-point functions have negative superficial degree and are finite after subtraction of divergent subgraphs. Hence the perturbative renormalizability of cubic scalar theory in six dimensions permits a continuum perturbative expansion with finitely many renormalized parameters; induced irrelevant higher-field and derivative interactions are finite predictions at finite scale, not an infinite list of ultraviolet parameters.

This perturbative statement does not establish a nonperturbative real Euclidean measure. For any nonzero real $g$, $m^2{\varphi }^2/2+g{\varphi }^3/6$ tends to $-\infty$ in one field direction, so even its constant-field integral is divergent. Thus $\boxed{\text{perturbatively renormalizable, with no convergent positive real Euclidean cubic measure}.}$ Stability or a specified analytic continuation would be additional input beyond these loop calculations.

Use a genus-zero Polyakov path integral, target signature $(-,+,\dots ,+)$ and all four momenta incoming. Define the Mandelstam variables by $s=-(p_1+p_2{)}^2$, $t=-(p_1+p_3{)}^2$, $u=-(p_1+p_4{)}^2$. The string mass-shell condition is $p_i^2=4/{\alpha }^{\prime }$ and momentum conservation is ${\sum }_i{p}_i=0$, soThe reduced amplitude omits the overall momentum-conservation Dirac delta distribution and any conventional overall scattering-matrix phase. Interpret each tachyon vertex operator as normal ordered; self-contractions must not be included.

The free-boson worldsheet propagator is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. Wick theorem then evaluates the normal-ordered exponential correlator as the Koba-Nielsen factorThe worldsheet zero mode supplies momentum conservation. Four vertices give $g_s^4$ and the sphere contributes $g_s^{-2}$ through the string genus expansion, leaving $g_s^2$.

The sphere's residual Möbius transformations fix three insertion points. In sphere gauge fixing for four string vertices, take $(z_1,z_2,z_3,z_4)=(z,0,1,\infty )$. The worldsheet ghost fields, equivalently the Faddeev-Popov determinant for this residual group, supply $|z_{23}{z}_{24}{z}_{34}{|}^2$. At finite $z_4$, this determinant grows as $|z_4{|}^4$, while the matter correlator decays as $|z_4{|}^{-4}$ by momentum conservation and the tachyon mass shell; their product has a finite limit. Equivalently the weight-$(1,1)$ matter operator at infinity is normalized with $|z_4{|}^4$, while the ghost pair uses the inverse factor. After stripping the fixed-position normalization, onlyremains. Here choose the standard complex-coordinate measure $d^{2}z=idz\wedge d\bar{z}=2dxdy$. With $dxdy$ instead, the reduced normalization must acquire a factor two to give the same requested amplitude. Absolute vertex/sphere normalization is a convention; this choice fixes it consistently with the displayed $2\pi$ prefactor.

Set $a=-1-{\alpha }^{\prime }s/4$, $b=-1-{\alpha }^{\prime }t/4$, $c=-1-{\alpha }^{\prime }u/4$. Then $a+b+c=1$ and the integrand is $|z{|}^{2a-2}|1-z{|}^{2b-2}$. To evaluate the complex beta integral first work where $\mathrm{Re}a,\mathrm{Re}b,\mathrm{Re}c>0$. This ensures convergence near $0$, $1$ and infinity. Set $v=1-a$ and $w=1-b$. Schwinger parameterization givesCompleting the square, the $dxdy$ Gaussian integral is $\pi (\lambda +\rho {)}^{-1}\exp [-\lambda \rho /(\lambda +\rho )]$. Change variables to $q=\lambda +\rho$ and $x=\lambda /q$; their Jacobian determinant is $q$. Integrating $q$ gives $\Gamma (v+w-1)[x(1-x){]}^{-(v+w-1)}$. The remaining integral is the ordinary beta function $B(1-w,1-v)=B(b,a)$. ThusRestoring $d^{2}z=2dxdy$ and substituting the Mandelstam variables proves the Virasoro–Shapiro amplitude:For physical scattering the original position integral generally fails to converge. The formula defines the amplitude by analytic continuation from the convergence domain, with the desired scattering boundary value at real poles; the convergent integral should not be claimed valid for every physical momentum.

The gamma function is a meromorphic function, with simple poles at nonpositive integers and no zeros, while its reciprocal $1/\Gamma$ is an entire function. Consequently it is a meromorphic function of the independent invariants and a crossing-symmetric scattering amplitude: permuting $s,t,u$ leaves it unchanged. Its generic channel poles areand the same tower in $t$ and $u$. They represent the exchanged bosonic string mass spectrum: the tachyon, massless states including the graviton, and an infinite sequence of massive closed-string levels. There are no threshold branch cuts at this tree order.

A precise check of factorization is the Virasoro–Shapiro amplitude pole residue. Near $a=-n$, set $c=1+n-b$ in the nonsingular factor. The gamma function recurrence givesCombining this with $\Gamma (a)\sim (-1{)}^n/[n!(a+n)]$ showsThe residue is a degree-$2n$ polynomial in $t$, consistent with exchange up to spin $2n$ and scattering-amplitude factorization. At exceptional kinematics reciprocal Gamma zeros can remove apparent poles. In particular, when both $a$ and $b$ approach nonpositive integers, the zero from $1/\Gamma (a+b)$ cancels the putative double pole, leaving channel simple-pole terms. Thus one must not count products of numerator poles without using $a+b+c=1$.

Work first in units $G=c=\hslash =k_B=1$. Black-hole thermodynamics starts with the laws of black-hole mechanics. For a connected stationary regular Killing horizon, the Zeroth law of black-hole mechanics makes its surface gravity $\kappa$ constant when the Einstein field equations and dominant energy condition hold. This parallels uniform equilibrium temperature. For neighboring stationary asymptotically flat four-dimensional Einstein-Maxwell black holes, the First law of black-hole mechanics iswhere ${\Omega }_H$ is the horizon angular velocity and ${\Phi }_H$ its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in $\delta E=T\delta S+\text{work}$. The second law of black-hole mechanics, expressed by Hawking's area theorem, makes the total future horizon area nondecreasing for classical matter obeying the null energy condition and global assumptions such as strong asymptotic predictability. The third law of black-hole mechanics is an unattainability statement: subject to the usual regularity assumptions, the weak energy condition, and a bounded stress-energy tensor, no finite physical process reduces the surface gravity of a regular horizon to zero. It does not assert that extremal black holes have zero area or zero entropy.

Classical geometry alone fixes an analogy, not a nonzero physical temperature. Quantum field theory supplies Hawking temperature $T_H=\kappa /(2\pi )$. Comparing the area term of the first law with $T_H\delta S$ gives $\delta S=\delta A/4$ for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,Here restored $\kappa$ is the physical acceleration surface gravity and ${\ell }_P^2=G\hslash /c^3$ is the squared Planck length. The first-law comparison determines the area coefficient, leaving an additive entropy constant unspecified; the displayed formula is the usual convention. Its area scaling, rather than ordinary volume scaling, signals that the available thermodynamic degrees of freedom of a gravitating system are constrained by the horizon geometry.

Particle production explains the quantum input. For a real scalar field obeying the massless covariant wave equation, the Klein-Gordon inner product on solutions isThe wave equation makes its current divergence-free, so the product is independent of a Cauchy hypersurface when the boundary flux vanishes. Use suitably normalized wave packets or the appropriate continuum distributions. Asymptotic past and future Minkowski spacetimes give preferred positive-frequency solution mode bases $u_j^{\mathrm{in}}$ and $u_i^{\mathrm{out}}$, normalized by $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$. Between those regions, a nonstationary geometry generally has no preferred positive-frequency splitting.

The mode bases are related by a Bogoliubov transformation,The last identities follow from conservation of the Klein-Gordon inner product and are the canonical identities for a bosonic Bogoliubov transformation. Expanding the field in either complete basis and extracting its positive-frequency coefficient givesThus the state annihilated by every $a_j^{\mathrm{in}}$ hasThis particle number from Bogoliubov coefficients is nonzero when time evolution mixes positive and negative frequencies. It describes one state as vacuum in the early particle basis and populated in the late basis; it does not require an arbitrary choice of a vacuum at each intermediate time. For a finite implementable transformation the state remains a squeezed pure quantum state. In infinitely many modes, a common unitary bosonic Fock space implementation requires additional conditions, such as the beta map being a Hilbert-Schmidt operator; finite wave packet observables need not share every global divergence of an ideal continuum calculation.

For gravitational collapse, the future is not globally Minkowski: it contains a black hole. The relevant late out-basis includes modes reaching future null infinity together with modes entering the future event horizon. Modes on infinity alone are not a complete Cauchy basis. Nevertheless the same mode-mixing calculation determines the outgoing particle flux. Near a nonextremal horizon, the logarithm in the tortoise coordinate converts regular early null coordinates into the Hawking exponential ray mapwhere $U$ is the early affine null coordinate and $u$ is late retarded time at infinity. Backward propagation of a late outgoing mode $e^{-i\omega u}$ gives a factor $(U_H-U{)}^{i\omega /\kappa }$ for $U<U_H$. Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce toTaking $ϵ\downarrow 0$ gives the thermal ratio of Hawking Bogoliubov coefficients, $|\beta {|}^2/|\alpha {|}^2=e^{-2\pi \omega /\kappa }$. Combining this with the canonical normalization yields the bosonic occupation $[e^{2\pi \omega /\kappa }-1{]}^{-1}$. Late-time wave packets turn formal continuum coefficients into a finite number flux.

A Schwarzschild black hole has $\kappa =1/(4M)$, so this spectrum has $T_H=1/(8\pi M)$. The exterior curvature potential partly reflects the outgoing modes. Its transmission probabilities are the greybody factors, giving, for one massless scalar species in the stationary late-time approximation,Thus the horizon temperature is universal, while the spectrum received at infinity is not a perfect featureless blackbody radiation spectrum. The derivation assumes the near-horizon quantum state inherited from a regular collapse vacuum and ignores rapid backreaction over the timescale of the packets. Exponentially blueshifted precursor frequencies indicate the usual short-distance assumption in the semiclassical calculation, not an independently demonstrated quantum-gravity description of the endpoint.

The outgoing positive energy flux drives black-hole evaporation. At leading order for a large isolated Schwarzschild black hole, area scales as $M^2$ and temperature as $M^{-1}$, giving $dM/du\sim -\gamma /M^2$ and a lifetime of order $M^3$, with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, $dM/d{T}_H=-8\pi M^2$, means that it heats up as it loses mass and cannot be in stable canonical equilibrium with an unlimited thermal reservoir. The approximation fails when quantum-gravitational scales are reached and does not fix whether the endpoint is complete evaporation, a remnant, or something else.

Area loss does not contradict the classical area theorem, because the quantum stress-energy tensor need not obey the classical null energy condition; negative horizon energy accompanies the positive outgoing flux. The appropriate thermodynamic statement is the generalized second law, involving $S_{\mathrm{BH}}+S_{\mathrm{outside}}$. Finally, Hawking radiation raises the black hole information paradox: if a pure quantum state completely evaporates into an exactly thermal mixed quantum state and its partners disappear, the result conflicts with ordinary unitary time evolution. Early outgoing radiation can be mixed simply because of its entanglement with interior modes while the complete state remains a pure quantum state; that fact alone is not information loss. Resolving the fate of all correlations through the evaporation endpoint requires more than the leading semiclassical flux calculation.

For $\mathrm{Re}s>1$, expand $(e^t-1{)}^{-1}={\sum }_{n\ge 1}{e}^{-nt}$. Absolute integrability, bounded near zero by a constant times $t^{\mathrm{Re}s-2}$, permits termwise integration. The Gamma function integral then givesSpecify the Hankel contour to run from the negative real axis below the cut towards zero, circle zero counterclockwise with fixed radius $0<r<2\pi$, and return above the cut. Take $-\pi <\arg t<\pi$. The circle excludes every nonzero pole $2\pi i\mathbb{Z}$ of the denominator. For $\mathrm{Re}s>1$ its radius can shrink to zero, and the lower and upper rays give respectively $-e^{-i\pi s}\Gamma (s){\zeta }_R(s)$ and $e^{i\pi s}\Gamma (s){\zeta }_R(s)$. By the Gamma reflection formula,away from integer $s$ in that half-plane, with limiting equality at the removable points.

With the circle radius kept fixed, the contour integral is an entire function of $s$: the rays decay exponentially and converge locally uniformly, and the circular part stays away from zero. Multiplication by $\Gamma (1-s)$ is analytic for $\mathrm{Re}s<1$ and meromorphic globally. The apparent singularities at positive integers $s\ge 2$ are removable because the integral vanishes there and it already agrees with the original analytic zeta function nearby. Only $s=1$ remains a simple pole. Thus this constructs the meromorphic continuation to the whole plane and an analytic continuation on $\mathbb{C}\setminus \{1\}$. Keeping the circular segment is essential when the integral is not locally integrable at zero.

At $s=-1$ the two rays cancel, since $t^{-2}$ is single-valued. The Laurent expansionshows that the residue of $t^{-2}/(e^{-t}-1)$ is $-1/12$. Since $\Gamma (2)=1$, the residue theorem gives

Choose a branch of $t=1-z$ with $|\arg t|<\pi$ and write $d=c-a-b\notin \mathbb{Z}$. The Gauss hypergeometric equation isChanging to $t$ turns this into the same equation with third parameter $a+b+1-c=1-d$. Its solution regular at $t=0$ is $y_1=F(a,b,1-d;t)$. Substitution of $y=t^{d}v$ gives the Gauss hypergeometric equation for $v$ with parameters $c-a,c-b,1+d$. Thus $y_2=t^{d}F(c-a,c-b,1+d;t)$ is also a solution. Their distinct nonintegrally separated characteristic exponents at a regular singular point $0,d$ imply linear independence near $z=1$, soThis also follows from the exponent transformation in the Papperitz symbol.

Initially assume $\Re c>\Re b>0$, so the Euler integral for the hypergeometric function applies. If $\Re d>0$, taking $z\to 1$ gives an integral evaluated by the beta function and determinesIndeed $y_1\to 1$ and $y_2\to 0$ there. To find $B$, instead work in the nonempty parameter region $\Re d<0$, put $z=1-ϵ$ and scale the integration variable by $1-s=ϵu$. The singular contribution isThe defining integral of the beta function evaluates this integral to $\Gamma (c-b)\Gamma (-d)/\Gamma (a)$. Since ${ϵ}^{-d}{y}_1\to 0$ and ${ϵ}^{-d}{y}_2\to 1$, it determines $B$. Analytic continuation in the parameters then yields the hypergeometric connection formulaThe usual power-series definition requires $c\notin \{0,-1,-2,\dots \}$; exceptional parameters need a separately specified analytic limit. Reciprocal gamma functions make vanishing coefficients at denominator poles meaningful. The branch must remain fixed when continuing in $z$.

Extend each Dirichlet character periodically to all integers by setting $\chi (n)=0$ when $\gcd (n,N)>1$. Its Dirichlet L-function is initially the absolutely convergent Dirichlet seriesThe group $(\mathbb{Z}/N\mathbb{Z}{)}^{\times }$ has $\phi (N)$ elements. Part (i) gives, for every integer $n$, including nonunits,For a nonunit both sides are zero, because the fixed class $a$ is a unit. Interchanging the finite character sum and the absolutely convergent Dirichlet series therefore provesThis is Orthogonality of Dirichlet characters applied to a residue-class indicator. Any meromorphic continuations of the two sides agree by uniqueness of analytic continuation.

In the integral defining the Beta function, put $t=(1+x)/2$ and then $u=x^2$. Symmetry givesThis proves the identity for $\mathrm{Re}z>0$. Both sides extend by analytic continuation to the same meromorphic function, equivalently by the beta--gamma identity and the Gamma duplication formula. The identity holds meromorphically for every $z\in \mathbb{C}$; both sides are finite for $z\notin \{0,-1,-2,\dots \}$ and have matching poles at the excluded points.

Take the Hankel contour about the negative real axis: it starts at $-\infty$ just below the cut, circles the origin counterclockwise, and returns to $-\infty$ just above the cut. The notation $(0+)$ records this return side of the branch point. Choose the branch $-\pi <\arg t<\pi$ for $t^{z-1}$.

For $\mathrm{Re}z>1$, collapse the contour onto the two banks of the cut. Their phase difference is determined byand the resulting sine factor, together with the Gamma reflection formula $\Gamma (z)\Gamma (1-z)=\pi /\sin (\pi z)$, recovers the integral representation (‡). The Hankel integral converges exponentially at its unbounded end and, after the standard local subtraction of the singular part at zero, depends holomorphically on $z$. The apparent poles of $\Gamma (1-z)$ are cancelled by zeros of the contour integral except at $z=1$. It therefore gives the analytic continuation of the Riemann zeta function to $\mathbb{C}\setminus \{1\}$.

Write $u=kr-l\pi /2$. Sincethe outgoing-to-incoming coefficient ratio is $-S_l$. Hence the Partial-wave S-matrix element and scattering phase shift areThe scattering length from a partial-wave S-matrix is

For the stated S-wave scattering solution, $\tanh (\lambda r)\to 1$ as $r\to \infty$, soUsing the same incoming/outgoing convention,Therefore

The analytic continuation of $S_0$ has a bound-state pole of the scattering amplitude at $k=i\lambda$ in the upper half-plane. Since $E={\hslash }^2{k}^2/(2m)$, this givesTo extract the bound-state wavefunction, multiply the scattering solution by $k-i\lambda$ and take the pole limit:Thus the unnormalized exterior solution isThese data are collected in the Hyperbolic-tangent S-wave exterior solution.

Given any $z\in \mathbb{C}$ that is not a nonpositive integer, choose $N$ large enough that $\mathrm{Re}(z+N)>0$ and defineThe recurrence shows that definitions from different sufficiently large $N$ agree, so this gives the unique analytic continuation from the right half-plane. It is analytic except where a denominator factor vanishes, namelyThese points are simple poles. More precisely, at $z=-n$,because one may writeand use $I(1)=1$.

The functional equation isEquivalently,

For a proof, letThe Poisson summation formula applied to a Gaussian function gives the theta transformationThe standard Gamma function integral and termwise integration initially give, for $\Re s>1$,Split the integral at one, substitute $u\mapsto 1/u$ in the lower half, and use the theta transformation. The result isThe integral is an entire function of $s$ because $\Theta (u)-1$ decays exponentially. The right side is visibly invariant under $s\mapsto 1-s$, proving both the analytic continuation and the functional equation of the Riemann zeta function. This is the Mellin representation of the completed Riemann zeta function.