Related papers: A Stokes theorem for everyone
Boolean calculus has been studied extensively in the past in the context of switching circuits, error-correcting codes etc. This work generalizes several approaches to defining a differential calculus for Boolean functions. A unified theory…
Two basic theorems of the theory of flexible polyhedra were proven by completely different methods: R. Alexander used analysis, namely, the Stokes theorem, to prove that the total mean curvature remains constant during the flex, while I.Kh.…
This paper extends a version of the Stone-Weierstrass theorem to more general C*-algebras. Namely, assume that A is a unital, not necessarily separable, C*-algebra, and B is a C*-subalgebra containing the unit element. Then, I prove that:…
A well-known lemma by John Franks asserts that one obtains any perturbation of the derivative of a diffeomorphism along a periodic orbit by a $C^1$-perturbation of the whole diffeomorphism on a small neighbourhood of the orbit. However, one…
Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather than values. Proving soundness of DOT has been surprisingly…
In this paper, we first construct a nonconforming finite element pair for the incompressible Stokes problem on quadrilateral grids, and then construct a discrete Stokes complex associated with that finite element pair. The finite element…
In this paper we consider first-order logic theorem proving and model building via approximation and instantiation. Given a clause set we propose its approximation into a simplified clause set where satisfiability is decidable. The…
The completeness of solutions of homogeneous as well as non-homogeneous unsteady Stokes equations are examined. A necessary and sufficient condition for a divergence-free vector to represent the velocity field of a possible unsteady Stokes…
This is the second paper in a series on intrinsic Donaldson-Thomas theory, a framework for studying the enumerative geometry of general algebraic stacks. In this paper, we present the construction of Donaldson-Thomas invariants for general…
We introduce a category of filtered sheaves on a circle to describe the Stokes phenomenon of linear difference equations with mild singularity. The main result is a mild difference analog of the Riemann-Hilbert correspondence for germs of…
We study the convergence of the method of reflections for the Stokes equations in domains perforated by countably many spherical particles with boundary conditions typical for the suspension of rigid particles. We prove that a relaxed…
This note is purely expository. The statement of the Gauss theorem on the constructibility of regular polygons by means of compass and ruler is simple and well-known. However, its proofs given in most textbooks rely upon much unmotivated…
The stable Andrews-Curtis conjecture in combinatorial group theory is the statement that every balanced presentation of the trivial group can be simplified to the trivial form by elementary moves corresponding to "handle-slides" together…
Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single Set Theory formula with parameters unrelated to other formulas. Exotic expressions involving…
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
When applying the classical Stone-Weierstrass common version in Probability Theory for example, and in other fields as well, problems may arise if all points of the compact set are not separated. A solution may consist in going back to the…
We study the Stokes phenomenon via hyperfunctions for the solutions of the 1-dimensional complex heat equation under the condition that the Cauchy data are holomorphic on $\mathbb{C}$ but a finitely many singular or branching points with…
We consider arbitrary splits of field operators into two parts, and use the corresponding definition of normal ordering introduced by Evans and Steer. In this case the normal ordered products and contractions have none of the special…
This paper approaches, using structural complexity theory, the question of whether there is a chasm between knowing an object exists and getting one's hands on the object or its properties. In particular, we study the nontransparency of…