Файл: Сахарников Н.А. Высшая математика учебник.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 09.04.2024

Просмотров: 192

Скачиваний: 2

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Из (21) следует, что

И ’Д ИD — do.

ОП

ди

Согласно формуле (8) п. 184 - grad u n; поэтому в соот­

ди

ветствии с формулой Остроградского имеем

1

2

 

Q J

dt П j div (D grad и) dr.

(22)

Это перемещение вещества повлечет за собой изменение кон­ центрации внутри В и может быть подсчитано иначе. Увеличение

концентрации и на du = dt за промежуток времени dt потре­

бует сообщения элементу dr количества вещества, равного

cdudx

■с 4 ^- dt dx,

 

 

 

dt

 

где с — положительный

коэффициент пористости среды. Вся

область В за время от tx до t2поглотит количество вещества

І *

Ш ( С -5Г

(23)

 

где / — интенсивность источников вещества а

в области В. При­

равнивая выражения (22) и (23), придем к равенству

^2

 

 

 

1 ^ 11 і [_С

^— diV (Z) grad и)J dx О,

которое выполняется для

л ю б о й области

В. Отсюда следует

равенство нулю подынтегральной функции (см. ниже лемму). Мы получим, таким образом, соотношение

с

ди

(24)

— = div (D grad и) 4- / ,

называемое уравнением диффузии в неоднородной среде (или урав­ нением теплопроводности, так как этому уравнению удовлетво­ ряет температура среды, • изменяющаяся вследствие теплопро­ водности).

Если среда однородна (с и D постоянны), то при отсутствіи! источников (/ = 0) концентрация и удовлетворяет уравнению теплопроводности

ди

- =

а2Ди.

(25)

dt


1

П 5

как сііѵ grad и = Аи. В случае установив­

где а = у

— , так

шегося процесса

—- 0 и из (25) следует,

что концентрация и

удовлетворяет уравнению Лапласа

 

 

 

Au::-0.

(26)

Лемма. Если / (М) непрерывна в области С и 1))] / (М) ско —

в

= 0, где область В есть произвольная частъ области С, то / (М) :

II « С.

Д о к а з а т е л ь с т в о .

Рассуждая от

противного,

пред­

положим,

что

в точке М 0 области С функция / (М) принимает

неравное

нулю

значение.

Пусть для определенности / (М0) > 0.

Неравенство / (М) О 0

будет

выполняться

в некоторой

окре­

стности В х точки М 0, так как / (М) непрерывна.

Поэтому имеем

И

і і (М)/ dcû > 0,

что противоречит

условию

леммы. Отсюда

“ в,

 

 

 

 

следует ее заключение.

 

 

 

к

Д о б а в л е н и е.

Следуя

логической

схеме, которая привела нас

уравнению диффузии, выведем

так называемое уравнение неразрывности.

 

Рассмотрим для этого некоторую массу жидкости (или газа) и обозначим

через V (М, t) и р (М , t) соответственно скорость течения жидкости и ее плот­ ность в точке М в момент времени t. Выделим мысленно в потоке жидкости произвольную область В , ограниченную поверхностью 5. Пусть Q — коли­

чество жидкости,

вытекающее из В за промежуток времени от до t 2. Через

элемент площади

do за время dt переместится в сторону внешней нормали п

количество жидкости, равное dQ = pxndodt. Поэтому

t,

12

 

Q = J dt J j

