Мажоранта ряда как найти

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

Мажоранта упорядоченного множества[править | править код]

Понятие мажоранты упорядоченного множества вводится для определения супремума множества. Пусть M подмножество упорядоченного множества. Тогда мажорантой множества M называется элемент не меньший любого элемента M. Супремум множества М — это минимум всех мажорант множества М.[1]

Мажоранта функции[править | править код]

Мажоранта функции — функция, значения которой не меньше соответствующих значений данной функции на рассматриваемом интервале независимого переменного. Интегрируемость мажоранты последовательности интегрируемых функций является достаточным условием существования интеграла от предела последовательности.[2]

Пример[править | править код]

Пусть интегрируемые функции {displaystyle f_{n}(x),n=1,2,...}, имеют предел {displaystyle lim _{nto infty }f_{n}(x)=f(x)} и существует интегрируемая мажоранта {displaystyle g(x)geq |f_{n}(x)|,n=1,2,...} Тогда можно переходить к пределу под знаком интеграла:[3]

{displaystyle lim _{nto infty }int limits _{-infty }^{+infty }f_{n}(x)dx=int limits _{-infty }^{+infty }lim _{nto infty }f_{n}(x)dx}

Мажоранта ряда[править | править код]

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

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

Примерами являются доказательства теоремы Адамара о числовом ряде, леммы Абеля для рядов нескольких комплексных переменных и доказательство поточечной сходимости тригонометрического ряда.[4][5]

Мажоранта класса[править | править код]

Понятие мажоранты можно ввести на любом множестве, если на нём задана числовая функция. Мажорантой класса или подмножества является элемент, значение функции на котором является супремумом значений функции на этом классе или подмножестве. Подобные определения вводятся для упрощения изложения. [6]

Примечания[править | править код]

  1. Ограниченные множества. Мажоранты и миноранты. Дата обращения: 3 июня 2019. Архивировано 3 июня 2019 года.
  2. Математический энциклопедический словарь. — М.: «Сов. энциклопедия », 1988. — С. 847.
  3. МАЖОРА́НТА И МИНОРА́НТА : [арх. 3 июня 2019] // Ломоносов — Манизер. — М. : Большая российская энциклопедия, 2011. — С. 440. — (Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов ; 2004—2017, т. 18). — ISBN 978-5-85270-351-4.
  4. Конспект установочных лекций к государственному экзамену по математике по направлению «Прикладные математика и физика» (СПбГУ). Дата обращения: 3 июня 2019. Архивировано 3 июня 2019 года.
  5. Комплексный анализ. Дата обращения: 3 июня 2019. Архивировано 23 ноября 2018 года.
  6. МАЖОРАНТЫ И МИНОРАНТЫ КЛАССА ГРАФОВ С ФИКСИРОВАННЫМИ ДИАМЕТРОМ И ЧИСЛОМ ВЕРШИН. Т. И. Федоряева. Дата обращения: 3 июня 2019. Архивировано 3 июня 2019 года.

Мажорируемые ряды

Опр. Функциональный ряд

называется мажорируемым в

области Х, если

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


,
что выполняются в каждой точке Х
соотношения


.Соответствующий
числовой ряд называется

мажорантным.

Замечание. Мажорируемый ряд –
абсолютно сходящийся ряд.

Понятие о равномерной сходимости функционального ряда

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

Опр. Функциональный ряд называется
равномерно сходящимся на множестве
Х, если для


.

Замечание. Геометрическая иллюстрация:
у = S(х), у = S(х)
– ε, у = S(х) + ε.

Для

лежит в этой полосе.

Теорема. (Достаточный прзнак равномерной
сходимости ряда, признак Вейерштрасса).

Мажорируемый ряд является
рядом равномерно сходящимся.

Пример. Доказать, что ряд

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

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

Свойства равномерно сходящихся рядов

Теорема 1. Если ряд

сходится равномерно на Х, на котором
его члены

непрерывны, то сумма ряда
S(x)
непрерывна
на этом множестве.

Теорема 2. Если функции

непрерывны на Х и ряд сходится равномерно
на Х, то ряд,

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

на Х, причем

или

,
где

.

Теорема 3. Пусть функции

определены на множестве Х и имеют на
нем непрерывные производные

.
Если на этом множестве сходится ряд

и равномерно сходится ряд, составленный
из производных

,
то сумма S(x)
ряда

имеет производную, равную сумме ряда

,
т.е.

или

.

Степенные ряды

Степенные ряды – это простейшие
функциональные ряды.

Опр. Степенным рядом называется ряд
вида

(1) – степенной ряд

по степеням (х –с) . аn
– числа, коэффициенты ряда,с– число.

В простейшем случае с = 0, тогда ряд
(1) приобретает вид

(2) – степенной ряд по степеням х.

Очевидно, что путем подстановки

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

Теорема Абеля. Если степенной ряд
(2) сходится при

,
то он абсолютно

сходится для любого х,
удовлетворяющего условию

.
Если при

,
ряд (2) расходится, то он расходится для
любого х,

удовлетворяющего условию

.

Следствие. Для каждого степенного
ряда (2) существует число R
> 0, называемое

