Вы находитесь на странице: 1из 43

Mathematics Theory (Part 2)

Содержание

Статьи

Тензор

1

Операции над множествами

10

Математический анализ

12

Аналитическая теория чисел

21

Интеграл

22

Математическая формула

25

Интегральное исчисление

28

Дифференциальное уравнение

31

Примечания

Источники и основные авторы

39

Источники, лицензии и редакторы изображений

40

Лицензии статей

Лицензия

41

Тензор

Тензор

1

Те́нзор (от лат. tensus, «напряженный») объект линейной алгебры, линейно преобразующий элементы одного линейного пространства в элементы другого. Частными случаями тензоров являются скаляры, векторы, билинейные формы и т. п. Термин «тензор» также часто служит сокращением для термина «тензорное поле», изучением которых занимается тензорное исчисление.

как

многомерную таблицу

, заполненную числами компонентами тензора (где размерность векторного пространства, над которым задан тензор, а число сомножителей совпадает с т. н. валентностью или рангом тензора). Важно, что такое представление (кроме тензоров валентности ноль скаляров) возможно только после выбора базиса (или системы координат): при смене базиса компоненты тензора меняются определённым образом. Сам тензор как «геометрическая сущность» от выбора базиса не зависит, что можно наглядно видеть на примере вектора, являющегося частным видом тензора: компоненты вектора меняются при смене координатных осей, но сам вектор образом которого может быть просто нарисованная стрелка от этого не изменяется.

Часто

тензор

представляют

Часто тензор представляют Тензор механического напряжения

Тензор механического напряжения второго ранга. Компоненты тензора в трёхмерной декартовой системе координат образуют матрицу

координат образуют матрицу столбцами которой являются силы,

столбцами которой

являются силы, действующие на

,
,

, и

силы, действующие на , , и грани куба. Тензор обычно

грани куба.

действующие на , , и грани куба. Тензор обычно обозначают
действующие на , , и грани куба. Тензор обычно обозначают

Тензор обычно обозначают некоторой буквой с совокупностью верхних (контрвариантных) и нижних (ковариантных) индексов: . При

(ковариантных) индексов: . При смене базиса ковариантные

смене базиса ковариантные компоненты меняются так же, как и базис (с помощью того же преобразования), а контравариантные обратно изменению базиса (обратным преобразованием).

Определения

Современное определение

Современное определение Тензор ранга над -мерным

Тензор ранга над -мерным векторным пространством это элемент тензорного произведения

тензорного произведения п р ост р анств и сопряжённых
тензорного произведения п р ост р анств и сопряжённых
тензорного произведения п р ост р анств и сопряжённых

пространств и сопряжённых пространств (то есть пространств линейных функционалов (ковекторов) на )

функционало в ( ковектор ов) на ) Сумма чисел называется

Сумма чисел

в ( ковектор ов) на ) Сумма чисел называется валентностью
в ( ковектор ов) на ) Сумма чисел называется валентностью

называется валентностью тензора (её также часто называют рангом). Тензор ранга

раз контравариантным и

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

также называется

Тензор

2

Тензор как полилинейная функция

, которая линейна по каждому аргументу любой константы из поля
, которая линейна по каждому аргументу
любой константы
из поля
(над которым определено векторное пространство).
В том же ключе, тензор произвольного ранга
векторов и ковекторов:
ранга векторов и ковекторов: Точно так же, как тензор ранга

Точно так же, как тензор ранга можно представлять как линейный функционал на пространстве ,

тензор ранга удобно представлять себе как функцию от векторных аргументов

(такие функции называются полилинейными), то есть для

представляется полилинейным функционалом от

полилинейным функционалом от Компоненты тензора Выберем в

Компоненты тензора

от Компоненты тензора Выберем в пространстве базис

Выберем в пространстве базис

базис в сопряжённом пространстве

