L-функция Дирихле

Материал из testwiki
Перейти к навигации Перейти к поиску

L-функция Дирихле Lχ(s) — комплексная функция, заданная при Res>0 (при Res>1 в случае главного характера) формулой

Lχ(s)=n=1χ(n)ns,

где χ(n) — некоторый числовой характер (по модулю k). L-функции Дирихле были введены для доказательства теоремы Дирихле о простых числах в арифметической прогрессии, центральным моментом которого является доказательство неравенства Lχ(1)0 для неглавных характеров.

Произведение Эйлера для L-функций Дирихле

В силу мультипликативности числового характера χ L-функция Дирихле представима в области Res>1 в виде эйлерова произведения по простым числам:

Lχ(s)=p(1χ(p)ps)1.

Эта формула обуславливает многочисленные применения L-функций в теории простых чисел.

Связь с дзета-функцией

L-функция Дирихле, соответствующая главному характеру по модулю k, связана с дзета-функцией Римана ζ(s) формулой

Lχ0(s)=ζ(s)p|k(11ps).

Эта формула позволяет доопределить Lχ0(s) для области Re(s)>0 c простым полюсом в точке s=1.

Функциональное уравнение

Аналогично функции Римана, L-функция удовлетворяет похожему функциональному уравнению.

Определим Λ(χ,s) следующим образом: если Γгамма-функция, χ(1)=1 — чётный характер, то

Λ(χ,s)=πs/2Γ(s/2)L(χ,s)

Если χ(1)=1 — нечётный характер, то

Λ(χ,s)=π(s+1)/2Γ((s+1)/2)L(χ,s)

Пусть также g(χ)=k=1qχ(k)exp2πikqсумма Гаусса характера χ, а ε(χ)=g(χ)q для чётного χ и ε(χ)=ig(χ)q для нечётного χ. Тогда функциональное уравнение принимает вид:

Λ(χ,s)=ε(χ)q1/2sΛ(χ¯,1s)

См. также

Литература

Шаблон:L-функции