Các hàm đặc biệt trong Vật Lý

Các hàm đặc biệt trong Vật Lý

Các hàm đặc biệt Vật Lý I.Các công thức mở rộng Qui tắc tính đạo hàm bậc n tích- tổng… dn (n) a  f  g   n (f g)  nj0 C nj f  i  g n  j dx n  n b (a b)  j0 ( 1) j C nj a jb n  j ( Nhị thức Newton) c (x.f(x) )  x e x (n) k n  j0   n  Cnj x jf(x) (n  j) dn dx n  (n  1) C0n x  C1n x 'f (x) n  j e  x x k   C nj e  x  xk x     j0 dn dx n (1.1) (1.2) f  n dn dx n  f (1.3)  n  j  n k! j Cnj e  x x (k  n  j) where k n d     1 (1.4)  k  n  j !  jo  k    1 j k! C j e  x x j where k n n  j!  j (x k )(n) ((x k ) ')(n  1) k.(x k  )(n  1)  k(k  1) (k  n  1)x (k  n) ý: k!  x (k  n) (k  n)! (1.4a) tương tự: (e  x ) n   (  1) n e  x (1.4b) x e Nếu đặt e (e và: L(kj) (x) (1.5b) từ (1.4) ta có: x k (k) x ) dj x L k (x) e dk k dx dk  e xx k  dj  x  j  L k (x)   j  e k e  x x k dx dx  dx  (1.5a)     Ljk (x) vi : x  dj k k k! i  i  k! i j i k! i i  j  j  (  1) C n x   (  1) C n (x )   (  1) i x   Cij i! i! (i  j)! dx i 0 i 0 i 0 i  j Ljk (x) k i 0  i  j,cho  nen : k   (  1)i Cin i j k j   (  1)i  j Cik j i 0 (1.5) k! i j x   (i  j)! k! i x i! L k Ljk đa thức x II Đa thức Hermit Xét hàm số: y = A.e  x Có nghiệm dạng: y’ + 2xy = (2.1) Đạo hàm (n+1) lần hai vế phương trình ý đến (1.3) đặt d n  x2 n  v(x) y A n (e ) , ta có: v" 2xv ' 2(n  1)v 0 dx Đặt: v(x) e  x u(x) thay vào (2.2), ta được: u" 2xu ' 2xu 0 (2.3) Tương tự, ta có: u e x2 v e x2 A Đặt A (  1) n ta có: u (  1) n e x dn dx dn (e  x ) , A số tùy ý n (e  x ) H n (x) n dx H n (x) đa thưc Hermite bậc n, nghiệm phương trình (2.3): , chẵn lẻ với n H"n (x)  2xH 'n (x)  2xH n (x) 0 Các dạng đặc biệt: H (x) 1 H1 (x) 2n H (x) 4x  H (x) 8x  12x H (x) 16x  48x  12 Một số công thức suy biến: 1 x.H n (x) n.H n  (x)  H n 1 (x) (2.2) d H n (x) 2x.H n  (x) dx x.H n  (x) (n  1)H n   H n x.H n 1 (n  1).H n  H n 2 d H n  2(n  1)H n  dx d H n 1 2(n  1)H n dx d2 d H n 2n H n  4n(n  1)H n  dx dx Cơng thức chuẩn hóa: n x2   x 2 e H n (x)dx  với H n (x) (  1) e H  d   H (  1) n   H n n dx dx e x n 2 x e dx =…= 2n.n!  n dn  Tính tích phân: I  dn  H n (x)  dx e  x dx n Tích phân phần ta có: I H n (x) dn dx n  e  x2 d d n   x2   H n n  e dx     dx dx   , số hạng đứng trước tích phân tỉ lệ với e  x Tiếp tục tính tích phân phân đoạn (n-1) lần ý số hạng đứng trước tích phân e  x I (  1) n  e  x2 dn dx n  H n (x)dx , ý đến (2.4): n dn  n n(n  1) n n  d n n  n n H (x)  2x  2x   2x  x  n!       n  dx n 1! dx n dx n  d n   n n H   1 I 2 n!  e  x2 dx 2 n.n!    ( I0  x  e dx   tích phân Poisson)  Chú ý: Nếu :   x e H n H m dx   0 Hn Hm trực giao III Đa thức Legendre Hàm điều hòa cầu y(x) A.(x  1)l xét hàm số: ( A = const, l nguyên dương) Là nghiệm tổng quát phương trình: (1  x ).y ' 2lxy 0 ( l  N \ ) (3.1) Đạo hàm (l+1) lần hai vế (3.1), ý rằng: l 1 d l 1  l 2 l 1 l j 2  j   l   j   x y '  C  x y (1  x )y     l  1   2x  y    l  l  1 y    l  l 1   j0 dx , để ý đến (1.3) đặt v y l  ta có:       x  v" 2xv ' l(l  1)v 0 Nếu chọn: A  l l! thì: v(x)  (3.2) dl x  1 l l l! dx l Pl (x) Pl (x) Hay: gọi đa thức Legendre thỏa mãn phương trình (3.2):  x Pl" (x)  2xPl' (x)  l(l  1)Pl (x) 0   (3.2a) Đạo hàm phương trình (3.2a) m lần, ý đến (1.1) (1.3) d2   x  dx Pl m (x)   m  1 x dxd Pl m (x)   l  m  (l  m 1)Pl m (x) 0 (3.3) m m  Kí hiệu: Pl m  (x)  d Pl (x) u(x)  x 2 dx m  m2   x u"  2xu '  l l   u 0  Thay (3.4) vào (3.3)   2  x      u(x)   m 2 x  trình (3.5): 1  x   Plm (x)   dm dx P (x) m l  " 2x  , khoảng  x 1 (3.4) (3.5) Plm (x) gọi đa thức Legendre biến đổi, thỏa mãn phương Plm (x)   m2  m '   l  l  1  P (x) 0 2 l  x   Chứng minh tính trực chuẩn Plm (x) : ' " ' d m  Vì   x Pl (x)    x  Plm (x)   2x  Plm (x)  từ (3.5) ta suy ra:     dx   d  m2  m   d m 1 x Pl (x)    l  l  1  (3.6)  Pl 0 dx  dx    x  d  m2  m   d m 1 x Pl ' (x)    l '  l '  1  (3.7)  Pl ' 0 dx  dx    x  Nhân (3.6) với Plm' (3.7) với Plm , lấy kết trừ nhau: d   x (P 'lm Plm'  P 'lm' Plm )    l  l  1  l '(l '  1)  Plm Plm' 0  dx  Tính tích phân vế trái ta có:             x (P' m P m  P ' m P m )  l l' l' l     1  l  l  1  l '(l ' 1)  1    l m m Pl ' dx  Pl 1  l  1  l '(l ' 1)   Plm Plm' dx  1 0 , l l ' suy tính trực giao 1 Bài tốn: chuẩn hóa hàm Ilm 1    1 1 m x Plm Plm' dx Plm  m  1   x Pl    tích phân: Ilm 1   Plm Plm' dx (3.8) 1  m  m  Pl   ' 1  m  1   x P  m  (x)  ' dx P l l   1 1 1    (3.9) Số hạng đứng trước tích phân (3.9) tỉ lệ với  x  m 1 Nếu m=0   số hạng lại tỉ lệ  x Pl  1Pl với  l 1   Hơn từ phương trình (3.3) chuyển m  m  , ta viết lại: m 1 dm dm m  d 1 x Pl (x)  2mx m Pl (x)   l  m  (l  m  1) m  Pl (x) 0 dx m 1 dx dx   , nhân vế kết với  x  d   1 x dx   Ta có:  m dm dx m   Pl (x)    x   m  m ý  Plm 1(x)   2mx   x  m   Plm (x)      (3.3’) d   m m  x P (x)   l  m   l  m  1  x l   dx   Thay (3.10) vào (3.9) ta có:   m  1 Pl (x) (3.10)  m  1 (x)P  m  1 (x)dx  l  l  m  I m  Pl    l l' (3.11)   1 Ilm  l  m   l  m  1  1 x 1   m  m (3.11) công thức truy chứng Có thể dễ dàng thấy rằng:  l  m  ! I0 Ilm   l  m ! l I0l  1   2l.l! 1 dl  (x dx l  1) l dl l  dxl  x  1 dx Tích phân phân đoạn l lần, ý số hạng đứng trước tích phân lần tích phân lại có (-1) đứng làm nhân trước tích phân I0l l 2l l  1 1  l d  (x  1) x   dx2l   dx  22l  l!  Chú ý đến (1.2) (1.4a): Tích phân   x  l d 2l x  1 2l  dx l  2l  ! l  1 1  l dx   x  1  x  1 dx    x  1 l l l 1 1 1 d l 1 1l  x dx      x  l    x  l 1 dx  dx l 1  Tích phân l-1 lần nữa: 1  1 l  l  1 1 x  dx   1   x  2l dx   l  1  l   2l   l l l! 22l 1    1  2l  ! 2l  l Vậy: Ilo   l  m ! 2 m Il   l  m  ! 2l  2l  (3.12) Trong toán học, định lý cộng hàm cầu điều hòa, gọi định lý cộng Legendre, phát biểu sau: Nếu góc γ định nghĩa thông qua {θ1,φ1} {θ2,φ2} bằng: cos(γ) = cos(θ1)cos(θ2) + sin(θ1) sin(θ2) cos(φ1 - φ2) Thì đa thức Legendre với biến γ thỏa mãn: Ở đây, đa thức Legendre đa thức Legendre liên quan Định lý chứng minh việc dùng hàm Green cho tổng hàm điều hòa cầu cân tổng với hàm sinh đa thức Legendre VI Đa thức Laguerre Đa thức Laguerre bậc k biểu thức: L k (x) e x dk dx k (x k e  x ) = e x y ' L2 (x) 2  4x  x Ví dụ: L0 (x) 1 L3 (x) 6  18x  9x  x L1 (x) 1  x k Kí hiệu hàm: y x e x dk x Lúc L k (x) e dx k Từ định nghĩa, dễ thấy rằng: xy ' (x  k)y 0 y(x) (4.1) Lấy đạo hàm (k+1) lần vế (4.1) theo quy tắc (1.3) ta phương trình: xy k 2  (x  1)y k 1 k   k  1 y  0 (4.2) k y  e  x L k (x) cho nên: xL"k (x)    x  L'k (x)  kL k (x) 0 (4.3) (1.5a) (4.3) gọi phương trình vi phân Laguerre Đạo hàm j lần phương trình (4.3), đặt: Ljk (x)  dj dx  Lk (x)  j d j  x d k  x k  e e x  j k dx  dx  (1.5b) Ta có: x dj dx L" (x)  j k  j 1  x  dj ' dx j L k (x)  (k  j) dj dx j (4.4) L k (x) 0 Bây ta chuẩn hóa tích phân:  I  Ljk (x)Ljk ' (x)e  x x j1dx (4.5) Tính hai tích phân phụ A& B sau:   dk  o o dx A  e  x x m L k dx  x m (x k e  x )dx B  e  x x m Ljk (x)dx k Tích phân phân đoạn m lần ý số hạng trước tích phân 0, nhân trước tích phân (-1) với số mũ x cộng thêm  m A   1 m!  x k e  x   k x Nếu k>m thì:  x e     k m  k m dx (4.6a)   k  m  1    x k  k  m  1 dx  d  x k e x  e x         0 Nếu để ý đến (1.4) k=m thì:  k x I k  x e dx  x k e  x 0 k  x k  x e dx kI k  k!I0 k! (4.6b)  o.if k  m A  k   1  k! if k m Vậy  x B  e x m dj dx j (4.6) L k dx (4.7) Tích phân phân đoạn k lần, ý số hạng đứng trước tích phân triệt tiêu: B   1 j  dj Lk (x) dx j  e x m x  dx (4.7a) Chú ý đến (1.4) (4.6): j   m! i j i B      1 C j e  x x m   m  j  i ! i 0  (4.8) j i  0.if k   m  j  i  max  k  m L k (x)dx   k    1  k! if k  m  j  i  max  i  j Chú ý đến (1.5a), (1.4) (4.6) ta dễ dàng chứng minh tính trực chuẩn L k (x) xác định bởi:  e x L k ' (x)L k (x)dx  k! kk ' (4.9) Chú ý đến (1.5) (4.8) ta dễ dàng chứng minh được:  e x j x L k ' (x)L k (x)dx 0 k ' k , k’=k thì:  e  x x jLjk Ljk 'dx    k! k!    1 e  x x k Ljkdx  nghĩa là: k  j ! k  j !     e  x x jLjk ' (x)Ljk (x)dx   k k!     k  j ! kk ' Bây ta tính I xác định (4.5) từ (1.5) (4.8) ta có:   k! kk! k k 1  x j I    1 x e L kdx    1 x ke  x Ljkdx  k  j !  k  j  1 ! 0 k k  k! Tích phân thứ  để ý đến (4.8) Tính tích phân:  k  j  1 !  e  x x k 1Ljkdx C    1 j Lk  dj  dx k j  e x x k 1  dx ( theo (4.7a))  e  x x k 1L k dx    1 j  k  1  k! theo (1.4) (4.6) Còn:   0  x k 1 k 1 e x Lk (x)dx  x dk dx k  e  x x k   1  k   k  1 ! e  x x k 1dx theo (4.6a) tích phân k lần k   1   k  1 ! theo (4.66) Vây: C   1 k  k  1 !k! k   j thế: 3 k!  k  1 ! k   j k  k! k!  2k   j   I    k  j !  k  j  1 !  k  j ! Từ đấy:  Ljk ' (x)Ljk (x)e  x x j1dx  k!    2k   j kk '  k  j ! (4.10) V Các hàm Gamma   (p) 0 e  x x p  1dx ( p>0) Các hàm Gamma đặc biệt: (1) 1 (p 1) p.(p) (p 1) p! Mở rộng hàm Gamma cho giá trị p Bằng tính tốn chứng minh phức tạp: thừa nhận điều sau (p)  p nguyên âm VI Các hàm Bessel Phương trình Bessel-Euler: x y" xy ' (x  p2 )y 0 Nghiệm tổng quát: y C1y1  C2 y2 a y" Hàm Bessel loại với số âm: p2 y ' (1  )y 0 x x Lúc : y  xp   k.x k k 0 Nghiệm tổng quát trường hợp này: b Hàm Bessel loại Với p phân số, hàm Bessel loại nhận từ nghiệm tổng quát:  p (x) cot anP(x)J p ()x)  csc P(x).J  p (x) (*) Với csc P(x)  J p (x) cos P( )  J  p (x)  sin P(x) sin P( ) - suy rộng cho trường hợp p nguyên, vế phải (*) có dạng bất định: Vì tử số có dạng: (  1)p J p (x)  J  p (x) 0 Bằng phép biến đổi ta được: x (  1) m ( )n  2m m  n x m  1)! x  n 2m 1 m  n (x)  J n (x).(ln  c)   ( )  ( ).(    )   m 1 m!  m 0 m!.(n  m)! k 1 k k 0 k với c 0.577215664901532 số Euler x  (  1) m x 2m 1 ( ) (1     ) + với n=0, ta có:  (x)  J (x).(ln  c)     m 1 (m!) 2 m Đồ thị  (x) n  (n   c.Hệ thức liên hệ hàm Bessel với số khác - p bất kỳ, ta có:  p x J p (x) x p J p  (x) x  p x J p (x)  x  p J p 1(x) x Hệ quả: x.J 'p (x)  p.J p (x) x.J p  (x) xJ 'p (x)  p.J p (x)  xJ p 1 (x)     J p  (x)  J p 1 (x) 2.J 'p (x) d J p  (x)  J p 1 (x)  Các hàm Bessel loại P 2p J p (x) x 2n  số bán nguyên với n số nguyên J (x) Xét hàm , thay P  ta có: 2 x J (x) = 2.     2   x2 x4 x6 sin x         2.3 2.4.3.5 2.4.6.3.5.7 2x.       2 1  1        0 e  x dx  0 e  t dt  x   2 x    2  2  J (x)  Tương tự: J sin x x (x)   cos x x e Các công thức tiệm cận hàm Bessel: phương thình 1.1: x y" xy'  (s2  p2 ) 0 z , y '  , y" Thế: y  x 1 m p2  m   p2 , ,  đặt:  z" (1  )z 0 x x Ta được: z" x   (1   x  )z (x) 0 Với x    x  ,   Lúc phương trinh qui về: z”+z=0, nghiệm: z=Asin(x+ω)) ... 2k   j kk ''  k  j ! (4.10) V Các hàm Gamma   (p) 0 e  x x p  1dx ( p>0) Các hàm Gamma đặc biệt: (1) 1 (p 1) p.(p) (p 1) p! Mở rộng hàm Gamma cho giá trị p Bằng tính tốn... mãn: Ở đây, đa thức Legendre đa thức Legendre liên quan Định lý chứng minh việc dùng hàm Green cho tổng hàm điều hòa cầu cân tổng với hàm sinh đa thức Legendre VI Đa thức Laguerre Đa thức Laguerre... 2l  l Vậy: Ilo   l  m ! 2 m Il   l  m  ! 2l  2l  (3.12) Trong toán học, định lý cộng hàm cầu điều hòa, gọi định lý cộng Legendre, phát biểu sau: Nếu góc γ định nghĩa thơng qua {θ1,φ1}