לפלסיאן – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ ←‏הגדרה: שינוי קטן, שייראה קצת יותר יפה.
שורה 7:
== הגדרה ==
 
אופרטור לפלס הוא אופרטור דיפרנציאלי מסדר שני ב[[מרחב אוקלידי]] ''n''-ממדי, המוגדר כ[[דיברגנץ]] (<math>\nabla</math>) של ה[[גרדיאנט]] (<math>\nabla f</math>). אם ''<math>\ f'' </math> היא פונקציה [[שדה המספרים הממשיים|ממשית]] [[נגזרת|גזירההגזירה]] פעמיים, אז הלפלסיאן של ''<math>\ f'' </math> מוגדר על ידי
 
:<math>\Delta f = \nabla^2 f = \nabla \cdot \nabla f </math>&nbsp;&nbsp;&nbsp;(1)
 
באופן שקול, הלפלסיאן של ''f'' הוא סכום כל ה[[נגזרת חלקית|נגזרות החלקיות]] השניות הבלתי מעורבות ב[[קואורדינטות קרטזיות|קואורדינטות הקרטזיות]] <math>\ x_i</math>:
 
:<math>\ \Delta f = \sum_{i=1}^n \frac {\partial^2 f}{\partial x^2_i}</math>&nbsp;&nbsp;&nbsp;(2)
 
כאופרטור דיפרנציאלי מסדר שני, אופרטור לפלס ממפה [[פונקציה חלקה|פונקציות-''C''<sup>k</sup>]] לפונקציות-''C''<sup>k−2</sup> עבור ''k''&nbsp;≥&nbsp;2. הביטויים לעיל מגדירים אופרטור Δ : ''C''<sup>k</sup>('''R'''<sup>n</sup>) → ''C''<sup>k−2</sup>('''R'''<sup>n</sup>)&lrm;, או באופן כללי יותר אופרטור Δ : ''C''<sup>k</sup>(Ω) → ''C''<sup>k−2</sup>(Ω)&lrm; לכל [[קבוצה פתוחה]] Ω.
<math>\ C^\left( k-2 \right) </math>
עבור
<math>\ k\ge 2 </math>.
הביטויים לעיל מגדירים אופרטור
<math>\ \triangle : C^k \left( \mathbb{R}^n \right) \rightarrow C^{k-2} \left( \mathbb{R}^n \right) </math>,
או באופן כללי יותר אופרטור
<math>\ \triangle : C^k \left( \Omega \right) \rightarrow C^{k-2} \left( \Omega \right) </math>
לכל [[קבוצה פתוחה]] <math>\ \Omega </math>.
 
הלפלסיאן של פונקציה הוא גם ה[[עקבה (אלגברה)|עקבה]] של [[מטריצת הסיאן]] של הפונקציה, הגדרה נוחה לשימוש ב[[אלגברה לינארית]] וב[[סטטיסטיקה]]: