تابع منگولد

از ویکی‌پدیا، دانشنامهٔ آزاد

در ریاضیات، تابع منگلولد نوعی تابع حسابی است که به افتخار ریاضیدان آلمانی هانس ون منگلولد نامیده شد. این تابع، مثالی از توابع حسابی است که نه ضربی و نه جمعی می باشد.

تعریف[ویرایش]

تابع منگلولد را با نماد نشان می‌دهند و به شکل زیر تعریف می‌شود.

مقادیر برای نه تا از اولین اعداد صحیح مثبت (یعنی اعداد طبیعی) بدین صورت است:

که مرتبط با (دنباله A014963 در OEIS) است.

تابع جمع منگلد ، که به آن تابع چبیشف دوم هم می گویند به این صورت تعریف می شود:

فون منگولد اثبات استواری برای فرمول دقیق مربوط به جمع صفرهای نابدیهی تابع زتای ریمان ارائه نود. این دستاورد بخش مهمی از اولین اثبات قضیه اعداد اول بود.

خواص[ویرایش]

برای تابع منگولد اتحاد زیر برقرار است:[۱][۲]

جمع روی کل اعداد صحیح که را می شمارند گرفته شده است. این اتحاد توسط قضیه بنیادی حساب اثابت شده است، چرا که جملاتی که توان‌هایی از اعداد اول نیستند برابر صفر است. به عنوان مثال، حالتی که را در نظر بگیرید. آنگاه:

براساس معکوس گیری موبیوس داریم:[۲][۳][۴]

پانویس[ویرایش]

  1. Apostol (1976) p.32
  2. ۲٫۰ ۲٫۱ Tenenbaum (1995) p.30
  3. Apostol (1976) p.33
  4. Schroeder, Manfred R. (1997). Number theory in science and communication. With applications in cryptography, physics, digital information, computing, and self-similarity. Springer Series in Information Sciences. Vol. 7 (3rd ed.). Berlin: Springer-Verlag. ISBN 3-540-62006-0. Zbl 0997.11501.

منابع[ویرایش]