Volume 27, 2021, Number 3

Volume 27Number 1Number 2 ▷ Number 3 ▷ Number 4


Multiplicative functions satisfying the functional equation κf(m2+n2) = f(κm2) + f(κn2)
Original research paper. Pages 1–11
Wuttichai Suriyacharoen and Vichian Laohakosol
Full paper (PDF, 206 Kb) | Abstract

For a fixed positive integer \kappa, the functional equation

    \[\kappa f(m^2 + n^2) = f(\kappa m^2) + \kappa f(n^2)\qquad(m,n\in\mathbb{N})\]

is solved for multiplicative functions f. This complements a 1996 result of Chung [2] which deals with the case \kappa=1. The method used relies on the sum of two squares theorem in number theory.


A short remark on an arithmetic function
Original research paper. Pages 12–15
Anthony G. Shannon and Krassimir T. Atanassov
Full paper (PDF, 154 Kb) | Abstract

An explicit form of A. Shannon’s arithmetic function δ is given. A possible application of it is discussed for representation of the well-known arithmetic functions ω and Kronecker’s delta-function δm,s.


On the average order of the gcd-sum function over arbitrary sets of integers
Original research paper. Pages 16–28
V. Siva Rama Prasad and P. Anantha Reddy
Full paper (PDF, 244 Kb) | Abstract

Let \mathbb{N} denote the set of all positive integers and for j,n\in \mathbb{N}, let (j,n) denote their greatest common divisor. For any S\subseteq \mathbb{N}, we define P_{S}(n) to be the sum of those (j,n)\in S, where j\in \{1,2,3, \ldots, n\}. An asymptotic formula for the summatory function of P_{S}(n) is obtained in this paper which is applicable to a variety of sets S. Also the formula given by Bordellès for the summatory function of P_{\mathbb{N}}(n) can be derived from our result. Further, depending on the structure of S, the asymptotic formulae obtained from our theorem give better error terms than those deducible from a theorem of Bordellès (see Remark 4.4).


On Vandiver’s arithmetical function – I
Original research paper. Pages 29–38
József Sándor
Full paper (PDF, 218 Kb) | Abstract

We study certain properties of Vandiver’s arithmetic function V(n) = \prod_{d|n} (d+1).


Note on translated sum on primitive sequences
Original research paper. Pages 39–43
Ilias Laib
Full paper (PDF, 189 Kb) | Abstract

In this note, we construct a new set \boldsymbol{S} of primitive sets such that for any real number x\geq 60 we get:

    \begin{equation*} \sum\limits_{a\in \mathcal{A}}\frac{1}{a(\log a+x)}>\sum\limits_{p\in \mathcal{P}}\frac{1}{p(\log p+x)},\text{ }\mathcal{A\in }{\boldsymbol{S}}, \end{equation*}

where \mathcal{P} denotes the set of prime numbers.


Fibonacci series from power series
Original research paper. Pages 44–62
Kunle Adegoke
Full paper (PDF, 214 Kb) | Abstract

We show how every power series gives rise to a Fibonacci series and a companion series involving Lucas numbers. For illustrative purposes, Fibonacci series arising from trigonometric functions, the gamma function and the digamma function are derived. Infinite series involving Fibonacci and Bernoulli numbers and Fibonacci and Euler numbers are also obtained.


On some 3 × 3 dimensional matrices associated with generalized Fibonacci numbers
Original research paper. Pages 63–72
Halim Özdemir, Sinan Karakaya and Tuğba Petik
Full paper (PDF, 209 Kb) | Abstract

In this work, it is presented a procedure to find some 3 × 3 dimensional matrices whose integer powers can be characterized by generalized Fibonacci numbers. Moreover, some numerical examples are given to exemplify the procedure established.


A note on ratios of Fibonacci hybrid and Lucas hybrid numbers
Original research paper. Pages 73–78
Emrah Polatlı
Full paper (PDF, 148 Kb) | Abstract

Irmak recently asked an open question related to divisibility properties of Fibonacci and Lucas quaternions [4, p. 374]. In this paper, we give an answer to Fibonacci and Lucas hybrid number version of this question.


On evolving chains of cube-free binary sequences
Original research paper. Pages 79–94
Jacek M. Kowalski and Andrzej Pękalski
Full paper (PDF, 217 Kb) | Abstract

