Tropical differential equations

DOI10.1016/J.AAM.2016.08.002zbMATH Open1348.14140OpenAlexW2963579331MaRDI QIDQ335863FDOQ335863

Authors Dima Grigoriev

Publication date 2 November 2016

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.08010

zbMATH Keywords

polynomial complexity solvingtropical differential equations

Mathematics Subject Classification ID

Abstract: Tropical differential equations are introduced and an algorithm is designed which tests solvability of a system of tropical linear differential equations within the complexity polynomial in the size of the system and in its coefficients. Moreover, we show that there exists a minimal solution, and the algorithm constructs it (in case of solvability). This extends a similar complexity bound established for tropical linear systems. In case of tropical linear differential systems in one variable a polynomial complexity algorithm for testing its solvability is designed. We prove also that the problem of solvability of a system of tropical non-linear differential equations in one variable is $NP$-hard, and this problem for arbitrary number of variables belongs to $NP$. Similar to tropical algebraic equations, a tropical differential equation expresses the (necessary) condition on the dominant term in the issue of solvability of a differential equation in power series.

Recommendations

• Initial forms and a notion of basis for tropical differential equations
• New algorithms for solving tropical linear systems
• The fundamental theorem of tropical partial differential algebraic geometry
• On initials and the fundamental theorem of tropical partial differential algebraic geometry
• Complexity of tropical and MIN-plus linear prevarieties

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 6437647 (Why is no real title available?)
• Complexity of solving tropical linear systems
• Max-linear systems. Theory and algorithms.
• On the frontiers of polynomial computations in tropical geometry
• Solving Ordinary Differential Equations in Terms of Series with Real Exponents
• The fundamental theorem of tropical differential algebraic geometry
• The tropical Grassmannian
• Tropical algebraic geometry
• Tropical polyhedra are equivalent to mean payoff games

Cited in

(13)

• On the relationship between differential algebra and tropical differential algebraic geometry
• Dynamical tropicalisation
• On a tropical dual Nullstellensatz
• Gérard-Levelt membranes
• Complex roots of systems of tropical equations and stability of electrical power networks
• Anti-periodic solution for fourth-order impulsive differential equation via saddle point theorem
• Exploring tropical differential equations
• On initials and the fundamental theorem of tropical partial differential algebraic geometry
• A general framework for tropical differential equations
• On formal power series solutions of regular differential chains
• Initial forms and a notion of basis for tropical differential equations
• Tropical differential Gröbner bases
• Tropical Generalized Interval Systems

This page was built for publication: Tropical differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q335863)