On Uniform Subalgebras of L on the Unit Circle Generated by Almost Periodic Functions arxiv:math/ v2 [math.cv] 15 May 2006

Transcription

1 On Uniform ubagebras of L on the Unit Circe Generated by Amost Periodic Functions arxiv:math/ v2 [math.cv] 15 May 2006 Aexander Brudnyi Department of Mathematics and tatistics University of Cagary, Cagary Canada Damir Kinzebuatov Department of Mathematics and tatistics University of Cagary, Cagary Canada Abstract In the present paper we introduce anaogs of amost periodic functions for the unit circe. We study certain uniform agebras generated by such functions, prove corona theorems for them and describe their maxima idea spaces. 1. Formuation of Main Resuts 1.1. The cassica amost periodic functions on the rea ine as first introduced by H. Bohr in the 1920s pay an important roe in various areas of Anaysis. In the present paper we define anaogs of amost periodic functions on the unit circe. We study certain uniform agebras generated by such functions. In particuar, we describe in these terms some uniform subagebras of the agebra H of bounded hoomorphic functions on the open unit disk D C, having, in a sense, the weakest possibe discontinuities on the boundary D. To formuate the main resuts of the paper we first reca the definition of amost periodic functions, see [B]. Research supported in part by NERC Mathematics ubject Cassification. Primary 30H05, econdary 46J20. Key words and phrases. Bounded hoomorphic function, amost periodic function, uniform agebra, maxima idea space, corona theorem. 1

2 Definition 1.1 A continuous function f : R C is caed amost periodic if, for any ǫ > 0, there exists (ǫ) > 0 such that for every t 0 R the interva [t 0,t 0 +(ǫ)] contains at east one number τ for which f(t) f(t+τ) < ǫ for a t R. It is we known that every amost periodic function f is uniformy continuous and is the uniform imit of a sequence of exponentia poynomias {q n } n N where q n (t) := n k=1 c kne iλ knt, c kn C, λ kn R, 1 k n, and i := 1. In what foows we consider D with thecountercockwise orientation. Fort 0 R et γ t k 0 (s) := {e i(t 0+kt) : 0 < t < s 2π} D, k { 1,1}, be two open arcs having e it 0 as the right or the eft endpoints with respect to the chosen orientation, respectivey. Let us define amost periodic functions on open arcs of D. Definition 1.2 A continuous function f k : γ t k 0 (s) C, k { 1,1}, is said to be amost periodic if the function f k : (,0) C, f k (t) := f k (e i(t 0+kse t) ), is the restriction of an amost periodic function on R. Exampe 1.3 The function e iλog t k 0, λ R, where og t k 0 (e i(t 0+kt) ) := nt, 0 < t < 2π, k { 1,1}, is amost periodic in the sense of this definition on γ t 1 0 (2π) = γ t 1 0 (2π). By AP( D) L ( D) we denote the uniform subagebra of functions f such that for each t 0 and any ǫ > 0 there are a number s := s(t 0,ǫ) (0,π) and amost periodic functions f k : γ t k 0 (s) C, k { 1,1}, such that esssup z γ t 1 0 (s) f(z) f 1 (z) < ǫ and esssup z γ t 1 0 (s) f(z) f 1 (z) < ǫ. (1.1) Let D be a nonempty cosed subset. By AP() AP( D) we denote the uniform agebra of functions from AP( D) continuous on D\. Fix a rea continuous function g on γ t 1 0 (2π) such that im t 0+ g(eit ) = 1, im t 2π g(eit ) = 0 and g(e it ) is decreasing for 0 < t < 2π. We set g t0 (e it ) := g(e i(t 0+t) ). Theorem 1.4 The agebra AP() is the uniform cosure in L ( D) of the agebra of compex poynomias in variabes g t0 and e iλog t k 0, λ R, e it 0, k { 1,1}. Let φ : D D be a C 1 diffeomorphism. By φ : C( D) C( D), φ (f) := f φ, we denote the puback by φ. et := φ(). As a consequence of Theorem 1.4 we obtain 2

3 Coroary 1.5 φ maps AP( ) isomorphicay onto AP() We say that a compex-vaued function g L ( D) has a discontinuity of the first kind at x 0, if the one-sided imits of g at x 0 exist but have distinct vaues. For a cosed subset D by R L ( D) we denote the uniform agebra of compex functions aowing discontinuities of the first kind at points of and continuous on D\. Eements from R are often referred to as reguated functions [D]. Ceary, R AP(). Aso, we wi show (see Lemma 3.1 beow) that R is the uniform cosure of the agebra generated by a possibe subagebras R F with finite F. Let M(AP()) be the maxima idea space of AP(), that is, the space of a characters (= nonzero homomorphisms AP() C) on AP() equipped with the weak -topoogy (aso known as the Gefand topoogy) inherited from (AP()). By definition, M(AP()) is a compact Hausdorff space. The main resut formuated in this section describes the topoogica structure of M(AP()). Let us consider continuous embeddings of uniform agebras C( D) R AP(). The dua maps to these embeddings determine continuous surjective maps of the corresponding maxima idea spaces: M(AP()) r M(R ) c M(C( D)) = D. Theorem 1.6 (1) For each z preimage c 1 (z) consists of two points z + and z which are naturay identified with countercockwise and cockwise orientations of D at z. (2) c : M(R )\c 1 () D\ is a homeomorphism. 3

4 Figure 1. For a given = {z 1,z 2,z 3,z 4 } we have the homeomorphism c of M(R )\{z 1+,z 1,z 2+,z 2,z 3+,z 3,z 4+,z 4 } and D\{z 1,z 2,z 3,z 4 } where c (z i+ ) = c (z i ) = z i. (3) c 1 () M(R ) is a totay disconnected compact Hausdorff space. (4) For each ξ c 1 () preimage r 1 (ξ) is homeomorphic to the Bohr compactification br of R. (5) The map r : M(AP())\(c r ) 1 () M(R ) \ c 1 () = D \ is a homeomorphism. Figure 2. Given an n point set, the maxima idea space M(AP()) is the union of D\ and 2n Bohr compactifications of R that can be viewed as infinite dimensiona tori, where the spiras joining the arcs and the tori are meant to indicate (in a figurative manner) that there is an infuence of the topoogy of the Bohr compactifications on the topoogy of the arcs. 4

