הלמה של לנדאו
באנליזה מרוכבת ובתורת המספרים האנליטית הלמה של לנדאו היא משפט הקושר בין אבסיסת ההתכנסות של טור דיריכלה לקטבים שלו. הלמה הוכחה על ידי אדמונד לנדאו בשנת 1905 כחלק מסדרת עבודותיו בתורת המספרים האנליטית. מאז הלמה הפכה לכלי שימושי מאוד בתורת המספרים האנליטית.[1]
רקע
[עריכת קוד מקור | עריכה]טור חזקות
[עריכת קוד מקור | עריכה]- ערך מורחב – טור חזקות
טור חזקות הוא טור פונקציות מהצורה כאשר היא סדרה של מקדמים מרוכבים ו - הוא משתנה מרוכב.
אם הוא טור חזקות, אז קיים כך שאוסף הנקודות בהם הטור מתכנס בהחלט הוא העיגול המספר נקרא רדיוס ההתכנסות של הטור. תכונה חשובה של טורי חזקות היא שאי אפשר להמשיך אותם אנליטית לעיגולים בעלי רדיוס גדול יותר מרדיוס ההתכנסות שלהם. מנקודת מבט של טור טיילור של פונקציה אנליטית, תכונה זו אומרת שרדיוס ההתכנסות של טור טילור הוא המרחק לסינגולריות הקרובה ביתר. אותו הדבר נכון עבור כל פונקציית L של דיריכלה ביחס לקרקטר דיריכלה לא טריוויאלי.
טור דיריכלה
[עריכת קוד מקור | עריכה]- ערך מורחב – טור דיריכלה
טור דיריכלה הוא טור פונקציות מהצורה כאשר היא סדרה של מקדמים מרוכבים ו - הוא משתנה מרוכב.
אם הוא טור דיריכלה, אז קיים כך שאוסף הנקודות בהם הטור מתכנס בהחלט הוא חצי המישור . המספר נקרא אבסיסת ההתכנסות (Abscissa of convergence) של הטור.
בשונה מטורי חזקות, במקרים רבים, ניתן להמשיך אנליטית טורי דיריכלה לחצאי מישורים גדולים יותר מתחום ההתכנסות שלהם. לדוגמה, הטור הוא דוגמה לפונקציית L של דיריכלה. אבסיסת ההתכנסות שלו היא 1 אולם ניתן להמשיך אותו אנליטית לכל המישור המרוכב.
הלמה של לנדאו אומרת שדבר כזה לא יתכן אם מקדמי הטור חיוביים.
ניסוח
[עריכת קוד מקור | עריכה]בהינתן:
- סדרת מספרים ממשיים חיוביים
- שני מספרים ממשיים
כך ש:
- הטור מתכנס עבור כל המקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "http://localhost:6011/he.wikipedia.org/v1/":): {\displaystyle \Re(s)>\sigma_2}
- לפונקציה יש המשכה אנליטית לתחום
אז הטור מתכנס לכל עבור כל המקיים .
הוכחה
[עריכת קוד מקור | עריכה]ההוכחה לא מסובכת והיא מבוססת על השוואה בין טור דיריכלה לטור טיילור של הפונקציה בנקודות שונות, ועל העובדה שטור טילור מתכנס בכל עיגול בה הפונקציה אנליטית.
שימושים
[עריכת קוד מקור | עריכה]פסקה זו נמצאת בשלבי עבודה: כדי למנוע התנגשויות עריכה ועבודה כפולה, אתם מתבקשים שלא לערוך פסקה זו בטרם תוסר ההודעה הזו. אם הפסקה לא נערכה במשך שבוע ניתן להסיר את התבנית ולערוך את הפסקה, אך לפני כן רצוי להזכיר את התבנית למשתמש שהניח אותה, באמצעות הודעה בדף שיחת המשתמש.
מקורות
[עריכת קוד מקור | עריכה]- Narkiewicz, Władysław (2000), The Development of Prime Number Theory From Euclid to Hardy and Littlewood
הערות שוליים
[עריכת קוד מקור | עריכה]- ^ (Narkiewicz 2000, משפט 5.15)