Related papers: Just another solution to the Basel Problem
In a previous work, we developed an algorithm for the computation of incomplete Bessel functions, which pose as a numerical challenge, based on the $G_{n}^{(1)}$ transformation and Slevinsky-Safouhi formula for differentiation. In the…
Positivstellens{\"a}tze are a group of theorems on the positivity of involution algebras over $\mathbb{R}$ or $\mathbb{C}$. One of the most well-known Positivstellensatz is the solution to Hilbert's 17th problem given by E. Artin, which…
Given a finite simplicial complex L and a collection of pairs of spaces indexed by its vertex set, one can define their polyhedral product. We record a simple formula for its Euler characteristic. In special cases the formula simplifies…
The problem of representing a given positive integer as a sum of four squares of integers has been widely concerned for a long time, and for a given positive odd $n$ one can find a representation by doing arithmetic in a maximal order of…
We formalize Hilbert's Seventh Problem and its solution, the Gelfond-Schneider theorem, in the Lean 4 proof assistant. The theorem states that if $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and $\beta$ irrational, then…
We consider a class of nonlinear elliptic problems associated with models in biophysics, which are described by the Poisson-Boltzmann equation (PBE). We prove mathematical correctness of the problem, study a suitable class of…
We introduce a natural definition for sums of the form \[ \sum_{\nu=1}^x f(\nu) \] when the number of terms x is a rather arbitrary real or even complex number. The resulting theory includes the known interpolation of the factorial by the…
After different variables and functions changes, the generalized dispersal problem, recalled in (1) below and considered in part I, see Labbas, Maingot and Thorel [14], leads us to consider, to study and to invert the sum of linear…
It is established existence and multiplicity of solution for the following class of quasilinear elliptic problems $$ \left\{ \begin{array}{lr} -\Delta_\Phi u = \lambda a(x) |u|^{q-2}u + |u|^{p-2}u, & x\in\Omega, u = 0, & x \in \partial…
We present finitary formulations of two well known results concerning infinite series, namely Abel's theorem, which establishes that if a series converges to some limit then its Abel sum converges to the same limit, and Tauber's theorem,…
One is expressed as the sum of the reciprocals of a certain set of integers. We give an elegant proof to the fact applying the polynomial theorem and basic calculus.
Let $r_{k}(n)$ denote the number of representations of the positive integer $n$ as the sum of $k$ squares. We prove a new summation formula involving $r_{k}(n)$ and the Bessel functions of the first kind, which constitutes an analogue of a…
We give new proofs of two basic results in number theory: The law of quadratic reciprocity and the sign of the Gauss sum. We show that these results are encoded in the relation between the discrete Fourier transform and the action of the…
Professor Georges Rhin considers a nonzero algebraic integer $\a$ with conjugates $\a_1=\a, \ldots, \a_d$ and asks what can be said about $\d \sum_{ | \a_i | >1} | \a_i |$, that we denote ${\rm{R}}(\a)$. If $\a$ is supposed to be a totally…
Since 1772, when Euler first described two methods of obtaining two pairs of biquadrates with equal sums, several methods of solving the diophantine equation $x^4+y^4=z^4+w^4$ have been published. All these methods yield parametric…
The Euler-Poincar\'e characteristic of a finite-dimensional Lie algebra vanishes. If we want to extend this result to Lie superalgebras, we should deal with infinite sums. We observe that a suitable method of summation, which goes back to…
We present a method for the solution of polynomial equations. We do not intend to present one more method among several others, because today there are many excellent methods. Our main aim is educational. Here we attempt to present a method…
The Euler-Maclaurin formula which relates a discrete sum with an integral, is generalised to the setting of Riemann-Stieltjes sums and integrals on stochastic processes whose paths are a.s. rectifiable, namely, continuous and with bounded…
Elliptic functions are largely studied and standardized mathematical objects. The two usual approaches are due to Jacobi and Weierstrass. From a contour integral which allowed us to unify many summation formulae (Euler-MacLaurin, Poisson,…
Given $x\in(0, 1]$, let $\mathcal U(x)$ be the set of bases $q\in(1,2]$ for which there exists a unique sequence $(d_i)$ of zeros and ones such that $x=\sum_{i=1}^\infty d_i/q^i$. L\"{u}, Tan and Wu (2014) proved that $\mathcal U(x)$ is a…