5 Let us reca that br is a compact abeian topoogica group homeomorphic to the maxima idea space of the agebra of continuous amost periodic functions on R. Aso, it foows straightforwardy from (2)-(5) that (6) The covering dimension of M(AP()) is. (7) For a continuous map φ : T (c r ) 1 () of a connected topoogica space T, there is a point ξ c 1 () such that φ(t) r 1 (ξ) By A 0 H we denote the disk-agebra, i.e., the agebra of functions continuous on the cosure D and hoomorphic in D. Aso, by f D we denote the boundary vaues of f C(D) (in case they exist). In the present part we describe uniform subagebras of H generated by amost periodic functions. These subagebras contain A 0 and have, in a sense, the weakest possibe discontinuities on D. uppose that contains at east 2 points. By A H we denote the uniform cosure of the agebra generated by A 0 and by hoomorphic functions of the form e f where Ref D is a finite inear combination with rea coefficients of characteristic functions of cosed arcs whose endpoints beong to. If consists of a singe point we determine A H to be the uniform cosure of the agebra generated by A 0 and functions ge λf, λ R, where Ref D is the characteristic function of a cosed arc with an endpoint at and g A 0 is a function such that ge f has discontinuity on ony. In the foowing resut we naturay identify A and H with the agebras of their boundary vaues. Theorem 1.7 A = AP() H. Remark 1.8 uppose that F D contains at east 2 points. Let e λf A, λ R, where Ref is the characteristic function of an arc [x,y] with x,y. Let φ x,y : D H + be the biinear map onto the upper haf-pane that maps x to 0, the midpoint of the arc [x,y] to 1 and y to. Then there is a constant C such that e λf(z) = e iλ π Log φx,y(z)+λc, z D, where Log denotes the principa branch of the ogarithmic function. Thus from Theorem 1.7 it foows that the agebra AP() H is the uniform cosure of the agebra generated by A 0 and the functions e iλ(log φx,y), λ R, x,y. The foowing exampe shows that if is an infinite set, A does not coincide with the agebra generated by functions e f where Ref R (the corresponding arguments are presented in section 4.3). Exampe 1.9 Assume that a cosed subset D contains 1, 1 and a sequence {e it k }k N, t k (0,π/2), converging to 1. Let {α k } k N be a sequence of positive numbers satisfying the condition n k=1 α k = 1. By χ k we denote the characteristic function of the arc γ k := {e it : t k t π}. Consider the function u(z) := n α k χ k (z), z D. k=1 5

6 Ceary, u R. Let h be a hoomorphic function on D such that Reh D = u. Then e h H \A. However, for any f A 0 such that f(1) = 0 we have fe h A. Remark 1.10 It seems to be natura that a function f H has the weakest possibe discontinuities on D if f D R. However, from the cassica Lindeöf theorem [L] it foows that any such f in fact beongs to A 0. Moreover, the same concusion is obtained even from the fact that Ref D R for f H. In particuar, if f is hoomorphic on D and Ref D is correcty defined and beongs to R \ C( D), then f H. 1 Nevertheess, e f H, which party expains the choice of the object of our research. Let M(A ) be the maxima idea space of A. ince evauation functionas z(f) := f(z), z D, f A, beong to M(A ) and A separates points on D, there is a continuous embedding i : D M(A ). In the seque we identify D with i (D). Then the foowing corona theorem is true. Theorem 1.11 D is dense in M(A ). Remark 1.12 Let us reca that the corona theorem is equivaent to the foowing statement, see, e.g., [G, Chapter V]: For any coection of functions f 1,...,f n A satisfying the corona condition there are functions g 1,...,g n A such that max f j(z) δ > 0, z D, (1.2) 1 j n f 1 g f n g n = 1. (1.3) Finay we formuate some resuts on the structure of M(A ). ince A 0 A, there is a continuous surjection of the maxima idea spaces a : M(A ) M(A 0 ) = D. Reca that the Šiov boundary of A is the smaest compact subset K M(A ) such that for each f A sup f(z) = sup f(ξ). z M(A ) ξ K Here we assume that every f A is aso defined on M(A ) where its extension to M(A )\D is given by the Gefand transform: f(ξ) := ξ(f), ξ M(A ). Theorem 1.13 (1) a : M(A )\a 1 () D\ is a homeomorphism. (2) The Šiov boundary K of A is naturay homeomorphic to M(AP()). Under the identification of K and M(AP()) one has a K = r c. 1 In this case f D BMO( D) with f BMO( D) c Ref D L ( D) for some absoute constant c > 0. 6

7 (3) For each z, the preimage a 1 (z) is homeomorphic to the maxima idea space of the agebra AP O (Σ) of uniformy continuous amost periodic functions on the strip Σ := {z C : Imz [0,π]} hoomorphic at interior points of Σ. In the next section we describe the topoogica structure of the maxima idea space M(AP O (Σ)) of AP O (Σ). We show that this space is equipped with a natura compex structure. imiary each fibre a 1 (z), z, has a natura compex structure so that the homeomorphisms in Theorem 1.13(3) are anaytic with respect to these structures. In a forthcoming paper we present simiar resuts for agebras of bounded hoomorphic functions on open poydisks generated by amost periodic functions. 2. Maxima Idea pace of the Agebra AP O (Σ) 2.1. The construction presented beow is rather genera and can be defined for Gaois coverings of compex manifods with boundaries (cf. [Br]). However, we restrict ourseves to the case of coverings of annui reated to the subject of our paper. Consider the annuus R := {z C : e 2π2 z 1}. Its universa covering can be identified with Σ so that e : Σ R, e(z) := e 2πiz, z Σ, is the covering map. We can aso regard Σ as a principa bunde on R with fibre Z (see, e.g., [H] for the corresponding topoogica definitions). To specify, consider a cover of R by reativey open simpy connected sets U 1 and U 2. Then e 1 (U k ) can be identified with U k Z, k = 1,2. Aso, there is a continuous map c 12 : U 1 U 2 Z such that R is isomorphic (in the category of compex manifods with boundaries) to the quotient space of (U 1 Z) (U 2 Z) under the equivaence reation: U 1 Z (z,n) (z,n+c 12 (z)) U 2 Z for a z U 1 U 2 and n Z. Let bz be the Bohr compactification of Z. Then the action of Z on itsef by transations can be extended naturay to the action on bz: ξ ξ +n, ξ bz, n Z. By E(R,bZ) we denote the principa bunde on R with fibre bz defined as the quotient of (U 1 bz) (U 2 bz) under the equivaence reation: U 1 bz (z,ξ) (z,ξ +c 12 (z)) U 2 bz for a z U 1 U 2 and ξ bz. Ceary E(R, bz) is a compact Hausdorff space in the quotient topoogy induced by that of (U 1 bz) (U 2 bz). Aso, the projection p : E(R,bZ) R is defined by the natura projections U k Z U k, k = 1,2, onto the first coordinate. Next, the natura oca injections U k Z U k bz, k = 1,2, determine an injection i 0 : Σ E(R,bZ) such that p i 0 = e. Moreover, i 0 (Σ) is dense in E(R,bZ), because Zis dense in bz (inthetopoogyof bz). imiary, onedetermines aninjectioni ξ : Σ E(R,bZ), ξ bz, bytheformuai ξ ((z,n)) := (z,ξ+n), z U k, n Z, k = 1,2. ince, by definition, ξ +Z is dense in bz, the image i ξ (Σ) is dense in E(R,bZ) for any ξ. Moreover, E(R,bZ) = ξ i ξ (Σ) where the union is taken over a ξ whose images in the quotient group bz/z are mutuay distinct. Observe aso that every i ξ is a continuous map and ocay is an embedding. 7

