Наближення нескінченно-диференційовних функцій в інтегральній метриці
У статті отримано точні порядкові оцінки верхніх граней відхилень сум Зігмунда від нескінченно-диференційовних функцій в інтегральній метриці.
Gespeichert in:
Datum: | 2018 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | Ukrainian |
Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
Schriftenreihe: | Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки |
Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/162201 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Zitieren: | Наближення нескінченно-диференційовних функцій в інтегральній метриці / І.Б. Ковальська // Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2018. — Вип. 17. — С. 54-61. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-162201 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1622012020-01-05T01:25:39Z Наближення нескінченно-диференційовних функцій в інтегральній метриці Ковальська, І.Б. У статті отримано точні порядкові оцінки верхніх граней відхилень сум Зігмунда від нескінченно-диференційовних функцій в інтегральній метриці. In this paper we obtain exact order estimates for the upper bounds of deviations of Zigmund sums from infinitely-differentiable functions in the integral metric. 2018 Article Наближення нескінченно-диференційовних функцій в інтегральній метриці / І.Б. Ковальська // Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2018. — Вип. 17. — С. 54-61. — Бібліогр.: 6 назв. — укр. 2308-5878 http://dspace.nbuv.gov.ua/handle/123456789/162201 517.5 uk Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки Інститут кібернетики ім. В.М. Глушкова НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Ukrainian |
description |
У статті отримано точні порядкові оцінки верхніх граней відхилень сум Зігмунда від нескінченно-диференційовних функцій в інтегральній метриці. |
format |
Article |
author |
Ковальська, І.Б. |
spellingShingle |
Ковальська, І.Б. Наближення нескінченно-диференційовних функцій в інтегральній метриці Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки |
author_facet |
Ковальська, І.Б. |
author_sort |
Ковальська, І.Б. |
title |
Наближення нескінченно-диференційовних функцій в інтегральній метриці |
title_short |
Наближення нескінченно-диференційовних функцій в інтегральній метриці |
title_full |
Наближення нескінченно-диференційовних функцій в інтегральній метриці |
title_fullStr |
Наближення нескінченно-диференційовних функцій в інтегральній метриці |
title_full_unstemmed |
Наближення нескінченно-диференційовних функцій в інтегральній метриці |
title_sort |
наближення нескінченно-диференційовних функцій в інтегральній метриці |
publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
publishDate |
2018 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/162201 |
citation_txt |
Наближення нескінченно-диференційовних функцій в інтегральній метриці / І.Б. Ковальська // Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2018. — Вип. 17. — С. 54-61. — Бібліогр.: 6 назв. — укр. |
series |
Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки |
work_keys_str_mv |
AT kovalʹsʹkaíb nabližennâneskínčennodiferencíjovnihfunkcíjvíntegralʹníjmetricí |
first_indexed |
2025-07-14T14:43:50Z |
last_indexed |
2025-07-14T14:43:50Z |
_version_ |
1837633876730576896 |
fulltext |
Математичне та комп’ютерне моделювання
54
While studying certain physical processes and phenomena in media with
variable characteristics and small dispersion the Korteweg-de Vries equation
with singular perturbation is appeared as a mathematical model. Methods of
asymptotic analysis are effective instruments for studying the Korteweg-de
Vries equation with variable coefficients and a small parameter because they
allow us to construct approximate solutions to the equation as well as to ana-
lyze its different properties. Consideration of singular perturbed equations of in-
tegrable type is current problem of modern applied mathematics that includes a
problem of constructing asymptotic soliton like solutions.
The paper deals with constructing the asymptotic soliton like solutions to
the singular perturbed Korteweg-de Vries equation with variable coefficients of
special form. There is constructed a main term of the asymptotic solution. The
solution is shown to belong to the space of quickly decreasing functions and the
solution is demonstrated to define for any values of independent variables in
contradistinction to the general case. The theorem on accuracy with which the
asymptotic solution satisfies the equation is proved.
Key words: the Korteweg-de Vries equation, soliton solution, singular
perturbation, asymptotic solution.
Отримано: 26.05.2018
УДК 517.5
І. Б. Ковальська, канд. фіз.-мат. наук
Кам’янець-Подільський національний університет
імені Івана Огієнка, м. Кам’янець-Подільський
НАБЛИЖЕННЯ НЕСКІНЧЕННО-ДИФЕРЕНЦІЙОВНИХ
ФУНКЦІЙ В ІНТЕГРАЛЬНІЙ МЕТРИЦІ
Оскільки будь-яка сумовна 2π-періодична функція розвива-
ється в ряд Фур’є, то найбільш зручним апаратом наближення та-
ких функцій є послідовності частинних сум цього ряду і послідо-
вності лінійних операторів, що визначаються деякою трикутною
матрицею Λ. Ця матриця задає метод побудови поліномів і визна-
чає конкретний метод підсумовування рядів Фур’є. Одним з них є
регулярний метод, який називається сумами Зігмунда.
Суми Зігмунда були введені А. Зігмундом в 1945 році. Він
же довів деякі твердження, які встановлювали точні порядкові
оцінки верхніх граней відхилень цих сум на класах r-диферен-
ційовних функцій для дробових r.
Дослідження Зігмунда були продовжені Б. Надем, С. А. Теля-
ковським, А. В. Єфимовим, О. І. Степанцем, Д. М. Бушевим та ін.
У статті отримано точні порядкові оцінки верхніх граней
відхилень сум Зігмунда від нескінченно-диференційовних функ-
цій в інтегральній метриці.
© І. Б. Ковальська, 2018
Серія: Фізико-математичні науки. Випуск 17
55
Нехай N — деякий клас сумовних 2π-періодичних функцій.
Тоді, якщо для f(x) існує (ψ; β)-похідна (в розумінні Степанця)
і ця похідна належить класу N, то такі функції f(x) об’єднують
в окремий клас L(ψ; β)N, що характеризується (ψ; β) диферен-
ціальними властивостями самої функції і умовами, накладе-
ними на її (ψ; β) похідну.
У статті класи L(ψ; β)N складаються з функцій, ряди Фур’є
яких збігаються до нескінченно-диференційовних функцій, а їх
(ψ; β)-похідні в інтегральній метриці належать одиничній кулі.
Основним результатом роботи є наступне твердження.
Теорема. Якщо дана функція f(t, n, r) — рівномірно обме-
жена, а функції f(x) належать згаданому класу L(ψ; β)N, то для
довільних n N, для верхніх граней відхилень сум Зігмунда
від функцій з класу L(ψ; β)N справедливі точні порядкові оцін-
ки, де порядок визначається степенем — r методу Зігмунда.
Із допоміжних тверджень доводиться 2 леми і для того,
щоб показати непокращуваність порядкової оцінки будується
екстремальна функція g(x) L(ψ; β)N.
Ключові слова: порядкові оцінки, суми Зігмунда, нескін-
ченно-диференційовні функції, простір Lp.
Вступ. Теорія наближення функцій виникла як в результаті вну-
трішнього розвитку математики так і з потреб практики. В ній відо-
бражена одна з фундаментальних ідей математики — моделювання
складних об’єктів і явищ з допомогою більш простих і зручних.
Оскільки будь-яка сумовна 2π-періодична функція розвивається
в ряд Фур’є, то найбільш зручним апаратом наближення таких функ-
цій є послідовності частинних сум цього ряду і послідовності
,nU f лінійних операторів, що визначаються матрицею
n
k , 0, 1, 2,...,n 0, 1, 2,... :k
( ) ( )0
0
1
, , cos sin ,
2
n
n n
n k kk
k
a
U f x a kx b kx
де 1 1cos , sink ka f t kt dt b f t kt dt
— коефіцієнти
Фур’є функції f(x). Тригонометричний поліном
( )
( )0
1
, cos
2
n n
n
n k
k
U f kt
називають ядром оператора (методу) ,nU f . У випадку, коли
( ) 1 , 0, 0, 1, 2,..., 1
r
n
k
k r k n
n
виходить поліном, що відпо-
відає методу Зігмунда. Поліноми
Математичне та комп’ютерне моделювання
56
1
( ) 0
1
, 1 cos sin
2
rn
r
n k k
k
a kZ f x a kx b kx
n
називають сумами Зігмунда.
Суми Зігмунда для 0r були введені А. Зігмундом в [3]. Там
же були доведені деякі твердження, які встановлювали точні порядки
відхилень цих сум на класах ,r r
r rW W H .
Дослідження А. Зігмунда були продовжені Б. Надем [6] і С. А. Те-
ляковським [5], а також А. В. Єфимовим [4], О. І. Степанцем і
Д. М. Бушевим [2].
Постановка задачі. Нехай f x — сумовна, 2 -періодична
функція, і
0
1 0
cos sin ,
2
n n
k k k
k k
a f
S f a f kx b f kx A f x
— її ряд Фур’є.
Нехай далі ( )k — довільна функція натурального аргументу і
— фіксоване дійсне число, R . Припустимо, що ряд
1
1 cos sin
2 2k k
k
a f kx b f kx
k
є рядом Фур’є
деякої функції з 0; 2L .
Цю функцію позначимо через f і назвемо, згідно [1],
; -похідною функції f , а множину функцій f , що задово-
льняють таку умову, позначимо L .
Нехай N — деякий клас сумовних 2 -періодичних функцій.
Тоді, якщо f L і крім того f N
, то будемо вважати, що функ-
ція f x належить до класу L N
.
Розглянемо величини відхилень сум Зігмунда
1
( ) 0
1
, 1 ,
2
rn
r
n k
k
a kZ f x A f x
n
порядку 1n від функцій з класів L N
, коли N — деяка підмножи-
на в просторі pL : : 1p pN S і верхні грані цих відхилень
на класах L N
:
Серія: Фізико-математичні науки. Випуск 17
57
En
( )( ) sup ( ; ) sup ( ) ( , )r
s n ns sf L N f L N
L N f x f x Z f x
.
При цьому покладемо , , 1; .p pL S L p
Нехай множини L складаються з функцій, ряди Фур’є яких збі-
гаються до нескінченно-диференційовних функцій
1 1: ,
2
tt t t
t t
M .
Згідно з [1] позначимо через M множину функцій M ,
для яких величина t t обмежена зверху
: , 1t t K t M M .
У роботі отримаємо точні порядкові оцінки величини En , p s
L
для , pf x L в метриці простору sL , де
1
2
0
( )
s
s
sf f t dt
,
якщо наближення здійснюється регулярним лінійним методом підсу-
мовування рядів Фур’є — методом Зігмунда.
Основним результатом роботи є наступне твердження:
Теорема. Нехай M і функція
1
cos ,
2
n
n k
k
kt
, 1 1;
, ;
r
n
k
kk k n
n
k k n
така, що r
n nf t t n є рівномі-
рно обмежена. Тоді, якщо 1 ,p s і , pf L , то n N
2
,
1
p sr C
n
En 1
,,
1
p sp rs
L C
n
,
де 1
,p sC і 2
,p sC — сталі, що залежать лише від p і s .
Допоміжні твердження.
Лема 1. Якщо функція k така, що ряд
1
( ) , 0r
k
k k r
збі-
жний, то функція r
n nf t t n , де
Математичне та комп’ютерне моделювання
58
1
1
( ) ( )cos ( )cos , 0,
2 2
rn
n
k k n
kt k kt k kt r R
n
є рівномірно обмеженою при всіх n N і t R .
Доведення. Покажемо, що n N функція nf t обмежена.
1
1
( ) ( )cos ( ) cos
2 2
rn
n
k k n
kt k kt k kt
n
1
1
1 ( ) cos ( ) cos
2 2
n
r
r
k k n
k k kt k kt
n
1
1
1 ( ) ( )
n
r
r
k k n
k k k
n
.
Відомо, що n M і n N (див. наприклад, [1])
1 2
0
( ) K ( ) 2 K ( )j
k n j
k n n
.
Оскільки ряд
1
( ) r
k
k k
збіжний, то
1
( )
n
r
n
k
S k k
обмежена
і
1
( )
n
r
k
k k S
n N .
Із цих співвідношень отримаємо:
; r
n nf t t n
1
2 2
1
1 ( ) ( ) ( ) 1
n
r r r
r
k k n
n k k k S K n n S K K
n
.
Лема доведена.
Лема 2. Нехай k M , 1 ,p s . Тоді , pf L і
n N : En ,,
1
p sp rs
L C
n
, де ,p sC — стала, що залежить лише від
p і s .
Доведення. Оскільки M M , то для таких функцій
виконується нерівність
1
( )n
k
k
k
і ряд
1
( )cos
2k
k kt
є ря-
дом Фур’є деякої сумовної функції.
Серія: Фізико-математичні науки. Випуск 17
59
Тому , pf L майже скрізь на періоді має місце рівність
1
1, , cos
2
nr
n n k
k
f x f x Z f x f x t kt dt
,
де
, 1 1;
, .
r
n
k
kk k n
n
k k n
Використовуючи нерівність Юнга для згорток періодичних функ-
цій 1 1 12 , 1 , 1s p qy z y z p s
q p s
, знаходимо:
1
12 , 2 cos
2
n
n ks
k
f x f x t kt dt
1
1
2 cos cos
2 2
rn
p k k n q
kf x t k kt k kt
n
1 22 2n n nr rq q qp p
f x t t f x t f t f t
n n
.
Згідно леми 1 функція nf t обмежена. Тому
2 1, .
2n r rs
Cf x K
n n
З нерівності Гельдера для ,pf L 1 ,p s слідує, що
1
2 .
p p p s
pss pf f t dt f
Тоді оцінку можна записати
для 1 ,p s у вигляді En
,
,,
1sup ( ; )
p
n p sp s rs f L
L f x C
n
, де
,p sC — стала, що залежить лише від p і s .
Лема доведена.
Щоб показати непокращуваність по порядку отриманої оцінки,
розглянемо функцію 11 cos
2
g x a x
, де cos pa x .
Легко бачити, що
1 11 cos 1
1 2 2p
p
g x a x
,
Математичне та комп’ютерне моделювання
60
тобто
, pg x L і
En
,
, sup , ,
p
r r
n np s s sf L
L f x Z f x g x Z g x
11 1 1 1cos 1
2 1r
s
g x t t dt a
n
1 1
,
2cos cos
2 2 2
cos cos cos ,
2 2
r
s
r
p s
r r r
ss
x t t dt
n
Ca ax t t dt x
n n n
де ,p sC — стала, що залежить лише від p і s .
Із отриманого співвідношення, а також лем 1 і 2 слідує теорема.
Висновки. В статті отримані точні порядкові оцінки величини
En , p s
L для , pf x L в метриці простору sL у випадку, коли
наближення здійснюється регулярним лінійним методом підсумову-
вання рядів Фур’є-методом Зігмунда.
Список використаних джерел:
1. Степанец А. И. Классификация и приближение периодических функций /
А. И. Степанец. — К. : Наук. думка, 1987. — 268 с.
2. Бушев Д. Н. О приближении слабо дифференцируемых периодических
функций / Д. Н. Бушев, А. И. Степанец // Укр. мат. журн. — 1990. —
Вип. 42. — № 3. — С. 405–412.
3. Zygmund A. Smooth Functions / A. Zygmund // Duke Math. J. — 1945. —
Vol. 12. — P. 47–76.
4. Ефимов А. В. О линейных методах суммирования рядов Фурье / А. В. Ефи-
мов // Изв. АН СССР. Сер. мат. — 1960. — Вип. 24. — № 5. — С. 743–756.
5. Теляковский С. А. О приближении дифференцируемых функций линей-
ными средними их рядов Фурье / С. А. Теляковский // Изв. АН СССР.
Сер. мат. — 1960. — Вип. 24. — № 2. — С. 213–242.
6. Nagy B. Sur une generale procedes de summation pour les series de Fourier /
B. Nagy // Hung. Acta Math. — 1948. — № 3. — Р. 14–62.
APPROXIMATION OF THE INFINITELY-DIFFERENTIABLE
FUNCTIONS IN AN INTEGRAL METRIC
Since every summable 2π-periodic function is expanded in the Fourier
series, the most convenient way to approximate it is to use the sequences of
the partial sums of this series and sequences of linear operators, that are de-
fined by some triangular matrix Λ. This matrix defines the way of con-
Серія: Фізико-математичні науки. Випуск 17
61
structing polynomials and a particular method of summing the Fourier se-
ries. One of them is a regular method, called the Zygmund sums.
Zygmund’s sums were defined by A. Zigmund in 1945. He proved some
statements, that established exact order estimates of the upper founds of the de-
viations of these sums on classes of r-differentiable functions for fractional r.
The research of Zigmund was continued by B. Nagy, S. A. Telyakovskiy,
A. V. Efimov, A. I. Stepanets, D. N. Bushev and other.
In this paper we obtain exact order estimates for the upper bounds of
deviations of Zigmund sums from infinitely-differentiable functions in the
integral metric.
Let N — be a class of summable 2π-functions. If for function f(x) peri-
odic there exists a derivative (in the sense of Stepanets) and it belongs to
the class N, then such functions f(x) are united in a separate class L(ψ; β)N.
This class is characterized by the (ψ; β)-differential properties of the func-
tions themselves and the conditions imposed on their derivatives.
In this article the classes L(ψ; β)N consist of functions for which the
Fourier series are converged to infinitely-differentiable functions and their
(ψ; β)-derivatives in the integral metric belong to the unit ball.
The main result of the paper is the theorem: if the given function
f(t, n, r) — uniformly bounded and the functions f(x) belong to the class
L(ψ; β)N, then for any n N and for upper founds of deviations of Zigmund
sums from functions of the class L(ψ; β)N, the exact order estimates are valid,
where the order is determined by the number — r of Zigmund sums.
From auxiliary assertions, 2 lemmas are proved and an extremal func-
tion g(x) L(ψ; β)N is constructed in order to show that the order esti-
mates are unimprovable.
Key words: order estimates, Zygmund sums, infinitely-differentiable
functions, integral metric.
Отримано: 14.05.2018
|