A Table of Generating Functions

2024-05-02T13:32:15Z

This is a compendium of generating functions involving single, double sums and definite integrals. These generating functions also involve special functions in both the summand function and closed form solution.

A Pythagorean triangle in which the hypotenuse and the sum of the arms are squares

2024-05-01T12:46:41Z

In this paper, show that the Diophantine equation $ x^2+(x+1)^2=w^4 $ has only two solutions $ (0,1) $ and $ (119,13)$ in non-negative integers $ x $ and $ w $. This equation concerned a classic problem posed by Pierre de Fermat, wonders about finding a Pythagorean triangle in which the hypotenuse and the sum of the arms are square. We review the method of finding the smallest solution presented by Fermat, and the relationship between the primitive Pythagorean triples and the Pell's equation, Finally, we present an algorithm for finding primitive solutions, which actually enabled us to find other solutions.

Intercenter Geometry

2024-04-30T10:28:06Z

The author proposes a new geometry in this book. The author named this new geometry Intercenter Geometry. Intercenter Geometry is different from traditional Euclidean geometry and analytic geometry (coordinate geometry). The idea of Intercenter Geometry is that the geometric quantities on a plane will be expressed by the lengths of the three sides of a given triangle. The geometric quantities in space will be expressed by the lengths of the six edges of a given tetrahedron. In Intercenter Geometry, a unified approach is used to deal with the calculation of geometric quantities of triangles and tetrahedrons. Many new theorems and formulas on geometry and geometric inequalities have been obtained. In particular, Intercenter Geometry has solved some problems that have not been solved in Euclidean geometry and analytical geometry (coordinate geometry) for a long time, such as the distance between the centroid and the incenter of a given tetrahedron, etc. Intercenter Geometry enriches geometry, which is not only of theoretical significance to open up the field of mathematical research, to explore new ideas and methods of mathematical research, but also of positive significance to promote the spirit of innovation. The fruitful achievements of Intercenter Geometry also have practical application value.

Expected biases in the distribution of consecutive primes

2024-04-29T13:02:24Z

In 2016 Lemke Oliver and Soundararajan examined the gaps between the first hundred million primes and observed biases in their distributions modulo 10. Given our work on the evolution of the populations of various gaps across stages of Eratosthenes sieve, the observed biases are totally expected. The biases observed by Lemke Oliver and Soundararajan are a wonderful example for contrasting the computational range with the asymptotic range for the populations of the gaps between primes. The observed biases are the combination of two phenomena: (a) very small gaps, say $2 \le g \le 30$, get off to quick starts and over the first 100 million primes larger gaps are too early in their evolution; and (b) the assignment of small gaps across the residue classes disadvantages some of those classes - until enormous primes, far beyond the computational range. For modulus 10 and a few other bases, we aggregate the gaps by residue class and track the evolution of these teams as Eratosthenes sieve continues. The relative populations across these teams start with biases across the residue classes. These initial biases fade as the sieve continues. The OS enumeration strongly agrees with a uniform sampling at the corresponding stage of the sieve. The biases persist well beyond the computational range, but they are ultimately transient.

Fibonacci-Lucas Spinors Obtained from Hybrid Numbers

2024-04-28T14:24:23Z

The aim of this work is to provide the contributors to journals or Hybrid numbers, akin to spinors, possess a broad range of applications in mathematical physics, geometry, and mathematics. In this study, these two significant topics were collectively addressed, introducing a new perspective to spinors and defining hybrid spinors, from which several basic properties were derived. Furthermore, by considering the Fibonacci and Lucas number sequences, subjects widely explored in number theory, the study defined hybrid Fibonacci and Lucas spinor sequences, examining some of their properties. Lastly, hybrid Fibonacci and Lucas polynomial spinor sequences have been introduced through the utilization of the polynomials associated with these number sequences.

A mean value inequalities for the polygamma and zeta functions

2024-04-27T16:46:06Z

A recently published result states inequalities of the harmonic mean of the digamma function. In this work, we prove among others results that for all positive real numbers $x\neq 1$, $$-γ<-γH(x,1/x)<\frac{γ^2}{ψ\big(H(x,1/x)\big)}<ψ\Big(1/H(x,1/x)\Big)

The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification

2024-04-26T21:31:17Z

In this paper, we generalize Cristinel Mortici's results on Wilker-Cusa-Huygens inequalities using stratified families of functions and SimTheP - a system for automated proving of MTP inequalities.

The Collatz function as an automorphic Cayley colour graph:decidability of $an+b$ conjectures, proof of the $3n + 1$ conjecture

2024-04-26T17:08:00Z

