משפט דה ברנז'

משפט דֶה בְּרַנְזְ (נקרא בתחילה השערת בִּיבֶּרְבָּךְ (Bieberbach) או השערת המקדמים), הוא השערה בתורת הפונקציות המרוכבות, שהועלתה בשנת 1916 על ידי לודוויג ביברבך, והוכחה ב-1985 על ידי לואי דה ברנז'. לאחר פרסום ההוכחה, נמצאו להשערה הוכחות קצרות יותר.

==ההשערה==
תהי f פונקציה אוניוולנטית על עיגול היחידה, כלומר פונקציה הולומורפית המוגדרת על עיגול היחידה <math>\ \{z: |z|<1\}</math> וחד-חד-ערכית שם. אז המקדמים <math>\ a_n</math> בפיתוח טיילור <math>\ f(z)=\sum_{n=1}^\infty a_n z^n</math> של הפונקציה מקיימים <math>\vert a_n \vert \leq n\vert a_1\vert</math>.

==תוצאות חלקיות לאורך ההיסטוריה==
בשנת 1916, הוכיח ביברבך את הטענה עבור n=2, והעיר שהיא "אולי" נכונה לכל n. צ'ארלס לוונר (Lowener) הוכיח את הטענה למקרה שבו n=3 ב-1923. השיטות של לוונר עמדו בבסיסן של ההוכחות לכמה מקרים נוספים:
* n=4, (Garabedian ו-Schiffer ב-1955);
* n=6, (Ozawa ב-1969 ו-Pederson ב-1968);
* n=5, (Pederson ו-Schiffer ב-1972).
דייוויד הורוביץ (Horowitz) הוכיח בשנת 1979 כי מתקיים <math>\forall n : |a_n| \le 1.0657n</math>.

דה-בראנז', שהמשיך את רעיונותיו של לוונר, הוכיח כאמור את הטענה לכל n. התוצאה נחשבת לאחת התוצאות החשובות ביותר באנליזה מרוכבת במאה ה-20.

==שימושים==

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

==ראו גם==
* פונקציה אוניוולנטית
* השערת גודמן

==הערות שוליים==

דה ברנזמשפט דֶה בְּרַנְזְ (נקרא בתחילה השערת בִּיבֶּרְבָּךְ (Bieberbach) או השערת המקדמים), הוא השערה בתורת הפונקציות המרוכבות, שהועלתה בשנת 1916 על ידי לודוויג ביברבך, והוכחה ב-1985 על ידי לואי דה ברנז'. לאחר פרסום ההוכחה, נמצאו להשערה הוכחות קצרות יותר.

==ההשערה==
תהי f פונקציה אוניוולנטית על עיגול היחידה, כלומר פונקציה הולומורפית המוגדרת על עיגול היחידה <math>\ \{z: |z|<1\}</math> וחד-חד-ערכית שם. אז המקדמים <math>\ a_n</math> בפיתוח טיילור <math>\ f(z)=\sum_{n=1}^\infty a_n z^n</math> של הפונקציה מקיימים <math>\vert a_n \vert \leq n\vert a_1\vert</math>.

==תוצאות חלקיות לאורך ההיסטוריה==
בשנת 1916, הוכיח ביברבך את הטענה עבור n=2, והעיר שהיא "אולי" נכונה לכל n. צ'ארלס לוונר (Lowener) הוכיח את הטענה למקרה שבו n=3 ב-1923. השיטות של לוונר עמדו בבסיסן של ההוכחות לכמה מקרים נוספים:
* n=4, (Garabedian ו-Schiffer ב-1955);
* n=6, (Ozawa ב-1969 ו-Pederson ב-1968);
* n=5, (Pederson ו-Schiffer ב-1972).
דייוויד הורוביץ (Horowitz) הוכיח בשנת 1979 כי מתקיים <math>\forall n : |a_n| \le 1.0657n</math>.

דה-בראנז', שהמשיך את רעיונותיו של לוונר, הוכיח כאמור את הטענה לכל n. התוצאה נחשבת לאחת התוצאות החשובות ביותר באנליזה מרוכבת במאה ה-20.

==שימושים==

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

==ראו גם==
* פונקציה אוניוולנטית
* השערת גודמן

==הערות שוליים==

דה ברנז'