CC BY
26
УДК 517.518
Б.М. Ибрагимова1
ОДНО ОБОБЩЕНИЕ НЕРАВЕНСТВА МАРШО НА ЗНАКОЧУВСТВИТЕЛЬНЫЕ ВЕСА
При доказательстве классического неравенства Маршо для равномерных модулей непрерывности высших порядков используется редукция их определения для произвольного знака шага конечной разности к положительным значениям этого шага. В случае модулей непрерывности с весом такая редукция приводит к сужению определения модуля непрерывности. Поэтому для установления свойств модулей непрерывности с весом требуется другой подход рассуждений. В отличие от обычного веса знакочувствительный вес позволяет учесть не только абсолютную величину приращения функции, но и его знак. В работе для метрики со знакочувствительным весом получен аналог неравенства Маршо об оценке модуля непрерывности данного порядка через модуль непрерывности более высокого порядка.
Ключевые слова: модуль непрерывности, знакочувствительный вес, непрерывные функции, модуль гладкости, конечные разности, неравенство Маршо, классы функций, теоремы вложений.
1. Предварительные сведения
Знакочувствительным весом называется упорядоченная пара p(x) = = (р— (x), p+(x)) непрерывных 2^-периодических неотрицательных функций p~(x) и p+(x). Пусть функция f (x) также является непрерывной и 2^-периодической.
Следуя [1; 2], будем пользоваться следующего вида разложением функции по весу и кратким обозначением
(f,P) (x) = f + (x)P+(x) - f —(x)p—(x), где, как обычно, срезки функции f(x) определяются равенствами f + (x) = max{f (x), 0},f —(x) = (-f (x)) +.
Величина
\f \p = sup\(f,p)(x)\
x
называется р-нормой функции f (x) относительно веса p(x).
!© Ибрагимова Б.М., 2015
Ибрагимова Белла Муслимовна ([email protected]), кафедра математики, Дагестанский государственный институт народного хозяйства, 367008, Российская Федерация, г. Махачкала, ул. Атаева, 5.
Для заданного натурального к модуль непрерывности к-го порядка функции f относительно веса p определяется при S ^ 0 равенством [3; 4]
Wk(f,p,S) = sup |(Ahf,p) (ж)| ;
к/(x)=k)f (x+ih)
i=0
означает конечную разность k-го порядка функции f в точке ж с шагом h.
Легко увидеть, что при p± (ж) = 1 величина Wk (f,p,S) совпадает с обычным равномерным модулем непрерывности к-го порядка
Wk (f,S)= sup |Ahf (ж)|.
x,\h\^S
При к = 1 получим модуль непрерывности
w(f,S) = Wi(f, S).
Модулем непрерывности веса p(^) = (p— (ж)^+(ж)) назовем величину w(p, S) = max{w(p—, S), w(p+, S)} (S > 0).
2. Результаты работы
Следующее утверждение развивает вопросы, рассмотренные в [5-6], и обобщает неравенство Маршо ([7]) об оценке модуля непрерывности данного порядка через модуль непрерывности более высокого порядка на модули непрерывности относительно периодических знакочувствительных весов.
Теорема. Пусть даны 2п-периодические непрерывные функция f (x) и вес p(x) = (p- (x),p+(x)). Тогда при каждом натуральном к и 0 ^ ö ^ k имеет место неравенство
шк (f,p, ö) < к20к х гП 1 ( к — 1 )
х I tk+1 1 «k+l(—f,p,t) + 4 «k+l(f,t)«
(p,t)\ dt+
\ök (П) { Vb+f + f «cp,Ц.
Доказательство.
Пусть к — заданное натуральное число и пусть 0 < \h\ ^ ö.
Воспользуемся следующим соотношением для конечных разностей (см., напр., [8, с. 105] или [9, с. 118]):
k ( к \
Akhf (x) - 2kAkhf (х) = ^{ к J2Ah+1f (x + ih)-
v=1 ^ ' i=0
Отсюда находим
Khf (x)=- 1 ¿( D e Ah+if (x+ih)+
V=1 v ' i — n
--l v 7 i=n
+ 1 Akkhf (x),
а значит, для плюс- и минус-срезок конечных разностей получим неравенства
1 k / , \ V-1
[Ah¡ (*)]± P±(x) < k)12 -Ah+1f (x+Щ ± p±(x)+
V=1 V 7 ч' — П
+ - [Д^(x)]±p±(x). (1)
(1Л p±(x -
v—1 K ' 7 i—П
1 Гдk 2k
Используя неравенства
|p±(x) — p±(x + ih)l ^ i^(p, |h|) (i =1, 2, .. . ,k — 1) из (1) получим
1 k / 7 \ v—1
Дf(x)]±p±(x) < k )E-Д^+1/(x + ±p±(X + ih) +
v—1 7 i—П
1 k ( U \ v—1
+ k £ -Дh+1f (x + ih)] ± lhl) + v—1 \ 7 i — 0
v—1 7 i—П
+ ¿ (x)] ± p±(x).
Сложив эти неравенства почленно (члены, содержащие плюс-срезки, с соответствующими членами, содержащими минус-срезки) и используя определение модулей непрерывности (к + 1)-го порядка, получим
- k / к \ v—1 {Akhf,p) (x)| < k )l2"k+1(—f,p, lhl)+
v—1 \ 7 i — 0
v
v—1 4 7 i—П
1 k f k \ v—1
1)12i"k+1(f, hiMp, ihi)+
\ 7 ' — П
(х)\.
В правой части этого неравенства учтем еще легко проверяемые равенства
¿( к)" = к22-1, ¿( М V(V - 1) = к(к - 1)22-2.
Тогда имеем неравенство к 2
(ДУ, p) (x)| < k^k+1(—f, p, lh\) + Uk+1(f, lh\Mp, lhl)+
+¿| Дну,^ (x)|. (2)
22
Последовательно применив неравенство (2) к выражениям
Д/, р) (х), (Д2 2Н/> р) (x), . . (Д2т-1к /> р) (х) для любого натурального т получим
2.....{к 1
(k i
К^Hf, p) (x)| < Е ^k+1 (—f, p, 2vlhl) +
v—П ^
+ "k+1(f, 2lhlMp, 2"lhl)\ +
КА2тн/,р) И = + $2- (3)
При этом имеем
|(Д2^/,р) (х)|< ¿( М {[(-1)2-/(х + г2тН)] + р+(х)+
г=0 ^ '
+ [(-1)2-/(х + г2тк)]- р-(х)} < М |((-1)2-/,р) (х + г2тН) | +
г=0 ^ '
+ Е( П |[(-1)2-г/(х + г2т^)]+ "(р+, 2п)+
г=0 ^ '
+ [(-1)2-/(х + г2т^)]- "(р-, 2п)} <
< Е( П|(-1)2-Ч + П "/2п) =
л = П \ / л = п \ /
= 22-1(\/\р + |- /\р) + 22 \\/И^ "(р, 2п).
Значит, при любом натуральном т получим
|(Д2тЛ/,р) (х)|< 22М(/,р), (4)
где М(/, р) = 2(\/\Р + \ - /\Р) + /Н^ "(р, 2п).
Пусть теперь натуральное т удовлетворяет условию
п
т < —- <т + 1. ко
Тогда
Значит, из (4) и (5) получим 1
2т2
п т ' п
2к< 2т < к- (5)
1 /2кО\ 2
52 = т К Дт/, р) (х) | ^—] 22м(/, р) =
= ок (4к) м(/,р). (6)
С учетом условий (5) оценим сумму, составляющую первое слагаемое $1 правой части неравенства (3). При этом учтем также, что
к1
"2 + 1(-/, р, Ь) +--"2 + 1(/, *)"(р,
является неубывающей функцией относительно Ь. Тогда
^1 Г к 1
$1 <Е и**"2+1 (-/, р, 2°)+
и=0 ^
к(к - 1) 1
т-1
+ "2+1(/, 2"0)"(р, 2"О) <
т-1 ,.2" 1 *а 1 г к _ 1 Л
< к2О2 Е 6 {"2+1 (-/, р, Ь) + "2+1 (/, Ь)"(р, *)} ^ ^
(k If k — 1 1
< k2Sk J ^ uk+1(-f, p, t) + шк+1(f, t)u(p, t)\ dt.
Отсюда, из (3) и (6) при любом x и \h\ ^ S получим \(Akf, p) (x)| < k2Sk ^k tk+ï |Uk+i(-f, p, t) + ^Uk+i(f, t)u>(p, t) j dt+
(4?)
— ) м(I, р),
где М(I, р) = 2(\1 \р + \ - I|р) + \\1У^ ш(р, 2п).
Для завершения доказательства остается перейти к супремуму в левой части по х и \к\ ^ 6.
Замечание. Из доказанной теоремы как следствие при к = 1 вытекает более простая оценка для модуля непрерывности (первого порядка) через модуль гладкости:
р, ^
ц
+ ±б{+ \\1 У^ 2п)} .
tf х\ ^ х Г ш2(-f, p> t) , u(f, p, S) < S J -12-dt+
Литература
[1] Долженко Е.П., Севастьянов Е.А. Аппроксимации со знакочувствительным весом (теоремы существования и единственности) // Известия РАН. Сер.: Математика. 1998. Т. 62. № 6. С. 59—102.
[2] Долженко Е.П., Севастьянов Е.А. Аппроксимации со знакочувствительным весом (устойчивость, приложения к теории ужей и хаусдорфовым аппроксимациям) // Известия РАН. Сер.: Математика. 1999. Т. 63. № 3. С. 77—118.
[3] Рамазанов А.-Р.К. О прямых и обратных теоремах теории аппроксимации в метрике знакочувствительного веса // Analysis Mathematica. 1995. T. 21. C. 191—212.
[4] Ибрагимова Б.М. Оценка полиномиальных приближений функций через модули гладкости относительно знакочувствительного веса // Математика. Экономика. Образование: тез. докл. XXII Междунар. конфер. Ростов н/Д.: Изд-во СКНЦ ВШ ЮФУ, 2014. С. 78
[5] Рамазанов А.-Р.К., Магомедова В.Г., Ибрагимова Б.М. Сравнение модулей непрерывности и гладкости функций и оценки полиномиальных приближений // Вестник Дагестанского государственного университета. 2011. № 6. С. 87—93.
[6] Рамазанов А.-Р.К., Ибрагимова Б.М. Несимметричный интегральный модуль непрерывности и аналог первой теоремы Джексона // Вестник Дагестанского государственного университета. 2010. № 6. С. 51—54.
[7] Marchaud A. Sur les derives et sur les differences des fonctions de veriables reeless // J. Math. pures et appl. 1927. V. 6. P. 337—425.
[8] Дзядык В.К. Введение в теорию равномерного приближения функций полиномами. М.: Наука, 1977. 512 с.
[9] Тиман А.Ф. Теория приближения функций действительного переменного. М.: Физ-матгиз, 1961. 624 с.
k
References
[1] Doljenko E.P., Sevastjyanov E.A. Approximations with signsensitive weight (theorems of existence and uniqueness). Izvestiia RAN. Ser.: Matematika [Proceedings of the Russian Academy of Sciences. Series: "Mathematics"], 1998, Vol. 62, no. 6, p. 59— 102 [in Russian].
[2] Doljenko E.P., Sevastjyanov E.A. Approximations with signsensitive weight (stability, annexes to the theory of ears and Hausdorf approximations) Izvestiia RAN. Ser.: Matematika [Proceedings of the Russian Academy of Sciences. Series: "Mathematics"], 1999, Vol. 63, no. 3, pp. 77—118 [in Russian].
[3] Ramazanov A.-R. K. On direct and converse theorems of the theory of approximation in metrics of signsensitive weight. Analysis Mathematica, 1995, Vol. 21, pp. 191—212 [in Russian].
[4] Ibragimova B.M. Estimation of polynomial approximations of functions over modulus of smoothness concerning signsensitive weight. Matematika. Ekonomika. Obrazovanie: tezisy dokladov XXII Mezhdunar. konfer. [Mathematics, economics and education: abstracts of papers of the XXII International conference "Mathematics. Economics. Education "]. Rostov-on-Don, Izd-vo SKNTs VSh IuFU, 2014, p. 78 [in Russian].
[5] Ramazanov A.-R.K., Magomedova V.G., Ibragimova B.M. Comparison of the modulus of continuity of the first and second degree and estimates of polynomial approximations. Vestnik Dagestanskogo gosudarstvennogo universiteta [Vestnik of Dagestan State University], 2011, no. 6, pp. 87—93 [in Russian].
[6] Ramazanov A.-R.K., Ibragimova B.M. Nonsymmetrical integral modulus of continuity and analogue of the first theorem of Jackson. Vestnik Dagestanskogo gosudarstvennogo universiteta [Vestnik of Dagestan State University], 2010, no 6, pp. 51—54 [in Russian].
[7] Marchaud A. Sur les derives et sur les differences des fonctions de veriables reeless. J. Math. pures et appl., 1927, Vol. 6, pp. 337—425 [in French].
[8] Dzyadyk V.K. Introduction in equalmesured approximation theory of functions by polynomial. M., Nauka, 1977, 512 p. [in Russian].
[9] Timan A.F. Approximation theory of functions of the real variable. M., Fizmatgiz, 1961, 624 p. [in Russian].
B.M. Ibragimova2
ONE GENERALIZATION OF MARCHAUD INEQUALITY ON SIGNSENSITIVE WEIGHTS
At the proof of a classical Marchaud inequality for equidistant moduli of continuity of the highest degree the reduction of their definition for arbitrary sign of a step of a finite difference to positive values of this step is used. In case of moduli of continuity with a weight such reduction reduces definitions of moduli of continuity to restriction. Consequently for determination of properties of moduli of continuity with a weight other approach of reasoning is required. Unlike usual weight signsensitive weight allows to consider not only an absolute value of an increment of function, but also a sign of this increment. In the work for metrics with signsensitive weight an analogue of Marchaud inequality on estimation of modulus of continuity of given degree over modulus of continuity of a higher degree is obtained.
Key words: modulus of continuity, signsensitive weight, continuous functions, modulus of smoothness, finite differences, Marchaud inequality, classes of functions, embedding theorems.
Статья поступила в редакцию 28/V/2015. The article received 28/V/2015.
2Ibragimova Bella Muslimovna ([email protected]), Department of Mathematics, Dagestan State Institute of National Economy, 5, Ataeva Street, Makhachkala, 367008, Republic of Dagestan.
