משפט הפירוק של ויירשטראס

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

המשפט קרוי על שם קארל ויירשטראס.

מוטיבציה[עריכת קוד מקור | עריכה]

מהמשפט היסודי של האלגברה נובע שכל פולינום ניתן להציג בצורה: p(z)=a\prod_{i=1}^n(z-a_i) כאשר a_1,\ldots,a_n הם האפסים של הפולינום. כמו כן, לכל סדרה סופית a_1,\ldots,a_n קיים פולינום שאלו אפסיו.

משפט הפירוק של ויירשטראס מכליל תוצאה זו לפונקציות שלמות כלליות ולסדרות אינסופיות של אפסים.

מכיוון שמכפלה אינסופית לא בהכרח מתכנסת, הרחבת המשפט היסודי של האלגברה באופן זה אינה מיידית. תנאי הכרחי להתכנסות של מכפלה אינסופית של מספרים הוא שערכם המוחלט ישאף ל-1. לכן, אם אנו רוצים ש-\prod_n(z-a_n) יתכנס, אנו רוצים פונקציה שערכה המוחלט ישאר ליד 1 כאשר היא מקבלת קלטים בסביבת השורשים שלה.

הגורמים האלמנטרים[עריכת קוד מקור | עריכה]

הגורמים האלמנטריים מוגדרים באופן הבא:

E_n(z) = \begin{cases} (1 -z) & \text{if }n=0, \\ (1-z)\exp \left( \frac{z^1}{1}+\frac{z^2}{2}+\cdots+\frac{z^n}{n} \right) & \text{otherwise}. \end{cases}

לכל n טבעי.

חשיבותם מודגמת בלמה הבאה:

\vert 1 - E_n(z) \vert \leq \vert z \vert^{n+1}.

עבור z עם ערך מוחלט קטן-שווה ל-1 ו-n טבעי.

שתי הצורות של המשפט[עריכת קוד מקור | עריכה]

קיומה של פונקציה שלמה עם סדרת אפסים נתונה[עריכת קוד מקור | עריכה]

תהי \{a_n\} סדרת מספרים מרוכבים שונים מ-0 אשר שואפת לאינסוף. אם \{p_n\} היא סדרת מספרים טבעיים כך שלכל r>0 מתקיים: :  \sum_{n=1}^\infty \left( r/|a_n|\right)^{1+p_n} < \infty, אז הפונקציה : f(z) = \prod_{n=1}^\infty E_{p_n}(z/a_n) היא שלמה עם אפסים בדיוק ב-a_n. אם אחד המספרים בסדרה \{a_n\} מופיע m פעמים אז הוא יהיה אפס מסדר m. נשים לב כי סדרת הטבעיים תמיד קיימת (ניתן למשל לקחת פשוט את הסדה {n}) אך אינה יחידה ולכן הפונקציה הנ"ל אינה יחידה.

משפט הפירוק של ויירשטראס[עריכת קוד מקור | עריכה]

תהי f פונקציה שלמה עם אפסים \{a_n\} (שונים מ-0) אשר חוזרים על עצמם בסדרה בהתאם לריבוי שלהם. נניח גם שלפונקציה יש אפס ב-z=0 והוא מסדר m>0 כלשהו. אז, יש פונקציה שלמה g וסדרה \{p_n\} של טבעיים כך ש:

f(z)=z^m e^{g(z)} \prod_{n=1}^\infty E_{p_n}\!\!\left(\frac{z}{a_n}\right).[1]

דוגמאות לפירוק לגורמים של פונקציות שלמות[עריכת קוד מקור | עריכה]

  • \sin \pi z = \pi z \prod_{n\neq 0} \left(1-\frac{z}{n}\right)e^{z/n} = \pi z\prod_{n=1}^\infty \left(1-\frac{z^2}{n^2}\right)
  • \cos \pi z = \prod_{n\neq 0} \left(1-\frac{2z}{2n-1}\right)e^{2z/(2n-1)} = \prod_{n=1}^\infty \left( 1 - \frac{4z^2}{(2n-1)^2} \right)

ראו גם[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Conway, J. B. (1995), Functions of One Complex Variable I, 2nd ed., springer.com: Springer, ISBN 0-387-90328-3