Related papers: On the trace formula for higher-order ODO

We propose trace logic, an instance of many-sorted first-order logic, to automate the partial correctness verification of programs containing loops. Trace logic generalizes semantics of program locations and captures loop semantics by…

We introduce an appropriate notion of trace in the setting of quaternionic linear operators, arising from the well-known companion matrices. We then use this notion to define the quaternionic Fredholm determinant of trace-class operators in…

In the recent literature one can find calculations of various one--loop amplitudes, like anomalies, tadpoles and vacuum energies, on specific types of orbifolds, like S^1/Z_2. This work aims to give a general description of such one--loop…

Complex systems are composed of a large number of simple components connected to each other in the form of a network. It is shown that, for some network configurations, the equivalent dynamic behavior of the system is governed by an…

We study, by means of a topological approach, the forced oscillations of second order functional retarded differential equations subject to periodic perturbations. We consider a delay-type functional dependence involving a gamma probability…

Given a pair of self-adjoint operators $H$ and $V$ such that $V$ is bounded and $(H+V-i)^{-1}-(H-i)^{-1}$ belongs to the Schatten-von Neumann ideal $\mathcal{S}^n$, $n\ge 2$, of operators on a separable Hilbert space, we establish higher…

We define a class of discrete operators acting on infinite, finite or periodic sequences mimicking the standard properties of pseudo-differential operators. In particular we can define the notion of order and regularity, and we recover the…

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…

This paper is devoted to studying the first-order variational analysis of non-convex and non-differentiable functions that may not be subdifferentially regular. To achieve this goal, we entirely rely on two concepts of directional…

We develop a transformer-based sequence-to-sequence model that recovers scalar ordinary differential equations (ODEs) in symbolic form from irregularly sampled and noisy observations of a single solution trajectory. We demonstrate in…

We argue that the obstacles to having a first-order formalism for odd-derivative actions presented in a pedagogical note by Deser are based on examples which are not first-order forms of the original actions. The general derivation of an…

We consider Hadamard fractional derivatives and integrals of variable fractional order. A new type of fractional operator, which we call the Hadamard-Marchaud fractional derivative, is also considered. The objective is to represent these…

In this paper we consider successive iterations of the first-order differential operations in space ${\bf R}^3.$

We present a theoretical framework for deriving the general $n$-th order Fr\'echet derivatives of singular values in real rectangular matrices, by leveraging reduced resolvent operators from Kato's analytic perturbation theory for…

We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent…

Let D be a holomorphic differential operator acting on sections of a holomorphic vector bundle on an n-dimensional compact complex manifold. We prove a formula, conjectured by Feigin and Shoikhet, for the Lefschetz number of D as the…

We study the semi-classical trace formula at a critical energy level for a Schr\"odinger operator on $\mathbb{R}^{n}$. We assume here that the potential has a totally degenerate critical point associated to a local maximum. The main result,…

The principle of finding an integrating factor for a none exact differential equations is extended to a class of third order differential equations. If the third order equation is not exact, under certain conditions, an integrating factor…

A natural generalization of Krein's theorem to a pair of commuting tuples $\left(H_1^0,H_2^0\right)$ and $\left(H_1,H_2\right)$ of bounded self-adjoint operators in a separable Hilbert space $\mathcal{H}$ with $H_j-H_j^0 = V_j\in…

This paper considers Lieb-Thirring inequalities for higher order differential operators. A result for general fourth-order operators on the half-line is developed, and the trace inequality tr((-Delta)^2 - C^{HR}_{d,2} / (|x|^4) -…