 in mathematics, the l-functions of number theory are expected to have several characteristic properties, one of which is that they satisfy certain functional equations. there is an elaborate theory of what these equations should be, much of which is still conjectural. == introduction == a prototypical example, the riemann zeta function has a functional equation relating its value at the complex number s with its value at 1 &minus; s. in every case this relates to some value Î¶(s) that is only defined by analytic continuation from the infinite series definition. that is, writingas is conventionalÏ for the real part of s, the functional equation relates the cases :Ï > 1 and Ï < 0, and also changes a case with :0 < Ï < 1 in the critical strip to another such case, reflected in the line Ï = Â½. therefore use of the functional equation is basic, in order to study the zeta-function in the whole complex plane. the functional equation in question for the riemann zeta function takes the simple form :z(s) = z(1-s) \, where z(s) is Î¶(s) multiplied by a gamma-factor, involving the gamma function. this is now read as an 'extra' factor in the euler product for the zeta-function, corresponding to the infinite prime. just the same shape of functional equation holds for the dedekind zeta function of a number field k, with an appropriate gamma-factor that depends only on the embeddings of k (in algebraic terms, on the tensor product of k with the real field). there is a similar equation for the dirichlet l-functions, but this time relating them in pairs: :\lambda(s,\chi)=\varepsilon\lambda(1-s,\chi^*) with Ï a primitive dirichlet character, Ï* its complex conjugate, Î the l-function multiplied by a gamma-factor, and Îµ a complex number of absolute value 1, of shape :g(\chi) \over {\left |g(\chi)\right \vert} where g(Ï) is a gauss sum formed from Ï. this equation has the same function on both sides if and only if Ï is a real character, taking values in {0,1,&minus;1}. then Îµ must be 1 or &minus;1, and the case of the value &minus;1 would imply a zero of Î(s) at s = Â½. according to the theory (of gauss, in effect) of gauss sums, the value is always 1, so no such simple zero can exist (the function is even about the point). == theory of functional equations == a unified theory of such functional equations was given by erich hecke, and the theory was taken up again in tate's thesis by john tate. hecke found generalised characters of number fields, now called hecke characters, for which his proof (based on theta functions) also worked. these characters and their associated l-functions are now understood to be strictly related to [[complex mu
Functional_equations Zeta_and_L-functions