Related papers: Stokes' Theorem for Smooth Singular Cubes in Lean …
We present a method to desingularize a compact G_2 manifold with isolated conical singularities by cutting out a neighbourhood of each singular point and glueing in an asymptotically conical G_2 manifold. Controlling the error on the…
We propose a new least squares finite element method to solve the Stokes problem with two sequential steps. The approximation spaces are constructed by patch reconstruction with one unknown per element. For the first step, we reconstruct an…
We show that any $4$-dimensional complete self-shrinker in $\mathbb{R}^{5}$ with constant squared norm $S$ of the second fundamental form, $f_{3}=0$ and constant $f_{4}$ is isometric to $\mathbb{R}^{4}$, where $h_{ij}$ are components of the…
We identify a norm on the pressure variable in the Stokes equation that allows us to prove a continuous inf-sup condition with a constant independent of the domain's aspect ratio. This is in contrast to the standard inf-sup constant, which…
In this paper we give a smooth linearization theorem for nonautonomous differential equations with a nonuniform strong exponential dichotomy. In terms of discretized evolution operator with hyperbolic fixed point 0, we formulate its…
We present a new derivation of a boundary integral equation (BIE) for simulating the three-dimensional dynamics of arbitrarily-shaped rigid particles of genus zero immersed in a Stokes fluid, on which are prescribed forces and torques. Our…
The Kauffman bracket skein algebra is a quantization of the algebra of regular functions on the $SL_2$ character variety of a topological surface. We realize the skein algebra of the $4$-punctured sphere as the output of a mirror symmetry…
In this project, a rather complete proof-theoretical formalization of Lambek Calculus (non-associative with arbitrary extensions) has been ported from Coq proof assistent to HOL4 theorem prover, with some improvements and new theorems.…
For many biological systems that involve elastic structures immersed in fluid, small length scales mean that inertial effects are also small, and the fluid obeys the Stokes equations. One way to solve the model equations representing such…
We prove a discrete analog of a certain four-vertex theorem for space curves. The smooth case goes back to the work of Beniamino Segre and states that a closed and smooth curve whose tangent indicatrix has no self-intersections admits at…
We study stochastic differential equations (SDEs) with multiplicative Stratonovich-type noise of the form $ dX_t = b(X_t) dt + \sigma(X_t)\circ d W_t, X_0=x_0\in\mathbb{R}^d, t\geq0,$ with a possibly singular drift $b\in…
The perfect cone compactification is a toroidal compactification which can be defined for locally symmetric varieties. Let $\overline{D_{L}/\widetilde{O}^{+}(L)}^{p}$ be the perfect cone compactification of the quotient of the type IV…
We classify special self-birational transformations of the smooth quadric threefold and fourfold, $Q^3$ and $Q^4$. It turns out that there is only one such example in each dimension. In the case of $Q^3$, it is given by the linear system of…
In the present paper we develop a new family of Virtual Elements for the Stokes problem on polygonal meshes. By a proper choice of the Virtual space of velocities and the associated degrees of freedom, we can guarantee that the final…
Extending work of Klyachko, Perling and Kool we develop a combinatorial description of torsion free toric sheaves in any dimension on smooth toric DM stacks. We investigate their basic properties and under certain conditions recover some…
We analyse a coupled 3D-2D model with a free fluid governed by Stokes flow in the bulk and a poroelastic plate described by the Biot-Kirchhoff equations on the surface. Assuming the form of a double perturbed saddle-point problem, the…
We construct and describe a family of groupoids over complex curves which serve as the universal domains of definition for solutions to linear ordinary differential equations with singularities. As a consequence, we obtain a direct,…
The aim of this paper is to obtain convergence in mean in the uniform topology of piecewise linear approximations of Stochastic Differential Equations (SDEs) with $C^1$ drift and $C^2$ diffusion coefficients with uniformly bounded…
A regularization procedure developed in [1] for the integral curvature invariants on manifolds with conical singularities is generalized to the case of squashed cones. In general, the squashed conical singularities do not have rotational…
We prove global smooth continuation for smooth finite-energy solutions of the three-dimensional incompressible Navier--Stokes equations by a two-part first-threshold argument. Part I proves the axisymmetric-with-swirl theorem in the exact…