Гамма-функция

Гамма-функция

Гамма-функцияматематическая функция, которая расширяет понятие факториала на поле комплексных чисел. Обычно обозначается \Gamma(z).

Была введена Леонардом Эйлером, а своим обозначением гамма-функция обязана Лежандру.

Содержание

Определения

График гамма-функции действительного переменного

Интегральное определение

Если вещественная часть комплексного числа z положительна, то Гамма-функция определяется через интеграл

~\Gamma(z)=\int\limits_0^{+\infty}\!t^{\,{\mathrm z}-1}e^{-t}\,dt,\quad z\in\mathbb{C}\colon \mathrm{Re}(z)>0

На всю комплексную плоскость функция аналитически продолжается через тождество

~\Gamma(z+1)=z\Gamma(z).

Последующие выражения служат альтернативными определениями Гамма-функции.

Определение по Гауссу

Оно верно для всех комплексных z, за исключением 0 и отрицательных целых чисел

\Gamma(z)=\lim\limits_{n\to\infty}\frac{n! \,n^z}{z(z+1)(z+2)\cdots(z+n)}, \quad z\in\mathbb{C}\setminus\{0,-1,-2,\ldots\}.

Определение по Эйлеру

\Gamma(z)=\frac{1}{z}\left(\prod\limits_{n=1}^\infty {\left(1+\frac{1}{n}\right)}^z{\left(1+\frac{z}{n}\right)}^{-1}\right)= \frac{1}{z} \prod_{n=1}^\infty \frac{\left(1+\frac{1}{n}\right)^{\mathrm z}}{1+\frac{\mathrm z}{n}},\quad z\in\mathbb{C}\setminus\{0,-1,-2,\ldots\}.

Определение по Вейерштрассу

\Gamma(z)=\frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \left(1 + \frac{z}{n}\right)^{-1} e^{z/n},\quad z\in\mathbb{C}\setminus\{0,-1,-2,\ldots\}.

где \gamma=\lim\limits_{n\to\infty}\left(\sum\limits_{k=1}^n\frac{1}{k}-\ln{n}\right)\approx 0,57722постоянная Эйлера — Маскерони.

Замечания

выполняется для подынтегрального выражения.
\Gamma(n+1)=n\cdot\Gamma(n)=\ldots=n!\cdot\Gamma(1)=n!

Связанные определения

  • Иногда используется альтернативная запись, так называемая пи-функция, зависящая от гамма-функции следующим образом:
    \Pi(z)=\Gamma(z+1)=z\Gamma(z).
  • В интеграле выше, определяющем гамма-функцию, пределы интегрирования фиксированы. В неполной гамма-функции допускается, чтобы верхний либо нижний предел интегрирования был переменным. Неполную гамма-функцию часто обозначают как гамма-функцию от двух аргументов:
    \Gamma(a,z)=\int\limits_0^{\mathrm z}\!{e^{-t}t^{a-1}\,dt}.

Свойства

График модуля гамма-функции на комплексной плоскости.
  • формула дополнения
    \Gamma(1-z)\Gamma(z)={\pi\over\sin\pi z}.
  • Наиболее известные значения гамма-функции от нецелого аргумента это
    \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}.
    \Gamma(\tfrac14)=\sqrt\frac{(2 \pi)^{3/2}}{AGM(\sqrt 2, 1)}.
    \Gamma\left(\frac{3}{2}\right)=\frac{\sqrt{\pi}}{2}.
    \Gamma\left(\frac{1}{2}+n\right) = {(2n)! \over 4^n n!} \sqrt{\pi} = \frac{(2n-1)!!}{2^n}\, \sqrt{\pi} = \sqrt{\pi} \cdot \left[ {n-\frac{1}{2}\choose n} n! \right]
    \Gamma\left(\frac{1}{2}-n\right) = {(-4)^n n! \over (2n)!} \sqrt{\pi} = \frac{(-2)^n}{(2n-1)!!}\, \sqrt{\pi} = \sqrt{\pi} / \left[ {-\frac{1}{2} \choose n} n! \right]
  • Гамма-функция имеет полюс в z=-n для любого натурального n и нуля; вычет в этой точке задается так
    \operatorname{\mathrm{Res}}_{z=-n}\,\Gamma(z)=\frac{(-1)^n}{n!}.
  • Следующее бесконечное произведение для гамма-функции, как показал Вейерштрасс, верно для всех комплексных z, не являющихся неположительными целыми:
    \Gamma(z) = \frac{e^{-\gamma z}}{z} \prod_{k=1}^\infty \left(1 + \frac{z}{k}\right)^{-1} e^{z/k},
