Related papers: On the remainder in the Taylor theorem
In this paper, we present a simple analytic proof of Siegel's theorem that concerns the lower bound of $L(1,\chi)$ for primitive quadratic $\chi$. Our new method compares an elementary lower bound with an analytic upper bound obtained by…
The note contains the proof of the uniqueness theorem for the inverse problem in the case of $n$-th order differential equation.
In the note, two alternative proofs are provided for a monotonicity result that the function $\psi(x)+\ln\bigl(e^{1/x}-1\bigr)$ is strictly increasing on $(0,\infty)$, where $\psi(x)$ is the psi function.
We establish limit theory for the Grenander estimator of a monotone density near zero. In particular we consider the situation when the true density $f_0$ is unbounded at zero, with different rates of growth to infinity. In the course of…
The standard proof of the equivalence of Fourier type on R^d and on the torus T^d is usually stated in terms of an implicit constant, defined as the minimum of a sum of powers of sinc functions. In this note we compute this minimum…
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…
Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.
In the framework of the planar Euler problem in the quasi--periodic regime, the formulae of the periods available in the literature are simple only on one side of their singularity. In this paper, we complement such formulae with others,…
The All Minors Matrix Tree Theorem states that the determinant of any submatrix of a matrix whose columns sum to zero can be computed as a sum over certain oriented forests. We offer a particularly short proof of this result, which amounts…
The notion of quasi-Fej\'er monotonicity has proven to be an efficient tool to simplify and unify the convergence analysis of various algorithms arising in applied nonlinear analysis. In this paper, we extend this notion in the context of…
The primary aim of Hilbert's proof theory was to establish the consistency of classical mathematics using finitary means only. Hilbert's strategy for doing this was to eliminate the infinite (in the form of unbounded quantifiers) from…
It is proved that the first-order theory of the structure (N,mod) is undecidable. Here mod denotes the operation of computing the remainder for any division between positive integers; i.e. x mod y is the remainder obtained by the division x…
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.
We consider a system of ODE in a Fr\'echet space with unconditional Schauder basis. The right side of the ODE is a discontinuous function. Under certain monotonicity conditions we prove an existence theorem for the corresponding initial…
We prove a monotonicity condition satisfied by the Erlang C formula when computed in the Halfin-Whitt regime. This property was recently conjectured in Janssen et al. [2011].
We give a new proof of the fundamental theorem of algebra. It is entirely elementary, focused on using long division to its fullest extent. Further, the method quickly recovers a more general version of the theorem recently obtained by…
Let $\varphi$ be a normal state on the algebra $B(H)$ of all bounded operators on a Hilbert space $H$, $f$ a strictly positive, continuous function on $(0, \infty)$, and let $g$ be a function on $(0, \infty)$ defined by $g(t) =…
As applications of Kadison's Pythageorean and carpenter's theorems, the Schur-Horn theorem, and Thompson's theorem, we obtain an extension of Thompsons theorem to compact operators and use these ideas to give a characterization of diagonals…
We show that probabilistic equivalence of a regret-based preference relationship over random variables is implied by a weak form of continuity and monotonicity.
We introduce the theory of operator monotone functions and employ it to derive a new inequality relating the quantum relative entropy and the quantum conditional entropy. We present applications of this new inequality and in particular we…