פרק 6 - משוואת לפלאס: Difference between revisions

From EM Fields - TAU
Jump to navigation Jump to search
 
(13 intermediate revisions by the same user not shown)
Line 14: Line 14:
<br>
<br>
<math display="block">
<math display="block">
\frac{\partial\phi(r_{B,2})}{\partial n}_{r=r_{B,2}}=g(r_{B,2})
\frac{\partial\phi}{\partial n}_{r=r_{B,2}}=g(r_{B,2})
</math>
</math>


Line 121: Line 121:
\iiint\iiint \frac{\rho(r)\rho(r')}{|r-r'|} dV dV'</math>
\iiint\iiint \frac{\rho(r)\rho(r')}{|r-r'|} dV dV'</math>


=== משפט הערך הממוצע (איור 2) ===
=== משפט הערך הממוצע ===
משפט הערך הממוצע אומר שכל פתרון למשוואת לפלס בנקודה מסוימת שווה לממוצע ערכי הפתרון על כדור שהנקודה נמצאת במרכזו (איור 2).
[[File:Pic602.png|200px|thumb|left|איור 2]]
[[File:Pic602.png|200px|thumb|left|איור 2]]
<math display="block">\phi(r) =\frac{1}{4\pi a^2}
<math display="block">\phi(r) =\frac{1}{4\pi a^2}
\iint_{\text{sphere}} \phi(r') dS'</math>נוכיח:
\iint_{\text{sphere}} \phi(r') dS'</math>


<math display="block">\frac{1}{4\pi a^2}
את הפוטנציאל על שפת הכדור ניתן לרשום ע"י
\iint_{\text{sphere}} \phi(r') dS' = \frac{1}{4\pi a^2}
<math display="block">
\iint(\phi(r) + \int -\vec E \cdot dr'' \hat r) dS'=...
\phi(r')=\phi(r)+\left(-\int_r^{r'}\vec{E}\cdot\hat{R}dR\right)
</math><math display="block">...=
</math>
\frac{1}{4\pi a^2} [\phi(r) r\pi a^2 -
כאשר את האינטגרציה בחרנו לעשות בכיוון הרדיאלי. מאחר והשדה משמר, אנו רשאים לבחור את מסלול האינטגרציה כרצוננו.
\int dr''
כעת, נציב בחישוב הערך הממוצע
\underbrace{\iint_{\text{Sphere}} \vec E(e) \cdot \hat r dS''}_
 
{=0 \text{ propotional to the flux of the field}}
<math display="block">
] = \phi(r)</math>
\frac{1}{4\pi a^2}\iint_{\text{sphere}} \phi(r') dS' =
</math>
<math display="block">
=\frac{1}{4\pi a^2}\iint_{\text{sphere}}\left[ \phi(r)+\left(-\int_r^{r'}\vec{E}\cdot\hat{R}dR\right) \right]dS'=
</math>
נחליף את סדר האינטגרציה
<math display="block">=
\phi(r) - \int_r^{r'}dR\left[\underbrace{\iint_{\text{Sphere}} \vec E \cdot \hat{R} dS'}_{=0 \text{ propotional to the flux of the field}}\right]
= \phi(r)</math>


=== ייצוג נומרי מקורב למשוואת לפלאס ===
=== ייצוג נומרי מקורב למשוואת לפלאס ===
<math display="block">\phi_{xx} + \phi_{yy} + \phi_{zz}=0</math><math display="block">\begin{cases}  
משוואת לפלס בקורדינטות קרטזיות היא
\phi(x+\triangle x,y,z)=\phi(x,y,z)+ \triangle x \cdot \frac{\partial \phi}{\partial x}+
<math display="block">\phi_{xx} + \phi_{yy} + \phi_{zz}=0
\triangle x ^2 1/2 (\frac{\partial \phi}{\partial x})^2 +... \\
</math>
\phi(x-\triangle x,y,z)=\phi(x,y,z)- \triangle x \cdot \frac{\partial \phi}{\partial x}+
אם נסתכל על נקודה ספציפית <math> (x,y,z) </math>, נוכל לרשום את ערכי הפוטנציאל בסביבתה ע"י פיתוח של הפוטנציאל לטור טיילור
\triangle x ^2 1/2 (\frac{\partial \phi}{\partial x})^2 +... \\
<br>
\phi(x,y+\triangle y,z)=\phi(x,y,z)+ \triangle y \cdot \frac{\partial \phi}{\partial y}+
<math display="block">
\triangle y ^2 1/2 (\frac{\partial \phi}{\partial y})^2+...\\
\begin{cases}  
y-\triangle y... \\ z+\triangle z... \\ z-\triangle z ...
\phi(x+\Delta x,y,z)=\phi(x,y,z)+ \Delta x\frac{\partial \phi}{\partial x}+\frac{1}{2}\Delta x ^2\frac{\partial^2 \phi}{\partial x^2} +... \\
\end{cases}</math>נניח ש: <math>\triangle x = \triangle y = \triangle z \equiv \triangle</math>
\phi(x+\Delta x,y,z)=\phi(x,y,z)- \Delta x\frac{\partial \phi}{\partial x}+\frac{1}{2}\Delta x ^2\frac{\partial^2 \phi}{\partial x^2} +... \\
\phi(x,y+\Delta y,z)=\phi(x,y,z)+ \Delta y\frac{\partial \phi}{\partial y}+\frac{1}{2}\Delta y ^2\frac{\partial^2 \phi}{\partial y^2} +... \\
\phi(x,y-\Delta y,z)=\phi(x,y,z)- \Delta y\frac{\partial \phi}{\partial y}+\frac{1}{2}\Delta y ^2\frac{\partial^2 \phi}{\partial y^2} +... \\
\phi(x,y,z+\Delta z)=\phi(x,y,z)+ \Delta z\frac{\partial \phi}{\partial z}+\frac{1}{2}\Delta z ^2\frac{\partial^2 \phi}{\partial z^2} +... \\
\phi(x,y,z-\Delta z)=\phi(x,y,z)- \Delta z\frac{\partial \phi}{\partial z}+\frac{1}{2}\Delta z ^2\frac{\partial^2 \phi}{\partial z^2} +...  
\end{cases}
</math>
נניח ש <math>\Delta x = \Delta y = \Delta z \equiv \Delta</math>. בנוסף נניח ש <math>\Delta</math> הוא ממש קטן, כך שקירוב סדר שני הוא מספיק.
נסכום את כל המשוואות:


בנוסף נניח ש <math>\triangle</math> הוא ממש קטן, כך שקירוב סדר שני הוא מספיק.
<math display="block">
 
\phi(x+\Delta) + \phi(x-\Delta) + \phi(y+\Delta) + \phi(y-\Delta)+\phi(z+\Delta)+\phi(z-\Delta) =  
נסכם:
6 \phi(x,y,z) + \Delta^2 \underbrace{\left(\frac{\partial^2 \phi}{\partial x^2} +
 
\frac{\partial^2 \phi}{\partial y^2} + \frac{\partial^2 \phi}{\partial z^2}\right)}_{=0}
<math display="block">\phi(x+\triangle) + \phi(x-\triangle) + \phi(y+\triangle) + \phi(y-\triangle)
</math>
+
נחלק ב - 6 ונקבל
\phi(z+\triangle)+\phi(z-\triangle) =  
<math display="block">\phi(x,y,z) = \frac{1}{6} [\phi(x+\Delta) + \phi(x-\Delta) + \phi(y+\Delta) + \phi(y-\Delta)+\phi(z+\Delta)+\phi(z-\Delta)]
6 \phi(x,y,z) + \triangle^2 \underbrace{(\frac{\partial^2 \phi}{\partial x^2} +
</math>
\frac{\partial^2 \phi}{\partial y^2} + \frac{\partial^2 \phi}{\partial z^2})}_{=0}</math>נחלק ב - 6 ונקבל:
כלומר,  
 
<math>\phi
<math display="block">\phi(x,y,z) = 1/6 [\phi(x+\triangle) + \phi(x-\triangle) + \phi(y+\triangle) + \phi(y-\triangle)
</math> בנקודה x,y,z שווה לממוצע של הערכים בנקודת הסריג שמקיפות את הנקודה.
+
\phi(z+\triangle)+\phi(z-\triangle)]</math>כלומר, <math>\phi</math> בנקודה x,y,z שווה לממוצע של הערכים בנקודת הסריג שמקיפות את הנקודה.


== פתרון בהפרדת משתנים ==
== פתרון בהפרדת משתנים ==
[[File:Pic603.png|500px|thumb|left|איור 3 - פתרון בהפרדת משתנים בקורדינטות שונות]]
הפרדת משתנים היא טכניקת לפתרון משוואות דיפרנציאליות חלקיות כאשר פותרים בתחום ספרבילי - תחום שאת כל השפות שלו ניתן לתאר כמשטחים שווי קורדינטה. אפשרויות שונות לצורת התחום במערכות קורדינטות שונות ניתן לראות באיור 3.
טכניקת פתרון כאשר פותרים לפלס בתחום ספרבילי - תחום שאת כל השפות שלו ניתן לתאר כמשטחים שווי קורדינטה.
<gallery widths=800px heights=350px class="center">
File:Pic603.png|איור 3 - פתרון בהפרדת משתנים בקורדינטות שונות
</gallery>
== הפרדת משתנים בקורדינטות קרטזיות ==
משוואת לפלאס בקורדינטות אלו:<math display="block">\phi_{xx} + \phi_{yy}+\phi_{zz}=0</math>
פתרון בהפרדת משתנים הוא פתרון המורכב ממכפלה של פונקציות, שכל אחת מהן תלויה במשתנה אחד בלבד, מהצורה


=== קורדינטות קרטזיות ===
<math display="block">
משוואת לפלאס בקורדינטות אלו:<math display="block">\phi_{xx} + \phi_{yy}+\phi_{zz}=0</math>פתרון בהפרדת משתנים:
\Phi = X(x) Y(y) Z(z)
 
</math>
<math display="block">\Phi = X(x) Y(y) Z(z)</math>נציב בלפלאס:
נציב בלפלאס:
<math display="block">XX''YZ+XY''Z+XYZ''=0</math>נחלק ב XYZ, ונקבל:
<math display="block">X''YZ+XY''Z+XYZ''=0</math>
נחלק ב <math> XYZ </math>, ונקבל:


<math display="block">\underbrace{\frac{X''}{X}}_{=-k_x^2 \text{ depends only on x}} +
<math display="block">\underbrace{\frac{X''}{X}}_{=-k_x^2 \text{ depends only on x}} +
\underbrace{\frac{Y''}{Y}}_{=-k_y^2 \text{ depends only on y}} +
\underbrace{\frac{Y''}{Y}}_{=-k_y^2 \text{ depends only on y}} +
\underbrace{\frac{Z''}{Z}}_{=-k_z^2 \text{ depends only on z}} =0</math><math display="block">\Rightarrow
\underbrace{\frac{Z''}{Z}}_{=-k_z^2 \text{ depends only on z}} =0</math>
k_x^2 + k_y^2 + k_z^2=0</math>מכאן, כל אחד משלושת המחברים חייב להיות פונקציה קבועה שאינה תלויה בקורדינטות.
מאחר וכל אחד מהמחוברים תלוי במשתנה יחיד, ושונה מהמחוברים האחרים, נובה שכל אחד משלושת המחברים חייב להיות פונקציה קבועה שאינה תלויה בקורדינטות. הקבועים חייבים לקיים את הקשר
<math display="block">\Rightarrow
k_x^2 + k_y^2 + k_z^2=0</math>
מכאן, הבעיה "מופרדת" ל-3 משוואות דיפרנציאליות רגילות:


הבעיה "מופרדת" ל-3 משוואות דיפרנציאליות רגילות:
<math display="block">(1) \frac{X''}{X}=-k_x^2,\;\;(2) \frac{Y''}{Y}=-k_y^2\;\;(3) \frac{Z''}{Z}=-k_z^2</math>
 
<math display="block">(1) \frac{X''}{X}=-k_x^2,\text{ }
(2) \frac{Y''}{Y}=-k_y^2 \text{ }
(3) \frac{Z''}{Z}=-k_z^2</math>


* הפיתרון הטריוויאלי:
* הפיתרון הטריוויאלי:
Line 204: Line 224:
באופן כללי, תמיד ניתן לרשום:
באופן כללי, תמיד ניתן לרשום:


<math display="block">\phi = (A\cos(k_x x)+B\sin(k_x x))\cdot (C\cos(k_y y)+D\sin(k_y y))
<math display="block">
\cdot (E\cos(k_z z)+F\sin(k_z z))</math>מכיוון ש <math>k_x^2+k_y^2+k_z^2=0</math> , חלקם צריכים להיות מדומים.
\phi = (A\cos(k_x x)+B\sin(k_x x))\cdot (C\cos(k_y y)+D\sin(k_y y))
\cdot (E\cos(k_z z)+F\sin(k_z z))
</math>
מכיוון ש <math>k_x^2+k_y^2+k_z^2=0</math> , חלק מהקבועים חייבים להיות מדומים.


אופציה נוספת: לכתוב חלק מהפתקונות כפונקציות טריגונומטריות וחלק כאקספוננציאליות, כך ש:
אופציה נוספת: לכתוב חלק מהפתרונות כפונקציות טריגונומטריות וחלק כאקספוננציאליות, כך ש:


<math display="block">\underbrace{\sum_i k_i}_{\text{Trigonometric}} =  
<math display="block">\underbrace{\sum_m k_m^2}_{\text{Trigonometric}} =  
\underbrace{\sum_i \tilde k_i}_{\text{Exponential}}</math>
\underbrace{\sum_n \tilde k_n^2}_{\text{Exponential}}</math>


==== קורדינטות קרטזיות - דוגמא 1 (איור 4) ====
==== קורדינטות קרטזיות - דוגמא 1 ====
[[File:Pic604.png|200px|thumb|left|איור 4]]
[[File:Pic604.png|200px|thumb|left|איור 4]]
 
באיור 4 נתון קבל לוחות. מתקיים -
* הפוטנציאל בין לוחות הקבל מקיים <math>\nabla^2\phi = 0</math>
* הפוטנציאל בין לוחות הקבל מקיים <math>\nabla^2\phi = 0</math>
* התחום ספירבילי
* התחום ספירבילי
Line 225: Line 248:
<math display="block">\phi(z=0)=F=0,\phi(z=d)=Ed= V </math><math display="block">\Rightarrow \phi=\frac{V}{d}\cdot z \Rightarrow\vec E = -\nabla \phi =-\frac{V}{d} \hat z</math>
<math display="block">\phi(z=0)=F=0,\phi(z=d)=Ed= V </math><math display="block">\Rightarrow \phi=\frac{V}{d}\cdot z \Rightarrow\vec E = -\nabla \phi =-\frac{V}{d} \hat z</math>


==== קורדינטות קרטזיות - דוגמא 2 (איור 5) ====
==== קורדינטות קרטזיות - דוגמא 2 ====
[[File:Pic605.png|200px|thumb|left|איור 5]]
[[File:Pic605.png|200px|thumb|left|איור 5]]


* מה הפוטנציאל בתוך התחום
באיור 5 נתון המבנה הבא - חריץ דו-ממדי (אינסופי בכיוון הניצב לדף), ומעליו קובעים את הפוטנציאל על השפה העליונה, <math> \phi(y=a)=V(x) </math>.
* המבנה אינסופי בכיוון z ← <math>k_z=0</math>.
נרצה לחשב את הפוטנציאל בתוך החריץ.


הפוטנציאל פותר את משוואת לפלאס בתחום:
מאחר והבעיה דו-ממדית, נצפה שהפוטנציאל כלל לא יהיה תלוי בקורדינטה <math> z </math>, ולכן <math> k_z=0 </math>.
המשוואה שהפוטנציאל מקיים בתוך החריץ היא משוואת לפלאס, ולכן אנו יכולים לבחור את הפתרון מתוך "קטלוג" הפתרונות שפיתחנו לבעיות קרטזיות.


<math display="block">\begin{cases}  
<math display="block">\begin{cases}  
Line 237: Line 261:
\text{Static problem: } \nabla \times \vec E = \mu_0 \frac{\partial H}{\partial t}=0  
\text{Static problem: } \nabla \times \vec E = \mu_0 \frac{\partial H}{\partial t}=0  
\Rightarrow \vec E = -\nabla \phi
\Rightarrow \vec E = -\nabla \phi
\end{cases}</math>תנאי שפה:
\end{cases}</math>


תנאי שפה:
<math display="block">\begin{cases}  
<math display="block">\begin{cases}  
\phi(x=0)=\phi(x=d)=0 \\
\phi(x=0)=\phi(x=d)=0 \\
Line 246: Line 271:
|k_x|=|k_y|\equiv k</math>ולכן נכתוב את הפיתרון כך:
|k_x|=|k_y|\equiv k</math>ולכן נכתוב את הפיתרון כך:


<math display="block">\phi = (A\sin(k x) + B\cos(k x))\cdot (C\sinh(k y) + D\cosh(k y))</math>נציב בתנאי שפה:
<math display="block">\phi = (A\sin(k x) + B\cos(k x))\cdot (C\sinh(k y) + D\cosh(k y))</math>
כאשר האינטואיציה לבחירת צורה זו נובעת מהעובדה שהפוטנציאל בבעיה זו מתאפס בשתי קורדינטות <math> X </math> שונות, ולכן בכיוון זה חייב להיות פתרון טריגונומטרי. נציב בתנאי שפה:


<math display="block">\begin{cases}  
<math display="block">\begin{cases}  
Line 252: Line 278:
\phi(x=d)=A\sin(k d)\cdot f(y)=0 \Rightarrow \sin(kd)=0\Rightarrow k=\frac{\pi n}{d} , n\in\N\\  
\phi(x=d)=A\sin(k d)\cdot f(y)=0 \Rightarrow \sin(kd)=0\Rightarrow k=\frac{\pi n}{d} , n\in\N\\  
\phi(y=0)=g(x)\cdot D=0 \Rightarrow D=0
\phi(y=0)=g(x)\cdot D=0 \Rightarrow D=0
\end{cases}</math>עד כה, את הפיתרון ניתן לייצג באופן הבא:
\end{cases}
</math>
עד כה, את הפיתרון ניתן לייצג באופן הבא:


<math display="block">\phi = \sum_n \tilde A_n \sin(\frac{\pi n}{d}x)  
<math display="block">
\phi = \sum_n \tilde A_n \sin(\frac{\pi n}{d}x)  
\underbrace{\sinh(\frac{\pi n a}{d})}_{\text{Constant}} =V(x)
\underbrace{\sinh(\frac{\pi n a}{d})}_{\text{Constant}} =V(x)
</math>ניתן לכתוב לפיכך:
</math>
ניתן לכתוב לפיכך:


<math display="block">\phi = \sum_n \tilde B_n \sin(\frac{\pi n}{d} x), \tilde B_n\equiv \tilde A_n
<math display="block">\phi = \sum_n \tilde B_n \sin(\frac{\pi n}{d} x), \tilde B_n\equiv \tilde A_n
\sinh(\frac{\pi n a}{d})</math>הערות:
\sinh(\frac{\pi n a}{d})</math>
הערות:


# הטור הוא מייצג של פיתוח של פונקציות מחזוריות. נשאלת השאלה - אז איזו פונקציה אנחנו מפתחים לטור?
# הטור הוא מייצג של פיתוח של פונקציות מחזוריות. נשאלת השאלה - אז איזו פונקציה אנחנו מפתחים לטור?
# מה המחזור של הפונקציה שמיוצגת על ידי הטור הנתון?
# מה המחזור של הפונקציה שמיוצגת על ידי הטור הנתון?


המחזור הכי גדול הוא של האיבר הראשון <math>\sin(\frac{\pi x}{d})</math>, שהמחזור שלו הוא 2d. נסיק כי המחזור של הפונקציה הוא 2d.
המחזור הכי גדול הוא של האיבר הראשון <math>\sin(\frac{\pi x}{d})</math>, שהמחזור שלו הוא <math> 2d </math>. נסיק כי המחזור של הפונקציה הוא <math> 2d </math>.


לפונקציה המחזורית המלאה נקרא <math>\tilde V(x)</math>.
לפונקציה המחזורית המלאה נקרא <math>\tilde V(x)</math>.


בתחום <math>0<x<d</math> מתקיים: <math>\tilde V(x) = V(x)</math>.
בתחום <math>0<x<d</math> מתקיים: <math>\tilde V(x) = V(x)</math>. מאחר ומדובר בפיתוח לטור סינוסים נרחיב את הפונקציה <math> V(x) </math> הנתונה הרחבה אי-זוגית כדי לקבל את <math> \tilde{V}(x) </math>, למחזור של <math> 2d </math>.


עכשיו רק נותר למצוא את המקדמים בפיתוח של <math>\tilde V(x)</math> לטור הסינוסים:
עכשיו רק נותר למצוא את המקדמים בפיתוח של <math>\tilde V(x)</math> לטור הסינוסים:


<math display="block">\tilde V(x) = \sum_n B_n \sin(\frac{\pi n}{d} x) \text{ (*)}</math>נשתמש בפונקציה <math>V(x)=V_0</math>:
<math display="block">\tilde V(x) = \sum_n B_n \sin(\frac{\pi n}{d} x) \text{ (*)}</math>
נשתמש בפונקציה <math>V(x)=V_0</math>:


נכפול את הביטוי (*) ב <math>\int_{-d}^d \sin(\frac{\pi}{d} mx) dx</math>:
נכפול את הביטוי (*) ב <math>\int_{-d}^d \sin(\frac{\pi}{d} mx) dx</math>:
Line 281: Line 313:
<math display="block">\tilde B_m \int_{-d}^d \sin^2(mx) \cdot \frac{\pi}{d} dx =
<math display="block">\tilde B_m \int_{-d}^d \sin^2(mx) \cdot \frac{\pi}{d} dx =
2\int^d_0 V_0 \sin(\frac{\pi}{d} mx) dx</math>נקבל:
2\int^d_0 V_0 \sin(\frac{\pi}{d} mx) dx</math>נקבל:
[[File:Pic606.png|200px|thumb|left|איור 6]]
 
<math display="block">\tilde B_m \cdot d =
<math display="block">\tilde B_m \cdot d =
2\int_0^d V_0 \sin(mx \cdot \frac{\pi}{d})  dx</math><math display="block">\Rightarrow \tilde B_m =  
2\int_0^d V_0 \sin\left(mx \cdot \frac{\pi}{d}\right)  dx</math><math display="block">\Rightarrow \tilde B_m =  
\frac{4 V_0 d}{\pi m} \cdot  
\frac{4 V_0 d}{\pi m} \cdot  
\begin{cases} 0 , & \text{if }m\text{ is even} \\ 1, & \text{if }m\text{ is odd} \end{cases}</math><math display="block">\Rightarrow
\begin{cases} 0 , & \text{if }m\text{ is even} \\ 1, & \text{if }m\text{ is odd} \end{cases}
</math>
<math display="block">\Rightarrow
\phi = \sum_n \frac{8V_0}{(2n-1)\pi} \cdot  
\phi = \sum_n \frac{8V_0}{(2n-1)\pi} \cdot  
\frac{1}{\sinh(\frac{\pi a}{d}\cdot (2n-1))}\cdot
\frac{1}{\sinh\left[\frac{\pi a}{d}\cdot (2n-1)\right]}\cdot
\sin(\frac{(2n-1)\cdot \pi x}{d})\cdot
\sin\left(\frac{(2n-1)\cdot \pi x}{d}\right)\cdot
\sinh(\frac{(2n-1)\pi}{d}y)</math><math display="block">\Rightarrow
\sinh\left[\frac{(2n-1)\pi}{d}y\right]
</math>
<math display="block">\Rightarrow
\vec E = -\nabla \phi =  
\vec E = -\nabla \phi =  
\sum_n \frac{-8V_0}{d \sinh(\frac{(2n-1)\pi a}{d})}[
\sum_n \frac{-8V_0}{d \sinh(\frac{(2n-1)\pi a}{d})}\left[
\cos(\frac{(2n-1)\pi x}{d} )\cdot \sinh(\frac{(2n-1)\pi y}{d}) \hat x +
\cos\left(\frac{(2n-1)\pi x}{d} \right)\cdot \sinh\left[\frac{(2n-1)\pi y}{d}\right] \hat x +
\sin(\frac{(2n-1)\pi x}{d} )\cdot \cosh(\frac{(2n-1)\pi y}{d}) \hat y
\sin\left(\frac{(2n-1)\pi x}{d} \right)\cdot \cosh\left[\frac{(2n-1)\pi y}{d}\right] \hat y
]</math>
\right]
[[File:Pic607.png|200px|thumb|left|איור 7 - תרשים שדה]]
</math>
<gallery widths=900px heights=450px class="center">
File:Pic607.png| איור 7 - תרשים שדה (אדום) וקווים שווי פוטנציאל (שחור)
</gallery>


'''מה הקיבול?'''
'''מה הקיבול?'''
Line 315: Line 354:


[[File:Pic609.png|200px|thumb|left|איור 9 - גרף מקורב לקיבול]]
[[File:Pic609.png|200px|thumb|left|איור 9 - גרף מקורב לקיבול]]
</div>

Latest revision as of 09:43, 20 February 2022

בהרצאות הקודמות ראינו את החשיבות של פתרון הבעיה הסטטית כבסיס לכל בעית EQS.

הגדרת הבעיה[edit | edit source]

איור 1

את הפיתרון הפרטי למשוואת פואסון אנחנו כבר יודעים לחשב. נביט בתחום כלשהו 𝒟, בו קיימים מטענים שצפיפותם ρ (איור 1). תנאי השפה יכולים להיות להיות באופן כללי נתונים כתנאי שפה דיריכלה על חלק מהשפה, ותנאי שפה נוימן על החלק האחר, ובלבד שמוגדרים על פני כל השפה. ולכן, התאור המלא של הבעיה נתון על ידי משוואות פואסון, ותנאי השפה שהיא צריכה לקיים. באופן כללי, תנאי השפה יכול להיות כזה שעל חלק מהשפה (נכנה את הנקודות האלו rB,1, קו שחור באיור 1) נתון תנאי שפה דיריכלה, ועל חלקה (נכנה אותן rB,2, קו צהוב באיור 1) תנאי נוימן. 2ϕ=ρϵ0
ϕ(rB,1)=f(rB,1)
ϕnr=rB,2=g(rB,2)

כפי שכבר ראינו (לדוגמא בשיטת השיקופים), את הפתרון ניתן לפרק לסכום של פתרון פרטי (הנובע מפילוג המטען הנתון, אך לאו דווקא מקיים את תנאי השפה הדרושים) אותו ניתן לקבל באמצעות סופרפוזיציה, ופתרון הומוגני (פתרון ללא מקורות). ϕ=ϕp+ϕh
כאשר הפתרון ההומוגני מקיים את המשוואה ללא המקורות - משוואת לפלאס 2ϕh=0.

תכונות הפתרון[edit | edit source]

עקרון המינימום / מקסימום[edit | edit source]

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

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

En^dS=Qin

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

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

H¯¯=(ϕxxϕxyϕxzϕyxϕyyϕyzϕzxϕzyϕzz)
ולהאסיאן זה צריכים להיות ערכים עצמיים שהם כולם חיוביים (נקודת מינימום) או כולם שליליים (נקודת מקסימום):

iλi=tr(H¯¯)=2ϕ2x+2ϕ2y+2ϕ2z=Laplace0ולכן לא יכולות להיות נקודות קיצון.

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


יחידות הפתרון (פואסון)[edit | edit source]

נניח בשלילה שיש 2 פתרונות לבעיה ϕ1, ϕ2. נגדיר:

ϕ3ϕ2ϕ1 ולכן:

2ϕ3=2ϕ22ϕ1=ρϵ0(ρϵ0)=0 מה לגבי תנאי שפה?

{ϕ3(rB,1)=ϕ2(rB,1)ϕ1(rB,1)=0ϕ3n|rB,2=...=0 המטרה: להראות ש E3=ϕ3=0, ומכאן ינבע ש E1=E2.

אם נצליח להראות שהאנרגיה האגורה ב E3 מתאפסת נוכל להסיק ש-E3 הוא אפס זהותית בכל התחום. האנרגיה החשמלית האגורה בתחום היא:

uE=Dϵ02|E3|2dV

נרצה לקשר את הביטוי ל uE לערכי ϕ3 או E3 על השפה, על מנת להעזר בתנאי השפה הנתונים לנו.

נשתמש בזהות הוקטורית: (ψF)=ψ(F)+ψF ונקבל:

(ϕ3E3)=ϕ3(E3)=ρ3ϵ0=0+ϕ3E3E3|E3|2 כעת נציב זאת בביטוי לאנרגיה האגורה Dϵ02|E3|2=Dϵ02((ϕ3E3))dV=ϵ02S=Dϕ3E3n^dS בנקודה rB,1 מתקיים ϕ3=0

בנקודה rB,2 מתקיים E3n^=0

ולכן האינטגרנד מתאפס בכל מקום על השפה:

ϵ02|E3|2dV=0E3|in all D=0 בעזרת זהות זו ניתן גם לקשור את האנרגיה האגורה לפוטנציאל ולפילוג המטען אם הוא ידוע. נניח 𝒟 אינסופי, ואנו יודעים את פילוג המטען בכל מקום, והוא מוגבל לאזור סופי במרחב:

All spaceϵ02|E|2=ϵ02ϕ(E)ρϵ0ϵ02(ϕ3E3)ממשפט הדיברגנץ נקבל:

ϵ02|E|2dV=ϵ02ϕρϵ0ϵ02𝒟ϕ3E3dr0 as Vולכן:

ϵ02|E|2dV=12ρdV14πϵ0ρ|rr|dV
uE=1214πϵ0ρ(r)ρ(r)|rr|dVdV

משפט הערך הממוצע[edit | edit source]

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

איור 2

ϕ(r)=14πa2sphereϕ(r)dS

את הפוטנציאל על שפת הכדור ניתן לרשום ע"י ϕ(r)=ϕ(r)+(rrER^dR) כאשר את האינטגרציה בחרנו לעשות בכיוון הרדיאלי. מאחר והשדה משמר, אנו רשאים לבחור את מסלול האינטגרציה כרצוננו. כעת, נציב בחישוב הערך הממוצע

14πa2sphereϕ(r)dS= =14πa2sphere[ϕ(r)+(rrER^dR)]dS= נחליף את סדר האינטגרציה =ϕ(r)rrdR[SphereER^dS=0 propotional to the flux of the field]=ϕ(r)

ייצוג נומרי מקורב למשוואת לפלאס[edit | edit source]

משוואת לפלס בקורדינטות קרטזיות היא ϕxx+ϕyy+ϕzz=0 אם נסתכל על נקודה ספציפית (x,y,z), נוכל לרשום את ערכי הפוטנציאל בסביבתה ע"י פיתוח של הפוטנציאל לטור טיילור
{ϕ(x+Δx,y,z)=ϕ(x,y,z)+Δxϕx+12Δx22ϕx2+...ϕ(x+Δx,y,z)=ϕ(x,y,z)Δxϕx+12Δx22ϕx2+...ϕ(x,y+Δy,z)=ϕ(x,y,z)+Δyϕy+12Δy22ϕy2+...ϕ(x,yΔy,z)=ϕ(x,y,z)Δyϕy+12Δy22ϕy2+...ϕ(x,y,z+Δz)=ϕ(x,y,z)+Δzϕz+12Δz22ϕz2+...ϕ(x,y,zΔz)=ϕ(x,y,z)Δzϕz+12Δz22ϕz2+... נניח ש Δx=Δy=ΔzΔ. בנוסף נניח ש Δ הוא ממש קטן, כך שקירוב סדר שני הוא מספיק. נסכום את כל המשוואות:

ϕ(x+Δ)+ϕ(xΔ)+ϕ(y+Δ)+ϕ(yΔ)+ϕ(z+Δ)+ϕ(zΔ)=6ϕ(x,y,z)+Δ2(2ϕx2+2ϕy2+2ϕz2)=0 נחלק ב - 6 ונקבל ϕ(x,y,z)=16[ϕ(x+Δ)+ϕ(xΔ)+ϕ(y+Δ)+ϕ(yΔ)+ϕ(z+Δ)+ϕ(zΔ)] כלומר, ϕ בנקודה x,y,z שווה לממוצע של הערכים בנקודת הסריג שמקיפות את הנקודה.

פתרון בהפרדת משתנים[edit | edit source]

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

הפרדת משתנים בקורדינטות קרטזיות[edit | edit source]

משוואת לפלאס בקורדינטות אלו:ϕxx+ϕyy+ϕzz=0 פתרון בהפרדת משתנים הוא פתרון המורכב ממכפלה של פונקציות, שכל אחת מהן תלויה במשתנה אחד בלבד, מהצורה

Φ=X(x)Y(y)Z(z) נציב בלפלאס: XYZ+XYZ+XYZ=0 נחלק ב XYZ, ונקבל:

XX=kx2 depends only on x+YY=ky2 depends only on y+ZZ=kz2 depends only on z=0 מאחר וכל אחד מהמחוברים תלוי במשתנה יחיד, ושונה מהמחוברים האחרים, נובה שכל אחד משלושת המחברים חייב להיות פונקציה קבועה שאינה תלויה בקורדינטות. הקבועים חייבים לקיים את הקשר kx2+ky2+kz2=0 מכאן, הבעיה "מופרדת" ל-3 משוואות דיפרנציאליות רגילות:

(1)XX=kx2,(2)YY=ky2(3)ZZ=kz2

  • הפיתרון הטריוויאלי:

kx=ky=kz=0X=0,Y=0,Z=0ϕ=(Ax+B)(Cy+D)(Ez+F)

  • במקרה הכללי:

XX=kx2X+kx2X=0נחלק לשני מקרים:

kx2>0 kx2<0
X=Asin(kxx)+Bcos(kxx) X=Aek~xx+Bek~xx

כאשר kxik~x.

באופן כללי, תמיד ניתן לרשום:

ϕ=(Acos(kxx)+Bsin(kxx))(Ccos(kyy)+Dsin(kyy))(Ecos(kzz)+Fsin(kzz)) מכיוון ש kx2+ky2+kz2=0 , חלק מהקבועים חייבים להיות מדומים.

אופציה נוספת: לכתוב חלק מהפתרונות כפונקציות טריגונומטריות וחלק כאקספוננציאליות, כך ש:

mkm2Trigonometric=nk~n2Exponential

קורדינטות קרטזיות - דוגמא 1[edit | edit source]

איור 4

באיור 4 נתון קבל לוחות. מתקיים -

  • הפוטנציאל בין לוחות הקבל מקיים 2ϕ=0
  • התחום ספירבילי
  • תנאי שפה: ϕ(z=0)=0,ϕ(z=d)=V

מאחר וערך הפוטנציאל קבוע על משטחים שווי z:

ϕ=(Ez+F)(Ax+B)(Cy+D)נציב תנאי שפה:

ϕ(z=0)=F=0,ϕ(z=d)=Ed=Vϕ=VdzE=ϕ=Vdz^

קורדינטות קרטזיות - דוגמא 2[edit | edit source]

איור 5

באיור 5 נתון המבנה הבא - חריץ דו-ממדי (אינסופי בכיוון הניצב לדף), ומעליו קובעים את הפוטנציאל על השפה העליונה, ϕ(y=a)=V(x). נרצה לחשב את הפוטנציאל בתוך החריץ.

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

{No charge: E=ρϵ0=0Static problem: ×E=μ0Ht=0E=ϕ

תנאי שפה: {ϕ(x=0)=ϕ(x=d)=0ϕ(y=0)=0ϕ(y=a)=V(x)kx2+ky2=0|kx|=|ky|kולכן נכתוב את הפיתרון כך:

ϕ=(Asin(kx)+Bcos(kx))(Csinh(ky)+Dcosh(ky)) כאשר האינטואיציה לבחירת צורה זו נובעת מהעובדה שהפוטנציאל בבעיה זו מתאפס בשתי קורדינטות X שונות, ולכן בכיוון זה חייב להיות פתרון טריגונומטרי. נציב בתנאי שפה:

{ϕ(x=0)=Bf(y)=0B=0ϕ(x=d)=Asin(kd)f(y)=0sin(kd)=0k=πnd,nϕ(y=0)=g(x)D=0D=0 עד כה, את הפיתרון ניתן לייצג באופן הבא:

ϕ=nA~nsin(πndx)sinh(πnad)Constant=V(x) ניתן לכתוב לפיכך:

ϕ=nB~nsin(πndx),B~nA~nsinh(πnad) הערות:

  1. הטור הוא מייצג של פיתוח של פונקציות מחזוריות. נשאלת השאלה - אז איזו פונקציה אנחנו מפתחים לטור?
  2. מה המחזור של הפונקציה שמיוצגת על ידי הטור הנתון?

המחזור הכי גדול הוא של האיבר הראשון sin(πxd), שהמחזור שלו הוא 2d. נסיק כי המחזור של הפונקציה הוא 2d.

לפונקציה המחזורית המלאה נקרא V~(x).

בתחום 0<x<d מתקיים: V~(x)=V(x). מאחר ומדובר בפיתוח לטור סינוסים נרחיב את הפונקציה V(x) הנתונה הרחבה אי-זוגית כדי לקבל את V~(x), למחזור של 2d.

עכשיו רק נותר למצוא את המקדמים בפיתוח של V~(x) לטור הסינוסים:

V~(x)=nBnsin(πndx) (*) נשתמש בפונקציה V(x)=V0:

נכפול את הביטוי (*) ב ddsin(πdmx)dx:

ddnB~nsin(πdnx)sin(πdmx)dx=ddsin(πdmx)V~(x)dxמאורתוגונליות:

B~mddsin2(mx)πddx=20dV0sin(πdmx)dxנקבל:

B~md=20dV0sin(mxπd)dxB~m=4V0dπm{0,if m is even1,if m is odd ϕ=n8V0(2n1)π1sinh[πad(2n1)]sin((2n1)πxd)sinh[(2n1)πdy] E=ϕ=n8V0dsinh((2n1)πad)[cos((2n1)πxd)sinh[(2n1)πyd]x^+sin((2n1)πxd)cosh[(2n1)πyd]y^]

מה הקיבול?

איור 8

כדי לחשב את הקיבול, נחשב את סף המטען על האלקטרודה V(x).

η=y^(ϵ0Eupϵ0Edown)=2y^ϵ0Edown|middle board=2ϵ0(ϕy)|y=a=......=n8V0ϵ0d(2)coth((2n1)πad)sin((2n1)πxd)נחשב את סך המטען:

Q=0dηdx=n32V0ϵ02n1coth((2n1)πad)אך זה מתבדר בגלל אי הרציפות של הפוטנציאל.

בבעיה אמיתית ניתן להניח שהשינוי של הפוטנציאל ב - δ (איור 8) הוא לינארי.

איור 9 - גרף מקורב לקיבול