Additive Decompositions in Primitive Extensions

02/07/2018
by   Shaoshi Chen, et al.
0

This paper extends the classical Ostrogradsky-Hermite reduction for rational functions to more general functions in primitive extensions of certain types. For an element f in such an extension K, the extended reduction decomposes f as the sum of a derivative in K and another element r such that f has an antiderivative in K if and only if r=0; and f has an elementary antiderivative over K if and only if r is a linear combination of logarithmic derivatives over the constants when K is a logarithmic extension. Moreover, r is minimal in some sense. Additive decompositions may lead to reduction-based creative-telescoping methods for nested logarithmic functions, which are not necessarily D-finite.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/06/2020

An Additive Decomposition in S-Primitive Towers

We consider the additive decomposition problem in primitive towers and p...
research
05/09/2018

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions

Hermite reduction is a classical algorithmic tool in symbolic integratio...
research
06/12/2022

Curvilinearity and Orthogonality

We introduce sequences of functions orthogonal on a finite interval: pro...
research
03/14/2023

Axiomatic characterization of pointwise Shapley decompositions

A common problem in various applications is the additive decomposition o...
research
01/13/2021

Parametricity for Nested Types and GADTs

This paper considers parametricity and its consequent free theorems for ...
research
02/06/2022

Construction of polynomial preserving cochain extensions by blending

A classical technique to construct polynomial preserving extensions of s...
research
03/28/2022

How Functorial Are (Deep) GADTs?

It is well-known that GADTs do not admit standard map functions of the k...

Please sign up or login with your details

Forgot password? Click here to reset