تابع حسابی

نمونه‌های زیادی را می‌توان از توابع حسابی نام برد. چند نمونه از مهم‌ترین و پرکاربردترین آنها عبارت‌اند از:

• تابع فی اویلر: تابع فی-اویلر یا تابع کامل اویلر، به ازای هر عدد طبیعی n به صورت تعداد اعداد طبیعی نابیشتر از n که نسبت به n اولند تعریف می‌شود و آن را با ${\displaystyle \varphi }$
  نشان می‌دهند.
• تابع موبیوس: از مهم‌ترین توابع حسابی تابع موبیوس است که آن را با ${\displaystyle \mu }$
  نشان می‌دهند و برای هر عدد طبیعی n به صورت زیر تعریف می‌شود:

یا به عبارت دیگر:

• • ${\displaystyle \mu (n)=1}$
    اگر n=1.
  • اگر n عددی خالی از مربع نباشد(یعنی بر مربع عددی اول بخش‌پذیر باشد) در این صورت ${\displaystyle \mu (n)=0}$
  • اگر n=p₁p₂p₃...p_r که در آن p_iها اعداد اول متمایز هستند، ${\displaystyle \mu (n)=(-1{)}^r}$
• تابع منگولد: برای هر عدد طبیعی n تابع منگولد ${\displaystyle \mathrm{\Lambda }(n)}$
  را به صورت زیر تعریف می‌کنیم:

یا به عبارت دیگر:

• • اگر به ازای عدد اول p و عدد طبیعی n=p ،k آنگاه ${\displaystyle \mathrm{\Lambda }(n)=\ln p}$
  • در غیر این صورت ${\displaystyle \mathrm{\Lambda }(n)=0}$
• تابع لیوویل: برای هر عدد طبیعی n، تابع لیوویل ${\displaystyle \lambda (n)}$
  را به صورت زیر تعریف می‌کنیم:
  • اگر n=1، آنگاه ${\displaystyle \lambda (1)=1}$
  • اگر n>1 و ${\displaystyle n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}{p}_3^{{\alpha }_3}...p_r^{{\alpha }_r}}$
    تجزیه استاندارد n به عوامل اول باشد، آنگاه

${\displaystyle \lambda (n)=(-1{)}^{{\alpha }_1+{\alpha }_2+{\alpha }_3+...+{\alpha }_r}}$

.

• توابع مقسوم علیهی: برای هر عدد طبیعی n و هر عدد حقیقی α تابع ${\displaystyle {\sigma }_{\alpha }(n)}$
  را به صورت مجموع توانهای α ام مقسوم علیه‌های n تعریف می‌کنیم یعنی:

${\displaystyle {\sigma }_{\alpha }(n)=\sum _{d|n}{d}^{\alpha }}$

• تابع همانی:برای هر عدد طبیعی n تابع ${\displaystyle I(n)=\left[\frac{1}{n}\right]}$
  را تابع همانی می‌گویند. علت نام‌گذاری این تابع به عنوان همانی آن است که این تابع عضو خنثی (همانی) نسبت به ضرب دیریکله توابع حسابی محسوب می‌شود.
• تابع یکه:به ازای هر عدد طبیعی n تابع ${\displaystyle u(n)=1}$
  را تابع یکه می گویم.
• تابع توان:برای هر عدد طبیعی n و هر عدد حقیقی با مختلط α تابع ${\displaystyle N^{\alpha }(n)=n^{\alpha }}$
  را تابع توان می‌گوییم.

برای مطالعه بیشتر به مقاله تابع ضربی مراجعه کنید.

تابع حسابی f را ضربی می‌گوییم هرگاه به ازای هر دو عدد طبیعی متباین(نسبت به هم اول) m,n داشته باشیم:

${\displaystyle f(mn)=f(m)f(n)}$

همچنین تابع حسابی f را ضربی قوی یا کاملاً ضربی می‌گوییم هرگاه برای هر دو عدد طبیعی m,n داشته باشیم:

