Г(x) в каждой точке посредством того, что сегодня мы бы назвали пределом:
Г(x) = limn→∞(n!nx)/(x (х+1)(х+2)...(х+n).
Сейчас вместо этого выражения используется интегральный вид:
Г(x) = ∫0∞ е-ttz-1dt.
Он более прост, с ним легче работать, и к тому же он действителен в области комплексных чисел. При глубоком изучении Г(х) из нее можно получить огромное количество интереснейших для математиков формул, например
Г(1 - z)Г(z) = π/sin(πz),
которая связывает гамма-функцию с числом π и тригонометрическими функциями.
ДРУГИЕ ФОРМЫ ГАММА-ФУНКЦИИ
Определить Г(х) можно разными способами. В XIX веке была особенно популярна формула Карла Вейерштрасса (1815-1897), в которой используется постоянная Эйлера (она обозначается буквой у" тоже "гамма", но строчная):
Г(z) = e-γz/z ∏n=1∞(1 + z/n)-1ez/n
Для этой функции верно:
Г(1)=1
Г(1 + х) = хГ(х).
При помощи гамма-функции выводится знаменитая формула Стирлинга (1692-1770), которая считается образцом красоты символов, поскольку в ней гармонически сочетаются постоянные π,е и число n:
n! = √(2πn)(n/e)n
И наконец, скажем о связи между гамма и дзета-функцией ξ(z). Последняя имеет огромное значение в теории чисел, в частности в интереснейшей области простых чисел:
ξ(z)Г(z) = ∫0∞tz-1/(et-1)dt.
БЕТА-ФУНКЦИЯ
Изучая гамма-функцию, Эйлер натолкнулся на еще одну, получившую название "бета" и обозначенную буквой В. Она также очень полезна в области анализа, и ее можно определить разными способами. Один из них — с помощью интеграла:
при условии, что действительные части х и у являются положительными. Еще один способ состоит в использовании гамма-функции, которую мы определили выше:
В(х,у) = Г(x)Г(y)/Г(x+y).
ЧИСЛА ФЕРМА
После изучения гамма- и бета-функций Эйлер занялся теорией чисел, вдруг резко изменив направление своей научной работы, что было для него весьма характерным. В частности, его привлек вопрос, который за век до того оставил нерешенным французский ученый Пьер Ферма (1601-1665).
МАТЬ ВСЕХ ФУНКЦИЙ
Дзета-функция — королева всех математических функций, она привлекает наибольшее внимание специалистов, и ей посвящено наибольшее количество сайтов в интернете. Ее название происходит от греческой буквы ξ (дзета), и в первый раз ее использовал Эйлер в решении так называемой Базельской задачи, принесшей ему известность. Эйлер доказал, что бесконечная сумма обратных квадратов равна π2/6:
1 + 1/22 + 1/32 + 1/42 + ... + π2/6,
а затем обобщил этот результат, рассмотрев подробнее следующую функцию:
ξ(x) = 1 + 1/2x + 1/3x + 1/4x + ...
Она может принимать любое значение х из области R вещественных чисел. Эйлер вычислил множество значений дзета-функции, но прямой метод нахождения этих бесконечных сумм неизвестен и по сей день. Сам Эйлер открыл способ приведения бесконечной суммы £ к конечному результату, получив, благодаря легкости обращения с алгебраическими формулами, выражение
ξ(x) = Σn=1∞1/ns = ∏k=1∞1/(1 - 1/pks),
где рk пересекают исключительно область простых чисел. Так обнаружилась неожиданная связь дзета-функций с этими числами. При помощи инструментов анализа дзета-функцию можно перенести в комплексную область, если брать значения s не из области R (то есть вещественных чисел), а из комплексной области С. Впервые дзета-функцию до этой области расширил и изучил великий немецкий математик Бернхард Риман (1826-1866). Сегодня эта функция известна как дзета-функция Римана, и с ней связана так называемая гипотеза, или проблема Римана: невероятное предположение, которое до сих пор не было доказано и считается одной из главных нерешенных задач современной математики. Гипотеза Римана входит в число семи проблем тысячелетия, за решение каждой из которых Институт Клэя в качестве приза выплатит один миллион долларов.
Связь между Эйлером и Ферма была очень тесной. Если мы проследим научные изыскания Эйлера в теории чисел, то увидим, что в основном он пытался решить одну за другой оставленные без ответа задачи Ферма. Это было непросто, поскольку французский ученый редко записывал свои вопросы отдельно, а обычно делал комментарии прямо в книгах, которые читал и анализировал. Он любил бросать вызов своим коллегам, задавая им задачи, которые сам уже решил.
Один из самых интересных вопросов из наследия Ферма — числа, которые были названы его именем, числа Ферма. Они обозначаются буквой F и определяются формулой
Fn = 22n +1.
При n = 0,1,2,3,4 получим
F0 = 2 20 + 1 = 21 + 1 = 3
F1 = 2 21 +1 = 22 + 1 = 4 + 1 = 5
F2 = 22 2 + 1 = 24 + 1 = 16 + 1 = 17
F3 = 2 23 + 1 = 25 + 1 = 256 + 1 = 257
F4 = 2 24 + 1 = 216 + 1 = 65 536 + 1 = 65 637.
Все они являются простыми числами. Следующее число Ферма выглядит так:
F5 = 2 25 + 1 = 232 +1 = 4 294 967 296 + 1 = 4 294 967 297.
Было бы логично предположить, что оно, как и предыдущие, является простым. По стандартам того времени более рискованно, хотя и не намного, было выдвинуть гипотезу (как сделал Гольдбах) о том, что все эти числа простые, подтверждая тем самым мнение самого Ферма. Гольдбах сообщил Эйлеру об этой задаче в 1729 году, а в 1732-м тот уже нашел ее решение: F5 — не простое число, а составное:
F5 = 4 294 967 297 = 641 • 6700 417.
Первой реакцией на этот результат было изумление. Ведь чтобы провести факторизацию этого числа, деля его на 2,3,5,7, 11,13 и так далее, продолжая перебирать бесконечную последовательность простых чисел, требовались колоссальные усилия.
ПЬЕР ДЕ ФЕРМА
Ферма был юристом по профессии и занимался математикой исключительно как хобби, за что получил прозвище "король любителей". Он внес решающий вклад в создание аналитической геометрии, а также в развитие теории вероятностей и оптики, изучал отражение и преломление света и отнес эти явления к максимумам и минимумам, заложив таким образом основы дифференциального исчисления. Наибольшую известность Ферма принесли его исследования о теории чисел, в которых ярко проявились его удивительные способности и необычные методы работы. Обычно он не записывал свои рассуждения отдельно, а делал, пока хватало места, пометки на полях книг, которые читал. Всемирной известностью он обязан появлению теоремы, гласящей, что "для n > 2 не существует таких целых положительных чисел х, у, z, не равных нулю, для которых справедливо хn+уn=zn". Она известна как Великая теорема Ферма, и долгое время у нее не было доказательства. Ферма утверждал — хотя, вполне возможно, ошибочно, — что однажды во время чтения он нашел превосходное доказательство, но на полях книги не было достаточно места для его записи. Теорема была доказана в 1995 году Эндрю Уайлсом.