Чтобы узнать о гамма-функции ординалов, см. функцию Веблена . Информацию о гамма-распределении в статистике см. в разделе распределение Гамма- . Информацию о функции, используемой в представлении цвета видео и изображений, см. в разделе коррекция». «Гамма-
Гамма
Гамма-функция вдоль части действительной оси
Общая информация
Общее определение
Области применения
Исчисление, математический анализ, статистика, физика
В математике гамма -функция (представленная Γ , заглавной буквой «гамма » греческого алфавита ) является одним из широко используемых расширений факториала для комплексных чисел . Гамма-функция определена для всех комплексных чисел, кроме неположительных целых чисел. Для каждого положительного целого n числа
Существуют и другие расширения функции факториала, но гамма-функция является самой популярной и полезной. Это компонент различных функций распределения вероятностей, и как таковой он применим в области вероятности и статистики , а также в комбинаторике .
интерполирует функцию факториала до нецелых значений.
Гамма-функцию можно рассматривать как решение интерполяционной задачи поиска гладкой кривой. который соединяет точки факториала: для всех положительных целых значений . Простая формула факториала x ! = 1 × 2 × ⋯ × x допустимо только тогда, когда x — целое положительное число, и ни одна элементарная функция не обладает этим свойством, но хорошим решением является гамма-функция. . [1]
Гамма-функция не только гладкая, но и аналитическая (за исключением неположительных целых чисел), и ее можно определить несколькими явными способами. Однако это не единственная аналитическая функция, расширяющая факториал, поскольку можно добавить любую аналитическую функцию, равную нулю для положительных целых чисел, например: для целого числа . [1] Такая функция известна как псевдогамма-функция , наиболее известной из которых является функция Адамара . [2]
Гамма-функция Γ( z ) синего цвета изображена вместе с Γ( z ) + sin(π z ) зеленым цветом. Обратите внимание на пересечение положительных целых чисел. Оба являются действительными расширениями факториалов до мероморфной функции на комплексной плоскости.
Но это все равно не дает однозначного решения, так как допускает умножение на любую периодическую функцию с и , такой как . Одним из способов разрешения неоднозначности является теорема Бора – Моллерупа , которая показывает, что - уникальная интерполирующая функция по положительным числам, которая является логарифмически выпуклой (сверхвыпуклой), [5] означающий, что является выпуклым . [6]
Обозначения это заслуга Лежандра . [1] Если действительная часть комплексного числа z строго положительна ( ), то интеграл
сходится абсолютно и известен как интеграл Эйлера второго рода . (Интеграл Эйлера первого рода — это бета-функция . [1] ) Используя интегрирование по частям , видим, что:
Абсолютное значение (по вертикали) и аргумент (цвет) гамма-функции на комплексной плоскости.
Признавая, что как
Мы можем рассчитать :
Таким образом, мы можем показать, что для любого натурального числа n по индукции . В частности, базовый случай заключается в том, что , а шаг индукции таков:
Для фиксированного целого числа , как целое число увеличивается, у нас это есть [7]
Если не является целым числом, то невозможно сказать, верно ли это уравнение, поскольку мы еще (в этом разделе) не определили функцию факториала для нецелых чисел. Однако мы получаем уникальное расширение функции факториала на нецелые числа, настаивая на том, что это уравнение продолжает выполняться, когда произвольное целое число заменяется произвольным комплексным числом ,
Умножив обе части на дает
Это бесконечное произведение , принадлежащее Эйлеру, [8] сходится для всех комплексных чисел за исключением неположительных целых чисел, которые терпят неудачу из-за деления на ноль. Интуитивно эта формула показывает, что примерно является результатом вычислений для некоторого большого целого числа , умножив на приблизить , и используя отношение назад раз, чтобы получить приблизительное значение ; и, более того, это приближение становится точным как увеличивается до бесконечности.
where the last equality is a known result. A similar derivation begins with Weierstrass's definition.
Proof 2
First we prove that
Consider the positively oriented rectangular contour with vertices at , , and where . Then by the residue theorem,
Let
and let be the analogous integral over the top side of the rectangle. Then as and . If denotes the right vertical side of the rectangle, then
for some constant and since , the integral tends to as . Analogously, the integral over the left vertical side of the rectangle tends to as . Therefore
from which
Then
and
Proving the reflection formula for all proves it for all by analytic continuation.
Формула умножения является частным случаем теоремы умножения (см. [9] уравнение 5.5.6):
Простое, но полезное свойство, которое можно увидеть из определения предела:
В частности, при z = a + bi это произведение
Если действительная часть является целым или полуцелым числом, это можно конечно выразить в замкнутой форме :
Доказательство формул абсолютного значения для аргументов целой или полуцелой действительной части
First, consider the reflection formula applied to .
Applying the recurrence relation to the second term, we have
which with simple rearrangement gives
Second, consider the reflection formula applied to .
Formulas for other values of for which the real part is integer or half-integer quickly follow by induction using the recurrence relation in the positive and negative directions.
Возможно, самое известное значение гамма-функции при нецелом аргументе:
который можно найти, установив в формулах отражения или дублирования, используя отношение к бета-функции с приведенное ниже или просто сделав замену в интегральном определении гамма-функции, что приводит к интегралу Гаусса . В общем, для неотрицательных целых значений у нас есть:
Может возникнуть соблазн обобщить результат, путем поиска формулы для других индивидуальных значений где является рациональным, особенно потому, что, согласно дигамм-теореме Гаусса , это возможно сделать для тесно связанной дигамма-функции при каждом рациональном значении. Однако эти цифры неизвестно, что они выражаются сами по себе через элементарные функции. Было доказано, что является трансцендентным числом и алгебраически не зависит от для любого целого числа и каждая из фракций . [10] В общем, при вычислении значений гамма-функции мы должны использовать численные аппроксимации.
Производные гамма-функции описываются через -функцию полигамма ψ (0) ( С ) :
Для положительного целого числа m производную гамма-функции можно вычислить следующим образом:
Цвета, показывающие аргумент гамма-функции в комплексной плоскости от −2 − 2 i до 6 + 2 i.
Если ограничиться положительными действительными числами, гамма-функция является строго логарифмически выпуклой функцией . Это свойство может быть выражено любым из следующих трех эквивалентных способов:
Для любых двух положительных действительных чисел и , и для любого ,
Для любых двух положительных действительных чисел и , и >
Для любого положительного действительного числа ,
Последнее из этих утверждений, по сути, по определению то же самое, что утверждение о том, что , где – полигамма-функция первого порядка. Поэтому для доказательства логарифмической выпуклости гамма-функции достаточно заметить, что имеет серийное представление, которое для положительных вещественных x состоит только из положительных членов.
Логарифмическая выпуклость и неравенство Йенсена вместе означают, что для любых положительных действительных чисел и ,
Существуют также границы на отношения гамма-функций. Самым известным является неравенство Гаучи , которое гласит, что для любого положительного действительного числа x и любого s ∈ (0, 1 )
Представление гамма-функции в комплексной плоскости. Каждая точка раскрашивается в соответствии с аргументом . Контурный график модуля также отображается. Трехмерный график абсолютного значения комплексной гамма-функции
Поведение для возрастающей положительной действительной переменной определяется формулой Стирлинга
где символ означает асимптотическую сходимость: отношение двух сторон сходится к 1 в пределе . [1] Этот рост быстрее, чем экспоненциальный, , для любого фиксированного значения .
Еще один полезный предел асимптотических приближений для является:
При записи члена ошибки в виде бесконечного произведения формулу Стирлинга можно использовать для определения гамма-функции: [12]
Поведение для неположительных является более сложным. Интеграл Эйлера не сходится при , но функция, которую он определяет в положительной комплексной полуплоскости, имеет единственное аналитическое продолжение в отрицательную полуплоскость. Один из способов найти это аналитическое продолжение — использовать интеграл Эйлера для положительных аргументов и расширить область определения до отрицательных чисел путем многократного применения рекуррентной формулы: [1]
выбирая такой, что является положительным. Произведение в знаменателе равно нулю, если равно любому из целых чисел . Таким образом, гамма-функция должна быть неопределенной в этих точках, чтобы избежать деления на ноль ; это мероморфная функция с простыми полюсами в неположительных целых числах. [1]
Для простого шеста перепишем рекуррентную формулу так:
Числитель в является
и знаменатель
Таким образом, остатки гамма-функции в этих точках равны: [13]
Гамма-функция отлична от нуля всюду вдоль вещественной линии, хотя при z → −∞ она сколь угодно близка к нулю . На самом деле не существует комплексного числа для которого , и, следовательно, обратная гамма-функция целая функция с нулями в . [1]
На реальной линии гамма-функция имеет локальный минимум при z min ≈ +1,46163 21449 68362 34126 [14] где оно достигает значения Γ( z min ) ≈ +0,88560 31944 10888 70027 . [15] Гамма-функция возрастает по обе стороны от этого минимума. Решением Γ( z − 0,5) = Γ( z + 0,5) является z = +1,5 , а общее значение — Γ(1) = Γ(2) = +1 . Положительное решение задачи Γ( z − 1) = Γ( z + 1) — это z = φ ≈ +1,618 , золотое сечение , а общее значение — Γ( φ − 1) = Γ( φ + 1) = φ ! ≈ +1.44922 96022 69896 60037 . [16]
Гамма-функция должна менять знак между своими полюсами в неположительных целых числах, поскольку произведение в прямой рекуррентности содержит нечетное количество отрицательных факторов, если количество полюсов между и нечетное и четное число, если число полюсов четное. [13] Значения локальных экстремумов гамма-функции вдоль действительной оси между неположительными целыми числами:
Существует множество формул, помимо интеграла Эйлера второго рода, выражающих гамма-функцию в виде интеграла. Например, когда действительная часть z положительна, [22]
где три интеграла соответственно следуют из замен , [24] и [25] во втором интеграле Эйлера. Последний интеграл, в частности, проясняет связь между гамма-функцией при полуцелых аргументах и интегралом Гаусса : если мы допустим мы получаем .
Первая интегральная формула Бине для гамма-функции гласит, что, когда действительная часть z положительна, тогда: [26]
Вторая интегральная формула Бине утверждает, что, опять же, когда действительная часть z положительна, тогда: [27]
Пусть C — контур Ганкеля , означающий путь, который начинается и заканчивается в точке ∞ на сфере Римана , единичный касательный вектор которого сходится к −1 в начале пути и к 1 в конце, который имеет номер обмотки 1 вокруг 0 и который не пересекает [0, ∞) . Исправить ветку взяв ветвь, разрезающую вдоль [0, ∞) и взяв быть действительным, когда t находится на отрицательной действительной оси. Предположим, что z не является целым числом. Тогда формула Ханкеля для гамма-функции: [28]
где интерпретируется как . Формула отражения приводит к тесно связанному выражению
Последнее можно получить, логарифмируя приведенную выше формулу умножения, которая дает выражение суммы Римана подынтегральной функции. Берем лимит на дает формулу.
Альтернативное обозначение, первоначально введенное Гауссом, — это -функция, которая в терминах гамма-функции равна
так что для каждого неотрицательного целого числа .
Используя функцию пи, формула отражения принимает вид
где sinc — нормированная функция sinc , а теорема умножения принимает вид
Мы также иногда находим
которая представляет собой целую функцию , определенную для каждого комплексного числа, точно так же, как обратная гамма-функция . Что является целым, значит, у него нет полюсов, поэтому , нравиться , не имеет нулей .
В первом интеграле выше, который определяет гамма-функцию, пределы интегрирования фиксированы. Верхняя и нижняя неполные гамма-функции — это функции, полученные путем изменения нижнего или верхнего (соответственно) предела интегрирования.
Поскольку гамма-функции и факториал растут так быстро для умеренно больших аргументов, многие вычислительные среды включают функцию, возвращающую натуральный логарифм гамма-функции (часто называемую lgamma или lngamma в средах программирования или gammalnв электронных таблицах); он растет гораздо медленнее, а для комбинаторных вычислений позволяет складывать и вычитать журналы вместо умножения и деления очень больших значений. Его часто определяют как [41]
Дигамма -функция , которая является производной этой функции, также часто встречается.
В контексте технических и физических приложений, например, при распространении волн, функциональное уравнение
Логарифмическая гамма-функция в комплексной плоскости от −2 − 2i до 2 + 2i с цветами
часто используется, поскольку позволяет определить значения функции в одной полосе шириной 1 по z из соседней полосы. В частности, начав с хорошего приближения для a z с большой действительной частью, можно шаг за шагом идти вниз к желаемому z . По указанию Карла Фридриха Гаусса Роктешель (1922) предложил приближение для больших Re( z ) :
Это можно использовать для точной аппроксимации ln(Γ( z )) для z с меньшим Re( z ) с помощью (PEBöhmer, 1939)
Более точное приближение можно получить, используя больше членов из асимптотических разложений ln(Γ( z )) и Γ( z ) , которые основаны на приближении Стирлинга.
как | г | → ∞ при постоянной | арг( z ) | < π . (См. последовательности A001163 и A001164 в OEIS .)
В более «естественном» изложении:
как | г | → ∞ при постоянной | арг( z ) | < π . (См. последовательности A046968 и A046969 в OEIS .)
Коэффициенты членов с k > 1 из z 1− к в последнем расширении просто
Гамма-функция — это уникальная функция, которая одновременно удовлетворяет
,
для всех комплексных чисел кроме неположительных целых чисел, и,
для целого числа n , для всех комплексных чисел . [1]
В определенном смысле функция ln(Γ) является более естественной формой; это проясняет некоторые внутренние атрибуты функции. Ярким примером является ряд Тейлора для ln(Γ) около 1:
мы можем найти интегральное представление для функции ln(Γ) :
или, установив z = 1, чтобы получить интеграл для γ , мы можем заменить член γ его интегралом и включить его в приведенную выше формулу, чтобы получить:
Также существуют специальные формулы логарифма гамма-функции для рационального z .
Например, если и являются целыми числами с и затем
видеть. [43]
Эту формулу иногда используют для численных вычислений, поскольку подынтегральная функция убывает очень быстро.
Это точно в том смысле, что отношение аппроксимации к истинному значению приближается к 1 в пределе | г | уходит в бесконечность.
Гамма-функция может быть вычислена с фиксированной точностью для применив интегрирование по частям к интегралу Эйлера. Для любого положительного числа x гамма-функция может быть записана
Когда Re( z ) ∈ [1,2] и , абсолютное значение последнего интеграла меньше, чем . Выбрав достаточно большой , это последнее выражение можно сделать меньше, чем на любую желаемую стоимость . Таким образом, гамма-функция может быть оценена как немного точности с приведенной выше серией.
Быстрый алгоритм вычисления гамма-функции Эйлера для любого алгебраического аргумента (в том числе рационального) был построен Е. А. Карацубой. [51] [52] [53]
В отличие от многих других функций, таких как нормальное распределение , для гамма-функции нет очевидной быстрой и точной реализации, которую легко реализовать. , легко находится. Поэтому стоит изучить возможные решения. Если скорость важна, а точность нет, опубликованные таблицы для легко найти при поиске в Интернете, например, в онлайн-библиотеке Wiley можно использовать линейную интерполяцию . Большую точность можно получить при использовании кубической интерполяции за счет дополнительных вычислительных затрат. С таблицы обычно публикуются для значений аргументов от 1 до 2, свойство может использоваться для быстрого и легкого перевода всех реальных значений и в диапазон , так что только табличные значения необходимо использовать от 1 до 2. [55]
Если интерполяционные таблицы нежелательны, то упомянутое выше приближение Ланцоша хорошо работает с точностью от 1 до 2 знаков для небольших, часто используемых значений z. Если приближение Ланцоша недостаточно точное, формулу Стерлинга для гамма-функции можно использовать . Более полное и точное решение аппроксимации Стерлинга можно найти на сайте Math2.org , оно воспроизведено ниже в терминах [56] за первые 8( ) условия. На основе экспериментальных данных в сравнении с известными значениями для 1, 1,5 и 2 (1, и 1 соответственно), это решение имеет точность до 9 цифр для значений z выше 5 и 16 цифр для z выше 20. Меньшие значения z менее точны, но простой перевод может использоваться для легкого перевода более высоких и точных значений в более низкие значения, когда это необходимо. Менее точные потребности также можно удовлетворить, просто используя меньшее количество членов бесконечного ряда.
Асимптотический ряд Стирлинга для используя первые 8 терминов:
Один автор описывает гамма-функцию как «Возможно, это наиболее распространенная специальная функция или наименее «специальная» из них. Другие трансцендентные функции […] называются «специальными», потому что некоторых из них можно избежать, избегая многих специализированные математические темы. С другой стороны, гамма-функции Γ( z ) . труднее всего избежать [57]
Основной причиной полезности гамма-функции в таких контекстах является преобладание выражений типа которые описывают процессы, которые экспоненциально затухают во времени или пространстве. Интегралы от таких выражений иногда можно решить через гамма-функцию, когда элементарного решения не существует. Например, если f — степенная функция, а g — линейная функция, простая замена переменных дает оценку
Тот факт, что интегрирование выполняется вдоль всей положительной действительной линии, может означать, что гамма-функция описывает кумуляцию зависящего от времени процесса, который продолжается бесконечно, или значение может быть суммой распределения в бесконечном пространстве.
Конечно, часто полезно использовать пределы интегрирования, отличные от 0 и ∞, для описания кумуляции конечного процесса, и в этом случае обычная гамма-функция больше не является решением; тогда решение называется неполной гамма-функцией . (Обычную гамма-функцию, полученную путем интегрирования по всей положительной действительной линии, для контраста иногда называют полной гамма-функцией .)
Важной категорией экспоненциально убывающих функций являются гауссовы функции.
и их интегралы, такие как функция ошибок . Между этими функциями и гамма-функцией существует множество взаимосвязей; в частности, фактор получено путем оценки является «то же самое», что найдено в нормализующем коэффициенте функции ошибок и нормальном распределении .
Интегралы, которые мы обсуждали до сих пор, включают трансцендентные функции , но гамма-функция также возникает из интегралов чисто алгебраических функций. В частности, длины дуг эллипсов , и лемнискат , которые представляют собой кривые, определяемые алгебраическими уравнениями, задаются эллиптическими интегралами которые в особых случаях можно оценить через гамма-функцию. Гамма-функцию также можно использовать для расчета «объема» и «площади» n - мерных гиперсфер .
Способность гамма-функции обобщать факториальные произведения сразу же приводит к ее приложениям во многих областях математики; в комбинаторике и, как следствие, в таких областях, как теория вероятностей и вычисление степенных рядов . Многие выражения, включающие произведения последовательных целых чисел, можно записать в виде некоторой комбинации факториалов, наиболее важным примером, возможно, является биномиальный коэффициент . Например, для любых комплексных чисел z и n с | г | < 1 , мы можем написать
который очень похож на биномиальный коэффициент, когда n является неотрицательным целым числом,
Пример биномиальных коэффициентов объясняет, почему свойства гамма-функции при расширении до отрицательных чисел являются естественными. Биномиальный коэффициент дает количество способов выбрать k элементов из набора из n элементов; если k > n , то способов, конечно, нет. Если k > n , ( n - k )! является факториалом отрицательного целого числа и, следовательно, бесконечен, если мы используем определение факториалов гамма-функцией - деление на бесконечность дает ожидаемое значение 0.
Мы можем заменить факториал гамма-функцией, чтобы распространить любую такую формулу на комплексные числа. Как правило, это работает для любого продукта, в котором каждый фактор является рациональной функцией индексной переменной путем факторизации рациональной функции в линейные выражения. Если P и Q — монические полиномы степени m и n с соответствующими корнями p 1 , …, pm и , q 1 …, q n , мы имеем
Если у нас есть способ численного расчета гамма-функции, вычислить числовые значения таких продуктов очень просто. Количество гамма-функций в правой части зависит только от степени многочленов, поэтому не имеет значения, равно ли b − a 5 или 10. 5 . Приняв соответствующие пределы, можно сделать так, чтобы уравнение выполнялось, даже если левое произведение содержит нули или полюса.
Приняв пределы, некоторые рациональные продукты с бесконечным числом факторов также можно оценить с точки зрения гамма-функции. Благодаря теореме о факторизации Вейерштрасса аналитические функции могут быть записаны как бесконечные произведения, а иногда их можно представить как конечные произведения или факторы гамма-функции. Мы уже видели один яркий пример: формула отражения по сути представляет синусоидальную функцию как произведение двух гамма-функций. Исходя из этой формулы, показательная функция, а также все тригонометрические и гиперболические функции могут быть выражены через гамма-функцию.
Среди прочего, это обеспечивает явную форму аналитического продолжения дзета-функции до мероморфной функции в комплексной плоскости и приводит к немедленному доказательству того, что дзета-функция имеет бесконечное количество так называемых «тривиальных» нулей на действительной прямой. Борвейн и др. назовите эту формулу «одним из самых прекрасных открытий математики». [60] Еще одним претендентом на это звание может стать
Гамма-функция привлекла внимание некоторых из самых выдающихся математиков всех времен. Ее история, в частности задокументированная Филипом Дж. Дэвисом в статье, за которую он получил премию Шовене в 1963 году , отражает многие важные события в математике с 18 века. По словам Дэвиса, «каждое поколение нашло что-то интересное, что можно сказать о гамма-функции. Возможно, следующее поколение тоже это сделает». [1]
Проблема распространения факториала на нецелые аргументы, по-видимому, впервые рассматривалась Даниэлем Бернулли и Кристианом Гольдбахом в 1720-х годах. В частности, в письме Бернулли Гольдбаху от 6 октября 1729 г. Бернулли ввел представление произведения [61]
который хорошо определен для действительных значений x , отличных от отрицательных целых чисел.
Леонард Эйлер позже дал два разных определения: первое было не его интегралом, а бесконечным произведением , которое хорошо определено для всех комплексных чисел n , кроме отрицательных целых чисел:
о чем он сообщил Гольдбаху в письме от 13 октября 1729 года. 8 января 1730 года он снова написал Гольдбаху, чтобы объявить о своем открытии интегрального представления.
что справедливо, когда действительная часть комплексного числа n строго больше -1 (т. е. ). Благодаря замене переменных t = −ln s это становится знакомым интегралом Эйлера. Эйлер опубликовал свои результаты в статье «De Progressionibus Transcententibus seu Quarum Termini Generales Alphaice Dari nequeunt» («О трансцендентных прогрессиях, т. е. тех, общие члены которых не могут быть заданы алгебраически»), представленной в Петербургскую Академию 28 ноября 1729 г. . [62] Эйлер далее открыл некоторые важные функциональные свойства гамма-функции, включая формулу отражения.
Джеймс Стирлинг , современник Эйлера, также попытался найти непрерывное выражение для факториала и придумал то, что сейчас известно как формула Стирлинга . Хотя формула Стирлинга дает хорошую оценку n ! , также для нецелых чисел, он не дает точного значения. Расширения его формулы, исправляющие ошибку, были даны самим Стирлингом и Жаком Филиппом Мари Бине .
и использовал эту формулу для открытия новых свойств гамма-функции. Хотя Эйлер был пионером в теории комплексных переменных, он, похоже, не рассматривал факториал комплексного числа, как это впервые сделал Гаусс. [63] Гаусс также доказал теорему умножения гамма-функции и исследовал связь между гамма-функцией и эллиптическими интегралами .
где γ — постоянная Эйлера–Машерони . Вейерштрасс изначально писал свой продукт как продукт, предназначенный для 1 / Γ , и в этом случае он берется по нулям функции, а не по ее полюсам. Вдохновленный этим результатом, он доказал то, что известно как факторизационная теорема Вейерштрасса — что любую целую функцию можно записать как произведение ее нулей в комплексной плоскости; обобщение основной теоремы алгебры .
Название гамма-функция и символ Γ были введены Адрианом-Мари Лежандром около 1811 года; Лежандр также переписал интегральное определение Эйлера в его современной форме. Хотя символ представляет собой греческую «гамму» в верхнем регистре, не существует общепринятого стандарта относительно того, следует ли писать имя функции «гамма-функция» или «гамма-функция» (некоторые авторы просто пишут « Γ -функция»). Альтернативное обозначение «пи-функции» Π( z ) = z ! из-за Гаусса иногда встречается в старой литературе, но обозначения Лежандра доминируют в современных произведениях.
Имеет смысл задаться вопросом, почему мы различаем «обычный факториал» и гамма-функцию, используя разные символы, и, в частности, почему гамма-функция должна быть нормализована к Γ( n + 1) = n ! вместо простого использования « Γ( n ) = n ! ». Учтите, что обозначения показателей степени x н , было обобщено с целых чисел на комплексные числа x С без каких-либо изменений. Мотивация Лежандра для нормализации, похоже, неизвестна, и некоторые критиковали ее как громоздкую (математик 20-го века Корнелиус Ланцос , например, назвал ее «лишенной всякой рациональности» и вместо этого использовал бы z ! ). [64] Нормализация Лежандра упрощает некоторые формулы, но усложняет другие. С современной точки зрения лежандровая нормировка гамма-функции представляет собой интеграл аддитивного характера e − х против мультипликативного символа x С относительно меры Хаара на группе Ли R + . Таким образом, эта нормализация проясняет, что гамма-функция является непрерывным аналогом суммы Гаусса . [65]
Несколько проблематично то, что гамма-функции дано большое количество определений. Хотя они описывают одну и ту же функцию, доказать эквивалентность не совсем просто. Стирлинг так и не доказал, что его расширенная формула точно соответствует гамма-функции Эйлера; доказательство было впервые дано Чарльзом Эрмитом в 1900 году. [66] Вместо того, чтобы искать специализированное доказательство для каждой формулы, было бы желательно иметь общий метод определения гамма-функции.
Одним из способов доказательства было бы найти дифференциальное уравнение , характеризующее гамма-функцию. Большинство специальных функций в прикладной математике возникают как решения дифференциальных уравнений, решения которых единственны. Однако гамма-функция, похоже, не удовлетворяет ни одному простому дифференциальному уравнению. Отто Гёльдер доказал в 1887 году, что гамма-функция, по крайней мере, не удовлетворяет никакому алгебраическому дифференциальному уравнению , показав, что решение такого уравнения не может удовлетворять рекуррентной формуле гамма-функции, что делает ее трансцендентно-трансцендентной функцией . Этот результат известен как теорема Гёльдера .
Определенная и общеприменимая характеристика гамма-функции не была дана до 1922 года. Затем Харальд Бор и Иоганнес Моллеруп доказали то, что известно как теорема Бора-Моллерупа : что гамма-функция является единственным решением факториального рекуррентного соотношения, которое является положительным и логарифмически выпуклая при положительном z и значение которой в точке 1 равно 1 (функция называется логарифмически выпуклой, если ее логарифм выпуклый). Другая характеристика дается теоремой Виланда .
Теорема Бора – Моллерупа полезна, потому что относительно легко доказать логарифмическую выпуклость для любой из различных формул, используемых для определения гамма-функции. Идя дальше, вместо того, чтобы определять гамма-функцию по какой-либо конкретной формуле, мы можем выбрать условия теоремы Бора-Моллерапа в качестве определения, а затем выбрать любую формулу, которая нам нравится, которая удовлетворяет этим условиям, в качестве отправной точки для изучения гамма-функции. . Этот подход использовала группа Бурбаки .
Борвейн и Корлесс [67] обзор трех столетий работы над гамма-функцией.
Справочные таблицы и программное обеспечение [ править ]
Хотя гамма-функцию можно вычислить практически так же легко, как и любую математически более простую функцию, с помощью современного компьютера — даже с помощью программируемого карманного калькулятора — это, конечно, не всегда так. До середины 20 века математики полагались на таблицы, сделанные вручную; в случае гамма-функции, в частности, таблица, рассчитанная Гауссом в 1813 году и таблица, вычисленная Лежандром в 1825 году. [68]
Таблицы комплексных значений гамма-функции, а также нарисованные от руки графики были приведены в « Таблицах функций с формулами и кривыми» и Янке Эмде [ де ] , впервые опубликованных в Германии в 1909 году. По словам Майкла Берри , «издание в J&E трехмерный график, показывающий полюса гамма-функции в комплексной плоскости, приобрел почти культовый статус». [69]
На самом деле до 1930-х годов, когда в теоретической физике было обнаружено применение комплексной гамма-функции, практически не было необходимости ни в чем, кроме реальных значений гамма-функции. Когда в 1950-х годах стали доступны электронные компьютеры для производства таблиц, для удовлетворения спроса было опубликовано несколько обширных таблиц для сложной гамма-функции, включая таблицу с точностью до 12 десятичных знаков от Национального бюро стандартов США . [1]
Воспроизведение знаменитого сложного графика Янке и Эмде (Таблицы функций с формулами и кривыми, 4-е изд., Дувр, 1945 г.) гамма-функции от -4,5 - 2,5i до 4,5 + 2,5i.
^ Паскаль Себа, Ксавье Гурдон. «Введение в гамма-функцию» (PDF) . Вычисление чисел . Архивировано из оригинала (PDF) 30 января 2023 года . Проверено 30 января 2023 г.
^ Благоушин, Ярослав В. (2016). «Ошибка и дополнение к «Повторному открытию интегралов Мальмстена, их оценке методами контурного интегрирования и некоторым связанным с этим результатам» ». Рамануджан Дж . 42 (3): 777–781. дои : 10.1007/s11139-015-9763-z . S2CID 125198685 .
^ Благоушин, Ярослав В. (2015). «Теорема для оценки в замкнутой форме первой обобщенной константы Стилтьеса при рациональных аргументах и некоторые связанные с ней суммирования». Журнал теории чисел . 148 : 537–592. arXiv : 1401.3724 . дои : 10.1016/j.jnt.2014.08.009 .
^ Алексеевский, В.П. (1894). «Об одном классе функций, аналогичных гамма-функции». Лейпцигский книжный магазин Weidmannshe . 46 :268-275.
^ Барнс, EW (1899). «Теория G -функции». Кварта. Дж. Математика . 31 : 264–314.
^ Борвейн, Дж. М.; Цукер, Эй Джей (1992). «Быстрая оценка гамма-функции малых рациональных дробей с использованием полных эллиптических интегралов первого рода». Журнал IMA численного анализа . 12 (4): 519–526. дои : 10.1093/ИМАНУМ/12.4.519 .
Эндрюс, GE ; Аски, Р.; Рой, Р. (1999). «Глава 1 (Гамма- и Бета-функции)». Специальные функции . Нью-Йорк: Издательство Кембриджского университета. ISBN 978-0-521-78988-2 .
Артин, Эмиль (2006). «Гамма-функция». В Розене, Майкл (ред.). Экспозиция Эмиля Артина: подборка . История математики. Том. 30. Провиденс, Род-Айленд: Американское математическое общество.
Темме, Нико М. (1996). Специальные функции: введение в классические функции математической физики . Нью-Йорк: Джон Уайли и сыновья. ISBN 978-0-471-11313-3 .
Arc.Ask3.Ru Номер скриншота №: 3C836F03ACEFC3CFE692A3EC75ACA84B__1716967620 URL1:https://en.wikipedia.org/wiki/Gamma_function Заголовок, (Title) документа по адресу, URL1: Gamma function - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть, любые претензии не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, денежную единицу можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)