Logo GenDocs.ru

Поиск по сайту:  

Загрузка...

Аналитические свойства L-функций Дирихле - файл 1.docx


Аналитические свойства L-функций Дирихле
скачать (82.2 kb.)

Доступные файлы (1):

1.docx83kb.17.11.2011 11:25скачать

содержание

1.docx

Аналитические свойства L-функций Дирихле

Содержание.

Введение 3

§1. Характеры Дирихле и L-функции Дирихле 4

§2. Функция θ(x ,χ), её функциональное уравнение 7

§3. Аналитическое продолжение L-функции Дирихле на комплексную плоскость 9

§4. Функциональное уравнение для L-функции Дирихле. Тривиальные нули L-функции Дирихле 9


§5. Нетривиальные нули L-функции Дирихле


5.1. Теорема Вейерштрасса о разложении в произведение целых функций 11


5.2. О бесконечности целых нетривиальных нулей L-функции Дирихле 12


§6. Обобщенная гипотеза Римана 13

Библиографический список 14




Введение.

Теория L-функций Дирихле развилась в одно из важнейших вспомогательных средств аналитической теории чисел. Большую роль в приложениях играет исследование нулей L-функций Дирихле.

В аналитической теории чисел L-функция Дирихле играет такую же роль, как и ζ-функция при решении задач теории чисел, а именно задач, связанных с распределением простых чисел в арифметических прогрессиях и в задачах, связанных с оценками арифметических сумм.

Предметом исследования данной курсовой работы является распределение значений L-функций Дирихле, результаты Гурвица о выводе функционального уравнения для L-функции Дирихле и как следствие, показать, что L-функции Дирихле в критической полосе имеют бесконечное число нулей. Эти функции ввел в 1837 г. Густав Дирихле при исследовании вопроса о распределении простых чисел в арифметических прогрессиях. Основные результаты были получены в 1922 году А. Гурвицем.

В данной курсовой работе изложение материала отражает основные свойства L-функций Дирихле и соответствует результатам, полеченным Гурвицем касающимся L-функций Дирихле.

В заключении данной работы приводится гипотеза о распределении нулей дзета-функции, сформулированная Бернхардом Риманом в 1859 году. Гипотеза Римана входит в список семи «проблем тысячелетия».




§ 1. Характеры Дирихле и L-функции Дирихле

Прежде всего определим характеры по модулю k, рав

ному степени простого числа, и докажем их основные свойства. Характеры по произвольному модулю к опреде

лим затем через характеры по модулю, равному степени простого числа; при этом основные свойства последних сохранятся.

Пусть kа, где р> 2 — простое число, α≥1. Как известно, по модулю k существуют первообразные корни, и пусть g — наименьший из них. Через ind n будем обо

значать индекс числа п, (п, к) = 1, по модулю k при ос

новании g, т. е. число γ = γ(п) = ind n такое, что

gγ≡n (mod k).


Определение 1.1. Характером по модулю k= ра, р>2 — простое, α≥ 1, называется конечнозначная мультипликативная периодическая функция χ(n), областью определения которой является множество целых чисел п, и такая, что

χ (n) = χ (n; k) = χ (n; k, m) =О, если (n, k) > 1e2πim ind nφ(k), если n, k= 1

где т целое число.


Из определения характера видно, что функция χ n=χ (n;k,m) зависит от параметра т, является периоди

ческой по т с периодом φ(k), т. е. существует, вообще говоря, φ(k) характеров по модулю k, которые получаются, если брать т равным 0, 1, ..., φ(k) - 1.

Пусть теперь k = 2α, α≥ 3. Как известно, для любого нечетного числа п существует система индексов γ0 = γ0(п) и γ1 = γ1(n) по модулю k, т. е. такие числа γ0 и γ1 , что

n≡(-1)ν05ν1 mod k.

Таким образом, числа γ0 и γ1 определяются с точностью до слагаемых, кратных соответственно 2 и 2α-2.


Определение 1.2. ^ Характером по модулю к = , α≥1, называется функция χ n, областью определения ко

торой является множество целых чисел п, определенная одной из следующих формул:

χ n=χ n;2=χ n;2,0,0=0, если n,2>1;1, если n,2=1,

χ n=χ n;4=χ n;4,m0,0=0, если n,4>1;(-1)μ0ν0, если n,4=1,

