دالة زيتا لريمان

تم رسم دالة زيتا لريمان ζ ( z ) مع تلوين المجال [ 1 ]
القطب عند z = 1 وصفران على الخط الحرج

دالة زيتا لريمان أو دالة زيتا لأويلر-ريمان ، والتي يُرمز لها بالحرف اليوناني الصغير ζ ( زيتا )، هي دالة رياضية لمتغير مركب تُعرَّف على النحو التالي:ζ(s)=ن=11نs=11s+12s+13s+{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}={\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\cdots }لـRهـ(s)>1{\displaystyle \mathrm {Re} (s)>1}[ 2 ] ، واستمرارها التحليلي في مكان آخر.

تلعب دالة زيتا لريمان دورًا محوريًا في نظرية الأعداد التحليلية ولها تطبيقات في الفيزياء ونظرية الاحتمالات والإحصاء التطبيقي .

قدّم ليونارد أويلر دالة زيتا لأول مرة ودرسها على الأعداد الحقيقية في النصف الأول من القرن الثامن عشر. وفي عام ١٨٥٩، نشر برنارد ريمان مقالًا بعنوان " حول عدد الأعداد الأولية الأقل من مقدار معين "، موسعًا تعريف أويلر ليشمل المتغير المركب ، ومثبتًا استمراره الميرومورفي ومعادلته الوظيفية ، ومحددًا علاقة بين أصفاره وتوزيع الأعداد الأولية . كما تضمن هذا المقال فرضية ريمان ، وهي تخمين حول توزيع الأصفار المركبة لدالة زيتا لريمان، والتي يعتبرها العديد من علماء الرياضيات أهم مشكلة لم تُحل بعد في الرياضيات البحتة . [ ٣ ]

قام أويلر بحساب قيم دالة زيتا لريمان عند الأعداد الصحيحة الزوجية الموجبة. أول هذه القيم، ζ (2) ، تُقدّم حلاً لمسألة بازل . في عام 1979، أثبت روجر أبيري عدم نسبية ζ (3) ، ونتيجةً لذلك، سُمّي العدد باسمه. أما القيم عند الأعداد الصحيحة السالبة، والتي وجدها أويلر أيضاً، فهي أعداد نسبية وتلعب دوراً هاماً في نظرية الأشكال النمطية . وهناك العديد من التعميمات المعروفة لدالة زيتا لريمان، مثل متسلسلات ديريشليه ، ودوال ديريشليه L ، ودوال L.

تعريف

مقال برنارد ريمان حول عدد الأعداد الأولية الأقل من مقدار معين

دالة زيتا لريمان ζ ( s ) هي دالة لمتغير مركب s = σ + it ، حيث σ و t عددان حقيقيان. (يُستخدم الترميز s و σ و t تقليديًا في دراسة دالة زيتا، تبعًا لريمان). عندما يكون Re( s ) = σ > 1 ، يمكن كتابة الدالة كمجموع متقارب أو كتكامل.

ζ(s)=ن=11نs=1Γ(s)0xs-1هـx-1دx،//

أين

Γ(s)=0xs-1هـ-xدx{\displaystyle \Gamma (s)=\int _{0}^{\infty}x^{s-1}\,e^{-x}\,\mathrm {d} x}

هي دالة غاما . يتم تعريف دالة زيتا لريمان للقيم المركبة الأخرى من خلال الاستمرار التحليلي للدالة المعرفة لـ σ > 1 .

لقد درس ليونارد أويلر السلسلة المذكورة أعلاه في عام 1740 للقيم الصحيحة الموجبة لـ s ، وفي وقت لاحق قام تشيبيشيف بتوسيع التعريف إلى Re( s ) > 1. [ 4 ]

المتسلسلة المذكورة أعلاه هي متسلسلة ديريشليه نموذجية تتقارب تقاربًا مطلقًا إلى دالة تحليلية عندما يكون s بحيث σ > 1 ، وتتباعد لجميع قيم s الأخرى . وقد بيّن ريمان أن الدالة المعرفة بهذه المتسلسلة على نصف مستوى التقارب يمكن تمديدها تحليليًا إلى جميع القيم المركبة s ≠ 1. أما عندما يكون s = 1 ، فإن المتسلسلة هي متسلسلة توافقية تتباعد إلى +∞ ، و ليمs1(s-1)ζ(s)=1.{\displaystyle \lim _{s\to 1}(s-1)\zeta (s)=1.} وبالتالي فإن دالة زيتا لريمان هي دالة ميرومورفية على المستوى المركب بأكمله، وهي دالة هولومورفية في كل مكان باستثناء قطب بسيط عند s = 1 مع الباقي 1 .

صيغة أويلر للضرب

في عام 1737، اكتشف أويلر العلاقة بين دالة زيتا والأعداد الأولية ، وأثبت هذه العلاقة.

ن=11نs=ص برايم11-ص-s،{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p{\text{ prime}}}{\frac {1}{1-p^{-s}}},}

حيث أن الطرف الأيسر، بحسب التعريف، هو ζ ( s ) والضرب اللانهائي على الطرف الأيمن يمتد على جميع الأعداد الأولية p (تسمى هذه التعبيرات بضرب أويلر ):

ص برايم11-ص-s=11-2-s11-3-s11-5-s11-7-s11-11-s11-ص-s{\displaystyle \prod _{p{\text{ prime}}}{\frac {1}{1-p^{-s}}}={\frac {1}{1-2^{-s}}}\cdot {\frac {1}{1-3^{-s}}}\cdot {\frac {1}{1-5^{-s}}}\cdot {\frac {1}{1-7^{-s}}}\cdot {\frac {1}{1-11^{-s}}}\cdots {\frac {1}{1-p^{-s}}}\cdots }

يتقارب طرفا صيغة جداء أويلر عندما يكون Re( s ) > 1. يعتمد برهان متطابقة أويلر على صيغة المتسلسلة الهندسية والنظرية الأساسية للحساب فقط . ولأن المتسلسلة التوافقية ، التي نحصل عليها عندما s = 1 ، متباعدة ، فإن صيغة أويلر (التي تصبح Πp / p - 1 ) تشير إلى وجود عدد لا نهائي من الأعداد الأولية . [ 5 ] وبما أن لوغاريتم p /( p - 1) يساوي تقريبًا 1/ p ، يمكن استخدام الصيغة أيضًا لإثبات النتيجة الأقوى ، وهي أن مجموع مقلوبات الأعداد الأولية لا نهائي. من جهة أخرى، يُظهر دمج ذلك مع غربال إراتوستينس أن كثافة مجموعة الأعداد الأولية ضمن مجموعة الأعداد الصحيحة الموجبة تساوي صفرًا.

يمكن استخدام صيغة جداء أويلر لحساب الاحتمال التقاربي لكون s أعدادًا صحيحة مختارة عشوائيًا ضمن نطاق معين أولية فيما بينها . وبشكل بديهي، فإن احتمال أن يكون أي عدد قابلًا للقسمة على عدد أولي (أو أي عدد صحيح) p هو 1/ p . وبالتالي، فإن احتمال أن تكون جميع الأعداد s قابلة للقسمة على هذا العدد الأولي هو 1/ ps ، واحتمال ألا يكون واحد منها على الأقل قابلًا للقسمة على هذا العدد الأولي هو 1 - 1/ ps . الآن، بالنسبة للأعداد الأولية المختلفة، تكون أحداث قابلية القسمة هذه مستقلة عن بعضها البعض لأن القواسم المرشحة أولية فيما بينها (يكون العدد قابلًا للقسمة على القواسم الأولية n و m إذا وفقط إذا كان قابلًا للقسمة على nm ، وهو حدث يحدث باحتمال 1/( nm ) ). وبالتالي، فإن الاحتمال التقاربي لكون s أعدادًا أولية فيما بينها يُعطى بجداء على جميع الأعداد الأولية، [ 6 ]  

ص برايم(1-1صs)=(ص برايم11-ص-s)-1=1ζ(s).{\displaystyle \prod _{p{\text{ prime}}}\left(1-{\frac {1}{p^{s}}}\right)=\left(\prod _{p{\text{ prime}}}{\frac {1}{1-p^{-s}}}\right)^{-1}={\frac {1}{\zeta (s)}}.}

معادلة ريمان الوظيفية

تحقق دالة زيتا هذه المعادلة الوظيفيةζ(s)=2sπs-1 الخطيئة(πs2) Γ(1-s) ζ(1-s) ،{\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\ \sin \left({\frac {\pi s}{2}}\right)\ \Gamma (1-s)\ \zeta (1-s)\ ,} حيث Γ( s ) هي دالة غاما . هذه مساواة بين دوال ميرومورفية صالحة على كامل المستوى العقدي . تربط المعادلة قيم دالة زيتا لريمان عند النقطتين s و 1 − s ، وتحديدًا تربط الأعداد الصحيحة الزوجية الموجبة بالأعداد الصحيحة الفردية السالبة. نظرًا لأصفار دالة الجيب، فإن المعادلة الدالية تعني أن ζ ( s ) لها صفر بسيط عند كل عدد صحيح زوجي سالب s = −2n ، والمعروفة بالأصفار التافهة لـ ζ ( s ) . عندما يكون s عددًا صحيحًا زوجيًا موجبًا، فإن حاصل الضربالخطيئة(πs2)Γ(1-s){\displaystyle \sin \left({\frac {\pi s}{2}}\right)\Gamma (1-s)}القيمة على اليمين غير صفرية لأن Γ(1 − s ) لها قطب بسيط ، والذي يلغي الصفر البسيط لعامل الجيب. عندما تكون s تساوي صفرًا ، يتم إلغاء صفر عامل الجيب بواسطة القطب البسيط لـ ζ (1 ) .

تم وضع المعادلة الوظيفية بواسطة ريمان في ورقته البحثية عام 1859 بعنوان " حول عدد الأعداد الأولية الأقل من مقدار معين " واستخدمت لبناء الاستمرار التحليلي في المقام الأول.

في الصيغة الأديلية التي طُوِّرت في أطروحة تيت ، ما يُسمى بعامل جاما π-s/2Γ(s/2){\displaystyle \pi ^{-s/2}\Gamma (s/2)}يُفسر ذلك على أنه عامل زيتا المحلي في موقع أرخميدس .

دالة ريمان xi

