Refine
Year of publication
- 2018 (2) (remove)
Document Type
- In Proceedings (1)
- ZIB-Report (1)
Language
- English (2)
Is part of the Bibliography
- no (2)
Keywords
- abs-normal form (1)
- algorithmic differentiation (1)
- algorithmic piecewise differentiation (AD and APD) (1)
- compressed sparse row format (1)
- evaluation procedures (1)
- generalized Taylor expansion (1)
- generalized hermite interpolation (1)
- implicit generation of splines (1)
- multistep methods (1)
- nonsmooth integration of differential algebraic equations (DAE and ODE) (1)
Institute
We present an extension of Taylor’s theorem towards nonsmooth evalua-
tion procedures incorporating absolute value operaions. Evaluations procedures are
computer programs of mathematical functions in closed form expression and al-
low a different treatment of smooth operations and calls to the absolute value value
function. The well known classical Theorem of Taylor defines polynomial approx-
imation of sufficiently smooth functions and is widely used for the derivation and
analysis of numerical integrators for systems of ordinary differential or differential
algebraic equations, for the construction of solvers for the continuous nonlinear op-
timization of finite dimensional objective functions and for root solving of nonlinear
systems of equations. The herein provided proof is construtive and allow efficiently
designed algorithms for the execution and computation of generalized piecewise
polynomial expansions. As a demonstration we will derive a k-step method on the
basis of polynomial interpolation and the proposed generalized expansions.
We present a concept that provides an efficient description of differential-algebraic equations (DAEs) describing flow networks which provides the DAE function f and their Jacobians in an automatized way such that the sparsity pattern of the Jacobians is determined before their evaluation and previously determined values of f can be exploited. The user only has to provide the network topology and local function descriptions for each network element. The approach uses automatic differentiation (AD) and is adapted to switching element functions via the abs-normal-form (ANF).