Формула на Родриг

Во математиката, формулата на Родриг (порано наречена формула Ајвори-Јакоби) ги генерира полиномите на Лежандр. Името „формула на Родриг“ го вовел Едуард Хајне во 1878 година, откако Ермит во 1865 година истакнал дека Олинг Родригес бил првиот што ја открил. Терминот се користи и за опишување на слични формули за други ортогонални полиноми.

Нека  е низа ортогонални полиноми на интервалот  во однос на тежинската функција . Полиномите имаат степени , што го задоволува условот за ортогоналност:

каде  се ненулти константи во зависност од , и  е  Кронекеровиот делта симбол. Интервалот  може да биде бесконечен на едниот или на двата краја.

 Генерирачка функција 
Едноставен доказ со користење на Кошиевата интегрална формула може да покаже дека ортогоналните полиноми добиени од формулата на Родриг имаат генерирачка функција од обликот:

 функциите може да немаат стандардни нормализации, но може да се запише: 

каде што  се избираат според примената, за да се дадат посакуваните нормализации. Променливата u може да се замени со константен множител на u, така што:

Ова дава алтернативна форма на генерирачката функција.

Според Кошиевата интегрална формула, формулата на Родриг е еквивалентна на:

каде што интегралот е по затворена јамка спротивно од стрелките на часовникот околу . Нека:

Потоа интегралот на комплексната патека ја добива формата:

каде што сега затворената патека C го опкружува изворот. Во равенката за ,  е имплицитна функција на  . Проширувањето на  во степенските низи дадени претходно дава:

Само  терминот има остаток разлчен од нула, што е . Коефициентот  коефициентот е занемарен, бидејќи нормализациите се конвенции кои можат да се вметнат подоцна.

Со изразување на t во однос на u во општата формула дадена за  може да се добијат експлицитните формули за . Како едноставен пример, нека  и  (Ермитови полиноми), така што:, ,  и така  .

 Примери 
+ФамилијаЛежандрови Чебишев (прв тип) Чебишев (втор тип) ултрасферичен Јакоби придружени Лагерови физички Ермитови 
Овие формули се однесуваат на класичните ортогонални полиноми. Слични формули важат и за многу други низи од ортогонални функции што произлегуваат од равенките на Штурм-Лиувил, кои исто така се нарекуваат формула на Родриг, особено кога добиената низа е полиномна.

 Лежандрови полиноми 
Формула на Родриг за Лежандрови полиноми :

За Лежандровите полиноми, генерирачката функција е дефинирана како:

.

 Ермитови полиноми 
Физички Ермитови полиноми:

Генерирачката функција е дефинирана како

Контурниот интеграл дава:

 Лагерови полиноми 
За придружени Лагерови полиноми:

Генерирачката функција е дефинирана како:

Со истиот метод, имаме  .

 Јакоби 



каде , а гранката на квадратниот корен е избрана така што  .

 Наводи 

Категорија:Функции