радиусом сходимости этого
ряда и обладающее следующими свойствами:

при

ряд (2) сходится абсолютно,

при

ряд (2) расходится .

Промежуток (-R,R)
называется интервалом сходимости
степенного ряда(2). На

концах интервала вопрос о
сходимости ряда решается индивидуально
для

каждого конкретного ряда.

Способы определения радиуса сходимости:
1) по признаку Даламбера, 2) по радикальному
признаку Коши.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #
  1. Теоретический минимум

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

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

    Дадим определение сходимости функциональной последовательности.
    Последовательность [​IMG] сходится на множестве [​IMG] к функции [​IMG], если
    [​IMG].
    Это определение мало отличается от определения сходящейся числовой последовательности. Подробный комментарий к этому определению
    можно прочитать в теме “МА. Предел последовательности. Определение на языке “эпсилон-дельта”.

    Теперь обратим внимание на одну деталь: номер [​IMG], начиная с которого элемент последовательности начинает отличаться от предельной
    функции не более чем на [​IMG], зависит не только от [​IMG], но и от точки [​IMG]. Иными словами, в определении
    сходимости сказано, что рано или поздно для каждой точки множества [​IMG] найдётся такой номер [​IMG]. Другое дело, что для одних
    точек он найдётся раньше, а для других – позже. Для “простой” сходимости это неважно.

    Последовательность [​IMG] равномерно сходится на множестве [​IMG] к функции [​IMG], если
    [​IMG]
    Главное здесь в том, что фрагмент [​IMG] переместился внутрь утверждения, а номер [​IMG] перестал зависеть от точки [​IMG]. Т.е.
    половина определения сохранилась: по-прежнему требуется, чтобы, начиная с некоторого номера, элементы последовательности отличались от
    предельной функции не более чем на [​IMG]. Только теперь утверждается, что при заданном [​IMG] это условие
    выполнится для всех значений [​IMG] сразу.

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

    Критерий равномерной сходимости прост и в свете проведённых выше рассуждений понятен. Последовательность [​IMG] равномерно сходится
    на множестве [​IMG] к функции [​IMG] тогда и только тогда, когда [​IMG].
    Продемонстрируем этот критерий на нескольких примерах.

    Пример 1.
    И начнём с двух последовательностей, которые сразу были приведены в пример.

    Сразу отметим, что при [​IMG] обе последовательности сходятся к тождественно равной нулю функции (убедитесь в этом!).
    Рассмотрим функцию [​IMG], где [​IMG] – предельная функция. Выражение под модулем на рассматриваемом
    отрезке неотрицательно, поэтому модуль можно снять. Чтобы найти, где эта разность достигает максимума, вычислим производную и приравняем
    её к нулю:
    [​IMG].
    Точка [​IMG] не соответствует максимуму в отличие от точки [​IMG]. Таким образом,
    [​IMG].
    Следовательно,
    [​IMG].
    Это значит, что последовательность не является равномерно сходящейся. Это было видно и по графикам. Кстати, получившаяся
    аналитически четверть как верхняя грань всех функций последовательности тоже прекрасно видна.

    Переходим к функции [​IMG], где [​IMG] – предельная функция. Снова модуль можно снять. Ищем точку максимума:
    [​IMG],
    точка [​IMG] снова не соответствует максимуму.
    [​IMG].
    В пределе при [​IMG] первая скобка стремится к [​IMG], а вторая – к нулю, следовательно,
    [​IMG].
    Таким образом, последовательность сходится равномерно.

    Пример 2.
    Исследовать на равномерную сходимость последовательности [​IMG] и [​IMG] на интервале [​IMG].

    Предельная функция в обоих случаях одна и та же – тождественно равная нулю [​IMG]. Рассмотрим функцию [​IMG]:
    [​IMG].
    Очевидно, что [​IMG].
    Следовательно, последовательность не является равномерно сходящейся.

    Теперь рассмотрим функцию [​IMG]:
    [​IMG]
    [​IMG].
    Таким образом, последовательность сходится равномерно.

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

    [​IMG]

    Пример 3.
    Исследовать на равномерную сходимость последовательность [​IMG] на интервале [​IMG].

    Предельная функция здесь [​IMG]. Рассмотрим функцию [​IMG]:
    [​IMG].
    [​IMG]
    Таким образом, последовательность сходится равномерно. Здесь тоже возможна графическая интерпретация, только строить нужно
    графики функций [​IMG].

    [​IMG]

  2. Теоретический минимум (окончание)

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

    Одна из часто используемых теорем – мажорантный признак Вейерштрасса. Рассмотрим ряд [​IMG]. Если [​IMG],
    а ряд [​IMG] сходится, то ряд [​IMG] равномерно сходится на множестве [​IMG].
    Этот признак очень удобен в использовании.

    Приведём ещё два признака равномерной сходимости: Абеля и Дирихле.
    Признак Абеля заключается в следующем. Если общий член ряда можно представить в виде [​IMG], причём
    [​IMG] последовательность [​IMG] монотонна и ограничена:
    [​IMG], а ряд [​IMG] равномерно сходится на множестве [​IMG], то ряд [​IMG] равномерно сходится на множестве [​IMG].

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

    Наконец, существует ещё критерий Коши равномерной сходимости ряда. Этот признак формализован несколько сложнее, так как формулируется
    на языке эпсилон-дельта. Ряд [​IMG] равномерно сходится на множестве [​IMG] тогда и только тогда, когда
    [​IMG].

    Почему так интересна равномерная сходимость ряда? Ответ заключается в том, что качество сходимости ряда лучше, если он сходится равномерно.
    Этот ответ, конечно, ни на какую строгость не претендует, но отражает общую идею, чему способствуют и графические интерпретации. Вернитесь
    ещё раз к самому первому графику темы и сравните, как сходятся две функциональные последовательности. Особенно обратите внимание на поведение
    в окрестности правого конца отрезка элементов последовательности с ростом их номера. Несложно видеть, что в пределе поведение функции в этой
    области становится “плохим”: резкий скачок вверх, а потом вниз. Другое дело, что в пределе этот скачок исчезает. Однако представьте себе, что
    это последовательность частичных сумм некоторого функционального ряда. Такое поведение частичных сумм не может не сказаться на аналитических
    свойствах. В первую очередь речь идёт о предельном переходе и дифференцировании ряда.

    На почленном дифференцировании ряда хотелось бы остановиться немного подробнее. Интересно то, что для того чтобы ряд можно было почленно
    дифференцировать не требуется его равномерная сходимость. Требуется, однако, равномерная сходимость ряда, составленного из производных
    от членов исходного ряда. В этом случае если сам ряд сходится к некоторой функции [​IMG], то ряд производных сходится к функции [​IMG].
    Строго говоря, ещё требуется непрерывная дифференцируемость членов исходного ряда.

    Примеры

    Пример 1. Исследование на основе определения равномерной сходимости.
    Исследовать на равномерную сходимость на отрезке [​IMG] ряд [​IMG].

    В данном случае можно не прибегать к специальным признакам равномерной сходимости, так как легко найти частичные суммы ряда:
    [​IMG].
    Следовательно,
    [​IMG]
    Применим критерий равномерной сходимости функциональной последовательности:
    [​IMG].
    Значит, последовательность не является равномерно сходящейся. Поэтому и ряд не сходится равномерно.
    Ниже изображены графики нескольких первых частичных сумм (первая отмечена красным цветом). Отсутствие равномерной сходимости можно
    увидеть непосредственно.
    [​IMG]

    Пример 2. Использование критерия Коши.
    Исследовать на равномерную сходимость на отрезке [​IMG] ряд [​IMG].

    Здесь применим критерий Коши, для чего оценим сумму членов ряда, начиная с [​IMG]-го, заканчивая [​IMG]-м:
    [​IMG].
    Таким образом, при выборе [​IMG] критерий Коши будет выполнен. Ряд сходится равномерно.

    На графике ниже изображены кривые [​IMG] для нескольких первых значений [​IMG] (первая кривая красная, последняя –
    зелёная). Видно, что последовательность частичных сумм сходится равномерно.
    [​IMG]

    Пример 3. Использование признака Вейерштрасса.
    Исследовать на равномерную сходимость на интервале [​IMG] ряд [​IMG].

    Здесь удобно применить признак Вейерштрасса, так как несложно подобрать мажоранту для ряда. Найдём максимум общего члена ряда:
    [​IMG].
    Следовательно,
    [​IMG].
    Мажорирующий ряд [​IMG] сходится. Поэтому исходный ряд сходится равномерно.

    Пример 4. Использование признака Дирихле.
    Исследовать на равномерную сходимость на интервале [​IMG] ряд [​IMG].

    Применим признак Дирихле. Представим общий член ряда в виде произведения
    [​IMG].
    Последовательность [​IMG], монотонно убывая, стремится к нулю. Рассмотрим далее частичные суммы [​IMG]:
    [​IMG]
    [​IMG]
    [​IMG].
    Следовательно,
    [​IMG].
    Здесь сыграло свою роль то обстоятельство, что концы заданного в условии промежутка не входят в рассмотрение, а потому знаменатель
    последней дроби в нуль не обращается. Итак, исходный ряд сходится равномерно по признаку Дирихле.

    Пример 5. Использование критерия Коши.
    Исследовать на равномерную сходимость на отрезке [​IMG] ряд [​IMG].

    Как должно быть уже понятно, на данном отрезке исследовать ряд тем же методом, что и в предыдущем примере, не получится:
    частичные суммы вспомогательного ряда не будут ограничены. Более того, мы сейчас с помощью критерия Коши покажем, что ряд на данном
    промежутке не сходится равномерно. Для этого сначала запишем отрицание критерия Коши:
    [​IMG].
    Выберем [​IMG], тогда
    [​IMG].
    Итак, для ряда выполнилось отрицание критерия Коши, следовательно, он не сходится равномерно.

    Пример 6. Почленное дифференцирование ряда.
    Докажем, что ряд [​IMG] можно почленно дифференцировать.

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

Поделиться этой страницей


Форум НИЯУ МИФИ

Добавить комментарий