Интеграл Лебега-Стилтьеса

Содержание

Введение

Глава I. Развитие понятия интеграла

1.1 Проблема моментов

Глава II. Интеграл Стилтьеса

2.1 Определение интеграла Стилтьеса

2.2 Общие условия существования интеграла Стилтьеса

2.3 Классы случаев существования интеграла Стилтьеса

2.4 Свойства интеграла Стилтьеса

2.5 Интегрирование по частям

2.6 Приведение интеграла Стилтьеса к интегралу Римана

2.7 Вычисление интегралов Стилтьеса

2.8 Примеры

2.10 Теорема о среднем, оценки

2.11 Предельный переход под знаком интеграла Стилтьеса

2.12. Примеры и дополнения

Глава III. Применение интеграла Стилтьеса

3.1 Применение в теории вероятностей

3.2 Применение в квантовой механике

Заключение

Список литературы

Приложение

Введение

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

Выбор темы обусловлен тем, что изучению интеграла Стилтьеса уделяется меньше внимания, чем интегралам Римана и Лебега, хотя именно идея стилтьесовского интегрирования богаче и плодотворней предыдущих, определение интеграла Стилтьеса шире классического и в некотором отношении удобнее его.

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

Задачи, которые нужно выполнить для достижения цели:

изучить множество литературы по этой теме;

отобрать из изученного материла необходимый;

привести примеры использования интеграла.

Работа состоит из трёх глав. Первая посвящена развитию данного понятия, проблеме моментов, которая и привела к необходимости введения нового понятия интеграла.

Во второй главе рассмотрены основные понятия, определение самого интеграла, свойства, способы вычисления, рассмотрено множество примеров.

Третья глава посвящена применению интеграла Стилтьеса в других разделах математики и в других науках.

Глава I. Развитие понятия интеграла

1.1 Проблема моментов

Введение понятия интеграла Стилтьеса и последующая его разработка связаны с проблемой моментов, состоящей в следующем. Пусть задана последовательность чисел _>>; требуется найти такую функцию распределения _>>, чтобы члены заданной последовательности были моментами, т.е. _>>. Если a и b конечны, то поставленная задача называется проблемой моментов в конечном интервале; если _>>, то получаем проблему моментов Стилтьеса.

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

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

_>>

Условиями

_>> _>> (1)

при неотрицательной _>> на _>>.

Мы коснемся двух моментов из содержания его статьи.

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

_>> _>>

Здесь Стилтьес пользуется доказанными им формулами П.Л. Чебышева в виде

_>>

где _>>. (2)

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

_>>

_>> (3)

так как в этом случае _>>.

Вторым моментом является следующий. Отметив, что его результаты полезны при изучении вопроса о квадратуре интеграла _>>, Стилтьес ставит вопрос о квадратурных формулах для интеграла вида

_>>. (4)

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

_>> (5)

является непрерывной и строго монотонной, а потому существует обратная функция _>>, и в интеграле (4) возможна замена переменных

_>>

сводящих интеграл (4) к уже изученному Стилтьесом случаю.

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

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

Стилтьес рассматривал непрерывные дроби вида

_>> (6)

где _>> - в общем случае комплексное число.

Пусть _>> - подходящая дробь порядка _>> для непрерывной дроби (6). Тогда существуют пределы

_>>

причем, если ряд _>> расходится, то

_>>

если же ряд _>> сходится, то

_>>

и функции _>> и _>> различны.

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

_>> (7)

и непрерывной дробью

_>>, (8)

где _>> - суть линейные функции _>>, а числа _>> связаны с коэффициентами разложения (7) в ряд по убывающим степеням _>>:

_>>

Формулами

_>>

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

_>>

или, в другой форме,

_>>

В частности,

Как уже говорилось _>> при _>>, а потому, если обозначить через _>> нули _>>, то _>> и _>> при _>>. Аналогично, если _>> - нули функции _>>, то _>> и _>> для случая нечетных _>>. В случае расходимости ряда _>> очевидно, что _>>.

Пусть дробь вида (6) задана разложением в ряд по убывающим степеням _>>:

_>> (9)

Тогда оказывается, что ряды

_>>

сходятся и

_>> (10)

Эти формулы позволяют по цепной дроби (6) найти её разложение в ряд (9). Обратная же задача - по разложению (9) найти дробь (6) - неизбежно приводит к решению более или менее общей проблемы моментов.

В самом деле, Стилтьесу была известна чебышевско-марковская интерпретация _>>, как массы, сосредоточенной в точке _>>, являющейся корнем _>>. Естественно было распространить эту интерпретацию и на предельный случай, рассматривая _>> как массы, расположенные в нулях функции _>> (или _>>). После введения формул (10) Стилтьес пишет: "Рассмотрим на бесконечной прямой _>> распределение массы (положительной), при котором на расстоянии _>> от начала сосредоточена масса _>>.

Сумма

_>>

может быть названа моментом порядка _>> масс относительно начала. В таком случае из предшествующих формул следует, что момент порядка _>> системы масс

_>> _>>

имеет значение _>>.

Равным образом система масс _>>, где _>>, будем иметь те же моменты _>>.

Мы назовем проблемой моментов следующую задачу:

Найти распределение положительной массы на прямой _>>, если даны моменты порядка _>>".

Действительно, формулы (10) приводят к постановке проблемы моментов, если принято истолкование _>> и _>> как масс, а _>> как соответствующих расстояний этих масс от начала координат.

