Научная статья на тему 'Точные оценки скорости сходимости ряда Фурье по собственным функциям задачи Штурма-Лиувилля'

Точные оценки скорости сходимости ряда Фурье по собственным функциям задачи Штурма-Лиувилля Текст научной статьи по специальности «Математика»

CC BY
141
34
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОПЕРАТОР СДВИГА / SHIFT OPERATOR / ОПЕРАТОР ШТУРМА-ЛИУВИЛЛЯ / STURM-LIOUVILLE OPERATOR / N ПОПЕРЕЧНИК КОЛМОГОРОВА / N KOLMOGOROV WIDTH / РЯД ФУРЬЕ / FOURIER SERIES

Аннотация научной статьи по математике, автор научной работы — Селимханов Эмирхан Валерьевич

В статье даны точные оценки скорости сходимости (наилучших приближений) ряда Фурье по собственным функциям задачи Штурма-Лиувилля на классах функций, характеризующихся обобщенным модулем непрерывности, а также оценки N поперечников Колмогорова этих классов. В вопросах, связанных с разложениями функций в ряды Фурье и оценками их скорости сходимости (наилучших приближений) по тригонометрической системе функций и по некоторым другим ортогональным системам, например, по классическим ортогональным многочленам, существенную роль играют операторы сдвига. Они связаны с «теоремами сложения» и «теоремами умножения» для этих систем. В общем случае таких теорем нет. В работе, опираясь на некоторые ранее известные факты, построен обобщенный модуль непрерывности. Введение такого модуля непрерывности функции оправдывается связью между скоростью сходимости ее ряда Фурье и поведением ее обобщенного модуля непрерывности (прямая и обратная теорема теории приближений).

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Точные оценки скорости сходимости ряда Фурье по собственным функциям задачи Штурма-Лиувилля»

ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ

ТОЧНЫЕ ОЦЕНКИ СКОРОСТИ СХОДИМОСТИ РЯДА ФУРЬЕ ПО СОБСТВЕННЫМ ФУНКЦИЯМ ЗАДАЧИ ШТУРМА-

ЛИУВИЛЛЯ

Селимханов Э.В. Email: Selimkhanov639@scientifictext.ru

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

Аннотация: в статье даны точные оценки скорости сходимости (наилучших приближений) ряда Фурье по собственным функциям задачи Штурма-Лиувилля на классах функций, характеризующихся обобщенным модулем непрерывности, а также оценки N - поперечников Колмогорова этих классов. В вопросах, связанных с разложениями функций в ряды Фурье и оценками их скорости сходимости (наилучших приближений) по тригонометрической системе функций и по некоторым другим ортогональным системам, например, по классическим ортогональным многочленам, существенную роль играют операторы сдвига. Они связаны с «теоремами сложения» и «теоремами умножения» для этих систем. В общем случае таких теорем нет. В работе, опираясь на некоторые ранее известные факты, построен обобщенный модуль непрерывности. Введение такого модуля непрерывности функции оправдывается связью между скоростью сходимости ее ряда Фурье и поведением ее обобщенного модуля непрерывности (прямая и обратная теорема теории приближений).

Ключевые слова: оператор сдвига, оператор Штурма-Лиувилля, N - поперечник Колмогорова, ряд Фурье.

EXACT ESTIMATES OF THE SPEED OF THE CONVERGENCE OF A SERIES OF FOURIER ON THE OWN FUNCTIONS OF THE STURM-LIUVILLE PROBLEM Selimkhanov E.V.

Selimkhanov Emirkhan Valerievich - Bachelor, FACULTY OF MATHEMATICS AND COMPUTER SCIENCE, DAGESTAN STATE UNIVERSITY, MAKHACHKALA

