相关论文: Roger Godement et les fonctions de type positif
A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher…
We introduce a notion of positive definiteness for functions $f\!:P\to\mathbb{R}$ defined on meet semilattices $(P,\preceq,\wedge)$ and prove several properties for these functions. In addition, we utilize the $LDL^{\rm T}$ decomposition of…
Recently O. Sarig has introduced and explored the concept of positively recurrent functions. In this paper we construct a natural wide class of such functions and we showthat they have stronger ergodic properties than the general functions…
In this paper we give some conditions for a class of functions related to Bessel functions to be positive definite or strictly positive definite . We present some properties and relationships involving logarithmically completely monotonic…
The existence or non-existence of positive orthogonal functions for subspaces of almost periodic functions has important applications in studying the oscillatory behavior of vibrations. Cazenave, Haraux and Komornik have obtained a number…
You can invent striking and challenging problems with unique solution by building some symmetry into functional equations. Some are suitable for high school; others could generate college-level projects involving computer algebra. The…
If $n \ge 3$, $q>2$ and $\beta > 0$ then the function $\exp(-(|x_1|^q+|x_2|^q+\dots+|x_n|^q)^{\beta/q})$\ is not positive definite. This result gives an answer to a question posed by I.J.~Schoenberg in 1938. This text is an authorized…
Extending G\"odel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite…
It is quite well-known from Kurt Godel's (1931) ground-breaking result on the Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are…
A function of positive type can be defined as a positive functional on a convolution algebra of a locally compact group. In the case where the group is abelian, by Bochner's theorem a function of positive type is, up to normalization, the…
The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized…
This paper is concerned with the construction of positive definite functions on a cartesian product of quasi-metric spaces using generalized Stieltjes and complete Bernstein functions. The results we prove are aligned with a…
The problem to decide whether a given rational function in several variables is positive, in the sense that all its Taylor coefficients are positive, goes back to Szeg\H{o} as well as Askey and Gasper, who inspired more recent work. It is…
Positive definite functions are fundamental to many areas of applied mathematics, probability theory, spatial statistics and machine learning, amogst others. Motivated by a problem coming from the maximum likelihood estimation under fixed…
In 1942 I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a positive linear combination of the Gegenbauer polynomials. In this paper we extend Schoenberg's theorem for…
In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
Special functions are often defined as a Fourier or Laplace transform of a positive measure, and the positivity of the measure manifests as positive definiteness of certain matrices. The purpose of this expository note is to give a sample…
Operator monotone functions, introduced by Lowner in 1934, are an important class of real-valued functions. They arise naturally in matrix and operator theory and have various applications in other branches of mathematics and related…
We define and study entanglement of continuous positive definite functions on products of compact groups. We formulate and prove an infinite-dimensional analog of Horodecki Theorem, giving a necessary and sufficient criterion for…