Let Ο be a primitive Dirichlet character mod q with Ο(β1)=(β1)a, aβ{0,1}. Define the completed L-function:
ΞΎ(s,Ο)=(Οqβ)(s+a)/2Ξ(2s+aβ)L(s,Ο)
Then ΞΎ(s,Ο) extends to an entire function of s (for Οξ =Ο0β) and satisfies:
ΞΎ(s,Ο)=Ξ΅(Ο)ΞΎ(1βs,Οβ)
where Ξ΅(Ο)=iaqβΟ(Ο)β has β£Ξ΅(Ο)β£=1.
Proof Sketch
Proof
Step 1: Theta function. Define the theta series ΞΈ(x,Ο)=βn=ββββΟ(n)naeβΟn2x/q for x>0. The Poisson summation formula, applied with the Gauss sum Ο(Ο), gives:
ΞΈ(x,Ο)=iaqxβΟ(Ο)βxβ(1+a)/2+1/2β q1/2ΞΈ(1/x,Οβ)
More precisely: ΞΈ(x,Ο)=iaq1/2Ο(Ο)βxβ1/2ΞΈ(1/x,Οβ).
Step 2: Mellin transform. Compute the Mellin transform:
β«0ββΞΈ(x,Ο)xs/2xdxβ=2(Οqβ)(s+a)/2Ξ(2s+aβ)L(s,Ο)=2ΞΎ(s,Ο)
(extracting the n>0 terms and using β«0ββxs/2eβΟn2x/qdx/x=(Οn2/q)βs/2Ξ(s/2)).
Step 3: Splitting the integral. Write β«0ββ=β«01β+β«1ββ. In β«01β, substitute xβ1/x and use the transformation law from Step 1:
β«01βΞΈ(x,Ο)xs/2xdxβ=iaqβΟ(Ο)ββ«1ββΞΈ(x,Οβ)x(1βs)/2xdxβ
The right side is an entire function of s (since ΞΈ decays exponentially for xβ₯1). Replacing s by 1βs and Ο by Οβ, and noting Ο(Οβ)=Ο(β1)βΟ(Ο)β=(β1)aΟ(Ο)β: ΞΎ(s,Ο)=Ξ΅(Ο)ΞΎ(1βs,Οβ). β‘
β
ExampleFunctional Equation for Quadratic Characters
For Ο=(β dβ) with discriminant d>0 (even character, a=0): ΞΎ(s)=(d/Ο)s/2Ξ(s/2)L(s,Ο) satisfies ΞΎ(s)=ΞΎ(1βs) (self-dual since Οβ=Ο). The value L(1,Ο)=dβ2hlogΞ΅β where h is the class number and Ξ΅ the fundamental unit of Q(dβ).
RemarkSymmetry of Zeros
The functional equation implies: if Ο is a nontrivial zero of L(s,Ο), then 1βΟΛβ is a zero of L(s,Οβ). For real Ο: the zeros are symmetric about the critical line Re(s)=1/2. The GRH asserts all nontrivial zeros lie exactly on this line.