Related papers: Refined blowups
Real blow-ups and more refined "zooms" play a key role in the analysis of singularities of complex-analytic differential modules. They do not change the underlying topology, but the uniform structure. This suggests to revisit the cohomology…
It is known that there is a class of semilinear parabolic equations for which interior gradient blow-up (in finite time) occurs for some solutions. We construct a continuation of such solutions after gradient blow-up. This continuation is…
This paper is an attempt to classify finite-time singularities of PDEs. Most of the problems considered describe free-surface flows, which are easily observed experimentally. We consider problems where the singularity occurs at a point, and…
We study a class of semilinear elliptic equations with constraints in higher dimension. It is known that several mathematical structures of the problem are closed to those of the Liouville equation in dimension two. In this paper, we…
Geometric treatments of blow-up solutions for autonomous ordinary differential equations and their blow-up rates are concerned. Our approach focuses on the type of invariant sets at infinity via compactifications of phase spaces, and…
Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe and filter architectures, can be used to modify a system in a…
Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these…
We construct a series of blowups $(\widetilde M_i,\pi_i)_{i\in \mathbb N_0}$ of a singular foliation by applying to the universal Lie $\infty$-algebroid of a singular foliation the so-called Nash modification. For $i=0$, we recover a blowup…
Considered herein are the generalized Camassa-Holm and Degasperis-Procesi equations in the spatially periodic setting. The precise blow-up scenarios of strong solutions are derived for both of equations. Several conditions on the initial…
Blow-ups of derivatives and gradient catastrophes for the $n$-dimensional homogeneous Euler equation are discussed. It is shown that, in the case of generic initial data, the blow-ups exhibit a fine structure in accordance of the admissible…
This paper is devoted to the blow-up of analytic solutions with the emergence of irregular solutions.
It is well-known that the two-dimensional Keller-Segel system admits finite time blowup solutions, which is the case if the initial density has a total mass greater than $8\pi$ and a finite second moment. Several constructive examples of…
We give a construction that identifies the collection of pure processes (i.e. those which are deterministic, or without randomness) within a theory containing both pure and mixed processes. Working in the framework of symmetric monoidal…
We develop an extension of the proof environment Beluga with datasort refinement types and study its impact on mechanized proofs. In particular, we introduce refinement schemas, which provide fine-grained classification for the structures…
We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characterized in terms of its formal power series solutions. We also…
We prove the Categorified Wrapping Number Conjecture for large classes of annular links, including alternating annular links and tangle closures exhibiting plumbed link phenomena. We do so by characterizing when a resolution is sufficient…
The subject is partial resolution of singularities. Given an algebraic variety X (not necessarily equidimensional) in characteristic zero (or, more generally, a pair (X,D), where D is a divisor on X), we construct a functorial…
We consider varieties generated by finite closure algebras whose canonical relations have two levels, and whose restriction to a level is an "extremal" relation, i.e. the identity or the universal relation. The corresponding logics have…
We show how to use the arguments of [CM2] to get a stronger effective version of uniqueness of blowups that has a number of consequences.
We construct standard resolutions for analytic local modules on complex hypersurfaces using standard basis methods, with extensions to complete intersections. The algebraic version over arbitrary infinite fields is also suggested.…