תנאי ליפשיץ

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

קרוי על-שם המתמטיקאי הגרמני רודולף ליפשיץ.

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

הגדרות

פונקציה ${\displaystyle f:U\to \mathbb {R} }$ עבור תחום פתוח ${\displaystyle U\subset \mathbb {R} }$ מקיימת את תנאי ליפשיץ או נקראת "רציפה ליפשיץ" ביחס לקבוע ${\displaystyle K\geq 0}$ , אם לכל ${\displaystyle x_{1},x_{2}\in U}$ מתקיים ${\displaystyle {\bigl |}f(x_{1})-f(x_{2}){\bigr |}\leq K|x_{1}-x_{2}|}$ . הקבוע ${\displaystyle K}$ הקטן ביותר המקיים את התנאי נקרא "קבוע ליפשיץ" של ${\displaystyle f}$ .

נשים לב כי מכיוון שאי-השוויון לעיל מתקיים תמיד אם ${\displaystyle x_{1}=x_{2}}$ , ניתן להגדיר פונקציה כמקיימת את תנאי ליפשיץ אם ורק אם ${\displaystyle \left|{\frac {f(x_{1})-f(x_{2})}{x_{1}-x_{2}}}\right|\leq K}$ לכל ${\displaystyle x_{1}\neq x_{2}}$ . במילים אחרות, אם ורק אם קבוצת השיפועים של הקווים החותכים את הפונקציה בשתי נקודות או יותר, חסומה.

באופן כללי יותר, עבור זוג מרחבים מטריים ${\displaystyle (X,d_{X}),(Y,d_{Y})}$ , פונקציה ${\displaystyle f:X\to Y}$ מקיימת את תנאי ליפשיץ ביחס לקבוע ${\displaystyle K>0}$ , אם לכל ${\displaystyle x_{1},x_{2}\in X}$ מתקיים ${\displaystyle d_{Y}{\bigl (}f(x_{1}),f(x_{2}){\bigr )}\leq Kd_{X}(x_{1},x_{2})}$ .

אם ${\displaystyle K<1}$ הפונקציה נקראת העתקה מכווצת.

אם קיים ${\displaystyle K\geq 1}$ עבורו ${\displaystyle {\frac {1}{K}}d_{X}(x_{1},x_{2})\leq d_{Y}{\bigl (}f(x_{1}),f(x_{2}){\bigr )}\leq Kd_{X}(x_{1},x_{2})}$ , אז ${\displaystyle f}$ נקראת בי-ליפשיץ. זהו איזומורפיזם בקטגוריה של העתקות ליפשיץ.

דוגמאות

• תנאי ליפשיץ הוא תכונה מקומית. כלומר, קיימות פונקציות המקיימות את תנאי ליפשיץ באופן מקומי, ושאינן מקיימות את תנאי ליפשיץ. כך למשל הפונקציה ${\displaystyle f(x)=x^{2}}$ עם ${\displaystyle \mathbb {R} }$ כתחומה אינה מקיימת את תנאי ליפשיץ. היא נעשית תלולה כרצוננו כאשר ${\displaystyle x\to \infty }$ . לעומת זאת, היא מקיימת את תנאי ליפשיץ באופן מקומי.
• הפונקציה ${\displaystyle f(x)=x^{2}}$ המוגדרת על ${\displaystyle [-3,7]}$ מקיימת את תנאי ליפשיץ, וקבוע ליפשיץ שלה הוא ${\displaystyle K=14}$ , על-פי חישוב הנגזרת (ראו להלן).
• הפונקציה ${\displaystyle f(x)={\sqrt {x^{2}+5}}}$ המוגדרת עבור כל המספרים הממשיים מקיימת את תנאי ליפשיץ, עם קבוע ליפשיץ ${\displaystyle K=1}$ .
• הפונקציה ${\displaystyle f(x)=|x|}$ המוגדרת על הממשיים מקיימת את תנאי ליפשיץ וקבוע-ליפשיץ שלה הוא 1. זוהי דוגמה לפונקציה המקיימת את תנאי ליפשיץ שאינה גזירה.
• הפונקציה ${\displaystyle f(x)={\sqrt {x}}}$ המוגדרת על הקטע ${\displaystyle [0,1]}$ אינה מקיימת את תנאי ליפשיץ. הפונקציה נעשית תלולה כרצוננו עבור ${\displaystyle x\to 0}$ מכיוון שהנגזרת שלה שואפת לאינסוף. לעומת זאת, הפונקציה מקיימת את תנאי הלדר מהמרחב ${\displaystyle C^{0,\alpha }}$ , עבור כל ${\displaystyle \alpha \leq {\tfrac {1}{2}}}$ .

תכונות

• פונקציה ${\displaystyle g}$ הגזירה בכל מקום מקיימת את תנאי ליפשיץ (עם ${\displaystyle K=\sup |g'(x)|}$) אם ורק אם הנגזרת הראשונה שלה חסומה – כיוון אחד נובע ממשפט הערך הממוצע של לגראנז'. כך, כל פונקציה ב-${\displaystyle C^{1}}$ מקיימת את תנאי ליפשיץ באופן מקומי, מכיוון שפונקציות רציפות על מרחב קומפקטי מקומי הן חסומות באופן מקומי.
• תנאי ליפשיץ משתמר טוב יותר מגזירות: אם סדרה של פונקציות מקיימות את תנאי ליפשיץ ${\displaystyle \{f_{k}\}}$ מתכנסת ל-${\displaystyle f}$ , אז גם ${\displaystyle f}$ מקיימת את תנאי ליפשיץ.
• פונקציה המקיימת את תנאי ליפשיץ היא רציפה במידה שווה ולכן בפרט רציפה. ההפך לא נכון: למשל, הפונקציה ${\displaystyle f(x)={\sqrt {x}}}$ רציפה במידה שווה בקטע ${\displaystyle [0,1]}$ , אך אינה מקיימת את תנאי ליפשיץ שם.
• פונקציה בי-ליפשיץ היא פונקציה רציפה-ליפשיץ שגם הפונקציה ההופכית שלה היא רציפה-ליפשיץ.
• בהינתן פונקציה המקיימת את תנאי ליפשיץ באופן מקומי ${\displaystyle f:X\to Y}$ , הצמצום של ${\displaystyle f}$ לכל קבוצה קומפקטית ${\displaystyle U\subseteq X}$ הוא רציף-ליפשיץ.
• אם ${\displaystyle U}$ היא תת-קבוצה של המרחב המטרי ${\displaystyle X}$ , ו-${\displaystyle f:U\to \mathbb {R} }$ היא העתקה רציפה-ליפשיץ, קיימת העתקה רציפה-ליפשיץ המרחיבה את ${\displaystyle f}$ ל-${\displaystyle X}$ בעלת אותו קבוע-ליפשיץ כמו של ${\displaystyle f}$ (ראו גם משפט קירשבראון).
• משפט ראדמאכר: אם ${\displaystyle A}$ היא תת-קבוצה פתוחה של ${\displaystyle \mathbb {R} ^{n}}$ , והפונקציה ${\displaystyle f:A\to \mathbb {R} ^{m}}$ מקיימת את תנאי-ליפשיץ, אז ${\displaystyle f}$ גזירה כמעט בכל מקום ב-${\displaystyle A}$ (כלומר, היא גזירה בכל מקום למעט בקבוצה בעלת מידת לבג 0).

ראו גם

• תנאי הלדר
• רציפות