8 Definition 2.1 A continuous function f on E(R, bz) is said to be hoomorphic if every function f i ξ is hoomorphic in interior points of Σ. By O(E(R,bZ)) C(E(R,bZ)) we denote the Banach agebra of hoomorphic functions on E(R, bz). Remark 2.2 Using a norma famiy argument and the fact that i ξ (Σ) is dense in E(R,bZ) one can easiy show that f C(E(R,bZ)) is hoomorphic if and ony if there is ξ bz such that f i ξ is hoomorphic in interior points of Σ Let us reca that f AP O (Σ) if f is uniformy continuous with respect to the Eucidean metric on Σ, hoomorphic in interior points of Σ and its restriction to each straight ine parae to the x-axis is amost periodic. In the foowing emma we identify Σ with i 0 (Σ) E(R,bZ). Lemma 2.3 Every f AP O (Σ) admits a continuous extension to a hoomorphic function f on E(R,bZ). Moreover, the correspondence : AP O (Σ) O(E(R,bZ)), f f, determines an isomorphism of Banach agebras. Proof. Using the Pontryagin duaity [P] one can easiy show that the cosure of Z in br, the Bohr compactification of R, is isomorphic to bz. In particuar, restrictions to Z of amost periodic functions on R are amost periodic functions on Z and the agebra generated by extensions of such functions to bz separates points on bz. Let us identify naturay every p 1 (U k ) with U k bz, and every e 1 (U k ) with U k Z ( U k bz), k = 1,2, and regard f e 1 (U k ), f AP O (Σ), as a bounded function f k C(U k Z). Then, f k is (a) hoomorphic in interior points of U k Z, (b) uniformy continuous on U k Z with respect to the semi-metric r(v 1,v 2 ) := z 1 z 2 on U k Z where v 1 = (z 1,n 1 ), v 2 = (z 2,n 2 ) U k Z and is the Eucidean norm on C, (c) f k {z} Z is amost periodic on Z for every z U k. To prove the emma it suffices to show that (1) There is a continuous function f k on U k bz such that f k Uk Z = f k, for every ξ bz, the function f k Uk {ξ} is hoomorphic in interior points of U k and sup Uk bz f k = sup Uk Z f k. (2) If f O(E(R,bZ)), then f Σ AP O (Σ). (1) ince for every z U k the function f kz (n) := f k (z,n) is amost periodic on Z, there is a continuous function f kz onbz which extends f kz. We set f k (z,ξ) := f kz (ξ), ξ bz and prove that f k is continuous. In fact, take a point w = (z,ξ) U k bz and a number ǫ > 0. By the uniform continuity of f k, there is δ > 0 such that for any pair of points v 1 = (z 1,n) and v 2 = (z 2,n) from U k Z with z 1 z 2 < δ one has f(z 1,n) f(z 2,n) < ǫ/3. Define a neighbourhood U z of z U k by U z := 8

9 {z U k : z z < δ}. Further, by the definition of f kz, there is a neighbourhood U ξ bz of ξ such that for any η U ξ we have f kz (η) f kz (ξ) < ǫ/3. Consider U w := U z U ξ. Then U w is an open neighbourhood of w U k bz. Note that f kz f kz is an amost periodic function on Z and for any z U z its supremum norm is < ǫ/2. This impies that f kz (η) f kz (η) < ǫ/2 for each η bz. In particuar, for any (x,η) U w we have f k (x,η) f k (z,ξ) f kx (η) f kz (η) + f kz (η) f kz (ξ) < ǫ. This shows that f k is continuous at every w U k bz. Now, we show that f Uk {ξ} is hoomorphic in interior points of U k for every ξ bz. ince f k is uniformy continuous on the compact set U k bz, for any ǫ > 0 there is n ǫ Z such that sup z Uk f k (z,ξ) f k (z,n ǫ ) < ǫ. In particuar, fk (,ξ) is the imit in C(U k ) of the sequence {f k (,n 1/ )} 1 of bounded continuous functions hoomorphic on the interior of U k. Thus f k Uk {ξ} is aso hoomorphic on the interior of U k. Note that the equaity sup Uk bz f k = sup Uk Z f k foows directy from the definition of f k. This competes the proof of (1). (2) uppose that f O(E(R,bZ)). We must show that f Σ AP O (Σ). To this end it suffices to show that for every ine L := {z C : Imz = t [0,π]}, the function f L is amost periodic. (The uniform continuity of f Σ with respect to the Eucidean metric on C foows easiy from the uniform continuity of f on E(R,bZ).) By definition the image := e(l) R is a circe and e L : L is the universa covering. Consider the compact set p 1 () E(R,bZ). ince the function f p 1 () is continuous and bz br, given ǫ > 0 there are a finite open cover (V n ) 1 n m of by sets homeomorphic to open intervas in R and continuous amost periodic functions f n on L, 1 n m, such that sup f n (z) f(z) < ǫ. (2.1) z e 1 (V n),1 n m Let {ρ n } 1 n m be a continuous partition of unity subordinate to (V n ) 1 n m. We pu back it to L by e and by ρ n (:= e ρ n ), 1 n m, denote the obtained functions. ince each ρ n is periodic on L, it is amost periodic, as we. Let us define the function f ǫ on L by the formua f ǫ (z) := m ρ n (z)f n (z). Then ceary f ǫ is a continuous amost periodic function on L and by (2.1) n=1 sup f ǫ (z) f(z) < ǫ. z L This shows that f admits uniform approximation on L by continuous amost periodic functions and therefore f L is amost periodic, as we. 9

10 The emma has been proved In this part we prove the corona theorem for the agebra AP O (Σ). Reca that M(AP O (Σ)) stands for its maxima idea space. It is we known that every f AP O (Σ) can be approximated uniformy on Σ by poynomias in e iλz, λ R, see, e.g., [JT]. Then using the inverse imit construction for maxima idea spaces of uniform agebras, see [R], one obtains that the base of topoogy of M(AP O (Σ)) is generated by functions e iλz. Namey, the base of topoogy on M(AP O (Σ)) consists of open sets of the form U(λ 1,...,λ,ξ,ǫ) := {η M(AP O (Σ)) : max 1 k e λ k (η) e λk (ξ) < ǫ} where e λ is the extension of e iλz to M(AP O (Σ)) by means of the Gefand transform. Theorem 2.4 Σ is dense in M(AP O (Σ)) in the Gefand topoogy. Proof. Assume that the corona theorem is not true for AP O (Σ), that is, Σ is not dense in M(AP O (Σ)). Then there exist ξ M(AP O (Σ)) and its neighbourhood U(λ 1,...,λ,ξ,ǫ) such that U(λ 1,...,λ,ξ,ǫ) c(σ) = ; here c(σ) is the cosure of Σ in M(AP O (Σ)). Denoting c k := e λk (ξ), 1 k, we have max 1 k eiλ kz c k ǫ > 0 for a z Σ. (2.2) Ceary, every function e iλ kz c k, 1 k, has at east one zero in Σ. (For otherwise, if, say, e iλ kz c k has no zeros on Σ, then the function g k (z) := 1 e iλ k z c k, z Σ, obviousy beongs to AP O (Σ) and g k (z)(e iλ kz c k ) = 1 for a z Σ, a contradiction to our assumption.) In particuar, since soutions of the equation are given by e iλ kz = c k, λ k 0, z = in c k + Argc k +2πs, s Z, λ k λ k they a beong to Σ. Further, without oss of generaity we may assume that a λ k > 0. Indeed, if some λ k < 0, we can repace the function e iλkz c k by e iλkz 1 c k (observe that c k 0 by the above argument) so that the new famiy of functions aso satisfies (2.2) (possiby with a different ǫ) and extensions of these functions to M(AP O (Σ)) vanish at ξ. ince a these functions have zeros in Σ and satisfy (2.2) there, we have max 1 k eiλ kz c k ǫ > 0, for a z H + where H + C is the open upper haf-pane, and a e iλ kz c k, λ k R +, are amost periodic on H +. From the ast inequaity by the Bötcher corona theorem [Bö] we 10