Abstract: in this paper, we give sharp estimates of the rate of convergence (best approximations) of the Fourier series in eigenfunctions of the Sturm-Liouville problem on classes of functions characterized by a generalized modulus of continuity, and also estimates of the Kolmogorov N-widths of these classes. In questions related to the expansions of functions in Fourier series and estimates of their rate of convergence (best approximations) with respect to a trigonometric system of functions and some other orthogonal systems, for example, according to classical orthogonal polynomials, an important role is played by the shift operators. They are related to "addition theorems" and "multiplication theorems" for these systems. In the general case, there are no such theorems. In this paper, based on some previously known facts, a generalized continuity modulus is constructed. The introduction of such a modulus of continuity of a function is justified by the connection between the rate of convergence of its Fourier series and the behavior of its generalized modulus of continuity (the direct and inverse theorem of approximation theory).

Keywords: shift operator, Sturm-Liouville operator, N - Kolmogorov width, Fourier series.

УДК 517.519

В статье даны точные оценки скорости сходимости ряда Фурье (наилучших приближений) по собственным функциям задачи Штурма-Лиувилля на некоторых классах функций, характеризующихся обобщенным модулем непрерывности, а также оценки N - поперечников Колмогорова этих классов функций.

1. Пусть

1 / d г_ . , d

к(х) — dx.

- q(x)

^ р(х)

где (/с (х) , /с' (х) , << (х) , р (х) - непрерывные функции на отрезке [а , Ь ] и р (х) > 0 , << (х) > 0 на отрезке [ а, Ь ] ) - дифференциальный оператор второго порядка (оператор Штурма-Лиувилля). Напомним, что задача Штурма-Лиувилля ([1], с.346) состоит в отыскании решений на отрезке [ а, Ь ] уравнения

0[и]=Ли, (1)

удовлетворяющих однородным краевым условиям

а1и(а) + (31и'(а) = 0,а\+ /?х2 Ф О, <х2и(Ь) + р2и'1ъ) = 0, а\ +/?| Ф 0. (2)

Очевидно, что эта задача всегда имеет нулевое решение. Это решение не представляет интереса. Поэтому задачу (1) - (2) надо рассматривать как задачу на собственные значения для оператора £>. Искомые нетривиальные решения называются собственными функциями этой задачи, а значения при которых такие решения существуют - ее собственными значениями.

Отметим некоторые свойства собственных значений и собственных функций оператора

1) существует счетное множество собственных значений: Я х < Я2 < • • • .

2) каждому собственному значению соответствует единственная с точностью до постоянного множителя собственная функция

3) собственные функции образуют на отрезке ортогональную с весом р ( х ) систему т.е.

/

р(х)ип(х)ит(х) dx = 0, п Ф т

(в силу п.2) ее можно считать ортонормированной). 4) система собственных функций оператора полна в пространстве (здесь, как обычно, - пространство суммируемых с квадратом

функций с весом и евклидовой нормой, т.е.

\

и /

p(x)/2(x)cZx.

5) при граничных условиях и (а) = и (Ь ) = 0 и при выполнении условия << (х ) > 0 (х 6 [а, Ь ] ) собственные значения Я„ (п = 1 , 2 ,. . .) положительных.

Если не оговорено противное, то именно этот случай мы и будем рассматривать в настоящей работе. Пусть и

СО Ь

/О) = ^с1(/)щ(х),с1(/) = I p(x)f(x)ui(x)dx

¿ = 1 а

- ее ряд Фурье,

SN(f■,x) = ^ с;(/К(х)

- частичные суммы этого ряда. Через

Е„(Г) = М\\Г - Р„\\ Рм

обозначим наилучшее приближение функции / 6 Ь2 полиномами вида

1 <i<N

Тогда

PN(.x) = ^ а£гг£(х).

¿<N

оо

= (3)

12 _

7^1

£*(/) = II/-¿„(ЯН =

Рассмотрим теперь функцию

оо 1=1

(к 6 (0Д),х 6 [а,Ь],^ 6 [а, Ь]). Известно ( [2 ] , с. 2 72) , что в ряде частных случаев для

(4)

T(x,y;h) = ^un{x)un(y)hn

можно указать и явное выражение. Рассмотрим оператор Fh : L 2 — L 2

ь

Fhf(x) = J p(t)f(x)T(x,t;l-h)dt.

Отметим ряд простых свойств этого оператора:

1) ^ (/i+/2)^/1+FJ2,

2) Fh (Я/)=Я (Fh/) Д£1,

