תנאי הלדר – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
מ בוט: החלפת טקסט אוטומטית (-{{נ}} +)
אין תקציר עריכה
שורה 1:
ב[[אנליזה מתמטית]], '''תנאי הלדר''', הקרוי(Hölder על-שם ה[[מתמטיקאי]] ה[[גרמני]] [[אוטו הלדר]],condition) הוא תנאי על [[פונקציה|פונקציות]] הקובע במובן מסויםהמאפיין את מידת ה[[רציפות]] שלהןשל פונקציות רציפות. תנאי זה מרחיב את [[תנאי ליפשיץ]]. קרוי על-שם ה[[מתמטיקאי]] ה[[גרמני]] [[אוטו הלדר]].
 
==הגדרה==
 
[[פונקציה ממשית]]<math>f: U \to \mathbb{R}</math> עבור תחום פתוח <math>U \subset f\mathbb{R}</math> מקיימת את '''תנאי הלדר''' (Hölder condition), אם קיימים [[מספר ממשי|קבועים ממשיים]] אי-שליליים <math>\ K\ , \alpha</math>, המקיימים:כך שלכל <math>\ x,y \in U</math> מתקיים <math>\ |f(x)-f(y)|\le K \cdot |x-y|^\alpha</math>.
:לכל <math>\ x,y</math> בתחום הגדרת הפונקציה <math>\ |f(x)-f(y)|\le K|x-y|^\alpha</math>.
 
ניתן להכליל את תנאי הלדר גם עבור פונקציה בין שני [[מרחב מטרי]]ים כלשהם; יהיו <math>\ X,Y</math> מרחבים מטריים עם המטריקות <math>\ d_X , d_Y</math> בהתאמה, <math>\ f:X\to Y</math>. הפונקציה <math>\ f</math> מקיימת את תנאי הלדר אם קיימים קבועים ממשיים <math>\ K\ , \alpha</math> המקיימים:
באופן כללי יותר, עבור זוג מרחבים מטריים <math>\left(X,d_X\right), \left(Y,d_Y\right)</math>, פונקציה <math>f: X \to Y</math> מקיימת את תנאי הלדר, אם קיימים [[מספר ממשי|קבועים ממשיים]] אי-שליליים <math>\ K\ , \alpha</math>, כך שלכל <math>\ x,y \in X</math> מתקיים <math>d_Y\left(f(x),f(y)\right) \leq K \cdot d_X\left(x,y\right)^\alpha</math>.
:לכל <math>x_1,x_2\in X</math> מתקיים <math>\ d_Y(f(x_1),f(x_2))\le Kd_X(x_1,x_2)^\alpha</math>.
 
==תכונות==
 
* אם פונקציה מקיימת את תנאי הלדר בתחום מסוים עם קבוע <math>\,0<\alpha</math> אז היא [[פונקציה רציפה|רציפה]] באותו תחום. לעומת זאת, תנאי הלדר עם הקבוע <math>\,\alpha=0</math> פירושו למעשה [[פונקציה חסומה|חסימות]] של הפונקציה.
* מה[[פונקציה קמורה|קמירות]] של הפונקציה <math>\ t^\alpha</math>, עבור כל מעריך שגדול מ-1, נובע שאם פונקציה מ-<math>\mathbb{R}</math> או מכל [[מרחב נורמי]] אחר מקיימת את תנאי הלדר עבור <math>\ \alpha</math> גדול מאחד אז היא בהכרח קבועה. הטענה אינה נכונה כאשר <math>\,X</math> [[מרחב מטרי]] כלשהו.