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

את המשפט הוכיח אוסקר פרון (אנ') ב-1907 עבור מטריצות עם ערכים חיוביים. ב-1912 מצא גאורג פרובניוס הכללה לא טריוויאלית למטריצות בעלות ערכים אי-שליליים.

המשפט
-----

הגרסה הבסיסית של המשפט מטפלת במטריצה שרכיביה **חיוביים**.

**משפט**. תהי A מטריצה ריבועית ממשית, שכל רכיביה חיוביים (ממש). אז:

1. יש לה ערך עצמי ממשי r>0, כך שכל ערך עצמי אחר הוא בעל ערך מוחלט קטן ממש מ-r. יתרה מזו,
2. יש וקטור עצמי יחיד (עד כדי כפל בסקלר) מריבוי אלגברי 1 השייך ל-r, וכל רכיביו חיוביים (ממש); זהו הווקטור העצמי היחיד של A שכל רכיביו חיוביים.

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

גרסה כללית יותר מרשה לערכים של המטריצה להתאפס. לשם כך אומרים ש-A **מטריצה פריקה** אם יש מטריצת פרמוטציה P כך ש-{\displaystyle PAP^{-1}} היא מטריצת בלוקים, שהבלוק השמאלי-תחתון שלה הוא אפס.

**משפט פרון-פרובניוס**. אם A מטריצה אי-פריקה שכל רכיביה **אי שליליים**, אז:

1. יש לה ערך עצמי ממשי r>0, כך שכל ערך עצמי אחר הוא בעל ערך מוחלט קטן או שווה ל-r;
2. יש **סדר** h כך שהספקטרום של A נשמר תחת סיבוב באחת-חלקי-h של המעגל. יתרה מזו,
3. יש וקטור עצמי יחיד (עד כדי כפל בסקלר) השייך ל-r, וכל רכיביו חיוביים (ממש); זהו הווקטור העצמי היחיד של A שכל רכיביו חיוביים.

רקע ותוצאות
-----------

הערכים העצמיים של כל מטריצה ריבועית A הם השורשים (המרוכבים) של הפולינום האופייני; הערך המוחלט הגדול ביותר בין השורשים האלה הוא הרדיוס הספקטרלי של המטריצה. הרדיוס הספקטרלי שולט בקצב הגידול של החזקות {\displaystyle A^{n}}: אם {\displaystyle r=\rho (A)} הוא הרדיוס הספקטרלי, אז הרכיבים בגבול {\displaystyle \lim \_{n\to \infty }r^{-n}A^{n}} חסומים, ואם הריבוי הגאומטרי הוא 1, מובטח שהגבול הזה קיים, והוא מטריצה בעלת דרגה 1.

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

הוכחה
-----

להלן הוכחה עבור המקרה הבסיסי של מטריצות חיוביות. תהי {\displaystyle A\in M\_{d}(\mathbb {R} )} מטריצה חיובית. נבחין שלכל וקטור v אי שלילי שאינו 0, מכיוון ש-A מטריצה שכל אבריה חיוביים, נובע כי {\displaystyle Av} הוא וקטור שכל אבריו חיוביים.

יהי \Delta  אוסף כל הווקטורים ב-{\displaystyle \mathbb {R} ^{d}} האי שליליים שנמצאים על כדור היחידה. נשים לב שזוהי קבוצה קומפקטית.

**טענה 1:** יש ל-A וקטור עצמי חיובי v עם ערך עצמי חיובי \rho.

**הוכחה:** נגדיר פונקציה {\displaystyle L:\Delta \to R\_{>0}} המוגדרת באופן הבא: {\displaystyle L(x)=\min\{{{\tfrac {(Ax)\_{i}}{x\_{i}}}|x\_{i}\neq 0}\}}, כלומר מסתכלים על הקואורדינטות החיוביות של x (יש כאלו בהכרח, מהגדרת \Delta ) ולוקחים מהם את המינימום של המנה בין {\displaystyle Ax} ל-x בקואורדינטות אלו. זוהי פונקציה רציפה ולכן היא מקבלת מקסימום ב-\Delta. יהי {\displaystyle v\in \Delta >} אם {\displaystyle L(v)=\rho } המקסימום הנ"ל, אז {\displaystyle (Av)\_{i}\geq \rho v\_{i}} לכל i.
נטען ש-v הוא וקטור עצמי ביחס לערך העצמי \rho:
נניח בשלילה כי {\displaystyle Av\neq \rho v}. לכן וקטור {\displaystyle w=Av-\rho v} הוא וקטור אי שלילי שאינו וקטור האפס. לכן הווקטור {\displaystyle Aw} הוא וקטור חיובי ואז יש {\displaystyle \epsilon >0} כך ש-{\displaystyle Aw>\epsilon Av}. כלומר נקבל ש-{\displaystyle A(Av)>(\rho +\epsilon )Av}. יהי {\displaystyle u={\tfrac {Av}{||Av||}}}. מקבלים ש-{\displaystyle u\in \Delta } מקיים {\displaystyle Au>(\rho +\epsilon )u} ולכן {\displaystyle L(u)>\rho +\epsilon } בסתירה למקסימליות של v. כמו כן v אי שלילי ולכן {\displaystyle Av=\rho v} חיובי ולכן v חיובי.
**טענה 2**: הרדיוס הספקטרלי של A הוא \rho.

**הוכחה:** יהי \mu  ערך עצמי של A עם וקטור עצמי מנורמל y. זאת אומרת: {\displaystyle Ay=\mu y}, או: לכל {\displaystyle i\in \{1,\dots ,d\}},

μ

y

i

=

∑

j

A

i
j

y

j

.

{\displaystyle \mu y\_{i}=\sum \_{j}{A\_{ij}y\_{j}}.}

{\displaystyle \mu y_{i}=\sum _{j}{A_{ij}y_{j}}.}
מאי-שוויון המשולש מתקבל ש-{\displaystyle |\mu ||y\_{i}|\leq \sum \_{j}|A\_{ij}y\_{j}|=\sum \_{j}A\_{ij}|y\_{j}|}. יהי {\displaystyle u=|y|} הווקטור שערכיו הם הערכים המוחלטים של y. נובע מכך כי {\displaystyle u\in \Delta } ומתקיים: {\displaystyle |\mu |\leq L(u)\leq \rho } וסיימנו.
**טענה 3:** הריבוי הגאומטרי של \rho הוא 1.

**הוכחה:** נניח בשלילה שיש וקטור u בלתי תלוי ב-v וקטור עצמי עבור \rho. בה"כ נניח שהוא ממשי (אחרת אפשר להסתכל על החלק הממשי והחלק המדומה בנפרד). הווקטור v הוא חיובי ולכן יש {\displaystyle \epsilon >0} כך שהווקטור {\displaystyle w=v-\epsilon u} הוא וקטור אי שלילי עם קואורדינטה אחת לפחות שמתאפסת. מצד שני, w איננו וקטור האפס כי {\displaystyle u,v} בלתי תלויים ליניארית. מצד שני w הוא וקטור עצמי אי שלילי ביחס לערך העצמי \rho. לכן, כמו בטענה 1, נובע שהוא וקטור חיובי, בסתירה להנחה.
**טענה 4:** הריבוי האלגברי של \rho הוא 1.

**הוכחה:** הרעיון הוא לקרב את A על ידי מטריצה ממשית B ששווה ל-\rho בקואורדינטה הראשונה ומתאפסת על שאר אברי העמודה והשורה הראשונות.
כמו בטענה 1 אפשר למצוא וקטור עצמי שמאלי חיובי {\displaystyle w^{T}} של הערך העצמי \rho. יהי U המרחב המאונך ל-w במכפלה הפנימית הסטנדרטית כלומר {\displaystyle U=\{u\in \mathbb {R} ^{d}|w^{T}u=0\}}
מקבלים שאם u\in U אז {\displaystyle w^{T}Au=w^{T}(\rho u)=\rho w^{T}u=0} ולכן {\displaystyle Au\in U}. קיבלנו אם כן ש-U מרחב אינוורינטי ביחס ל-A. נשים לב ש-{\displaystyle w^{T}v>0} כי שני הווקטורים העצמיים חיוביים. לכן {\displaystyle v\not \in U} וניתן להשלים אותו לבסיס של {\displaystyle {\mathcal {B}}=\{v,b\_{1},b\_{2}...b\_{d-1}\}} של {\displaystyle \mathbb {R} ^{d}}. יהי B המטריצה A ביחס לבסיס {\displaystyle {\mathcal {B}}} אז נקבל ש-B מהצורה

B
=

(

ρ

0

0

C

(
d
−
1
)
∗
(
d
−
1
)


)

{\displaystyle B={\begin{pmatrix}\rho &0\\0&C\_{(d-1)\*(d-1)}\end{pmatrix}}}

{\displaystyle B={\begin{pmatrix}\rho &0\\0&C_{(d-1)*(d-1)}\end{pmatrix}}}
כאשר המטריצה C היא מטריצה ממשית. כיוון שהמטריצות {\displaystyle A,B} דומות, יש להן את אותו ריבוי אלגברי וגאומטרי (ריבוי גאומטרי 1) לערך העצמי \rho.
הפולינום האופייני של A הוא {\displaystyle P\_{A}(t)=P\_{B}(t)=(t-\rho )P\_{C}(t)}. נניח בשלילה שהריבוי האלגברי הוא יותר מ-1. נקבל ש-\rho הוא ערך עצמי של המטריצה C עם וקטור עצמי {\displaystyle v\_{C}\in \mathbb {R} ^{(d-1)}}.
יהי {\displaystyle u=(0,v\_{C})^{T}\in \mathbb {R} ^{d}}, אז {\displaystyle u,e\_{1}} שני וקטורים עצמיים בלתי תלויים של B ולכן הריבוי הגאומטרי של B (ואז גם של A) הוא לפחות 2 בסתירה.
**טענה 5:** אם u הוא וקטור עצמי חיובי של A אז הוא כפולה חיוביות של v.

**הוכחה:** יהי \mu  הערך העצמי המתאים ל-u. מכיוון ש-u ו-A חיוביות נקבל ש-{\displaystyle 0<\mu \leq \rho }. עבור {\displaystyle \epsilon >0} קטן מספיק נקבל שהווקטור {\displaystyle w=v-\epsilon u} וקטור חיובי. עבור i מסוים נקבל ש-{\displaystyle (Aw)\_{i}=\rho v\_{i}-\epsilon \mu u\_{i}\geq \rho (v-\epsilon u)\_{i}=\rho w\_{i}}. כמו בטענה הראשונה נקבל ממקסימליות ש-\rho ערך עצמי של w ולכן גם של u. כעת מה שנדרש להוכיח נובע ישירות מטענה 3.
**טענה 6:** אם \mu  ערך עצמי של A השונה מ-\rho אז {\displaystyle |\mu |<\rho }.

**הוכחה:** נניח בשלילה ש-{\displaystyle |\mu |=\rho } ויהי y וקטור עצמי מנורמל של \mu  .יהי {\displaystyle u=|y|} הווקטור שערכיו הם הערכים המוחלטים של y. מקבלים:

(
A
u

)

i

=

∑

j

A

i
j

|

y

j

|

=

∑

j

|

A

i
j

y

j

|

≥

|

∑

j

A

i
j

y

j

|

=
ρ

u

i

{\displaystyle (Au)\_{i}=\sum \_{j}{A\_{ij}|y\_{j}|}=\sum \_{j}|{A\_{ij}y\_{j}|}\geq |\sum \_{j}{A\_{ij}y\_{j}}|=\rho u\_{i}}

{\displaystyle (Au)_{i}=\sum _{j}{A_{ij}|y_{j}|}=\sum _{j}|{A_{ij}y_{j}|}\geq |\sum _{j}{A_{ij}y_{j}}|=\rho u_{i}}
ממקסימליות u נקבל ש-\rho ערך עצמי המתאים לוקטור u ולכן האי שוויון לעיל הוא בעצם שוויון. לכן נקבל שכל האיברים {\displaystyle A\_{ij}y\_{j}} נמצאים על אותה הקרן היוצאת מ-0 במישור המרוכב. כיוון שאברי המטריצה A ממשיים וחיוביים נקבל שכל האיברים {\displaystyle y\_{j}} על אותה הקרן היוצאת מ-0 במישור המרוכב. לכן יש \theta  כך שהווקטור {\displaystyle z=e^{i\theta }y} הוא וקטור עצמי חיובי ומטענה 5 נקבל ש-{\displaystyle \rho =\mu } בסתירה.

הערות שוליים
------------

1. ↑  מבוססת על:  
Dr. Rachel Quinlan, Proof of the Frobenius-Perron Theorem