‫‪Prof. Dr.

Ibraheem Nasser‬‬

‫بعض الدوال الخاصة وتطبيقاتها في الفيزياء‬

‫‪Some Special Functions and their Applications in Physics‬‬

‫إعداد‬

‫أ‪.‬د‪ .‬إبراهيم محمود أحمد ناصر‬

‫أستاذ الفيزياء النظرية‬
‫جامعة الملك فهد للبترول والمعادن‬
‫الظهران‪ ،‬المملكة العربية السعودية‬

‫د‪ .‬عفاف السيد عبد الهادي‬

‫أستاذ الفيزياء النظرية المشارك‬
‫الجامعة المصرية الصينية‬
‫القاهرة‪ ،‬ج‪ .‬م‪ .‬ع‬

‫‪1‬‬
 ‫العنوان‬ Chapter
(Gamma Function (n)  (n  1)!) ‫دالة جاما‬ -2 -1
 Kronecker Delta Function ij  ‫دالة كرونكر دلتا‬ -3
(Error Function) ‫دالة الخطأ‬ -4
(Dirac Delta Function  (x )) ‫دالة دلتا لديراك‬ -5
 Legendre Polynomials Pn (x )  ‫دالة "ليجندر" كثيرة الحدود‬ -6
‫دالة "ليجندر" المرافقة كثيرة الحدود‬ -7
 Associated Legendre Polynomials P m
n ( x) 
Spherical Harmonic Function Y ,m ( , )  ‫دالة التوافقيات الكروية‬ -8

2
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫مقدمة‬

‫تتضح وتتبلور النتائج الفيزيائية‪ ،‬كحلول ذرة الهيدروجين والمهتز التوافقي البسيط‪ ،‬من حل معادالت تفاضلية معظمها‬
‫من الدرجة الثانية‪ ،‬مثل معادلة البالس ‪ . 2V  0‬تحل المعادالت التفاضلية‪ ،‬العادية منها والجزئية‪ ،‬بواسطة دوال‬
‫تسمى الدوال الخاصة‪ .‬وتلعب الدوال الخاصة دوراً هاما ً في دراسة جميع مجاالت العلوم التطبيقية والبحتة‪ .‬لذلك‬
‫معرفتها واللجوء إليها ‪ ،‬بواسطة الطلبة والباحثين‪ ،‬تعتبر من الضروريات‪ .‬وفي هذا الكتاب سوف نستعرض أهم‬
‫الدوال الخاصة المرتبطة بدراسة العلوم التطبيقية والبحتة‪.‬‬

‫يعتمد حل المعادالت التفاضلية على االحداثيات المفترضة والتي يتم اختيارها على أساس التماثل بالمشكلة‬
‫المطلوب حلها‪ .‬فهناك بعض المسائل يكون بها تماثل كرتيزي‪ ،‬كالمكثفات‪ ،‬أو تماثل كروي‪ ،‬للكرة والقشرة الكروية‪،‬‬
‫او تماثل اسطواني‪ ،‬لالسالك االسطوانية‪ ،‬وهكذا‪ .‬يوجد أيضا العديد من االحداثيات األخرى‪ ،‬والتي لن نستطيع‬
‫االشارة لها هنا‪.‬‬

‫حيث أننا نتعامل مع فضاء ثالثي االبعاد‪ ،‬فإستخدامنا لطريقة الحل بواسطة فصل المتغيرات‪ ،‬غالبا وليس في‬
‫جميع الحاالت‪ ،‬فإننا نصل الى ثالث معادالت تفاضلية منفصلة‪ .‬الحل المنفصل لكل معادلة على حدة يمكن أن يكون‬
‫دالة خاصة بها‪ .‬راجع بعضها بالصفحة التالية‪.‬‬

‫قبل أن انهي المقدمة‪ ،‬أود أن اعبر عن شكري العميق لمنظمين هذه المحاضرات من اعضاء الجمعية العلمية‬
‫السعودية للعلوم الفيزيائية أوال‪ :‬للتنظيم المتميز‪ ،‬وثانيا‪ :‬أنهم أتاحو لي الفرصة لشرح هذه المادة المحببة إلي باللغة‬
‫المحببة إلي وهي اللغة العربية‪ .‬واتمنى من هللا أن يستفيد من هذه المحاضرات جميع من حضر هذه الدورة‪ ،‬وايضا‬
‫من لم يحضر‪ ،‬وذلك بارسالها لمن يرغب بها ويشعر انها سوف تكون مفيدة لهم‪ .‬وال نبغي منكم غير الدعاء‪ ،‬وهللا‬
‫الموفق‪.‬‬
‫شكرا لمجهود االستاذة سمية وشكرا للحضور على حسن التفاعل‪ .‬وأتمنى أن تكون المحاضرات المعدلة‬
‫المكتوبة بها بعض التحسن وذلك نتيجة للمشاركة باألسئلة‪.‬‬
‫أرحب دائما بأي تعليق ايجابي لتحسين المحاضرات‪ ،‬من ناحية أسلوب العرض أو الموضوع‪ ،‬حتى يستفاد‬
‫منها الالحقون‪.‬‬

‫‪3‬‬
 ‫‪Introduction‬‬

‫سنقوم هنا بتقديم بعض من المصطلحات المطلوبة واللتي سوف تتكرر بتعريفات الدوال الخاصة‬

‫المضروب‪ :‬يعرف المضروب لقيمة ‪ n‬كالتالي‪:‬‬ ‫‪-1‬‬

‫‪n!  n(n  1)(n  2) 1‬‬
‫فمثال ‪. 4!  4  3  2 1  24‬‬

‫الدالة الزوجية‬ ‫‪-2‬‬

