Related papers: Differential equations in a tangent category I: Co…

Ordinary Differential Equations are derived for the adjoint Euler equations firstly using the method of characteristics in 2D. For this system of partial-differential equations, the characteristic curves appear to be the streamtraces and…

This survey is about the fundamentals of the theory of finite dimensional Lie groups over the field of real numbers. The notion of the tangent space of a manifold at a point is considered to be defined via the well known chart and vector…

The notions of equivalence and strict equivalence for order one differential equations are introduced. The more explicit notion of strict equivalence is applied to examples and questions concerning autonomous equations and equations having…

A notion of time is fundamental in the study of dynamical systems. Time arises as a standalone dynamical system and also in solutions or trajectories as a special kind of map between systems. We characterize time by a universal property and…

We present a Riemannian framework for linear and quadratic discriminant classification on the tangent plane of the shape space of curves. The shape space is infinite dimensional and is constructed out of square root velocity functions of…

In this paper we consider convex subsets of locally-convex topological vector spaces. Given a fixed point in such a convex subset, we show that there exists a curve completely contained in the convex subset and leaving the point in a given…

Vector fields and line fields, their counterparts without orientations on tangent lines, are familiar objects in the theory of dynamical systems. Among the techniques used in their study, the Morse--Smale decomposition of a (generic) field…

Partial Differential Equations (PDEs) are fundamental tools for modeling physical phenomena, yet most PDEs of practical interest cannot be solved analytically and require numerical approximations. The feasibility of such numerical methods,…

Curves play a fundamental role across computer graphics, physical simulation, and mathematical visualization, yet most tools for curve design do nothing to prevent crossings or self-intersections. This paper develops efficient algorithms…

The second-order tangent set is an important concept in describing the curvature of the set involved. Due to the existence of the complementarity condition, the second-order cone (SOC) complementarity set is a nonconvex set. Moreover,…

The paper introduces a new differential-geometric system which originates from the theory of $m$-Hessian operators. The core of this system is a new notion of invariant differentiation on multidimensional surfaces. This novelty gives rise…

In this note we examine a natural concept of a curve on a supermanifold and the subsequent notion of the jet of a curve. We then tackle the question of geometrically defining the higher order tangent bundles of a supermanifold. Finally we…

It is shown in "SIAM J. Sci. Comput. 39 (2017):B424-B441" that free-form curves used in computer aided geometric design can usually be represented as the solutions of linear differential systems and points and derivatives on the curves can…

A new equivalent reformulation of the absolute value equations associated with second-order cone (SOCAVEs) is emphasised, from which a dynamical system based on projection operator for solving SOCAVEs is constructed. Under proper…

For function of one variable, differentiability is equivalent to the existence of tangent line as the limit of secant line. The genuine counterpart of this equivalence for function of several variables is obtained for the first time.

Multivector fields and differential forms at the continuum level have respectively two commutative associative products, a third composition product between them and various operators like $\partial$, $d$ and $*$ which are used to describe…

For a smooth projective curve, the cycles of subordinate or, more generally, secant divisors to a given linear series are among some of the most studied objects in classical enumerative geometry. We consider the intersection of two such…

Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm…

We solve the problem of counting elliptic curves with fixed j-invariant in projective space with tangency conditions. This is equivalent to couting rational nodal curves with condition on the node of the image. The solution is given in the…

This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…