Showing 1–47 of 47 results for author: Révész, S G

On extremal problems of Delsarte type for positive definite functions on LCA groups

Authors: Elena E. Berdysheva, Mita D. Ramabulana, Szilárd Gy. Révész

Abstract: A unifying framework for some extremal problems on locally compact Abelian groups is considered, special cases of which include the Delsarte and Turán extremal problems. A slight variation of the extremal problem is introduced and the different formulations are studied for equivalence. Extending previous work, a general result on existence of extremal functions for the new variant is proved under… ▽ More A unifying framework for some extremal problems on locally compact Abelian groups is considered, special cases of which include the Delsarte and Turán extremal problems. A slight variation of the extremal problem is introduced and the different formulations are studied for equivalence. Extending previous work, a general result on existence of extremal functions for the new variant is proved under a certain general topological condition. △ Less

Submitted 30 November, 2024; originally announced December 2024.

MSC Class: 43A35

Turán type oscillation inequalities in $L^q$ norm on the boundary of convex polygonal domains

Authors: Polina Glazyrina, Szilárd Gy. Révész

Abstract: In 1939 Pál Turán and János Erőd initiated the study of lower estimations of maximum norms of derivatives of polynomials, in terms of the maximum norms of the polynomials themselves, on convex domains of the complex plane. As a matter of normalization they considered the family $\mathcal{P}_n(K)$ of degree $n$ polynomials with all zeros lying in the given convex, compact subset… ▽ More In 1939 Pál Turán and János Erőd initiated the study of lower estimations of maximum norms of derivatives of polynomials, in terms of the maximum norms of the polynomials themselves, on convex domains of the complex plane. As a matter of normalization they considered the family $\mathcal{P}_n(K)$ of degree $n$ polynomials with all zeros lying in the given convex, compact subset $K\Subset {\mathbb C}$. While Turán obtained the first results for the interval $I:=[-1,1]$ and the disk $D:=\{ z\in {\mathbb C}~:~ |z|\le 1\}$, Erőd extended investigations to other compact convex domains, too. The order of the optimal constant was found to be $\sqrt{n}$ for $I$ and $n$ for $D$. It took until 2006 to clarify that all compact convex \emph{domains} (with nonempty interior), follow the pattern of the disk, and admit an order $n$ inequality. For $L^q(\partial K)$ norms with any $1\le q <\infty$ we obtained order $n$ results for various classes of domains. Further, in the generality of all convex, compact domains we could show a $c n/\log n$ lower bound together with an $O(n)$ upper bound for the optimal constant. Also, we conjectured that all compact convex domains admit an order $n$ Turán type inequality. Here we prove this for all \emph{polygonal} convex domains and any $0< q <\infty$. △ Less

Submitted 25 July, 2024; originally announced July 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:1512.08268

MSC Class: 41A17

New zero-density estimates for the Beurling $ζ$ function

Authors: Szilárd Gy. Révész, János Pintz

Abstract: In two previous papers the second author proved some Carlson type density theorems for zeroes in the critical strip for Beurling zeta functions satisfying Axiom A of Knopfmacher. In the first of these invoking two additonal conditions were needed, while in the second an explicit, fully general result was obtained. Subsequently, Frederik Broucke and Gregory Debruyne obtained, via a different method… ▽ More In two previous papers the second author proved some Carlson type density theorems for zeroes in the critical strip for Beurling zeta functions satisfying Axiom A of Knopfmacher. In the first of these invoking two additonal conditions were needed, while in the second an explicit, fully general result was obtained. Subsequently, Frederik Broucke and Gregory Debruyne obtained, via a different method, a general Carlson type density theorem with an even better exponent, and recently Frederik Broucke improved this further, getting $N(σ,T) \le T^{a(1-σ)}$ with any $a>\dfrac{4}{1-θ}$. Broucke employed a new mean value estimate of the Beurling zeta function, while he did not use the method of Halász and Montgomery. Here we elaborate a new approach of the first author, using the classical zero detecting sums coupled with a kernel function technique and Halász' method, but otherwise arguing in an elementary way avoiding e.g. mean value estimates for Dirichlet polynomials. We will make essential use of the additional assumptions that the Beurling system of integers consists of natural numbers, and that the system satisfies the Ramanujan condition, too. This way we give a new variant of the Carlson type density estimate with similar strength as Turán's 1954 result for the Riemann $ζ$ function, coming close even to the Density Hypothesis for $σ$ close to 1. △ Less

Submitted 17 July, 2024; originally announced July 2024.

MSC Class: 11M41

Kahane's upper density and syndetic sets in LCA groups

Authors: Szilárd Gy. Révész

Abstract: Asymptotic uniform upper density, shortened as a.u.u.d., or simply upper density, is a classical notion which was first introduced by Kahane for sequences in the real line. Syndetic sets were defined by Gottschalk and Hendlund. For a locally compact group $G$, a set $S\subset G$ is syndetic, if there exists a compact subset $C\Subset G$ such that $SC=G$. Syndetic sets play an important role in var… ▽ More Asymptotic uniform upper density, shortened as a.u.u.d., or simply upper density, is a classical notion which was first introduced by Kahane for sequences in the real line. Syndetic sets were defined by Gottschalk and Hendlund. For a locally compact group $G$, a set $S\subset G$ is syndetic, if there exists a compact subset $C\Subset G$ such that $SC=G$. Syndetic sets play an important role in various fields of applications of topological groups and semigroups, ergodic theory and number theory. A lemma in the book of Fürstenberg says that once a subset $A \subset {\mathbb Z}$ has positive a.u.u.d., then its difference set $A-A$ is syndetic. The construction of a reasonable notion of a.u.u.d. in general locally compact Abelian groups (LCA groups for short) was not known for long, but in the late 2000's several constructions were worked out to generalize it from the base cases of ${\mathbb Z}^d$ and ${\mathbb R}^d$. With the notion available, several classical results of the Euclidean setting became accessible even in general LCA groups. Here we work out various versions in a general LCA group $G$ of the classical statement that if a set $S\subset G$ has positive asymptotic uniform upper density, then the difference set $S-S$ is syndetic. △ Less

Submitted 7 November, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:0904.1567

MSC Class: Primary 22B05; Secondary Primary 22B05; Secondary 22B99; 05B10

On the weighted trigonometric Bojanov-Chebyshev extremal problem

Authors: Béla Nagy, Szilárd Gy. Révész

Abstract: We investigate the weighted Bojanov-Chebyshev extremal problem for trigonometric polynomials, that is, the minimax problem of minimizing $\|T\|_{w,C({\mathbb T})}$, where $w$ is a sufficiently nonvanishing, upper bounded, nonnegative weight function, the norm is the corresponding weighted maximum norm on the torus ${\mathbb T}$, and $T$ is a trigonometric polynomial with prescribed multiplicities… ▽ More We investigate the weighted Bojanov-Chebyshev extremal problem for trigonometric polynomials, that is, the minimax problem of minimizing $\|T\|_{w,C({\mathbb T})}$, where $w$ is a sufficiently nonvanishing, upper bounded, nonnegative weight function, the norm is the corresponding weighted maximum norm on the torus ${\mathbb T}$, and $T$ is a trigonometric polynomial with prescribed multiplicities $ν_1,\ldots,ν_n$ of root factors $|\sin(π(t-z_j))|^{ν_j}$. If the $ν_j$ are natural numbers and their sum is even, then $T$ is indeed a trigonometric polynomial and the case when all the $ν_j$ are 1 covers the Chebyshev extremal problem. Our result will be more general, allowing, in particular, so-called generalized trigonometric polynomials. To reach our goal, we invoke Fenton's sum of translates method. However, altering from the earlier described cases without weight or on the interval, here we find different situations, and can state less about the solutions. △ Less

Submitted 12 September, 2023; originally announced September 2023.

MSC Class: 26A51; 26D07; 49K35

The growth order of the optimal constants in Turán-Erőd type inequalities in $L^q(K,μ)$

Authors: P. Yu. Glazyrina, Yu. S. Goryacheva, Sz. Gy. Révész

Abstract: In 1939 Turán raised the question about lower estimations of the maximum norm of the derivatives of a polynomial $p$ of maximum norm $1$ on the compact set $K$ of the complex plain under the normalization condition that the zeroes of $p$ in question all lie in $K$. Turán studied the problem for the interval $I=[-1,1]$ and the unit disk $D$ and found that with $n$ denoting the degree of $p$ and wit… ▽ More In 1939 Turán raised the question about lower estimations of the maximum norm of the derivatives of a polynomial $p$ of maximum norm $1$ on the compact set $K$ of the complex plain under the normalization condition that the zeroes of $p$ in question all lie in $K$. Turán studied the problem for the interval $I=[-1,1]$ and the unit disk $D$ and found that with $n$ denoting the degree of $p$ and with $n$ tending to infinity, the precise growth order of the minimal possible derivative norm (oscillation order) is $\sqrt{n}$ for $I$ and $n$ for $D$. Erőd continued the work of Turán considering other domains. Finally, in 2006, Halász and Révész proved that the growth of the minimal possible maximal norm of the derivative is of order $n$ for all compact convex domains. Although Turán himself gave comments about the above oscillation question in $L^q$ norms, till recently results were known only for $D$ and $I$. Recently, we have found order $n$ lower estimations for several general classes of compact convex domains, and proved that in $L^q$ norm the oscillation order is at least $n/\log n$ for all compact convex domains. In the present paper we prove that the oscillation order is not greater than $n$ for all compact (not necessarily convex) domains $K$ and $L^q$-norm with respect to any measure supported on more than two points on $K$. △ Less

