کاراکترهای دیریکله و توابع L

کاراکترهای دیریکله توابع تناوبی و ضربی روی اعداد صحیح هستند که با بسته‌بندی شدن در توابع L، به روش‌های تحلیلی اجازه می‌دهند تا به اعداد اول درون تصاعدهای حسابی دست یابند.

Definition

یک کاراکتر دیریکله به پیمانه q یک تابع کاملاً ضربی روی اعداد صحیح است که با دوره تناوب q متناوب است و روی اعداد صحیحی که نسبت به q متباین نیستند، ناپدید می‌شود. تابع L دیریکله آن، سری دیریکله‌ای است که از مقادیر کاراکتر تشکیل شده است.

Scope

این مبحث شامل کاراکترهای دیریکله به پیمانه q و روابط تعامد روی گروه کاراکترها، کاراکترهای اولیه و القایی و رساناها، توابع L دیریکله و حاصل‌ضرب‌های اویلر آن‌ها، ادامه تحلیلی و معادلات تابعی، عدم ناپدید شدن حیاتی توابع L در نقطه یک، و قضیه دیریکله است که هر تصاعد حسابی با جمله اول و قدر نسبت متباین، شامل بی‌نهایت عدد اول است.

Core questions

• چگونه کاراکترهای به پیمانه q یک گروه را تشکیل می‌دهند، و چگونه روابط تعامد آن‌ها یک کلاس باقیمانده واحد را جدا می‌کند؟
• چگونه توابع L حاصل‌ضرب‌های اویلر، ادامه تحلیلی، و معادلات تابعی را از این ساختار کاراکتر به ارث می‌برند؟
• چرا عدم ناپدید شدن هر تابع L در نقطه یک، گام تعیین‌کننده در قضیه دیریکله است؟
• چگونه توابع L شمارش اعداد اول را برای شمارش اعداد اول در یک تصاعد ثابت اصلاح می‌کنند؟

Key theories

کاراکترهای دیریکله و تعامد

کاراکترهای به پیمانه q همومورفیسم‌هایی از گروه واحد به دایره واحد مختلط هستند؛ روابط تعامد آن‌ها به عنوان یک تبدیل فوریه گسسته عمل می‌کند که یک کلاس باقیمانده انتخاب شده را استخراج می‌کند.

قضیه دیریکله در مورد تصاعدهای حسابی

برای a و q متباین، بی‌نهایت عدد اول وجود دارد که به پیمانه q با a هم‌نهشت هستند؛ اثبات این قضیه حاصل‌ضرب‌های اویلر همه توابع L به پیمانه q را با عدم ناپدید شدن هر یک در نقطه یک ترکیب می‌کند.

عدم ناپدید شدن توابع L و GRH

عدم ناپدید شدن در نقطه یک، قضیه کیفی را هدایت می‌کند؛ کنترل صفرهای توابع L در نوار بحرانی، یکنواختی در q را کنترل می‌کند، و فرضیه ریمان تعمیم‌یافته کنترل بهینه را پیش‌بینی می‌کند.

Clinical relevance

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

History

دیریکله کاراکترها و توابع L را در سال ۱۸۳۷ به صراحت برای اثبات قضیه خود در مورد اعداد اول در تصاعدهای حسابی معرفی کرد، که کاربرد بنیان‌گذار تحلیل در نظریه اعداد بود. دلا وله پوسن بعدها قضیه اعداد اول متناظر را برای تصاعدها استخراج کرد، و توابع L به نمونه اولیه برای توابع L در حساب مدرن تبدیل شدند.

Key figures

• Peter Gustav Lejeune Dirichlet
• Bernhard Riemann
• Charles-Jean de la Vallee Poussin

Seminal works

• davenport2000

Frequently asked questions

قضیه دیریکله دقیقاً چه می‌گوید؟

این قضیه می‌گوید که اگر a و q هیچ عامل مشترکی نداشته باشند، تصاعد حسابی a، a به علاوه q، a به علاوه 2q، و غیره شامل بی‌نهایت عدد اول است.

چرا کاراکترها اصلاً مورد نیاز هستند؟

کاراکترها راهی فوریه-تحلیلی برای انتخاب یک کلاس باقیمانده واحد به پیمانه q فراهم می‌کنند، و یک سوال در مورد یک تصاعد را به یک مجموع قابل مدیریت روی همه توابع L آن پیمانه تبدیل می‌کنند.