Displaying similar documents to “Fourier Analysis of Riemann Distributions and Explicit Formulas.”

The Basic Existence Theorem of Riemann-Stieltjes Integral

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

In this article, the basic existence theorem of Riemann-Stieltjes integral is formalized. This theorem states that if f is a continuous function and ρ is a function of bounded variation in a closed interval of real line, f is Riemann-Stieltjes integrable with respect to ρ. In the first section, basic properties of real finite sequences are formalized as preliminaries. In the second section, we formalized the existence theorem of the Riemann-Stieltjes integral. These formalizations are...

Riemann-Stieltjes Integral

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

In this article, the definitions and basic properties of Riemann-Stieltjes integral are formalized in Mizar [1]. In the first section, we showed the preliminary definition. We proved also some properties of finite sequences of real numbers. In Sec. 2, we defined variation. Using the definition, we also defined bounded variation and total variation, and proved theorems about related properties. In Sec. 3, we defined Riemann-Stieltjes integral. Referring to the way of the article [7],...

Riemann problem on the double of a multiply connected circular region

V. V. Mityushev (1997)

Annales Polonici Mathematici

Similarity:

The Riemann problem has been solved in [9] for an arbitrary closed Riemann surface in terms of the principal functionals. This paper is devoted to solution of the problem only for the double of a multiply connected region and can be treated as complementary to [9,1]. We obtain a complete solution of the Riemann problem in that particular case. The solution is given in analytic form by a Poincaré series.

A family of deformations of the Riemann xi-function

Masatoshi Suzuki (2013)

Acta Arithmetica

Similarity:

We introduce a family of deformations of the Riemann xi-function endowed with two continuous parameters. We show that it has rich analytic structure and that its conjectural (mild) zero-free region for some fixed parameter is a sufficient condition for the Riemann hypothesis to hold for the Riemann zeta function.