CC BY
23
Математика. Физика
yflK 517.518
SUMMATION OF POWER SERIES OF FUNCTIONS OF CLASSES Hp ON BOUNDARY OF THE CONVERGENCE CIRCLE
A. D. Nakhman
Department of Applied Mathematics and Mechanics, TSTU; [email protected]
Key words and phrases: exponential summarizing sequences; weighted Hardy spaces; weighted norm estimates.
Abstract: The estimates of Hp -norm of maximal operators, generated by methods Xk (h) = exp(-hua (| k |), k = 0, ± 1,..., a> 0 of summation of power series
9(exp(ix)) ~ ^ |k (9) exp(ikx) are obtained. The results are based on the estimates of
k=0
LVp -norms of means of series and conjugated Fourier series of function f (x) = Re 9 (exp(ix)).
1. Hardy classes. Ap is condition. Let Hp be weighted Hardy space of all
functions 9 = 9(z) of complex variable z = r exp(ix), 0 < r < 1, x e Q, which are analytic in a circle of | z |< 1, for which
|| 9 ||v p = sup f | 9(r exp(ix))|p v(x) dx <œ and Im 9(0) = 0. (1)
r\ ^ .1 » Q
0< r <1
Here, v = v(x) > 0 is fixed function from the class of measurable on Q = (-n, n] and 2n -periodic functions.
It is said that any function f from this class belongs to weight space
LP = LP (Q), if
II f llv,p = (iQ I f (x) |P v(x)flx) 17P < «, p > 1.
In the case of Lebesque spaces Lp = Lp (Q) we have for v = 1; in particular, L = L1(Q). It is denoted as follows:
^(v; Q)=(r^i JQv(t)diiiOi > p > 1
C \ p-1
where Q is arbitrary interval, and multiplier IJqv_1/(p-1)(t)dt1 is equal esssup-^ for p = 1 by definition.
teQ v(t)
It is said that Ap -condition of Muckenhoupt-Rozenblum [1, 2] is satisfied and the
notation v e Ap is applicable, if sup Ap (v; Q) < to, p > 1. In the present work, as well
Q
as in [1 - 3], we suppose 0 • to = 0. Then
C \p-1
[^J^v"1/(p-1)(t)dt 1 < to for v e Ap, p > 1,
since otherwise J v(t)dt = 0, but this trivial case of v(t) ~ 0 (v(x) = 0 almost
everywhere), we exclude from consideration. It is possible to consider
now, that every 9 e Hvp is a function from Hardy class H [4, vol. 1, p. 431], which corresponds to a case of v = 1, p = 1. In fact
Jq | cp(t) | dt = Jq | 9(t) | v1/p(t)v"1/p(t)dt < ^Jq | 9(t)|pv(t)dtj p(jQV1/^-1)(t)dt] p P <to;
we have used the Helder inequality here for p > 1 and the agreement on
p-1
JQv"1/( p-1)(t )dt j for p = 1. It can be assumed (in just the same way), that every
f e Lp (Q) is a function from the class L(Q).
We exclude a trivial case of v(x) ~ to from consideration. Then Jqv(x)dx < to,
p-1
since otherwise Ap - a condition that implies the relation f Jqv_1/(p-1)(t)dt \ = 0, so
that v(x) ~ to. Let E be a set which is measurable by Lebesque. We introduce now the following measure of E: |a{E} = J v(x)dx.
In this paper we consider the so-called exponential means of expansions of analytical functions 9 e Hp on the boundary of the convergence circle. In paragraph 3 we assert their relations with the corresponding means of Fourier series and conjugate Fourier series of functions f (x) = Re 9 (expix). In turn, the latest estimates are based on the properties of the maximal operators
x+n
1
f= f( x) = sup — J1 f (t)|dt, (2)
n>0 nx-n
f = f (x) = sup
n>0
J fx+i) dt
n<|t|<n 2tg ~2
(3)
The operators (2), (3) are defined for every f e L [4, vol. 1, p. 60-61, 401, 442,
~ 1 c t
443]; besides the conjugate function f (x) =— lim I f (x + t)ctg-dt exists
2 n^+0 2
n<|t|<n
almost everywhere.
In papers [1, 3] the following results are shown:
- the boundedness of operators (2) and (3) from Lp in Lp is equivalent to condition v e Ap for every p > 1;
- the estimates of "week type"
^ e 0|/(x) >q> 0}< , ,jx e Q|/(x) >,> 0 J < (4)
are equivalent to condition v e Ap for every p > 1.
Here, C = Cv, p will represent a constant, though not necessarily one such constant.
2. Exponential methods of summation. Let f e L, and
1 n
ck (f) = — | f (t)exp(-kt) dt, k e Z (5)
- n
be a sequence of its complex Fourier coefficients. For this function we consider Fourier series
^
s[ f, x] = ^ Ck (f) exp(ikx) (6)
k=-<»
and conjugate Fourier series
s[f, x] = -i ^ (sgn k)Ck (f) exp(ikx). (7)
k=—»
In various questions of the analysis there is a problem of behavior of families means of (5), (6)
^
Uh (f) = U (f, x; X, h) = X Vl (h)Ck (f) exp(ikx) (8)
k=—<»
and
Uh(f) = U(f,x;X,h) = -i X(sgnk)X\k|(h)Ck(f)exp(ikx), (9)
k=-»
at h ^ +0. Here,
A = {Xk(h), k = 0,1,...} (10)
is the arbitrary sequence infinite, generally speaking, determined by values of parameter h > 0. In a case of the discrete parameter h , a summability of Fourier series in points of Lebesgue and uniformly with respect to x on an interval of a continuity of function was studied by many authors [5]. In the general case, we say that the sequence (10) defines a semi-continuous method of summability; the most interest is represented by the regular methods of summability. Namely, we say that the method (10) is regular, if the convergence of the series (6) to f = f (x) (in the point x or in the corresponding metric space) implies the convergence of means (8) to f = f (x) at h ^ +0. As it is shown in [6, p. 79], the regularity conditions of methods (10) are as follows:
X0(h) = 1, lim Xk(h) = 1, k = 0,1,..., (11)
to
sup Y|AXk(h) | < to. (12)
h >0 k=0
In this paper we consider mainly the so-called exponential summation methods. Namely, we assume that
X 0(h) = 1, Xk (h) = X(x, h)| x=k , k = 1,2,..., where X(x, h) = exp(-hua (x)), a> 0, (13) and a non-negative function u(x) is continuous on [0,+to) and twice differentiable on
(0,+to). Specifically, when h = ln1, 0 < r < 1, t(x) = x we have in (8), (9) a family of
r
classical means (conjugated means) of Poisson - Abel
TO ~ TO
(f,x) = Yr|k|ck(f)exp(ikx) and CTr(f,x) = -i Y(sgnk)r|k|Ck(f)exp(ikx). (14)
k=—TO k=-TO
3. The means of power series and Fourier series (conjugate series). Let's consider now 9 e H. The behavior of
TO
9(rexp(ix)) = Ylk(9)rk exp(ikx), 0 < r < 1, x e Q, (15)
k=0
on the boundary of the convergence circle (r ^ 1), has been well studied. So [9, p. 541],
9(exp(ix)) = lim 9(r exp(ix)) = f (x) + ig (x) (16)
r
exists almost everywhere. Here, f, g e L, and the coefficients ik (9) in the expansion (15) can be estimated as
1
lk(9) = — L 9(exp(it)) exp(-ikt) dt, k = 0,1,...; (17)
2tcj Q
it is natural to assume that |k (9) = 0 when k < 0. If we put
TO
9(exp(ix)) ~ Ylk (9) exp(ikx), (18)
k=0
then (15) can be considered as a family of Poisson - Abel means of series (18) on the boundary of the convergence circle. Then it will be natural to consider a more general exponential means
TO
®h (9) = ®(9, x; X, h) = Yl k (9)X k (h)exp(ikx) (19)
k=0
of the series (18), where X k (h) are defined in the form of (13). The following statement establishes a relation between the families (19), (8), (9).
Theorem 3.1. If 9 e H and f (x) = Re 9(exp(ix)), then the representation
©(9, x; X, h) = U (f, x; X, h) + i U( f, x; X, h) (20)
holds. In particular (see (14)), 9 (r exp(ix)) = CTr (f, x) + i CTr (f, x).
The proof of (20) will be based on the arguments similar to [7, p. 542 - 545]. Firstly, we prove that the coefficients of (17) are related to the Fourier coefficients (5) of function f = f ( x) = Re 9(exp(/'x)) as follows:
We have so that Further,
M f) = co( f), Pk ( f) = 2ck ( f), k = 1,2,... (21)
Pk (f) = ck (f) + ick (g ), к = 0,1,2,..., (22)
co(g ) = Im МФ) = Im ф(0) = 0. (23)
ick (g) = (sgn k )ck (f). (24)
Indeed, for k < 0 the equality (24) is equivalent to Ck (f) + ick (g) = mk (9) = 0, and for k > 0 it follows from the relation
L (f (x) - ig (x)) exp(-ikx) dx = 0, J Q
which holds as its real and imaginary parts are equal, respectively, to the real and imaginary part of the obvious equality
L ( f ( x) + ig ( x)) exp(ikx) dx = ц_к (ф) = 0.
>Q
Thus, we see that (21) there is a consequence of (22) - (24).
It should be noted that, according to (21), the right-hand side of (20) takes the form
C0( f) + 2 k (h)Ck (f)exp(ikx) = ^ k (h)M k (9)exp(ikx),
k=1 k=0
and this is the assertion of Theorem 3.1.
Now the study of means (19) reduces to the study of means (8) and (9). 4. The estimates of maximal operators generated by exponential summation methods. Let's refer to the case of (13). The means (8), (9) and (19) are re-denoted through
Uh (f) = U(f, x; ua, h), Uh (f) = U(f, x;ua,h) and &h (9) = ©(9, x;ua, h) respectively. Let
©*(9) = ©*(9,x;ua) = sup| ©(9,x;ua,h) |;
h >0
U*(f) = U»(f,x;ua) = sup| U(f,x;ua,h) |; U*(f) = U*(f,x;X) = sup| U(f,x;ua,h) | h>0 h>0
Theorem 4.1. Suppose (see (13)) u"(x) < 0 on (0,+ro), 0 < a < 1, and
exp(-hua (x))ln x = 0(1), x ^+a>. (25)
for every h > 0. If v e , then the estimates
||©*(9)||v,P< c || 9 ||v,p, p > 1; (26)
M{x e Q | ©*(9, x; ua) >q> 0} < C ^|| 9|^p ^J , p > 1 (27)
hold. The estimates remain valid for every a > 0 under the condition that a function
V = V (x) = ahua (u ')2 - (a- 1)(u ')2 - мм a> 0
has a finite number of zeros, the condition (25) holds and there is a constant C = Cua, such that
xhexp(-hua(x))ua 1(x) | u '(x) |< Cu a,
(28)
for all h > 0, x e (1,+œ).
As it follows from (20), the estimate (26) will be established if we prove that under the conditions of Theorem 4.1, the inequality
||U* ( f )||v, p + ||U * (/)||v, p < C ||( f )||v, p, p > 1 (29)
holds and note that | f (x) |< | 9 (exp(z'x)) |. Next, to prove (27) it will be sufficient to establish that
|{x e Q | U*( f, x; X) >ç> 0} < C
llfllv,p ЛP
р > 1
and
|{x e Q | U*(f, x; X) >ç> 0} < C
llf llv,p лP
р >1,
(30)
(31)
because, according to (20),
{x e Q | ©*(9, x; X) >q> 0} c <|x e Q |U*(9, x; X) >-2 > 0^|u<jx e Q | U*((p, x; X) > 2> 0^|.
In turn, the estimates (29) - (31) will follow from the results of [1, 3], cited in paragraph 1 (in particular, see (4)), if we prove that
U*(f, x; X) < С f (x) and U* (f, x; X) < С
( ~ \ * *
f ( x) + f ( x)
(32)
for almost all x.
5. Auxiliary statements. Sequence (10) is convex (concave) if a| = A2 Xk (h) > 0 (A2 < 0), where
4 = Ak - Ak+1, Ak = AXk = Xk(h) - Xk+1 (h), k = 0,1,...
Sequence (10) is piecewise convex if Ak changes sign a finite number of times, k = 0,1,... In [7] established in the following assertion.
Lemma 5.1. If the sequence (3) is convex (concave) and the relation
XN (h) = O
1
ln N
N ^œ,
is valid for every h > 0, then the estimates
U* ( f, x; X) < C f * (x) £ (k +1) | A2Xk (h)|,
U* ( f, x; X) < С
k=0
f ~ д
* *
f ( x) + f ( x)
£ (k +1)| A2Xk (h)|.
k=0
(33)
(34)
(35)
hold almost everywhere. The estimates remain valid for piecewise convex sequences (10) if (33) holds and there is a constant C = CA, such that
|X k (h)|+k|AX k (h)|< Ca (36)
for every h > 0, k = 1,2,...
To establish (32), it is now sufficient to observe that
1) for every sequence (10), which is convex (concave) or piecewise-convex and satisfies (27), we have (see [8])
œ
Y (k +1) | A2Xk (h) < C with a constant C = CA ; (37)
k=0
2) the following auxiliary assertion occurs
Lemma 5.2. Under the conditions of Theorem 4.1, the sequence (13) is convex and satisfies (33) with 0 < a < 1; (13) is piecewise convex and satisfies (33) and (36) with a > 1. In both cases, the summation method (13) is regular.
The first assertion is a consequence of the Abel transform [4, vol. 1, p. 15], and conditions (25), (28). Regularity condition (11) follows from (13) in an obvious way; the condition (12) follows from
NN œ
Y | A X k (h)|=Y ((k +1) - k ) | Y A2X j (h) | =
k=0 k=0 j=k
N-1 f œ œ A f œ A
= N | AX n|+Y (k +1) | Ya2X j (h)|-| YA2Xj (h)| < C1+Y (k +1) | A2Xk (h)
k=0 V j=k j=k+1 ) V k=0
(38)
Upon receipt of the estimate (38) it was used the Abel transform and uniform (in N) boundedness of productions of the type N | AXN |, see [4, vol. 1, p. 156]. Now (32) is installed and Theorem 4.1 is completely proved.
6. Results of convergence.
Theorem 6.1. Suppose that v e Ap and the conditions of Theorem 4.1 for sequence (13) are valid (corresponding to the cases 0 < a < 1 and a > 1 ). Then the relation
lim ©h (9) = 9
h ^0
holds | -almost everywhere for each f eHp, p > 1 and in metric H pv for any p > 1. According to (20) it is sufficient to prove that the relations
lim Uh(f ) = f, (39)
h^0
lim U h (f) = f (40)
h^0
hold | -almost everywhere for each f eLp , p > 1and in metrics Lpv for any p > 1.
In turn, assertions (39) and (40) in a standard way (see [4, vol. 2, p. 464-465]) follow from (29) - (31) and (11).
7. Examples. It is easy to verify that the conditions of Theorem 4.1 are satisfied in the following cases.
1) u( x) = ln x, so that
X0(h) = 1, X(x, h) = exp(- h lna x), x > 0, a > 0.
2) u( x) = x, so that
X0 (h) = 1, X(x, h) = exp(- hxa ), x > 0, a > 0.
References
1. Muckenhoupt B. Trans. Amer. Math. Soc., 1972, vol. 165, pp. 207-226.
2. RozenblumM. Trans. Amer. Math. Soc., 1962, vol. 105, pp. 32-42.
3. Hunt R., Muckenhoupt B., Wheeden R. Trans. Amer. Math. Soc., 1973, vol. 176, pp. 227-251.
4. Zygmund A. Trigonometricheskie ryady (Trigonometric Series), Cambrifge, 1959.
5. Nikol'skii S.M. Mathematics of the USSR - Izvestiya, 1948, no. 12, pp. 259-278.
6. Cooke R.G. Beskonechnye matritsy i prostranstva posledovatel'nostei (Infinite matrices and sequence spaces), Moscow: Gosudarstvennoe izdatel'stvo fiziko-matematicheskoi literatury, 1960, 471 p.
7. Nakhman A.D., Osilenker B.P. Transactions of the Tambov State Technical University, 2014, vol. 20, no. 1, pp. 101-109.
Суммирование степенных рядов функций классов Hp на границе круга сходимости
А. Д. Нахман
Кафедра «Прикладная математика и механика», ФГБОУ ВПО «ТГТУ»;
Ключевые слова и фразы: весовые пространства Харди; оценки весовых норм; экспоненциальные суммирующие последовательности.
Аннотация: Получены оценки Hp -норм максимальных операторов, порожденных экспоненциальными методами суммирования степенных рядов
9(exp(ix)) ~ £ цк (ф) exp(ikx). Результаты основаны на оценках Lp -норм средних
к=0
рядов и сопряженных рядов Фурье функции f (x) = Re ф (exp(ix)).
Список литературы
1. Muckenhoupt, B. Weighted Norm Inequalities for the Hardy Maximal Function / B. Muckenhoupt // Trans. Amer. Math. Soc. - 1972. - Vol. 165. - P. 207 - 226.
2. Rozenblum, M. Summability of Fourier Series in Lp (d ц) / M. Rozenblum // Trans. Amer. Math. Soc. - 1962. - Vol. 105. - P. 32 - 42.
3. Hunt, R. Weighted Norm Inequalities for Conjugate Function and Hilbert Transform / R. Hunt, B. Muckenhoupt, R. Wheeden // Trans. Amer. Math. Soc. - 1973. -Vol. 176. - P. 227 - 251.
4. Зигмунд, А. Тригонометрические ряды : пер. с англ. : в 2 т. / А. Зигмунд. -М. : Мир, 1965. - 2 т.
5. Никольский, С. М. О линейных методах суммирования рядов Фурье / С. М. Никольский // Известия АН СССР. Отделение мат. и естеств. наук. Сер. мат. -1948. - № 12. - С. 259 - 278.
6. Кук, Р. Бесконечные матрицы и пространства последовательностей : монография / Р. Кук. - М. : Гос. изд-во физ.-мат. лит., 1960. - 471 с.
7. Nakhman, A. D. Еxponential Methods of Summation of the Fourier Series / A. D. Nakhman, B. P. Osilenker // Вестн. Тамб. гос. техн. ун-та. - 2014. - Т. 20, № 1. -С. 101 - 109.
Summierung der Kraftreihen der Funktionen der Klassen Hp an der Grenze des Kreises der Konvergenz
Zusammenfassung: Es sind die Einschätzungen der Hp Normen der maximalen Operatoren, die von den experimantalen Methoden der Summierung der
gesetzten Reihen <(exp(ix)) ~ £ |k (9) exp(ikx) angegen. Die Ergebnisse sind auf den
k=0
Einschätzungen der Lp -Normen der mittleren Reihen und der verknüpften Fourierreihen der Funktion gegründet f (x) = Re 9 (exp(ix)).
Sommation des séries puissance des fonctions des classes H^ sur la frontière du cercle de convergence
Résumé: Sont obtenues les estimations Hp des normes maximales des opérateurs générées par les méthodes exponentielles de la sommation des séries
puissance 9(exp(ix)) ~ £ ^ (9) exp(ikx). Les résultats sont basés sur les estimations
k=0
Lp des normes des séries moyennes et des séries de configuration de Fourier de la foncion f ( x) = Re 9 (exp(ix)).
Автор: Нахман Александр Давидович - кандидат физико-математических наук, доцент кафедры «Прикладная математика и механика», ФГБОУ ВПО «ТГТУ».
Рецензент: Куликов Геннадий Михайлович - доктор физико-математических наук, профессор, заведующий кафедрой «Прикладная математика и механика», ФГБОУ ВПО «ТГТУ».