11 obtain that there exist hoomorphic amost periodic functions g 1,...,g on H + such that g k (z)(e iλkz c k ) = 1 for a z H +. k=1 Thus taking the restrictions of these functions to Σ we obtain a contradiction to our assumption. This competes the proof of the corona theorem for AP O (Σ). Coroary 2.5 E(R,bZ) is homeomorphic to M(AP O (Σ)). Proof. By Lemma 2.3 there exists a continuous embedding i of E(R, bz) into M(AP O (Σ)). ince Σ is dense in E(R,bZ) and i(σ) is dense in M(AP O (Σ)) by the corona theorem, i is a homeomorphism. Remark 2.6 (1) According to our construction, the cosure of R in E(R, bz) coincides with br. In fact, this cosure is E( D,bZ), the principa bunde on D with fibre bz obtained as the restriction of E(R,bZ) to D. ince R is homotopicay equivaent to D, by the covering homotopy theorem E(R, bz) is homotopicay equivaent to br = E( D,bZ). (2) Observe aso that the covering dimension of br is, because br is the inverse imit of rea tori whose dimensions go to. Therefore the covering dimension of M(AP O (Σ)) = E(R,bZ) is aso. (3) Finay, it is easy to show that the Šiov boundary of AP O(Σ) is E(R,bZ) R, the restriction of E(R,bZ) to the boundary R of R, and is homeomorphic to br br. 3. Proofs of Theorems 1.4, 1.6 and Coroary Proof of Theorem 1.4. Let f AP(). ince D is a compact set, given ǫ > 0 there are finitey many points z := e it D, numbers s (0,π) and amost periodic functions f k : γ t k (s ) C, k { 1,1}, 1 n, such that n (γ t 1(s ) γ t 1 (s )) = D\{z 1,...,z n } and for a 1 n =1 esssup f(z) f1(z) < ǫ z γ t 1(s ) 2, ess sup z γ t 1 (s ) f(z) f 1(z) < ǫ 2. (3.1) We set U := γ t 1 (s ) γ t 1(s ) {z }. Then U = (U ) n =1 is a finite open cover of D. Let {ρ } n =1 be a continuous partition of unity subordinate to U such that suppρ U and ρ (z ) = 1, 1 n. Consider the functions f on D \ {z } defined by the formuas ρ (z)f 1(z), if z γ t 1(s ), f (z) := ρ (z)f1 (z), if z γ t 1(s ). 11

12 ince f is continuous outside z and coincides with f 1 and f 1 in a neighbourhood of z, it beongs to AP(). Moreover, n f f L ( D) < ǫ 2. (3.2) =1 Thusinordertoprovethetheoremitsuffices toapproximateevery f bypoynomias in g t and e iλog t k, k { 1,1}, λ R. uppose first that z. ince f is continuous outside the compact set, we can choose the above cover U and the famiy of functions {fk m} 1 m n, k { 1,1}, such that in the U the functions fk, k { 1,1}, have the same imit at z. This impies the continuity of f on D. Next, consider the uniform agebra C(g t ) over C generated by the function g t. ince by our definition g t separates points on D\{z }, the maxima idea space of C(g t ) is homeomorphic to the cosed interva ( D \ {z }) {z k}, k { 1,1}, with endpoints z 1 and z 1 identified with the countercockwise and cockwise orientations at z. Ceary every continuous function on D is extended to the maxima idea space of C(g t ) as a continuous function having the same vaues at z 1 and z 1. Thus by the tone-weierstrass theorem f can be uniformy approximated on D\{z } by compex poynomias in g t. Now, suppose that z. Choose some s (0,s ). By AP {z }(s) we denote the uniform agebra of compex continuous functions on D \ {z } amost periodic on the open arcs γ t k (s), k { 1,1}. (ince s (0,π), the cosures of these arcs are disjoint.) By M {z }(s) we denote the maxima idea space of AP {z }(s). Then D \ {z } is dense in M {z }(s) (in the Gefand topoogy). Note that the space M {z }(s) is constructed as foows. Consider the Bohr compactification br of R. We identify the negative ray R in R br with γ (s) D by means of the map t t 1 ei(t +se t), t R. imiary, consider another copy of br and identify R ( R) in this copy with γ t (s) D 1 by means of the map t e i(t se t), t R. On the identified sets we introduce the topoogyinducedfrombr andon D\(γ t 1(s) γ t 1(s))thetopoogyisinduced from D. Then the quotient space of br br D under these identifications coincides with M {z }(s). Next, reca that by definition the agebra AP({z }) is the uniform cosure in C( D \ {z }) of the agebra generated by the agebras AP {z }(s), s (0,s ). By M(AP({z })) we denote the maxima idea space of AP({z }). ince for any s < s we have incusions i s s : AP {z }(s ) AP {z }(s ), the space M(AP({z })) is the inverse imit of the spaces M {z }(s) (here the maps p s s : M {z }(s ) M {z }(s ) in the definition of this imit are defined as the dua maps to i s s ). Aso, D\{z } is dense inm(ap({z }))inthegefandtopoogy. ince by thedefinition thefunctions f, e iλog t k and g t admit the continuous extensions (denoted by the same symbos) to M(AP({z })), it suffices to show that the extended functions e iλog t k, g t separate points on M(AP({z })). Then we wi appy the tone-weierstrass theorem to get a compex poynomia p in variabes e iλog t k and g t which uniformy approximates f on M(AP({z })) with an error < ǫ/2n. Therefore, n =1 p wi approximate f in L ( D) with an error < ǫ. 12

