Uniqueness of the Continuation of a Certain Function to a Positive Definite Function

2020 ◽  
Vol 107 (3-4) ◽  
pp. 639-652
Author(s):  
A. D. Manov
1969 ◽  
Vol 21 ◽  
pp. 1309-1318 ◽  
Author(s):  
James Stewart

Let G be an abelian group, written additively. A complexvalued function ƒ, defined on G, is said to be positive definite if the inequality1holds for every choice of complex numbers C1, …, cn and S1, …, sn in G. It follows directly from (1) that every positive definite function is bounded. Weil (9, p. 122) and Raïkov (5) proved that every continuous positive definite function on a locally compact abelian group is the Fourier-Stieltjes transform of a bounded positive measure, thus generalizing theorems of Herglotz (4) (G = Z, the integers) and Bochner (1) (G = R, the real numbers).If ƒ is a continuous function, then condition (1) is equivalent to the condition that2


2018 ◽  
Vol 61 (1) ◽  
pp. 179-200
Author(s):  
Sándor Krenedits ◽  
Szilárd Gy. Révész

AbstractThe century-old extremal problem, solved by Carathéodory and Fejér, concerns a non-negative trigonometric polynomial $T(t) = a_0 + \sum\nolimits_{k = 1}^n {a_k} \cos (2\pi kt) + b_k\sin (2\pi kt){\ge}0$, normalized by a0=1, where the quantity to be maximized is the coefficient a1 of cos (2π t). Carathéodory and Fejér found that for any given degree n, the maximum is 2 cos(π/n+2). In the complex exponential form, the coefficient sequence (ck) ⊂ ℂ will be supported in [−n, n] and normalized by c0=1. Reformulating, non-negativity 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: ℤ → ℂ, supported in [−n, n]. Boas and Kac, 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.


2020 ◽  
pp. 1-17
Author(s):  
Amaury Freslon

Abstract We consider the sequence of powers of a positive definite function on a discrete group. Taking inspiration from random walks on compact quantum groups, we give several examples of situations where a cut-off phenomenon occurs for this sequence, including free groups and infinite Coxeter groups. We also give examples of absence of cut-off using free groups again.


2009 ◽  
Vol 52 (2) ◽  
pp. 445-487 ◽  
Author(s):  
Matthias Langer ◽  
Harald Woracek

AbstractWe investigate the influence of interface conditions at a singularity of an indefinite canonical system on its Weyl coefficient. An explicit formula which parametrizes all possible Weyl coefficients of indefinite canonical systems with fixed Hamiltonian function is derived. This result is illustrated with two examples: the Bessel equation, which has a singular end point, and a Sturm–Liouville equation whose potential has an inner singularity, which arises from a continuation problem for a positive definite function.


1998 ◽  
Vol 57 (1) ◽  
pp. 153-158 ◽  
Author(s):  
Alain Valette

Motivated by a question related to the construction of the Baum-Connes analytical assembly map for locally compact groups, we refine a criterion of Godement for amenability: for a unimodular group G, our criterion says that G is amenable if and only if every compactly supported, positive-definite function has non-negative integral over G.


2016 ◽  
Vol 161 (2) ◽  
pp. 223-235 ◽  
Author(s):  
M. ANOUSSIS ◽  
A. KATAVOLOS ◽  
I. G. TODOROV

AbstractWe examine the common null spaces of families of Herz–Schur multipliers and apply our results to study jointly harmonic operators and their relation with jointly harmonic functionals. We show how an annihilation formula obtained in [1] can be used to give a short proof as well as a generalisation of a result of Neufang and Runde concerning harmonic operators with respect to a normalised positive definite function. We compare the two notions of support of an operator that have been studied in the literature and show how one can be expressed in terms of the other.


2013 ◽  
Vol 714 ◽  
pp. 476-488 ◽  
Author(s):  
Kraig B. Winters ◽  
Roy Barkan

AbstractAn exact expression ${\mathscr{E}}_{a} $ for available potential energy density in Boussinesq fluid flows (Roullet & Klein, J. Fluid Mech., vol. 624, 2009, pp. 45–55; Holliday & McIntyre, J. Fluid Mech., vol. 107, 1981, pp. 221–225) is shown explicitly to integrate to the available potential energy ${E}_{a} $ of Winters et al. (J. Fluid Mech., vol. 289, 1995, pp. 115–128). ${\mathscr{E}}_{a} $ is a positive definite function of position and time consisting of two terms. The first, which is simply the indefinitely signed integrand in the Winters et al. definition of ${E}_{a} $, quantifies the expenditure or release of potential energy in the relocation of individual fluid parcels to their equilibrium height. When integrated over all parcels, this term yields the total available potential energy ${E}_{a} $. The second term describes the energetic consequences of the compensatory displacements necessary under the Boussinesq approximation to conserve vertical volume flux with each parcel relocation. On a pointwise basis, this term adds to the first in such a way that a positive definite contribution to ${E}_{a} $ is guaranteed. Globally, however, the second term vanishes when integrated over all fluid parcels and therefore contributes nothing to ${E}_{a} $. In effect, it filters the components of the first term that cancel upon integration, isolating the positive definite residuals. ${\mathscr{E}}_{a} $ can be used to construct spatial maps of local contributions to ${E}_{a} $ for direct numerical simulations of density stratified flows. Because ${\mathscr{E}}_{a} $ integrates to ${E}_{a} $, these maps are explicitly connected to known, exact, temporal evolution equations for kinetic, available and background potential energies.


Sign in / Sign up

Export Citation Format

Share Document