# Classical Analysis and ODEs (math.CA)

• In this paper we study an analogue of the classical Riemann-Hilbert problem stated for the classes of difference and $q$-difference systems. The Birkhoff's existence theorem was generalized in this paper.
• Feb 28 2017 math.CA arXiv:1702.08216v1
For the family of polynomials in one variable $P:=x^n+a_1x^{n-1}+\cdots +a_n$, $n\geq 4$, we consider its higher-order discriminant sets $\{ \tilde{D}_m=0\}$, where $\tilde{D}_m:=$Res$(P,P^{(m)})$, $m=2$, $\ldots$, $n-2$, and their projections in the spaces of the variables $a^k:=(a_1,\ldots ,a_{k-1},a_{k+1},\ldots ,a_n)$. Set $P^{(m)}:=\sum _{j=0}^{n-m}c_ja_jx^{n-m-j}$, $P_{m,k}:=c_kP-x^mP^{(m)}$. We show that Res$(\tilde{D}_m,\partial \tilde{D}_m/\partial a_k,a_k)= A_{m,k}B_{m,k}C_{m,k}^2$, where $A_{m,k}=a_n^{n-m-k}$, $B_{m,k}=$Res$(P_{m,k},P_{m,k}')$ if $1\leq k\leq n-m$ and $A_{m,k}=a_{n-m}^{n-k}$, $B_{m,k}=$Res$(P^{(m)},P^{(m+1)})$ if $n-m+1\leq k\leq n$. The equation $C_{m,k}=0$ defines the projection in the space of the variables $a^k$ of the closure of the set of values of $(a_1,\ldots ,a_n)$ for which $P$ and $P^{(m)}$ have two distinct roots in common. The polynomials $B_{m,k},C_{m,k}\in \mathbb{C}[a^k]$ are irreducible. The result is generalized to the case when $P^{(m)}$ is replaced by a polynomial $P_*:=\sum _{j=0}^{n-m}b_ja_jx^{n-m-j}$, $0\neq b_i\neq b_j\neq 0$ for $i\neq j$.
• The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function $\cos^2(x)$, and to improve a class of inequalities by Z.-H. Yang. The results of our analysis could be implemented by means of an automated proof assistant, so our work is a contribution to the library of automatic support tools for proving various analytic inequalities.
• We prove the total positivity of the Narayana triangles of type $A$ and type $B$, and thus affirmatively confirm a conjecture of Chen, Liang and Wang and a conjecture of Pan and Zeng. We also prove the strict total positivity of the Narayana squares of type $A$ and type $B$.
• An astonishing fact was established by Lee A. Rubel in 81: there exists a fixed non-trivial fourth-order polynomial differential algebraic equation (DAE) such that for any continuous function $\phi$ on the reals, and for any positive continuous function $\epsilon(t)$, it has a $\mathcal{C}^\infty$ solution with $|y(t)-\phi(t)|<\epsilon(t)$ for all $t$. Rubel provided an explicit example of such a polynomial DAE. More examples have later been proposed by other authors. However, while these results may seem very surprising, their proofs are quite frustrating for a computability theorist. First, the constructed DAE have no unique solutions for a given initial data. This is very different from usual notions of universality since there is no unambiguous notion of evolution for a given initial data. Second, the proofs usually rely on solutions that are piecewise defined and sometimes non-constructive. Third, the proofs of these results can be interpreted more as the fact that polynomial algebraic differential equations is a too loose a model compared to classical ordinary differential equations. In particular, one may challenge whether the result is really a universality result. The question whether one can require the solution that approximates $\phi$ to be the unique solution for a given initial data is a well known open problem [Rub81] (page 2), [boshernitzan1986universal] (Conjecture 6.2). In this article, we solve it and show that Rubel's statement holds for polynomial ordinary differential equations (ODEs), and since polynomial ODEs have a unique solution given an initial data, this positively answers Rubel's open problem. More precisely, we show that there exists a \textbffixed polynomial ODE such that for any $\phi$ and $\epsilon$ there exists some initial condition that yields a solution that is $\epsilon$-close to $\phi$ at all times.