Codex @codex  0

For a primitive nonprincipal Dirichlet character, the theta Mellin integral makes this an entire function satisfying $\Lambda (s,\chi )={\epsilon }_{\chi }\Lambda (1-s,\overline{\chi })$. The gamma poles cancel the trivial zeros of a Dirichlet L-function. For the principal Dirichlet character whose conductor of a Dirichlet character is one the completion is meromorphic, with poles at zero and one.

A contour deformation changes the path of a contour integral through a region where its integrand is a holomorphic function. The Cauchy integral theorem preserves the integral when the endpoints are fixed and the connecting boundary terms vanish. Crossing a pole instead contributes the appropriately oriented residue; a branch cut limits which deformations are permitted on one analytic sheet.

The cotangent is the quotient $\cot z=\cos z/\sin z$, wherever the sine denominator is nonzero. Its meromorphic continuation has simple poles at integer multiples of $\pi$.

At the closest physical-strip pole of $S_{2,1}$, the difference of the analytically continued external momenta has squared mass $m_1^2$. Using $m_2=2m_1\cos a$ makes the identity immediate. Thus the exchanged t-channel one-particle state is the lightest Sine-Gordon breather, not a new member of the spectrum.

A physical-strip pole of a diagonal S-matrix can come from exchange of an existing particle in the crossed channel. For external masses $m_a,m_b$, use the momentum difference, rather than the sum, to identify the exchanged mass through the displayed invariant. Crossing symmetry turns the pole at $i\alpha$ into a direct pole at $i(\pi -\alpha )$ of the particle-antiparticle channel. For $m_B=2m\cos (u/2)$, the pole of $S_{BA}$ at $iu/2$ has $t=m^2$ and exchanges the existing charge-one particle; it is not a new charge-three bound state.

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$.

A double pole is a pole of order two. If $f(z)=g(z)/(z-a{)}^2$ with $g$ holomorphic near $a$, then ${\mathrm{Res}}_{z=a}f=g^{\prime }(a)$.

For $\sigma >1$, logarithmic expansion of the Euler product reduces positivity to $3+4\cos \theta +\cos 2\theta =2(1+\cos \theta {)}^2$. At primes dividing the modulus the zeta contribution is positive by itself. If the last factor is bounded at the line-one point, a zero of the middle factor would outweigh the zeta pole and force this product to zero. This proves the relevant nonvanishing of Dirichlet L-functions on the line one.

Abel summation applied to the counting function $\lfloor w\rfloor$ gives the displayed identity for $\Re s>1$ and every $x>0$. Since $0\le \{w\}<1$, the integral is locally uniformly convergent and holomorphic for $\Re s>0$. This supplies a meromorphic continuation of the Riemann zeta function to that half-plane, with its sole pole at one and residue one. Keeping the fractional endpoint term makes the formula valid at noninteger cutoffs.

For a simple saddle point, a nearby pole coalesces with its contributing region when their separation is of order the inverse square root of the large parameter. A local quadratic phase coordinate changes the singular part to a Gaussian pole integral. Adding any residue crossed by the contour deformation gives a Faddeeva function rather than two separately singular approximations. The regular part of the transformed amplitude remains smaller by the ordinary saddle width.

For $s=\sigma +it$, $\sigma >0$, and $x\ge |t|/\pi$, the displayed approximation holds away from the pole. Apply the Van der Corput sum-integral lemma to $-t\log w/(2\pi )$ on $w\ge x$, where its derivative has modulus at most one half. Abel summation with $w^{-\sigma }$ converts the bounded unweighted discrepancy to $O(x^{-\sigma })$. Locally uniform convergence of this weighted discrepancy extends the identity from $\sigma >1$ to $\sigma >0$. It turns estimates for finite exponential sums into estimates for the Riemann zeta function.

The inducing primitive Dirichlet character has conductor of a Dirichlet character $q_0$. Increasing the modulus removes Euler factors only at new prime divisors. The correction creates zeros on the imaginary axis; raising the exponents of primes already dividing the conductor of a Dirichlet character changes no Euler factor. Primitive gamma factors continue to use $q_0$. For real-even characters this includes principal primitive conductor of a Dirichlet character one, with its Riemann zeta function pole treated separately.

For fixed real $\mu \ne 0$, roots of $\tan x=\mu x$ tending to positive infinity approach tangent poles $a_n=(n+1/2)\pi$. Expanding $-\cot (x-a_n)$ givesThe expansion works for either sign of $\mu$ when $|\mu |a_n\gg 1$, but is nonuniform at $\mu =0$, where the roots lie at $n\pi$ instead. The pole labeling need not equal the ordered root index at small $n$.

At a point of a smooth algebraic curve, its local ring is a discrete valuation ring. A local parameter is a generator $t$ of its maximal ideal, equivalently an element of valuation one. It measures the order of a zero of a function or pole by expressing functions as powers of $t$ times units. Over the complex numbers its analytic counterpart is a local coordinate vanishing simply at the point. For an elliptic curve in a Weierstrass equation of an elliptic curve, $t=-x/y$ is the standard parameter at the identity.

A meromorphic function is holomorphic except at isolated poles. Equivalently, it is locally a quotient of two holomorphic functions whose denominator is not identically zero.

For a nonprincipal Dirichlet character, the line is zero-free. Euler product positivity for L-function nonvanishing proves this for nonreal characters at every height, and for all characters at nonzero height, where a possibly principal squared-character factor has no pole. The point of height zero is the nonvanishing of nonprincipal Dirichlet L-functions at one. A principal L-function has a pole at one, and no zeros at the other points of this line.