זהות אבל

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

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

הגדרה

תהי משוואה דיפרנציאלית רגילה (מד"ר) הומוגנית לינארית מסדר שני

${\frac {d^{2}y}{dx^{2}}}+P(x){\frac {dy}{dx}}+Q(x)\,y=0$

על קטע $I$ המוכל בישר הממשי, כאשר המקדמים $P,Q$ הם פונקציות רציפות. זהות אבל קובעת שהוורונסקיאן $W$ של 2 הפתרונות של המד"ר מקיים את המשוואה

$W(x)=W(x_{0})\exp \left(-\int \limits _{x_{0}}^{x}P(\xi )d\xi \right),\quad x\in I$

לכל נקודה $x_{0}\in I$ .

בפרט, הוורונסקיאן הוא או פונקציית אפס או שונה מאפס בכל נקודה $x\in I$ , ואז 2 הפתרונות בלתי-תלויים לינארית.

פיתוח

יהיו $y_{1},y_{2}$ שני הפתרונות של המד"ר

$y''+P(x)\,y'+Q(x)\,y=0$

הוורונסקיאן של 2 הפונקציות מוגדר להיות

$W(x)=y_{1}(x)y_{2}'(x)-y_{1}'(x)y_{2}(x),\quad x\in I$

נגזור את הוורונסקיאן ונשתמש בכלל לייבניץ ($(fg)'=f'g+fg'$) ונקבל

${\begin{aligned}W'&=y_{1}'y_{2}'+y_{1}y_{2}''-y_{1}''y_{2}-y_{1}'y_{2}'\\&=y_{1}y_{2}''-y_{1}''y_{2}\end{aligned}}$

נבודד את $y''$ מהמד"ר

$y''=-(Py'+Qy)$

ונציב זאת בנגזרת של הוורונסקיאן

${\begin{aligned}W'&=-y_{1}(Py_{2}'+Qy_{2})+(Py_{1}'+Qy_{1})y_{2}\\&=-P(y_{1}y_{2}'-y_{1}'y_{2})\\&=-PW\end{aligned}}$

זוהי משוואה דיפרנציאלית לינארית מסדר ראשון (מכילה רק את הפונקציה ונגזרת ראשונה שלה). כעת, נותר להראות שזהות אבל אכן נותנת את הפתרון היחיד של משוואה זו, המקיימת את תנאי ההתחלה $W(x_{0})$ ב-$x_{0}$ . לשם כך נגדיר

$V(x)=W(x)\exp \left(\int \limits _{x_{0}}^{x}P(\xi )d\xi \right),\quad x\in I$

פונקציה $V$ מוגדרת היטב מכיוון ש-$P$ רציפה בקטע $I$ ולכן אינטגרבילית עבור כל תת-קטע.

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

$V'(x)={\bigl (}W'(x)+W(x)P(x){\bigr )}\exp \left(\int \limits _{x_{0}}^{x}P(\xi )d\xi \right)=0,\quad x\in I$

מאחר ו-$W$ מקיים את המד"ר $W'+PW=0$ . לכן $V$ פונקציה קבועה בקטע (אחרת נקבל סתירה למשפט הערך הממוצע של לגראנז'). מאחר ו-$V(x_{0})=W(x_{0})$ נובעת מכך זהות אבל על ידי פתירה עבור $W$ מההגדרת $V$ , כלומר:

$W(x)=W(x_{0})\exp \left(-\int \limits _{x_{0}}^{x}P(\xi )d\xi \right)$

הכללות

מד"ר מסדר n

עבור משוואה דיפרנציאלית רגילה לינארית מסדר $n$

$y^{(n)}+p_{1}(x)y^{(n-1)}+\cdots +p_{n-1}(x)y=0$

הוורונסקיאן נתון על ידי

$W(x)=W(x_{0})\exp \left(-\int \limits _{x_{0}}^{x}p_{1}(\xi )d\xi \right)$

מערכת n משוואות מסדר ראשון

עבור ורונסקיאן של מערכת משוואות

${\vec {Y}}'=A{\vec {Y}}$

כאשר $A=(a_{ij})$ היא מטריצה מסדר $n\times n$ מתקיימת זהות אבל: אם $W(x)$ הוא הוורונסיקאן של קבוצת פתרונות של המערכת בנקודה $x$ אז מתקיים

$W(x)=W(x_{0})\exp \left(\int \limits _{x_{0}}^{x}\sum \limits _{i=1}^{n}-a_{ii}(t)dt\right)$

מזהות זו ברור כי הוורונסיקאן מתאפס בכל נקודה או שאינו מתאפס כלל (שכן האקספוננט אינו יכול להתאפס, ולכן אם $W(x)=0$ אז בהכרח גם $W(x_{0})=0$).

לקריאה נוספת

• Abel, N. H., "Précis d'une théorie des fonctions elliptiques" J. Reine Angew. Math., 4 (1829) pp. 309–348.
• Boyce, W. E. and DiPrima, R. C. Elementary Differential Equations and Boundary Value Problems, 4th ed. New York: Wiley, 1986.
• Weisstein, Eric W., "Abel's Differential Equation Identity", From MathWorld--A Wolfram Web Resource.

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0