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

دالة زيتا لريمان (اِقْتِرانُ ريمان الزَّائِيُّ حسب مجمع اللغة العربية بالقاهرة) وقد تسمى أيضا دالة زيتا لأويلر-ريمان  هي دالة متغيرها عدد عقدي s، تمدد تحليليا مجموع المتسلسلة غير المنتهية ، التي تتقارب حين يكون الجزء الحقيقي للعدد s أكبر قطعا من الواحد. وتلعب دالة زيتا لريمان دورا أساسيا في نظرية الأعداد التحليلية، ولها تطبيقات في الفيزياء ونظرية الاحتمالات والإحصاء التطبيقية.

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

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

 تعريف 
تصغير|مقال برنارد ريمان حول عدد الأعداد الأولية الأصغر من عدد ما.

دالة زيتا لريمان (ζ (s هي دالة متغيرها عدد عقدي s=σ+it (في هذا الإطار، s و σ هما الرمزان اللذان يستعملان عادة من أجل دراسة الدالة ζ). المتسلسلة غير المنتهية التالية تتقارب عندما يكون الجزء الحقيقي للعدد s أكبر قطعا من الواحد. حينئذ تعرف هاته المتسلسلة الدالة (ζ(s.

دالة زيتا لريمان معرفة امتدادا تحليليا للدالة المعرفة بالمتسلسلة السابقة الذكر عندما يكون σ> 1.

درس ليونهارد أويلر هاته المتسلسلة في عام 1740 بالنسبة للأعداد الطبيعية قيما للعدد s، وبعد ذلك مدد تشيبيشيف الدراسة إلى جميع الأعداد الحقيقية الأكبر من الواحد s> 1.

المتسلسلة أعلاه هي نموذج لمتسلسلة دركليه يتقارب مطلقا نحو دالة تحليلية بالنسبة إلى s حين يكون σ> 1 ويتباعد بالنسبة لجميع القيم الأخرى ل s. برهن ريمان أن الدالة المعرفة على نصف المستوى حيث المتسلسلة أعلاه تتقارب، يمكن أن تُمدد تحليليا إلى جميع قيم s المخلفة عن الواحد. حين يكون s مساويا للواحد (s = 1)، تصير المتساوية المعرفة أعلاه المتسلسلة المتناسقة وهي متسلسلة تتباعد نحو  و:



هكذا، دالة زيتا لريمان هي دالة جزئية الشكل على المستوى العقدي كله، أي بمعنى أنها دالة تامة الشكل في المستوى العقدي كله باستثناء القطب البسيط عند 1 بباق مساوي ل1.

 قيم خاصة 
تصغير|300px|دالة زيتا لريمان عندما يكون s حقيقيا ويكون أكبر قطعا من الواحد

الصيغة التالية تنسب إلى أويلر وهي تعطي قيمة (ζ(2k للأعداد الزوجية:

حيث  B2k هي أعداد بيرنولي. لا توجد صيغة لحساب زيتا بالنسبة للأعداد الفردية. أما بالنسبة إلى الأعداد السالبة فيتوفر ما يلي:

حين يكون . هذا يؤدي إلى انعدام دالة زيتا لريمان بالنسبة لجميع الأعداد الزوجية السالبة لأن Bm = 0 مهما كان m فرديا ومختلفا عن الواحد.

هذه بعض القيم:

 تستعمل في الفيزياء،

 هي المتسلسلة المتناسقة.

   تستعمل في الفيزياء،

 يعرف برهان هاته المتساوية بمعضلة بازل. مقلوب هذا المجموع (أي:) هو جواب السؤال التالي: ما احتمال أن يكون عددان طبيعيان، اختيرا عشوائيا، أوليين فيما بينهما ؟

: تسمى ثابتة أبيري.

 تستعمل في الفيزياء.

ζ(6) = π6/945

ζ(8) = π8/9450

 صيغة جداء أويلر 
اكتشفت العلاقة بين دالة زيتا والأعداد الأولية من طرف عالم الرياضيات ليونهارد أويلر الذي برهن على المتطابقة التالية (prime تعني عددا أوليا):

كان ذلك في عام 1737. يسمى هذا الجداء جداء أويلر.

 المعادلة الدالية 
دالة زيتا لريمان تحقق المعادلة الدالية التالية (والتي قد تسمى أيضا معادلة ريمان الدالية):

حيث (Γ(s هي دالة غاما، وهي متساوية لدوال جزئية الشكل، صالحة في المستوى العقدي كله. هذه المعادلة تربط قيمة زيتا لريمان عند النقطة s بقيمتها عند النقطة . المعادلة الدالية (بسبب خصائص دالة الجيب) تعني أن (ζ(s لها جذورا بسيطة عند كل عدد صحيح زوجي سالب s = -2n. تُعرف هاته الأعداد بالجذور البديهية للدالة (ζ(s. عندما يكون s مساويا لعدد طبيعي موجب زوجي، يكون الجداء  مساويا لعدد مختلف عن الصفر، لأن للدالة  قطب بسيط عند الأعداد الطبيعية. تَذَكر أن أقطاب دالة غاما هي الأعداد الصحيحة السالبة.

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


 جذور دالة زيتا والمستقيم الحرج وفرضية ريمان 

يسار|تصغير|300px|باستثناء الجذور البديهية، ليس لدالة زيتا لريمان جذور على يمين المستقيم1 =σ ولا على يسار المستقيم 0 =σ، (بالإضافة إلى ذلك، فإن هذه الچذور ليست قريبة من هذين المستقيمين). وأيضا، الجذور غير البديهية متماثلة بالنسبة لمحور الأعداد الحقيقية الأفقي وبالنسبة إلى المستقيم العمودي σ = 1/2. طبقا لفرضية ريمان، فإن هذه الجذور تقع كلها على المستقيم σ = 1/2 والمسمى بالمستقيم الحرج..

 حدسيات هاردي-ليتلوود 
في عام 1914، برهن غودفري هارولد هاردي على أن  لها عدد غير منته من الجذور.

 حدسية سيلبرغ 
في عام 1942، بحث أتل سيلبرغ معضلة هاردي-ليتلوود الثانية.

 نتائج أخرى 

 خصائص دالة زيتا 
 المقلوب 

مقلوب دالة زيتا يمكن أن يُعبر عنه بواسطة متسلسلة دركليه، المعرفة بدالة موبيوس (μ(n.

بالنسبة لجميع الأعداد العقدية s، ذات جزء حقيقي أكبر قطعا من الواحد. انظر إلى دالة جداءية.

 تمثيلات 
 تحويل ميلين 
تحويل ميلين لدالة ما (f (x يُعرف كما يلي:

 دوال ثيتا 

 متسلسلة لورنت 
دالة زيتا لريمان هي دالة جزئية الشكل لها قطب بسيط من الدرجة الأولى عند s = 1. هكذا، يمكن لها أن تنشر كمتسلسلة لورنت عندما يقترب s من الواحد.

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

 التكامل 

 جداء هادامار 
انظر إلى جداء غير منته وإلى مبرهنة التعميل لويرستراس.

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

 تطبيقات 

تستخدم دالة زيتا في العديد من الميادين مثل الإحصاء التطبيقي (طالع قانون زيف) ونظرية الحقل الكمومي وتحليل النظام التحريكي.

 تعميميات 
هناك عدد من الدوال الزائية التي يمكن أن تعتبر تعميمات لدالة زيتا لريمان. منها دالة زيتا لهورفيتز المعرفة كما يلي:

 معلومات إضافية 
إذا كانت حدسية ميرتنز صحيحة، فإن فرضية ريمان صحيحة وأنه لا يوجد أي جذر غير بسيط لدالة زيتا (أي أنه لا يوجد أي جذر ذي درجة تساوي أو تفوق 2).

و لكنه رغم أن حدسية ميرتنز خاطئة، فإنه لا يزال يعتقد أن فرضية ريمان صحيحة وأن جذور دالة زيتا بسيطة (أي أن درجات هاته الجذور لا تساوي ولا تفوق 2)

 انظر أيضًا 

 متعدد اللوغاريتمات

 مراجع 

تصنيف:برنارد ريمان
تصنيف:دوال تحليلية جزئية التشكل
تصنيف:دوال زيتا والدوال اللامية
تصنيف:نظرية الأعداد التحليلية