В математике теорема Фавара , также называемая теоремой Шохата–Фавара , утверждает, что последовательность многочленов, удовлетворяющая подходящему трехчленному рекуррентному соотношению, является последовательностью ортогональных многочленов . Теорема была введена в теорию ортогональных многочленов Фаваром (1935) и Шохатом (1938), хотя по сути та же самая теорема использовалась Стилтьесом в теории цепных дробей за много лет до статьи Фавара и была переоткрыта несколько раз другими авторами до работы Фавара.
Предположим, что y 0 = 1, y 1 , ... — последовательность многочленов, где y n имеет степень n . Если это последовательность ортогональных многочленов для некоторой положительной весовой функции, то она удовлетворяет 3-членному рекуррентному соотношению. Теорема Фавара является примерно обратной к этой и утверждает, что если эти многочлены удовлетворяют 3-членному рекуррентному соотношению вида
для некоторых чисел c n и d n , то многочлены y n образуют ортогональную последовательность для некоторого линейного функционала Λ с Λ(1)=1; другими словами, Λ( y m y n ) = 0, если m ≠ n .
Линейный функционал Λ является единственным и определяется соотношением Λ(1) = 1, Λ( y n ) = 0, если n > 0.
Функционал Λ удовлетворяет Λ( y2
н) = d n Λ( y2
н –1), что означает, что Λ положительно определена тогда (и только тогда), когда числа c n являются действительными, а числа d n положительны.