13 oetusshowthatthefunctionse iλog t k, g t separatepointsonm(ap({z })). By p s : M(AP({z })) M {z }(s) we denote the continuous surjection determined by theinverse imitconstruction. First, weconsider distinct pointsx,y M(AP({z })) for which there is s (0,s ) such that p s (x) and p s (y) are distinct and beong to one of the Bohr compactifications of R in M {z }(s), say, e.g., to the compactification obtained by guing R with γ t 1(s). ince in this case the functions e iλog t 1 extended to br are identified with the extensions to br of functions c λs e iλt on R, c λs := e iλns, by the cassica Bohr theorem there is λ 0 R such that the extension of e iλ 0og t 1 to br separates p s (x) and p s (y). o, the extension of e iλ 0og t 1 to M(AP({z })) separates x and y. uppose now that x and y are such that p s (x) and p s (y) beong to different Bohr compactifications of R for a s. This impies that x and y are imit points of the sets γ t k(x) (s) and γ t k(y) (s) for some s (0,s ) with k(x) k(y) and k(x),k(y) { 1,1}. Then the function g t by definition equas 1 at one of the points x, y and 0 at the other one. Finay, assume that x M(AP({z })) \ D and y D \ {z }. Then g t (x) equas either 0 or 1 and g t (y) differs from these numbers because g t is decreasing on D\{z }. Thus we have proved that the famiy of functions e iλog t k, g t separate points on M(AP({z })). This competes the proof of the theorem Proof of Coroary 1.5. According to Theorem 1.4 it suffices to prove that for functions g t0 and e iλog t k 0, λ R, z 0 := e it 0 := φ(), k { 1,1}, the corresponding functions φ (g t0 ) and f := φ (e iλog t k 0) beong to AP(). ince g t0 R {z0 }, the statement is trivia for φ (g t0 ). Without oss of generaity we may assume that φ preserves the orientation on D. Let e i t 0 := φ 1 (z 0 ). Then we have φ(e i( t 0 +t) ) = e i(t 0+ φ(t)), t [0,2π], where φ : [0,2π] [0,2π] is a C 1 diffeomorphism and φ(0) = 0. We set c := φ (0). By the definition on the open arcs γ t (s) for t (,0) we obtain k 0 f(t) := f(e i( t 0 +kse t) ) = e iλn φ(se t )) = e iλn(cset +o(se t )) = e i(λn(cs)+o(1)) e iλt, as s 0. ince f is continuous outside e i t 0, the atter impies that f AP() Proof of Theorem 1.6. We begin with the foowing Lemma 3.1 The agebra R is the uniform cosure of the agebra generated by the agebras R {z} for a possibe z. (For = D a simiar statement first was proved by Dieudonne [D]). Proof. Consider a reguated function f R. ince D is a compact set, by the definition of R for any ǫ > 0 there are finitey many points z := e it D, numbers 13

14 s (0,π) and constant functions f k : γ t k (s ) C, k { 1,1}, 1 n, such that n (γ t 1(s ) γ t 1 (s )) = D\{z 1,...,z n } and for a 1 n =1 esssup f(z) f1 (z) < ǫ, z γ t 1(s ) ess sup z γ t 1 (s ) f(z) f 1 (z) < ǫ. We set U := γ t 1 (s ) γ t 1(s ) {z }. Then U = (U ) n =1 is a finite open cover of D. Let {ρ } n =1 be a continuous partition of unity subordinate to U such that suppρ U and ρ (z ) = 1, 1 n. Consider the functions f on D \ {z } defined by the formuas ρ (z)f 1 (z), if z γ t 1 (s ), f (z) := ρ (z)f1 (z), if z γ t 1(s ). If z, then by definition f R {z }. If z, then since f is continuous outside the compact set, we can choose the above cover U and the famiy of functions {fk m} 1 m n, k { 1,1}, such that in the U the functions fk, k { 1,1}, have the same imit at z. This impies the continuity of f on D, i.e., f R {z }, as we. Aso, we have n f f L ( D) < ǫ. =1 This competes the proof of the emma. Let F 1 F 2 be finite subsets of. Then we have the natura injection i F1 F 2 : R F1 R F2. Passing to the map dua to i F1 F 2 we obtain a continuous map of the corresponding maxima idea spaces: p F1 F 2 : M(R F2 ) M(R F1 ). Now the famiy {(M(R F1 ),M(R F2 ),p F1 F 2 )} F1 F 2 determines an inverse imit system whose imit according to Lemma 3.1 coincides with M(R ). By p F : M(R ) M(R F ), F is finite, we denote the imit maps determined by this imit. Then we have c F p F = c. (3.3) Let F consist of n points. Then D \ F is a disjoint union of open arcs γ k, 1 k n. Consider a rea function g F on D having discontinuities of the first kind at points F and continuous outside F such that the g F : D \ F R is an injection and g F ( D\F) is the union of open intervas whose cosures are mutuay disjoint. Then an argument simiar to that used in the proof of Theorem 1.4 (see the case z / there) shows that R F = C(g F ), the uniform agebra in L ( D) generatedbyg F. ThisimpiesthatM(R F )isnaturayhomeomorphictothedisjoint union of cosures γ k of γ k, 1 k n, and c F : M(R F ) D maps identicay every γ k in this union to γ k D. ince c F is continuous, for every z F the preimage c 1 F (z) consists of two points z + and z that can be naturay identified 14

15 with countercockwise and cockwise orientations of D at z. Thus we obtain proofs of statement (1)-(3) of the theorem for a finite subset F. To prove the genera case we use (3.3). Assume that for some z D the preimage c 1 (z) contains at east three points x 1, x 2 and x 3. Then by the definition of the inverse imit, there is a finite subset F such that p F (x 1 ), p F (x 2 ) and p F (x 3 ) are distinct points in M(R F ). ince by (3.3) the images of these points under c F coincide with z, from the case estabished above for M(R F ) we obtain that c 1 F (z) consists of at most two points, a contradiction. Thus c 1 (z) consists of at most 2 points for every z D. Assume now that z. Let F be a finite subset containing z. Then the preimage c 1 F (z) consists of two points. ince by (3.3) c 1 (z) = p 1 F (c 1 F (z)), the preimage c 1 (z) consists of two points, as we. (As before, they can be naturay identified with countercockwise and cockwise orientations of D at z.) This proves statement (1) of the theorem. Next, for z we have c 1 (z) is a singe point. (For otherwise, for some finite F we wi havethatc 1 F (z) consists ofateast 2points, acontradiction.) ince c 1 ()is compact, the atter impies that c : M(R )\c 1 () D\ is a homeomorphism. The proof of statement (2) is compete. To prove(3)wewi assumethat isinfinite(forfinite thestatement isaready proved). Let F be a finite subset consisting of n points, n 2. Let D\F be the disjoint union of open arcs γ k, 1 k n. By χ γk we denote the characteristic function of γ k. Then every χ γk beongs to R F. By the same symbos we denote continuous extensions of χ γk to M(R F ) by means of the Gefand transform. Let us determine a continuous map K F : M(R F ) Z 2 (F) := {0,1} n by the formua K F (m) := (χ γ1 (m),...,χ γn (m)), m M(R F ). et Z() := F Z 2(F) and determine the map K : M(R ) Z() by the formua K (m) := {K F (p F (m))} F. We equip Z() with the Tychonoff topoogy. Then Z() is a totay disconnected compact Hausdorff space and the map K is continuous. how that K c 1 () : c 1 () Z() is an injection. Indeed, for distinct points x, y from c 1 () there exists a finite subset F consisting of at east two points such that p F (x) p F (y) and p F (x),p F (y) c 1 F (F). Then by the definition of the map K F we have K F (p F (x)) K F (p F (y)). This impies that K (x) K (y). ince c 1 () is a compact set, the injectivity impies that c 1 () is homeomorphic to K (c 1 ()). The atter space is totay disconnected as a compact subset of the totay disconnected space Z(). This competes the proof of (3). (4) According to (3.2) the maxima idea space M(AP()) of the agebra AP() is homeomorphic to the inverse imit of compact spaces M(AP(F)) with F finite. Let p F1 F 2 : M(AP(F 2 )) M(AP(F 1 )), F 1 F 2, be continuous maps 15