Chains of concatenated finite binary words are considered, where each word, except possibly the very first one, is composed of alternating blocks of zeroes and ones with block lengths not exceeding two. These chains are formed following two evolution schemes. The first scheme is standard, where alternating blocks are visited at random. In the second approach, proposed by us in this paper, each subsequent word of the chain is uniquely determined by its immediate predecessor, being formed as a specifically inflated version of that word. Famous Kolakoski sequence is then just one, very special example of such deterministic evolution when one starts from its third element. We present heuristic arguments supported by simulations indicating that all such deterministic infinite chains should have the asymptotic density of digit 1 equal 1/2 and that the subsequent word lengths asymptotically scale with factor of 3/2 and hence the density of 1’s in subsequent finite words may also tend to 1/2.


De Moivre-type identities for the Jacobsthal numbers
Original research paper. Pages 95–103
Mücahit Akbiyik and Seda Yamaç Akbiyik
Full paper (PDF, 157 Kb) | Abstract

The main aim of this study is to obtain De Moivre-type identities for Jacobsthal numbers. Also, this paper presents a method for constructing the second order Jacobsthal and Jacobsthal third-order numbers and the third-order Jacobsthal and Jacobsthal–Lucas numbers. Moreover, we give some interesting identities, such as Binet’s formulas for some specific third-order Jacobsthal numbers that we derive from De Moivre-type identities.


Heilbronn-like sums and their properties
Original research paper. Pages 104–112
H. Saydi and M. R. Darafsheh
Full paper (PDF, 227 Kb) | Abstract

Heilbronn sums is of the form H_p(a)=\underset{l=1}{\overset{p-1}{\sum}}e(\dfrac{al^p}{p^2}), where p is an odd prime, and e(x)=\exp(2\pi ix). This is a supercharacter and has application in number theory. We extend this sum by defining D_p(a)=\underset{l=1}{\overset{p-1}{\sum}}e(\dfrac{al^p}{p^3}), where p is an odd prime and prove that D_p(a) is a supercharacter and drive a few identities involving D_p(a).


A Diophantine equation about polygonal numbers
Original research paper. Pages 113–118
Yangcheng Li
Full paper (PDF, 206 Kb) | Abstract

It is well known that the number P_k(x)=\frac{x((k-2)(x-1)+2)}{2} is called the x-th k-gonal number, where x\geq1,k\geq3. Many Diophantine equations about polygonal numbers have been studied. By the theory of Pell equation, we show that if G(k-2)(A(p-2)a^2+2Cab+B(q-2)b^2) is a positive integer but not a perfect square, (2A(p-2)\alpha-(p-4)A + 2C\beta+2D)a + (2B(q-2)\beta-(q-4)B+2C\alpha+2E)b>0, 2G(k-2)\gamma-(k-4)G+2H>0 and the Diophantine equation

    \[AP_p(x)+BP_q(y)+Cxy+Dx+Ey+F=GP_k(z)+Hz\]

has a nonnegative integer solution (\alpha,\beta,\gamma), then it has infinitely many positive integer solutions of the form (at + \alpha,bt + \beta,z), where p, q, k \geq 3 and p,q,k,a,b,t,A,B,G\in\mathbb{Z^+}, C,D,E,F,H\in\mathbb{Z}.


Perron numbers that satisfy Fermat’s equation
Original research paper. Pages 119–122
Pietro Paparella
Full paper (PDF, 146 Kb) | Abstract

In this note, it is shown that if \ell and m are positive integers such that \ell > m, then there is a Perron number \rho such that \rho^n + (\rho + m)^n = (\rho + \ell)^n. It is also shown that there is an aperiodic integer matrix C such that C^n + (C+ m I_n)^n = (C + \ell I_n)^n.


A note on the polynomial-exponential Diophantine equation
(an − 1)(bn − 1) = x2

Original research paper. Pages 123–129
Yasutsugu Fujita and Maohua Le
Full paper (PDF, 186 Kb) | Abstract

For any positive integer t, let ord_2 t denote the order of 2 in the factorization of t. Let a,\,b be two distinct fixed positive integers with \min\{a,b\}>1. In this paper, using some elementary number theory methods, the existence of positive integer solutions (x,n) of the polynomial-exponential Diophantine equation (*) (a^n-1)(b^n-1)=x^2 with n>2 is discussed. We prove that if \{a,b\}\ne \{13,239\} and ord_2(a^2-1)\ne ord_2(b^2-1), then (*) has no solutions (x,n) with 2\mid n. Thus it can be seen that if \{a,b\}\equiv \{3,7\},\{3,15\},\{7,11\},\{7,15\} or \{11,15\} \pmod{16}, where \{a,b\} \equiv \{a_0,b_0\} \pmod{16} means either a \equiv a_0 \pmod{16} and b \equiv b_0\pmod{16} or a\equiv b_0 \pmod{16} and b\equiv a_0 \pmod{16}, then (*) has no solutions (x,n).