Submitted 25 June, 2023; originally announced June 2023.

Intertwining of maxima of sum of translates functions with nonsingular kernels

Authors: Bálint Farkas, Béla Nagy, Szilárd Gy. Révész

Abstract: In previous papers we investigated so-called sum of translates functions $F({\mathbf{x}},t):=J(t)+\sum_{j=1}^n ν_j K(t-x_j)$, where $J:[0,1]\to \underline{\mathbb{R}}:={\mathbb{R}}\cup\{-\infty\}$ is a "sufficiently nondegenerate" and upper-bounded "field function", and $K:[-1,1]\to \underline{\mathbb{R}}$ is a fixed "kernel function", concave both on $(-1,0)$ and $(0,1)$, and also satisfying the… ▽ More In previous papers we investigated so-called sum of translates functions $F({\mathbf{x}},t):=J(t)+\sum_{j=1}^n ν_j K(t-x_j)$, where $J:[0,1]\to \underline{\mathbb{R}}:={\mathbb{R}}\cup\{-\infty\}$ is a "sufficiently nondegenerate" and upper-bounded "field function", and $K:[-1,1]\to \underline{\mathbb{R}}$ is a fixed "kernel function", concave both on $(-1,0)$ and $(0,1)$, and also satisfying the singularity condition $K(0)=\lim_{t\to 0} K(t)=-\infty$. For node systems ${\mathbf{x}}:=(x_1,\ldots,x_n)$ with $x_0:=0\le x_1\le\dots\le x_n\le 1=:x_{n+1}$, we analyzed the behavior of the local maxima vector ${\mathbf{m}}:=(m_0,m_1,\ldots,m_n)$, where $m_j:=m_j({\mathbf{x}}):=\sup_{x_j\le t\le x_{j+1}} F({\mathbf{x}},t)$. Among other results we proved a strong intertwining property: if the kernels are also decreasing on $(-1,0)$ and increasing on $(0,1)$, and the field function is upper semicontinuous, then for any two different node systems there are $i,j$ such that $m_i({\mathbf{x}})<m_i({\mathbf{y}})$ and $m_j({\mathbf{x}})>m_j({\mathbf{y}})$. Here we partially succeed to extend this even to nonsingular kernels. △ Less

Submitted 28 June, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: The current v3 is a very slightly corrected version with a few updated references (former ArXiv prerints have already appeared or accepted, and this is now signified). Note that a v2 version was uplodaed recently by mistake (that was intended to be an updated new version for another paper) - it was requested that v2 be removed from the records of this paper. arXiv admin note: text overlap with arXiv:2210.04348, arXiv:2112.10169

MSC Class: 26A51

Journal ref: Trudy Instituta Matematiki i Mekhaniki UrO RAN Vol. 28 No. 4, 262-272 (2022)

Fenton type minimax problems for sum of translates functions

Authors: Bálint Farkas, Béla NAgy, Szilárd Gy. Révész

Abstract: Following P. Fenton, we investigate sum of translates functions $F(\mathbf{x},t):=J(t)+\sum_{j=1}^n ν_j K(t-x_j)$, where $J:[0,1]\to {\underline{\mathbb{R}}}:=\mathbb{R}\cup\{-\infty\}$ is a "sufficiently non-degenerate" and upper-bounded "field function", and $K:[-1,1]\to {\underline{\mathbb{R}}}$ is a fixed "kernel function", concave both on $(-1,0)$ and $(0,1)$, $\mathbf{x}:=(x_1,\ldots,x_n)$ w… ▽ More Following P. Fenton, we investigate sum of translates functions $F(\mathbf{x},t):=J(t)+\sum_{j=1}^n ν_j K(t-x_j)$, where $J:[0,1]\to {\underline{\mathbb{R}}}:=\mathbb{R}\cup\{-\infty\}$ is a "sufficiently non-degenerate" and upper-bounded "field function", and $K:[-1,1]\to {\underline{\mathbb{R}}}$ is a fixed "kernel function", concave both on $(-1,0)$ and $(0,1)$, $\mathbf{x}:=(x_1,\ldots,x_n)$ with $0\le x_1\le\dots\le x_n\le 1$, and $ν_1,\dots,ν_n>0$ are fixed. We analyze the behavior of the local maxima vector $\mathbf{m}:=(m_0,m_1,\ldots,m_n)$, where $m_j:=m_j(\mathbf{x}):=\sup_{x_j\le t\le x_{j+1}} F(\mathbf{x},t)$, with $x_0:=0$, $x_{n+1}:=1$; and study the optimization (minimax and maximin) problems $\inf_{\mathbf{x}}\max_j m_j(\mathbf{x})$ and $\sup_{\mathbf{x}}\min_j m_j(\mathbf{x})$. The main result is the equality of these quantities, and provided $J$ is upper semicontinuous, the existence of extremal configurations and their description as equioscillation points $\mathbf{w}$. In our previous papers we obtained results for the case of singular kernels, i.e., when $K(0)=-\infty$ and the field $J$ was assumed to be upper semicontinuous. In this work we get rid of these assumptions and prove common generalizations of Fenton's and our previous results, arriving at the greatest generality in the setting of concave kernel functions. △ Less

Submitted 28 June, 2023; v1 submitted 9 October, 2022; originally announced October 2022.

Comments: v2 differs from v1 only in an added ArXiv preprint reference to a paper listed formerly as "manuscript". v3 is a slightly revised, corrected version with no essential change, but with further updates of bibliographiy items

MSC Class: 26A51; 26D07; 49K35

The Carlson-type zero-density theorem for the Beurling zeta function

Authors: Szilárd Gy. Révész

Abstract: In a previous paper we proved a Carlson type density theorem for zeroes in the critical strip for Beurling zeta functions satisfying Axiom A of Knopfmacher. There we needed to invoke two additonal conditions, the integrality of the norm (Condition B) and an "average Ramanujan Condition" for the arithmetical function counting the number of different Beurling integers of the same norm (Condition G).… ▽ More In a previous paper we proved a Carlson type density theorem for zeroes in the critical strip for Beurling zeta functions satisfying Axiom A of Knopfmacher. There we needed to invoke two additonal conditions, the integrality of the norm (Condition B) and an "average Ramanujan Condition" for the arithmetical function counting the number of different Beurling integers of the same norm (Condition G). Here we implement a new approach of Pintz, using the classic zero detecting sums coupled with Halász' method, but otherwise arguing in an elementary way avoiding e.g. large sieve type inequalities. This way we give a new proof of a Carlson type density estimate--with explicit constants--avoiding any use of the two additional conditions, needed earlier. Therefore it is seen that the validity of a Carlson-type density estimate does not depend on any extra assumption--neither on the functional equation, present for the Selberg class, nor on growth estimates of coefficients say of the "average Ramanujan type"-but is a general property, presenting itself whenever the analytic continuation is guaranteed by Axiom A. △ Less

Submitted 12 November, 2024; v1 submitted 4 September, 2022; originally announced September 2022.

MSC Class: 11M41

The method of Pintz for the Ingham question about the connection of distribution of $ζ$-zeros and order of the error in the PNT in the Beurling context

Authors: Szilárd Gy. Révész

Abstract: We prove two results, generalizing long existing knowledge regarding the classical case of the Riemann zeta function and some of its generalizations. These are concerned with the question of Ingham who asked for optimal and explicit order estimates for the error term $Δ(x):=ψ(x)-x$, given any zero-free region $D(η):=\{s=σ+it\in\mathbb{C}~:~ σ:=\Re s \ge 1-η(t)\}$. In the classical case essentially… ▽ More We prove two results, generalizing long existing knowledge regarding the classical case of the Riemann zeta function and some of its generalizations. These are concerned with the question of Ingham who asked for optimal and explicit order estimates for the error term $Δ(x):=ψ(x)-x$, given any zero-free region $D(η):=\{s=σ+it\in\mathbb{C}~:~ σ:=\Re s \ge 1-η(t)\}$. In the classical case essentially sharp results are due to some 40 years old work of Pintz. Here we consider a given a system of Beurling primes $\mathcal{P}$, the generated arithmetical semigroup $\mathcal{G}$ and the corresponding integer counting function $N(x)$, and the corresponding error term $Δ_{\mathcal{G}}(x):=ψ_{\mathcal{G}}(x)-x$ in the PNT of Beurling, where $ψ_{\mathcal{G}}(x)$ is the Beurling analog of $ψ(x)$. First we prove that if the Beurling zeta function $ζ_{\mathcal{G}}$ does not vanish in $D(η)$, then the extension of Pintz' result holds: $|Δ_{\mathcal{G}}(x)| \le x\exp(-(1-\varepsilon)ω_η(x))~(x>x_0(\varepsilon))$, where $ω_η(y)$ is the naturally occurring conjugate function to $η(t)$, introduced into the field by Ingham. In the second part we prove a converse: if $ζ_{\mathcal{G}}$ has an infinitude of zeroes in the given domain, then analogously to the classical case, $|Δ_{\mathcal{G}}(x)| \ge x\exp(-(1+\varepsilon)ω_η(x))$ holds "infinitely often". This also shows that both main results are sharp apart from the arbitrarily small $\varepsilon>0$. △ Less

Submitted 21 February, 2023; v1 submitted 1 July, 2022; originally announced July 2022.

Comments: arXiv admin note: text overlap with arXiv:2202.01837

MSC Class: 11M41

Oscillation of the remainder term in the prime number theorem of Beurling, "caused by a given zeta-zero"

Authors: Szilárd Gy. Révész

