Arithmetic Subderivatives and Leibniz-Additive Functions

Jorma K. Merikoski,Pentti Haukkanen,Timo Tossavainen
DOI: https://doi.org/10.48550/arXiv.1901.02216
2019-01-08
Abstract:We first introduce the arithmetic subderivative of a positive integer with respect to a non-empty set of primes. This notion generalizes the concepts of the arithmetic derivative and arithmetic partial derivative. More generally, we then define that an arithmetic function $f$ is Leibniz-additive if there is a nonzero-valued and completely multiplicative function $h_f$ satisfying $f(mn)=f(m)h_f(n)+f(n)h_f(m)$ for all positive integers $m$ and $n$. We study some basic properties of such functions. For example, we present conditions when an arithmetic function is Leibniz-additive and, generalizing well-known bounds for the arithmetic derivative, establish bounds for a Leibniz-additive function.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce and study the concepts and properties of **arithmetic subderivative** and **Leibniz - additive functions**. Specifically, the main objectives of the paper include: 1. **Introducing arithmetic subderivative**: Define the arithmetic subderivative of a positive integer with respect to a set of prime numbers. This concept generalizes the existing arithmetic derivative and arithmetic partial derivative. 2. **Defining Leibniz - additive functions**: Define a special arithmetic function \( f \), which satisfies a certain generalized Leibniz rule, that is, there exists a non - zero and completely multiplicative function \( h_f \) such that for all positive integers \( m \) and \( n \), we have: \[ f(mn)=f(m)h_f(n)+f(n)h_f(m) \] 3. **Studying the basic properties of these functions**: Explore the properties of Leibniz - additive functions, for example, give their expressions under certain conditions, and establish upper and lower bounds similar to the known arithmetic derivative bounds. 4. **Exploring the decomposition theorem**: Study when an arithmetic function can be expressed as the product of a c - additive function \( g \) and a non - zero and completely multiplicative function \( h \), that is, \( f = gh \). 5. **Deriving upper and lower bounds**: Extend the existing upper and lower bound results of arithmetic derivatives to Leibniz - additive functions. Through these studies, the authors hope to further generalize and understand the concept of arithmetic derivatives and provide new tools and methods for research in related fields.