Related papers: A proof of Kummer's theorem
The aim of this paper is to prove a Cayley-Hamilton-Ziebur Theorem for non-autonomous semilinear matrix differential equations. Moreover, we show the applicability of results like these to ODE theory.
Recently, Kam Cheong Au discovered a powerful methodology of finding new Wilf-Zeilberger (WZ) pairs. He calls it WZ seeds and gives numerous examples of applications to proving longstanding conjectural identities for reciprocal powers of…
Using the methodology of (rigorous) {\it experimental mathematics}, we give a simple and motivated solution to Zudilin's question concerning a $q$-analog of a problem posed by Asmus Schmidt about a certain binomial coefficients sum. Our…
In Slater's 1960 standard work on confluent hypergeometric functions, also called Kummer functions, a number of asymptotic expansions of these functions can be found. We summarize expansions derived from a differential equation for large…
We show that there is a contradiction between the Riemann's Hypothesis and some form of the theorem on the universality of the zeta function.
We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial…
We present a proof of Chow's theorem using two results of Errett Bishop retated to volumes and limits of analytic varieties. We think this approach suggested a long time ago in the beautiful book by Gabriel Stolzenberg, is very attractive…
We provide a simple and short proof of the Karush-Kuhn-Tucker theorem with finite number of equality and inequality constraints. The proof relies on an elementary linear algebra lemma and the local inverse theorem.
We prove an analytic KAM-Theorem, which is used in [1], where the differential part of KAM-theory is discussed. Related theorems on analytic KAM-theory exist in the literature (e. g., among many others, [7], [8], [13]). The aim of the…
In this paper, we give a short elementary proof of the well known Euler's recurrence formula for the Riemann zeta function at positive even integers and integral representations of the Riemann zeta function at positive integers and at…
We give an undergraduate short and simple proof for Zariski's lemma.
We consider the classical Wiener-Ikehara Tauberian theorem, with a generalized condition of slow decrease and some additional poles on the boundary of convergence of the Laplace transform. In this generality, we prove the otherwise known…
We prove an optimal version of Wigner's unitary-antiunitary theorem. The main tool in our proof is Gleason's theorem.
The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.
We give a new proof of the Weyl-von Neumann-Berg theorem. Our proof improves Halmos' proof in 1972 by observing the fact that every compact set in the complex plane is the continuous image of a compact set in the real line.
It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we…
We obtain another proof of Hermite's integral for the Hurwitz zeta function.
This article presents an elementary proof of Zorn's Lemma under the Axiom of Choice, simplifying and supplying necessary details in the original proof by Paul R. Halmos in his book, Naive Set Theory. Also provided, is a preamble to Zorn's…
By considering the prime zeta function, the author intended to demonstrate in that the Riemann zeta function zeta(s) does not vanish for Re(s)>1/2, which would have proven the Riemann hypothesis. However, he later realised that the proof of…
Inspired by a recent preprint of N. Curien, we provided what may be a new and elementary proof of the Law of Large Numbers.