We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Functional Analysis

Title: Multiply positive functions, critical exponent phenomena, and the Jain-Karlin-Schoenberg kernel

Authors: Apoorva Khare
Abstract: We prove the converse to a result of Karlin [Trans. AMS 1964], and also strengthen his result and two results of Schoenberg [Ann. of Math. 1955]. One of the latter results concerns zeros of Laplace transforms of multiply positive functions. The other results study which powers $\alpha$ of two specific kernels are totally non-negative of order $p\geq 2$ (denoted TN$_p$); both authors showed this happens for $\alpha\geq p-2$, and Schoenberg proved that it does not for $\alpha<p-2$. We show more strongly that for every $p \times p$ submatrix of either kernel, up to a 'shift', its $\alpha$th power is totally positive of order $p$ (TP$_p$) for every $\alpha > p-2$, and is not TN$_p$ for every non-integer $\alpha\in(0,p-2)$. In particular, these results reveal 'critical exponent' phenomena in total positivity. We also prove the converse to a 1968 result of Karlin, revealing yet another critical exponent phenomenon - for Laplace transforms of all Polya Frequency (PF) functions.
We further classify the powers preserving all TN$_p$ Hankel kernels on intervals, and isolate individual kernels encoding these powers. We then transfer results on preservers by Polya-Szego (1925), Loewner/Horn (1969), and Khare-Tao (in press), from positive matrices to Hankel TN$_p$ kernels. Another application constructs individual matrices encoding the Loewner convex powers. This complements Jain's results (2020) for Loewner positivity, which we strengthen to total positivity. Remarkably, these (strengthened) results of Jain, those of Schoenberg and Karlin, the latter's converse, and the above Hankel kernels all arise from a single symmetric rank-two kernel and its powers: $\max(1+xy,0)$.
We also provide a novel characterization of PF functions and sequences of order $p\geq 3$, following Schoenberg's 1951 result for $p=2$. We correct a small gap in his paper, in the classification of discontinuous PF functions.
Comments: Added Corollary 3.3, Section 3.1, and Section 7.1. (25 pages + references + 4-page Appendix for self-completeness.)
Subjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Rings and Algebras (math.RA)
MSC classes: 15B48 (primary), 15A15, 39B62, 42A82, 47A63, 47B34, 47B35 (secondary)
Cite as: arXiv:2008.05121 [math.FA]
  (or arXiv:2008.05121v2 [math.FA] for this version)

Submission history

From: Apoorva Khare [view email]
[v1] Wed, 12 Aug 2020 06:02:13 GMT (40kb)
[v2] Mon, 12 Apr 2021 17:46:56 GMT (47kb)

Link back to: arXiv, form interface, contact.