‫‪ .‬أي أن قيمة الدالة )‪ y ( x‬ال تتغير عند‬ ‫تكون دالة ما زوجية إذا تحققت العالقة )‪ y( x)  y( x‬لكل قيم ‪x‬‬
‫وضع ‪  x‬بدالً من ‪. x‬‬

‫فمثال )‪ cos( x)  cos( x‬هي دالة زوجية‪.‬‬

‫‪ -3‬الدالة الفردية‬
‫‪ .‬أي أن قيمة الدالة )‪ y ( x‬تتغير عند‬ ‫تكون دالة ما فردية إذا تحققت العالقة )‪ y( x)   y( x‬لكل قيم ‪x‬‬
‫وضع ‪  x‬بدالً من ‪. x‬‬

‫فمثال )‪ sin( x)   sin( x‬هي دالة فردية‪.‬‬

‫‪---------------------------------------------------------------------------------------‬‬

‫‪4‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬
‫واجب منزلي‪ :‬حدد نوع الدوال األتية‪ :‬فردية‪ ،‬زوجية ‪ ،‬ال زوجية وال فردية‪.‬‬

‫‪Wave‬‬ ‫نوع‬ ‫‪Wave‬‬ ‫نوع‬

‫‪Odd‬‬ ‫‪Neither even‬‬
‫‪nor odd‬‬
‫فردية‬ ‫ال زوجية وال‬
‫فردية‬

‫‪Even‬‬ ‫‪Odd‬‬
‫زوجية‬ ‫فردية‬

‫فردية‬ ‫‪Neither even‬‬

‫‪nor odd‬‬
‫‪Odd‬‬ ‫ال زوجية وال‬
‫فردية‬

‫‪5‬‬
Few differential equations of special functions
 Laguerre Polynomials (Hydrogen-like atoms)
 d2 d 
x 2
 (1  x )  n  L n (x )  0
 dx dx 
 Associate Laguerre Polynomials (Hydrogen-like atoms)
 d2 d 
x 2
 (m  1  x )   n  m  Lmn (x )  0
 dx dx 
 Legendre Polynomials (dipole expansion)
 2

 1  x 2 d

2
 2x
d
 (  1)  Pn (x )  0
 dx dx 
 Associate Legendre Polynomials (Hydrogen-like atoms, Multipole expansion)
 2
d  m 2  m
  dx 2 dx 
2 d
1  x  2 x  (  1)  2  n
P (x )  0
  1  x  
 Spherical Harmonics
 1 d d 1 d  m
 sin  d  sin  d   sin 2  d   (  1) Y (x )  0
 

 Hermit Polynomials ( Harmonic oscillator ‫(المتذبذب التوافقي‬

d 2
d 
 2  2x  2n  H n ( x )  0
 dx dx 

 Bessel functions
 2 2 y y 
x x  
 x 2  2  y ( x )  0
 x x
2

 Spherical Bessel functions (Scattering ‫ التشتت‬،‫( االستطارة‬
 2 d2 d 
r 2
 2r   k 2 r 2  (  1)   R (r )  0
 dr dr 

 Confluent Hypergeometric function

 Hypergeometric function

 Airy’s function (Optics)

y " ty  0 ,

6
Prof. Dr. Ibraheem Nasser

Chapter 1
‫بعض الدوال البسيطة‬
Some of simple special functions

‫العنوان‬
(Gamma Function (n)  (n  1)!) ‫ دالة جاما‬-1
 Kronecker Delta Function ij  ‫ دالة كرونكر دلتا‬-2
(Error Function) ‫ دالة الخطأ‬-3
(Dirac Delta Function  (x )) ‫ دالة دلتا لديراك‬-4

7
 ‫‪ -1‬دالة جاما )!)‪(Gamma Function ( n)  ( n 1‬‬

‫هذه من الدوال التي تستخدم كثيرا حيث أنها مرتبطة بتعريف المضروب " ! "‪ .‬وتقريبا جميع الدوال الخاصة معرفة‬
‫بداللة الدالة جاما (أو المضروب)‪.‬‬

‫دعونا نبدأ بالتكامل المعروف للجميع بالصورة‪:‬‬

‫‪‬‬

‫‪e‬‬
‫‪qx‬‬
‫‪dx  q 1‬‬ ‫)‪(i‬‬
‫‪0‬‬
‫وبتفاضل الطرفان بالنسبة للقيمة الثابتة ‪ q‬لعدد ‪ n‬من المرات‪ ،‬فسوف نجد على سبيل المثال‪:‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪ 1‬‬
‫‪‬‬
‫‪q 0‬‬
‫‪e qx dx ‬‬
‫‪q‬‬
‫‪q    xe qx dx  1q 2   xe  qx dx  1q 2‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪2‬‬ ‫‪ 2 1‬‬
‫‪2 ‬‬
‫‪ qx‬‬
‫‪‬‬ ‫‪q     x  e  qx dx  1(2)q 3   x 2e  qx dx  2q 3‬‬
‫‪2‬‬
‫‪e‬‬ ‫‪dx‬‬
‫‪q 0‬‬ ‫‪q‬‬ ‫‪2‬‬
‫‪0‬‬ ‫‪0‬‬

‫أخيرا نجد أن‪:‬‬

‫‪‬‬

‫‪x e‬‬
‫‪n  qx‬‬
‫)‪dx  (n!)q  ( n1‬‬ ‫)‪(ii‬‬
‫‪0‬‬
‫وبوضع الثابت ‪ ، q  1‬نجد أننا سوف نحصل على تعريفا ً للقيمة ! ‪ n‬بواسطة التكامل التالي‪:‬‬
‫‪‬‬
‫‪n!   x ne x dx‬‬ ‫)‪(iii‬‬
‫‪0‬‬
‫ومنه سوف نعرف دالة جاما بالعالقة‪:‬‬
‫‪‬‬
‫‪(n)   x n1e x dx‬‬ ‫‪n0‬‬
‫‪0‬‬

‫ومن تعريف جاما نحصل على‪:‬‬

‫!‪( n1)n( n)n‬‬
‫ولقيم ‪ n  0‬نستطيع استخدام العالقة‪:‬‬
‫)‪ ( n1‬‬
‫‪ ( n )‬‬
‫‪n‬‬

‫نالحظ من الرسم المقابل أن قيم )‪  ( n‬لها قيم شاذة )‪ (Singular‬بمعنى‬

‫‪. n  0, 1, 2,‬‬ ‫أن ‪ ( n)  ‬عند النقاط‬

‫‪8‬‬
Prof. Dr. Ibraheem Nasser

:‫قيم خاصة لدالة جاما‬

1 3 
(1)  (2)  1; ( )   , ( ) 
2 2 2
1 3  5 (2m  1)
1
( m  )  , m  1, 2,3,
2 2m
 1 2m  3  5 (2m  1)
m

(  m 
1
) , m  1, 2,3,
2 1 3  5 (2m  1)

,
,

Problem. Show that    

1
 2
  
1 1
x 
1

Step 1. (n)   e x dx       e x 2 dx   e x 2 dx
x x 1
n 1

0 2 0 0

Step 2. Let x  u 2 , dx  2udu

   
1
Step 3.      e x dx   e  u   2udu   2 eu  u   udu   2 eu du
1
1  1
x 2 u2 2 2 2 2

2 0 0 0 0

2     
  1 
Step 4.     2  e  u du  2  e  u du 
2 2

  2   0  0 
Step 5.
    1 
2      v 2    (u 2  v 2 )
u2  v2
dv      2  e  u du
2
e du =  e  2  e dv   4   e dudv
  2    
0 0  0  0  00

Step 6. Switching to polar coordinates* ( du dv  r dr dθ )

 
2  2 
  1   (u 2  v 2 ) 1 2
dudv  4   e  r rdrd   4    e  r
2 2
  2    4   e d
   00 00 o  2  0
  
 
2 2 2
 2  e  r
2
d  2  (0  1)d  2  d  2 02 
o 0 o o
2
  1  1
Step 6.   2         
    2

9
*Switching to polar coordinates with u  r cos  and v  r sin  ,
we have
u 2  v 2  r 2  cos2   sin 2    r 2 ,
and using the Wronskian,
u u
r  cos  r sin 
du dv  drd  drd  r drd
v v sin  r cos 
r 
we can have the relation dudv  rdrd . With the u,v domain limits defining the first quadrant,
0  u   and 0  v   , the limits on r and  become 0  r   and 0     / 2 .

 1
Example: Prove that      2 
 2
 ( n 1) (n )
Answer: Use the definition  ( n )    ( n  1) 
n n 1 ,
1
 
    1
   1          2    2 
1 1 2
2   2 
1 2
2
3
Example: Find ( )
2
 ( n 1) (n )
Answer: Use the definition  ( n )    ( n  1)  , then
n n 1
1 1
1 3 (  ) ( ) 4 4
 ( 2 ) 
1
 (   1)   (  )  3
2
 3
2
1 
2 2    3 3
2 2 2

 ( x)  xe x / 2 ‫ جسيم يعرف بالدالة‬:‫مثال‬

.‫| كدالة بالمسافة‬ ( x) |2 ‫ ارسم‬-‫أ‬

. P   | ( x) |2 dx ‫ احسب االحتماليه‬-‫ب‬
0
15 
P   |  ( x) |2 dx ‫ باالحتماليه‬P   |  ( x) |2 dx ‫ قارن االحتماليه‬-‫ت‬
0 0

:‫الحل‬
:‫| كدالة بالمسافة يعطى بالشكل التالي‬ ( x) | ‫ رسم‬-‫أ‬
2

10
 ‫‪Prof. Dr. Ibraheem Nasser‬‬

‫ب‪ -‬االحتمالية األولى تحسب كالتالي‪:‬‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪P   | ( x) |2 dx   x 2e x dx   x31e x dx  (3)  2!  2‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ث‪ -‬االحتمالية الثانية تحسب‪ ،‬بأي طريقة حسابية وتنتج‪:‬‬
‫‪15‬‬ ‫‪15‬‬
‫‪P   | ( x) |2 dx   x 2e x dx  1.99999‬‬
‫‪0‬‬ ‫‪0‬‬

‫ملحوظة‪ :‬تعد القيمة ‪ 15‬كأنها ‪ ‬لهذه الدالة‪.‬‬

‫من نقطة األصل‪ .‬إذا افترضنا أن الجسم ينجذب الى نقطة األصل ‪O‬‬ ‫‪a‬‬ ‫مثال‪:‬جسم كتلته ‪ m‬ثبت على المحور السيني على مسافة‬
‫بقوة تتناسب عكسي مع المسافة ‪ ، x‬بمعنى أن‪:‬‬
‫‪d 2x‬‬ ‫‪k‬‬
‫‪F m‬‬ ‫‪‬‬ ‫‪‬‬
‫‪d t2‬‬ ‫‪x‬‬
‫هو ثابت التناسب‪ .‬إذا ترك الجسم يتحرك‪ ،‬احسب الزمن االزم لوصولة إلى نقطة األصل‪.‬‬ ‫حيث ‪k  0‬‬
‫الحل‪:‬‬
‫‪d 2x‬‬ ‫‪k‬‬
‫‪m‬‬ ‫‪‬‬ ‫‪‬‬ ‫)‪(1‬‬
‫‪dt2‬‬ ‫‪x‬‬
‫‪dx‬‬
‫بالتالي‪:‬‬ ‫دعونا نعرف سرعة الجسم بالعالقة ‪ v ,‬‬
‫‪dt‬‬
‫‪d 2x dv dv dx‬‬ ‫‪dv‬‬
‫‪2‬‬
‫‪‬‬ ‫‪ . v .‬‬
‫‪dt‬‬ ‫‪dt dx dt‬‬ ‫‪dx‬‬
‫بالتعويض في (‪ )1‬ينتج‪:‬‬
‫‪dv‬‬ ‫‪k‬‬ ‫‪mv 2‬‬
‫‪mv .‬‬ ‫‪  or‬‬ ‫‪ k ln x  c‬‬
‫‪dx‬‬ ‫‪x‬‬ ‫‪2‬‬

‫باستخدام الشرط االبتدائي ‪ v  0‬عند ‪ x  a‬نجد أن ‪ ، c  k ln a .‬ومنه نجد‪:‬‬

‫‪mv 2‬‬ ‫‪a‬‬ ‫‪dx‬‬ ‫‪2k‬‬ ‫‪a‬‬
‫‪ k ln‬‬ ‫‪or v ‬‬ ‫‪‬‬ ‫‪ln‬‬
‫‪2‬‬ ‫‪x‬‬ ‫‪dt‬‬ ‫‪m‬‬ ‫‪x‬‬

‫‪11‬‬
‫ نحسب األن الزمن الكلي لتحرك الجسم من النقطة‬.‫تقل مع زيادة الزمن‬ x ‫حيث االشارة السالبة اخذت في االعتبار نتيجة أن‬
:‫بالتكامل‬ x0 ‫ الى نقطة األصل‬x  a
a
m dx
T
2k 0 a
)4 (
ln
x
:‫ لينتج‬، x  aeu ‫ أو‬ln a  u ‫ نضع‬،‫لحساب نتيجة التكامل‬
x

m m 1 m
Ta  u eu du  a     a
1
2

2k 0 2k  2  2k

Beta Function
Beta function is defined by the expression:
1
 (m , n )   x m 1 (1  x )n 1dx m,n  0
0
Use x  sin 2  , one can have:
 /2
 (m , n )  2  sin 2 m 1  cos 2 n 1  d 
0

( m )( n )
Homework: prove that  (m , n ) 
( m  n )
Special Values:
 (m , n )   (n , m ),  ( 12 , 12 )   ;

 /2

 cos d 
16
Example: Evaluate the following integrals:
0
Answer: use the definition
 /2
 ( m ) ( n )
 (m , n )  2  sin 2 m 1  cos2 n 1  d    (m , n ) 
0
( m  n )
Then, in our case 2m  1  0  m  1/ 2 , and 2n  1  16  n  17 / 2
15  13  11  9  7  5  3 1 1
 /2 1
 ( ) ( )
17
 ( 2
15
 1)  ( )
28 2
 cos d  2 2
 
16

0
2(9) 2  8! 2  8!
191305
   0.30847
196608
1
du
Example: Evaluate: 0 (1  u 2 )(2  u 2 )
Answer: use the substitution: x  1  u 2 , then

12
Prof. Dr. Ibraheem Nasser
dx dx
dx  2udu and du   
du 2 1 x
And the limit of integration: u  0  x  1; u 1 x  0
1 1
du 1 dx

0 (1  u 2 )(2  u 2 )
 
2 0 x 1 x 2
Again use
dy dy
y  x 2  dy  2xdx  dx  
2x 2 y
x  0  y  0, x  1 y  1
1 1
1 dx 1
   y 3/ 4 (1  y )1/ 2 dy
2 0 x 1 x 2 4 0
Now, with the values:
2m  1  3/ 4  m  1/ 4 , and 4n  1  1/ 2  n  1/ 2
One gets
1 1
1
1
dx 1
1  ( ) ( )
2 0 x 1  x 2 4 0

3/ 4 1/ 2 1 1 1 1
 y (1  y ) dy  ( , )  4
3
2
 1.31103
4 4 2 4
( )
4

With MATHEMATICA
1
1 1 EllipticK
u 2
0 1 u2 2 u2 2
1 1
u N
0 1 u2 2 u2 1.31103
2
16 6435
Cos u u
0 65536
2
16
Cos u u N
0 0.308474

Homework: evaluate the following integrals and check them with MATHEMATICA.

2 a
x2 1 a6 5 3
 dx  4 2 (3, ) ,  x a  x dx  ( , ) ,
4 2 2
1. 2.
0 2x 2 0
2 2 2
2
8 2 4
3.  x 3 82  x 2 dx   ( , ) ,
0
3 3 3

13
 ‫‪ -2‬دالة كرونكر دلتا ‪ Kronecker delta function  ‬‬
‫‪ij‬‬

‫تعرف دالة كرونكر دلتا كالتالي‪:‬‬

‫‪1 if m  n‬‬
‫‪ mn  ‬‬
‫‪ 0 if m  n‬‬
‫وتستخدم لتعريف خواص الدوال من التعامد أو العيارية‪.‬‬
‫مثال‪ :‬تعد الدالة ) ‪  n (r‬متعامدة أو معيرة إذا حققت الشرط‪:‬‬
‫ة ‪1 if m  n‬‬ ‫م ع ير‬
‫‪  m (r )  n (r ) d   mn ,  mn  ‬‬
‫*‬
‫( ‪)1‬‬
‫‪all space‬‬ ‫ة‪ 0 if m  n‬‬ ‫م ت ع ام د‬
‫و شرط التعامد هو ‪.  ij  0‬‬ ‫حيث إن الدالة * ‪ ‬هي المرافق المركب للدالة ‪ .‬حيث إن شرط المعايرة هو ‪ ij  1‬‬

‫‪   e‬نجد أن‪:‬‬
‫‪ i m‬‬
‫مثال‪ :‬للدالة‬
‫‪2‬‬ ‫‪2‬‬
‫‪e‬‬
‫‪ i m‬‬
‫‪d   cos  m    i sin  m    d‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪2‬‬
‫‪  cos  0   i sin  0   d  2 m,0‬‬
‫‪0‬‬
‫ومنها أيضا نستطيع تعريف‬
‫‪2‬‬
‫‪i  m  n ‬‬
‫‪e‬‬ ‫‪d  2 m,n‬‬
‫‪0‬‬

‫مثال‪ :‬تحقق من العالقات التالية‬

‫‪0‬‬ ‫‪if m  n‬‬
‫‪n y‬‬ ‫‪m y‬‬ ‫‪a‬‬
‫‪‬‬
‫‪a‬‬
‫‪a‬‬
‫(‪ cos‬‬ ‫‪a‬‬
‫(‪) cos‬‬
‫‪a‬‬
‫‪)dy   mn‬‬
‫‪2‬‬
‫‪‬‬ ‫‪if m  n  0‬‬
‫‪0‬‬ ‫‪2‬‬
‫‪ a if m  n  0‬‬
‫‪n y‬‬ ‫‪m y‬‬
‫‪a‬‬
‫‪a‬‬
‫(‪ sin‬‬
‫‪0‬‬
‫‪a‬‬
‫(‪)sin‬‬
‫‪a‬‬
‫‪)dy   mn‬‬
‫‪2‬‬

‫‪14‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬
‫‪2‬‬
‫‪ ، k ‬ويةرتبط بطاقةة‬
‫‪‬‬
‫مثال‪ :‬لجسيم داخل صندوق مغلق تماما ً ‪ ،‬يتحرك في مجال جهد يوصف بالتالي‪:‬‬
‫‪ 0, 0  x  L‬‬
‫‪V (x )  ‬‬ ‫)‪(1‬‬
‫‪, otherwise‬‬
‫وجد أن الدالة الموجية للجسيم داخل الصندوق تعطى بالعالقة‪:‬‬
‫)‪ I ( x)  A sin(kx‬‬
‫أوجد الثوابت ‪ k‬و ‪ . A‬العدد ‪ k‬يسمى العدد الموجي حيث يرتبط بالطول الموجي" ‪ " ‬بالعالقةة‬
‫‪k2‬‬
‫حيث ‪ m‬هي كتلة الجسيم‪.‬‬ ‫‪،E ‬‬ ‫الجسيم " ‪ " E‬بالعالقة‬
‫‪2m‬‬

‫الحل‪ :‬هذا المثال ينطبق عمليا ً على حركةة إلكتةرون حةر بةداخل قطعةة معدنيةة‪ ،‬لهةا طاقةة تةوتر سةطحي يفةوق الطاقةة الحركيةة‬
‫لإللكترون‪ ،‬ومن ثم فإن اإللكترون يتحرك داخل المعدن‪ ،‬وال يتمكن من الهةروب منةه‪ ،‬إال بإعطائةه طاقةة خارجيةة‪ .‬ولحةل هةذه‬
‫المسألة نالحظ من شكل ‪ 1‬أن حركةة الجسةيم حةرة‪ ،‬ولكنهةا مقيةدة فةي المةدى ‪ 0  x  L‬حيةث إن الجهةد ‪ V  ‬خةارج هةذا‬
‫المدى هو المسؤول عن انعكاس الجسيم من حائل الجهد‪.‬‬

‫استخدم الشرط الحدي ‪ ، I (x  L )  0‬بمعنى‪:‬‬ ‫أ‪ -‬لحساب الثابت ‪k‬‬

‫‪ I (x  L )  0 ‬‬
‫‪n‬‬
‫‪  kn ‬‬ ‫‪,‬‬ ‫‪n  1, 2,3,‬‬ ‫)‪(7‬‬
‫‪‬‬ ‫‪A sin(kL )  0‬‬ ‫‪L‬‬
‫حيث ‪ n‬يعرف بأنه عدد كمي‪ .‬الحل الصفري بالقيمة ‪ n  0‬غير مقبول فيزيائيا حيث ال يدل على وجود‬
‫جسيم متحرك‪.‬‬
‫ب‪ -‬لحساب الثابت ‪ A‬استخدم شرط المعايرة كالتالي‪:‬‬
‫‪n‬‬ ‫‪m‬‬
‫‪L‬‬ ‫‪L‬‬
‫(‪A2  sin(kn x)sin(km x)dx  A2  sin‬‬ ‫(‪x)sin‬‬ ‫‪x)dx  1  A  2 / L‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪L‬‬ ‫‪L‬‬
‫‪L‬‬
‫‪  nm‬‬
‫‪2‬‬
‫وتصبح الدالة المميزة على الصورة‪:‬‬
‫‪2‬‬ ‫‪n‬‬
‫‪ I ( x) ‬‬ ‫‪sin( x),‬‬ ‫‪n  1, 2,3,‬‬
‫‪L‬‬ ‫‪L‬‬

‫‪15‬‬
 ‫‪ -3‬دالة الخطأ )‪(Error Function‬‬
‫تستخدم دالة الخطأ عند دراستنا لتوزيع ماكسويل‪ -‬بولتزمان الكالسيكي وتعرف بالعالقة‪:‬‬
‫‪q‬‬
‫‪2‬‬
‫‪ dq‬‬
‫‪q 2‬‬
‫‪erf(q ) ‬‬ ‫‪e‬‬
‫‪‬‬ ‫‪0‬‬

‫وبالجدول التالي بعض القيم لدالة الخطأ‪:‬‬

‫‪q‬‬ ‫) ‪erf (q‬‬ ‫‪q‬‬ ‫) ‪erf (q‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1.2‬‬ ‫‪0.9103‬‬
‫‪0.4‬‬ ‫‪0.4284‬‬ ‫‪1.6‬‬ ‫‪0.9763‬‬
‫‪0.8‬‬ ‫‪0.7421‬‬ ‫‪2.0‬‬ ‫‪0.9953‬‬
‫‪1.0‬‬ ‫‪0.8427‬‬ ‫‪2.2‬‬ ‫‪0.9981‬‬

‫مثال‪ :‬احسب عدد الجزيئات لغاز محصور بين السرعتين ‪ v‬و ‪ 1.6 v‬وسرعته باتجاه المحور السيني فقط‪.‬‬
‫الحل‪ :‬عدد الجزيئات التي لها السرعة ما بين ‪ v‬و ‪ 1.6 v‬يعرف كالتالي‪:‬‬
‫‪1.6 v‬‬

‫‪N v1.6v ‬‬ ‫‪‬‬

‫‪v‬‬
‫‪f (v x )dv x‬‬

‫حيث دالة ماكسويل– بولتزمان ) ‪ f (v x‬تعرف كالتالي‪:‬‬

‫‪1/ 2‬‬
‫‪N  m ‬‬
‫‪e m v x / 2‬‬
‫‪2‬‬
‫‪f (v x ) ‬‬ ‫‪‬‬ ‫‪‬‬
‫‪  2kT ‬‬
‫وباستخدام التعويض‬
‫‪vx‬‬
‫‪x‬‬ ‫‪ dv x  v dx ,‬‬
‫‪v‬‬
‫ومنها نجد أن‪:‬‬

‫‪N 2‬‬ ‫‪‬‬

‫‪1.6‬‬ ‫‪1.6‬‬ ‫‪1‬‬
‫‪N‬‬ ‫‪2‬‬
‫‪ e dx ‬‬ ‫‪ e dx ‬‬ ‫‪ ‬‬
‫‪x‬‬ ‫‪x‬‬ ‫‪ x2‬‬
‫‪N v1.6v ‬‬
‫‪2‬‬ ‫‪2‬‬

‫‪‬‬ ‫‪e‬‬ ‫‪dx ‬‬

‫‪‬‬ ‫‪1‬‬
‫‪2 ‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬
‫‪N‬‬ ‫‪N‬‬
‫‪‬‬ ‫‪erf (1.6)  erf (1)  0.9763  0.8427  0.0668 N‬‬
‫‪2‬‬ ‫‪2‬‬

‫‪16‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫)) ‪(Dirac Delta Function  (x‬‬ ‫‪ -4‬دالة دلتا لديراك‬

‫هذه ليست دالة بالمعنى المتعارف عليه رياضياً‪ ،‬ولهذا فهي تسمى توزيعا ً وأيضا ً دالة نبضية )‪. (Impulse function‬‬
‫وهي تستخدم للدوال المتصلة وتعرف كالتالي‪:‬‬
‫‪ 0,‬‬ ‫‪x a‬‬
‫‪‬‬
‫‪ (x  a )  ‬‬ ‫‪,‬‬ ‫)‪(1‬‬
‫‪,‬‬ ‫‪x a‬‬
‫‪‬‬
‫لها الخواص التالية (في بعد واحد)‪:‬‬
‫‪‬‬

‫‪  (x  a)dx  1‬‬

‫‪‬‬
‫)‪(2‬‬

‫ومن المعادلة (‪ )2‬نستطيع حساب التكامل‪:‬‬

‫‪‬‬

‫)‪ f (x ) (x  a)dx  f (a‬‬

‫‪‬‬
‫)‪(3‬‬

‫هنا‪.‬‬ ‫وتأخذ الدالة دلتا صوراً وأشكاالً أخرى وسنكتفي بما نعرضه‬
‫بعض الخواص الهامة‪:‬‬
‫) ‪  (x )   (x‬‬ ‫دالة زوجية ‪it is an even function‬‬
‫) ‪  *(x )   (x‬‬ ‫‪it is a real function‬‬
‫‪‬‬
‫‪‬‬ ‫‪  (x  x‬‬
‫‪‬‬
‫‪0‬‬ ‫‪)dx  1‬‬ ‫‪It is normalized‬‬ ‫صفة المعايرة‬
‫‪‬‬
‫‪‬‬ ‫)‪ f (x ) (x )dx  f (0‬‬
‫‪‬‬
‫)‪ f (x ) (x  a)  f (a) (x  a‬‬
‫‪1‬‬
‫) ‪  (ax )   (x‬‬
‫‪a‬‬
‫‪d2 x‬‬
‫‪‬‬ ‫) ‪ 2 (x‬‬
‫‪dx 2‬‬

‫‪17‬‬
 ‫موزعة بانتظام على سطح قشرة كروية‪ .‬نجد أن كثافة الشحنات اإلحداثيات الكروية‬ ‫‪Q‬‬ ‫في اإلحداثيات الكروية‪ ،‬توجد شحنة‬ ‫مثال‪:‬‬
‫تعطى بالعالقة‬ ‫) ‪ (r ,  , ‬‬
‫‪Q‬‬
‫‪ (r ,  ,  ) ‬‬ ‫)‪ ( r  R‬‬
‫‪4 R 2‬‬

‫على سطح اسطواني نصف قطرة ‪ . b‬نجد أن كثافة الشحنات في اإلحداثيات‬ ‫‪‬‬ ‫‪ -2‬في اإلحداثيات اإلسطوانية‪ ،‬يوجد توزيع منتظم‬
‫تعطى بالعالقة‪:‬‬ ‫اإلسطوانية )‪ (s,  , z‬‬
‫‪‬‬
‫‪ ( s,  , z ) ‬‬ ‫)‪ (r  b‬‬
‫‪2 b‬‬

‫واجب منزلي‪ :‬تحقق من نتائج التكامالت التالية‪.‬‬

‫)‪ .  ( x  a‬إذا ظهرت بأي صورة اخرى‪،‬‬ ‫مالحظة‪ :‬لصيغة ديراك دلتا يجب أن توضع بالصيغة العامة الخطية وهي‬
‫يجب أن نستخدم التعويض المالئم‪.‬‬

‫‪3‬‬
‫‪a   x3 (1  x)dx  0 ,‬‬
‫‪0‬‬

‫‪Answer:  (1  x) has infinite value at x = –1, and this value outside the range {0,3}.‬‬
‫الدالة )‪ (1  x‬تعني أن ‪ ، x  1‬والقيمة خارج حدود التكامل وهو }‪.{0,3‬‬
‫‪2‬‬
‫‪b   (2 x  3) (3x)dx  1 ,‬‬
‫‪2‬‬

‫‪Answer: we have to change the variable y = 3x, so dy = 3 dx, then‬‬

‫‪2‬‬ ‫‪6‬‬
‫‪y‬‬ ‫‪1‬‬
‫‪ (2 x  3) (3x)dx   (2‬‬
‫‪2‬‬ ‫‪6‬‬
‫‪3‬‬
‫‪ 3) ( y) dy ,‬‬
‫‪3‬‬
‫‪now  ( y) will be infinite at y=0 and it is in the range {-‬‬
‫‪1 y‬‬
‫‪6,6}, so‬‬ ‫)‪(2  3‬‬ ‫‪1‬‬
‫‪3 3‬‬ ‫‪y 0‬‬

‫الدالة )‪  (3x‬يجب أن تتحول الى )‪  ( y‬بالتعويض ‪. y  3x‬‬

‫‪1‬‬
‫‪1‬‬
‫‪c   x 2 (3x  1)dx ‬‬
‫‪1‬‬
‫‪27‬‬
‫‪Answer: we have to change the variable y = 3x + 1, so dy = 3 dx, then‬‬
‫‪y 1‬‬
‫‪1‬‬ ‫‪7‬‬
‫‪1‬‬
‫( ‪ x  (3x  1)dx  ‬‬ ‫‪) ( y) dy ,‬‬ ‫‪now  ( y) will be infinite at y=0 and it is in the range {-2,4}, so‬‬
‫‪2‬‬

‫‪1‬‬ ‫‪5‬‬
‫‪3‬‬ ‫‪3‬‬
‫‪1 y 1 2‬‬ ‫‪1‬‬
‫(‬ ‫)‬ ‫‪‬‬
‫‪3 3‬‬ ‫‪y 0‬‬ ‫‪27‬‬
‫الدالة )‪  (3x  1‬يجب أن تتحول الى )‪  ( y  1‬بالتعويض ‪. y  3x‬‬

‫‪18‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫‪Chapter 2‬‬
‫دالة "هيرمت" كثيرة الحدود‬
‫‪ Hermite Polynomials H n (x ) ‬‬
‫المعادلة التفاضلية لدالة "هيرمت" ‪Differential equation‬‬
‫) ‪d 2 H n (x‬‬ ‫) ‪dH n (x‬‬
‫‪2‬‬
‫‪ 2x‬‬ ‫‪ 2nH n (x )  0‬‬ ‫)‪(1‬‬
‫‪dx‬‬ ‫‪dx‬‬
‫تعريف رودريجي ‪Rodrigues' Definition‬‬

‫‪H n (x )  (1)n e x‬‬

‫‪2‬‬

‫‪dx n‬‬
‫‪e‬‬‫‪ ‬‬
‫‪d n x 2‬‬
‫;‬ ‫‪n  0,1, 2,3,‬‬ ‫)‪(2‬‬

‫زوجيةً أو فرديةً إذا كان العدد ‪ n‬يأخذ قيما ً زوجيةً أو فرديةً بالترتيب‪:‬‬ ‫)‪H n ( x‬‬ ‫تعد الدالة‬
‫)‪H n ( x)  (1) H n ( x‬‬
‫‪n‬‬
‫)‪(3‬‬

‫دالة مولدة ‪Generating function‬‬

‫‪‬‬
‫‪tn‬‬
‫‪e t‬‬ ‫‪ 2 xt‬‬
‫‪‬‬ ‫‪t 1‬‬
‫‪2‬‬
‫) ‪H n (x‬‬ ‫)‪(4‬‬
‫)‪n 0 (n  1‬‬

‫عالقات تكرارية ‪Recurrence relations‬‬

‫‪dH n‬‬
‫‪H n' ‬‬ ‫‪ 2nH n 1‬‬
‫‪dx‬‬
‫‪dH n‬‬
‫)‪(5‬‬ ‫‪ 2 xH n  H n 1‬‬
‫‪dx‬‬
‫‪H n 1  2 xH n  2nH n 1‬‬
‫عالقة التعامد ‪Orthogonality relation‬‬
‫‪‬‬

‫‪e‬‬
‫‪x 2‬‬
‫‪H m (x )H n (x )dx  2n n !  m n   2n (n  1) m n‬‬ ‫)‪(6‬‬
‫‪‬‬

‫‪، e‬ويسمى معامل اتزان ‪ ،  Weight factor ‬والذي يجعل قيمة التكامل قيمة تقاربية (محددة)‪.‬‬
‫‪ x2‬‬
‫الحظ هنا وجود الحد‬

‫جدول لبعض القيم‬

‫‪n‬‬ ‫‪H n (x ) n‬‬ ‫) ‪H n (x‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪3‬‬ ‫‪8x 3  12x‬‬
‫‪1‬‬ ‫‪2x‬‬ ‫‪4‬‬ ‫‪16x 4  48x 2  12‬‬
‫‪2‬‬ ‫‪4x  1 5‬‬
‫‪2‬‬
‫‪32x 5  160x 3  120x‬‬

‫تمثيل الدوال‪ :‬يمكن تمثيل الدوال (المتصلة والمتقطعة) بداللة دالة هيرمت كالتالي‪:‬‬
‫نفترض أن الدالة )‪ f ( x‬يمكن كتابتها بداللة دالة ليجندر بالعالقة‪:‬‬
‫‪19‬‬
 ‫‪‬‬
‫)‪f ( x)   cn H n ( x‬‬
‫‪n 0‬‬
‫واليجاد صيغة للمعامالت ‪ cn‬نتبع األتي‪ :‬بضرب طرفي العالقة السابقة بالدالة )‪ ، H m ( x‬واجراء التكامل‪ ،‬واستخدام‬
‫عالقة التعامد نجد أن‪:‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ x2‬‬ ‫‪ x2‬‬
‫‪ f ( x) H m ( x)e dx   cn  e H m ( x) H n ( x)dx  cn 2 n ! ‬‬
‫‪n‬‬
‫‪‬‬ ‫‪n 0‬‬ ‫‪‬‬
‫‪2n n !  m n‬‬
‫لنحصل على المعامالت بالشكل‪:‬‬
‫‪1‬‬ ‫‪‬‬
‫‪x‬‬ ‫‪2‬‬
‫‪cn ‬‬ ‫‪ f ( x) H m ( x)e dx .‬‬
‫‪2n n !  ‬‬

‫أمثلة محلولة‬

‫مثال ‪ :1‬باستخدام الدالة المولدة (‪ )4‬اثبت معادلة هيرمت‪.‬‬

‫الحل‪ :‬بدء بالمعادلة‬
‫‪‬‬
‫‪tn‬‬
‫‪g ( x, t )  et‬‬ ‫‪ 2 xt‬‬
‫‪‬‬
‫‪2‬‬
‫)‪H n ( x‬‬
‫)‪n 0 (n  1‬‬

‫وبالتفاضل بالنسبة الى ‪ t‬نحصل على‬

‫‪20‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫‪dH n‬‬
‫‪. Hn ‬‬ ‫مثال ‪ :2‬باستخدام الدالة المولدة (‪ )4‬اثبت أن ‪ 2nH n1‬‬
‫'‬

‫‪dx‬‬
‫الحل‪ :‬بدء بالمعادلة‬
‫‪‬‬
‫‪tn‬‬
‫‪g ( x, t )  et‬‬ ‫‪ 2 xt‬‬
‫‪‬‬
‫‪2‬‬
‫)‪H n ( x‬‬
‫)‪n 0 (n  1‬‬

‫وبالتفاضل بالنسبة الى ‪ x‬نحصل على‬

‫مثال ‪ :3‬باستخدام العالقات التكرارية اثبت معادلة هيرمت‪.‬‬

‫الحل‪ :‬بدء بالمعادالت‬

‫وبالتفاضل بالنسبة الى ‪ x‬نحصل على‬

‫وهي معادلة هيرمت‬

‫‪21‬‬
 ‫يمكن تعريف دالة هيرمت المعدلة كالتالي‪:‬‬
‫‪n ( x )  e  x‬‬
‫‪2‬‬
‫‪/2‬‬
‫)‪H n ( x‬‬
‫واللتي تحقق عالقة التعامد بالصورة المعدلة‪:‬‬
‫‪‬‬

‫‪e ‬‬ ‫‪( x)n ( x)dx  2n n!  mn‬‬

‫‪ x2‬‬
‫‪m‬‬
‫‪‬‬
‫ومنها نحصل على‪:‬‬

‫) ‪d 2 H n (x‬‬ ‫) ‪dH n (x‬‬

‫بالصورة‪:‬‬ ‫‪2‬‬
‫‪ 2x‬‬ ‫وتصبح معادلة هيرمت ‪ 2nH n (x )  0‬‬
‫‪dx‬‬ ‫‪dx‬‬

‫‪22‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫نظرة ميكانيكا الكم‬

‫للتعامل مع المتذبذب التوافقي الخطي من خالل نظرية ميكانيكا الكم‪ ،‬نجد أن معادلة شرودنجر في بعد واحد‬
‫تأخذ الصورة‪:‬‬
‫‪d 2 2m‬‬
‫‪ 2 ( E  V )  0,‬‬
‫‪dx 2‬‬
‫‪d 2‬‬
‫‪‬‬ ‫‪ (    2 x 2 )  0‬‬ ‫)‪(7‬‬
‫‪dx 2‬‬
‫حيث ‪.   m / ,   2mE / 2‬‬
‫باإلمكان تبسيط المعادلة (‪ )7‬وذلك باستخدام التعويض‪:‬‬
‫‪q  x‬‬

‫واجب منزلي‪ :‬باستخدام التعويض ‪ q   x‬تأكد من التفاضالت التالية‪:‬‬

‫‪d d dq‬‬ ‫‪d‬‬
‫‪‬‬ ‫‪ ‬‬
‫‪dx dq dx‬‬ ‫‪dq‬‬
‫‪d 2‬‬ ‫‪d  d  dq‬‬ ‫‪d 2‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ 2‬‬
‫‪dx 2 dq  dx  dx‬‬ ‫‪dq‬‬

‫وتتحول المعادلة (‪ )7‬إلى الصورة المبسطة‪:‬‬

‫‪d‬‬‫‪2‬‬

‫‪2‬‬
‫‪ (  q 2 )  0‬‬ ‫(‪) 8‬‬
‫‪dq‬‬
‫حيث تم تعريف القيمة المميزة (عديمة األبعاد) ‪ ‬بالشكل‪:‬‬
‫‪ 2E‬‬
‫‪‬‬ ‫‪‬‬ ‫(‪) 9‬‬
‫‪‬‬ ‫‪‬‬

‫‪،‬‬ ‫الحل العام للمعادلة (‪ )8‬شبيه بالمعادلة‬

‫ويتحقق فقط لقيم منفصلة للطاقة الكلية تعبر عنها المعادلة‪:‬‬
‫‪2E‬‬
‫‪‬‬ ‫‪ 2n  1,‬‬
‫‪‬‬
‫‪1‬‬
‫‪ E n  (n  ) ,‬‬ ‫‪n  0,1, 2,‬‬ ‫)‪(10‬‬
‫‪2‬‬
‫ومن المعادلة )‪ (10‬نستنتج اآلتي‪:‬‬
‫أ‪ -‬طاقة المسةتويات هةي طاقةة مكمةاة‪ ،‬حيةث إنهةا تعتمةد علةى العةدد الصةحيح ‪ n . n‬تسةمى عةدد الكةم االهتةزازي‬
‫‪.  Vibrational quantum number ‬‬
‫ب‪ -‬الفروق‪ ، E ،‬بين طاقات المستويات المتتالية تكون متساوية‪ ،‬وتحسب كالتالي‪:‬‬
‫‪. E  E n 1  E n   ‬‬
‫ج‪ -‬للعةةدد ‪ n  0‬فةةإن الطاقةةة ‪( Eo‬طاقةةة المسةةتوى األرضةةي أو طاقةةة نقطةةة الصةةفر) ال تسةةاوي صةةفراً‪ ،‬ولكةةن‬
‫‪1‬‬
‫‪ ، E0 ‬وهذا ال يتطابق مع نظرية بةور‪ .‬وعةدم التطةابق لةه داللتةه الفيزيائيةة المهمةة وهةي‪ :‬أن أقةل طاقةة‬ ‫‪‬‬
‫‪2‬‬

‫‪23‬‬
‫اهتزازية (طاقة المستوى األرضي) ألي نظام فيزيائي (مثال علةى ذلةك الجزيئةات متعةددة الةذرات أو الةذرات‬
‫بالجوامد) يوصف بجهد المتذبذب التوافقي ال يمكن أن تنعدم حتى عند درجة حرارة الصفر المطلق‪ .‬لذلك فإن‬
‫طاقة نقطة الصفر هذه كافية لمنع تجمد سائل الهليوم‪ 4-‬تحت الضغط الجةوي‪ ،‬مهمةا قللنةا مةن درجةة حرارتةه‪.‬‬
‫وهي مرتبطة بعالقةة هيزنبةرج االتعينيةة‪ ،‬فةإذا كانةت طاقةة الجسةيم معدومةة‪ ،‬فةإن الجسةيم يسةكن ومةن ثةم فةإن‬
‫إحداثيات الجسيم وكميته الحركية الخطية يمكن تعيينهما في آن واحد‪ ،‬وهذا يتعارض مةع عالقةة عةدم التعيةين‪.‬‬
‫عمليا ً أمكةن التأكةد مةن أن الطاقةة االهتزازيةة الصةفرية غيةر منعدمةة بواسةطة دراسةة تشةتت الضةوء بواسةطة‬
‫البلورات عند تغير درجة الحرارة‪.‬‬
‫والشكل التالي يعبر عن مستويات الطاقة لجهد يعبر عنه بالمعادلة (‪.)4‬‬

‫ولكل قيمة ‪ n‬يوجد لها دالة مميزة تعرف بالصورة‪:‬‬

‫‪1‬‬
‫‪ n (q )  N ne q / 2 H n (q ),‬‬ ‫‪Nn ‬‬
‫‪2‬‬
‫)‪(11‬‬
‫‪2 n! ‬‬ ‫‪n‬‬

‫حيةةث ) ‪ H n (q‬تسةةمى دالةةة هرمةةت متعةةددة الحةةدود‪ .‬األربةةع دوال المميةةزة األوائةةل موضةةحة بالجةةدول والشةةكل‬
‫التاليين‪.‬‬

‫‪n‬‬ ‫‪  2n  1‬‬ ‫‪En‬‬ ‫)‪ n (q‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪‬‬ ‫‪e q‬‬
‫‪2‬‬
‫‪/2‬‬
‫‪2‬‬ ‫‪‬‬
‫‪1‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪q e q‬‬
‫‪2‬‬
‫‪/2‬‬
‫‪2‬‬ ‫‪‬‬
‫‪2‬‬ ‫‪5‬‬ ‫‪5‬‬ ‫‪1‬‬
‫‪‬‬ ‫‪(2q 2  1) e q‬‬
‫‪2‬‬
‫‪/2‬‬
‫‪2‬‬ ‫‪2 ‬‬
‫‪3‬‬ ‫‪7‬‬ ‫‪7‬‬ ‫‪1‬‬
‫‪‬‬ ‫‪(2q 2  3) q e q‬‬
‫‪2‬‬
‫‪/2‬‬
‫‪2‬‬ ‫‪3 ‬‬

‫‪24‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫المؤثر الدرجي‪:‬‬
‫باستخدام الدالة المميزة‪:‬‬
‫‪1‬‬
‫)‪e x / 2 H n ( x‬‬
‫‪2‬‬
‫‪n ( x) ‬‬
‫‪2n n ! ‬‬
‫بحيث‬
‫‪‬‬

‫‪‬‬
‫‪‬‬
‫‪m‬‬
‫‪( x)n ( x)dx   mn‬‬

‫‪1 ‬‬ ‫‪d ‬‬

‫على الدالة السابقة يعطي‪:‬‬ ‫نجد أن تأثير المؤثر ‪ x  ‬‬
‫‪2‬‬ ‫‪dx ‬‬

‫هذا المؤثر يسمى بالمؤثر الدرجي (السلمي) التنازلي (أو مؤثر الفناء) حيث أنه يهبط بالدالة المميزة )‪n ( x‬‬
‫الى الدالة المميزة األسفل‬
‫درجة )‪. n1 ( x‬‬
‫‪1 ‬‬ ‫‪d ‬‬
‫على الدالة المميزة )‪ . n ( x‬هذا المؤثر يسمى بالمؤثر الدرجي (السلمي) الصاعد (أو مؤثر‬ ‫واجب منزلي‪ :‬ادرس تأثير المؤثر ‪ x  ‬‬
‫‪2‬‬ ‫‪dx ‬‬
‫التخليق) حيث أنه يصعد بالدالة المميزة )‪ n ( x‬الى الدالة المميزة األعلى درجة )‪. n1 ( x‬‬

‫نأتي لسؤال مهم‪ ،‬أال وهو‪ :‬لماذا يأخذ المتذبذب التوافقي الكمي قيم صحيحة ‪ n‬؟ لالجابة على هذا السؤال نعلم أن طاقة المتذبذب التوافقي تأخذ‬
‫الشكل‬
‫‪1‬‬
‫‪En  (n  ) ,‬‬ ‫‪n  0,1, 2,‬‬
‫‪2‬‬

‫‪25‬‬
 ‫بقيم صحيحة‪ ،‬ولكن لألن ال نجد سبب لماذا قيم‬ ‫وأيضا باستخدام المؤثرات الدرجية وجدنا أننا نستطيع أن نصعد أو نهبط بالدالة المميزة )‪n ( x‬‬
‫صحيحة! السبب هو كالتالي‪:‬‬
‫‪2‬‬
‫) ‪d H n (x‬‬ ‫) ‪dH n (x‬‬
‫لها الحلول لقيم صحيحة ‪ ، n‬ولكن اذا استخدمنا طريقة متسلسلة‬ ‫‪2‬‬
‫‪ 2x‬‬ ‫حقيقة أن معادلة هيرمت ‪ 2nH n (x )  0‬‬
‫‪dx‬‬ ‫‪dx‬‬
‫القوى بالشكل‪:‬‬
‫‪‬‬
‫‪H n ( x)   ck x k  c0  c1 x  c2 x 2  c3 x3 ‬‬
‫‪k 0‬‬
‫لحل هذه المعادلة نجد الحل التالي‪:‬‬
‫‪ 2(n) 2 2 (n)(2  n) 4‬‬
‫‪2‬‬
‫‪‬‬ ‫‪‬‬ ‫‪2(1  n) 3 22 (1  n)(3  n) 5‬‬ ‫‪‬‬
‫‪H n ( x)  c0 1 ‬‬ ‫‪x ‬‬ ‫‪x    c1  x ‬‬ ‫‪x ‬‬ ‫‪x  ‬‬
‫‪‬‬ ‫!‪2‬‬ ‫!‪4‬‬ ‫‪‬‬ ‫‪‬‬ ‫!‪3‬‬ ‫!‪5‬‬ ‫‪‬‬
‫حيث أيضا تتحقق لقيم غير صحيحة ‪( . n‬وهذه تسمى دالة هيرميت)‪.‬‬
‫لقيم صحيحة ‪ ، n‬نجد أن دالة هيرميت تنقطع وتتوقف لتعطى هيرميت كثيرة الحدود (فردية أو زوجية) تبعا لقيم ‪( n‬فردية أو زوجية)‪ .‬لقيم غير‬
‫صحيحة ‪ ، n‬نجد أن دالة هيرمت ال تتجزأ وال تتوقف وحدودها تكبر كما الدالة ‪ . n ( x)  xne x / 2‬الدالة المقترحة ال تحقق شروط ميكانيكا‬
‫‪2‬‬

‫الكم‪.‬‬

‫المتذبذب التوافقي الخطي (حل متعددة الحدود)‬

‫تم تعريف الهاملتونيان للمتذبذب التوافقي الخطي بالمعادلة‪:‬‬

‫‪d 2‬‬
‫‪2‬‬
‫‪ (  q 2 )  0‬‬ ‫(‪)1‬‬
‫‪dq‬‬
‫حيث تم تعريف القيمة المميزة (العديمة األبعاد) ‪ ‬بالشكل‪:‬‬
‫‪ 2E‬‬
‫‪‬‬ ‫‪‬‬ ‫(‪) 2‬‬
‫‪‬‬ ‫‪‬‬
‫وقبل أن نستعرض الحل العام للمعادلة (‪ )1‬دعونا نتوقف قليالً لنبحث عن طبيعة الحل التقاربي للدالة ‪ ،‬أي‬
‫عندما ‪ . q   ‬بوضع ‪ q   ‬بالمعادلة (‪ )1‬فإننا يمكننا إهمال المقدار ‪ ‬وذلك بالمقارنة مع ‪ . q 2‬وعليه نحصل‬
‫على المعادلة‪:‬‬
‫‪d 2 ‬‬
‫‪2‬‬
‫‪ q 2   0‬‬ ‫(‪) 3‬‬
‫‪dq‬‬
‫التي يمكن وضع حلها بالصورة‪:‬‬
‫‪   eaq‬‬
‫‪2‬‬

‫وإليجاد القيمة ‪ a‬نفاضل الدالة مرتين فنجد‪:‬‬

‫‪d ‬‬‫‪2‬‬
‫‪‬‬ ‫‪(4‬‬ ‫‪a‬‬ ‫‪2 2‬‬
‫‪q‬‬ ‫‪‬‬ ‫‪2‬‬ ‫‪a‬‬ ‫)‬ ‫‪e‬‬ ‫‪aq 2‬‬
‫‪‬‬ ‫‪4‬‬ ‫‪a‬‬ ‫‪2 2 aq 2‬‬
‫‪qe‬‬
‫‪dq 2‬‬
‫ومنها ومن المعادلة (‪ )3‬نجد أن‪:‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪a2 ‬‬ ‫‪‬‬ ‫‪a‬‬
‫‪4‬‬ ‫‪2‬‬
‫ومن ثم نستخلص أن‪:‬‬
‫‪   ce‬‬ ‫‪ q2 / 2‬‬
‫‪ de‬‬ ‫‪ q2 / 2‬‬

‫‪26‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫‪e q‬‬ ‫حيث ‪ c‬و ‪ d‬ثابتان اختياريان‪ .‬الحل ( ‪ ) e q / 2‬هو حل مرفةوض ألن الشةرط ‪ ‬‬
‫‪2‬‬
‫‪/2‬‬
‫‪ lim‬ال يحقةق شةروط‬
‫‪2‬‬

‫‪q ‬‬

‫ميكانيكا الكم من حيث محدودية الدالة في الالنهاية‪ .‬لذلك يمكننا وضع المعامل ‪ d‬مساويا ً للصةفر‪ .‬وحيةث إننةا لةم نةتكلم‬
‫عن معيارية الدالة فيمكننا وضع المعامل ‪ c‬مساويا ً للواحد‪ .‬من ثم فإن الحل التقاربي للدالة يصبح‪:‬‬
‫‪   e q / 2‬‬ ‫( ‪)4‬‬
‫‪2‬‬

‫دعونا نرجع مرةً أخرى للحل العام للمعادلة (‪ ،)1‬الذي سوف نفترضه بالشكل التالي‪:‬‬
‫) ‪    H (q )  e  q / 2 H (q‬‬ ‫(‪) 5‬‬
‫‪2‬‬

‫حيةةةةث )‪ H (q‬هةةةةي متسلسةةةةلة القةةةةوى للمتغيةةةةر ‪( q‬التةةةةي سةةةةنعرفها الحقةةةةا ً بدالةةةةة هرمةةةةت متعةةةةددة الحةةةةدود‬
‫‪ .) Hermit polynomial‬وسوف نوقفها عند حد معين ال نتعداه حتى تحقق شروط ميكانيكا الكم بالنسبة لمحدوديةة الدالةة‬
‫في الالنهاية‪.‬‬

‫واجب منزلي‪ :‬باستخدام )‪   eq / 2 H (q‬أثبت أن‬

‫‪2‬‬

‫)‪d 2  d 2 H (q‬‬ ‫)‪dH (q‬‬ ‫‪  q2 / 2‬‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪2‬‬ ‫‪q‬‬ ‫‪‬‬ ‫(‬ ‫‪q‬‬ ‫‪2‬‬
‫‪‬‬ ‫)‪1‬‬ ‫‪H‬‬ ‫(‬ ‫‪q‬‬ ‫)‬ ‫‪e‬‬
‫‪dq 2  dq 2‬‬ ‫‪dq‬‬ ‫‪‬‬

‫باستخدام المعادلة (‪ )5‬تصبح المعادلة (‪ )1‬بالشكل‪:‬‬

‫‪2‬‬
‫)‪d H (q‬‬ ‫)‪dH (q‬‬
‫‪2‬‬
‫‪ 2q‬‬ ‫‪ (  1) H (q)  0‬‬ ‫(‪) 6‬‬
‫‪dq‬‬ ‫‪dq‬‬
‫المعادلة التفاضلية الخطية من الدرجة الثانيةة (‪ )6‬يمكةن حلهةا حةالً كةامالً‪ ،‬حيةث إنهةا مشةابهة لمعادلةة هرمةت‪،‬‬
‫التي تأخذ الشكل‪:‬‬
‫)‪d 2 H n (q‬‬ ‫)‪dH n (q‬‬
‫‪2‬‬
‫‪ 2q‬‬ ‫‪ 2n H n (q)  0,‬‬ ‫‪n  0,1, 2,‬‬ ‫(‪)7‬‬
‫‪dq‬‬ ‫‪dq‬‬
‫وذلك بوضع )‪ H (q)  H n (q‬و ‪ .  1  2n‬ومنها نجد‪:‬‬
‫‪2E‬‬
‫‪‬‬ ‫‪ 2n  1,‬‬
‫‪‬‬ ‫(‪) 8‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪E  (n  )   (n  )h  ,‬‬ ‫‪n  0,1, 2,‬‬
‫‪2‬‬ ‫‪2‬‬

‫واجب منزلي‪ :‬باستخدام المتسلسالت حل المعادلة التفاضلية (‪ .)6‬انظر الحل بالملحق ) ‪. (5.B‬‬

‫وصلنا اآلن إلى هدفنا األساسي‪ ،‬ونستطيع هنا أن نميز دوال وطاقة المستويات بالرمز ‪ ، n‬الذي يدل على درجة دالة‬
‫هرمت كثيرة الحدود‪ .‬أخيراً‪:‬‬
‫‪1‬‬
‫‪ n (q)  N n e q / 2 H n (q),‬‬ ‫‪Nn ‬‬
‫‪2‬‬

‫‪2 n! ‬‬
‫‪n‬‬

‫‪1‬‬ ‫‪1‬‬
‫‪En  (n  )   (n  )h ,‬‬ ‫‪n  0,1, 2,‬‬
‫‪2‬‬ ‫‪2‬‬

‫‪27‬‬
 ‫ملحق )‪(5.B‬‬
‫حل معادلة هرمت متعددة الحدود‬
‫معادلة هرمت التفاضلية تُعرف بالشكل‪:‬‬
‫)‪d 2 H (q‬‬ ‫)‪dH (q‬‬
‫‪‬‬ ‫‪2‬‬ ‫‪q‬‬ ‫‪ (  1) H (q)  0‬‬ ‫(‪) 1‬‬
‫‪dq 2‬‬ ‫‪dq‬‬
‫وتُحل باستخدام متسلسلة القوى كالتالي‪:‬‬
‫‪ -1‬نفترض الحل العام بصورة متسلسلة بالشكل‪:‬‬
‫‪‬‬
‫‪H (q )  e k q k  e 0  e1q  e 2q 2  e 3q 3 ‬‬
‫‪k 0‬‬

‫باجراء التفاضالت‪:‬‬ ‫أ‪-‬‬

‫‪‬‬
‫) ‪dH (q‬‬
‫‪  ke k q k 1  e1  2e 2q  3e 3q 2 ‬‬ ‫;‬
‫‪dq‬‬ ‫‪k 0‬‬

‫‪d 2 H (q ) ‬‬
‫‪  k (k  1)e k q k 2  2e 2  2  3e 3q  3  4e 4q 2 ‬‬
‫‪dq 2‬‬ ‫‪k 0‬‬

‫ب‪ -‬بةةالتعويض مةةن القةةيم العليةةا بالمعادلةةة (‪ )1‬ومسةةاواة معةةامالت كةةل حةةد مةةن ‪ q m‬لةةه نفةةس الدرجةةة بالصةةفر‪،‬‬
‫نحصل على العالقات التالية‪:‬‬
‫‪2e 2  (  1)e 0  0‬‬
‫‪2  3e 3  (  1  2)e1  0‬‬
‫‪3  4e 4  (  1  2  2)e 2  0‬‬

‫نجد العالقة‪:‬‬ ‫‪k‬‬ ‫وعامةً نصل إلى الحد‬

‫‪(k  1)(k  2)ek 2  (  1  2k )ek  0‬‬
‫ومنها نحصل على‪:‬‬
‫‪  1  2k‬‬
‫‪ek  2 ‬‬ ‫‪ek‬‬ ‫( ‪)2‬‬
‫)‪(k  1)(k  2‬‬
‫العالقة التكرارية )‪ ،)2( (Recursion relation‬وتوضح كيف نحصل على قيم المعامالت بمعلوميةة المعةامالت‬
‫االبتدائية ‪ e0‬و ‪ . e1‬ويصبح المعامالن ‪ e0‬و ‪ e1‬ثةابتين اختيةاريين مطلةوبين للحةل العةام للمعادلةة (‪ .)1‬يمكننةا اآلن وضةع‬
‫الحةةل العةةام للمعادلةةة (‪ )1‬كمجمةةوع متسلسةةلتين‪ ،‬واحةةدة تحتةةوي علةةى الحةةدود الفرديةةة وأخةةرى تحتةةوي علةةى الحةةدود‬
‫الزوجية‪:‬‬
‫‪ e‬‬ ‫‪e e‬‬ ‫‪e e e‬‬ ‫‪‬‬
‫‪H (q)  e0 1  2 q 2  4 2 q 4  6 4 2 q 6 ‬‬ ‫‪‬‬
‫‪ e0‬‬ ‫‪e2 e0‬‬ ‫‪e4 e2 e0‬‬ ‫‪‬‬
‫(‪).3‬‬
‫‪‬‬ ‫‪e‬‬ ‫‪e e‬‬ ‫‪e e e‬‬ ‫‪‬‬
‫‪ e1  q  3 q 3  5 3 q 5  7 5 3 q 7 ‬‬ ‫‪‬‬
‫‪‬‬ ‫‪e1‬‬ ‫‪e3 e1‬‬ ‫‪e5 e3 e1‬‬ ‫‪‬‬

‫واجب منزلي‪:‬‬
‫مع زيادة الدرجة ‪ ، k‬بمعني أن‪ ، k  1‬وأثبت أن النسبة‬ ‫)‪H (q‬‬ ‫أ‪ -‬اختبر سلوك الدالة‬
‫‪ek  2‬‬ ‫‪2‬‬
‫‪‬‬
‫‪ek‬‬ ‫‪k‬‬

‫‪28‬‬
Prof. Dr. Ibraheem Nasser
q4 q2k
‫يمكةن تمثيلهةا‬ ‫لتثبت أن الدالة‬ eq  1  q 2     ‫مع سلوك الدالة‬ ‫ قارن سلوك الدالة‬-‫ب‬
2
H (q) H (q)
2 k!
. H (q )  e q ‫بالشكل‬
2

‫من الواجب المنزلي نجد أن‬

  e q / 2e q  e q
2 2 2
/2

‫ هةذا يضةطرنا إلةى وقةف المتسلسةالت عنةد حةد معةين ال نتعةداه حتةى‬. q   ‫وهي دالة تزايدية وغيةر محةددة عنةدما‬
.‫ شروط ميكانيكا الكم بالنسبة لمحدوديتها في ما ال نهاية‬ ‫تحقق الدالة‬
)3( ‫ فإن واحدة من المتسلسالت‬،   2n  1 ‫ بحيث‬، k  n ‫) تدلنا على أنه عندما نضع‬2( ‫العالقة التكرارية‬
‫ بإمكاننا حذف‬.)‫ سوف تنعدم (أي تتساوى بالصفر‬en 2 ‫ حيث إن جميع الحدود بدءاً من‬، en ‫سوف تتوقف مع‬
‫ ونتيجةً لتوقف‬.‫ زوجية‬n ‫ في حالة كون‬e1  0 ‫ أو وضع‬،‫ فردية‬n ‫ في حالة كون‬e0  0 ‫المتسلسلة األخرى بوضع‬
:‫المتسلسالت نحصل على قيم الطاقة المميزة بالمعادلة‬
1 1
E  (n  )   (n  )h  , n  0,1, 2,
2 2

Series Solutions: Hermite's Equation

Hermite's Equation of order k has the form

y " 2ty ' 2ky  0
where k is usually a non-negative integer.
We know from the previous section that this equation will have series solutions which both converge and solve
the Differential equation everywhere.
Hermite's Equation is our first example of a differential equation, which has a polynomial solution. As usual,
the generic form of a power series is

y (t )   ant n
n 0
We have to determine the right choice for the coefficients (an).
As in other techniques for solving differential equations, once we have a "guess" for the solutions, we plug it
into the differential equation. Recall that

and

Plugging this information into the Differential equation we obtain:

29
or after rewriting slightly:

Next we shift the first summation up by two units:

Before we can combine the terms into one sum, we have to overcome another slight obstacle: the second
summation starts at n=1, while the other two start at n=0.

Evaluate the 0th term for the second sum: . Consequently, we do not change the value of
the second summation, if we start at n=0 instead of n=1:

Thus we can combine all three sums as follows:

Therefore our recurrence relations become:

After simplification, this becomes

Let us look at the special case, where k = 5, and the initial conditions are given as:

. In this case, all even coefficients will be equal to zero, since a0=0 and
each coefficient is a multiple of its second predecessor.

What about the odd coefficients? a1=1, consequently

and

What about a7:

Since a7=0, all odd coefficients from now on will be equal to zero, since each coefficient is a multiple of its
second predecessor.

30
Prof. Dr. Ibraheem Nasser

Consequently, the solution has only 3 non-zero coefficients, and hence is a polynomial. This polynomial

(or a multiple of this polynomial) is called the Hermit Polynomial of order 5.

It turns out that the Hermite Equation of positive integer order k always has a polynomial solution of order k.
We can even be more precise: If k is odd, the initial value problema0  0, a1  1 will have a polynomial
solution, while for k even, the initial value problem a0  1, a1  0 will have a polynomial solution.
Exercise 1:
Find the Hermit Polynomials of order 1 and 3.
Answer.
Recall that the recurrence relations are given by

We have to evaluate these coefficients for k=1 and k=3, with initial conditions a0=0, a1=1.
When k=1,

Consequently all odd coefficients other than a1 will be zero. Since a0=0, all even coefficients will be zero, too.
Thus
H1(t)=t.
When k=3,

and

Consequently all odd coefficients other than a1 and a3 will be zero. Since a0=0, all even coefficients will be
zero, too. Thus

Exercise 2:
Find the Hermit Polynomials of order 2, 4 and 6.
Answer.
Recall that the recurrence relations are given by

We have to evaluate these coefficients for k=2, k=4 and k=6, with initial conditions a0=1, a1=0.
When k=2,

while

31
Consequently all even coefficients other than a2 will be zero. Since a1=0, all odd coefficients will be zero, too.
Thus
H2(t) = 1-2t2.

When k=4,

Consequently all even coefficients other than a2 and a4 will be zero. Since a1=0, all odd coefficients will be
zero, too. Thus

You can check that

32
Prof. Dr. Ibraheem Nasser

Chapter 3
‫دالة "ليجندر" كثيرة الحدود‬
 Legendre Polynomials Pn (x ) 
Differential equation ‫المعادلة التفاضلية‬
 2 d
2
d 
(1  x ) 2  2 x  n(n  1)  yn ( x)  0, n  0,1, 2,3,
 dx dx 
‫لها الحل العام‬
y( x)  A Pn ( x)  BQn ( x) Pn ( x)
‫ دالة‬Qn ( x) . x  1 ‫ وهي دالة منتظمة في المدي‬،‫ تسمى دالة ليجندر من النوع األول‬Pn ( x) ‫ الحل‬.‫ ثوابت‬B ‫ و‬A ‫حيث‬
‫ ينصب اهتمامنا دائما على الدوال المنتظمة في‬. x  1 ‫( عند النقاط‬Singular) ‫ وهي دالة شاذة‬،‫ليجندر من النوع الثاني‬
. Qn ( x) ‫ ولذلك لن نتعامل هنا مع الدالة‬،‫المدى المطلوب‬

Definition ‫تعريف‬
Rodrigue’s formula ‫ عالقة رودريجو‬-‫أ‬
n
1 d
 
n
Pn (x )  n n
x 2 1 ; n  0,1, 2,3,
2 n ! dx

‫ عالقة التجميع‬-‫ب‬
1 M
 2n  2 m  !  n/2 n is even
Pn ( x)  n  (1)m x n2m , M 
2 m 0 m!(n  m)!(n  2m)!  n  1 / 2 n is odd

‫جدول لبعض القيم‬

P (x  cos  ) x
0 1 P0
1 x P1

2
1
2
 3x 2  1
1
3
 2P2  1
3
1
2
 5x 3  3x 
1
5
 2P3  3P1 
4
1
8
 35x 4  30x 2  3
1
35
8P4  20P2  7 

33
 ‫‪. n  1,3,5,‬‬ ‫‪ ، n  0, 2, 4,‬وشكل الدوال الفردية ‪ ،‬للقيم‬ ‫الحظ هنا شكل الدوال الزوجية‪،‬للقيم‬

‫دالة مولدة ‪Generating function‬‬

‫‪‬‬
‫;)‪(1  2tx  x 2 )1/ 2   t n Pn ( x‬‬ ‫‪t 1‬‬
‫‪n 0‬‬

‫هذا التعريف مشتق من مفكوك القطب الكهربائي‪ ،‬وسوف نتعرض له الحقا‪.‬‬

‫عالقات تكرارية ‪Recurrence relations‬‬

‫;) ‪(n  1)Pn 1 (x )  (2n  1)xPn (x )  nPn 1 (x‬‬

‫عالقة التعامد ‪Orthogonality relation‬‬

‫‪1‬‬ ‫‪2‬‬
‫‪ Pm ( x) Pn ( x)dx ‬‬ ‫‪m n‬‬
‫‪1‬‬ ‫‪2n  1‬‬

‫‪-----------------------------------------------------------------------------------------------------------‬‬
‫تمثيل الدوال‪ :‬يمكن تمثيل الدوال (المتصلة والمتقطعة) بداللة دالة ليجندر كالتالي‪:‬‬
‫نفترض أن الدالة )‪ f ( x‬يمكن كتابتها بداللة دالة ليجندر بالعالقة‪:‬‬
‫‪‬‬
‫)‪f ( x)   cn Pn ( x‬‬
‫‪n 0‬‬
‫واليجاد صيغة للمعامالت ‪ cn‬نتبع األتي‪ :‬بضرب طرفي العالقة السابقة بالدالة )‪ ، Pm ( x‬واجراء التكامل‪ ،‬واستخدام‬
‫عالقة التعامد نجد أن‪:‬‬
‫‪1‬‬ ‫‪‬‬ ‫‪1‬‬ ‫‪2‬‬
‫‪ f ( x) Pm ( x)dx   cn  Pm ( x) Pn ( x)dx  cn‬‬
‫‪1‬‬ ‫‪n 0‬‬ ‫‪1‬‬ ‫‪2n  1‬‬
‫‪2‬‬
‫‪mn‬‬
‫‪2n 1‬‬
‫لنحصل على المعامالت بالشكل‪:‬‬

‫‪34‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫‪2n  1 1‬‬
‫‪cn ‬‬ ‫‪ f ( x) Pn ( x) dx‬‬
‫‪2 -1‬‬

‫أمثلة محلولة‬

‫مثال‪ :‬احسب )‪ P3 ( x‬باستخدام عالقة رودريجو ‪.‬‬

‫الحل‪:‬‬
‫‪3‬‬ ‫‪3‬‬
‫‪1 d‬‬
‫‪‬‬ ‫‪1 d‬‬
‫‪‬‬ ‫‪‬‬ ‫‪1‬‬
‫‪‬‬
‫‪3‬‬
‫‪P3 (x ) ‬‬ ‫‪3‬‬ ‫‪3‬‬
‫‪x‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪3‬‬ ‫‪3‬‬
‫‪x‬‬ ‫‪6‬‬
‫‪‬‬ ‫‪3‬‬‫‪x‬‬ ‫‪4‬‬
‫‪‬‬ ‫‪3‬‬‫‪x‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪‬‬ ‫) ‪(120x 3  72x‬‬
‫‪2 3! dx‬‬ ‫‪2 3! dx‬‬ ‫‪48‬‬
‫‪1‬‬
‫) ‪ (5x 3  3x‬‬
‫‪2‬‬
‫مثال‪ :‬احسب )‪ P1 ( x‬و )‪ P2 ( x‬باستخدام عالقة التجميع‪:‬‬
‫‪1 1‬‬
‫‪ ، M ‬بالتالي فان التجميع لحد واحد فقط المرتبط بالقيمة ‪. m  0‬‬ ‫الحل‪ :‬للقيمة ‪ n  1‬نجد أن ‪ 0‬‬
‫‪2‬‬
‫‪P1 ( x) ‬‬
‫‪1‬‬
‫(‬ ‫‪‬‬‫)‪1‬‬ ‫‪0‬‬ ‫‪ 2 ! x1  x‬‬
‫‪21‬‬ ‫!)‪0!(1)!(1‬‬
‫‪2‬‬
‫‪ ، M ‬بالتالي فان التجميع لحدين فقط المرتبطان بالقيم ‪. m  0,1‬‬ ‫للقيمة ‪ n  2‬نجد أن ‪ 1‬‬
‫‪2‬‬

‫مثال‪ :‬ضع الدالة ‪ V    cos  2 ‬بداللة دالة ليجندر‪.‬‬

‫الحل‪:‬‬
‫‪V    cos  2   2cos2    1  2x 2  1  2.‬‬
‫‪1‬‬
‫‪3‬‬ ‫‪‬‬ ‫‪2P2  1  1   4P2  1‬‬
‫‪1‬‬
‫‪3‬‬

‫مثال‪ :‬ضع الدالة ) ‪ V    cos(3‬بداللة دالة ليجندر‪.‬‬

‫الحل‪:‬‬
‫‪8‬‬ ‫‪3‬‬
‫‪cos(3 )  4 3  3  4  2P3  3P1  3 P1   P3  P1‬‬
‫‪1‬‬
‫‪‬‬ ‫‪5‬‬ ‫‪‬‬ ‫‪5‬‬ ‫‪5‬‬

‫‪35‬‬
 ‫‪--------------------------------------------------------------------------------------------------------------‬‬
‫مثال‪ :‬ضع الدالة ‪ f  x   x  x  x  1‬بداللة دالة ليجندر‪.‬‬
‫‪3‬‬ ‫‪2‬‬

‫الحل‪:‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪f  x   x 3  x 2  x  1   2P3  3P1    2P2  Po   P1  Po‬‬
‫‪5‬‬ ‫‪3‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪4‬‬ ‫‪1 ‬‬
‫‪ 2  P3  P2  P1  Po ‬‬
‫‪5‬‬ ‫‪3‬‬ ‫‪5‬‬ ‫‪3 ‬‬
‫‪---------------------------------------------------------------------------------------------------------------‬‬
‫مثال‪ :‬ضع الدالة غير المستمرة‬
‫‪1 x  0‬‬
‫‪f (x )  ‬‬
‫‪1 x  0‬‬
‫بداللة دالة ليجندر‪.‬‬
‫‪‬‬
‫الحل‪ :‬باستخدام العالقة )‪ f ( x)   cn Pn ( x‬فان المعامالت تحسب كالتالي‪:‬‬
‫‪n 0‬‬

‫‪2n  1 1‬‬ ‫‪2n  1  0‬‬ ‫‪1‬‬ ‫‪‬‬

‫‪cn ‬‬ ‫‪ f ( x) Pn ( x) dx ‬‬ ‫‪  (1) Pn ( x) dx   (1) Pn ( x) dx ‬‬
‫‪2 -1‬‬ ‫‪2‬‬ ‫‪ -1‬‬ ‫‪0‬‬ ‫‪‬‬
‫حيث أن الدلة المطلوب تمثيلها هي دالة فردية‪ ،‬فنتوقع أن قيم ‪ n‬لدالة ليجندر ) ‪ Pn (x‬هي أيضا أرقام فردية‪ .‬فنحصل‬
‫على‪:‬‬
‫‪1‬‬
‫‪cn   2n  1   f ( x) Pn ( x) dx‬‬
‫‪0‬‬
‫تحقق من القيم‬
‫‪1‬‬ ‫‪2 1‬‬
‫‪x‬‬ ‫‪3‬‬
‫‪c1  (2 1  1)  xdx  3‬‬ ‫‪,‬‬
‫‪0‬‬
‫‪2‬‬ ‫‪0‬‬
‫‪2‬‬
‫‪1‬‬
‫‪c3  (2  3  1) ‬‬
‫‪1‬‬
‫‪2‬‬
‫‪‬‬ ‫‪5 x3  3x  dx  ?   ,‬‬
‫‪7‬‬
‫‪2‬‬
‫‪7‬‬
‫‪8‬‬
‫‪0‬‬

‫‪11‬‬
‫‪c5  ?? ‬‬ ‫‪,‬‬
‫‪16‬‬
‫وتكون النتيجة النهائية هي‪:‬‬

‫‪3‬‬ ‫‪7‬‬ ‫‪11‬‬

‫‪f  x   c1P1  c3 P3  c5 P5 ‬‬ ‫‪‬‬ ‫‪P1  P3  P5 ‬‬
‫‪2‬‬ ‫‪8‬‬ ‫‪16‬‬

‫باستخدام الكمبيوتر تم رسم الدالة ‪ f  x ‬باستخدام ‪ n  11, 51‬ومقارنتها بالدالة الحقيقية‪.‬‬

‫‪36‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫واجب منزلي‪ :‬ضع الدالة‬

‫)‪ x (0  x  1‬‬
‫‪f ( x)  ‬‬
‫)‪0 (1  x  0‬‬
‫بداللة دالة ليجندر‪.‬‬
‫مساعدة‪ :‬تأكد من القيم التالي‪:‬‬

‫واجب منزلي‪ :‬ضع الدالة‬

‫)‪0 (1  x  0‬‬
‫‪f ( x)  ‬‬
‫)‪1 (0  x  1‬‬
‫بداللة دالة ليجندر‪.‬‬
‫مساعدة‪ :‬تأكد من القيم التالي‪:‬‬

‫‪37‬‬
 ‫مفكوك متعدد القطب الكهربائي‬
‫يستخدم هذا المفكوك بكثافة في الفيزياء النظرية‪ ،‬على سبيل المثال‪ :‬لحساب الجهد‬
‫الكهربي عند النقطة ‪ ، P‬التي تبعد مسافة ‪ r‬عن مركز الشحنات ‪ ، O‬الناتج عن‬
‫شحنات كثافتها الحجمية )' ‪  (r‬وتبعد مسافة ' ‪ r‬عن المركز كما بالشكل المقابل‪،‬‬
‫والذي يعرف بالمعادلة‪:‬‬
‫)' ‪ (r‬‬
‫' ‪(r)  k  d‬‬ ‫(‪)1‬‬
‫|' ‪| r  r‬‬
‫حيث ' ‪ d‬وحدة الحجوم‪ .‬أو عند التعامل مع ذرات متعددة االلكترونات‪ ،‬ابسطها ذرة‬
‫الهيليوم‪ .‬سوف نستعرض هنا صورة مبسطة لهذا المفكوك‪.‬‬

‫مثال‪ :‬اثبت المفكوك التالي‪:‬‬

‫‪1‬‬ ‫‪‬‬
‫‪ r 'n ‬‬
‫‪ ‬‬ ‫‪ Pn  cos ',‬‬ ‫' ‪r  r‬‬ ‫( ‪)2‬‬
‫‪| r  r ' | n0  r n1 ‬‬
‫حيث ‪ Pn  cos '‬هي دالة ليجندر متعددة الحدود و ' ‪ ‬هي الزاوية المحصورة بين ' ‪ r‬و ‪. r‬‬
‫الحل‪ :‬باستخدام المفكوك والتعويض التاليين‪:‬‬
‫‪‬‬ ‫‪ r'‬‬ ‫‪ r' ‬‬
‫‪2‬‬

‫‪،‬‬ ‫|‬ ‫‪r‬‬ ‫‪‬‬ ‫‪r‬‬ ‫'‬ ‫|‬‫‪2‬‬

‫‪‬‬ ‫‪r‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪2‬‬ ‫‪rr‬‬ ‫‪'cos‬‬ ‫‪‬‬ ‫'‬‫‪‬‬ ‫‪r‬‬ ‫'‬ ‫‪2‬‬
‫‪‬‬ ‫‪r‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪2‬‬ ‫‪ ‬‬ ‫‪x‬‬ ‫‪‬‬ ‫‪  ,‬‬ ‫' ‪x  cos ‬‬
‫‪‬‬ ‫‪‬‬ ‫‪r‬‬ ‫‪‬‬ ‫‪ r  ‬‬
‫نجد أن‪:‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫'‪r‬‬
‫‪‬‬ ‫‪‬‬ ‫‪,‬‬ ‫‪r '' ‬‬ ‫‪,‬‬ ‫‪  2xr '' r ''2‬‬
‫‪| r  r ' | r 1  2xr '' r ''2‬‬ ‫‪1 ‬‬ ‫‪r‬‬
‫باستخدام مفكوك ذات الحدين* نحصل على‪:‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1   3‬‬ ‫‪5‬‬ ‫‪2‬‬ ‫‪3‬‬
‫‪‬‬
‫‪ 1   ‬‬
‫‪1‬‬
‫‪‬‬
‫‪2‬‬
‫‪‬‬ ‫‪1  ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪| r  r '| r‬‬ ‫‪r‬‬ ‫‪2‬‬ ‫‪8‬‬ ‫‪16‬‬ ‫‪‬‬
‫‪1‬‬ ‫‪r ''2 3‬‬ ‫‪‬‬
‫‪  4x 2  r ''4  4xr ''3   8r ''3 x 3 ‬‬ ‫‪‬‬
‫‪5‬‬
‫‪‬‬ ‫‪‬‬‫‪1‬‬ ‫‪‬‬ ‫‪r‬‬ ‫''‬ ‫‪x‬‬ ‫‪‬‬ ‫‪‬‬
‫‪r‬‬ ‫‪2 8‬‬ ‫‪16‬‬ ‫‪‬‬
‫وبتجميع معامالت '' ‪ r‬نصل إلى‪:‬‬
‫‪1‬‬ ‫‪‬‬
‫‪2‬‬ ‫‪3‬‬
‫‪ r' 1‬‬ ‫‪ r' 1‬‬ ‫‪ r'‬‬
‫‪ 1  x     3x 2  1     5 x3  3x    +‬‬
‫‪1‬‬
‫‪‬‬
‫‪| r  r ' | r ‬‬ ‫‪r 2‬‬ ‫‪r 2‬‬ ‫‪r‬‬ ‫‪‬‬
‫‪1‬‬ ‫‪   r 'n ‬‬
‫‪2‬‬ ‫‪3‬‬
‫‪ r'‬‬ ‫‪ r'‬‬ ‫‪ r'‬‬
‫‪  P0 ( x)  P1 ( x)    P2 ( x)    P3 ( x)   +‬‬ ‫‪    n 1  Pn  cos  '‬‬
‫‪r ‬‬ ‫‪r‬‬ ‫‪r‬‬ ‫‪r‬‬ ‫‪ n 0  r ‬‬
‫*استخدمنا مفكوك ذات الحدين‪:‬‬
‫‪n (n  1) n 2 2 n (n  1)(n  2) n 3 3‬‬
‫‪(a  x )n  a n  na n 1x ‬‬ ‫‪a x ‬‬ ‫‪a x ‬‬
‫!‪2‬‬ ‫!‪3‬‬

‫‪38‬‬
Prof. Dr. Ibraheem Nasser

. r  a ، r ‫ لثنائي القطب الكهربي كما بالشكل التالي اوجد الجهد عند مسافة‬:‫واجب منزلي‬
:‫ ومنه نعين الجهد بشكل عام كالتالي‬z ‫ يوجد طريقة اخري سهلة لحساب الجهد وذلك عن طريق حسابة على المحور‬:‫الحل‬

1 q q
  r ,     
4 0  r r 

First of all, for a point on the z- axis, z > a , the potential is


Bn
Comparing this with the general expansion    n 1 n 
P cos  at   0 we can identify the
n 0 r
Bn and write

qa cos 
  r ,   as a  0
2 0 r 2

for r  a . For r  a we can just swap a and r in this equation.

39
 ‫واجب منزلي‪ :‬للشكل التالي اوجد الجهد عند مسافة ‪. r  a ، r‬‬

‫الحل‪:‬‬
‫‪1  q‬‬ ‫‪2q‬‬ ‫‪q ‬‬ ‫‪4 0‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫‪1‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ ‬‬
‫‪4 0  r  a‬‬ ‫‪r‬‬ ‫‪r a ‬‬ ‫‪q‬‬ ‫‪r a r r a‬‬
‫‪1‬‬ ‫‪ 1  3cos 2  ‬‬ ‫‪1 qa 2‬‬
‫‪‬‬ ‫‪qa 2 ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫) ‪P2 (cos ‬‬
‫‪4 0‬‬ ‫‪‬‬ ‫‪r3‬‬ ‫‪‬‬ ‫‪4 0 2‬‬

‫‪This result we can immediately infer the expression for the potential at all points:‬‬

‫مثال‪ :‬تم تعيين الجهد ) ‪ V 0 (‬على سطح كرة مجوفة نصف قطرها ‪ . R‬أوجد الجهد الكهربائي داخل الكرة ‪.  r  R ‬‬
‫الحل‪ :‬نظ ارً للتماثل الكروي لهذه المسألة‪ ،‬فإننا نستطيع استخدام الحل العام لمعادلة البالس ‪ 2V  0‬بالشكل‪:‬‬
‫‪‬‬
‫‪‬‬ ‫‪B ‬‬
‫) ‪V (r , )    A r  1 P (cos ‬‬
‫‪0 ‬‬ ‫‪r ‬‬

‫‪40‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬
‫نعتبر المنطقة الداخلية للكرة المجوفة ‪ .  r  R ‬في هذه المنطقة يجب أن تكون ‪ ، B  0‬واال أصبح الجهد ما النهاية بالداخل عند نقطة‬
‫األصل ‪ . r  0‬لذلك‪:‬‬
‫‪‬‬
‫) ‪V (r , )   A r P (cos ‬‬
‫‪0‬‬

‫باستخدام الشرط الحدودي على سطح الكرة ‪ ، r  R‬نجد أن‪:‬‬

‫‪‬‬
‫) ‪V (R , )   A R P (cos  ) V 0 (‬‬
‫‪0‬‬

‫لحساب الثابت ‪ ، A‬نستخدم طريقة فوري مع خواص التعامد والعيارية لدالة ليجيندر‪ ،‬بمعنى‪:‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬

‫‪ A R  P (cos )P (cos )sin  d    P (cos )V‬‬

‫‪0‬‬
‫'‬ ‫'‬ ‫‪0‬‬ ‫‪( )sin  d ‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪2‬‬
‫‪‬‬ ‫'‬
‫‪2 1‬‬

‫وهذا يعطينا‪:‬‬
‫‪‬‬
‫‪2 1‬‬
‫‪2R 0‬‬
‫‪A ‬‬ ‫‪V 0 ( ) P (cos )sin  d ‬‬

‫ولذلك نجد أن‪:‬‬

‫‪ ‬‬ ‫‪‬‬
‫‪‬‬
‫‪2 1‬‬ ‫‪‬‬
‫‪V (r , )   A R P (cos  )   ‬‬ ‫‪0‬‬ ‫‪V‬‬ ‫‪0‬‬ ‫(‬‫‪‬‬ ‫)‬ ‫‪P‬‬ ‫‪(cos‬‬ ‫‪‬‬ ‫‪)sin‬‬ ‫‪‬‬ ‫‪d‬‬ ‫‪‬‬ ‫) ‪ r P (cos ‬‬
‫‪0‬‬ ‫‪ 0  2R‬‬ ‫‪‬‬
‫‪‬‬
‫‪2 1 ‬‬
‫‪‬‬ ‫‪ r ‬‬
‫‪‬‬ ‫) ‪  V 0 ( ) P (cos  )sin  d     P (cos ‬‬
‫‪0‬‬ ‫‪2 0‬‬ ‫‪ R ‬‬
‫واجب منزلي‪ :‬أوجد الجهد الكهربائي خارج الكرة ‪ .  r  R ‬الحظ هنا أن ‪ A  0‬و‬
‫‪‬‬
‫‪2 1‬‬
‫‪.B ‬‬ ‫‪V‬‬ ‫‪( ) P (cos )sin  d ‬‬
‫‪1‬‬
‫‪R‬‬ ‫‪0‬‬
‫‪2‬‬ ‫‪0‬‬

‫مثال‪ :2‬بالمثال السابق‪ ،‬إذا علم أن ) ‪ V 0 ( )  K cos(3‬حيث ‪ K‬ثابت‪.‬‬

‫أ‪ -‬أوجد الجهد الكهربائي داخل الكرة‪.‬‬
‫الحل‪ :‬باستخدام قواعد المثلثات‪ ،‬واستخدام جدول دالة ليجيندر‪ ،‬نجد أن‪:‬‬
‫‪cos(3 )  4 cos3 ( )  3 cos( )  4 3  3‬‬

‫‪ 4  2P3     3P1     3 P1   P3     P1   ‬‬

‫‪1‬‬ ‫‪8‬‬ ‫‪3‬‬
‫‪5‬‬ ‫‪‬‬ ‫‪5‬‬ ‫‪5‬‬
‫أ‪ -‬لحساب الجهد الكهربائي داخل الكرة‪ ،‬نحسب أوالً‪:‬‬
‫‪‬‬
‫‪2 1‬‬
‫‪2R 0‬‬
‫‪A ‬‬ ‫‪V 0 ( ) P (cos  )sin  d ‬‬

‫‪‬‬
‫‪2  1  8K‬‬ ‫‪3K‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪P3  cos  ‬‬ ‫‪P1  cos   P (cos )sin  d ‬‬
‫‪2R 0  5‬‬ ‫‪5‬‬ ‫‪‬‬
‫المسموح بها هي‪ 1‬و‪ . 3‬بإجراء التكامالت نجد أن‪:‬‬ ‫ومن خصائص التعامد لدالة ليجيندر نجد أن قيم‬

‫‪41‬‬
 ‫‪3K‬‬ ‫‪8K‬‬
‫‪A1  ‬‬ ‫‪, A3 ‬‬
‫‪5R‬‬ ‫‪5 R3‬‬
‫بالتالي فإن الجهد الكهربائي داخل الكرة هو‪:‬‬
‫‪3K‬‬ ‫‪8K 3‬‬
‫‪V ins (r , )  ‬‬ ‫‪r P1    ‬‬ ‫‪r P3   ‬‬
‫‪5R‬‬ ‫‪5 R3‬‬

‫‪42‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫‪Chapter 4‬‬
‫الدالة التوافقية الكروية‬
‫‪Spherical Harmonic Function Y‬‬ ‫‪,m‬‬
‫) ‪( , )  Y m ( ,‬‬ ‫‪‬‬
‫) ‪ Y , m ( ,‬هي الدالة الوحيدة التي تظهر فيها الزوايا بشكل واضح‪ ،‬وتستخدم في المسائل الفيزيائية المرتبطة باالحداثيات‬
‫الكروية‪ .‬من الملحق الخاص باالحداثيات الكروية اشتققنا منه المعادلة التفاضلية الخاصة بدالة التوافقيات الكروية‪.‬‬

‫المعادلة التفاضلية ‪Differential equation‬‬

‫‪ 1  ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪1 2‬‬ ‫‪‬‬
‫‪‬‬ ‫‪ sin ‬‬ ‫‪ 2‬‬ ‫‪ (  1)  Y ,m ( ,  )  0‬‬ ‫(أ)‬
‫‪ sin   ‬‬ ‫‪‬‬ ‫‪ sin  ‬‬
‫‪2‬‬
‫‪‬‬
‫تعريف ‪Definition‬‬
‫‪  2  1 (  m)!‬‬
‫‪1/ 2‬‬
‫‪im‬‬
‫‪Y , m ( ,  )  (1) m ‬‬ ‫; ‪ P (cos  ) e‬‬
‫‪m‬‬
‫‪0m‬‬
‫‪ 4 (  m)! ‬‬
‫;) ‪Y , m ( ,  )  (1) m Y *, m ( , ‬‬ ‫‪m0‬‬
‫مالحظة‪ :‬بعض الكتب ال تستخدم المعامل )‪ (1‬في التعريف‪.‬‬
‫‪m‬‬

‫جدول لبعض القيم‬

‫ترميز ديراك‬
‫‪l‬‬ ‫‪m‬‬ ‫) ‪Y ,m ( , ‬‬
‫‪l, m‬‬
‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0, 0‬‬
‫‪4‬‬
‫‪3‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1, 0‬‬ ‫‪cos ‬‬
‫‪4‬‬
‫‪1, 1‬‬ ‫‪3‬‬
‫‪1 1‬‬ ‫‪sin  e  i ‬‬
‫‪8‬‬

‫‪2‬‬ ‫‪0‬‬ ‫‪2, 0‬‬ ‫‪5‬‬

‫‪16‬‬
‫‪3cos2   1‬‬
‫‪2, 1‬‬ ‫‪15‬‬
‫‪2 1‬‬ ‫‪cos  sin  e  i ‬‬
‫‪8‬‬
‫‪2, 2‬‬ ‫‪15‬‬
‫‪2 2‬‬ ‫‪sin 2  e 2i ‬‬
‫‪32‬‬

‫‪-----------------------------------------------------------------------------------------------------‬‬

‫‪43‬‬
 :‫ تحقق من العالقة‬:‫واجب منزلي‬
2l  1
Y l ,0  Pl (cos )
4
----------------------------------------------------------------------------------------------------

.  x  i y ‫ أوجد التمثيل التوافقي الكروي للدالة‬:‫مثال‬

:‫الحل‬
8
  x  i y  r sin  (cos   i sin  )  r sin  ei   r Y1,1
3
----------------------------------------------------------------------------------------------
 z  r cos  ‫ تذكر أن‬. Y3,0 ‫ أوجد التمثيل الكرتيزي للدالة‬:‫مثال‬
:‫الحل‬
7 7 1
Y3,0  P3 (cos )  (5cos3   3cos )
4 4 2
1 7
 cos (5cos 2   3)
4 


1 7 z z2
(5 2  3) 
4  r r
1 7 z
4  r 3
5 z 2  3r 2  
----------------------------------------------------------------------------------- ---------------------
Orthogonality relation ‫عالقة التعامد‬
2 
m ' m '   d   sin  d  Y *
,m
( , )Y ', m '
( , )   ' mm '
0 0

3
  Y11 ( , )  sin  ei ‫ تحقق من عيارية الدالة‬:‫مثال‬
8
:‫ المطلوب هو اثبات أن‬:‫الحل‬
M   * d 
 2  2
 0 
0
Y11 ( , )*Y11 ( , )d   0 sin  d 0 Y11 ( , )*Y11 ( , ) d  1
:‫فلنتحقق من هذا باجراء التكامل‬
 2  2  3  3 
M  0 sin  d 0 Y11 ( , )*Y11 ( , )d  0 sin  d 0  sin  e  i  sin  ei  d
 8  8 
3  2 3 
  sin  sin 2
 d  d     2   sin 2  d cos
8 0 0
8 0


3  3 1 3 1 1 3 4
  0 (1  cos 2  )d cos   [cos  cos3  ]   (1  1   )   ( )  1
4 4 3 0 4 3 3 4 3
.‫وهذا هو المطلوب اثباته‬
---------------------------------------------------------------------------------------------
44
Prof. Dr. Ibraheem Nasser

:‫ حيث‬Y11 ( , ) Lˆ y Y11 ( , ) ‫ احسب القيمة المتوسطة‬:‫مثال‬

   
Lˆ y  i ( z  x )  i (cos   cot  sin  )
x z  
:‫ تحسب القيمة المتوسطة كالتالي‬:‫الحل‬
 2
Lˆ y  0 sin  d 0 Y11 ( , )* Lˆ yY11 ( , )d
 2  
 0 sin  d 0 Y11 ( , )*[i(cos   cot  sin  )]Y11 ( , ) d  ??
 
. L̂ )‫ لذلك نلجأ الى استخدام المؤثرات السلمية (الدرجية‬،‫ من الصعب حساب التكامل بصورته النهائية‬:‫مالحظة‬
------------------------------------------ --------------------------------------------------------
Recurrence relations ‫عالقات تكرارية‬
1/ 2 1/ 2
 (  1  m)(  1  m)   (  m)(  m) 
cos  Y , m ( ,  )    Y 1, m ( ,  )    Y 1, m ( ,  )
 (2  1)(2  3)   (2  1)(2  1) 
 (  1  m)(  2  m) 
1/ 2
  (  m)(  m  1) 1/ 2  i
sin  Y , m ( ,  )    Y 1, m 1 ( ,  )     Y 1, m 1 ( ,  ) e
 (2  1)(2  3)    (2  1)(2  1)  

:‫ تحقق من صحة العالقة التالية‬Y1,0 ( ,  ) ‫ للدالة‬:‫مثال‬

1/ 2 1/ 2
 (  1  m)(  1  m)   (  m)(  m) 
cos  Y , m ( ,  )    Y 1, m ( ,  )    Y 1, m ( ,  );
 (2  1)(2  3)   (2  1)(2  1) 
.‫وذلك باستخدام طريقتين مختلفتين‬

:‫ الطرف األيسر يحسب من العالقة التعريفية كالتالي‬:‫الحل‬

1/ 2 1/ 2
 (1  1  0)(1  1  0)   (1  0)(1  0) 
cos  Y1,0 ( ,  )    Y2,0 ( ,  )    Y0,0 ( ,  )
 (2 1  1)(2 1  3)   (2 1  1)(2 1  1) 
1/ 2 1/ 2
4 1
  Y2,0 ( ,  )    Y0,0 ( ,  )
15  3
:‫الطرف األيسر يحسب باستخدام الجدول كالتالي‬
 3  1  16 
 
cos  Y1,0 ( ,  )  cos  
4
cos   
4
3

cos 2  , cos 2   
3 5
Y2,0 ( ,  )  1
  
3 1  16   4 1/ 2 1/ 2
1 
  Y ( ,  )  1 
   Y ( ,  )   3  Y0,0 ( ,  )
4 3  5
2,0 2,0
  15   

45
 :‫ أوجد التمثيل التوافقي الكروي للدالة الموجية‬:‫مثال‬
3  x  iy 
  
8  r 
‫ استخدم التحويالت‬:‫الحل‬
z  r cos , x  r sin  cos  y  r sin  sin  ,
:‫نجد‬
3  x  iy   i 8
    sin  cos   i sin  sin   sin  e  Y1,1
8  r  3
-------------------------------------------------------------------------------------------------------
:‫ أوجد التمثيل التوافقي الكروي للدالة الموجية‬:‫مثال‬

3  z  iy 
 (x , y , z )   
8  r 
‫ استخدم التحويالت‬:‫الحل‬
z  r cos , x  r sin  cos  y  r sin  sin  ,
:‫نجد‬
3  z  iy  3 3   1 1 1
 ( x, y, z )    cos   
sin  2i sin    Y1,0  Y1,1  Y1,1
8  r  8 8  i  i  2 2 2
 e e 
Another method
3  z  iy  3 z 3 iy
 (x , y , z )    
8  r  8 r 8 r
1 3 iy 1 3 x 1 3 x
 Y 1,0   
2 8 r 2 8 r 2 8 r
1 1 3 x  iy 1 3 x  iy
 Y 1,0  
2 2 8 r 2 8 r
1 1 1
 Y 1,0  Y 1,1  Y 1,1
2 2 2
In ket notation:
1 1 1
 
1, 0  1,1  1, 1
2 2 2
1 1 1
 *   1, 0  1,1  1, 1
2 2 2
1 1 1 1 1 1
   1, 0 1, 0  1,1 1,1  1, 1 1, 1     1 
2 4 4 2 4 4

46
Prof. Dr. Ibraheem Nasser

:‫ أوجد التمثيل التوافقي الكروي للدالة الموجية‬:‫مثال‬

 ( x, y, z )  C ( xy  yz  zx)e ar
2

‫ استخدم التحويالت‬:‫الحل‬
, z  r cos , x  r sin  cos  y  r sin  sin 
:‫نجد أن‬
xy  yz  zx  r sin  cos  sin   r sin  cos  sin   r sin  cos  cos ,
2 2 2 2 2

:‫والتعويضات التالية‬
2
8
sin 2  cos  sin  
1
4i
 
sin 2  e 2i   e 2i   xy 
r
2i 15
(Y 2,2 Y 2,2 ),

r2 8
sin  cos  sin  
1
2i
 
sin 2  e i   e  i   yz 
2i 15
(Y 2,1 Y 2,1 ),

r2 8
1
2
 
sin  cos  cos   sin 2  e i   e i   zx  
2 15
(Y 2,1 Y 2,1 ),

:‫نجد‬
2
r 8 1 1  2
 ( x, y, z )  C  (Y2,2  Y2,2 )  (Y2,1  Y2,1 )  (Y2,1  Y2,1 )  e ar
2 15  i i 

47
 :‫واجب منزلي‬
:‫ تحقق من العالقات التالية‬-1
2 8
a) sin  cos    Y1,1  Y1,1  b) sin 2  cos 2  Y2,2  Y2, 2 
3 15
2 8
c) xz  r 2  Y2,1  Y2,1  d ) x2  y2  r 2 Y2,2  Y2, 2 
15  15 
r2 2 2
e) xy   Y2,2  Y2,2  f) y  ir Y2,2  Y2, 2 
i 15  3 