Abstract: Continuing previous study of the Beurling zeta function, here we prove two results, generalizing long existing knowledge regarding the classical case of the Riemann zeta function and some of its generalizations. First, we address the question of Littlewood, who asked for explicit oscillation results provided a zeta-zero is known. We prove that given a zero $ρ_0$ of the Beurling zeta function… ▽ More Continuing previous study of the Beurling zeta function, here we prove two results, generalizing long existing knowledge regarding the classical case of the Riemann zeta function and some of its generalizations. First, we address the question of Littlewood, who asked for explicit oscillation results provided a zeta-zero is known. We prove that given a zero $ρ_0$ of the Beurling zeta function $ζ_P$ for a given number system generated by the primes $P$, the corresponding error term $Δ_P(x):=ψ_{P}(x)-x$, where $ψ_{P}(x)$ is the von Mangoldt summatory function shows oscillation in any large enough interval, as large as $(π/2-\varepsilon) x^{\Re ρ_0}/|ρ_0|$. The somewhat mysterious appearance of the constant $π/2$ is explained in the study. Finally, we prove as the next main result of the paper the following: given $\varepsilon>0$, there exists a Beurling number system with primes $P$, such that $|Δ_P(x)| \le (π/2+\varepsilon)x^{\Re ρ_0}/|ρ_0|$. In this second part a nontrivial construction of a low norm sine polynomial is coupled by the application of the wonderful recent prime random approximation result of Broucke and Vindas, who sharpened the breakthrough probabilistic construction due to Diamond, Montgomery and Vorhauer. △ Less

Submitted 15 September, 2022; v1 submitted 3 February, 2022; originally announced February 2022.

MSC Class: 11M41

A homeomorphism theorem for sums of translates

Authors: Bálint Farkas, Béla Nagy, Szilárd Gy. Révész

Abstract: For a fixed positive integer $n$ consider continuous functions $ K_1,\dots$, $ K_n:[-1,1]\to \mathbb{R}\cup\{-\infty\}$ that are concave and real valued on $[-1,0)$ and on $(0,1]$, and satisfy $K_j(0)=-\infty$. Moreover, let $J:[0,1]\to \mathbb{R}\cup\{-\infty\}$ be upper bounded and such that $[0,1]\setminus J^{-1}(\{-\infty\})$ has at least $n+1$ elements, but it is arbitrary otherwise. For… ▽ More For a fixed positive integer $n$ consider continuous functions $ K_1,\dots$, $ K_n:[-1,1]\to \mathbb{R}\cup\{-\infty\}$ that are concave and real valued on $[-1,0)$ and on $(0,1]$, and satisfy $K_j(0)=-\infty$. Moreover, let $J:[0,1]\to \mathbb{R}\cup\{-\infty\}$ be upper bounded and such that $[0,1]\setminus J^{-1}(\{-\infty\})$ has at least $n+1$ elements, but it is arbitrary otherwise. For $x_0:=0<x_1<\dots< x_n \le x_{n+1}:=1$, so called nodes, and for $t\in [0,1]$ consider the sum of translates function $F(x_1,\ldots,x_n,t):=J(t)+\sum_{j=1}^n K_j(t-x_j)$, and the vector of interval maximum values $m_j:=m_j(x_1,\ldots,x_n):=\max_{t\in [x_j,x_{j+1}]}F(x_1,\ldots,x_n,t)$ ($j=0,1,\ldots,n$). We describe the structure of the arising interval maxima as the nodes run over the $n$-dimensional simplex. Applications presented here range from abstract moving node Hermite-Fejér interpolation for generalized algebraic and trigonometric polynomials via Bojanov's problem to more abstract results of interpolation theoretic flavour. △ Less

Submitted 5 February, 2023; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: minor corrections to the previous version

MSC Class: 41A50; 41A52; 42A15; 90C47

On the weighted Bojanov-Chebyshev Problem and the sum of translates method of Fenton

Authors: Bálint Farkas, Béla Nagy, Szilárd Gy. Révész

Abstract: Minimax and maximin problems are investigated for a special class of functions on the interval $[0,1]$. These functions are sums of translates of positive multiples of one kernel function and a very general external field function. Due to our very general setting the obtained minimax, equioscillation, and characterization results extend those of Bojanov, Fenton, Hardin, Kendall, Saff and Ambrus, B… ▽ More Minimax and maximin problems are investigated for a special class of functions on the interval $[0,1]$. These functions are sums of translates of positive multiples of one kernel function and a very general external field function. Due to our very general setting the obtained minimax, equioscillation, and characterization results extend those of Bojanov, Fenton, Hardin, Kendall, Saff and Ambrus, Ball, Erdélyi. Moreover, we discover a surprising intertwining phenomenon of interval maxima, which provides new information even in the most classical extremal problem of Chebyshev. △ Less

Submitted 21 February, 2023; v1 submitted 19 December, 2021; originally announced December 2021.

MSC Class: 41A50

A Riemann-von Mangoldt-type formula for the distribution of Beurling primes

Authors: Szilárd Gy. Révész

Abstract: In this paper we work out a Riemann-von Mangoldt type formula for the summatory function $ψ(x):=\sum_{g\in G, |g|\le x} Λ_{G}(g)$, where $G$ is an arithmetical semigroup (a Beurling generalized system of integers) and $Λ_{G}$ is the corresponding von Mangoldt function attaining $\log|p|$ for $g=p^k$ with a prime element $p\in G$ and zero otherwise. On the way towards this formula, we prove explici… ▽ More In this paper we work out a Riemann-von Mangoldt type formula for the summatory function $ψ(x):=\sum_{g\in G, |g|\le x} Λ_{G}(g)$, where $G$ is an arithmetical semigroup (a Beurling generalized system of integers) and $Λ_{G}$ is the corresponding von Mangoldt function attaining $\log|p|$ for $g=p^k$ with a prime element $p\in G$ and zero otherwise. On the way towards this formula, we prove explicit estimates on the Beurling zeta function $ζ_{G}$, belonging to $G$, to the number of zeroes of $ζ_G$ in various regions, in particular within the critical strip where the analytic continuation exists, and to the magnitude of the logarithmic derivative of $ζ_G$, under the sole additional assumption that Knopfmacher's Axiom A is satisfied. We also construct a technically useful broken line contour to which the technic of integral transformation can be well applied. The whole work serves as a first step towards a further study of the distribution of zeros of the Beurling zeta function, providing appropriate zero density and zero clustering estimates, to be presented in the continuation of this paper. △ Less

Submitted 21 October, 2021; originally announced October 2021.

Comments: to appear in Mathematica Pannonica. arXiv admin note: text overlap with arXiv:2012.09045

MSC Class: 11M41

Journal ref: Mathematica Pannonica New Series 27 /NS 1/ (2021) 2, 204-232

Distribution of Beurling primes and zeroes of the Beurling zeta function I. Distribution of the zeroes of the zeta function of Beurling

Authors: Szilárd Gy. Révész

Abstract: We prove three results on the density resp. local density and clustering of zeros of the Beurling zeta function $ζ(s)$ close to the one-line $σ:=\Re s=1$. The analysis here brings about some news, sometimes even for the classical case of the Riemann zeta function. Theorem 4 provides a zero density estimate, which is a complement to known results for the Selberg class. Note that density results for… ▽ More We prove three results on the density resp. local density and clustering of zeros of the Beurling zeta function $ζ(s)$ close to the one-line $σ:=\Re s=1$. The analysis here brings about some news, sometimes even for the classical case of the Riemann zeta function. Theorem 4 provides a zero density estimate, which is a complement to known results for the Selberg class. Note that density results for the Selberg class rely on use of the functional equation of $ζ$, which we do not assume in the Beurling context. In Theorem 5 we deduce a variant of a well-known theorem of Turán, extending its range of validity even for rectangles of height only $h=2$. In Theorem 6 we will extend a zero clustering result of Ramachandra from the Riemann zeta case. A weaker result -- which, on the other hand, is a strong sharpening of the average result from the classic book \cite{Mont} of Montgomery -- was worked out by Diamond, Montgomery and Vorhauer. Here we show that the obscure technicalities of the Ramachandra paper (like a polynomial with coefficients like $10^8$) can be gotten rid of, providing a more transparent proof of the validity of this clustering phenomenon. △ Less

Submitted 25 June, 2022; v1 submitted 16 December, 2020; originally announced December 2020.

MSC Class: Primary 11M41; Secondary 11F66; 11M36; 30B50; 30C15

Journal ref: Sz. Gy. Révész, Density theorems for the Beurling zeta function, Mathematika, 68 (2022), 1045--1072

Delsarte's Extremal Problem and Packing on Locally Compact Abelian Groups

Authors: Elena Berdysheva, Szilárd Gy. Révész

Abstract: Let G be a locally compact Abelian group, and let X, Y be two open sets in G. We investigate the extremal constant C(X,Y) defined to be the supremum of integrals of functions f from the class F(X,Y), where F(X,Y) is the family of positive definite functions f on G such that f(0) = 1, the positive part of f is supported in X, and its negative part is supported in Y. In the case when X=Y, the proble… ▽ More Let G be a locally compact Abelian group, and let X, Y be two open sets in G. We investigate the extremal constant C(X,Y) defined to be the supremum of integrals of functions f from the class F(X,Y), where F(X,Y) is the family of positive definite functions f on G such that f(0) = 1, the positive part of f is supported in X, and its negative part is supported in Y. In the case when X=Y, the problem is exactly the so-called Turán problem for the set X. When Y= G, i.e., there is a restriction only on the set of positivity of f, we obtain the Delsarte problem. The Delsarte problem is the sharpest Fourier analytic tool to study packing density by translates of a given "master copy" set, which was studied first in connection with packing densities of Euclidean balls. We give an upper estimate of the constant C(X,Y) in the situation when the set X satisfies a certain packing type condition. This estimate is given in terms of the asymptotic uniform upper density of sets in locally compact Abelian groups. △ Less

