Біноміальний ряд

Шаблон:Сирий переклад Біноміальний ряд це ряд Маклорена для функції $f(x)=(1+x{)}^{\alpha }$, де $\alpha \in ℂ$ і $|x|<1$ . Біноміальний ряд є узагальненням полінома, який отримується зі співвідношення для біноміальної формули, наприклад, $(1+x{)}^n$ для цілого невід'ємного числа $n$.

У явній формі записується так:Шаблон:NumBlkде коефіцієнти степеневого ряду у правій частині виражаються через (узагальнені) біноміальні коефіцієнти $(\genfrac{}{}{0ex}{}{\alpha }{k}):=\frac{\alpha (\alpha -1)(\alpha -2)\cdots (\alpha -k+1)}{k!}.$

Збіжність

Умови збіжності

Збіжність залежить від значень комплексних чисел $\alpha$ і $x$. Точніше:

1. Якщо $|x|<1$, то ряд збігається абсолютно для будь-якого комплексного числа $\alpha$.
2. Якщо $|x|=1$, то ряд збігається абсолютно тоді й лише тоді, коли або $\mathrm{Re}(\alpha )>0$, або $\alpha =0$, де $\mathrm{Re}(\alpha )$ — дійсна частина числа~$\alpha$.
3. Якщо $|x|=1$ і $x\ne -1$, то ряд збігається тоді й лише тоді, коли $\mathrm{Re}(\alpha )>-1$.
4. Якщо $x=-1$, то ряд збігається тоді й лише тоді, коли $\mathrm{Re}(\alpha )>0$ або $\alpha =0$.
5. Якщо $|x|>1$, то ряд розбігається, окрім випадків, коли $\alpha$ є невід'ємним цілим числом, у цьому випадку ряд є скінченною сумою.

Зокрема, якщо $\alpha$ не є цілим невід'ємним числом, ситуація на межі кругу збіжності, $|x|=1$, визначається наступним чином:

• Якщо $\mathrm{Re}(\alpha )>0$, то ряд збігається абсолютно.
• Якщо $-1<\mathrm{Re}(\alpha )\le 0$, то ряд умовно збігається, якщо $x\ne -1$, і розбігається, якщо $x=-1$.
• Якщо $\mathrm{Re}(\alpha )\le -1$, то ряд розбігається.

Тотожності, які будуть використані в доведенні

Для будь-якого комплексного числа $\alpha$ виконується наступне:

$(\genfrac{}{}{0ex}{}{\alpha }{0})=1,$

Шаблон:NumBlkШаблон:NumBlkЗа умови, що $\alpha$ є невід'ємним цілим числом (у цьому випадку біноміальні коефіцієнти перетворюються у нуль, якщо $k$ більше ніж $\alpha$), корисне є наступне асимптотичне співвідношення для біноміальних коефіцієнтів у нотації Ландау:Шаблон:NumBlkЦе, по суті, еквівалентно означенню Ейлера для гамма-функції:

$\mathrm{\Gamma }(z)=\underset{k\to \mathrm{\infty }}{\lim }\frac{k!k^z}{z(z+1)\cdots (z+k)},$

і відразу передбачає більш грубі оцінки:Шаблон:NumBlkдля деяких додатних констант $m$ і $M$.

Формулу (Шаблон:EquationNote) для узагальненого біноміального коефіцієнта можна переписати у виглядіШаблон:NumBlk

Доведення

Щоб довести властивості (1) і (5), будемо застосовувати ознаку Даламбера та використовувати формулу (Шаблон:EquationNote), щоб показати, що завжди, якщо $\alpha$ не є цілим невід'ємним числом, радіус збіжності дорівнює рівно 1. Властивість (2) випливає з формули (Шаблон:EquationNote) з використанням ознаки порівняння із p-рядомp-рядом

$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^p},$