48
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫ملحق‬
‫اإلحداثيات القطبية الكروية‬
‫‪Spherical Coordinate system‬‬
‫يوجد العديد من المسائل الفيزيائية التي يتطلب حلها استخدام االحداثيات الكروية‪ .‬لذلك سوف نلقي نظرة عابرة على هذه‬
‫االحداثيات‪.‬‬

‫في اإلحداثيات القطبية الكروية‪ ،‬تستخدم الزاويتان ‪  , ‬في تحديد موقع النقطة ‪ P‬على سطح كرة نصف قطرها ‪( r‬انظر‬
‫الشكل ‪ ) 1‬بحيث إن‪ . | r | x2  y 2  z 2 :‬من الشكل نجد أن‪:‬‬
‫‪z‬‬ ‫‪z‬‬
‫‪ cos ‬وتتغير من ‪ 0‬إلى ‪، ‬‬ ‫‪‬‬ ‫زاوية السمت الرأسية ‪ (Zenith angle) ‬تعرف بالعالقة‪:‬‬
‫‪r‬‬ ‫‪x  y2 z2‬‬
‫‪2‬‬

‫‪y‬‬
‫‪ tan  ‬وتتغير من ‪ 0‬إلى ‪. 2‬‬ ‫وزاوية السمت ‪ (Azimuthal angle) ‬تعرف بالعالقة‪:‬‬
‫‪x‬‬
‫يمكن ربط العالقات الثالث وعكسها في اإلحداثيات القطبية الكروية والكرتيزية كالتالي‪:‬‬
‫‪x  r sin  cos  ,‬‬ ‫‪| r |  x 2  y 2  z 2 ‬‬
‫‪x 2  y 2 ‬‬
‫‪y  r sin  sin  ,‬‬ ‫‪  tan‬‬ ‫‪1‬‬
‫‪‬‬ ‫( ‪)1‬‬
‫‪z‬‬ ‫‪‬‬
‫‪y‬‬ ‫‪‬‬
‫‪z  r cos  ,‬‬ ‫‪  tan 1‬‬ ‫‪‬‬
‫‪x‬‬
‫وعنصر الحجم هو ‪ d   r dr d ‬حيث تأخذ ‪ r‬القيم من ‪ 0‬إلى ‪ ‬وتعرف ‪ d   sin  d  d ‬بالزاوية المجسمة‪.‬‬
‫‪2‬‬