Где m0 , m1 целые числа.

Из определения 1.2. видно, что функция χ n=χ (n;2α, m0 , m1) зависит от параметров т0 и m1является перио

дической по m0 и m1, с периодами соответственно 2 и 2α-2 т. е. существует, вообще говоря, φ(k), =< φ(kα) характеров по модулю k = 2α, которые получаются, если брать m0 , равным 0, 1, а m1 равным 0, 1, ..., 2α-2 - 1.



Ввиду того, что индекс числа или система индексов числа периодические с периодом, равным модулю функ

ции, аддитивные, т. е. индекс произведения (соответствен

но система индексов произведения) равняется сумме ин

дексов сомножителей (соответственно сумме систем ин

дексов сомножителей), получаем следующие свойства ха

рактера χ (п):

1. χ (n) по модулю kпериодическая с периодом k функция, т. е. χ n=χ (n+k) ;

2. χ (n)мультипликативная функция, т. е. χ nm=χ (n)χ (m)

Очевидно также, что χ(1) = 1.


L-ряды Дирихле — функции комплексного переменного, подобные дзета-функции Римана, введены Дирихле при исследовании вопроса о распределении простых чи

сел в арифметических прогрессиях. Везде ниже под L-рядом будем понимать L-ряд Дирихле.

Пусть k — натуральное число и χ — какой-либо харак

тер по модулю k.

Определение 1.3. L-функцией называется ряд Дирихле вида:

L=Ls,χ =n=1∞χ (n) ns,


Ввиду того, что|χ(n)|≤1, следует аналитичность L(s, χ) в полуплоскости Re s>l. Для L(s, χ) имеет место аналог формулы Эйлера (эйлеровское произведение).

Лемма 1.1. При Re s > 1 справедливо равенство

Ls,χ =p1-χ (p) ps-1. (1)

Доказательство. При X > 1 рассмотрим функ

цию

Φs;χ=p≤X1-χ (p) ps-1.

Так как Re s > 1, то

1-χ (p) ps-1=1+χ (p) ps+χ (p2) p2s+ ⋯;


следовательно,

Φs;χ=p≤X1+χ pps+χ p2p2s+ ⋯=n≤X∞χ nns+Rs,X (2)
(воспользовались мультипликативностью χ(n) и однозначностью разложения натуральных чисел на простые со

множители). Далее,

R(s;X)≤n>X1nσ<X∞duuσ=1σ-1X1-σ,

где σ=Re s>l. Переходя в (2) к пределу Х→+∞, по

лучим утверждение леммы.



Из (1) находим

1Ls,χ =p1-χ (p) ps≤n=2∞1nσ<1+1∞duuσ=1+1σ-1,

Ls,χ >σ-1σ,

т. е. L(s, χ)≠0 при Re s>l. Если характер χ по моду

лю k является главным, то L(s, χ) лишь простым мно

жителем отличается от дзета-функции ζ(s).

Лемма 1.2. Пусть χ(n) = χ 0(n) по модулю k. Тогда при Re s> 1

Ls,χ0 =ζ(s)p\k1-1 ps.

Доказательство леммы следует из (6) и определения главного характера χ0(n).

Следствие. L(s, χ)аналитическая функция во всей s-плоскости, за исключением точки s = 1, где она имеет простой полюс с вычетом, равным

p\k1-1 ps.

Если характер χ(n) является производным, a χ1(n) — примитивный характер по модулю k1, kt\k, отвечающий χ(n), то L(s, χ)лишь простым множителем отличается от L(s, χ1).

Лемма 1.3. Пусть χ1примитивный характер по мо

дулю k1 и χ индуцированный χ1 производный характер по модулю k, ktk. Тогда при Re s > 1

Ls,χ =Ls,χ1 p\kp×k11-χ1 (p) ps.

Доказательство леммы следует из (1) и свойств χ1 и χ.

Функцию L(s, χ) можно продолжить в полуплоскость Re s > 1

Лемма 1.4. Пусть χ≠χ0, тогда при Re s>0 справед

ливо равенство

Ls,χ =s1∞Sxx-s-1dx, (3)

где

Sx=n≤xχ (n)

Доказательство. Пусть N ≥1, Re s>l. Приме

няя преобразование Абеля, будем иметь

n=1Nχ nns=1+s1Nc(x)x-s-1dx_c(N)Ns


