Related papers: On the formula of regularized traces
We consider the Stark operator perturbed by a compactly supported potential (of a certain class) on the real line. We prove the following results: (a) upper and lower bounds on the number of resonances in complex discs with large radii, (b)…
Observing that the logarithm of a product of two elliptic operators differs from the sum of the logarithms by a finite sum of operator brackets, we infer that regularised traces of this difference are local as finite sums of noncommutative…
We extend the well-known trace formula for Hill's equation to general one-dimensional Schr\"odinger operators. The new function $\xi$, which we introduce, is used to study absolutely continuous spectrum and inverse problems.
In this paper we discuss some results related to commuting ordinary differential operators of rank greater than one.
This paper is based on talks delivered in summer 2008 at the Conference on Motives, QFT and Pseudodifferential Operators in Boston, and at the Trimester programme Geometry and Physics, Hausdorff Institute for Mathematics in Bonn The paper…
In this paper, we obtain a regularized trace formula for a Sturm Liouville problem which has two points of discontinuity and also contains an eigenparameter in a boundary ondition.
We generalise the formula expressing the matrix trace of a given square matrix as the integral of the numerical values of $A$ over the Euclidean sphere to the unit spheres of finite-dimensional normed spaces that have a 1-symmetric basis.…
Specification languages are essential in deductive program verification, but they are usually based on first-order logic, hence less expressive than the programs they specify. Recently, trace specification logics with fixed points that are…
We study model predictive control for singular differential-algebraic equations with higher index. This is a novelty when compared to the literature where only regular differential-algebraic equations with additional assumptions on the…
We show that the noncommutative residue density, resp. the cut-off regularised integral are the only closed linear, resp. continuous closed linear forms on certain classes of symbols. This leads to alternative proofs of the uniqueness of…
For every symmetrically normed ideal $\mathcal{E}$ of compact operators, we give a criterion for the existence of a continuous singular trace on $\mathcal{E}$. We also give a criterion for the existence of a continuous singular trace on…
Using a global symbol calculus for pseudodifferential operators on tori, we build a canonical trace on classical pseudodifferential operators on noncommutative tori in terms of a canonical discrete sum on the underlying toroidal symbols. We…
In this note we provide a simple formula of general term of recurrent sequence.
Trace formula is an important method to study the Langlands program. Arthur obtains the existence of stable trace formula for connected reductive group. In this paper, we will give the explicit coarse trace formula of GL(4). In general…
We establish higher order trace formulas for pairs of contractions along a multiplicative path generated by a self-adjoint operator in a Schatten-von Neumann ideal, removing earlier stringent restrictions on the kernel and defect operator…
We introduce a new canonical trace on odd class logarithmic pseudo-differential operators on an odd dimensional manifold, which vanishes on commutators. When restricted to the algebra of odd class classical pseudo-differential operators our…
We prove some new results related to Tanaka's formula.
To supplement the already known classification of traces on classical pseudodifferential operators, we present a classification of traces on the algebras of odd-class pseudodifferential operators of non-positive order acting on smooth…
This paper begins a new approach to the $r$-trace formula, without removing the nontempered contribution to the spectral side. We first establish an invariant trace formula whose discrete spectral terms are weighted by automorphic…
A new understanding of the notion of regularizer is proposed. It is argued that this new notion is more realistic than the old one and better fits the practical computational needs. An example of the regularizer in the new sense is given. A…