‫واجب منزلي‪ :‬من العالقات ( ‪ )1‬أثبت التفاضالت التالية‪:‬‬

‫‪r x‬‬ ‫‪ cos  cos ‬‬ ‫‪‬‬ ‫‪sin ‬‬ ‫‪x‬‬
‫‪  sin  cos ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ y‬‬
‫‪x r‬‬ ‫‪x‬‬ ‫‪r‬‬ ‫‪x‬‬ ‫‪r sin ‬‬ ‫‪‬‬
‫‪r y‬‬ ‫‪ cos  sin ‬‬ ‫‪ cos ‬‬ ‫‪y‬‬
‫‪  sin  sin ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪x‬‬
‫‪y r‬‬ ‫‪y‬‬ ‫‪r‬‬ ‫‪y r sin ‬‬ ‫‪‬‬

‫‪49‬‬
 r  sin   z
 cos   0 0
z z r z 

Classical Mechanics Quantum Mechanics

  
Lx  ypz  zp y ; Lˆx  yp
ˆˆ z  zp
ˆ ˆ y  i  y  z 
 z y 
  
Ly  zpx  xpz ; Lˆ y  zp
ˆ ˆ x  xp
ˆˆ z  i  z  x 
 x z 
  
Lz  xp y  ypx ; Lˆz  xp
ˆˆ y  ypˆˆ x  i  x  y 
 y x 
