DeepAI AI Chat
Log In Sign Up

An Additive Decomposition in S-Primitive Towers

by   Hao Du, et al.
Austrian Academy of Sciences

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.


page 1

page 2

page 3

page 4


Additive Decompositions in Primitive Extensions

This paper extends the classical Ostrogradsky-Hermite reduction for rati...

Primitive Recursive Ordered Fields and Some Applications

We establish primitive recursive versions of some known facts about comp...

Primitive Sets of Words

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

On Rudimentarity, Primitive Recursivity and Representability

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

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

As we begin to consider modeling large, realistic 3D building scenes, it...

Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues

Logarithmic differential forms and logarithmic vector fields associated ...