Related papers: Desingularization of First Order Linear Difference…
For fragments L of first-order logic (FO) with counting quantifiers, we consider the definability problem, which asks whether a given L-formula can be equivalently expressed by a formula in some fragment of L without counting, and the more…
In this paper, we present methods to simplify reducible linear differential systems before solving. Classical integrals appear naturally as solutions of such systems. We will illustrate the methods developed in a previous paper on several…
Decoupling multivariate polynomials is useful for obtaining an insight into the workings of a nonlinear mapping, performing parameter reduction, or approximating nonlinear functions. Several different tensor-based approaches have been…
This paper surveys some recent results on existence, uniqueness and removable singularities for fully nonlinear differential equations on manifolds. The discussion also treats restriction theorems and the strong Bellman principle.
Real-world phenomena can often be conveniently described by dynamical systems (that is, ODE systems in the state-space form). However, if one observes the state of the system only partially, the observed quantities (outputs) and the inputs…
We analyze a semi-explicit time discretization scheme of first order for poro\-elasticity with nonlinear permeability provided that the elasticity model and the flow equation are only weakly coupled. The approach leads to a decoupling of…
The linearizability of differential equations was first considered by Lie for scalar second order semi-linear ordinary differential equations. Since then there has been considerable work done on the algebraic classification of linearizable…
In this paper we firstly review how to \textit{explicitly} solve a system of $3$ \textit{first-order linear recursions }and outline the main properties of these solutions. Next, via a change of variables, we identify a class of systems of…
A model "remarkable" fin equation is singled out from a class of nonlinear (1+1)-dimensional fin equations. For this equation a number of exact solutions are constructed by means of using both classical Lie algorithm and different modern…
We present a method for solving a class of initial valued, coupled, non-linear differential equations with `moving singularities' subject to some subsidiary conditions. We show that this type of singularities can be adequately treated by…
We consider solutions of the linear heat equation with time-dependent singularities. It is shown that if a singularity is weaker than the order of the fundamental solution of the Laplace equation, then it is removable. We also consider the…
In this short communication we introduce a rather simple autonomous system of 2 nonlinearly-coupled first-order Ordinary Differential Equations (ODEs), whose initial-values problem is explicitly solvable by algebraic operations. Its ODEs…
A procedure to obtain differentiation matrices is extended straightforwardly to yield new differentiation matrices useful to obtain derivatives of complex rational functions. Such matrices can be used to obtain numerical solutions of some…
We consider in this work planar polynomial differential systems having a polynomial first integral. We prove that these systems can be obtained from a linear system through a polynomial change of variables.
Blowing up a rational surface singularity in a reflexive module gives a (any) partial resolution dominated by the minimal resolution. The main theorem shows how deformations of the pair (singularity, module) relates to deformations of the…
In this paper we discuss the relationship between the moving planes of a rational parametric surface and the singular points on it. Firstly, the intersection multiplicity of several planar curves is introduced. Then we derive an equivalent…
A theorem providing necessary conditions enabling one to map a nonlinear system of first order partial differential equations to an equivalent first order autonomous and homogeneous quasilinear system is given. The reduction to quasilinear…
For commuting linear operators $P_0,P_1,..., P_\ell$ we describe a range of conditions which are weaker than invertibility. When any of these conditions hold we may study the composition $P=P_0P_1... P_\ell$ in terms of the component…
This article is an exposition of an elementary constructive proof of canonical resolution of singularities in characteristic zero, presented in detail in Invent. Math. 128 (1997), 207-302. We define a new local invariant and get an…
We present a method to decompose a set of multivariate real polynomials into linear combinations of univariate polynomials in linear forms of the input variables. The method proceeds by collecting the first-order information of the…