Related papers: A sufficient condition for a Rational Differential…
We establish a flexible generalization of inductive systems of operator systems, which relaxes the usual transitivity (or coherence) condition to an asymptotic version thereof and allows for systems indexed over arbitrary nets. To…
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed {\lambda}{\mu}-calculus. This allows a direct interpretation of classical proofs, avoiding the usual negative translation to…
We consider certain anisotropic translation invariant pseudodifferential operators, belonging to a class denoted by $\mathrm{op}(\mathcal{M}^{\lambda}_{\psi})$, where $\lambda$ and $\psi=(\psi_1,\dots,\psi_n)$ are the "order" and "weight"…
Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…
To demonstrate more visibly the close relation between the continuity and integrability, a new proof for the Banach-Zarecki theorem is presented on the basis of the Radon-Nikodym theorem which emphasizes on measure-type properties of the…
A spin system is a sequence of self-adjoint unitary operators $U_1,U_2,...$ acting on a Hilbert space $H$ which either commute or anticommute, $U_iU_j=\pm U_jU_i$ for all $i,j$; it is is called irreducible when $\{U_1,U_2,...\}$ is an…
An explicit expression for the cofactor related to an irreducible invariant algebraic curve of a polynomial dynamical system in the plane is derived. A sufficient condition for a polynomial dynamical system in the plane to have a finite…
This work is an attempt towards a Morita theory for stable equivalences between self-injective algebras. More precisely, given two self-injective algebras A and B and an equivalence between their stable categories, consider the set S of…
Let F(z) be a rational function in Q(z) of degree at least 2 with F(0) = 0 and such that F does not vanish to order d at 0. Let b be a rational number having infinite orbit under iteration of F, and write F^n(b) = A_n/B_n as a fraction in…
In this paper we give definitions of basic concepts such as symmetries, first integrals, Hamiltonian and recursion operators suitable for ordinary differential equations on associative algebras, and in particular for matrix differential…
The celebrated Harish-Chandra's integrability theorem states that the distributional character of an irreducible smooth representation of a p-adic group $G(F)$ is integrable, that is represented by an $L^1_{loc}(G(F))$ function. Here $F$ is…
In this paper, we investigate a rather general system of two operator equations that has the structure of a viscous or nonviscous Cahn--Hilliard system in which nonlinearities of double-well type occur. Standard cases like regular or…
In this paper we consider the general setting for constructing Action Principles for three-dimensional first order autonomous equations. We present the results for some integrable and non-integrable cases of the Lotka-Volterra equation, and…
A class of left-invariant second order reversible systems with functional parameter is introduced which exhibits the phenomenon of robust integrability: an open and dense subset of the phase space is filled with invariant tori carrying…
We study Lebesgue integration of sums of products of globally subanalytic functions and their logarithms, called constructible functions. Our first theorem states that the class of constructible functions is stable under integration. The…
We introduce a continuous-order integral analog of the Maclaurin expansion that reconstructs analytic functions from fractional derivative data. The operator integrates over continuous order, replacing the discrete sum of integer…
Let R be a commutative Noetherian ring, I and J ideals of R and M a finitely generated R-module. Let F be a covariant R-linear functor from the category of finitely generated R-modules to itself. We first show that if F is coherent, then…
It is shown that the $F_4$ rational and trigonometric integrable systems are exactly-solvable for {\it arbitrary} values of the coupling constants. Their spectra are found explicitly while eigenfunctions by pure algebraic means. For both…
We present the logical induction criterion for computable algorithms that assign probabilities to every logical statement in a given formal language, and refine those probabilities over time. The criterion is motivated by a series of stock…
Let F(R^n) be the algebra of Fourier transforms of functions from L_1(R^n), K(R^n) be the algebra of Fourier transforms of bounded complex Borel measures in R^n and W be Wiener algebra of continuous 2pi-periodic functions with absolutely…