Riemann zeta fonksiyonu - Riemann zeta function
Riemann zeta fonksiyonu veya Euler-Riemann zeta fonksiyonu , ζ ( s ) , a, matematiksel fonksiyon a kompleks değişken s ve şu şekilde ifade edilebilir:
- , eğer .
Riemann zeta işlevi analitik sayı teorisinde çok önemli bir rol oynar ve fizik , olasılık teorisi ve uygulamalı istatistikte uygulamaları vardır .
Leonhard Euler ilk tanıtıldı ve tek kullanan, on sekizinci yüzyılın ilk yarısında işlevini okudu gerçek sayılar gibi karmaşık analiz anda mevcut değildi. Bernhard Riemann'ın 1859 tarihli " Belirli Bir Büyüklükten Küçük Asal Sayıların Sayısı Üzerine " adlı makalesi , Euler tanımını karmaşık bir değişkene genişletti, meromorfik devamını ve fonksiyonel denklemini kanıtladı ve sıfırları ile asal sayıların dağılımı arasında bir ilişki kurdu .
Pozitif tamsayılarda bile Riemann zeta fonksiyonunun değerleri Euler tarafından hesaplanmıştır. Bunlardan ilki, ζ (2) , Basel problemine bir çözüm sunar . 1979'da Roger Apéry , ζ (3)' ün mantıksızlığını kanıtladı . Euler tarafından da bulunan negatif tamsayı noktalarındaki değerler rasyonel sayılardır ve modüler formlar teorisinde önemli bir rol oynar . Dirichlet serisi , Dirichlet L fonksiyonları ve L fonksiyonları gibi Riemann zeta fonksiyonunun birçok genellemesi bilinmektedir.
Tanım
Riemann zeta fonksiyonu ζ ( ler ) kompleks değerli bir fonksiyonudur s = σ + o . ( s , σ ve t gösterimi , Riemann'dan sonra zeta fonksiyonunun çalışmasında geleneksel olarak kullanılır.) Re( s ) = σ > 1 olduğunda, fonksiyon yakınsak bir toplam veya integral olarak yazılabilir:
nerede
bir gama fonksiyonu . Riemann zeta fonksiyonu, σ > 1 için tanımlanan fonksiyonun analitik devamı yoluyla diğer karmaşık değerler için tanımlanır .
Leonhard Euler yukarıdaki seriyi 1740'ta s'nin pozitif tamsayı değerleri için düşündü ve daha sonra Chebyshev tanımı genişletti.
Yukarıdaki seri bir prototip olan Dirichlet seriye ait olduğunu kesinlikle yakınsak bir için analitik fonksiyonu için s , öyle ki σ > 1 ve ıraksamaktadır tüm diğer değerleri için s . Riemann, yakınsaklığın yarı düzlemindeki seriler tarafından tanımlanan fonksiyonun, tüm karmaşık değerler s ≠ 1 için analitik olarak devam ettirilebileceğini gösterdi . İçin s = 1 , dizi armonik seriye ait olduğu ıraksamaktadır + ∞ ve
Böylece Riemann zeta fonksiyonu olan meromorfik fonksiyonu bütün kompleks s olan -plane, holomorfik bir dışında her yerde basit bir kutup olarak s = 1 ile Tortu, 1 .
Belirli değerler
Herhangi bir pozitif çift tam sayı için 2 n :
burada B 2 , n ise 2 , n -inci Bernoulli sayısı .
Tek pozitif tamsayılar için, bu değerlerin cebirsel K -tamsayılar teorisi ile ilişkili olduğu düşünülse de, böyle basit bir ifade bilinmemektedir ; bkz . L- fonksiyonlarının özel değerleri .
Pozitif olmayan tamsayılar için, bir
için n ≥ 0 olduğu sistem kullanılarak ( B 1 = - 1/2).
Özellikle, ζ negatif çift tamsayılarda yok olur çünkü 1 dışındaki tüm tek m için B m = 0 olur. Bunlar, zeta fonksiyonunun "önemsiz sıfırları" olarak adlandırılır.
Via analitik devamında , tek gösterebilir:
- Bu, sicim teorisi gibi belirli bağlamlarda ( Ramanujan toplamı ) kullanılmış olan 1 + 2 + 3 + 4 + ⋯ ıraksak serisine sonlu bir değer atamak için bir bahane sağlar .
- Yukarıdakine benzer şekilde, bu 1 + 1 + 1 + 1 + ⋯ serisine sonlu bir sonuç atar .
- Bu, lineer kinetik denklemlerin kinetik sınır tabakası problemlerinin hesaplanmasında kullanılır.
- 1'den büyük sayılardan yaklaşırsak, bu harmonik seridir . Ama onun Cauchy asıl değeri
- vardır ve Euler–Mascheroni sabitidir γ = 0.5772... .
- 1'den büyük sayılardan yaklaşırsak, bu harmonik seridir . Ama onun Cauchy asıl değeri
- Bu, periyodik sınır koşullarına sahip bir kutudaki bir Bose-Einstein yoğuşması için kritik sıcaklığın hesaplanmasında ve manyetik sistemlerde spin dalgası fiziği için kullanılır.
- Bu eşitliğin ispatı Basel problemi olarak bilinir . Bu toplamın tersi şu soruyu yanıtlar: Rastgele seçilen iki sayının göreli olarak asal olma olasılığı nedir ?
- Bu sayı Apéry sabiti olarak adlandırılır .
- Bu , Stefan-Boltzmann yasasını fizikte elde etmek için Planck yasasını entegre ederken ortaya çıkar .
Limiti alarak kişi elde eder .
Euler'in ürün formülü
1737'de, zeta fonksiyonu ile asal sayılar arasındaki bağlantı , özdeşliği kanıtlayan Euler tarafından keşfedildi.
burada, tanım gereği, sol taraf ζ ( s )'dir ve sağ taraftaki sonsuz çarpım tüm p asal sayılarına uzanır (bu tür ifadelere Euler çarpımı denir ):
Euler çarpım formülünün her iki tarafı Re( s ) > 1 için yakınsar . Euler kimlik belgesi sadece formül kullanır geometrik dizi ve aritmetik temel teoremi . Yana harmonik dizi elde zaman s 1 = , yakınsamaktadır olur, Euler formül ( Π p P/p - 1) sonsuz sayıda asal sayı olduğunu ima eder .
Euler Ürün formül hesaplamak için kullanılabilir asimptotik olasılık s rastgele seçilen tam sayılardır set-bazlı göreceli asal . Sezgisel olarak, herhangi bir tek sayının bir asal (veya herhangi bir tam sayı) p ile bölünebilme olasılığı1/P. Bu nedenle, s sayılarının hepsinin bu asal sayıya bölünebilme olasılığı1/p s, ve bunlardan en az birinin olmama olasılığı 1 -1/p s. Şimdi, farklı asal sayılar için, bu bölünebilirlik olayları karşılıklı olarak bağımsızdır, çünkü aday bölenler asaldır (bir sayı n ve m asal bölenleriyle bölünebilir, ancak ve ancak ve ancak nm ile bölünebilirse , olasılık ile gerçekleşen bir olaydır) 1/nm). Böylece, s sayılarının aralarında asal olmalarının asimptotik olasılığı, tüm asal sayıların çarpımı tarafından verilir,
Riemann'ın fonksiyonel denklemi
Zeta işlevi, işlevsel denklemi karşılar
burada Γ ( s ) olan gama fonksiyonu . Bu, tüm karmaşık düzlemde geçerli olan meromorfik fonksiyonların bir eşitliğidir . Denklem, s ve 1 - s noktalarındaki Riemann zeta fonksiyonunun değerlerini, özellikle çift pozitif tam sayıları tek negatif tam sayılarla ilişkilendirir. Sinüs fonksiyonunun sıfır sayesinde, işlevsel denklem ima ζ ( s ) , her çift negatif tamsayı bir basit sıfırdır s = -2 n olarak bilinen, önemsiz sıfır ait Ç ( ler ) . Tüm s eşit bir pozitif tam sayı, ürün sin (π s/2Sağdaki )Γ(1 − s ) sıfır değildir çünkü Γ(1 − s ) sinüs faktörünün basit sıfırını iptal eden basit bir kutba sahiptir .
Riemann'ın fonksiyonel denkleminin kanıtı
|
---|
Fonksiyonel denklemin bir kanıtı aşağıdaki gibi ilerler: Şunu gözlemliyoruz ki eğer , o zaman Sonuç olarak, eğer öyleyse mutlak yakınsama ile gerekçelendirilen sınırlayıcı süreçlerin tersine çevrilmesiyle (bu nedenle 'de daha katı gereklilik ). Kolaylık için, izin ver Sonra By Poisson toplama formülüyle Elimizdeki Böylece Buradan Bu eşdeğerdir veya Yani tüm s için yakınsak olan, analitik devam için de geçerlidir. Ayrıca, s 1 - s olarak değiştirilirse RHS değişmez . Buradan fonksiyonel denklemdir. AT Titchmarsh (1986). Riemann Zeta-fonksiyonunun Teorisi (2. baskı). Oxford : Oxford Bilim Yayınları. s. 21–22. ISBN'si 0-19-853369-1.Atfedilen Bernhard Riemann . |
İşlevsel denklem, Riemann tarafından 1859 tarihli "Belirli Bir Büyüklükten Küçük Asal Sayılar Üzerine " makalesinde kuruldu ve ilk etapta analitik devamı oluşturmak için kullanıldı. Euler tarafından yüz yıldan fazla bir süre önce, 1749'da, Dirichlet eta fonksiyonu (alternatif zeta fonksiyonu) için eşdeğer bir ilişki tahmin edilmişti :
Bu arada, bu ilişki 0 < Re( s ) < 1 bölgesinde ζ ( s ) hesaplamak için bir denklem verir , yani
burada η -serisi daha büyük yarım düzlem s > 0'da yakınsaktır ( mutlak olmasa da ).
Riemann ayrıca , xi fonksiyonuna uygulanan fonksiyonel denklemin simetrik bir versiyonunu da buldu :
hangisi tatmin eder:
(Riemann'ın orijinal ξ ( t ) biraz farklıydı.)
Sıfırlar, kritik çizgi ve Riemann hipotezi
Fonksiyonel denklem, Riemann zeta fonksiyonunun -2, -4,...' de sıfırlara sahip olduğunu gösterir . Bunlara önemsiz sıfırlar denir . Varlıklarının, örneğin günahtan dolayı kanıtlanmasının nispeten kolay olması anlamında önemsizdirler.π s/2fonksiyonel denklemde 0 olmak. Önemsiz sıfırlar çok daha fazla dikkat çekmiştir çünkü dağılımları yalnızca çok daha az anlaşılmakla kalmaz, daha da önemlisi, çalışmaları asal sayılar ve sayı teorisindeki ilgili nesnelerle ilgili önemli sonuçlar verir. Herhangi bir önemsiz olmayan sıfırın , kritik şerit olarak adlandırılan { s ∈ : 0 < Re( s ) < 1} açık şeridinde bulunduğu bilinmektedir . { s ∈ : Re( s ) = kümesi1/2} kritik çizgi olarak adlandırılır . Matematikteki çözülmemiş en büyük problemlerden biri olarak kabul edilen Riemann hipotezi , önemsiz olmayan tüm sıfırların kritik çizgide olduğunu iddia eder. 1989'da Conrey, Riemann zeta fonksiyonunun önemsiz olmayan sıfırlarının %40'ından fazlasının kritik çizgide olduğunu kanıtladı.
Kritik hat üzerindeki Riemann zeta işlevi için, bkz. Z- fonksiyonu .
Sıfır |
---|
1/2 ± 14.134725 ben |
1/2 ± 21.022040 ben |
1/2 ± 25.010858 ben |
1/2 ± 30.424876 ben |
1/2 ± 32.935062 ben |
1/2 ± 37.586178 ben |
Kritik şeritteki sıfır sayısı
Sanal kısımları aralıkta olan kritik şeritteki sıfırların sayısı olsun . Trudgian kanıtladı, eğer öyleyse , o zaman
- .
Hardy-Littlewood varsayımları
1914'te Godfrey Harold Hardy , ζ (1/2+ it ) sonsuz sayıda gerçek sıfıra sahiptir.
Hardy ve John Edensor Littlewood , ζ'nin sıfırları arasındaki yoğunluk ve mesafe hakkında iki varsayım formüle etti (1/2+ it ) büyük pozitif gerçek sayıların aralıklarında. Aşağıda, N ( T ) gerçek sıfırlar ve toplam sayısı N 0 ( T ) fonksiyonu tek sırada sıfır sayısı Ç (1/2+ it ) (0, T ] aralığında yer alır .
- Herhangi bir ε > 0 için , bir T 0 ( ε ) > 0 vardır, öyle ki,
- Herhangi bir ε > 0 için , bir T 0 ( ε ) > 0 ve c ε > 0 vardır, öyle ki eşitsizlik
Bu iki varsayım, Riemann zeta fonksiyonunun araştırılmasında yeni yönler açtı.
Sıfır içermeyen bölge
Riemann zeta fonksiyonunun sıfırlarının konumu, sayılar teorisinde büyük önem taşır. Asal sayı teoremi zeta fonksiyonunun bir sıfır olduğu gerçeğine eşdeğerdir Re ( s ) 1 = hattı. Etkili bir formundan aşağıdaki Daha iyi bir sonuç Vinogradov ortalama değer teoremi yani ζ ( σ + kendisine ) ≠ 0 olduğunda | t | ≥ 3 ve
2015 yılında Mossinghoff ve Trudgian, zeta'nın bölgede sıfır olmadığını kanıtladı.
için | t | ≥ 2 . Bu kritik şeritte bilinen en büyük sıfırdan arındırılmış bölgedir .
Bu türden umut edilebilecek en güçlü sonuç , sayılar teorisinde çok derin sonuçları olacak olan Riemann hipotezinin doğruluğudur .
Diğer sonuçlar
Kritik çizgide sonsuz sayıda sıfır olduğu bilinmektedir. Littlewood , ( γ n ) dizisinin üst yarı düzlemdeki tüm sıfırların sanal kısımlarını artan sırada içeriyorsa , o zaman
Kritik hat teoremi iddia kritik hat üzerinde aşikar olmayan sıfırlar yalanlar olumlu oranı. (Riemann hipotezi, bu oranın 1 olduğunu ima eder.)
Kritik şeritte, negatif olmayan en küçük sanal kısmı olan sıfır, 1/2+ 14.13472514 ... i ( OEIS : A058303 ). gerçeği
tüm kompleksler için s ≠ 1 , Riemann zeta fonksiyonunun sıfırlarının gerçek eksene göre simetrik olduğu anlamına gelir. Bu simetriyi fonksiyonel denklemle birleştirerek, ayrıca, önemsiz olmayan sıfırların Re( s ) = kritik doğrusu etrafında simetrik olduğu görülür.1/2.
Çeşitli özellikler
Tamsayı ve yarım tamsayı değerlerinde zeta fonksiyonunu içeren toplamlar için, rasyonel zeta serisine bakınız .
Karşılıklı
Zeta fonksiyonunun tersi , Möbius fonksiyonu μ ( n ) üzerinde bir Dirichlet serisi olarak ifade edilebilir :
gerçel kısmı 1'den büyük olan her karmaşık sayı için s. Çeşitli iyi bilinen çarpımsal fonksiyonları içeren bir dizi benzer bağıntı vardır ; bunlar Dirichlet serisiyle ilgili makalede verilmiştir .
Riemann hipotezi, bu ifadenin, s'nin gerçek kısmı ' den büyük olduğunda geçerli olduğu iddiasına eşdeğerdir.1/2.
evrensellik
Riemann zeta fonksiyonunun kritik şeridi, olağanüstü evrensellik özelliğine sahiptir . Bu zeta fonksiyonu evrenselliği , kritik şerit üzerinde herhangi bir holomorfik fonksiyona keyfi olarak iyi yaklaşan bir konum olduğunu belirtir . Holomorfik fonksiyonlar çok genel olduğu için bu özellik oldukça dikkat çekicidir. Evrenselliğin ilk kanıtı 1975'te Sergei Mikhailovitch Voronin tarafından sağlandı . Daha yeni çalışmalar Voronin teoreminin etkili versiyonlarını içerdi ve onu Dirichlet L-fonksiyonlarına genişletti .
Zeta fonksiyonunun modülünün maksimumunun tahminleri
Fonksiyonları olsun F ( t , lH ), ve G ( s 0 , Δ) eşitlikler ile tanımlanabilir
Burada T yeterince büyük bir pozitif sayıdır, 0 < H ≪ log log T , s 0 = σ 0 + iT ,1/2≤ σ 0 ≤ 1 , 0 < Δ <1/3. F ve G değerlerinin aşağıdan tahmin edilmesi, kritik çizginin kısa aralıklarında veya kritik şeritte uzanan noktaların küçük komşuluklarında ( modül cinsinden) ζ ( s ) değerlerinin ne kadar büyük (modül cinsinden ) alabileceğini gösterir 0 ≤ Re( s ) ≤ 1 .
Vaka H »günlüğü T tarafından incelenmiştir Kanakanahalli Ramachandra'nın ; durumda Δ> c , c yeterince büyük bir sabittir, basittir.
Anatolii Karatsuba , özellikle, H ve Δ değerleri belirli yeterince küçük sabitleri aşarsa, o zaman tahminlerin
tutun, burada c 1 ve c 2 belirli mutlak sabitlerdir.
Riemann zeta fonksiyonunun argümanı
İşlev
Riemann zeta fonksiyonunun argümanı olarak adlandırılır . Burada arg ζ (1/2+ it ) , 2 , 2 + it ve noktalarını birleştiren kesikli çizgi boyunca arg ζ ( s ) ' nin keyfi bir sürekli dalının artışıdır.1/2+ o .
S ( t ) fonksiyonunun özellikleri hakkında bazı teoremler vardır . Bu sonuçlar arasında S ( t ) için ortalama değer teoremleri ve ilk integrali bulunmaktadır.
gerçek doğrunun aralıkları ve ayrıca her aralığın ( T , T + H ] için olduğunu iddia eden teorem
en azından içerir
S ( t ) fonksiyonunun işaret değiştirdiği noktalar . Daha önce benzer sonuçlar Atle Selberg tarafından dava için elde edilmişti.
temsiller
Dirichlet serisi
Orijinal seri yeniden düzenlenerek yakınsama alanının bir uzantısı elde edilebilir. Seri
Re( s ) > 0 için yakınsar , oysa
Re( s ) > -1 için bile yakınsar . Bu şekilde, herhangi bir − k negatif tamsayı için yakınsama alanı Re( s ) > − k'ye genişletilebilir .
Mellin tipi integraller
Mellin dönüşümü bir fonksiyonu f ( x ) olarak tanımlanır
integralin tanımlandığı bölgede. Mellin dönüşümüne benzer integraller olarak zeta fonksiyonu için çeşitli ifadeler vardır. s'nin reel kısmı birden büyükse,
burada Γ gama fonksiyonunu gösterir . Konturu değiştirerek , Riemann şunu gösterdi:
tüm s için (burada H , Hankel konturunu gösterir ).
İntegral formülüyle başlayarak, doğal için ikame ve yinelenen farklılaşma ile gösterilebilir.
bir gösterimi kullanarak umbral hesap her güç tarafından değiştirilecek olan için örneğin bu yüzden, elimizdeki için ise bu olur
Asal sayılar ve asal sayı teoremi ile ilgili ifadeler de bulabiliriz . Eğer π ( X ) olan ana sayma fonksiyonu daha sonra,
Re( s ) > 1 olan değerler için .
Benzer bir Mellin dönüşümü, p n asal kuvvetlerini aşağıdaki ağırlıkla sayan Riemann J ( x ) fonksiyonunu içerir .1/n, Böylece
şimdi elimizde
Bu ifadeler, ters Mellin dönüşümü aracılığıyla asal sayı teoremini kanıtlamak için kullanılabilir. Riemann'ın asal sayma işleviyle çalışmak daha kolaydır ve π ( x ) Möbius tersine çevrilmesiyle bundan kurtarılabilir .
teta fonksiyonları
Riemann zeta fonksiyonu bir Mellin dönüşümü ile verilebilir.
Jacobi'nin teta işlevi açısından
Bununla birlikte, bu integral yalnızca s'nin gerçek kısmı 1'den büyükse yakınsar , ancak düzenli hale getirilebilir. Bu, 0 ve 1 hariç tüm s için iyi tanımlanmış olan zeta işlevi için aşağıdaki ifadeyi verir :
Laurent serisi
Riemann zeta fonksiyonu, s = 1'de tek mertebeden bir kutuplu meromorfiktir . Bu nedenle, s = 1 hakkında bir Laurent serisi olarak genişletilebilir ; seri geliştirme daha sonra
Buradaki γ n sabitleri Stieltjes sabitleri olarak adlandırılır ve limit ile tanımlanabilir.
Sabit terim γ 0 , Euler–Mascheroni sabitidir .
integral
Tüm s ∈ C , s ≠ 1 için integral ilişkisi (bkz. Abel–Plana formülü )
zeta fonksiyonunun sayısal bir değerlendirmesi için kullanılabilen doğrudur.
artan faktöriyel
Tüm karmaşık düzlem için geçerli olan yükselen faktöriyelini kullanan bir başka seri geliştirme ,
Bu, Dirichlet serisi tanımını tüm karmaşık sayılara genişletmek için özyinelemeli olarak kullanılabilir.
Riemann zeta fonksiyonu ayrıca , x s − 1 üzerine etki eden Gauss–Kuzmin–Wirsing operatörü üzerinde bir integralde Mellin dönüşümüne benzer bir biçimde görünür ; bu bağlam düşen faktöriyel açısından bir seri açılımına yol açar .
Hadamard ürünü
Temelinde Weierstrass 'çarpanlara teoremi , Hadamard verdi sonsuz ürün genişleme
Ürün fazla olduğu önemsiz olmayan sıfır p ve Ç ve harf γ tekrar belirtmektedir Euler-Mascheroni sabit . Daha basit bir sonsuz ürün genişletmesi
Bu form, basit kutbu s = 1'de , paydadaki gama fonksiyonu terimi nedeniyle -2, -4, ...'de önemsiz sıfırları ve s = ρ'da önemsiz olmayan sıfırları açıkça gösterir . (İkinci formülde yakınsamayı sağlamak için, çarpım "eşleşen sıfır çiftleri" üzerinden alınmalıdır, yani ρ ve 1 − ρ biçimindeki bir çift sıfır için çarpanlar birleştirilmelidir.)
Küresel yakınsak seriler
s = 1 + hariç tüm karmaşık sayılar s için geçerli, zeta işlevi için küresel olarak yakınsak bir dizi2π ben/2'den bir tam sayı için n ile varsayılmı¸tır Konrad Knopp ve kanıtlanmış Helmut Hasse 1930'da (bakınız, Euler toplama ):
Seri, Hasse'nin makalesinin bir ekinde yer aldı ve 1994'te Jonathan Sondow tarafından ikinci kez yayınlandı.
Hasse ayrıca küresel olarak yakınsak seriyi kanıtladı
aynı yayında. Iaroslav Blagouchine tarafından yapılan araştırma, benzer, eşdeğer bir dizinin 1926'da Joseph Ser tarafından yayınlandığını bulmuştur .
Peter Borwein uygulayan bir algoritma geliştirdi Chebyshev polinomları için Dirichlet eta fonksiyonu bir üretmek için yüksek hassasiyetli sayısal hesaplamalar için uygun çok hızlı yakınsak dizi .
İlksel aracılığıyla pozitif tamsayılarda seri gösterimi
İşte p n # olan primoriyel dizisi ve J k olan Jordan'ın totient işlevi .
Eksik poli-Bernoulli sayılarıyla seri gösterimi
Re( s ) > 1 için ζ fonksiyonu sonsuz seri ile temsil edilebilir.
burada k ∈ {-1, 0} , W, k, bir k th dalı Lambert W taşımasının avantajlı ve B( μ )
n , ≥2 eksik bir poli-Bernoulli sayısıdır.
Engel haritasının Mellin dönüşümü
Fonksiyon : Engel açılımlarında görünen katsayıları bulmak için yinelenir .
Mellin dönüşümü haritanın formülle Riemann zeta fonksiyonu ile ilgilidir
Geometrik serilerin toplamı olarak seri gösterimi
Geometrik seriler kullanılarak ispatlanabilen Euler çarpımına benzer şekilde, Re( s )>1 için zeta fonksiyonu geometrik serilerin toplamı olarak temsil edilebilir:
n:inci mükemmel olmayan güç nerede .
sayısal algoritmalar
Yaklaşık 1930'dan önce kullanılan klasik bir algoritma, n ve m pozitif tamsayılar için Euler-Maclaurin formülünü uygulayarak ilerler ,
burada, belirtilen Bernoulli sayısını belirtmek için izin verin ,
ve hata tatmin edici
ile σ Re (= s ).
Modern bir sayısal algoritma, Odlyzko-Schönhage algoritmasıdır .
Uygulamalar
Zeta işlevi, uygulanan istatistiklerde ortaya çıkar (bkz. Zipf yasası ve Zipf–Mandelbrot yasası ).
Zeta fonksiyonu düzenlileştirme muhtemel bir aracı olarak kullanılır duzenleme ve farklı dizi ve farklı integralleri olarak kuantum alan teorisi . Dikkate değer bir örnekte, Riemann zeta işlevi, Casimir etkisini hesaplamanın bir yönteminde açıkça ortaya çıkıyor . Zeta işlevi, dinamik sistemlerin analizi için de yararlıdır .
Sonsuz seriler
Eşit uzaklıkta pozitif tamsayılarda değerlendirilen zeta işlevi, bir dizi sabitin sonsuz seri gösterimlerinde görünür.
Aslında çift ve tek terimler iki toplamı verir
ve
Yukarıdaki toplamların parametreli versiyonları şu şekilde verilmiştir:
ve
ile ve nerede ve olan poligama fonksiyonu ve Euler sabiti , hem de
tümü süreklidir . Diğer toplamlar şunları içerir:
burada Im , karmaşık bir sayının sanal kısmını gösterir .
Harmonik sayı makalesinde daha fazla formül var .
genellemeler
Riemann zeta fonksiyonunun genellemeleri olarak kabul edilebilecek bir dizi ilgili zeta fonksiyonu vardır. Bunlar Hurwitz zeta işlevini içerir
(Yakınsak seri gösterimi 1930'da Helmut Hasse tarafından verilmiştir , bkz. Hurwitz zeta işlevi ), bu, q = 1 olduğunda Riemann zeta işleviyle çakışır (Hurwitz zeta işlevindeki toplamın alt sınırı 1 değil 0'dır), Dirichlet L- fonksiyonları ve Dedekind zeta fonksiyonu . Diğer ilgili işlevler için zeta işlevi ve L - işlevi makalelerine bakın .
Polylogarithm verilir
bu, z = 1 olduğunda Riemann zeta işleviyle çakışır . Clausen fonksiyonu cl s ( θ ) gerçek veya sanal bir parçası olarak seçilebilir Li s ( e iθ ) .
Lerch aşkın verilir
bu, z = 1 ve q = 1 olduğunda Riemann zeta işleviyle çakışır (Lerch aşkındaki toplamın alt sınırı 1 değil 0'dır).
Birden zeta fonksiyonları ile tanımlanmaktadır
Bu fonksiyonlar analitik olarak n -boyutlu karmaşık uzaya kadar devam ettirilebilir . Pozitif tamsayı argümanlarında bu fonksiyonların aldığı özel değerler , sayı teorisyenleri tarafından çoklu zeta değerleri olarak adlandırılır ve matematik ve fizikte birçok farklı dalla ilişkilendirilmiştir.
Ayrıca bakınız
- 1 + 2 + 3 + 4 + ···
- Aritmetik zeta işlevi
- Genelleştirilmiş Riemann hipotezi
- Lehmer çifti
- Asal zeta işlevi
- Riemann Xi işlevi
- yeniden normalleştirme
- Riemann-Siegel teta işlevi
- ZetaGrid
Notlar
Referanslar
- Apostol, TM (2010), "Zeta ve İlgili Fonksiyonlar" , Olver, Frank WJ'de ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (ed.), NIST Handbook of Mathematical Functions , Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248
- Borwein, Jonathan ; Bradley, David M.; Crandall, Richard (2000). "Riemann Zeta Fonksiyonu için Hesaplamalı Stratejiler" (PDF) . J. Komp. Uygulama. matematik . 121 (1–2): 247–296. Bibcode : 2000JCoAM.121..247B . doi : 10.1016/S0377-0427(00)00336-8 .
- Cvijovic, Djurdje; Klinowski, Jacek (2002). "Tek-Tamsayı Argümanları için Riemann Zeta Fonksiyonunun İntegral Temsilleri" . J. Komp. Uygulama. matematik . 142 (2): 435-439. Bibcode : 2002JCoAM.142..435C . doi : 10.1016/S0377-0427(02)00358-8 . MR 1906742 .
- Cvijovic, Djurdje; Klinowski, Jacek (1997). "Riemann zeta fonksiyonu ve polilogaritmalar için sürekli kesir açılımları" . Proc. Amer. Matematik. Soc . 125 (9): 2543–2550. doi : 10.1090/S0002-9939-97-04102-6 .
- Edwards, HM (1974). Riemann'ın Zeta Fonksiyonu . Akademik Basın. ISBN'si 0-486-41740-9. Riemann'ın makalesinin İngilizce çevirisi var.
- Hadamard, Jacques (1896). "Sür la dağıtım des zéros de la fonction ζ ( s ) ve ses sonuçları aritmetiği" . Bülten de la Société Mathématique de France . 14 : 199–220. doi : 10.24033/bsmf.545 .
- Hardy, GH (1949). Iraksak Serisi . Clarendon Press, Oxford.
- Hasse, Helmut (1930). "Ein Summierungsverfahren für die Riemannsche ζ -Reihe". Matematik. Z . 32 : 458-464. doi : 10.1007/BF01194645 . MR 1545177 . S2CID 120392534 . (Küresel yakınsak seri ifadesi.)
- İvic, A. (1985). Riemann Zeta Fonksiyonu . John Wiley ve Oğulları. ISBN'si 0-471-80634-X.
- Motohashi, Y. (1997). Riemann Zeta Fonksiyonunun Spektral Teorisi . Cambridge Üniversitesi Yayınları. ISBN'si 0521445205.
- Karatsuba, AA ; Voronin, SM (1992). Riemann Zeta-Fonksiyonu . Berlin: W. de Gruyter.
- Mező, István; Dil, Ayhan (2010). "Hurwitz zeta fonksiyonunu içeren hiperharmonik serisi". Sayı Teorisi Dergisi . 130 (2): 360–369. doi : 10.1016/j.jnt.2009.08.005 . hdl : 2437/90539 . MR 2564902 .
- Montgomery, Hugh L. ; Vaughan, Robert C. (2007). Çarpımsal sayı teorisi. I. Klasik teori . İleri matematikte Cambridge izleri. 97 . Cambridge Üniversitesi Yayınları. Bölüm 10. ISBN'si 978-0-521-84903-6.
- Newman, Donald J. (1998). Analitik sayı teorisi . Matematikte Lisansüstü Metinler . 177 . Springer-Verlag. Bölüm 6. ISBN'si 0-387-98308-2.
- Raoh, Guo (1996). "Riemann Zeta Fonksiyonunun Logaritmik Türevinin Dağılımı". Londra Matematik Derneği Bildirileri . s3–72: 1–27. arXiv : 1308.3597 . doi : 10.1112/plms/s3-72.1.1 .
- Riemann, Bernhard (1859). "Über die Anzahl der Primzahlen unter einer gegebenen Grösse" . Monatsberichte der Berliner Akademi .. In Gesammelte Werke Dover, New York (1953) tarafından, TEUBNER, Leipzig (1892), yayımlanmaktadır.
- Sondo, Jonathan (1994). "Riemann'ın zeta fonksiyonunun analitik devamı ve serilerin Euler dönüşümü yoluyla negatif tamsayılardaki değerleri" (PDF) . Proc. Amer. Matematik. Soc . 120 (2): 421–424. doi : 10.1090/S0002-9939-1994-1172954-7 .
- Titchmarsh, EC (1986). Heath-Brown (ed.). Riemann Zeta Fonksiyonu Teorisi (2. rev. ed.). Oxford Üniversitesi Yayınları.
- Whittaker, ET ; Watson, GN (1927). Modern Analizde Bir Kurs (4. baskı). Cambridge Üniversitesi Yayınları. Bölüm 13.
- Zhao, Jianqiang (1999). "Birden çok zeta fonksiyonunun analitik devamı" . Proc. Amer. Matematik. Soc . 128 (5): 1275–1283. doi : 10.1090/S0002-9939-99-05398-8 . MR 1670846 .
Dış bağlantılar
- İlgili Medya Riemann zeta fonksiyonu Wikimedia Commons
- "Zeta-fonksiyonu" , Matematik Ansiklopedisi , EMS Press , 2001 [1994]
- Wolfram Mathworld'de Riemann Zeta Fonksiyonu - daha matematiksel bir yaklaşımla bir açıklama
- Seçilen sıfırların tabloları
- Asal Sayılar Hitched Asal sayılarla ilgili olarak zeta fonksiyonunun öneminin genel, teknik olmayan bir açıklaması.
- Zeta Fonksiyonunun X-Işını Zeta'nın nerede gerçek veya tamamen hayali olduğunun görsel olarak araştırılması.
- Riemann Zeta işlevi için formüller ve kimlikler function.wolfram.com
- Riemann Zeta Fonksiyonu ve Diğer Karşılıklı Güç Toplamları , Abramowitz ve Stegun'un 23.2. bölümü
- Frenkel, Edward . "Milyon Dolarlık Matematik Problemi" (video) . Brady Haran'ın fotoğrafı . 11 Mart 2014 tarihinde alındı .
- Mellin dönüşümü ve Riemann Zeta fonksiyonunun fonksiyonel denklemi - Riemann Zeta Fonksiyonunu içeren Mellin dönüşümü yöntemlerinin hesaplamalı örnekleri