Related papers: A Computer Proof of Turan's Inequality

We prove that the following pointwise inequality holds \begin{equation*} -\Delta u \ge \sqrt\frac{2}{(p+1)-c_n} |x|^{\frac{a}{2}} u^{\frac{p+1}{2}} + \frac{2}{n-4} \frac{|\nabla u|^2}{u} \ \ \text{in}\ \ \mathbb{R}^n \end{equation*} where…

In this paper, we prove the twin prime conjecture showing that \begin{align} \sum \limits_{\substack{p\leq x\\p,p+2\in \mathbb{P}}}1\geq (1+o(1))\frac{x}{2\mathcal{C}\log^2 x}\nonumber \end{align} where $\mathcal{C}:=\mathcal{C}(2)>0$ fixed…

Computer algebra systems are really good at factoring polynomials, i.e. writing f as a product of irreducible factors. It is relatively easy to verify that we have a factorisation, but verifying that these factors are irreducible is a much…

Inequalities are important features in the context of sequences of numbers and polynomials. The Bessenrodt--Ono inequality for partition numbers and Nekrasov--Okounkov polynomials has only recently been discovered. In this paper we study…

Inspired by a recent pointwise differential inequality for positive bounded solutions of the fourth-order H\'enon equation $\Delta^2 u = |x|^a u^p$ in ${\mathbb R}^n$ with $a \geqslant 0$, $p > 1$, $n \geqslant 5$ due to Fazly, Wei, and Xu…

We present a new elementary proof of the existence of the least and the greatest solutions to initial value problems in the conditions of Peano's existence theorem. Our proof is based on a modification of Perron's method which allows us to…

Essentially all anytime-valid methods hinge on Ville's inequality to gain validity across time without incurring a union bound. Ville's inequality is a proper generalisation of Markov's inequality. It states that a non-negative…

In previous work of the authors, we investigated the Born and inverse Born series for a scalar wave equation with linear and nonlinear terms, the nonlinearity being cubic of Kerr type [8]. We reported conditions which guarantee convergence…

We propose a general methodology for testing whether a given polynomial with integer coefficients is identically zero. The methodology evaluates the polynomial at efficiently computable approximations of suitable irrational points. In…

We describe an expansion of Legendre polynomials, analogous to the Taylor expansion, to approximate arbitrary functions. We show that the polynomial coefficients in Legendre expansion, therefore the whole series, converge to zero much more…

The paper aims to establish the Tur\'an inequalities, the Laguerre inequalities (order $2$), and the determinantal inequalities (order $3$) for $\Delta p(n)$ and $\Delta \bar{p}(n)$, where $\Delta f(n)$ is the first-order forward difference…

Let $U_{n,d}$ be the uniform matroid of rank $d$ on $n$ elements. Denote by $g_{U_{n,d}}(t)$ the Speyer's $g$-polynomial of $U_{n,d}$. The Tur\'{a}n inequality and higher order Tur\'{a}n inequality are related to the Laguerre-P\'{o}lya…

We prove some special cases of Bergeron's inequality involving two Gaussian polynomials (or $q$-binomials).

We show that any weighted geometric mean of Chebyshev polynomials is bounded from above by another Chebyshev polynomial. We also study a related homogeneous cyclic inequality $$ \left (\sum_{i=1}^n x_i^{(a+b+1)/2} \right )^2 \geq…

Some Tur\'an type inequalities for Struve functions of the first kind are deduced by using various methods developed in the case of Bessel functions of the first and second kind. New formulas, like Mittag-Leffler expansion, infinite product…

We introduce p-equivalence by asymptotic probabilities, which is a weak almost-equivalence based on zero-one laws in finite model theory. In this paper, we consider the computational complexities of p-equivalence problems for regular…

Function approximation is a generic process in a variety of computational problems, from data interpolation to the solution of differential equations and inverse problems. In this work, a unified approach for such techniques is…

The method of Tur\'an in establishing the normal order for the number of prime divisors of a number is used to show that a certain class of arithmetic functions do not have a normal order.

This paper is concerned with the constancy in the sign of $L(X, \alpha) = \sum_{1}^{X} \frac{\lambda(n)}{n^{\alpha}}$, where $\lambda(n)$ the Liouville function. The non-positivity of $L(X, 0)$ is the P\'{o}lya conjecture, and the…

In this paper we consider the following analog of Bezout inequality for mixed volumes: $$V(P_1,\dots,P_r,\Delta^{n-r})V_n(\Delta)^{r-1}\leq \prod_{i=1}^r V(P_i,\Delta^{n-1})\ \text{ for }2\leq r\leq n.$$ We show that the above inequality is…