אלגברה ליניארית להנדסת חשמל 2

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

יסודות הלכסון: ערכים עצמיים ווקטורים עצמיים

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

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

ערך עצמי (Eigenvalue): הסקלר שבו מוכפל הווקטור העצמי כאשר מופעלת עליו הטרנספורמציה הליניארית. עבור מטריצה A ווקטור עצמי v, מתקיים: Av = λv, כאשר λ הוא הערך העצמי.

מציאת ערכים ווקטורים עצמיים

כדי למצוא את הערכים העצמיים של מטריצה A, אנו פותרים את המשוואה הדטרמיננטית: det(A - λI) = 0. משוואה זו מובילה לפולינום, הנקרא הפולינום האופייני.

פולינום אופייני (Characteristic Polynomial): הפולינום המתקבל מ-det(A - λI) = 0. שורשיו הם הערכים העצמיים של המטריצה.

לאחר מציאת הערכים העצמיים, עבור כל ערך עצמי λ, אנו פותרים את המערכת ההומוגנית (A - λI)v = 0 כדי למצוא את הווקטורים העצמיים המתאימים. מרחב הפתרונות של מערכת זו נקרא המרחב העצמי המתאים ל-λ.

תנאי לכסון ושיטת הלכסון

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

הקשר בין ריבוי אלגברי לריבוי גיאומטרי

היכולת ללכסן מטריצה תלויה ביחס בין שני סוגי ריבויים של הערכים העצמיים:

ריבוי אלגברי (Algebraic Multiplicity - r.a.)

החזקה של הגורם (λ - λ₀) בפולינום האופייני. לדוגמה, אם הפולינום הוא (λ-2)²(λ-3), אז ל-λ=2 יש r.a. של 2, ול-λ=3 יש r.a. של 1.

ריבוי גיאומטרי (Geometric Multiplicity - r.g.)

מימד המרחב העצמי המתאים לערך עצמי λ₀, כלומר dim(Null(A - λ₀I)). זהו מספר הווקטורים העצמיים הבלתי תלויים ליניארית שניתן למצוא עבור λ₀.

תנאי הכרחי ומספיק ללכסון: מטריצה A ניתנת ללכסון אם ורק אם מתקיימים שני התנאים הבאים:

הפולינום האופייני מתפרק לגורמים ליניאריים מעל השדה (למשל, כל השורשים ממשיים עבור מטריצה ממשית, או מרוכבים עבור מטריצה מרוכבת).
לכל ערך עצמי λ, הריבוי האלגברי שווה לריבוי הגיאומטרי (r.a.(λ) = r.g.(λ)).

תהליך הלכסון

אם מטריצה A ניתנת ללכסון, ניתן לכתוב אותה בצורה A = PDP⁻¹, כאשר:

D היא מטריצה אלכסונית שרכיבי האלכסון שלה הם הערכים העצמיים של A.
P היא מטריצה הפיכה שהעמודות שלה הן הווקטורים העצמיים המתאימים לערכים העצמיים ב-D, באותו סדר.

המשמעות היא ש-A דומה למטריצה אלכסונית D. טרנספורמציית הדמיון הזו מאפשרת לנו לבצע חישובים רבים בצורה פשוטה בהרבה (לדוגמה, Aᵏ = PDᵏP⁻¹).

לכסון אורתוגונלי ואוניטרי

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

מטריצה סימטרית (Symmetric Matrix): מטריצה ממשית A המקיימת A = Aᵀ (A שווה לטרנספוז שלה).

מטריצה הרמיטית (Hermitian Matrix): מטריצה מרוכבת A המקיימת A = Aᴴ (A שווה לטרנספוז הצמוד שלה).

