On Besicovitch almost periodic selections of multivalued maps

L.I. Danilov Physical-Technical Institute Russia, 426000, Izhevsk, Kirov st., 132 e-mail: danilov@otf.pti.udm.ru

Abstract
We prove that Besicovitch almost periodic multivalued maps R ∋ t → F ( t ) ∈ c l U   have Besicovitch almost periodic selections, where c l U   is the collection of non-empty closed sets of a complete metric space U   .
2000 Mathematics Subject Classification: Primary 42A75, 54C65, Secondary 54C60, 28B20.
Key words: almost periodic functions, selections, multivalued maps.
Introduction The ob jective of the present paper is to prove the existence of Besicovitch almost periodic (a.p.) selections of Besicovitch a.p. multivalued maps. The existence of Stepanov a.p. selections of Stepanov a.p. multivalued maps was proved in [1] . The Stepanov a.p. selections which satisfy some additional conditions were studied in [2, 3, 4, 5] . The papers [6, 7] were devoted to investigation of Weyl a.p.
selections of Weyl a.p. multivalued maps.
In proofs suggested in the paper we use technique from [2, 3, 6] .
The results of this paper are applied to the study of a.p. solutions of differential inclusions [8, 9] .
In Section 1 we present some properties of Besicovitch a.p. functions which will be used in what follows (as regards definitions and assertions on a.p.
functions, see e.g. [10] ). The main results are contained in Section 2. We prove the Theorem  2.1 from Section 2 in Section 3, and the Theorem  3.1 from Section 3 in Section 4.

1 Some propeties of Besicovitch a.p. functions

