arXiv:1704.00670v2 [math.CA] 19 Oct 2017

(1)

arXiv:1704.00670v2 [math.CA] 19 Oct 2017

DÁNIEL VIROSZTEK

ABSTRACT. We give a succinct proof of a duality theorem obtained by Révész in 1991 [6] which concerns extremal quantities related to trigonomertic polynomials. The key tool of our new proof is an intersection formula on dual cones in real Banach spaces.

We show another application of this intersection formula which is related to the integral estimates of non-negative positive definite functions.

1. INTRODUCTION

Let X be a real Banach space and letX^′denote its topological dual space endowed with the weak-^∗topology. For any setD⊆X, thedual coneofDis denoted byD⁺and is defined as

D⁺=©

ϕ∈X^′¯¯ϕ(x)≥0 ∀x∈Dª ,

see, e.g., [2, Section 2]. Thepolar cone(denoted byD⁻) is defined asD⁻:= −D⁺. Note that bothD⁺andD⁻are weak-^∗closed convex cones inX^′, no matter what the setD is. Moreover, by [2, Lemma 2.1.], ifC andP are convex sets inX such that 0∈C ∩P andC∩intP 6= ;, then

(1) (C ∩P)⁺=C⁺+P⁺.

Consequently, in this case we have (C∩P)⁻=C⁻+P⁻.

In this short note we show two applications of the formula (1) that describes the structure of the dual cone of the intersection of cones. Both applications are of a Fourier-analytic nature, hence we collect some basic facts and notation of this topic below.

(i) For a locally compact abelian groupG, the symbol M(G) denotes the set of all complex-valued regular Borel measures onGwith finite total variation.M(G) is a commutative, unital Banach algebra, where the norm is defined as¯¯¯¯µ¯¯¯¯=¯¯µ¯¯(G), and the multiplication is defined by the convolution [7, 1.3.2. Corollary].

(ii) The symbolL¹(G) stands for the set of all integrable functions onG(with respect to the Haar measure, which is denoted byλ.) We may considerL¹(G) as a subset ofM(G) by the embedding

µ_(·):L¹(G)→M(G),f 7→µ_f;µ_f(E)= Z

E

fdλfor any Borel setE⊆G.

In factL¹(G) is a Banach subalgebra ofM(G) [7, 1.3.5. Theorem]. Moreover,L¹(G) is unital if and only ifL¹(G)=M(G) if and only ifGis discrete [7, 1.7.3. Theorem].

(iii) L^∞(G) stands for the set of all essentially bounded measurable functions onG.

2010Mathematics Subject Classification. Primary: 43A25. Secondary: 43A35.

Key words and phrases. duality, positive definite function, intersection formula.

The author was supported by the “Lendület” Program (LP2012-46/2012) of the Hungarian Acad- emy of Sciences and by the National Research, Development and Innovation Office – NKFIH, Grant No.

K104206.

1

(2)

(iv) A continuous group homomorphism from the locally compact abelian groupG into the multiplicative groupT={z∈C| |z| =1} is called acharacterofG. The set of all characters ofGforms a group (with pointwise multiplication) which is called thedual groupofG, and it is denoted by ˆG.

(v) For anyµ∈M(G) (orf ∈L¹(G)), the symbol ˆµ(or ˆf) denotes the Fourier transform ofµ(or f), that is,

ˆ

µ∈C^G^ˆ; µ(γ)ˆ = Z

G

γdµ ¡ γ∈Gˆ¢ and

fˆ∈C^G^ˆ; fˆ(γ)= Z

G

fγdλ ¡ γ∈Gˆ¢

.

The Fourier transform is a continuous linear transformation fromL¹(G) intoC₀¡Gˆ¢ , whereC₀¡Gˆ¢

denotes the set of all functions on ˆGvanishing at infinity (the topology on ˆG is the weak topology induced by the set of all functions ˆf obtained as Fourier-transforms ofL¹functions onG). Moreover, it is a contraction as¯¯¯¯fˆ¯¯¯¯

∞≤

¯¯¯¯f¯¯¯¯

1. (For details, see [7, 1.2.4. Theorem].)

The following useful formula is an easy consequence of Fubini’s theorem. If µ∈M(G),ν∈M¡Gˆ¢

andφ(x)=R

Gˆγ(x)dν(γ)(x∈G), then (2)

Z

G

φdµ= Z

Gˆ

ˆ µdν.

Now we turn to the detailed descriptions of the applications of the intersection formula (1). Section 2 is devoted to describe the first one, and Section 3 contains the second one.

2. ANEW PROOF OF A DUALITY THEOREM

In 1991, Révész proved a duality theorem on certain extremal quantities related to multivariable trigonometric polynomials [6]. That theorem is general enough to cover the duality statements appearing in [4], [5] and [8]. The setting of the theorem is as follows.

