משפט מוררה

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

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

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

ניסוח פורמלי

תהי $f:D\to \mathbb{ℂ}$ פונקציה רציפה על תחום פשוט וקשיר $D\subseteq \mathbb{ℂ}$.

אם לכל משולש $\mathrm{△}$ המוכל יחד עם פנימו ב-$D$ מתקיים $\underset{\partial \mathrm{△}}{\oint }f(z)dz=0$, אזי $f$ הולומורפית ב-$D$.

הוכחה

ראשית נוכיח שלפונקציה $f$ קיימת פונקציה קדומה ב-$D$.

תהי $z_0\in D$ נקודה בתחום. מכיוון ש-$D$ קבוצה פתוחה, קיים עיגול $B(z_0,r)\subset D$.

לכל $z\in B(z_0,r)$ נגדיר $F(z)=\underset{[z_0,z]}{\int }f(w)dw$.

יהי $\mathrm{△}=[z_0,z,z+h,z_0]$ משולש המוכל בעיגול $B(z_0,r)$ (מתקיים בעבור $h$ קטן מספיק כיוון שהעיגול הוא קבוצה פתוחה), מהנתון נובע $\underset{\partial \mathrm{△}}{\oint }f(z)dz=0$.

נוכל לרשום את השוויון כך:

$0=\underset{\partial \mathrm{△}}{\oint }f(z)dz=\underset{[z_0,z]}{\int }f(z)dz+\underset{[z,z+h]}{\int }f(z)dz+\underset{[z+h,z_0]}{\int }f(z)dz$

ולאחר העברת אגפים נקבל

$\underset{[z,z+h]}{\int }f(z)dz=\underset{[z_0,z+h]}{\int }f(z)dz-\underset{[z_0,z]}{\int }f(z)dz$

ולאחר הצבת ההגדרה נקבל את השוויון $\underset{[z,z+h]}{\int }f(w)dw=F(z+h)-F(z)$.

כעת, נוכיח שהפונקציה $F$ היא פונקציה קדומה של $f$. כלומר מתקיים $\underset{h\to 0}{\lim }|\frac{F(z+h)-F(z)}{h}-f(z)|=0$.

נשתמש בשוויון שהוכחנו קודם ונקבל:

$\begin{array}{rl}|\frac{F(z+h)-F(z)}{h}-f(z)|& =|\frac{1}{h}\underset{[z,z+h]}{\int }f(w)dw-f(z)|=\frac{1}{h}|\underset{[z,z+h]}{\int }(f(w)-f(z))dw|\\ \\ & \le \frac{1}{h}\underset{[z,z+h]}{\int }|f(w)-f(z)|dw\le \frac{1}{h}\cdot h\cdot \underset{\zeta \in (z,z+h)}{\sup }|f(\zeta )-f(z)|\end{array}$

מרציפות $f$ נקבל שכאשר $h$ שואף לאפס גם הביטוי $\frac{1}{h}\cdot h\cdot \underset{\zeta \in (z,z+h)}{\sup }|f(\zeta )-f(z)|$ שואף לאפס, כלומר מתקיים $\underset{h\to 0}{\lim }|\frac{F(z+h)-F(z)}{h}-f(z)|=0$, ולכן $F$ פונקציה קדומה של $f$.

ומכיוון ש-$F$ הולומורפית ב-$D$ נובע שגם נגזרתה $f$ הולומורפית ב-$D$.

שימושים

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

דוגמה: נוכיח את האנליטיות של פונקציית גמא $\mathrm{\Gamma }(z)$ על ידי כך שנוכיח את השוויון $\underset{C}{\oint }\mathrm{\Gamma }(z)dz=0$ לכל מסילה סגורה $C$.

מהגדרת פונקציית גמא מתקיים $\underset{C}{\oint }\mathrm{\Gamma }(z)dz=\underset{C}{\oint }\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dxdz$.

ולאחר שימוש במשפט פוביני כדי להחליף את סדר האינטגרציה נקבל:

$\underset{C}{\oint }\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dxdz=\underset{0}{\overset{\mathrm{\infty }}{\int }}\underset{C}{\oint }{x}^{z-1}{e}^{-x}dzdx=\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x}\underset{C}{\oint }{x}^{z-1}dzdx$

הפונקציה $f(z)=x^{z-1}$ אנליטית, ולכן מתקיים $\underset{C}{\oint }{x}^{z-1}dz=0$ (נובע ממשפט קושי-גורסה). כלומר $\underset{C}{\oint }\mathrm{\Gamma }(z)dz=0$ לכל מסילה סגורה $C$, ולכן פונקציית גמא אנליטית בכל המישור.

לקריאה נוספת

• פונקציות מרוכבות (כרך ג' יחידות 5–6), האוניברסיטה הפתוחה, 2009

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

• משפט מוררה, באתר MathWorld (באנגלית)
• משפט מוררה, באתר אנציקלופדיה למתמטיקה (באנגלית)

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

משפט מוררה38071305Q1140119