On the rational solutions of y2 =x3 + k6n+3
Original research paper. Pages 130–142
Richa Sharma and Sanjay Bhatter
Full paper (PDF, 218 Kb) | Abstract

We consider a family of elliptic curves E(k^{6n+3}): y^2 = x^3 + k^{6n+3} for some integers k and n\geq 0 and prove that their rank is zero and the torsion part is isomorphic to \mathbb{Z}_2. This is an extension of a recent work of Wu and Qin [14].


Arithmetical functions commutable with sums of squares
Original research paper. Pages 143–154
I. Kátai and B. M. Phong
Full paper (PDF, 177 Kb) | Abstract

Let k\in{\mathbb N}_0 and K\in \mathbb C, where {\mathbb N}_0, \mathbb C denote the set of nonnegative integers and complex numbers, respectively. We give all functions f, h_1, h_2, h_3, h_4:{\mathbb N}_0\to \mathbb C which satisfy the relation

    \[f(x_1^2+x_2^2+x_3^2+x_4^2+k)=h_1(x_1)+h_2(x_2)+h_3(x_3)+h_4(x_4)+K\]

for every x_1, x_2, x_3, x_4\in{\mathbb N}_0. We also give all arithmetical functions F, H_1, H_2, H_3, H_4:{\mathbb N}\to \mathbb C which satisfy the relation

    \[F(x_1^2+x_2^2+x_3^2+x_4^2+k)=H_1(x_1)+H_2(x_2)+H_3(x_3)+H_4(x_4)+K\]

for every x_1,x_2, x_3,x_4\in{\mathbb N}, where {\mathbb N} denotes the set of all positive integers.


On Ramanujan type identities and Cardano formula
Original research paper. Pages 155–174
Kai Wang
Full paper (PDF, 220 Kb) | Abstract

In this paper we will prove some Ramanujan type identities such as

    \begin{align*} &\sqrt[3]{\sin\left(\frac{\pi}{9}\right)} + \sqrt[3]{\sin\left(\frac{2\pi}{9}\right)} + \sqrt[3]{\sin\left(\frac{14\pi}{9}\right)} \\ & = \left(-\frac{\sqrt[18]{3}}{2}\right) \left(\sqrt[3]{6+3\left(\sqrt[3]{6-3\sqrt[3]{9}}+ \sqrt[3]{3-3\sqrt[3]{9}}\right)}\right), \end{align*}

    \begin{align*} &\sqrt[3]{\tan\left(\frac{\pi}{9}\right)} + \sqrt[3]{\tan\left(\frac{4\pi}{9}\right)} + \sqrt[3]{\tan\left(\frac{7\pi}{9}\right)} \\ & = \left(-\sqrt[18]{3}\right) \left(\sqrt[3]{-3\sqrt[3]{3}+6+3(\sqrt[3]{\!21 - 3(3\sqrt[3]{3}\!-\!\sqrt[3]{9}) } - \sqrt[3]{\!3 + 3(3\sqrt[3]{3}\!+\!\sqrt[3]{9})})}\right). \end{align*}


Numerical analysis approach to twin primes conjecture
Original research paper. Pages 175–183
Gabriele Di Pietro
Full paper (PDF, 194 Kb) | Abstract

The purpose of this paper is to demonstrate how the modified Sieve of Eratosthenes is used to have an approach to twin prime conjecture. If the Sieve is used in its basic form, it does not produce anything new. If it is used through the numerical analysis method explained in this paper, we obtain a specific counting of twin primes. This counting is based on the false assumption that distribution of primes follows punctually the Logarithmic Integral function denoted as Li(x) (see [5] and [10], pp. 174–176). It may be a starting point for future research based on this numerical analysis method technique that can be used in other mathematical branches.


Pauli–Fibonacci quaternions
Original research paper. Pages 184–193
Fügen Torunbalcı Aydın
Full paper (PDF, 177 Kb) | Abstract

The aim of this work is to consider the Pauli–Fibonacci quaternions and to present some properties involving this sequence, including the Binet’s formula and generating functions. Furthermore, the Honsberger identity, the generating function, d’Ocagne’s identity, Cassini’s identity, Catalan’s identity for these quaternions are given. The matrix representations for Pauli–Fibonacci quaternions are introduced.


Book review: “Arithmetic Functions”
Book review. Pages 194–195
Anthony Greville Shannon
Book review (PDF, 318 Kb)


This issue of the International Journal “Notes on Number Theory and Discrete Mathematics” is published with the financial support of the Bulgarian National Science Fund, Grant Ref. No. KP-06-NP2/26/2020.


Volume 27Number 1Number 2 ▷ Number 3 ▷ Number 4

Comments are closed.