arxiv: v1 [math.ca] 6 Mar 2019

Transcription

1 GENERALIZED FOURIER SERIES BY DOUBLE RIGONOMERIC SYSEM K. S. KAZARIAN arxiv: v [math.ca] 6 Mar 209 Abstract. Necessary and sufficient conditions are obtained on the function M such that {M(x,y)e ikx e imy : (k,m) Ω} is complete and minimal in L p ( 2 ) when Ω c = {(0,0)} and Ω c = 0 Z. If Ω c = 0 Z 0, Z 0 = Z \ {0} it is proved that the system {M(x,y)e ikx e imy : (k,m) Ω} cannot be complete minimal in L p ( 2 ) for any M L p ( 2 ). In the case Ω c = {(0,0)} necessary and conditions are found in terms of the one dimensional case.. Introduction he present study is motivated by the desire to extend the concept of generalized Fourier series (GFS) for functions of various variables. he concept of GFS can be described as follows. Let (X,Σ,µ) be a measurable space with a positive measure µ,µ(x) > 0 and let L 2 (X,Σ,µ) be the space of measurable functions f : X C with the norm f 2 = ( X f(t) 2 dt) 2 <. For a complete orthonormal system Φ = {ϕ k } k= () a k (f)ϕ k = f in L 2 (X,Σ,µ) k= where for any k N (2) a k (f) = X f(t)ϕ k (t)dµ. he series ()-(2) is the Fourier series of the function f with respect to the system Φ. When the system Φ is the trigonometric system it is called the Fourier series of the given function. Representation of a given function by a trigonometric series is a classical topic (see [9], [7] and many others). It is well known that a measurable function can be represented by a Φ series where the coefficients are not defined by (2). Key words and phrases. generalized Fourier series, multiplicative completeness, strong x singularity. Math Subject Classifications: 42A24 (Primary); 4A30, 42A65, 42A8 (Secondary). Dept. of Mathematics, Mod. 7, Universidad Autónoma de Madrid, 28049, Madrid, Spain kazaros.kazarian@uam.es.

2 2 K. S. KAZARIAN It seems something transcendental to find an algorithm that determines the coefficients b k,k N such that the series k= b kϕ k represents a given function f when f is not integrable. Such a problem was formulated by N.N. Luzin [7]. he following strategy can be an inexhaustible source for the study of the Luzin s problem. At the first step fix a subset N N such that for some m L 2 (X,Σ,µ) the system (3) {mϕ k } k N\N is complete in L 2 (X,Σ,µ). Determine those functions m for which {mϕ k } k N\N is complete and minimal in L 2 (X,Σ,µ) if it is possible. Afterwards if we fix any such m then the system {mϕ k } k N\N will have a unique biorthogonal system {ψ k } k N\N in L 2 (X,Σ,µ). When {ψ k } k N\N is total with respect to the space L 2 (X,Σ,µ) then for any measurable function g such that mg L 2 (X,Σ,µ) one can consider the series (4) b k (g)ϕ k b k (g) = g(t)ψ k (t)dµ, k N\N. k N\N X he trigonometric system is the best object for testing the described idea because of its importance in various areas of mathematics. Generalized Fourier series and some applications were studied in [2] [4]whencardN <. Itisnotknownifthedescribedstrategyisviable for the trigonometric system if cardn = (see [5]). Any essential progress in the problem formulated below will be very helpful to clarify the question. Wedenote = R/2πZandconsider thecomplex formofthetrigonometric system {e ikx : k Z} defined on the set, where the set of all integer numbers is denoted by Z. he following theorems were proved in [5]. Let n < n 2 < < n k < n k+ < and let Ω = { n k } k= {n k } k= be an infinite set of natural numbers such that Ω c, where Ω c = Z\Ω = { m k } k= {0} {m k} k=. Let S Ω = span L (){e ikx : k Ω c }. If p then its conjugate number p is defined by the equation p + p =. heorem A. Let p < and let M L p (). hen the system {M(x)e ikx : k Ω} is complete in L p () if and only if the following condition holds: (5) If g[m] L p () for some g S Ω then g(x) = 0 a.e. heorem B. Let p < and let M L p (). he system {M(x)e ikx : k Ω} is minimal in L p () if and only if the