(то есть
(то есть
пространстве (то есть — символ Кронекера ). , и

, и соответственно

, где

дуальный

Тогда в пространстве тензоров

Тогда в пространстве тензоров естественным образом возникает

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

. тензор можно записать как линейную комбинацию базисных
.
тензор
можно
записать
как
линейную
комбинацию
базисных

Произвольный

тензорных

произведений:

тензорных произведений: Используя соглашение Эйнштейна

Используя соглашение Эйнштейна, это разложение записывается как

это разложение записывается как Числа называются компонентами
это разложение записывается как Числа называются компонентами

Числа называются компонентами тензора . Нижние индексы компонент тензора называются

компонент тензора называются ковариантными, а верхние —

ковариантными, а верхние контравариантными. Например, разложение некоторого дважды ковариантного тензора будет таким:

тензора будет таким: Если определить тензор как
тензора будет таким: Если определить тензор как

Если определить тензор как полилинейную функцию, то его компоненты определяются значениями этой

функции на базисе

:
:
то его компоненты определяются значениями этой функции на базисе :

Тензор

3

О классическом определении

Классический подход к определению тензора, более распространённый в физической литературе, начинает с представления тензоров в компонентах. Тензор определяется как геометрический объект, который описывается многомерным массивом, то есть набором чисел, занумерованных несколькими индексами, или, иначе говоря, таблицей (вообще говоря, -мерной, где валентность тензора (см. выше)).

Так вектор (тензор первого ранга) задаётся одномерным массивом (строкой или лучше столбцом), а такие объекты, как линейный оператор и квадратичная форма двумерной матрицей. Скаляр же (тензор нулевого ранга) задаётся одним числом (которое можно рассматривать как нульмерный массив с единственным элементом). (Скаляры и векторы удобно рассматривать в качестве частных случаев тензоров, так как все тензорные определения и теоремы для них в силе и векторы со скалярами можно при общем рассмотрении не упоминать отдельно.)

Вводятся тензорные операции, которые можно считать прямым обобщением матричных операций (умножение матриц между собой и с векторами), а также векторных операций, таких, как скалярное произведение. Эти операции, если исходить из современного (аксиоматического) определения, прямо вытекают из (поли-)линейности тензоров в этом определении, после разложения векторов, свёртываемых с тензорами, по базису векторного пространства, точно так же, как и матричные операции вытекают из линейности линейных операторов и билинейных форм, представлением каждого из которых в конкретном базисе является конкретная матрица.

С помощью этих операций тензоры связываются с такими фундаментальными геометрическими объектами, как векторы и скаляры, чем, в конечном счёте, определяется их геометрический смысл. Эти же операции связывают тензоры с матрицами преобразований координат (матрицами Якоби). Если речь идёт о тензорном анализе на (римановом или псевдоримановом, с которыми обычно имеют дело в классическом подходе, по крайней мере, на первом этапе) многообразии общего вида, все эти операции определяются обычно общековариантным способом (то есть способом, не зависящим от выбора криволинейных координат) с помощью метрического тензора.

Основными тензорными операциями являются сложение, в этом подходе сводящееся к покомпонентному сложению, аналогично векторам, и свёртка с векторами, между собой и сами с собой, обобщающая матричное умножение, скалярное произведение векторов и взятие следа матрицы. Умножение тензора на число (на скаляр) можно при желании считать частным случаем свёртки, оно сводится к покомпонентному умножению.

Значения чисел в массиве, или компоненты тензора, зависят от системы координат, но при этом сам тензор как геометрическая сущность от них не зависит.

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

Например, скалярное произведение и длина векторов не меняются при поворотах осей, а метрический тензор всегда остаётся симметричным. Свёртки любых тензоров с самими собой и/или другими тензорами (в том числе векторами), если в результате не осталось ни одного индекса, являются скалярами, то есть инвариантами относительно замены координат: это общий способ построения скалярных инвариантов.

При замене системы координат компоненты тензора преобразуются по определённому линейному закону.

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

тензор = массив компонент + закон преобразования компонент при замене базиса

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

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

Тензор

4

матрицу преобразования координат (и дуальную ей, если есть верхние и нижние индексы). Компоненты тензора, таким образом, преобразуются по тому же закону, что и соответствующие компоненты тензорного произведения векторов (в количестве, равном валентности тензора), учитывая ковариантность-контравариантность компонент.

Например, компоненты тензора

Например, компоненты тензора преобразуются так же, как

преобразуются так же, как компоненты тензорного произведения трёх векторов, то есть как произведение компонент этих векторов

компонент этих векторов Так как преобразование

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

Примеры

Тензор ранга

есть скаля р ; скаляр;

Тензор ранга

есть вектор (точнее — контравариантный вектор) — это просто элемент вектор (точнее контравариантный вектор) это просто элемент пространства

;
;

Тензор ранга

есть ковекто р ( кова р иантный векто р), то есть элемент пространства ковектор (ковариантный вектор), то есть элемент пространства

;
;

Тензор ранга

билинейная форма , например, метрический тензор на касательном

на касательном

 

пространстве.

Тензор ранга

Тензор ранга есть линейный оператор
Тензор ранга есть линейный оператор

или

или

В частности, единичный оператор, который может быть представлен единичной матрицей

который может быть представлен единичной матрицей — тензор

тензор

ранга . Форма объёма на (или
ранга
.
Форма объёма на
(или

-мерном линейном пространстве есть пример антисимметрического тензора ранга

раз ковариантного)

Риманова кривизна в естественном виде

кривизна в естественном виде — пример тензора ранга , её

пример тензора ранга

в естественном виде — пример тензора ранга , её свёртки — тензор

, её свёртки тензор

, её свёртки — тензор Риччи и скалярная кривизна — примеры

примеры тензоров соответственно ранга примеры тензоров соответственно ранга

тензоров соответственно ранга и , то есть последний — скаляр.

и

тензоров соответственно ранга и , то есть последний — скаляр.

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

• Простым, хотя в целом несколько искусственным, примером такой таблички, не представляющей тензор, может быть табличка, компоненты которой представляют набор произвольных чисел, никак не меняющихся при произвольных преобразованиях координат. Такой объект не представляет тензора, или, во всяком случае, не представляет тензора на линейном пространстве, в котором произошло преобразование координат. Так, набор из трёх чисел не представляет трёхмерного вектора, если эти числа не преобразуются при замене координат совершенно определённым образом.

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

Не представляет тензора также объект, все компоненты которого нули хотя бы в одной невырожденной системе координат (в полном базисе), тогда как в другой хотя бы одна компонента ненулевая. Этот факт следствие (поли-)линейности тензоров.

Существуют объекты, которые не только похожи на тензоры, но для которых определены (и имеют разумный и корректный смысл) тензорные операции (свёртка с другими тензорами, в частности, с векторами), однако при

Тензор

5

этом тензорами не являющиеся:

• Прежде всего, к тензорам не относятся сами матрицы преобразования координат (матрицы Якоби), являющегося частным случаем диффеоморфизма между двумя многообразиями, с помощью которых и вводится классическое определение тензора, хотя по многим своим свойствам они напоминают тензор. Для них также можно ввести верхние и нижние индексы, операции умножения, сложения и свёртки. Однако, в отличие от тензора, компоненты которого зависят лишь от координат на заданном многообразии, компоненты матрицы Якоби также зависят от координат на многообразии-образе. Это различие очевидно в том случае, когда рассматриваются матрицы Якоби диффеоморфизма двух произвольных многообразий, однако при отображении многообразия в себя его можно не заметить, так как касательные пространства образа и прообраза изоморфны (не канонически). Тем не менее, оно сохраняется. Аналогию между матрицами Якоби и тензорами можно развить, если рассматривать произвольные векторные расслоения над многообразием и их произведения, а не только касательное и кокасательное расслоение.

• Символы Кристоффеля также не представляют тензора,

также не представляют тензора, хотя бы потому, что они могут быть

обращены в ноль выбором координат вблизи произвольной точки, так же, как выбором (криволинейных) координат могут быть сделаны ненулевыми. Однако свёртка компонент связности с вектором дает настоящий вектор, а их разность настоящий тензор (тензор кручения). Символы Кристоффеля, как и любые коэффициенты связности на расслоении, являются элементами более сложного пространства, чем пространство тензоров расслоения струй.

Тензорные операции

Тензоры допускают следующие алгебраические операции:

• Умножение на скаляр умножение каждого компонента тензора на скаляр. Аналогично умножению вектора или скалярной величины (и то, и другое являются частными случаями тензора);

••

Сложение тензоров одинаковой валентности и состава индексов (вычислять сумму можно покомпонентно, как и для векторов);

• Наличие умножения на скаляр и сложения тензоров делают пространство тензоров одного и того же типа линейным пространством.

Тензорное произведение без ограничений. Произведением тензора ранга

Произведением тензора ранга является тензор суммарного

является тензор суммарного ранга

тензор суммарного ранга , то есть если на тензор ранга и

, то есть если

на тензор ранга и
на тензор ранга
и

то их

произведение

ранга и то их произведение Компоненты тензорного

Компоненты тензорного произведения суть произведения соответствующих компонент множителей, например:

компонент множителей, например: • Свёртка тензора —

Свёртка тензора специфическая тензорная операция, понижающая валентность тензора, вычисляется суммированием по паре индексов (верхнего и нижнего, если они различаются) и пробегающих, оставаясь равными друг другу, все свои значения, например:

все свои значения, например: •• (последнее в

••

(последнее в эйнштейновских обозначениях, где суммирование по повторяющемуся верхнему и нижнему индексу подразумевается автоматически). Часто, если не как правило, свёртка (то есть результат операции свёртки) обозначается той же буквой, что и тензор, к которому свёртка применена, только, конечно, с количеством индексов, на два меньшим.

След матрицы частный случай свёртки тензора с собой.

Тензор

6

Свёртка двух или нескольких тензоров (в том числе тензоров и векторов), например:

тензоров и векторов), например: (последнее — в записи

(последнее в записи Эйнштейна).

операция, которую можно свести к последовательному тензорному умножению этих тензоров (см. чуть ниже) и затем свёртке получившегося тензора (возможно, несколько раз). Очевидно, эта операция линейна по всем входным каналам. Таким образом, свёртка с тензором реализует линейное или полилинейное отображение пространств тензоров на пространство тензоров (в общем случае на другое), в частности, векторов на векторы и векторов на скаляры.

••

Свёртка вектора с тензором валентности два есть действие линейного оператора, определяемого этим тензором, на вектор:

(последнее — в записи Эйнштейна).

(последнее в записи Эйнштейна).

••

Свёртка (однократная) двух тензоров валентности два реализует композицию линейных операторов, определяемых этими тензорами:

определяемых этими тензорами: (последнее — в записи

(последнее в записи Эйнштейна).

Симметризация и антисимметризация конструирование тензора того же типа с определённым видом

симметрии. Для примера, симметризация тензора

антисимметризация антисимметричный тензор

индексам имеет вид

тензор индексам имеет вид а антисимметризация: — это

а антисимметризация:

имеет вид а антисимметризация: — это симметричный тензор , а . В

это симметричный тензор

, а
, а

. В общем случае симметризация по

. В общем случае симметризация по Здесь — всевозможные

Здесь всевозможные перестановки индексов

Разумеется, не обязательно симметризовать тензор по всем индексам, здесь это используется лишь для упрощения записи.

лишь для упрощения записи. а — чётность перестановки •
а
а
а — чётность перестановки • Если симметричен по то

• Если

— чётность перестановки • Если симметричен по то симметризация

симметричен по

• Если симметричен по то симметризация по этим

то симметризация по этим индексам совпадает с

по этим индексам совпадает с а антисимметризация даёт

а

антисимметризация даёт нулевой тензор. Аналогично в случае антисимметричности по некоторым индексам.

• Если

то
то

Здесь

произведение векторных пространств.

векторных пространств. — симметричное , а — внешнее
пространств. — симметричное , а — внешнее Симметрии В

Симметрии

В различного рода приложениях часто возникают тензоры с определённым свойством симметрии.

Симметричным

следующему требованию:

по

двум

ко-(контра-)вариантным

индексам

называется

тензор,

который

удовлетворяет

тензор, который удовлетворяет или в компонентах Аналогично
тензор, который удовлетворяет или в компонентах Аналогично

или в компонентах

удовлетворяет или в компонентах Аналогично определяется косая
удовлетворяет или в компонентах Аналогично определяется косая

Аналогично определяется косая симметрия (или антисимметричность):

Тензор

7

Тензор 7 или в компонентах Симметрия или антисимметрия не
Тензор 7 или в компонентах Симметрия или антисимметрия не

или в компонентах

Тензор 7 или в компонентах Симметрия или антисимметрия не
Тензор 7 или в компонентах Симметрия или антисимметрия не

Симметрия или антисимметрия не обязательно должна охватывать только соседние индексы, она может включать в себя любые индексы, учитывая, правда, следующее: симметрия или антисимметрия может относиться только к индексам одного сорта: ко- или контравариантным. Симметрии же, смешивающие ко- и контравариантные индексы тензоров, как правило, не имеют особого смысла, так как, даже если они наблюдаются в компонентах, то разрушаются при переходе к другому базису отнесения (то есть неинвариантны).

Впрочем, в присутствии метрического тензора, наличие операций поднятия или опускания индекса устраняет

это неудобство, и ограничение этим по сути снимается, когда тензор представлен подходящим образом (так,

индексам).

Эти определения естественным образом обобщаются на случай более чем двух индексов. При этом при любой перестановке индексов, по которым тензор является симметричным, его действие не изменяется, а при антисимметрии по индексам знак действия тензора изменяется на противоположный для нечётных перестановок (получаемых из начального расположения индексов нечётным числом транспозиций перестановок двух индексов) и сохраняется для чётных.

Существуют и более сложные симметрии, например первое тождество Бьянки для тензора кривизны.

Бьянки для тензора кривизны. антисимметричен по первым двум и

антисимметричен по первым двум и последним двум

Тензоры в физике

В физике тензоры широко используются в теориях, обладающих геометрической природой (таких, как Общая теория относительности) или допускающих полную или значительную геометризацию (к таковым можно в значительной степени отнести практически все современные фундаментальные теории электродинамика, релятивистская механика и т. д.), а также в теории анизотропных сред (которые могут быть анизотропны изначально, как кристаллы низкой симметрии, или вследствие своего движения или напряжений, как текущая жидкость или газ, или как деформированное твердое тело). Кроме того, тензоры широко используются в механике абсолютно твердого тела.

Линейные операторы квантовой механики, конечно, также могут быть интерпретированы как тензоры над некими абстрактными пространствами (пространствами состояний), но традиционно такое применение термина тензор практически не используется, как и вообще крайне редко используется для описания линейных операторов над бесконечномерными пространствами. Вообще в физике термин тензор имеет тенденцию применяться только к тензорам над обычным физическим 3-мерным пространством или 4-мерным пространством-временем, или, в крайнем случае, над наиболее простыми и прямыми обобщениями этих пространств, хотя принципиальная возможность применения его в более общих случаях остаётся.

Примерами тензоров в физике являются:

метрический тензор над псевдоримановым 4-мерным многообразием, являющийся в ОТО развитием понятия ньютоновского гравитационного потенциала.

• выражающийся через него тензор Римановой кривизны и его свёртки, связанные в этой же теории с энергией гравитационного поля и непосредственно входящие в основное уравнение теории.

тензор электромагнитного поля над пространством Минковского, содержащий напряженности электрического и магнитного поля и являющийся главным объектом классической электродинамики в

Тензор

8

4-мерной записи. В частности, уравнения Максвелла записываются с его помощью в виде единственного 4-мерного уравнения.

напряжения и деформации в теории упругости описываются тензорами над 3-мерным евклидовым пространством. То же касается таких величин, как модули упругости.

• едва ли не большинство величин, являющихся скалярными характеристиками вещества в случае изотропности последнего, являются тензорами в случае анизотропного вещества. Говоря конкретнее, это относится к субстанциальным коэффициентам, связывающим векторные величины или стоящие перед произведениями (в частности, квадратами) векторов. Примерами могут быть удельная электропроводность (также и обратное ей удельное сопротивление), теплопроводность, диэлектрическая восприимчивость и диэлектрическая проницаемость, скорость звука (зависящая от направления) и т. д.

• в механике абсолютно твердого тела важнейшую роль играет тензор инерции, связывающий угловую скорость с моментом импульса и кинетической энергией вращения. Этот тензор отличается от большинства других тензоров в физике, представляющих собой, вообще говоря, тензорные поля, тем, что один тензор характеризует одно абсолютно твердое тело, полностью определяя, вместе с массой, его инерцию.

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

• часто в физике полезен псевдотензор Леви-Чивиты, входящий, например, в координатную запись векторного и смешанного произведений векторов. Компоненты этого тензора всегда записываются практически одинаково (с точностью до скалярного множителя, зависящего от метрики), а в правом ортонормированном базисе совершенно одинаково всегда (каждая равна 0, +1 или 1).

• термин 4-тензор применяется для обозначения любого тензора над четырёхмерным пространством-временем, повороты системы отсчёта в котором включают как обычные повороты трёхмерного пространства, так и переход между системами отсчёта, которые движутся с разными скоростями одна относительно другой. Это тензор над пространством 4-векторов, тензор, каждый индекс которого принимает четыре значения: одно «временно́е» и три «пространственных».

Нетрудно заметить, что большинство тензоров в физике (не рассматривая скаляров и векторов) имеют всего два индекса. Тензоры, имеющие большую валентность (такие, как тензор Римана в ОТО) встречаются, как правило, только в теориях, считающихся достаточно сложными, да и то нередко фигурируют в основном в виде своих свёрток меньшей валентности. Большинство симметрично или антисимметрично.

Простейшей иллюстрацией, позволяющей понять физический (и отчасти геометрический) смысл тензоров, а более точно симметричных тензоров второго ранга, будет, вероятно, рассмотрение тензора (удельной) электропроводности . Интуитивно понятно, что анизотропная среда, например, кристалл, или даже какой-то специально изготовленный искусственный материал, не будет в общем случае проводить ток одинаково легко во всех направлениях (например, из-за формы и ориентации молекул, атомных слоев или каких-то надмолекулярных структур можно представить себе, например, тонкие проволочки хорошо проводящего металла, одинаково ориентированные и вплавленные в плохо проводящую среду). Возьмем за основу для простоты и конкретности, последнюю модель (хорошо проводящие проволочки в плохо проводящей среде). Электропроводность вдоль проволочек будет большой, назовем ее , а поперек маленькой, обозначим ее . (Ясно, что в общем случае (например, когда проволочки сплюснуты в сечении и эта сплюснутость также ориентирована у всех проволочек одинаково, электропроводность будет отличаться от , в случае же круглых равномерно распределенных проволочек , но не равны .) Довольно нетривиальный в общем случае, но довольно очевидный в нашем примере, факт состоит в том, что найдутся три взаимно перпендикулярных направления, для которых связь вектора плотности тока и напряженности вызывающего

и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут
и напряженности вызывающего его электрического поля будут

его электрического поля будут связаны просто числовым множителем (в нашем примере это направление вдоль проволочек, второе вдоль их сплюснутости и третье перпендикулярное первым двум). Но любой вектор можно разложить на компоненты по этим удобным направлениям:

можно разложить на компоненты по этим удобным направлениям:

Тензор

9

Тензор 9 тогда можно для каждой компоненты записать: И мы увидим,

тогда можно для каждой компоненты записать:

для каждой компоненты записать: И мы увидим, что для любого
для каждой компоненты записать: И мы увидим, что для любого

И мы увидим, что для любого направления, не совпадающего с 1, 2 и 3, вектор уже не будет совпадать по

вектор уже не будет совпадать по направлению с , если только не

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

между и будет выглядеть так: то есть тензор
между и будет выглядеть так: то есть тензор
между и будет выглядеть так: то есть тензор
между и будет выглядеть так: то есть тензор
между и будет выглядеть так: то есть тензор

то есть тензор электропроводности будет представлен симметричной матрицей .

Учитывая же то, что удельная мощность тепловыделения , нетрудно записать:

, нетрудно записать: в проводнике равна скалярному

в проводнике равна скалярному произведению, нетрудно записать: или где — удельное

равна скалярному произведению или где — удельное
равна скалярному произведению или где — удельное

или

скалярному произведению или где — удельное сопротивление

где удельное сопротивление матрица, обратная матрице . Так мы наглядно видим еще одно типичное использование симметричного тензора второго ранга в физике как квадратичной формы, преобразующей вектор в скаляр.

••

вектор в скаляр. •• В этом примере для простоты
вектор в скаляр. •• В этом примере для простоты

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

Таким образом, мы получили (правда, говоря строго, только для случая симметричного тензора) хороший наглядный геометрический образ тензора, применимый в физике. Этот образ состоит из ортогонального базиса (называемого собственным базисом тензора или его собственными координатами), ориентированного в пространстве определенным образом (определяемым свойствами среды, порождающей тензор), и трех (для трехмерного пространства) чисел (коэффициентов), связанных каждое с одной из этих осей (называемых собственными числами или собственными значениями тензора), предназначенных для умножения на них соответствующих компонент вектора, чтобы получить компоненты вектора нового. Как видим, в частном случае умножение на тензор сводится к умножению на число (на скаляр).

к умножению на число (на скаляр). Или, умножая квадраты этих
к умножению на число (на скаляр). Или, умножая квадраты этих

Или, умножая квадраты этих компонент (компонент в собственном базисе тензора) вектора на собственные числа, и сложив их, получаем скаляр. Поверхности уровня такой квадратичной формы эллипсоиды. Такой эллипсоид служит также хорошим геометрическим образом тензора. Направление его главных осей дает собственный базис тензора, а их величины определяют его собственные числа.

В алгебре же всё сказанное иллюстрирует понятия собственных векторов (собственного базиса) и собственных чисел линейного оператора, квадратичной формы или матрицы, а процесс нахождения собственного базиса и собственных чисел (называемый задачей на собственные значения) называется диагонализацией оператора, квадратичной (или билинейной) формы или матрицы (так как матрица, представляющая оператор или билинейную форму становится в этом базисе диагональной).

Тензор

10

Литература

Акивис М. А., Гольдберг В. В. Тензорное исчисление. [1] М.: Наука, 1969;

Димитриенко Ю. И. Тензорное исчисление: Учеб. пособие. М.: Высшая школа, 2001. 576 с. ISBN

5-06-004155-7.

Коренев Г. В. Тензорное исчисление: Учеб. пособие. М.: Издательство МФТИ, 2000. 240 с. ISBN

5-89155-047-4.

Кочин Н. Е. Векторное исчисление и начала тензорного исчисления (9-е издание). [2] М.: Наука, 1965;

Мак-Коннел А. Дж. Введение в тензорный анализ с приложениями к геометрии, механике и физике. [3] М.: Физматлит, 1963;

Номидзу К. Группы Ли и дифференциальная геометрия. [4] М.: ИЛ, 1960;

Победря Б. Е. Лекции по тензорному анализу: Учеб. пособие. (3-е изд.). [5] М.: Изд-во МГУ, 1986;

Рашевский П. К. Риманова геометрия и тензорный анализ (3-е издание). [6] М.: Наука, 1967;

Шарипов Р. А. Быстрое введение в тензорный анализ. [7] БашГУ.

Примечания

Операции над множествами

Над множествами, как и над многими другими математическими объектами, можно совершать различные операции, которые иногда называют теоретико-множественными операциями или сет-операциями. В результате операций из исходных множеств получаются новые.

Сравнение множеств

Множество

содержится во есть элемент :
содержится
во
есть элемент
:

множестве

элемент

(множествоесть элемент : множестве элемент включает множество ), если каждый

: множестве элемент (множество включает множество ), если каждый

включает

множество

(множество включает множество ), если каждый . В этом случае

),

если

каждый

.
.

В этом случае называется подмножеством ,

называется подмножеством , то называется собственным

то называется собственным подмножеством

надмножеством . Если

. Заметим, что

и ,
и
,

. По определению

Два множества называются равными, если они являются подмножествами друг друга:

подмножествами друг друга: Иногда для того, чтобы

Иногда для того, чтобы подчеркнуть, что множества могут быть равны, используется запись:

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

Операции над множествами

11

Операции над множествами

Ниже перечислены основные операции над множествами:

множествами: • пересечение : • объединение : Если множества
Если множества и не .
Если
множества
и
не
.

пересекаются,то

.
.
• разность ( дополнение ): . • симметрическая разность : Их

Их

объединение

обозначают

также:

Их объединение обозначают также: • Декартово или прямое
или прямое произведение : Для лучшего понимания смысла

Для лучшего понимания смысла этих операций используются диаграммы Эйлера Венна, на которых представлены результаты операций над геометрическими фигурами как множествами точек.

Унарные операции

• Абсолютное дополнение : Операция дополнения

Операция дополнения подразумевает некоторый универсум (универсальное множество содержит ):

множество содержит ): Относительным же дополнением

Относительным же дополнением называется А\В (см.выше):

(см.выше): • Мощность множества : , которое Результатом является
(см.выше): • Мощность множества : , которое Результатом является

, которое

Результатом является кардинальное число (для конечных множеств натуральное).

• Множество всех подмножеств (булеан):

всех подмножеств ( булеан ): Обозначение происходит из того,

Обозначение происходит из того, что

происходит из того, что в случае конечных множеств.

в случае конечных множеств.

Приоритет выполнения операций

Сначала выполняются операции абсолютного дополнения, затем пересечения, затем объединения и разности, которые имеют одинаковый приоритет. Последовательность выполнения операций может быть изменена скобками.

Математический анализ

Математический анализ

12

Математи́ческий ана́лиз совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчисления (анализ бесконечно-малых). В более общей трактовке к анализу относят и функциональный анализ вместе с теорией интеграла Лебега, комплексный анализ (ТФКП), изучающий функции, заданные на комплексной плоскости, нестандартный анализ, изучающий бесконечно малые и бесконечно большие числа, а также вариационное исчисление.

В учебном процессе к анализу относят:

дифференциальное и интегральное исчисления;

• теорию рядов (функциональных, степенных и Фурье) и многомерных интегралов;

При этом элементы функционального анализа и теории интеграла Лебега даются факультативно, а ТФКП, вариационное исчисление, теория дифференциальных уравнений читаются отдельными курсами. Строгость изложения следует образцам конца XIX века и в частности использует наивную теорию множеств.

Программа курса анализа, читаемого в университетах РФ, примерно соответствует программе англо-американского курса «Calculus» [1] .

История

Предшественниками математического анализа были античный метод исчерпывания и метод неделимых. Все три направления, включая анализ, роднит общая исходная идея: разложение на бесконечно малые элементы, природа которых, впрочем, представлялась авторам идеи довольно туманной. Алгебраический подход (исчисление бесконечно малых) начинает появляться у Валлиса, Джеймса Грегори и Барроу. В полной мере новое исчисление как систему создал Ньютон, который, однако, долгое время не публиковал свои открытия [2] .

Официальной датой рождения дифференциального исчисления можно считать май 1684, когда Лейбниц опубликовал первую статью «Новый метод максимумов и минимумов» [3] . Эта статья в сжатой и малодоступной форме излагала принципы нового метода, названного дифференциальным исчислением.

Лейбниц и его ученики

Лейбниц и его ученики Готфрид Вильгельм Лейбниц В

Готфрид Вильгельм Лейбниц

В конце XVII века вокруг Лейбница возникает кружок, виднейшими представителями которого были братья Бернулли, Якоб и Иоганн, и Лопиталь. В 1696, используя лекции И. Бернулли, Лопиталь написал первый учебник [4] , излагавший новый метод в применении к теории плоских кривых. Он назвал его Анализ бесконечно малых, дав тем самым и одно из названий новому разделу математики. В основу изложения положено понятие переменных величин, между которыми имеется некоторая связь, из-за которой изменение одной влечёт изменение другой. У Лопиталя эта связь даётся при помощи плоских кривых: если подвижная точка плоской кривой, то её декартовы координаты

то её декартовы координаты и , именуемые диаметром и
и ,
и
,

именуемые

диаметром

и

ординатой

кривой,

суть

и ординатой кривой, суть пе р еменные, причём изменение

переменные, причём изменение влечёт изменение . Понятие функции отсутствует: желая сказать, что зависимость переменных задана, Лопиталь говорит, что «известна природа кривой». Понятие дифференциала вводится так:

«известна природа кривой». Понятие дифференциал а вводится так:

Математический анализ

13

Бесконечно малая часть, на которую непрерывно увеличивается или уменьшается переменная величина, называется её дифференциаломДля обозначения дифференциала переменной

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

.
.

[5] Бесконечно малая часть, на которую непрерывно увеличивается или уменьшается

дифференциал переменной величины, называется вторым дифференциалом. [6]

Эти определения поясняются геометрически, при этом на рис. бесконечно малые приращения изображены конечными. Рассмотрение опирается на два требования (аксиомы). Первое:

Требуется, чтобы две величины, отличающиеся друг от друга лишь на бесконечно малую величину, можно было брать [при упрощении выражений?] безразлично одну вместо другой. [7]

Отсюда получается , далее
Отсюда получается , далее

Второе требование гласит:

Требуется, чтобы можно было рассматривать кривую линию как совокупность бесконечного множества бесконечно малых прямых линий. [8]

Продолжение каждой такой линии называется касательной к кривой. [9] Исследуя касательную, проходящую через точку , Лопиталь

через точку , Лопиталь придаёт большое значение

придаёт большое значение величине

,
,
большое значение величине , Касательная к кривой

Касательная к кривой

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

никакого особого значения. Примечательно нахождение точек
никакого особого значения. Примечательно нахождение точек

Примечательно нахождение точек экстремума. Если при непрерывном увеличении диаметра ордината

увеличении диаметра ордината сначала возрастает, а затем

сначала возрастает, а затем убывает, то дифференциал сначала положителен по сравнению с , а потом

отрицателен.

с , а потом отрицателен. Но всякая непрерывно

Но всякая непрерывно возрастающая или убывающая величина не может превратиться из положительной в отрицательную, не проходя через бесконечность или нульОтсюда следует, что дифференциал наибольшей и наименьшей величины должен равняться нулю или бесконечности. [10]

Вероятно, эта формулировка небезупречна, если вспомнить о первом требовании: пусть, скажем, ,

тогда в силу первого требования

, тогда в силу первого требования ; в нуле правая часть равна нулю,
;
;
тогда в силу первого требования ; в нуле правая часть равна нулю, а

в нуле правая часть равна нулю, а левая нет. Видимо следовало сказать, что можно преобразовать в

соответствии с первым требованием так, чтобы в точке максимума . [11] . В примерах все само собой

1 1 ] . В примерах все само собой понятно, и лишь в теории точек

понятно, и лишь в теории точек перегиба Лопиталь пишет, что равен нулю в точке максимума, будучи

. Далее, при помощи одних дифференциалов формулируются условия экстремума и рассмотрено большое число сложных задач, относящихся в основном к дифференциальной геометрии на плоскости. В конце книги, в гл. 10, изложено то, что теперь называют правилом Лопиталя, хотя и в не совсем обычной форме. Пусть величина ординаты кривой выражена дробью, числитель и знаменатель которой обращаются в нуль при .

разделён на

в нуль при . разделён на Тогда точка кривой с имеет
в нуль при . разделён на Тогда точка кривой с имеет
в нуль при . разделён на Тогда точка кривой с имеет
в нуль при . разделён на Тогда точка кривой с имеет

Тогда точка кривой с имеет ординату , равную отношению дифференциала числителя к

с имеет ординату , равную отношению дифференциала числителя к

Математический анализ

14

дифференциалу знаменателя, взятому при .

По замыслу Лопиталя написанное им составляло первую часть Анализа, вторая же должна была содержать интегральное исчисление, то есть способ отыскания связи переменных по известной связи их дифференциалов. Первое его изложение дано Иоганном Бернулли в его Математических лекциях о методе интеграла [12] . Здесь дан способ взятия большинства элементарных интегралов и указаны методы решения многих дифференциальных уравнений первого порядка.

Указывая на практическую полезность и простоту нового метода Лейбниц писал:

То, что человек, сведущий в этом исчислении, может получить прямо в трёх строках, другие учёнейшие мужи принуждены были искать, следуя сложными обходными путями.

сложными обходными путями. Эйлер Леонард Эйлер Перемены,

Эйлер

сложными обходными путями. Эйлер Леонард Эйлер Перемены,

Леонард Эйлер

Перемены, произошедшие за последующие полвека, отражены в обширном трактате Эйлера. Изложение анализа открывает двухтомное «Введение», где собраны изыскания о различных представлениях элементарных функций. Термин «функция» впервые появляется лишь в 1692 у Лейбница [13] , однако на первые роли его выдвинул именно Эйлер. Изначальная трактовка понятия функции состояла в том, что функция это выражение для счёта (нем. Rechnungsausdrϋck) или аналитическое выражение. [14]

Функция переменного количества есть аналитическое выражение, составленное каким-либо образом из этого переменного количества и чисел или постоянных количеств. [15]

Подчёркивая, что «основное различие функций лежит в способе составления их из переменного и постоянных», Эйлер перечисляет

действия, «посредством которых количества могут друг с другом сочетаться и перемешиваться; действиями этими являются: сложение и вычитание, умножение и деление, возведение в степень и извлечение корней; сюда же следует отнести также решение [алгебраических] уравнений. Кроме этих действий, называемых алгебраическими, существует много других, трансцендентных, как-то: показательные, логарифмические и бесчисленные другие, доставляемые интегральным исчислением». [16] Такая трактовка позволяла без труда обращаться с многозначными функциями и не требовала пояснения, над каким полем рассматривается функция: выражение для счёта определено для комплексных значений переменных даже тогда, когда для рассматриваемой задачи это не нужно.

Операции в выражении допускались лишь в конечном числе, а трансцендентное проникало при помощи бесконечно большого числа [17] . В выражениях это число используется наряду с натуральными числами. Напр., считается допустимым такое выражение для экспоненты

такое выражение для экспоненты , в котором лишь поздние авторы
,
,

в котором лишь поздние авторы видели предельный переход. С аналитическими выражениями производились разнообразные преобразования, позволившие Эйлеру найти представления для элементарных функций в виде рядов, бесконечных произведений и т. д. Эйлер преобразует выражения для счёта так, как это делают в алгебре, не обращая внимания на возможность вычислить значение функции в точке по каждой из написанных формул.

В отличие от Лопиталя Эйлер подробно рассматривает трансцендентные функции и в особенности два наиболее изученные их классы показательные и тригонометрические. Он обнаруживает, что все

Математический анализ

15

элементарные функции могут быть выражены при помощи арифметических действий и двух операций взятия логарифма и экспоненты [18] .

Сам ход доказательства прекрасно демонстрирует технику использования бесконечно большого. Определив синус и косинус при помощи тригонометрического круга, Эйлер выводит из формул сложения следующее:

из формул сложения следующее: а отсюда и , он получает Полагая ,

а отсюда

и , он получает
и
, он получает

Полагая

,
,

отбрасывая бесконечно малые величины большего порядка. Используя это и аналогичное выражение, Эйлер получает и свою знаменитую формулу

.
.

Указав различные выражения для функций, которые теперь называют элементарными, Эйлер переходит к рассмотрению кривых на плоскости, начертанным свободным движением руки. По его мнению, не для всякой такой кривой можно отыскать единое аналитическое выражение (см. также Спор о струне). [19] В XIX веке с подачи Казорати [20] это утверждение считалось ошибочным: по теореме Вейерштрасса всякая непрерывная в современном смысле кривая может быть приближенно описана полиномами. На самом деле Эйлера это едва ли убедило, ведь нужно ещё переписать предельный переход при помощи символа .

Изложение дифференциального исчисления Эйлер начинает с теории конечных разностей, за ним в третьей главе следует философское разъяснение о том, что «бесконечно малое количество есть точно нуль», более всего не устроившее современников Эйлера. Затем из конечных разностей при бесконечно малом приращении образуются дифференциалы, а из интерполяционной формулу Ньютона формула Тейлора. Этот метод в существенном восходит к работам Тейлора (1715 г.). При этом у Эйлера появляется устойчивое отношение

появляется устойчивое отношение , которое, однако,
появляется устойчивое отношение , которое, однако,

, которое, однако, рассматривается как отношение двух бесконечно малых. Последние главы посвящены

приближенному вычислению при помощи рядов.

В трёхтомном интегральном исчислении Эйлер вводит понятие интеграла так:

Та функция, дифференциал которой , поставленным спереди. [21]

, поставленным спереди. [ 2 1 ] , называется его интегралом и
, поставленным спереди. [ 2 1 ] , называется его интегралом и

, называется его интегралом и обозначается знаком

В целом же эта часть трактата Эйлера посвящена более общей с современной точки зрения задаче об интегрировании дифференциальных уравнений. При этом Эйлер находит ряд интегралов и дифференциальных уравнений, которые приводят к новым функциям, напр., -функции, эллиптические функции и т. д. Строгое доказательство их неэлементарности было дано в 1830-х годах Якоби для эллиптических функций и Лиувиллем (см. элементарные функции).

эллиптических функций и Лиувиллем (см. элементарные функции ).

Математический анализ

16

Лагранж

Следующим крупным произведением, сыгравшим значительную роль в развитии концепции анализа, явилась Теория аналитических функций [22] Лагранжа и обширный пересказ работ Лагранжа, выполненный Лакруа [23] в несколько эклектической манере.

Желая избавиться от бесконечно малого вовсе, Лагранж обратил связь между производными и рядом Тейлора. Под аналитической функцией Лагранж понимал произвольную функцию, исследуемую методами анализа. Саму функцию он обозначил как , дав графический способ записи зависимости ранее же Эйлер

зависимости — ранее же Эйлер обходился одними переменными.

обходился одними переменными. Для применения методов анализа по мнению Лагранжа необходимо, чтобы функция разлагалась в ряд

,
,
чтобы функция разлагалась в ряд , коэффициенты которого будут

коэффициенты которого будут новыми функциями . Остаётся назвать производной (дифференциальным коэффициентом) и обозначить его как . Таким образом, понятие производной вводится на второй

производной вводится на второй странице трактата и без помощи
производной вводится на второй странице трактата и без помощи

странице трактата и без помощи бесконечно малых. Остаётся заметить, что

,
,
малых. Остаётся заметить, что , поэтому коэффициент является

поэтому коэффициент является удвоенной производной производной , то есть

и т. д. [ 2 4 ] [24]

Такой подход к трактовке понятия производной используется в современной алгебре и послужил основой для создания теории аналитических функций Вейерштрасса.

Лагранж оперировал такими рядами как формальными и получил ряд замечательных теорем. В частности, впервые и вполне строго доказал разрешимость начальной задачи для обыкновенных дифференциальных уравнений в формальных степенных рядах. [25]

Вопрос об оценке точности приближений, доставляемых частными суммами ряда Тейлора, впервые был поставлен именно Лагранжем: в конце Теории аналитических функций он вывел то, что теперь называют формулой Тейлора с остаточным членом в форме Лагранжа. [26] Однако, в противоположность современным авторам, Лагранж не видел нужды в употреблении этого результата для обоснования сходимости ряда Тейлора.

Вопрос о том, действительно ли функции, употребимые в анализе, могут быть разложены в степенной ряд, впоследствии стал предметом дискуссии. Конечно, Лагранжу было известно, что в некоторых точках элементарные функции могут не разлагаться в степенной ряд, однако в этих точках они и недифференцируемы ни в каком смысле. Коши в своём Алгебраическом анализе привёл в качестве контрпримера функцию

в качестве контрпримера функцию доопределённую нулём в нуле. Эта

доопределённую нулём в нуле. Эта функция всюду гладкая на вещественной оси и в нуле имеет нулевой ряд Маклорена, который, следовательно, не сходится к значению . Против этого примера Пуассон возразил,

примера Пуассон возразил, что Лагранж определял функцию

что Лагранж определял функцию как единое аналитическое выражение, в примере Коши же функция задана по разному в нуле, и при . Лишь в конце XIX века Прингсхейм [27] доказал, что существует бесконечно

что существует бесконечно дифференцируемая функция,

дифференцируемая функция, заданная единым выражением, ряд Маклорена для которой расходится. Пример такой функцией доставляет выражение

.
.

Математический анализ

17

Дальнейшее развитие

В XVIII веке были разработаны и практически применены такие разделы анализа, как вариационное

В XIX веке Коши первым дал анализу твёрдое логическое обоснование, введя понятие предела

последовательности, он же открыл новую страницу комплексного анализа. Пуассон, Лиувилль, Фурье и другие изучали дифференциальные уравнения в частных производных и гармонический анализ.

В последней трети XIX века Вейерштрасс произвёл арифметизацию анализа, полагая геометрическое

обоснование недостаточным, и предложил классическое определение предела через ε-δ-язык. Он же создал первую строгую теорию множества вещественных чисел. В это же время попытки усовершенствования теоремы об интегрируемости по Риману привели к созданию классификации разрывности вещественных функций. Также были открыты «патологические» примеры (нигде не дифференцируемые непрерывные функции, заполняющие пространство кривые). В связи с этим Жордан разработал теорию меры, а Кантор теорию множеств, и в начале XX века математический анализ был формализован с их помощью. Другим важным событием XX века стала разработка нестандартного анализа как альтернативного подхода к обоснованию анализа.

Разделы математического анализа

Библиография

Энциклопедические статьи

Анализ // Энциклопедический лексикон: В 17 тт. СПб.: тип. А. Плюшара, 18351841.

Учебная литература

Стандартные учебники

На протяжении многих лет в России популярны следующие учебники:

Курант, Р. Курс дифференциального и интегрального исчисления (в двух томах). Главная методическая находка курса: сначала попросту излагаются основные идеи, а затем им даются строгие доказательства. Написан Курантом в его бытность профессором Геттингенского университета в 1920-х под влиянием идей Клейна, затем в 1930-х перенесён на американскую почву. Русский перевод 1934 г. и его переиздания дает текст по немецкому изданию, перевод 1960-х годов (т. н. 4-ое издание [28] ) представляет собой компиляцию

Математический анализ

18

из немецкой и американской версии учебника и в связи с этим весьма многословен.

Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления (в трёх томах) и задачник.

Демидович Б. П. Сборник задач и упражнений по математическому анализу.

Ляшко И. И. и др. Справочное пособие по высшей математике, т. 1-5.

Некоторые ВУЗы имеют собственные руководства по анализу:

МГУ, МехМат:

Архипов Г. И., Садовничий В. А., Чубариков В. Н. Лекции по мат. анализу.

Зорич В. А. Математический анализ. Часть I. М.: Наука, 1981. 544 с.

Зорич В. А. Математический анализ. Часть II. М.: Наука, 1984. 640 с.

Камынин Л. И. Курс математического анализа (в двух томах). М.: Издательство Московского Университета, 2001.

МГУ, ВМК:

В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Математический анализ / Под ред. А. Н. Тихонова. 3-е изд., перераб. и доп. М.: Проспект, 2006. ISBN 5-482-00445-7

МГУ, физфак:

Ильин В. А., Позняк Э. Г. Основы математического анализа (в двух частях). М.: Физматлит, 2005. 648 с. ISBN 5-9221-0536-1

Бутузов В. Ф. и др. Мат. анализ в вопросах и задачах

Математика в техническом университете Сборник учебных пособий в 21 томе.

СПбГУ, физфак:

Смирнов В. И. Курс высшей математики, в 5 томах. М.: Наука, 1981 (6-е издание), БХВ-Петербург, 2008 (24-е издание).

НГУ, мехмат:

Решетняк Ю. Г. Курс математического анализа. Часть I. Книга 1. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Новосибирск: Изд-во Ин-та математики, 1999. 454 с ISBN 5-86134-066-8.

Решетняк Ю. Г. Курс математического анализа. Часть I. Книга 2. Интегральное исчисление функций одной переменной. Дифференциальное исчисление функций многих переменных. Новосибирск: Изд-во Ин-та математики, 1999. 512 с ISBN 5-86134-067-6.

Решетняк Ю. Г. Курс математического анализа. Часть II. Книга 1. Основы гладкого анализа в многомерных пространствах. Теория рядов. Новосибирск: Изд-во Ин-та математики, 2000. 440 с ISBN

5-86134-086-2.

Решетняк Ю. Г. Курс математического анализа. Часть II. Книга 2. Интегральное исчисление функций многих переменных. Интегральное исчисление на многообразиях. Внешние дифференциальные формы. Новосибирск: Изд-во Ин-та математики, 2001. 444 с ISBN 5-86134-089-7.

Шведов И. А. Компактный курс математического анализа, 2003: Часть 1. Функции одной переменной [29] , Часть 2. Дифференциальное исчисление функций многих переменных [30] .

МФТИ, Москва

Кудрявцев Л. Д. Курс математического анализа (в трех томах).

БГУ, физфак:

Богданов Ю. С. Лекции по математическому анализу (в двух частях). Минск: БГУ, 1974. 357 с.

Математический анализ

19

Учебники повышенной сложности

Учебники:

Рудин У. Основы математического анализа. М., 1976 небольшая книга, написана очень чётко и сжато.

Задачники повышенной сложности:

Г.Полиа, Г.Сеге, Задачи и теоремы из анализа. Часть 1 [31] , Часть 2 [32] , 1978. (Большая часть материала относится к ТФКП)

Pascal, E. (Napoli). Esercizii, 1895; 2 ed., 1909 // Internet Archiv [33]

Учебники для гуманитарных специальностей

А. М. Ахтямов Математика для социологов и экономистов. М. : Физматлит, 2004.

• Н. Ш. Кремер и др. Высшая математика для экономистов. Учебник. 3-е изд. М. : Юнити, 2010

Задачники

Г. Н. Берман. Сборник задач по курсу математического анализа: Учебное пособие для вузов. 20-е изд. М.:Наука. Главная редакция физико-математической литературы, 1985. 384 с.

••

П. Е. Данко, А. Г. Попов, Т. Я. Кожевников. Высшая математика в упражнениях и задачах. (В 2-х частях)- М.: Высш.шк, 1986.

Г. И. Запорожец Руководство к решению задач по математическому анализу. М.: Высшая школа, 1966.

И. А. Каплан. Практические занятия по высшей математике, в 5 частях

Харьков, Изд. Харьковского

••

гос. ун-та, 1967, 1971, 1972. А. К. Боярчук, Г. П. Головач. Диференциальные уравнения в примерах и задачах. Москва. Едиториал

••

УРСС, 2001. А. В. Пантелеев, А. С. Якимова, А. В. Босов. Обыкновенные дифференциальные уравнения в примерах и

••

задачах. «МАИ», 2000 А. М. Самойленко, С. А. Кривошея, Н. А. Перестюк. Дифференциальные уравнения: примеры и задачи. ВШ, 1989.

К. Н. Лунгу, В. П. Норин, Д. Т. Письменный, Ю.А Шевченко . Сборник задач по высшей математике. 1 курс. 7-е изд. М.: Айрис-пресс, 2008.

И. А. Марон. Дифференциальное и интегральное исчисление в примерах и задачах (Функции одной переменной). М., Физматлит, 1970.

В. Д. Черненко. Высшая математика в примерах и задачах: Учебное пособие для вузов. В 3 т. СПб.:

Политехника, 2003.

Классические произведения

••

Лопиталь. Анализ бесконечно малых

••

Bernulli, Johann. Die erste Integrelrechnunug/Leipzig-Berlin, 1914.

••

Эйлер. Введение в анализ, Дифференциальное исчисление, Интегральное исчисление

••

Коши. Краткое изложение уроков по дифференциальному и интегральному исчислению

Штурм. Курс анализа. Т.1,2 Классический курс парижской политехнической школы 1830-х годов.

Гурса Э. Курс мат. анализа. T. 1.1, 1.2

М. Е. Ващенко-Захарченко, Алгебраический Анализ или Высшая Алгебра, 1887. Первый российский учебник по мат. анализу.

Математический анализ

20

Сочинения по истории анализа

Кестнер, Авраам Готтгельф. Geschichte der Mathematik. 4 тома, Геттинген, 17961800

Кантор, Мориц. Vorlesungen über geschichte der mathematik Leipzig: B. G. Teubner, 18941908. Bd. 1 [34] , Bd. 2 [35] , Bd. 3 [36] , Bd. 4 [37]

История математики под редакцией А. П. Юшкевича (в трёх томах):

••

Том 1 С древнейших времен до начала Нового времени. (1970)

••

Том 2 Математика XVII столетия. (1970)

••

Том 3 Математика XVIII столетия. (1972)

••

Маркушевич А. И. Очерки по истории теории аналитических функций. 1951

••

Вилейтнер Г. История математики от Декарта до середины XIX столетия. 1960

Примечания

[1] Ср., напр., курс Cornell Un (http://www.math.cornell.edu/Courses/FSM/firstyearcalc.html) [2] Ньютон И. Математические работы. M, 1937. [3] Leibniz //Acta Eroditorum, 1684. L.M.S., т. V, c. 220226. Рус. пер.: Успехи Мат. Наук, т. 3, в. 1 (23), с. 166173.

[4] Лопиталь. Анализ бесконечно малых. М.-Л.:ГТТИ, 1935. (Далее: Лопиталь) // Мат. анализ на EqWorld (http://eqworld.ipmnet.ru/ru/ library/mathematics/calculus.htm) [[55]] Лопиталь, гл. 1, опр. 2. [[66]] Лопиталь, гл. 4, опр. 1. [[77]] Лопиталь, гл. 1, требование 1. [[88]] Лопиталь, гл. 1, требование 2. [[99]] Лопиталь, гл. 2, опр. [[1010]] Лопиталь, § 46. [[1111]] Лопиталь беспокоится о другом: UNIQ-math-0-198a853caed7f02e-QINU для него длина отрезка и нужно пояснить, что значит её отрицательность. Замечание, сделанное в § 8-10, можно даже понять так, что при убывании UNIQ-math-1-198a853caed7f02e-QINU с ростом UNIQ-math-2-198a853caed7f02e-QINU следует писать UNIQ-math-3-198a853caed7f02e-QINU , однако далее это не используется. [12] Bernulli, Johann. Die erste Integrelrechnunug. (http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Bern002& view=50&frames=0&seq=7) Leipzig-Berlin, 1914. [[1313]] См.: Успехи Мат. Наук, т. 3, в. 1 (23) [14] См. Маркушевич А. И. Элементы теории аналитических функций, Учпедгиз, 1944. С. 21 и сл.; Koenig F. Kommentierender Anhang zu Funktionentheorie von F. Klein. Leipzig: Teubner, 1987; а также Исторический очерк в статье Функция [15] Эйлер. Введение в анализ. Т. 1. Гл. 1, § 4 [16] Эйлер. Введение в анализ. Т. 1. Гл. 1, § 6 [[1717]] Эйлер обозначает это число как UNIQ-math-4-198a853caed7f02e-QINU , что не может не путать современного читателя. [18] Введении в анализ, т. 1, гл. 8

[19]

Некоторые исследователи (см., напр., История Математики, т. 2) хотят видеть в сказанном во втором томе Введения в анализ ростки

новой трактовки понятия функции, но в тексте говорится лишь о том, что кривые, а вовсе не функции, могут не быть представимы в виде единого выражения для счёта, то есть одной функции. [20] Casorati F. Teorica delle funzioni di variabili complesse. Pavia, 1868. P. 191 [21] Эйлер. Интегральное исчисление. Т. 1, опр. 2 [22] Lagrange. OEvres. Vol. 9 (http://gdz.sub.uni-goettingen.de/no_cache/en/dms/load/toc/?IDDOC=41270) [23] Lacroix. Traite du calcul differentiel et du calcul integral. Vol. 1-3. 1 ed., 1798. (Большой Лакруа)// http://gallica.bnf.fr [24] См. также: Маркушевич А. И. Элементы теории аналитических функций. М., 1944. C. 22-24 [25] Lacroix. Traite, vol. 2, § 594. [26] См. также: История математики, т. 3., с. 297300 [27] Pringssheim A.// Math. Ann. Bd. 43 (1893); см. также: Маркушевич А. И. Элементы теории аналитических функций. М., 1944. C.

16-17.

Математический анализ

21

Ссылки

Анализ // Энциклопедический лексикон: В 17 тт. СПб.: тип. А. Плюшара, 18351841.

Аналитическая теория чисел

В аналитической теории чисел для вывода и доказательства утверждений о числах и числовых функциях используется мощный аппарат математического анализа. Первым шагом в этом направлении стал метод производящих функций, сформулированный Эйлером. Для определения количества целочисленных неотрицательных решений линейного уравнения вида

линейного уравнения вида , где — натуральные числа ,

, где

линейного уравнения вида , где — натуральные числа , Эйлер

Эйлер построил производяшую функцию, которая определяется как произведение сходящихся рядов (при

сходящихся рядов (при ) и является суммой членов
)
)

и является суммой членов геометрической прогрессии, при этом

, где

прогрессии , при этом , где — число решений изучаемого

число решений изучаемого уравнения.

На основе этого метода был построен круговой метод Харди Литлвуда.

В работе над квадратичным законом взаимности Гаусс рассмотрел конечные суммы вида

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

, которые могут быть представлены в виде суммы синусов и косинусов (по формуле

Эйлера), из-за чего они являются частным случаем тригонометрических сумм. Метод тригонометрических сумм, позволяющий оценивать число решений тех или иных уравнений или систем уравнений в целых числах играет большую роль в аналитической теории чисел. Основы метода разработал и впервые применил к задачам теории чисел И. М. Виноградов.

Работая над доказательством теоремы Евклида о бесконечности простых чисел Эйлер рассмотрел произведение по всем простым числам и сформулировал тождество:

,
,

которое стало основанием для теорий дзета-функций. Наиболее известной и до сих пор не решённой проблемой аналитической теории чисел является доказательство гипотезы Римана о нулях дзета-функции, утверждающей, что все нетривиальные корни уравнения лежат на так называемой критической

на так называемой критической прямой , где — дзета-функция
на так называемой критической прямой , где — дзета-функция

прямой , где дзета-функция Римана.

, где — дзета-функция Римана . Для доказательства теоремы о

Для доказательства теоремы о бесконечности простых чисел в общем виде Дирихле использовал произведения по всем простым числам, аналогичные эйлерову произведению, и показал, что

,
,

при этом функция

следующим условиям: она является периодической, вполне мультипликативной и не равна тождественно

и не равна тождественно , получившая название характер

, получившая название характер Дирихле, определена так, что удовлетворяет

Аналитическая теория чисел

22

нулю. Характеры и ряды Дирихле нашли применение и в других разделах математики, в частности в алгебре, топологии и теории функций.

Чебышёв показал, что число простых чисел, не превосходяших , обозначенное как , стремится к

бесконечности по следующему закону:

по следующему закону: , где и . Другим направлением
по следующему закону: , где и . Другим направлением
по следующему закону: , где и . Другим направлением

, где

и .
и
.

Другим направлением аналитической теории чисел является применение комплексного анализа в доказательстве теоремы о распределении простых чисел.

Примечания

Литература

Davenport, Harold (2000), «Multiplicative number theory», vol. 74 (3rd revised ed.), Graduate Texts in Mathematics, New York: Springer-Verlag, ISBN 978-0-387-95097-6

• Tenenbaum, Gérald (1995), «Introduction to Analytic and Probabilistic Number Theory», vol. 46, Cambridge studies in advanced mathematics, Cambridge University Press, ISBN 0-521-41261-7

Б.М. Широков, Петрозаводский государственный университет им. О. В. Куусинена Аналитическая теория чисел. Петрозаводский гос. университет им. О.В. Куусинена, 1986. 93 с.

А. Б. Венков, Леон Арменович Тахтаджян Аналитическая теория чисел и теория функций. Наука, 1979. Т. 2. 224 с.

Интеграл

Интеграл функции аналог суммы последовательности. Неформально, (определённый) интеграл является площадью части графика функции (в пределах интегрирования), то есть площадью криволинейной трапеции.

Процесс нахождения интеграла называется интегрированием.

Согласно

интегрирование является

операцией,

обратной

чем

помогает

решать

дифференциальны е уравнения . Существует несколько различных