Цепные дроби рассматривающегося П.Л. Чебышевым и А.А. Марковым типа получились из разложения интеграла (7) и все корни знаменателей их подходящих дробей были заключены в промежутке _>>. Стилтьес же не связывал рассматриваемые им дроби с заранее данным аналитическим выражением в виде интеграла, и корни _>>, _>> оказывались в общем случае распределенными по всей положительной части числовой оси. Поэтому закономерным был выход в проблеме моментов за пределы конечного интервала и рассмотрение её на интервале _>>. Далее, поскольку _>> рассматриваются как моменты массы относительно начала координат, то прежнее определение момента через интеграл Римана _>> становилось недостаточным, существенно ограничивая класс последовательностей чисел _>>; даже для таких распределений массы, как концентрация её в отдельных точках, приходилось принимать довольно неожиданные предположения относительно функции плотности _>>, как это было у русских ученых. Между тем, как показал Стилтьес, на последовательность чисел _>> достаточно было наложить довольно слабые ограничения, чтобы ряд (9) можно было обратить в цепную дробь (6), а тем самым найти функции _>>. Зная же эти функции, мы тем самым знаем решение системы уравнений (10), т.е. решение проблемы моментов. Если при этом _>> и _>>, _>> и _>> попарно совпадут, то получится определенное решение: если же они попарно различны, то решений по крайней мере два: системы _>> и _>>. Следовательно, общность цепных дробей вида (6) достаточно широка, чтобы сделать вывод о разрешимости проблемы моментов для интервала _>>, но для этого требовалось дать иное определение моментов.

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

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

Он рассмотрел интеграл _>> для случая произвольной непрерывной _>> и произвольной возрастающей _>>. В этих предположениях он высказал без доказательства теорему существования интеграла, отметив лишь, что оно может быть осуществлено так же, как и для определенного интеграла Римана. Затем в этих же общих приложениях он доказал одну из важнейших формул теории нового интеграла, а именно формулу интегрирования по частям. И теорему существования, и формулу интегрирования по частям мы рассмотрим в последующих главах.

Глава II. Интеграл Стилтьеса

2.1 Определение интеграла Стилтьеса

Пусть в промежутке _>> заданы две ограниченные функции _>> и _>>. Разложим точками

_>> (1)

промежуток _>> на части и положим _>>. Выбрав в каждой из частей _>> _>> по точке_>>, вычислим значение _>> функции _>> и умножим его на соответствующее промежутку _>> приращение функции _>>

_>>.

Наконец, составим сумму всех таких произведений:

_>>. (2)

Эта сумма носит название интегральной суммы Стилтьеса.

Конечный предел суммы Стилтьеса _>> при стремлении _>> к нулю называется интегралом Стилтьеса функции _>> по функции _>> и обозначается символом

_>>. (3)

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

_>>

Предел здесь понимается в том же смысле, что и в случае обыкновенного определенного интеграла. Точнее говоря, число _>> называется интегралом Стилтьеса, если для любого числа _>> существует такое число _>>, что лишь только промежуток _>> раздроблен на части так, что _>>, тотчас же выполняется неравенство

_>>,

как бы не выбирать точки _>> в соответствующих промежутках.

При существовании интеграла (3) говорят также, что функция _>> в промежутке _>> интегрируема по функции _>>.

Читатель видит, что единственное (но существенное) отличие данного выше определения от обычного определения интеграла Римана состоит в том, что _>> умножается не на приращение _>> независимой переменной, а на приращение _>> второй функции. Таким образом, интеграл Римана есть частный случай интеграла Стилтьеса, а когда в качестве функции _>> взята сама независимая переменная _>>:

_>>.

2.2 Общие условия существования интеграла Стилтьеса

Установим общие условия существования интеграла Стилтьеса, ограничиваясь, впрочем, предположением, что функция _>> монотонно возрастает.

Отсюда следует, что при _>> теперь все _>>.

Аналогично суммам Дарбу, и здесь целесообразно внести суммы

_>> _>>

где _>> и _>> означают, соответственно, нижнюю и верхнюю точные границы функции _>> в _>>-м промежутке _>>. Эти суммы мы будем называть нижней и верхней суммами Дарбу-Стилтьеса.

Прежде всего, ясно, что (при одном и том же разбиении)

_>>

причем _>> и _>> служат точными границами для стилтьесовских сумм _>>.

Сами суммы Дарбу-Стилтьеса обладают следующими двумя свойствами:

1-е свойство. Если к имеющимся точкам деления добавить новые точки, то нижняя сумма Дарбу-Стилтьеса может от этого разве лишь возрасти, а верхняя сумма - разве лишь уменьшиться.

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

Если ввести нижний и верхний интегралы Дарбу-Стилтьеса:

_>> и _>>

то, оказывается, что

_>>.

Наконец, с помощью сумм Дарбу-Стилтьеса легко устанавливается для рассматриваемого случая основной признак существования интеграла Стилтьеса:

Теорема: Для существования интеграла Стилтьеса необходимо и достаточно, чтобы было

_>>

Или

_>>,

если под _>>, как обычно, разуметь колебание _>> функции _>> в _>>-м промежутке _>>.

В следующем пункте мы применим этот критерий к установлению важных парных классов функций _>> и _>>, для которых интеграл Стилтьеса существует.

2.3 Классы случаев существования интеграла Стилтьеса

I. Если функция _>> непрерывна, а функция _>> имеет ограниченное изменение, то интеграл Стилтьеса

_>> (5)

существует.

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

_>> и

_>>,

откуда и следует выполнение условия (4), а стало быть и существование интеграла.

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

_>>.

Так как по уже доказанному каждая из сумм _>> и _>> при _>> стремится к конечному пределу, то это справедливо и относительно суммы _>>, что и требовалось доказать.

Можно ослабить условия, налагаемые на функцию _>>, если одновременно усилить требования к функции _>>:

Если функция _>> интегрируема в _>> в смысле Римана, а _>> удовлетворяет условию Липшица:

_>>

_>> (6)

то интеграл (5) существует.

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

Ввиду (6), очевидно, _>>, так что

_>>.

Но последняя сумма при _>> и сама стремится к 0 вследствие интегрируемости (в смысле Римана) функции _>>, а тогда стремится к нулю и первая сумма, что доказывает существование интеграла (5).

В общем случае функции _>>, удовлетворяющей условию Липшица (6), представим в виде разности

_>>

Функция _>>, очевидно, удовлетворяет условию Липшица и в то же время монотонно возрастает. То же справедливо и для функции _>>, так как, в силу (6), при _>>

_>>

В таком случае рассуждение завершается, как и выше.