Letdbe a positive integer. Let us use the notationT^d =(R/2πZ)^d and Z^d

+= n

n=(n₁,...,n_d)∈Z^d

¯¯

¯∃j∈{1,2,...,d} such thatn_k=0 for anyk<j andnj >0o . LetM⊆Z^d₊,L⊆Z^d₊, and letM^c :=Z^d₊\MandL^c:=Z^d₊\L.

Consider the real Banach spaceL¹_R_,s¡ Z^d¢

of all symmetric real-valued absolutely summable functions onZ^d with its topological dual spaceL^∞_R_,s¡

Z^d¢ . Set

C := n

f ∈L¹_R_,s³

Z^d´¯¯¯f has finite support, supp¡

f₊¢

⊆{0}∪M∪ −Mand supp¡ f₋¢

⊆{0}∪L∪ −Lª . The setC ⊆L¹_R_,s¡

Z^d¢

is a convex set. It is easy to see that the dual cone ofC is C⁺=

n

t∈L^∞R,s

³

Z^d´¯¯¯supp(t+)⊆L^c∪ −L^c and supp(t−)⊆M^c∪ −M^c o. Therefore, the polar cone ofC is

C⁻= n

t∈L^∞_R_,s³

Z^d´¯¯¯supp(t+)⊆M^c∪ −M^c and supp(t−)⊆L^c∪ −L^co .

(3)

Set P :=



f ∈L¹_R_,s³ Z^d

´¯¯¯¯¯¯

fˆ(x)= X

n∈Z^d

f(n)e⁻ⁱ^n·x=f(0)+2 X

n∈Z^d₊

f(n)cos(n·x)≥0∀x∈T^d



. Clearly,P is a convex set. The following Lemma is devoted to describe its dual cone.

Lemma 1.

P⁺= n

h∈L^∞R,s

³

Z^d´¯¯¯h≫0, that is, h is positive definite o.

Proof of Lemma 1. Recall that a functionh∈L^∞_R_,s¡ Z^d¢

is said to be positive definite if P_m

i,j=1zizjg¡ ni−nj

¢≥0 holds for anyn1,...,nm∈Z^d andz1,...,zm ∈C. However, for symmetric real functions, positive definiteness is equivalent to the a priori weaker con- ditionP_m

i,j=1cicjg¡ ni−nj

¢≥0¡

n1,... ,nm∈Z^d,c₁,... ,cm∈R¢ .

Let us recall Bochner’s theorem [7, 1.4.3. Theorem] which says that a function h∈ L^∞_R_,s¡

Z^d¢

is positive definite if and only if there is a non-negative symmetric measure ν∈MR,s¡

T^d¢

such that

h(n)= Z

T^d

e^in·xdν(x) ³ n∈Z^d

´.

Therefore, the positive definite functions are inP⁺as any positive definiteh∈L^∞_R_,s¡ Z^d¢ can be written in the formh(n)=R

T^deⁱ^n·xdν(x)¡

n∈Z^d¢

for some 0≤ν∈MR,s¡ T^d¢

, and hence, by equation (2), the inequality

X

n∈Z^d

f(n)h(n)= Z

T^d

fˆ(x)dν(x)≥0 for anyf ∈P ⊂L¹_R_,s¡

Z^d¢ . Conversely, ifg∈L^∞_R_,s¡

Z^d¢

andg is not positive definite, that is, Xm

i,j=1

c_ic_jg¡

n_i−n_j¢

<0 for some {n₁,...,n_m}⊂Z^d and {c₁,... ,c_m}⊂R, then

X

n∈Z^d

(x∗x)(n)g˜ (n)<0, wherex=P_m

i=1c_iχ_{n_i_} and ˜x is defined by ˜x(n)=x(−n)¡

n∈Z^d¢

. Clearly,x∗x˜∈P ⊂ L¹_R_,s¡

Z^d¢

, hence this means thatg ∉P⁺.

Now, letr∈L^∞_R_,s¡ Z^d¢

withr(0)=1 be fixed and let us define the affine subspace H :=

n

f ∈L¹R,s

³

Z^d´¯¯¯f(0)=1o .

According to [6, eq. (5) and eq. (12)], let us define the extremal quantities α:=inf

( X

n∈Z^d

f(n)r(n)

¯¯

¯f ∈C ∩P ∩H )

and

ω:=sup©

δ∈R¯¯∃t∈C⁻such thatr+t−δχ_{0}∈P⁺ª

=sup©

δ∈R¯¯∃t∈C⁻such thatδχ_{0}−r−t∈P⁻ª

=sup©

δ∈R¯¯δχ_{0}−r∈C⁻+P⁻ª