كما وجد ريمان صيغة متناظرة للمعادلة الوظيفية عن طريق وضع ξ(s)=s(s-1)2π-s2Γ(s2)ζ(s)=(s-1)π-s2Γ(s2+1)ζ(s){\displaystyle \xi (s)={\frac {s(s-1)}{2}}\pi ^{-{\frac {s}{2}}}\Gamma \left({\frac {s}{2}}\right)\zeta (s)=(s-1)\pi ^{-{\frac {s}{2}}}\Gamma \left({\frac {s}{2}}+1\right)\zeta (s)} الذي يرضي: ξ(s)=ξ(1-s) .{\displaystyle \xi (s)=\xi (1-s)~.} الدالة xi هي دالة كاملة أصفارها هي بالضبط الأصفار غير التافهة لدالة زيتا لريمان.

بالعودة إلى اشتقاق المعادلة الوظيفية في القسم السابق، لدينا ξ(s)=12+s(s-1)21(x-s2-12+xs2-1)ψ(x)دx،{\displaystyle \xi (s)={\frac {1}{2}}+{\frac {s(s-1)}{2}}\int _{1}^{\infty }\left(x^{-{\frac {s}{2}}-{\frac {1}{2}}}+x^{{\frac {s}{2}}-1}\right)\psi (x)dx,} أين ψ(x)=ن=1هـ-πن2x.{\displaystyle \psi (x)=\sum _{n=1}^{\infty }e^{-\pi n^{2}x}.}

باستخدام التكامل بالتجزئة ، ξ(s)=12-[(sx1-s2+(1-s)xs2)ψ(x)]1+1(sx1-s2+(1-s)xs2)ψ(x)دx{\displaystyle \xi (s)={\frac {1}{2}}-\left[\left(sx^{\frac {1-s}{2}}+(1-s)x^{\frac {s}{2}}\right)\psi (x)\right]_{1}^{\infty }+\int _{1}^{\infty }\left(sx^{\frac {1-s}{2}}+(1-s)x^{\frac {s}{2}}\right)\psi '(x)dx}ξ(s)=12+ψ(1)+1(sx1-s2+(1-s)xs2)ψ(x)دx{\displaystyle \xi (s)={\frac {1}{2}}+\psi (1)+\int _{1}^{\infty }\left(sx^{\frac {1-s}{2}}+(1-s)x^{\frac {s}{2}}\right)\psi '(x)dx}

باستخدام التكامل بالتجزئة مرة أخرى مع تحليل x 3/2 ، ξ(s)=12+ψ(1)-2[x32ψ(x)(xs-12+x-s2)]1+21(xs-12+x-s2)ددx[x32ψ(x)]دx{\displaystyle \xi (s)={\frac {1}{2}}+\psi (1)-2\left[x^{\frac {3}{2}}\psi '(x)\left(x^{\frac {s-1}{2}}+x^{-{\frac {s}{2}}}\right)\right]_{1}^{\infty }+2\int _{1}^{\infty }\left(x^{\frac {s-1}{2}}+x^{-{\frac {s}{2}}}\right){\frac {d}{dx}}\left[x^{\frac {3}{2}}\psi '(x)\right]dx}ξ(s)=12+ψ(1)+4ψ(1)+21ددx[x32ψ(x)](xs-12+x-s2)دx{\displaystyle \xi (s)={\frac {1}{2}}+\psi (1)+4\psi '(1)+2\int _{1}^{\infty }{\frac {d}{dx}}\left[x^{\frac {3}{2}}\psi '(x)\right]\left(x^{\frac {s-1}{2}}+x^{-{\frac {s}{2}}}\right)dx}

مثل12+ψ(1)+4ψ(1)=0{\displaystyle {\frac {1}{2}}+\psi (1)+4\psi '(1)=0}، ξ(s)=21ددx[x32ψ(x)](xs-12+x-s2)دx{\displaystyle \xi (s)=2\int _{1}^{\infty }{\frac {d}{dx}}\left[x^{\frac {3}{2}}\psi '(x)\right]\left(x^{\frac {s-1}{2}}+x^{-{\frac {s}{2}}}\right)dx}

