Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives

We solve the following extremal problems: (i) \( {\left\Vert {s}^{(k)}\right\Vert}_{L_q\left[\alpha, \beta \right]}\to \sup \) and (ii) \( {\left\Vert {s}^{(k)}\right\Vert}_{W_q}\to \sup \) over all shifts of splines of order r with minimal defect and nodes at the points lh, l ∈ Z , such that L(...

Full description

Saved in:
Bibliographic Details
Date:2014
Main Authors: Kofanov, V. A., Кофанов, В. О.
Format: Article
Language:Ukrainian
English
Published: Institute of Mathematics, NAS of Ukraine 2014
Online Access:https://umj.imath.kiev.ua/index.php/umj/article/view/2125
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Ukrains’kyi Matematychnyi Zhurnal
Download file: Pdf

Institution

Ukrains’kyi Matematychnyi Zhurnal
_version_ 1860508057505628160
author Kofanov, V. A.
Кофанов, В. О.
author_facet Kofanov, V. A.
Кофанов, В. О.
author_sort Kofanov, V. A.
baseUrl_str https://umj.imath.kiev.ua/index.php/umj/oai
collection OJS
datestamp_date 2019-12-05T10:24:43Z
description We solve the following extremal problems: (i) \( {\left\Vert {s}^{(k)}\right\Vert}_{L_q\left[\alpha, \beta \right]}\to \sup \) and (ii) \( {\left\Vert {s}^{(k)}\right\Vert}_{W_q}\to \sup \) over all shifts of splines of order r with minimal defect and nodes at the points lh, l ∈ Z , such that L(s) p ≤M in the cases: (a) k =0, q ≥ p >0, (b) k =1, . . . , r −1, q ≥ 1, where [α, β] is an arbitrary interval in the real line, $$ L{(x)}_p:= \sup \left\{{\left\Vert x\right\Vert}_{L_p\left[a,b\right]}:a,b\in \mathbf{R},\kern0.5em \left|x(t)\right|>0,\kern0.5em t\in \left(a,b\right)\right\} $$ and \( {\left\Vert \cdot \right\Vert}_{W_q} \) is the Weyl functional, i.e., $$ {\left\Vert x\right\Vert}_{W_q}:=\underset{\varDelta \to \infty }{ \lim}\underset{a\in \mathbf{R}}{ \sup }{\left(\frac{1}{\varDelta }{\displaystyle \underset{a}{\overset{a+\varDelta }{\int }}{\left|x(t)\right|}^qdt}\right)}^{1/q}. $$ As a special case, we get some generalizations of the Ligun inequality for splines.
first_indexed 2026-03-24T02:19:09Z
format Article
fulltext УДК 517.5 В. А. Кофанов (Днепропетр. нац. ун-т) НЕРАВЕНСТВА ДЛЯ НЕПЕРИОДИЧЕСКИХ СПЛАЙНОВ НА ДЕЙСТВИТЕЛЬНОЙ ОСИ И ИХ ПРОИЗВОДНЫХ We solve the following extremal problems: 1)‖s(k)‖Lq [α,β] → sup and 2) ‖s(k)‖Wq → sup over all shifts of splines of order r and minimal defect with knots at the points lh, l ∈ Z, such that L(s)p ≤M in the cases: (a) k = 0, q ≥ p > 0, (b) k = 1, . . . , r − 1, q ≥ 1, where [α, β] is an arbitrary interval in the real line, L(x)p := sup { ‖x‖Lp[a,b] : a, b ∈ R, |x(t)| > 0, t ∈ (a, b) } and ‖ · ‖Wq is the Weyl functional, i.e., ‖x‖Wq := lim ∆→∞ sup a∈R  1 ∆ a+∆∫ a |x (t)|q dt 1/q . As a special case, we get some generalizations of the Ligun inequality for splines. Розв’язано наступнi екстремальнi задачi: 1)‖s(k)‖Lq [α,β] → sup i 2)‖s(k)‖Wq → sup на просторi всiх зсувiв сплайнiв порядку r мiнiмального дефекту з вузлами в точках lh, l ∈ Z, таких, щоL(s)p ≤M, у випадках: a) k = 0, q ≥ p > 0, б) k = 1, . . . , r − 1, q ≥ 1, де [α, β] — довiльний вiдрiзок дiйсноı̈ осi, L(x)p := sup { ‖x‖Lp[a,b] : a, b ∈ R, |x(t)| > 0, t ∈ (a, b) } , а ‖ · ‖Wq — функцiонал Вейля, тобто ‖x‖Wq := lim ∆→∞ sup a∈R  1 ∆ a+∆∫ a |x (t)|q dt 1/q . Зокрема, отримано деякi узагальнення нерiвностi Лигуна для сплайнiв. 1. Введение. Пусть G = R или G = [α, β] ⊂ R. Через Lp(G), 0 < p ≤ ∞, будем обозначать пространство всех измеримых функций x : G→ R таких, что ‖x‖Lp(G) <∞, где ‖x‖Lp(G) :=  ∫ G |x (t)|p dt 1/p , если 0 < p <∞, vrai sup t∈G |x (t)| , если p =∞. Вместо ‖x‖L∞(R) будем писать ‖x‖∞. Символом Lr∞, r ∈ N, будем обозначать пространство всех функций x ∈ L∞(R), имеющих локально абсолютно непрерывные производные до (r−1)- го порядка, причем x(r) ∈ L∞(R). Будем говорить, что f ∈ L1 ∞ является функцией сравнения для x ∈ L1 ∞, если ‖x‖∞ ≤ ‖f‖∞ и из равенства x(ξ) = f(η), ξ, η ∈ R, вытекает неравенство |x′(ξ)| ≤ |f ′(η)|, если указанные производные существуют. Нечетную 2ω-периодическую функцию ϕ ∈ L1 ∞ назовем S-функцией, если она обладает свойствами: ϕ является четной относительно ω/2, |ϕ| — выпуклой вверх на [0, ω] и строго монотонной на [0, ω/2]. Для k = 0, 1, 2, ... и S-функции ϕ ∈ Lk+1 ∞ через Skϕ обозначим класс функций x ∈ Lk+1 ∞ таких, что ϕ(i) является функцией сравнения для x(i), i = 0, 1, , , , k. c© В. А. КОФАНОВ, 2014 216 ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 НЕРАВЕНСТВА ДЛЯ НЕПЕРИОДИЧЕСКИХ СПЛАЙНОВ НА ДЕЙСТВИТЕЛЬНОЙ ОСИ . . . 217 Пусть далее W — класс непрерывных, неотрицательных и выпуклых функций Φ на [0,∞) таких, что Φ(0) = 0. Важнейшими примерами функций класса W являются функции Φ(t) = ts, s ≥ 1. Для p > 0 положим [1] L(x)p := sup { ‖x‖Lp[a,b] : a, b ∈ R, |x(t)| > 0, t ∈ (a, b) } . (1) Заметим, что L(x)∞ = ‖x‖∞. В работе [2] для произвольного отрезка [α, β] ⊂ R решена экстремальная задача β∫ α Φ(|x(t)|p)dt→ sup, Φ ∈W, p > 0, (2) на классе функций S0 ϕ, удовлетворяющих условию L(x)p ≤ L(ϕ)p, и как следствие получено решение задачи β∫ α Φ(|x(k)(t)|)dt→ sup, Φ ∈W, k = 1, 2, ..., (3) на классах Skϕ. В частности, задачи (2) и (3) были решены на классах {x ∈ Lr∞ : ‖x(r)‖∞ ≤ Ar, L(x)p ≤ A0} и на ограниченных подмножествах пространств Tn (тригонометрических полиномов порядка не выше n) и Sn,r (2π-периодических сплайнов порядка r дефекта 1 с узлами в точках kπ/n, k ∈ ∈ Z). Отметим, что решение задачи (3) для непрерывно дифференцируемых положительных функций Φ таких, что Φ(t)/t не убывает и Φ(0) = 0, было получено в работе Боянова и Найденова [3]. В качестве следствия ими была решена задача Эрдеша [4] о характеризации тригонометрического полинома с фиксированной равномерной нормой, график которого на заданном отрезке [α, β] ⊂ R имеет максимальную длину. Символом ϕr(t), r ∈ N, обозначим сдвиг r-го 2π-периодического интеграла с нулевым средним значением на периоде от функции ϕ0 (t) = sgn sin t такой, что ϕ(0) = 0. Для λ > 0 по- ложим ϕλ,r (t) := λ−rϕr (λt). Сплайны ϕλ,r (t) являются важнейшими примерами S-функций. Для h > 0, r ∈ N, через σh,r обозначим множество полиномиальных сплайнов s ∈ L∞ порядка r дефекта 1 с узлами в точках kh, k ∈ Z. Таким образом, s(x) на каждом из отрезков [kh, (k + 1)h] является алгебраическим многочленом порядка не выше r. Отметим, что Sn,r ⊂ ⊂ σh,r при h = π/n, n ∈ N. Ясно, что для подходящего сдвига ϕλ,r(·+ τ) при λ = π/h имеет место включение ϕλ,r(·+ τ) ∈ σh,r . В настоящей работе получено обобщение (теорема 1) одного неравенства Магарил-Ильяева [5] для сплайнов класса σh,r. С помощью теоремы 1 и результатов работы [2] для произвольного отрезка [α, β] ⊂ R, заданных r ∈ N, A, h, p > 0 решена экстремальная задача β∫ α Φ(|s(k)(t)|p)dt→ sup, Φ ∈W, ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 218 В. А. КОФАНОВ на классе сдвигов сплайнов s ∈ σh,r, удовлетворяющих условию L(s)p ≤ AL(ϕλ,r)p, λ = π/h, (4) в следующих случаях: 1) k = 0, p > 0, 2) k = 1, ..., r − 1, p = 1 (теорема 2). Как след- ствие решена задача (аналогичная проблеме Эрдeша) о характеризации сплайна s ∈ σh,r с фиксированной равномерной нормой, график которого на заданном отрезке [α, β] ⊂ R имеет максимальную длину (следствие 2). Известно (см., например, [6]), что для функции x такой, что x ∈ Lq[a, b] для любых a, b ∈ R, существует предел lim ∆→∞ sup a∈R  1 ∆ a+∆∫ a |x (t)|q dt 1/q =: ‖x‖Wq . (5) Функционал ‖x‖Wq используется при определении почти периодических в смысле Вейля функ- ций [7]. Отметим, что неравенства для производных в пространствах Вейля изучались в работах [8, 9]. С использованием результатов работы [9] и теоремы 1 в настоящей работе доказано точ- ное неравенство (теорема 3) ∥∥∥s(k) ∥∥∥ Wq ≤ (π h )k+1/p  1 π π∫ 0 |ϕr−k(t)|qdt  1/q L(s)p L(ϕr)p , s ∈ σh,r, (6) и решена экстремальная задача ‖s(k)‖Wq → sup на классе сплайнов s ∈ σh,r, удовлетворяющих условию (4), в случаях: 1) k = 0, q ≥ p > 0, 2) k = 1, ..., r − 1, q ≥ 1. Отметим, что при h = π/n, n ∈ N, k > 0, q < p = ∞ неравенство (6) (для s ∈ Sn,r) трансформируется в известное неравенство Лигуна [10] для 2π-периодических сплайнов, а при q = p =∞ оно было доказано ранее В. М. Тихомировым [11]. 2. Вспомогательные утверждения. Лемма 1. Пусть r ∈ N, p > 0. Тогда для любой функции x ∈ Lr∞ ‖x‖∞ ≤ ‖ϕr‖∞ ( L(x)p L(ϕr)p )α ‖x(r)‖1−α∞ , где α = r/(r + 1/p), а функционал L(x)p определен равенством (1). Доказательство. Зафиксируем функцию x ∈ Lr∞ такую, что L(x)p < ∞. Положим Ar := := ‖x(r)‖∞ и выберем λ > 0 так, чтобы L(x)p = ArL(ϕλ,r)p. (7) Используя очевидное равенство L(ϕλ,r)p = λ−(r+1/p)L(ϕr)p, из (7) имеем λ−1 = ( L(x)p ArL(ϕr)p ) 1 r+1/p . ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 НЕРАВЕНСТВА ДЛЯ НЕПЕРИОДИЧЕСКИХ СПЛАЙНОВ НА ДЕЙСТВИТЕЛЬНОЙ ОСИ . . . 219 В работе [12] (следствие 1) доказано, что из условия (7) для функции x ∈ Lr∞ следует неравен- ство ‖x‖∞ ≤ Ar‖ϕλ,r‖∞ = Arλ −r‖ϕr‖∞. Поэтому ‖x‖∞ ≤ Ar ‖ϕr‖∞ ( L(x)p ArL(ϕr)p ) r r+1/p = ‖ϕr‖∞ ( L(x)p L(ϕr)p )α ‖x(r)‖1−α∞ . Лемма 1 доказана. Докажем теперь необходимую в дальнейшем модификацию следующего неравенства Магарил- Ильяева [5] для непериодических сплайнов:∥∥∥s(r) ∥∥∥ ∞ ≤ (π h )r ‖s‖∞ ‖ϕr‖∞ , s ∈ σh,r. (8) Лемма 2. Пусть r ∈ N, p, h > 0. Тогда для любого сплайна s ∈ σh,r∥∥∥s(r) ∥∥∥ ∞ ≤ (π h )r+1/p L(s)p L(ϕr)p . Доказательство. Зафиксируем сплайн s ∈ σh,r. Ясно, что s ∈ Lr∞. Поэтому, применяя к нему неравенство (8) и оценивая далее норму ‖s‖∞ с помощью леммы 1, получаем∥∥∥s(r) ∥∥∥ ∞ ≤ (π h )r ( L(s)p L(ϕr)p )α ‖s(r)‖1−α∞ , α = r/(r + 1/p), или ∥∥∥s(r) ∥∥∥α ∞ ≤ (π h )r ( L(s)p L(ϕr)p )α . Отсюда непосредственно следует утверждение леммы 2, если учесть, что r/α = r + 1/p. Ниже приведены необходимые в дальнейшем результаты работы [2]. Пусть ϕ — S-функция с периодом 2ω. Зафиксируем произвольный отрезок [α, β] ⊂ R и p > 0. Следуя Боянову и Найденову [3], представим длину отрезка [α, β] в виде β − α = nω + 2Θ, Θ ∈ (0, ω), (9) где n ∈ N или n = 0, и рассмотрим функцию ϕ(t+ τ), где τ выбрано так, что |ϕ(α+ Θ + τ)| = |ϕ(β −Θ + τ)| = ‖ϕ‖∞. (10) Теорема A [2]. Пусть ϕ — S-функция, [α, β] ⊂ R, p > 0, Φ ∈W . Тогда sup  β∫ α Φ(|x(t)|p)dt : x ∈ S0 ϕ, L(x)p ≤ L(ϕ)p  = β∫ α Φ(|ϕ(t+ τ)|p)dt, где τ выбрано из условия (10). Кроме того, если k ∈ N, ϕ ∈ Lk+1 ∞ — S-функция, то sup  β∫ α Φ(|x(k)(t)|)dt : x ∈ Skϕ  = β∫ α Φ(|ϕ(k)(t+ τ + τk)|)dt, где τk := ω 4 ( 1 + (−1)k+1 ) . ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 220 В. А. КОФАНОВ Для функций, имеющих нули, справедлива также следующая теорема. Теорема B [2]. Пусть r ∈ N, p > 0, Φ ∈ W . Если функция x ∈ Lr∞ и отрезок [α, β] ⊂ R таковы, что L(x)p <∞ и x(α) = x(β) = 0, то 1 β − α β∫ α Φ(|x(t)|p)dt ≤ 1 π π∫ 0 Φ ( ∣∣∣∣∣ ( L(x)p L(ϕr)p ) r r+1/p ∥∥∥x(r) ∥∥∥ 1/p r+1/p ∞ ϕr(t) ∣∣∣∣∣ p ) dt. (11) Кроме того, если k = 1, . . . , r − 1, а функция x ∈ Lr∞ и отрезок [a, b] ⊂ R удовлетворяют условию x(k)(a) = x(k)(b) = 0, то 1 β − α β∫ α Φ(|x(k)(t)|)dt ≤ 1 π π∫ 0 Φ ( ( L(x)p L(ϕr)p ) r−k r+1/p ∥∥∥x(r) ∥∥∥ k+1/p r+1/p ∞ |ϕr−k(t)| ) dt. (12) 3. Основные результаты. Теорема 1. Пусть r ∈ N, k = 0, 1, . . . , r − 1, p > 0. Тогда для любого сплайна s ∈ σh,r∥∥∥s(k) ∥∥∥ ∞ ≤ (π h )k+1/p L(s)p L(ϕr)p ‖ϕr−k‖∞ . (13) Неравенство (13) является точным на классе σh,r и обращается в равенство для любого сдвига s(·+ τ) сплайна s(t) = ϕλ,r(t), где λ = π/h. Доказательство. При k = r теорема уже доказана (лемма 2). Зафиксируем сплайн s ∈ σh,r и докажем (13) для остальных значений k. Пусть сначала k = 0. Оценивая ‖s‖∞ с помощью леммы 1, а затем ‖s(r)‖∞− с помощью леммы 2, получаем ‖s‖∞ ≤ ‖ϕr‖∞ ( L(s)p L(ϕr)p )α ‖s(r)‖1−α∞ ≤ ‖ϕr‖∞ ( L(s)p L(ϕr)p )α [(π h )r+1/p L(s)p L(ϕr)p ]1−α , где α = r/(r + 1/p). Отсюда следует (13) при k = 0, если учесть, что (1− α)(r + 1/p) = 1/p. Пусть теперь k = 1, ..., r − 1. Применим к сплайну s неравенство Колмогорова [13]: ∥∥∥s(k) ∥∥∥ ∞ ≤ ‖ϕr−k‖∞ ( ‖s‖∞ ‖ϕr‖∞ ) r−k r ∥∥∥s(r) ∥∥∥ kr ∞ . Снова оценивая ‖s‖∞ с помощью леммы 1, находим ∥∥∥s(k) ∥∥∥ ∞ ≤ ‖ϕr−k‖∞ [( L(s)p L(ϕr)p )α ‖s(r)‖1−α∞ ] r−k r ∥∥∥s(r) ∥∥∥ kr ∞ = = ‖ϕr−k‖∞ ( L(s)p L(ϕr)p )α r−k r ∥∥∥s(r) ∥∥∥ kr+(1−α) r−k r ∞ . Оценивая теперь ‖s(r)‖∞ с помощью леммы 2 и учитывая равенство k r + (1 − α) r − k r = = 1− αr − k r , имеем ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 НЕРАВЕНСТВА ДЛЯ НЕПЕРИОДИЧЕСКИХ СПЛАЙНОВ НА ДЕЙСТВИТЕЛЬНОЙ ОСИ . . . 221 ∥∥∥s(k) ∥∥∥ ∞ ≤ ‖ϕr−k‖∞ ( L(s)p L(ϕr)p )α r−k r [(π h )r+1/p L(s)p L(ϕr)p ]1−α r−k r = = ‖ϕr−k‖∞ (π h )(r+1/p)(1−α r−k r ) L(s)p L(ϕr)p . Отсюда следует (13), если учесть, что( r + 1 p )( 1− αr − k r ) = ( r + 1 p )( 1− r r + 1/p · r − k r ) = = ( r + 1 p )( 1− r − k r + 1/p ) = ( r + 1 p ) k + 1/p r + 1/p = k + 1 p . Точность неравенства (13) легко проверяется с помощью равенства L(ϕλ,r)p = = λ−(r+1/p)L(ϕr)p. Теорема 1 доказана. Замечание 1. При h = π/n, n ∈ N, k > 0, p = ∞ неравенство (13) (для s ∈ Sn,r) было доказано в [11]. Для A0, h, p > 0 положим λ = π/h и σh,r(A0, p) := {s(·+ τ) : s ∈ σh,r, L(s)p ≤ A0L(ϕλ,r)p, τ ∈ R} . (14) Теорема 2. Пусть r ∈ N, A0, h, p > 0, λ = π/h, Φ ∈ W . Тогда для любого отрезка [α, β] ⊂ R sup  β∫ α Φ(|s(t)|p)dt : s ∈ σh,r(A0, p)  = β∫ α Φ(|A0ϕλ,r(t+ τ)|p)dt, где τ удовлетворяет равенству (10) с ϕ = ϕλ,r, т. е. |ϕλ,r(α + θ + τ)| = |ϕλ,r(β − θ + τ)| = = ‖ϕλ,r‖∞, а θ определено равенством (9) с ω = h, т. е. β − α = mh + 2Θ, где m ∈ N или m = 0, Θ ∈ (0, h/2). Кроме того, для любого k = 1, . . . , r − 1 sup  β∫ α Φ(|s(k)(t)|)dt : s ∈ σh,r(A0, p)  = β∫ α Φ ((π h )k A0|ϕλ,r−k(t+ τ + τk)| ) dt, где τk := h 4 ( 1 + (−1)k+1 ) . Доказательство. Положим ϕ(t) := A0ϕλ,r(t). Ясно, что ϕ является S-функцией с периодом 2ω = 2π/λ = 2h. Покажем, что для любого k = 0, 1, , ..., r − 1 имеет место включение σh,r(A0, p) ⊂ Skϕ. (15) Зафиксируем s ∈ σh,r. Применяя неравенство (13) при k = 0, получаем ‖s‖∞ ≤ (π h )1/p L(s)p L(ϕr)p ‖ϕr‖∞ . ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 222 В. А. КОФАНОВ Из этого неравенства и условия L(s)p ≤ A0L(ϕλ,r)p = A0λ −(r+1/p)L(ϕr)p, вытекающего из определения (14), следует, что ‖s‖∞ ≤ λ 1/p A0λ −(r+1/p)L(ϕr)p L(ϕr)p ‖ϕr‖∞ = A0λ −r‖ϕr‖∞ = A0‖ϕλ,r‖∞. Отсюда в силу неравенства (8) имеем∥∥∥s(r) ∥∥∥ ∞ ≤ (π h )r ‖s‖∞ ‖ϕr‖∞ ≤ λrA0λ −r‖ϕr‖∞ ‖ϕr‖∞ = A0. Таким образом, выполнены оба условия ‖s‖∞ ≤ A0‖ϕλ,r‖∞ и ∥∥s(r) ∥∥ ∞ ≤ A0 теоремы сравнения Колмогорова [13]. Согласно этой теореме ϕ(t) является функцией сравнения для s, а ϕ(k) — функцией сравнения для s(k), k = 0, 1, . . . , r − 1. Тем самым включение (15) доказано. Теперь утверждение теоремы 2 следует из теоремы A. Теорема 2 доказана. Полагая Φ(t) = tq/p в первой части теоремы и Φ(t) = tq во второй ее части, получаем такое следствие. Следствие 1. Пусть r ∈ N, A0, h, p > 0, λ = π/h. Если k = 0, q ≥ p > 0 или k = 1, . . . , r − 1, q ≥ 1, то для любого отрезка [α, β] ⊂ R sup { ‖s(k)‖Lq [α,β] : s ∈ σh,r(A0, p) } = A0 (π h )k ‖ϕλ,r−k(·+ τ + τk)‖Lq [α,β], где τ и τk такие, как в теореме 2. Как известно, длина дуги l[a, b] графика функции x ∈ L1[a, b] задается формулой l[a, b] = = ∫ b a √ 1 + x′(t)2dt. Ясно, что для функции Φ0(t) = √ 1 + t2 имеет место включение Φ0 ∈W . Поэтому, полагая во второй части теоремы 2 Φ = Φ0, k = 1, p = ∞ и замечая, что τ1 = h/2, получаем такое следствие. Следствие 2. Пусть r ∈ N, A0, h > 0, λ = π/h, [a, b] ⊂ R. Тогда среди всех сдвигов сплайнов s ∈ σh,r, удовлетворяющих условию ‖s‖∞ ≤ A0‖ϕλ,r‖∞, наибольшую длину дуги на отрезке [a, b] имеет график сплайна ϕ(t) = A0 · ϕλ,r(t + τ + h/2), где τ такое же, как в теореме 2. Теорема 3. Пусть r ∈ N, h, p > 0. Если k = 0, q ≥ p > 0 или k = 1, . . . , r − 1, q ≥ 1, то для любого сплайна s ∈ σh,r ∥∥∥s(k) ∥∥∥ Wq ≤ (π h )k+1/p  1 π π∫ 0 |ϕr−k(t)|qdt  1/q L(s)p L(ϕr)p , (16) где величина ‖·‖Wq определена равенством (5). Неравенство (16) является точным на классе σh,r и обращается в равенство для любого сдвига s(·+ τ) сплайна s(t) = ϕλ,r(t), где λ = π/h. Кроме того, для любого A0 > 0 sup { ‖s(k)‖Wq : s ∈ σh,r(A0, p) } = A0‖ϕλ,r−k‖Wq . ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 НЕРАВЕНСТВА ДЛЯ НЕПЕРИОДИЧЕСКИХ СПЛАЙНОВ НА ДЕЙСТВИТЕЛЬНОЙ ОСИ . . . 223 Доказательство. Зафиксируем сплайн s ∈ σh,r. Поскольку s ∈ Lr∞, в силу теоремы 4 из работы [9] имеет место неравенство ∥∥∥s(k) ∥∥∥ Wq ≤  1 π π∫ 0 |ϕr−k(t)|qdt  1/q ( L(s)p L(ϕr)p )α ‖s(r)‖1−α∞ , где α = (r−k)/(r+1/p). Оценивая ‖s(r)‖∞ в этом неравенстве с помощью леммы 2, получаем (16), если учесть, что (r + 1/p)(1− α) = k + 1/p. Для доказательства точности (16) заметим, что для T -периодической функции x ‖x‖Wq =  1 T T∫ 0 |x (t)|q dt 1/q . (17) Поэтому ‖ϕλ,r−k‖Wq = λ π π/λ∫ 0 |ϕλ,r−k (t)|q dt  1/q = = λ π · λ−(r−k)q−1 π∫ 0 |ϕr−k (t)|q dt 1/q = λ−(r−k)  1 π π∫ 0 |ϕr−k (t)|q dt 1/q . (18) С помощью (18) и равенства L(ϕλ,r)p = λ−(r+1/p)L(ϕr)p легко проверяется точность неравен- ства (16). Для доказательства второго утверждения теоремы заметим, что в силу (16) и определения (14) для любого сплайна s ∈ σh,r выполнено неравенство ∥∥∥s(k) ∥∥∥ Wq ≤ (π h )k+1/p  1 π π∫ 0 |ϕr−k(t)|qdt  1/q A0L(ϕλ,r)p L(ϕr)p . Учитывая снова (18) и равенство L(ϕλ,r)p = λ−(r+1/p)L(ϕr)p, имеем ∥∥∥s(k) ∥∥∥ Wq ≤ λk+1/p  1 π π∫ 0 |ϕr−k(t)|qdt  1/q A0λ −(r+1/p) = A0‖ϕλ,r−k‖Wq . Отсюда непосредственно следует второе утверждение теоремы 2. Теорема 3 доказана. Замечание 2. Пусть h = π/n, n ∈ N, k > 0, q < p = ∞. Если учесть (17), то легко видеть, что неравенство (16) (для 2π-периодических сплайнов s ∈ Sn,r) трансформируется в неравенство Лигуна [10] ∥∥∥s(k) ∥∥∥ Lq [0,2π] ≤ nk ‖ϕr−k‖Lq [0,2π] ‖ϕr‖∞ ‖s‖∞ . (19) Неравенство (19) при q =∞ было доказано в [11]. ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 224 В. А. КОФАНОВ Теорема 4. Пусть r ∈ N, h, p > 0, Φ ∈ W . Если сплайн s ∈ σh,r и отрезок [α, β] ⊂ R таковы, что s(α) = s(β) = 0, то 1 β − α β∫ α Φ(|s(t)|p)dt ≤ 1 π π∫ 0 Φ ( π h ∣∣∣∣ L(s)p L(ϕr)p ϕr(t) ∣∣∣∣p) dt. Кроме того, если k = 1, . . . , r − 1, а сплайн s ∈ σh,r и отрезок [a, b] ⊂ R удовлетворяют условию s(k)(a) = s(k)(b) = 0, то 1 β − α β∫ α Φ(|s(k)(t)|)dt ≤ 1 π π∫ 0 Φ ((π h )k+1/p L(s)p L(ϕr)p |ϕr−k(t)| ) dt. Доказательство. Зафиксируем сплайн s ∈ σh,r и отрезок [α, β] ⊂ R, удовлетворяющие условию теоремы. Поскольку s ∈ Lr∞, для сплайна s выполнено неравенство (11): 1 β − α β∫ α Φ(|s(t)|p)dt ≤ 1 π π∫ 0 Φ ∣∣∣∣∣ ( L(s)p L(ϕr)p ) r r+1/p ∥∥∥s(r) ∥∥∥ 1/p r+1/p ∞ ϕr(t) ∣∣∣∣∣ p  dt. Отсюда, оценивая ∥∥s(r) ∥∥ ∞ с помощью неравенства∥∥∥s(r) ∥∥∥ ∞ ≤ (π h )r+1/p L(s)p L(ϕr)p , получаем первое утверждение теоремы 4. Применяя неравенство (12) вместо неравенства (11) и оценивая затем ∥∥s(r) ∥∥ ∞ с помощью леммы 2, получаем второе утверждение теоремы 4. Теорема 4 доказана. Полагая Φ(t) = tq/p в первой части теоремы и Φ(t) = tq во второй ее части, получаем такое следствие. Следствие 3. Пусть r ∈ N, h, p > 0, λ = π/h. Если k = 0, q ≥ p > 0 или k = 1, ..., r − 1, q ≥ 1, а сплайн s ∈ σh,r и отрезок [a, b] ⊂ R удовлетворяют условию s(k)(a) = s(k)(b) = 0, то( 1 b− a )1/q ∥∥∥s(k) ∥∥∥ Lq [a,b] ≤ (π h )k+1/p ( 1 π )1/q ‖ϕr−k‖Lq [0,π] L(s)p L(ϕr)p . Замечание 3. Последнее неравенство, как и неравенство (16), является обобщением нера- венства (19). 1. Pinkus A., Shisha O. Variations on the Chebyshev and Lq theories of best approximation // J. Approxim. Theory. – 1982. – 35, № 2. – P. 148 – 168. 2. Кофанов В. А. Точные верхние грани норм функций и их производных на классах функций с заданной функцией сранения // Укр. мат. журн. – 2011. – 63, № 7. – С. 969 – 984. 3. Bojanov B., Naidenov N. An extension of the Landau – Kolmogorov inequality. Solution of a problem of Erdos // J. d’Anal. Math. – 1999. – 78. – P. 263 – 280. 4. Erdös P. Open problems // Open Problems in Approxim. Theory / Ed. B. Bojanov. – Singapore: SCT Publ., 1994. – P. 238 – 242. ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2 НЕРАВЕНСТВА ДЛЯ НЕПЕРИОДИЧЕСКИХ СПЛАЙНОВ НА ДЕЙСТВИТЕЛЬНОЙ ОСИ . . . 225 5. Магарил-Ильяев Г. Г. О наилучших приближениях сплайнами функциональных классов на оси // Труды Мат. ин-та РАН. – 1992. – 194. – С. 153 – 154. 6. Левитан Б. M. Почти периодические функции. – М.: Гостехиздат, 1953. – 396 с. 7. Weyl H. Almost periodic invariant vector sets in a metric vector spase // Amer. J. Math. – 1949. – 71, № 1. – P. 178 – 205. 8. Бабенко В. Ф., Селиванова С. А. О неравенствах типа Колмогорова для периодических и непериодических функций // Диференцiальнi рiвняння та ı̈х застосування. – Днiпропетровськ: Днiпропетр. нац. ун-т, 1998. – C. 91 – 95. 9. Kofanov V. A. Some extremal problems various metrics and sharp inequalities of Nagy – Kolmogorov type // East. J. Approxim. – 2010. – 16, № 4. – P. 313 – 334. 10. Лигун А. А. Точные неравенства для сплайн-функций и наилучшие квадратурные формулы для некоторых классов функций // Мат. заметки. – 1976. – 19, № 6. – С. 913 – 926. 11. Тихомиров В. М. Поперечники множеств в функциональных пространствах и теория наилучших приближе- ний // Успехи мат. наук. – 1960. – 15, № 3. – С. 81 – 120. 12. Кофанов В. А. О некоторых экстремальных задачах разных метрик для дифференцируемых функций на оси // Укр. мат. журн. – 2009. – 61, № 6. – С. 765 – 776. 13. Колмогоров А. Н. О неравенствах между верхними гранями последовательных производных функции на бесконечном интервале // Избр. труды. Математика, механика. – М.: Наука, 1985. – С. 252 – 263. Получено 06.02.13 ISSN 1027-3190. Укр. мат. журн., 2014, т. 66, № 2
id umjimathkievua-article-2125
institution Ukrains’kyi Matematychnyi Zhurnal
keywords_txt_mv keywords
language Ukrainian
English
last_indexed 2026-03-24T02:19:09Z
publishDate 2014
publisher Institute of Mathematics, NAS of Ukraine
record_format ojs
resource_txt_mv umjimathkievua/5b/cbe800b03232b4befdcb96b6bf6ca45b.pdf
spelling umjimathkievua-article-21252019-12-05T10:24:43Z Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives Неравенства для непериодических сплайнов на действительной оси и их производных Kofanov, V. A. Кофанов, В. О. We solve the following extremal problems: (i) \( {\left\Vert {s}^{(k)}\right\Vert}_{L_q\left[\alpha, \beta \right]}\to \sup \) and (ii) \( {\left\Vert {s}^{(k)}\right\Vert}_{W_q}\to \sup \) over all shifts of splines of order r with minimal defect and nodes at the points lh, l ∈ Z , such that L(s) p ≤M in the cases: (a) k =0, q ≥ p &gt;0, (b) k =1, . . . , r −1, q ≥ 1, where [α, β] is an arbitrary interval in the real line, $$ L{(x)}_p:= \sup \left\{{\left\Vert x\right\Vert}_{L_p\left[a,b\right]}:a,b\in \mathbf{R},\kern0.5em \left|x(t)\right|&gt;0,\kern0.5em t\in \left(a,b\right)\right\} $$ and \( {\left\Vert \cdot \right\Vert}_{W_q} \) is the Weyl functional, i.e., $$ {\left\Vert x\right\Vert}_{W_q}:=\underset{\varDelta \to \infty }{ \lim}\underset{a\in \mathbf{R}}{ \sup }{\left(\frac{1}{\varDelta }{\displaystyle \underset{a}{\overset{a+\varDelta }{\int }}{\left|x(t)\right|}^qdt}\right)}^{1/q}. $$ As a special case, we get some generalizations of the Ligun inequality for splines. Розв&#039;язано наступні екстремальні задачі: 1) ${\left\Vert {s}^{(k)}\right\Vert}_{L_q\left[\alpha, \beta \right]}\to \sup$ 2)${\left\Vert {s}^{(k)}\right\Vert}_{W_q}\to \sup$ на npocтopi всіх зсувів сплайнів порядку $r$ мінімального дефекту з вузлами в точках $lh, l ∈ Z,$ таких, що $L(s)_p ≤M$, у випадках: a)$k =0, q ≥ p &gt;0$, б)$k =1, . . . , r −1, q ≥ 1$, де $[α, β]$ — довільний відрізок дійсної осі, $$L{(x)}_p:= \sup \left\{{\left\Vert x\right\Vert}_{L_p\left[a,b\right]}:a,b\in \mathbf{R},\kern0.5em \left|x(t)\right|&gt;0,\kern0.5em t\in \left(a,b\right)\right\}$$ ${\left\Vert \cdot \right\Vert}_{W_q}$ — функціонал Вейля, тобто $${\left\Vert x\right\Vert}_{W_q}:=\underset{\varDelta \to \infty }{ \lim}\underset{a\in \mathbf{R}}{ \sup }{\left(\frac{1}{\varDelta }{\displaystyle \underset{a}{\overset{a+\varDelta }{\int }}{\left|x(t)\right|}^qdt}\right)}^{1/q}.$$ Зокрема, отримано деякі узагальнення нерівності Лигуна для сплайшв. Institute of Mathematics, NAS of Ukraine 2014-02-25 Article Article application/pdf https://umj.imath.kiev.ua/index.php/umj/article/view/2125 Ukrains’kyi Matematychnyi Zhurnal; Vol. 66 No. 2 (2014); 216–225 Український математичний журнал; Том 66 № 2 (2014); 216–225 1027-3190 uk en https://umj.imath.kiev.ua/index.php/umj/article/view/2125/1252 https://umj.imath.kiev.ua/index.php/umj/article/view/2125/1253 Copyright (c) 2014 Kofanov V. A.
spellingShingle Kofanov, V. A.
Кофанов, В. О.
Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives
title Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives
title_alt Неравенства для непериодических сплайнов на действительной оси и их производных
title_full Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives
title_fullStr Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives
title_full_unstemmed Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives
title_short Inequalities for Nonperiodic Splines on the Real Axis and Their Derivatives
title_sort inequalities for nonperiodic splines on the real axis and their derivatives
url https://umj.imath.kiev.ua/index.php/umj/article/view/2125
work_keys_str_mv AT kofanovva inequalitiesfornonperiodicsplinesontherealaxisandtheirderivatives
AT kofanovvo inequalitiesfornonperiodicsplinesontherealaxisandtheirderivatives
AT kofanovva neravenstvadlâneperiodičeskihsplajnovnadejstvitelʹnojosiiihproizvodnyh
AT kofanovvo neravenstvadlâneperiodičeskihsplajnovnadejstvitelʹnojosiiihproizvodnyh