Где

cx=Sx-1




Переходя к пределу ^ N → +∞, получим (8) при Re s>l. Но |S(x)|≤φ(k); поэтому интеграл в (3) схо

дится в полуплоскости Re s > 0 и определяет там анали

тическую функцию, что и требовалось доказать.


§2. Функция θ(x ,χ), её функциональное уравнение

Функциональное уравнение будет получено для L(s, χ)с примитивным характером χ; тем самым и в силу лем

мы 3 L(s, χ) будет продолжена на всю s-плоскость при любом χ. Вид функционального уравнения зависит от того, четным или нечетным является характер χ, т. е. χ(-1)=+1 или χ(-1)=–1

Прежде чем вывести функциональное уравнение для L(s, χ) и продолжить L(s, χ) на всю s-плоскость, дока

жем вспомогательное утверждение, аналогичное функци

ональному уравнению для θ(х) (см. лемму 3, IV).

Лемма 2.1. Пусть χ примитивный характер по модулю k. Для четного характера χ определим функцию θ (x, χ) равенством

θx ,χ=n=-∞+∞χ ne-n2πxk, x>0,


а для нечетного характера х определим функцию θ1(x, χ) равенством

θ1x ,χ=n=-∞+∞nχ ne-n2πxk, x>0.


Тогда для введенных функций θ (x, χ) и θ1(x, χ) справедливы следующие соотношения (функциональные урав

нения):

τχ θx ,χ=kx θ1x ,χ; (6)

τχ θ1x ,χ=ikx3 θ11x ,χ; (7)

где τ(χ) сумма Гаусса.

Доказательство. Воспользуемся доказанным в лемме 3, IV равенством

n=-∞+∞e- π(n+α)2x=xn=-∞+∞e-πn2x+2πinα, (8)

где x > 0, α — вещественное.

Имеем

τχ θx ,χ=m=1kχ(m)n=-∞+∞e- n2πxk+2πimnk=m=1kχ(m)kxn=-∞+∞e- kπn+mk2xk=




=kxm=1kχ(m)n=-∞+∞e- πkn+m2x=kxm=-∞+∞χ(m)e- πm2kx=kxθ1x ,χ,

что доказывает равенство (6).

Чтобы доказать равенство (7), продифференцируем почленно (8) и заменим x на х/к, α на m/k (указанные ряды можно почленно дифференцировать, так как полу

чающиеся после этого ряды равномерно сходятся). Получим

n=-∞+∞ne- πn2xk+2πimnk=ikx3n=-∞+∞kn+me- πkn+m2kx.


Отсюда, как и выше, выводим

τχ θ1x ,χ=m=1kχ(m)n=-∞+∞ne- πn2xk+2πimnk=

=ikx3m=1kχ(m)n=-∞+∞kn+me- πkn+m2kx=.

=ikx3n=-∞+∞nχ (n) e- πn2kx=ikx3θ11x ,χ.


Лемма доказана.


§3. Аналитическое продолжение L-функции Дирихле на комплексную плоскость

Получим аналитическое продолжение функции L(s, χ) в область Re s >0.

Лемма 3.1.Пусть χ(n) – неглавный характер по модулю m,

Sx=n≤xχn.

Тогда при Re s > 1 справедливо равенство

Ls, χ=s1∞Sxx-s-1dx.

Доказательство. Пусть N≥1, Re s >1 . Применяя частное суммирование, будем иметь

n=1Nχ(n)ns=1+s1∞cxx-s-1dx+N-scN,



Где c(x)=S(x)-1. Так как |c(x)|≤x , то, переходя к пределу N→+∞, получим

Ls, χ=1+s1∞cxx-s-1dx=s1∞Sxx-s-1dx,

Что и требовалось доказать.


§4. Функциональное уравнение для L-функции Дирихле. Тривиальные нули L-функции Дирихле

Теорема 4.1. (функциональное уравнение). Пусть χпримитивный характер по модулю k,

δ=0, если χ -1=+1; 1, если χ -1=-1;


ξs, χ =πk-s+δ2Гs+δ2Ls,χ .


Тогда справедливо равенство

ξ1-s,χ=iδkτχ ξs, χ . (9)


Доказательство, по—существу, повторяет вывод функционального уравнения для дзета-функции (теоре

ма 1, IV).

