ضرب دیریکله

در نظریه اعداد، ضرب دیریکله یا پیچش دیریکله توابع حسابی، یک عمل دوتایی بین توابع حسابی است که از اهمیت زیادی برخوردار است. این نوع عمل اولین بار توسط دیریکله ریاضیدان آلمانی تعریف شده است.
تعریف
اگر f و g دو تابع حسابی باشند، در این صورت حاصل ضرب دیریکله f و g را با f*g نشان می‌دهیم و برای هر عدد طبیعی n به صورت زیر تعریف می‌کنیم:
که در آن مجموع روی مقسوم علیه‌های n است. چنین مجموع‌هایی در سراسر نظریه اعداد بویژه نظریه تحلیلی اعداد رخ می‌دهند و لذا از اهمیت خاصی دارند.
خواص جبری ضرب دیریکله
قضیه:حاصل ضرب دیریکله توابع حسابی جابجایی است. یعنی اگر f,g توابعی حسابی باشند، f*g=g*f
برهان: برای هر عدد طبیعی n داریم:
توجه داشته باشید که دو مجموع فوق فقط در ترتیب عوامل شرکت کننده در جمع تفادت دارند.
قضیه:حاصل ضرب دیریکله توابع حسابی شرکت پذیر است. یعنی اگر f,g,h توابعی حسابی باشند،
f*(g*h)=(f*g)*h
برهان:ابتدا توجه می‌کنیم که برای هر عدد طبیعی n می‌توان نوشت:
حال برای هر n داریم:
پس:
از طرفی داریم:
پس:
پس حکم ثابت می‌شود.
قضیه:تابع همانی عضو خنثی نسبت به ضرب دیریکله توابع حسابی است.
برهان:برای هر تابع حسابی f و عدد طبیعی n، داریم:
توجه داشته باشید که جملات مجموع فوق برای هر d
1 عبارت برابر صفر است). داریم:
پس:
و بنابر فرض استقرا جوابی یکتا حاصل می‌شود و برهان کامل می‌شود.
معکوس دبریکله تابع کاملا ضربی
اگر f تابعی کاملا ضربی باشد، معکوس دیریکله آن به سادگی قابل محاسبه است. ابتدا دقت می‌کنیم که هر تابع ضربی و بخصوص تابع کاملا ضربی دارای این خاصیت است که 1=(f(1 پس معکوس دیریکله در هر حال وجود دارد.
قضیه:اگر f تابعی کاملا ضربی باشد، f −1 =f. که در آن  تابع موبیوس است.
برهان:فرض کنیم f تابعی کاملا ضربی باشد. در این صورت با فرض g=f. داریم:
پس و لذا حکم ثابت می‌شود.
توجه داشته باشید که عکس قضیه فوق نیز برقرار است که ما در اینجا به آن نمی‌پردازیم.
چند نتیجه مهم
فرض می‌کنیم:
با بررسی خواص و مطالبی که تا کنون در مورد ضرب دیریکله توابع حسابی بیان کردیم می‌توان گفت مجموعه F (مجموعه همه توابع حسابی که در یک مخالف صفر هستند):
به همرا عمل ضرب دیریکله تشکیل یک گروه آبلی را می‌دهد.
به همراه جمع توابع و ضرب دیریکله تشکیل یک میدان می‌دهد. بعلاوه مجموعه همه توابع حسابی در حالت کلی به همراه جمع توابع و ضرب دیریکله تشکیل یک حلقه جابجایی یکدار را تشکیل می‌دهد که عناصر یکه در آن توابعی هستند که در نقطه یک صفر نشو باشند.
پیچش‌های تعمیم یافته
بدلیل اهمیت نوع مجموع‌هایی که در ضرب دیریکله دو تابع حسابی ظاهر می‌شود این مجموع را بین یک تابع حسابی و یک تابع مختلط یا حقیقی تعمیم می‌دهند.
از این پس، فرض کنید F تابع حقیقی یا مختلط با دامنه اعداد حقیقی مثبت باشد که برای هر ، داشته باشیم 0=(F(x. حال اگر تابعی حسابی باشد، عمل را به بین F و به صورت زیر تعریف می‌کنیم:
که را می‌توان تابعی چون (G(x در نظر گرفت.
توجه داشته باشید که اگر برای هر عدد غیر صحیح x داشته باشیم 0=(F(x در این صورت با تحدید دامنه F به مجموعه اعداد صحیح F تابعی حسابی خواهد بود و عمل ° در آن همان عمل ضرب دیریکله * خواهد بود. از این رو عمل ° تعمیمی بر ضرب دیریکله * است.
به آسانی می‌توان تحقیق کرد که تابع همانی I معکوس چپ پیچش تعمیم یافته است. یعنی برای هر تابع F داریم I°F=F.
قضیه:فرض کنید ° عمل پیچش تعمیم یافته باشد و * ضرب دیریکله باشد و دو تابع حسابی باشند در این صورت:
برهان:برای هر x>0 داریم:
حال چون mn≤x و mn عددی صحیح است پس به ازای عدد صحیح d داریم mn=d پس n|d و d≤x بعلاوه این نشان می‌دهد عدد صحیح m وجود دارد که mn=d≤x. پس:
و برهان حکم کامل می‌شود.
انعکاس تعمیم یافته
اگر تابعی حسابی با معکوس دیریکله 1- باشد و x>0، در این صورت اگر:
آنگاه
برهان:برای اثبات از خواص جبری پیچش تعمیم یافته استفاده می‌کنیم. بنابه فرض داریم پس:
پس:
و برهان کامل است.
تابع حسابی
تابع ضربی
فرمول انعکاس موبیوس
تابع فی اویلر
تابع موبیوس