משפטי מרטנס

בתורת המספרים, משפטי מרטנס הם שלושה משפטים מתמטיים הנוגעים להתנהגותן האסימפטוטית של סדרות הכוללות ביטויים עם מספרים ראשוניים.

משפטים אלו הוכחו לראשונה על-ידי המתמטיקאי הגרמני-פולני פרנץ מרטנס בשנת 1874, כ-22 שנים לפני שהוכח לראשונה משפט המספרים הראשוניים בשנת 1896.

 סימונים 
בערך זה נשתמש בסימונים  ו- לקבוצת המספרים הטבעיים והממשיים.

לאורך הערך, בכל פעם שייעשה שימוש במשתנה , בפרט בסימני סכום ומכפלה, הכוונה ש- מספר טבעי. באופן דומה, בכל פעם שיעשה שימוש במשתנה , הכוונה ש- הוא מספר ראשוני.

הפונקציה  היא פונקציית הלוגריתם הטבעי, הפונקציה  היא פונקציית הערך השלם, הפונקציה  היא פונקציית זטא של רימן, הפונקציה  היא פונקציית המחלק המשותף המקסימלי והפונקציה  היא פונקציית אוילר.

בהינתן תחום כלשהו  וזוג פונקציות , מסמנים:

  (סימון O גדולה) אם ורק אם קיים   כך שלכל  מתקיים ש-
  אם ורק אם  וגם 

 המשפטים 

 משפט מרטנס הראשון 
לכל  מתקיים ש:

 משפט מרטנס השני 
קיים קבוע  כך לכל  מתקיים ש:

הקבוע  הוא קבוע מייזל-מרטנס.

 משפט מרטנס השלישי 
לכל  מתקיים ש:

כאשר  הוא קבוע אוילר-מסקרוני.

 עיקרי הוכחות המשפטים 
נציג כאן את עקרי הוכחותיהם של שלושת משפטי מרטנס. הוכחות אלו לא יתבססו על משפט המספרים הראשונים.

 הוכחת משפט מרטנס הראשון 
לפי נוסחת לז'נדר, לכל :

על-ידי לקיחת לוגריתם על שני הצדדים והוכחה כי  לכל , ניתן להראות כי:

לפי גרסה חלשה של קירוב סטירלינג ניתן להראות כי . מציבים את קירוב זה באי-השוויונות לעיל, מחלקים ב-, מזיזים אגפים ומקבלים:

על-ידי ההוכחה כי שני הביטויים משמאל ומימין חסומים מלמטה ומלמעלה מוכיחים את המשפט.

ניתן להוכיח כי הסכום משמאל מתכנס כאשר  על-ידי השוואתו לטור המתכנס .

את הסכום מימין אפשר לסכום מלמעלה על-ידי החסם החלש . לקיחת לוגריתם וחלוקה ב- מראים כי 

מ.ש.ל.

 הוכחת משפט מרטנס השני 
לכל  מגדירים:

לפי משפט מרטנס הראשון , לכן בהכרח קיים  כך שלכל  מתקיים ש-.

משתמשים בנוסחת הסכימה של אבל כדי להראות כי:

כעת, יש לעבור על הביטויים המופיעים בביטוי האחרון.

ראשית, . מאחר ש- מתקיים בהכרח ש-.

ניתן להוכיח כי האינטגרל האינסופי הראשון מתכנס על-ידי חסימתו:

בדרך דומה ניתן להראות כי .

על כן, אם מגדירים  ומציבים את כל הביטויים לעיל, מקבלים כי:

מ.ש.ל.

 הוכחת משפט מרטנס השלישי 
להוכחת המשפט השלישי ישנם שני חלקים: בחלק הראשון יש להוכיח כי קיים קבוע  כך ש-. בחלק השני יש להוכיח כי .

 הוכחת החלק הראשון 
ראשית מוכיחים כי לכל :

כלומר, הסכום מתכנס וגודלו מסדר גודל של . בפרט הוא מתכנס עבור , לכן אפשר להגדיר:

כעת, על ידי שימוש במשפט מרטנס השני מקבלים כי:

על-ידי לקיחת אקספוננט על שני חלקי המשוואה, ומתוך כך ש-, מתקבל כי:

לכן אפשר להגדיר  ובכך מוכח חלק זה של המשפט.

 הוכחת החלק השני 
מגדירים:

כאשר  היא פונקציית זטא של רימן והשוויון האחרון נובע מהפעלת לוגריתם על מכפלת אוילר. ניתן להבחין כי הפונקציה  מוגדרת היטב בתחום  וכי .

מגדירים לכל :

ניתן להוכיח כי:

מציבים את ביטויים אלו בהגדרת  ומקבלים:

לפי ההגדרה של קבוע אוילר-מסקרוני ולפי משפט מרטנס השני:

על-ידי הצבת שני קירובים אלו בביטוי של , ומתוך כך ש-, מקבלים:

משמע ש-, ולכן .

מ.ש.ל.

 תוצאות המשך 

 שיפורי חסמים באמצעות משפט המספרים הראשוניים 
אם משתמשים במשפט המספרים הראשוניים, ניתן לשפר את התוצאות של משפטי מרטנס.

כך למשל, עבור משפט מרטנס הראשון, ניתן להוכיח שקיים קבוע  כך ש:

ניתן להראות כי קבוע זה הוא:

באופן דומה, באמצעות חסם ואלה פוסן של משפט המספרים הראשוניים, ניתן להוכיח שקיימים  כלשהם כך ש:

 שיפורי חסמים תחת הנחת השערת רימן 
אם מניחים את נכונותה של השערת רימן (שטרם הוכחה עת כתיבת שורות אלו), ניתן לקבל חסמים טובים אף יותר לכל שלושת המשפטים של מרטנס. חסמים אלו הם:

 משפטי מרטנס תחת סדרה חשבונית 
ניתן לקבל חסמים על קצב גידול הסכומים והמכפלה במשפטי מרטנס אם מגבילים את המספרים הראשוניים עליהם סוכמים לכאלו מתוך סדרה חשבונית. בפרט, אם  הם זוג מספרים טבעיים כך ש-, אזי:

כאשר  ו- הם קבועים התלויים ב- ו- בלבד.

 תנודות סביב הגבול במשפטי מרטנס 
ממוזער|גרף של . ניתן להוכיח שגרף זה מתנודד סביב קו ה-0 בתנודות הולכות וגדלות.

עבור סדרת ההפרשים , ידוע שסדרה זו היא סדרה מונוטונית יורדת שמתכנסת לקבוע אוילר-מסקרוני.

נשאלת השאלה האם סדרות ההפרשים הנובעות ממשפטי מרטנס יורדות או עולות מונוטונית לגבול, או שהן מבצעות תנודות של שינוי סימן סביב הגבול. ניתן להוכיח כי:

כלומר, הביטויים משמאל מבצעים אינסוף אוסילציות סביב הגבול שלהם. יתרה מזאת, אם מכפילים את הביטויים משמאל ב- מתקבלות אוסילציות גדולות ככל שנרצה, שכן הביטוי  שואף לאינסוף.

 לקריאה נוספת 




 ראו גם 

 משפט דיריכלה

קישורים חיצוניים


 הערות שוליים 

קטגוריה:תורת המספרים
קטגוריה:מספרים ראשוניים
קטגוריה:משפטים מתמטיים