где \gamma — это константа Эйлера.
  • формула, полученная Гауссом:
    \Gamma(z)\Gamma\left(z+\frac{1}{n}\right)\ldots\Gamma\left(z+\frac{n-1}{n}\right)=n^{\frac{1}{2}-nz}\cdot(2\pi)^{\frac{n-1}{2}}\Gamma(nz).
  • Основное, но полезное свойство, которое может быть получено из предельного определения:
    \overline{\Gamma(z)} = \Gamma(\overline{z}).
  • Гамма-функция дифференцируема бесконечное число раз, и \Gamma^\prime(x)=\psi(x)\Gamma(x), где \psi(x) часто называют «пси-функцией», или дигамма-функцией.
  • Гамма-функция и бета-функция связаны следующим соотношением:
    \Beta(x,\;y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}.

См. также



Wikimedia Foundation. 2010.

Синонимы:

Смотреть что такое "Гамма-функция" в других словарях:

  • гамма-функция — гамма функция, гамма функции …   Орфографический словарь-справочник

  • ГАММА-ФУНКЦИЯ — Г функция, Г(x), одна из важнейших специальных функций, обобщающая понятие факториала на случай любых значений x …   Большой Энциклопедический словарь

  • гамма-функция — сущ., кол во синонимов: 1 • функция (49) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • ГАММА-ФУНКЦИЯ, — Г функция, трансцендентная функция , распространяющая значения факториала на случай любого комплексного Г. ф. введена Л. Эйлером [(L. Euler), 1729, письмо к X. Гольдбаху (Ch. Goldbach)] при помощи бесконечного произведения иа к рого Л. Эйлер… …   Математическая энциклопедия

  • гамма-функция — Г функция, Г(х), одна из важнейших специальных функций, обобщающая понятие факториала на случай любых значений х. * * * ГАММА ФУНКЦИЯ ГАММА ФУНКЦИЯ, Г функция, Г(x), одна из важнейших специальных функций, обобщающая понятие факториала на случай… …   Энциклопедический словарь

  • гамма-функция — gama funkcija statusas T sritis fizika atitikmenys: angl. gamma function vok. Gamma Funktion, f rus. гамма функция, f pranc. fonction gamma, f …   Fizikos terminų žodynas

  • Гамма-функция —         [Г функция, Г (х)], одна из важнейших специальных функций, обобщающая понятие факториала; для целых положительных n равна Г (n) = (n 1)! = 1·2... (n 1). Впервые введена Л. Эйлером в 1729. Г. ф. для действительных х > 0 определяется… …   Большая советская энциклопедия

  • ГАММА-ФУНКЦИЯ — Г функция, Г(х), одна из важнейших спец. функций, обобщающая понятие факториала на случай любых значений х …   Естествознание. Энциклопедический словарь

  • ГАММА-ФУНКЦИЯ — Г(х) ф ция, обобщающая понятие факториала; для случая целого положит. х равна 1*2*3*...*(х 1)=(х 1)I=Г(х) …   Большой энциклопедический политехнический словарь

  • гамма-функция — г амма ф ункция, и …   Русский орфографический словарь

Книги

Другие книги по запросу «Гамма-функция» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»