Submitted 3 January, 2022; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: The November 22 version is a throughout, but all in all slight revision of the original submission. The January 3 version is a further revision with some more literature but is essentially not changed

MSC Class: Primary 43A35; 05B40. Secondary 42A82; 43A25; 42B10; 22B05; 11H31

Turán-Erőd type converse Markov inequalities on general convex domains of the plane in $\boldsymbol{L^q}$

Authors: Polina Yu. Glazyrina, Szilárd Gy. Révész

Abstract: In 1939 P. Turán started to derive lower estimations on the norm of the derivatives of polynomials of (maximum) norm 1 on $I:=[-1,1]$ (interval) and $D:=\{z\in\mathbb{C}~:~|z|\le 1\}$ (disk), under the normalization condition that the zeroes of the polynomial in question all lie in $I$ or $D$, respectively. For the maximum norm he found that with $n:=\mathop{\mathrm{deg}} p$ tending to infinity, t… ▽ More In 1939 P. Turán started to derive lower estimations on the norm of the derivatives of polynomials of (maximum) norm 1 on $I:=[-1,1]$ (interval) and $D:=\{z\in\mathbb{C}~:~|z|\le 1\}$ (disk), under the normalization condition that the zeroes of the polynomial in question all lie in $I$ or $D$, respectively. For the maximum norm he found that with $n:=\mathop{\mathrm{deg}} p$ tending to infinity, the precise growth order of the minimal possible derivative norm is $\sqrt{n}$ for $I$ and $n$ for $D$. J. Erőd continued the work of Turán considering other domains. Finally, a decade ago the growth of the minimal possible $\infty$-norm of the derivative was proved to be of order $n$ for all compact convex domains. Although Turán himself gave comments about the above oscillation question in $L^q$ norms, till recently results were known only for $D$ and $I$. Recently, we have found order $n$ lower estimations for several general classes of compact convex domains, and conjectured that even for arbitrary convex domains the growth order of this quantity should be $n$. Now we prove that in $L^q$ norm the oscillation order is at least $n/\log n$ for all compact convex domains. △ Less

Submitted 13 May, 2018; originally announced May 2018.

Comments: 2 figures

MSC Class: Primary 41A17. Secondary 30E10; 52A10

Integral comparisons of nonnegative positive definite functions on LCA groups

Authors: Marcell Gaál, Szilárd Gy. Révész

Abstract: In this paper we investigate the following questions. Let $μ, ν$ be two regular Borel measures of finite total variation. When do we have a constant $C$ satisfying $$\int f dν\le C \int f dμ$$ whenever $f$ is a continuous nonnegative positive definite function? How the admissible constants $C$ can be characterized, and what is their optimal value? We first discuss the problem in locally compact ab… ▽ More In this paper we investigate the following questions. Let $μ, ν$ be two regular Borel measures of finite total variation. When do we have a constant $C$ satisfying $$\int f dν\le C \int f dμ$$ whenever $f$ is a continuous nonnegative positive definite function? How the admissible constants $C$ can be characterized, and what is their optimal value? We first discuss the problem in locally compact abelian groups. Then we make further specializations when the Borel measures $μ, ν$ are both either purely atomic or absolutely continuous with respect to a reference Haar measure. In addition, we prove a duality conjecture posed in our former paper. △ Less

Submitted 18 April, 2019; v1 submitted 16 March, 2018; originally announced March 2018.

Comments: 26 pages

MSC Class: 43A05; 43A35 (Primary); 43A25; 43A60; 43A70 (Secondary)

On integral estimates of non-negative positive definite functions

Authors: Andrey Efimov, Marcell Gaal, Szilard Gy. Revesz

Abstract: Let $\ell>0$ be arbitrary. We introduce the extremal quantities $$ G(\ell):=\frac{\sup_{f} \int_{-\ell}^{\ell} f\,dx}{\int_{-1}^1 f\,dx},\quad C(\ell):=\frac{\sup_{f} \sup_{a\in {\mathbb R}} \int_{a-\ell}^{a+\ell} f\,dx}{\int_{-1}^1 f\,dx}, $$ where the supremum is taken over all not identically zero non-negative positive definite functions. We are interested in the question: how large can the abo… ▽ More Let $\ell>0$ be arbitrary. We introduce the extremal quantities $$ G(\ell):=\frac{\sup_{f} \int_{-\ell}^{\ell} f\,dx}{\int_{-1}^1 f\,dx},\quad C(\ell):=\frac{\sup_{f} \sup_{a\in {\mathbb R}} \int_{a-\ell}^{a+\ell} f\,dx}{\int_{-1}^1 f\,dx}, $$ where the supremum is taken over all not identically zero non-negative positive definite functions. We are interested in the question: how large can the above extremal quantities be? This problem was originally posed by Yu. Shteinikov and S. Konyagin for the case $\ell=2$. In this note we obtain exact values for the right limits $G(k+0)$ and $C(k+0)$ at natural numbers $k$, and sufficiently close bounds for other values of $\ell$. We point out that the problem provides an extension of the classical problem of Wiener. △ Less

Submitted 1 December, 2016; originally announced December 2016.

MSC Class: 42A82; 42A38; 26D15

Turán type converse Markov inequalities in $L^q$ on a generalized Erőd class of convex domains

Authors: Polina Yu. Glazyrina, Szilárd Gy. Révész

Abstract: P. Turán was the first to derive lower estimations on the uniform norm of the derivatives of polynomials $p$ of uniform norm $1$ on the interval I:=[-1,1] and the disk D:=$\{z \in C~:~|z| \le 1\}$, under the normalization condition that the zeroes of the polynomial p in question all lie in I or D, resp. Namely, in 1939 he proved that with n:=deg p tending to infinity, the precise growth order of t… ▽ More P. Turán was the first to derive lower estimations on the uniform norm of the derivatives of polynomials $p$ of uniform norm $1$ on the interval I:=[-1,1] and the disk D:=$\{z \in C~:~|z| \le 1\}$, under the normalization condition that the zeroes of the polynomial p in question all lie in I or D, resp. Namely, in 1939 he proved that with n:=deg p tending to infinity, the precise growth order of the minimal possible derivative norm is $\sqrt{n}$ for I and n for D. Already the same year J. Erőd considered the problem on other domains. In his most general formulation, he extended Turán's order n result on D to a certain general class of piecewise smooth convex domains. Finally, a decade ago the growth order of the minimal possible norm of the derivative was proved to be n for all compact convex domains. Turán himself gave comments about the above oscillation question in $L^q$ norm on D. Nevertheless, till recently results were known only for I, D and so-called R-circular domains. Continuing our recent work, also here we investigate the Turán-Erőd problem on general classes of domains. △ Less

Submitted 15 November, 2016; originally announced November 2016.

Comments: arXiv admin note: text overlap with arXiv:1512.08268

MSC Class: 41A17 (Primary); 30E10; 52A10 (Secondary)

A potential theoretic minimax problem on the torus

Authors: Bálint Farkas, Béla Nagy, Szilárd Gy. Révész

Abstract: We investigate an extension of an equilibrium-type result, conjectured by Ambrus, Ball and Erdélyi, and proved recently by Hardin, Kendall and Saff. These results were formulated on the torus, hence we also work on the torus, but one of the main motivations for our extension comes from an analogous setup on the unit interval, investigated earlier by Fenton. Basically, the problem is a minimax on… ▽ More We investigate an extension of an equilibrium-type result, conjectured by Ambrus, Ball and Erdélyi, and proved recently by Hardin, Kendall and Saff. These results were formulated on the torus, hence we also work on the torus, but one of the main motivations for our extension comes from an analogous setup on the unit interval, investigated earlier by Fenton. Basically, the problem is a minimax one, i.e. to minimize the maximum of a function $F$, defined as the sum of arbitrary translates of certain fixed "kernel functions", minimization understood with respect to the translates. If these kernels are assumed to be concave, having certain singularities or cusps at zero, then translates by $y_j$ will have singularities at $y_j$ (while in between these nodes the sum function still behaves realtively regularly). So one can consider the maxima $m_i$ on each subintervals between the nodes $y_j$, and look for the minimization of $\max F = \max_i m_i$. Here also a dual question of maximization of $\min_i m_i$ arises. This type of minimax problems were treated under some additional assumptions on the kernels. Also the problem is normalized so that $y_0=0$. In particular, Hardin, Kendall and Saff assumed that we have one single kernel $K$ on the torus or circle, and $F=\sum_{j=0}^n K(\cdot-y_j)= K + \sum_{j=1}^n K(\cdot-y_j)$. Fenton considered situations on the interval with two fixed kernels $J$ and $K$, also satisfying additional assumptions, and $F= J + \sum_{j=1}^n K(\cdot-y_j)$. Here we consider the situation (on the circle) when \emph{all the kernel functions can be different}, and $F=\sum_{j=0}^n K_j(\cdot- y_j) = K_0 + \sum_{j=1}^n K_j(\cdot-y_j)$. Also an emphasis is put on relaxing all other technical assumptions and give alternative, rather minimal variants of the set of conditions on the kernel. △ Less

Submitted 15 August, 2017; v1 submitted 30 December, 2015; originally announced December 2015.

MSC Class: 49J35 (Primary) 26A51; 42A05; 90C47 (Secondary)

