سلسلة بيل

في الرياضيات ، تُعدّ متسلسلة بيل متسلسلة قوى رسمية تُستخدم لدراسة خصائص الدوال الحسابية. وقد طوّر إريك تمبل بيل متسلسلات بيل .

بالنظر إلى دالة حسابيةو{\displaystyle f}ورئيس الوزراءص{\displaystyle p}، تعريف متسلسلة القوى الرسميةوص(x){\displaystyle f_{p}(x)}، والتي تُسمى سلسلة بيلو{\displaystyle f}moduloص{\displaystyle p} مثل:

وص(x)=ن=0و(صن)xن.{\displaystyle f_{p}(x)=\sum _{n=0}^{\infty }f(p^{n})x^{n}.}

يمكن إثبات أن دالتين ضربيتين متطابقتان إذا كانت جميع متسلسلات بيل الخاصة بهما متساوية؛ وهذا ما يُسمى أحيانًا بنظرية التفرد : إذا كانت لدينا دالتان ضربيتانو{\displaystyle f}وز{\displaystyle g}، لدى المرءو=ز{\displaystyle f=g}إذا وفقط إذا :

وص(x)=زص(x){\displaystyle f_{p}(x)=g_{p}(x)}لجميع الأعداد الأوليةص{\displaystyle p}.

يمكن ضرب سلسلتين (وتسمى أحيانًا نظرية الضرب ): لأي دالتين حسابيتينو{\displaystyle f}وز{\displaystyle g}، يتركح=و*ز{\displaystyle h=f*g}لتكن التفاف ديريشليه الخاص بهم . ثم لكل عدد أوليص{\displaystyle p}، لدى المرء:

حص(x)=وص(x)زص(x).{\displaystyle h_{p}(x)=f_{p}(x)g_{p}(x).\,}

وعلى وجه الخصوص، هذا يجعل من السهل إيجاد سلسلة بيل لمعكوس ديريشليه .

لوو{\displaystyle f}إذا كانت ضربية تمامًا ، فبالصيغة الرسمية:

وص(x)=11-و(ص)x.{\displaystyle f_{p}(x)={\frac {1}{1-f(p)x}}.}

أمثلة

فيما يلي جدول لسلسلة بيل للدوال الحسابية المعروفة.

  • دالة موبيوسμ{\displaystyle \mu }لديهμص(x)=1-x.{\displaystyle \mu _{p}(x)=1-x.}
  • دالة موبيوس تربيع لهاμص2(x)=1+x.{\displaystyle \mu _{p}^{2}(x)=1+x.}
  • ظرف أويلرφ{\displaystyle \varphi }لديهφص(x)=1-x1-صx.{\displaystyle \varphi _{p}(x)={\frac {1-x}{1-px}}.}
  • العنصر المحايد المضاعف لعملية الالتفاف ديريشليهدلتا{\displaystyle \delta }لديهدلتاص(x)=1.{\displaystyle \delta _{p}(x)=1.}
  • حفل ليوفيلλ{\displaystyle \lambda }لديهλص(x)=11+x.{\displaystyle \lambda _{p}(x)={\frac {1}{1+x}}.}
  • دالة القوة Id k لها(بطاقة تعريفك)ص(x)=11-صكx.{\displaystyle ({\textrm {Id}}_{k})_{p}(x)={\frac {1}{1-p^{k}x}}.} هنا، Id k هي دالة ضربية تمامًا بطاقة تعريفك(ن)=نك{\displaystyle \operatorname {Id} _{k}(n)=n^{k}}.
  • دالة القاسمσك{\displaystyle \sigma _{k}}لديه(σك)ص(x)=1(1-صكx)(1-x).{\displaystyle (\sigma _{k})_{p}(x)={\frac {1}{(1-p^{k}x)(1-x)}}.}
  • الدالة الثابتة ، التي قيمتها 1، تحقق ما يلي:1ص(x)=(1-x)-1{\displaystyle 1_{p}(x)=(1-x)^{-1}}، أي، هي المتسلسلة الهندسية .
  • لوو(ن)=2ω(ن)=د|نμ2(د){\displaystyle f(n)=2^{\أوميغا (n)}=\sum _{d|n}\mu ^{2}(d)}هي قوة دالة أوميغا الأولية ، إذنوص(x)=1+x1-x.{\displaystyle f_{p}(x)={\frac {1+x}{1-x}}.}
  • لنفترض أن f دالة ضربية و g أي دالة حسابية تحققو(صن+1)=و(ص)و(صن)-ز(ص)و(صن-1){\displaystyle f(p^{n+1})=f(p)f(p^{n})-g(p)f(p^{n-1})}لجميع الأعداد الأولية p ون1{\displaystyle n\geq 1}. ثموص(x)=(1-و(ص)x+ز(ص)x2)-1.{\displaystyle f_{p}(x)=\left(1-f(p)x+g(p)x^{2}\right)^{-1}.}
  • لوμك(ن)=دك|نμك-1(ندك)μك-1(ند){\displaystyle \mu _{k}(n)=\sum _{d^{k}|n}\mu _{k-1}\left({\frac {n}{d^{k}}}\right)\mu _{k-1}\left({\frac {n}{d}}\right)}إذا كانت دالة موبيوس من الرتبة k ، فإن(μك)ص(x)=1-2xك+xك+11-x.{\displaystyle (\mu _{k})_{p}(x)={\frac {1-2x^{k}+x^{k+1}}{1-x}}.}

انظر أيضاً

مراجع

  • أبوستول، توم م. (1976)، مقدمة في نظرية الأعداد التحليلية ، نصوص جامعية في الرياضيات، نيويورك-هايدلبرغ: سبرينغر-فيرلاغ، ISBN 978-0-387-90163-3، MR 0434929 ، Zbl 0335.10001