3 following condition holds: (6) GENERALIZED FOURIER SERIES 3 If for any k Ω there exists a function g k S Ω such that [e ikx +g k (x)][m] L p (). he following open problem was formulated in [5]. Problem. Describe pairs (Ω,M) with cardω c = such that conditions (5) and (6) hold simultaneously. Unfortunately no any subset Ω Z,cardΩ c = is known such that the conditions (5) and (6) hold simultaneously. In the present paper it is shown that the similar question for the double trigonometric system has a positive answer. It should be mentioned that for the Haar system the described strategy can be successfully implemented when cardn = (see [2], [6]). First results on multiplicative completion of sets of functions were obtained in [], [8]. 2. Multiplicative completion of some subsystems of the double trigonometric system We will consider the double trigonometric system. he n-multiple case can be studied in a similar way. We suppose that Ω Z 2 is an infinite set such that Ω c is not empty, where Ω c = Z 2 \Ω. In this case we modify the definition of the class S Ω = {f L ( 2 ) : f(x,y)e ikx e imy dxdy = 0 (k,m) Ω}. 2 It is clear that S Ω is a closed subspace of L ( 2 ). heorem. Let p < and let M L p ( 2 ). hen the system (7) {M(x,y)e ikx e imy : (k,m) Ω} is complete in L p ( 2 ) if and only if the following condition holds: (8) If g[m] L p ( 2 ) for some g S Ω, then g(x) = 0 a.e. Proof. Suppose that (7) is complete in L p ( 2 ) and let g S Ω be a non trivial function such that g ( 2 ). hen for any (k,m) Ω M Lp M(x,y)e ikx imy g(x,y) e M(x,y) dxdy = e ikx e imy g(x,y)dxdy = Which contradicts the completeness of the system(7). Hence, (8) holds. Now suppose that (8) holds and for some ϕ L p ( 2 ) 2 M(x,y)e ikx e imy ϕ(x,y)dxdy = 0 for all (k,m) Ω. Which yields that Mϕ S Ω and ϕ(x,y) = 0 a.e. on 2.

4 4 K. S. KAZARIAN heorem 2. Let p < and let M L p ( 2 ). he system (7) is minimal in L p ( 2 ) if and only if the following condition holds: If for any (k,m) Ω there exists a function g k,m S Ω such that (9) [e ikx e imy +g k,m (x,y)][m(x,y)] L p ( 2 ). Proof. Suppose that (7) is minimal in L p ( 2 ). hen there exists a system {ϕ j,l } (j,l) Ω L p ( 2 ) such that 2 M(x,y)e ikx e imy ϕ j,l (x,y)dxdy = δ kj δ ml (k,j),(m,l) Ω. Hence, for any (j,l) Ω we have that 2 e ikx e imy [M(x,y)ϕ j,l (x,y) (2π) 2e ijx e ily ]dxdy = 0 (k,m) Ω. Which yields M(x,y)ϕ j,l (x) (2π) 2 e ijx e ily = g j,l (x,y) S Ω. he proof of the necessity is finished. If (9) holds then it is easy to check that {ϕ k,m } (k,m) Ω L p ( 2 ), where (0) ϕ k,m (x) = eikx e imy +g k,m (x) (2π) 2 M(x,y) is biorthogonal to (7). 2.. he case Ω c = {(0,0)}. Denote Z 0 = Z\{0} and Z 2 0 = Z 2 \{(0,0)}. for (k,m) Ω heorem 3. Let p < and let M L p ( 2 ). hen the system () {M(x,y)e ikx e imy : (k,m) Z 2 0 } is complete and minimal in L p ( 2 ) if and only if the systems {u(t)e int : n Z 0 } and {v(t)e int : n Z 0 } are complete and minimal in L p (), where (2) ( ) u(x) = M(x,y) p p dy and ( ) v(y) = M(x,y) p p dx. Proof. By heorem it follows that the system () is complete in L p ( 2 ) if and only if (3) M(x,y) p dxdy = +. 2 Hence, by heorem 2 the system () is minimal in L p ( 2 ) if there exist unique numbers a kl C, (k,l) Z 0 such that (4) e ikx e ily a kl p M(x,y) p dxdy < + for any (k,l) Z 0. 2