Turán type oscillation inequalities in $L^q$ norm on the boundary of convex domains

Authors: Polina Yu. Glazyrina, Szilárd Gy. Révész

Abstract: Some 76 years ago P. Turán was the first to establish lower estimations of the ratio of the maximum norm of the derivatives of polynomials and the maximum norm of the polynomials themselves on the interval I:=[-1,1] and on the unit disk D:={z : |z| <= 1} under the normalization condition that the zeroes of the polynomial all lie in the interval or in the disk, respectively. He proved that with n:=… ▽ More Some 76 years ago P. Turán was the first to establish lower estimations of the ratio of the maximum norm of the derivatives of polynomials and the maximum norm of the polynomials themselves on the interval I:=[-1,1] and on the unit disk D:={z : |z| <= 1} under the normalization condition that the zeroes of the polynomial all lie in the interval or in the disk, respectively. He proved that with n:=deg p tending to infinity, the precise growth order of the minimal possible ratio of the derivative norm and the norm is square-root{n} for I and n for D. J. Eröd continued the work of Turán and extended his results to several other domains. The growth of the minimal possible ratio of the infinity norm of the derivative and the polynomial itself was proved to be of order n for all compact convex domains a decade ago. Although Turán himself gave comments about the above oscillation question in Lq norms, till recently results were known only for D and I. Here we prove that in Lq norm the oscillation order is again n for a certain class of convex domains, including all smooth convex domains and also convex polygonal domains having no acute angles at their vertices. △ Less

Submitted 27 December, 2015; originally announced December 2015.

MSC Class: 41A17; 30E10; 52A10

The point value maximization problem for positive definite functions supported in a given subset of a locally compact group

Authors: Sándor Krenedits, Szilárd Gy. Révész