рѵл da = J dt J J [ div (pv) dx.

U S

t ,

B~

Это перемещение жидкости влечет за собой изменение плотности жидкости внутри В. Рассуждая так же, как п выше, получим

і, В

Знак минус поставлен потому, что если плотность уменьшается внутри В,

то

< 0, а Ç > Ü. Если же жидкость втекает в область В, то ~ > 0,

аQ < U.

Всилу закона сохранения вещества оба выражения Q равны между

собой. Отсюда с помощью леммы следует уравнение неразрывности

l - f d iv ( p v ) = 0,

связывающее скорость потока жидкости с ее плотностью в каждой точке и в любой момент времени.


Глава X II

РЯДЫ

§ 35. ЧИСЛОВЫЕ РЯДЫ

207. Основные понятия. Теория рядов представляет один из основных разделов математического анализа. Ряды встре­ чаются в трудах создателей математического анализа Ньютона

и

Лейбница. Существенный вклад в теорию рядов внесен Эйлером

и

Гауссом, позднее Коши и Больцано.

Пусть дана бесконечная числовая последовательность {ап}. Вспомним, что бесконечной числовой последовательностью назы­ вается счетное числовое множество, все элементы которого пере­ нумерованы и расположены в порядке возрастания этих номеров

(см.

и. 2).

Задать

числовую

последовательность — это значит

задать

ее

общий

член как

функцию натурального аргумента

ап =

/

(«)•

 

 

 

Составленное из элементов данной последовательности выра­ жение

СО

 

аг + й2+ а3-г . . . -і- ап-f . . ., или £ ап,

(1)

п = 1

 

принято называть числовым рядом, или просто рядом. Отдельные элементы ап, из которых образовано выражение (1), называют

членами данного ряда.

Между членами ряда в выражении (1) стоит знак плюс; это указывает как будто на то, что все члены ряда надо сложить. Однако их бесконечно много, а действие сложения чисел опре­ делено лишь для конечного числа слагаемых. Возникают во­ просы — что же такое сумма ряда, всякий ли ряд имеет сумму? Ответы на эти вопросы даны ниже.

Сумма п первых членов ряда называется п-й частичной суммой ряда', обозначим ее sn. Имеем

s n — а і + а 2 + • • • а п - (2)


Составим последовательность частичных сумм ряда (1)

О п р е д е л е н и е . Если последовательность частичных сумм ряда (1) имеет конечный предел

 

 

 

lim sn = s,

 

(4)

 

 

 

п-*-СО

 

 

то ряд (1)

называется

с х о д я щ и м с я , а число s называется

с у м м о й

р я д а

(1). В этом случае можно написать

 

 

 

 

 

СО

 

 

s = ах+

Л-2+

• • • + йп т~ • • ., или

s = ^ ап.

(5)

 

 

 

 

п = 1

 

Ряд (1)

называется

р а с х о д я щ и м с я ,

если последователь­

ность его частичных сумм не стремится к конечному пределу (например, sn -> при п со).

Перефразируя определение, можно сказать, что бесконечный ряд называется сходящимся, если сумма его первых п членов при неограниченном возрастании числа п стремится к конечному пределу: и этот предел называется суммой ряда.*

О сумме бесконечного ряда можно говорить только тогда,

когда он сходится, и тогда частичная сумма sn является

при­

ближенным выражением для суммы ряда.

 

П р и м е р 1. Рассмотрим так называемый геометрический ряд

 

а+ + а?2+ • • .+ ад”+ . •

(6)

члены которого образуют геометрическую прогрессию со знаменателем q,

причем а ф 0. При q ф 1

сумма его п первых членов равна

 

 

S n

 

а aqn

a

 

aqn

 

 

 

------------------------ = 2 — -------------

—------------ .

 

 

 

 

1— q

1—g

1q

1)

Если \q\ <; 1,

ТО

qn

0 при

n oo

и,

следовательно,

 

lim

sn =

lim

aqn

\

a

 

 

 

 

b 11? '

 

n-yœ

 

 

 

 

 

В случае | g| < 1 ряд

(6) сходится и его сумма s =

------ .

2)

Если ] q I > 1, то

qn -► оэ при

оо и тогда переменная sn предела

не имеет: sn —» оо при п -*■ оо. Поэтому в случае | g | >> 1 ряд (6) расходится. 3) Если g = 1, то ряд (6) имеет вид а + а + ... + а + ••• В этом случае

sn = ап -> оо при п-у оо, т. е. ряд расходится.

* При рассмотрении пределов последовательностей переменная п всегда стремится к бесконечности. Поэтому символ п -*■ оо мы иногда будем опускать в записи предела последовательности. Например, равенство (4) можно запи­ сать так: lim s„ = s.

Точно так же ряд с общим членом ап можно представить символом ^ ап, если известно с какого номера начинается суммирование.


4)

Если q — —1, то ряд (6) имеет вид а а

а — я -f-

. . . В

этом слу­

чае sn = 0,

если

п — четное, и

sn — а, если п — нечетное. Следовательно,

sn предела не имеет, а ряд расходится.

 

1:

 

Итак, геометрический ряд (6) сходится только в случае | q\

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

2

ч ” - 7 ^ '

 

 

«

 

 

 

 

п=0

 

 

 

П р и м е р

2.

Дап ряд

Его общий член можно представить

 

 

 

 

1

 

 

 

 

в виде ап =

 

 

 

1

 

 

 

 

п(/г+1)

п

п-\-1 .

Поэтому

■••+»" = ( Ч

) +

 

 

 

 

1

1

1 n-f-1

сумма ряда

5 =

+

+ - +(^ ~ 4 д )

= lim ^ 1 —

 

= 1.

Этот пример иллюстрирует

возможность

точного

суммирования ряда в отдельных случаях.

208. Основные свойства рядов. 1°. Если все члены сходящегося ряда (1), сумма которого равна s, умножитъ на одно и то же число Ь, то получим сходящийся ряд, и его сумма равна bs:

 

2 ban = b ^

а„.

(8)

 

П=1

 

 

Действительно, п-я частичная сумма нового ряда

 

<т„ Ьаг

4- Ъап Ъ(%

. . . -j- ап) = bsn

(9)

имеет конечный предел, равный bs:

lim ап--lim bsn b lim snbs.

( 10)

2°. Сходящиеся ряды можно почленноскладывать и вычитать

с о СО ОО

2

вя ± 2

ьп~ Ъ (ап ± ь п).

(il)

71=1

71= 1

71= 1

 

Для доказательства обозначим через Ап и В„ частичные суммы

соответственно рядов ап и У, Ъп, и через А и В — их суммы. Частичная сумма ряда из правой части равенства (11) ап = Ап + + В„ имеет предел, равный

lim сг„ = lim А „ lim В„ = А ~г В.

(12)

Для .выяснения других свойств рядов введем понятие под­ последовательности. Пусть {хп} — некоторая последовательность. Рассмотрим произвольную возрастающую последовательность на­ туральных чисел ftlt к 2, . . ., кп, . . . Выберем из последователь­