Поліноми Кравчука

Матеріал з testwiki
Перейти до навігації Перейти до пошуку
Поліноми Кравчука на монеті України 2012 року «Михайло Кравчук»

Поліноми Кравчука ( М. П. Кравчук, 1929) належать до класичних ортогональних поліномів дискретної змінної на рівномірній сітці, для яких співвідношення ортогональності являє собою не інтеграл, а ряд або скінченну суму: x=0Nkn(p)(x)km(p)(x)σ(x)=dn2,δm,n.

Тут σ(x)=(Nx)pxqNx — вагова функція, dn=(Nn)(pq)n — квадратична норма, 0<p<1,0<q<1,p+q=1. Для p=q=1/2 вагова функція з точністю до постійного множника 1/2N зводиться до біноміального коефіцієнта.

Рекурентне співвідношення для цих поліномів має вигляд (n+1)kn+1(p)(x)+pq(Nn+1)kn1(p)(x)=[x+n(pq)pN]kn(p)(x).

Шляхом нескладних перетворень його можна привести до вигляду

fn+1kn+1(p)(x)dn+1+fnkn1(p)(x)dn1=(rx+εn+Δ)kn(p)(x)dn,

де

fn=n(N+1n)N,r=1pqN,ε=r(pq),Δ=rpN.

Поліноми Кравчука можуть бути виражені через гіпергеометричну функцію Гауса:

kn(p)(x)=(1)n(Nn)pn2F1(n,x;N;1/p)

В границі при N поліноми Кравчука переходять у Поліноми Ерміта:

lim\limits N(2/Npq)n/2n!;kn(p)(Np+2Npq,x)=Hn(x)

Перші чотири поліноми для найпростішого випадку p=q=1/2:

  • 𝒦0(x,N)=1
  • 𝒦1(x,N)=2x+N
  • 𝒦2(x,N)=2x22Nx+(N2)
  • 𝒦3(x,N)=43x3+2Nx2(N2N+23)x+(N3)

Породжуюча функція

Звичайна породжуюча функція

(1+(q1)z)nx(1z)x=k=0𝒦k(x;n,q)zk.

Джерела

Див. також

Шаблон:Ортогональні поліноми (список)