де $p=1+\mathrm{Re}\alpha$. Щоб довести властивість (3), спочатку використаємо формулу (Шаблон:EquationNote), щоб отриматиШаблон:NumBlkа потім знову використаємо властивість (2) і формулу (Шаблон:EquationNote), щоб довести збіжність правої частини, коли $\mathrm{Re}\alpha >-1$. З іншого боку, знову за формулою (Шаблон:EquationNote), ряд не збігається, якщо $|x|=1$ і $\mathrm{Re}\alpha \le -1$. Крім того, можна помітити, що для всіх $j$, $|\frac{\alpha +1}{j}-1|\ge 1-\frac{\mathrm{Re}\alpha +1}{j}\ge 1$. Таким чином, за формулою (Шаблон:EquationNote), для всіх $k,\left|(\genfrac{}{}{0ex}{}{\alpha }{k})\right|\ge 1$. Це завершує доведення властивості (3). Для доведення властивості (4) використовуємо тотожність (Шаблон:EquationNote), яка була описана вище, для $x=-1$ і $\alpha -1$ замість $\alpha$, разом із формулою~(Шаблон:EquationNote), щоб отримати

$\sum _{k=0}^n(\genfrac{}{}{0ex}{}{\alpha }{k})(-1{)}^k=(\genfrac{}{}{0ex}{}{\alpha -1}{n})(-1{)}^n=\frac{1}{\mathrm{\Gamma }(-\alpha +1)n^{\alpha }}(1+o(1)),\text{якщо }n\to \mathrm{\infty }.$

Властивість (4) тепер випливає з асимптотичної поведінки послідовності $n^{-\alpha }={\mathrm{e}}^{-\alpha \log (n)}$ (Звичайно $\left|{\mathrm{e}}^{-\alpha \log n}\right|={\mathrm{e}}^{-\mathrm{Re}\alpha \log n}$ збігається до $0$, якщо $\mathrm{Re}\alpha >0$ та розбігається до $+\mathrm{\infty }$, якщо $\mathrm{Re}\alpha <0$. Якщо $\mathrm{Re}\alpha =0$, тоді $n^{-\alpha }={\mathrm{e}}^{-\mathrm{i}\mathrm{Im}\alpha \log n}$ збігається тоді й лише тоді, коли послідовність $\mathrm{Im}\alpha \log n$ збігається $\mathrm{mod}2\pi$, що, звичайно, вірно, якщо $\alpha =0$, але невірно, якщо $\mathrm{Im}\alpha \ne 0$: в останньому випадку послідовність збігається $\mathrm{mod}2\pi$, з огляду на те, що $\log n$ розбігається і $\log (n+1)-\log n$ збігається до нуля).

Підсумовування біноміального ряду

Звичайний спосіб обчислення суми біноміального ряду полягає в наступному. Почленно продиференціювавши біноміальний ряд в межах радіуса збіжності $|x|<1$ і використавши формули (Шаблон:EquationNote), отримаємо, що сума ряду є аналітичною функцією, яка є розв'язком звичайного диференціального рівняння $(1+x)u^{\prime }(x)-\alpha u(x)=0$ з Шаблон:Нп $u(0)=1$. Єдиним розв'язком цієї задачі є функція $u(x)=(1+x{)}^{\alpha }$. Дійсно, використавши інтегрувальний множник $(1+x{)}^{-\alpha -1}$, отримаємо

$0=(1+x{)}^{-\alpha }{u}^{\prime }(x)-\alpha (1+x{)}^{-\alpha -1}u(x)=[(1+x{)}^{-\alpha }u(x){]}^{\prime }.$

Отже, функція $(1+x{)}^{-\alpha }u(x)$ є константою, яка, згідно з початковою умовою, дорівнює~1. Тобто $u(x)=(1+x{)}^{\alpha }$ є сумою біноміального ряду для $|x|<1$. Рівність поширюється на $|x|=1$ завжди, коли ряд збігається, як наслідок теореми Абеля та неперервності функції $(1+x{)}^{\alpha }$.

Від'ємний біноміальний ряд

Із біноміальним рядом тісно пов'язаний від'ємний біноміальний ряд, визначений рядом Маклорена для функції $g(x)=(1-x{)}^{-\alpha }$, де $\alpha \in ℂ$ і $|x|<1$.

Формулу ряда можна записати як:

$\begin{array}{cc}\frac{1}{(1-x{)}^{\alpha }}& =\sum _{k=0}^{\mathrm{\infty }}\frac{g^{(k)}(0)}{k!}{x}^k\\ & =1+\alpha x+\frac{\alpha (\alpha +1)}{2!}{x}^2+\frac{\alpha (\alpha +1)(\alpha +2)}{3!}{x}^3+\cdots ,\end{array}$

