Tropical differential equations
Consider a polynomial \(f(x) = \sum_{i \in I \subset \mathbb Z^m} c_ix^i\) in the algebra \(k[x_1, \ldots, x_m]\), where \(k\) is a field with valuation val. The piecewise-linear equation \(g(w) = \min_i val(c_i) + \langle i, w \rangle\) is the tropicalization of \(f\). Zeros of \(g\) are points where this minimum is achieved at least twice, or is infinite. If \(x \in k\) is a zero of \(f\), then \(w =\mathrm{val}(x) \in \mathbb R^m\) is a zero of \(g\). Thus, if \(g\) has no solutions, then \(f\) also has no solutions.NEWLINENEWLINEThis paper pushes this framework to a system of differential equations (DEs). For DEs of Puiseaux series, the valuation map creates a system of tropical DEs. In particular, a tropical differential equation in \(n\) variables of order \(m\) have the form NEWLINE\[NEWLINE(S_1, \ldots, S_n) \mapsto\min_{i=1,\ldots n; j=1,\ldots,m} \left\{a_i^{(j)} + \mathrm{val}_{S_i}(j),a\right\}.NEWLINE\]NEWLINE Here, each \(S_i\) is a set of positive integers, and \(\mathrm{val}_{S_i}(j)\) is the \(j\)-th derivative of \(S_i\), which is the smallest element in \(S_i-j\). A solution to this equation is a tuple \((S_1, \ldots,S_n)\), such that the minimum in the right hand side is attained at least twice, or is infinite. If the tropical system has no solution, then the original system also has no solution.NEWLINENEWLINEThe author shows that the greedy algorithm produces the minimal solution of a tropical DE. He then shows that for systems in one variable, this algorithm is polynomial time. The author generalizes the framework to nonlinear tropical DEs, and show that even in one variable the problem is NP-hard.
- 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
- Complexity of solving tropical linear systems
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 6437647 (Why is no real title available?)
- 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
- Tropical differential Gröbner bases
- Initial forms and a notion of basis for tropical differential equations
- Gérard-Levelt membranes
- On initials and the fundamental theorem of tropical partial differential algebraic geometry
- Dynamical tropicalisation
- Complex roots of systems of tropical equations and stability of electrical power networks
- On a tropical dual Nullstellensatz
- Tropical Generalized Interval Systems
- Exploring tropical differential equations
- A general framework for tropical differential equations
- Anti-periodic solution for fourth-order impulsive differential equation via saddle point theorem
- On formal power series solutions of regular differential chains
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- Infinite matroids in tropical differential algebra
- Minimal solutions of tropical linear differential systems
- Generating functions for borders
- On the relationship between differential algebra and tropical differential algebraic geometry
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)
