Related papers: Classe d'equivalence Formelle D'un D-Module D'Airy
In this paper we define Gevrey polyanalytic classes of order N on the unit disk D and we obtain for these classes a characteristic expansion into N-analytic polynomials on suitable neighborhoods of D. As an application of our main theorem,…
For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…
ABSTRACT. Let $\Phi$ be a finite dimensional $K$-algebra and let $\mathscr{C} = \textrm{mod}\: \Phi$ be the abelian category of finitely generated right $\Phi$-modules. In their 1985 paper ``Modules determined by their composition…
Let $(M^{n}, g)$ denote a Riemannian spin manifold of dimension $n$ with Dirac operator $D$ induced from the Levi-Cevita connection acing on the spinor bundle, $S$ ($D$ is also called the Atiyah-Singer Operator). Let $c: Cl(TM^{n})…
An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis…
The explicit description of homogeneous operators and localization of a Hilbert module naturally leads to the definition of a class of Cowen-Douglas operators possessing a flag structure. These operators are irreducible. We show that the…
In previous work of C. A. Tracy and the author asymptotic formulas were derived for certain operator determinants whose interest lay in the fact that quotients of them gave solutions to the cylindrical Toda equations. In the present paper…
In this paper, we give explicit conditions characterizing the F{\o}lner rank one $\mathbb{Z}^d$-actions that factor onto a finite odometer; those that factor onto an arbitrary, but specified $\mathbb{Z}^d$-odometer, and those that factor…
After works by Katz, Monsky, and Adolphson-Sperber, a comparison theorem between relative de Rham cohomology and Dwork cohomology is established in a paper by Dimca-Maaref-Sabbah-Saito in the framework of algebraic D-modules. We propose…
In order to reason about the behaviour of programs described in a programming language, a mathematically rigorous definition of that language is needed. In this paper, we present a machine-checked formalisation of concurrent Core Erlang (a…
We establish a parameter-dependent pseudo-differential calculus on an infinite cylinder, regarded as a manifold with conical exits to infinity. The parameters are involved in edge-degenerate form, and we formulate the operators in terms of…
The dynamical behavior of non-uniform cellular automata is compared with the one of classical cellular automata. Several differences and similarities are pointed out by a series of examples. Decidability of basic properties like…
This work establishes a multivariable Wold-type decomposition for left-inverse commuting $n$-tuples of bounded operators, built on the hypothesis that each component admits a Wold-type decomposition. For pairs of operators, we obtain a…
We consider an integral operator $\mathcal{I}$, special instances of which was studied in various contexts. Using an appropriate transformation we write this operator in terms of weighted composition operators. Then, we provide a…
In this paper we start the analysis of the class $\mathcal D_{\aleph_2}$, the class of cofinal types of directed sets of cofinality at most $\aleph_2$. We compare elements of $\mathcal D_{\aleph_2}$ using the notion of Tukey reducibility.…
In this paper we aim to construct an abstract model of a differential operator with a fractional integro-differential operator composition in final terms, where modeling is understood as an interpretation of concrete differential operators…
A systematic algorithm for building integrating factors of the form mu(x,y), mu(x,y') or mu(y,y') for second order ODEs is presented. The algorithm can determine the existence and explicit form of the integrating factors themselves without…
In this note, we extend modular techniques for computing Gr\"obner bases from the commutative setting to the vast class of noncommutative $G$-algebras. As in the commutative case, an effective verification test is only known to us in the…
We define a filtration on the variational bicomplex according to jet order. The filtration is preserved by the interior Euler operator, which is not a module homomorphism with respect to the ring of smooth functions on the jet space.…
In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…