Файл: Дьяченко, А. Н. Интегральное исчисление функций нескольких переменных. Теория вероятностей и элементы математической статистики учебное пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 23.10.2024
Просмотров: 57
Скачиваний: 0
Министерство высшего и среднего специального образования РСФСР
СЕВЕРО-ЗАПАДНЫЙ ЗАОЧНЫЙ ПОЛИТЕХНИЧЕСКИЙ ИНСТИТУТ
А. Н. ДЬЯЧЕНКО, В. С. ИЛЬИЧЕВ
ОДОБРЕНО Редсоветом СЗПИ
22 апреля 1974 г.
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ И ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ СТАТИСТИКИ
Учебное пособие
ЛЕНИНГРАД
1974
v-if .. |
J S -J T 9D 3 |
-Г |
|
|
Анатолий Николаевич Дьяченко |
|
Валентин Серафимович Ильичев |
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ И ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ СТАТИСТИКИ
Учебное пособие
Общая редакция А. А. Потапенко
© Издание Северо-Западного заочного политехнического института
ПРЕДИСЛОВИЕ
Данное учебное пособие предназначено для студентовзаочников и вечерников всех специальностей, изучающих курс высшей математики в объеме программы, утвержден ной Министерством высшего и среднего специального об-
'разования СССР, и является продолжением четырех учеб ных пособий по курсу высшей математики, изданных в СЗПИ в 1972— 1973 гг.
Книга состоит из двух разделов. Раздел I «Интеграль ное исчисление функций нескольких переменных» написан А. Н. Дьяченко; раздел II «Теория вероятностей и эле менты математической статистики» написан В. С. Ильиче вым.
При составлении пособия авторы стремились изложить предмет достаточно просто и наглядно и не только ознако мить студентов с математическим аппаратом, но и показать, как возникают и применяются абстрактные математические понятия при решении конкретных технических, физиче ских и геометрических задач, как строятся математические модели реальных явлений. Пособие содержит большое ко личество примеров, систематический разбор которых не обходим для приобретения навыков применения матема тического аппарата.
Предполагается, что читатель знаком с материалом предыдущих разделов курса. Ссылки по вопросам, отно сящимся к этим разделам, делаются в основном на следую щие, изданные в СЗПИ учебные пособия:
1.С. И. И т е н б е р г, Л. А. К а л ь н и ц к и й. Линейная алгебра и аналитическая геометрия на плоско сти. Введение в анализ. Изд-е СЗПИ, Л., 1973 [1].
2.С. И. И т е н б е р г, Л. А. К а л ь н и ц к и й . Дифференциальное и интегральное исчисление функций: одной переменной. Изд-е СЗПИ, Л., 1973 [2].
1* |
3 |
3. С. И. И т е н б е р г, Л. А. |
К а л ь н и ц к и й, |
Н. М. f; М а т в е е в. Аналитическая |
геометрия в про |
странстве. Дифференциальное исчисление функций не скольких переменных. Дифференциальные уравнения. Изд-е
СЗПИ, Л., 1973 [3].
4. Н. М. М а т в е е в . Ряды. Изд-е СЗПИ, Л., 1974. [4].
Просим читателей сообщать свои критические замеча ния и пожелания на кафедру высшей математики СЗПИ по адресу: 192104. Ленинград, ул. Халтурина, 5.
Р а з д е л I
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
Г л а в а 1
'ДВОЙНЫЕ ИНТЕГРАЛЫ
1.1. Основные понятия и определения
Интегральная сумма. Пусть в замкнутой области D плоскости Оху задана функция f (х, у). Разобьем область D каким-либо спо собом на п частей, не имеющих общих внутренних точек, D x, D 2, . . .
Dn, которые будем называть ч а с т и ч н ы м и о б л а с т я м и , соответствующими данному разбиению области D. Площади частич ных областей обозначим соответственно As1( As2, . . . , Asn.
В каждой частичной области Dk |
(k = 1, 2, . . . , п) выберем по |
|
произвольной.точке Pk |
(xk, yk). Найдем значения данной функции |
|
во всех выбранных точках: |
|
|
f (х1 , Z/i), |
f (х2> y%)i |
•> f {xni Уп)> |
вычислим произведения этих значений на площади соответствую щих частичных областей и составим сумму этих произведений:
vn = f(x1; z/i) As1 + f(x2! у2) As2 + . . . |
+ f(x n, yn) Asn. |
Или, используя символ суммирования, запишем: |
|
vn= 2 if(x k, yk) &Sk. |
(1.1) |
k=i |
|
Выражение вида (1.1) называется интегральной суммой для функции / (х, у) в области D, соответствующей данному разбиению области и данному способу выбора точек Pk (xk, yk).
Заметим, что для заданной функции, заданной области и фикси рованного числа п можно построить бесконечное множество интег ральных сумм: значение величины vn может зависеть от способа разбиения области D на п частей и от выбора точек Pk в частичных областях.
Определение двойного интеграла. Рассмотрим некоторое раз биение (дробление) области D на п частей. Каждой частичной об ласти Dk можно поставить в соответствие число dk — наибольшее из всевозможных расстояний между точками области Dk. Это число называется д и а м е т р о м частичной области Dk и Характери зует ее протяженность. Из всех чисел dx, d2, . . . , dk, соответст вующих данному дроблению области, выберем наибольшее число, которое обозначим Кп, таким образом,
Яя = тах{<4}, (& =1, 2, . . . , п).
5
Итак, каждому разбиению области D на п частей соответствует
число %п, называемое р а н г о м д р о б л е н и я области. |
Легко |
видеть, что при стремлении к нулю ранга дробления области |
стре |
мятся к нулю диаметры всех частичных областей, т. е. уменьша ется протяженность каждой частичной области.
Из множества интегральных сумм, которые можно получить для функции f (х, у) в области D (как было отмечено, это множество бесконечное), составим всевозможные последовательности интег ральных сумм, у которых соответствующие последовательности рангов дробления Хп стремятся к нулю. Если у каждой из этих последовательностей существует конечный предел и эти пределы равны (т. е. не зависят ни от способа дробления области, ни от вы бора точек Pk (xk, yk), то этот общий предел и называется двойным интегралом от функции / (х, у) по области D.
Определение. Если при стремлении к нулю ранга дробления об ласти существует конечный предел интегральной суммы
П
2 / {%k’ Ук) ,
k—1
не зависящий ни от способа разбиения области D на части, ни от выбора точек Pk (xk, yk), то этот предел называется двойным ин тегралом от функции f (х, у) по области D и обозначается
JJ7(X, у) ds |
или J J /(x , |
y)dxdy. |
|
D |
D |
|
|
В этом обозначении / (х, у) — подынтегральная функция, D — |
|||
область интегрирования. |
|
|
|
Таким образом, по определению |
|
|
|
Я / (* . y )d s = |
lim |
yk)A sk. |
(1.2) |
D |
k=\ |
|
|
Замечание 1. При рассмотрении равенства (1.2) может сложиться впе чатление, что его правая часть зависит от п. Однако такое впечатление было бы ошибочным, так как условие %п —> 0 можно обеспечить только
выбором |
такой |
последовательности разбиений области D, в которой |
п —* оо. |
Таким |
образом, под знаком предела «замаскированно» при |
сутствует условие п —» оо, следовательно, правая часть равенства |
||
(1.2) от |
п не зависит. |
Замечание 2. Ошибкой было бы заменить под знаком предела в равен стве (1.2) Хп -> 0 условием я т* оо, так как можно составить такую последовательность разбиений области, для которой я —> оо, но %п не стремится к нулю. Приведем два примера таких последовательно стей разбиений.
1. Пусть область D — квадрат со стороной а, а разбиение будем осуществлять только прямыми, параллельными одной из сторон квад рата. Тогда при любом п Хп ^>а и при п —* оо Хп не стремится к нулю
(рис. 1, а).
2. Рассмотрим такую последовательность разбиений произволь ной области D, чтобы п - > м и чтобы при каждом разбиении одной из частичных областей являлась бы некоторая заранее фиксированная
6
часть области D, которую обозначим D0. Пусть d0 — диаметр D0. Тогда для любого п Хп > d0 (рис. 1, б) и последовательность Хп не стремится к нулю.
Сопоставление определений двойного и определенного интегра лов. Сравнение определения двойного интеграла с рассмотренным ранее определением определенного интеграла * позволит глубже понять оба определения и выявить общие принципы введения по нятия интеграла, которые будут использованы в дальнейшем при построении тройных и криволинейных интегралов. Обозначим циф рой I определение определенного интеграла, а цифрой II — опреде ление двойного интеграла. Сформулируем оба определения в обоб щенных выражениях и поясним, как эту формулировку следует
понимать в случаях I и II. |
|
|
|
|||||||
Пусть |
функция / |
|
задана |
а)-, |
В) |
|
||||
в области D (в определении I |
|
|||||||||
|
|
|
||||||||
f — функция одного перемен |
|
|
|
|||||||
ного |
и |
обозначена |
f |
(х), |
а |
|
|
|
||
D — промежуток |
[а, |
|
Ъ] |
на |
|
|
|
|||
оси х; в определении |
II / — |
|
|
|
||||||
функция двух |
переменных |
и |
|
|
|
|||||
обозначена f (х, |
у), |
a |
D — |
|
|
|
||||
двухмерная область в пло |
|
|
|
|||||||
скости |
Оху). |
|
|
|
|
|
|
Р и с. 1 |
|
|
Пусть для области D и для |
|
|
|
|||||||
каждой ее части |
определена |
|
и величина, |
которая |
||||||
величина, которая является мерой области, |
||||||||||
характеризует |
протяженность области (в |
определении |
I мера |
области и ее протяженность характеризуется одним и тем же
числом, равным длине отрезка |
[а, Ь\\ в определении II |
в качестве |
|||||||||
меры взята площадь области, а в качестве величины, |
характеризу |
||||||||||
ющей протяженность области,— ее диаметр). |
|
|
|
|
|||||||
|
Разобьем область D произвольным образом на п частичных об |
||||||||||
ластей D lt D 2, |
, Dn. Пусть |
меры этих частичных областей со- |
|||||||||
ответственно Атх, Ат2 > |
Атп, а протяженности |
их — dlt |
|||||||||
d2, . . . , |
dn. Обозначим |
наибольшее |
из |
чисел dlt d2- ■■, dn— Хп, |
|||||||
т. |
е. Хп — шах [dk}, |
(k = 1, 2, |
. . . п). Это число назовем |
рангом |
|||||||
дробления области D (в определении |
I |
промежуток |
[a, |
b I |
разбит |
||||||
на |
п частей, длины |
которых |
(их |
меры) |
Ах1; Ах2, |
. . . , Ах„, |
|||||
Хп = max |
{Ах^); в |
определении II |
меры частичных областей — |
||||||||
их |
площади Ask и Хп— наибольший |
из |
диаметров |
частичных |
|||||||
областей). |
|
|
|
|
1, 2, |
. . . , п) выберем про |
|||||
|
В каждой частичной области Dk (k = |
извольную точку Pk, вычислим значения заданной функции во всех выбранных точках, умножим каждое из этих значений на меру Аmk частичной области, которой принадлежит выбранная точка, и все полученные произведения сложим. Полученное число назовем ин-
См. [2], § 6.1.
7
тегральной суммой |
(в определении I получим выражение, обозна- |
||
|
П |
|
* |
ченное оп, гд е о „= |
2 / (£а) |
в определении II получим |
выра- |
|
kr=l |
П |
|
жение, обозначенное vn, где vn= |
2f(**> yk) Ask). |
|
|
|
|
fc=i |
|
Если при стремлении к нулю ранга дробления области D сущест |
|||
вует конечный предел интегральной суммы, не зависящий |
ни от |
способа разбиения области D на части, ни от выбора точек Pk, то
этот предел называется интегралом |
от функции |
f по |
области D |
|
Ь |
|
п |
(в определении I мы пришли к формуле§f(x)dx = lim |
2 /(£ /г)А * ь |
||
|
а |
хп^0 k=\ |
|
в определении II— к формуле JJ/ (х, |
п |
|
\ |
y)ds = lim 2 |
f(xk, yk,) Ask . |
||
d |
xn^ o k=\ |
|
) |
Таким образом, мы установили некоторую аналогию между оп ределениями I и II. Ее следствием является аналогия между мно гими свойствами двойных и определенных интегралов. В дальней шем показано, что эта аналогия распространяется и на другие виды интегралов.
Отметим общие принципы построения понятия интеграла от произвольной функции по произвольной области интегрирования. При построении понятия интеграла необходимо выполнить следую щие операции:
1)разбить область на части произвольным способом;
2)произвольным способом выбрать точки в частичных областях;
3)составить интегральную сумму;
4)найти предел интегральной суммы при стремлении к нулю ранга дробления области.
Вдальнейшем придется несколько раз выполнять эти операции при построении различных видов интегралов.
Теорема существования. Вопрос о существовании двойного ин теграла связан с вопросом существования предела интегральной суммы (это следует из определения двойного интеграла). Выяснение всех случаев существования этого предела требует исследования, которое выходит за рамки курса, излагаемого в настоящем посо бии. Ограничимся тем, что сформулируем без доказательства тео рему, указывающую довольно широкий класс функций, для кото рых двойной интеграл существует.
Теорема. Если функция f (х, у) непрерывна в замкнутой области
D, то существует двойной интеграл от этой функции по области D.
Заметим, что аналогичная теорема справедлива и для опреде ленных интегралов. Функция / (х, у), для которой существует двой ной интеграл по области D, называется интегрируемой в этой об ласти.
Геометрический смысл двойного интеграла. Пусть в замкнутой области D задана непрерывная положительная функция f (х, у). Рассмотрим тело, ограниченное следующими поверхностями:
8