বেল ধারা

গণিতের ক্ষেত্রে, বেল ধারা হল একটি আনুষ্ঠানিক ঘাতশ্রেণি যা গাণিতিক ফাংশনের বৈশিষ্ট্য অধ্যয়নের জন্য ব্যবহৃত হয়। বেল ধারা প্রথম এরিক টেম্পল বেল কর্তৃক প্রবর্তিত এবং উন্নত করা হয়।

একটি গাণিতিক ফাংশন $f$ এবং একটি মৌলিক সংখ্যা $p$ এর জন্য, বেল ধারা $f_p(x)$ সংজ্ঞায়িত করা হয়, যা $p$ মডুলোতে $f$-এর বেল ধারা নামে পরিচিত:

$f_p(x)=\sum _{n=0}^{\mathrm{\infty }}f(p^n)x^n$

যদি দুটি গুণনীয় ফাংশন থাকে, তবে তাদের বেল ধারা সমান হলে প্রমাণ করা যায় যে ফাংশন দুটি অভিন্ন। এটি কখনও কখনও এককত্ব উপপাদ্য (uniqueness theorem) নামে পরিচিত: গুণনীয় ফাংশন $f$ এবং $g$ এর জন্য, $f=g$ তখনই সত্য হবে যদি এবং কেবল যদি:

$f_p(x)=g_p(x)$ সকল মৌলিক সংখ্যা $p$-এর জন্য।

দুটি ধারার গুণফলও নির্ধারণ করা যায় (যা কখনও কখনও গুণফল উপপাদ্য বা multiplication theorem নামে পরিচিত): যে কোনও দুটি গাণিতিক ফাংশন $f$ এবং $g$-এর জন্য, যদি $h=f*g$ হয় তাদের ডিরিশলেট কনভলিউশন, তবে প্রতিটি মৌলিক সংখ্যা $p$-র জন্য:

$h_p(x)=f_p(x)g_p(x).$

বিশেষত, এটি ডিরিশলেট বিপরীতের বেল ধারা সহজে নির্ধারণ করতে সাহায্য করে।

যদি $f$ সম্পূর্ণরূপে গুণনীয় হয়, তবে আনুষ্ঠানিকভাবে:

$f_p(x)=\frac{1}{1-f(p)x}$

উদাহরণসমূহ

নিম্নে পরিচিত কিছু গাণিতিক ফাংশনের বেল ধারার উদাহরণসমূহ প্রদান করা হলো:

• মোবিয়াস ফাংশন $\mu$ এর জন্য ${\mu }_p(x)=1-x$
• মোবিয়াস ফাংশনের বর্গের জন্য ${\mu }_p^2(x)=1+x$
• অয়লারের টোশেন্ট $\phi$ এর জন্য ${\phi }_p(x)=\frac{1-x}{1-px}$
• ডিরিশলেট কনভলিউশনের গুণনীয় পরিচয় $\delta$ এর জন্য: ${\delta }_p(x)=1$
• লিউভিল ফাংশন $\lambda$ এর জন্য ${\lambda }_p(x)=\frac{1}{1+x}$
• ঘাত ফাংশন ${\text{Id}}_k$ এর জন্য $({\text{Id}}_k{)}_p(x)=\frac{1}{1-p^{k}x}$ এখানে, ${\text{Id}}_k$, যা সম্পূর্ণরূপে গুণনীয় ফাংশন ${\mathrm{Id}}_k(n)=n^k$।
• বিভাজক ফাংশন ${\sigma }_k$ এর জন্য $({\sigma }_k{)}_p(x)=\frac{1}{(1-p^{k}x)(1-x)}$।
• ধ্রুবক ফাংশনের (যার মান ১) জন্য পূরণ করে $1_p(x)=(1-x{)}^{-1}$ অর্থাৎ এটি একটি জ্যামিতিক শ্রেণি।
• যদি $f(n)=2^{\omega (n)}=\sum _{d|n}{\mu }^2(d)$, যা মৌলিক ওমেগা ফাংশনের ঘাত নির্দেশ করে, তবে $f_p(x)=\frac{1+x}{1-x}$
• ধরুন যে $f$ একটি গুণনীয় ফাংশন এবং $g$ একটি গাণিতিক ফাংশন, এবং যদি $f(p^{n+1})=f(p)f(p^n)-g(p)f(p^{n-1})$ সব মৌলিক $p$ এবং $n\ge 1$ এর জন্য পূর্ণ হয়, তবে $f_p(x)={(1-f(p)x+g(p)x^2)}^{-1}$
• যদি ${\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$-তম ক্রম নির্দেশ করে, তবে $({\mu }_k{)}_p(x)=\frac{1-2x^k+x^{k+1}}{1-x}$

সূত্র

• টেমপ্লেট:Citation