Предположим, что χ(-1)=+1. Имеем

π-s2ks2 Гs2n-s=0∞e- n2πxkxs2-1dx.

Умножая последнее равенство на χ (п) и суммируя по п, при Re s > 1 получим

π-s2ks2 Гs2Ls,χ =0∞xs2-1n=1∞χ(n)e- n2πxkdx.

Ввиду того, что χ — четный характер, имеем

n=1∞χne- n2πxk=12θx,χ;

πk-s2Гs2Ls,χ =120∞xs2-1θx,χdx.

Разбивая последний интеграл на два, производя в одном из них замену переменной интегрирования (х → 1/х) и пользуясь (6), найдем

πk-s2Гs2Ls,χ =121∞xs2-1θx,χdx+121∞x- s2-1θ1x,χdx=



=121∞xs2-1θx,χdx+12kτχ1∞x- s2-12 θx,χdx. (10)


Правая часть этого равенства является аналитической функцией при любом s и, следовательно, дает аналити

ческое продолжение L(s, χ) на всю s-плоскость. Так как Г(s/2)≠0, то L(s, χ) — регулярная всюду функция. Да

лее, при замене s на 1 — s и χ на χ, правая часть (10) умножается на kτ(χ), так как χ(— 1)=1 и, следова

тельно, τ(χ) τ(χ)= τ(χ) τ(χ) = k. Отсюда получаем утверж

дение теоремы при δ = 0.

Предположим, что χ(—1) = —1. Имеем

πk- s+12Гs+12n-s0∞ne- n2πxkx s2-12dx.


Следовательно, при Re s > 1

πk- s+12Гs+12Ls,χ =120∞θ1x,χx s2 - 12dx==121∞θ1x,χx s2 - 12dx+ik2τχ 1∞θ1x,χx- s2dx.


Последнее равенство дает регулярное продолжение L(s, χ) на всю s-плоскость; правая часть его при замене s на 1s и χ на χ, умножается на ikτ(χ) ввиду того, что

τ(χ) τ(χ)= —k.

Отсюда получаем утверждение теоремы при δ = 1. Теорема доказана.


Следствие. L(s, χ) целая функция; если χ (—1) = +1, то единственными нулями L(s, χ) при Re s ≤ 0 являются полюсы Г s2, т. е. точки s = 0, —2, —4, ...;

если χ (—1) = —1, то единственными нулями L(s, χ) при Re s ≤ 0

являются полюсы Г s+12 т. е. точки s = —1, —3, —5, .. .


Тривиальные нули L-функции Дирихле.


ξ(s, χ) — целая функция; если χ (—1) = +1, то единственными нулями L(s, χ) при Re s≤0 являются полюсы Гs2. е. точки s =0, —2. —4, ...; если χ (—1) = —1, то единственными нулями L(s, χ) при Re s≤0 являются полюсы Гs+12 т.е. точки s = —1,-3, -5, .. .


§ 5.1. Теорема Вейерштрасса о разложении в произведение целых функций


Теорема 5.1. Пусть a1, ..., ап, ... — бесконечная по

следовательность комплексных чисел, причем

0< |a1| ≤ |a1| ≤...≤|аn|<...

и

lim1an = 0.

Тогда существует целая функция G(s), которая имеет своими нулями только числа ап (если среди ап есть равные, то нуль G(s) будет иметь соответствующую кратность).


Следствие 5.1. Пусть последовательность чисел a1, ..., ап, ... удовлетворяет условиям теоремы 5.1., и, кроме того, существует целое число р > 0 такое, что сходится ряд

n=1∞1anp+1.

Тогда функция G1(s),

G1s=n=1∞1-sane1an+12san2+⋯+1psanp,

удовлетворяет теореме5. 1.


Теорема 5.2. Каждая целая функция G(s) может быть представлена в виде

Gs=eHssmn=1∞1-sanesan+12san2+⋯+1n-1sann-1,


где H(s) целая функция, а числа 0, a1 ,a2, ..., а…,-нули G(s), расположенные в порядке возрастания их модулей. Если, кроме того, последовательность аn , п = 1,2,..., удовлетворяет условиям следствия 5.1., то

Gs=eHssmn=1∞1-sane1an+12san2+⋯+1psanp,


Доказательство. Нули G(s) не могут иметь пре

