Displaying 1601 – 1620 of 2163

Showing per page

Riemann Integral of Functions from R into Real Normed Space

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama (2011)

Formalized Mathematics

In this article, we define the Riemann integral on functions from R into real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to a wider range of functions. The proof method follows the [16].

Riemann Integral of Functions R into C

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama (2010)

Formalized Mathematics

In this article, we define the Riemann Integral on functions R into C and proof the linearity of this operator. Especially, the Riemann integral of complex functions is constituted by the redefinition about the Riemann sum of complex numbers. Our method refers to the [19].

Riemann-Stieltjes Integral

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2016)

Formalized Mathematics

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

Riemann-type definition of the improper integrals

Donatella Bongiorno (2004)

Czechoslovak Mathematical Journal

Riemann-type definitions of the Riemann improper integral and of the Lebesgue improper integral are obtained from McShane’s definition of the Lebesgue integral by imposing a Kurzweil-Henstock’s condition on McShane’s partitions.

Robust fractional adaptive control based on the strictly Positive Realness Condition

Samir Ladaci, Abdelfatah Charef, Jean Jacques Loiseau (2009)

International Journal of Applied Mathematics and Computer Science

This paper presents a new approach to robust adaptive control, using fractional order systems as parallel feedforward in the adaptation loop. The problem is that adaptive control systems may diverge when confronted with finite sensor and actuator dynamics, or with parasitic disturbances. One of the classical robust adaptive control solutions to these problems makes use of parallel feedforward and simplified adaptive controllers based on the concept of positive realness. The proposed control scheme...

Role of the Harnack extension principle in the Kurzweil-Stieltjes integral

Umi Mahnuna Hanung (2024)

Mathematica Bohemica

In the theories of integration and of ordinary differential and integral equations, convergence theorems provide one of the most widely used tools. Since the values of the Kurzweil-Stieltjes integrals over various kinds of bounded intervals having the same infimum and supremum need not coincide, the Harnack extension principle in the Kurzweil-Henstock integral, which is a key step to supply convergence theorems, cannot be easily extended to the Kurzweil-type Stieltjes integrals with discontinuous...

Second order linear q -difference equations: nonoscillation and asymptotics

Pavel Řehák (2011)

Czechoslovak Mathematical Journal

The paper can be understood as a completion of the q -Karamata theory along with a related discussion on the asymptotic behavior of solutions to the linear q -difference equations. The q -Karamata theory was recently introduced as the theory of regularly varying like functions on the lattice q 0 : = { q k : k 0 } with q > 1 . In addition to recalling the existing concepts of q -regular variation and q -rapid variation we introduce q -regularly bounded functions and prove many related properties. The q -Karamata theory is then...

Currently displaying 1601 – 1620 of 2163