ספקטרום (מתמטיקה)

מושג באנליזה פונקציונלית

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

הגדרה פורמלית

עריכה

יהי   אופרטור ליניארי על מרחב בנך  . נגדיר את אופרטור ה"Resolventa" (הרסולבר) כ:

 

ואת ההפכי שלו (כאשר קיים) כ

 

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

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

הספקטרום כקבוצה קומפקטית

עריכה

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

הוכחה שהספקטרום לא ריק

עריכה

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

 

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

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

הוכחה שהספקטרום חסום

עריכה

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

 ,

שתקף לכל אופרטור חסום המקיים  . אזי

 

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

לאור עובדה זאת, אפשר להגדיר את הרדיוס הספקטרלי באופן הבא:

 

וניתן להראות שההפכי של רדיוס הוא רדיוס ההתכנסות של הטור. הרדיוס הספקטרלי של אופרטור T תמיד חסום על ידי הנורמה של T.

הוכחה שהספקטרום סגור

עריכה

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

מיון נקודות ספקטרום

עריכה

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

את הספקטרום אפשר למיין ל 3 מחלקות הממצות אותו:

  1. ספקטרום נקודתי  
  2. ספקטרום רציף  
  3. ספקטרום שארית  

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

ספקטרום נקודתי

עריכה

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

ספקטרום רציף

עריכה

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

באופן פורמלי, נאמר ש   אם הרסולבר עבורה מקיים:

 

או באופן שקול, קיימת עבורה סדרת וקטורי יחידה   כך ש

 

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

ספקטרום שארית או ספקטרום דחיסה

עריכה

אופרטור S איננו הפיך אם הוא לא על, שכן אז ההפכי איננו חד-חד ערכי ואיננו מוגדר על כל המרחב.

באופן פורמלי, נאמר ש   אם הרסולבר עבורה מקיים:

 

כלומר תמונת הרסולבר איננה צפופה ב H, ובפרט הוא לא על.

ספקטרום של אופרטורים קשורים

עריכה

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

תוצאות נוספות

עריכה

ראו גם

עריכה

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

עריכה
  • ספקטרום, באתר MathWorld (באנגלית)