Related papers: Formally Integrable Structures II. Division Proble…
This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…
An extension of Riewe's fractional Hamiltonian formulation is presented for fractional constrained systems. The conditions of consistency of the set of constraints with equations of motion are investigated. Three examples of fractional…
The concept of balancedly splittable orthogonal designs is introduced along with a recursive construction. As an application, equiangular tight frames over the real, complex, and quaternions meeting the Delsarte-Goethals-Seidel upper bound…
The basic ingredients of the consistent histories approach to quantum mechanics are the space of histories and the space of decoherence functionals. In this work we extend the classification theorem for decoherence functionals proven by…
An overview of some recent results on the geometry of partial differential equations in application to integrable systems is given. Lagrangian and Hamiltonian formalism both in the free case (on the space of infinite jets) and with…
This article addresses the question of involutiveness and discusses the initial value problem for a class of overdetermined systems of partial differential equations which arise in the theory of integrable systems and are defined by…
We investigate the partitioning of partial orders into a minimal number of heapable subsets. We prove a characterization result reminiscent of the proof of Dilworth's theorem, which yields as a byproduct a flow-based algorithm for computing…
The paper contains integral representations for certain classes of exponentially growing solutions of second order periodic elliptic equations. These representations are the analogs of those previously obtained by S. Agmon, S. Helgason, and…
We present a version of G\"odel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic version of the derivability conditions. We also argue that…
An equation containing a fractional power of an elliptic operator of second order is studied for Dirichlet boundary conditions. Finite difference approximations in space are employed. The proposed numerical algorithm is based on solving an…
We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for…
In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…
Fractional Pontryagin's systems emerge in the study of a class of fractional optimal control problems but they are not resolvable in most cases. In this paper, we suggest a numerical approach for these fractional systems. Precisely, we…
This paper presents an observation that under reasonable conditions, many partial differential equations from mathematical physics possess three structural properties. One of them can be understand as a variant of the celebrated Onsager…
In an earlier paper we introduced the notion of 'bifurcating continued fractions' in a heuristic manner. In this paper a formal theory is developed for the 'bifurcating continued fractions'.
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
In this paper, we establish a necessary and sufficient stability condition for a class of two coupled first-order linear hyperbolic partial differential equations. Through a backstepping transform, the problem is reformulated as a stability…
This article presents a comprehensive overview and supplement to recent developments in second-order elliptic partial differential equations formulated in double divergence form, along with an exploration of their parabolic counterparts.
A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…
This work extends the Ibragimov's conservation theorem for partial differential equations [{\it J. Math. Anal. Appl. 333 (2007 311-328}] to under determined systems of differential equations. The concepts of adjoint equation and formal…