TheoremComplete

Functional Equation of Dirichlet L-Functions

Theorem5.2Functional Equation for $L(s, \\chi)$

Let Ο‡\chi be a primitive Dirichlet character mod qq with Ο‡(βˆ’1)=(βˆ’1)a\chi(-1) = (-1)^a, a∈{0,1}a \in \{0, 1\}. Define the completed L-function: ΞΎ(s,Ο‡)=(qΟ€)(s+a)/2Γ ⁣(s+a2)L(s,Ο‡)\xi(s, \chi) = \left(\frac{q}{\pi}\right)^{(s+a)/2} \Gamma\!\left(\frac{s+a}{2}\right) L(s, \chi) Then ΞΎ(s,Ο‡)\xi(s, \chi) extends to an entire function of ss (for Ο‡β‰ Ο‡0\chi \neq \chi_0) and satisfies: ΞΎ(s,Ο‡)=Ξ΅(Ο‡)ΞΎ(1βˆ’s,Ο‡β€Ύ)\xi(s, \chi) = \varepsilon(\chi) \xi(1-s, \overline{\chi}) where Ξ΅(Ο‡)=Ο„(Ο‡)iaq\varepsilon(\chi) = \frac{\tau(\chi)}{i^a \sqrt{q}} has ∣Ρ(Ο‡)∣=1|\varepsilon(\chi)| = 1.


Proof Sketch

Proof

Step 1: Theta function. Define the theta series ΞΈ(x,Ο‡)=βˆ‘n=βˆ’βˆžβˆžΟ‡(n)naeβˆ’Ο€n2x/q\theta(x, \chi) = \sum_{n=-\infty}^{\infty} \chi(n) n^a e^{-\pi n^2 x/q} for x>0x > 0. The Poisson summation formula, applied with the Gauss sum Ο„(Ο‡)\tau(\chi), gives: ΞΈ(x,Ο‡)=Ο„(Ο‡)iaqxxβˆ’(1+a)/2+1/2β‹…q1/2ΞΈ(1/x,Ο‡β€Ύ)\theta(x, \chi) = \frac{\tau(\chi)}{i^a \sqrt{qx}} x^{-(1+a)/2+1/2} \cdot q^{1/2} \theta(1/x, \overline{\chi}) More precisely: ΞΈ(x,Ο‡)=Ο„(Ο‡)iaq1/2xβˆ’1/2ΞΈ(1/x,Ο‡β€Ύ)\theta(x, \chi) = \frac{\tau(\chi)}{i^a q^{1/2}} x^{-1/2} \theta(1/x, \overline{\chi}).

Step 2: Mellin transform. Compute the Mellin transform: ∫0∞θ(x,Ο‡)xs/2dxx=2(qΟ€)(s+a)/2Γ ⁣(s+a2)L(s,Ο‡)=2ΞΎ(s,Ο‡)\int_0^\infty \theta(x, \chi) x^{s/2} \frac{dx}{x} = 2 \left(\frac{q}{\pi}\right)^{(s+a)/2} \Gamma\!\left(\frac{s+a}{2}\right) L(s, \chi) = 2\xi(s, \chi) (extracting the n>0n > 0 terms and using ∫0∞xs/2eβˆ’Ο€n2x/qdx/x=(Ο€n2/q)βˆ’s/2Ξ“(s/2)\int_0^\infty x^{s/2} e^{-\pi n^2 x/q} dx/x = (\pi n^2/q)^{-s/2}\Gamma(s/2)).

Step 3: Splitting the integral. Write ∫0∞=∫01+∫1∞\int_0^\infty = \int_0^1 + \int_1^\infty. In ∫01\int_0^1, substitute xβ†’1/xx \to 1/x and use the transformation law from Step 1: ∫01ΞΈ(x,Ο‡)xs/2dxx=Ο„(Ο‡)iaq∫1∞θ(x,Ο‡β€Ύ)x(1βˆ’s)/2dxx\int_0^1 \theta(x, \chi) x^{s/2} \frac{dx}{x} = \frac{\tau(\chi)}{i^a\sqrt{q}} \int_1^\infty \theta(x, \overline{\chi}) x^{(1-s)/2} \frac{dx}{x}

Step 4: Combining. Therefore: 2ΞΎ(s,Ο‡)=∫1∞θ(x,Ο‡)xs/2dxx+Ο„(Ο‡)iaq∫1∞θ(x,Ο‡β€Ύ)x(1βˆ’s)/2dxx2\xi(s, \chi) = \int_1^\infty \theta(x, \chi) x^{s/2} \frac{dx}{x} + \frac{\tau(\chi)}{i^a\sqrt{q}} \int_1^\infty \theta(x, \overline{\chi}) x^{(1-s)/2} \frac{dx}{x}

The right side is an entire function of ss (since ΞΈ\theta decays exponentially for xβ‰₯1x \geq 1). Replacing ss by 1βˆ’s1-s and Ο‡\chi by Ο‡β€Ύ\overline{\chi}, and noting Ο„(Ο‡β€Ύ)=Ο‡(βˆ’1)β€ΎΟ„(Ο‡)β€Ύ=(βˆ’1)aΟ„(Ο‡)β€Ύ\tau(\overline{\chi}) = \overline{\chi(-1)}\overline{\tau(\chi)} = (-1)^a \overline{\tau(\chi)}: ΞΎ(s,Ο‡)=Ξ΅(Ο‡)ΞΎ(1βˆ’s,Ο‡β€Ύ)\xi(s, \chi) = \varepsilon(\chi)\xi(1-s, \overline{\chi}). β–‘\square

β– 

ExampleFunctional Equation for Quadratic Characters

For Ο‡=(dβ‹…)\chi = \left(\frac{d}{\cdot}\right) with discriminant d>0d > 0 (even character, a=0a = 0): ΞΎ(s)=(d/Ο€)s/2Ξ“(s/2)L(s,Ο‡)\xi(s) = (d/\pi)^{s/2}\Gamma(s/2)L(s,\chi) satisfies ΞΎ(s)=ΞΎ(1βˆ’s)\xi(s) = \xi(1-s) (self-dual since Ο‡β€Ύ=Ο‡\overline{\chi} = \chi). The value L(1,Ο‡)=2hlog⁑ΡdL(1, \chi) = \frac{2h\log\varepsilon}{\sqrt{d}} where hh is the class number and Ξ΅\varepsilon the fundamental unit of Q(d)\mathbb{Q}(\sqrt{d}).

RemarkSymmetry of Zeros

The functional equation implies: if ρ\rho is a nontrivial zero of L(s,Ο‡)L(s, \chi), then 1βˆ’ΟΛ‰1 - \bar{\rho} is a zero of L(s,Ο‡β€Ύ)L(s, \overline{\chi}). For real Ο‡\chi: the zeros are symmetric about the critical line Re(s)=1/2\mathrm{Re}(s) = 1/2. The GRH asserts all nontrivial zeros lie exactly on this line.