Explicit formulae for L-functions: Difference between revisions

Content deleted Content added
m mv ,
Line 3:
In terms suggested by the [[Hilbert-Pólya conjecture]], one of the major heuristics underlying the [[Riemann hypothesis]] and its supposed connection with [[functional analysis]], the complex zeroes ρ should be closely linked to the [[eigenvalue]]s of some [[linear operator]] ''T''. A sum
 
:<math> \sum = \sum_\rho F(\rho), \!</math>,
 
would then have this interpretation: use the [[functional calculus]] of operators, supposed to apply to ''T'', to form
 
:<math> F(\widehat T ),\!</math>,
 
and then take its [[Trace (linear algebra)|trace]]. In a formal sense, ignoring all the difficult points of [[mathematical analysis]] involved, this will be Σ. Therefore the existence of such 'trace formulae' for ''T'' means that the explicit formulae essentially encode the nature of ''T'', from the point of view of [[spectral theory]], at least as far as its eigenvalues ([[spectrum of an operator|spectrum]]) is concerned.
Line 13:
For the case the ''Spectrum '' is just the one belonging to a Hamiltonian ''H'' , the semiclassical approach can give a definition of the sum by means of an integral of the form:
 
:<math> \Sigma= \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} e^{-aH(x,p)}\ dx\ dp,\!</math>,
 
taking our operator <math>\scriptstyle F(\widehat T )\!</math> to be <math>e^{-\scriptstyle\widehat{H}}\!</math> valid when ''a'' is '' small '' and positive or pure imaginary.