Related papers: On the P\'olya-Wiman properties of Differential Op…

We study algebras of differential and difference operators acting on matrix valued orthogonal polynomials (MVOPs) with respect to a weight matrix of the form $W^{(\nu)}_{\phi}(x) = x^{\nu}e^{-\phi(x)} W^{(\nu)}_{pol}(x)$, where $\nu>0$,…

If f is a real entire function and ff" has only real zeros then f belongs to the Laguerre-Polya class, the closure of the set of real polynomials with real zeros. This result completes a long line of development originating from a…

According to a celebrated result by L\"owner, a real-valued function $f$ is operator monotone if and only if its L\"owner matrix, which is the matrix of divided differences $L_f=(\frac{f(x_i)-f(x_j)}{x_i-x_j})_{i,j=1}^N$, is positive…

It is shown that if $f$ or $1/f$ is a real entire function of infinite order of growth, with only real zeros, then $f''+\omega f$ has infinitely many non-real zeros for any $\omega > 0$.

We completely describe all finite difference operators of the form $$ \Delta_{M_1, M_2, h}(f)(z)=M_1(z) f(z+h) + M_2(z) f(z-h) $$ preserving the Laguerre-P\'olya class of entire functions. Here $M_1$ and $M_2$ are some complex functions and…

We show that for every non-negative integer d, there exist differential equations w''+Pw=0, where P is a polynomial of degree d, such that some non-trivial solution w has all zeros real.

Analogous to the use of sums of squares of certain real-valued special functions to prove the reality of the zeros of the Bessel functions J_\alpha(z) when \alpha \ge -1, confluent hypergeometric functions {}_0F_1(c; z) when c > 0 or 0 > c…

We prove the classical result, which goes back at least to Fourier, that a polynomial with real coefficients has all zeros real and distinct if and only if the polynomial and also all of its nonconstant derivatives have only negative minima…

Let $f(x)$ and $g(x)$ be two real polynomials whose leading coefficients have the same sign. Suppose that $f(x)$ and $g(x)$ have only real zeros and that $g$ interlaces $f$ or $g$ alternates left of $f$. We show that if $ad\ge bc$ then the…

Let $f=\sum_{n=0}^\infty f_n x^n \in \overline{\mathbb Q}[[x]$ be a solution of an algebraic differential equation $Q(x,y(x), \ldots, y^{(k)}(x))=0$, where $Q$ is a multivariate polynomial with coefficients in $\overline{\mathbb Q}$. The…

We prove that if $f(x) = \sum_{k=0}^\infty a_k x^k,$ $a_k >0, $ is an entire function such that the sequence $Q := \left( \frac{a_k^2}{a_{k-1}a_{k+1}} \right)_{k=1}^\infty$ is non-decreasing and $\frac{a_1^2}{a_{0}a_{2}} \geq 2\sqrt[3]{2},$…

We study $\mathbb{R}_{\textrm{an},\exp}$-definable functions $f:\mathbb{R}\to \mathbb{R}$ that take integer values at all sufficiently large positive integers. If $|f(x)|= O\big(2^{(1+10^{-5})x}\big)$, then we find polynomials $P_1, P_2$…

Following de Loera and Santos, the P\'olya exponent of a $n$-ary real form (i.e. a homogeneous polynomial in $n$ variables with real coefficients) $f$ is the infimum of the upward closed set of nonnegative integers $m$ such that $(x_1 +…

Let $\mathcal{F}_{n}^*$ be the set of Boolean functions depending on all $n$ variables. We prove that for any $f\in \mathcal{F}_{n}^*$, $f|_{x_i=0}$ or $f|_{x_i=1}$ depends on the remaining $n-1$ variables, for some variable $x_i$. This…

In this paper we show that the only sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ satisfying \begin{align*} \phi(x)\mathcal{D}_q P_{n}(x)=a_n\mathcal{S}_q P_{n+1}(x) +b_n\mathcal{S}_q P_n(x) +c_n\mathcal{S}_q P_{n-1}(x),…

We show that for a real transcendental meromorphic function f, the differential polynomial f'+f^m with m > 4 has infinitely many non-real zeros. Similar results are obtained for differential polynomials f'f^m-1. We specially investigate the…

In this work we prove that an entire function $f(z)$ has only negative zeros if and only if its order is strictly less $1$, its root sequence is real-part dominating and there exists an nonnegative integer $m$ the real function…

A linear operator on a finite dimensional nonzero real vector space may not have an eigenvalue. We define a related notion of a true-pair of a linear operator, and then show that each linear operator on a finite dimensional nonzero real…

For a given real entire function $\phi$ with finitely many nonreal zeros, we establish a connection between the number of real zeros of the functions $Q=(\phi'/\phi)'$ and $Q_1=(\phi''/\phi')'$. This connection leads to a proof of the…

In this work we prove that if an entire function $f(z)$ is of order strictly less than one and it has only negative zeros, then for each nonnegative integer $k,m$ the real function…