16 determining this imit, and p F : M(AP()) M(AP(F)) be the corresponding imit maps. ince each AP(F) is a sef-adjoint agebra, by the tone-weierstrass theorem D\F is dense in M(AP(F)). Hence, p F1 F 2 and p F are surjective maps. We begin with the description of M(AP(F)). uppose that F := {z 1,...,z n } and F i := F \{z i }, 1 i n. Consider disjoint union X = (M(AP({z i }))\F i ). 1 i n Note that each component of X contains D \ F as an open subset. By h i : D\F M(AP({z i }))\F i we denote the corresponding embeddings. Then for each z D\F we sew together points h i (z), 1 i n, and identify the obtained point with z. As a resut we obtain the quotient space X of X and the sewing map π : X X. We equip X with the quotient topoogy: U X is open π 1 (U) X is open. Lemma 3.2 X is homeomorphic to M(AP(F)). Proof. By definition each V i := π(m(ap({z i })) \ F i ) is an open subset of X homeomorphic to M(AP({z i })) \ F i. ince the atter spaces are Hausdorff, X is Hausdorff, as we. Let us cover D by cosed arcs γ 1,...,γ n such that γ i F = {z i }, 1 i n. By γ i we denote the cosure of γ i in M(AP({z i })). Then γ i is a compact subset of M(AP({z i })) \ F i and U i := π( γ i ) is a compact subset of V i. It is easy to see that X = 1 i n U i. Thus X is a compact space. Further, according to (3.2) each function from AP(F) is extended continuousy to X and the agebra of the extended functions separates points on X. Hence by the tone-weierstrass theorem, X is homeomorphic to M(AP(F)). As a coroary of the above construction we immediatey obtain the foowing: Let F 1 F 2 be finite subsets of. Consider the commutative diagram M(AP()) p F2 M(AP(F 2 )) p F1 F 2 r c M(R ) D p F2 r F2 c F2 M(RF2 ) D p F1 F 2 (3.4) M(AP(F 1 )) r F1 M(RF1 ) c F1 D. Here p F1 := p F1 F 2 p F2 and p F1 := p F1 F 2 p F2. We set F 1 := (c F1 r F1 ) 1 (F 1 ) and i := (c Fi r Fi ) 1 (), i = 1,2. Then (A) is a homeomorphism; p F1 F 2 : p 1 F 1 F 2 ( F 1 ) F 1 16

17 (B) are the identity maps. M(AP(F 2 ))\ p F1 F 2 2 M(AP(F1 ))\ c F1 r F1 1 D\ From here by the definition of the inverse imit we obtain (A1) is a homeomorphism; p F1 : p 1 F 1 ( F 1 ) F 1 (B1) M(AP())\(c r ) 1 () p F 1 M(AP(F1 ))\ c F1 r F1 1 D\ are the identity maps. Assume now that F 1 = {z}. Then according to Theorem 1.4 (1) the set c 1 F 1 (F 1 ) = c 1 (F 1) consists of two points {z + } and{z } identified with countercockwise and cockwise orientations at z. Thus to prove (4) we must show (according to (3.4) and statements (A), (A1)) that each set r 1 {z} (z ±) is homeomorphic to br. To this end et us reca that in the proof of Theorem 1.4 we had estabished that M(AP({z})) is the inverse imit of the maxima idea spaces M {z} (s) of agebras AP {z} (s) of continuous functions on D\{z} amost periodic on the open arcs γ t k(s) where z := e it and s (0,π). Aso, in that proof the structure of each M {z} (s) was described. For every pair 0 < s < s < π et p s s : M {z}(s ) M {z} (s ) be the continuous surjective map dua to the embedding i s s : AP {z}(s ) AP {z} (s ). From the proof of Theorem 1.4 we know that every M {z} (s) is obtained by guing D \ {z} with two copies of br where one copy (denoted br 1 ) is obtained by guing with γ t 1(s) and another one (denoted by br 1 ) is obtained by guing with γ t 1(s). uppose that ξ br 1 M {z} (s ). Let us compute p s s (ξ) br 1 M {z} (s ). Let {z α } γ t 1(s ) be a net converging to ξ. This means that the net {φ s (z α )} R converges to ξ in the topoogy of the Bohr compactification on br; here φ s is the map inverse to the map ψ s : R γ t 1(s ), x e i(t+s e x). Next, by the definition the net {φ s (z α )} converges to p s s (ξ). A straightforward computation shows that ( ) s φ s (z α ) = φ s (z α )+n for a z s α. Thus we have p s s (ξ) = ξ +n ( s s ), ξ br 1. (3.5) Here the sum denotes the group operation on br. imiary, ( ) s p s s (ξ) = ξ +n, ξ br 1. (3.6) s 17

18 Using these formuas we now prove that each r 1 {z} (z ±) is homeomorphic to br. We wi prove the statement for z + (for z the argument is simiar). For a fixed s 0 (0,π) consider the imit map p s0 : M(AP({z})) M {z} (s 0 ). Then p s0 maps r 1 {z} (z +) into X s0 := br 1 M {z} (s 0 ). Moreover, by definition r 1 {z} (z +) is the inverse imit of the system {(X s,x s,p s s )} where we write X s for br 1 M {z} (s). ince according to (3.5) every p s s : X s X s is a homeomorphism (even an automorphism of br), by the definition of the inverse imit p s0 : r 1 {z} (z +) X s0 is a homeomorphism. This competes the proof of statement (4). (5) The required statement foows from (B1) and Theorem 1.6 (2). The proof of Theorem 1.6 is compete. Remark 3.3 It is we known that the covering dimension of br is because this group is the inverse imit of compact abeian Lie groups whose dimensions tend to. ince br M(AP()), the covering dimension of M(AP()) is, as we (statement (6)). Aso, statement (7) foows from the fact that c 1 () is totay disconnected. Indeed, for a continuous map φ : T (c r ) 1 () of a connected topoogica space T the image of r φ is a singe point. This impies the required. 4. Proofs of Theorem 1.7 and Exampe In this part we formuate and prove some auxiiary resuts used in the proof of the theorem. Notation. Let z 0 D and U z0 be the intersection of an open disk of radius 1 centered at z 0 with D\{z 0 }. We ca such U z0 a circuar neighbourhood of z 0. Next, we define amost periodic continuous functions on a circuar neighbourhood U z0 of z 0 hoomorphic in its interior points as foows. Let φ z0 : D H +, φ z0 (z) := 2i(z 0 z), z D, (4.1) z 0 +z be a conforma map of D onto the upper haf-pane H +. Then φ z0 is aso continuous on D\{ z 0 } and maps it diffeomorphicay onto R (the boundary of H + ) so that φ z0 (z 0 ) = 0. Let Σ 0 be the interior of the strip Σ := {z C : Im z [0,π]}. Consider the conforma map Log : H + Σ 0, z Log(z) := n z + iarg(z), where Arg : C\R ( π,π) is the principa branch of the muti-function arg, the argument of a compex number. The function Log is extended to a homeomorphism of H + \{0} onto Σ; here H + stands for the cosure of H +. By AP C (Σ) we denote the agebra of uniformy continuous amost periodic functions on Σ (i.e., they are amost periodic on any ine parae to the x-axis). Ceary we have AP O (Σ) AP C (Σ). Then according to Theorem 2.4 (the corona theorem for AP O (Σ)), the maxima idea space M(AP C (Σ)) of the agebra AP C (Σ) is homeomorphic to M(AP O (Σ)). In what foows we identify these spaces. 18

