Loading [MathJax]/extensions/MathZoom.js
Displaying 621 –
640 of
2163
We prove an abstract version of the Kuratowski extension theorem for Borel measurable maps of a given class. It enables us to deduce and improve its nonseparable version due to Hansell. We also study the ranges of not necessarily injective Borel bimeasurable maps f and show that some control on the relative classes of preimages and images of Borel sets under f enables one to get a bound on the absolute class of the range of f. This seems to be of some interest even within separable spaces.
In the paper we give an analogue of the Filippov Lemma for the second order differential inclusions with the initial conditions y(0) = 0, y′(0) = 0, where the matrix A ∈ ℝd×d and multifunction is Lipschitz continuous in y with a t-independent constant l. The main result is the following: Assume that F is measurable in t and integrably bounded. Let y 0 ∈ W 2,1 be an arbitrary function fulfilling the above initial conditions and such that where p 0 ∈ L 1[0, 1]. Then there exists a solution y ∈ W 2,1...
We first prove that given any analytic filter ℱ on ω the set of all functions f on which can be represented as the pointwise limit relative to ℱ of some sequence of continuous functions (), is exactly the set of all Borel functions of class ξ for some countable ordinal ξ that we call the rank of ℱ. We discuss several structural properties of this rank. For example, we prove that any free Π⁰₄ filter is of rank 1.
A new theorem in the theory of first return representations of Baire class one functions of a real variable is presented which has as immediate consequences several known characterizations of standard subclasses of the Baire one functions. Further, this theorem yields new insights into how finely Baire one functions can be recovered and yields a characterization of another subclass of Baire one functions.
Let (X, d) be a metric space and T: X → X a continuous map. If the sequence (T n)n∈ℕ of iterates of T is pointwise convergent in X, then for any x ∈ X, the limit
is a fixed point of T. The problem of determining the form of µT leads to the invariance equation µT ○ T = µT, which is difficult to solve in general if the set of fixed points of T is not a singleton. We consider this problem assuming that X = I p, where I is a real interval, p ≥ 2 a fixed positive integer and T is the mean-type mapping...
Given a free ultrafilter p on ℕ we say that x ∈ [0, 1] is the p-limit point of a sequence (x n)n∈ℕ ⊂ [0, 1] (in symbols, x = p -limn∈ℕ x n) if for every neighbourhood V of x, {n ∈ ℕ: x n ∈ V} ∈ p. For a function f: [0, 1] → [0, 1] the function f p: [0, 1] → [0, 1] is defined by f p(x) = p -limn∈ℕ f n(x) for each x ∈ [0, 1]. This map is rarely continuous. In this note we study properties which are equivalent to the continuity of f p. For a filter F we also define the ω F-limit set of f at x. We consider...
Mathematics Subject Classification: 26A33; 93C15, 93C55, 93B36, 93B35,
93B51; 03B42; 70Q05; 49N05This paper proposes a novel method to design an H∞ -optimal fractional order PID (FOPID) controller with ability to control the transient,
steady-state response and stability margins characteristics. The method uses particle swarm optimization algorithm and operates based on minimizing a general cost function. Minimization of the cost function is carried out
subject to the H∞ -norm; this norm is also...
Let ℳ be the set of pairs (T,g) such that T ⊂ ℝ is compact, g: T → T is continuous, g is minimal on T and has a piecewise monotone extension to convT. Two pairs (T,g),(S,f) from ℳ are equivalent if the map h: orb(minT,g) → orb(minS,f) defined for each m ∈ ℕ₀ by is increasing on orb(minT,g). An equivalence class of this relation-a minimal (oriented) pattern A-is exhibited by a continuous interval map f:I → I if there is a set T ⊂ I such that (T,f|T) = (T,f) ∈ A. We define the forcing relation on...
Currently displaying 621 –
640 of
2163