המשפט הספקטרלי (Spectral Theorem): זהו אחד המשפטים החשובים ביותר למהנדסי חשמל בהקשר של לכסון. הוא קובע שמטריצה ממשית היא סימטרית אם ורק אם היא ניתנת ללכסון אורתוגונלי. באופן דומה, מטריצה מרוכבת היא הרמיטית אם ורק אם היא ניתנת ללכסון אוניטרי. המשמעות היא שקיימת מטריצה אורתוגונלית (עבור סימטרית) או אוניטרית (עבור הרמיטית) P כך ש-A = PDPᵀ (או PDPᴴ), כאשר D אלכסונית וכל הערכים העצמיים ממשיים. זהו כלי קריטי באנליזת אותות, עיבוד תמונה, תורת הבקרה ומכניקת קוונטים.

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

שאלות לדיון

הסבר מדוע מטריצה שאינה ניתנת ללכסון אינה יכולה להיות סימטרית (ממשית).
כיצד תהליך הלכסון יכול לסייע בפתרון מערכת משוואות דיפרנציאליות ליניאריות מסדר ראשון?
מה ההבדל המהותי בין מטריצת המעבר P בלכסון כללי לבין מטריצת המעבר P בלכסון אורתוגונלי/אוניטרי, ומדוע הבדל זה חשוב בהנדסת חשמל?
תאר מצב שבו הריבוי האלגברי של ערך עצמי אינו שווה לריבוי הגיאומטרי שלו, והסבר מדוע מטריצה כזו אינה ניתנת ללכסון.

נקודות לתשובת מודל

לכסון סימטריות: מטריצה סימטרית (ממשית) תמיד ניתנת ללכסון אורתוגונלי (לפי המשפט הספקטרלי). כלומר, כל הערכים העצמיים שלה ממשיים, ולכל ערך עצמי הריבוי האלגברי שווה לריבוי הגיאומטרי. אם מטריצה אינה ניתנת ללכסון, היא בהכרח אינה סימטרית.
פתרון מערכות דיפרנציאליות: מערכת x'(t) = Ax(t) ניתנת לפתרון פשוט יותר באמצעות לכסון. אם A = PDP⁻¹, אז x'(t) = PDP⁻¹x(t). נגדיר y(t) = P⁻¹x(t), ואז y'(t) = P⁻¹x'(t) = P⁻¹PDP⁻¹x(t) = Dy(t). זוהי מערכת משוואות דיפרנציאליות מנותקת (כל משוואה תלויה רק ב-yᵢ), שקל לפתור. לאחר מכן, נחזור ל-x(t) = Py(t).
הבדל במטריצת המעבר P: בלכסון כללי, P היא מטריצה הפיכה שטוריה הם וקטורים עצמיים. בלכסון אורתוגונלי/אוניטרי (עבור מטריצות סימטריות/הרמיטיות), P היא מטריצה אורתוגונלית/אוניטרית, כלומר P⁻¹ = Pᵀ (או P⁻¹ = Pᴴ). זה אומר שהעמודות של P הן בסיס אורתונורמלי של וקטורים עצמיים. חשיבותו בהנדסת חשמל היא בכך שטרנספורמציות אורתוגונליות/אוניטריות שומרות על נורמה ומכפלה פנימית, מה שמשקף שימור אנרגיה או עוצמה במערכות פיזיקליות.
r.a. ≠ r.g.: דוגמה: המטריצה A = [[1, 1], [0, 1]]. הפולינום האופייני הוא (1-λ)², כלומר λ=1 הוא ערך עצמי עם r.a.=2. המרחב העצמי עבור λ=1 הוא Null(A-I) = Null([[0, 1], [0, 0]]), אשר נפרש ע"י הווקטור [1, 0]ᵀ. לכן, r.g.(1)=1. מכיוון ש-r.a.(1) ≠ r.g.(1), המטריצה אינה ניתנת ללכסון. המשמעות היא שלא ניתן למצוא בסיס של שני וקטורים עצמיים בלתי תלויים ליניארית, ולכן לא ניתן להפוך את המטריצה לאלכסונית באמצעות טרנספורמציית דמיון.

מצאתם טעות או שחסר משהו?