About this Journal Submit a Manuscript Table of Contents
International Journal of Analysis
Volume 2013 (2013), Article ID 424686, 9 pages
http://dx.doi.org/10.1155/2013/424686
Research Article

Universality Properties of a Double Series by the Generalized Walsh System

Faculty of Applied Mathematics, State Engineering University of Armenia, Teryan Street 105, 375049 Yerevan, Armenia

Received 16 December 2012; Accepted 2 April 2013

Academic Editor: Frédéric Robert

Copyright © 2013 Sergo A. Episkoposian. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We consider a question on existence of a double series by the generalized Walsh system, which is universal in weighted spaces. In particular, we construct a weighted function and a double series by generalized Walsh system of the form with the for all , which is universal in concerning subseries with respect to convergence, in the sense of both spherical and rectangular partial sums.

1. Introduction

Let be a Banach space.

Definition 1. A series is said to be universal in with respect to rearrangements, if for any the members of (1) can be rearranged so that the obtained series converges to by norm of .

Definition 2. The series (1) is said to be universal (in ) concerning subseries, if for any , it is possible to choose a subseries from (1), which converges to the by norm of .

Note that for one-dimensional case there are many papers that are devoted to the question on existence of various types of universal series in the sense of convergence almost everywhere and on a measure (see [110]).

Let be a fixed integer and . Recall the following definitions (see [11]).

The Rademacher system of order is defined inductively as follows. For let and for let

The generalized Walsh system of order is defined by and if , where ,  , , then

We denote the generalized Walsh system of order by . Not that is the classical Walsh system. The basic properties of the generalized Walsh system of order have been obtained by Chrestenson, Fine, Watari, Young, Vilenkin, and others (see [1116]).

In [69], the existence of universal one-dimensional series by trigonometric and the classical Walsh system with respect to rearrangements and subseries in some weighted space . Some results for two-dimensional case for the classical Walsh system were obtained in [10] is proved. In this paper we consider the universality properties of a double series by the generalized Walsh system.

2. Preliminary Notes

Now we list some properties of  ,  , which will be useful later.(i)Each th Rademacher function has period and if ,  , .(ii)(iii) is a finite product of the Rademacher functions with values in . (iv)(v), is a complete orthonormal system in and it is a basis in for .

The rectangular and spherical partial sums of the double series will be denoted by

If is a continuous function on , then we set

3. Main Results

Let us denote the generalized Walsh system of order by , . These are the main results of the paper.

Theorem 3. There exists a double series of the form with the following property: for any number a weighted function satisfying can be constructed so that the series (12) is universal in concerning subseries with respect to convergence in the sense of both spherical and rectangular partial sums.

Theorem 4. There exists a double series of the form (12) with the following property: for any number a weighted function with (13) can be constructed, so that the series (12) is universal in concerning rearrangements with respect to convergence in the sense of both spherical and rectangular partial sums.

Repeating the reasoning of the proof of [17, Lemma  2] we will receive the following lemma.

Lemma 5. For any given numbers ,    and a step function where is an interval of the form , , there exist a measurable set and a polynomial of the form which satisfy the following conditions:(1)(2)(3)(4)
for every measurable subset of .

Then applying this Lemma we get the next one.

Lemma 6. For any numbers , , and for any square , there exists a measurable set and a polynomial of the form
with the following properties: (1)(2)(3)(4)for every measurable subset of .

Proof. We apply Lemma 5, setting Then we can define a measurable set and a polynomial of the form which satisfy the following conditions: (10) (20) (30) (40) for every measurable subset of .
Set and apply Lemma 5 again, setting Then we can define a measurable set and a polynomial of the form which satisfy the following conditions:(100) (200) (300) (400) for every measurable subset of .
Set where By ,   , and (38), (39), we obtain Thus, the statements of Lemma 6 are satisfied. Now we will check the fulfillment of statement .
Let , then for some we have and from (31) it follows that .
Consequently taking relations , and (38), (39) for any measurable set    we obtain
Similarly, for , we get
Lemma 6 is proved.

Lemma 7. For any numbers , and a step function there exists a measurable set and a polynomial of the form which satisfy the following conditions:   for every measurable subset of .

Proof. Without any loss of generality, we assume that are the constancy rectangular domain of , that is, where the function is constant.
Given an integer , by applying Lemma 6 with , we find that there exists a measurable set and a polynomial of the form with the following properties: for every measurable subset of (see (49)).
Then we can take Set where From (51)–(53) and (56)–(58) we obtain
Then,   let , then for some we have , consequently from (57) and (58) we have
In view of the conditions (51)–(54) and the equality on , for any measurable set we obtain Similarly, for any we have Lemma 7 is proved.

4. Proofs of the Theorems

Theorem 3 is proved similarly [10, Theorem  3], but for maintenance of integrity of this paper, here we will give the proof.