5 GENERALIZED FOURIER SERIES 5 We consider (4) respectively for (k,0) and (0,l), where k and l belong to Z 0. By the Fubini-onelli theorem it follows that thefunctions u and v are positive a.e. on. On the other hand we have that for almost any x ( 2π M(x,y) p dy ) ( ) p M(x,y) p p dy, which yields u(x) p dx M(x,y) p dxdy. (2π) p 2 Similarly we obtain that v L p (). Afterwards by (3) and (4) we easily obtain that there exists x 0 such that (5) u(x) p dx = + and e ikx e ikx 0 p u(x) p dx < +. By Proposition 3 of [6] it follows that the system {u(t)e int : n Z 0 } is complete and minimal in L p (). Similarly we obtain that {v(t)e int : n Z 0 } is complete and minimal in L p (). he following theorem gives another characterization. heorem 4. Let p < and let M L p ( 2 ). hen the system () is complete and minimal in L p ( 2 ) if and only if holds (3) and sin x x 0 p M(x,y) p dxdy < +, 2 2 sin y y 0 p M(x,y) p dxdy < for some (x 0,y 0 ) 2. Proof. We skip the proof of the necessity because the arguments are similar to those used in the proof of the previous theorem. o finish the proof we have to check the relations (4) for a kl = e ikx 0 e ily 0. Write ( 2 e ikx e ily e ikx 0 e ily 0 p M(x,y) p dxdy ) p ( 2 e ily e ily 0 p M(x,y) p dxdy ) p + ( 2 e ikx e ikx 0 p M(x,y) p dxdy ) p < +. Corollary. Let p < and let M L p ( 2 ). hen for any (ν,µ) Z 2 the system {M(x,y)e ikx e imy : (k,m) Z 2 \(ν,µ)} is complete and minimal in L p ( 2 ) if and only if the system {M(x,y)e ikx e imy : (k,m) Z 2 0}

6 6 K. S. KAZARIAN is complete and minimal in L p ( 2 ). he assertion of the corollary is obvious because the multiplying the elements of the system {e ikx e imy : (k,m) Z 2 \ (ν,µ)} by e iνx e iµy we obtain the system {e ikx e imy : (k,m) Z 2 0}. On the other hand it is easy to observe that in our case the conditions (8),(9) remain true if M(x,y) is multiplied by a function with modulus equal to one almost everywhere. Example. Let p <, (x 0,y 0 ) 2 and let M(x,y) = sin x x 0 2 α + sin y y 0 α, 2 where p α < + p. hen the system {e ikx e imy : (k,m) Z 2 0 } is complete and minimal in L p ( 2 ) he case Ω c = 0 Z. Further in this section it is supposed that Ω Z 2 is such that Ω c = 0 Z. Lemma. Let g S Ω then g(x,y) = h(y), where h L (). Proof. Let h(y) = g(x, y)dx. 2π hen h L () and for any k Z c m (h) = h(y)e imy dy = g(x,y)e imy dxdy. 2π (2π) 2 2 It is easy to check that for any (k,m) Z 2 [g(x,y) h(y)]e ikx e imy dxdy = 0. (2π) 2 2 Definition. Let M L p ( 2 ) and p <. We say that the function M(x,y) has a strong x singularity of degree p( p < ) if for any measurable set E, E > 0 M / L p ( E), p + p =. Proposition. Let p < and let M L p ( 2 ). hen the system (6) {M(x,y)e ikx e imy : (k,m) Ω} is complete in L p ( 2 ) if and only if M(x,y) has a strong x singularity of degree p.

