Related papers: A simple and more general approach to Stokes' theo…

In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation is that we consider locally trivial smooth bundles…

We derive effective wall-laws for Stokes systems with inhomogeneous boundary conditions in three dimensional bounded domains with curved rough boundaries. No-slip boundary condition is given on the locally periodic rough boundary parts with…

In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_\alpha…

In this paper we prove a relative version of the classical Mumford-Newstead theorem for a family of smooth curves degenerating to a reducible curve with a simple node. We also prove a Torelli-type theorem by showing that certain moduli…

The aim of this note is to present a numerical method to solve the Stokes problem in a bounded domain with a Dirac source term, which preserves optimality for any approximation order by the finite-element method. It is based on the…

We show that we can obtain a reducible spherical curve from any non-trivial spherical curve by four or less inverse-half-twisted splices, i.e., the reductivity, which represents how reduced a spherical curve is, is four or less. We also…

A variational approach is presented to calculate the stress field generated by a system of dislocations. It is shown that in the simplest case, when the material containing the dislocations obeys Hooke's law the variational framework gives…

Various methods for numerically solving Stokes Flow, where a small Reynolds number is assumed to be zero, are investigated. If pressure, horizontal velocity, and vertical velocity can be decoupled into three different equations, the…

In the theory of the moduli-stacks of n-pointed stable curves, there are two fundamental functors, contraction and stabilization. These functors are constructed in [4], where they are used to show that the various \bar{M_{g,n}}'s are…

We derive an exact solution for Stokes flow in an in a channel with permeable walls. We assume that at the channel walls, the normal component of the fluid velocity is described by Darcy's law and the tangential component of the fluid…

We present an elementary approach to prove restriction theorems for particular surfaces for which the Tomas-Stein theorem does not apply, which in turn provide short proofs for well-known Strichartz estimates for associated PDEs. The method…

In program semantics and verification, reasoning about loops is complicated by the need to produce two separate mathematical arguments: an invariant, for functional properties (ignoring termination); and a variant, for termination (ignoring…

The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded…

We propose a definition of the curl of a vector field X on a finite simple graph as the projection of X onto the orthogonal complement of circulation-free vector fields, where a vector field is circulation-free provided its line integral…

The "fundamental theorem of Vassiliev invariants" says that every weight system can be integrated to a knot invariant. We discuss four different approaches to the proof of this theorem: a topological/combinatorial approach following M.…

Rotational invariance of physical laws is a generally accepted principle. We show that it leads to an additional external constraint on local realistic models of physical phenomena involving measurements of multiparticle spin 1/2…

The two-dimensional free-boundary problem of steady periodic waves with vorticity is considered for water of finite depth. We investigate how flows with small-amplitude Stokes waves on the free surface bifurcate from a horizontal parallel…

Descartes' circle theorem relates the curvatures of four mutually externally tangent circles, three "petal" circles around the exterior of a central circle, forming a "$3$-flower" configuration. We generalise this theorem to the case of an…

It is shown that when in a higher order variational principle one fixes fields at the boundary leaving the field derivatives unconstrained, then the variational principle (in particular the solution space) is not invariant with respect to…

Zurek's derivation of Born's rule using envariance (invariance due to entanglement) is considered to capture the probability in full generality, but only as applied to measurement of a quantum observable. Contrariwise, textbook formulations…