(4)

(It is clear that the definition onαcoincides with the definition given in [6, eq. (5)].

It is less obvious that the definition ofωis the same as the one given in [6, eq. (12)].

However, the fact that the nonnegative symmetric measures onT^d are in one-to-one correspondence with the real positive definite functions onZ^d by the Fourier transform may convince the reader that the definition ofωis also correct.)

We mentioned before thatCandP are convex sets in the real Banach spaceL¹_R_,s¡ Z^d¢

. It is clear that 0∈C ∩P andC ∩intP 6= ;, asχ_{0} ∈C ∩intP. (The fact that χ_{0} ∈ intP can be easily seen by the following. The Fourier transform is a contraction from L¹_R_,s¡

Z^d¢

intoCR,s¡ T^d¢

, andχd_{0}=1.) Therefore, by [2, Lemma 2.1.], the intersection formula

(C ∩P)⁺=C⁺+P⁺

holds. Consequently, we have (C∩P)⁻=C⁻+P⁻. So, by this intersection formula,ω can be rewritten as

ω=sup©

δ∈R¯¯δχ_{0}−r∈(C ∩P)⁻ª . Theorem 2(Révész, [6]).

α=ω.

A short proof. Ifδχ_{0}−r∈(P ∩C)⁻, then X

n∈Z^d

f(n)r(n)≥δfor any f ∈C ∩P ∩H, as in this case

0≥ X

n∈Z^d

f(n)¡

δχ_{0}(n)−r(n)¢

=δf(0)− X

n∈Z^d

f(n)r(n)=δ− X

n∈Z^d

f(n)r(n).

Therefore,ω≤α.

On the contrary, ifβ>ω, thenβχ_{0}−r ∉(C ∩P)⁻, that is, there exists some f ∈ C∩P such that

X

n∈Z^d

f(n)¡

βχ_{0}(n)−r(n)¢

>0.

This f is necessarily a non-zero element ofP, hence f(0)>0. Therefore, without loss of generality, we can assume that f(0)=1, so there exists some f ∈C ∩P ∩H such that

X

n∈Z^d

f(n)¡

βχ_{0}(n)−r(n)¢

>0.

That is,

β> X

n∈Z^d

f(n)r(n)

for somef ∈C ∩P ∩H, which means thatβ>α. So, we deduced thatβ>ωimplies β>α, therefore,α≤ω. The proof is done.

3. ANOTHER APPLICATION OF THE INTERSECTION FORMULA

The second application concerns integral estimates of non-negative positive definite functions. This problem is related to Wiener’s problem [9, 11] and to the recent works [1, 10]. The arguments in this section are partially parallel to the arguments pre- sented in the previous section.

(5)

Let L¹_R_,s(Z) denote the real Banach space of all real-valued, symmetric, summable functions onZand let us consider its topological dual spaceL^∞_R_,s(Z) endowed with the weak-^∗topology.

Let us defineC = n

f ∈L¹_R_,s(Z)¯¯¯f ≥0o

andP = n

f ∈L¹_R_,s(Z)¯¯¯fˆ≥0o

. Clearly,C andP are convex cones inL¹_R_,s(Z). The closedness ofC is obvious, andP is also closed as the Fourier transform is a continuous (moreover, norm-non-increasing) linear transformation fromL¹_R_,s(Z) intoCR,s(T), and the nonnegative functions form a closed set ofCR,s(T) with respect to the maximum norm topology. (The symbolTdenotes the additive group of real numbers modulo 2πandCR,s(T) stands for the Banach space of all continuous, symmetric real functions onT.)

Lemma 3.

C⁺={g ∈L^∞_R_,s(Z)|g ≥0}, and

P⁺={h∈L^∞_R_,s(Z)|h≫0, that is, h is positive definite}.

Proof of Lemma 3. The first statement of Lemma 3 is obvious. The proof of the second

statement is very similar to the proof of Lemma 1.

LetLandNbe positive integers. Let us define the extremal quantities C(L,N) :=inf

( C∈R

¯¯

¯

LNX

k=−LN

f(k)≤(C+1) X^N

k=−N

f(k) for anyf ∈C ∩P )

and

h(0)¯¯h∈L^∞_R_,s(Z),h≫0 andh(k)≤ −χ{−LN,...,LN}(k), if|k| >Nª . Let us introduce

S_L,N :=©

h∈L^∞R,s(Z)¯¯h(k)≤ −χ{−LN,...,LN}(k), if|k| >Nª ,

and observe thatS_L,N is closed in the weak-^∗topology as it is the intersection of weak-

∗closed sets.

Note that

C(L,N)=inf©

C∈R¯¯(C+1)χ_{−N_,...,N}−χ_{−LN_,...,LN_}∈(C∩P)⁺ª , and by the result of Lemma 3,

