Related papers: A Stokes theorem for everyone
In our previous paper [International Journal of Theoretical Physics, 41 (2002), 1165-1190] we have shown, following the tradition of synthetic differential geometry, that div and rot are uniquely determined, so long as we require that the…
For an integer $m\geq 1$, a combinatorial manifold $\widetilde{M}$ is defined to be a geometrical object $\widetilde{M}$ such that for $\forall p\in\widetilde{M}$, there is a local chart $(U_p,\phi_p)$ enable $\phi_p:U_p\to…
Arguably the simplest variation of this style of proof as we avoid reducing to the cubic case entirely.
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
The existence of periodic waves propagating downstream on the surface of a two-dimensional infinitely deep water under gravity is established for a general class of vorticities. When reformulated as an elliptic boundary value problem in a…
Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.
We use exponential asymptotic analysis to identify the relevance of Stokes' phenomenon to integrability in discrete systems. We study Stokes' phenomenon in two discrete problems with the same (leading-order) continuous limit, a…
We present type $\theta$ Stokes' theorem for type $\theta$ $k$-chains which extends the fundamental theorem of calculus in higher dimensions.
The generalization of the n-dimensional cube, an n-dimensional chain, the exterior derivative and the integral of a differential n-form on it are introduced and investigated. The analogue of Stokes theorem for the differential space is…
Much of the vast literature on the integral during the last two centuries concerns extending the class of integrable functions. In contrast, our viewpoint is akin to that taken by Hassler Whitney [{\it Geometric integration theory},…
We consider the inverse problem of the detection of a single body, immersed in a bounded container filled with a fluid which obeys the Stokes equations, from a single measurement of force and velocity on a portion of the boundary. We obtain…
We compute Stokes matrices for generalised Airy equations and prove that they are regular unipotent (up to multiplication with the formal monodromy). This class of differential equations was defined by Katz and includes the classical Airy…
The goal of this paper is to show that Stokes data coming from flat bundles form a locally geometric derived stack locally of finite presentation. This generalizes existing geometricity results on Stokes data in four different directions:…
Multisummation provides a transparent description of Stokes matrices which is reviewed here together with some applications. Examples of moduli spaces for Stokes matrices are computed and discussed. A moduli space for a third Painlev\'e…
Cook's theorem is commonly expressed such as any polynomial time-verifiable problem can be reduced to the SAT problem. The proof of Cook's theorem consists in constructing a propositional formula A(w) to simulate a computation of TM, and…
Sto\"ilow's theorem from 1928 states that a continuous, open, and light map between surfaces is a discrete map with a discrete branch set. This result implies that such maps between orientable surfaces are locally modeled by power maps…
This is a series of lecture notes, with embedded problems, aimed at students studying differential topology. Many revered texts, such as Spivak's "Calculus on Manifolds" and Guillemin and Pollack's "Differential Topology" introduce forms by…
We present a construction of a certain infinite complete partial order (CPO) that differs from the standard construction used in Scott's denotational semantics. In addition, we construct several other infinite CPO's. For some of those, we…
In this paper we present an arbitrary-order fully discrete Stokes complex on general polyhedral meshes. We enriche the fully discrete de Rham complex with the addition of a full gradient operator defined on vector fields and fitting into…
In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.