7 GENERALIZED FOURIER SERIES 7 Proof. Suppose that the function M(x, y) has a strong x singularity of degree p( p < ). If for some g S Ω we have that g ( 2 ) M Lp then by Lemma it follows that (7) g(x,y) p M(x,y) p dxdy = h(y) p M(x,y) p dxdy < +. 2 Hence, the set G = {y : h(y) > 0} should be of measure zero. Which yields that g(y) = 0 a.e. on and by heorem follows that the system (6) is complete in L p ( 2 ). For the proof of the necessity suppose that the system (6) is complete in L p ( 2 ). Hence, by heorem we have that for any non trivial g S Ω g(y) p dxdy = +. M(x,y) 2 p For any measurable set E, E > 0 we have that χ E (y) S Ω which yields that M(x,y) has a strong x singularity of degree p. For our further study we define a class of functions Υ. Definition 2. We say that φ Υ if φ L () and φ L (). Definition 3. We say that a function M L p ( 2 ) has an (x,p) singularity of degree p( p < ) if M / L p ( 2 ) and (8) where P Υ. 2 e ix P(y) p M(x,y) p dxdy < +, Proposition 2. Let p < and let M L p ( 2 ). hen the system (6) is minimal in L p ( 2 ) if and only if one of the following conditions hold: (9) M(x,y) p dxdy < + 2 or the function M(x,y) has an (x,p) singularity of degree p. Proof. At first we suppose that (9) holds. Let ψ j,l (x,y) = (2π) 2 e ijx e ily [M(x,y)] for (j,l) Ω. One can easily check that the system {ψ j,l (x,y) : (j,l) Ω} L p ( 2 ) is biorthogonal with (6). Now let us suppose that the function M(x,y) has an (x,p) singularity of degree p. Let (20) ξ k,m (x,y) = (2π) 2 [e ikx e imy P k (y)e imy ][M(x,y)], (k,m) Ω. Clearly ξ k,m L p ( 2 ) for any (k,m) Ω. Moreover, it is easily that the system {ξ k,m (x,y) : (k,m) Ω} is biorthogonal with (6).

8 8 K. S. KAZARIAN Suppose that the system (6) is minimal in L p ( 2 ). hen by heorem 2 we have that the system {ϕ j,l } (j,l) Ω biorthogonal with (6) is defined by the equations (0) and g k,m S Ω. If g 0, (x,y) = 0 a.e. then (9) holds. If / ( 2 ) then g M Lp 0, is a non trivial function and by Lemma it we have that g 0, (x,y) = h 0, (y). Let P(y) = h,0 (y) if 2 < h,0(y) < 2; Clearly P Υ and by the relation P(y) = if h,0 (y) 2 2 and 2 if h,0 (y) 2. e ix +g,0 (y) (2π) 2 M(x,y) Lp ( 2 ). it is easy to check that M(x,y) has an (x,p) singularity of degree p. Definition 4. We say that M L p ( 2 ) has a strong (x,p) singularity of degree p( p < ) if M has a strong x singularity and an (x,p) singularity of degree p for some P Υ. Proposition 3. Let p < and let M L p ( 2 ). Suppose that Ω c = 0 Z. hen the system (6) is complete and minimal in L p ( 2 ) if and only if the function M(x,y) has a strong (x,p) singularity of degree p with P(y) a.e. on. Proof. By Propositions and 2 we have to show that if the system (6) is complete and minimal in L p ( 2 ) then the conditions of the proposition hold with P(y) a.e. on. We provide the proof by reduction to absurdity. Suppose that P(y) if y E, E > 0. henforsomeδ > 0wehavethat P(y) > δ ify F E, F > 0. On the other hand we have that (8) holds. Hence, dxdy < + M(x,y) p F which contradicts the condition that M(x, y) has a strong x singularity of degree p. he proof of sufficiency is obvious. Lemma 2. Let p < and Ω Z 2 is such that Ω c = 0 Z. Suppose that M L p ( 2 ) has a strong (x,p) singularity of degree p with P(y). hen the system (6) is complete minimal in L p ( 2 ) and its conjugate system {ξ j,l (x,y) : (j,l) Ω} is defined by the conditions (20) and for any (n,m) Z 2 e inx e imy (e ix P(y)) = M(x,y)ξ n+,m (x,y) P(y)M(x,y)ξ n,m (x,y). Proof. he first part of the lemma follows by Proposition 3 and the proof of Proposition 2.

