The class of c-almost periodic functions defined on vertical strips in the complex plane

In this paper, we develop the notion of c-almost periodicity for functions defined on vertical strips in the complex plane. As a generalization of Bohr’s concept of almost periodicity, we study the main properties of this class of functions which was recently introduced for the case of one real variable. In fact, we extend some important results of this theory which were already demonstrated for some particular cases. In particular, given a non-null complex number c, we prove that the family of vertical translates of a prefixed c-almost periodic function defined in a vertical strip U is relatively compact on any vertical substrip of U, which leads to proving that every c-almost periodic function is also almost periodic and, in fact, cm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$c^m$$\end{document}-almost periodic for each integer number m.


Introduction
Let E be a complex Banach space and c ∈ C\{0}. It is said that a continuous function f : R → E is c-periodic if there exists w > 0 such that f (x + w) = c f (x) for all The first author was supported by 076 Bis/PG/Espagne/2020-2021 (Ministère de l'Enseignement Supérieur et de la Recherche Scientifique). The second and corresponding author was supported by PGC2018-097960-B-C22 (MCIU/AEI/ERDF, UE). x ∈ R. This concept, which was proposed in [1], extends the more known notions of anti-periodicity (with c = −1) and Bloch periodicity (with c depending on w in the form c = e ikw , k ∈ R), which constitute variants of the usual periodicity with practical relevance for engineering science (especially condensed matter physics). See also [2,10,13,14] for more information on these spaces of functions. In particular, it is easy to see that any anti-periodic function is also periodic (because of the fact that for all x ∈ R), and the class of Bloch (w, k)-periodic functions is equal to the class of anti-periodic functions when kw = π . In fact, if kw ∈ Q (put kw = p q , with p ∈ Z and q ∈ Z\{0}), then a Bloch (2πw, k)-periodic function f (x) is also periodic because of the fact that As a generalization of purely periodic functions defined on the set of the real numbers, H. Bohr introduced the concept of almost periodicity during the 1920's. A continuous function f : R → E, where E is a complex Banach space whose norm is denoted by · , is said to be almost periodic (in Bohr's sense) if for every ε > 0 there corresponds a number l = l(ε) > 0 such that any open interval of length l contains a number τ satisfying f (x + τ ) − f (x) ≤ ε for all real numbers x. The number τ described above is called an ε-almost period or an ε-translation number of f (x) and, equivalently, the property of almost periodicity means that the set of all ε-translation numbers of f (x) is relatively dense on the real line. We will denote as AP(R, C) the space of almost periodic functions in the sense of this definition (Bohr's condition). As in classical Fourier analysis, it can be seen that every almost periodic function is bounded and is associated with a Fourier series with real frequencies (see for example [3,5]). Shortly after its development, this theory acquired numerous applications to various areas of mathematics, from harmonic analysis to differential equations.
In connection with the notion of almost periodicity, Khalladi et al. [12] have recently considered the following generalization, which is called c-almost periodicity: a continuous function f : R → E (where E is a complex Banach space whose norm is denoted by · ) is said to be c-almost periodic if for every ε > 0 there corresponds a number l = l(ε) > 0 such that any open interval of length l contains a number τ It is clear that any c-periodic function is also c-almost periodic. The number τ described above is now called an (ε, c)-almost period or an (ε, c)-translation number of f (x). Hence c-almost periodicity means that the set of all (ε, c)-translation numbers of f (x) is relatively dense on the real line. We will denote as AP c (R, E) the space of c-almost periodic functions in the sense of this definition. Note that the case c = 1 leads to the space AP(R, E). Moreover, if c = −1 the functions in the space AP −1 (R, E) are called almost anti-periodic (in this respect, Cheban considered this notion in two papers [6,7] written around 1980). See also [2,10,13,14] for more information on these spaces of functions defined on the real line.
In this paper, we will extend the concept of c-almost periodicity to the case of functions defined on vertical strips of the complex plane (see Definition 1). For the case c = 1, this notion corresponds with the set AP(U , C) of almost periodic functions defined on a vertical strip of the form U = {z ∈ C : α < Re z < β}, with −∞ ≤ α < β ≤ ∞. This space, which was theorized in [4], has been widely studied in the literature as an extension of the real case (see for example Chapter 3 of the books [3,8] and the references [5,9,11,16]). As it can be seen, many properties of this space of functions are closely related to the theory of analytic functions.
Given an arbitrary c ∈ C\{0}, in comparison with the real case and the almost periodicity, we will establish in Sect. 2 the main properties of the space of c-almost periodic functions in a vertical strip U (see particularly Propositions 1, 3, 4 and Corollary 1). It is worth noting that, in general, this space of functions is not a vector space with the usual operations (see Example 2). However, many other properties associated with the class of almost periodic functions (such as Propositions 1, 2, 4, 7, Corollary 1 or Theorems 1, 2) are also true for this new class of c-almost periodic functions.
In Sect. 3, we will demonstrate that the set of all the values of a c-almost periodic function on any vertical substrip included in its domain is relatively compact in C (see Proposition 7), which represents an extension of [8,Theorem 6.5]. Moreover, we will prove that the family of vertical translates of a prefixed c-almost periodic function defined in U is relatively compact on the vertical substrips of U (see Theorem 2), which represents an extension of the necessary condition of [8,Theorem 6.6]. This will allow us to prove that every c-almost periodic function defined in U is also almost periodic and, in fact, c m -almost periodic for each m ∈ Z (see Proposition 3, point i), and Corollary 3). The proof of this result can be immediately adapted to the real case in order to state that AP c (R, C) is included in AP(R, C) for any c ∈ C\{0}, which constitutes an extension of a result proved by Khalladi et al. for the case |c| = 1 (see [12, Proposition 2.11 and comments above]).

