Loading...
5 results
Search Results
Now showing 1 - 5 of 5
- Complex positive definite functions on stripsPublication . Buescu, Jorge; Coelho, Jose; Symeonides, A.We characterize a holomorphic positive definite function f defined on a horizontal strip of the complex plane as the Fourier–Laplace transform of a unique exponentially finite measure on R. With this characterization, the classical theorems of Bochner on positive definite functions and of Widder on exponentially convex functions become respectively the real and imaginary sections of the corresponding complex integral representation. We provide minimal holomorphy assumptions for this characterization and derive conclusions for meromorphic functions under minimal positive definiteness conditions. Further characterizations are derived from conditions on the derivatives of f arising from the study of the usual concepts of moment, moment-generating function and characteristic function in this context.
- On differentiability and analyticity of positive definite functionsPublication . Buescu, Jorge; Paixão, AntónioWe derive a set of differential inequalities for positive definite functions based on previous results derived for positive definite kernels by purely algebraic methods. Our main results show that the global behavior of a smooth positive definite function is, to a large extent, determined solely by the sequence of even-order derivatives at the origin: if a single one of these vanishes then the function is constant; if they are all non-zero and satisfy a natural growth condition, the function is real-analytic and consequently extends holomorphically to a maximal horizontal strip of the complex plane.
- Positive-definiteness and integral representations for special functionsPublication . Buescu, Jorge; Paixão, AntónioIt is known that a holomorphic positive definite function f defined on a horizontal strip of the complex plane may be characterized as the Fourier-Laplace transform of a unique exponentially finite measure on R. In this paper we apply this complex integral representation to specific families of special functions, including the Gamma, zeta and Bessel functions, and construct explicitly the corresponding measures, thus providing new insight into the nature of complex positive and co-positive definite functions. In the case of the zeta function this process leads to a new proof of an integral representation on the critical strip.
- Propagation of regularity and positive definiteness: a constructive approachPublication . Buescu, Jorge; Paixão, António; Oliveira, ClaudemirWe show that, for positive de finite kernels, ifspecific forms of regularity (continuity, S-n-differentiability or holomorphy) hold locally on the diagonal, then they must hold globally on the whole domain of positive-definiteness. This local-toglobal propagation of regularity is constructively shown to be a consequence of the algebraic structure induced by the non-negativity of the associated bilinear forms up to order 5. Consequences of these results for topological groups and for positive definite and exponentially convex functions are explored.
- The measure transition problem for meromorphic polar functionsPublication . Buescu, Jorge; Paixão, AntónioIn very general conditions, meromorphic polar functions (i.e. functions exhibiting some kind of positive or co-positive definiteness) separate the complex plane into horizontal or vertical strips of holomophy and polarity, in each of which they are characterized as integral transforms of exponentially finite measures. These measures characterize both the function and the strip. We study the problem of transition between different holomorphy strips, proving a transition formula which relates the measures on neighbouring strips of polarity. The general transition problem is further complicated by the fact that a function may lose polarity upon strip crossing and in general we cannot expect polarity, or even some specific related form of integral representation, to exist. We show that, even in these cases, a relevant analytical role will be played by exponentially finite signed measures, which we construct and study. Applications to especially significant examples like the Gamma, zeta or Bessel functions are performed.