Displaying similar documents to “A sharp companion of Ostrowski’s inequality for the Riemann–Stieltjes integral and applications”

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],...

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...

A strengthening of the Nyman-Beurling criterion for the Riemann hypothesis

Luis Báez-Duarte (2003)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

According to the well-known Nyman-Beurling criterion the Riemann hypothesis is equivalent to the possibility of approximating the characteristic function of the interval 0 , 1 in mean square norm by linear combinations of the dilations of the fractional parts 1 / a x for real a greater than 1 . It was conjectured and established here that the statement remains true if the dilations are restricted to those where the a ’s are positive integers. A constructive sequence of such approximations is given. ...

Functional equations stemming from numerical analysis

Tomasz Szostok

Similarity:

Always when a numerical method gives exact results an interesting functional equation arises. And, since no regularity is assumed, some unexpected solutions may appear. Here we deal with equations constructed in this spirit. The vast majority of this paper is devoted to the equation i = 0 l ( y - x ) i [ f 1 , i ( α 1 , i x + β 1 , i y ) + + f k i , i ( α k i , i x + β k i , i y ) ] = 0 ( 1 ) and its particular cases. We use Sablik’s lemma to prove that all solutions of (1) are polynomial functions. Since a continuous polynomial function is an ordinary polynomial, the crucial problem throughout...

Ergodic Universality Theorems for the Riemann Zeta-Function and other L -Functions

Jörn Steuding (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

We prove a new type of universality theorem for the Riemann zeta-function and other L -functions (which are universal in the sense of Voronin’s theorem). In contrast to previous universality theorems for the zeta-function or its various generalizations, here the approximating shifts are taken from the orbit of an ergodic transformation on the real line.

Fermat’s method of quadrature

Jaume Paradís, Josep Pla, Pelegrí Viader (2008)

Revue d'histoire des mathématiques

Similarity:

The of Fermat (c. 1659), besides containing the first known proof of the computation of the area under a higher parabola, x + m / n d x , or under a higher hyperbola, x - m / n d x —with the appropriate limits of integration in each case—has a second part which was mostly unnoticed by Fermat’s contemporaries. This second part of the is obscure and difficult to read. In it Fermat reduced the quadrature of a great number of algebraic curves in implicit form to the quadrature of known curves: the higher parabolas...

Lower bounds of discrete moments of the derivatives of the Riemann zeta-function on the critical line

Thomas Christ, Justas Kalpokas (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

We establish unconditional lower bounds for certain discrete moments of the Riemann zeta-function and its derivatives on the critical line. We use these discrete moments to give unconditional lower bounds for the continuous moments I k , l ( T ) = 0 T | ζ ( l ) ( 1 2 + i t ) | 2 k d t , where l is a non-negative integer and k 1 a rational number. In particular, these lower bounds are of the expected order of magnitude for I k , l ( T ) .

Dirichlet series induced by the Riemann zeta-function

Jun-ichi Tanaka (2008)

Studia Mathematica

Similarity:

The Riemann zeta-function ζ(s) extends to an outer function in ergodic Hardy spaces on ω , the infinite-dimensional torus indexed by primes p. This enables us to investigate collectively certain properties of Dirichlet series of the form ( a p , s ) = p ( 1 - a p p - s ) - 1 for a p in ω . Among other things, using the Haar measure on ω for measuring the asymptotic behavior of ζ(s) in the critical strip, we shall prove, in a weak sense, the mean-value theorem for ζ(s), equivalent to the Lindelöf hypothesis.

Henstock-Kurzweil integral on BV sets

Jan Malý, Washek Frank Pfeffer (2016)

Mathematica Bohemica

Similarity:

The generalized Riemann integral of Pfeffer (1991) is defined on all bounded BV subsets of n , but it is additive only with respect to pairs of disjoint sets whose closures intersect in a set of σ -finite Hausdorff measure of codimension one. Imposing a stronger regularity condition on partitions of BV sets, we define a Riemann-type integral which satisfies the usual additivity condition and extends the integral of Pfeffer. The new integral is lipeomorphism-invariant and closed with respect...