Î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 modificare

Definiț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.