ורונסקיאן

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בתורת המשוואות הדיפרנציאליות הרגילות, הוורונסקיאן היא פונקציה שמסייעת לפתרון מערכות של משוואות ומשוואות מסדר גבוה. קרויה על שמו של יוזף מאריה הנה ורונסקי (פולנית: Józef Maria Hoene-Wroński), מתמטיקאי ופילוסוף פולני.

הגדרה פורמלית[עריכת קוד מקור | עריכה]

בהינתן קבוצה של \ n פונקציות, \ f_1,\dots,f_n, הוורונסקיאן שלהן מוגדר בתור הדטרמיננטה הבאה:


W(f_1, \ldots, f_n) =
\begin{vmatrix} 
f_1 & f_2 & \cdots & f_n \\
f_1' & f_2' & \cdots & f_n' \\
\vdots & \vdots & \ddots & \vdots \\
f_1^{(n-1)} & f_2^{(n-1)} & \cdots & f_n^{(n-1)}
\end{vmatrix}

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

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

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

עבור ורונסקיאן של מערכת משוואות \ \vec{Y'}=A\vec{Y} כאשר \ A=(a_{ij}) היא מטריצה מסדר \ n\times n מתקיימת זהות אבל: אם \ W(x) הוא הוורונסיקאן של קבוצת פתרונות של המערכת בנקודה \ x אז מתקיים \ W(x)=W(x_0)e^{\int_{x_0}^x\sum_{i=1}^n -a_{ii}(t)dt} מזהות זו ברור כי הוורונסיקאן מתאפס בכל נקודה או שאינו מתאפס כלל (שכן האקספוננט אינו יכול להתאפס, ולכן אם \ W(x)=0 אז בהכרח גם \ W(x_0)=0).

ראו גם[עריכת קוד מקור | עריכה]