Abstract: The century old extremal problem, solved by Carathéodory and Fejér, concerns a nonnegative trigonometric polynomial normalized by a0 = 1, and the quantity to be maximized is the coefficient a1. In the complex exponential form, the coefficient sequence (ck) will be supported in [-n; n] and normalized by c0 =1. Reformulating, nonnegativity of T translates to positive definiteness of the sequence (ck… ▽ More The century old extremal problem, solved by Carathéodory and Fejér, concerns a nonnegative trigonometric polynomial normalized by a0 = 1, and the quantity to be maximized is the coefficient a1. In the complex exponential form, the coefficient sequence (ck) will be supported in [-n; n] and normalized by c0 =1. Reformulating, nonnegativity of T translates to positive definiteness of the sequence (ck), and the extremal problem becomes a maximization problem for the value at 1 of a normalized positive definite function c : Z --> C, supported in [-n; n]. Boas and Katz, Arestov, Berdysheva and Berens, Kolountzakis and Révész and recently Krenedits and Révész investigated the problem in increasing generality, reaching analogous results for all locally compact Abelian groups. We prove an extension to all the known results in not necessarily commutative locally compact groups. △ Less

Submitted 2 May, 2015; v1 submitted 15 April, 2015; originally announced April 2015.

The Caratheodory-Fejér type extremal problem on locally compact Abelian groups

Authors: Sándor Krenedits, Szilárd Gy. Révész

Abstract: We consider the extremal problem of maximizing a point value jf(z)j at a given point z 2 G by some positive definite and continuous function f on an Abelian group G, where for a given symmetric open set 3 z, f vanishes outside and is normalized by f(0) = 1. Denote the extremal value as CG(; z). This extremal problem was investigated in R and Rd and for a 0-symmetric convex body in a paper of Boas… ▽ More We consider the extremal problem of maximizing a point value jf(z)j at a given point z 2 G by some positive definite and continuous function f on an Abelian group G, where for a given symmetric open set 3 z, f vanishes outside and is normalized by f(0) = 1. Denote the extremal value as CG(; z). This extremal problem was investigated in R and Rd and for a 0-symmetric convex body in a paper of Boas and Kac in 1943. Arestov and Berdysheva extended the investigation to Td, where T := R=Z. Kolountzakis and R?ev?esz gave a more general setting, considering arbitrary open sets, in all the classical groups above. Also they observed, that such extremal problems occurred in certain special cases and in a different, but equivalent formulation already a century ago in the work of Carath?eodory and Fej?er. Moreover, following observations of Boas and Kac, Kolountzakis and R?ev?esz showed how the general problem can be reduced to equivalent discrete problems of "Carath?eodory-Fej?er type" on Z or Zm := Z=mZ. We extend the results of Kolountzakis and R?ev?esz to locally compact Abelian groups. △ Less

Submitted 11 December, 2013; v1 submitted 30 March, 2013; originally announced April 2013.

MSC Class: 43A35; 43A70

Generalization of the effective Wiener-Ikehara theorem

Authors: Szilárd Gy. Révész, Anne de Roton

Abstract: We consider the classical Wiener-Ikehara Tauberian theorem, with a generalized condition of slow decrease and some additional poles on the boundary of convergence of the Laplace transform. In this generality, we prove the otherwise known asymptotic evaluation of the transformed function, when the usual conditions of the Wiener-Ikehara theorem hold. However, our version also provides an effective e… ▽ More We consider the classical Wiener-Ikehara Tauberian theorem, with a generalized condition of slow decrease and some additional poles on the boundary of convergence of the Laplace transform. In this generality, we prove the otherwise known asymptotic evaluation of the transformed function, when the usual conditions of the Wiener-Ikehara theorem hold. However, our version also provides an effective error term, not known thus far in this generalality. The crux of the proof is a proper, asymptotic variation of the lemmas of Ganelius and Tenenbaum, also constructed for the sake of an effective version of the Wiener-Ikehara Theorem. △ Less

Submitted 8 October, 2012; originally announced October 2012.

On uniform asymptotic upper density in locally compact abelian groups

Authors: Szilard Gy. Revesz

Abstract: Starting out from results known for the most classical cases of N, Z^d, R^d or for sigma-finite abelian groups, here we define the notion of asymptotic uniform upper density in general locally compact abelian groups. Even if a bit surprising, the new notion proves to be the right extension of the classical cases of Z^d, R^d. The new notion is used to extend some analogous results previously obta… ▽ More Starting out from results known for the most classical cases of N, Z^d, R^d or for sigma-finite abelian groups, here we define the notion of asymptotic uniform upper density in general locally compact abelian groups. Even if a bit surprising, the new notion proves to be the right extension of the classical cases of Z^d, R^d. The new notion is used to extend some analogous results previously obtained only for classical cases or sigma-finite abelian groups. In particular, we show the following extension of a well-known result for Z of Furstenberg: if in a general locally compact Abelian group G a subset S of G has positive uniform asymptotic upper density, then S-S is syndetic. △ Less

Submitted 9 April, 2009; originally announced April 2009.

MSC Class: 22B05

Concentration of the integral norm of idempotents

Authors: Aline Bonami, Szilárd Gy. Révész

Abstract: This is a companion paper of a recent one, entitled {\sl Integral concentration of idempotent trigonometric polynomials with gaps}. New results of the present work concern $L^1$ concentration, while the above mentioned paper deals with $L^p$-concentration. Our aim here is two-fold. At the first place we try to explain methods and results, and give further straightforward corollaries. On the ot… ▽ More This is a companion paper of a recent one, entitled {\sl Integral concentration of idempotent trigonometric polynomials with gaps}. New results of the present work concern $L^1$ concentration, while the above mentioned paper deals with $L^p$-concentration. Our aim here is two-fold. At the first place we try to explain methods and results, and give further straightforward corollaries. On the other hand, we push forward the methods to obtain a better constant for the possible concentration (in $L^1$ norm) of an idempotent on an arbitrary symmetric measurable set of positive measure. We prove a rather high level $γ_1>0.96$, which contradicts strongly the conjecture of Anderson et al. that there is no positive concentration in $L^1$ norm. The same problem is considered on the group $\mathbb{Z}/q\mathbb{Z}$, with $q$ say a prime number. There, the property of absolute integral concentration of idempotent polynomials fails, which is in a way a positive answer to the conjecture mentioned above. Our proof uses recent results of B. Green and S. Konyagin on the Littlewood Problem. △ Less

Submitted 27 November, 2008; originally announced November 2008.

Comments: 23 pages

MSC Class: 42A05;42A16

On the extremal rays of the cone of positive, positive definite functions

Authors: Philippe Jaming, Maté Matolcsi, Szilard Gy. Révesz

Abstract: The aim of this paper is to investigate the cone of non-negative, radial, positive-definite functions in the set of continuous functions on $\R^d$. Elements of this cone admit a Choquet integral representation in terms of the extremals. The main feature of this article is to characterize some large classes of such extremals. In particular, we show that there many other extremals than the gaussia… ▽ More The aim of this paper is to investigate the cone of non-negative, radial, positive-definite functions in the set of continuous functions on $\R^d$. Elements of this cone admit a Choquet integral representation in terms of the extremals. The main feature of this article is to characterize some large classes of such extremals. In particular, we show that there many other extremals than the gaussians, thus disproving a conjecture of G. Choquet and that no reasonable conjecture can be made on the full set of extremals. The last feature of this article is to show that many characterizations of positive definite functions available in the literature are actually particular cases of the Choquet integral representations we obtain. △ Less

Submitted 7 January, 2008; originally announced January 2008.

MSC Class: 42A82

Journal ref: Journal of fourier analysis and applications 15 (2009) 561-582

Failure of Wiener's property for positive definite periodic functions

Authors: Aline Bonami, Szilárd Gy. Révész

Abstract: We say that Wiener's property holds for the exponent $p>0$ if we have that whenever a positive definite function $f$ belongs to $L^p(-ε,ε)$ for some $ε>0$, then $f$ necessarily belongs to $L^p(\TT)$, too. This holds true for $p\in 2\NN$ by a classical result of Wiener. Recently various concentration results were proved for idempotents and positive definite functions on measurable sets on the tor… ▽ More We say that Wiener's property holds for the exponent $p>0$ if we have that whenever a positive definite function $f$ belongs to $L^p(-ε,ε)$ for some $ε>0$, then $f$ necessarily belongs to $L^p(\TT)$, too. This holds true for $p\in 2\NN$ by a classical result of Wiener. Recently various concentration results were proved for idempotents and positive definite functions on measurable sets on the torus. These new results enable us to prove a sharp version of the failure of Wiener's property for $p\notin 2\NN$. Thus we obtain strong extensions of results of Wainger and Shapiro, who proved the negative answer to Wiener's problem for $p\notin 2\NN$. △ Less

Submitted 5 November, 2007; originally announced November 2007.

Positive bases in spaces of polynomials

Authors: Bálint Farkas, Szilárd Gy. Révész

Abstract: For a nonempty compact set D of R we determine the maximal possible dimension of a subspace X of polynomial functions of degree at most m which possesses a positive bases (where positivity is understood on D). The exact value of this maximal dimension depends on topological features of the base set D. We show that at many cases dimension m can be achieved.Whereas only for low m or finite sets D… ▽ More For a nonempty compact set D of R we determine the maximal possible dimension of a subspace X of polynomial functions of degree at most m which possesses a positive bases (where positivity is understood on D). The exact value of this maximal dimension depends on topological features of the base set D. We show that at many cases dimension m can be achieved.Whereas only for low m or finite sets D it is possible to have m+1 (the full dimension of the space of polynomials of degree at most m) dimensional subspace X with positive basis. Therefore, it turns out that for no D it is possible to have a positive basis of the polynomial space of degree at most m for all m in N. △ Less

Submitted 21 August, 2007; v1 submitted 21 August, 2007; originally announced August 2007.

MSC Class: 41A17

Integral Concentration of idempotent trigonometric polynomials with gaps

Authors: Aline Bonami, Szilárd Gy. Révész

Abstract: We prove that for all p>1/2 there exists a constant $γ_p>0$ such that, for any symmetric measurable set of positive measure $E\subset \TT$ and for any $γ<γ_p$, there is an idempotent trigonometrical polynomial f satisfying $\int_E |f|^p > γ\int_{\TT} |f|^p$. This disproves a conjecture of Anderson, Ash, Jones, Rider and Saffari, who proved the existence of $γ_p>0$ for p>1 and conjectured that it… ▽ More We prove that for all p>1/2 there exists a constant $γ_p>0$ such that, for any symmetric measurable set of positive measure $E\subset \TT$ and for any $γ<γ_p$, there is an idempotent trigonometrical polynomial f satisfying $\int_E |f|^p > γ\int_{\TT} |f|^p$. This disproves a conjecture of Anderson, Ash, Jones, Rider and Saffari, who proved the existence of $γ_p>0$ for p>1 and conjectured that it does not exists for p=1. Furthermore, we prove that one can take $γ_p=1$ when p>1 is not an even integer, and that polynomials f can be chosen with arbitrarily large gaps when $p\neq 2$. This shows striking differences with the case p=2, for which the best constant is strictly smaller than 1/2, as it has been known for twenty years, and for which having arbitrarily large gaps with such concentration of the integral is not possible, according to a classical theorem of Wiener. We find sharper results for $0<p\leq 1$ when we restrict to open sets, or when we enlarge the class of idempotent trigonometric polynomials to all positive definite ones. △ Less

Submitted 16 October, 2008; v1 submitted 20 July, 2007; originally announced July 2007.

Comments: 43 pages; to appear in Amer. J. Math

MSC Class: 42A05; 42A55

The Generalized Minkowski Functional with Applications in Approximation Theory

Authors: Szilard Gy. Revesz

Abstract: We give a systematic and thorough study of geometric notions and results connected to Minkowski's measure of symmetry and the extension of the well-known Minkowski functional to arbitrary, not necessarily symmetric convex bodies K on any (real) normed space X. Although many of the notions and results we treat in this paper can be found elsewhere in the literature, they are scattered and possibly… ▽ More We give a systematic and thorough study of geometric notions and results connected to Minkowski's measure of symmetry and the extension of the well-known Minkowski functional to arbitrary, not necessarily symmetric convex bodies K on any (real) normed space X. Although many of the notions and results we treat in this paper can be found elsewhere in the literature, they are scattered and possibly hard to find. Further, we are not aware of a systematic study of this kind and we feel that several features, connections and properties - e.g. the connections between many equivalent formulations - are new, more general and they are put in a better perspective now. In particular, we prove a number of fundamental properties of the extended Minkowski functional, including convexity, global Lipschitz boundedness, linear growth and approximation of the classical Minkowski functional of the central symmetrization of the body K. Our aim is to present how in the recent years these notions proved to be surprisingly relevant and effective in problems of approximation theory. △ Less

Submitted 13 March, 2007; originally announced March 2007.

MSC Class: Primary 46B20; Secondary 41A17; 41A63; 41A44; 26D05

Journal ref: J. Convex Analysis, 11 (2004), No. 2, 303-334

Inequalities for Multivariate Polynomials

Authors: Szilárd Gy. Révész

Abstract: We summarize researches - in great deal jointly with my host Y. Sarantopoulos and his PhD. students V. Anagnostopoulos and A. Pappas - started by a Marie Curie fellowship in 2001 and is still continuing. The project was to study multivariate polynomial inequalities. In the course of work we realized the role of the ``generalized Minkowski functional'', to which we devoted a throughout survey.… ▽ More We summarize researches - in great deal jointly with my host Y. Sarantopoulos and his PhD. students V. Anagnostopoulos and A. Pappas - started by a Marie Curie fellowship in 2001 and is still continuing. The project was to study multivariate polynomial inequalities. In the course of work we realized the role of the ``generalized Minkowski functional'', to which we devoted a throughout survey. Resulting from this, infinite dimensional extensions of Chebyshev's extremal problems were tackled successfully. Investigating Bernstein-Markov constants for homogeneous polynomials of real normed spaces led us to the application of potential theory. Also we found at first unexpected connections of polarization constants of R^2 and C^2 to Chebyshev constants of S^2 and S^3, respectively. In the study of polarization constants, a further application of potential theory occurred. This led us to realize that the theory of rendezvous numbers can be much better explained by potential theory, too. Our methods for obtaining Bernstein type pointwise gradient estimates for polynomials were compared in a recent case study to the yields of pluripotential theoretic methods. The findings were that the two rather different methods give exactly the same results, but the two currently standing conjectures mutually exclude each other. △ Less

Submitted 13 March, 2007; originally announced March 2007.

MSC Class: Primary: 41A17. Secondary: 41A63; 41A44; 46B20; 46B99; 46G25; 26D05; 26D10; 32U15; 47H60

Journal ref: Annals of the Marie Curie Fellowships, 4 (2006), (electronic), http://www.mariecurie.org/annals/.

Some polynomial inequalities on real normed spaces

Authors: Szilard Gy. Revesz

Abstract: We consider various inequalities for polynomials, with an emphasis on the most fundamental inequalities of approximation theory. In the sequel a key role is played by the generalized Minkowski functional α(K,x), already being used by Minkowski and contemporaries and having occurred in approximation theory in the work of Rivlin and Shapiro in the early sixties. We try to compare real, geometric m… ▽ More We consider various inequalities for polynomials, with an emphasis on the most fundamental inequalities of approximation theory. In the sequel a key role is played by the generalized Minkowski functional α(K,x), already being used by Minkowski and contemporaries and having occurred in approximation theory in the work of Rivlin and Shapiro in the early sixties. We try to compare real, geometric methods and complex, pluripotential theoretical approaches, where possible, and formulate a number of questions to be decided in the future. An extensive bibliography is given to direct the reader even in topics we do not have space to cover in more detail. △ Less

Submitted 13 March, 2007; originally announced March 2007.

MSC Class: Primary: 41A17. Secondary: 41A63; 41A44; 46B20; 46B99; 46G25; 26D05; 26D10; 32U15; 47H60

Journal ref: Publicaciones del Dpto. de Analisis del Matematico, Seccion 1 N\um. 63 (2004), 111-135

On a paper of Erod and Turan-Markov inequalities for non-flat convex domains

Authors: Szilárd Gy. Révész

Abstract: For a convex domain K in the complex plane C, the well-known general Markov inequality asserting that a polynomial p of degree n ||p'|| < c(K) n^2 ||p|| holds. On the other hand for polynomials in general, ||p'|| can be arbitrarily small as compared to ||p||. The situation changes when we assume that the polynomials have all their zeroes in the convex body K. This problem of lower bound for Ma… ▽ More For a convex domain K in the complex plane C, the well-known general Markov inequality asserting that a polynomial p of degree n ||p'|| < c(K) n^2 ||p|| holds. On the other hand for polynomials in general, ||p'|| can be arbitrarily small as compared to ||p||. The situation changes when we assume that the polynomials have all their zeroes in the convex body K. This problem of lower bound for Markov factors was first investigated by Turán in 1939. Turán showed ||p'|| \ge n/2 ||p|| for the unit disk D and ||p'|| > c \sqrt{n} ||p|| for the unit interval I:=[-1,1]. Soon after that, J. Er\H od published a long article, discussing various extensions of the results and methods of Turán. For decades, Er\H od's paper was quoted only for the explicit calculation of the exact constant of the interval case. However, in recent years Levenberg and Poletsky, Erdélyi and also the author investigated Turán's problem for various sets - basically, convex domains. In this context the much richer content of Er\H od's work is to be realized again. Thus, the aim of the paper is twofold. On the one hand we give an account of the half-forgotten, old Hungarian article of Er\H od, also commemorating its author. On the other hand we report on recent developments with particular emphasis on development of one of the key observations of Er\H od, namely, the role of the curvature of the boundary curve in the estimation of the lower bound of Markov factors. △ Less

Submitted 13 March, 2007; originally announced March 2007.

MSC Class: Primary 41A17; Secondary 52A10

Journal ref: East J. Approx. 12 No. 4 (2006), 451--467

Invariant decomposition of functions with respect to commuting invertible transformations

Authors: Bálint Farkas, Viktor Harangi, Tamás Keleti, Szilárd Gy. Révész

Abstract: Consider a_1,a_2,...,a_n, arbitrary elements of R. We characterize those real functions f that decompose into the sum of a_j-periodic functions, i.e., f=f_1+...+f_n with D_{a_j}f(x):=f(x+a_j)-f(x)=0. We show that f has such a decomposition if and only if for all partitions to B_1, B_2,... B_N of {a_1,a_2,...,a_n} with B_j consisting of commensurable elements with least common multiples b_j, one… ▽ More Consider a_1,a_2,...,a_n, arbitrary elements of R. We characterize those real functions f that decompose into the sum of a_j-periodic functions, i.e., f=f_1+...+f_n with D_{a_j}f(x):=f(x+a_j)-f(x)=0. We show that f has such a decomposition if and only if for all partitions to B_1, B_2,... B_N of {a_1,a_2,...,a_n} with B_j consisting of commensurable elements with least common multiples b_j, one has D_{b_1}... D_{b_N}f=0. Actually, we prove a more general result for periodic decompositions of real functions f defined on an Abelian group A, and, in fact, we even consider invariant decompositions of functions f defined on some abstract set A, with respect to commuting, invertible self-mappings of the set A. We also extend our results to functions between torsion free Abelian groups. As a corollary we also obtain that on a torsion free Abelian group the existence of a real valued periodic decomposition of an integer valued function implies the existence of an integer valued periodic decomposition with the same periods. △ Less

Submitted 25 May, 2007; v1 submitted 13 March, 2007; originally announced March 2007.

MSC Class: Primary 39A10. Secondary 39B52; 39B72

Schur type inequalities for complex polynomials with no zeros in the unit disk

Authors: Szilárd Gy. Révész

Abstract: Starting out from a question posed by T. Erdélyi and J. Szabados, we consider Schur-type inequalities for the classes of complex algebraic polynomials having no zeroes within the unit disk D. The class of polynomials with no zeroes in D - also known as Bernstein- or Lorentz-class - was studied in detail earlier. For real polynomials utilizing the Bernstein-Lorentz representation as convex comb… ▽ More Starting out from a question posed by T. Erdélyi and J. Szabados, we consider Schur-type inequalities for the classes of complex algebraic polynomials having no zeroes within the unit disk D. The class of polynomials with no zeroes in D - also known as Bernstein- or Lorentz-class - was studied in detail earlier. For real polynomials utilizing the Bernstein-Lorentz representation as convex combinations of fundamental polynomials (1-x)^k(1+x)^{n-k}, G. Lorentz, T. Erdélyi and J. Szabados proved a number of improved versions of Schur- (and also Bernstein- and Markov-) type inequalities. Here we investigate the similar questions for complex polynomials. For complex polynomials the above convex representation is not available. Even worse, the set of complex polynomials, having no zeroes in the unit disk, does not form a convex set. Therefore, a possible proof must go along different lines. In fact such a direct argument was asked for by Erdélyi and Szabados already for the real case. The sharp forms of the Bernstein- and Markov- type inequalities are known, and the right factors are worse for complex coefficients than for real ones. However, here it turns out that Schur-type inequalities hold unchanged even for complex polynomials and for all monotonic, continuous weight functions. As a consequence, it becomes possible to deduce the corresponding Markov inequality from the known Bernstein inequality and the new Schur type inequality with logarithmic weight. △ Less

Submitted 12 March, 2007; originally announced March 2007.

MSC Class: Primary 41A17. Secondary 30E10; 41A44

Equivalence of A-Approximate Continuity for Self-Adjoint Expansive Linear Maps

Authors: Angel San Antolin, Szilárd Gy. Révész

Abstract: Let A be an expansive linear map from R^d to R^d. The notion of A-approximate continuity was recently used to give a characterization of scaling functions in a multiresolution analysis (MRA). The definition of A-approximate continuity at a point x - or, equivalently, the definition of the family of sets having x as point of A-density - depend on the expansive linear map A. The aim of the present… ▽ More Let A be an expansive linear map from R^d to R^d. The notion of A-approximate continuity was recently used to give a characterization of scaling functions in a multiresolution analysis (MRA). The definition of A-approximate continuity at a point x - or, equivalently, the definition of the family of sets having x as point of A-density - depend on the expansive linear map A. The aim of the present paper is to characterize those self-adjoint expansive linear maps A_1, A_2 for which the respective concepts of A_j-approximate continuity (j=1,2) coincide. These we apply to analyze the equivalence among dilation matrices for a construction of systems of MRA. In particular, we give a full description for the equivalence class of the dyadic dilation matrix among all self-adjoint expansive maps. If the so-called ``four exponentials conjecture'' of algebraic number theory holds true, then a similar full description follows even for general self-adjoint expansive linear maps, too. △ Less

Submitted 7 September, 2007; v1 submitted 12 March, 2007; originally announced March 2007.

MSC Class: 15A04 (Primary); 42C40 (Secondary)

Oscillation of Fourier transform and Markov-Bernstein inequalities

Authors: Szilard Gy. Revesz, Noli N. Reyes, Gino Angelo M. Velasco

Abstract: Under certain conditions on an integrable function f having a real-valued Fourier transform Tf=F, we obtain a certain estimate for the oscillation of F in the interval [-C||f'||/||f||,C||f'||/||f||] with C>0 an absolute constant. Given q>0 and an integrable positive definite function f, satisfying some natural conditions, the above estimate allows us to construct a finite linear combination P of… ▽ More Under certain conditions on an integrable function f having a real-valued Fourier transform Tf=F, we obtain a certain estimate for the oscillation of F in the interval [-C||f'||/||f||,C||f'||/||f||] with C>0 an absolute constant. Given q>0 and an integrable positive definite function f, satisfying some natural conditions, the above estimate allows us to construct a finite linear combination P of translates f(x+kq)(with k running the integers) such that ||P'||>c||P||/q, where c>0 is another absolute constant. In particular, our construction proves sharpness of an inequality of H. N. Mhaskar for Gaussian networks. △ Less

Submitted 14 March, 2006; originally announced March 2006.

MSC Class: 42A38; 41A17

Journal ref: Journal of Approximation Theory 145 (2007), 100-110.

A comparative analysis of Bernstein type estimates for the derivative of multivariate polynomials

Authors: Szilard Gy. Revesz

Abstract: We compare the yields of two methods to obtain Bernstein type pointwise estimates for the derivative of a multivariate polynomial in points of some domain, where the polynomial is assumed to have sup norm at most 1. One method, due to Sarantopoulos, relies on inscribing ellipses into the convex domain K. The other, pluripotential theoretic approach, mainly due to Baran, works for even more gener… ▽ More We compare the yields of two methods to obtain Bernstein type pointwise estimates for the derivative of a multivariate polynomial in points of some domain, where the polynomial is assumed to have sup norm at most 1. One method, due to Sarantopoulos, relies on inscribing ellipses into the convex domain K. The other, pluripotential theoretic approach, mainly due to Baran, works for even more general sets, and yields estimates through the use of the pluricomplex Green function (the Zaharjuta -Siciak extremal function). Using the inscribed ellipse method on non-symmetric convex domains, a key role was played by the generalized Minkowski functional a(K,x). With the aid of this functional, our current knowledge is precise within a constant (squareroot 2) factor. Recently L. Milev and the author derived the exact yield of this method in the case of the simplex, and a number of numerical improvements were obtained compared to the general estimates known. Here we compare the yields of this real, geometric method and the results of the complex, pluripotential theoretical approaches on the case of the simplex. In conclusion we can observe a few remarkable facts, comment on the existing conjectures, and formulate a number of new hypothesis. △ Less

Submitted 30 July, 2005; originally announced August 2005.

MSC Class: 41A17 (Primary) 41A63; 41A44; 46B20; 32U35; 26D10 (Secondary)

Journal ref: Annales Polonici Mathematici, 88 no. 3 (2006), 229--245.

Rendezvous numbers in normed spaces

Authors: Balint Farkas, Szilard Gy. Revesz

Abstract: In previous papers, we used abstract potential theory, as developed by Fuglede and Ohtsuka, to a systematic treatment of rendezvous numbers. We introduced energies, Chebyshev constants as two variable set functions, and the modified notion of rendezvous intervals which proved to be rather nicely behaved even for only lower semicontinuous kernels or for not necessarily compact metric spaces. He… ▽ More In previous papers, we used abstract potential theory, as developed by Fuglede and Ohtsuka, to a systematic treatment of rendezvous numbers. We introduced energies, Chebyshev constants as two variable set functions, and the modified notion of rendezvous intervals which proved to be rather nicely behaved even for only lower semicontinuous kernels or for not necessarily compact metric spaces. Here we study the rendezvous and average numbers of possibly infinite dimensional normed spaces. It turns out that very general existence and uniqueness results hold for the modified rendezvous numbers in all Banach spaces. We also observe the connections of these "magical numbers" to Chebyshev constants, Chebyshev radius and entropy. Applying the developed notions with the available methods we calculate the rendezvous numbers or rendezvous intervals of certain concrete Banach spaces. In particular, a satisfactory description of the case of L_p spaces is obtained for all p>0. △ Less

Submitted 12 March, 2007; v1 submitted 29 July, 2005; originally announced July 2005.

MSC Class: 31C15 (Primary) 28A12; 54D45 (Secondary)

Journal ref: Bull. Austr. Math. Soc. 72 (2005), 423-440

Right order Turan-type converse Markov inequalities for convex domains on the plane

Authors: Szilard Gy. Revesz

Abstract: For a convex domain $K$ in the complex plane, the well-known general Bernstein-Markov inequality holds asserting that a polynomial $p$ of degree $n$ must have $||p'|| < c(K) n^2 ||p||$. On the other hand for polynomials in general, $||p'||$ can be arbitrarily small as compared to $||p||$. The situation changes when we assume that the polynomials in question have all their zeroes in the convex… ▽ More For a convex domain $K$ in the complex plane, the well-known general Bernstein-Markov inequality holds asserting that a polynomial $p$ of degree $n$ must have $||p'|| < c(K) n^2 ||p||$. On the other hand for polynomials in general, $||p'||$ can be arbitrarily small as compared to $||p||$. The situation changes when we assume that the polynomials in question have all their zeroes in the convex body $K$. This was first investigated by Turán, who showed the lower bounds $||p'|| \ge (n/2) ||p||$ for the unit disk $D$ and $||p'|| > c \sqrt{n} ||p||$ for the unit interval $I:=[-1,1]$. Although partial results provided general lower estimates of lower order, as well as certain classes of domains with lower bounds of order $n$, it was not clear what order of magnitude the general convex domains may admit here. Here we show that for all compact and convex domains $K$ with nonempty interior and polynomials $p$ with all their zeroes in $K$ $||p'|| > c(K) n ||p||$ holds true, while $||p'|| < C(K) n ||p||$ occurs for any $K$. Actually, we determine $c(K)$ and $C(K)$ within a factor of absolute numerical constant. △ Less

Submitted 20 April, 2005; originally announced April 2005.

MSC Class: 41A17

Rendezvous numbers of metric spaces - a potential theoretic approach

Authors: Balint Farkas, Szilard Gy. Revesz

Abstract: The present work draws on the understanding how notions of general potential theory - as set up, e.g., by Fuglede - explain existence and some basic results on the "magical" rendezvous numbers. We aim at a fairly general description of rendezvous numbers in a metric space by using systematically the potential theoretic approach. In particular, we generalize and explain results on invariant measu… ▽ More The present work draws on the understanding how notions of general potential theory - as set up, e.g., by Fuglede - explain existence and some basic results on the "magical" rendezvous numbers. We aim at a fairly general description of rendezvous numbers in a metric space by using systematically the potential theoretic approach. In particular, we generalize and explain results on invariant measures, hypermetric spaces and maximal energy measures, when showing how more general proofs can be found to them. △ Less

Submitted 12 March, 2007; v1 submitted 21 March, 2005; originally announced March 2005.

Comments: 10 pages

MSC Class: 31C15; 28A12; 54D45

Journal ref: Arch. Math. (Basel). 86 (2006), 268-281

Potential theoretic approach to rendezvous numbers

Authors: Balint Farkas, Szilard Gy. Revesz

Abstract: We analyze relations between various forms of energies (reciprocal capacities), the transfinite diameter, various Chebyshev constants and the so-called rendezvous or average number. The latter is originally defined for compact connected metric spaces (X,d) as the (in this case unique) nonnegative real number r with the property that for arbitrary finite point systems {x1,...,xn} in X, there exis… ▽ More We analyze relations between various forms of energies (reciprocal capacities), the transfinite diameter, various Chebyshev constants and the so-called rendezvous or average number. The latter is originally defined for compact connected metric spaces (X,d) as the (in this case unique) nonnegative real number r with the property that for arbitrary finite point systems {x1,...,xn} in X, there exists some point x in X with the average of the distances d(x,xj) being exactly r. Existence of such a miraculous number has fascinated many people; its normalized version was even named "the magic number" of the metric space. Exploring related notions of general potential theory, as set up, e.g., in the fundamental works of Fuglede and Ohtsuka, we present an alternative, potential theoretic approach to rendezvous numbers. △ Less

Submitted 12 March, 2007; v1 submitted 21 March, 2005; originally announced March 2005.

Comments: 21 pages

MSC Class: 31C15; 28A12; 54D45

Journal ref: Monatshefte fur Mathematik 148 (2006), 309-331

Turán's extremal problem for positive definite functions on groups

Authors: Mihail N. Kolountzakis, Szilard Gy. Revesz

Abstract: We study the following question: Given an open set $Ω$, symmetric about 0, and a continuous, integrable, positive definite function $f$, supported in $Ω$ and with $f(0)=1$, how large can $\int f$ be? This problem has been studied so far mostly for convex domains $Ω$ in Euclidean space. In this paper we study the question in arbitrary locally compact abelian groups and for more general domains. O… ▽ More We study the following question: Given an open set $Ω$, symmetric about 0, and a continuous, integrable, positive definite function $f$, supported in $Ω$ and with $f(0)=1$, how large can $\int f$ be? This problem has been studied so far mostly for convex domains $Ω$ in Euclidean space. In this paper we study the question in arbitrary locally compact abelian groups and for more general domains. Our emphasis is on finite groups as well as Euclidean spaces and $\ZZ^d$. We exhibit upper bounds for $\int f$ assuming geometric properties of $Ω$ of two types: (a) packing properties of $Ω$ and (b) spectral properties of $Ω$. Several examples and applications of the main theorems are shown. In particular we recover and extend several known results concerning convex domains in Euclidean space. Also, we investigate the question of estimating $\int_Ωf$ over possibly dispersed sets solely in dependence of the given measure $m:=|Ω|$ of $Ω$. In this respect we show that in $\RR$ and $\ZZ$ the integral is maximal for intervals. △ Less

Submitted 10 December, 2003; originally announced December 2003.

Comments: 18 pages, 1 figure

MSC Class: 43A35; 42B10

On pointwise estimates of positive definite functions with given support

Authors: Mihail N. Kolountzakis, Szilard Gy. Revesz

Abstract: The following problem originated from a question due to Paul Turan. Suppose $Ω$ is a convex body in Euclidean space $\RR^d$ or in $\TT^d$, which is symmetric about the origin. Over all positive definite functions supported in $Ω$, and with normalized value 1 at the origin, what is the largest possible value of their integral? From this Arestov, Berdysheva and Berens arrived to pose the analogous… ▽ More The following problem originated from a question due to Paul Turan. Suppose $Ω$ is a convex body in Euclidean space $\RR^d$ or in $\TT^d$, which is symmetric about the origin. Over all positive definite functions supported in $Ω$, and with normalized value 1 at the origin, what is the largest possible value of their integral? From this Arestov, Berdysheva and Berens arrived to pose the analogous pointwise extremal problem for intervals in $\RR$. That is, under the same conditions and normalizations, and for any particular point $z\inΩ$, the supremum of possible function values at $z$ is to be found. However, it turns out that the problem for the real line has already been solved by Boas and Kac, who gave several proofs and also mentioned possible extensions to $\RR^d$ and non-convex domains as well. We present another approach to the problem, giving the solution in $\RR^d$ and for several cases in $\TT^d$. In fact, we elaborate on the fact that the problem is essentially one-dimensional, and investigate non-convex open domains as well. We show that the extremal problems are equivalent to more familiar ones over trigonometric polynomials, and thus find the extremal values for a few cases. An analysis of the relation of the problem for the space $\RR^d$ to that for the torus $\TT^d$ is given, showing that the former case is just the limiting case of the latter. Thus the hiearachy of difficulty is established, so that trigonometric polynomial extremal problems gain recognition again. △ Less

Submitted 17 February, 2003; originally announced February 2003.

Comments: 19 pages

MSC Class: Primary 42B10 ; SecondaryPrimary 42B10; Secondary 26D15; 42A82; 42A05

On a problem of Turan about positive definite functions

Authors: Mihail N. Kolountzakis, Szilard Gy. Revesz

Abstract: We study the following question posed by Turan. Suppose K is a convex body in Euclidean space which is symmetric with respect to the origin. Of all positive definite functions supported in K, and with value 1 at the origin, which one has the largest integral? It is probably the case that the extremal function is the indicator of the half-body convolved with itself and properly scaled, but this h… ▽ More We study the following question posed by Turan. Suppose K is a convex body in Euclidean space which is symmetric with respect to the origin. Of all positive definite functions supported in K, and with value 1 at the origin, which one has the largest integral? It is probably the case that the extremal function is the indicator of the half-body convolved with itself and properly scaled, but this has been proved only for a small class of domains so far. We add to this class of known "Turan domains" the class of all spectral convex domains. These are all convex domains which have an orthogonal basis of complex exponentials. As a corollary we obtain that all convex domains which tile space by translation are Turan domains. We also give a new proof that the Euclidean ball is a Turan domain. △ Less

Submitted 8 April, 2002; originally announced April 2002.

Comments: 8 pages, 1 figure

MSC Class: 42B10; 26D15; 52C22; 42A05; 42A82