First steps towards exact algebraic identification (Q1381826)

The algebraic identification problem of causal functionals, as obtained from noncommutative generating series by evaluating words as iterated integrals of the inputs, is the subject of this paper. This problem asks whether there is an algorithm for computing the coefficients of a generating series when the Taylor expansions (at \(t = 0\)) of the system inputs and related outputs are known. Though some proofs are known of the fact that if \(G\) and \(H\) are two generating series defining the same causal functional, then \(G =H\) (injectivity of the evaluation map), all of them require some knowledge of the output \(y(t)\) and of its iterated derivatives everywhere in some neighbourhood of \(0\). Moreover, none of them provides an exact identification method. In this paper, three proofs of the injectivity of the evaluation map are first recalled and discussed. Then a formula for the computation of the iterated derivatives of the output is presented. An algorithm computing the contribution, in the generating series \(G\), of each input's multiderivative completes the paper. This constitutes a first step in the exact algebraic identification, leaving the computation of the coefficient of \(G\) of each input's iterated integral to be done yet.