Polinoame ortogonale
În matematică, un șir de polinoame ortogonale este un șir infinit de polinoame reale
de o variabilă x, în care fiecare pn are gradul n, și au proprietatea că oricare două polinoame distincte din șir sunt ortogonale între ele în raport cu o versiune particulară a produsului scalar L2.
Studiul polinoamelor ortogonale a fost dezvoltat începând cu sfârșitul secolului al XIX-lea, pornind de la studiul fracțiilor continue de către Cebîșev și a fost continuat de A.A. Markov și T.J. Stieltjes și câțiva alți matematicieni. De atunci, s-au dezvoltat numeroase aplicații în mai multe domenii ale matematicii și fizicii.
Definiție
modificareDefiniția polinoamelor ortogonale se bazează pe produsul scalar, definit după cum urmează. Fie un interval de pe dreapta reală (este permis și și ). Acest interval se numește interval de ortogonalitate. Fie
o funcție definită pe interval, strict pozitivă pe intervalul deschis , dar care poate fi zero sau infinită în punctele de pe frontiera intervalului. În plus, W trebuie să satisfacă și condiția ca, pentru orice polinom , integrala
să fie finită. O astfel de funcție W se numește funcție pondere.
Dat fiind orice , , și W în condițiile de mai sus, se definește o operație pe perechi de polinoame f și g prin
Această operație este un produs scalar în spațiul vectorial al tuturor polinoamelor. El induce noțiunea de ortogonalitate în maniera obișnuită, și anume că două polinoame sunt ortogonale dacă produsul lor scalar este zero.
Un șir de polinoame ortogonale este astfel, un șir de polinoame
astfel încât are gradul n și toți membrii șirului sunt ortogonali între ei — pentru orice ,
Cu alte cuvinte, un șir de polinoame ortogonale este o bază ortogonală pentru spațiul vectorial (infinit-dimensional) al tuturor polinoamelor, cu condiția ca să aibă gradul n.