Ряды экспонент с комплексными показателями, построение по заданной области - Дипломная работа

Содержание

Введение 3

Глава 1. Теоретические основы ряда экспонент с комплексными показателями 5

Начальные сведения 5

Область сходимости 14

Выпуклость множества точек абсолютной сходимости 14

Определение области сходимости ряда по коэффициентам 17

Единственность представления рядом Дирихле 18

Глава 2. Построение ряда экспонент сходящегося в данной выпуклой области 21

Заключение 26

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

Введение (выдержка)

Введение

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

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

Тематика, связанная с рядами экспонент, рядами Дирихле и рядами Тейлора имеют богатую историю. Их исследование берет свое начало в трудах Тейлора, Коши, Адамара, Абеля и Дирихле. Указанные выше задачи для таких рядов изучались в работах Ж. Полиа, С. Мандельбройта, В. Бернштейна, А.Ф. Леонтьева, Г.Л. Лунца и многих других математиков.

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

Ряды экспонент – это ряды Дирихле

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

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

Отметим, что при условии

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

Таким образом, важное значение приобретают вопросы, связанные с поведением рядов вида (1) и их сумм. Исследованию таких вопросов и посвящена выпускная квалификационная работа.

Цель исследования – по данной выпуклой области построить ряд экспонент с комплексными показателями.

Основная часть (выдержка)

Глава 1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ РЯДА ЭКСПОНЕНТ С КОМПЛЕКСНЫМИ ПОКАЗАТЕЛЯМИ

1.1.Начальные сведения

Рядом Дирихле называется ряд вида

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

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

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

- шагом последовательности

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

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

Функция

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

- верхней усредненной плотностью последовательности [7, стр. 9]

Рассмотрим ряды Дирихле с комплексными показателями

где и существует угловая плотность последовательности следовательно, в частности,

Так же предположим, что

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

Пусть целая функция экспоненциального типа и

Тогда, как известно,

где - контур, внутри которого находится область , содержащая сопряженную диаграмму функции причем расстояния точек на от не меньше чем ε (ε>0).

Пусть ряд

сходится равномерно в области функции голоморфны в этой области,

область, обладающая тем свойством, что если то

Тогда имеет место теорема Крамера – Полиа, в силу которой

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

то

Теорема Крамера – Полиа остается справедливой, если функция экспоненциального типа в угле функции при имеет порядок и ряд

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

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

совпадает с индикатрисой функции а вне этого угла равна контур, содержащий и отстоящий от границы на расстоянии, не меньшем ε.

Покажем, что теорема Крамера – Полиа справедлива для сходящегося в некоторой области ряда Дирихле

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

Так как и рассматриваемый угол можно взять внутри угла то , где α>0, и, следовательно, Но и поэтому

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

где ε>0 и

Поэтому ряд

мажорируется при достаточно большом рядом

и в силу условия (2), тем более некоторым числовым сходящимся рядом (например, рядом ).

Введем обозначение

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

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

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

Но

Таким образом, можно утверждать, что функция

аналитична в области [5, стр. 89-92]

При исследовании вопроса о сходимости рядов Дирихле используют следующую формулу:

где и - любые величины,

Чтобы доказать данную формулу, отметим равенства

при

В силу этого

Раскрывая скобки и группируя иначе члены, получим искомую формулу

+ которая и называется преобразованием Абеля.

Рассмотрим ряд Дирихле

у которого показатели положительны, и, кроме того,

Покажем, что если ряд

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

в каждом секторе

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

Для доказательства применим к выражению

преобразование Абеля с

Имеем

Откуда, полагая получим

По условию ряд

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

Заключение (выдержка)

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

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

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

Литература

1. Голузин Г.М., Геометрическая теория функций комплексного переменного. – М.: Гостехиздат, 1952.

2. Леонтьев А.Ф., Ряды экспонент. – М.: Наука, 1876.

3. Леонтьев А.Ф., О суммировании ряда Дирихле с комплексными показателями и его применении //Труды Матем. Института им. В.А.Стеклова, 1971 – 112 – С.300. – 326.

4. Лунц Г.Л., Ряды Дирихле с последовательностью комплексных показателей, имеющих угловую плотность //ДАН СССР, 1963 – 151 - №2 – С.173. – 179.

5. Лунц Г.Л., О рядах Дирихле с комплексными показателями //Матем. сб., 1965 – 67 – С.89-134.

6. Лунц Г.Л., Ряд Дирихле с неизмеримой последовательностью комплексных показателей //Матем. сб., 1965 – 68 – С.58. – 62.

7. Мандельбройт С., Ряды Дирихле, принципы и методы. – Мир, 1973.

8. Напалков В.В., Об одном методе восстановления функции по ее коэффициентам Дирихле //Матем.заметки, 1975 – 17 - №4.