Let ( U , ρ )   be a complete metric space, A ¯   the closure of a set A ⊆ U   , U r ( x ) = { y ∈ U : ρ ( x , y ) < r }   , x ∈ U   , r > 0   . Let m e a s   be Lebesgue measure on R   .
A function f : R → U   is said to be elementary if there exist points x j ∈ U   and disjoint measurable (in the Lebesgue sense) sets T j ⊆ R   , j ∈ N   , such that m e a s R \ ∪ j T j = 0   and f ( t ) = x j   for all t ∈ T j   . We denote this function by f ( . ) = ∑ j x j χ T j ( . )   (where χ T ( . )   is the characteristic function of a set T ⊆ R   ). For arbitrary functions f j : R → U   , j ∈ N   , we define the function ∑ j f j ( . ) χ T j ( . ) : R → U   that coincides with functions f j ( . )   on the sets T j   , j ∈ N   (the notation ∑ j f j ( . ) χ T j ( . )   will be used not only in the case when U = ( ℋ , ∥ . ∥ )   is Banach space but also for arbitrary metric space U = ( U , ρ )   , and in last case no linear operations will be carried out on the functions under consideration). A function f : R → U   is measurable if for any ε > 0   there exists an elementary function f ε : R → U   such that e s s sup t ∈ R ρ ( f ( t ) , f ε ( t ) ) < ε .   Let M ( R , U )   be the set of measurable functions f : R → U   (functions that coincide for a.e. t ∈ R   will be identified), ( L ∞ ( R , U ) , D ∞ )   the space of essentially bounded functions from M ( R , U )   with metric D ∞ ( f , g ) = e s s sup t ∈ R ρ ( f ( t ) , g ( t ) ) , f , g ∈ L ∞ ( R , U ) .   Let a point x 0 ∈ U   be fixed. We use the notation M p ( R , U ) = . { f ∈ M ( R , U ) : sup ξ ∈ R ∫ ξ ξ + 1 ρ p ( f ( t ) , x 0 ) d t < + ∞ } , p ≥ 1 ,   and define the metric on M p ( R , U )   :
D p ( S ) ( f , g ) = ( sup ξ ∈ R ∫ ξ ξ + 1 ρ p ( f ( t ) , g ( t ) ) d t ) 1 / p , f , g ∈ M p ( R , U ) .   For a Banach space U = ( ℋ , ∥ . ∥ )   ( ρ ( x , y ) = ∥ x − y ∥   , x , y ∈ ℋ   ; ∥ x ∥ = | x |   if x ∈ R   ) we denote by ∥ f ∥ ∞ = e s s sup t ∈ R ∥ f ( t ) ∥ , f ∈ L ∞ ( R , ℋ ) ,   and ∥ f ∥ p ( S ) = ( sup ξ ∈ R ∫ ξ ξ + 1 ∥ f ( t ) ∥ p d t ) 1 / p , f ∈ M p ( R , ℋ ) ,   the norms on linear spaces L ∞ ( R , ℋ )   and M p ( R , ℋ )   , p ≥ 1   , respectively. In what follows, we shall use the notation ℋ   for Banach space, and it will be convenient to assume the Banach space ℋ = ( ℋ , ∥ . ∥ )   to be complex. If the Banach space ℋ   is real, then we can consider the complexification ℋ + i ℋ   identifying the space ℋ   with the real subspace (the norm ∥ . ∥ ℋ + i ℋ   on the real subspace coincides with the norm ∥ . ∥   ).
A set T ⊆ R   is called relatively dense if there exists a number a > 0   such that [ ξ , ξ + a ] ∩ T ≠ ∅   for all ξ ∈ R   . A number τ ∈ R   is called an ( ε , D ∞ )   -almost period of a function f ∈ L ∞ ( R , U )   , ε > 0   , if D ∞ ( f ( . ) , f ( . + τ ) ) < ε   . A continuous function f ∈ C ( R , U ) ∩ L ∞ ( R , U )   belongs to the space C A P ( R , U )   of Bohr a.p. functions if for any ε > 0   the set of ( ε , D ∞ )   -almost periods of the function f   is relatively dense. A number τ ∈ R   is called an ( ε , D p ( S ) )   -almost period of a function f ∈ M p ( R , U )   , p ≥ 1   , if D p ( S ) ( f ( . ) , f ( . + τ ) ) < ε   . A function f ∈ M p ( R , U )   , p ≥ 1   , belongs to the space S p ( R , U )   of Stepanov a.p. functions of order p ≥ 1   if for any ε > 0   the set of ( ε , D p ( S ) )   -almost periods of f   is relatively dense.
On the space U   we also consider the metric ρ ′ ( x , y ) = min { 1 , ρ ( x , y ) }   , x , y ∈ U   . The metric space ( U , ρ ′ )   is complete (as well as ( U , ρ )   ). We define the metric on M ( R , U ) = M 1 ( R , ( U , ρ ′ ) )   :
D ( S ) ( f , g ) = sup ξ ∈ R ∫ ξ ξ + 1 ρ ′ ( f ( t ) , g ( t ) ) d t , f , g ∈ M ( R , U ) .   Let S ( R , U ) = . S 1 ( R , ( U , ρ ′ ) )   (Stepanov a.p. function f ∈ S ( R , U )   is defined as Stepanov a.p. function of order 1 taking values in the metric space ( U , ρ ′ )   ).
We have C A P ( R , U ) ⊆ S p ( R , U ) ⊆ S 1 ( R , U ) ⊆ S ( R , U )   .A sequence τ j ∈ R   , j ∈ N   , is said to be f   -returning for a function f ∈ S ( R , U )   if D ( S ) ( f ( . ) , f ( . + τ j ) ) → 0   as j → + ∞   . If f ∈ C A P ( R , U ) ⊆ S ( R , U )   , then a sequence τ j ∈ R   , j ∈ N   , is f   -returning if and only if D ∞ ( f ( . ) , f ( . + τ j ) ) → 0   as j → + ∞   . If f ∈ S p ( R , U ) ⊆ S ( R , U )   , p ≥ 1   , then a sequence τ j ∈ R   , j ∈ N   , is f   -returning if and only if D p ( S ) ( f ( . ) , f ( . + τ j ) ) → 0   as j → + ∞   .
For a function f ∈ S ( R , U )   we denote by M o d f   the set of numbers λ ∈ R   for which e i λ τ j → 1   ( i 2 = − 1   ) as j → + ∞   for all f   -returning sequences τ j   .
The set M o d f   is a module (additive group) in R   . If a function f ∈ S ( R , U )   is not a.e. (almost everywhere) constant, then M o d f   is a countable module ( M o d f = { 0 }   otherwise). If U = ( ℋ , ∥ . ∥ )   is a Banach space, then for all functions f ∈ S 1 ( R , ℋ )   the sets M o d f   coincide with the modules of Fourier exponents of the functions f   .
For any function f ∈ S p ( R , ℋ )   and any ε > 0   there exists a function f ε ∈ C A P ( R , ℋ )   such that ∥ f − f ε ∥ p ( S ) < ε   and M o d f ε ⊆ M o d f   (moreover, the Fourier exponents of a function f ε   belong to the set of Fourier exponents of a function f   ). If f ∈ S ( R , ℋ )   , then for any ε > 0   there is a function f ε ∈ C A P ( R , ℋ )   such that D ( S ) ( f , f ε ) < ε   and M o d f ε ⊆ M o d f   .
Let ℳ p ( R , U )   , p ≥ 1   , be the Marcinkiewicz space, i.e. the set of functions f ∈ M ( R , U )   for which ρ ( f ( . ) , x 0 ) ∈ L l o c p ( R , R )   and lim b → + ∞ ¯ 1 2 b ∫ − b b ρ p ( f ( t ) , x 0 ) d t < + ∞ .   We set D p ( B ) ( f , g ) = ( lim b → + ∞ ¯ 1 2 b ∫ − b b ρ p ( f ( t ) , g ( t ) ) d t ) 1 / p , f , g ∈ ℳ p ( R , U ) .   If U = ( ℋ , ∥ . ∥ )   is a Banach space, then we define the seminorm ∥ f ∥ p ( B ) = ( lim b → + ∞ ¯ 1 2 b ∫ − b b ∥ f ( t ) ∥ p d t ) 1 / p , f ∈ ℳ p ( R , ℋ ) .   For functions f , g ∈ ℳ p ( R , U )   let us define the equivalence relation: f ∼ g   if and only if D p ( B ) ( f , g ) = 0   . Then the quotient space ( ℳ p ( R , U ) / ∼ , D p ( B ) )   iscomplete metric space [11] . We have M p ( R , U ) ⊆ ℳ p ( R , U )   and D p ( B ) ( f , g ) ≤ D p ( S ) ( f , g )   for all functions f , g ∈ M p ( R , U )   .
A function f ∈ ℳ p ( R , U )   , p ≥ 1   , belongs to the space B p ( R , U )   of Besicovitch a.p. functions of order p   if for any ε > 0   there is a function f ε ∈ S p ( R , U )   such that D p ( B ) ( f , f ε ) < ε   .
By the Fréchet Theorem [12] the metric space ( U , ρ )   can be isometrically embedded into some Banach space ℋ   , hence the following definition of the space B p ( R , U )   is equivalent to the previous one: a function f ∈ ℳ p ( R , U )   belongs to the space B p ( R , U )   , if for some Banach space ℋ   into which the metric space ( U , ρ )   is isometrically embedded (and therefore for all such Banach spaces ℋ   ) and for all ε > 0   there exists a function f ε ∈ C A P ( R , ℋ )   such that ∥ f − f ε ∥ p ( B ) < ε   (where ∥ . ∥ p ( B )   is the seminorm on the space ℳ p ( R , ℋ )   and we assume that the function f   takes values in the space ℋ   ).
For functions f , g ∈ M ( R , U ) = ℳ 1 ( R , ( U , ρ ′ ) )   we denote D ( B ) ( f , g ) = lim b → + ∞ ¯ 1 2 b ∫ − b b ρ ′ ( f ( t ) , g ( t ) ) d t .   Let B ( R , U ) = . B 1 ( R , ( U , ρ ′ ) )   be the space of Besicovitch a.p. functions (defined as Besicovitch a.p. functions of order 1 taking values in the metric space ( U , ρ ′ )   ). We have S ( R , U ) ⊆ B ( R , U )   and S p ( R , U ) ⊆ B p ( R , U ) ⊆ B 1 ( R , U ) ⊆ B ( R , U )   .
A sequence τ j ∈ R   , j ∈ N   , is said to be f   -returning for a function f ∈ B ( R , U )   if D ( B ) ( f ( . ) , f ( . + τ j ) ) → 0   as j → + ∞   . If f ∈ S ( R , U ) ⊆ B ( R , U )   , then a sequence τ j ∈ R   , j ∈ N   , is f   -returning if and only if D ( S ) ( f ( . ) , f ( . + τ j ) ) → 0   as j → + ∞   . If f ∈ B p ( R , U ) ⊆ B ( R , U )   , p ≥ 1   , then a sequence τ j ∈ R   , j ∈ N   , is f   -returning if and only if D p ( B ) ( f ( . ) , f ( . + τ j ) ) → 0   as j → + ∞   .
(The set of f   -returning sequences is determined only by the a.p. function itself and does not depend on the spaces under consideration of a.p. functions which include the function f   .) For a function f ∈ B ( R , U )   (by analogy with a function f ∈ S ( R , U )   ) we denote by M o d f   the set (module) of numbers λ ∈ R   for which e i λ τ j → 1   as j → + ∞   for all f   -returning sequences τ j   . If there exists a constant function y ( t ) ≡ y ∈ U   , t ∈ R   , such that D ( B ) ( f ( . ) , y ( . ) ) = 0   , then M o d f = { 0 }   . If D ( B ) ( f ( . ) , y ( . ) ) ≠ 0   for all constant functions y ( t ) ≡ y ∈ U   , t ∈ R   , then M o d f   is a countable module.
If f ∈ B ( R , U )   and τ j ∈ R   , j ∈ N   , is a sequence for which e i λ τ j → 1   as j → + ∞   for all numbers λ ∈ M o d f   , then τ j   is f   -returning sequence.For a function f ∈ B 1 ( R , ℋ )   we denote by Λ { f }   the set of its Fourier exponents, i.e. the set of numbers λ ∈ R   for which lim b → + ∞ 1 2 b ∫ − b b e − i λ t f ( t ) d t ≠ 0   (the limit exists for all numbers λ ∈ R   ). The module M o d f   of a function f ∈ B 1 ( R , ℋ )   coincides with the module of Fourier exponents λ ∈ Λ { f }   , i.e.
the smallest module (additive group) in R   including the set Λ { f }   .
If Λ j ⊆ R   are arbitrary modules (the set of indices j   may be an arbitrary non-empty set), then by ∑ j Λ j   (or by Λ 1 + ⋅ ⋅ ⋅ + Λ n   for finitely many modules Λ j   , j = 1 , . . . , n   ) we denote the sum of modules, that is, the smallest module (additive group) in R   containing all the sets Λ j   .
Suppose that f ∈ B ( R , U )   and f j ∈ B ( R , U j )   , j ∈ N   , where the U j   are (complete) metric spaces. Then M o d f ⊆ ∑ j M o d f j   if and only if every sequence τ k ∈ R   , k ∈ N   , which is f j   -returning for all j ∈ N   is f   -returning. In particular, if f j ∈ B ( R , U j )   , j = 1 , 2   , then M o d f 1 ⊆ M o d f 2   if and only if every f 2   -returning sequence τ k ∈ R   , k ∈ N   , is f 1   -returning.
If f ∈ M ( R , U )   , f j ∈ B ( R , U )   , j ∈ N   , and D ( B ) ( f , f j ) → 0   as j → + ∞   , then f ∈ B ( R , U )   and M o d f ⊆ ∑ j M o d f j   .
Proposition 1.1. For every function f ∈ B p ( R , ℋ )   , p ≥ 1   (where ℋ   is a complex Banach space), and every ε > 0   there exists a function f ε ∈ C A P ( R , ℋ )   such that ∥ f − f ε ∥ p ( B ) < ε   and Λ { f ε } ⊆ Λ { f }   . If f ∈ B ( R , ℋ )   , then for every ε > 0   there exists a function f ε ∈ C A P ( R , ℋ )   such that D ( B ) ( f , f ε ) < ε   and Λ { f ε } ⊆ M o d f   .
Proposition 1.2. For every function f ∈ B p ( R , U )   , p ≥ 1   , and every ε > 0   there exists a function f ε ∈ S 1 ( R , U ) ∩ L ∞ ( R , U ) ⊆ S p ( R , U )   such that D p ( B ) ( f , f ε ) < ε   and M o d f ε ⊆ M o d f   . If f ∈ B ( R , U )   , then for every ε > 0   there exists a function f ε ∈ S 1 ( R , U ) ∩ L ∞ ( R , U )   such that D ( B ) ( f , f ε ) < ε   and M o d f ε ⊆ M o d f   .
Lemma 1.1. Let ( U , ρ )   and ( V , ρ V )   be (complete) metric spaces.
Suppose that for a function ℱ : U → V   there exists a number C ≥ 0   such that the inequality ρ V ( ℱ ( u 1 ) , ℱ ( u 2 ) ) ≤ C ρ ( u 1 , u 2 )   holds for al l u 1 , u 2 ∈ U   . Then for al l functions f ∈ B p ( R , U )   we have ℱ ( f ( . ) ) ∈ B p ( R , V )   and M o d ℱ ( f ( . ) ) ⊆ M o d f ( . )   . If f ∈ B ( R , U )   , then also ℱ ( f ( . ) ) ∈ B ( R , V )   and M o d ℱ ( f ( . ) ) ⊆ M o d f ( . )   .
Corol lary 1.1. Let f ∈ B ( R , U )   and x ∈ U   . Then ρ ( f ( . ) , x ) ∈ B ( R , R )   and M o d ρ ( f ( . ) , x ) ⊆ M o d f ( . )   .
For Banach spaces ( ℋ , ∥ . ∥ )   and numbers a > 0   we define the functions ℋ ∋ h → ℱ ℋ a ( h ) = { h , if ∥ h ∥ ≤ a , a h ∥ h ∥ , if ∥ h ∥ > a .   For all h 1 , h 2 ∈ ℋ   we have ∥ ℱ ℋ a ( h 1 ) − ℱ ℋ a ( h 2 ) ∥ ≤ 2 ∥ h 1 − h 2 ∥ ,   hence the following Lemma  1.2 is a consequence of Lemma  1.1 .
Lemma 1.2. Let f ∈ B ( R , ℋ )   . Then for any a > 0   the function ℱ ℋ a ( f ( . ) )   belongs to the set B ( R , ℋ ) ∩ L ∞ ( R , ℋ ) ⊂ B 1 ( R , ℋ )   and M o d ℱ ℋ a ( f ( . ) ) ⊆ M o d f ( . )   .
For measurable set T ⊆ R   let us denote κ ~ ( T ) = lim b → + ∞ ¯ 1 2 b m e a s [ − b , b ] \ T .   For all measurable sets T 1 , T 2 ⊆ R   we have κ ~ ( T 1 ∩ T 2 ) ≤ κ ~ ( T 1 ) + κ ~ ( T 2 )   .
Let f , g ∈ M ( R , U )   , ε ∈ ( 0 , 1 ]   and δ > 0   . If κ ~ ( { t ∈ R : ρ ( f ( t ) , g ( t ) ) ≤ ε } ) < δ   , then D ( B ) ( f , g ) ≤ ε + δ   . If D ( B ) ( f , g ) ≤ ε δ   , then κ ~ ( { t ∈ R : ρ ( f ( t ) , g ( t ) ) ≤ ε } ) ≤ ε − 1 D ( B ) ( f , g ) ≤ δ   . Hence (see also Proposition  1.1 ) the Lemma  1.3 is valid.
Lemma 1.3. For any function f ∈ B ( R , ℋ )   and any numbers ε , δ > 0   there is a function f ε , δ ∈ C A P ( R , ℋ )   such that κ ~ ( { t ∈ R : ∥ f ( t ) − f ε , δ ( t ) ∥ < ε } ) < δ   and Λ { f ε , δ } ⊆ M o d f   .
The following Lemma  1.4 is a consequence of Lemma  1.3 and the Fréchet Theorem.
Lemma 1.4. Let f ∈ B ( R , U )   . Then κ ~ ( { t ∈ R : ρ ( f ( t ) , x 0 ) ≤ a } ) → 0   as a → + ∞   .
Lemma 1.5. Let f ∈ B p ( R , U )   , p ≥ 1   . Then lim b → + ∞ ¯ 1 2 b ∫ { t ∈ [ − b , b ] : ρ ( f ( t ) , x 0 ) > a } ρ p ( f ( t ) , x 0 ) d t → 0   as a → + ∞   .
Lemma  1.5 is a consequence of Proposition  1.2 . To prove Lemma  1.6 , which is a generalization of Lemma  1.4 , it is sufficient to use Lemma  1.4 , precompactness of the set ∪ t ∈ R g ( t ) ⊂ ℋ   for every function g ∈ C A P ( R , ℋ )   , and the Fréchet Theorem.
Lemma 1.6. Let f ∈ B ( R , U )   . Then for any ε , δ > 0   there are points x j ∈ U   , j = 1 , . . . , N   (where N ∈ N   ), such that κ ~ ( { t ∈ R : f ( t ) ∈ ⋃ j = 1 N U δ ( x j ) } ) < ε .  
Corol lary 1.2. Let f ∈ B ( R , U )   . Then there exist points x j ∈ U   , j ∈ N   , such that (1) m e a s { t ∈ R : f ( t ) / ∈ ∪ j ∈ N x j ¯ } = 0   , (2) for al l δ > 0  
κ ~ ( { t ∈ R : f ( t ) ∈ ⋃ j = 1 N U δ ( x j ) } ) → 0 (1.1)
as N → + ∞   .
Lemma 1.7. Let f 1 , f 2 ∈ B ( R , ℋ )   , then f 1 + f 2 ∈ B ( R , ℋ )   and M o d ( f 1 + f 2 ) ⊆ M o d f 1 + M o d f 2   . If f ∈ B ( R , ℋ )   and g ∈ B ( R , C )   , then also g f ∈ B ( R , ℋ )   and M o d g f ⊆ M o d f + M o d g   .
For h ∈ ( ℋ , ∥ . ∥ )   we set s g n h = { h ∥ h ∥ , if h ≠ 0 , 0 , if h = 0 .  
Lemma 1.8. Let f ∈ B ( R , ℋ )   . Suppose that
κ ~ ( { t ∈ R : ∥ f ( t ) ∥ ≥ δ } ) → 0 (1.2)
as δ → + 0   . Then s g n f ( . ) ∈ B 1 ( R , ℋ )   and M o d s g n f ( . ) ⊆ M o d f ( . )   (moreover, for the set T = { t ∈ R : f ( t ) = 0 }   we have ∥ χ T ( . ) ∥ 1 ( B ) = 0   ).
  • Proof. For all j ∈ N   let us define functions f j ( t ) = . j ℱ ℋ 1 / j ( f ( t ) )   , t ∈ R   . Lemma  1.2 implies that f j ∈ B 1 ( R , ℋ )   and M o d f j ⊆ M o d f   . On the other hand, from the condition (1.2) it follows that ∥ χ T ( . ) ∥ 1 ( B ) = 0   and ∥ s g n f ( . ) − f j ( . ) ∥ 1 ( B ) → 0   as j → + ∞   . Hence s g n f ( . ) ∈ B 1 ( R , ℋ )   and M o d s g n f ( . ) ⊆ ∑ j M o d f j ⊆ M o d f ( . )   .
For functions f , g ∈ ℳ p ( R , U )   , p ≥ 1   , we use the notation β p ( f , g ) = lim δ → + 0 ( sup T ⊆ R : κ ~ ( R \ T ) ≤ δ lim b → + ∞ ¯ 1 2 b ∫ T ∩ [ − b , b ] ρ p ( f ( t ) , g ( t ) ) d t ) 1 / p .   The inequality β p ( f , g ) ≤ D p ( B ) ( f , g )   holds for all functions f , g ∈ ℳ p ( R , U )   .
Let ℳ p 0 ( R , U ) = . { f ∈ ℳ p ( R , U ) : β p ( f ( . ) , x 0 ( . ) ) = 0 } ,   where x 0 ( t ) ≡ x 0   , t ∈ R   (the set ℳ p 0 ( R , U )   does not depend on the choice of the point x 0 ∈ U   ); L ∞ ( R , U ) ⊆ ℳ p 0 ( R , U )   .
Lemma 1.9. For al l p ≥ 1   B p ( R , U ) = B ( R , U ) ⋂ ℳ p 0 ( R , U ) .  
  • Proof. We have B p ( R , U ) ⊆ B ( R , U )   . By Proposition  1.2 , for any function f ∈ B p ( R , U )   and any ε > 0   there is a function f ε ∈ S p ( R , U ) ∩ L ∞ ( R , U )   such that D p ( B ) ( f , f ε ) < ε   . Hence β p ( f ( . ) , x 0 ( . ) ) ≤ β p ( f ( . ) , f ε ( . ) ) + β p ( f ε ( . ) , x 0 ( . ) ) ≤   ≤ β p ( f ( . ) , f ε ( . ) ) ≤ D p ( B ) ( f , f ε ) < ε ,   and therefore, β p ( f ( . ) , x 0 ( . ) ) = 0   . The embedding B p ( R , U ) ⊆ ℳ p 0 ( R , U )   is proved. Let us now prove the embedding B ( R , U ) ∩ ℳ p 0 ( R , U ) ⊆ B p ( R , U )   .
    By the Fréchet Theorem, we can consider the space U = ( ℋ , ∥ . ∥ )   to be Banach space. Let f ∈ B ( R , ℋ ) ∩ ℳ p 0 ( R , ℋ ) ⊂ ℳ p ( R , ℋ )   . The Lemma  1.4 and the definition of the set ℳ p 0 ( R , ℋ )   imply that for any ε > 0   there exists a number a = a ( ε , f ) > 0   such that lim b → + ∞ ¯ ( 1 2 b ∫ { t ∈ [ − b , b ] : ∥ f ( t ) ∥ ≥ a } ∥ f ( t ) ∥ p d t ) 1 / p < ε 2 .   Then ℱ ℋ a ( f ( . ) ) ∈ B ( R , ℋ ) ∩ L ∞ ( R , ℋ ) ⊂ B p ( R , ℋ )   and ∥ f ( . ) − ℱ ℋ a ( f ( . ) ) ∥ p ( B ) ≤   ≤ lim b → + ∞ ¯ ( 1 2 b ∫ { t ∈ [ − b , b ] : ∥ f ( t ) ∥ > a } ∥ f ( t ) ∥ p d t ) 1 / p < ε 2 .   On the other hand, there is a function f a , ε ∈ C A P ( R , ℋ )   such that ∥ f a , ε ∥ ∞ ≤ a   and ∥ ℱ ℋ a ( f ( . ) ) − f a , ε ( . ) ∥ p ( B ) < ε 2   . Therefore, ∥ f − f a , ε ∥ p ( B ) ≤   ≤ ∥ f ( . ) − ℱ ℋ a ( f ( . ) ) ∥ p ( B ) + ∥ ℱ ℋ a ( f ( . ) ) − f a , ε ( . ) ∥ p ( B ) < ε 2 + ε 2 = ε .   Since the number ε > 0   can be chosen arbitraryly small, we obtain from above that f ∈ B p ( R , ℋ )   .
Let ( c l b U , d i s t )   be the metric space of non-empty closed bounded subsets A ⊆ U   with the Hausdorff metric d i s t ( A , B ) = d i s t ρ ( A , B ) = max { sup x ∈ A ρ ( x , B ) , sup x ∈ B ρ ( x , A ) } , A , B ∈ c l b U ,   where ρ ( x , F ) = inf y ∈ F ρ ( x , y )   is the distance from a point x ∈ U   to a non-empty set F ⊆ U   . The metric space ( c l b U , d i s t )   is complete. Let c l U   be the collection of non-empty closed subsets A ⊆ U   . On the c l U = c l b ( U , ρ ′ )   we define the Hausdorff metric d i s t ρ ′   corresponding to the metric ρ ′   . The metric space ( c l U , d i s t ρ ′ )   is also complete. Since d i s t ′ ( A , B ) = . min { 1 , d i s t ( A , B ) } = d i s t ρ ′ ( A , B )   for all A , B ∈ c l b U   , it follows that the embedding ( c l b U , d i s t ′ ) ⊆ ( c l U , d i s t ρ ′ )   is isometric. We define the spaces B ( R , c l b U )   and B p ( R , c l b U )   , p ≥ 1   , of Besicovitch a.p. multivalued maps R ∋ t → F ( t ) ∈ c l b U   as the spaces of Besicovitch a.p. functions taking values in the metric space ( c l b U , d i s t )   . Let B ( R , c l U ) = . B 1 ( R , ( c l U , d i s t ρ ′ ) )   . The following embeddings B p ( R , c l b U ) ⊆ B 1 ( R , c l b U ) ⊆ B ( R , c l b U ) ⊆ B ( R , c l U )   hold.

2 Main results

Let B ( R )   be the collection of measurable subsets T ⊆ R   such that χ T ∈ B 1 ( R , R )   . For sets T ∈ B ( R )   let M o d T = . M o d χ T   .
Lemma 2.1. Let T 1 , T 2 ∈ B ( R )   . Then T 1 ∪ T 2 ∈ B ( R )   , T 1 ∩ T 2 ∈ B ( R )   , T 1 \ T 2 ∈ B ( R )   and modules M o d T 1 ∪ T 2   , M o d T 1 ∩ T 2   and M o d T 1 \ T 2   are subsets (subgroups) of M o d T 1 + M o d T 2   .
For an arbitrary module Λ ⊆ R   let M ( B ) ( Λ )   be the set of sequences T j ⊆ R   , j ∈ N   , of disjoint sets T j ∈ B ( R )   such that M o d T j ⊆ Λ   , m e a s R \ ∪ j T j = 0   and κ ~ ( ∪ j ≤ n T j ) → 0   as n → + ∞   . We shall also assume that the set M ( B ) ( Λ )   includes the corresponding finite sequences T j   , j = 1 , . . . , N   , which can always be supplemented by empty sets to form denumerable ones. The sets of sequences { T j } ∈ M ( B ) ( Λ )   will also be enumerated by means of several indices.
Lemma 2.2. Let Λ   be a module in R   and let { T j ( s ) } ∈ M ( B ) ( Λ )   , s = 1 , 2   . Then { T j ( 1 ) ∩ T k ( 2 ) } j , k ∈ M ( B ) ( Λ )   .
Lemma  2.2 is a consequence of Lemma  2.1 .
Let { T j } ∈ M ( B ) ( Λ )   and let J ⊆ N   be an arbitrary non-empty set. Then ∪ j ∈ J T j ∈ B ( R )   and M o d ∪ j ∈ J T j ⊆ ∑ j ∈ J M o d T j   . If ∥ χ T j ∥ 1 ( B ) = 0   for all j ∈ J   , then also ∥ χ ∪ j ∈ J T j ∥ 1 ( B ) = 0   .
The following Lemma  2.3 is a consequence of Lemma  1.7 and the Fréchet Theorem.
Lemma 2.3. Suppose that { T j } ∈ M ( B ) ( R )   and f j ∈ B ( R , U )   , j ∈ N   .
Then ∑ j f j ( . ) χ T j ( . ) ∈ B ( R , U )   and
M o d ∑ j f j ( . ) χ T j ( . ) ⊆ ∑ j M o d f j + ∑ j M o d T j . (2.1)
Remark 2.1. Under the assumptions of Lemma  2.3 , for indices j ∈ N   such that ∥ χ T j ∥ 1 ( B ) = 0   (in this case M o d T j = { 0 }   ) we can choose arbitrary functions f j ∈ M ( R , U )   and delete these indices in the summation on the right-hand side of inclusion (2.1).
Theorem 2.1. Let f ∈ B ( R , U )   . Then for any ε > 0   there exist a sequence { T j } j ∈ N ∈ M ( B ) ( M o d f )   and points x j ∈ U   , j ∈ N   , such that ρ ( f ( t ) , x j ) < ε   for al l t ∈ T j   , j ∈ N   .
Theorem  2.1 is proved in Section 3. This Theorem plays a key role in the paper. Analogous results (on uniform approximation by elementary a.p.
functions) for Stepanov and Weyl a.p. functions were obtained in [2, 4] and [6, 7] respectively. For Stepanov a.p. functions stronger assertions (including a.p.
variant of the Lusin Theorem) are contained in [13] and [14, 15] (in last two papers Stepanov a.p. functions are also considered on relative Bohr compacts).
Corol lary 2.1. Let f ∈ B ( R , R )   . Then for any a ∈ R   and ε > 0   there is a set T ∈ B ( R )   such that M o d T ⊆ M o d f   , f ( t ) < a + ε   for al l t ∈ T   and f ( t ) > a   for a.e. t ∈ R \ T   .
Theorem 2.2. Let ( U , ρ )   be a complete metric space, let F ∈ B ( R , c l U )   and let g ∈ B ( R , U )   . Then for any ε > 0   there exists a function f ∈ B ( R , U )   such that M o d f ⊆ M o d F + M o d g   , f ( t ) ∈ F ( t )   a.e.
and ρ ( f ( t ) , g ( t ) ) < ρ ( g ( t ) , F ( t ) ) + ε   a.e. If, moreover, F ∈ B p ( R , c l b U )   for some p ≥ 1   , then also f ∈ B p ( R , U )   .
  • Proof. Let number ε ∈ ( 0 , 1 ]   be fixed. We choose numbers γ n > 0   , n ∈ N   , such that ∑ n = 1 + ∞ ( γ n + γ n + 1 ) < 1 6 .   From Lemmas  2.1 ,  2.2 and Theorem  2.1 it follows that for each n ∈ N   there exist sets F j ( n ) ∈ c l U   , points g j n ∈ U   and disjoint measurable (in the Lebesgue sense) sets T j ( n ) ⊆ R   , j ∈ N   , such that { T j ( n ) } j ∈ N ∈ M ( B ) ( M o d F + M o d g )   , the functions F ( t )   and g ( t )   are defined for all t ∈ ∪ j T j ( n )   , and for all t ∈ T j ( n )   , j ∈ N   , we have d i s t ρ ′ ( F ( t ) , F j ( n ) ) < γ n ε < 1   and ρ ( g ( t ) , g j n ) < γ n ε   . Let T = ∩ n ∪ j T j ( n )   ; m e a s R \ T = 0   . By Lemma  2.2 , for every n ∈ N   { T j 1 ( 1 ) ⋂ ⋅ ⋅ ⋅ ⋂ T j n ( n ) } j s ∈ N , s = 1 , . . . , n ∈ M ( B ) ( M o d F + M o d g ) .   With each number n ∈ N   and each collection { j 1 , . . . , j n }   of indices j s ∈ N   , s = 1 , . . . , n   , if T j 1 ( 1 ) ∩ ⋅ ⋅ ⋅ ∩ T j n ( n ) ≠ ∅   , we associate some point f j 1 . . . j n ∈ F j n ( n ) ⊆ U   .These points are determined successively for n = 1 , 2 , . . .   . For n = 1   we choose points f j 1 ∈ F j 1 ( 1 )   such that the inequalities ρ ( f j 1 , g j 1 1 ) < ε 6 + ρ ( g j 1 1 , F j 1 ( 1 ) )   hold. If points f j 1 . . . j n − 1 ∈ F j n − 1 ( n − 1 )   have been found for some n ≥ 2   , we choose points f j 1 . . . j n − 1 j n ∈ F j n ( n )   such that
    ρ ( f j 1 . . . j n − 1 , f j 1 . . . j n − 1 j n ) = ρ ′ ( f j 1 . . . j n − 1 , f j 1 . . . j n − 1 j n ) ≤ (2.2)
    ≤ 2 d i s t ρ ′ ( F j n − 1 ( n − 1 ) , F j n ( n ) ) < 2 ( γ n − 1 + γ n ) ε < ε 3 ≤ 1 3 .   Now let us define functions f ( n ; t ) = ∑ j 1 , . . . , j n f j 1 . . . j n χ T j 1 ( 1 ) ∩ ⋅ ⋅ ⋅ ∩ T j n ( n ) ( t ) , t ∈ T , n ∈ N .   According to Lemmas  2.2 and  2.3 , we have f ( n ; . ) ∈ B ( R , U )   and M o d f ( n ; . ) ⊆ M o d F + M o d g   . It follows from (2.2) that the inequality
    ρ ( f ( n − 1 ; t ) , f ( n ; t ) ) < 2 ( γ n − 1 + γ n ) ε (2.3)
    holds for all t ∈ T   and n ≥ 2   . Since the metric space U   is complete, we obtain from (2.3) that the sequence of functions f ( n ; . )   , n ∈ N   , converges as n → + ∞   uniformly on the set T ⊆ R   (therefore, in the metric D ( B )   as well) to a function f ( . ) ∈ B ( R , U )   for which M o d f ⊆ ∑ n M o d f ( n ; . ) ⊆ M o d F + M o d g   .
    We have f ( n ; t ) ∈ F j n ( n )   and d i s t ρ ′ ( F ( t ) , F j n ( n ) ) < γ n ε < 1 6   for all t ∈ T j n ( n ) ∩ T   .
    Since γ n → 0   as n → + ∞   , it follows from this that f ( t ) ∈ F ( t )   for all t ∈ T   (for a.e. t ∈ R   ). With each number t ∈ T   we associate an infinite collection of indices { j 1 , . . . , j n , . . . }   in such a way that t ∈ T j n ( n )   , n ∈ N   . Then (for all t ∈ T   ) ρ ( f ( t ) , g ( t ) ) ≤ ∑ n = 1 + ∞ ρ ( f j 1 . . . j n , f j 1 . . . j n j n + 1 ) + ρ ( f j 1 , g j 1 1 ) + ρ ( g j 1 1 , g ( t ) ) <   < 2 ∑ n = 1 + ∞ ( γ n + γ n + 1 ) ε + ε 3 + ρ ( g j 1 1 , F j 1 ( 1 ) ) <   < 2 ε 3 + | ρ ( g j 1 1 , F j 1 ( 1 ) ) − ρ ( g j 1 1 , F ( t ) ) | + | ρ ( g j 1 1 , F ( t ) ) − ρ ( g ( t ) , F ( t ) ) | + ρ ( g ( t ) , F ( t ) ) <   < 2 ε 3 + γ 1 ε + γ 1 ε + ρ ( g ( t ) , F ( t ) ) < ε + ρ ( g ( t ) , F ( t ) ) .   If F ∈ B p ( R , c l b U ) ⊆ B ( R , c l U )   , p ≥ 1   , then f ∈ B p ( R , U )   . Indeed, for a.e.
    t ∈ R   we have ρ ( f ( t ) , x 0 ) ≤ sup x ∈ F ( t ) ρ ( x , x 0 ) = d i s t ( F ( t ) , { x 0 } ) ,   furthermore, d i s t ( F ( . ) , { x 0 } ) ∈ ℳ p 0 ( R , R )   . Hence (see Lemma  1.9 ) f ( . ) ∈ B ( R , U ) ∩ ℳ p 0 ( R , U ) = B p ( R , U )   .
Corol lary 2.2. Let ( U , ρ )   be a complete separable metric space and let F ∈ B ( R , c l U )   . Then there exist functions f j ∈ B ( R , U )   , j ∈ N   , such that M o d f j ⊆ M o d F   and F ( t ) = ∪ j f j ( t ) ¯   for a.e. t ∈ R   (if F ∈ B p ( R , c l b U ) ⊆ B ( R , c l U )   , p ≥ 1   , then al l functions f j   belong to the space B p ( R , U )   ).
  • Proof. Let us choose points x k ∈ U   , k ∈ N   , which form a countable dense set of the metric space U   . By Theorem  2.2 , for all k , n ∈ N   there are functions f k , n ∈ B ( R , U )   such that M o d f k , n ⊆ M o d F   , f k , n ( t ) ∈ F ( t )   a.e. and ρ ( f k , n ( t ) , x k ) < 2 − n + ρ ( x k , F ( t ) )   a.e. Furthermore, in the case F ∈ B p ( R , c l b U )   , p ≥ 1   , we also have f k , n ∈ B p ( R , U )   , k , n ∈ N   . It remains to renumber the functions f k , n   by a single index j ∈ N   .
The proof of following Theorem  2.3 is analogous to the proof of Theorem 1.3 in [6] (in which Weyl a.p. functions and multivalued maps were considered).
To prove Theorem  2.3 it is necessary to use Theorem  2.2 , Corollary  2.1 and Lemmas  2.1 and  2.3 . Analogous (to Theorem  2.3 ) result for Stepanov a.p.
functions and multivalued maps can be found in [14] .
Theorem 2.3. Let ( U , ρ )   be a complete metric space, let F ∈ B ( R , c l U )   and let g ∈ B ( R , U )   . Then for any non-decreasing function [ 0 , + ∞ ) ∋ t → η ( t ) ∈ R   , for which η ( 0 ) = 0   and η ( t ) > 0   for al l t > 0   , there exists a function f ∈ B ( R , U )   such that M o d f ⊆ M o d F + M o d g   , f ( t ) ∈ F ( t )   a.e. and ρ ( f ( t ) , g ( t ) ) ≤ ρ ( g ( t ) , F ( t ) ) + η ( ρ ( g ( t ) , F ( t ) ) )   a.e.
Moreover, if F ∈ B p ( R , c l b U ) ⊆ B ( R , c l U )   , p ≥ 1   , then f ∈ B p ( R , U )   .
The following Theorems can be also proved (using Theorems  2.1 ,  2.2 and Lemmas  2.1 ,  2.2 and  2.3 ) by analogy with appropriate assertions on Stepanov [5, 14] and Weyl [7] a.p. functions and multivalued maps.
The points x j ∈ U   , j = 1 , . . . , n   , are said to form ε   -net for (non-empty) set F ⊆ U   , ε > 0   , if F ⊆ ∪ j U ε ( x j )   .
Theorem 2.4. Let ( U , ρ )   be a complete metric space, let F ∈ B ( R , c l b U )   and let ε > 0   , n ∈ N   . Suppose that for a.e. t ∈ R   there are points x j ( t ) ∈ F ( t )   , j = 1 , . . . , n   , which form ε   -net for the set F ( t )   .
Then for any ε ′ > ε   there exist functions f j ∈ B ( R , U )   , j = 1 , . . . , n   , such that M o d f j ⊆ M o d F   , f j ( t ) ∈ F ( t )   a.e. and for a.e. t ∈ R   the points f j ( t )   , j = 1 , . . . , n   , form ε ′   -net for the set F ( t )   .
Corol lary 2.3. Let ( U , ρ )   be a compact metric space. Then a multivalued map R ∋ t → F ( t ) ∈ c l U = c l b U   belongs to the space B ( R , c l U ) = B 1 ( R , c l b U )   if and only if for each ε > 0   there exist a number n ∈ N   and functions f j ∈ B ( R , U ) = B 1 ( R , U )   , j = 1 , . . . , n   , such that f j ( t ) ∈ F ( t )   a.e. and points f j ( t )   , j = 1 , . . . , n   , for a.e. t ∈ R   form ε   -net for the set F ( t )   (furthermore, the functions f j   for the multivalued map F ∈ B ( R , c l U )   can be chosen in such a way that M o d f j ⊆ M o d F   ).
Theorem 2.5. Let ( U , ρ )   be a compact metric space. Then a multivalued map R ∋ t → F ( t ) ∈ c l U   belongs to the space B ( R , c l U )   if and only if there exist functions f j ∈ B ( R , U )   , j ∈ N   , such that F ( t ) = ∪ j f ( t ) ¯   a.e. and the set { f j ( . ) : j ∈ N }   is precompact in the metric space L ∞ ( R , U )   (furthermore, the functions f j   for the multivalued map F ∈ B ( R , c l U )   can be chosen in such a way that M o d f j ⊆ M o d F   ).
For non-empty set F ⊆ U   we shall use the notation F δ = { x ∈ U : ρ ( x , F ) < δ }   , δ > 0   .
Theorem 2.6. Let ( U , ρ )   be a complete metric space, let F ∈ B ( R , c l b U )   , ε > 0   , δ > 0   , n ∈ N   , and let g j ∈ B ( R , U )   , j = 1 , . . . , n   .
Suppose that for a.e. t ∈ R   the set of points x j ( t ) = g j ( t )   , for which g j ( t ) ∈ ( F ( t ) ) δ   , can be supplemented (if it consists of less than n   points) to n   points x j ( t ) ∈ ( F ( t ) ) δ   , j = 1 , . . . , n   , which form ε   -net for the set F ( t )   (coincident points with different indices are considered here as different points). Then for any ε ′ > ε + δ   there exist functions f j ∈ B ( R , U )   , j = 1 , . . . , n   , such that M o d f j ⊆ M o d F + ∑ k = 1 n M o d g k   , f j ( t ) ∈ F ( t )   a.e., f j ( t ) = g j ( t )   for a.e. t ∈ { τ ∈ R : g j ( τ ) ∈ F ( τ ) }   and the points f j ( t )   , j = 1 , . . . , n   , for a.e. t ∈ R   form ε ′   -net for the set F ( t )   .
Let ( U , ρ )   and ( V , ρ V )   be complete metric spaces and let C ( U , V )   be the space of continuous functions ℱ : U → V   endowed with metric d C ( U , V ) ( ℱ 1 , ℱ 2 ) = sup x ∈ U min { 1 , ρ V ( ℱ 1 ( x ) , ℱ 2 ( x ) ) } , ℱ 1 , ℱ 2 ∈ C ( U , V ) .   We denote by ℱ ( . | Y )   the restriction of a function ℱ : U → V   to a non-empty set Y ⊆ U   . In following Lemmas we consider the superposition of Besicovitch a.p. functions.
Lemma 2.4. Let ( U , ρ )   and ( V , ρ V )   be complete metric spaces, let ℱ ∈ C ( U , V )   and let f ∈ B ( R , U )   . Then ℱ ( f ( . ) ) ∈ B ( R , V )   and M o d ℱ ( f ( . ) ) ⊆ M o d f ( . )   .
  • Proof. We have ℱ ( f ( . ) ) ∈ M ( R , V ) = ℳ 1 ( R , ( V , ρ V ′ ) )   . Let ε ∈ ( 0 , 1 ]   , δ > 0   .
    By Theorem  2.1 , for every k ∈ N   there are sequences { T j ( k ) } j ∈ N ∈ M ( B ) ( M o d f )   and points x j ( k ) ∈ U   , j ∈ N   , such that ρ ( f ( t ) , x j ( k ) ) < 1 k   for all t ∈ T j ( k )   , j ∈ N   .
    Let us choose numbers j ( k ) ∈ N   , k ∈ N   , for which κ ~ ( ⋃ j = 1 j ( k ) T j ( k ) ) < 2 − k ε .   Let X 1 = ∪ j ≤ j ( 1 ) x j ( 1 )   . For every k ∈ N \ { 1 }   we denote by X k   the set of points x j ( k )   , j = 1 , . . . , j ( k )   , for which for any k ′ = 1 , . . . , k − 1   there exists a point x j ′ ( k ′ )   , j ′ = 1 , . . . , j ( k ′ )   , such that ρ ( x j ( k ) , x j ′ ( k ′ ) ) < 1 k + 1 k ′ < 2 k ′   . If T j 1 ( 1 ) ∩ ⋅ ⋅ ⋅ ∩ T j k ( k ) ≠ ∅   , k ∈ N   , where j s ∈ { 1 , . . . , j ( s ) }   , s = 1 , . . . , k   , then x j k ( k ) ∈ X k   , hence from the precompactness of the set ∪ k ∈ N X k ⊆ U   and from the continuity of the function ℱ   it follows that there is a number k 0 ∈ N   such that for all j k = 1 , . . . , j ( k )   , where k = 1 , . . . , k 0   , and for all t , t ′ ∈ T j 1 ( 1 ) ∩ ⋅ ⋅ ⋅ ∩ T j k 0 ( k 0 )   the inequality ρ V ( ℱ ( f ( t ) ) , ℱ ( f ( t ′ ) ) ) < δ   holds. If T j 1 ( 1 ) ∩ ⋅ ⋅ ⋅ ∩ T j k 0 ( k 0 ) ≠ ∅   , where j k ∈ { 1 , . . . , j ( k ) }   , k = 1 , . . . , k 0   , we choose some numbers t j 1 . . . j k 0 ∈ T j 1 ( 1 ) ∩ ⋅ ⋅ ⋅ ∩ T j k 0 ( k 0 )   . Let T ( k 0 ) = ⋂ k = 1 , . . . , k 0 ⋃ j k = 1 j ( k ) T j k ( k ) .   By Lemmas  2.1 and  2.3 , G k 0 ( . ) = . ∑ j k = 1 , . . . , j ( k ) ; k = 1 , . . . , k 0 ℱ ( f ( t j 1 . . . j k 0 ) ) χ T j 1 ( 1 ) ∩ ⋅ ⋅ ⋅ ∩ T j k 0 ( k 0 ) ( . ) +   + y 0 χ R \ T ( k 0 ) ( . ) ∈ B ( R , V ) ,   where y 0 ∈ V   , and M o d G k 0 ( . ) ⊆ ∑ j k = 1 , . . . , j ( k ) ; k = 1 , . . . , k 0 M o d T j k ( k ) ⊆ M o d f ( . ) .   Furthermore, ρ V ( ℱ ( f ( t ) ) , G k 0 ( t ) ) < δ   for all t ∈ T ( k 0 )   and κ ~ ( T ( k 0 ) ) ≤ ∑ k = 1 , . . . , k 0 κ ~ ( ⋃ j k = 1 j ( k ) T j k ( k ) ) < ∑ k = 1 , . . . , k 0 2 − k ε < ε .   Hence D ( B ) ( ℱ ( f ( . ) ) , G k 0 ( . ) ) < ε + δ   . Since the numbers ε > 0   and δ > 0   can be chosen arbitraryly small, it follows that ℱ ( f ( . ) ) ∈ B ( R , V )   and M o d ℱ ( f ( . ) ) ⊆ M o d f ( . )   .
Lemma 2.5. Let ( U , ρ )   and ( V , ρ V )   be complete metric spaces.
Suppose that a function R ∋ t → ℱ ( . ; t ) ∈ C ( U , V )   belongs to the space B 1 ( R , ( C ( U , V ) , d C ( U , V ) ) )   and f ∈ B ( R , U )   . Then ℱ ( f ( . ) ; . ) ∈ B ( R , V )   and M o d ℱ ( f ( . ) ; . ) ⊆ M o d ℱ ( . ; . ) + M o d f ( . )   .
  • Proof. Theorem  2.1 implies that for any ε > 0   there are a sequence { T j } j ∈ N ∈ M ( B ) ( M o d ℱ ( . ; . ) )   and functions ℱ j ∈ C ( U , V )   , j ∈ N   , such that d C ( U , V ) ( ℱ ( . ; t ) , ℱ j ( . ) ) < ε   for all t ∈ T j   , j ∈ N   . By Lemmas  2.3 and  2.4 , ∑ j ∈ N ℱ j ( f ( . ) ) χ T j ( . ) ∈ B ( R , V ) ,   M o d ∑ j ∈ N ℱ j ( f ( . ) ) χ T j ( . ) ⊆ M o d ℱ ( . ; . ) + M o d f ( . ) .   On the other hand, ℱ ( f ( . ) ; . ) ∈ M ( R , V ) = ℳ 1 ( R , ( V , ρ V ′ ) )   and D ( B ) ( ℱ ( f ( . ) ; . ) , ∑ j ∈ N ℱ j ( f ( . ) ) χ T j ( . ) ) < ε .   Hence (since the number ε > 0   can be chosen arbitraryly small), ℱ ( f ( . ) ; . ) ∈ B ( R , V )   and M o d ℱ ( f ( . ) ; . ) ⊆ M o d ℱ ( . ; . ) + M o d f ( . )   .
Remark 2.2. From Lemmas  1.9 ,  2.3 ,  2.4 and Theorem  2.1 we obtain also the fol lowing assertion. Let ( U , ρ )   and ( V , ρ V )   be complete metric spaces, let r > 0   and let p ≥ 1   . Suppose that a function R ∋ t → ℱ ( . ; t ) ∈ C ( U , V )   satisfies the fol lowing two conditions:
(1) for every x ∈ U   the function R ∋ t → ℱ ( . | U r ( x ) ; t ) ∈ C ( U r ( x ) , V )   belongs to the space B 1 ( R , ( C ( U r ( x ) , V ) , d C ( U r ( x ) , V ) ) ) ;   (2) there exist a number C ≥ 0   and a function C ( . ) ∈ ℳ p 0 ( R , R )   such that for a.e. t ∈ R   the inequality ρ V ( ℱ ( x ; t ) , y 0 ) ≤ A ρ ( x , x 0 ) + B ( t )   holds for al l x ∈ U   , where x 0 ∈ U   and y 0 ∈ V   are some fixed points.
Then for any function f ∈ B p ( R , U )   we have ℱ ( f ( . ) ; . ) ∈ B p ( R , V )   and M o d ℱ ( f ( . ) ; . ) ⊆ M o d f ( . ) + ∑ x ∈ U M o d ℱ ( . | U r ( x ) ; . ) .  

3 Proof of Theorem  2.1 

Let A ( B )   be the collection of sets F ⊂ B ( R , R )   such that lim τ 0 → + 0 sup f ∈ F sup τ ∈ [ 0 , τ 0 ] D ( B ) ( f ( . ) , f ( . + τ ) ) = 0 .   If f ∈ B p ( R , U )   , p ≥ 1   , then D p ( B ) ( f ( . ) , f ( . + τ ) ) → 0   as τ → 0   , therefore (in particular) for all functions f ∈ B ( R , R )   we have { f ( . ) + a : a ∈ R } ∈ A ( B )   .
For a measurable set T ⊆ R   let denote κ ( T ) = . κ ~ ( R \ T ) = lim b → + ∞ ¯ 1 2 b m e a s [ − b , b ] ⋂ T .   If T 1 , T 2 ⊆ R   are measurable sets, then κ ( T 1 ∪ T 2 ) ≤ κ ( T 1 ) + κ ( T 2 )   .
The following Theorem  3.1 is proved in Section 4 and its special case for the set F = { f }   , f ∈ B ( R , R )   , is essentially used in the proof of Theorem  2.1 .
Theorem 3.1. Let F ∈ A ( B )   , Δ > 0   , b > 0   . Then there exists b   -periodic function g ∈ C ( R , R )   , dependent on F   , Δ   and b   , for which ∥ g ∥ ∞ < Δ   , such that for every ε ∈ ( 0 , 1 ]   there is a number δ = δ ( ε , Δ ) > 0   such that for al l functions f ∈ F   the inequality κ ( { t ∈ R : | f ( t ) + g ( t ) | < δ } ) < ε   holds.
Proof of Theorem  2.1 . If M o d f = { 0 }   , then there is a constant function f 0 ( t ) ≡ f 0 ∈ U   , t ∈ R   , for which D ( B ) ( f ( . ) , f 0 ( . ) ) = 0   , therefore, there is a set T ∈ B ( R )   such that κ ~ ( T ) = 0   and ρ ( f ( t ) , f 0 ) < ε   for all t ∈ T   . From this (using the measurability of function f ( . )   ) we obtain the assertion to be proved (furthermore, T 1 = T   ). Next, suppose that M o d f ≠ { 0 }   . Let x j ∈ U   , j ∈ N   , be the points determined in Corollary  1.2 for the function f ∈ B ( R , U )   . By Corollary  1.1 , for all j ∈ N   we have ρ ( f ( . ) , x j ) ∈ B ( R , R )   and M o d ρ ( f ( . ) , x j ) ⊆ M o d f ( . )   . We choose a number b > 0   such that 2 π b ∈ M o d f   . Theorem  3.1 implies the existence of b   -periodic function g j ( . ) ∈ C ( R , R )   , j ∈ N   , such that ∥ g j ∥ ∞ < ε 3   and κ ( { t ∈ R : | ρ ( f ( t ) , x j ) − 2 ε 3 + g j ( t ) | < δ } ) → 0   as δ → + 0   (instead of functions g j   we could choose one function g 0 = g j   , j ∈ N   , but it doesn't change the proof ). Let T j ′ = { t ∈ R : ρ ( f ( t ) , x j ) + g j ( t ) ≤ 2 ε 3 }   , j ∈ N   . According to Lemma  1.8 , we get T j ′ ∈ B ( R )   and M o d T j ′ ⊆ M o d ρ ( f ( . ) , x j ) + 2 π b Z ⊆ M o d f ( . )   . If t ∈ T j ′   , then ρ ( f ( t ) , x j ) < ε   . We denote T 1 = T 1 ′   and T j = T j ′ \ ∪ k < j T k ′   for j ≥ 2   . The sets T j   , j ∈ N   , are disjoint and ∪ j ≤ N T j = ∪ j ≤ N T j ′   for all N ∈ N   . It follows from Lemma  2.1 that T j ∈ B ( R )   , M o d T j ⊆ M o d f   . Furthermore, ρ ( f ( t ) , x j ) < ε   for all t ∈ T j   , j ∈ N   , and for every N ∈ N   and a.e. t ∈ R \ ∪ j ≤ N T j   we have ρ ( f ( t ) , x j ) > ε 3   for all j = 1 , . . . , N   . Hence (see Corollary  1.2 ) m e a s R \ ∪ j T j = 0   and (see (1.1) for δ = ε 3   ) κ ~ ( ∪ j ≤ N T j ) → 0   as N → + ∞   , that is, { T j } ∈ M ( B ) ( M o d f )   . □  

4 Proof of Theorem  3.1 

Lemma 4.1. Let F ∈ A ( B )   , Δ > 0   . Then for any ε ∈ ( 0 , 1 ]   there exist numbers δ = δ ( ε , Δ ) > 0   and α ~ = α ~ ( ε , Δ , F ) > 0   such that for al l α ≥ α ~   and al l functions f ∈ F   κ ( { t ∈ R : | f ( t ) + Δ sin α t | < δ } ) < ε .  
  • Proof. Let us choose a number N = N ( ε ) ∈ N   for which ( N + 1 ) − 1 < ε 2   (then N ≥ 2   ). Let ε ′ = . 1 2 ε N − 1 ( N + 1 ) − 1 ≤ ε 12 < 1 , δ ′ = . 2 sin π 2 N sin π ε ′ 2 ,   δ = δ ( ε , Δ ) = . min { 1 , 1 3 δ ′ Δ } .   There is a number τ 0 = τ 0 ( ε , Δ , F ) > 0   such that the inequality D ( B ) ( f ( . ) , f ( . + τ ) ) < ε ′ δ   holds for all f ∈ F   and τ ∈ [ 0 , τ 0 ]   . We define the number α ~ = π τ 0 − 1   . Let 0 < τ ≤ τ 0   , α = . π τ − 1 ≥ α ~   . For all j = 1 , . . . , N   (and all functions f ∈ F   ) let us define the sets ℒ j ( f , τ ) = { t ∈ R : | f ( t + j N τ ) − f ( t ) | ≥ δ } .   We have κ ( ℒ j ( f , τ ) ) ≤ 1 δ lim b → + ∞ ¯ 1 2 b ∫ − b b min { 1 , | f ( t + j N τ ) − f ( t ) | } d t =   = 1 δ D ( B ) ( f ( . ) , f ( . + j N τ ) ) < ε ′ .   For j = 1 , . . . , N   we also consider the sets N j ( τ ) = { t ∈ R : | cos α ( t + j 2 N τ ) sin α j 2 N τ | ≤ δ ′ 2 } .   If t ∈ N j ( τ )   , then | cos ( α t + j π 2 N ) | ≤ 1 2 δ ′ sin − 1 π 2 N = sin π ε ′ 2 ,   therefore, the number t   belongs to one of closed intervals [ β s − , β s + ]   , s ∈ Z   , where β s ± = ( s + 1 2 ) π α − j π 2 N α ± π ε ′ 2 α ,   and hence κ ( N j ( τ ) ) ≤ ε ′   . In what follows, we shall suppose that the sets ℒ j ( f , τ )   contain (in addition) the numbers t ∈ R   for which at the least one of the functions f ( t )   , f ( t + j N τ )   is not defined (these numbers form the set of measure zero). Let ℒ ( f , τ ) = ⋃ j = 1 N ( ⋃ s = 0 N − j ( ℒ j ( f , τ ) − s N τ ) )   (here ℒ j ( f , τ ) − s N τ = { t = η − s N τ : η ∈ ℒ j ( f , τ ) }   ). Since κ ( ℒ j ( f , τ ) ) < ε ′   , j = 1 , . . . , N   , we get κ ( ℒ ( f , τ ) ) < 1 2 N ( N + 1 ) ε ′ = ε 4 .   If t ∈ R \ ℒ ( f , τ )   , then | f ( t + j 1 N τ ) − f ( t + j 2 N τ ) | < δ   for all j 1 , j 2 ∈ { 0 , 1 , . . . , N }   . Let N ( τ ) = ⋃ j = 1 N ( ⋃ s = 0 N − j ( N j ( τ ) − s N τ ) ) .   Since κ ( N j ( τ ) ) < ε ′   , j = 1 , . . . , N   , we also get κ ( N ( τ ) ) < 1 2 N ( N + 1 ) ε ′ = ε 4 .   If t ∈ R \ N ( τ )   , then for all j 1 , j 2 ∈ { 0 , 1 , . . . , N }   , j 1 < j 2   , we have | Δ sin α ( t + j 1 N τ ) − Δ sin α ( t + j 2 N τ ) | =   = 2 Δ | cos α ( t + j 1 N τ + j 2 − j 1 2 N τ ) sin α j 2 − j 1 2 N τ | > Δ δ ′ ≥ 3 δ .   Let G ( t ) = f ( t ) + Δ sin α t   , t ∈ R   . We define the set O ( f , τ ) = R \ ( ℒ ( f , τ ) ⋃ N ( τ ) ) .   For each t ∈ O ( f , τ )   either | G ( t + j N τ ) | ≥ δ   for all j = 0 , 1 , . . . , N   or there exists a number j 0 ∈ { 0 , 1 , . . . , N }   such that | G ( t + j 0 N τ ) | < δ   . Consider the minimal number j 0   for which the last inequality holds. If j 0 < N   , then for every j ∈ { j 0 + 1 , . . . , N }   we have | G ( t + j N τ ) − G ( t + j 0 N τ ) | ≥   ≥ | Δ sin α ( t + j N τ ) − Δ sin α ( t + j 0 N τ ) | − | f ( t + j N τ ) − f ( t + j 0 N τ ) | > 3 δ − δ = 2 δ ,   and therefore, | G ( t + j N τ ) | > δ   . We have got that in the case t ∈ O ( f , τ )   there is at most one number t + j N τ   , j = 0 , 1 , . . . , N   , such that | G ( t + j N τ ) | < δ   . Let P = { t ∈ R : | G ( t ) | < δ }   , χ ~ ( t ) = . ∑ j = 0 N χ P ( t + j N τ ) , t ∈ R .   We have lim b → + ∞ ¯ 1 2 b ∫ − b b χ ~ ( t ) d t = ( N + 1 ) κ ( P ) .   On the other hand, χ ~ ( t ) ≤ 1   for all t ∈ O ( f , τ )   , hence lim b → + ∞ ¯ 1 2 b ∫ − b b χ ~ ( t ) d t ≤   ≤ lim b → + ∞ ¯ 1 2 b ∫ [ − b , b ] ∩ O ( f , τ ) χ ~ ( t ) d t + lim b → + ∞ ¯ 1 2 b ∫ [ − b , b ] \ O ( f , τ ) χ ~ ( t ) d t ≤   ≤ 1 + ( N + 1 ) κ ( ℒ ( f , τ ) ⋃ N ( τ ) ) < 1 + 1 2 ( N + 1 ) ε .   Therefore, κ ( P ) < 1 N + 1 + ε 2 < ε   .
Corol lary 4.1. Let F ∈ A ( B )   , Δ > 0   . Then for any ε ∈ ( 0 , 1 ]   there exist numbers δ = δ ( ε , Δ ) > 0   and α ~ = α ~ ( ε , Δ , F ) > 0   such that forevery function g ∈ L ∞ ( R , R )   , for which ∥ g ∥ ∞ ≤ δ   , and for al l α ≥ α ~   and al l functions f ∈ F   κ ( { t ∈ R : | f ( t ) + Δ sin α t + g ( t ) | < δ } ) < ε .  
Proof of Theorem  3.1 . Let Δ 0 = Δ 2   , f 0 ( . ) = f ( . )   (for all functions f ∈ F   ). By Corollary  4.1 , there are numbers δ 0 = δ 0 ( Δ ) > 0   and α 0 = α 0 ( b , Δ , F ) ∈ 2 π b N   such that for all functions f 1 ( t ) = . f 0 ( t ) + Δ 0 sin α 0 t   , t ∈ R   , and all functions g ~ 1 ∈ L ∞ ( R , R )   , for which ∥ g ~ 1 ∥ ∞ ≤ δ 0   , the inequality
κ ( { t ∈ R : | f 1 ( t ) + g ~ 1 ( t ) | < δ 0 } ) < 2 − 1 (4.1)
holds, furthermore { f 1 ( . ) : f ∈ F } ∈ A ( B )   . We shall successively for j = 1 , 2 , . . .   find numbers Δ j = Δ j ( Δ ) > 0   , δ j = δ j ( Δ ) > 0   , α j = α j ( b , Δ , F ) ∈ 2 π b N   and functions f j + 1 ∈ B ( R , R )   dependent on f j   , Δ j   and α j   , for which { f j + 1 ( . ) : f ∈ F } ∈ A ( B )   . If the numbers Δ k   , δ k   , α k   and the functions f k + 1   have been found for all k = 0 , . . . , j − 1   , where j ∈ N   , then we choose the number Δ j = Δ j ( Δ ) > 0   such that the inequalities Δ j < 2 − ( j + 1 ) Δ   , Δ j ≤ 2 − j δ 0   , Δ j ≤ 2 − ( j − 1 ) δ 1   , . . .   , Δ j ≤ 2 − 1 δ j − 1   hold. Further (according to Corollary  4.1 ), choose numbers δ j = δ j ( Δ ) > 0   and α j = α j ( b , Δ , F ) ∈ 2 π b N   such that for all functions f j + 1 ( t ) = . f j ( t ) + Δ j sin α j t   , t ∈ R   , and all functions g ~ j + 1 ∈ L ∞ ( R , R )   , for which ∥ g ~ j + 1 ∥ ∞ ≤ δ j   , the inequality
κ ( { t ∈ R : | f j + 1 ( t ) + g ~ j + 1 ( t ) | < δ j } < 2 − j − 1 (4.2)
holds. Furthermore, we also have { f j + 1 ( . ) : f ∈ F } ∈ A ( B )   . Next, let us set g ( t ) = ∑ j = 0 + ∞ Δ j sin α j t , t ∈ R .   Since Δ 0 = Δ 2   and Δ j < 2 − ( j + 1 ) Δ   for all j ∈ N   , it follows that the function g ( . )   is continuous and b   -periodic. Moreover, ∥ g ∥ ∞ ≤ ∑ j = 0 + ∞ Δ j < Δ .   We define the functions g j ( t ) = ∑ k = j + ∞ Δ k sin α k t , t ∈ R , j ∈ N .   For all t ∈ R   we have | g j ( t ) | ≤ ∑ k = j + ∞ Δ k ≤ ∑ k = j + ∞ 2 − k + j − 1 δ j − 1 = δ j − 1 .   Hence, it follows from (4.1) and (4.2) that for all numbers j = 0 , 1 , . . .   (and all functions f ∈ F   ) the inequality κ ( { t ∈ R : | f ( t ) + g ( t ) | < δ j } < 2 − j − 1   holds. The proof of Theorem  3.1 is complete.
References

  1. A.M. Dolbilov, I.Ya. Shneĭberg. Almost periodic multivalued maps and their selections, Sibirsk. Mat. Zh., 32:2, 172–175, 1991. English transl. in Siberian Math. J., 32, 1991.
  2. L.I. Danilov. Almost periodic selections of multivalued maps, Izv. Otdela Mat. i Informat. Udmurtsk. Gos. Univ., Vyp. 1, Izhevsk 1993, pp. 16-78. (Russian)
  3. L.I. Danilov. On selections of multivalued almost periodic maps, Manuscript No. 2340–B95, deposited in VINITI 31.07.95, Moscow (1995). (Russian)
  4. L.I. Danilov. Measure-valued almost periodic functions and almost periodic selections of multivalued maps, Mat. Sb., 188:10, 3–24, 1997. English transl. in Sb. Math., 188, 1997.
  5. L.I. Danilov. On almost periodic multivalued maps, Mat. Zametki, 68:1, 82–90, 2000. English transl. in Math. Notes, 68, 2000.
  6. L.I. Danilov. On equi-Weyl almost periodic selections of multivalued maps, Preprint arXiv: math.CA/0310010, 2003.
  7. L.I. Danilov. On Weyl almost periodic selections of multivalued maps, Manuscript No. 981–B2004, deposited in VINITI 09.06.2004, Moscow (2004). (Russian)
  8. J. Andres. Bounded, almost-periodic and periodic solutions of quasilinear differential inclusions. In: ”Differential Inclusions and Optimal Control” (ed. by J.Andres, L.Górniewicz and P.Nistri), LN in Nonlin. Anal. 2, 35–50, 1998.
  9. J. Andres, A.M. Bersani, K. Leśniak. On some almost-periodicity problems in various metrics, Acta Appl. Math., 65:(1-3), 35–57, 2001.
  10. B.M. Levitan. Almost-periodic functions, Gostekhizdat, Moscow 1953. (Russian)
  11. J. Marcinkiewicz. Une remarque sur les espaces de M. Besicowitch, C. R. Acad. Sc. Paris. 1939. V. 208. Pp. 157-159.
  12. L.A. Lyusternik, V.I. Sobolev. A short course in functional analysis, Vysshaya Shkola, Moscow 1982. (Russian)
  13. L.I. Danilov. Uniform approximation of almost periodic functions in the sense of Stepanov. Izv. Vyssh. Uchebn. Zaved. Ser. Mat., 1998, No. 5, 10–18. English transl. in Russian Math. (Iz. VUZ), 42, 1998.
  14. L.I. Danilov. Uniform approximation of Stepanov almost periodic functions and almost periodic selections of multivalued maps, Manuscript No. 354–B2003, deposited in VINITI 21.02.2003, Moscow (2003). (Russian)
  15. L.I. Danilov. Uniform approximation of Stepanov almost periodic functions, Izv. Inst. Mat. i Informat. Udmurtsk. Gos. Univ., Vyp. 1 (29), Izhevsk 2004, pp. 33-48. (Russian)