دالة زيتا لريمان
دالة زيتا لريمان | |
---|---|
![]() | |
تدوين | |
تعريف الدالة | |
مشتق الدالة | |
الميزات الأساسية | |
مجال الدالة | |
المجال المقابل | |
قيم محددة | |
القيمة/النهاية عند الصفر | |
نهاية الدالة عند +∞ | |
القيمة/النهاية عند | |
القيمة/النهاية عند | |
القيمة/النهاية عند | |
القيمة/النهاية عند | |
تعديل مصدري - تعديل ![]() |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Complex_zeta.jpg/300px-Complex_zeta.jpg)
دالة زيتا لريمان (اِقْتِرانُ ريمان الزَّائِيُّ حسب مجمع اللغة العربية بالقاهرة) وقد تسمى أيضا دالة زيتا لأويلر-ريمان (بالإنجليزية: Riemann zeta function) هي دالة متغيرها عدد عقدي s، تمدد تحليليا مجموع المتسلسلة غير المنتهية ، التي تتقارب حين يكون الجزء الحقيقي للعدد s أكبر قطعا من الواحد. وتلعب دالة زيتا لريمان دورا أساسيا في نظرية الأعداد التحليلية، ولها تطبيقات في الفيزياء ونظرية الاحتمالات والإحصاء التطبيقية.
هاته الدالة في صيغتها حيث المتغير يكون حقيقيا بدلا من مركب، اخترعت ودرست من طرف ليونهارد أويلر في النصف الأول من القرن الثامن عشر، بدون استعمال التحليل العقدي الذي لم يكن موجودا في ذلك الوقت. برنارد ريمان، في كتابه حول عدد الأعداد الأولية الأصغر من عدد ما، الذي نُشر في عام 1859، مدد تعريف أويلر إلى الأعداد المركبة، ثم برهن على كونها دالة جزئية الشكل، ووجد معادلة دالية تحققها هاته الدالة، ثم وجد علاقة تربط جذورها بتوزيع الأعداد الأولية.
قيم دالة زيتا لريمان عند الأعداد الطبيعية الزوجية حُسبن من طرف أويلر. أولها هو (ζ (2، أعطى حلحلة لمعضلة بازل. في عام 1979، برهن غوجي أبيري على كون (ζ (3 عددا غير جذري. قيم الدالة عند الأعداد الصحيحة السالبة، اللائي حُسبن أيضا من طرف أويلر، هي أعداد جذرية تلعب دورا مهما في نظرية الأشكال النمطية. تعرف حاليا العديد من التعميمات لدالة زيتا لريمان، منها متسلسلة دركليه ودالة دركليه اللامية والدوال اللامية.
تعريف
[عدل]![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cb/Ueber_die_Anzahl_der_Primzahlen_unter_einer_gegebenen_Gr%C3%B6sse.pdf/page1-220px-Ueber_die_Anzahl_der_Primzahlen_unter_einer_gegebenen_Gr%C3%B6sse.pdf.jpg)
دالة زيتا لريمان (ζ (s هي دالة متغيرها عدد عقدي s=σ+it (في هذا الإطار، s و σ هما الرمزان اللذان يستعملان عادة من أجل دراسة الدالة ζ). المتسلسلة غير المنتهية التالية تتقارب عندما يكون الجزء الحقيقي للعدد s أكبر قطعا من الواحد. حينئذ تعرف هاته المتسلسلة الدالة (ζ(s.
دالة زيتا لريمان معرفة امتدادا تحليليا للدالة المعرفة بالمتسلسلة السابقة الذكر عندما يكون σ> 1.
درس ليونهارد أويلر هاته المتسلسلة في عام 1740 بالنسبة للأعداد الطبيعية قيما للعدد s، وبعد ذلك مدد تشيبيشيف الدراسة إلى جميع الأعداد الحقيقية الأكبر من الواحد s> 1.
المتسلسلة أعلاه هي نموذج لمتسلسلة دركليه يتقارب مطلقا نحو دالة تحليلية بالنسبة إلى s حين يكون σ> 1 ويتباعد بالنسبة لجميع القيم الأخرى ل s. برهن ريمان أن الدالة المعرفة على نصف المستوى حيث المتسلسلة أعلاه تتقارب، يمكن أن تُمدد تحليليا إلى جميع قيم s المخلفة عن الواحد. حين يكون s مساويا للواحد (s = 1)، تصير المتساوية المعرفة أعلاه المتسلسلة المتناسقة وهي متسلسلة تتباعد نحو +∞ و:
هكذا، دالة زيتا لريمان هي دالة جزئية الشكل على المستوى العقدي كله، أي بمعنى أنها دالة تامة الشكل في المستوى العقدي كله باستثناء القطب البسيط عند 1 بباق مساوي ل1.
قيم خاصة
[عدل]![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d9/Zeta.png/300px-Zeta.png)
الصيغة التالية تنسب إلى أويلر وهي تعطي قيمة (ζ(2k للأعداد الزوجية:
حيث B2k هي أعداد بيرنولي. لا توجد صيغة لحساب زيتا بالنسبة للأعداد الفردية. أما بالنسبة إلى الأعداد السالبة فيتوفر ما يلي:
حين يكون n ≥ 1. هذا يؤدي إلى انعدام دالة زيتا لريمان بالنسبة لجميع الأعداد الزوجية السالبة لأن Bm = 0 مهما كان m فرديا ومختلفا عن الواحد.
هذه بعض القيم:
- تستعمل في الفيزياء،
- تستعمل في الفيزياء،
- يعرف برهان هاته المتساوية بمعضلة بازل. مقلوب هذا المجموع (أي:) هو جواب السؤال التالي: ما احتمال أن يكون عددان طبيعيان، اختيرا عشوائيا، أوليين فيما بينهما ؟
- : تسمى ثابتة أبيري.
- تستعمل في الفيزياء.
ζ(6) = π6/945
ζ(8) = π8/9450
صيغة جداء أويلر
[عدل]اكتشفت العلاقة بين دالة زيتا والأعداد الأولية من طرف عالم الرياضيات ليونهارد أويلر الذي برهن على المتطابقة التالية (prime تعني عددا أوليا):
كان ذلك في عام 1737. يسمى هذا الجداء جداء أويلر.
المعادلة الدالية
[عدل]دالة زيتا لريمان تحقق المعادلة الدالية التالية (والتي قد تسمى أيضا معادلة ريمان الدالية):
حيث (Γ(s هي دالة غاما، وهي متساوية لدوال جزئية الشكل، صالحة في المستوى العقدي كله. هذه المعادلة تربط قيمة زيتا لريمان عند النقطة s بقيمتها عند النقطة . المعادلة الدالية (بسبب خصائص دالة الجيب) تعني أن (ζ(s لها جذورا بسيطة عند كل عدد صحيح زوجي سالب s = -2n. تُعرف هاته الأعداد بالجذور البديهية للدالة (ζ(s. عندما يكون s مساويا لعدد طبيعي موجب زوجي، يكون الجداء sin(πs2)Γ(1 − s) مساويا لعدد مختلف عن الصفر، لأن للدالة Γ(1 − s) قطب بسيط عند الأعداد الطبيعية. تَذَكر أن أقطاب دالة غاما هي الأعداد الصحيحة السالبة.
أُقيمت هاته المعادلة من طرف ريمان عام 1859 في مقاله حول عدد الأعداد الأولية الأصغر من عدد ما، كما استعملها في إنشاء الامتداد التحليلي في أول الأمر. علاقة مكافئة لهاته المعادلة حُدست من طرف أويلر أكثر من قرن من الزمان من ذلك، في عام 1749، تتعلق بدالة إيتا لدركليه (دالة زيتا المتناوبة)
جذور دالة زيتا والمستقيم الحرج وفرضية ريمان
[عدل]![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9e/Zero-free_region_for_the_Riemann_zeta-function.svg/300px-Zero-free_region_for_the_Riemann_zeta-function.svg.png)
حدسيات هاردي-ليتلوود
[عدل]في عام 1914، برهن غودفري هارولد هاردي على أن لها عدد غير منته من الجذور.
حدسية سيلبرغ
[عدل]في عام 1942، بحث أتل سيلبرغ معضلة هاردي-ليتلوود الثانية.
نتائج أخرى
[عدل]خصائص دالة زيتا
[عدل]المقلوب
[عدل]مقلوب دالة زيتا يمكن أن يُعبر عنه بواسطة متسلسلة دركليه، المعرفة بدالة موبيوس (μ(n.
بالنسبة لجميع الأعداد العقدية s، ذات جزء حقيقي أكبر قطعا من الواحد. انظر إلى دالة جداءية.
تمثيلات
[عدل]تحويل ميلين
[عدل]تحويل ميلين لدالة ما (f (x يُعرف كما يلي:
دوال ثيتا
[عدل]متسلسلة لورنت
[عدل]دالة زيتا لريمان هي دالة جزئية الشكل لها قطب بسيط من الدرجة الأولى عند s = 1. هكذا، يمكن لها أن تنشر كمتسلسلة لورنت عندما يقترب s من الواحد.
الحد الثابت γ0 هو ثابتة أويلر-ماسكيروني.
التكامل
[عدل]جداء هادامار
[عدل]انظر إلى جداء غير منته وإلى مبرهنة التعميل لويرستراس.
المتسلسلة المتقاربة عموما
تطبيقات
[عدل]تستخدم دالة زيتا في العديد من الميادين مثل الإحصاء التطبيقي (طالع قانون زيف) ونظرية الحقل الكمومي وتحليل النظام التحريكي.
تعميميات
[عدل]هناك عدد من الدوال الزائية التي يمكن أن تعتبر تعميمات لدالة زيتا لريمان. منها دالة زيتا لهورفيتز المعرفة كما يلي:
معلومات إضافية
[عدل]إذا كانت حدسية ميرتنز صحيحة، فإن فرضية ريمان صحيحة وأنه لا يوجد أي جذر غير بسيط لدالة زيتا (أي أنه لا يوجد أي جذر ذي درجة تساوي أو تفوق 2).
و لكنه رغم أن حدسية ميرتنز خاطئة، فإنه لا يزال يعتقد أن فرضية ريمان صحيحة وأن جذور دالة زيتا بسيطة (أي أن درجات هاته الجذور لا تساوي ولا تفوق 2)
انظر أيضًا
[عدل]مراجع
[عدل]- ^ "Jupyter Notebook Viewer". Nbviewer.ipython.org. مؤرشف من الأصل في 2015-10-20. اطلع عليه بتاريخ 2017-01-04.
![]() |
في كومنز صور وملفات عن: دالة زيتا لريمان |