9 For any (n,m) Z 2 we write GENERALIZED FOURIER SERIES 9 e inx e imy (e ix P(y)) M(x,y)ξ n+,m (x,y) = P(y)e inx e imy +P n+ (y)e imy = M(x,y)P(y)ξ n,m (x,y). heorem 5. Let p < and Ω Z 2 is such that Ω c = 0 Z. Suppose thatis such that hen the system (6) is an M basis in L p ( 2 ) if and only if M L p ( 2 ) has a strong (x,p) singularity of degree p with P(y). Proof. If the system (6) is an M basis in L p ( 2 ) then by Proposition 3 it follows that M has a strong (x,p) singularity of degree p with P(y). On the other hand if the function M(x,y) has a strong (x,p) singularity of degree p with P(y) a.e. on then by Proposition 3 the system (6) is complete and minimal in L p ( 2 ) and the system {ξ j,l (x,y) : (j,l) Ω} conjugate to (6) is defined by the equations (20). Let f L p ( 2 ) be such that 2 f(x,y)ξ j,l (x,y)dxdy = 0, for all (j,l) Ω. hen by (6) and the Fubini-onelli theorem we will have that e ily f(x,y)[e ijx P j (y)][m(x,y)] dxdy = 0, l Z,j Z 0. Which yields Φ j (y) = 0 a.e. on for all j Z 0, where Φ j (y) = f(x,y)[e ijx P j (y)][m(x,y)] dx j Z 0. and Let y 0 be such that the following conditions hold: f(x,y 0 ) p dx < +, Φ j (y 0 ) = 0 for all j Z 0, M(x,y 0 ) p dx = +, e ix P(y 0 ) p dx < +. M(x,y 0 ) p hus we have that P(y 0 ) = e ix 0 for some x 0 and f(x,y 0 )[e ijx e ijx 0 ][M(x,y 0 )] dx = 0 for all j Z 0, where f(,y 0 ) L p (). According to the corresponding result in the one dimensional case (see [4]) it follows that f(x,y 0 ) = 0 for almost any x. On the other hand we have that the above conditions are true for almost all y. Which yields that f = 0, a.e. on 2.

10 0 K. S. KAZARIAN Example 2. Let M(x,y) = sin x x 0 α for (x,y) 2, 2 where x 0 and α < +. It is easy to check that m has a p p strong (x,p) singularity of degree p with P(y) = e ix 0 if y. By heorem 5 it follows that the system (6) is an M basis in in L p ( 2 ) with the conjugate system ξ k,m (x,y) = (2π) 2 [e ikx e imy e ikx 0 e imy ][M(x,y)], (k,m) Ω he case Ω c = 0 Z 0. Inthecasesstudiedabovewehavethatifthesystem{M(x,y)e ikx e imy : (k,m) Ω} is complete and minimal in L p ( 2 ) then it is an M basis in L p ( 2 ). Suppose that Ω 0 Z 2 is such that Ω c 0 = 0 Z 0. In this section we prove that if the system (2) {M(x,y)e ikx e imy : (k,m) Ω 0 } is complete in L p ( 2 ) then it is not minimal. heorem 6. Let p < and let M L p ( 2 ). Suppose that Ω 0 Z 2 is such that Ω c 0 = 0 Z 0. hen the system (2) is complete in L p ( 2 ) if and only if the function M(x,y) has a strong x singularity of degree p. Proof. By Proposition it is clear that if the weight function w(x,y) hasastrongx singularity ofdegreepthenthesystem (2)iscomplete in L p ( 2 ). For the proof of the necessity suppose that the system (2) is complete in L p ( 2 ). By heorem we have that for any non trivial g S Ω0 2 g(y) p M(x,y) p dxdy = +. Let E, E > 0 be any measurable set and E E be such that E = 2 E. It is easy to observe that we have that χ E (y) χ E\E (y) S Ω0 which yields that M(x,y) has a strong x singularity of degree p. Proposition 4. Let p < and suppose that Ω 0 Z 2 is such that Ω c 0 = 0 Z 0. hen for any function M L p ( 2 ) the system (7) is not complete minimal in L p ( 2 ). Proof. Suppose that for a function M(x,y) the system (7) is complete minimal inl p ( 2 ). ByProposition6we have that M(x,y) hasastrong x singularity of degree p. By heorem 2 it follows that there exists g 0,0 S Ω0 such that +g 0,0 (y) M(x, y) L p ( 2 ).