III. Если функция _>> интегрируема в смысле Римана, а функция _>> представима в виде интеграла с переменным верхним пределом:

_>> (7)

где _>> абсолютно интегрируема, в промежутке _>>, то интеграл (5) существует.

Пусть _>>, так что _>> монотонно возрастает. Если _>> интегрируема в собственном смысле и, следовательно, ограничена: _>> то для _>>

Имеем

_>>

Таким образом, в этом случае _>> удовлетворяет условию Липшица, и интеграл существует в силу 2.

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

_>> (8)

где _>> - общее колебание функции _>> в рассматриваемом промежутке.

Разобьем промежуток _>> по произволу на части и составим сумму

_>>

Она разлагается на две суммы _>>, из коих первая отвечает промежуткам, целиком содержащимся в промежутке _>>, а вторая - остальным промежуткам. Последние наверное содержаться в промежутке _>>, если только _>>; тогда, в силу (8),

_>>

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

В общем случае, когда функция _>> абсолютно интегрируема в промежутке _>>, мы рассмотрим функции

_>>

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

_>>

то вопрос сводится, как и выше, к уже рассмотренному случаю.

Замечание. Пусть функция _>> непрерывна в промежутке _>> и имеет, исключая разве лишь конечное число точек, производную _>>, причем эта производная интегрируема (в собственном или несобственном смысле) от _>> до _>>; тогда, как известно, имеет место формула типа (7):

_>>.

Если _>> абсолютно интегрируема, то к функции _>> полностью приложимо изложенное в 3.

2.4 Свойства интеграла Стилтьеса

Из определения интеграла Стилтьеса непосредственно вытекают следующие его свойства:

_>> _>>

_>> _>> _>>

При этом в случаях _>> из существования интегралов в правой части вытекает существование интеграла в левой части.

Затем имеем

_>> _>>

в предположении, что _>> и существуют все три интеграла.

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

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

_>> и _>>.

Для своеобразного предельного процесса, с помощью которого из стилтьесовской суммы получается интеграл Стилтьеса, имеет место принцип сходимости Больцано-Коши. Таким образом, по заданному _>> ввиду существования интеграла _>> найдется такое _>>, что любые две суммы _>> и _>> Стилтьеса, которым отвечают _>> и _>>, разнятся меньше чем на _>>. Если при этом в состав точек деления включить точку _>>, а точки деления, приходящиеся на промежуток _>>, брать в обоих случаях одними и теми же, то разность _>> сведется к разности _>> двух сумм Стилтьеса, относящихся уже к промежутку _>>, ибо прочие слагаемые взаимно уничтожатся. Применяя к промежутку _>> и вычисленным для него стилтьесовским суммам тот же принцип сходимости, заключим о существовании интеграла _>>. Аналогично устанавливается и существование интеграла _>>.

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

Чтобы убедиться в этом, достаточно рассмотреть пример. Пусть в промежутке _>> функции _>> и _>> заданы следующими равенствами:

_>>; _>>

Легко видеть, что интегралы

_>>

оба существуют и равны 0, ибо соответствующие им суммы Стилтьеса все равны 0: для первого это следует из того, что всегда _>>, для второго - из постоянства функции _>>, благодаря чему всегда _>>

В то же время интеграл

_>>

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

_>>

Если точка 0 попадет в промежуток _>>, так что _>>, то в сумме _>>останется только одно _>>-е слагаемое; остальные будут нули, потому что

_>> для _>>.

Итак,

_>>

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

Указанное своеобразное обстоятельство связано с наличием разрывов в точке _>> для обеих функций _>> и _>>.

2.5 Интегрирование по частям

Для интегралов Стилтьеса имеет место формула

_>> (9)

в предположении, что существует один из этих интегралов; существование другого отсюда уже вытекает. Формула эта носит название формулы интегрирования по частям. Докажем её.

Пусть существует интеграл _>>. Разложив промежуток _>> на части _>> _>>, выберем в этих частях произвольно по точке _>>, так что

_>>

Сумму Стилтьеса для интеграла _>>

_>>

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

_>>

Если прибавить и опять отнять справа выражение

_>>

то _>> перепишется так:

_>>

Выражение в фигурных скобках представляет собою стилтьесову сумму для интеграла _>> (существование которого предположено!). Она отвечает разбиению промежутка _>> точками деления

_>>

если в качестве выбранных из промежутков _>> _>> точек взять _>>, а для промежутков _>> и _>>, соответственно, _>> и _>>. Если, как обычно, положить _>>, то теперь длины всех частичных промежутков не превзойдут _>>. При _>> сумма в квадратных скобках стремится к _>>, следовательно, существует предел и для _>>, т.е. интеграл _>>, и этот интеграл определяется формулой (9).

Как следствие нашего рассуждения, особо отметим тот любопытный факт, что если функция _>> в промежутке _>> интегрируема по функции _>>, то и функция _>> интегрируема по функции _>>.

Это замечание позволяет добавить ряд новых случаев существования интеграла Стилтьеса к тем, которые были рассмотрены в п.3, переменив роли функций _>> и _>>.

2.6 Приведение интеграла Стилтьеса к интегралу Римана

Пусть функция _>> непрерывна в промежутке _>>, а _>> монотонно возрастает в этом промежутке, и притом в строгом смысле. Тогда, как показал Лебег, интеграл Стилтьеса _>> с помощью подстановки _>> непосредственно приводится к интегралу Римана.

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

Именно, если ограничиться лишь теми значениями _>>, которые функция _>> действительно принимает при изменении _>> от _>> до _>>, то _>> является обратной для неё в обычном смысле, т.е. относит _>> именно то значение _>>, при котором _>>. Но из промежутка значений _>>

_>>

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

Докажем теперь, что

_>> (10)

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

С этой целью разложим промежуток _>> на части с помощью точек деления

_>>

и составим стилтьесову сумму

_>>.

Если положить _>>, то будем иметь

_>>

Так как _>>, то

_>>.

Это выражение имеет вид римановой суммы для интеграла

_>>

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

Имеем

_>>

так что