K(L,N)=inf©

h(0)¯¯h∈P⁺∩S_L,Nª .

Remark4. Let us note thatK(L,N) is finite as the setP⁺∩S_L,N is not empty. Indeed, one can easily check that the function

w_L,N(k) :=







2(L−1)N ifk=0

−1 ifN< |k| ≤LN

0 otherwise

is positive definite, and therefore, it is an element ofP⁺∩S_L,N. Theorem 5.

C(L,N)=K(L,N).

(6)

Proof. The key idea is the observation thatC andP are convex sets inL¹_R_,s(Z) such that 0∈C ∩P andC ∩intP 6= ;asχ_{0}∈C∩intP. Therefore, the intersection formula

(C ∩P)⁺=C⁺+P⁺ holds.

On the one hand, ifh∈P⁺∩S_L,N then

h≤(h(0)+1)χ{−N,...,N}−χ_{−LN_,...,LN}

ash(0)≥h(n) (n∈Z) holds for any positive definite functionh∈L^∞_R_,s(Z). Therefore, in this case

(h(0)+1)χ{−N,...,N}−χ{−LN,...,LN}∈C⁺+P⁺=(C∩P)⁺, henceC(L,N)≤K(L,N).

C∈R¯¯(C+1)χ{−N,...,N}−χ_{−LN_,...,LN}∈C⁺+P⁺ª holds, hence the following argument shows the opposite inequality. If

(C+1)χ_{−N,...,N_}−χ{−LN,...,LN}∈C⁺+P⁺

then (C+1)χ_{−N_,...,N_}−χ{−LN,...,LN}=g+hfor someg ∈C⁺andh∈P⁺. Clearly, thish is an element ofP⁺∩S_L,N, andh(0)≤C, henceK(L,N)≤C(L,N).

Remark6. We have noted (see Remark 4) thatK(L,N) is finite. Therefore, the result of Theorem 5 directly implies the finiteness ofC(L,N).

Acknowledgement. The author is grateful to Szilárd Révész for proposing the problems discussed in this paper and for useful communication. The author is also grateful to the anonymous referee for his/her comments which helped to improve the presentation of the paper.

REFERENCES

[1] D. V. Gorbachev,Certain inequalities for discrete, nonnengative, positive definite functions,Izvestiya Tulskogo Universiteta Estestvennie Nauki2(2015), 1–8, in Russian.

[2] V. Jeyakumar and H. Wolkowicz,Generalizations of Slater’s constraint qualification for infinite convex programs, Math. Prog.57(1992), 85-101.

[3] Sz. Gy. Révész,On a class of extremal problems,Approx. Theory Appl.7(1991), 86-96.

[4] Sz. Gy. Révész,On Beurling’s prime number theorem,Period. Math. Hungar.28(1994), 195-210.

[5] Sz. Gy. Révész,Extremal problems and a duality phenomenon,in: Approximation, Optimization and Computing, North Holland, Amsterdam, 1990, pp. 279-281.

[6] Sz. Gy. Révész,Some trigonometric extremal problems and duality,J. Aust. Math. Soc. Ser. A50(1991), 384-390.

[7] W. Rudin,Fourier Analysis on Groups,Wiley Classics Library, 1990.

[8] I. Z. Ruzsa,Connections between the uniform distribution of a sequence and its differences,in: Topics in classical number theory, P. Erd˝os and G. Halász (Eds.), Coll. Math. Soc. J. Bolyai34pp. 1419-1443, North-Holland, Amsterdam, New York, Budapest, 1981.

[9] H. S. Shapiro,Majorant problems for Fourier coefficients,Quart. J. Math. Oxford Ser. (2)26(1975), 9-18.

[10] Yu. N. Shteinikov,On the set of joint representatives of two congruence classes,Trudy Matematich- eskogo Instituta imeni V.A. Steklova290(2015), 202–210, in Russian. English version: Proceedings of the Steklov Institute of Mathematics290(2015), 189–196.

[11] N. Wiener,A class of gap theorems,Ann. Scuola Norm. Sup. Pisa (2)3(1934), 367–372.

(7)

DEPARTMENT OF ANALYSIS, INSTITUTE OFMATHEMATICS, BUDAPESTUNIVERSITY OFTECHNOLOGY ANDECONOMICS, H-1521 BUDAPEST, HUNGARY ANDMTA-DE “LENDÜLET” FUNCTIONALANALYSISRE-

SEARCHGROUP, INSTITUTE OFMATHEMATICS, UNIVERSITY OFDEBRECEN, H-4002 DEBRECEN, P.O. BOX

400, HUNGARY

E-mail address:virosz@math.bme.hu URL:http://www.math.bme.hu/˜virosz