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

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

מבוא לצורת ז'ורדן: מעבר מלכסון

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

מטריצה לכסינה: מטריצה ריבועית A נקראת לכסינה אם קיימת מטריצה הפיכה P כך ש-P⁻¹AP היא מטריצה אלכסונית. זה מתרחש אם ורק אם לכל ערך עצמי, הריבוי האלגברי שווה לריבוי הגיאומטרי.

מושגי יסוד ובלוק ז'ורדן

כדי להבין את צורת ז'ורדן, עלינו לחזור על כמה מושגים בסיסיים ולהכיר מושגים חדשים:

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

ריבוי אלגברי (m_a(λ)): החזקה של הגורם (x-λ) בפולינום האופייני. זהו מספר הפעמים ש-λ מופיע כשורש של הפולינום האופייני.

ריבוי גיאומטרי (m_g(λ)): מימד מרחב הערכים העצמיים של λ, כלומר dim(Ker(A-λI)). זהו מספר הוקטורים העצמיים הבלתי תלויים לינארית המשויכים ל-λ.

בלוק ז'ורדן (Jordan Block): מטריצה ריבועית מהצורה:

λ 1 0 ... 0
0 λ 1 ... 0
0 0 λ ... 0
...
0 0 0 ... λ

כאשר λ הוא ערך עצמי. כל בלוק מאופיין בערך עצמי יחיד ובגודלו.

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

מטריצה לכסינה

לכל ערך עצמי λ, הריבוי האלגברי שווה לריבוי הגיאומטרי (m_a(λ) = m_g(λ)). במקרה זה, צורת ז'ורדן היא מטריצה אלכסונית.

מטריצה לא לכסינה

קיים לפחות ערך עצמי λ שעבורו הריבוי האלגברי גדול מהריבוי הגיאומטרי (m_a(λ) > m_g(λ)). במקרה זה, צורת ז'ורדן תכלול בלוקי ז'ורדן בגודל גדול מ-1.

בניית צורת ז'ורדן ושרשראות ז'ורדן

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

וקטור עצמי מוכלל (Generalized Eigenvector): וקטור v שאינו אפס המקיים (A-λI)ᵏv = 0 עבור k כלשהו (k≥1), כאשר (A-λI)ᵏ⁻¹v ≠ 0. אם k=1, זהו וקטור עצמי רגיל.

שרשרת ז'ורדן (Jordan Chain): סדרה של וקטורים {v₁, v₂, ..., v_k} המקיימת:

(A-λI)v₁ = 0 (v₁ הוא וקטור עצמי)
(A-λI)v₂ = v₁
...
(A-λI)v_k = v_{k-1}

הוקטור v_k הוא הוקטור המוכלל "הגבוה" ביותר בשרשרת. אורך השרשרת הוא k. כל שרשרת ז'ורדן יוצרת בלוק ז'ורדן אחד.

אלגוריתם כללי לבניית צורת ז'ורדן:

חשבו את הערכים העצמיים של A ואת הריבויים האלגבריים שלהם.
לכל ערך עצמי λ, חשבו את הריבוי הגיאומטרי שלו (m_g(λ)). מספר זה קובע את מספר בלוקי ז'ורדן המשויכים ל-λ.
סכום גודלי בלוקי ז'ורדן עבור λ חייב להיות שווה לריבוי האלגברי של λ.
בנו את שרשראות ז'ורדן: התחילו מוקטורים עצמיים (v₁) ומצאו וקטורים מוכללים (v₂, v₃, וכו') על ידי פתרון מערכות משוואות (A-λI)v_i = v_{i-1}.
הרכיבו את מטריצת המעבר P מעמודות של וקטורי שרשראות ז'ורדן (בסדר הנכון), ואז J = P⁻¹AP תהיה צורת ז'ורדן.

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

חשיבות ויישומים בהנדסת חשמל

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

פתרון מערכות משוואות דיפרנציאליות לינאריות: במערכות בקרה, עיבוד אותות ותורת מעגלים, לעיתים קרובות נתקלים במערכות מהצורה x'(t) = Ax(t). כאשר A אינה לכסינה, צורת ז'ורדן מאפשרת לחשב את e^(At) ובכך למצוא את פתרון המערכת.
ניתוח יציבות מערכות: מיקום הערכים העצמיים (על האלכסון של צורת ז'ורדן) קובע את יציבות המערכת. בלוקי ז'ורדן בגודל גדול מ-1 עבור ערכים עצמיים עם חלק ממשי אפס (או 1 במערכות בדידות) יכולים להצביע על חוסר יציבות או יציבות גבולית.
חישוב חזקות של מטריצות ופונקציות מטריציוניות: עבור A^k או f(A), כאשר A אינה לכסינה, השימוש בצורת ז'ורדן מפשט את החישוב באופן משמעותי על ידי העברה לצורת ז'ורדן, חישוב הפונקציה עבור בלוקי ז'ורדן, והחזרה למטריצה המקורית.

שאלות לדיון

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

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

נחיצות צורת ז'ורדן: לא כל המטריצות ניתנות ללכסון (כאשר m_a(λ) > m_g(λ) עבור לפחות ערך עצמי אחד). צורת ז'ורדן מספקת צורה קנונית משולשית עליונה לכל מטריצה ריבועית מעל שדה סגור אלגברית, ומאפשרת ניתוח מלא של הטרנספורמציה הלינארית גם במקרים אלו.
קשר לריבויים: הריבוי האלגברי של ערך עצמי λ קובע את סכום גודלי כל בלוקי ז'ורדן המשויכים ל-λ. הריבוי הגיאומטרי של λ קובע את מספר בלוקי ז'ורדן השונים המשויכים ל-λ.
תפקיד וקטורים מוכללים ושרשראות: כאשר אין מספיק וקטורים עצמיים (m_g(λ)
דוגמה הנדסית: פתרון מערכות משוואות דיפרנציאליות לינאריות בזמן (x'(t) = Ax(t)) במערכות בקרה או מעגלים חשמליים. אם מטריצת המערכת A אינה לכסינה, צורת ז'ורדן מאפשרת לחשב את המטריצה המעריכית e^(At) על ידי מעבר לצורת ז'ורדן J, חישוב e^(Jt) (שהוא פשוט יותר עבור בלוקי ז'ורדן), וחזרה לבסיס המקורי.

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