_>>

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

при _>>, очевидно, _>>

то одновременно и

_>>

В таком случае

_>>.

Этим доказано, что

_>>

откуда и следует (10).

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

2.7 Вычисление интегралов Стилтьеса

Докажем следующую теорему:

Если функция _>> интегрируема в смысле Римана в промежутке _>>, а _>> представлена интегралом

_>>

где функция _>> абсолютно интегрируема в _>>, то

_>> (11)

Интеграл справа существует. Существование интеграла Стилтьеса при сделанных предположениях уже было доказано (п.3,3).

Остается лишь установить равенство (11).

Без умаления общности можно предположить функцию _>> положительной.

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

_>>

Так как, с другой стороны, можно написать

_>>

то будем иметь

_>>

Очевидно, для _>> будет _>>, где _>> означает колебание функции _>> в промежутке _>>. Отсюда вытекает такая оценка написанной выше разности:

_>>

Но мы уже знаем (п.3,3), что при _>> последняя сумма стремится к 0, следовательно,

_>>

что и доказывает формулу (11).

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

2. При прежних предположениях относительно функции _>> допустим, что функция _>> непрерывна во всем промежутке _>> и имеет в нем, исключая разве лишь конечное число точек, производную _>>, которая в _>> абсолютно интегрируема. Тогда

_>> (12)

Интересно отметить, что интеграл справа в формуле (12) формально получается из интеграла слева, если, понимая символ _>> буквально как дифференциал, заменит его выражением _>>.

Обращаясь к случаям, когда функция _>> оказывается разрывной (что для практики, как увидим, представляет особый интерес), начнем с рассмотрения "стандартной" разрывной функции _>>, определяемой равенствами

_>>

Она имеет разрыв первого рода - скачок - в точке _>> справа, причем величина скачка _>> равна 1; в точке _>> слева и в остальных точках функция _>> непрерывна. Функция _>> будет иметь такой же разрыв в точке _>> справа; наоборот, _>> будет иметь подобный разрыв в точке _>> слева, причем величина скачка будет равна - 1.

Предположим, что функция _>> непрерывна в точке _>>, и вычислим интеграл _>> где _>> (при _>> этот интеграл равен нулю).

Составим сумму Стилтьеса:

_>>

Пусть точка _>> попадет, скажем, в _>>-й промежуток, так что _>>. Тогда _>>, а при _>>, очевидно, _>>. Таким образом, вся сумма _>> сводится к одному слагаемому: _>> Пусть теперь _>>. По непрерывности _>>. Следовательно, существует (при _>>)

_>> (13)

Аналогично можно убедиться в том, что (при _>>)

_>> (14)

(при _>> этот интеграл обращается в нуль).

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

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

_>>

терпит разрыв первого рода. Тогда существует интеграл Стилтьеса и выражается формулой

_>>

_>> (15)

Характерно здесь наличие внеинтегральной суммы, где фигурируют скачки функции _>> в точках _>> или _>>- односторонние.

Для упрощения записи введем обозначения для скачков функции _>> справа и слева:

_>>

очевидно, для

_>> _>>

Составим вспомогательную функцию:

_>>

которая как бы вбирает в себя все разрывы функции _>>, так что разность _>>, как мы сейчас установим, оказывается уже непрерывной.

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

_>>

Аналогично проверяется и непрерывность функции _>> в точке _>> слева.

Далее, если взять точку _>> (отличную от всех _>>), в которой функция _>> имеет производную, то вблизи этой точки _>> сохраняет постоянное значение, следовательно, в ней и функция _>> имеет производную, причем

_>>.

Для непрерывной функции _>>, по предыдущей теореме, существует интеграл Стилтьеса

_>>

Точно так же легко вычислить и интеграл

_>>

Складывая почленно эти два равенства, мы и придем к равенству (15); существование интеграла Стилтьеса от _>> по функции _>>устанавливается попутно (п.4,3).

2.8 Примеры

Вычислить по формуле (11) интегралы:

а) _>>

б) _>>

в) _>>

Решение:

а) _>>

б) _>>_>>

_>>

в) _>>

Вычислить по формуле (15) интегралы:

а) _>> где _>>

б) _>> где _>>

Решение:

а) Функция _>> имеет скачок 1 при _>> и скачок - 2 при _>>; в остальных точках _>>. Поэтому

_>>

б) Скачок 1 при _>> и - 2 при _>> (значение функции _>> при _>> не влияет на результат); в прочих точках _>>.

Имеем:

_>>

Вычислить по формуле (15) интегралы:

а) _>> б) _>> в) _>>

где

_>>

Решение:

Функция _>> имеет скачки, равные 1, при _>> и _>>. Производная

_>>

Поэтому

а) _>>

Аналогично,

б) _>>

в) _>>

Предположим, что вдоль отрезка _>> оси _>> расположены массы, как сосредоточенные в отдельных точках, так интеграл распределенные непрерывно. Не делая различия между ними, обозначим для _>> через _>> сумму всех масс, расположенных в промежутке _>>; сверх того, положим, _>>. Очевидно, _>> - монотонно возрастающая функция. Поставим себе задачей найти статический момент этих масс относительно начала координат.

Разобьем промежуток _>> на части точками

_>>

На отрезке _>> при _>> содержится, очевидно, масса _>>. Точно так же на отрезке _>> содержится масса _>>. Считая массу во всех случаях сосредоточенной, например, на правом конце промежутка, получим для искомого статического момента приближенной выражение

_>>.

При стремлении к 0 всех _>>, в пределе придем к точному результату:

_>>. (16)

Можно было бы здесь сначала установить "элементарный" статический момент _>>, отвечающий отрезку оси от _>> до _>>, а затем "просуммировать" эти элементы.

Аналогично для момента инерции _>> тех же масс относительно начал найдем формулу

_>> (17)

Важно подчеркнуть, что интеграл Стилтьеса дал возможность объединить одной интегральной формулой разнородные случаи непрерывно распределенных интеграл сосредоточенных масс!

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

_>>

