Бета- и гамма-функции - Математика дипломная работа
![](/file/c17a668ccb7333e986a5a.jpg)
Главная
Математика
Бета- и гамма-функции
Определение функций "бета", "гамма". Эйлеров интеграл первого и второго рода. Связь между функциями "бета" и "гамма". Формула Эйлера, интеграл Раабе. Основные свойства гамма-функции при ее определении. Отличие дифференцирования от интегрирования.
посмотреть текст работы
скачать работу можно здесь
полная информация о работе
весь список подобных работ
Нужна помощь с учёбой? Наши эксперты готовы помочь!
Нажимая на кнопку, вы соглашаетесь с
политикой обработки персональных данных
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
В отличие от дифференцирования, интегрирование не есть действие, всегда позволяющее найти элементарную функцию, являющуюся первообразной от заданной элементарной функции. Строго доказано, что во многих случаях и не существует такого элементарного выражения для первообразной. Другими словами, можно указать элементарные функции, интегралы от которых не выражаются никакими конечными комбинациями основных элементарных функций. Про такие функции говорят, что они не интегрируемы в элементарных функциях (или не интегрируемы в конечном виде).
Несмотря на простую форму записи, в элементарных функциях это уравнение не решается. Его решение называется гамма-функцией. Гамма-функцию можно записать в виде ряда или в виде интеграла. Для изучения глобальных свойств гамма-функции обычно пользуются интегральным представлением. Гамма-функция тесно связана с бета-функцией. Обе эти функции определяют эйлеровы интегралы первого и второго рода, введённые великим математиком, физиком и астрономом Л. Эйлером (1707-1783 гг.). Ему принадлежат важнейшие работы по математическому анализу. Долгие годы живя в России, он оказал большое влияние на развитие отечественной математике.
Проблема исследования: При изучении темы «Интегральное исчисление» в педагогических вузах математических факультетов уделяется основное внимание технике вычисления первообразных функций, при этом у студентов складывается ошибочное представление, что большинство интегралов вычисляются через элементарные функции, хотя этот класс функций уже, и большая часть функций не выражается через элементарные функции. При вычислении некоторых из них используют эйлеровы интегралы.
Цель работы: Изучить бета- и гамма-функции, их свойства, связь между ними и научиться применять их для вычисления интегралов; показать эквивалентность двух разных определений гамма-функции.
Задачи: - изучение и систематизация литературы по теме «Эйлеровы интегралы»;
- показать, что гамма-функция является продолжением факториала;
- составление тестовых заданий и контрольных вопросов;
- подбор и решение практических задач.
Объект исследования: явления окружающей действительности, для моделирования которых используются интегралы, вычисляемые через В-Г-функции.
Предмет исследования: Свойства бета- и гамма-функций и их применение.
Рассмотрим Эйлеров интеграл первого рода. Так называется (по предложению Лежандра) интеграл вида:
где a, b > 0. Он представляет функцию от двух переменных параметров а и b, или бета-функцию (функцию В).
Докажем, что данный интеграл (1.1) для положительных значений а и b (хотя бы и меньших единицы) сходится.
Доказательство . При а < 1 особая точка 0, при b < 1 особая точка 1. разложим предложенный интеграл на два, например, так:
Так как подинтегральная функция при х0 является бесконечно большой (если а < 1) порядка 1 - а, то первый интеграл сходится лишь при условии 1 - а < 1, то есть а > 0. аналогично, второй сходится при b > 0. Итак, интеграл (1) сходится в том и только в том случае, если одновременно а > 0, b > 0.
Так как рассматриваемый интеграл (1.1) сходится, следовательно, может быть положен в основу функции В.
а) Прежде всего, подстановкой х = 1 - t получаем:
так как функция В является симметричной относительно а и b.
б) С помощью интегрирования по частям из формулы (1.1) при b > 1, находим
Эту формулу можно применять с целью уменьшения b, пока b остается больше 1; таким образом, всегда можно достигнуть того, чтобы второй аргумент стал не больше 1.
Этого же результата можно добиться и в отношении первого аргумента, так как бета-функция является симметричной. Имеет место и другая формула приведения (а > 1):
Если b равно натуральному числу n, то, последовательно применяя формулу (1.2), найдем:
Поэтому для B (a, n) и, одновременно, для B (n, а) получается окончательное выражение
Если и а равно натуральному числу m, то
Эту формулу можно применять и при m = 1 или n = 1, если под символом 0! Разуметь 1!.
в) Дадим для функции В другое аналитическое представление, которое часто бывает полезно. Если в интеграле (1.1) произвести подстановку , где у - новая переменная, изменяющаяся от 0 до , то и получим
г) Положим в формуле (1.4) b = 1 - а, считая, что 0< а < 1; мы найдем:
Полученный интеграл также связан с именем Эйлера. Вычислим его.
Разобьем интеграл на два интеграла: I = = I 1 + I 2 , вычислим их порознь.
Для 0 < х < 1 имеем разложение в ряд ,
этот ряд сходится равномерно лишь если 0 < у 1- ' < 1. Но частичная сумма имеет интегрируемую в [0, 1] мажоранту
следовательно, интеграл от нее сходится равномерно (как при у = 0, так и при у = 1). Интегрируя почленно, получим:
Интеграл I 2 подстановкой приводим к виду
Применяя полученное выше разложение, найдем: I 2 = .
Полученное выражение есть разложение на простые дроби функции . Окончательно получаем: = .
Таким образом, В (а, 1 - а) = (0 < а < 1). (1.5)
Если, в частности, взять а = 1 - а = , то получим:
Функция «Бета» очень просто выражается через другую функцию «Гамма», которую мы рассмотрим в следующем параграфе.
Это название было присвоено Лежандром замечательному интегралу:
который сходится при любом а > 0, так как особые точки и 0 (при а < 0). существует лишь при а > 0 (бесконечно малая порядка а - 1 по отношению к ). существует, каково бы ни было а, так как, взяв > 1, имеем: = 0 при .
Следовательно, существует при а > 0. Интеграл (а) = определяет функцию Г («Гамма»).
Функция «Гамма», после элементарных, является одной из важнейших функций для анализа и его приложений. Глубокое изучение свойств функции «Гамма», исходя из ее интегрального определения (2.1), послужит одновременно и прекрасным примером применения теории интегралов, зависящих от параметра. Положим в формуле (2.1) х = , найдем:
Как известно, = , причем выражение при возрастании n стремится к своему пределу, возрастая. В таком случае, на основании предельного перехода под знаком интеграла, оправдано равенство: Г (а) = .
Если сделать подстановку z = y n , получим:
Таким образом, мы пришли к знаменитой формуле Эйлера-Гаусса:
В дальнейшем свойства функции Г мы будем извлекать из ее интегрального представления (2.1).
Функция Г (а) при всех значениях а > 0 непрерывна и имеет непрерывные производные всех порядков. Достаточно доказать лишь существование производных. Дифференцируя интеграл (2.1) под знаком интеграла, получим:
применение правила Лейбница оправдано тем, что оба интеграла и сходятся равномерно относительно а: первый при х = 0 для а а 0 > 0 (мажоранта ), а второй сходится при х = для а А < (мажоранта х А е -х ).
Таким же путем можно убедиться и в существовании второй производной
Из формулы (2.1) интегрированием по частям получаем:
= = Г (а + 1), то есть Г (а + 1) = а Г (а) (2.4)
Эта формула, повторно примененная, дает
Г (а+n) = (a+n-1) (a+n-2)… (a+1) a Г(а). (2.5)
Таким образом, вычисление Г для сколь угодно большого значения аргумента может быть приведено к вычислению Г для аргумента меньше 1.
Если в формуле (2.5) взять а = 1 и принять во внимание, что
Функция «Гамма» является естественным распространением - на область любых положительных значений аргумента - факториала n!, определенного лишь для натуральных значений n.
Теперь мы можем составить общее представление о поведении функции Г (а) при возрастании а от 0 до .
Из формул (2.6) и (2.7) имеем: Г(1) = Г(2) = 1, так что по теореме Ролля, между 1 и 2 должен лежать корень а 0 производной Г'(а). Эта производная постоянно возрастает, ибо вторая производная Г''(а), как видно из ее выражения (2.3*), всегда положительна. Следовательно, при 0 < а < а 0 производная Г'(а) < 0, и функция Г(а) убывает, а при а 0 < а < будет Г'(а) > 0, так что Г(а) возрастает; при а = а 0 налицо минимум, вычисление которого дает: а 0 = 1,4616…, min Г (а) = Г (а 0 ) = 0,8856.
Установим еще предел для Г (а) при приближении а к 0 или к . Из формул (2.6) [и из свойства 1 0 ] ясно, что Г (а) = при а . С другой стороны, ввиду (2.7) Г (а) > n!, лишь только а > n + 1, то есть Г(а) и при а .
Для того, чтобы установить связь между функциями В и Г, мы сделаем подстановку x = ty (t>0) в формуле (2.1) и получим:
Умножим обе части этого равенства на , получим:
Заменяя здесь а на a + b и одновременно t на 1 + t, получим:
Умножим теперь обе части этого равенства на t a -1 и проинтегрируем по t от 0 до :
В интервале слева мы узнаем функцию В (а, b) [см. 4]; справа же переставим интегралы. В результате получим [с учетом (2.7) и (2.1)]:
Г (а+b) В (а, b) = = = = = Г (а). Г (b).
Г (а+b) В (а, b) = Г (а). Г (b), откуда, наконец,
Приведенный изящный вывод этого соотношения Эйлера принадлежит Дирихле. Но для его обоснования надо еще оправдать перестановку интегралов. Ограничимся поначалу предположением, что а > 1, b > 1. Тогда для функции t a -1 y a + b -1 e -(1+ t ) y оказываются выполнимыми все условия следствий интегрирования интеграла по параметру.
А именно: эта функция непрерывна и притом положительна для , а интегралы
в свою очередь представляют собой непрерывные функции: первый - от t для t0, второй - от у для у0. Ссылка на упомянутое следствие оправдывает перестановку интегралов, а с нею и формулу (2.8) - для случая а > 1, b > 1.
Если же известно лишь, что а > 0 и b > 0, то - по доказанному - имеем
А отсюда, используя формулы привидения (1.2), (1.2') для функции В и (2.4) для функции Г, легко вновь получить формулу (2.8) уже без ненужных ограничений.
Если в формуле (2.9) положить b = 1-а (считая 0 < а < 1), то, используя формулы (1.5) и (2.6), получим соотношение:
Эта формула называется формулой дополнения. При находим (так как Г(а)>0)
Если в интеграле сделать подстановку z= x 2 , то получим значение интеграла Эйлера-Пуассона:
В качестве применения формулы дополнения определим (вместе с Эйлером) величину произведения (где n - любое натуральное число)
Перепишем это произведение в обратном порядке
и к каждой паре множителей применим формулу дополнения. Мы получим:
Теперь для вычисления произведения синусов рассмотрим тождество:
Подставляя это выражение для Е 2 , окончательно получаем:
С формулой дополнения связано и вычисление важного интеграла:
Заменяя а на 1 - а, можно написать:
и, складывая это выражение с предыдущим и пользуясь вторым функциональным уравнением () для гамма-функции, получим:
Второй из полученных интегралов после замены u = - переходит в , и объединяя его с первым, находим I = ln2 + 2I, откуда I =-ln2. Таким образом, получаем:
Раабе рассмотрел боле общий интеграл (при а>0):
Для изучения глобальных свойств гамма-функции обычно пользуются интегральным представлением, что мы и делали в предыдущих параграфах. Но гамма-функцию можно представить и в виде ряда. Значение этой функции видно хотя бы из того, что она является естественным распространением факториала на дробные и даже комплексные значения аргумента. Это соображение мы и положим в основу другого определения гамма-функции.
Рассмотрим функциональное уравнение
которому для всех целых неотрицательных значений удовлетворяет функция
Будем искать аналитическую функцию , удовлетворяющую уравнению (3.1) для всех комплексных z и, для определенности, равную 1 при (условие 1).
Надо заметить, что искомая функция для любых целых положительна. должна удовлетворять уравнению
которое получается повторным применением формулы (3.1).
Полагая в соотношении (3.3) , получаем, что для всех целых положительное значение совпадает с .
Заменив в (3.3) и переписав это соотношение в виде
мы видим, что искомая функция должна иметь полюса во всех целых неположительных точках (= 0, 1, 2, …). В самом деле, при числитель выражения (3.4) стремится к 1, а знаменатель к нулю. Из той же формулы (3.4) видно, что
Но мы знаем, что вычет в полюсе первого порядка определяется по формуле
В формуле (3.5) все полюсы - первого порядка, значит вычет в полюсе равен .
Мы предположим еще, что не имеет других особенностей, кроме z = 0, -1, -2, …, и нигде не обращается в нуль (условие II).
Тогда логарифмическая производная функции равна:
и будет мероморфной функцией, имеющей в точках z = 0, -1, -2, …, простые полюса с вычетами, равными -1.
Продифференцируем полученную функцию:
Подставим здесь z = 0 и обозначим :
вычитая полученное равенство из предыдущего, найдем:
очевидно сходится при любом ибо отношение его общего члена к члену сходящегося ряда стремится к конечному пределу - z. Кроме того, в любой ограниченной области, начиная с некоторого , имеем , где М - некоторая постоянная, следовательно, этот ряд сходится равномерно. Таким образом, по теореме Вейерштрасса сумма ряда представляет собой функцию, аналитическую во всех конечных точках, кроме точек , где она имеет полюсы первого порядка с вычетом, равным -1.
Перейдем в формуле (3.6) к пределу при ; по только что доказанному существует предел , следовательно, существует и предел , который мы обозначим через . В пределе будем иметь:
Так как по доказанному имеет в точках полюсы первого порядка, то главные части ее логарифмической производной в этих полюсах равны . Отсюда следует, что функция должна быть целой. Очевидно, что и обратно, какова бы ни была целая функция , функция , определяемая по своей логарифмической производная будет удовлетворять условию II.
Условие I налагает на функцию дополнительное ограничение. В самом деле, из функционального уравнения (1) логарифмированием и дифференцированием получаем следующее уравнение для функции :
(постоянная С и все слагаемые, кроме первого, при вычислении сокращаются), поэтому для того, чтобы удовлетворилось соотношение (8), функция должна быть периодической с периодом 1, т.е. . Обратно, для любой такой функция будет удовлетворять уравнению (3.8) и, интегрируя и дифференцируя последнее, найдем:
где А - некоторая постоянная. Если функция удовлетворяет еще условиям , то, подставляя в последнее уравнение z = 1, найдем А = 0, т.е. после потенцирования получим функциональное уравнение (3.1).
Таким образом, для любой целой периодической с периодом 1 функции соответствующая функция (если для нее ) удовлетворяет обоим условиям I и II.
Иными словами, условиям I и II удовлетворяет целый класс мероморфных функций. Простейшую из этих функций мы получим, если положим в (3.7) - она и называется гамма-функцией Эйлера и обозначается символом Г(z). Для логарифмической производной гамма-функции имеем, следовательно, разложение:
где С - постоянная, которую мы сейчас определим. Проинтегрируем разложение (3.9) вдоль некоторого пути, соединяющего точку z = 0 с произвольной точкой и не одержащего точек , получим разложение логарифма гамма-функции:
Постоянная С определяется условием Г(2)=1, которое мы наложили выше на гамма-функцию (второе условие Г(1)=1 имеет место при любом С в силу нашего выбора начала пути интегрирования).
Последнее произведение равно ; добавляя в сумму, стоящую под знаком предела, стремящейся к нулю член и заменяя еще через , получим:
Эта постоянная носит название постоянной Эйлера, ее приблизительное значение равно .
Из формулы (3.10) потенцированием получаем представление функции в виде бесконечного произведения
Полученное бесконечное произведение сходится для всех конечных z, для () это следует из доказанной сходимости ряда (3.9) и теоремы - «для сходимости бесконечного произведения необходима и достаточна сходимость ряда при надлежащем выборе значений логарифмов». А для непосредственно видно, что она сходится к нулю.
Перечислим основные свойства гамма-функции, которые мы получили при ее определении:
1) Г(z) аналитична всюду, кроме целочисленных отрицательных точек и точки z=0.
2) Г(z) удовлетворяет функциональному уравнению
3) При всех целых положительное значение Г (n+1) совпадает с n!
4) Все полюсы гамма-функции первого порядка, причем вычет Г(z) в полюсе равен .
Из сходимости произведения (3.12) заключаем:
5) Функция - целая, следовательно, гамма-функция не обращается в нуль.
Свойства 3) - 5) выясняют общий характер графика функции действительного аргумента . На рисунке 2 изображены графики функций и (пунктиром).
Максимумы и минимумы для отрицательных приближаются к нулю при , это связано с тем, что по свойству 4) вычет, т.е. коэффициент при главной части разложения в окрестности точки , сильно убывает с ростом :
Ниже приведен рельеф гамма-функции (рис. 3), т.е. поверхность с уравнением .
Ярко выраженные пики над точками соответствуют полюсам. Два семейства линий на поверхности представляют собой семейства линий равного модуля и равного аргумента, цифровые отметки на них указывают значения модуля и аргумента (последнее - в градусах).
Приведем еще несколько свойств гамма-функции. Наряду с соотношением (3.13) во многих вопросах полезно еще второе функциональное уравнение для гамма-функции:
(при , б обе части равенства обращаются в бесконечность).
Для вывода этого соотношения подставим сначала в формулу (3.12), получим:
затем заменим в той же формуле (3.12) z на - z:
Перемножив полученные произведения (это законно в силу их абсолютной сходимости), найдем:
Остается воспользоваться разложением в бесконечное произведение, и мы получим искомую формулу (3.16).
Отметим некоторые следствия полученных формул. Полагая в формуле (3.16), находим , откуда .
Применив теперь формулу (14), в которой положено найдем:
7) Для всех z из правой полуплоскости
где интегрирование производится по положительной полуоси t (Эйлер).
Для доказательства прежде всего заметим, что интеграл (3.20) сходится для всех z, для которых . В самом деле, , и мы видим, что при сходимость интеграла (для любого ) обеспечивается множителем , а при подынтегральная функция имеет порядок , так что для интеграл будет сходиться.
вводя здесь новое переменное интегрирования и применяя затем формулу интегрирования по частям, находим: . (подынтегральная часть исчезает).
Повторив этот прием до тех пор, пока не исчезнет множитель , получим:
Умножим числитель и знаменатель полученного выражения на , тогда найдем:
Перейдем теперь к пределу при , на основании формул (3.11), (3.12), (3.13) получим:
С другой стороны, так как при , то естественно ожидать, что
и тогда формула (3.20) будет доказана.
Для доказательства последнего соотношения мы воспользуемся неравенством
Оценим разность между предполагаемым пределом и :
В силу сходимости интеграла (3.20) для любого фиксированного найдется такой номер , что при
Фиксируем этот номер и для любого представим в виде
Для оценки первого слагаемого воспользуемся неравенством (3.22), получим:
откуда видно, что при достаточно больших (и фиксированном ) это первое слагаемое по модулю не превосходит .
(мы отбросили вычитаемое и увеличили интервал интегрирования, а затем воспользовались неравенством (3.23)). Модуль третьего слагаемого при любом не превосходит и, следовательно, . Соотношение (3.21) доказано, а значит, доказана и формула (3.20).
Балк М.Б., Виленкин Н.Я., Петров В.А. Математический анализ. Теория аналитических функций. - М.: Просвещение, 1985. - 159 с.
Бермант А.Ф., Араманович И.Г. Краткий курс математического анализа. - М.: Наука, 1966. - 735 с.
Бронштейн И.Н., Смендяев К.А. Справочник по математике для студентов вузов. - М., Наука. 1965. - 360 с.
Бугров Я.С., Никольский С.М. Дифференциальные уравнения, Ряды. Функции комплексного переменного. - Ростов-н/Д. Феникс. 1997. - 511 с.
Виленкин Н.Я., Куницкая Е.С, Мордкович А.Г., Математический анализ: интегральное исчисление. - М.: Наука, 1979. - 435 с.
Виленкин Н.Я. Специальные функции. - М.: Наука, 1976. - 412 с.
Краснов М.Л., Киселев А.И., Макаренко Г.И. Интегральные уравнения. - М.: Наука, 1980. - 507 с.
Лаврентье., Шабат Б.В. Методы теории функций комплексного переменного. - М.: Наука, 1973. - 620 с.
Орлов Ф. Асимптотика и специальные функции. - М.: Наука, 1973 - 215 с.
Пискунов Н.С. Дифференциальное и интегральное исчисление: т. 1, - М.: Интеграл-пресс, 2002. - 415 с.
Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т. 1, 2. - М.: Физматгиз, 1962. - 807 с.
Клейн Ф. Элементарная математика с точки зрения высшей: - М.: Наука, 1987. - 243 с.
Класс функций, представимых в виде собственного либо несобственного интеграла, зависящего не только от формальной переменной, а и от параметра. Эти функции называются интегралами зависящими от параметра. К ним относятся гамма и бета функции Эйлера. курсовая работа [851,0 K], добавлен 03.07.2008
Несобственные интегралы первого, второго и третьего рода. Вычисление несобственных интегралов с помощью вычетов. Несобственные интегралы, содержащие параметр. Гамма-функция и бета-функция Эйлера. Критерий Коши и эквивалентные условия сходимости. курсовая работа [1,5 M], добавлен 20.09.2013
Сущностные характеристики плоского и планарного графа. Основные особенности формулы Эйлера и критерия Понтрягина-Куратовского, их доказательства. Общая характеристика двух критериев планарности. Сущность и значение процесса применения гамма-алгоритмов. реферат [148,8 K], добавлен 25.12.2011
Определение криволинейного интеграла по координатам, его основные свойства и вычисление. Условие независимости криволинейного интеграла от пути интегрирования. Вычисление площадей фигур с помощью двойного интеграла. Использование формулы Грина. контрольная работа [257,4 K], добавлен 23.02.2011
Поверхностный интеграл как интеграл от функции, заданной какой-либо поверхности. Сущность и понятие поверхностного интеграла первого и второго рода, взаимосвязь между ними и вычисление. Формулы Остроградского и Стокса, их доказательство и применение. курсовая работа [321,7 K], добавлен 09.10.2011
Криволинейный интеграл первого рода. Двойной интеграл в декартовой и полярной системе координат. Интеграл по поверхности (первого рода). Приложение определенного интеграла в геометрии: площадь плоской фигуры и цилиндрической поверхности, объем тела. методичка [517,1 K], добавлен 27.01.2012
Общее определение коэффициентов по методу Эйлера-Фурье. Ортогональные системы функций. Интеграл Дирихле, принцип локализации. Случай непериодической функции, произвольного промежутка, четных и нечетных функций. Примеры разложения функций в ряд Фурье. курсовая работа [296,3 K], добавлен 12.12.2010
Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д. PPT, PPTX и PDF-файлы представлены только в архивах. Рекомендуем скачать работу .
© 2000 — 2021
Бета- и гамма-функции дипломная работа. Математика.
Реферат: Металлорежущий станок
Особенности Автоматизации Банковской Деятельности Краткий Реферат
Виды Юридических Лиц Реферат
Курсовая работа по теме Телевидение в Монголии
Реферат: Система образования в Германии
Шекспир Собрание Сочинений В 8 Томах Купить
Реферат На Тему Лирика Пушкина Как Отражение Многогранности Личности Поэта
Первая Контрольная Работа 4 Класс
Реферат: Синтез системы автоматического регулирования массы квадратного метра бумажного полотна
Реферат: Действие норм процессуальных прав во времени и пространстве
Реферат: История болезни и медицинский осмотр пострадавшего. Скачать бесплатно и без регистрации
Дипломная работа: Неоліт волинського Полісся
Курсовая Работа На Тему Деятельность Центрального Банка России
Курсовая Работа На Тему Стили Управления Организацией
Менеджмент Курсовые Работы Скачать
Реферат: Центральные храмы города Екатеринбурга
Сочинение: Изображение природы в творчестве Фета
Курсовая Русский Язык Преподавание
Научная Диссертация Сайт
Реферат: Джерела функціоналізму
Бесполое размножение - Биология и естествознание презентация
Учет и аудит денежных средств предприятия на примере ООО "СплавПром" - Бухгалтерский учет и аудит дипломная работа
Государственная власть - Государство и право курсовая работа