طريقة هاردي-رامانوجان-ليتلوود الدائرية

كانت الدائرة المعنية في البداية دائرة الوحدة في المستوى المركب. بافتراض أن المسألة قد صيغت أولاً على النحو التالي: بالنسبة لتسلسل من الأعداد المركبة a _{_n} حيث n = 0، 1، 2، 3، ... ، نريد بعض المعلومات التقاربية من النوع a _{_n} ~ F ( n ) ، حيث لدينا سبب استدلالي لتخمين الشكل الذي تأخذه F ( فرضية )، نكتب

${\displaystyle f(z)=\sum a_{n}z^{n}}$

دالة توليد متسلسلة القوى . الحالات المهمة هي عندما يكون نصف قطر تقارب f مساوياً لـ 1، ونفترض أن المسألة كما هي مطروحة قد تم تعديلها لتقديم هذه الحالة.

ومن هذه الصيغة، يتبين مباشرة من نظرية البقايا أن

${\displaystyle I_{n}=\oint _{C}f(z)z^{-(n+1)}\,dz=2\pi ia_{n}}$

بالنسبة للأعداد الصحيحة n ≥ 0 ، حيث C هي دائرة نصف قطرها r ومركزها 0، لأي قيمة لـ r حيث 0 < r < 1 ؛ بعبارة أخرى،${\displaystyle I_{n}}$هو تكامل كفافي ، يُجرى على الدائرة الموصوفة بعد اجتيازها مرة واحدة عكس اتجاه عقارب الساعة. نرغب في أخذ r = 1 مباشرةً، أي استخدام كفاف دائرة الوحدة. في صياغة التحليل المركب، يُعدّ هذا إشكاليًا، إذ قد لا تكون قيم f مُعرّفة هناك.

تتمثل المشكلة التي تعالجها طريقة الدائرة في فرض مسألة اعتبار r = 1 ، وذلك من خلال فهم جيد لطبيعة النقاط الشاذة التي تظهرها الدالة f على دائرة الوحدة. ويكمن الفهم الأساسي في الدور الذي تلعبه متتالية فاري للأعداد النسبية، أو ما يعادلها من جذور الوحدة .

${\displaystyle \zeta \ =\exp \left({\frac {2\pi ir}{s}}\right).}$

هنا ، يتبين أن المقام s ، بافتراض أن ⁠ r / s ⁠ في أبسط صورة ، يحدد الأهمية النسبية للسلوك الشاذ للدالة f النموذجية بالقرب من ζ .

يمكن التعبير عن طريقة هاردي-ليتلوود الدائرية، للصيغة التحليلية المركبة، على النحو التالي. ينبغي معالجة المساهمات في حساب I _{_n}، عندما r → 1 ، بطريقتين، تُعرفان تقليديًا بالأقواس الكبرى والأقواس الصغرى . نقسم جذور الوحدة ζ إلى فئتين، وفقًا لما إذا كان s ≤ N أو s > N ، حيث N دالة لـ n نختارها بسهولة. يُقسّم التكامل I_{_n} إلى تكاملات، كل منها على قوس من الدائرة مجاور لـ ζ ، طوله دالة لـ s (أيضًا حسب اختيارنا). تُشكّل الأقواس الدائرة بأكملها؛ مجموع التكاملات على الأقواس الكبرى يساوي 2πiF ( n ) (عمليًا، سيحدث هذا حتى حدّ باقٍ يمكن التحكم فيه). يُستبدل مجموع التكاملات على الأقواس الصغرى بحدّ أعلى ، أصغر من F ( n ) .

في سياق مسألة وارينغ، تُعدّ قوى دوال ثيتا الدوال المولدة لدالة مجموع المربعات . ويُعرف سلوكها التحليلي بتفصيل أدق بكثير من المكعبات، على سبيل المثال.

كما يُشير الرسم التوضيحي ذو الألوان الزائفة، فإن أهم نقطة على دائرة حدود دالة ثيتا هي عند z = 1 ، تليها z = − 1 ، ثم الجذران التكعيبيان المركبان للوحدة عند الساعة 7 والساعة 11. بعد ذلك، يصبح الجذران الرابعان للوحدة i و − i هما الأكثر أهمية. مع أن هذا لا يضمن نجاح الطريقة التحليلية، إلا أنه يُفسر الأساس المنطقي لاستخدام معيار من نوع متسلسلة فاري على جذور الوحدة.

في حالة مسألة وارينغ، يُختار مستوى عالٍ بما يكفي من دالة التوليد لفرض حالة تسود فيها النقاط الشاذة، المنظمة في ما يُسمى بالسلسلة الشاذة . وكلما قلّت التقديرات المستخدمة على الباقي، كانت النتائج أدق. وكما قال برايان بيرش ، فإن هذه الطريقة مُهدرة بطبيعتها. لا ينطبق هذا على حالة دالة التقسيم، التي أشارت إلى إمكانية التحكم في الخسائر الناتجة عن التقديرات في حالة مواتية.

لاحقًا، قام آي إم فينوغرادوف بتوسيع هذه التقنية، مستبدلًا صيغة المجموع الأسي f ( z ) بمتسلسلة فورييه منتهية ، بحيث يكون التكامل ذو الصلة I_{_n} معامل فورييه . طبق فينوغرادوف المجاميع المنتهية على مسألة وارينغ عام 1926، وأصبحت طريقة المجموع المثلثي العامة تُعرف باسم "طريقة الدائرة لهاردي وليتلوود ورامانوجان، في صورة مجاميع فينوغرادوف المثلثية". ^{[ 1 ]} وتتلخص هذه الطريقة في إهمال "ذيل" الدالة المولدة بالكامل، مما يسمح بتعيين قيمة r في عملية النهاية مباشرةً إلى 1.