The property of c-almost periodicity for the case of functions of a complex variable
Our starting point is the following definition which is based on the concept of c-almost periodicity for the case of functions defined on R (see [12,  Definition 1 Let f : U → C be a complex function continuous in a strip U = {z ∈ C : α < Re z < β}, with −∞ ≤ α < β ≤ ∞, and c ∈ C\{0}. Given ε > 0 and a reduced strip is called an (ε, c)-translation number of f (z) (or a c-translation number belonging to ε) associated with U 1 . The set of all (ε, c)-translation numbers of f (z) associated with a reduced strip U 1 ⊂ U will be denoted by E c { f (z), U 1 , ε} or simply E c { f (z), ε} (we will omit U 1 in the notation when it is clear from the context).
If the sets E c { f (z), U 1 , ε} are relatively dense for every prefixed ε > 0 and reduced strip U 1 ⊂ U (which means that there corresponds a number l > 0 such that every open interval of length l contains points in E c { f (z), U 1 , ε}), then the function f (z) will be called c-almost periodic in the strip U . We will denote as AP c (U , C) the set of c-almost periodic functions in the sense of this definition.
The case c = 1 of the set of the almost periodic functions defined on U will be also denoted as AP(U , C).
In the particular case that c = −1, it is said that f (z) is almost anti-periodic in the strip U .

Remark 1
Given c∈C\{0}, f ∈AP c (U , C) and ε > 0, note that the sets and we deduce from the continuity of f (z) that Remark 2 Let f : U → C be a complex function continuous in a strip U , c ∈ C\{0}, and take ε > 0 and U 1 = {z ∈ C : If c = 1 and U is an arbitrary vertical strip of the complex plane, it is straightforward to see that the non-zero constant functions are not c-almost periodic in U (but they are almost periodic in U ). However, if c is a unitary complex number, the exponential monomials of the form ae λz , with a ∈ C and λ ∈ R\{0}, are representative examples of c-almost periodic functions in U .

Example 1
Let c ∈ C be a complex number so that |c| = 1 (put c = e iθ c with θ c ∈ (−π, π]). Given an arbitrary vertical strip for all z ∈ U 1 . Hence the sets of the (ε, c)-translation numbers of f (z) (associated with every reduced strip of U ) are relatively dense.
Given c ∈ C\{0}, we next show that the sets AP c (U , C) and AP 1/c (U , C) are equal.
As usual, put z = x + iy. Note that a c-almost periodic function f (z) in a certain vertical strip U is also a c-almost periodic function of the real variable y on any vertical line included in U . That is, for every ε > 0 and an arbitrary x 0 ∈ (α, β), there corresponds a number l = l(ε) > 0 such that any open interval of length l contains a number τ satisfying | f (x 0 + i(y + τ )) − c f (x 0 + iy)| ≤ ε for all y. We next analyse the converse of this property.

Proposition 1 Let f : U → C be an analytic function in a certain vertical strip
By hypothesis, we can assure the existence of a positive number M such that | f (z)| ≤ M ∀z ∈ U 2 , which yields that for any τ 1 ∈ R. Also, by c-almost periodicity of f on the vertical line x = x 0 (included in the interior of U 1 ), we know that for every δ 1 > 0 there exists a relatively dense set For every value τ defined as above, by (1) and (2) the function given by g τ (z) is analytic in U and it satisfies the following inequalities: |g τ (z)| ≤ (1 + |c|)M for all z ∈ U 2 and |g τ (x 0 + iy)| ≤ δ 1 for all y ∈ R. Consequently, we can apply [3, p. 138] (or [8,Theorem 3.5]) in order to assure that to any ε > 0 (with ε < (1 + |c|)M) corresponds δ > 0 satisfying However, by taking δ 1 = δ in (2), it is clear that this last inequality is true for a relatively dense set of (δ, c)-translation numbers of f (x 0 + iy). Consequently, the set of (ε, c)-translation numbers of f (z) is also a relatively dense set of the real line, and f (z) is c-almost periodic in U .
As a consequence of the result above, we can establish in a simple way certain properties of the c-almost periodic analytic functions defined on vertical strips by using the corresponding properties of the c-almost periodic functions of a real variable.
In any case, we next show that every function in AP c (U , C) is bounded on any vertical substrip included in U .
This proves that f (z) is bounded in U 1 (and hence also in U 2 ).

Remark 3
In general, the boundedness of the function is not true in the whole strip As a consequence of the definition of c-almost periodicity and the proposition above, we obtain the following results.
Then the following properties are satisfied: is analytic in U , then all its derivatives are uniformly continuous in U 1 .
Proof (i) Fixed ε > 0 and a reduced strip U 1 = {z ∈ C : α 1 ≤ Re z ≤ β 1 } ⊂ U , take l the length associated with ε 1 = |c|ε 3 according to the definition of c-almost periodicity of f (z) in U 1 , which means that every open interval of length l > 0 contains an we know that f (z) is uniformly continuous on the compact set K = {z ∈ C : α 1 ≤ Re z ≤ β 1 , −1 ≤ Im z ≤ 1 + l}. Let δ < 1 be the positive number associated with ε 1 according to the property of uniform continuity of f (z) in K , i.e.
In this way, consider z 1 , z 2 ∈ U 1 with |z 1 − z 2 | < δ, and take a number which means that f is uniformly continuous on U 1 .

Corollary 2
Given c ∈ C\{0}, let f : U → C be a c-almost periodic function in a certain vertical strip U = {z ∈ C : α < Re z < β}, with −∞ ≤ α < β ≤ ∞. Then for every ε > 0 and reduced strip U 1 = {z ∈ C : α 1 ≤ Re z ≤ β 1 } ⊂ U there exist two positive numbers l and δ with the property that any interval of length l (of the real line) contains a subinterval of length δ whose points are (ε, c)-translation numbers of f (z) associated with U 1 .
Moreover, by c-almost periodicity, there exists a number l 1 > 0 such that every open interval of length l 1 contains an ( ε 2 , c)-translation number of f (z) associated with U 1 , i.e. a real number τ satisfying If τ ∈ [r , r + l 1 ] for some r ∈ R, then τ + h ∈ [r − δ 1 , r + l 1 + δ 1 ] for any real number h such that |h| < δ 1 . Thus we deduce from (3) and (4) that for every z ∈ U 1 . This means that every τ + h with |h| < δ 1 is an (ε, c)-translation number of f (z) associated with U 1 . Thus the result holds by taking l = l 1 + 2δ 1 and δ = 2δ 1 .
If f ∈ AP c (U , C) and h ∈ R, it is clear from the definition of c-almost periodicity that the function f (z + ih) is also in AP c (U , C). Among other properties, we next analyse the c-almost periodicity of the product by scalars, the complex conjugate, the real and imaginary part, and the multiplicative inverse (or reciprocal) of c-almost periodic functions.

Proposition 3
Given c ∈ C\{0}, let f : U → C be a c-almost periodic function in a certain vertical strip U = {z ∈ C : α < Re z < β}, with −∞ ≤ α < β ≤ ∞. Then the following properties are satisfied: is also a c m -almost periodic function in U for each m ∈ Z\{0}.
(ii) f (z) is a c m -almost periodic function in U for each m ∈ Z\{0}.
(iii) f (z) is a 1 c -almost periodic function in U (and hence a c m -almost periodic function in U for each m ∈ Z\{0}).
(iv) λ f (z) is a c m -almost periodic function in U for each m ∈ Z\{0} and λ ∈ C.
(v) f 2 (z) := ( f (z)) 2 is a c 2k -almost periodic function in U for each k ∈ Z\{0}. Proof Fix c ∈ C\{0} and f ∈ AP c (U , C). We first recall that, for every arbitrary ε > 0 and reduced strip U 1 = {z ∈ C : ε} (of all (ε, c)-translation numbers of f (z) associated with U 1 ) is relatively dense. So, fix ε > 0 and such a reduced strip U 1 ⊂ U . Note that every τ ∈ E c { f (z), ε/a} satisfies This shows that mτ ∈ E c m { f (z), ε}. Hence f (z) is a c m -almost periodic function in U . Finally, by Lemma 1, f (z) is also 1 c m -almost periodic function in U . This proves the result.
for all z ∈ U 1 , which proves that the multiplicative inverse, or reciprocal, of f (z) is in AP 1/c (U , C). Therefore, we deduce from i) that it is also in AP c m (U , C) for each m ∈ Z\{0}.
for all z ∈ U 1 , which proves that τ ∈ E c {Re( f (z)), ε}. The case Im f is analogous.
We next prove that the set AP c (U , C) is closed with respect to the topology of uniform convergence on the reduced strips of the vertical strip U .

Proposition 4
Given c ∈ C\{0}, let f n : U → C be a sequence of c-almost periodic functions in a certain vertical strip U = {z ∈ C : α < Re z < β}, with −∞ ≤ α < β ≤ ∞. If { f n (z)} n≥1 converges uniformly on the reduced strips of U to a function f : U → C, then f (z) is a c-almost periodic function in U .
Proof By hypothesis, given ε > 0 and a reduced strip U 1 ⊂ U , there exists n 0 ∈ N such that for each n ≥ n 0 and for all z ∈ U 1 .
Therefore, every τ in the set of ( ε 3 , c)-translation numbers of f n 0 (z) associated with U 1 satisfies which shows that τ in the set of (ε, c)-translation numbers of f (z) associated with U 1 . Thus the result holds.
Given an arbitrary c ∈ C\{0}, we already know that the set AP c (U , C) is closed with respect to product by scalars. However, generally speaking, we next show that it is not closed with respect to addition or multiplication and, therefore, it is not a vector space with the usual operations (except for the vector space AP(U , C) which corresponds with the case c = 1).

Close connections with Bohr's almost periodicity
We next show some important inclusions which extend some results incorporated in [12, Corollary 2.10 and Proposition 2.11].

Proposition 5 Let c be a non-zero complex number such that
where q ∈ N is so that arg c 2π = p q for a certain p ∈ Z such that ( p, q) = 1. In particular, under the same condition, the case |c| = 1 yields the inclusion AP c (U , C) ⊂ AP(U , C).
Proof Put arg c = 2π p q with p ∈ Z and q ∈ N so that ( p, q) = 1 (i.e. the greatest common divisor of p and q is equal to 1). Then c q = |c| q e qi arg c = |c| q e 2 pπi = |c| q . Let f ∈ AP c (U , C). By Proposition 3(i), it is accomplished that f ∈ AP c q (U , C) = AP |c| q (U , C), which proves the result.
Proof Let f ∈ AP c (U , C), and fix ε > 0 and a reduced strip U 1 = {z ∈ C : α 1 ≤ Re z ≤ β 1 } ⊂ U . We recall that, by Proposition 2, there exists M > 0 such that | f (z)| < M for all z ∈ U 1 . Suppose that arg c is not a rational multiple of π , which yields that e ni arg c = 1 for all n ∈ N. Now, choose n 1 , n 2 ∈ N such that |e n 2 i arg c − e n 1 i arg c | < ε 2M (note that the existence of n 1 and n 2 is assured in virtue of {e ni arg c : n ∈ N} ⊂ {z ∈ C : |z| = 1} and the length of the unit circumference is finite). Hence Take m ε = n 2 − n 1 . Then, by Proposition 3 which proves the result.
We already know some conditions under which it can be assured that the sets of c-almost periodic functions are also almost periodic in some vertical strips of the complex plane. However, we will improve these results in the subsequent development (see Corollary 3 at the end of this section).
For this purpose, we next show a result concerning the set of values of a c-almost periodic function on a vertical line, which extends [3, p. 144, 9 • . Theorem]. In this respect, given a function f (z) defined in a vertical strip U and a real number σ 0 ∈ U , consider the notation Img( f (σ 0 +it)) = {w ∈ C : ∃t ∈ R such that w = f (σ 0 +it)}, i.e. Img( f (σ 0 +it)) is the set of values assumed by f (z) on the straight line Re z = σ 0 . Theorem 1 Given c ∈ C\{0}, let f : U → C be an analytic c-almost periodic function in a certain vertical strip U = {z ∈ C : α < Re z < β}, with −∞ ≤ α < β ≤ ∞. Consider σ 0 ∈ (α, β) and take Img( f (σ 0 + it)) = {w ∈ C : ∃t ∈ R such that w = f (σ 0 + it)}. Then the function f (z) assumes all the values in the set of the accumulation points of Img( f (σ 0 + it)) in any vertical strip of the form {z ∈ C : σ 0 − δ < Re z < σ 0 + δ}, with δ > 0.
Proof Let w 0 be an accumulation point of the set Img( f (σ 0 + it)), and consider the function g(z) := f (z) − w 0 , z ∈ U . If g(z) vanishes at z = σ 0 + it for some t ∈ R, then the result is straightforward. Suppose that g(z) does not vanish at the vertical line x = σ 0 . Thus there exists a sequence of points of the form {σ 0 + it n } n≥1 such that {g(σ 0 + it n )} n≥1 tends to 0 as n goes to ∞ (hence {cg(σ 0 + it n )} n≥1 also tends to 0 as n goes to ∞). Now, take y 0 ∈ R such that ε = | f (σ 0 + iy 0 ) − z 0 | > 0, where z 0 = cw 0 (if y 0 did not exist, the set Img( f (σ 0 + it)) = {z 0 } would not have accumulation points). By c-almost periodicity, the set E c { f (z), ε/2} of the (ε/2, c)translation numbers of f (z) associated with the vertical line {z ∈ C : Re z = σ 0 } is relatively dense, which yields that there exists l ε > 0 such that any interval of length l ε in the vertical line x = σ 0 contains a point τ at which Thus Proposition 2). Consequently, by [3, p. 139, theorem], the function g(z) = f (z) − w 0 has zeros in U δ , which proves the result.
We next show that the set of all the values of a c-almost periodic function (in AP c (U , C)) on any vertical substrip of U is relatively compact in C, which represents an extension of [8, Theorem 6.5].

Proposition 7
Given c ∈ C\{0}, let f : U → C be a c-almost periodic function in a certain vertical strip U = {z ∈ C : α < Re z < β}, with −∞ ≤ α < β ≤ ∞. Then for any reduced vertical substrip V ⊂ U , the image set {w ∈ C : ∃z ∈ V such that w = f (z)} is relatively compact in C.
we can determine a positive integer number N such that for n, m ≥ N we have Finally, take an arbitrary z = x + iy ∈ U 1 , and let τ be an (ε, c)-translation number of f (z) (associated with U 1 ) with τ ∈ [−y, −y + l], which yields that y + τ ∈ [0, l] and z + iτ belongs to a certain subsquare of C l . Denote by p j the complex number in S 0 (corresponding with this subsquare) such that |z + iτ − p j | < δ. Consequently, if n, m ≥ N (recall that N does not depend on the point z ∈ U 1 ) then where (6) was used in the first and the last terms of the strict inequality, (7) in the second and fourth terms, and (8) in the third term. Hence the last inequality shows that the sequence { f (z +ih n, j n )} n≥1 satisfies Cauchy's condition for uniform convergence on U 1 (in fact, also on V = {z ∈ C : α 1 < Re z < β 1 } and any reduced strip of V ). We deduce from Proposition 4 that the limit function is in AP c (V , C). Consequently, the initial sequence of vertical translates { f h k (z)} k≥1 contains a subsequence that converges uniformly on every reduced strip (in AP c (V , C)), and the result holds.
It is known that Bohr's notion of almost periodicity of a function defined on R is equivalent to the relative compactness of the set of its translates with respect to the topology of the uniform convergence (see e.g. [3,16,17]). In the same terms, the property of relative compactness of the vertical translates, with respect to the topology of the uniform convergence on reduced strips, identifies the class of almost periodic functions defined on vertical strips of the complex plane. This means that the converse of Theorem 2 is only true for the case c = 1. Although this result is known, we provide their proof here for the sake of completeness. Proof The necessity is proved in Theorem 2 (which is also true for the case c = 1).
To prove the sufficiency, suppose by reductio ad absurdum that f is not an almost periodic function in the strip U . Thus there exists at least one real value ε > 0 and a reduced substrip U 1 ⊂ U such that for any l > 0 we can determine an interval of length l in the real line which does not contain any ε-translation number of f (z) (associated with U 1 ). Now, consider an arbitrary real number h 1 and an interval (a 1 , b 1 ) ⊂ R of length greater than 2|h 1 | which does not contain any ε-translation number of f (z) (associated with U 1 ). If we take h 2 = 1 2 (a 1 + b 1 ), then h 2 − h 1 ∈ (a 1 , b 1 ) and, consequently, h 2 − h 1 cannot be an ε-translation number of f (z) (associated with U 1 ). In the same way, there exists an interval (a 2 , b 2 ) ⊂ R of length greater than 2(|h 1 | + |h 2 |) which does not contain any ε-translation number of f (z) (associated with U 1 ). If we take h 3 = 1 2 (a 2 + b 2 ), this fact yields that h 3 − h 1 , h 3 − h 2 ∈ (a 2 , b 2 ) and hence h 3 − h 1 and h 3 − h 2 are not ε-translation numbers of f (z) (associated with U 1 ). If we reiterate this process in a similar manner, we construct a sequence of real numbers h 1 , h 2 , h 3 , . . . such that none of the differences h i − h j , i, j ≥ 1, is an ε-translation number of f (z) (associated with U 1 ). Therefore, for any i and j we have In fact, we know that there exists w 0 ∈ U 1 satisfying the inequality f (w 0 + i(h i − h j )) − f (w 0 ) > ε, which yields that the point z 0 = w 0 − ih j ∈ U 1 satisfies f (z 0 + ih i ) − f (z 0 + ih j ) > ε. Consequently, the sequence of vertical translates { f (z + ih n )} n≥1 does not contain any subsequence uniformly convergent on U 1 . This contradicts our hypothesis. Hence the result holds. Now, we formulate the following corollary of Theorem 2 and Lemma 2 which states that every c-almost periodic function in a vertical strip U is also almost periodic in U .

Remark 5
As a consequence of Corollary 3, we have proved that Proposition 3, point i), is also true for the case m = 0, i.e. if f ∈ AP c (U , C) then f ∈ AP c m (U , C) for each m ∈ Z.
It is worth noting that, mutatis mutandi, Theorem 2 can be analogously proved for the case of c-almost periodic functions f (x) defined on R (with respect to the topology of the uniform convergence on R). In this respect, the paper [12, p. 181] includes the statement that AP c (R, C) ⊂ AP(R, C) is true for the case |c| = 1 (see [12, Proposition 2.11 and comments above]). In our case, we have extended this result for every value c ∈ C\{0}. Corollary 4 Let c be a non-null complex number. Then AP c (R, C) ⊂ AP(R, C).

Remark 6
During the refereeing process, a reviewer informed us of the notion introduced in the ArXiv paper [15,Definition 2.6] in connection with our Definition 1, where it is necessary to use the identification of vertical strips in the complex plane with the corresponding subsets of the Euclidean space R 2 .