книги из ГПНТБ / Спецглавы высшей математики (методы математической физики) [учеб. пособие]
.pdf:Л
i |
<" |
К И Е В С К О Е |
В Ы С Ш Е Е В О Е Н Н О Е И Н Ж Е Н Е Р Н О Е
Д В А Ж Д Ы |
К Р А С Н О З Н А М Е Н Н О Е |
У Ч И Л И Щ Е |
С В Я З И нм. М. И. КАЛИНИНА |
М . П. Р Е М И З О В А , Д. Н. К О Н О П Л И Ц К А Я , Р. И. М И Л Е Ш И Н А , Е. И. К Е П И Ч , Г. С. О Р Е Л
СИ ЕЦ ГЛ А В Ы
ВЫС ІИ Е Й
КИЕВСКОЕ ВЫСШЕЕ ВОЕННОЕ ИНЖЕНЕРНОЕДВАЖДЫ КРАСНОЗНАМЕННОЕ УЧИЛИЩЕ СВЯЗИ ИМЕНИ М.И.КАЛИНИНА
М.II.Ремизова, Д.Н.Коноплицкая, Р.И.Милетияа, Е.И,Кении, Г.С.Орел
СП Е Ц Г Л А В Ы
ВЫ С ШЕ Й М А Т Е М А Т И К И (методы математической физики)
Под редакцией МЛГ. Ремивовой^
К и е в |
IS73 |
УДК 5.17+ 512
W - / 3 S S #
П Р Е Д И С Л О В И Й '
За последние годы значительно увеличен объем курса высшей математики, излагаемый в большинстве высших тех нических учебяічс заведений страны. Наряду с традицион ными разделами аналитической геометрий н математическо го анализа студенты.изучаю? специальные главы математи ческих дисциплин, необходимые современному янвенеру .‘Как. правило, ага специальные главы выбираются среда, много образия математических наук с учетом профиля втува.^й-'* сожалению, учебной литературы по тем еяй иным главам, доступной студентов втузов, почта не имеется.
. Настоящее учебное пособие составлено в соответст вие программы высшей математики, действующей в КВВИУС ям. М.И.Калинина. Здесь изложены гаяре главы высшей ма тематики: функции Бесселя, уравнения математической фавика я векторный анализ. Все эта математические дисцип лины необходимы военному янаенеру-связисту, поэтому в ß настоящем учебном пособии приведено решение некоторых задач технического.содержания, ^отвечающих профилю учи лища, при решении которых используется аппарат рассмат риваемых математических дисциплин.
В Главах "Функции Бесселя" и "Уравнения математи ческой ййэикй" изложен соответствующий теоретический материал,включен ряд подробно разобранных задач и уп ражнений и приведено большое число задач и упражнений для самостоятельной работы. Б главе "Векторный анализ®
каждый параграф начинается с перечня необхо; хмых опреде лений и формул, затеы приводится больавѳ число вадач в
упражнений. В качестве образца некоторое задачи ренѳш». Работа над настоящим учебным пособием среди его ав
торов была распределена следующим образом. Глава "Функ ции Бесселя" написана М.П.Ремизовой,глава "Уравнения Математической физики" написаны совместно Д.Н.Коношшц-
кой а Р.И.Милѳшиной; а |
"Векторный анализ" - Е.И.Кепяч |
и Г.С.Орел. |
Гздакгор. |
4
Г л а в а |
1 |
БВСОЕДШЫ ФУНКЦИИ
§ 1 .1 . ГАША-ФУНКЦШ И ЕЕ ОСНОВНЫЕ СВОЙСТВА
т’аша-$ункцаей, или эйлеровым интегралом П рода,
зываемся функция Т(х ), |
определяемая pj пенотвом |
||||
Г~Г \ОПО- |
/ |
Г |
е |
~~t ' X ~/ |
. , |
Г(х) — |
|
с |
dt. |
~з
на
( І. І)
/ В правой части згой формулы стоит несобственный интег рал, причем его несобсгвенность вызвана неограниченностью промедутка интегрирования; а ярA'X~f<0 а бесконечным раз рывом интегрируемой функции при t ~С . Поэтому прежде всего
следует |
выяснить, |
сходится ли этот несобственный интеграл, |
а если |
сходится, |
го, при каких значениях параметра-г’ . Для |
этого разобьем участок интегрирования на две части и исследуем^сходимость двух интегралов
/ |
|
-i |
|
,\х-1 |
|
|
f |
|
-t |
, X-/ ,, |
|
|||
' |
|
e |
|
|
и |
e |
|
|||||||
~0 |
|
|
|
t |
dt |
|
I |
|
z |
dt. |
|
|||
|
|
|
|
|
|
|
|
|
|
|
бесконечно малые |
|||
|
I) Пусть 1<t<oo и рассмотрим две |
|||||||||||||
величины |
|
|
|
|
----*-0 |
|
при |
t |
-+~ |
оо |
||||
и |
|
|
|
|
j 3 ^ e |
г |
----- О |
|
при |
|
- н - о о . |
|||
|
|
|
е |
•-£ j х-і |
|
|
|
|
|
|
|
|
||
Ясно, |
|
|
|
і |
|
t |
D O О ! |
|
при.любых*.Но |
аесобсгвен- |
||||
|
|
|
|
е -Ѵг. |
|
|||||||||
ный интеграл |
|
|
|
|
|
& |
|
|
||||||
|
|
|
|
¥ -уг |
; |
, |
|
|
|
|
||||
|
|
|
|
- і /2л |
< оо |
|
||||||||
|
|
|
I е |
dt = âim (у 2е |
|
' J/ |
|
|||||||
|
|
|
І |
|
|
3-^°° |
|
|
/ |
|
|
|
сходится, следовательно, по предельной теореме сравнения сходится и интеграл •
со |
-С , х~( |
J е |
d t. |
|
|
|
|
5 |
|
2) |
Пусть |
0 < t < U |
Тогда |
|
|
-< , x - f |
' |
X - f |
при |
t ' —*-Q, |
|
в |
t |
c o t |
_ |
Но несобственный интеграл
J t ^ ä t
д
сходится тогда и только тогда, когда Х>0. Следовательно, для того чтобы сходился интеграл
J е t d t
о
до предельной теореме сравнения необходимо и достаточно, чтобы зс>0.
Иган, несобственный |
интеграл форцулы(І.І)определен |
||
приѵс?0} поэтому |
. |
|
|
Г(Ьс)°=£'fе * |
t * |
*dt при ас>0. |
(І.Г ) |
о |
|
|
|
Выясним свойства грамма-функции
I)Основное свойство грамма-функции.
Г(ос +і) =* йсГ(сс), |
|
(І.-2) |
||
Донавагельсгво: |
интегрируем |
по честям |
||
OÖ |
||||
и = |
. |
\d u - x tX'cii |
||
Г (ос+і) - J е |
||||
ti Xd t - |
tас |
|
||
о |
idv=e |
|
что и требовалось доказать.
Свойство (1,2) названо основным, так как оно является определяющим. Эйлер, рассматривая факториал целых положи тельных чисел
п! =/-2-J- ... .-п,
6
поставил проблему обобщить функцию факториал аа значения аргумента рациональные положительные и даже отрицательные. Факториал обладает свойством nl-n(n-f) J , т .е . удовлетво ряет функциональному уравнению
f ( n + f ) ~ n f in )
(если. с ч и т а т ь /7/ /. Кроме того, должно выполняться условиQ j{2 )= fj-1 . Решение этого функционального уравне ния привело Эйлера к несобственному интегралу (1*1).
2) Заметим, что
r u h Г е * 1 hfd t = [ е г0ІЫІ.
- о 'o
Применяя последовательно основное свойство гамыа-фунн- цаи, получим
Г(2) = Г(і +І)=:1'Г(1)=іч
Г(3) = r ( 2 + h 2 ' r(2h2-1=2!,
Г(1) = Г С5 ■*1)=5’ Г(5)=3 -27 - 3J
............................................................................... (І.З )
Г(п-*1) =■ п Г(п) - п [ .
Рассмотрим произвольное не натуральное ос >0 ; ясно, X можно представить в видаХ =П+С[, где П - натуральное it Оса<І. Тогда, используя основное свойство, получим
Г(п + а )-Г \ (п -+ а -1 )+ і\ *(п 4 а -1 )г(п + а -!)-
-(п+а~і)іп+а -2}Г(п+а -2)~
- i n + a -f )(n + a -2 ) - |
. * а |
Г (а ) . |
(i.<s) |
|||||
Эта формула показывает, -что гамма-функция для любого |
||||||||
Оо>0 полностью определяется с помощью (1.4) |
своими значе |
|||||||
ниями на промежутке |
(0 ;І), |
Поэтому таблицы значений гамма- |
||||||
фуняцаи■составляют для значений аргумента в промежутке |
||||||||
(0 ;І) или ( І;2 ) . |
Такая таблица |
приведена на |
стр.ѴЭ„ |
|||||
3) Іычнслбниа |
Г ( п |
I |
75 ' |
|
|
|||
|
+ |
2 J |
|
|
||||
ііайдем |
сначала |
Г(^). |
|
|
||||
оо |
|
S замена * |
|
|
||||
е Ѵ “ |
d t - |
|
|
|||||
г<Нъ‘ |
|
I di - 2 -а .г , |
|
|
||||
|
|
|
О... |
|
о |
|
|
|
О о . . . » . • С о
7
Мы получили известный интеграл Пуассона и воспользо
вались его значением«*. |
, |
< |
.— |
|
|
|
|
г |
-я |
Иг |
|
• |
|
|
J e |
|
ах |
= |
’ |
|
|
о |
|
|
|
|
|
В силу ооновного свойства получим: |
||||||
Ч |
г({) = ѵЯ~; |
|
|
|||
|
г (-§) ~ І |
Г ^ІР = |
|
> |
Г ( { ) - { г ( { ) = Ц £ ГИГ;
Г{2п+І\ |
- і-3-5...(2п~1) |
сг |
(2л-ОН г - |
|
і \—§ ~ ) = |
------- Jf,------------ |
М = |
J7T~ ■Ѵ1Г |
(1.5) |
Замечание. Знаком*// обозначают произведение всех це лых положительных чисел, непревышающих к и одинаковой , ним четности. Например, 6!!=2-^-б; 7П =І-3-5-7.
4) Поведение Rx)при X —^+0- Перепишем (1.2) в виде
|
Г(х) |
Г(х + 4) |
|
|
|||
|
|
/х |
|
|
|
||
|
|
|
|
|
|
|
|
и перейдем |
в полученной |
формуле к пределу |
при |
Х — + 0* |
|||
Можно показать, что |
Г(х) при всех х>0 непрерывна. Поэтому |
||||||
получим |
|
|
, |
|
|
|
|
|
&т |
~ Р |
=» |
Пт Г(эс+ 4)«- Г(іj - |
/ |
||
|
X о |
|
Vх |
|
х~-*о |
|
|
т .е . при |
X -*■ + О |
Г(х) |
бесконечно большая величина, |
||||
эквивалентная ^ |
. Итак, |
|
|
|
|||
|
Г(х) |
|
± |
|
rtDCJ X |
О |
|
|
|
X |
|
( 1 . 6) |
/
8
Ö) Гамма-фуакция для а м ш ^ е - в ш а значащій аюздвнга
Значения Г(х) при х >О определены формулой ( І . І ) . Воспользуемся основным свойством Г(ѵс), чтобы определить гамма-функщю и дня отрицательных значений аргумента. Пере пишем (1.2) в виде
üпомощью этой формулы, зная Гfa+1). мощно найти
Г{£■'), т .е . найти Г(X ) для меньшего нг едащвду значения
аргумента. Заметим, что правая чаать формулы (І.7)оярѳдѳлѳ“ на щя.іс+1>Оі х^О, шщ д л я -Д л ’« ? ; x>ü. ІІоэто; у будем счи тать, что
Наяриые]
|
|
|
2 У/St. |
Танам-образом, йы сделали |
один шаг а определили зна |
||
чения Г(х) |
.для |
-f^ x - iö . |
|
Аналогично, |
зная Г {x+f ) |
яри ~jcx-+1<0, мощно с |
|
помощью (1.7) |
определить значения Г(х) для - 2 < х * - 1 : |
Мояно продолжить рассуждения а определить значения гамыа-функцаи для любого отрицательного не целого значения аргумента.
Остается выяснить |
поведение Г(х)у когда |
х стремит-» |
ся (слева ада справа) н |
целому отрицательному |
числу или |
Рассмотрим
- / < X < О,
|
|
|
9 |
|
|
и пусть зс-*--0. |
Тогда |
получим |
|
||
dim Г(зс)^ fim |
|
= —со |
|||
.г—-а |
эс -~*-0 |
|
|
||
ига в символической |
запаси |
|
|
||
Аналогично, |
|
— |
-о |
” |
о о . |
|
|
|
|
|
|
|
|
Г(-і+о+і) ^ |
-+ оо |
||
|
|
-І+О |
|
■оо; |
|
|
|
|
- / |
||
|
|
г ( - і- о +і) |
- Оо |
||
|
|
|
-1 -0 |
~ |
|
|
, |
Г(-2 +0+1) |
- о о |
||
|
|
|
-2 + 0 |
|
’' - 2 = ■+Оо • |
_ Г(-2-0+1) +оа
■2-0
!Г ( - п ± 0 ) = ( - 1 ) п ( * о о ) .
Таким образом, гамма-функция при нуле и целых-отри цательных значениях аргумента терпит бесконечный разрнв.
6)' Значения Г(х) при х —» + оо .
Можно доказать формулу Стирлинга
„ . |
х! |
~ !1 |
ttm |
rz— x+f/г„--г |
|
т~*~+00 |
\[2Я |
|
г . е , |
|
|
Г i\x+f)-xI со \[2я х а |
2 е Х при .X + со. |
Или
■х/ = у / ж X |
е ~х [/+0(£)], |