В каждой же точке _>> функция испытывает скачок, равный именно массе _>>, в этой точке сосредоточенной.

Если теперь разложить интеграл (16) по формуле (15), то получим

_>>

Всмотревшись в правую часть, легко в первом члене узнать статический момент непрерывно распределенных масс, а во втором - статический момент сосредоточенных масс. Аналогичный результат получится интеграл для интеграла (17).

а) Составить выражение _>> и построить график его для следующего распределения масс: массы величины 1 в точках _>> и непрерывно распределенные массы с плотностью 2 в промежутке _>>.

Решение:

В промежутке _>> имеем:

_>>

б) То же самое - для такого распределения: массы величины 2 при _>> и 4 и непрерывно распределенные массы с плотностью _>> в промежутке _>>.

Решение:

В промежутке _>> имеем

_>>

в) выяснить распределение масс, если _>> равна функции _>> задачи 3).

Решение:

Массы величины 1 в точках _>> и 0, в промежутке _>> непрерывно распределенные массы с плотностью 1, в промежутке _>> - массы с плотностью _>>.

6. Рассмотрим другой вопрос, в котором интеграл Стилтьеса играет такую же роль, как интеграл в упражнении 4). Предположим, что на балку (рис) покоящуюся на двух опорах, кроме непрерывно распределенной нагрузки действуют и сосредоточенные силы. Расположим ось _>> вдоль по оси балки, а ось _>> вертикально вниз (см. рис) Не делая различий между действующими силами, обозначим для _>> через _>> сумму всех сил, приложенных на отрезке _>> балки, включая интеграл реакции опор; далее, пусть _>>. Силу _>> называют перерезывающим усилием в сечении _>> балки. При этом силы, направленные вниз, будем считать положительными, а вверх - отрицательными.

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

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

_>>

то, "суммируя" получим

_>>

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

_>>_>> (18)

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

_>>

которое является следствием из условий равновесия

_>>

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

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

_>>

Пусть сосредоточенные силы _>> приложены в точках _>>. Тогда, очевидно, перерезывающее усилие именно в этих точках имеет скачки, соответственные равные _>>. Далее, применяя, например, к интегралу (18) формулу (15), получим

_>>.

В двух слагаемых правой части легко узнать моменты, порожденные порознь непрерывной нагрузкой интеграл сосредоточенными силами: интеграл Стилтьеса охватывает их единой интегральной формулой.

Установим ещё один факт, интересный для теории сопротивления материалов. Произведя в формуле (18) интегрирование по частям, получим

_>>_>>

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

_>>

Пусть балка длины _>> несет "треугольную" нагрузку с интенсивностью _>>; кроме того, пусть к ней приложены сосредоточенная сила, равная 3, в точке _>>, интеграл реакции опор, обе равные - 3 (они устанавливаются по закону рычага). Определить перерезывающее усилие _>> интеграл изгибающий момент _>>.

Решение:

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

Пусть _>> - "кусочно-полиномиальная" функция в промежутке _>>; это означает, что промежуток разлагается на конечное число частей точками

_>>

так, что в каждой из частей функция _>> представляется полиномом не выше _>>-й степени. Заменив значения функции _>> и всех её производных в точках _>> и _>> нулями, обозначим через _>> величину скачка _>>-й производной _>> в _>>-й точке _>>.

Пусть, далее, _>> - любая непрерывная функция; положим

_>> и, вообще, _>>

Тогда имеет место следующая формула:

_>>

Действительно, последовательно находим

_>>

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

_>>

Аналогично

_>>

и т.д.

Установим в заключение, с помощью формулы (11) одно полезное обобщение формулы интегрирования по частям для обыкновенных интегралов. Именно, если _>> и _>> обе абсолютно интегрируемы в промежутке _>>, а _>> и _>>определяются интегральными формулами:

_>>

то справедлива формула

_>> (19)

Для доказательства, по формуле (11) заменим интеграл слева интегралом Стилтьеса интеграл проинтегрируем по частям (п.5):

_>>_>>

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

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

_>>

Геометрическая иллюстрация интеграла Стилтьеса

Рассмотрим интеграл

_>> (20)

предполагая функцию _>> непрерывной интеграл положительной, а _>> - лишь монотонно возрастающей (в строгом смысле); функция _>> может иметь и разрывы (скачки).

Система параметрических уравнений

_>> (21)

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

_>>_>> и _>>

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

С этой целью разложим промежуток на части точками

_>>

и в соответствии с этим промежуток _>> на оси _>> - на части точками

_>>

Введя наименьшее и наибольшее значения _>> и _>> функции _>> в _>>-м промежутке _>>, составим нижнюю интеграл верхнюю суммы Стилтьеса-Дарбу

_>>

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

Так как при стремлении к 0 всех _>> обе суммы стремятся к общему пределу (20), то отсюда следует, что наша фигура квадрируема и площадью её служит действительно интеграл (20).

2.10 Теорема о среднем, оценки

Пусть в промежутке _>> функция _>> ограничена:

_>>

а _>> монотонно возрастает. Если существует интеграл Стилтьеса _>> от _>> по _>>, то имеет место формула

_>> (22)

Это и есть теорема о среднем для интегралов Стилтьеса.

Для доказательства будем исходить из очевидных неравенств для стилтьесовской суммы _>>:

_>>

Переходя к пределу, получим

_>> (23)

Или

_>>

Обозначая написанное отношение через _>>, придем к (22).

Если функция _>> в промежутке _>> непрерывна, то обычным путем убеждаемся в том, что _>> есть значение функции в некоторой точке этого промежутка, интеграл формула (22) приобретает вид

_>>, где _>> (24)

В практике интегралов Стилтьеса наиболее важным является случай, когда функция _>> непрерывна, а функция _>> имеет ограниченное изменение. Для этого случая справедлива такая оценка интеграла Стилтьеса:

_>> (25)

Где

_>>.

Действительно, для суммы Стилтьеса _>> будет

_>>

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

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

_>>

и почленно вычитая эти равенства, получим

_>>

Если, как обычно, обозначить через _>> колебание функции _>> в промежутке _>>, так что