11 Which yields that +g 0,0 (y) p GENERALIZED FOURIER SERIES M(x,y) p dxdy < +. he last condition contradicts the condition that M(x, y) has a strong x singularity of degree p. We say that g Υ 0 if g Υ and g(t)dt = 0. By Lemma it easily follows that if g S Ω0 then g(x,y) = h(y), where h L () and h(y)dy = 0. Proposition 5. Let p < and let M L p ( 2 ). hen the system (7) is minimal in L p ( 2 ) if and only if or holds the condition (9) or the function M(x,y) has an (x,p) singularity of degree p with P Υ 0 and for some Q Υ 0 (22) Q(y) p M(x,y) p dxdy <. 2 Proof. If the condition (9) holds then the proof is similar to the proof of Proposition 2. Now let us suppose that the function M(x,y) has an (x,p) singularity of degree p with P Υ 0 and for some Q Υ 0 holds the condition (22). Clearly Υ 0 S Ω0. hus if we put ξ 0,0 (x,y) = (2π) 2 [ Q(y)e imy ][M(x,y)], and for (k,m) Ω 0 \(0,0) ξ k,m (x,y) = (2π) 2 [e ikx e imy P k (y)e imy ][M(x,y)]. Clearly ξ k,m L p ( 2 ) for any (k,m) Ω 0. Moreover, it is easily that the system {ξ k,m (x,y) : (k,m) Ω 0 } is biorthogonal with (2). Suppose that the system (2) is minimal in L p ( 2 ). hen by heorem 2 we have that the system {ϕ j,l } (j,l) Ω0 biorthogonal with (2) is defined by the equations (0) and g k,m S Ω0. If g 0,0 (y) = 0 a.e. then (9) holds. If / ( 2 ) then g M Lp 0,0 is a non trivial function and by Lemma it we have that g 0,0 (x,y) = h 0,0 (y) and h 0,0(y)dy = 0. Let Q(y) = h 0,0 (y) if y G 0 := {y : < h 2,0(y) < 2} and let β = G 0 h,0 (y)dy. If G 0 = 2π then the function Q is defined and Q Υ 0. If G 0 < 2π then putting Q(y) = β if y \G 2π G. Clearly Q Υ 0 and the relation (22) holds. In a similar way we define P Υ 0 so that e ix +P(y) (2π) 2 M(x,y) ( 2 ). Lp hus M(x,y) has an (x,p) singularity of degree p.

12 2 K. S. KAZARIAN References [] Boas, R.P.Jr., Pollard, H.: he multiplicative completion of sets of functions. Bull. Amer. Math. Soc. 54, (948). [2] Kazarian, K.S.: Summability and convergence almost everywhere of generalized Fourier and Fourier-Haar series (in Russian). Izv. Akad. Nauk Arm. SSR, Ser. Mat., 20, 2, (985) (in Russian); English translation in Soviet Jour. Contemporary Math. Anal., 8, (985). [3] Kazarian, K.S.: Summability of generalized Fourier series in a weighted metric and almost everywhere. Doklady AN USSR, 287:3, (986); English transl. in Soviet Math. Doklady 33:2, (986). [4] Kazarian, K.S.: Summability of generalized Fourier series and Dirichlet s problemin L p (dµ) and weightedh p -spaces(p > ).AnalysisMathematica, 3,73 97 (987). [5] Kazarian, K.S.: Some open problems related to generalized Fourier series. In: Georgakis, C., Stokolos, A.M., Urbina, W. (eds) Special Functions, Partial Differential Equations and Harmonic Analysis, Springer Proceedings in Mathematics & Statistics, vol 08., pp Springer, Cham (204). [6] Kazarian, K.S.: On bases and unconditional bases in the spaces L p (dµ), p <. Studia Mathematica, 7, (982). [7] N.N. Luzin, Integral and rigonometric Series (in Russian), Gostekhizdat, Moscow, 95. [8] Price, J.J., Zink,R.E.: On sets of functions that can be multiplicatively completed. Annals of Mathematics, 82:, (965). [9] Riemann, B.: On the representation of a function by a trigonometric series. In: Riemann Bernhard Collected Papers, ranslated from the 892 German Edition by R. Baker, C. Christensen and H. Orde, pp Kendrick Press, Heber City, U (2004). [0] Zygmund, A.: rigonometric series, vol. -2, Cambridge Univ. Press (959).