L2  L2x  L2y  L2z ; Lˆ2  Lˆ2x  Lˆ2y  Lˆ2z

‫مقارنة بين كمية الحركة الزاوية المدارية الكالسيكية والكمية‬

----------------------------------------------------------------- --------------------------------------
:‫ أثبت العالقة‬:‫مثال‬
    
. Lˆz  i  i  x  y 
  y x 

:‫ تحقق من الحسابات التالية‬:‫واجب منزلي‬

 r  x  2  2  x    1 x2   x2  2
  ,        ,
x x r r r x 2 x 2  r r   r r 3  r r 2 r 2
x/r
‫ومنها أثبت أن‬
 2
  2 
2
 2 2
 2 2   2
x 2
y z r r r

‫ أثبت العالقات اآلتية‬:‫واجب منزلي‬

50
Prof. Dr. Ibraheem Nasser
       
Lˆx  i  y  z   i  sin   cot  cos  
 z y     
       
Lˆ y  i  z  x   i   cos   cot  sin  
 x z     
 1    2  )2 (
 1
Lˆ2  Lˆ2x  Lˆ2y  Lˆ2z     sin    2
 sin      sin   
2

  cos   
Lˆ  Lˆx  iLˆ y  e  i   i
  sin   

:‫) مهمة جداً وخصوصا ً عند استخدامها بمعادلة شرودنجر‬2( ‫ بالمعادلة‬L̂2 ‫قيمة‬
1
Hˆ  Tˆ  Vˆ   2  V (r ),
2
:‫ في اإلحداثيات القطبية الكروية الشكل التالي‬ 2 ‫حيث يأخذ المؤثر البالسان‬
1   1 1     1   1   2   Lˆ2
2

2  2  r 2   2   sin      r  2 .
r r  r  r  sin      sin    r r  r  r
2 2 2

:‫وتأخذ معادلة شرودنجر (باستخدام الوحدات الذرية) الصورة‬

 1   2 2   Lˆ2 
Hˆ  nlm (r , , )     2    2  V (r )   nlm (r , , )
 2  r r r  2r 
:‫ونجد أن الدالة الكلية تأخذ الشكل‬
،  nlm   nlm (r, ,  )  Rnl (r ) Ylm ( ,  )
‫ تعرف بأنها الدالة التوافقية الكروية (سوف يتم تعريفها‬Y l , m ( ,  ) ‫ تعرف بأنها الجزء القطري للدالة و‬R n , (r ) ‫حيث‬
.)‫الحقا‬

‫طريقة فصل المتغيرات‬

:‫دعونا نبدأ بمعادلة البالس التفاضلية في االحداثيات الكروية وهي بالشكل‬
1 2
1   V  1  2V
 rV   2
2
V   sin   0 )‫(أ‬
r r 2 r sin      r 2 sin 2   2
:‫والتي يمكننا حلها بطريقة فصل المتغيرات وذلك باستخدام التعويض التالي‬
V (r , ,  )  (r )( )( )
 r 2  2 1      1  2
 sin   2
  sin    0
  r
2
 sin         2
:‫ومنها نحصل على ثالث معادالت تفاضلية وهم‬

51
 ‫)‪ 2 l (l  1‬‬
‫‪‬‬ ‫‪0‬‬ ‫( ‪ (Radial equation‬معادلة قطرية‬ ‫)‪(i‬‬
‫‪r 2‬‬ ‫‪r2‬‬
‫‪1  2 2‬‬
‫‪b  0‬‬ ‫)‪(Azimuthal equation‬‬ ‫)‪(ii‬‬
‫‪  2‬‬
‫‪1  ‬‬ ‫‪  ‬‬ ‫‪m2 ‬‬
‫‪‬‬ ‫‪sin‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ ‬‬‫‪l‬‬ ‫(‬‫‪l‬‬ ‫‪‬‬ ‫)‪1‬‬ ‫‪‬‬ ‫‪  0‬‬ ‫معادلة زاوية‬ ‫)‪(Angular equation) (iii‬‬
‫‪sin   ‬‬ ‫‪  ‬‬ ‫‪sin 2  ‬‬

‫للتأكد من صحة الحلول العامة للمعادالت التفاضلية يتم التعويض بكل حل على حدة بالمعادلة الخاصة به‪.‬‬
‫المعادلة (‪ )i‬لها الحل القطري البسيط‪:‬‬ ‫‪.I‬‬
‫‪B‬‬
‫‪(r )  Ar ‬‬ ‫‪1‬‬
‫‪r‬‬
‫و ‪ B‬هي ثوابت اختيارية يمكن إيجادها من الشروط الحدودية‪.‬‬ ‫حيث ‪A‬‬
‫المعادلة (‪ )ii‬يمكن التعامل معها كالتالي‪:‬‬ ‫‪.II‬‬
‫‪ 2‬‬
‫‪ b2‬‬ ‫(‪)1‬‬
‫‪‬‬ ‫‪2‬‬

‫حيث ‪ b‬قيمة ثابتة‪ .‬حل(‪ )1‬هو‪:‬‬

‫‪      C e‬‬ ‫‪ ib‬‬
‫( ‪)2‬‬
‫حيث ‪ C‬هو ثابت اختياري ويحسب بواسطة معايرة الدالة ‪. ‬‬
‫مالحظات‪:‬‬
‫بمقدار ‪ 2‬فإننا سنعود لنفس النقطة‪،‬‬ ‫الدالة (‪ )2‬غير مناسبة لالستخدام الفيزيائي؛ وذلك ألننا لو غيرنا الزاوية ‪‬‬ ‫أ‪-‬‬
‫وهذا يعني أن الدالة تكرارية القيم‪.‬‬
‫ب‪ -‬لكي تصبح الدالة غير تكرارية القيم يجب أن نحصرها في المدى ‪   0, 2 ‬ونستخدم العالقة‪:‬‬
‫‪       2 ‬‬
‫ومن ثم فإن الشرط‪:‬‬
‫‪Ceib  Ceib eib 2‬‬ ‫‪ eib 2  1‬‬
‫‪ib 2‬‬
‫‪ e‬فإن‪:‬‬ ‫ولكي يتحقق الشرط ‪ 1‬‬
‫‪2  b   2 m,‬‬
‫‪bm‬‬ ‫‪m  0, 1, 2,‬‬
‫وأخيراً نجد أن‪:‬‬
‫‪  Ceim ,‬‬ ‫‪m  0, 1, 2,‬‬ ‫(‪)5‬‬
‫‪‬‬
‫ج‪ -‬من المعادلة (‪ )5‬نالحظ أن القيم ‪ m‬هي قيم مميزة للمؤثر ‪ ، Lˆz  i‬حيث ‪ ، Lˆz   m ‬وهي قيم مكممة‬
‫‪‬‬
‫(قيم منفصلة)‪ ،‬ويسمى ‪ m‬بالعدد الكمي المغناطيسي‪.‬‬
‫‪52‬‬
Prof. Dr. Ibraheem Nasser
:‫ نستخدم خواص المعايرة‬، A ‫لحساب قيم‬
2
     Cei m   Cei m 
* 1
d  1  C  .
0 2

:‫) يمكن تبسطها باستخدام التعويض التالي‬iii( ‫المعادلة‬ .III

  cos ,    1,1
with Azimuthal symmetry m = 0, and using the definition   cos , to prove that:
d d d ,
  sin   (1   2 )
d d d
1 d  d  d2 d d  d 
 sin      2  (1   2 )
2
  d  
(1 )
sin  d   d  d 2
d d
This implies that the function P satisfies the equation
d  dP (  ) 
 (1   2 )   (  1)P (  )
d d  
(We now have P since for every  we will have a different function.). The last equation is the Legendre
equation, and its solutions are the Legendre polynomials Pm (  cos  ) .

:‫لنصل للمعادلة التفاضلية‬

d  2 d   m 2 
 (1  x )    (  1)    ,m  ,    0
 dx  dx   1  x 2 

‫ وسيتم تعريفها‬،‫المعادلة التفاضلية األخيرة هي معادلة "ليجندر" المرافقة وحلها يعطي دالة "ليجندر" المرافقة كثيرة الحدود‬
.‫والتعامل معها بالصفحة التالية‬

:‫ األن يمكن وضع الحل العام لمعادلة البالس التفاضلية بالصورة‬:‫مالحظة مهمة‬

 B 
V (r , ,  )    A r  1  ,m  ,  
m  r 

53
 ‫‪Chapter 5‬‬
‫دوال "بيسيل"‬
‫‪ Bessel Functions ‬‬
‫‪ Bessel functions of‬‬ ‫‪the First and second kind J ( x), N ( x) ‬‬ ‫دوال "بيسيل" من النوع األول والثاني‬
‫المعادلة التفاضلية ‪Differential equation‬‬
‫معادلة بيسيل التفاضلية من الدرجة الثانية‪:‬‬
‫‪ 2 d‬‬ ‫‪2‬‬
‫‪‬‬
‫‪x‬‬ ‫‪2‬‬
‫‪d‬‬
‫‪ x  x2 ‬‬ ‫‪‬‬ ‫‪2‬‬
‫‪ y( x)  0,‬‬ ‫‪0‬‬ ‫(‪)1‬‬
‫‪ dx‬‬ ‫‪dx‬‬ ‫‪‬‬

‫هو‪:‬‬ ‫حلها العام من الدرجة‬

‫)‪y ( x)  A J ( x )  B N ( x‬‬
‫حيث ‪ A‬و ‪ B‬ثوابت‪ .‬الحل األول )‪ J ( x‬يسمى دالة بيسيل من النوع األول‪ ،‬وهي دالة منتظمة في المدي ‪ . 0, ‬الحل‬
‫الثاني )‪ N ( x‬هو دالة بيسيل من النوع الثاني وتسمى دالة نيومان‪ ،‬وهي دالة شاذة )‪ (Singular‬لها القيمة ‪  ‬عند نقطة‬
‫األصل ‪ . x  0‬ينصب اهتمامنا دائما على الدوال المنتظمة في المدى المطلوب‪.‬‬

‫تعريف النوع األول ‪Definition of the first kind‬‬

‫‪2k‬‬
‫‪‬‬
‫‪(1) k‬‬ ‫‪x‬‬
‫‪J ( x)  ‬‬ ‫‪ ‬‬ ‫;‬
‫‪k  0   k  1   k   1  2 ‬‬
‫‪ 2k‬‬
‫‪‬‬
‫‪(1) k‬‬ ‫‪ x‬‬
‫‪J  ( x)  ‬‬ ‫‪ ‬‬
‫‪k  0   k  1   k   1  2 ‬‬

‫;)‪J  ( x)  (1) J ( x‬‬ ‫‪ 0,1, 2,‬‬

‫‪  0,1,2,‬نجد أن الدوال ) ‪ J (x‬و ) ‪ J  (x‬هي دوال مستقلة‪ ،‬وتكون الدوال ) ‪ J (x‬محدودة عند نقطة‬ ‫إذا كانت‬
‫األصل‪ ،‬بينما تكون الدوال ) ‪ J  (x‬غير محدودة‪.‬‬

‫‪54‬‬
Prof. Dr. Ibraheem Nasser
:‫ تحقق من القيم التالية‬:‫أمثلة‬
 2n
1 x  x2 x4 x6
1- J 0 (x )   (1)  1   
n
2  
n 0 n !   2  22 22  42 22  42  62
x x3 x5
2- J 1 (x )   4  7 
2 2 2 3

3-
1 1 5 9
2s  2

(1)s x  1  x 2 1  x 2 1  x 2
J 1 (x )      3    5  
 7  

s  0 s !(s  )  2  ( )  2  1!( )  2  2!( )  2 
2
3
2 2 2 2
1

1 x  2
 x2 x4  2
   1     sin(x )
1
 2  3! 5!   x
2
:‫تحقق من الحلول التالية من النوع األول فقط‬

1- the solution of the equation x 2  y2  x y  x 2  1  y  0 is

2

x x  9
y  c1J1/ 3 (x )  c 2J 1/ 3 (x )
2 y y
2- the solution of the equation x 2 x  x 2 y  0 is
x 2
x
y  c1J 0 (x )
2 y y
3- the solution of the equation x 2
x 2
x
x

 x 2  1 y  0 is 
y  c1J 1 (x )

Generating function ‫دالة مولدة‬

x 1
 (t  )
2 t 
e
(1  t ) k 1
 t

J (x )

Recurrence relations ‫بعض من العالقات التكرارية‬

2n
J 1 (x ) 
J (x )  J 1 (x );
x
d 1
J (x )  J 1 (x )  J 1 (x )
dx 2

55
 ‫جدول لبعض القيم‬

J (x ) J  (x )
1 2 2
2 sin x cos x
x x
3 2  sin x  2  cos x 
2   cos x    sin x 
x  x  x  x 
5 2  3  3  2  3  3 
2  2  1 sin x  cos x   2  1 cos x  sin x 
 x  x  x   x  x  x 

Definition of the second kind ‫تعريف النوع الثاني‬

:‫ والتي تعرف كالتالي‬،‫تسمى دوال نيومان‬ ‫النوع الثاني من الدرجة‬
1
N ( x)  Y ( x)   J ( x) cos(  )  J  ( x)
sin(  )
 2k
1 x 1 1 1 (  k  1)!  x 
  2 ln  2    J ( x)    
 2 k 1 k   k 0 k! 2
2k
1 
(1) k  k  1 1   x 
     
 k 1  k  !k !  r 1  r r     2 
N  ( x)  (1) n N ( x);  0,1, 2,

:‫ هو ثابت "أويلر" ويعطى بالقيمة‬ ‫ الرمز‬.‫ عند نقطة األصل‬  ‫ولها القيمة‬
d ln ( z )
  0.5772156649   (1);  ( z ) 
dz

1- x2y'' + xy' + (3x2 − 2)y = 0. Ans:

2- The Airy differential equation known in astronomy and physics has the form:

56
‫‪Prof. Dr. Ibraheem Nasser‬‬
‫‪It can be also reduced to the Bessel equation. Its solution is given by the Bessel functions of the fractional order‬‬

‫‪:‬‬

‫التجميعات التالية‪:‬‬
‫‪H‬‬ ‫)‪(1‬‬
‫) ‪ J (x )  iN (x‬‬
‫) ‪H (2)  J (x )  iN (x‬‬
‫تسمى دوال "هنكل" من النوع األول والثاني بالترتيب‪.‬‬

‫‪Spherical Bessel Functions‬‬ ‫‪j (x ), n (x ) ‬‬ ‫دوال "بيسيل" الكروية‬

‫‪1‬‬
‫‪ )  0,1,2,‬لو استخدمنا التعويض ‪ f ( x)  y( x) / x‬سنحصل على المعادلة‬ ‫‪( n ‬‬ ‫بمعادلة بيسيل وللقيم‬
‫‪2‬‬
‫التفاضلية‪:‬‬

‫‪d 2 f 2 df ‬‬ ‫‪(  1) ‬‬

‫‪‬‬ ‫‪ 1 ‬‬ ‫‪f ( x)  0‬‬
‫‪dx‬‬ ‫‪2‬‬
‫‪x dx ‬‬ ‫‪x 2 ‬‬
‫وتسمى معادلة بيسيل الكروية والحل العام لها هو‪:‬‬
‫‪f ( x)  A j ( x)  B n ( x),‬‬

‫حيث ‪ A‬و ‪ B‬ثوابت اختيارية‪ .‬معادلة بيسيل الكروية شبيهة بمعادلة شرودنجر في حالة انعدام الجهد‪ ،‬و ‪، x  kr‬‬
‫حيث ‪ k‬هو العدد الموجي‪.‬‬
‫تعرف دوال بيسيل الكروية كالتالي‪:‬‬
‫‪‬‬ ‫‪ 1 d   sin x ‬‬
‫‪j ( x) ‬‬ ‫‪J‬‬ ‫‪1‬‬
‫‪2‬‬
‫‪( x)  (  x) ‬‬ ‫‪ ‬‬ ‫‪‬‬
‫‪2x‬‬ ‫‪ x dx   x ‬‬

‫وتعرف دوال نيومان الكروية كالتالي‪:‬‬

‫‪‬‬ ‫‪ 1 d   cos x ‬‬

‫‪n ( x) ‬‬ ‫‪N‬‬ ‫‪1‬‬
‫‪2‬‬
‫‪( x )  (  x ) ‬‬ ‫‪ ‬‬ ‫‪‬‬
‫‪2x‬‬ ‫‪ x dx   x ‬‬

‫جدول لبعض القيم‬

‫‪57‬‬
 j (x ) n (x )
0 sin x

cos x
x x
1 sin x cos x cos x sin x
  2 
x2 x x x
2  3 1 3  3 1 3
 3   sin x  2 cos x   3   cos x  2 sin x
x x x x x x

‫ هو‬x  0 ‫ و‬x   ‫السلوك التقاربي عندما‬

‫الشرط‬ j (x ) n (x )
x 0 x 2  1!!
 2  1!! x 1

x  1 
sin  x 
 

1 
cos  x 
 
 
x  2  x  2 
2  1!!   2  1 2  1 2  3 4  3 1 ‫حيث‬

. r ‫ لقيم مختلفة للمسافة‬l (r ) ‫ و‬jl (r ) ‫الشكل التالي يوضح الدالتين‬

:‫و تعرف أيضا ً دوال هنكل الكروية كالتالي‬

h (1)  j (x )  in (x )
h (2)  j (x )  in (x )

58
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫الجهود المتماثلة كرويا‬

‫يقال عن طاقة الجهد ) ‪ V (r‬بأنها متماثلة كرويا ً )‪ (Spherically symmetric‬إذا كانت ) ‪ V (r‬ال تتغير بالدوران‬
‫)‪ ، (Rotationally invariant‬ولهذا فإن ) ‪ V (r‬تعتمد فقط على المسافة ‪ r = x2  y 2  z 2‬من مركز القوة‪ ،‬والتي ستختار‬
‫كنقطة أصل لإلحداثيات‪ .‬من ثم فإن األسطح المتساوية في الجهد تتكون من سطوح كرات مركزية (قشرة ‪ ) Shell‬تبعد عن‬
‫المركز بالمسافة الثابتة ‪ . r  constant‬ومميزات الجهد المركزي هي‪:‬‬
‫‪ -1‬إن كمية الحركة المدارية ‪ L‬له تكون محفوظة (ثابتة)‪،‬‬
‫‪ -2‬منه نستطيع تعريف القوة المركزية بالمعادلة‪:‬‬
‫‪r V‬‬
‫‪F  V (r )  ‬‬
‫‪r r‬‬
‫أ‪ -‬اختزال (تبسيط) مسألة القوى المركزية‪:‬‬
‫لجسيم كتلته ‪ ‬يتحرك في مجال قوة مركزية نجد أن الهملتونيان يعرف له كالتالي‪:‬‬
‫ˆ‬ ‫ˆ‬ ‫ˆ‬ ‫‪P2‬‬
‫‪H  T V ‬‬ ‫) ‪ V (r‬‬
‫‪2‬‬
‫وله صفة التبادل مع مؤثرات كمية الحركة المدارية‪ ،‬على سبيل المثال‪:‬‬
‫‪ Hˆ , Lˆ    Hˆ , Lˆ2    Hˆ , Lˆz   0‬‬
‫‪‬‬ ‫‪ ‬‬ ‫‪ ‬‬ ‫‪‬‬
‫وحيث إن‪:‬‬
‫‪ Lˆ2 , Lˆz   0‬‬
‫‪‬‬ ‫‪‬‬
‫لذلك فإن المؤثرات ‪ Lˆz ، L̂2‬و ˆ‪ H‬يصبح لهن دالة مميزة مشتركة‪ .‬دعونا نعرف الدالة في اإلحداثيات الكروية بالشكل‬
‫التالي‪:‬‬
‫) ‪(r )  R (r )Y l ,m ( ,‬‬
‫ومنها نجد أن معادلة شرودنجر (راجع ذرة الهيدروجين) تصبح‪:‬‬
‫‪‬‬ ‫‪2‬‬
‫‪1   2   Lˆ2‬‬ ‫‪‬‬
‫‪‬‬ ‫‪r‬‬ ‫‪‬‬ ‫‪V (r )    E ‬‬
‫‪ 2 r r  r  2 r‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪‬‬
‫وتأخذ المعادلة القطرية الشكل‪:‬‬
‫‪‬‬ ‫‪2‬‬
‫‪1   2  ‬‬ ‫)‪l (l  1‬‬
‫‪2‬‬
‫‪‬‬
‫) ‪  2 r 2 r  r r   2 r 2 V (r )  R (r )  ER (r‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫وهي معادلة تفاضلية مبنية على فصل المتغيرات للمؤثر ‪(  2‬ويُدعى البالسيان) في اإلحداثيات الكروية‪.‬‬
‫من المالئم أيضا ً أن نستخدم التعويض التالي‪:‬‬
‫) ‪u (r )  rR (r‬‬
‫لنجد أن ) ‪ u (r‬تحقق المعادلة القطرية‪:‬‬
‫‪2‬‬
‫)‪ 2u  2l (l  1‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬ ‫‪V (r )  u  Eu‬‬
‫‪2 r‬‬ ‫‪2‬‬
‫‪ 2 r‬‬
‫‪2‬‬
‫‪‬‬
‫وهي متطابقة في الصيغة مع معادلة شرودنجر ذات البعد الواحد مع االختالف في تعريف الجهد المؤثر بالشكل‪:‬‬

‫‪59‬‬
 ‫)‪l (l  1‬‬
‫‪2‬‬
‫‪.V eff (r ) V (r ) ‬‬
‫‪2 r 2‬‬
‫)‪l (l  1‬‬
‫‪2‬‬
‫‪ ،‬يسةةمى الجهةةد الطةةارد المركةةزي )‪ . (Centrifugal potential‬وظهةةور هةةذا الحةةد‬ ‫الحةةد اإلضةةافي بالجهةةد‪،‬‬
‫‪2 r 2‬‬
‫اإلضافي بالجهد يمكن تفهمه من مبادئ الميكانيكا التقليدية كالتالي‪ :‬لجسيم كتلته ‪ ، ‬يتحرك فةي مةدار دائةري نصةف قطةره ‪، r‬‬
‫تنشأ علية قوة طرد مركزية ‪ Fr‬تتجه قطريا ً للخارج (كما بالشكل ‪ .)1‬قيمة القوة تحسب من المعادلة‪:‬‬
‫‪v2‬‬ ‫‪L2‬‬
‫‪Fr  ‬‬ ‫‪ 3,‬‬
‫‪r r‬‬

‫ب‪ -‬جسيم يتحرك في مدار دائري‬ ‫شكل (‪ )1‬أ‪ -‬الجهد الطارد المركزي‬
‫‪2‬‬
‫حيث عرفنا ‪ L  vr‬بكمية الحركة الزاوية للمدار الدائري‪ .‬ويعرف الجهد بالعالقة ‪( V (r )  L 2‬نتيجةً‬
‫‪2 r‬‬
‫‪V‬‬
‫)‪. l (l  1‬‬ ‫‪2‬‬
‫ألن ‪ .) Fr  ‬وتبعا ً لفروض ميكانيكا الكم‪ ،‬يجب أن نستعيض عن ‪ L2‬بالقيمة المميزة لها وهي‬
‫‪r‬‬
‫على الرغم من تطابق المعادلة السابقة مع معادلة شرودنجر ذات البعد الواحد‪ ،‬فإن الشروط الحدودية المطلوبة للحل‬
‫مختلفة تماماً‪ ,‬حيث ‪ r‬موجبة‪ .‬ولتكون الدالة محددة في كل األماكن فيجب أن نضع هنا الشرط الحدودي ‪ u(0)  0‬أي أنها‬
‫تنعدم عند مركز القوى‪.‬‬
‫في حالة الموجة‪ ، s -‬وتعني أن ‪ ، l  0‬فإن المعادلة القطرية تؤول إلى‪:‬‬
‫‪2‬‬
‫‪ 2u‬‬
‫‪  E V (r )u  0‬‬
‫‪2 r 2‬‬
‫ب‪-‬حركة الجسيم الحر‪:‬‬
‫عندما نضع الجهد ‪ V (r )  0‬و ‪ k  2 E /‬لنجد أن حركة الجسيم الحر تتحقق بالمعادلة‪:‬‬
‫‪2‬‬ ‫‪2‬‬

‫)‪ d 2 2 d l (l  1‬‬ ‫‪‬‬

‫‪ 2‬‬ ‫‪‬‬ ‫‪2‬‬
‫‪ k 2  Rl (k , r )  0‬‬
‫‪ dr‬‬ ‫‪r dr‬‬ ‫‪r‬‬ ‫‪‬‬
‫باستخدام المتغيرات ‪  kr‬‬
‫‪ d2‬‬ ‫‪2 d‬‬ ‫‪l (l  1) ‬‬
‫‪ d  2   d   (1   2 )  Rl (  )  0‬‬
‫‪‬‬ ‫‪‬‬
‫وهي معادلة بسل التفاضلية الكروية‪ ،‬وحلها العام هو‪:‬‬
‫) ‪Rl (  )  A jl (  )  B n ( ‬‬
‫حيث ‪ A‬و ‪ B‬ثوابت اختيارية‪ jl ،‬هي دالة بسل الكروية و ‪ n‬هي دالة نيومان الكروية‪.‬‬

‫‪60‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬

‫والدالة ) ‪ Pl (cos ‬لقيم مختلفة للمتغير ‪. cos ‬‬ ‫والجدول التالي يوضح الدوال )‪ n ، jl ( x‬للمتغير ‪x‬‬

‫‪l‬‬ ‫) ‪Pl (cos ‬‬ ‫)‪jl ( x‬‬ ‫‪n‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪sin x‬‬ ‫‪cos x‬‬
‫‪‬‬
‫‪x‬‬ ‫‪x‬‬
‫‪1‬‬ ‫‪cos ‬‬ ‫‪sin x cos x‬‬
‫‪‬‬
‫‪cos x sin x‬‬
‫‪ 2 ‬‬
‫‪x2‬‬ ‫‪x‬‬ ‫‪x‬‬ ‫‪x‬‬
‫‪2‬‬ ‫‪1‬‬
‫) ‪(1  3cos 2‬‬ ‫‪ 3 1‬‬ ‫‪3cos x‬‬ ‫‪ 3 1‬‬ ‫‪3sin x‬‬
‫‪ 3   sin x ‬‬ ‫‪  3   cos x  2‬‬
‫‪4‬‬ ‫‪ x x‬‬ ‫‪x2‬‬ ‫‪ x x‬‬ ‫‪x‬‬

‫وحيث إن الحل عند المركز يجب أن يكون منتظما ً ومحدو َد القيمة )‪ (finite and regular‬فيجب وضع ‪ . B  0‬بالتالي فإن‪:‬‬
‫) ‪Rl (k , r )  Cjl (kr‬‬
‫‪2‬‬
‫‪ E ‬تأخذ جميع القيم الموجبة في المدى ‪ ، 0, ‬وتُمثّل‬ ‫وحيث إن القيم المميزة ‪ k‬هي قيم موجبة‪ ،‬لذلك نجد أن الطاقة ‪k 2‬‬
‫‪2‬‬
‫‪2‬‬
‫‪،E ‬‬ ‫بطيف مستمر )‪ . (continuous spectrum‬وقد رأينا سابقا ً أن الجسةيم الحةر‪ ،‬ذو كميةة الحركةة ‪ p  k‬والطاقةة ‪k 2‬‬
‫‪2‬‬
‫‪ik . r‬‬
‫‪ . e‬وحيث إن الدالة الكروية‬ ‫يمكن تمثيله بواسطة موجة مستوية‬
‫) ‪ E ,l ,m (r , ,  )  Cj l (kr )Y lm ( , ‬‬
‫تكون دالة كاملة فإننا نستطيع أن نضع الموجة المستوية ‪ e i k.r‬بداللتها بالشكل‪:‬‬
‫‪‬‬ ‫‪l‬‬
‫‪e‬‬ ‫‪i k.r‬‬
‫‪‬‬ ‫‪C‬‬ ‫‪lm‬‬ ‫) ‪(k ) j l (kr )Y lm ( , ‬‬
‫‪l 0 m  l‬‬
‫باختيارنا للمحور ‪ Z‬باتجاه المتجه ‪ ، k‬فإن‪:‬‬
‫‪i k.r‬‬ ‫‪ikr cos‬‬
‫‪e‬‬ ‫‪e‬‬ ‫‪ikz‬‬
‫‪e‬‬
‫وال تعتمد على الزاوية ‪ . ‬باستخدام التعويض ‪ w  cos‬نجد‪:‬‬
‫‪‬‬ ‫‪‬‬ ‫‪l‬‬
‫)ˆ‪eik.r  eikr cos   (2l  1)i l jl (kr ) Pl ( w)    i l jl (kr )Ylm* (kˆ)Ylm (r‬‬
‫‪l 0‬‬ ‫‪l  0 m  l‬‬

‫‪1‬‬ ‫‪l‬‬
‫‪r ‬‬
‫‪‬‬
‫‪kr l‬‬
‫)‪i l  2l  1 sin(kr  )Pl ( w‬‬
‫‪2‬‬

‫مثال‪ :‬ادرس حركة جسيم‪ ،‬في الحالة )‪ ، (l  0‬داخل بئر جهدي كروي التماثل‪ ،‬ويعرف بالعالقة اآلتية‪:‬‬

‫‪61‬‬
 ‫‪ 0, for‬‬ ‫‪ra‬‬
‫‪V (r )  ‬‬
‫‪, for‬‬ ‫‪ra‬‬
‫الحل‪ :‬يتحرك الجسيم بحرية ضمن المدى ‪ 0  r  a‬وتأخذ الدالة الصورة العامة‪:‬‬
‫) ‪ n,l ,m (r , ,  )  R(r )Yl ,m ( , ‬‬
‫) ‪  A jl ( kr )  B nl ( kr ) Yl ,m ( , ‬‬
‫حيةث ‪ A‬و ‪ B‬ثوابةةت اختياريةةة‪ ،‬ولكةةن الثابةةت ‪ B‬يةةؤول للصةفر‪ ،‬حيةةث إن الدالةة محةةددة عنةةد المركةةز( ‪ .) r  0‬وحيةةث إن‬
‫الجسيم ال يستطيع اختراق الحاجز عند الحد ‪ r  a‬وهذا ناتج عن كون الحاجز ال حد الرتفاعه‪ ،‬بمعنى أن ‪ .V (a)  ‬لذلك‬
‫فإن الدالة يجب أن تختفي (تؤول للصفر) عند الحد ‪ ، r  a‬ومنه نستنتج أن‪:‬‬
‫‪jl (ka)  0‬‬
‫المعادلة األخيرة تتحقق لقيم متعددة لجذور دالة بسل الكروية‪ ،‬ولنفترضها ‪ ،  nl‬انظر الجدول اآلتي‪:‬‬
‫‪ l  0 l  1 l  2 l  3‬رقم الجذر‬
‫‪1‬‬ ‫‪3.14 4.493 5.763‬‬ ‫‪6.99‬‬
‫‪2‬‬ ‫‪6.28 7.725‬‬ ‫‪9.09 10.42‬‬
‫‪3‬‬ ‫‪9.43 10.90 12.32 13.70‬‬
‫ومنها نجد أن الطاقة تتحقق بالمعادلة‪:‬‬
‫‪  nl ‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬

‫‪Enl ‬‬ ‫‪k2 ‬‬ ‫‪‬‬ ‫‪‬‬

‫‪2m‬‬ ‫‪2m  a ‬‬

‫مثال‪ :‬ادرس حركة جسيم داخل بئر جهدي كروي التماثل محدد العمق‪ ،‬ويعرف بالعالقة اآلتية‪:‬‬
‫‪V , for‬‬ ‫‪ra‬‬
‫‪V (r )   o‬‬
‫‪ 0, for‬‬ ‫‪ra‬‬
‫الحل‪ :‬باستخدام المعادلة الموجية نجد أن‪:‬‬
‫‪2‬‬
‫‪ 2u‬‬
‫‪‬‬ ‫‪ V0 (r )u  Eu,‬‬ ‫‪ra‬‬
‫‪2  r 2‬‬
‫‪ 2u‬‬
‫‪2‬‬
‫‪‬‬ ‫‪ Eu ,‬‬ ‫‪ra‬‬
‫‪2  r 2‬‬
‫ومن دراستنا السابقة نجد أن الحل العام يمكن وضعه بالصورة‪:‬‬
‫)| ‪2 (V0  | E‬‬
‫= ‪u in (r )  A sin(k in r )  B cos(k in r ), k in‬‬ ‫‪2‬‬
‫‪r a‬‬

‫| ‪2 | E‬‬
‫‪u out (r )  Ce  k out r ,‬‬ ‫= ‪k out‬‬ ‫‪2‬‬
‫‪r a‬‬

‫حيث إن اهتمامنا يتجه نحو طاقة المدارات ذات المسةتويات المرتبطةة )‪ ، (bound-state energy levels‬التةي تتحقةق مةن‬
‫الشرط ‪ . E  0‬والشرط الحدودي ‪ uin (0)  0‬يتطلب ‪. B  0‬‬
‫وحيث إن الدالة ومشتقاتها يجب أن تكون متصلة خالل الحد ‪ r  a‬فنجد أن الشرط الحدودي‪:‬‬

‫‪62‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬
‫‪ du in (r ) ‬‬ ‫‪ du out (r ) ‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ dr ‬‬ ‫‪‬‬
‫‪dr ‬‬
‫) ‪u in (r‬‬ ‫) ‪u out (r‬‬
‫‪r a‬‬ ‫‪r a‬‬

‫يعطينا المعادلة‪:‬‬
‫‪kin cot kin  kout‬‬
‫وبضرب المعادلة األخيرة بالمقدار ‪ a‬واستعمال العالقتين‪:‬‬
‫‪  akin ,‬‬ ‫‪  akout‬‬
‫نصل إلى المعادلة‪:‬‬
‫‪2V0‬‬
‫‪ cot    ,‬‬ ‫‪2  2 ‬‬ ‫‪2‬‬
‫‪a2‬‬

‫‪2 2‬‬
‫‪ ، V0 a 2 ‬ويوجد‬ ‫واجب منزلي‪ :‬ارسم الدالة ‪  cot   ‬ومن الرسم أثبت أنه ال يوجد مدارات إال إذا تحقق الشرط‬
‫‪8‬‬
‫‪2 2‬‬ ‫‪9 2 2‬‬
‫‪،‬‬ ‫‪ V0 a ‬‬
‫‪2‬‬
‫مستوى واحد مرتبط في حالة‬
‫‪8‬‬ ‫‪8‬‬

‫مثال‪ :‬ادرس حركة جسيم خارج بئر جهدي كروي التماثل‪ ،‬ويعرف بالعالقة اآلتية‪:‬‬

‫‪ 0, for‬‬ ‫‪ra‬‬

‫‪V (r )  ‬‬
‫‪, for‬‬ ‫‪ra‬‬
‫الحل‪ :‬يتحرك الجسيم بحرية ضمن المدى ‪ r  a‬وتأخذ المعادلة القطرية لشرودنجر خارج الكرة‪ ، V (r )  0 ،‬الصورة‪:‬‬

‫)‪ 2 1   2   2l (l  1‬‬ ‫‪‬‬

‫) ‪  2 r 2 r  r r   2 r 2 V (r )  R (r )  ER (r‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫وهي معادلة تفاضلية مكافئة لمعادلة بيسيل الكروية في اإلحداثيات الكروية بالشكل‪:‬‬
‫‪d R (  ) 2 dR (  ) ‬‬
‫‪2‬‬
‫‪(  1) ‬‬
‫‪‬‬ ‫‪ 1 ‬‬ ‫‪‬‬ ‫‪R (  )  0,‬‬ ‫‪  kr, k 2  2  E / 2‬‬
‫‪d‬‬ ‫‪2‬‬
‫‪ d‬‬ ‫‪‬‬ ‫‪ ‬‬‫‪2‬‬

‫وحلها العام هو‪:‬‬

‫) ‪R ( )  a j ( )  b  (‬‬

‫ومع الشرط الحدودي‪ R l (a)  0, :‬نتيجة للجهد ‪ ، V (a)  ‬فإننا نجد‪:‬‬

‫)‪j (ka‬‬
‫‪a j (ka)  b n (ka)  0  tan  ‬‬
‫)‪n (ka‬‬

‫‪63‬‬
 ‫حيث استخدمنا ‪ . a  A cos  , b  A sin ‬هنا تظهر حالتان للدراسة‪:‬‬

‫احسب ‪ tan ‬عندما ‪ka  1‬‬ ‫أ‪-‬‬

‫نستخدم التقريب التالي‬
‫‪ 1‬‬
‫)‪j (ka‬‬ ‫‪(ka) ,‬‬ ‫)‪n (ka‬‬ ‫)‪ (ka‬‬
‫‪k 0‬‬ ‫‪k 0‬‬

‫ومنه ينتج أن‬

‫)‪j (ka‬‬
‫‪tan  ‬‬ ‫‪ (ka)2‬‬ ‫‪1‬‬

‫)‪n (ka‬‬

‫هي القيمة الدائمة‬ ‫المقابلة للقيمة ‪ 0‬‬ ‫‪s‬‬

‫ونالحظ أن ‪ ‬تقل بسرعة مع زيادة قيم ومن ثم فإن الموجة‬
‫)‪j (ka‬‬
‫‪tan  0  0‬‬ ‫‪ ka‬‬
‫)‪n0 (ka‬‬

‫المقطع المستعرض الكلي للتشتت يحسب بالمعادلة‪:‬‬

‫‪4‬‬
‫‪ total ‬‬ ‫‪2‬‬
‫‪sin 2  0  4 a 2‬‬
‫‪k‬‬

‫نجد هنا أن قيمة المقطع المستعرض الكلي للتشتت أربعة أمثال القيمة الكالسيكية ‪ .  a‬هذا يرجع للخواص الموجية‬
‫‪2‬‬

‫للجسيمات ومنها ظاهرة الحيود‪.‬‬

‫ب‪ -‬التشتت عند الطاقات العالية ‪ka  1‬‬

‫)‪jl (ka‬‬ ‫)‪sin(ka  l / 2‬‬

‫‪tan  l  ‬‬ ‫‪‬‬ ‫)‪  tan(ka  l / 2‬‬
‫)‪nl (ka‬‬ ‫)‪cos(ka  l / 2‬‬
‫‪‬‬ ‫)‪ l  (ka  l / 2‬‬
‫‪4‬‬
‫‪ total ‬‬
‫‪k2‬‬
‫‪ (2l  1)sin‬‬
‫‪l‬‬
‫‪2‬‬
‫‪l ,‬‬

‫عند الطاقات العالية فإن التشتت ال يحدث للجسيمات البعيدة عن‬

‫‪b = Impact parameter‬‬
‫المركز ‪ ، b  a ،‬ولكن يحدث للجسيمات القريبة ‪ ، b  a ،‬انظر‪:‬‬
‫الشكل المرافق‪ ،‬وحيث إن كمية الحركة الزاوية مكممة‪ ،‬بمعنى أن‬
‫‪ mv b ‬فإن ‪ ، max  ka‬إذاً‪:‬‬
‫‪b‬‬ ‫‪k‬‬

‫‪a‬‬

‫‪64‬‬
‫‪Prof. Dr. Ibraheem Nasser‬‬
‫‪4‬‬ ‫‪4‬‬ ‫‪1  2 cos(ka ‬‬ ‫‪ / 2)‬‬
‫‪ (2  1) sin 2  ‬‬ ‫‪ (2‬‬
‫‪max‬‬ ‫‪max‬‬

‫‪ total ‬‬ ‫)‪ 1‬‬

‫‪k2‬‬ ‫‪0‬‬ ‫‪k2‬‬ ‫‪0‬‬ ‫‪2‬‬
‫‪4‬‬ ‫‪2‬‬
‫‪ (2  1) ‬‬ ‫‪ (2‬‬
‫‪max‬‬ ‫‪max‬‬

‫‪‬‬ ‫)‪ 1) cos(ka   / 2‬‬

‫‪k2‬‬ ‫‪0‬‬ ‫‪k2‬‬ ‫‪0‬‬
‫‪( 1)l‬‬

‫‪4‬‬ ‫‪2‬‬ ‫‪2‬‬

‫‪ (2‬‬
‫‪max‬‬

‫‪‬‬ ‫‪ 1) ‬‬ ‫(‬ ‫‪max‬‬ ‫‪ 1) 2 ‬‬ ‫‪2‬‬

‫‪max‬‬ ‫‪ 2 a 2‬‬
‫‪k2‬‬ ‫‪0‬‬ ‫‪k2‬‬ ‫‪k2‬‬

‫مالحظات‪:‬‬

‫‪ -1‬تم إهمال الجزء )‪ cos(ka   / 2)  (1‬حيث إنه يتذبذب بين قيم موجبة وسالبة‪ ،‬ومن ثم فإن مجموعه النهائي‬
‫يصبح كمية منعدمة‪.‬‬

‫‪‬‬
‫‪max‬‬

‫بالخطوة األخيرة‪.‬‬ ‫‪‬‬ ‫‪max‬‬ ‫(‬ ‫‪max‬‬ ‫استخدمنا العالقة التجميعية ‪ 1) / 2‬‬ ‫‪-2‬‬
‫‪0‬‬

‫‪ -3‬نجد هنا أيضا ً أن قيمة المقطع المستعرض الكلي للتشتت ضعف القيمة الكالسيكية ‪.  a‬‬
‫‪2‬‬

‫‪65‬‬
 Summary of the familiar special functions
N Contest Page

1. Gamma function…………………………… 2
.
2. Hypergeometric functions………………… 8

3. Laguerre polynomials…………………….. 13

4. Associate Laguerre polynomials………… 18

5. Legendre polynomials…………………….. 21

6. Associate Legendre polynomials………... 27

7. Bessel function…………………………….. 29

8. Modified Bessel function…………………. 37

9. Half-order Bessel function………………... 40

10. Chebyshev polynomials first kind(common) 43

11. Hermite polynomial……………………….. 46

12. Simple Harmonic Oscillator 49

13. Delta function………………………………… 51

14. Heaviside Unit Step Function……………….. 53

66
Prof. Dr. Ibraheem Nasser

1. Gamma function
Definition:

( z )   t z 1et dt z=x+iy , x 0 , this integral is convergent for z<0 (1.1)
0

Gamma function plot

Gamma function of special values
(n  1)  n! if n=0,1,2,.. (1.2)

1
(1)  1 , (2)  1 , (3)  2 , ( )  
2

In fact, many formulas involving n! Can be extended to non-integer cases by replacing n!

With (n  1) , and that is why the gamma function is also commonly referred to as the
generalized factorial function.

Gamma function properties

1.Multiplication Formula
1

(2 z )   2 22 z 1( z  1 ) (1.3)
2
1 1

3z  1
(3z )  (2 ) 2 2 ( z  )
3 (1.4)
2

67
 (1 n) 1
nz  j
(nz )  (2 ) 2 n 2 ( z  ) (1.5)
n
2.Recursion formula

( z  1)  z( z) z>0 (1.6)

(1  z)   z( z) (1.7)

( z  1)
The relation ( z )  can be used to extend the gamma function to
z
the left half plane for all z except when z is a non-positive integer (i.e.,
z  0, 1, 2,.... )

3.Reflection Formula:(sometime is called Euler’s reflection formula )

  t z-1
( z )(1  z )  = dt 0 z 1 (1.8)
sin  z 0 1+t
1 1 
(  z )(  z )  (1.9)
2 2 cos  z
(1  z ) (-1)n
( z  n)  (1)n ( z ) = (1.10)
(n  1  z ) sin  z(n  1  z )
4.Additional identities:

 ( z )(  z )   (1.11)
z sin  z
2 z
(iz )!  (1.12)
sinh ( z )
z n
2 2
(n  iz )!   s z (1.13)
sinh ( z ) s=1

Some Fractional Values

1 (1)m 2m 1 1.3.5...(2m  1)
(  m  )   , m=1,2,3,.. ( m  )   , m=1,2,3,.
2 1.3.5...(2m  1) 2 2m

68
Prof. Dr. Ibraheem Nasser

Derivative at x=1

(1)   ln t et dt=- (1.14)
0

Definition by products
n !n z
(z)= lim (1.16)
n z ( z  1).....( z  n)
 1+z  z
=z e z  [(
1
) e n ] ,  is euler constant. (1.17)
(z) n=1 n

Other integrals
z 
( z )cos   t z 1 cos t dt , 0 Re z 1 (1.18)
2 0
z 
( z )sin   t z 1 sin t dt , -1  Re z  1 (1.19)
2 0

Asymptotic expansion ( z  , arg z )

2 z  z 1 1 139
( z )  z e [1     ..] (1.20)
z 12 z 288 z 2 51840 z 3

2 z  z  B2n 1
For ln ( z )  ln( z e )  (1.21)
2n 1
z n 1 2n(2n  1) z
2 z  z 1 1 1 1
 ln(
z e )     .... (1.22)
z 12 z 360 z 3 1260 z 5 1680 z 7
Where Bn are the Bernoulli numbers. if we let z=n a large positive integer ,
then a useful approximation for n! is given by Stirling’s formula

(n  1)  n !  2 n nnen , n  
(1.23)

Logarithmic derivative of the gamma function

Definition: The psi or digamma function denoted  (x) is defined for any non
null or negative integer by the logarithmic derivative of  (x), that is
69
 d  1 1
( z )  ln ( z )     (  ), z  0, 1, 2 (1.24)
dz n 0 n  1 z  n

The above series is slowly converging for any non negative integer z

Special values
1 1 3 3 1 
(1)   ,  ( )    2ln 2 ,  ( )    ln 3   , ( )    3ln 2 
2 3 2 6 4 2

Asymptotic expansion: ( z  , arg z )

1  B
For:  ( z ) ln z    2n
(1.25)
2 z n1 2n z 2n
1 1 1 1
ln z   2
 4
  ... (1.26)
2 z 12 z 120 z 252 z 6

Series expansion of gamma function

 (1)k  (k ) k
ln((1  z ))   z   x ,x 1, (1.27)
k 2 k

(1)k ( (k )  1) k
ln (1  z ))   ln(1  z )  (  1) x   x ,x 1 (1.28)
k 2 k

The gamma function and the Riemann zeta function

 t z 1
 ( z ) ( z )   t
dt (1.29)
0 e 1
2 t
An example for the last equation x=2  t dt (1.30)
6 0 e 1

The gamma function and the beta function

Let R( x) 0 and R(y) 0, then 0

 ( x )( y )
B ( x, y )  (1.33)
( x  y )

70
Prof. Dr. Ibraheem Nasser

2. Hypergeometric functions
Introduction:

Recall the geometric series and binomial expansion z 1


(1  z )1   z n , (2.1)
n 0
  a   (a)
(1  z )a    ( z )n   n zn
(2.2)
n 0  n  n 0 n !

Definition:
Let us start from the Gaussian Hypergeometric differential equation which is
in the form of:

z(1  z) y  [c  (a  b  1) z] y  aby  0 (2.3)

Where a,b,and c are constants. The indicial equation of the hypergeometric

2
differential equation is: r  (1  c)r  0

Which has the roots: r1  0 and r2  1  c

Using the Frobenius method ,the series solution for r1  0 can be express as:

Solution:
ab z a(a  1)b(b  1) z 2 a(a  1)(a  2)b(b  1)(b  2) z 3
y1( z )  1     .... (2.4)
c 1! c(c  1) 2! c(c  1)(c  2) 3!
This series is called hypergeometric series. The sum of hypergeometric series
denoted by F (a, b; c; z ) is called hypergeometric function which is:

 (a) (b)
F (a, b; c; z )   n n n z (2.5)
n  0 (c ) n n !

71
 ab z a(a  1)b(b  1) z 2 a(a  1)(a  2)b(b  1)(b  2) z3
F (a, b; c; z )  1     .... (2.6)
z 1
c 1! c(c  1) 2! c(c  1)(c  2) 3!

ab z a(a  1)b(b  1) z 2
Also we can write : 2 F1(a, b; c; z )  1    .... (2.7)
c 1! c(c  1) 2!
(c)  (a+n)(b+n) z n
2 F1(a, b; c; z ) =  (2.8)
(a)(b) n 0 (c+n) n!
The notation 2 F1 signifies that there are two numerator parameters a and b, and one
denominator parameter c. Which has singularities at z=0,1,and 

2 F1 Is not the general solution, but it is that solution which behaves like a constant

near the singular point z=0

We can use the power series to find the behaviour of the solution near each of the
singular points

Special cases

F (a, b; c; z )  (1  z )a (2.9)

ln(1  z )
F (1,1;2; z )   (2.10)
z
1 3 1  1 z 
F ( ,1; ; z 2 )  ln   (2.11)
2 2 2z  1  z 

1 3 tan 1( z )
F ( ,1; ;  z 2 )  (2.12)
2 2 z
1 1 3 sin 1( z )
F ( , ; ; z2)  (2.13)
2 2 2 z

1 1 3 ln( z  1  z 2 )
F ( , ; ; z2 )  (2.14)
2 2 2 z
1
F ( ,1;1;sin 2 x)  sec x (2.15)
2
1 1 1
F ( ,  ; ;sin 2 x)  cos x (2.16)
2 2 2

F ( p,1;1;  z )  (1  z ) p (2.17)

72
Prof. Dr. Ibraheem Nasser

Polynomial case:

Polynomial case :for m=0,1,2,3,…

 (m) (b)   m  (b)

F (m, b; c; z )   n n n z   (1)n   n z n (2.18)
n 0 (c ) n n ! n 0  n  (c ) n

Properties:

Derivatives

d ab
F (a, b; c; z )  F (a  1, b  1; c  1; z ) (2.19)
dz c
dn (a)n (b)n
F (a, b; c; z )  F (a  n, b  n; c  n; z ) (2.20)
dz n (c ) n

Special values ;when Re (c-a-b)<0:

(c)(c-a-b)
F (a, b; c;1) = (2.21)
(c-a)(c-b)

Integral ; when Re c Re b 0:
(c) 1 b1 c b 1
F (a, b; c; z ) =  t (1  t ) (1  tz) a dt (2.22)
(b)(c-b) 0
The last equation shows that a hypergeometric function can be written in
term of gamma function

(c)(c-a-b)
For z=1 : F (a, b; c;1) = (2.23)
(c-a)(c-b)

Functional relationships:
z
F (a, b; c; z )  (1  z )a F (a, c  b; c; ) (2.24)
z 1

73
 z
F (a, b; c; z )  (1  z )b F (c  a, b; c; ) (2.25)
z 1

F (a, b; c; z)  (1  z)c a b F (c  a, c  b; c; z) (2.26)

Differential equation:

z(1  z) F   [c  (a  b  1) z]F   abF  0 (2.27)

singular points:

It has a regular singular points z=0,1,

Recursion formulae

F is F (a, b; c; z); F (a), F (a) are F (a 1, b; c; z), F (a 1, b; c; z), respectivly,etc.

(c  a) F (a)  (2a  c  az  bz) F  a( z 1) F (a)  0 (2.28)

c(c 1) (z-1)F (c)  c[c 1  (2c  a  b 1) z]F  (c  a)(c  b) zF (c)  0 (2.29)

c[a  (b  c) z]F  ac(1  z) F (a)  (c  a)(c  b) zF (c)  0 (2.30)

c(1  z) F  cF (a)  (c  b) zF (c)  0 (2.31)

(b  a) F  aF (a)  bF (b)  0 (2.32)

(c  a  b) F  a(1  z) F (a)  (c  b) F (b)  0 (2.33)

(c  a 1) F  aF (a)  (c 1) F (c)  0 (2.34)

(b  a)(1  z) F  (c  a) F (a)  (c  b) F (b)  0 (2.35)

[a 1  (b  1  c) z]F  (c  a) F (a)  (c 1)(1  z) F (c)  0 (2.36)

74
Prof. Dr. Ibraheem Nasser

3. Laguerre polynomials
Symbol: Ln ( x)

Interval:  0, 

The Laguerre polynomials are orthogonal on the interval from 0 to ∞ with

respect to the weight function w(x) = e-x. Surprisingly, this is sufficient to
determine the polynomials up to a multiplicative factor

for the first kind

Physical Origins:
Separation of variables solution to radial equation for quantum hydrogen
atom.
 2 d2 2
l (l  1) e2 
 
2 2m
   (r )  e (r ) (3.1)
 2m dr r2 r 

Differential Equation:
1 x
xn ( x)  n ( x)  (n   )n ( x)  0 (3.2)
2 4

Solution:

75
 x
n ( x)  e 2 L ( x)
n
(3.3)

The standard differential equation:

xy( x)  (1  x) y( x)  ny( x)  0 (3.4)

Where n is a real number .when n is a non-negative integer, i.e, n=0,1,2,…,

the solutions of Laguuerr’s differential equation are often referred to as :

Laguerre polynomials Ln ( x) :

xLn ( x)  (1  x) Ln ( x)  nLn ( x)  0 (3.5)

Solution

Regular: the first few Laguerre polynomials are

L0 ( x)  1

L1( x)  1  x

x2
L2 ( x)  1  2 
2
1
L3 ( x)  ( x3  9 x 2  18 x  6)
6
 m
n! x m
Ln ( x)    1 (3.6)
m 0 (n  m)!m!m!

When ordered from smallest to largest powers and with the denominators factored
out, the triangle of nonzero coefficients is 1; -1, 1; 2, -4, 1; -6, 18, -9 1; 24, -96, ....
The leading denominators are 1, -1, 2, -6, 24, -120, 720, -5040, 40320, -362880,
3628800,

The first 6 Laguerre polynomials

76
Prof. Dr. Ibraheem Nasser

Asymptotic expansion

At x  0 , Ln ( x)  1  nx  .. (3.7)

(1)n n 2 n1
At x   , Ln ( x)  ( x  n x  ..) (3.8)
n!

Generating function
 xz
e 1 z  1 1 3
  Ln ( x) z n  1  ( x  1) z  ( x 2  2 x  1) z 2  ( x3  x 2  3x  1) z 3..... (3.9)
1 z n 0 2 6 2

Recurrence Relations
A Laguerre Polynomial at one point can be expressed in terms of
neighbouring Laguerre Polynomials at the same point

Differential: xLn ( x)  nLn ( x)  nLn1( x) (3.10)

Ln ( x)  Ln 1( x)  Ln1( x) (3.11)

77
Polynomial: (n  1) Ln1( x)  (2n  1  x) Ln ( x)  nLn1( x) (3.12)

Orthogonality and Normalization

Laguerre Polynomials Ln ( x) , n  0,1,2,... , form a complete orthogonal set on

the interval with respect to the weighting function ,w(x) = e -x. It can
be shown that:

(3.13)

Ln (0)  1 (3.14)


x
 e Lm ( x) Ln ( x) dx   nm (3.15)
0
By using this orthogonality, a piecewise continuous function f ( x) can be
expressed in terms of Laguerre Polynomials:

(3.16)

(3.17)

This orthogonal series expansion is also known as a Fourier-Laguerre Series

expansion or a Generalized Fourier Series expansion.

Rodrigues Formula

The Laguerre Polynomials Ln ( x) can be expressed by Rodrigues' formula:

n
ex  d  n x
Ln ( x)    x e where n  0,1, 2,... (3.18)
n!  dx 

Special results
x
 Ln (t ) dt  Ln ( x)  Ln 1( x) (3.19)
0

78
Prof. Dr. Ibraheem Nasser

p x 
0 if p n
 x e Ln ( x) dx   n 2 (3.20)
0  (1) (n!) if p=n


 xn nx n1 n(n  1) x n 2 

Ln ( x)  (1)n     ...  (1) n  (3.21)
 n! 1!(n  1)!
 2!(n  2)! 


Schlaefli-type Integral Representations

ex z ne  z
Ln ( x)  c( x) dz (3.22)
2 i ( z  x)n1

The Laguerre polynomial Ln ( x) can be defined by the contour integral

1 e  xz 1  z
Ln ( x)  c(0) dz (3.23)
2 i (1  z ) z n1

79
 4. Associated Laguerre
Physical Origins
Separation of variables solution to radial equation for quantum hydrogen atom. The
normalized wave function for a hydrogenic atom with charge Z is,
 Zr
 2Z   n  l  1! na  2Zr  2l 1  2Zr 
3 l
 nlm (r , , )    e 0   Ln l 1   Ylm ( , ) (4.1)
na
 0 2 n ( n  l )!  na0   na0 
With the Bohr radius defined by a0  2 (Me2 ) and M being the mass of the
Electron. The radial function is the Associated Laguerre polynomial Lkn ( x)
2
Ze2
 2 nlm   nlm  En nlm (4.2)
2M r
Z 2M e4
And En   (4.3)
2n 2 2

Differential Equation

With   R(r )Ylm ( , ) and    r, 2  8ME / 2

and   (2MZe2 ) /( 2 )

Then defining  ( )  R(  /  )

the radial differential equation becomes

1 d  2 d  (  )    1 l (l  1) 
  d       4    ( )  0 (4.4)
2 d     2 

Standard form

xy( x)  (k  1  x) y( x)  (n  k ) y( x)  0 (4.5)

80
Prof. Dr. Ibraheem Nasser

xLkn ( x)  (k  1  x) Lkn ( x)  (n  k ) Lkn ( x)  0 (4.6)

Self-Adjoint Form
With p0 ( x)  xk 1e x , p1( x)  (k  1  x) xk e x , p2 ( x)  0,   n  k , w( x)  x k e x

d  k 1  x d k 
x e Ln ( x)   (n  k ) x k e x Ln ( x)  0 (4.7)
dx  dx 
Interval: x  (0, ). regular singular point at x  0. . Irregular singular point at
x  .

Solution

Regular

Lk0 ( x)  1 (4.8)

L1k ( x)   x  k  1 (4.9)

x2 (k  2)(k  1)
Lk2 ( x)   (k  2) x  ,.. (4.10)
2 2
k
 d 
Lkn ( x)  (1)k   Ln  k ( x) (4.11)
 dx 
n (n  k )! x m
Lkn ( x)   (1)m (4.12)
m 0 (n  m)!(m  k )!m!

Asymptotic expansion
(n  k )!  n 
At x  0. Lkn ( x)  1  x  ...  (4.13)
n !k !  k  1 

At x   Lkn ( x) 
n!

(1)n n
x  (n  k )(n  1) x n 1  ...  (4.14)

Irregular solution diverges at the origin physically irrelevant.

81
Generating function
e xz /(1 z ) 
k 1
  Lkn ( x) z n (4.15)
(1  z ) n 0

Recurrence relations

Differential : xLkn ( x)  nLkn ( x)  (n  k ) Lkn1( x) (4.16)

Polynomial: (n  1) Lkn1( x)  (2n  k  1  x) Lkn ( x)  (n  k ) Lkn1( x) (4.17)

Orthogonality and normalization

Lkn (0) 
 n  k ! (4.18)
n !k !

k x k  n  k !
 x e Lm ( x) Ln ( x)dx   nm
k
(4.19)
0 n!

Rodrigue’s formula
e x x k  d  k  n  x d k
n
Lkn ( x)    x e = d k x Ln ( x) (4.20)
n!  dx 

Schlaefli-type integral representations

1 e xz /1 z
Lkn ( x)   dz (4.21)
2 i c(0) (1  z )k 1 z n 1
e x x k z n  k e z
Lkn ( x)   dz (4.22)
2 i c( x) ( z  x)n 1

82
Prof. Dr. Ibraheem Nasser

5. Legendre function
Physical Origins
Separation of variables of Laplace, Schrödinger, Helmholtz and Diffusion equations in
spherical coordinates with azimuthal symmetry

for the first kind

for the second kind

83
Differential Equation
1 d  dPl (cos ) 
 sin    l (l  1) Pl (cos )  0 (5.1)
sin  d  d 

Standard and Self-Adjoint Form

With P0 ( x)  1  x2 , P1( x)  2 x , P2 ( x)  0 ,   l (l  1) , w( x)  1

(1  x)2 Pl( x)  2 xPl( x)  l (l  1) Pl ( x)  0 (5.2)

d  2 dPl ( x) 
 (1  x)   l (l  1) Pl ( x)  0 (5.3)
dx  dx 

Differential equation : Legendre function

(1  z 2 ) w  2 zw  (  1) w  0 (5.4)

The solution P ( z ), Q ( z ) can be given in terms of Gaussian hypergeometric

functions

Definition
1 1
P ( z )  F ( ,  1; ;  z ) (5.5)
2 2
 (  1) 1 1 1 3 
Q ( z )  F    1,   ;  ; z 2 
(5.6)
(  )(2 z ) 1  
3 2 2 2 2
2

Singular points
P ( z ) has a singular point at z  1 and is analytic in the remaining part of the complex plane

with a branch cut along (, 1) . Q ( z ) has a singular points at z  1 and analytic in the

remaining part of the complex z-plane , with a branch cut along (, 1)

Relationships

P 1( z )  P ( z ) (5.7)

84
Prof. Dr. Ibraheem Nasser

P 1( z)  Q ( z)   cot P ( z) (5.8)

Recursion relationship

(  1) P 1( z)  (2  1) zP ( z)  P 1( z) (5.9)

(2  1) P ( z)  P 1( z)  P 1( z) (5.10)

(  1) P ( z)  P 1( z)  zP ( z) (5.11)

 P ( z)  zP ( z)  P 1( z) (5.12)

(1  z 2 ) P ( z )   P 1( z )  zP ( z ) (5.13)

The function Q ( z ) satisfies the same relations

Integrals
1
2 cosh(  )
P (cosh  )   2 d (5.14)
 0 2cosh   2cosh 
1  e( 1/ 2)
=  d (5.15)
  2cosh   2cosh 
1 d
=   1 (5.16)
 0  cosh   sinh  cos 

1 
=   cosh   sinh  cos  d (5.17)
 0
1
2 cos(  )
P (cosh  )   2 d (5.18)
 0 2cos  2cos 
1 d
=  (5.19)
 0  cos   i sin  cos  1

85
 1 
=   cos   i sin  cos  d (5.20)
 0
1 (1  t 2 )
 1
Q ( z )  2   1
dt Re 1, arg z  , z   1,1 (5.21)
1 ( z  t )
  1
=   z  z 2  1cosh   d (5.22)
0 
 e( 1/ 2)
= d , z  cosh  (5.23)
 2cosh   2cosh 

Polynomial case

Legendre polynomials are special cases when

1 x
Pn ( x)  F21(n, n  1; ;  )
2 2
 n
 2 if n even (5.24)
m (-1)k (2n  2k )! n  2k
 n x , m
k=0 2 k !(n  k )!(n  2k )!  1 (n  1) if n odd
 2

Legendre polynomials satisfy (norm)

1 2
 Pn ( x)Pm ( x) dx   nm (5.25)
1 2m  1

Legendre series representation is

 2n  1 1
f ( x)   An Pn ( x) , An   f ( x) Pn ( x) dx (5.26)
n 0 2 -1
For integer order, we distinguish two cases : Qn ( x) (defined for x  (1,1) and

Qn ( z ) defined for Re z   1,1

1 1 x
Q0 ( x)  ln (5.27)
2 1 x
1 1 x
Q1( x)  x ln 1 (5.28)
2 1 x

86
Prof. Dr. Ibraheem Nasser

1 z 1
Q0 ( z )  ln (5.29)
2 z 1
1 z 1
Q1( z )  z ln 1 (5.30)
2 z 1
n-1 (2k  1)[1  (-1)n+k ]
In both cases Qn ( y)  Pn ( y)Q0 ( y)   Pk ( y) (5.31)
k=0 (n  k  1)(n  k )

Legendre polynomials Pn ( x) and functions Qn ( x) , x   1,1

N Pn ( x) Qn ( x)
1
0 1 ln[(1  x) /(1  x)]
2
1 x P1( x)Q0 ( x)  1
1 3
2 (3x 2  1) P2 ( x)Q0 ( x)  x
2 2
1 5 2
3 x(5 x 2  3) P3 ( x)Q0 ( x)  x 2 
2 2 3
1 35 55
4 (35 x 4  30 x 2  3) P4 ( x)Q0 ( x)  x3  x
8 8 24
1 63 4 49 2 8
5 x(63x 4  70 x 2  15) P5 ( x)Q0 ( x)  x  x 
8 8 8 15

Generating function
 1
n
 Pn ( x) z  (5.32)
n 0 (1  2 xz  z 2 )

Rodrigues’ formula
(1)n d n
Pn ( x)  n n
[(1  x 2 )n ] (5.33)
2 n! dx

Explicit expression
1 n / 2  n  2n  2m  n 2m
Pn ( x)  n  (1)m   x (5.34)
2 m 0  m  n 

Schlaefli integral representation

87
 1 (t 2  1)l
P1( z )  l c( z ) dt , (5.35)
2 2 i (t  z )l 1

C(z) is any closed counter clockwise around z

6.Associated Legendre function

88
Prof. Dr. Ibraheem Nasser

differential equation
 2 
(1  z 2 ) y  2 zy   (  1)  y0 (6.1)
 1  z 2 
The solution Q ( z ), P ( z ) , the associated Legendre functions can be given in

terms of Gauss hypergeometric functions. We only consider integer values of

 , and replace them with m, n respectively. Then, the associated differential
equation follows from the Legendre differential equation after it has been
differentiated m times

Relationships between the associated and ordinary

legendre functions
The following relationships are for z   1,1

1
m dm
m 2
Pn ( z )  ( z  1) 2 P ( z)
m n
(6.2)
dz
1
(1) m m d n m
Pnm ( z )  n 2
( z  1) 2
n m
( z 2  1)n (6.3)
2 n! dz
(n  m)! m
Pnm ( z )  Pn ( z ) 6.4)
(n  m)!
1
m dm
m 2
Qn ( z )  ( z  1) 2 Q ( z)
m n
(6.5)
dz
(n  m)! m
Qnm ( z )  Qn ( z ) (6.6)
(n  m)!
1
 mz z
m 2
Pn ( z )  ( z  1) 2  ......  Pn ( z )(dz )m (6.7)
1 m 1
1
 m 
m
Qn ( z )  (1) ( z  1) 2  ......  Qn ( z )(dz ) m
m 2 (6.8)
z m z

Pmn1( z )  Pnm ( z ) (6.9)

Orthogonality relationships
89
  0 if k  n
1 
 Pnm ( x)Pkm ( x) dx   2 (n  m)! (6.10)
1  2n  1 (n  m)! if k  n


Recursion relationships
2mz
Pnm1( z )  Pnm ( z )  (n  m  1)(n  m) Pnm1( z ) (6.11)
z2 1
dPnm ( z )
2
( z  1)  mzPnm ( z )  z 2  1 Pnm1( z ) (6.12)
dz

(2n  1) zPnm ( z)  (n  m  1) Pnm1( z)  (n  m) Pnm1( z) (613)

dPnm ( z )
( z 2  1)  (n  m  1) Pnm1( z )  (n  1) zPnm ( z ) 6.14)
dz

Pnm1( z )  Pnm1( z )  (2n  1) z 2  1 Pnm1( z) (6.15)

The functions Qnm ( z ) satisfy the same relations

Rodrigues formula
m
2 2 l m
(1  z ) d  (6.16)
Pnm ( z )    ( z 2  1)l
l
2 li  dz 

Schlaefli integral representation:

m (1  z 2 )m / 2 (t 2  1)l
Pl ( z )  c( z ) dt 6.17)
2l  m2 i (t  z )l  m1