_>> для _>>

то, применяя оценку (25) к каждому интегралу _>> в отдельности, будем иметь

_>>

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

_>> (26)

Эти оценки будут нами использованы в следующем пункте.

2.11 Предельный переход под знаком интеграла Стилтьеса

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

_>>

(очевидно, также непрерывной), а _>> - функция с ограниченным изменением. Тогда

_>>

Доказательство: По заданному _>> найдется такое _>>, что при _>> будет для всех _>>

_>>

Тогда, в силу (25), для _>>

_>>

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

Пусть теперь функция _>> непрерывна в промежутке _>>, а функции _>> - все с ограниченным изменением в этом промежутке. Если полные изменения этих функций в их совокупности ограничены:

_>>

и _>> при _>> стремятся к предельной функции

_>>

То

_>>

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

Прежде всего, убедимся в том, что предельная функция _>> сама также будет иметь ограниченное изменение. Разложив промежуток _>> произвольным образом на части точками

_>>

будем иметь (при любом _>>)

_>>

Переходя к пределу здесь при _>>, получим

_>>

откуда и

_>>

Составим суммы Стилтьеса

_>> _>>

Если предположить, что промежуток _>> при этом разложен на столь мелкие части, что колебание функции _>> в каждой из них будет уже меньше произвольного наперед взятого числа _>>, то в силу оценки (26), при всех _>>

_>> _>>_>> (27)

С другой стороны, если разбиение, выбранное под указанным условием, фиксировать, то, очевидно, _>> при _>>, так что найдется такое _>>, что для _>> будет

_>>. (28)

Тогда для тех же значений _>> будем иметь, в силу (27) и (28),

_>>

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

2.12. Примеры и дополнения

Предполагая функцию _>> монотонно возрастающей в строгом смысле, можно доказать относительно числа _>>, фигурирующего в формуле (24), более точное утверждение: _>>

Действительно, обозначив через _>> и _>> наименьшее и наибольшее значения функции _>> в промежутке _>> и считая _>>, легко найдем такую часть _>> этого промежутка, в которой границами _>> служат числа _>> и _>>, так что

_>>

Написав для промежутков _>> и _>> неравенства вида (23) интеграл складывая их с предыдущими, получим взамен (23) более точные неравенства:

_>>

так что число

_>>

Лежит строго между _>> и _>>; а тогда найдем и _>> строго между _>> и _>>, для которого _>> и т.д.

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

Итак, пусть _>> интегрируема (в смысле Римана), а _>> монотонно возрастает в промежутке _>>. Введем функцию

_>>;

она, как мы знаем, будет непрерывна.

Теперь последовательно имеем

_>>

_>> _>>

что и требовалось доказать.

Если _>> монотонно возрастает в строгом смысле, то на основании сделанного в 1) замечания можно точнее сказать относительно _>>: _>>

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

С этой целью заметим, что, если при составлении стилтьесовой суммы _>> мы будем включать точку _>> в состав точек деления, то сумма _>> будет слагаться из двух аналогичных сумм для частичных промежутков _>> и _>>; при _>> она будет стремиться к сумме интегралов _>>. Пусть теперь точка _>> не входит в число точек деления. Присоединяя к ним точку _>>, мы от _>> перейдем к новой сумме _>>, про которую мы уже знаем, что при _>>_>> она имеет указанный предел. Таким образом, достаточно показать, что разность _>> будет вместе с _>> стремиться к 0.

Пусть точка _>> попадает в промежуток _>>; тогда сумма _>> отличается от суммы _>> лишь тем, что вместо слагаемого

_>>

в ней имеется два слагаемых:

_>>

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

_>>

так что

_>> (29)

Когда _>>, то один из множителей правой части бесконечно мал, в то время как второй ограничен; следовательно, _>> что и требовалось доказать.

Если обе функции _>> и _>> оказываются разрывными в одной интеграл той же точке _>>, то интеграл Стилтьеса

_>> (30)

заведомо не существует.

Для доказательства будем различать два случая. Пусть сначала _>>, и пределы _>> и _>> не равны. Тогда при построении суммы Стилтьеса мы точку _>> не станем вводить в число точек деления; пусть, скажем, _>> Выбрав один раз _>>, а другой раз взяв _>> в качестве _>> составим две суммы _>> и _>>, разность которых сведется к выражению (29). Сближая точки деления, будем иметь

_>>

Кроме того, точку _>> можно выбрать так, чтобы разность _>> была по абсолютной величине большей некоторого постоянного положительного числа. Тогда разность _>> не стремится к 0, так что интеграл существовать не может.

Если же _>>, но их общее значение отлично от _>> ("устранимый разрыв"), то, наоборот, включим _>> в число точек деления; пусть _>>. Если _>> имеет, например, разрыв в точке _>> справа, то, как и только что, составим две суммы _>> и _>>, разнящиеся лишь выбором _>>: для _>> точка _>> взята произвольно между _>> и _>>, а для _>> в качестве _>> взята _>>. По-прежнему имеем (29), интеграл рассуждение завершается аналогично.

Упражнения 3) и 4) проливают свет на тот факт, о котором говорилось в конце п.4.

Пусть _>> непрерывна, а _>> имеет ограниченное изменение в промежутке _>>.

Опираясь на оценку (25), доказать непрерывность интеграла Стилтьеса

_>>

по переменному верхнему пределу _>> в точке _>>, где функция _>> непрерывна.

Заключение сразу вытекает из неравенства

_>>

если принять во внимание, что в точке _>> должна быть непрерывна и вариация _>>.

Если _>> есть класс непрерывных в промежутке _>> функций, а _>> - класс функций с ограниченным изменением в этом промежутке, то, как известно, каждая функция одного класса, интегрируема по каждой функции другого класса. Доказать, что ни один, ни другой из этих классов не может быть расширен с сохранением упомянутого свойства.

Это, ввиду 4), почти очевидно относительно класса _>>. Действительно, если функция _>> имеет точку разрыва _>>, то она заведомо не интегрируема, например, по функции с ограниченным изменением _>>, имеющей ту же точку разрыва.

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

