משפט מוררה

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

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

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

ניסוח פורמלי

תהי $f:D\to \mathbb{ℂ}$ פונקציה רציפה על תחום פשוט וקשיר $D\subseteq \mathbb{ℂ}$. אם לכל משולש $\mathrm{\Delta }$ שמוכל יחד עם פנימו ב-$D$ מתקיים ${\oint }_{\partial \mathrm{\Delta }}f(z)\mathrm{d}z=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)\mathrm{d}w$.

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

נוכל לרשום את השוויון כך: $0={\oint }_{\partial \mathrm{\Delta }}f(z)\mathrm{d}z=\underset{[z_0,z]}{\int }f(z)\mathrm{d}z+\underset{[z,z+h]}{\int }f(z)\mathrm{d}z+\underset{[z+h,z_0]}{\int }f(z)\mathrm{d}z$

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

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

נשתמש בשוויון שהוכחנו קודם ונקבל: $|\frac{F(z+h)-F(z)}{h}-f(z)|=|\frac{\underset{[z,z+h]}{\int }f(w)\mathrm{d}w}{h}-f(z)|=\frac{1}{h}|\underset{[z,z+h]}{\int }f(w)-f(z)\mathrm{d}w|$.

נעריך את הביטוי האחרון: $\frac{1}{h}|\underset{[z,z+h]}{\int }f(w)-f(z)\mathrm{d}w|\le \frac{1}{h}\underset{[z,z+h]}{\int }|f(w)-f(z)|\mathrm{d}w\le \frac{1}{h}\cdot h\cdot \underset{\zeta \in (z,z+h)}{\sup }|f(\zeta )-f(z)|$.

מרציפות $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)$ על ידי כך שנוכיח את השוויון ${\oint }_C\mathrm{\Gamma }(z)\mathrm{d}z=0$ לכל מסילה סגורה $C$.

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

ולאחר שימוש במשפט פוביני כדי להחליף את סדר האינטגרציה נקבל: ${\oint }_C\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}\mathrm{d}x\mathrm{d}z=\underset{0}{\overset{\mathrm{\infty }}{\int }}{\oint }_C{x}^{z-1}{e}^{-x}\mathrm{d}z\mathrm{d}x=\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x}{\oint }_C{x}^{z-1}\mathrm{d}z\mathrm{d}x$.

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

לקריאה נוספת

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

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

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

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

משפט מוררה31814329Q1140119