C(z) is any closed counter clockwise around z

7.Bessel function
90
Prof. Dr. Ibraheem Nasser

Physical Origins
Separation of variables in polar and cylindrical coordinates for Laplace, Helmholtz
and similar equations of the form

2(r )  k 2(r )  0 (7.1)

91
Differential equation
d2 d
2 J ( )   J ( )  (   2 ) J ( )  0
2 2
(7.2)
d2 d

Self-adjoint form

With p0 (  )   , p1(  )  1 , p2 (  )   2 /  ,    2 , w(  )   .

d  d   2 2 
          J ( )  0
d   d 
J ( ) (7.3)
  

Differential equation

z 2 y  zy  ( z 2  2 ) y  0 (7.4)

where n is a non-negative real number. The solutions of this equation are called Bessel
Functions of order n . Although the order n can be any real number. The solutions are denoted
with J ( z ) and Y ( z ) (the ordinary Bessel functions)

Since Bessel's differential equation is a second order ordinary differential equation, two sets

of functions, the Bessel function of the first kind and the Bessel function of the second

kind (also known as the Weber Function) , are needed to form the general solution:

And H  ( z ) , H  ( z ) (THE Hankel functions)

1 2
(7.5)

Further solutions are

J  ( z ) , Y ( z ) , H  ( z ) , H   ( z )