Если разделить промежуток _>> пополам, то хоть в одной из половин полное изменение функции _>> тоже будет бесконечно; разделим эту половину снова пополам интеграл т.д. По этому методу определится некоторая точка _>>, в каждой окрестности которой _>> не имеет ограниченного изменения. Для простоты пусть _>>.

В таком случае легко построить последовательность возрастающих интеграл стремящихся к _>> значений _>>:

_>>

так, чтобы ряд

_>>

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

_>> (31)

все же расходился. Теперь определим функцию _>>, полагая

_>> _>>

_>>

а в промежутках _>> считая _>> линейной:

_>> _>>

Очевидно, _>> будет непрерывна. В то же время, ввиду расходимости ряда (31), при _>> и

_>>

так что интеграл от _>> по _>> действительно не существует.

Доказанное утверждение можно сформулировать и так: если интеграл Стилтьеса (30) для данной функции _>> существует по любой _>> из _>>, то _>> необходимо принадлежит _>>; аналогично, если этот интеграл по данной функции _>> существует для любой _>> из _>>, то _>> необходимо принадлежит _>>.

В первой теореме о предельном переходе под знаком интеграла Стилтьеса мы поставили требование, чтобы последовательность функций _>> стремилась к предельной функции _>> равномерно. Можно, однако, заменить это требование более общим условием, что эти функции ограничены в их совокупности:

_>>

(Только при этом нужно ещё наперед предположить непрерывность предельной функции _>>).

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

_>>

и, имея дело уже с римановыми интегралами, просто применить теорему Арцелла.

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

Пусть для каждой части _>> данного промежутка _>> определено число _>>, причем, если промежуток _>> точкой _>> разложен на части _>> и _>>, то и

_>>

Тогда _>> есть аддитивная функция от переменного промежутка _>>. Предположим, что кроме неё для промежутка _>> задана и функция точки _>>. Разложим теперь, как обычно, промежуток _>> точками

_>>

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

_>> (32)

Предел этой суммы при _>> и есть интеграл Стилтьеса, который естественно - учитывая процесс его построения - обозначить так:

_>> (33)

Если определить вторую функцию точки _>>, положив

_>> для _>>

то, ввиду аддитивности функции _>>, во всех случаях

_>> (34)

так что сумма (32) сведется к обыкновенной стилтьесовой сумме

_>>

а предел (33) - к обыкновенному интегралу Стилтьеса

_>>.

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

Глава III. Применение интеграла Стилтьеса

3.1 Применение в теории вероятностей

В элементарной теории вероятностей, где рассматриваются случайные величины _>>, которые могут принимать только конечное множество значений _>>, среднее значение или математическое ожидание _>> определяется формулой:

_>> (1)

Имея эту формулу, мы можем при помощи интеграла Стилтьеса распространить определение среднего значения на случайные величины _>>, которые могут принимать любое множество значений, заключенное в каком-нибудь ограниченном интервале _>>, - если только мы примем следующую аксиому:

Каковы бы ни были функции _>> и _>> случайной величины _>>, для которых всегда _>>, для них будут иметь место также и неравенства:

_>> (2)

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

_>>

и пусть _>> и _>>, когда _>> Здесь _>>, и поэтому в силу условия (2):

_>>

Величины же _>> и _>>, таким образом определенные, могут принимать соответственно только значения _>> и _>>, а потому по формуле (1):

_>>

С другой стороны, очевидно, что вероятности _>> и _>> обе равны вероятности _>>, и потому

_>>

Итак, если ввести функции распределения _>> случайной величины _>>:

_>>

Верхняя грань сумм в левой части и нижняя грань сумм в правой части этих неравенств обе равны интегралу Стилтьеса функции _>>, взятому в пределах от _>> до _>>; последний всегда существует, как интеграл непрерывной функции, ограниченной в промежутке интегрирования. Итак, для среднего значения _>> должно иметь место равенство:

_>>.

Несколько сложнее обстоит дело со случайными величинами, которые могут принимать неограниченное множество значений. Если такая случайная величина _>> может принимать только счетное множество значений _>>, то среднее значение _>> определяется формулой

_>>, (3)

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

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

Приведем пример вычисления среднего значения _>> случайной величины _>>, для которой это вычисление требует именно интеграла Стилтьеса, незаменимого ни обычным интегралом, ни конечным, ни бесконечным рядом.

Пусть случайная величина _>> определяется следующими условиями:

Она может принимать только значения между 0 и 1. Таким образом, её функция должна быть равна 0 при x<0 и равна 1 при _>>.

0100090000037800000002001c00000000000400000003010800050000000b0200000000050000000c0214038b04040000002e0118001c000000fb021000070000000000bc02000000cc0102022253797374656d00038b0400006ef10000c0431100ca858239c878d2190c020000040000002d01000004000000020101001c000000fb02ceff0000000000009001000000cc0440001254696d6573204e657720526f6d616e0000000000000000000000000000000000040000002d010100050000000902000000020d000000320a2d00000001000400000000008b04140320001600040000002d010000030000000000

0 _>> _>> 1

_>>

Она не может принимать ни одного значения в интервале _>>; попадание в соседние интервалы равновероятно. Таким образом, в интервале _>> её функция распределения должна быть постоянна и равна _>>.

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

Такая же картина повторяется и в каждом из названных четырех интервалов длины _>> и т.д.

0 _>> _>> _>> _>> _>> _>> 1

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

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

Определив таким образом функцию распределения _>>, мы уже без труда вычислим среднее значение _>>.

Для этого достаточно обратиться к его геометрическому изображению. В данном случае оно изображается площадью, ограниченной прямыми _>> и _>> и кривой распределения _>>. Но эта площадь в силу симметрии равна площади, ограниченной прямыми _>> и _>> и кривой _>>. Взятые же вместе эти площади составляют площадь квадрата равную 1. Отсюда ясно, что _>>

3.2 Применение в квантовой механике

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

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

