Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  Henstock-Kurzweil integral
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Gauge Integral

100%
Coghetto R.
Formalized Mathematics
|
2017
|
tom 25
|
nr 3
217-225
EN
Some authors have formalized the integral in the Mizar Mathematical Library (MML). The first article in a series on the Darboux/Riemann integral was written by Noboru Endou and Artur Korniłowicz: [6]. The Lebesgue integral was formalized a little later [13] and recently the integral of Riemann-Stieltjes was introduced in the MML by Keiko Narita, Kazuhisa Nakasho and Yasunari Shidama [12]. A presentation of definitions of integrals in other proof assistants or proof checkers (ACL2, COQ, Isabelle/HOL, HOL4, HOL Light, PVS, ProofPower) may be found in [10] and [4]. Using the Mizar system [1], we define the Gauge integral (Henstock-Kurzweil) of a real-valued function on a real interval [a, b] (see [2], [3], [15], [14], [11]). In the next section we formalize that the Henstock-Kurzweil integral is linear. In the last section, we verified that a real-valued bounded integrable (in sense Darboux/Riemann [6, 7, 8]) function over a interval a, b is Gauge integrable. Note that, in accordance with the possibilities of the MML [9], we reuse a large part of demonstrations already present in another article. Instead of rewriting the proof already contained in [7] (MML Version: 5.42.1290), we slightly modified this article in order to use directly the expected results.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Volterra integral inclusions via Henstock-Kurzweil-Pettis integral

100%
Satco B.
Discussiones Mathematicae, Differential Inclusions, Control and Optimization
|
2006
|
tom 26
|
nr 1
87-101
EN
In this paper, we prove the existence of continuous solutions of a Volterra integral inclusion involving the Henstock-Kurzweil-Pettis integral. Since this kind of integral is more general than the Bochner, Pettis and Henstock integrals, our result extends many of the results previously obtained in the single-valued setting or in the set-valued case.
3

Differential equations in banach space and henstock-kurzweil integrals

100%
Kubiaczyk I., Sikorska A.
Discussiones Mathematicae, Differential Inclusions, Control and Optimization
|
1999
|
tom 19
|
nr 1-2
35-43
EN
In this paper, using the properties of the Henstock-Kurzweil integral and corresponding theorems, we prove the existence theorem for the equation x' = f(t,x) and inclusion x' ∈ F(t,x) in a Banach space, where f is Henstock-Kurzweil integrable and satisfies some conditions.
4
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Retarded functional differential equations in Banach spaces and Henstock-Kurzweil-Pettis integrals

88%
Sikorska-Nowak A.
Discussiones Mathematicae, Differential Inclusions, Control and Optimization
|
2007
|
tom 27
|
nr 2
315-327
EN
We prove an existence theorem for the equation x' = f(t,xₜ), x(Θ) = φ(Θ), where xₜ(Θ) = x(t+Θ), for -r ≤ Θ < 0, t ∈ Iₐ, Iₐ = [0,a], a ∈ R₊ in a Banach space, using the Henstock-Kurzweil-Pettis integral and its properties. The requirements on the function f are not too restrictive: scalar measurability and weak sequential continuity with respect to the second variable. Moreover, we suppose that the function f satisfies some conditions expressed in terms of the measure of weak noncompactness.
5
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Existance of solutions of nonlinear integral equations and Henstock–Kurzweil integrals

88%
Sikorska-Nowak A.
Commentationes Mathematicae
|
2007
|
tom 47
|
nr 2
EN
We prove an existence theorems for the nonlinear integral equation \[ x(t) = f (t) + \int_{0}^a k_1 (t, s)x(s)ds + \int_{0}^a k_2(t, s)g(s, x(s))ds,\quad t \in I_a = [0, a], a \in \mathbb{R} _+, \] where \(f, g, x\) are functions with values in Banach spaces. Our fundamental tools are: measures of noncompactness and properties of the Henstock-Kurzweil integral.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.