1 2
(7.6)

When : is an integer, J n ( z )  (1)n J n ( z ), n  0,1,2,.. (7.7)

Singular points
The Bessel differential equation has a regular singularity at z  0 and irregular
singularity at z  

92
Prof. Dr. Ibraheem Nasser

Relationships

H  (z )  J (z )  iY  (z )
1 (7.8)

H  ( z )  J ( z )  iY ( z )
2 (7.9)

cos J ( z )  J  ( z )
Newmann function: if  0, 1, 2,... , Y ( z )  (7.10)
sin
When   n (integer)then the limit   n should be taken in thev wright-hand side of
this equation. complete solutions to Bessel’s equation may be written as :

c1J ( z)  c2 J  ( z ) if  is not an integer (7.11)

c1J ( z)  c2Y ( z ) for any value of  (7.12)

c1H(1) ( z )  c2 H(2) ( z ) for any value of  (7.13)

Series expansion:

For any complex z

n 1 2n
1   (-1) ( 2 z) (7.14)
J ( z )  ( z) 
2 n=0 (n   1)n!
1 1 1 4 1 1 6
J 0 ( z )  1  ( z)2  ( z)  ( z)  ... (7.15)
2 2!2! 2 3!3! 2
1  1 1 2 1 1 4 1 1 6 
J1 ( z )  z 1- ( z)  ( z)  ( z)  ... (7.16)
2  1!2! 2 2!3! 2 3!4! 2 
n
1  1 n 1
2 1  2 
z n 1 (n  k  1)!1 2k ( 2 z)  (1)k ( z)2k (7.17)
Yn ( z )  J n (z )ln( z)-  ( z)    (k  1)   (n  k  1)  2
 2  k o k! 2  k 0 k !(n  k )!