Идея стилтьесовского интегрирования могла оказаться полезной с самого начала. Но в момент зарождения квантовой механики и некоторое время спустя интегрирование по Стилтьесу было еще недостаточно разработано, а главное - слишком мало известно, чтобы лечь в основу квантовой механики. И Дирак повернул направление ее развития в ином направлении.

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

Интеграл Стилтьеса и линейные функционалы.

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

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

_>>,

где _>> - некоторые константы, зависящие от природы разлагаемого в ряд функционала _>>, а _>> - определенная последовательность фиксированных функционалов. Первым таким разложением было разложение, предложенное Пинкерле и Амальди в 1901 г. Оно имело вид:

_>>,

где с - некоторое фиксированное число промежутка _>>, на котором задано рассматриваемое множество функций _>>.

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

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

_>>

где _>> - функция с ограниченным изменением, определяемая через _>>

Заключение

Интеграл, который мы рассмотрели в данной работе, был введен Стилтьесом. Новое понятие ему было нужно, как мы уже говорили в первой главе, в разрабатывавшейся им теории цепных дробей; он ввел его и применил в интересовавших его вопросах. Разработка же выпала на доли других математиков, таких, как Кёниг, А.А. Марков, А.М. Ляпунов, Г.Ф. Вороной, Рисс, Гильберт, Хеллингер, причем каждый из них пришел к понятию интеграла Стилтьеса, отправляясь от разных задач. В теории цепных дробей применяли его сам Стилтьес и А.А. Марков, в теории R-интеграла - Кёниг, в теории чисел - Г.Ф. Вороной, в небесной механике - А.М. Ляпунов, в теории интегральных уравнений - Гильберт, Хеллингер, в теории линейных функционалов - Рисс. В дальнейшем разработкой интеграла занимались также У.Г. Юнг и Радон. Юнг использовал интеграл Стилтьеса в теории тригонометрических рядов, Радон применял также в теории линейных функционалов, в теории интегральных уравнений.

Очень велико число работ, посвященных изучению различных свойств интеграла Стилтьеса. Это работы Хелли, Брэй, Гильдебрандт, Р. Юнг, Г.М. Шварц, Яджи и др.

Совершенно необозримо поле приложений различных типов интеграла Стилтьеса. Разумеется, та исходная проблема, из которой родилось само понятие интеграла Стилтьеса, - проблема моментов, - не перестала быть связанной с этим понятием. После работ Стилтьеса, Маркова, Юнга и других ученых, о которых сказано выше, поток применений интеграла Стилтьеса вырос в трудно обозримый комплекс. Многие разделы математики невозможно представить без использования интеграла Стилтьеса.

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

Список литературы

Александров П.С., Колмогоров А. Введение в теорию функций действительного переменного. Изд.3-е, переработ. М. - Л., Гостехтеориздат., 1938г.

Брудно А.Л. Теория функций действительного переменного. Избранные главы.М., "Наука", 1971

Гливенко В.И. Интеграл Стилтьеса. - М., 1936, 216с.

Гохман Э.Х. Интеграл Стилтьеса и его приложения. Государственное издательство физ. - мат. литературы, М., 1958

Дьяченко М.И., Ульянов П.Л. Мера и интеграл. - М.: Издательство "Факториал Пресс", 2002. - 160с.

Камке Э. Интеграл Лебега-Стилтьеса. Перевод с немецкого Г.П. Сафроновой. Под ред. И.П. Натансона. - М.: Государственное издательство физ. - мат. литературы, 1959г.

Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа: Учебник для вузов. - 6-е изд., испр. - М.: Наука, Главная редакция физ. - мат. Литературы, 1989. - 624 с.

Леонтьева Т.А. и др. Задачи по теории функций действительного переменного: Учеб. Пособие по спец. "Математика"/ Панферов В.С., Серов В.С. - М.: Изд-во МГУ, 1997 - 208с.

Макаров И.П. Теория функций действительной переменной. Под ред. И.Я. Верченко - М.: Государственное издательство "Высшая школа" - 1965

Медведев Ф.А. Развитие понятия интеграла. - М., "Наука", 1974г.

Песин И.Н. Развитие понятия интеграла, М., "Наука", 1966. - 207с.

Самородницкий А.А. Теория меры/ Сыктывкар. Гос. Университет. - Л.: Издательство ЛГУ, 1990. - 267с.

Теория функций вещественной переменной. И.П. Натансон. Главная редакция физико-математической литературы издательства "Наука", 1974

Теория функций и функциональный анализ: [Сборник статей/ Науч. ред. проф. Б.М. Гагаев]. - Казань: Издательство Казанского университета, 1976г. - 98с.

Тимофеев А.Ф. Интегрирование функций. М. - Л. Издательство технико-теоретической литературы, 1948

Толстов Г.П. Мера и интеграл. Главная редакция физ. - мат. Литературы, "Наука", 1976г

Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. В трех томах. Том III/ - СПб.: Издательство Лань, 1997. - 672с.

Фролов Н.А. Теория функций действительного переменного. Учебное пособие для пединститутов. Изд-во 2-е, М., Учпедгиз, 1961

Эйлер Л. Интегральное исчисление. Т.2. Пер. с латинского. - М., Гостехтеориздат., 1957. - 368с.

http://go. mail.ru

www.aggregateria.com

Приложение

СТИЛТЬЕС ТОМАС ИОАННЕС (Stieltjes Thomas Johannes 1856-1894).

Стилтьес Томас Иоаннес (29.12.1856-31.12.1894) - нидерландский математик и астроном. Член Нидерландской Академии наук (1886г) Родился в Зволле. Окончил Политехническую школу в Делфте. В 1877-1883гг. работал в Лейденской обсерватории, с 1886г. - профессор Тулузского университета. Научные исследования Стилтьеса в основном касаются теории функциональных непрерывных дробей, проблемы моментов, теории ортогональных многочленов, приближенного интегрирования и других вопросов классического анализа. Обобщенное Стилтьесом понятие интеграла Римана играет важную роль в современной математике. Известно также интегральное преобразование Стилтьеса.