дельной точки, т. е. их можно расположить в порядке возрастания модулей. По теореме 5.1. построим целую функцию G1 (s), имеющую своими нулями нули G(s). Полагая

φs=G(s)G1(s) при s≠an,



φ(an)=lims→anφs,

видим, что φ(s) — целая функция, нигде не равная нулю, т. е. и логарифм φ(s) — целая функция. Но тогда φ(s) = eH(s), где H(s) — целая функция. Так же доказывается второе утверждение теоремы. Теорема доказана.

Теорема 5.3. Пусть G(s)целая функция конечно

го порядка α и G(0)≠0, sn последовательность всех нулей G(s), причем 0 < |s1| ≤ |s2| ≤ ... ≤|sn|≤ ... Тогда последовательность sn имеет конечный показатель сходимости β≤α,

Gs=egxn=1∞1-ssne1sn+12ssn2+⋯+1pssnp,

Где p≥0— наименьшее целое число, для которого

n=1∞sn-p+1<+∞,

g(s)— многочлен степени g ≤α и α = max (g, β) Если, кроме того, для любого с > 0 найдется бесконечная по

следовательность r1, r2, ..., rn, ..., rn +∞, такая, что

max |G(s)|>ecrnα, |s| = rn , n = 1, 2, …,

то α=β и ряд
n=1∞sn-β
расходится.



§5.2. О бесконечности целых нетривиальных нулей L-функции Дирихле

Из следствия к теореме 4.1 видно, что функция L(s, χ), χ — примитивный характер, имеет в полуплоскости Re s < 0 лишь действительные нули; эти нули являются полюсами Гs2 или Гs+12 называются триви

альными; тривиальным также называется нуль s = 0. Кроме тривиальных функция L(s, χ) имеет подобно дзе

та-функции бесконечно много нетривиальных нулей, ле

жащих в полосе (критическая полоса) 0 ≤ Re s ≤ 1.

Теорема 5.1. Пусть χ примитивный характер. Тогда функция ξ(s, χ) является целой функцией первого порядка, имеющей бесконечно много нулей ρn таких, что 0≤Re ρn ≤ 1, ρn ≠0, причем ряд
n=1∞ρn-1
расходится, а ряд


n=1∞ρn-1-ε



сходится при любом ε > 0. Нули ξ(s, χ) являются нетривиальными нулями L(s, χ).

Доказательство. При Re ≥1/2

L(s, χ)≤2sφk<2sk;

ξ(s, χ) ≤2kσ2+32sГs+σ2≪kσ2+32ecslns.


Последняя оценка |ξ(s, χ)| в силу функционального уравнения (9) из §4 и равенства

iδkτχ=1

справедлива также при Re s<l/2; кроме того ξ(0, χ)≠ 0. Поскольку In Г(s) s ln s при s -> +∞, по теореме 5.3 получаем первое утверждение теоремы. Так как L(s, χ)≠0 при Re s>l, то из

Ps=n=1∞1-ssne1sn+12ssn2+⋯+1pssnp,

следует, что ξ(s, χ) ≠0 при Re s < 0, т. о. нули ξ(s, χ) являются нетривиальными нулями L(s, χ),лежащими в полосе 0≤Re s≤l. Теорема доказана.

§6. Обобщенная гипотеза Римана

Функция ζ(s) определена для всех комплексных s≠1 , и имеет нули для отрицательных целых s = —2, —4, —6 .... Из функционального уравнения

,

и явного выражения при Re s >1 следует, что все остальные нули, т.е. нетривиальные, расположены в полосе 0≤Re s ≤ 1 симметрично относительно критической линии 12+it, t ∈ R. Гипотеза Римана утверждает, что:

Все нетривиальные нули дзета-функции имеют действительную часть, равную 12.

Обобщённая гипотеза Римана состоит из того же самого утверждения для обобщений дзета-функций, то есть L-функций Дирихле.



Библиографический список

  1. А .Л. Карацуба, Основы аналитической теории чисел // 2-е над.— М.: Наука. Главная редакция физико-математической литературы, 1983. -240 с.

  2. С.М. Воронин, А.А. Карацуба, Дзета-функция Римана // М.: Физматлит. 1994. -376с.





Скачать файл (82.2 kb.)

Поиск по сайту:  

© gendocs.ru
При копировании укажите ссылку.
обратиться к администрации