3) I I F„/I I < I I / I I ,

4) Fh (Ui(x) v, (y) ) = (1 - ft) i +,иг(x) v,-(y),

5) I I F„/-/ I И0,^0+ .

Пусть / 6 L2. Определим ее конечные разности первого и высших порядков следующим образом:

Л/Л*) = FhfW - f{x) = (Fh - E)f(x), Akhf{x) = Ah (д^/М) = (Fh - E)kf{x) =

где

i = 1 , 2 ,. . ., /с, E - единичный оператор в пространстве L 2. Величину

tlk(f;ö) = sup ||Д^/(х)||,к = 1,2,...

0 <h<S

будем называть обобщённым модулем непрерывности /с - го порядка функции /6L 2.

Введем следующие классы функций:

L2 (£>) - класс функций / £ L 2 , имеющие производные

/'(х),/"(*),... в смысле Леви ([3], c.172), для которых

£>7" е ^гФЧ = Бф^О.г = 1,2, ...,£>°/ = /

и удовлетворяющих граничным условиям

/Ю (а) = /® (Ь) = 0,1 = 0,1,... ,2г (в определении оператора будем предполагать, что - достаточно

гладкими функциями);

И (£> ) - класс функций / 6 ¿2 Ф), для которых

||£>711 ^ 1,г = 1,2,...; - класс функций для которых

П.к(Ог[;8) < Ф(8),г = 0,1,...,/с = 1,2,...,

где - как и выше, неотрицательная монотонно возрастающая функция

на и

Напомним, что N - поперечником Колмогорова множества М с!2 называется величина

^(М) = ^(М,12)= т/ ]5ир{т/ ||/-£7||)[,

2 (./ем ^есдг ;;

где последний раз точная нижняя грань берется по всем подпространствам размерности Л/ = 1 , 2 ,. . . ([4], с.186).

Через И^ ( Ф) обозначим класс функций / 6 ! 2 , для которых

< Ф(5),/с = 1,2,..., где - неотрицательная монотонно возрастающая функция на

0.

Нам понадобятся две простые леммы. ЛЕММА 1. Пусть / 6 ¿2(Д) . Тогда

^(/)=4^Фг/)-1 = 1.2,...;Г = 1,2.....

ЛЕММА 2. Для любой функции / 6 ¿2 Ф ) справедливо равенство

