Tropical differential equations

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

Dima Grigoriev

Publication date: 2 November 2016

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

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.

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

zbMATH Keywords

polynomial complexity solvingtropical differential equations

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Max-linear Systems: Theory and Algorithms
• Tropical algebraic geometry
• Tropical polyhedra are equivalent to mean payoff games
• The tropical Grassmannian
• Complexity of solving tropical linear systems
• On the frontiers of polynomial computations in tropical geometry
• The fundamental theorem of tropical differential algebraic geometry
• Solving Ordinary Differential Equations in Terms of Series with Real Exponents

Cited In (11)

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

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)