19 Definition 4.1 We say that f : U z0 C is a (continuous) amost periodic function if there is a function f AP C (Σ) such that f(z) := f(log(φ z0 (z))) for a z U z0. If such f AP O (Σ), then f is caed a hoomorphic amost periodic function. uppose that z 0 = e it 0. For s (0,π) we set γ 1 (z 0,s) := Log(φ z0 (γ t 1 0 (s))) R and γ 1 (z 0,s) := Log(φ z0 (γ t 1(s))) R+iπ. 0 Lemma 4.2 Let f AP({ z 0,z 0 }). We set f k := f γt k 0 (π) and consider the functions h k = f k ϕ 1 z 0 Log 1 on γ k (z 0,s), k { 1,1}. Then for any ǫ > 0 there are s ǫ (0,s) and amost periodic functions h 1 on R, and h 1 on R+iπ such that sup h k (z) h k(z) < ǫ for each k { 1,1}. (4.2) z γ k (z 0,s ǫ) Proof. We prove the resut for f 1 ony. The proof for f 1 is simiar. According to Theorem 1.4 it suffices to prove the emma for f 1 = g t0 or f 1 = e iλog t 1 0, λ R. In the first case we can choose a sufficienty sma s ǫ such that on γ t 1 0 (s ǫ ) the function g t0 is uniformy approximated with an error < ǫ by a constant function. Then as h 1 we can choose the corresponding constant function on γ 1 (z 0,s ǫ ). In the second case, by definition, h 1 (x) = e iλn(arg(2i ex)) ( ) 2i+e = e iλn 4e x 4 e 2x+o(e3x ) = e iλ(x+o(ex )) From here for a sufficienty sma s ǫ we have h 1 (x) e iλx < ǫ for a x γ 1 (z 0,s ǫ ). We aso use the foowing we-known resut. as x. Lemma 4.3 uppose that f 1 and f 2 are continuous amost periodic functions on R and R+iπ, respectivey. Then there exists a function F AP C (Σ) harmonic in Σ 0 whose boundary vaues are f 1 and f 2. Proof. Let F be a function harmonic in Σ 0 with boundary vaues f 1 and f 2. ince f 1 and f 2 are amost periodic, for any ǫ > 0 there exists (ǫ) > 0 such that every interva [t 0,t 0 +(ǫ)] contains a common ǫ-period of f 1 and f 2, say, τ ǫ, see, e.g., [LZ]. Thus sup x R f 1 (x+τ ǫ ) f 1 (x) < ǫ and sup f 2 (x+iπ +τ ǫ ) f 2 (x+iπ) < ǫ. x R Now, by the maximum principe for harmonic functions sup F(x+iy +τ ǫ ) F(x+iy) < ǫ for each y [0,π], x R that is, F is amost periodic on every ine R+iy, y [0,π]. 19

20 Let A(U z0 ) be the agebra of continuous functions on D amost periodic on the circuar neighbourhood U z0 of z 0. By A z0 we denote the uniform cosure of the agebra generated by a A(U z0 ) and by M z0 the cosure of D in the maxima idea space of A z0. ince the agebra A z0 is sef-adjoint, by the tone-weierstrass theorem M z0 coincides with the maxima idea space of A z0. Next, et p z0 : M z0 D be the continuous surjective map dua to the natura embedding C(D) A z0. Then we have Lemma 4.4 (a) For every neighbourhood U of the compact set F z0 := p 1 z 0 (z 0 ) there is a circuar neighbourhood U z0 of z 0 such that U z0 D U D. (b) F z0 is homeomorphic to M(AP O (Σ)). (c) Each function f AP() H beongs to the agebra Proof. (a), (b). ince the agebra A(U z0 ) is sef-adjoint, D is dense in its maxima idea space M(U z0 ). Then M z0 is the inverse imit of the compact spaces M(U z0 ) (because A z0 is the uniform cosure of the agebra generated by agebras A(U z0 )), see, e.g, [R]. For U z0 V z0 by p Uz0 V z0 : M(U z0 ) M(V z0 ) we denote the maps in this imit system and by p Uz0 : M z0 M(U z0 ) the corresponding (continuous and surjective) imit maps. Then, by the definition of the inverse imit, the base of topoogy on M z0 consists of the sets p 1 U z0 (U) where U M(U z0 ) is open and U z0 is a circuar neighbourhood of z 0. In particuar, since F z0 is a compact set, for a neighbourhood U of F z0 there is a circuar neighbourhood Ũz 0 of z 0 and a neighbourhood Ũ M(Ũz 0 ) of F(Ũz 0 ) := pũz0 (F z0 ) such that p 1 (Ũ) U. Reca Ũ z0 that D is a dense subset of M(Ũz 0 ) and M z0. Aso, p 1 (D) contains D M Ũ z0. z0 Thus in order to prove (a) it suffices to show that there is U z0 Ũz 0 such that U z0 D Ũ D. First, et us study the structure of M(Ũz 0 ). Let A (Ũz 0 ) be the puback to Σ by means of the map (Log φ z0 ) 1 of the agebra A(Ũz 0 ). Then A (Ũz 0 ) consists of continuous functions on Σ 0 such that on (Log φ z0 )(Ũz 0 ) they are restrictions of amost periodic functions on Σ. ince A (Ũz 0 ) is isomorphic to A(Ũz 0 ) we can naturay identify the maxima idea spaces of these agebras. Further, observe that there is T < 0 such that (Log φ z0 )(Ũz 0 ) contains the subset Σ T := {z Σ : Re z T} of the strip Σ. By the definition of the topoogy on M(AP O (Σ)) (see section 2) Σ T is dense in M(AP O (Σ)). Hence, the space M(Ũz 0 ) contains M(AP C (Σ))(= M(AP O (Σ))). Let K be the intersection of the cosures of Ũz 0 and D\Ũz 0 in C. Then K := Log φ z0 (K) is a compact subset of Σ. In particuar, AP C (Σ) K = C(K ). This impies (by the Tietze extension theorem) that every bounded continuous function on (D\Ũz 0 ) K can be extended to a function from A(Ũz 0 ) with the same supremum norm. Now, we can describe expicity M(Ũz 0 )asfoows(cf. theproofoftheorem1.4forasimiarconstruction). Let M be the maxima idea space of the agebra of bounded continuous functions on (D \ Ũz 0 ) K. We identify K M with K M(AP O (Σ)) by means of 20 z D A z.