قم بإزالة عامل x −1/4 لجعل الأسس في الباقي معكوسة. ξ(s)=21ددx[x32ψ(x)]x-14(xs-1/22+x1/2-s2)دx{\displaystyle \xi (s)=2\int _{1}^{\infty }{\frac {d}{dx}}\left[x^{\frac {3}{2}}\psi '(x)\right]x^{-{\frac {1}{4}}}\left(x^{\frac {s-1/2}{2}}+x^{\frac {1/2-s}{2}}\right)dx}

باستخدام الدوال الزائدية ، وهي cos( x ) = cosh( ix ) ، وبفرض أن s = 1/2 + it، نحصل على ξ(s)=41ددx[x32ψ(x)]x-14كوس(ت2سجلx)دx{\displaystyle \xi (s)=4\int _{1}^{\infty }{\frac {d}{dx}}\left[x^{\frac {3}{2}}\psi '(x)\right]x^{-{\frac {1}{4}}}\cos \left({\frac {t}{2}}\log x\right)dx} وبفصل التكامل واستخدام متسلسلة القوى لـ cos ، ξ(s)=ن=0أ2نت2ن{\displaystyle \xi (s)=\sum _{n=0}^{\infty }a_{2n}t^{2n}} مما قاد ريمان إلى فرضيته الشهيرة.

الأصفار، والخط الحرج، وفرضية ريمان

لا تحتوي دالة زيتا لريمان على أصفار على يمين σ = 1 أو (باستثناء الأصفار التافهة) على يسار σ = 0 (ولا يمكن أن تقع الأصفار قريبة جدًا من هذين الخطين). علاوة على ذلك، فإن الأصفار غير التافهة متناظرة حول المحور الحقيقي والخط σ = 1/2 ، ووفقًا لفرضية ريمان ، فإنها جميعًا تقع على الخط σ = 1/2 .
تُظهر هذه الصورة رسمًا بيانيًا لدالة زيتا لريمان على طول الخط الحرج لقيم حقيقية لـ t تتراوح من 0 إلى 34. الأصفار الخمسة الأولى في الشريط الحرج مرئية بوضوح كمكان تمر فيه اللوالب عبر نقطة الأصل.
الجزء الحقيقي (باللون الأحمر) والجزء التخيلي (باللون الأزرق) لدالة زيتا لريمان على طول الخط الحرج Re( s ) = 1/2 . يمكن ملاحظة الأصفار غير التافهة الأولى عند Im( s ) = ±14.135 و ±21.022 و ±25.011 .

تُظهر المعادلة الدالية أن دالة زيتا لريمان لها أصفار عند -2، -4، ... تُسمى هذه الأصفار بالأصفار التافهة . وهي تافهة بمعنى أن وجودها سهل الإثبات نسبيًا، على سبيل المثال، من كون sin( πs /2) يساوي صفرًا في المعادلة الدالية. أما الأصفار غير التافهة فقد حظيت باهتمام أكبر بكثير، ليس فقط لأن توزيعها أقل فهمًا، بل والأهم من ذلك، أن دراستها تُسفر عن نتائج مهمة تتعلق بالأعداد الأولية والأشياء ذات الصلة في نظرية الأعداد. من المعروف أن أي صفر غير تافه يقع في الشريط المفتوح { sج{\displaystyle \mathbb {C} }| 0 < Re( s ) < 1} ، والتي تُسمى الشريط الحرج . المجموعة { sج{\displaystyle \mathbb {C} }يُطلق على الخط |Re( s ) = 1/2} اسم الخط الحرج . وتنص فرضية ريمان ، التي تُعتبر من أعظم المسائل غير المحلولة في الرياضيات، على أن جميع الأصفار غير التافهة تقع على الخط الحرج. في عام 1989، أثبت كونري أن أكثر من 40% من الأصفار غير التافهة لدالة زيتا لريمان تقع على الخط الحرج. [ 9 ] وقد تم تحسين هذه النسبة لاحقًا إلى 41.7%. [ 10 ]

للحصول على دالة زيتا لريمان على الخط الحرج، انظر دالة Z.

الأصفار القليلة الأولى غير التافهة [ 11 ] [ 12 ]
صفر
1/2 ± 14.134725... i
1/2 ± 21.022040... i
1/2 ± 25.010858... i
1/2 ± 30.424876... i
1/2 ± 32.935062... i
1/2 ± 37.586178... i
1/2 ± 40.918719... i

عدد الأصفار في الشريط الحرج

ليكن N ( T ) عدد أصفار ζ ( s ) في الشريط الحرج 0 < Re( s ) < 1 ، والتي تقع أجزاؤها التخيلية في الفترة 0 < Im( s ) < T. أثبت تيموثي ترودجيان أنه إذا كان T > e ، فإن [ 13 ]

|شمال(تي)-تي2πسجلتي2πهـ|0.112سجلتي+0.278سجلسجلتي+3.385+0.2تي{\displaystyle \left|N(T)-{\frac {T}{2\pi }}\log {\frac {T}{2\pi e}}\right|\leq 0.112\log T+0.278\log \log T+3.385+{\frac {0.2}{T}}}.

تخمينات هاردي-ليتلوود

في عام 1914، أثبت جي إتش هاردي أن ζ ( 1 / 2 + it ) لها عدد لا نهائي من الأصفار الحقيقية. [ 14 ] [ 15 ]

وضع هاردي وجيه إي ليتلوود تخمينين حول كثافة المسافة بين أصفار الدالة ζ (1/2 + it ) على فترات من الأعداد الحقيقية الموجبة الكبيرة. فيما يلي، N ( T ) هو العدد الإجمالي للأصفار الحقيقية، و N₀ ( T ) هو العدد الإجمالي لأصفار الدالة ζ (1/2 + it ) من الرتبة الفردية الواقعة في الفترة (0, T ) .

  1. لكل ε > 0 ، يوجد T 0 ( ε ) > 0 بحيث عندما
    تيتي0(ε) و ح=تي14+ε،{\displaystyle T\geq T_{0}(\varepsilon )\quad {\text{ and }}\quad H=T^{{\frac {1}{4}}+\varepsilon },}
    تحتوي الفترة ( T ، T + H ] على صفر من رتبة فردية.
  2. لكل ε > 0 ، يوجد T 0 ( ε ) > 0 و c ε > 0 بحيث تكون المتباينة
    شمال0(تي+ح)-شمال0(تي)جεح{\displaystyle N_{0}(T+H)-N_{0}(T)\geq c_{\varepsilon }H}

    يستمر عندما

    تيتي0(ε) و ح=تي12+ε.{\displaystyle T\geq T_{0}(\varepsilon )\quad {\text{ and }}\quad H=T^{{\frac {1}{2}}+\varepsilon }.}

فتحت هاتان الفرضيتان آفاقاً جديدة في دراسة دالة زيتا لريمان.

منطقة خالية من الصفر

يُعدّ موقع أصفار دالة زيتا لريمان ذا أهمية بالغة في نظرية الأعداد. تُكافئ نظرية الأعداد الأولية حقيقة عدم وجود أصفار لدالة زيتا على الخط Re( s ) = 1. [ 16 ] ومن المعروف أيضًا أن الأصفار لا توجد في مناطق معينة تقع قليلًا إلى يسار الخط Re( s ) = 1 ، وتُعرف بالمناطق الخالية من الأصفار. على سبيل المثال، أثبت كلٌّ من كوروبوف [ 17 ] وفينوغرادوف [ 18 ] بشكل مستقل، باستخدام نظرية القيمة المتوسطة لفينوغرادوف، أنه بالنسبة لقيم | t | الكبيرة بما فيه الكفاية ، فإن ζ ( σ + it ) ≠ 0.

σ1-ج(سجل|ت|)2/3+ε{\displaystyle \sigma \geq 1-{\frac {c}{(\log |t|)^{2/3+\varepsilon }}}}

لأي قيمة ε > 0 وعدد c > 0 يعتمد على ε . تقاربياً، هذه هي أكبر منطقة خالية من الأصفار معروفة لدالة زيتا.

تُعرف أيضًا مناطق خالية من الأصفار بشكل صريح. وقد تحقق بلات وترودجيان [ 19 ] حسابيًا من أن ζ ( σ + it ) ≠ 0 إذا كان σ ≠ 1/2 و | t | ≤ 3 × 10¹² . وأثبت موسينغهوف وترودجيان ويانغ [ 20 ] أن دالة زيتا لا تحتوي على أصفار في هذه المنطقة.

σ1-15.558691سجل|ت|{\displaystyle \sigma \geq 1-{\frac {1}{5.558691\log |t|}}}

لـ | t | ≥ 2 ، وهي أكبر منطقة معروفة خالية من الأصفار في الشريط الحرج لـ 3⋅10¹² < | t | < exp(64.1) ≈ 7⋅10²⁷ ( للاطلاع على النتائج السابقة، انظر [ 21 ] ) . أظهر يانغ [ 22 ] أن ζ ( σ + it ) ≠ 0 إذا

σ1-سجلسجل|ت|21.233سجل|ت|{\displaystyle \sigma \geq 1-{\frac {\log \log |t|}{21.233\log |t|}}}و|ت|3{\displaystyle |t|\geq 3}

وهي أكبر منطقة خالية من الأصفار معروفة للنطاق exp(170.2) < | t | < exp(4.8⋅10⁵ ) . وقد أثبت بيلوتي [ 23 ] (بالاستناد إلى عمل فورد [ 24 ] ) المنطقة الخالية من الأصفار.

σ1-153.989(سجل|ت|)2/3(سجلسجل|ت|)1/3{\displaystyle \sigma \geq 1-{\frac {1}{53.989(\log |t|)^{2/3}(\log \log |t|)^{1/3}}}}و|ت|3{\displaystyle |t|\geq 3}.

هذه هي أكبر منطقة خالية من الأصفار معروفة لقيمة ثابتة لـ | t | ≥ exp(4.8⋅10⁵ ) . كما أظهر بيلوتي أنه بالنسبة لقيم | t | الكبيرة بما فيه الكفاية ، تُعرف النتيجة الأفضل التالية: ζ ( σ + it ) ≠ 0 لـ

σ1-148.0718(سجل|ت|)2/3(سجلسجل|ت|)1/3.{\displaystyle \sigma \geq 1-{\frac {1}{48.0718(\log |t|)^{2/3}(\log \log |t|)^{1/3}}}.}

إن أقوى نتيجة من هذا النوع يمكن للمرء أن يأمل فيها هي صحة فرضية ريمان، والتي سيكون لها العديد من العواقب العميقة في نظرية الأعداد.

نتائج أخرى

من المعروف أن هناك عددًا لا نهائيًا من الأصفار على الخط الحرج. وقد أثبت ليتلوود أنه إذا احتوت المتتالية ( γn ) على الأجزاء التخيلية لجميع الأصفار في النصف العلوي من المستوى المركب بترتيب تصاعدي، فإن

ليمن(γن+1-γن)=0.{\displaystyle \lim _{n\rightarrow \infty }\left(\gamma _{n+1}-\gamma _{n}\right)=0.}

تنص نظرية الخط الحرج على أن نسبة موجبة من الأصفار غير التافهة تقع على الخط الحرج. (تفترض فرضية ريمان أن هذه النسبة تساوي 1 ).

في الشريط الحرج، يكون الصفر ذو أصغر جزء تخيلي غير سالب هو 1/2 + 14.13472514... i ( OEIS : A058303  ). وحقيقة أنه، لجميع الأعداد المركبة s ≠ 1 ،

ζ(s)=ζ(s¯)¯{\displaystyle \zeta (s)={\overline {\zeta ({\overline {s}})}}}

يشير هذا إلى أن أصفار دالة زيتا لريمان متناظرة حول المحور الحقيقي. وبدمج هذا التناظر مع المعادلة الدالية، يتضح أن الأصفار غير التافهة متناظرة حول الخط الحرج Re( s ) = 1/2 .

ومن المعروف أيضاً أنه لا توجد أصفار على الخط الذي يحتوي على الجزء الحقيقي 1 .

توجد فئة كبيرة من دوال زيتا المعدلة التي تشترك في نفس الأصفار غير التافهة مثل دالة زيتا لريمان، حيث يعني التعديل استبدال الأعداد الأولية في جداء أويلر بأعداد حقيقية، وهو ما تم إثباته في نتيجة بواسطة غروسوالد وشنيتزر .

قيم محددة

لأي عدد صحيح زوجي موجب 2n ،ζ(2ن)=|ب2ن|(2π)2ن2(2ن)!،{\displaystyle \zeta (2n)={\frac {|{B_{2n}}|(2\pi )^{2n}}{2(2n)!}},} حيث B 2 n هو عدد برنولي رقم ( 2 n ) . توضيح القيمة المحددة ζ(2)=1+122+132+=π26{\displaystyle \zeta (2)=1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}} تُعرف هذه المسألة بمسألة بازل . مقلوب هذا المجموع يجيب على السؤال التالي: "ما هو احتمال أن يكون عددان مختاران من توزيع منتظم من 1 إلى n أوليين فيما بينهما عندما n → ∞ ؟" [ 25 ]

بالنسبة للأعداد الصحيحة الموجبة الفردية، لا توجد صيغة بسيطة معروفة، على الرغم من أنه يُعتقد أن هذه القيم مرتبطة بنظرية K الجبرية للأعداد الصحيحة؛ انظر القيم الخاصة لدوال L. القيمة ζ(3)=1+123+133+=1.202056903159594285399...{\displaystyle \zeta (3)=1+{\frac {1}{2^{3}}}+{\frac {1}{3^{3}}}+\cdots =1.202056903159594285399...} ثابت أبيري .

بالنسبة للأعداد الصحيحة غير الموجبة، لا تتقارب المتسلسلة، ولكن من خلال الاستمرار التحليلي يمكن إثبات ذلك. ζ(-ن)=-بن+1ن+1{\displaystyle \zeta (-n)=-{\frac {B_{n+1}}{n+1}}} لـ n ≥ 0 (باستخدام الاصطلاح B 1 = 1/2 ). على وجه الخصوص، تنعدم دالة زيتا عند الأعداد الزوجية السالبة لأن B m = 0 لجميع قيم m الفردية باستثناء 1. هذه هي ما يسمى "الأصفار التافهة" لدالة زيتا. قيمة خاصة أخرى هي  ζ(-1)=-112{\displaystyle \zeta (-1)=-{\tfrac {1}{12}}} يُعطي هذا ذريعةً لتخصيص قيمة محدودة للمتسلسلة المتباعدة 1 + 2 + 3 + 4 + ⋯ ، والتي استُخدمت في سياقات معينة ( مجموع رامانوجان ) مثل نظرية الأوتار . [ 26 ] وبالمثل، ζ(0)=-12{\displaystyle \zeta (0)=-{\tfrac {1}{2}}} يمكن اعتبار ذلك بمثابة إسناد نتيجة نهائية إلى السلسلة المتباعدة 1 + 1 + 1 + 1 + ⋯ .

القيمة ζ(12)=-1.46035450880958681288...{\displaystyle \zeta {\bigl (}{\tfrac {1}{2}}{\bigr )}=-1.46035450880958681288\ldots } تُستخدم في حساب مسائل الطبقة الحدية الحركية للمعادلات الحركية الخطية. [ 27 ] [ 28 ]

بالرغم من ζ(1)=1+12+13+{\displaystyle \zeta (1)=1+{\tfrac {1}{2}}+{\tfrac {1}{3}}+\cdots } يتباعد، قيمته الرئيسية لكوشيليمε0ζ(1+ε)+ζ(1-ε)2{\displaystyle \lim _{\varepsilon \to 0}{\frac {\zeta (1+\varepsilon )+\zeta (1-\varepsilon )}{2}}} موجود ويساوي ثابت أويلر-ماسكيروني γ = 0.5772... . [ 29 ]

بأخذ النهاية s → +∞ عبر الأعداد الحقيقية، نحصل على ζ (+∞) = 1. ولكن عند اللانهاية المركبة على كرة ريمان، يكون لدالة زيتا نقطة تفرد أساسية . [ 2 ]

خصائص متنوعة

للاطلاع على المجاميع التي تتضمن دالة زيتا عند القيم الصحيحة ونصف الصحيحة ، انظر سلسلة زيتا النسبية .

متبادل

يمكن التعبير عن مقلوب دالة زيتا كمتسلسلة ديريشليه على دالة موبيوس μ ( n ) :

1ζ(s)=ن=1μ(ن)نs{\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}}

لكل عدد مركب s ذي جزء حقيقي أكبر من 1. هناك عدد من العلاقات المماثلة التي تتضمن دوال ضربية معروفة مختلفة ؛ وقد وردت هذه العلاقات في المقالة المتعلقة بمتسلسلة ديريشليه .

إن فرضية ريمان تعادل الادعاء بأن هذا التعبير صحيح عندما يكون الجزء الحقيقي من s أكبر من 1/2 .

العالمية

تتمتع الشريحة الحرجة لدالة زيتا لريمان بخاصية عالمية ملحوظة. تنص هذه الخاصية العالمية لدالة زيتا ، بشكل تقريبي، على أن الإزاحات الرأسية لـζ(s){\displaystyle \zeta (s)}يمكن أن تقارب بشكل منتظم أي دالة هولومورفية غير معدومة على مجموعات فرعية مضغوطة مناسبة من الشريط1/2<يكرر(s)<1{\displaystyle 1/2<\operatorname {Re} (s)<1}نظرًا لأن الدوال التحليلية عامة جدًا، فإن هذه الخاصية تُعدّ لافتة للنظر. وقدّم سيرجي ميخائيلوفيتش فورونين أول برهان على هذه الخاصية الشاملة عام 1975. [ 30 ] وشملت أعمال أحدث صيغًا فعّالة لنظرية فورونين [ 31 ] وتوسيعها لتشمل دوال ديريشليه L. [ 32 ] [ 33 ]

تقديرات الحد الأقصى لقيمة دالة زيتا

لنفترض أن الدالتين F ( T ; H ) و G ( s0 ; Δ) معرفتان بالمتساويات التالية

F(تي؛ح)=أقصى|ت-تي|ح|ζ(12+أنات)|،جي(s0؛Δ)=أقصى|s-s0|Δ|ζ(s)|.{\displaystyle F(T;H)=\max _{|t-T|\leq H}\left|\zeta \left({\tfrac {1}{2}}+it\right)\right|,\qquad G(s_{0};\Delta )=\max _{|s-s_{0}|\leq \Delta }|\zeta (s)|.}

هنا ، T عدد موجب كبير بما فيه الكفاية، 0 < H ≪ log log T ، s 0 = σ 0 + iT ، 1/2 ≤ σ 0 ≤ 1 ، 0 < Δ < 1/3 . يُظهر تقدير القيمتين F و G أدناه مدى كبر (قيمة مطلقة) القيم التي يمكن أن تأخذها ζ ( s ) على فترات قصيرة من الخط الحرج أو في جوارات صغيرة من النقاط الواقعة في الشريط الحرج 0 ≤ Re( s ) ≤ 1 .

تمت دراسة الحالة H ≫ log log T بواسطة Kanakanahalli Ramachandra ؛ الحالة Δ > c ، حيث c ثابت كبير بما فيه الكفاية ، هي حالة تافهة.

أثبت أناتولي كاراتسوبا ، [ 34 ] [ 35 ] على وجه الخصوص، أنه إذا تجاوزت قيم H و Δ ثوابت صغيرة معينة، فإن التقديرات

F(تي؛ح)تي-ج1،جي(s0؛Δ)تي-ج2،{\displaystyle F(T;H)\geq T^{-c_{1}},\qquad G(s_{0};\Delta )\geq T^{-c_{2}},}

hold, حيث c 1 و c 2 ثابتان مطلقان معينان.

وسيط دالة زيتا لريمان

الوظيفة

S(ت)=1πargζ(12+أنات){\displaystyle S(t)={\frac {1}{\pi }}\arg {\zeta \left({\tfrac {1}{2}}+it\right)}}

يُطلق على هذا اسم وسيط دالة زيتا لريمان. هنا ، arg ζ (1/2 + it ) هو الزيادة في فرع متصل عشوائي من arg ζ ( s ) على طول الخط المتقطع الذي يصل بين النقاط 2 و 2 + it و 1/2 + it .

توجد بعض النظريات حول خصائص الدالة S ( t ) . ومن بين هذه النتائج [ 36 ] [ 37 ] نظريات القيمة المتوسطة للدالة S ( t ) وتكاملها الأول.

S1(ت)=0تS(u)دu{\displaystyle S_{1}(t)=\int _{0}^{t}S(u)\,\mathrm {d} u}

على فترات خط الأعداد الحقيقية، وكذلك النظرية التي تنص على أن كل فترة ( T ، T + H ] لـ

حتي2782+ε{\displaystyle H\geq T^{{\frac {27}{82}}+\varepsilon }}

يحتوي على الأقل

حlnتي3هـ-جlnlnتي{\displaystyle H{\sqrt[{3}]{\ln T}}e^{-c{\sqrt {\ln \ln T}}}}

النقاط التي تغير عندها الدالة S ( t ) إشارتها. وقد حصل أتلي سيلبرغ سابقًا على نتائج مماثلة في هذه الحالة.

حتي12+ε.{\displaystyle H\geq T^{{\frac {1}{2}}+\varepsilon }.}

التمثيلات

سلسلة ديريشلي

يمكن الحصول على امتداد لمنطقة التقارب عن طريق إعادة ترتيب المتسلسلة الأصلية. [ 38 ] المتسلسلة

ζ(s)=1s-1ن=1(ن(ن+1)s-ن-sنs){\displaystyle \zeta (s)={\frac {1}{s-1}}\sum _{n=1}^{\infty }\left({\frac {n}{(n+1)^{s}}}-{\frac {n-s}{n^{s}}}\right)}

يتقارب عندما يكون Re( s ) > 0 ، بينما

ζ(s)=1s-1ن=1ن(ن+1)2(2ن+3+s(ن+1)s+2-2ن-1-sنs+2){\displaystyle \zeta (s)={\frac {1}{s-1}}\sum _{n=1}^{\infty }{\frac {n(n+1)}{2}}\left({\frac {2n+3+s}{(n+1)^{s+2}}}-{\frac {2n-1-s}{n^{s+2}}}\right)}

تتقارب حتى عندما يكون Re( s ) > −1 . وبهذه الطريقة، يمكن توسيع منطقة التقارب إلى Re( s ) > −k لأي عدد صحيح سالب −k .

إن العلاقة التكرارية واضحة من التعبير الصالح لـ Re( s ) > −2 مما يتيح مزيدًا من التوسع عن طريق التكامل بالتجزئة.

ζ(s)=1+1s-1-s2![ζ(s+1)-1]-s(s+1)3![ζ(s+2)-1]-s(s+1)(s+2)3!ن=101ت3دت(ن+ت)s+3.{\displaystyle {\begin{aligned}\zeta (s)=&1+{\frac {1}{s-1}}-{\frac {s}{2!}}[\zeta (s+1)-1]\\-&{\frac {s(s+1)}{3!}}[\zeta (s+2)-1]\\&-{\frac {s(s+1)(s+2)}{3!}}\sum _{n=1}^{\infty }\int _{0}^{1}{\frac {t^{3}dt}{(n+t)^{s+3}}}.\end{aligned}}}

يؤدي هذا التكرار إلى تطوير سلسلة أخرى تستخدم العامل المتزايد وتكون صالحة للمستوى المركب بأكمله [ 38 ].

ζ(s)=ss-1-ن=1(ζ(s+ن)-1)s(s+1)(s+ن-1)(ن+1)!.{\displaystyle \zeta (s)={\frac {s}{s-1}}-\sum _{n=1}^{\infty }{\bigl (}\zeta (s+n)-1{\bigr )}{\frac {s(s+1)\cdots (s+n-1)}{(n+1)!}}.}

يمكن استخدام هذا بشكل متكرر لتوسيع تعريف سلسلة ديريشليه ليشمل جميع الأعداد المركبة.

تظهر دالة زيتا لريمان أيضًا في شكل مشابه لتحويل ميلين في التكامل على مؤثر جاوس-كوزمين-ويرسينغ الذي يعمل على x s −1 ؛ هذا السياق يؤدي إلى توسيع متسلسلة بدلالة المضروب المتناقص . [ 39 ]

تكاملات من نوع ميلين

يتم تعريف تحويل ميلين للدالة f ( x ) على النحو التالي [ 40 ]

0و(x)xsدxx{\displaystyle \int _{0}^{\infty }f(x)x^{s}\,{\frac {\mathrm {d} x}{x}}}

في المنطقة التي يُعرَّف فيها التكامل. توجد تعابير مختلفة لدالة زيتا كتكاملات شبيهة بتحويل ميلين. إذا كان الجزء الحقيقي من s أكبر من واحد، فإننا نحصل على

Γ(s)ζ(s)=0xs-1هـx-1دx{\displaystyle \Gamma (s)\zeta (s)=\int _{0}^{\infty }{\frac {x^{s-1}}{e^{x}-1}}\,\mathrm {d} x\quad }وΓ(s)ζ(s)=12s0xsضرب بالعصا(x)-1دx،{\displaystyle \quad \Gamma (s)\zeta (s)={\frac {1}{2s}}\int _{0}^{\infty }{\frac {x^{s}}{\cosh(x)-1}}\,\mathrm {d} x,}

حيث يرمز Γ إلى دالة غاما . وبتعديل المسار ، أثبت ريمان أن

2الخطيئة(πs)Γ(s)ζ(s)=أناح(-x)s-1هـx-1دx{\displaystyle 2\sin(\pi s)\Gamma (s)\zeta (s)=i\oint _{H}{\frac {(-x)^{s-1}}{e^{x}-1}}\,\mathrm {d} x}

لجميع s [ 41 ] (حيث H تشير إلى محيط هانكل ).

يمكننا أيضًا إيجاد تعابير تتعلق بالأعداد الأولية ونظرية الأعداد الأولية . إذا كانت π ( x ) هي دالة عد الأعداد الأولية ، فإن

lnζ(s)=s0π(x)x(xs-1)دx،{\displaystyle \ln \zeta (s)=s\int _{0}^{\infty }{\frac {\pi (x)}{x(x^{s}-1)}}\,\mathrm {d} x,}

بالنسبة للقيم التي يكون فيها Re( s ) > 1 .

يتضمن تحويل ميلين المماثل دالة ريمان J ( x ) ، التي تحسب قوى الأعداد الأولية pn بوزن 1 / n ، بحيث

ج(x)=π(x1ن)ن.{\displaystyle J(x)=\sum {\frac {\pi \left(x^{\frac {1}{n}}\right)}{n}}.}

الآن

lnζ(s)=s0ج(x)x-s-1دx.{\displaystyle \ln \zeta (s)=s\int _{0}^{\infty }J(x)x^{-s-1}\,\mathrm {d} x.}

يمكن استخدام هذه التعبيرات لإثبات نظرية الأعداد الأولية باستخدام تحويل ميلين العكسي. تُعد دالة ريمان لحساب الأعداد الأولية أسهل في التعامل، ويمكن استخلاص π ( x ) منها باستخدام معكوس موبيوس .

دوال ثيتا

يمكن إعطاء دالة زيتا لريمان عن طريق تحويل ميلين [ 42 ]

2π-s2Γ(s2)ζ(s)=0(θ(أنات)-1)تs2-1دت،{\displaystyle 2\pi ^{-{\frac {s}{2}}}\Gamma \left({\frac {s}{2}}\right)\zeta (s)=\int _{0}^{\infty }{\bigl (}\theta (it)-1{\bigr )}t^{{\frac {s}{2}}-1}\,\mathrm {d} t,}

من حيث دالة ثيتا لجاكوبي

θ(τ)=ن=-هـπأنان2τ.{\displaystyle \theta (\tau )=\sum _{n=-\infty }^{\infty }e^{\pi in^{2}\tau }.}

مع ذلك، لا يتقارب هذا التكامل إلا إذا كان الجزء الحقيقي من s أكبر من 1 ، ولكن يمكن تنظيمه. وهذا يعطينا الصيغة التالية لدالة زيتا، وهي دالة معرفة جيدًا لجميع قيم s باستثناء 0 و 1 :

π-s2Γ(s2)ζ(s)=1s-1-1s+1201(θ(أنات)-ت-12)تs2-1دت+121(θ(أنات)-1)تs2-1دت.{\displaystyle \pi ^{-{\frac {s}{2}}}\Gamma \left({\frac {s}{2}}\right)\zeta (s)={\frac {1}{s-1}}-{\frac {1}{s}}+{\frac {1}{2}}\int _{0}^{1}\left(\theta (it)-t^{-{\frac {1}{2}}}\right)t^{{\frac {s}{2}}-1}\,\mathrm {d} t+{\frac {1}{2}}\int _{1}^{\infty }{\bigl (}\theta (it)-1{\bigr )}t^{{\frac {s}{2}}-1}\,\mathrm {d} t.}

سلسلة لوران

دالة زيتا لريمان هي دالة ميرومورفية ذات قطب واحد من الرتبة الأولى عند s = 1. وبالتالي، يمكن توسيعها كمتسلسلة لوران حول s = 1 ؛ ويكون تطور المتسلسلة كما يلي [ 43 ].

ζ(s)=1s-1+ن=0γنن!(1-s)ن.{\displaystyle \zeta (s)={\frac {1}{s-1}}+\sum _{n=0}^{\infty }{\frac {\gamma _{n}}{n!}}(1-s)^{n}.}

تُسمى الثوابت γ n هنا بثوابت ستيلتجس ، ويمكن تعريفها بالنهاية .

γن=ليمم((ك=1م(lnك)نك)-(lnم)ن+1ن+1).{\displaystyle \gamma _{n}=\lim _{m\rightarrow \infty }{\left(\left(\sum _{k=1}^{m}{\frac {(\ln k)^{n}}{k}}\right)-{\frac {(\ln m)^{n+1}}{n+1}}\right)}.}

الحد الثابت γ 0 هو ثابت أويلر-ماسكيروني .

أساسي

لكل sج{\displaystyle \mathbb {C} }، s ≠ 1 ، العلاقة التكاملية (انظر صيغة أبيل-بلانا )

ζ(s)=1s-1+12+20الخطيئة(sدالة الظل العكسيت)(1+ت2)s/2(هـ2πت-1)  دت{\displaystyle \zeta (s)={\frac {1}{s-1}}+{\frac {1}{2}}+2\int _{0}^{\infty }{\frac {\sin(s\arctan t)}{\left(1+t^{2}\right)^{s/2}\left(e^{2\pi t}-1\right)\ }}\ \operatorname {d} t}

ينطبق هذا، والذي يمكن استخدامه للتقييم العددي لدالة زيتا.

منتج هادامارد

استنادًا إلى نظرية التحليل إلى عوامل لـ وييرشتراس ، قدم هادامارد توسيع الضرب اللانهائي

ζ(s)=هـ(سجل(2π)-1-γ2)s2(s-1)Γ(1+s2)ρ(1-sρ)هـsρ،{\displaystyle \zeta (s)={\frac {e^{\left(\log(2\pi )-1-{\frac {\gamma }{2}}\right)s}}{2(s-1)\Gamma \left(1+{\frac {s}{2}}\right)}}\prod _{\rho }\left(1-{\frac {s}{\rho }}\right)e^{\frac {s}{\rho }},}

حيث يكون الضرب على الأصفار غير التافهة ρ للدالة ζ ، ويرمز الحرف γ مرة أخرى إلى ثابت أويلر-ماسكيروني . ويكون توسيع الضرب اللانهائي أبسط كما يلي:

ζ(s)=πs2ρ(1-sρ)2(s-1)Γ(1+s2).{\displaystyle \zeta (s)=\pi ^{\frac {s}{2}}{\frac {\prod _{\rho }\left(1-{\frac {s}{\rho }}\right)}{2(s-1)\Gamma \left(1+{\frac {s}{2}}\right)}}.}

يُظهر هذا الشكل بوضوح القطب البسيط عند s = 1 ، والأصفار التافهة عند −2، −4، ... نتيجةً لحد دالة غاما في المقام، والأصفار غير التافهة عند s = ρ . (لضمان التقارب في الصيغة الأخيرة، يجب حساب حاصل الضرب على "أزواج متطابقة" من الأصفار، أي يجب دمج عوامل زوج من الأصفار من الشكل ρ و 1 − ρ ).

سلاسل متقاربة عالميًا

تم التكهن بوجود متسلسلة متقاربة عالميًا لدالة زيتا، صالحة لجميع الأعداد المركبة s باستثناء s = 1 + i / ln 2 n لبعض الأعداد الصحيحة n ، من قبل كونراد كنوب في عام 1926 [ 44 ] وأثبتها هيلموت هاس في عام 1930 [ 45 ] (انظر مجموع أويلر ):

ζ(s)=11-21-sن=012ن+1ك=0ن(نك)(-1)ك(ك+1)s.{\displaystyle \zeta (s)={\frac {1}{1-2^{1-s}}}\sum _{n=0}^{\infty }{\frac {1}{2^{n+1}}}\sum _{k=0}^{n}{\binom {n}{k}}{\frac {(-1)^{k}}{(k+1)^{s}}}.}

ظهرت السلسلة في ملحق لورقة هاس، ونُشرت للمرة الثانية بواسطة جوناثان سوندو في عام 1994. [ 46 ]

كما أثبت هاس السلاسل المتقاربة عالميًا

ζ(s)=1s-1ن=01ن+1ك=0ن(نك)(-1)ك(ك+1)s-1{\displaystyle \zeta (s)={\frac {1}{s-1}}\sum _{n=0}^{\infty }{\frac {1}{n+1}}\sum _{k=0}^{n}{\binom {n}{k}}{\frac {(-1)^{k}}{(k+1)^{s-1}}}}

في نفس المنشور. [ 45 ] وقد وجد بحث أجراه ياروسلاف بلاغوشين [ 47 ] [ 44 ] أن سلسلة مماثلة ومكافئة قد نشرها جوزيف سير في عام 1926. [ 48 ]

في عام 1997، قدم ك. ماسلانكا سلسلة أخرى متقاربة عالميًا (باستثناء s = 1 ) لدالة زيتا لريمان:

ζ(s)=1s-1ك=0(أنا=1ك(أنا-s2))أكك!=1s-1ك=0(1-s2)كأكك!{\displaystyle \zeta (s)={\frac {1}{s-1}}\sum _{k=0}^{\infty }{\biggl (}\prod _{i=1}^{k}(i-{\frac {s}{2}}){\biggl )}{\frac {A_{k}}{k!}}={\frac {1}{s-1}}\sum _{k=0}^{\infty }{\biggl (}1-{\frac {s}{2}}{\biggl )}_{k}{\frac {A_{k}}{k!}}}

حيث المعاملات الحقيقيةأك{\displaystyle A_{k}}يتم الحصول عليها من خلال:

أك=ج=0ك(-1)ج(كج)(2ج+1)ζ(2ج+2)=ج=0ك(كج)ب2ج+2π2ج+2(2)ج(12)ج{\displaystyle A_{k}=\sum _{j=0}^{k}(-1)^{j}{\binom {k}{j}}(2j+1)\zeta (2j+2)=\sum _{j=0}^{k}{\binom {k}{j}}{\frac {B_{2j+2}\pi ^{2j+2}}{\left(2\right)_{j}\left({\frac {1}{2}}\right)_{j}}}}

هنا ، B n هي أعداد برنولي، و ( x ) k يرمز إلى رمز بوخامر. [ 49 ] [ 50 ]

تجدر الإشارة إلى أن هذا التمثيل لدالة زيتا هو في جوهره استيفاءٌ ذو عُقد، حيث تمثل العُقد النقاط s = 2، 4، 6، ... ، أي تلك النقاط التي تُعرف فيها قيم زيتا بدقة، كما أوضح أويلر. وقدّم فيليب فلاجويه في عام 2006 برهانًا أنيقًا ومختصرًا جدًا لهذا التمثيل لدالة زيتا، استنادًا إلى نظرية كارلسون . [ 51 ]

السلوك التقاربي للمعاملاتأك{\displaystyle A_{k}}الأمر غريب نوعاً ما: من أجل النموك{\displaystyle k}عند قيم معينة، نلاحظ تذبذبات منتظمة ذات سعة متناقصة أُسّيًا تقريبًا وتردد متناقص ببطء (تقريبًا مثلك-2/3{\displaystyle k^{-2/3}}باستخدام طريقة نقطة السرج، يمكننا إثبات أن

أك4π3/23κخبرة(-3κ2+π24κ)كوس(4π3-33κ2+3π24κ){\displaystyle A_{k}\sim {\frac {4\pi ^{3/2}}{\sqrt {3\kappa }}}\exp {\biggl (}-{\frac {3\kappa }{2}}+{\frac {\pi ^{2}}{4\kappa }}{\biggl )}\cos {\biggl (}{\frac {4\pi }{3}}-{\frac {3{\sqrt {3}}\kappa }{2}}+{\frac {{\sqrt {3}}\pi ^{2}}{4\kappa }}{\biggl )}}

أينκ{\displaystyle \kappa }يرمز إلى:

κ:=π2ك3{\displaystyle \kappa :={\sqrt[{3}]{\pi ^{2}k}}}

(انظر [ 52 ] لمزيد من التفاصيل).

استنادًا إلى هذا التمثيل، قدّم لويس بايز دوارته في عام 2003 معيارًا جديدًا لفرضية ريمان. [ 53 ] [ 54 ] [ 55 ] أي، إذا عرّفنا المعاملات c k على النحو التالي:

جك:=ج=0ك(-1)ج(كج)1ζ(2ج+2){\displaystyle c_{k}:=\sum _{j=0}^{k}(-1)^{j}{\binom {k}{j}}{\frac {1}{\zeta (2j+2)}}}

إذن، فإن فرضية ريمان تعادل ما يلي:

جك=يا(ك-3/4+ε)(ε>0){\displaystyle c_{k}={\mathcal {O}}\left(k^{-3/4+\varepsilon }\right)\qquad (\forall \varepsilon >0)}

المتسلسلات المتقاربة بسرعة

قام بيتر بورواين بتطوير خوارزمية تطبق كثيرات حدود تشيبيشيف على دالة ديريشليه إيتا لإنتاج سلسلة متقاربة بسرعة كبيرة مناسبة للحسابات العددية عالية الدقة . [ 56 ]

تمثيل المتسلسلات عند الأعداد الصحيحة الموجبة عبر الأعداد الأولية

ζ(ك)=2ك2ك-1+ر=2(صر-18)كجك(صر8)ك=2،3،....{\displaystyle \zeta (k)={\frac {2^{k}}{2^{k}-1}}+\sum _{r=2}^{\infty }{\frac {(p_{r-1}\#)^{k}}{J_{k}(p_{r}\#)}}\qquad k=2,3,\ldots .}

هنا p n # هي المتتالية الأولية و J k هي دالة جوردان . [ 57 ]

تمثيل المتسلسلات بواسطة أعداد برنولي غير الكاملة

يمكن تمثيل الدالة ζ ، عندما يكون Re( s ) > 1 ، بواسطة متسلسلة لانهائية

ζ(s)=ن=0بن،2(s)(دبليوك(-1))نن!،{\displaystyle \zeta (s)=\sum _{n=0}^{\infty }B_{n,\geq 2}^{(s)}{\frac {(W_{k}(-1))^{n}}{n!}},}

حيث k ∈ {−1, 0} ، و W k هو الفرع k من دالة لامبرت W ، و B ( μ ) n ,≥2 هو عدد برنولي متعدد غير كامل. [ 58 ]

تحويل ميلين لخريطة إنجل

يتم تكرار الدالة g ( x ) = x (1 + x −1 ) − 1 لإيجاد المعاملات التي تظهر في متسلسلات إنجل . [ 59 ]

تحويل ميلين للخريطةز(x){\displaystyle g(x)}ترتبط بدالة زيتا لريمان بالصيغة التالية:

01ز(x)xs-1دx=ن=11ن+11ن(x(ن+1)-1)xs-1دx=ن=1ن-s(s-1)+(ن+1)-s-1(ن2+2ن+1)+ن-s-1s-ن1-s(s+1)s(ن+1)=ζ(s+1)s+1-1s(s+1){\displaystyle {\begin{aligned}\int _{0}^{1}g(x)x^{s-1}\,dx&=\sum _{n=1}^{\infty }\int _{\frac {1}{n+1}}^{\frac {1}{n}}(x(n+1)-1)x^{s-1}\,dx\\[6pt]&=\sum _{n=1}^{\infty }{\frac {n^{-s}(s-1)+(n+1)^{-s-1}(n^{2}+2n+1)+n^{-s-1}s-n^{1-s}}{(s+1)s(n+1)}}\\[6pt]&={\frac {\zeta (s+1)}{s+1}}-{\frac {1}{s(s+1)}}\end{aligned}}}

التمثيلات العشوائية

ترتبط الحركة البراونية ودالة زيتا لريمان من خلال دوال توليد العزوم للعمليات العشوائية المشتقة من الحركة البراونية . [ 60 ]

الخوارزميات العددية

تعتمد خوارزمية كلاسيكية، كانت مستخدمة قبل عام 1930 تقريبًا، على تطبيق صيغة أويلر-ماكلورين للحصول على، بالنسبة للأعداد الصحيحة الموجبة n و m ،

ζ(s)=ج=1ن-1ج-s+12ن-s+ن1-ss-1+ك=1متيك،ن(s)+هـم،ن(s){\displaystyle \zeta (s)=\sum _{j=1}^{n-1}j^{-s}+{\tfrac {1}{2}}n^{-s}+{\frac {n^{1-s}}{s-1}}+\sum _{k=1}^{m}T_{k,n}(s)+E_{m,n}(s)}

حيث، السماحب2ك{\displaystyle B_{2k}}يشير إلى رقم برنولي المشار إليه ،

تيك،ن(s)=ب2ك(2ك)!ن1-s-2كج=02ك-2(s+ج){\displaystyle T_{k,n}(s)={\frac {B_{2k}}{(2k)!}}n^{1-s-2k}\prod _{j=0}^{2k-2}(s+j)}

والخطأ يفي بـ

|هـم،ن(s)|<|s+2م+1σ+2م+1تيم+1،ن(s)|،{\displaystyle |E_{m,n}(s)|<\left|{\frac {s+2m+1}{\sigma +2m+1}}T_{m+1,n}(s)\right|,}

مع σ = Re( s ) . [ 61 ]

الخوارزمية الرقمية الحديثة هي خوارزمية Odlyzko-Schönhage .

التطبيقات

تظهر دالة زيتا في الإحصاء التطبيقي بما في ذلك قانون زيبف ، وقانون زيبف-ماندلبروت ، وقانون لوتكا .

يُستخدم تنظيم دالة زيتا كإحدى الوسائل الممكنة لتنظيم المتسلسلات والتكاملات المتباعدة في نظرية الحقل الكمومي . في أحد الأمثلة البارزة، تظهر دالة زيتا لريمان بشكل صريح في إحدى طرق حساب تأثير كازيمير . كما تُعد دالة زيتا مفيدة لتحليل الأنظمة الديناميكية . [ 62 ]

ضبط النغمات الموسيقية

في نظرية الضبط الموسيقي ، يمكن استخدام دالة زيتا لإيجاد تقسيمات متساوية للأوكتاف (EDOs) تُقارب بدقة فواصل السلسلة التوافقية . بالنسبة للقيم المتزايدة لـتR{\displaystyle t\in \mathbb {R} }، قيمة

|ζ(12+2πأناln(2)ت)|{\displaystyle \left\vert \zeta \left({\frac {1}{2}}+{\frac {2\pi {i}}{\ln {(2)}}}t\right)\right\vert }

تظهر قمم بالقرب من الأعداد الصحيحة التي تتوافق مع هذه القيم المرجعية. [ 63 ] تشمل الأمثلة خيارات شائعة مثل 12 و19 و53. [ 64 ]

سلسلة لا نهائية

تظهر دالة زيتا المحسوبة عند أعداد صحيحة موجبة متساوية البعد في تمثيلات متسلسلة لانهائية لعدد من الثوابت. [ 65 ]

  • ن=2(ζ(ن)-1)=1{\displaystyle \sum _{n=2}^{\infty }{\bigl (}\zeta (n)-1{\bigr )}=1}

في الواقع، تعطي الحدود الزوجية والفردية المجموعين

  • ن=1(ζ(2ن)-1)=34{\displaystyle \sum _{n=1}^{\infty }{\bigl (}\zeta (2n)-1{\bigr )}={\frac {3}{4}}}

و

  • ن=1(ζ(2ن+1)-1)=14{\displaystyle \sum _{n=1}^{\infty }{\bigl (}\zeta (2n+1)-1{\bigr )}={\frac {1}{4}}}

تُعطى النسخ المُعَلمة من المجاميع المذكورة أعلاه بواسطة

  • ن=1(ζ(2ن)-1)ت2ن=ت2ت2-1+12(1-πتسرير أطفال(πت)){\displaystyle \sum _{n=1}^{\infty }(\zeta (2n)-1)\,t^{2n}={\frac {t^{2}}{t^{2}-1}}+{\frac {1}{2}}\left(1-\pi t\cot(\pi t)\right)}

و

  • ن=1(ζ(2ن+1)-1)ت2ن=ت2ت2-1-12(ψ0(ت)+ψ0(-ت))-γ{\displaystyle \sum _{n=1}^{\infty }(\zeta (2n+1)-1)\,t^{2n}={\frac {t^{2}}{t^{2}-1}}-{\frac {1}{2}}\left(\psi ^{0}(t)+\psi ^{0}(-t)\right)-\gamma }

مع | t | < 2 وحيثψ{\displaystyle \psi }وγ{\displaystyle \gamma }و هما دالة بوليغاما وثابت أويلر على التوالي، بالإضافة إلى

  • ن=1ζ(2ن)-1نت2ن=سجل(1-ت2منذ(πت)){\displaystyle \sum _{n=1}^{\infty }{\frac {\zeta (2n)-1}{n}}\,t^{2n}=\log \left({\dfrac {1-t^{2}}{\operatorname {sinc} (\pi \,t)}}\right)}

وكلها متصلة عندت=1{\displaystyle t=1}وتشمل المبالغ الأخرى

  • ن=2ζ(ن)-1ن=1-γ{\displaystyle \sum _{n=2}^{\infty }{\frac {\zeta (n)-1}{n}}=1-\gamma }
  • ن=1ζ(2ن)-1ن=ln2{\displaystyle \sum _{n=1}^{\infty }{\frac {\zeta (2n)-1}{n}}=\ln 2}
  • ن=2ζ(ن)-1ن((32)ن-1-1)=13lnπ{\displaystyle \sum _{n=2}^{\infty }{\frac {\zeta (n)-1}{n}}\left(\left({\tfrac {3}{2}}\right)^{n-1}-1\right)={\frac {1}{3}}\ln \pi }
  • ن=1(ζ(4ن)-1)=78-π4(هـ2π+1هـ2π-1){\displaystyle \sum _{n=1}^{\infty }{\bigl (}\zeta (4n)-1{\bigr )}={\frac {7}{8}}-{\frac {\pi }{4}}\left({\frac {e^{2\pi }+1}{e^{2\pi }-1}}\right)}
  • ن=2ζ(ن)-1ن((1+أنا)ن-1-أنان)=π4{\displaystyle \sum _{n=2}^{\infty }{\frac {\zeta (n)-1}{n}}\Im {\bigl (}(1+i)^{n}-1-i^{n}{\bigr )}={\frac {\pi }{4}}}

أين{\displaystyle \Im }يشير إلى الجزء التخيلي من العدد المركب.

سلسلة أخرى مثيرة للاهتمام تتعلق باللوغاريتم الطبيعي لثابت اللمنيسكات هي التالية

  • ن=2[2(-1)نζ(ن)4نن-(-1)نζ(ن)2نن]=ln(ϖ22){\displaystyle \sum _{n=2}^{\infty }\left[{\frac {2(-1)^{n}\zeta (n)}{4^{n}n}}-{\frac {(-1)^{n}\zeta (n)}{2^{n}n}}\right]=\ln \left({\frac {\varpi }{2{\sqrt {2}}}}\right)}

توجد المزيد من الصيغ في مقالة " الرقم التوافقي".

التعميمات

هناك عدد من دوال زيتا ذات الصلة التي يمكن اعتبارها تعميمات لدالة زيتا لريمان. وتشمل هذه دالة زيتا لهورويتز.

ζ(s،q)=ك=01(ك+q)s{\displaystyle \zeta (s,q)=\sum _{k=0}^{\infty }{\frac {1}{(k+q)^{s}}}}

(تم تقديم تمثيل المتسلسلة المتقاربة بواسطة هيلموت هاس في عام 1930، [ 45 ] انظر دالة زيتا لهورويتز )، والتي تتطابق مع دالة زيتا لريمان عندما q = 1 (الحد الأدنى للجمع في دالة زيتا لهورويتز هو 0 ، وليس 1ودوال ديريشليه L ودالة زيتا لديديكيند . للاطلاع على دوال أخرى ذات صلة ، انظر مقالتي دالة زيتا ودالة L.

يُعطى متعدد اللوغاريتمات بالصيغة التالية

ليs(z)=ك=1zككs{\displaystyle \operatorname {Li} _{s}(z)=\sum _{k=1}^{\infty }{\frac {z^{k}}{k^{s}}}}

والتي تتطابق مع دالة زيتا لريمان عندما z = 1. يمكن اختيار دالة كلاوسن Cl s ( θ ) كجزء حقيقي أو تخيلي من Li s ( e ) .

يُعطى المتعالي ليرش بواسطة

Φ(z،s،q)=ك=0zك(ك+q)s{\displaystyle \Phi (z,s,q)=\sum _{k=0}^{\infty }{\frac {z^{k}}{(k+q)^{s}}}}

والتي تتطابق مع دالة زيتا لريمان عندما z = 1 و q = 1 (الحد الأدنى للجمع في دالة ليرش المتسامية هو 0 وليس 1 ).  

تُعرَّف دوال زيتا المتعددة بواسطة

ζ(s1،s2،...،sن)=ك1>ك2>>كن>0ك1-s1ك2-s2كن-sن.{\displaystyle \zeta (s_{1},s_{2},\ldots ,s_{n})=\sum _{k_{1}>k_{2}>\cdots >k_{n}>0}{k_{1}}^{-s_{1}}{k_{2}}^{-s_{2}}\cdots {k_{n}}^{-s_{n}}.}

يمكن تمديد هذه الدوال تحليليًا إلى الفضاء المركب ذي الأبعاد n . تُسمى القيم الخاصة التي تأخذها هذه الدوال عند الوسائط الصحيحة الموجبة بقيم زيتا المتعددة لدى علماء نظرية الأعداد، وقد رُبطت بالعديد من الفروع المختلفة في الرياضيات والفيزياء.

انظر أيضاً

مراجع

  1. "عارض Jupyter Notebook" . Nbviewer.ipython.org . تم الاطلاع عليه بتاريخ 4 يناير 2017 .
  2. 1 2 ستودينغ، يورن؛ سورياجايا، آدي إيرما (1 نوفمبر 2020). "توزيع قيم دالة زيتا لريمان على طول خطوط جوليا الخاصة بها" . الأساليب الحسابية ونظرية الدوال . 20 (3): 389-401 . arXiv : 2007.14661 . doi : 10.1007/s40315-020-00316-x . hdl : 2324/4483207 . ISSN 2195-3724 . S2CID 216323223. تنص النظرية 2 على أن ζ لها نقطة تفرد أساسية عند اللانهاية .  
  3. بومبيري، إنريكو. "فرضية ريمان - الوصف الرسمي للمسألة" (ملف PDF) . معهد كلاي للرياضيات . مؤرشف من الأصل (ملف PDF) بتاريخ 22 ديسمبر 2015. تم الاطلاع عليه بتاريخ 8 أغسطس 2014 .
  4. ديفلين، كيث (2002). مسائل الألفية: أعظم سبعة ألغاز رياضية لم تُحل في عصرنا . نيويورك: بارنز أند نوبل. الصفحات 43-47 . ISBN  978-0-7607-8659-8.
  5. سانديفير، تشارلز إدوارد (2007). كيف فعلها أويلر . الجمعية الرياضية الأمريكية. ص 193. ISBN  978-0-88385-563-8.
  6. مولين، ريتشارد أ. (2010). نظرية الأعداد المتقدمة مع تطبيقاتها . الرياضيات المتقطعة وتطبيقاتها (بوكا راتون). مطبعة سي آر سي، بوكا راتون، فلوريدا. ص 220. ISBN  978-1-4200-8328-6MR 2560324 . 
  7. دام-جونسن، هافارد (2019). دوال ثيتا وتطبيقاتها (ملف PDF) . ص 5. مؤرشف من الأصل (ملف PDF) في 21 مارس 2025. 
  8. تيتشمارش، إي سي (1986). نظرية دالة زيتا لريمان ( الطبعة الثانية). أكسفورد ، المملكة المتحدة: منشورات أكسفورد للعلوم. الصفحات 21-22 . ISBN   0-19-853369-1.
  9. كونري، ج. ب. (1989). "أكثر من خُمسَي أصفار دالة زيتا لريمان تقع على الخط الحرج" . مجلة الرياضيات البحتة والتطبيقية . 1989 (399): 1-26 . doi : 10.1515/crll.1989.399.1 . MR 1004130. S2CID 115910600 .  
  10. برات، كايل؛ روبليس، نيكولاس؛ زاهاريسكو، ألكساندرو؛ زيندلر، ديرك (2020). "أكثر من خمسة أجزاء من اثني عشر من أصفارζ{\displaystyle \zeta }" على الخط الحرج" . بحث في العلوم الرياضية . 7. arXiv : 1802.10521 . doi : 10.1007/s40687-019-0199-8 .
  11. إريك وايسشتاين . "أصفار دالة زيتا لريمان" . تم الاطلاع عليه بتاريخ 24 أبريل 2021 .
  12. قاعدة بيانات الدوال L والأشكال النمطية. "أصفار ζ ( s )" .
  13. ترودجيان، تيموثي س. (2014). "حد أعلى مُحسَّن لوسيط دالة زيتا لريمان على الخط الحرج II". مجلة نظرية الأعداد . 134 : 280-292 . arXiv : 1208.5846 . doi : 10.1016/j.jnt.2013.07.017 .
  14. ^ هاردي، جي إتش (1914). "Sur les Zeros de la fonction ζ(s)". Comptes rendus de l'Académie des Sciences . 158 . الأكاديمية الفرنسية للعلوم : 1012 – 1014.
  15. هاردي، جي إتش؛ فيكيت، إم؛ ليتلوود، جي إي (1 سبتمبر 1921). "أصفار دالة زيتا لريمان على الخط الحرج" . مجلة الجمعية الرياضية بلندن . العدد 1-1 : 15-19 . doi : 10.1112/jlms/s1-1.1.15 .
  16. دايموند، هارولد ج. (1982). "الأساليب الأولية في دراسة توزيع الأعداد الأولية" . نشرة الجمعية الرياضية الأمريكية . 7 (3): 553-589 . doi : 10.1090/S0273-0979-1982-15057-1 . MR 0670132 . 
  17. كوروبوف، نيكولاي ميخائيلوفيتش (1958). "تقديرات المجاميع المثلثية وتطبيقاتها". أوسب. مات. ناوك . 13 (4): 185– 192.
  18. ^ فينوغرادوف، آي إم (1958). "Eine new Abschätzung der Funktion ζ (1 + it ) ". الروسية. IZV. أكاد. ناوك SSSR، سير. حصيرة . 22 : 161 - 164.
  19. بلات، ديفيد؛ ترودجيان، تيموثي س. (2021). "فرضية ريمان صحيحة حتى 3 × 10¹² " . نشرة الجمعية الرياضية في لندن . 53 (3): 792-797 . arXiv : 2004.09765 . doi : 10.1112/blms.12460 .
  20. موسينغهوف، مايكل جيه؛ ترودجيان، تيموثي إس؛ يانغ، أندرو (2024). "مناطق خالية من الأصفار صريحة لدالة زيتا لريمان". بحث في نظرية الأعداد . 10 11. arXiv : 2212.06867 . doi : 10.1007/s40993-023-00498-y .
  21. موسينغهوف، مايكل جيه؛ ترودجيان، تيموثي إس. (2015). "كثيرات الحدود المثلثية غير السالبة ومنطقة خالية من الأصفار لدالة زيتا لريمان". مجلة نظرية الأعداد . 157 : 329-349 . arXiv : 1410.3926 . doi : 10.1016/J.JNT.2015.05.010 . S2CID 117968965 . 
  22. ^ يانغ ، أندرو (2024). "حدود صريحة علىζ(s){\displaystyle \zeta (s)}"في الشريط الحرج ومنطقة خالية من الأصفار". مجلة التحليل الرياضي والتطبيقات 534 ( 2) 128124. arXiv : 2301.03165 . doi : 10.1016/j.jmaa.2024.128124 .
  23. بيلوتي، كيارا (2024). "حدود صريحة لدالة زيتا لريمان ومنطقة جديدة خالية من الأصفار". مجلة التحليل الرياضي والتطبيقات 536 ( 2) 128249. arXiv : 2306.10680 . doi : 10.1016/j.jmaa.2024.128249 .
  24. فورد، ك. (2002). "تكامل فينوغرادوف وحدود دالة زيتا لريمان". وقائع جمعية لندن الرياضية . 85 (3): 565-633 . arXiv : 1910.08209 . doi : 10.1112/S0024611502013655 . S2CID 121144007 . 
  25. أوجيلفي، سي إس ؛ أندرسون، جيه تي (1988). رحلات في نظرية الأعداد . منشورات دوفر. ص 29-35 . ISBN  0-486-25778-9.
  26. بولشينسكي، جوزيف (1998). مقدمة في الأوتار البوزونية . نظرية الأوتار. المجلد الأول. مطبعة جامعة كامبريدج. ص 22. ISBN   978-0-521-63303-1.
  27. كاينز، أ. ج.؛ تيتولير، أ. م. (1992). "طريقة دقيقة لعزم التدفق الثنائي لمسائل الطبقة الحدية الحركية للمعادلات الحركية الخطية". مجلة الفيزياء أ: الرياضيات العامة 25 ( 7): 1855-1874 . رمز Bibcode : 1992JPhA...25.1855K . doi : 10.1088/0305-4470/25/7/026 .
  28. تتوفر أرقام ومراجع إضافية لهذا الثابت في OEIS : A059750  .
  29. سوندو، جوناثان (1998). "صيغة مضادة للتناظر لثابت أويلر" . مجلة الرياضيات . 71 (3): 219-220 . doi : 10.1080/0025570X.1998.11996638 . مؤرشف من الأصل في 4 يونيو 2011. تم الاطلاع عليه في 29 مايو 2006 .
  30. فورونين، إس إم (1975). "نظرية حول عالمية دالة زيتا لريمان". إزف. أكاد. ناوك إس إس إس آر، سير. ماتيم . 39 : 475-486 .أعيد طبعه في Math. USSR Izv. (1975) 9 : 443–445.
  31. Ramūnas Garunkštis; Antanas Laurinčikas; Kohji Matsumoto; Jörn Steuding; Rasa Steuding (2010). "Effective uniform approximation by the Riemann zeta-function". Publicacions Matemàtiques. 54 (1): 209–219. doi:10.5565/PUBLMAT_54110_12. JSTOR 43736941.
  32. Bhaskar Bagchi (1982). "A Joint Universality Theorem for Dirichlet L-Functions". Mathematische Zeitschrift. 181 (3): 319–334. doi:10.1007/bf01161980. ISSN 0025-5874. S2CID 120930513.
  33. Steuding, Jörn (2007). Value-Distribution of L-Functions. Lecture Notes in Mathematics. Vol. 1877. Berlin: Springer. p. 19. arXiv:1711.06671. doi:10.1007/978-3-540-44822-8. ISBN 978-3-540-26526-9.
  34. Karatsuba, A. A. (2001). "Lower bounds for the maximum modulus of ζ(s) in small domains of the critical strip". Mat. Zametki. 70 (5): 796–798.
  35. Karatsuba, A. A. (2004). "Lower bounds for the maximum modulus of the Riemann zeta function on short segments of the critical line". Izv. Ross. Akad. Nauk, Ser. Mat. 68 (8): 99–104. Bibcode:2004IzMat..68.1157K. doi:10.1070/IM2004v068n06ABEH000513. S2CID 250796539.
  36. Karatsuba, A. A. (1996). "Density theorem and the behavior of the argument of the Riemann zeta function". Mat. Zametki (60): 448–449.
  37. Karatsuba, A. A. (1996). "On the function S(t)". Izv. Ross. Akad. Nauk, Ser. Mat. 60 (5): 27–56.
  38. 12Knopp, Konrad (1947). Theory of Functions, Part Two. New York, Dover publications. pp. 51–55.
  39. "A series representation for the Riemann Zeta derived from the Gauss-Kuzmin-Wirsing Operator"(PDF). Linas.org. Retrieved 4 January 2017.
  40. ^ ريمان ، بيرنهارد (1859). " على عدد الأعداد الأولية أقل من حجم معين ". Monatsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin .تُرجمت وأُعيد طبعها في: إدواردز، إتش إم (1974). دالة زيتا لريمان . نيويورك: أكاديميك برس. ISBN 0-12-232750-0. Zbl 0315.10035 . 
  41. لم يتم أخذالاستثناءات البسيطة لقيم s التي تسبب حالات تفرد قابلة للإزالة في الاعتبار في جميع أنحاء هذه المقالة.
  42. ^ نيوكيرتش، يورغن (1999). نظرية الأعداد الجبرية . سبرينغر. ص. 422. ردمك  3-540-65399-6.
  43. ^ هاشيموتو، ياسوفومي. إيجيما، ياسويوكي؛ كوروكاوا، نوبوشيجي؛ واكاياما، ماساتو (2004). "ثوابت أويلر لوظائف سيلبيرج وديدكايند زيتا" . نشرة الجمعية الرياضية البلجيكية، سيمون ستيفين . 11 (4): 493-516 . دوى : 10.36045/bbms/1102689119 . السيد 2115723 . 
  44. 1 2 بلاغوشين، ياروسلاف ف. (2018). "ثلاث ملاحظات حول تمثيلات سير وهاس لدوال زيتا" . الأعداد الصحيحة: المجلة الإلكترونية لنظرية الأعداد التوافقية . 18أ : 1-45 . arXiv : 1606.02044 . Bibcode : 2016arXiv160602044B . doi : 10.5281/zenodo.10581385 .
  45. 1 2 3 هاس، هيلموت (1930). "Ein Summierungsverfahren für die Riemannsche ζ -Reihe " [ طريقة جمع لسلسلة Riemann ζ ] . Mathematische Zeitschrift (باللغة الألمانية). 32 (1): 458-464 . دوى : 10.1007 / BF01194645 . S2CID 120392534 . 
  46. سوندو، جوناثان (1994). "الاستمرار التحليلي لدالة زيتا لريمان وقيمها عند الأعداد الصحيحة السالبة عبر تحويل أويلر للمتسلسلات" (ملف PDF) . وقائع الجمعية الرياضية الأمريكية . 120 (2): 421-424 . doi : 10.1090/S0002-9939-1994-1172954-7 .
  47. بلاغوشين، ياروسلاف ف. (2016). "توسيعات ثوابت أويلر المعممة إلى متسلسلة كثيرات الحدود في π 2 وإلى متسلسلة التغليف الرسمية ذات المعاملات النسبية فقط". مجلة نظرية الأعداد . 158 : 365-396 . arXiv : 1501.00740 . doi : 10.1016/j.jnt.2015.06.012 .
  48. ^ سير جوزيف (1926). "Sur une Expression de la fonction ζ ( s ) de Riemann" [ عند تعبير لدالة Riemann ζ ] . Comptes rendus hebdomadaires des Séances de l'Académie des Sciences (باللغة الفرنسية). 182 : 1075 – 1077.
  49. ماسلانكا، كريستوف (1997). "جمال العدم". أكتا كوزمولوجيكا . XXIII– I: 13– 17.
  50. بايز-دوارته، لويس (2010). "حول تمثيل ماسلانكا لدالة زيتا لريمان" . المجلة الدولية للرياضيات والعلوم الرياضية . 2010 : 1-9 . arXiv : math/0307214 . doi : 10.1155/2010/714147 .
  51. فلاجو، فيليب؛ فيبستاس، ليناس (2008). "حول فروق قيم زيتا". مجلة الرياضيات الحسابية والتطبيقية . 220 (1-2 أكتوبر): 58-73 . arXiv : math/0611332 . Bibcode : 2008JCoAM.220...58F . doi : 10.1016/j.cam.2007.07.040 .
  52. ماسلانكا، كريستوف؛ كوليزينسكي، أندريه (2022). "الحساب العددي عالي الدقة لثوابت ستيلتجس. خوارزمية بسيطة وسريعة". الأساليب الحسابية في العلوم والتكنولوجيا . 28 (2): 47-59 . arXiv : 2210.04609 . doi : 10.12921/cmst.2022.0000014 . S2CID 252780397 . 
  53. بايز-دوارته، لويس (2003). "شرط ضروري وكافٍ جديد لفرضية ريمان". نظرية الأعداد . arXiv : math/0307215 . Bibcode : 2003math......7215B .
  54. ماسلانكا، كريستوف (2006). "معيار بايز-دوارته لفرضية ريمان وتكاملات رايس". نظرية الأعداد . arXiv : math/0603713v2 . Bibcode : 2006math......3713M .
  55. وولف، ماريك (2014). "بعض الملاحظات حول معيار بايز-دوارته لفرضية ريمان" . الأساليب الحسابية في العلوم والتكنولوجيا . 20 (2): 39-47 . doi : 10.12921/cmst.2014.20.02.39-47 .
  56. بورواين، بيتر (2000). "خوارزمية فعّالة لدالة زيتا لريمان" (ملف PDF) . في: ثيرا، ميشيل أ. (محرر). التحليل البنائي والتجريبي وغير الخطي . وقائع المؤتمر، الجمعية الرياضية الكندية. المجلد 27. بروفيدنس، رود آيلاند: الجمعية الرياضية الأمريكية ، نيابةً عن الجمعية الرياضية الكندية . الصفحات 29-34 . ISBN   978-0-8218-2167-1أُرشف من النسخة الأصلية (PDF) بتاريخ 26 يوليو 2011. تم الاطلاع عليه بتاريخ 25 نوفمبر 2017 .
  57. ميزو، إستفان (2013). "الدالة الأولية ودالة زيتا لريمان". المجلة الرياضية الأمريكية الشهرية . 120 (4): 321.
  58. كوماتسو، تاكاو؛ ميزو، إستفان (2016). "أعداد بولي-برنولي غير المكتملة المرتبطة بأعداد ستيرلينغ غير المكتملة". منشورات الرياضيات في ديبريسين . 88 ( 3-4 ): 357-368 . arXiv : 1510.05799 . doi : 10.5486/pmd.2016.7361 . S2CID 55741906 . 
  59. "A220335 – OEIS" . oeis.org . تم الاطلاع عليه بتاريخ 17 أبريل 2019 .
  60. بيان، فيليب؛ بيتمان، جيم؛ يور، مارك (2001). "قوانين الاحتمالات المتعلقة بدوال جاكوبي ثيتا وريمان زيتا، والانحرافات البراونية" . نشرة الجمعية الأمريكية للرياضيات . سلسلة جديدة. 38 (4). الجمعية الأمريكية للرياضيات: 435-465 . doi : 10.1090/S0273-0979-01-00912-0 . تاريخ الاسترجاع: 27 يوليو 2025 .
  61. أودليزكو، أ.مشونهاج، أ. (1988). "خوارزميات سريعة لتقييمات متعددة لدالة زيتا لريمان" . معاملات الجمعية الأمريكية للرياضيات . 309 (2): 797-809 . doi : 10.2307/2000939 . JSTOR 2000939. MR 0961614 .  
  62. "عمل على السلاسل المغزلية من تأليف أ. كناوف وآخرون" . Empslocal.ex.ac.uk . تم الاطلاع عليه بتاريخ 4 يناير 2017 .
  63. جين وارد سميث. "أقرب عدد صحيح إلى مواقع القمم المتزايدة لـ abs(zeta(0.5 + i×2×Pi/log(2)×t)) مع ازدياد قيمة t الحقيقية" . الموسوعة الإلكترونية لتسلسلات الأعداد الصحيحة . تم الاطلاع عليه بتاريخ 4 مارس 2022 .
  64. ويليام أ. سيثاريس (2005). الضبط، النبرة، الطيف، السلم الموسيقي ( الطبعة الثانية). سبرينغر-فيرلاغ لندن. ص 74. ... هناك العديد من الطرق المختلفة لتقييم جودة السلم الموسيقي، ومعقوليته، وملاءمته، أو جودته ... وفقًا لبعض المعايير، يُعتبر السلم الموسيقي ذو 12 نغمة هو الأفضل، بينما يبدو السلم الموسيقي ذو 19 نغمة هو الأفضل وفقًا لمعايير أخرى، وغالبًا ما يظهر السلم الموسيقي ذو 53 نغمة بين السلالم الموسيقية الفائزة ...  
  65. معظم الصيغ في هذا القسم مأخوذة من § 4 من JM Borwein et al. (2000)

مصادر