מרחב אורליץ

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

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

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

פונקציית אורליץ
פונקציית אורליץ (נקראת גם פונקציית N או Orlicz function) היא הכלי המרכזי בהגדרה של מרחבי אורליץ, והמאפיינים שלה הם אלה שמכתיבים את המבנה של המרחב.

פונקציית אורליץ היא פונקציה  המקיימת את דרישות הבאות:

1. קמירות: לכל  ולכל  מתקיים

2.  מונוטונית עולה: לכל  מתקיים

3. חיוביות: לכל  הפונקציה אי שלילית (על פי הגדרת הטווח) ומתקיים

פונקציה קמורה על קטע פתוח היא רציפה. הנקודה  נמצאת בקצהו השמאלי של הקטע, ולכן תיתכן אי-רציפות קפיצה בקצה ומכאן הפונקציה מקיימת רציפות מימין.

בנוסף, תכונות אלו גוררות אינטגרביליות רימן של .

דרישות נוספות (תלוי הקשר)
לעיתים מוסיפים תכונות נוספות, בהתאם לתכונות שרוצים למרחב:

4. צמיחה מהירה מאפס מסביב לאפס:



5. קיום תנאי  (דלתא 2):

תנאי זה חשוב, כי הוא מבטיח שמרחב אורליץ יהיה מרחב בנך.

הגדרה פורמליתNotes by David Pollard  

תהי  פונקציית אורליץ.

עבור מרחב מידה , נגדיר את הקבוצה הבאה:

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

נגדיר את מרחב אורליץ להיות המרחב הווקטורי הנפרש על ידי פונקציות ב- ונסמנו ב-.

במילים אחרות, מרחב אורליץ הוא המרחב המינימלי המכיל את , כלומר:

למרחב זה ניתן להגדיר נורמה הקרויה נורמת לוקסנבורג, או לחלופין נורמת אורליץ (ראו להלן).

מרחב אורליץ המצומצם
ישנו מרחב אורליץ נוסף הנקרא "מרחב אורליץ המצומצם" המוגדר באופן הבא:

שהוא המרחב הווקטורי המקסימלי המוכל ב-.

 נורמת אורליץ 
הנורמה במרחב אורליץ (נורמת לוקסנבורג), מוגדרת על ידי:Orlicz Space Norm 

אוסף כל הפונקציות המדידות אשר הנורמה שלהן סופית, מסומן ב-.

דוגמאות לפונקציות אורליץ
מרחב אורליץ תלוי בבחירת פונקציית אורליץ שתגדיר את תכונות המרחב כולו.

דוגמאות למשפחות של פונקציות אורליץ נפוצות כוללות:
 לכל , נגדיר . עבור פונקציות אורליץ אלו, מרחב אורליץ המתקבל הוא מרחב Lp הרגיל.

 לכל , נגדיר . דוגמה זו לפונקציות אורליץ מובילה למרחבי הפונקציות עם גדילה אקספוננציאלית.

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

1. הכללה של מרחבי :   On the embedding between the variable Lebesgue space  and the Orlicz space 

כל מרחב  הוא מקרה פרטי של מרחב אורליץ כאשר .

2. יכולת גמישות גבוהה וגבולות אינטגרביליות: 

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

3. מרחב נורמי ותחת תנאים מסוימים אף מרחב בנך:

מרחב אורליץ הוא מרחב נורמי ותחת תנאים מסוימים הוא אף מרחב בנך. מרחב אורליץ הוא מרחב בנך, אם פונקציית אורליץ  מקיימת את תנאי :

4.שימוש נרחב בכלים של ניתוח קמור והצמדה: 

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

במרחבי , ידוע ש (במובן של מרחבים איזומורפיים), כאשר  (תנאי אי-שוויון הלדר).

במרחבי אורליץ שהם מרחבי בנך מתקיים באופן דומה:

 (במובן של מרחבים איזומורפיים),

כאשר  היא הפונקציה הצמודה של , כלומר 

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

נורמת אורליץ של משתנה מקרי
 הגדרה פורמלית 

יהי  משתנה מקרי ממשי המוגדר על מרחב הסתברות , ויהי  פונקציית אורליץ,

נאמר ש- שייך למרחב אורליץ (על פי ) אם קיים קבוע  כך ש:

נורמת אורליץ של  (המכונה גם נורמת לוקסנבורג) מוגדרת על־ידי:

נורמה זו היא פונקציה הומוגנית ומוגדרת כאשר הקבוצה אינה ריקה.

 דוגמאות
1. כאשר פונקציה  מוגדרת להיות:

ישנה הקבלה למומנט ה-P של המשתנה המקרי.

2. כאשר פונקציה  מוגדרת להיות:

כאשר , 

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

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

עבור קבועים  כלשהם.

 שימושים Y. Zhang, D. Yang, W. Yuan S. Wang,
Real-variable characterizations of Orlicz-slice Hardy spaces
Anal. Appl., 17 (2019), pp. 597-664  Partial Differential Equations in Anisotropic Musielak-Orlicz Spaces  
 ניתוח של התכנסות מרטינגלים ומשפטים חוקיים חזקים וחלשים
 קביעת גבולות סטטיסטיים והתפלגויות זנב של סיכומים של משתנים מקריים
 הערכת סטיות גדולות של פונקציות מקריות
 אפיון מרחבים של משתנים מקריים בעלי אינטגרביליות גבוהה במיוחד או התנהגות חריגה בזנב

מקרים פרטיים ושיכונים
מרחב אורליץ קשור למספר מבנים מתמטיים חשובים:

מרחבי 
מרחב אורליץ מהווה הכללה למרחבי .
מרחבי סובולב

מרחבי סובולב מסוימים ניתנים לשיכון במרחבי אורליץ:

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

עבור , מתקיים:

עבור פונקציית אורליץ  המוגדרת על ידי 

ראו גם 
 מרחב Lp
 מרחב בנך
 פונקציה קמורה
 מרחב מדיד
 מרחב דואלי
 משתנה מקרי

קריאה נוספת
 מאמר ריכוז מידע במרחב אורליץ
  Contains most commonly used properties of Orlicz spaces over  with the Lebesgue measure.
  Contains properties of Orlicz spaces over general spaces with general measures, including many pathological examples.

 . The original paper.
 .
 .

הערות שוליים

קטגוריה:אנליזה הרמונית
קטגוריה:מרחבים נורמיים