${\displaystyle f(mn)=f(m)f(n)}$

به عنوان مثال تابع فی اویلر و تابع موبیوس از جمله توابع ضربی و تابع لیوویل، تابع یکهو تابع توان از جمله توابع کاملاً ضربی می‌باشند.

برای مطالعه بیشتر به مقاله مجموع دیریکله مراجعه کنید.

اگر f تابعی ضربی باشد، برای هر عدد طبیعی n:

${\displaystyle \sum _{d|n}f(d)}$

را مجموع دیریکله یا مجموعه مقسوم علیهی تابع حسابی f می‌گوییم که در آن مجموع بر روی مقسوم علیه‌های n چون d در نظر گرفته شده‌است.

آشکار است که اگر f تابعی حسابی باشد،${\displaystyle g(n)=\sum _{d|n}f(d)}$

نمونه‌های زیر مجموع دیریکله برخی توابع مهم را نشان می‌دهد:

• • ${\displaystyle \sum _{d|n}\varphi (d)=n}$
  • ${\displaystyle \sum _{d|n}\mu (d)=\left[\frac{1}{n}\right]}$
  • ${\displaystyle \sum _{d|n}\mathrm{\Lambda }(d)=\ln n}$

برای مطالعه بیشتر به مقاله ضرب دیریکله مراجعه کنید.

اگر f و g دو تابع حسابی باشند حاصل ضرب دیریکله دو تابع را با f*g نشان می‌دهیم و برای هر عدد طبیعی n به صورت زیر تعریف می‌کنیم:

${\displaystyle (f\ast g)(n)=\sum _{d|n}f(d)g\left(\frac{n}{d}\right)}$

این مجموع‌ها در مطالعه توابع حسابی بسیار ظاهر می‌شوند.

همچنین لازم به توضیح است که به ضرب دیریکله، پیچش دیریکله نیز می‌گویند. این حاصل ضرب را می‌توان به پیچش‌های تعمیم یافته تعمیم داد که عملی مشابه را بین تابعی حقیقی یا مختلط و تابعی حسابی تعمیم می‌دهد.

برای مطالعه بیشتر به مقاله مشتق توابع حسابی رجوع کنید.

اگر f تابعی حسابی باشد مشتق f را برای هر عدد طبیعی n به صورت:

${\displaystyle f^{\mathrm{\prime }}(n)=f(n)\ln n}$

تعریف می‌کنیم.

رفتار این مشتق تاحد زیادی به رفتار مشتق در حساب دیفرانسیل و انتگرال شبیه است.

به عبارت دیگر اگر f و g توابعی حسابی باشند:

• • ${\displaystyle (f+g{)}^{\mathrm{\prime }}=f^{\mathrm{\prime }}+g^{\mathrm{\prime }}}$
  • ${\displaystyle (f\ast g{)}^{\mathrm{\prime }}=f^{\mathrm{\prime }}\ast g+f\ast g^{\mathrm{\prime }}}$

• تابع ضربی
• تابع جمعی
• مجموع دیریکله
• ضرب دیریکله
• تابع فی اویلر
• تابع موبیوس
• تابع منگولد
• توابع مقسوم علیهی
• تابع لیوویل
• معکوس دیریکله
• پیچش‌های تعمیم یافته

• دیلیام دبلیو. آدامز، لری جوئل گولدشتین (۱۳۸۴)، آشنایی با نظریه اعداد، ترجمهٔ دکتر ادینه محمد نارنجانی، تهران: مرکز نشر دانشگاهی، شابک ۹۶۴-۰۱-۰۰۷۰-۶
• تام آپوستل (۱۳۷۶)، نظریه تحلیلی اعداد (۱)، ترجمهٔ دکتر علی‌اکبر عالم‌زاده-علی‌اکبر رحیم‌زاده، تهران: نشر منصوری، شابک ۹۶۴-۶۱۶۶-۰۶-۷