Преобразования Э. Бореля и формулы Ю.В. Сохоцкого. Предложение 1 и критерий полноты С. Банаха. Предложение 2 и теорема Шаудера-Тихонова. Вопрос о полноте в полосе. Однородная симметричная задача Лидстона. Главная ветвь логарифма и функции Лидстона.
Краткое сожержание материала:

Размещено на

Министерство образования и науки

Государственное образовательное учреждение

высшего профессионального образования

«Нижегородский государственный университет

им. Н.И. Лобачевского»

Механико-математический факультет

Кафедра теории функций

Курсовая работа на тему

«К вопросу о симметричной задаче Лидстона»

Исполнитель:

студентка группы 643

Ушакова А.С.

Руководитель:

Доцент Андрианов В.Л.

Нижний Новгород

2011 г.

Содержание

Введение

1. Некоторые необходимые теоретические факты

1.1 Преобразования Э. Бореля

1.2 Формулы Ю.В. Сохоцкого

2. Предложения общего характера о полноте систем

2.1 Предложение 1 и критерий полноты С. Банаха

2.2 Предложение 2 и теорема Шаудера-Тихонова

2.3 Предложение 3 и пример

3. Симметричная задача Лидстона

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

Введение

Данная работа примыкает к статье Юрия Алексеевича Казьмина “Об одном геометрическом признаке полноты” из математического сборника от 1976г. В котором доказаны два следующих утверждения:

1) Система функций (1) , полна в , если .

2) Если выпуклый компакт , то система (1) неполна в .

множество аналитических функций в односвязной области D. дважды симметричные множества, т.е. симметричное множество S при несимметричном отображении w переходит в симметричное множество.

Хорошо известна задача Лидстона:n ребуется восстановить функцию , удовлетворяющая условиям ; которой занимались такие ученые как Боас, Гельфонд Казьмин.

В своей работе рассмотрела конечноразностный аналог этой задачи: . Представленная мной задача представляет интерес т.к. от соизмеримости параметра h и точек решение будет изменяться.

1. Некоторые необходимые теоретические факты

1.1 Преобразования Бореля

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

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

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

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

Целая функция называется целой функцией экспоненциального типа, если или и конечен.

Пусть сходиться при , на границе у существует хотя бы 1 особенность. называется ассоциированной по Борелю.

Свойства 1) , то , где целые функции экспоненциального типа и ассоциированные по Борелю для .

2).

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

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

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

1.2 Формулы Сохоцкого

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

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

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

Так как функция непрерывна, то правые части написанных равенств совпадают, т. е. Отсюда окончательно получаем

Эти формулы, полученные впервые в 1873г. русским математиком Ю. В. Сохоцким, называются формулами Сохоцкого.

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

2. Предложения общего характера о полноте систем

2.1 Предложение 1 и критерий полноты С.Банаха

Критерий полноты С. Банаха. Необходимым и достаточным условием полноты последовательности в А(D) является единственность решения в следующей бесконечной системы уравнений

Предложение 1.Система функций (1)

полна в А(D),если

Доказательство (от противного)

Предположим что система (1) неполна в А(D),несмотря на то, что .Тогда согласно критерию полноты С.Банаха существует

, такая, что. (2)

Пусть . Из (2) следует соотношение

(3)

Обозначим через множество особенностей функции . Заметим, что ввиду четности или нечетности , всегда компакт , и по крайней мере один из компактов , не пуст.(так как по крайней мере одна из функций отлично от тождественного нуля.) Равенство (3) эквивалентно (4)

Где Z(w)-функция, обратная к W(z), а контуром интегрирования служит любая замкнутая жорданова кривая Г, обладающая свойствами Представим функцию в виде где голоморфна в , а голоморфна в и обращаются в нуль на бесконечности. Тогда из (4) следует (5)

Функция Z'(w) не обращается в нуль в области D. Поэтому множество особенностей функции таково: Соотношения (5) говорят о том, что является четной функцией, а поэтому Так как по крайней мере хотя бы один из компактов не пуст, следовательно , что противоречит условию. Предложение доказано.

2.2 Предложение 2 и теорема Шаудера-Тихонова

Теорема Шаудера-Тихонова В локально выпуклом топологическом векторном пространстве любое непрерывное отображение выпуклого компактного множества K в себя имеет неподвижную точку.

Предложение 2. Если существует выпуклый компакт, то система (1) неполна в A(D).

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

Пусть существует выпуклый компакт. Покажем что, система (1) неполна в A(D). Возьмем любое . Тогда точка тоже принадлежит K(так как ), а точка принадлежит образу W(K), который тоже принадлежит S, ввиду того, что согласно сделанному предположению . Но тогда отображение (6)

является непрерывным отображением выпуклого компакта K в себя. По теореме Шаудера-Тихонова в этом случае существует, по крайней мере одна неподвижная точка отображение (6). Но тогда в необходимо выполнено соотношение (7)

Если то из (7) следует, что W(0)=0. Поэтому функция , очевидно, удовлетворяет равенствам , n=0,1,2,..Если же то для функции справедливы соотношения

Ибо согласно (7), Поэтому и в том, и в другом случаях в рассматриваемой ситуации существует являющаяся не тривиальным решением бесконечной системы линейных уравнений (2). Но тогда система (1)неполна в А(D) по критерию полноты С.Банаха. Предположение 2 доказано.

2.3 Предложение 3 и пример

Предложение 3. Если W(z) принимает действительные значения при и существует компакт такой, что выпуклое множество, то система (1) не полна в А(D)

Доказательство. Аналогично предложению 2.

Хорошо известно, что любая целая функция экспоненциального типа F(z) представима в виде (8)

где функция аналитична в окрестности б...