Де мультимножинний коефіцієнт:

$\left((\genfrac{}{}{0ex}{}{\alpha }{k})\right):=(\genfrac{}{}{0ex}{}{\alpha +k-1}{k})=\frac{\alpha (\alpha +1)(\alpha +2)\cdots (\alpha +k-1)}{k!}.$

Спеціальні випадки

Якщо $\alpha$ - невід'ємне ціле число $n$, то член $x^{n+1}$ і всі наступні члени ряду дорівнюють $0$, оскільки кожен добуток містить множник $(n-n)$.

В такому випадку, у цьому випадку ряд скінченний, а коефіцієнти представлляють собою алгебраїчну біноміальну формулу коефіцієнтів.

$(\genfrac{}{}{0ex}{}{n}{k})=C_n^k=\frac{n!}{k!(n-k)!}$

Якщо $\alpha$ є натуральним числом, то очевидними є кілька спеціальних послідовностей.

У випадку, якщо $\alpha =1$ , то отримаємо ряд $1+x+x^2+x^3+\cdots$, де коефіцієнт кожного члена ряду дорівнює 1.

У випадку $\alpha =2$ отримаємо ряд $1+2x+3x^2+4x^3+\cdots$, який має натуральні числа як коефіцієнти.

У випадку $\alpha =3$ отримаємо ряд $1+3x+6x^2+10x^3+\cdots$, який має трикутні числа як коефіцієнти.

У випадку $\alpha =4$ отримаємо ряд $1+4x+10x^2+20x^3+\cdots$, який має тетраедричні числа як коефіцієнти, і аналогічно для вищих наткральних значень $\alpha$.

Від'ємний біноміальний ряд включає випадок геометричного ряду, тобто степеневого ряду$$\frac{1}{1-x}=\sum _{n=0}^{\mathrm{\infty }}{x}^n$$(це від'ємний біноміальний ряд, якщо $\alpha =1$, що збігається у крузі $|x|<1$), та в більш загальному випадку, ряди, отримані диференціюванням геометричних степеневих рядів: $$\frac{1}{(1-x{)}^n}=\frac{1}{(n-1)!}\frac{{\mathrm{d}}^{n-1}}{\mathrm{d}{x}^{n-1}}\frac{1}{1-x},$$

де $\alpha =n$ — натуральне число.

Історія

Перші результати щодо біноміальних рядів для показників, відмінних від натуральних чисел, були дані Ісааком Ньютоном під час дослідження площ, утворених під певними кривими. Джон Уолліс спирався на цю роботу, розглядаючи вирази у формі $y=(1-x^2{)}^m$, де $m$ — дріб. Він показав, що послідовні коефіцієнти $c_k$ від $(-x^2{)}^k$ можна знайти шляхом множення попереднього коефіцієнта на $\frac{m-(k-1)}{k}$ (як у випадку цілих степенів), тим самим неявно даючи формулу для цих коефіцієнтів. Він явно представив наступні випадкиШаблон:Efn

$(1-x^2{)}^{1/2}=1-\frac{x^2}{2}-\frac{x^4}{8}-\frac{x^6}{16}-\cdots ,$

$(1-x^2{)}^{3/2}=1-\frac{3x^2}{2}+\frac{3x^4}{8}+\frac{x^6}{16}+\cdots ,$

$(1-x^2{)}^{1/3}=1-\frac{x^2}{3}-\frac{x^4}{9}-\frac{5x^6}{81}-\cdots .$

Тому біноміальний ряд іноді називають біноміальною теоремою Ньютона. Ньютон не наводив жодних доведень і не говорив чітко про природу цього ряду. Пізніше, у 1826 році, Нільс Хенрік Абель обговорював цю тему в статті, опублікованій у Шаблон:Нп, зокрема розглядаючи питання збіжності.Шаблон:Sfn

Див. також

• Біном Ньютона
• Біноміальний коефіцієнт

Література

• Шаблон:Фіхтенгольц.укр
• Шаблон:Citation
• Шаблон:Citation

Посилання

• Шаблон:MathWorld
• Шаблон:MathWorld
• Шаблон:PlanetMath
• Шаблон:SpringerEOM
• Шаблон:Cite web