93
Recurrence relationships
Bessel functions of higher order can be expressed by Bessel functions of lower
orders

2
C 1( z )  C 1(z)= C ( z ) (7.18)
z

C 1( z )  C 1(z)=2C ( z ) (7.19)


C ( z )  C 1(z)- C ( z ) (7.20)
z

C ( z )  C 1(z)+ C ( z ) (7.21)
z

Where C ( z ) denoted one of the functions J ( z ) , y ( z ) , H(1) ( z ) , H(2) ( z )

Behaviour as z  0

Let  0 ,then


1 
 z (7.22)
J ( z ) 2 
(  1)

1 2
Y ( z )  ( )   (7.23)
 z

1 2
H(1) ( z ) ( )   (7.24)
i z

1 2
H(2) ( z )  ( )   (7.25)
i z

The same relations hold as   

94
Prof. Dr. Ibraheem Nasser

Fourier expansion

For any complex z


eiz sin t =  e int J n ( z ) (7.26)
n=-

With parseval relation


2
 J n ( z)  1 (7.27)
n=-

Auxiliary functions
1 1
Let   z  (   ) and define (7.28)
2 4

P( , z )   z / 2  J ( z )cos   Y ( z )sin   (7.29)

Q( , z )   z / 2   J ( z )sin   Y ( z )cos   (7.30)

Inverse relationships
J ( z )  2 /  z  P( , z )cos   Q( , z )sin   (7.31)

Y ( z )  2 /  z  P( , z)sin   Q( , z)cos   (7.32)

For Hankel functions:

Y(1) ( z )  2 /  z  P( , z)  iQ( , z) ei  (7.33)

Y(2) ( z )  2 /  z  P( , z )  iQ( , z ) ei  (7.34)

The functions P( , z), Q( , z) are the slowly varying components in the asymptotic
expansions of the oscillatory Bessel and Hankel functions

95
Asymptotic expansions

Let ( , n) be defined by

22n
( , n) 
n!

(4 2  1)(4 2  32 )...(4 2  (2n  1) 2 )  (7.35)

1
 (    n)
( , n)  2 , n  0,1, 2,... (7.36)
1
n!(    n)
2

(1)n cos( ) 1 1
( , n)  (    n)(    n) (7.37)
 n! 2 2

With recursion:

1
(n  )2   2
( , n  1)   2 ( , n), n  1, 2,3...,  ,0   1 (7.38)
n 1

Then for z  

P( , z )

n  , 2n 
 (1) (7.39)
n 0  2 z 2 n

Q( , z )

n  , 2n  1
 (1) (7.40)
n 0  2 z 2n1

With   4 2

(   1)(   9) (   1)(   9)(   25)(   49)

P( , z ) 1    .... (7.41)
2!(8 z )2 4!(8 z )4
  1 (   1)(   9)(   25)
Q( , z )   ... (7.42)
8z 3!(8 z )3

For large positive values of x

 1 1 
J ( x)  2 /  x  cos( x     )  O( x 1)  (7.43)
 2 4 

96
Prof. Dr. Ibraheem Nasser
 1 1 
Y ( x)  2 /  x  sin( x     )  O( x 1)  (7.44)
 2 4 

Integrals

Let Re z 0 and  be any complex number

1 sin   t  z sinh t
J ( z )   cos(  z sin  ) d  e dt (7.45)
 0  0

1
( z / 2) 1  1
J ( z )  (1  t ) 2
cos zt dt , Re   , z complex, z  0
1 1
2
2 (7.46)
 (  )
2

2( x / 2)  sin xt 1
J ( z )   1
dt , x 0, Re 
1 (7.47)
 
  (  ) 1   2
2 t 2 1 2

1 
t  t  z sinh t
Y ( z )   sin( z sin   )d   (e  e cos )e dt (7.48)
 0 0

2( )  cos xt
x
1
Y ( z )   2
 1
dt , x 0, Re  (7.49)
1   2
  (  ) 1 2
2 (t  1) 2

When   n (an integer),the second integral in the first relation disappears

Generating Function

g ( x, t )  e( x / 2)(t 1/ t )   J n ( x)t n (7.50)
n 

Orthogonality and Normalization


J 0 ( x)  2  J 2n ( x)  1 (7.51)
n 1

  J m ( ) J m (  )d   (   ) (7.52)
0

97
L L2 2
 J m ( ml  ) J m ( mn  )  d   J m1( ml L) nl (7.53)
0 2

Rodrigues-type Formula
m
m m1
d  (7.54)
J m ( x)  (1) x   J 0 ( x)
 x dx 

Schlaefli-type Integral Representation

1 e( x / 2)( z 1/ z ) (7.55)
J m ( x)  c(0) dz
2 i z m1

98
Prof. Dr. Ibraheem Nasser

8.Modified Bessel
Physical Origins
Separation of variables in cylindrical coordinates for Laplace, diffuson and
similar equations of the form

2(r )  k 2(r )  0 8.1

It differs from the usual Bessel function in the choice of separation constants.
Differential Equation

d2 d
2 I ( )   I ( )  (   2 ) I ( )  0
2 2
8.2
d2 d

Self-Adjoint Form

With p0 (  )   , p1(  )  1 , p2 (  )   2 /  ,    2 , w(  )   .

d  d   2 2 
        I ( )  0
d   d   
I ( ) 8.3
    

Standard:

d2 d
x2 I ( x)  x
2 
I ( x)  ( x 2  2 ) I ( x)  0 8.4
dx dx

Differential equation:

z 2 y  zy  ( z 2  2 ) y  0 8.5

Solutions I ( z ) and K ( z ) ,


z 
I ( z )    
 z / 2 2n
8.6
 2  n 0 (n   1)n!

99
  I  ( z )  I ( z )
K ( z )  8.7
2 sin
k
z 1  2  n1  n  k  1!  z 2 
n n
n 1 (1)n  z   ( z / 2)2k
K n ( z )  (1) I n ( z )ln            (k  1)   (n  k  1)  8.8
2 2  z  k 0 k!  4  2  2  k 0 k !(n  k )!
 

Relations with the ordinary Bessel functions

1 1
  i i 
I ( z )  e 2 J ( ze 2 ) ,  arg z  8.9
2
3 3
 i  i 
I ( z )  e 2 J ( ze 2 ) , arg z   8.10
2
1 1
  i (1) i 
K ( z )  ie 2 H ( ze 2 )
 ,  arg z  8.11
2 2
1 1
   i  i 
K ( z )   ie 2 (2)
H ( ze 2 )
 , arg z   8.12
2 2
1 1 1
i ( 1) i 2  2 i 
Y ( ze )  e
2 2 I ( z )  e K (z) ,  arg z  8.13
 2

For n=0,1,2,..

I n ( z )  i n J n (iz ) 8.14

2 n
Yn (iz )  i n1I n ( z )  i K n (z) 8.15


I n ( z )  I n ( z ) 8.16

K ( z )  K ( z ) 8.17

for any 

Recursion relationships
2
I 1( z )  I 1(z)= I ( z ) 8.18
z

I 1( z )  I 1(z)=2I ( z ) 8.19

100
Prof. Dr. Ibraheem Nasser

2
K 1( z )  K 1(z)= K ( z ) 8.20
z

K 1( z )  K 1(z)  -2K ( z) 8.21

INTEGRALS
1  z cos sin   t  z cosh t
I ( z )   e cos( ) d  e dt 8.22
 0  0

 2 z  e z 1
2 zt 
1
1
I ( z ) 
1 
e t (1  t ) 2 dt , Re  , z complex,z  0 8.23
 (  ) 0 2
2

K ( z )   e z cosh t cosh( t ) 8.24
0

 ( ) e z 
2 1 1
2 zt
  1
K ( z )  z 2 (t  1) 2 dt , Re  , Re z
1 0
e t 0 8.25
(  ) 2
2
1 
(  )  2 z   cos xt dt 1 1
 2 2  1/ 2 dt , Re  8.26
K ( xz )  2  ,x 0, arg z
 x 0 (t  z ) 2 2

When   n (an integer),the second integral in the first relation disappears

Generating Function

g ( x, t )  e( x / 2)(t 1/ t )   I n ( x)t n 8.27
n 

Orthogonality and Normalization


I 0 ( x)  2  (1)n I 2n ( x)  1 8.28
n 1

  J m ( ) J m (  )d   (   ) 8.29
0
L L2 2
 J m ( ml  ) J m ( mn  )  d   J m1( ml L) nl 8.30
0 2

101
 9. Half order Bessel functions (Spherical
Bessel).
Physical Origins

Radial equation solution of separation of variables of Helmholtz equation,

 2  k 2    0 9.1

in spherical coordinates

Differential Equation

Self-Adjoint Form

With p0 (r )  r 2 , p1(r )  2r , p2 (r )  n(n  1) ,    2 , w(r )  r 2

d  2 dR(r ) 
r
dr  dr 
2 2

   r  n(n  1) R(r )  0  9.2

Standard

d  2 dyn ( x) 
x
dx  dx 
2
 
  x  n(n  1) yn ( x)  0 9.3

Or:

z 2 f   2 zf    z 2  n(n  1)  f  0 9.4
 

Physical interval
0  x   (Sometime finite interval 0  x  L ).regular singular point, x  0 .irregular
singular point, x  

102
Prof. Dr. Ibraheem Nasser

Solutions

For integer values of n, let:

jn ( z )   /(2 z ) J 1 ( z) ,
n 9.5
2

yn ( z )   /(2 z ) Y 1 ( z )
n 9.6
2

Then:

sin z
j0 ( z )  , 9.7
z
cos z
y0 ( z )   9.8
z

And for n  0,1,2..

n
 1 d  sin z
jn ( z )  ( z )n  , 9.9
 z dz  z
n
 1 d  cos z
yn ( z )  ( z )n  9.10
 z dz  z

Regular jn ( z )

 (1)k (k  n)! 2k
jn ( z )  2n z n  z 9.11
k 0 k !(2k  2n  1)!

Small argument expansion about z  0

zn
jn ( z )  9.12
(2n  1)!!

Large argument expansion about z  

sin( z  n / 2)
jn ( z )  9.13
z

103
Irregular solution or second solution : nn ( z )

(1)n1  (1)k (k  n)! 2k

nn ( z )  n n1  z 9.14
2 z k 0 k !(2k  2n)!

Small argument expansion.

(2n  1)!!
nn ( z )   9.15
z n1

Large argument expansion

cos( z  n / 2)
nn ( z )   9.16
z

Generating function: not available

Recurrence Relations: Regular and irregular solutions have same recurrence

Relations

(2n  1) f n ( z)  nf n1( z)  (n  1) f n1( z) 9.17

(2n  1) f n ( z)  z  f n1( z)  f n1( z) 9.18

Orthogonality and Normalization

  nm
 jn ( x) jm ( x)dx  9.19
 2n  1
L L3 2
 jm ( ml  ) jm ( mn  )  d   jm1( ml L) nl
2
9.20
0 2

Rodrigues-type Formula
n
n1 d  sin x
jn ( x)    x    9.21
 x dx  x

104
Prof. Dr. Ibraheem Nasser

10.Chebyshev polynomials first kind(common)

Physical Origins
Type I Chebyshev polynomials are encountered frequently in numerical analysis and
approximation theory.

Differential equation

(1  x2 )Tn( x)  xTn  n2Tn ( x)  0 10.1

Self-Adjoint Form

With p0 ( x)  1  x 2 , p1( x)  2 x / 1  x2 , p2 ( x)  0 ,   n2 , w( x)  1/ 1  x2

d  2 dTn ( x)  n2
 (1  x )   Tn ( x)  0 10.2
dx  dx  1  x2

Interval

1  x  1 .singular points x  1,1

105
Solutions

T0 ( x)  1 , T1( x)  x , T2 ( x)  2 x 2  1 10.3

n  n / 2 m (n  m  1)!
Tn ( x)   (1) (2 x)n2m = Tn ( x)  cos(n cos1( x)) 10.4
2 m 0 m!(n  2m)!

Small argument expansion about x  0

T2n   1 (1  2n2 x  ...)

n
10.5

T2n1   1 (nx  ...)

n
10.6

Large argument expansion, x  1

Tn  1  (1)n 10.7

1
Weight: p0 ( x)  10.8
1  x2

Generating Function
1 t2 
2
 T0 ( x)  2  Tn ( x)t n 10.9
1  2 xt  t n 1

Recurrence Relations (Samples)

(1  x2 )Tn ( x)  nxTn ( x)  nTn1( x) 10.10

Tn1( x)  2 xTn ( x)  Tn1( x)  0 10.11

Orthogonality and Normalization

Tn  1  (1)n 10.12

106
Prof. Dr. Ibraheem Nasser
 
1 Tn ( x)Tm ( x)   for n  0 
 dx   2 nm  10.13
1 1 x 2

  for n  m  0


Rodrigues-type Formula
 (1  x 2 )  d n (1  x 2 )n
Tn ( x)  (1)n
1   10.14
2n (n  )!  dx  (1  x 2 )
2

Schlaefli-type Integral Representation

1 (1  z 2 )
c(0) dz  2Tn ( x), (n 0) 10.15
2 i (1  2 xz  z 2 ) z n1

Chebyshev Polynomial of the Second Kind

107
 11.Hermite
Physical Origins

Solution of the quantum harmonic oscillator in one dimension.

Differential Equation

y( x)  2 xy( x)  2 y( x)  0 11.1

Standard and Self-Adjoint Form

H n ( x)  2 xH n ( x)  2nH ( x)  0 11.2

p0 ( x)  e x , p1( x)  2 xe x , p2 ( x)  0 , w( x)  e x ,   2n
2 2 2
With 11.3

d   x2 d 
y ( x)   2ne x y( x)  0
2

e 11.4
dx  dx 

Interval

Physical interval:   x   ,no regular singular points.irregular singular point, x  

108
Prof. Dr. Ibraheem Nasser

Solutions

H0 ( x)  1 , H1( x)  2 x , H 2 ( x)  4 x2  2 , H3 ( x)  8x3  12 x 11.5

 n / 2 n!
H n ( x)   (1)k (2 x)n2k 11.6
k 0 (n  2k )!k !

Small argument expansion about x  0

H 2n ( x)  (1)n
 2n ! (1  2nx2  ..) 11.7
n!

H 2n1( x)  (1)n
 2n ! (2 x  n(2 x3 )  ..) 11.8
n! 3!

Large argument expansion, x  

H n  x   (2 x)n 11.9

Generating Function
 tn
t 2  2tx
g ( x, t )  e   H n ( x) 11.10
n 0 n!

Recurrence Relations

H n  x   2nH n1( x) 11.11

H n1  x   2 xH n ( x)  2nH n1( x) 11.12

Orthogonality and Normalization


x
 H n  x H m  x  e dx  2 n!  nm
2
n
11.13


Rodrigues-type Formula

109
 n
d 
H n  x   (1) e   e x
n x2 2
11.14
 dx 

Schlaefli-type Integral Representation

e z  2 zx
2
n!
Hn  x  c( z 0) dz 11.15
2 i z n1

110
Prof. Dr. Ibraheem Nasser

12.Simple Harmonic Oscillator

Physical Origins

Ubiquitous

12

10

n 4
4
n 3
n 2
2
n 1
n 0
-4 -2 2 4
12
n 2
10

x x
6

x
2

-4 -2 2 4
12
n 3
10

8
x x

4
x

-4 -2 2 4

Differential Equation

Standard and Self-Adjoint Form

d 2 y ( x)
2
 k 2 y ( x)  0 12.1
dx

111
Interval:

Infinite x  (, ) of finite x  (0, L)

Singular points: No Regular Singular Points. Irregular Singular Points, x  

Solutions:
2n x
sin kx and cos kx .or eikx with kn  12.2
L

With periodic boundary conditions.

Small argument expansion about x  0

x3 x2 x4
sin x  x   ... and cos x  1    ... 12.3
3! 2! 4!

Orthogonality and Normalization

1  i (k k )
 e   (k  k ) 12.4
2 
1 L i ( kn  km )
e   nm 12.5
L0

112
Prof. Dr. Ibraheem Nasser

13.Dirac delta function

13.1

Properties of Dirac delta function


  ( x)dx  1 13.2


  ( x  a) f ( x)dx  f (a) 13.3


  ( x) f ( x)dx  f (o) 13.4


 f ( x) ( x  a)   f (a)
' 13.5

 f ( x) ( x  a)  (1) f (a)

n n n 13.6

113
 1
 ' ( x)    ( x) 13.7
x
k1
 k ( x)  (1)k  ( x) 13.8
xk
1
 (kx)   ( x) 13.9
k

 ( x)   ( x) 13.10

 ' ( x)   ' ( x) 13.11

 ( x  a )   ( a  x) 13.12

 ( x  xi )
  f ( x)   xi  zero, of f ( x)
i df 13.13
dx x
i

  ( x  a) ( x  b)dx   (a  b) 13.14

Delta in spherical coordinates :

1
 3 ( x  x)   (r  r) (cos cos ) (   ) 13.15
r2

Delta in cylinderical coordinates :

1
 3 ( x  x)   (    ) (   ) ( z  z ') 13.16


Relation with step function:

d
( x  x)   ( x  x ') 13.17
dx
d
( x ' x)   ( x ' x) 13.18
dx

114
Prof. Dr. Ibraheem Nasser

14.Heaviside Unit Step Function

14.1

115