-
Moment indeterminateness: the Marcel Riesz variational principle
Authors:
David P. Kimsey,
Mihai Putinar
Abstract:
The discrete data encoded in the power moments of a positive measure, fast decaying at infinity on euclidean space, is incomplete for recovery, leading to the concept of moment indeterminateness. On the other hand, classical integral transforms (Fourier-Laplace, Fantappiè, Poisson) of such measures are complete, often invertible via an effective inverse operation. The gap between the two non-uniqu…
▽ More
The discrete data encoded in the power moments of a positive measure, fast decaying at infinity on euclidean space, is incomplete for recovery, leading to the concept of moment indeterminateness. On the other hand, classical integral transforms (Fourier-Laplace, Fantappiè, Poisson) of such measures are complete, often invertible via an effective inverse operation. The gap between the two non-uniqueness/ uniqueness phenomena is manifest in the dual picture, when trying to extend the measure, regarded as a positive linear functional, from the polynomial algebra to the full space of continuous functions. This point of view was advocated by Marcel Riesz a century ago, in the single real variable setting. Notable advances in functional analysis have root in Riesz' celebrated four notes devoted to the moment problem. A key technical ingredient being there the monotone approximation by polynomials of kernels of integral transforms. With inherent new obstacles we reappraise in the context of several real variables M. Riesz' variational principle. The result is an array of necessary and sufficient moment indeterminateness criteria, some raising real algebra questions, others involving intriguing analytic problems, all gravitating around the concept of moment separating function.
△ Less
Submitted 29 July, 2023;
originally announced July 2023.
-
Universality property of the $S$-functional calculus, noncommuting matrix variables and Clifford operators
Authors:
Fabrizio Colombo,
Jonathan Gantner,
David P. Kimsey,
Irene Sabadini
Abstract:
The spectral theory on the $S$-spectrum was born out of the need to give quaternionic quantum mechanics (formulated by Birkhoff and von Neumann) a precise mathematical foundation. Then it turned out that this theory has important applications in several fields such as fractional diffusion problems and, moreover, it allows one to define several functional calculi for $n$-tuples of noncommuting oper…
▽ More
The spectral theory on the $S$-spectrum was born out of the need to give quaternionic quantum mechanics (formulated by Birkhoff and von Neumann) a precise mathematical foundation. Then it turned out that this theory has important applications in several fields such as fractional diffusion problems and, moreover, it allows one to define several functional calculi for $n$-tuples of noncommuting operators. With this paper we show that the spectral theory on the $S$-spectrum is much more general and it contains, just as particular cases, the complex, the quaternionic and the Clifford settings. More precisely, we show that the $S$-spectrum is well defined for objects in an algebra that has a complex structure and for operators in general Banach modules. We show that the abstract formulation of the $S$-functional calculus goes beyond quaternionic and Clifford analysis. Indeed we show that the $S$-functional calculus has a certain {\em universality property}. This fact makes the spectral theory on the $S$-spectrum applicable to several fields of operator theory and allows one to define functions of noncommuting matrix variables, and operator variables, as a particular case.
△ Less
Submitted 10 October, 2022; v1 submitted 9 December, 2021;
originally announced December 2021.
-
The spectral theorem for normal operators on a Clifford module
Authors:
Fabrizio Colombo,
David P. Kimsey
Abstract:
In this paper, using the recently discovered notion of the $S$-spectrum, we prove the spectral theorem for a bounded or unbounded normal operator on a Clifford module (i.e., a two-sided Hilbert module over a Clifford algebra based on units that all square to be $-1$). Moreover, we establish the existence of a Borel functional calculus for bounded or unbounded normal operators on a Clifford module.…
▽ More
In this paper, using the recently discovered notion of the $S$-spectrum, we prove the spectral theorem for a bounded or unbounded normal operator on a Clifford module (i.e., a two-sided Hilbert module over a Clifford algebra based on units that all square to be $-1$). Moreover, we establish the existence of a Borel functional calculus for bounded or unbounded normal operators on a Clifford module. Towards this end, we have developed many results on functional analysis, operator theory, integration theory and measure theory in a Clifford setting which may be of an independent interest. Our spectral theory is the natural spectral theory for the Dirac operator on manifolds in the non-self adjoint case. Moreover, our results provide a new notion of spectral theory and a Borel functional calculus for a class of $n$-tuples of commuting or non-commuting operators on a real or complex Hilbert space. Moreover, for a special class of $n$-tuples of operators on a Hilbert space our results provide a complementary functional calculus to the functional calculus of J. L. Taylor.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
On a minimal solution for the indefinite truncated multidimensional moment problem
Authors:
David P. Kimsey
Abstract:
We will consider the indefinite truncated multidimensional moment problem. Necessary and sufficient conditions for a given truncated multisequence to have a signed representing measure $μ$ with ${\rm card}\,{\rm supp}\, μ$ as small as possible are given by the existence of a rank preserving extension of a multivariate Hankel matrix (built from the given truncated multisequence) such that the corre…
▽ More
We will consider the indefinite truncated multidimensional moment problem. Necessary and sufficient conditions for a given truncated multisequence to have a signed representing measure $μ$ with ${\rm card}\,{\rm supp}\, μ$ as small as possible are given by the existence of a rank preserving extension of a multivariate Hankel matrix (built from the given truncated multisequence) such that the corresponding associated polynomial ideal is real radical. This result is a special case of a more general characterisation of truncated multisequences with a minimal complex representing measure whose support is symmetric with respect to complex conjugation (which we will call {\it quasi-complex}). One motivation for our results is the fact that positive semidefinite truncated multisequence need not have a positive representing measure. Thus, our main result gives the potential for computing a signed representing measure $μ= μ_+ - μ_-$, where ${\rm card} \,μ_-$ is small. We illustrate this point on concrete examples.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
The moment problem on curves with bumps
Authors:
David Kimsey,
Mihai Putinar
Abstract:
The power moments of a positive measure on the real line or the circle are characterized by the non-negativity of an infinite matrix, Hankel, respectively Toeplitz, attached to the data. Except some fortunate configurations, in higher dimensions there are no non-negativity criteria for the power moments of a measure to be supported by a prescribed closed set. We combine two well studied fortunate…
▽ More
The power moments of a positive measure on the real line or the circle are characterized by the non-negativity of an infinite matrix, Hankel, respectively Toeplitz, attached to the data. Except some fortunate configurations, in higher dimensions there are no non-negativity criteria for the power moments of a measure to be supported by a prescribed closed set. We combine two well studied fortunate situations, specifically a class of curves in two dimensions classified by Scheiderer and Plaumann, and compact, basic semi-algebraic sets, with the aim at enlarging the realm of geometric shapes on which the power moment problem is accessible and solvable by non-negativity certificates.
△ Less
Submitted 24 July, 2020; v1 submitted 11 October, 2019;
originally announced October 2019.
-
Functions of the infinitesimal generator of a strongly continuous quaternionic group
Authors:
Daniel Alpay,
Fabrizio Colombo,
Jonathan Gantner,
David P. Kimsey
Abstract:
The analogue of the Riesz-Dunford functional calculus has been introduced and studied recently as well as the theory of semigroups and groups of linear quaternionic operators. In this paper we suppose that $T$ is the infinitesimal generator of a strongly continuous group of operators $(\mathcal{Z}_T(t))_{t \in \mathbb{R}}$ and we show how we can define bounded operators $f(T)$, where $f$ belongs t…
▽ More
The analogue of the Riesz-Dunford functional calculus has been introduced and studied recently as well as the theory of semigroups and groups of linear quaternionic operators. In this paper we suppose that $T$ is the infinitesimal generator of a strongly continuous group of operators $(\mathcal{Z}_T(t))_{t \in \mathbb{R}}$ and we show how we can define bounded operators $f(T)$, where $f$ belongs to a class of functions which is larger than the class of slice regular functions, using the quaternionic Laplace-Stieltjes transform. This class will include functions that are slice regular on the $S$-spectrum of $T$ but not necessarily at infinity. Moreover, we establish the relation of $f(T)$ with the quaternionic functional calculus and we study the problem of finding the inverse of $f(T)$.
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
Wiener algebra for the quaternions
Authors:
Daniel Alpay,
Fabrizio Colombo,
David P. Kimsey,
Irene Sabadini
Abstract:
We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-Lévy type theorem and a factorization theorem. We give applications to Toeplitz and Wiener-Hopf operators.
We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-Lévy type theorem and a factorization theorem. We give applications to Toeplitz and Wiener-Hopf operators.
△ Less
Submitted 12 January, 2015;
originally announced January 2015.
-
The spectral theorem for quaternionic unbounded normal operators based on the S-spectrum
Authors:
Daniel Alpay,
Fabrizio Colombo,
David P. Kimsey
Abstract:
In this paper we prove the spectral theorem for quaternionic unbounded normal operators using the notion of $S$-spectrum. The proof technique consists of first establishing a spectral theorem for quaternionic bounded normal operators and then using a transformation which maps a quaternionic unbounded normal operator to a quaternionic bounded normal operator. With this paper we complete the foundat…
▽ More
In this paper we prove the spectral theorem for quaternionic unbounded normal operators using the notion of $S$-spectrum. The proof technique consists of first establishing a spectral theorem for quaternionic bounded normal operators and then using a transformation which maps a quaternionic unbounded normal operator to a quaternionic bounded normal operator. With this paper we complete the foundation of spectral analysis of quaternionic operators. The $S$-spectrum has been introduced to define the quaternionic functional calculus but it turns out to be the correct object also for the spectral theorem for quaternionic normal operators. The fact that the correct notion of spectrum for quaternionic operators was not previously known has been one of the main obstructions to fully understanding the spectral theorem in this setting. A prime motivation for studying the spectral theorem for quaternionic unbounded normal operators is given by the subclass of unbounded anti-self adjoint quaternionic operators which play a crucial role in the quaternionic quantum mechanics.
△ Less
Submitted 17 December, 2014; v1 submitted 24 September, 2014;
originally announced September 2014.
-
Boundary interpolation for slice hyperholomorphic Schur functions
Authors:
K. Abu-Ghanem,
D. Alpay,
F. Colombo,
D. P. Kimsey,
I. Sabadini
Abstract:
A boundary Nevanlinna-Pick interpolation problem is posed and solved in the quaternionic setting. Given nonnegative real numbers $κ_1, \ldots, κ_N$, quaternions $p_1, \ldots, p_N$ all of modulus $1$, so that the $2$-spheres determined by each point do not intersect and $p_u \neq 1$ for $u = 1,\ldots, N$, and quaternions $s_1, \ldots, s_N$, we wish to find a slice hyperholomorphic Schur function…
▽ More
A boundary Nevanlinna-Pick interpolation problem is posed and solved in the quaternionic setting. Given nonnegative real numbers $κ_1, \ldots, κ_N$, quaternions $p_1, \ldots, p_N$ all of modulus $1$, so that the $2$-spheres determined by each point do not intersect and $p_u \neq 1$ for $u = 1,\ldots, N$, and quaternions $s_1, \ldots, s_N$, we wish to find a slice hyperholomorphic Schur function $s$ so that $$\lim_{\substack{r\rightarrow 1\\ r\in(0,1)}} s(r p_u) = s_u\quad {\rm for} \quad u=1,\ldots, N,$$ and $$\lim_{\substack{r\rightarrow 1\\ r\in(0,1)}}\frac{1-s(rp_u)\overline{s_u}}{1-r}\leκ_u,\quad {\rm for} \quad u=1,\ldots, N.$$ Our arguments relies on the theory of slice hyperholomorphic functions and reproducing kernel Hilbert spaces.
△ Less
Submitted 25 May, 2014; v1 submitted 13 April, 2014;
originally announced April 2014.
-
The spectral theorem for unitary operators based on the $S$-spectrum
Authors:
D. Alpay,
F. Colombo,
D. P. Kimsey,
I. Sabadini
Abstract:
The quaternionic spectral theorem has already been considered in the literature, see e.g. [22], [31], [32], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see [21], it is not specified which notion of spectrum underlies the theorem. In this paper we prove the quaternionic spectral theorem for unitary operators using the $S$-s…
▽ More
The quaternionic spectral theorem has already been considered in the literature, see e.g. [22], [31], [32], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see [21], it is not specified which notion of spectrum underlies the theorem. In this paper we prove the quaternionic spectral theorem for unitary operators using the $S$-spectrum. In the case of quaternionic matrices, the $S$-spectrum coincides with the right-spectrum and so our result recovers the well known theorem for matrices. The notion of $S$-spectrum is relatively new, see [17], and has been used for quaternionic linear operators, as well as for $n$-tuples of not necessarily commuting operators, to define and study a noncommutative versions of the Riesz-Dunford functional calculus. The main tools to prove the spectral theorem for unitary operators are the quaternionic version of Herglotz's theorem, which relies on the new notion of $q$-positive measure, and quaternionic spectral measures, which are related to the quaternionic Riesz projectors defined by means of the $S$-resolvent operator and the $S$-spectrum. The results in this paper restore the analogy with the complex case in which the classical notion of spectrum appears in the Riesz-Dunford functional calculus as well as in the spectral theorem.
△ Less
Submitted 2 March, 2014;
originally announced March 2014.
-
An extension of Herglotz's theorem to the quaternions
Authors:
D. Alpay,
F. Colombo,
D. P. Kimsey,
I. Sabadini
Abstract:
A classical theorem of Herglotz states that a function $n\mapsto r(n)$ from $\mathbb Z$ into $\mathbb C^{s\times s}$ is positive definite if and only there exists a $\mathbb C^{s\times s}$-valued positive measure $dμ$ on $[0,2π]$ such that $r(n)=\int_0^{2π}e^{int}dμ(t)$for $n\in \mathbb Z$. We prove a quaternionic analogue of this result when the function is allowed to have a number of negative sq…
▽ More
A classical theorem of Herglotz states that a function $n\mapsto r(n)$ from $\mathbb Z$ into $\mathbb C^{s\times s}$ is positive definite if and only there exists a $\mathbb C^{s\times s}$-valued positive measure $dμ$ on $[0,2π]$ such that $r(n)=\int_0^{2π}e^{int}dμ(t)$for $n\in \mathbb Z$. We prove a quaternionic analogue of this result when the function is allowed to have a number of negative squares. A key tool in the argument is the theory of slice hyperholomorphic functions, and the representation of such functions which have a positive real part in the unit ball of the quaternions. We study in great detail the case of positive definite functions.
△ Less
Submitted 23 July, 2014; v1 submitted 1 March, 2014;
originally announced March 2014.