21 Log φ z0. Then the quotient space of M M(AP O (Σ)) under this identification is homeomorphic to M(Ũz 0 ). Next, by definition the fibre F z0 over z 0 consists of imit points in M z0 of a nets converging to {z 0 } inside D. This and the above construction of M(Ũz 0 ) show that F(Ũz 0 ) is homeomorphic to M(AP O (Σ)). Moreover, F z0 is the inverse imit of compact sets F(Ũz 0 ) where the imit system is determined by the maps p Uz0 V z0 F(Uz0 ) for U z0 V z0. Let us show that the maps p Uz0 V z0 F(Uz0 ) : F(U z0 ) F(V z0 ) are homeomorphisms. Indeed, et {z α } U z0 beanet converging toapoint ξ F(U z0 ). ince U z0 V z0, in our definitions of M(U z0 ) and M(V z0 ) the net {z α } converges to the same point ξ F(V z0 ) which gives the required statement. ince a maps p Uz0 V z0 F(Uz0 ) are homeomorphisms, by the definition of the inverse imit the map pũz0 Fz0 : F z0 F(Ũz 0 ), is aso a homeomorphism. This competes the proof of (b). Now, observe that in our mode of M(Ũz 0 ) the intersection of Ũ with D contains Ũ z0 D, this competes the proof of (a). (c) Fix a point z D. We must show that every f AP() H beongs to A z. Accordingto(3.2)andLemma4.2eachf AP( D) H canbeapproximated ocay on open arcs of the form γ t k(s), k { 1,1}, s (0,π), z := e it D, by pubacks of amost periodic functions on the boundary of Σ. Using compactness of D, for a given ǫ > 0 we can find a finitey many points z 1,...,z n D, arcs γ t k (s ), k { 1,1}, s (0,π), z := e it, and functions f : D\{ z,z } C which are pubacks of amost periodic functions on Σ by means of Log φ z, 1 n, such that D\{z 1,...,z n } = (γ t 1 γ t 1 ) and for a 1 n ess sup 1 n z γ t 1 (s ) γ t 1 f(z) f (z) < ǫ. (s ) Without oss of generaity we may assume that z {z 1,...,z n }. Next, set V := γ t 1 γ t 1 {z }. Then (V ) n =1 is a finite open cover of D. Let {ρ } n =1 be a smooth partition of unity subordinate to this cover such that ρ (z ) = 1. Consider the functions f on D\{z } defined by the formuas f := ρ f, 1 n. Let F be the harmonic function on D such that F D = 1 n f. Then f F L (D) < ǫ. We prove that F A z. ince ǫ > 0 is arbitrary, this wi compete the proof of (c). By F,1 andf,2 we denote the harmonic functions on D with the boundaryvaues f and f f, respectivey. Thus F := F,1 + F,2 is the harmonic function with the boundary vaues f. According to Lemma 4.3, every F is amost periodic on D \ {±z }. Thus if z = z, then F A z. If z z, then F is continuous at z and so by the definition of A z the function F A z, as we. Further, for a point z distinct from z the function F,1 can be extended continuousy in an open 21

22 disk centered at z (because the support of f does not contain z ). Hence, such F,1 A z. Assume now that z = z for some. Then the function F,2 can be extended continuousy in an open disk centered at z (because the support of f f does not contain z ). Thus F,2 A z and in this case F,1 := F F,2 A z, as we. ince F := 1 n F,1, combining the above considered cases we obtain that F A z. This competes the proof of Lemma 4.4. Theorem 4.5 Let f AP() H. Then for each z 0 D and any ǫ > 0 there is a circuar neighbourhood U z0 := U z0 (f,ǫ) of z 0 and a hoomorphic amost periodic function f z0 on U z0 such that sup f(z) f z0 (z) < ǫ. z U z0 D Proof. Fix a point z 0 D. According to Lemma 4.4(c) the function f AP() H beongs to A z0 and so it is extended by means of the Gefand transform to a continuous function f on M z0. We use the description of M z0 presented in the proof of Lemma 4.4. Reca that in that construction the fibre F z0 M z0 over z 0 is naturay identified with M(AP O (Σ)). Then we have (see Definition 2.1). Lemma 4.6 The function f Fz0 is hoomorphic. Proof. In the proof we use the resuts of section 2. Let us consider the map i ξ : Σ 0 M(AP O )(Σ), ξ bz. We must show that f i ξ is hoomorphic. To this end we transfer the function f by means of the map (Log φ z0 ) 1 to Σ 0 and by f denote the pued back function. Fix a point η i ξ (Σ 0 ), say, η := i ξ (w), w Σ 0. Then there is a straight iner+iy Σ 0, y (0,π), andanet {z α } R+iy which forms an infinite discrete subset of R+iy such that {z α } converges to η in the topoogy of M(AP O )(Σ). Let B C be an open disk such that {R+iy}+B Σ 0. By the definition of i ξ, for each z B the net {z α +z} converges in M(AP O )(Σ) to i ξ (w +z). Aso, by the definition of M z0 we have im α f(zα +z) = ( f i ξ )(w +z), z B. But the hoomorphic functions f α (z) := f(z α + z) form a norma famiy on B. Therefore using an argument simiar to that of the proof of Lemma 2.3 (1) we obtain that f i ξ B is hoomorphic. ince ξ and η are arbitrary, the atter impies that f Fz0 is hoomorphic. Now by Lemma 2.3 we obtain that there is a function f z0 AP O (Σ) whose extension to M(AP O (Σ)) coincides with f Fz0. Let us consider the function f z0 A z0 whose puback to Σ by means of (Log φ z0 ) 1 coincides with f z0. Then by the definition of the topoogyof M z0 the extension f z0 of f z0 to M z0 satisfies f z0 Fz0 = f Fz0. ince F z0 is a compact set, the atter impies that there is a neighbourhood U of F z0 22

23 in M z0 such that f z0 (x) f(x) < ǫ for a x U. Finay, by Lemma 4.4(a) there is a circuar neighbourhood U z0 such that U z0 D U D. Thus f z0 (z) f(z) < ǫ for a z U z0 D Proof of Theorem 1.7. We must show that A = AP() H. We spit the proof into severa parts. First we prove the foowing statement. Lemma 4.7 AP() H is the uniform cosure of the agebra generated by a possibe subagebras AP(F) H with finite F. Then we wi prove that A F = AP(F) H for every finite subset F D. Together with the above emma and the fact that A is the uniform cosure of the agebra generated by a possibe subagebras A F with finite F, this wi ceary compete the proof of the theorem. Proof. According to Theorem 4.5, for a given f AP() H we can find finitey many points z 1,...,z n, circuar neighbourhoods U z1,...,u zn and hoomorphic amost periodic functions f 1,...,f n defined on U z1,...,u zn, respectivey, such that (U zi ) 1 i n forms an open cover of D\{z 1,...,z n } and max i f Uzi f i L (U zi ) < ǫ. ince the discontinuities of f D beong to the cosed set, each function f i with z i can be chosen aso to be continuous on the cosure U zi. Further, form a cocyce {c ij } on the intersections of sets from the above cover by the formua c ij (z) := f i (z) f j (z), z U zi U zj. Diminishing, if necessary, the sets of the above cover we may assume without oss of generaity that a U zi U zj, i j, do not contain points z 1,...,z n. Then each U zi U zj, i j, is a compact subset of D and the corresponding c ij are continuous and hoomorphic in interior points of U zi U zj. Let {ρ i } be a smooth partition of unity subordinate to the cover (U zi ) 1 i n. We can choose every ρ i so that it is the restriction to U zi of a C -function on C and ρ i (z i ) = 1. As usua, we resove the cocyce {c ij } using this partition of unity by the formuas n f j (z) = ρ k (z)c jk (z), z U zj. (4.3) Hence, k=1 c ij (z) := f i (z) f j (z), z U zi U zj. In particuar, since c ij are hoomorphic in D U zi U zj, the formua h(z) := f i (z), z U zi D, z determines a smooth bounded function in an open annuus A n i=1 U z i with the outer boundary D. Aso, by our choice of the partition of unity, h is extended continuousy to the cosure A of A. 23