English
Related papers

Related papers: Trace functions as Laplace transforms

200 papers

The moments of Bessel functions and Bessel-trigonometric functions play a basic role in many practical problems and numerical analysis. This paper presents a complete analysis for these moments based on the recursive relations of Bessel…

Numerical Analysis · Mathematics 2016-02-24 Yinkun Wang , Ying Li , Jianshu Luo

We present some reverse Young-type inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with operator means. More precisely, we show that if $A, B\in {\mathfrak…

Functional Analysis · Mathematics 2021-07-23 Mojtaba Bakherad , Mario Krnic , Mohammad Sal Moslehian

The BMV conjecture states that for $n\times n$ Hermitian matrices $A$ and $B$ the function $f_{A,B}(t)=trace{\, } e^{tA+B}$ is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is…

Classical Analysis and ODEs · Mathematics 2016-06-23 Victor Katsnelson

An odd meromorphic function f(s) is constructed from the Riemann zeta-function evaluated at one-half plus s. We determine the two-sided Laplace transform representation of f(s) on open vertical strips, V'(4w), disjoint from the (translated)…

General Mathematics · Mathematics 2007-05-23 Anthony Csizmazia

Some Tur\'an type inequalities for Struve functions of the first kind are deduced by using various methods developed in the case of Bessel functions of the first and second kind. New formulas, like Mittag-Leffler expansion, infinite product…

Classical Analysis and ODEs · Mathematics 2017-07-14 Árpád Baricz , Saminathan Ponnusamy , Sanjeev Singh

It is a well-known fact that the first and last non-trivial coefficients of the characteristic polynomial of a linear operator are respectively its trace and its determinant. This work shows how to compute recursively all the coefficients…

Mathematical Physics · Physics 2007-05-23 Ronaldo Rodrigues Silva

We study the generalization of $m$-isometries and $m$-contractions (for positive integers $m$) to what we call $a$-isometries and $a$-contractions for positive real numbers $a$. We show that any Hilbert space operator, satisfying an…

Functional Analysis · Mathematics 2020-07-17 Luciano Abadias , Glenier Bello , Dmitry Yakubovich

Functional integrals are defined in terms of locally compact topological groups and their associated Banach-valued Haar integrals. This approach generalizes the functional integral scheme of Cartier and DeWitt-Morette. The definition allows…

Mathematical Physics · Physics 2015-01-08 J. LaChapelle

We study the behaviour of functions of dissipative operators under relatively bounded and relatively trace class perturbation. We introduce and study the class of analytic relatively operator Lipschitz functions. An essential role is played…

Functional Analysis · Mathematics 2025-05-07 Aleksei Aleksandrov , Vladimir Peller

We begin by reviewing Zhu's theorem on modular invariance of trace functions associated to a vertex operator algebra, as well as a generalisation by the author to vertex operator superalgebras. This generalisation involves objects that we…

Representation Theory · Mathematics 2013-07-17 Jethro van Ekeren

The trace on matrix rings, along with the augmentation map and Kaplansky trace on group rings, are some of the many examples of linear functions on algebras that vanish on all commutators. We generalize and unify these examples by studying…

Rings and Algebras · Mathematics 2016-04-12 Zachary Mesyan , Lia Vas

We obtain general trace formulae in the case of perturbation of self-adjoint operators by self-adjoint operators of class $\bS_m$, where $m$ is a positive integer. In \cite{PSS} a trace formula for operator Taylor polynomials was obtained.…

Functional Analysis · Mathematics 2010-08-11 Alexei Aleksandrov , Vladimir Peller

We consider a continuous version of the classical notion of Banach limits, namely, positive linear functionals on $L^{\infty}(\mathbb{R}_+)$ invariant under translations $f(x) \mapsto f(x+s)$ of $L^{\infty}(\mathbb{R}_+)$ for every $s \ge…

Functional Analysis · Mathematics 2017-10-27 Ryoichi Kunisada

Let $\mathcal{L}\{f(t)\} = \int_{0}^{\infty}e^{-st}f(t)dt$ denote the Laplace transform of $f$. It is well-known that if $f(t)$ is a piecewise continuous function on the interval $t:[0,\infty)$ and of exponential order for $t > N$; then…

Classical Analysis and ODEs · Mathematics 2011-06-01 Aran Nayebi

Let $H$ be a positive semi-definite matrix partitioned in $\beta\times \beta$ Hermitian blocks, $H=[A_{s,t}]$, $1\le s,t,\le \beta$. Then, for all symmetric norms, {equation*} \| H \| \le \| \sum_{s=1}^{\beta} A_{s,s} \|. {equation*} The…

Functional Analysis · Mathematics 2012-09-11 Jean-Christophe Bourin , Eun-Young Lee , Minghua Lin

Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution of the procedure. This…

Software Engineering · Computer Science 2022-11-22 Richard Bubel , Dilian Gurov , Reiner Hähnle , Marco Scaletta

The trace of a matrix function f(A), most notably of the matrix inverse, can be estimated stochastically using samples< x,f(A)x> if the components of the random vectors x obey an appropriate probability distribution. However such a…

Numerical Analysis · Mathematics 2021-08-26 Andreas Frommer , Mostafa Nasr Khalil , Gustavo Ramirez-Hidalgo

We prove that certain quotients of entire functions are characteristic functions. Under some conditions, the probability measure corresponding to a characteristic function of that type has a density which can be expressed as a generalized…

Probability · Mathematics 2010-09-09 Albert Ferreiro-Castilla , Frederic Utzet

We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability…

Logic in Computer Science · Computer Science 2014-04-02 Alejandro Díaz-Caro , Gilles Dowek

In a previous study, the first author defines an inverse ambiguous function on a group $G$ to be a bijective function $f : G \to G$ satisfying the functional equation $f^{-1}(x) = f(x^{-1})$ for all $x \in G$. In this paper, we investigate…

Group Theory · Mathematics 2025-10-14 David Schmitz , Sadman Rahman , Anthony Kindness