The Collatz conjecture states that repeated steps of $n\mathrm{\to }\mathrm{3}n\mathrm{+1}$ at odd numbers and $n\mathrm{\to }n\mathrm{/2}$ at even numbers amount to walks over root paths to the branching number $c=4$ in the `trivial' cyclic root $4\to 2\to 1\to 4\to \dots $ of one connected Collatz graph. The Collatz graph with reverse arrows $n \to 2n$ and $n \to (n-1)/3$ can be transformed to a 3-regular automorphic Cayley color graph $T_{\ge 0}$ with as nodes the branching numbers with a remainder of $4$ or $16$ when divided by $18$, building the congruence classes $[4,16]_{18}$. Labeling the $2^k$ breadth-first ordered root paths with $2^k$ binary numbers on the binary number line, for $k=1,2,3,\dots$, and pairing them with the $2^k$ output numbers of these root paths, gives $2^k$ paired numbers. The 3-regular Cayley graph of these paired branching numbers can be transformed to a 4-regular Middle Pages graph. This 4-regular graph offers to all paired branching numbers from the congruence classes $[4,16]_{18}$ a unique Eulerian tour to and from the trivial root number pair {0,c=4}. This proves Collatz's $3n+1$ conjecture. Whether a specific $an+b$ conjecture offers a Eulerian tour to all its paired branching numbers can be decided by whether it offers such a tour to paired branching numbers lower than $2a^3$.

The stability of a biadditive functional equation via a new direct method

2024-04-25T11:41:25Z

Addressing stability in functional equations is a critical task with broad implications across mathematics and its applications. In this paper, we present a novel direct method for proving the stability of the following equation, \begin{eqnarray*} f(x,y)=αf(f_1(x,y))+βf(f_2(x,y)) \end{eqnarray*} subjecting to certain constraints on the constants $α$ and $β$, as well as the functions $f_1(x,y)$ and $f_2(x,y)$. We introduce the direct method to prove the stability of the following functional equation and inequality, \begin{eqnarray*} \|f(x+y,z-w)+f(x-y,z+w)-2f(x,z)+2f(y,w)\| \leq \|x\|^p\|y\|^p\|z\|^p\|w\|^p; \end{eqnarray*} \begin{eqnarray*} \begin{split} \;&\|f\left(x+y,z-w\right)+af\left(\frac{x-y}{a},z+w\right)-2f(x,z)+2f(y,w) \|\\ \;&\leq \left\| ρ\left(f(x+y,z-w)+f(x-y,z+w)-2f(x,z)+2f(y,w)\right)\right\|. \end{split} \end{eqnarray*} This technique efficiently confirms stability, outperforming traditional proof methods in simplicity and efficacy. The application of our direct approach to various equations solidifies its validity, ensuring stable behavior across different mathematical contexts.

Taylor Expansion of homogeneous functions

2024-04-23T11:52:07Z

We derive the Taylor polynomial of a function, which is $m$-times continuously differentiable and positive homogeneous of order $m$. The Taylor polynomial in $a$ for $f(b)$ of order $m$ in general is a polynomial of order $m$ in $b-a$. If the given function is positive homogeneous of order $m$, the Taylor polynomial is a polynomial in $b$ rather than $b-a$, and the order of all terms is $m$. The result can be applied to powers of homogeneous functions of order $1$ as well.

Two integral representations for the logarithm of the Glaisher-Kinkelin constant

2024-04-22T20:48:47Z

We present two integral representations of the logarithm of the Glaisher-Kinkelin constant. Both are based on a definite integral of $\ln[Γ(x + 1)]$, $Γ$ being the usual Gamma function. The first one relies on an integral representation of $\ln[Γ(x + 1)]$ due to Binet, and the second one results from the so-called Malmstén formula. The numerical evaluation is easier with the latter expression than with the former.

Category Theory: Symmetry Group of Comma-propagation Transformations

2024-04-22T18:22:43Z

In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simple forms of the \emph{comma} categories and were introduced by Lawvere in the context of the interdefinability of the universal concepts of category theory. The basic idea is the elevation of arrows of one category $\textbf{C}$ to objects in another. Given a category (as a "geometric object") $\textbf{C}$ we can consider its properties (the universal categorial commutative diagrams) preserved under actions of a comma-propagation operation $\{\}$ in the infinite hierarchy of its arrow-categories (n-dimensional levels, such that for any $n\geq 1$, $\textbf{C}_{n+1} = {\textbf{C}_n}$, with $\textbf{C}_1 =\textbf{C}$) and on the functors (and their natural transformations) between such n-dimensional levels, which is a phenomena of a general categorial symmetry under a categorial-symmetry group $CS(\mathbb{Z})$ of all comma-propagation transformations.

On the complex zeros of the Riemann Zeta-function

2024-04-22T16:26:56Z

The purpose of this paper is to prove that the so-called Quasi-Riemann Hypothesis for the Zeta-function implies the Riemann Hypothesis

Decomposition of Approximately Monotone and Convex Sequences

2024-04-18T11:48:22Z

In this paper, we primarily deal with approximately monotone and convex sequences. We start by showing that any sequence can be expressed as the difference between two nondecreasing sequences. One of these two monotone sequences act as the majorant of the original sequence, while the other possesses non-negativity. Another result establishes that an approximately monotone(increasing) sequence can be closely approximated by a non-decreasing sequence. A similar assertion can be made for approximately convex sequence. A sequence $\big_{n=0}^{\infty}$ is said to be approximately convex (or $\varepsilon$-convex) if the following inequality holds under the mentioned assumptions \begin{equation*} u_{i}- u_{i-1}\leq u_{j}-u_{j-1}+\varepsilon\quad\quad\mbox{ where}\quad\quad i,j\in\mathbb{N} \quad \mbox{with} \quad i

On approximately Convex and Affine Sequences

2024-04-18T11:10:00Z

In this paper, our primary objective is to study a possible decomposition of an approximately convex sequence. For a given $\varepsilon>0$; a sequence $\big_{n=0}^{\infty}$ is said to be $\varepsilon$-convex, if for any $i,j\in\mathbb{N}$ with $i_{n=0}^{\infty}$ satisfies the following form of inequality \begin{equation*} { \left|\big(u_i-u_{i-1}\big)-\big(u_j-u_{j-1}\big)\right|\leq\dfrac{\varepsilon}{n-i}\quad \quad\mbox{for some} \quad n\in]i,j]\cap\mathbb{N}; } \end{equation*} then we term it as $\varepsilon$-affine sequence. Such a sequence can be decomposed as the algebraic summation of an affine and a bounded sequence whose supremum norm doesn't exceed $\varepsilon.$