Бесплатно скачать, заказать диплом, курсовую, диссертацию О некоторый свойствах решений дискретных уравнений свертки

У нас уже 176407 рефератов, курсовых и дипломных работ

Сделать закладку на сайт

Заказать диплом, курсовую, диссертацию

Быстрый переход к готовым работам

Мнение посетителей:

Книга жалоб
и предложений

Название	О некоторый свойствах решений дискретных уравнений свертки

Количество страниц	79

ВУЗ	МГИУ

Год сдачи	2010

Бесплатно Скачать	23583.doc

Содержание	Содержание Оглавление Список обозначений 3 Введение 4 1 Пространства комплекснозначных функций, определенных на множестве целых чисел. 18 1.1 Пространства А[р, а] и А'[р, <т]... 18 1.2 Целые функции, сужения которых на Z, являются функциями из пространства А[р, а]... 21 1.3 Вспомогательные неравенства... 24 1.4 Преобразования Фурье-Лапласа и Меллина... 26 2 Однородное уравнение свертки на пространстве А[р, а]. 31 2.1 Операторы сдвига и свертки... 31 2.2 Уравнение свертки и его элементарные решения... 33 2.3 Разложение на множители функций из пространства Н[р,сг). 35 2.4 Теорема деления... 43 2.5 Свертка функционалов... 44 2.6 Аппроксимация решений... 45 2.7 Базис в пространстве решений... 46 1 2.8 Формулы для коэффициентов... 50 3 Изоморфизм между пространствами решений. 52 3.1 Ассоциированное уравнение свертки... 52 3.2 Изоморфизм между W^ и Wb... 54 3.3 Восстановление решения однородного уравнения свертки по значениям в целых точках... 56 4 Достаточные множества и ряды экспонент 58 4.1 Определения и предварительные сведения... 58 4.2 Построение достаточного множества... 60 4.3 Интегральные представления и ряды экспонент... 75 4.4 Применение к интерполяции целых функций из пространства решений уравнения свертки... 77 Библиография 79 Введение Список обозначений Для числовой последовательности {а;-};-е^ запись ctj /* а означает: 1) Нт^_оо^ •= &, 2) ccj < ctj+i, V7 G N. Запись cxj \ а означает: 1) Hindoo olj = a, 2) dj > oij+i, Vj в N. Для числовой последовательности {o;j}j6n запись ctj \| а означает: 1) .ooaj = a, 2) a>j < ctj+i, V7" ? N. Запись a.j [ а означает: 1) .oofx,- = a, 2) щ > aj+i, \/j G N. Через Z+ обозначается множество всех целых неотрицательных чисел. Через R+ обозначается множество всех вещественных неотрицательных чисел. Для области D С С через 8D обозначается граница Для области D. Через #о в диссертации обозначается класс всех аналитических в С\ {0} функций. Для интеграла по контуру С запись fco означает, что контур обходится против часовой стрелки, запись Jco означает, что контур обходится по часовой стрелке. Введение В диссертации рассматриваются весовые пространства комплексно-значных функций, определенных на множестве Z, и изучаются различные свойства решений однородных уравнений свертки на этих пространствах. Также изучается задача представления функций из указанных пространств рядами экспонент с помощью построения дискретных достаточных множеств; Для однородных уравнений свертки обычно изучается следующий вопрос: можно ли получить любое решение уравнения с помощью решений простейшего вида? Хорошо известно, что любое решение линейного однородного обыкновенного дифференциального уравнения с постоянными коэффициентами можно представить в виде конечной линейной комбинации элементарных решений вида zkexp(Xnz), (1) где Ап - корни характеристического полинома. Этот результат, полученный Л. Эйлером [47], принято называть фундаментальным принципом Эйлера. Для линейных дифференциальных уравнений в частных производных с постоянными коэффициентами фундаментальный принцип рассматривался в работах Л. Эренпрайса [45], В. П. Паламодова [34], С. Хансена [48], И. X. Мусина [22], для дискретных разностных уравнений на решетке Ът - в работе В. В. Напалкова [24]. У операторов свертки характеристическая функция может иметь бесконечно много нулей; поэтому решение уравнения свертки, вообще говоря, нельзя представить в виде конечной суммы элементарных решений вида (1). В связи с этим, для однородных уравнений свертки возникают следующие задачи: можно ли произвольное решение уравнения аппроксимировать элементарными решениями? можно ли в пространстве всех решений уравнения построить базис из элементарных решений? Эти задачи для уравнений свертки на различных пространствах аналитических функций изучались многими математиками. Так, например, задача аппроксимации решений для уравнения свертки на пространстве функций аналитических в выпуклой области была решена в одномерном случае И. Ф. Красичковым-Терновским [14], [15], а в многомерном случае Р. С. Юлмухаметовым [44]. Более подробную историю этого вопроса можно найти в обзорной статье [17]. При определенных ограничениях, накладываемых на характеристическую функцию уравнения, в ряде случаев оказалось возможным не только аппроксимировать решения, но и построить базис из элементарных решений в пространстве всех решений уравнения. Для широкого класса однородных уравнений свертки на различных пространствах аналитических функций эта задача была решена в работах Р. Майзе, К. Швердтфегера, Б. А. Тэйлора [49], В. В. Напалкова [25], А. С. Криво-шеева [16]. В диссертации изучаются пространства решений дискретных однородных уравнений свертки. Обозначим через А класс всех комплексно-значных функций, определенных на множестве Z. Отметим, что функции из класса А можно интерпретировать как последовательности {an}n6z комплексных чисел. Весовые пространства таких последовательностей изучались, например, в работах [32], [41]. Однако для исследований, проводимых в диссертации более удобно понимать элементы класса А как комплекснозначные функции, определенные на множестве Z, как это было сделано' в работе В. В. Напалкова [24]. В диссертации рассматривается пространство А[р, а] = limj proj Aj, где A=UeA: \\ф\\А. = sup МП}\ . < со), 1 < p < oo, 0 < a < oo, {o"j}jeN ~ последовательность вещественных чисел, такая что &j [ а. Для каждого т G Z определим на А[р, а] оператор сдвига 5т, который функции ф G А[р, а] ставит в соответствие функцию 8тф G А, такую что Зтф(п) = ф{п + т). Обозначим через А'[р, а] сильно сопряженное к Л[р, а] пространство. Пусть ф G А'[р, а]. Определим на А[р, а] оператор свертки Мф, который функции ф € А[р, а] ставит в соответствие функцию Мф[ф] G А, такую что Мф[ф](т) = (ф, 8тф). Теперь на пространстве А[р, а] можно рассмотреть однородное уравнение свертки: Мф[ф]{т) = 0, т е Ъ. () Характеристической функцией уравнения () называется преобразова- ние Меллина.функционал а ф: Функция ф является аналитической в С\ {0}. Если ф имеет простые нули {?jb}jkeNj то функции Xk{n) = ?? являются решениями уравнения (). Эти решения называются элементарными. В диссертации изучен вопрос о построении базиса из элементарных решений в пространстве всех решений этого уравнения. В диссертации рассматривается также пространство Е[р, а] = lira,- TprojE(crj), где = {/ «= Я(С) : П/И^, = sup g Уравнения свертки на этом пространстве изучались во многих работах (см., например, монографию А. Ф. Леонтьева [20]). Известно, что урав-неие свертки на этом пространстве можно записать в виде линейного дифференциального уравнения бесконечного порядка с постоянными коэффициентами. В диссертации изучается вопрос о том, при каких условиях пространство решений уравнения () будет изоморфно пространству решений некоторого уравнения свертки на пространстве Е[р, а]. Еще одна задача, рассматриваемая в диссертации, связана с понятием достаточного множества, которое было введено Л. Эренпрайсом [46], [45]. Достаточные множества и их применения изучались в работах многих авторов (см., например, [52], [50], [26], [6]). В диссертации рассмотрена задача построения дискретного достаточного множества для пространства А[р, а]. В работе получены следующие основные результаты: •s? Для однородного уравнения свертки на пространстве А[р, а] найдены достаточные условия на распределение нулей харктеристической функции, при которых в пространстве решений уравнения существует базис из элементарных решений. Ф Найдены условия, при которых можно установить изоморфизм между пространствами решений уравнения свертки на пространстве Л[р, а] и уравнения свертки на пространстве Е[р, <т]. Структура диссертации Краткое содержание главы 1 В главе 1 определяется пространство А[р, <т], описывается сильно сопряженное к А[р, а] пространство в терминах преобразований Меллина и Фурье-Лапласа. п. 1.1 Обозначим через А класс всех комплекснозначных функций, определенных на Z. Пусть даны числа р, а € Ш, такие что 1 < р < со, О < а < сю. Пусть {&j}j?N ~ последовательность вещественных чисел, такая что cij \| а. Для каждого j G N определим банахово пространство А : \\ip\\j = sup ^П}\ , < оо Введем пространство А[р, а] = П/емА? и снабдим его топологией проективного предела пространств Aj. Обозначим через А'[р, а] сильно сопряженное к А[р, а] пространство. Тогда А'[р, а] = U/eN^j' гДе Aj ~ пространства, сильно сопряженные к Aj. Лемма 1. Пространства Aj, j ? N, имеют вид соп. 1.2 Рассмотрим в #(С) подклассы: Е[р, а] - класс целых функций порядка < р или порядка р и типа < а; Е[р, а) - класс целых функций порядка < р или порядка р и типа < а. Будем рассматривать Е[р, а] как локально-выпуклое пространство с топологией проективного предела банаховых пространств Тогда а- \| сг- Рассмотрим пространство Е[р,а), наделенное топологией индуктивного предела нормированных пространств Е{о^). Обозначим через Е'[р, а] сильно сопряженное к Е[р, а] пространство. Преобразованием Фурье-Лапласа функционала F G Е'[р, а] называется функция F(X) = (F,exp(iz\)). Преобразование Фурье-Лапласа устанавливает топологический изоморфизм между пространством Е'[р, а] и пространством Е[р, а). Функционал F определяет на пространстве Е[р, а] однородное уравнение свертки п. 1.3 В этом разделе доказываются некоторые вспомогательные неравенства п. 1.4 Рассмотрим в Н(С) подкласс Р(С) = {де Я(С) : д(Х) = д{\ + 2тг), VA е с}. Для каждого j € N рассмотрим банахово пространство Определим пространство Р[р,а) = \J?1Pj и снабдим его топологией индуктивного предела банаховых пространств Pj. Введем отображение L, которое каждому функционалу ф € А'[р, а] ставит в соответствие его преобразование Фурье-Лапласа (А) = (ф, ехр(г'пА)) = ^(п)ехр(гпА), А € С. Теорема 1. 'Отображение L уетанавливат линейный топологический изомоморфизм между пространствами А'[р, а] и Р[р, а). Определим банаховы пространства Щ = if е Щ : \|\|/\|\|я, = sup ---- 'ffi Введем пространство if[p,cr) = Ц/eN-^j и снабдим его топологией индуктивного предела пространств Hj. Пусть ф е Л'[р, а]. Рассмотрим преобразование.Меллина функционала ф: Теорема 2. Отображение ф —> ф уетанавливат линейный топологический изомоморфизм между пространствами А'[р, сг] и Н[р,а). 10 Краткое содержание главы 2 В главе 2 изучается однородное уравнение свертки на пространстве А[р, а], решается задача построения базиса из элементарных решений в пространстве решений этого уравнения. п. 2.1 Пусть т & Z. Определим на пространстве А[р, а] оператор сдвига Sm, который каждой функции ф ? А[р, а] ставит в соответствие функцию 3™"ф G А, такую что Smip(n) = ф{п + т). Лемма 3. Оператор Sm действует линейно и непрерывно из А[р, а] в А[р,а]. Пусть ф G А'[р, а]. Определим на пространстве А[р, а] оператор свертки Мф, который каждой функции ф ? А[р,а] ставит в соответствие функцию Мф[ф] € А, такую что Мф[ф](т) = (, Зтф). Лемма 4. Оператор Мф действует линейно и непрерывно из пространства А[р,а] в пространство А[р, а], где число а > а зависит от ф. п. 2.2 Пусть (р G А'[р, а]. Рассмотрим на пространстве А[р, а] однородное уравнение свертки Му[ф]{т) = Ъ. () Обозначим через Wv пространство решений уравнения (). Функция (р € Р[р,ст) называется характеристической функцией уравнения (). Будем предполагать, что (р имеет только простые нули. Пусть Л = {A&HeN, \^к\ / оо, - множество нулей <^(А), содержащихся в полосе О < Re Л < 2тг. Рассмотрим функцию <р G Н[р, а). Эту функцию также можно рассматривать как характеристическую для уравнения (). Обозначим нулевое множество функции (р через Л. Тогда Л состоит из то- чек & = exp(zAfc), к G N. Функции Xk(n) = exp(mA&) = ?jj, к G N, являются решениями уравнения (). Эти решения будем называть элементарными. Разобьем Л на две подпоследовательности: {Aib=N = Лр\|{А G С : ImA > 0}, ImA; / оо; W}eN = Лр){А G С : ImA < 0}, ImAj \ -оо. Тогда множество Л также разбивается на две подпоследовательности: {&}кеп и {ffcbeN, где ^ = exp(zAJ.), f? = exp(iAJJ). п. 2.3 Пусть / G Н(С). Введем обозначения: Пусть V = {vk}keN ~ последовательность точек в С, \vk\ /* оо. Обозначим через пу(г) число точек из множества V в круге \z\ < г и рассмотрим функцию . Nv(r) = Г nxMdx. Ji x Рассмотрим бесконечные произведения к к Бесконечные произведения /i(?) и /г(^) являются целыми функциями. Их нулевыми множествами являются соответственно г 1 -\| г ^ ui = <—, A: G N k S22 = s?fc> fc€N>. Лемма 6. Функцию ??(?) можно представить в виде С G С, t G Z - некоторые константы. Лемма 7. Выполняются неравенства тд < а, ту2 < а. Теорема 3. Пусть д Е Н[р,а), {zk}kez - нулевое множество д. Тогда имеет место представление где С Е С, t Е Z - некоторые константы. При этом т91 < а, т92 < а. п. 2.4 В этом разделе доказывается теорема деления для пространства Н[р,о~). п. 2.5 В этом разделе определяется операция свертки функционалов из пространства А'[р, а]. п. 2.6 В этом разделе доказывается, что любое решение дискретного уравнения свертки (*) можно аппроксимировать элементарными решениями Xk(n) — егпХк = ??. Теорема 5. Wv = span{xjt, к Е N}. п. 2.7 В этом разделе выясняется, при каких условиях на распределение нулей функции ф (или функции (р) элементарные решения Xk(ri) = егп\к _ ?п^ ? g ^^ образуют регулярный базис в пространстве Wv. Обозначим Выполняются равенства: ri = r/t < сг, Т2 = т/2 < <т. Теорема 6. Если множество Л удовлетворяет условиям то функции Xk, к ? N, образуют регулярный базис в пространстве Теорема 7. Если множество Л удовлетворяет условиям пфк mo функции Xk, к G N, образуют регулярный базис в W^. п. 2.8 В этом разделе найдены формулы для коэффициентов разложения решения уравнения () по базису из элементарных решений. Краткое содержание главы 3 В главе 3 доказывается, что при выполнении условий теоремы уравне-нию () можно сопоставить некоторое уравнение свертки на пространстве Е[р, а], такое что между пространствами решений этих двух уравнений можно установить топологический изоморфизм. п. 3.1 Рассмотрим целую функцию 6(Л) - каноническое произведение с нулевым множеством Л. Найдется функционал В G Е'[р,а], такой что В(Х) = Ь(Х). Функционал В определяет на пространстве Е[р,а] однородное уравнение свертки MB[f](z) = 0. () Уравнение () назовем ассоциированным с уравнением (). Пространство решений уравнения () обозначим через У/в- Функции exp(z2Ajt), к 6 N, являются элементарными решениями уравнения (). п. 3.2 Введем отображение Т : Е[р, а] — А[р, а], которое каждой функции / G Е[р, а] ставит в соответствие функцию T[f] = /\|z G A[p, a]. Теорема 9.Если выполняются условия теоремы 7, то отображение Т осуществляет линейный топологический изоморфизм между пространствами Wb и Wy. п. 3.3 Решается следующая задача: требуется восстановить целую функцию, являющуюся решением уравнения свертки (**), если известны только ее значения в целых точках. Теорема 10.Пусть выполняются условия теоремы 7. Тогда можно восстановить любую функцию f G Wb no ее значениям на множестве Ъ по формуле .. оо ^ _/ -_\ \ Х^(п)/(п)- =l Краткое содержание главы 4 В главе 4 решается задача построения дискретного достаточного множества для пространства А[р, а]. Как следствие получен результат о разложении функций из пространства А[р, а) в ряды экспонент. п. 4.1 В пространстве Н[р, а) была введена топология индуктивного предела нормированных пространств j = if е Но : \|\|/\|\|я, = sup ---- 'f.^j < оо j. 1 zec\{o}exp(^\|ln\|z\|\|^) J Обозначим эту топологию через г. Топологию на пространстве Н[р, а) можно ввести и другими способами. 15 Рассмотрим класс непрерывных положительных функций с , ч exp(^\|ln\|z\|\|^) -I К = \ k{z) : lim К 3 , J " } = 0, Vj V. I V У \|ln\|\|\|-oo k(z) ' J) Определим нормированные пространства Нк = U € Но : IMU = sup 1^ < оо j, к Введем на пространстве #[/?, <7) топологию проективного предела нормированных пространств Hf;. Обозначим эту топологию через /х. Тогда т > /1. Пусть М С С\{0} - произвольное множество единственности для пространства H[q, &). Определим нормированные пространства Hf ='\|/€Я0: Hjf = { e Яо : ll^WHf = sup J\|^\|l < oo}, /г G К Введем на пространстве Я[р,о") топологию гм индуктивного предела нормированных пространств Н^ и топологию им проективного предела нормированных пространств Н^ • Тогда г > тм > Определение 1. М называется слабодостаточным множеством для пространства А[р, сг], если т =¦ тм- Определение 2. М называется достаточным множеством для пространства А[р,сг], если \i = им- п. 4.2 В этом пункте проводится построение дискретного достаточного множества для пространства А[р, а].

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

Цена, в рублях: (при оплате в другой валюте, пересчет по курсу центрального банка на день оплаты)	1425

Скачать бесплатно	23583.doc

Найти готовую работу

ЗАКАЗАТЬ

Обратная связь:

Связаться

Вход для партнеров

Регистрация

Восстановить доступ

Материал для курсовых и дипломных работ

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

15.04.24 Критерии качества преподавания

15.04.24 Категория нормы в обучающей деятельности

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

Ссылки:

Счетчики:

© 2006-2022. Все права защищены.
Выполнение уникальных качественных работ - от эссе и реферата до диссертации. Заказ готовых, сдававшихся ранее работ.