Proof of Theorem 3. Let be a sequence of all step functions, values, and constancy interval endpoints which are rational numbers. Applying Lemma 7 consecutively, we can find a sequence of sets and a sequence of polynomials which satisfy the following conditions: for every measurable subset of .
Denote where
For an arbitrary number we set It is obvious (see (67) and (72)) that and .
We define a function in the following way: where From (68) and (70)–(74) we obtain the following:   is a measurable function and Consider .
Hence, obviously we have (see (68) and (70)) It follows from (72)–(74) that for all and Analogously for all and we have By (65) and (72)–(74) for all we have By (69) and (72)–(77) for all and we obtain Analogously for all and we have (see (78)) Now we will show that the series (70) is universal in concerning subseries with respect to convergence by both spherical and rectangular partial sums.
Let , that is,
It is easy to see that we can choose a function from the sequence (64) such that Hence, we have From (80) and (83) we get Assume that numbers are chosen in such a way that the following condition is satisfied: Now we choose a function from the sequence (64) such that This with (86) implies Hence and from (65) and (79)–(81) we obtain where Analogously we have In quality subseries of the theorem we will take From (87) and (88) we have
Let and be arbitrary natural numbers. Then for some natural number we have Taking into account (89) and (93) for rectangular partial sums of (91) we get Analogously for we have where is the spherical partial sums of (91).
From (96) and (97) we conclude that the series (70) is universal in concerning subseries with respect to convergence by both spherical and rectangular partial sums (see Definition 2).
Theorem 3 is proved.

Remark 8. We can prove Theorem 4 by the same method used in the proof of Theorem 3.

References

  1. D. E. Menshov, “On the partial summs of trigonometric series,” Studia Mathematica, vol. 20, pp. 197–238, 1947 (Russian).
  2. V. Ya. Kozlov, “On the complete systems of orthogonal functions,” Matematicheskii Sbornik, vol. 26, pp. 351–364, 1950 (Russian).
  3. A. A. Talalian, “On the universal series with respect to rearrangements,” Izvestiya Akademii Nauk SSSR, vol. 24, pp. 567–604, 1960 (Russian).
  4. O. P. Dzangadze, “On the universal double series,” Bulletin of the Georgian Academy of Sciences, vol. 34, pp. 225–228, 1964 (Russian).
  5. W. Orlicz, “Über die unabhangig von der Anordnung fast überallberall kniwergenten Reihen,” Bulletin de l'Academie Polonaise des Sciences, vol. 81, pp. 117–125, 1927.
  6. M. G. Grigorian, “On the representation of functions by orthogonal series in weighted Lp spaces,” Studia Mathematica, vol. 134, no. 3, pp. 211–237, 1999. View at Zentralblatt MATH · View at MathSciNet
  7. S. A. Episkoposian, “On the series by Walsh system universal in weighted Lμ1[0,1] spaces,” Izvestiya Natsional'noĭ Akademii Nauk Armenii, 1999, English Translation in: Journal of Contemporary Mathematical Analysis, vol. 34, pp. 25–40, 1999.
  8. M.G. Grigorian and S.A. Episkoposian, “Representation of functions in weighted spaces Lμ1[0,1] by trigonometric and Walsh series,” Analysis Mathematica, vol. 27, pp. 267–277, 2001.
  9. S. A. Episkoposian, “On the existence of universal series by trigonometric system,” Journal of Functional Analysis, vol. 230, no. 1, pp. 169–183, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. S. A. Episkoposian, “Existence of double Walsh series universal in weighted spaces,” International Journal of Modern Mathematics, vol. 2, pp. 231–247, 2007. View at Zentralblatt MATH · View at MathSciNet
  11. H. E. Chrestenson, “A class of generalized Walsh functions,” Pacific Journal of Mathematics, vol. 5, pp. 17–31, 1955. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. N. Ja. Vilenkin, “On a class of complete orthonormal systems,” American Mathematical Society Translations, vol. 28, pp. 1–35, 1963. View at MathSciNet
  13. R. E. A. C. Paley, “A remarkable set of orthogonal functions,” London Mathematical Society, vol. 34, pp. 241–279, 1932.
  14. N. J. Fine, “The generalized Walsh functions,” Transactions of the American Mathematical Society, vol. 69, pp. 66–77, 1950. View at Zentralblatt MATH · View at MathSciNet
  15. W. S. Young, “Mean convergence of generalized Walsh-Fourier series,” Transactions of the American Mathematical Society, vol. 218, pp. 311–320, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. C. Watari, “On generalized Walsh Fourier series,” The Tohoku Mathematical Journal, vol. 10, pp. 211–241, 1958. View at Zentralblatt MATH · View at MathSciNet
  17. S. A. Episkoposian, “L1-convergence of greedy algorithm by generalized Walsh system,” Banach Journal of Mathematical Analysis, vol. 6, no. 1, pp. 161–174, 2012. View at Zentralblatt MATH · View at MathSciNet