BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Sebastian Falkensteiner

Sebastian Falkensteiner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGSymbolic Computationmath.ACMathematical Software

Catalog footprint

What is connected

5works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables

In this paper we study systems of autonomous algebraic ODEs in several differential indeterminates. We develop a notion of algebraic dimension of such systems by considering them as algebraic systems. Afterwards we apply differential elimination and analyze the behavior of the dimension in the resulting Thomas decomposition. For such systems of algebraic dimension one, we show that all formal Puiseux series solutions can be approximated up to an arbitrary order by convergent solutions. We show that the existence of Puiseux series and algebraic solutions can be decided algorithmically. Moreover, we present a symbolic algorithm to compute all algebraic solutions. The output can either be represented by triangular systems or by their minimal polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package

There exist several methods for computing exact solutions of algebraic differential equations. Most of the methods, however, do not ensure existence and uniqueness of the solutions and might fail after several steps, or are restricted to linear equations. The authors have presented in previous works a method to overcome this problem for autonomous first order algebraic ordinary differential equations and formal Puiseux series solutions and algebraic solutions. In the first case, all solutions can uniquely be represented by a sufficiently large truncation and in the latter case by its minimal polynomial. The main contribution of this paper is the implementation, in a MAPLE-package named FirstOrderSolve, of the algorithmic ideas presented therein. More precisely, all formal Puiseux series and algebraic solutions, including the generic and singular solutions, are computed and described uniquely. The computation strategy is to reduce the given differential equation to a simpler one by using local parametrizations and the already known degree bounds.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one

In this paper, we study the algebraic, rational and formal Puiseux series solutions of certain type of systems of autonomous ordinary differential equations. More precisely, we deal with systems which associated algebraic set is of dimension one. We establish a relationship between the solutions of the system and the solutions of an associated first order autonomous ordinary differential equation, that we call the reduced differential equation. Using results on such equations, we prove the convergence of the formal Puiseux series solutions of the system, expanded around a finite point or at infinity, and we present an algorithm to describe them. In addition, we bound the degree of the possible algebraic and rational solutions, and we provide an algorithm to decide their existence and to compute such solutions if they exist. Moreover, if the reduced differential equation is non trivial, for every given point $(x_0,y_0)$ in the complex plane, we prove the existence of a convergent Puiseux series solution $y(x)$ of the original system such that $y(x_0)=y_0$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Existence and convergence of Puiseux series solutions for autonomous first order differential equations

Given an autonomous first order algebraic ordinary differential equation F(y,y')=0, we prove that every formal Puiseux series solution, expanded around any finite point or at infinity, is convergent. The proof is constructive and we provide an algorithm to describe all such Puiseux series solutions. Moreover, we show that for any point in the complex plane there exists a solution of the differential equation which defines an analytic curve passing through this point.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The Fundamental Theorem of Tropical Differential Algebraic Geometry states that the support of solutions of systems of ordinary differential equations with formal power series coefficients over an uncountable algebraically closed field of characteristic zero can be obtained by solving a so-called tropicalized differential system. Tropicalized differential equations work on a completely different algebraic structure which may help in theoretical and computational questions. We show that the Fundamental Theorem can be extended to the case of systems of partial differential equations by introducing vertex sets of Newton polygons.

0 citations0 reviewsNo code linkedOpen access