Pith. sign in

REVIEW 1 cited by

A note on an expansion formula with application to nonlinear DAE's

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1912.10735 v1 pith:PK46VMDT submitted 2019-12-23 math.AG

classification math.AG
keywords formuladifferentialexpansionorderalgebraicapproximationartinderivatives
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In [DL] systems of differential polynomials are investigated with respect to properties of Artin approximation type. The key tool in [DL] is an extended version of a formula by Hurwitz [Hu] expressing high order derivatives of an expansion by lower ones. The formula is further refined in [VFZ] to deliver sufficient conditions concerning the existence of power series solutions of scalar algebraic differential equations of order n. In the paper at hand, the main results from [VFZ] are first reproduced and further extended to systems of nonlinear differential algebraic equations. In addition, a simple extension of Tougeron's implicit function theorem is given in a specific constellation. The results follow from [S1], [S2] where Artin approximation is treated within a Banach space setting, thereby constructing an expansion formula that expresses accurately the required dependency of low and high order derivatives within the system of undetermined coefficients.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Diagonalization of Operator functions by algebraic methods

    math.AG 2024-11 conditional novelty 4.0 of 10

    An analytic family of operators whose Jordan chains stabilize at length k can be locally diagonalized to a diagonal operator polynomial of degree k.

Pith tools