Лежандрови полиноми

мини|360x360пкс|Првите шест полиноми на Лежандров
Во математиката, **Лежандровите полиноми**, именувани по Адриен-Мари Лежандр (1782), се систем комплетни и ортогонални полиноми со широк број математички својства и бројни примени. Можат да се дефинираат на многу начини, а различните дефиниции истакнуваат различни аспекти и предложуваат генерализации и врски со различни математички структури и физички и нумерички примени.

Тесно поврзани со Лежандровите полиноми се придружните Лежандрови полиноми, Лежандровите функции, Лежандровите функции од втор вид, големите q-Лежандрови полиноми и придружните Лежандрови функции.

## Дефиниција и претставување

### Дефиниција по конструкција како ортогонален систем
Со помош на пристапот на ортогонален систем, полиномите се дефинирани како ортогонален систем во однос на функцијата на тежина w(x) = 1 во текот на интервалот  [-1,1] Тоа е, P_n(x) е полином од степен n, така што \int_{-1}^1 P_m(x) P_n(x) \,dx = 0 \quad \text{if } n \ne m.

Со дополнителниот услов за стандардизација P_n(1) = 1, сите полиноми можат да бидат единствено определени. Го започнуваме процесот на конструкција, при што P_0(x) = 1 е единствениот правилно стандардизиран полином од степен 0. Полиномот P_1(x) мора да биде ортогонален на P_0, поради што P_1(x) = x, и P_2(x) се определува со барање на ортогоналност за P_0 и P_1, и така натаму. P_n е фиксирано со барање ортогоналност кон сите P_m со m . Ова дава  n  услови, што заедно со стандардизацијата  P_n(1) = 1 ги фиксира сите  n+1 коефициенти во  P_n(x). Сите коефициенти на секој полином можат систематски да се одредат, што доведува до експлицитно претставување во степени на x дадено подолу.

### Дефиниција преку генерирачка функција
Лежандревите полиноми може да се дефинираат и како коефициенти со формално проширување во степени на t на генерирачката функција (генератрисата): 
 = \sum_{n=0}^\infty P_n(x) t^n \,.|}}

Коефициентот на t^n е полином во  x  на степен n со |x| \leq 1 . Проширувањето до t^1 дава:

P_0(x) = 1 \,,\quad P_1(x) = x.

Можно е да се добијат и повисоките P_n без директно проширување на Тејлоровата серија. Равенка&nbsp; е диференцирана по  од двете страни и преуредена, при што се добива: 

\frac{x-t}{\sqrt{1-2xt+t^2}} = \left(1-2xt+t^2\right) \sum_{n=1}^\infty n P_n(x) t^{n-1} \,.

Со замена на количникот од квадратниот корен со неговата дефиниција во равенката&nbsp;, и изедначување на коефициентите на степените на , се добива *Бонеовата рекурзивна формула:*

 (n+1) P_{n+1}(x) = (2n+1) x P_n(x) - n P_{n-1}(x)\,.

Оваа релација, заедно со првите два полиноми  и , овозможува сите останати да се генерираат рекурзивно.

### Дефиниција преку диференцијална равенка
Третата дефиниција е во однос на решенијата на **Лежандровата диференцијална равенка**:

Оваа диференцијална равенка има регуларни сингуларни точки во . Ако се бара решение со користење на стандардниот метод на Фробениус или со методот на степенски низи, низата околу почетокот ќе конвергира само за . Кога  е цел број, решението  што е регуларно на  е исто така регуларно на , а низата за ова решение мора да застане (односно е полином). Ортогоналноста и комплетноста на овие решенија најдобро се гледаат од гледна точка на теоријата на Штурм-Лиувил. Ја пишуваме диференцијалната равенка како проблем со сопствени вредности:

\frac{d}{dx} \left( \left(1-x^2\right) \frac{d}{dx} P(x) \right) = -\lambda P(x) \,,

со сопствена вредност \lambda, наместо  n(n+1) Ова претставува равенка на Штурм-Лиувил со p = 1-x^2, q = 0, w = 1 .

Во физички услови, Лежандровата диференцијална равенка се јавува природно при решавање на Лапласовата равенка (и поврзаните парцијални диференцијални равенки) со раздвојување на променливите во сферни координати. Од оваа гледна точка, сопствените функции на аголниот дел од Лапласовиот оператор се сферните хармоници, од кои Лежандровите полиноми се (до мултипликативна константа) подмножество кое е оставено непроменливо со ротации околу поларната оска. Полиномите се појавуваат како P_n(\cos\theta), каде \theta е поларниот агол. Овој пристап кон Лежандровите полиноми обезбедува длабока врска со ротационата симетрија. Многу од нивните својства, кои се наоѓаат макотрпно преку методите на анализа - на пример теоремата за собирање - полесно се наоѓаат со користење на методите на симетрија и теоријата на групи и добиваат длабоко физичко и геометриско значење.

### Формула на Родриг и други експлицитни формули
Особено компактен израз за полиномите на Лежандров е даден со формулата на Родриг: 

P_n(x) = \frac{1}{2^n n!} \frac{d^n}{dx^n} (x^2 -1)^n \,.

Оваа формула овозможува изведување на голем број својства на P_n, како што се:

\begin{align}
P_n(x)&= \frac{1}{2^n} \sum_{k=0}^n \binom{n}{k}^{\!2} (x-1)^{n-k}(x+1)^k, \\[1ex]
P_n(x)&= \sum_{k=0}^n \binom{n}{k} \binom{n+k}{k} \left( \frac{x-1}{2} \right)^{\!k}, \\[1ex]
P_n(x)&= \frac{1}{2^n}\sum_{k=0}^{\left\lfloor n/2 \right\rfloor} \left(-1\right)^k \binom{n}{k}\binom{2n-2k}n x^{n-2k},\\[1ex]
P_n(x)&= 2^n \sum_{k=0}^n x^k \binom{n}{k} \binom{\frac{n+k-1}{2}}{n}, \\[1ex]
P_n(x)&=\frac{1}{2^n}\sum_{k=\lceil n/2 \rceil}^{n}\frac{(-1)^{k+n}(2k)!}{(2k-n)!(n-k)!k!}x^{2k-n}, \\[1ex]
P_n(x)&= \begin{cases}
 \displaystyle\frac{1}{\pi}\int_0^\pi {\left(x+\sqrt{x^2-1}\cdot\cos (t) \right)}^n\,dt & \text{if } |x|>1, \\
x^n & \text{if } |x|=1, \\
 \displaystyle\frac{2}{\pi}\cdot x^n\cdot |x|\cdot \int_^1 \frac{t^{-n-1}}{\sqrt{t^2-x^2}}\cdot \frac{\cos\left(n\cdot \arccos(t)\right)}{\sin\left(\arccos(t)\right)}\,dt & \text{if } 0

Изразувајќи го полиномот како степенска низа, P_n(x) = \sum a_{n,k} x^k , коефициентите на степените на x може да се пресметаат со користење рекурзивниот израз:

a_{n,k} = - \frac{(n-k+2)(n+k-1)}{k(k-1)}a_{n,k-2}.  или


a_{n,k}=-\frac{n+k-1}{n-k}a_{n-2,k}.


Лежандровиот полином се определува со вредностите што се користат за двете константи a_{n,0} и a_{n,1} , каде a_{n,0}=0  ако n е непарен број и a_{n,1}=0  ако n е парен.

Во четвртата репрезентација, \lfloor n/2 \rfloor претставува најголем цел број помал или еднаков на n/2. Петтата репрезентација, која исто така се добива непосредно од рекурзивната формула, ги изразува Лежандровите полиноми со едноставни мономи и вклучува генерализирана форма на биномниот коефициент.


x^m
=\sum_{s= 0}^{\lfloor m/2\rfloor} (2m-4s+1)
\frac{(2s+2)(2s+4)\cdots 2\lfloor m/2\rfloor}{(2m-2s+1)(2m-2s-1)(2m-2s-3)\cdots (1+2\lfloor (m+1)/2\rfloor)}P_{m-2s}(x).


Првите неколку Лежандрови полиноми се:

Графиконите на овие полиноми (до  ) се прикажани подолу:
алт=Plot of the six first Legendre polynomials.|н|640x640пкс|График на првите шест Лежандров полиноми.

## Главни својства

### Ортогоналност и нормализација
Стандардизацијата P_n(1) = 1 ја фиксира нормализацијата на Лежандровите полиноми (во однос на   на интервалот  ). Формулата на Родриг може да се употреби за да се добие интегралот за нормализација:

\int_{-1}^1 P_n(x)^2\,dx = \frac{2}{2n + 1}.

Изразите за нормализација и ортогоналност можат компактно да се напишат во една равенка: 

\int_{-1}^1 P_m(x) P_n(x)\,dx = \frac{2}{2n + 1} \delta_{mn},

каде што  е Кронекеровиот делта симбол.

## Дополнителни својства
Лежандровите полиноми имаат дефинирана парност:

P_n(-x) = (-1)^n P_n(x) \,.

Друго корисно својство е:

\int_{-1}^1 P_n(x)\,dx = 0 \text{ for } n\ge1,

што произлегува од разгледувањето на ортогоналната релација со P_0(x) = 1. Погодно е кога Лежандровиот ред \sum_i a_i P_i се користи за апроксимација на функција или експериментални податоци: *просекот* на серијата во интервалот [ −1, 1 ] е едноставно даден со водечкиот коефициент на ширење a_0 .

### Рекурзивни релации
Лежандровоте полиноми се однесуваат според рекурентната релација на три члена позната како Бонеова рекурзивна формула дадена со:

 (n+1) P_{n+1}(x) = (2n+1) x P_n(x) - n P_{n-1}(x) и  \frac{x^2-1}{n} \frac{d}{dx} P_n(x) = xP_n(x) - P_{n-1}(x) 

или, со алтернативниот израз, кој исто така важи и на крајните точки:

 \frac{d}{dx} P_{n+1}(x) = (n+1)P_n(x) + x \frac{d}{dx}P_{n}(x) \,.

Корисен за интеграција на Лежандровите полиноми е изразот:

(2n+1) P_n(x) = \frac{d}{dx} \bigl( P_{n+1}(x) - P_{n-1}(x) \bigr) \,.

### Нули
Сите  n нули на P_n(x) се реални, различни едни од други и лежат во интервалот (-1,1). Ако интервалот [-1,1] се подели на  n+1  подинтервали, секој подинтервал ќе содржи точно една нула на P_{n+1}. Ова е познато како својство на преплетување. Поради својството на парност, очигледно е дека ако x_k е нула на P_n(x), -x_k исто така ќе биде нула. Овие нули играат важна улога во нумеричката интеграција базирана на Гаусовата квадратура. 

## Наводи

Категорија:Полиноми