Related papers: Martin's conjecture for regressive functions on th…

To evaluate Riemann's zeta function is important for many investigations related to the area of number theory, and to have quickly converging series at hand in particular. We investigate a class of summation formulae and find, as a special…

A new integral identity for functions with continuous second partial derivatives is derived. It is shown that the value of any function f(r,t) at position r and time t is completely determined by its previous values at all other locations…

This is an elementary expository article regarding the application of Kleene's Recursion Theorems in making definitions by recursion. Whereas the Second Recursion Theorem (SRT) is applicable in a first-order setting, the First Recursion…

We conjecture recurrence relations satisfied by the degrees of some linearizable lattice equations. This helps to prove linear growth of these equations. We then use these recurrences to search for lattice equations that have linear growth…

New proofs of the classical Hermite-Hadamard inequality are presented and several applications are given, including Hadamard-type inequalities for the functions, whose derivatives have inflection points or whose derivatives are convex.…

In this paper we formulate and prove a combinatorial version of the section conjecture for finite groups acting on finite graphs. We apply this result to the study of rational points and show that finite descent is the only obstruction to…

For a fixed polynomial $\Delta$, we study the number of polynomials $f$ of degree $n$ over $\mathbb F_q$ such that $f$ and $f+\Delta$ are both irreducible, an $\mathbb F_q[T]$-analogue of the twin primes problem. In the large-$q$ limit, we…

A proof for the original Riemann hypothesis is proposed based on the infinite Hadamard product representation for the Riemann zeta function and later generalized to Dirichlet L-functions. The extension of the hypothesis to other functions…

We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we…

We prove the Jacobian Conjecture for the space of all the inner functions in the unit disc.

Considering the weighted concept of majorization, Sherman obtained generalization of majorization inequality for convex functions known as Sherman's inequality. We extend Sherman's result to the class of n-strongly convex functions using…

We prove a analogous of Stein theorem for rational functions in several variables: we bound the number of reducible fibers by a formula depending on the degree of the fraction.

We give a number new examples analytically and numerically to confirm the Kohler conjecture. It turned out that for a rather large class of nonnegative functions the equality (A) hold.

Recently the author proved that the 1977 Hummel-Scheinberg-Zalcman conjecture on coefficients of nonvanishing $H^p$ functions is true for all $p = 2m, m \in \mathbb{N}$, i.e., for the Hilbertian Hardy spaces $H^{2m}$. As a consequence, this…

We present a case study in {\it experimental} yet {\it rigorous} mathematics by describing an algorithm, fully implemented in both Mathematica and Maple, that {\it automatically conjectures}, and then {\it automatically proves}, closed-form…

We show that the sign constancy for the values of certain weighted summatory functions of the von Mangoldt function implies the Riemann hypothesis or the generalized Riemann hypothesis for Dirichlet $L$-functions. While such sign constancy…

The Ramanujan Machine project predicts new continued fraction representations of numbers expressed by important mathematical constants. Generally, the value of a continued fraction is found by reducing it to a second order linear difference…

Let $\mathcal S$ denote the class of all functions of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$ which are analytic and univalent in the open unit disk $\ID$ and, for $\lambda >0$, let $\Phi_\lambda (n,f)=\lambda a_n^2-a_{2n-1}$ denote the…

We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending…

We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This…