|К/||2 = ^[1 - (1 - ю1]2клГс?фгО

(г = 0,1,2,...).

2. Справедливы следующие утверждения.

ТЕОРЕМА 1. Для любой функции / 6 ! 2 независимо от граничных условий справедлива оценка

Е„(Г) < (1 - (1 - КУ)-кПк(/,К) (К 6 (0,1), к = 1,2,..., N = 1,2,...), причем при каждом фиксированном константа в правой части

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

неравенства уменьшена быть не может. ТЕОРЕМА 2. Пусть Тогда

пк(Л/0<[(8/02к 2 г2*-1^2*/)

V 1£г<Ш

(Йе(1,1),/С = 1,2,...).

Из теорем 1 и 2 следует, что

я* 00 = о(лт«) ФФ па,/1) = о(^)

(0 < а < 1).

ТЕОРЕМА 3. Для любой функции / 6 ¿2 Ф ) справедлива оценка

Ем (Г) < (1 - (1 - кУУкГмг£1к фгГ, К) (5)

(к 6 (0,1), к = 1,2,..., г = 1,2,.., N = 1,2,...),

причем при каждом фиксированном N = 1 ,2 ,. . . константа в правой части неравенства уменьшена быть не может.

Доказательство. Пусть / 6 Ь2(0 ) , г = 1 , 2 ,. . . Имеем

оо оо оо

^ ст - - кУ с'2оо = ~(1 ~нУ) с'2(/) =

¿=л/ ¿=л/ ¿=л/

оо Í=N

Применяя неравенство Гельдера, получим

оо оо

£=ЛГ £=ЛГ

2/с—1 1

/ 00 \~2k~ / т \2к

+ 1/'2(/) 2,(1-(1-лУ)С12(/) =

оо

= £(1-/ОЧ?00 +

2к-1 .

+ (£ с2 00) £ ¿г (1 - (1 - ьуук X?С2 00

М=ЛГ / \£=ЛГ 1

оо

= (1-йГ^с200 +

2/с—1 . . -А-

/ 00 \—2/с— / 00 \ 2/с

£с?О01 - (1 -ЮО2* ¿Гс2(Я ,

Vi=w / \/=л/ /

то есть

£с2(/)<(1-ЮЛ'£С2(/) +

1=Л/ 1=Л/

2/с—1

- / » \ 2/с 1

2/? 00 и!'к(ог [, л).

Ч-

Отсюда, очевидно, имеем

я*00 < (1 - (1 - йГГ^/п^М).

Легко показать, что для функции

/.(ж) = 1,2,...

последнее неравенство обращается в равенство. ТЕОРЕМА 4. Справедливо равенство

N = 1,2,..., г = 1,2,.... Верхняя грань достигается для функции

1

/и 00 = ТГим(х)-

Доказательство. Пусть Тогда, так как

ОО и

/О) = ^с1(/)щ(х), сXI) = I р(х)/(х)щ(х)йх,

1 = 1 а

то в силу (4) и леммы 1 этого параграфа

II/ - ^(/))112 = £ с?00 = -

¿>м ¿>м 1

ОО

< ^ У С?(сгл ЛУ с?ф*о = 4 идг/и2 =

Л„ ¿—I Л„ £—1 Лм Лм

то есть

||/-5л,(/))||<-г. (6)

С другой стороны, для функции

1

очевидно, принадлежащей классу имеем

(7)

Из оценок (6), (7) следует требуемое равенство. ТЕОРЕМА 5. Для любой функции / 6 ¿2 Ф)

ИшЯ^||/-5л,(/))|| = 0.

N->00

Доказательство. Как и при доказательстве теоремы 4 для любой функции имеем

Аи

Рассмотрим функцию

/*(х)=/(х)-5л,0г;х). Очевидно, что и

= ^ сг(/0игМ) =

\1<1<ЛГ /

= яг/00 - ^ Я^(/К(х) = ОгГ(х)-5„фгГ;х),

то есть кроме того,

5л,(/*;х) = 0.

Следовательно,

II/-5*0011 = 11Г11 = НГ - 0|| = II/* - < <^1|ДГГН = ^1|Дг/-^(Дг/)11

Так как то теорема доказана.

ТЕОРЕМА 6. Справедливо равенство

^(И^Д),^) =^г,г = 1,2,...; Л/ = 2,3.....

Доказательство. Пусть / 6 Иг (£> ) . Тогда, как и при доказательстве предыдущей теоремы, имеем

II/ -^(ЯИ2 = £ с?(Я = ^ ¿Ес'2(ДГ/) -

оо

Лы I лы лы

<

то есть

II/- 5*0011 < 1

Отсюда следует, что

(8)

Рассмотрим в — мерном подпространстве и* полиномов

N

QN(x) = ^<^¿00

1=1

1

шар уВ радиуса у = -р, т.е. множество таких полиномов

%

N

\Ш\2 =У а}

и ^

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

и покажем, что Пусть Так как

N

то

N

\\огдм\\2 = УяГа!<л1г~ = 1,

¿—I лы

1=1 то есть

1|Дг<2л,11 < 1-

Отсюда следует, что а это означает, что Тогда в силу

известной теореме о поперечнике шара имеем

(9)

Из оценок (8) и (9) следует требуемое равенство. ТЕОРЕМА 7. Справедливо равенство

^-1№г(Ф)Д2) = АЛ1 - (1 - ЮТ'ФОО

{к 6 (ОД), к = 1,2,...,Л/ = 2,3,...).

Доказательство. Так как сумма содержит линейно независимых

функций, то из теоремы 3 следует, что

4-1№г(О,Ф)Д2) < - (1 - йЛ^ФОО. (Ю)

Рассмотрим теперь в N - мерном подпространстве полиномов

<2^00 = ^ а^(х)

1 <1<М

шар уВ радиуса у = А*г [ 1 - ( 1 - Л) *] _,СФ (Л) , т.е. множество полиномов <2* (х ) , для которых

им2 = ^ а} <я*2г[1 - а -йл-2*Ф2ао.

1 <1<М

Покажем, что Пусть так как

1 <1<М

то, как и выше,

НФГП\\2= X %Ч1-а-ЬУ]2ка1<Л%[1-(Х-кГ]2к £ а2<

1<1<Л7 1<1<Л7

< - (1 - й)"]2* - (1 - /1)м]~2кФ2(Л) = Ф2(Л).

то есть

Отсюда следует, что QN Е Ш£(Ф). Следовательно, как и при доказательстве предыдущей теоремы

¿1»-1№г(Ф)) > г- (н)

Из оценок (10) и (11) следует требуемое равенство.

ЗАКЛЮЧЕНИЕ

1. В работе мы дали ряд точных оценок скорости сходимости (наилучших приближений) ряда Фурье по собственным функциям задачи Штурма-Лиувилля на классах функций, характеризующихся обобщенным модулем непрерывности.

2. В математической физике часто встречается задача на собственные функции для оператора Лапласа

Г—Ли = Аи (в области С),

I и\дс = 0,

где С - произвольная N - мерная область, ЗС - ее граница, причем краевое условие первого рода и\дс = 0 может быть заменено каким-либо другим краевым условием, например условием

ди

— + hu on

= 0.

зс

Известно, что эта задача имеет полную ортонормированную ¿2(С) систему собственных функций ик(х),к = 1,2,..., отвечающих последовательности собственных значений Хк, к = 1,2,...

3. Нетрудно видеть, что полученные выше результаты можно распространить и на ряды Фурье

оэ

^ ск(/)ик(х), Ск(/) = I /(х)ик(х) йх, к = 1,2,...

к=1 С

4. Аналогичные методы для нахождения точных оценок скорости сходимости (наилучших приближений) сумм Фурье по тригонометрической системе в пространстве Ъ2 \—п, гс] нами были использованы в работе [6].

5. В настоящей работе при определении классов функций и при доказательствах теорем, сформулированных выше, мы пользовались методами из работ [7] - [9].

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

1. Владимиров В.С. Уравнения математической физики. М.: Наука, 1976. 527 с.

2. Градштейн И.С., Рыжик И.М. Таблицы интегралов, сумм, рядов и произведений. М.: Физматгиз, 1962. 1100 с.

3. Никольский С.М. Приближение функций многих переменных и теоремы вложения. М.: Наука, 1969. 455 с.

4. Колмогоров А.Н. Избранные труды. Математика и механика. М.: Наука, 1987. 470 с.

5. Корнейчук Н.П. Точные константы в теории приближений. М.: Наука, 1987. 424 с.

6. Керимов М.К., Селимханов Э.В. О точных оценках скорости сходимости рядов Фурье для функций одной переменной в пространстве L2[—n,n]// Ж. вычисл. матем. и матем. физ., 2016. Т. 56. № 5. С. 730-741.

7. Рафальсон С.З. Наилучшее приближение функций в метриках алгебраическими многочленами и коэффициенты Фурье по ортогональным многочленам // Вестник Ленинг. гос. ун-та. Серия механ. и матем., 1969. № 7. С. 68-79.

8. Абилов В.А., Абилова Ф.В., Керимов М.К. Точные оценки скорости сходимости рядов Фурье по ортогональным многочленам в пространстве Ь 2( (а , Ь ) р (х ) ) // Ж. вычисл. матем. и матем. физ., 2009. Т. 49. № 6. С. 966-980.

9. Абилов В.А., Абилова Ф.В., Керимов М.К. О точных оценках скорости сходимости двойных рядов Фурье-Бесселя // Ж. вычисл. матем. и матем. физ., 2017. Т. 57. № 11. С. 1-6.

i Надоели баннеры? Вы всегда можете отключить рекламу.