DeepAI AI Chat
Log In Sign Up

An Additive Decomposition in S-Primitive Towers

02/06/2020
by   Hao Du, et al.
amss.ac.cn
iss.ac.cn
Austrian Academy of Sciences
0

We consider the additive decomposition problem in primitive towers and present an algorithm to decompose a function in an S-primitive tower as a sum of a derivative in the tower and a remainder which is minimal in some sense. Special instances of S-primitive towers include differential fields generated by finitely many logarithmic functions and logarithmic integrals. A function in an S-primitive tower is integrable in the tower if and only if the remainder is equal to zero. The additive decomposition is achieved by viewing our towers not as a traditional chain of extension fields, but rather as a direct sum of certain subrings. Furthermore, we can determine whether or not a function in an S-primitive tower has an elementary integral without solving any differential equations. We also show that a kind of S-primitive towers, known as logarithmic towers, can be embedded into a particular extension where we can obtain a finer remainder.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/07/2018

Additive Decompositions in Primitive Extensions

This paper extends the classical Ostrogradsky-Hermite reduction for rati...
10/20/2020

Primitive Recursive Ordered Fields and Some Applications

We establish primitive recursive versions of some known facts about comp...
05/20/2020

Primitive Sets of Words

Given a (finite or infinite) subset X of the free monoid A^* over a fini...
07/01/2019

On Rudimentarity, Primitive Recursivity and Representability

It is quite well-known from Kurt Gödel's (1931) ground-breaking result o...
01/16/2019

Primitive-based 3D Building Modeling, Sensor Simulation, and Estimation

As we begin to consider modeling large, realistic 3D building scenes, it...
07/20/2020

Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues

Logarithmic differential forms and logarithmic vector fields associated ...