Related papers: Refined blowups
We consider the semilinear wave equation with power nonlinearity in one space dimension. We first show the existence of a blow-up solution with a characteristic point. Then, we consider an arbitrary blow-up solution $u(x,t)$, the graph…
We define Type I singularities for the mean curvature flow associated to a density $\psi$ ($\psi$MCF) and describe the blow-up at singular time of these singularities. Special attention is paid to the case where the singularity come from…
A long-standing shortcoming of statically typed functional languages is that type checking does not rule out pattern-matching failures (run-time match exceptions). Refinement types distinguish different values of datatypes; if a program…
Inspired by the intrinsic formality of graded algebras, we prove a necessary and sufficient condition for strongly uniqueness of DG-enhancements. This approach offers a generalization to linearity over any commutative ring. In particular,…
Developments in dynamical systems theory provides new support for the discretisation of \pde{}s and other microscale systems. By systematically resolving subgrid microscale dynamics the new approach constructs asymptotically accurate,…
For differential inequalities of the form $$ \sum_{|\alpha| = m} (- 1)^m \partial^\alpha a_\alpha (x, u) \ge b (x) |u|^\lambda \quad \mbox{in } {\mathbb R}^n, \: n \ge 1, $$ where $a_\alpha$ and $b$ are some functions, we obtain conditions…
We generalize regular subdivisions (polyhedral complexes resulting from the projection of the lower faces of a polyhedron) introducing the class of recursively-regular subdivisions. Informally speaking, a recursively-regular subdivision is…
It is well known that for a first order system of linear difference equations with rational function coefficients, a solution that is holomorphic in some left half plane can be analytically continued to a meromorphic solution in the whole…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
We present a theorem of resolution of singularities for real analytic constrained differential systems $A(x)\dot{x} = F(x)$ defined on a 2-manifold with corners having impasse set $\{x; \det A(x) = 0\}$. This result can be seen as a…
We consider the nonlinear Schr\"odinger equation \[ u_t = i \Delta u + | u |^\alpha u \quad \mbox{on ${\mathbb R}^N $, $\alpha>0$,} \] for $H^1$-subcritical or critical nonlinearities: $(N-2) \alpha \le 4$. Under the additional technical…
All components of complements of discriminant varieties of simple real function singularities are explicitly listed. New invariants of such components (for not necessarily simple singularities) are introduced. A combinatorial algorithm…
We discuss the solution of regular and singular Sturm-Liouville problems by means of High Order Finite Difference Schemes. We describe a code to define a discrete problem and its numerical solution by means of linear algebra techniques.…
In this paper we develop two different types of criteria for the finite time blow-up solutions to the combined nonlinear Schr\"odinger equation in 1D. The first one is a negative energy criterion developed for triple combined nonlinearity…
We prove the existence of resolution of singularities for arbitrary (not necessarily reduced or irreducible) excellent two-dimensional schemes, via permissible blow-ups. The resolution is canonical, and functorial with respect to…
In this talk we discuss sector decomposition. This is a method to disentangle overlapping singularities through a sequence of blow-ups. We report on an open-source implementation of this algorithm to compute numerically the Laurent…
Definite descriptions are first-order expressions that denote unique objects. In this paper, we propose a second-order counterpart, designed to refer to unique relations between objects. We investigate this notion within the framework of…
We identify a class of singular algebraic foliations whose leaves through singular points retain regularity. The proof consists in showing existence of residual gerbes for certain formal stacks, which do not enjoy smooth presentations. As…
In this paper, two kinds of the exact singular solutions are obtained by the improved homogeneous balance (HB) method and a nonlinear transformation. The two exact solutions show that special singular wave patterns exists in the classical…
When considering a real log canonical threshold (RLCT) that gives a Bayesian generalization error, in general, papers replace a mean error function with a relatively simple polynomial whose RLCT corresponds to that of the mean error…