arXiv:2108.12997v1 [math.CA] 30 Aug 2021 eg 5681,2) h i fti oki oavnetes the advance in to functions su is noncentral partial work Fourier possibly this of of or aim convergence The everywhere [5,6,8,15,32]). (e.g. eea eso fteRdmce-eso hoe 1] w [18], theorem Rademacher-Menshov f the of version general a aiycnendwt encnegneo iegneo the of divergence or convergence of mean with concerned marily group uil ntr ersnain of representations unitary ducible umblt fteprilsm if sums partial the of summability vrweecnegneo iegneo h ata usif sums partial the of in function divergence or convergence everywhere and ∑ h ata usif sums partial the e od n phrases. and words Key 2010 [email protected] [email protected], addresses: Email LOTEEYHR OVREC FFOURIER OF CONVERGENCE EVERYWHERE ALMOST in d eyn nJcsnstermfrcmat once i gro Lie connected compact, for theorem Jackson’s on Relying h ee-eltermsget h td ftefra Four formal the of study the suggests theorem Peter-Weyl The f λ χ ( ahmtc ujc Classification. Subject L EISO OPC ONCE I GROUPS LIE CONNECTED COMPACT ON ∈ χ λ 2 G λ L ( on an atclr h ore eiso any of series Fourier the particular, ovre loteeyhr.O h te ad eso that show we hand, other subset the countable On everywhere. almost converges tflosta fteitga ouu fcniut of continuity of modulus the if theorem that general follows a it prove We series? Fourier convergent where function Abstract. α siscaatr h atltrtr fFuiraayi on analysis Fourier of literature vast The character. its is G eetesmi vrteeuvlnecasso otnosi continuous of classes equivalence the over is sum the Here . ∗ p > ( α ) E f G hnteFuirsre of series Fourier the then 0 Ho drcniuu ucinon function -H¨older continuous L ) . a nitga ouu fcniut Ω continuity of modulus integral an has ) p fasur-nerbefunction square-integrable a of ( eg 1,1,1,2,2],uiomo boueconvergence absolute or uniform 28]), 27, 19, 15, [12, (e.g. G f ) nacmat once i group Lie connected compact, a on ecnie h pnpolm oseeysquare-integrable every Does problem: open the consider We eg 91,0) n nfr,ma,o loteverywhere almost or mean, uniform, and [9,13,20]), (e.g. f AI RWADDNI MYERS DONNIE AND GROW DAVID ore eis opc i groups. Lie compact series, Fourier ssot eg 7 5 7 1 2 4 5 9 0) almost 30]), 29, 25, 24, 22, 21, 17, 15, [7, (e.g. smooth is E of G ˆ 1. = 0 SU 1 Introduction Ω L ( 2 f 2 2 G ( f ) ( 23,43A50. 22E30, t ,t f, ovre loteeyhr on everywhere almost converges , G n ah0 each and eog ovrossbpcsof subspaces various to belongs 1 d SU ) α ) λ . Ho drcniuu ucinon function -H¨older continuous dt ( stedge fterepresentation, the of degree the is 2 ) ∞ < hs ore eisdiverges series Fourier whose f < , nacmat once Lie connected compact, a on G α aea lotevery- almost an have < hr corresponds there 1 f ( f, is ⋅) O ( satisfying t so nonsmooth, of ms α rmwhich from ) uyo almost of tudy o some for f oeach to hwta if that show e ore series Fourier G sacentral a is p 4 and [4] ups In . e series ier G G L spri- is 1 ( rre- G of ) 2 DAVID GROW AND DONNIE MYERS

∞ then the sequences of polyhedral Fourier partial sums {SN f(x)}N=1 and ̃ ∞ spherical Fourier partial sums {SN f(x)}N=1 converge to f(x) almost every- where on G. In particular, if f is an α-H¨older on G for some α > 0, or more generally if Ω(f,t) = O(tα) for some α > 0, then these Fourier partial sums of f converge to f(x) almost everywhere on G. On the other hand, consider the two-dimensional special unitary group G = SU(2). We show that to each α in (0, 1) and each countable subset E of SU(2) there corresponds an α-H¨older continuous function on SU(2) whose Fourier partial sums diverge at each x in E. Since it is possible to arrange that such a set E is dense in SU(2), the Fourier partial sums of the corresponding function are divergent at infinitely many points in every nonempty open subset of SU(2), despite the fact that the Fourier partial sums of such a function converge almost everywhere on SU(2). It is worth noting in the case α = 1, i.e. when f is Lipschitz continuous on SU(2), the Fourier partial sums of f converge uniformly to f on SU(2) [21,22]. It is an open problem whether

(1.1) lim SN f(x) = f(x) N→∞ holds almost everywhere for every f in L2(G). A general theorem of Stanton and Tomas [28] for compact, connected, semisimple Lie groups G shows that if p < 2 then there correspond an f in Lp(G) and a subset E of G of full measure such that (1.1) fails for all x in E. However, Carleson’s celebrated proof of Lusin’s conjecture [3] guarantees (1.1) holds almost everywhere when f is square-integrable on the circle group T, and this was extended to Tn for n ≥ 2 [11,26,31]. Furthermore, it follows from a result of Pollard [23] on Jacobi series that if f is a central function in Lp(SU(2)) for some p > 4~3, then (1.1) holds almost everywhere. Finally, the Peter-Weyl theorem implies that to every compact, connected Lie group G and each f in L2(G) there corresponds an increasing sequence {Nj} of positive integers such that

lim SN f(x) = f(x) j→∞ j for almost every x in G. This lends some hope for a positive answer to the almost everywhere convergence problem (1.1), as do the results in this paper.

2. Notation and Preliminaries We use primarily the notation of [2]. Let G be a compact, connected Lie group with Haar measure µ, let T be a fixed maximal torus in G, and let g and t be the Lie algebras of G and T , respectively. Choose an inner product ⟨⋅, ⋅⟩ on g which is invariant under the adjoint action of G on g. (When G is semisimple we may choose ⟨⋅, ⋅⟩ to be −B(⋅, ⋅) where B is the Killing form.) This provides inner products on t and t∗ which are invariant under the Weyl group W = N(T )~T . Let I = {H ∈ t ∶ exp(H) = 1} be the integral lattice, let I∗ = {λ ∈ t∗ ∶ λ(H) ∈ Z for all H ∈ I} be the lattice A.E.CONVERGENCEOFFOURIERSERIES 3 of integral forms, and let P ⊂ I∗ be the set of real roots of G with basis ∗ {α1, ..., αl}, P+ the set of positive roots, and C ⊂ t the corresponding Weyl chamber. The dual object Ĝ of G is in one-to-one correspondence with C ∩ I∗. (When G is semisimple and simply connected, there exist integral ∗ forms ρ1, ..., ρl ∈ t satisfying 2⟨ρj, αk⟩~⟨αk, αk⟩ = δjk for j, k ∈ {1, ..., l} and ∗ C ∩ I = {n1ρ1 + ... + nlρl ∶ each nj ∈ Z and nj ≥ 0}.) ∗ ∗ Fix ω ∈ C ∩ I and for N = 1, 2, 3, ... set ΛN = {λ ∈ C ∩ I ∶ λ ≤ Nω}. The D = = associated polyhedral Dirichlet kernel on G is N ∑λ∈ΛN dλχλ where N 1, 2, 3, ..., and the convolution products SN f = DN ∗ f define the sequence of associated polyhedral partial sums for the of f ∈ L2(G). Using the Weyl integration formula on G [2], the Nth Fourier polyhedral partial sum of f at x ∈ G is given by

SN f(x) = (DN ∗ f)(x)

= D (y)f(y−1x)dµ(y) ˆ N G 1 −1 −1 −1 −1 = det(E − Ad (θ )) DN (yθy )f(yθ y x)dµ(y)dθ SW S ˆ G~T G~T ˆ T G 1 = η(θ)DN (θ Qxf θ dθ SW S ˆ T )[ ]( ) = −1 = −1 −1 where η θ det EG~T −AdG~T θ and Qxf θ G f yθ y x dµ y . Let π λ denote the continuous, irreducible, unitary´ representation of G ( ) ( ∗ ( )) [ ]( ) ( ) ( ) corresponding to λ ∈ C ∩ I , let Hπ(λ) be the finite dimensional subspace of L2 G( generated) by the coordinate functions of π λ [16, p.24], and let 2 Pλf = dλ χλ ∗ f be the orthogonal projection of L G onto Hπ(λ). Then ( ) ( ) ( ) N ( ) SN f x = Q Pλf x = Q Γjf x λ∈ΛN j=0 ( ) ( )( ) ( )( ) ∗ with Γnf = ∑ Pλf where the sum is over all λ ∈ C ∩ I such that n − 1 ω < −1 2 λ ≤ nω. Let δhf x = f x − f h x be the difference operator on L G and let the integral modulus of continuity of f ∈ L2 G be given by( ) ( ) ( ) ( ) ( ) Ω f,t = sup δhf L2(G) ∶ h = exp X , X ∈ g, (and) 0 < X ≤ t ; here ⋅ (denotes) the{Y normY on g generated( ) by the inner productY Y ⋅, ⋅}. An alternate theory for almost everywhere convergence of Fourier series of f ∈YLY2 G can be based on spherical partial sums (cf. [4] and [14]).⟨ ⟩ Let

( ) 1 ρ = Q α 2 α∈P+ 4 DAVID GROW AND DONNIE MYERS

∗ and for N = 1, 2, 3, ... define ΛN = λ ∈ C ∩ I ∶ λ − ρ ≤ N , the spherical D = Dirichlet kernel N ∑λ∈Λ̃ dλχλ, and the spherical partial sums N ̃ { Y Y } ̃ N SN f = DN ∗ f = Q Pλf = Q Γjf 0 λ∈Λ̃N j= ̃ ̃ ̃ ( ) ( )∗ with Γnf = ∑ Pλf where the sum is over all λ ∈ C ∩ I such that n − 1 < λ−ρ ≤ n. We see no essential difference between the behavior of polyhedral and spherical̃ partial sums in the results of this work. Y Y 3. Almost everywhere convergence results Theorem 3.1. Let G be a compact, connected Lie group and f ∈ L2 G . If 1 Ω2 f,t ( ) dt < ∞, ˆ t 0 ( ) then SN f x → f x and SN f x → f x for almost every x ∈ G.

Proof. We( give) the( ) proof for̃ polyhedral( ) ( ) Fourier partial sums of f; the case of spherical Fourier partial sums is completely analogous. Note that by Jackson’s theorem for compact, connected Lie groups [4], there is a constant B > 0 such that 1 2−k Ω2 f,t ∞ Ω2 f,t dt = Q dt ˆ t k=0 ˆ t 0 ( ) 2−(k+1) ( ) ∞ 2 ≥ log 2 Q Ω f, 2−k k=1 ( ) ∞ ( ) ≥ 2 B log 2 Q E2k f k=1 where ( ) ( ) EM f = inf f − P L2(G) ∶ P ∈ ? Hπ(λ) λ∈ΛM is the best approximation( ) of{Yf in >Yλ∈ΛM Hπ(λ). Since } 2 = 2 E2k f f − S2k f L2(G) ∞ = 2 ( ) Y Q ΓjfY L2(G), j=2k+1 it follows that Y Y ∞ ∞ 2 = 2 Q E2k f Q log2 j Γjf L2(G) k=1 j=2 ( ) ⌊ e (∞)⌋ Y Y ≥ log2 2 Q log j Γj f L2(G), 2 j=2 ( ) ( )Y Y A.E.CONVERGENCEOFFOURIERSERIES 5 and therefore 1 2 f,t B ∞ > Ω ≥ 2 ∞ dt Q log j Γj f L2(G). ˆ t 2 j=2 0 ( ) ( )Y Y Consequently, a general version of the Rademacher-Menshov theorem [18] implies N lim S f x = lim Γ f x = f x → N → Q j N ∞ N ∞ j=0 for almost every x ∈ G. ( ) ( )( ) ( )  It should be noted that in [10], Dai established almost everywhere con- vergence results for Fourier-Laplace series of functions on spheres which are analogous to the preceding theorem. Corollary 3.2. Let f ∈ L2 G . If Ω f,t = O tα for some α > 0, then SN f x → f x and SN f x → f x for almost every x ∈ G. ( ) ( ) ( ) ∈ > Corollary( ) 3.3.( ) If f ̃ Lip( α) G for( ) some α 0, then SN f x → f x and SN f x → f x for almost every x ∈ G. ( ) ( ) ( ) ̃4. Divergence( ) ( ) of Fourier partial sums on a countable subset To begin this section, we review notation and results of [2, p.84f] and [16, p.125f]. Equip the two-dimensional special unitary group SU 2 with the left and right translation invariant metric d given by ( ) 1 d x,y = tr x − y x − y ∗ . ¾2 Let 0 < α < 1 and let f (be a) real function‰( on )(SU 2 .) IfŽ there exists a number M > 0 such that f x − f y ≤ Mdα x,y( ) for all x,y ∈ SU 2 , then f is an α-H¨older continuous function on SU 2 S ( ) ( )S ( ) and we write f ∈ Lipα SU 2 . A real function f on SU 2 is central if, for µ-almost every x(∈)SU 2 , f yxy−1 = f x for all y ∈ SU 2 . In particular,( ) since every x ∈ SU 2 (is diagonalizable( )) via a similarity transformation:( ) ( ) ( ) ( ) ( ) eiθ 0 ( ) yxy−1 = ≡ ω θ , 0 e−iθ where y ∈ SU 2 and e±iθ are the eigenvalues of( )x, it follows that if f is central then for µ-almost every x ∈ SU 2 , ( ) f x = f ω θ ( ) with θ ∈ 0,π . With this notation, the Weyl integral formula is explicitly ( ) ( ( )) 2 π (4.1) [ ] g x dµ x = g ω θ sin2 θ dθ ˆSU(2) π ˆ0 ( ) ( ) ( ( )) ( ) 6 DAVID GROW AND DONNIE MYERS when g is a central function in L2 SU 2 . ∞ Let πn n=0 denote the family of all (inequivalent) continuous, irreducible, unitary representations of SU 2 ;( here(π))n has dimension n + 1 and its char- acter χ{n =}trace πn is the continuous central function on SU 2 given by ( ) sin n + 1 θ ( ) χn x = χn ω θ = ( ) sin θ (( ) ) where e±iθ are the eigenvalues( ) ( of(x)). It follows that the Dirichlet kernel ∞ ( ) DN N=0 on SU 2 is the sequence of continuous central functions given by N { } (=) = = −1 ′ (4.2) DN x DN ω θ Q n + 1 χn ω θ DN+1 θ n=0 2sin θ where ( ) ( ( )) ( ) ( ( )) ( ) n sin 2n + 1 t 2 ( ) Dn t = 1 + 2 Q cos jt = j=1 sin t 2 (( ) ~ ) is the Dirichlet kernel( ) on −π,π . ( ) ( ~ ) Theorem 4.1. ∈ ∞ Let α [0, 1 ]and let xi i=1 be any countable subset of SU 2 . Then there exists a function f ∈ Lipα SU 2 such that ( ) { } sup SN f xi = ∞ ( ) N≥1 ( ( )) for all i = 1, 2, 3,.... S ( )S

Proof. Observe that for α ∈ 0, 1 , Lipα SU 2 is a Banach space with norm ( ) ( ( )) f x − f y f = sup f x sup . Lipα(SU(2)) + α x∈SU(2) x,y∈SU(2) d x,y x≠y S ( ) ( )S Y Y N S (x )S x Fix x ∈ SU 2 and n ∈ , and set Φn f = Snf x . Each( Φ)n is a bounded linear functional on Lipα SU 2 of norm x( ) ( ) ( ) Φ = sup Snf x ∶ f ∈ Lip SU 2 , f ≤ 1 n ( ( )) α Lipα(SU(2)) ≤ D 1 . Y Y n™SL (SU( (2)S)) ( ( )) Y Y ž Specializing to the case when x = e, the identity matrix in SU 2 , and Y Y f ∈ L2 SU 2 is central, we have ( ) e D D ( Φ(n ))f = f ∗ n e = f y n y dµ y ˆSU(2) π ( ) ( )( ) 2 ( ) ( ) ( ) 2 = f ω θ Dn ω θ sin θ dθ π ˆ0 by (4.1). It then follows from (4.2) that( ( )) ( ( )) ( ) π e 1 2 θ Φn f = f ω θ cos Dn+1 θ dθ π ˆ0 2 π ( ) 2n( +(3 )) ‹  ( ) 3 θ − f ω θ cos n + θ cos dθ. π ˆ0 2 2 ( ) ( ( )) ‹‹   ‹  A.E.CONVERGENCEOFFOURIERSERIES 7

For n ≥ 2, the absolute maxima and minima of the function hn θ = 3 cos n + 2 θ on 0,π occur at the endpoints of the intervals ( ) ‰‰ Ž Ž [ ] 2kπ 2 k + 1 π Ik = , 2n + 3 2n + 3 ( )  where k ∈ 0, 1, 2, ..., n . Let gn be the sawtooth function on 0,π deter- 2kπ = k ≤ ≤ = mined by gn 2n+3 −1 for 0 k n + 1, gn π 0, and gn is piecewise linear between{ these points.} Define a central function fn on[ SU] 2 by fn ω θ = g‰n θ Žfor (θ ∈) 0,π . It is easy to see( ) that each fn belongs to Lipα SU 2 ; in fact, ( ) ( ( )) ( ) [ ] ( ( )) f x − f y π α 2π 1−α n n ≤ ≤ π dα x,y 2 2n + 3 S ( ) ( )S ‹  ‹  for all distinct matrices (x and) y in SU 2 . 3 2 2(n+1)π Since gn θ cos n + θ ≥ gn θ ≥ 0 on each interval Ik and on ,π , 2 ( ) 2n+3 and since the function θ ↦ cos θ 2 is positive and decreasing on 0,π , ( ) ‰‰ Ž Ž ( )   3 ( ~ ) [ ) f ω θ cos n + θ cos θ 2 dθ ≥ g2 θ cos θ 2 dθ ˆ n ˆ n Ik 2 Ik

( ( )) ‹‹   ( ~ ) (k +) 1 π( ~ ) 2 ≥ cos gn θ dθ 2n + 3 ˆI ( ) k Œ2π ‘ k + 1(π) = cos 3 2n + 3 2n + 3 ( ) Œ ‘ for all k ∈ 0, 1, 2, ..., n and ( )

{ π } 3 fn ω θ cos n + θ cos θ 2 dθ ≥ 0. ˆ 2(n+1)π 2 2n+3 ( ( )) ‹‹   ( ~ ) Adding these inequalities we obtain

π 3 θ 2 π n+1 kπ fn ω θ cos n + θ cos dθ ≥ Q cos ˆ 2 2 3 2n + 3 k=1 2n + 3 0 ( ( )) ‹‹   ‹  2 ‹ π  ‹ π  = Dn+1 − 1 , 3 2n + 3 2n + 3 ‹  › ‹  and hence

2n + 3 π 3 θ 2 π fn ω θ cos n + θ cos dθ ≥ Dn+1 − 1 . π ˆ0 2 2 3 2n + 3 ( ) W ( ( )) ‹‹   ‹  W › ‹  8 DAVID GROW AND DONNIE MYERS

2 Because the function θ ↦ fn ω θ cos θ 2 is uniformly bounded by 1 on 0,π , ( ( )) ( ~ ) π π [ ] 1 2 1 fn ω θ cos θ 2 Dn+1 θ dθ ≤ Dn+1 θ dθ π ˆ0 π ˆ 0 W ( ( )) ( ~ ) ( ) W 4 S ( )S = log n + 1 + o 1 π2 as n → ∞. Consequently ( ) ( ) e 2 π 4 Φ f Dn+1 − 1 − 2 log n + 1 + o 1 n n ≥ 3 2n+3 π . fn Lip (SU(2)) 1 + π S (α )S ™ ‰ Ž ž ‰ ( ) ( )Ž −1 π = π ≥ 2(2n+3) But DnY+1 Y2n+3 sin 2(2n+3) π and hence e ‰ e Ž Š Š Φn f  Φn = sup ∶ f ∈ Lipα SU 2 , f ≠ 0 f Lip (SU(2)) S α( )S is asymptoticallyY Y boundedœ below by ( ( )) ¡ Y Y 2 4 π 2n + 3 − π2 log n + 1 1 + π ( ) ( ) as n → ∞. Thus the sequence of bounded linear functionals e Φn f = Snf e is not uniformly bounded on the Banach space Lip SU 2 as n → ∞. By ( ) ( ) α the uniform boundedness principle ( ( )) sup Snf e = ∞ n≥1 for all f belonging to some denseS Gδ set( )S in Lipα SU 2 . If z ∈ SU 2 , define the left translation operator Lz on Lipα SU 2 by Lzf y = f zy for all y ∈ SU 2 . For each element( of( the)) countable subset ∞ ≥ xi i=1 of SU( )2 and each n 1, observe that ( ( )) ( ) ( ) ( ) xi e Φ Lx −1 fn Φ f { } ( ) n i = n n , Lx −1 fn Lip (SU(2)) fn Lip (SU(2)) S i ‰ α Ž S S (α ) S so there corresponds a dense G subset E of Lip SU 2 such that Y Y δ Yxi Y α sup Snf xi = ∞ n≥1 ( ( )) ∈ = ∞ for all f Exi . By the Baire categoryS ( )S theorem E ⋂i=1 Exi is dense in Lipα SU 2 . In particular, E is nonempty and any f ∈ E gives the desired conclusion.  ( ( )) A general theorem of Belen’kii [1] guarantees that if F ∶ −1, 1 → R satisfies a Dini-Lipschitz condition and the Fourier-Jacobi partial sums (α,β) ∞ [ ] sN F ; ±1 N=0 { ( )} A.E.CONVERGENCEOFFOURIERSERIES 9 at ±1 converge for some α > −1 and β > −1, then the corresponding Fourier- Jacobi series of F converges uniformly to F on −1, 1 . This leads directly to the following result on SU 2 . [ ] Theorem 4.2. Let f be a central function in Lip SU 2 for some α ∈ ( ) α 0, 1 . Then: ( ( )) (a) SN f x → f x uniformly outside any open set containing e, −e ; ( ) ∞ (b) SN f x → f x uniformly on SU 2 if SN f ±e N=0 converge. ( ) ( ) { } This suggests the question: Can the word “central” be deleted from the ( ) ( ) ( ) { ( )} hypothesis of Theorem 4.2 and still obtain conclusions (a) and (b)? Theorem 4.1 shows that there is no possibility of such an analogue of Theorem 4.2 for general functions in Lipα SU 2 for some α ∈ 0, 1 . The points of divergence for the Fourier partial sums of such a noncentral function need no longer be at the “poles” ±e (of the( “sphere”)) SU 2 . According( ) to Theorem 4.1, points of divergence for Lipα SU 2 functions can be dense in SU 2 . ( ) References( ( )) ( ) [1] Belen’kii, A. M., Uniform convergence of Fourier-Jacobi series on the orthogonality segment, Mathematical notes of the Academy of Sciences of the USSR, 46 (1989), 901-906. [2] Br¨ocker, T. and T. tom Dieck, Representations of Compact Lie Groups, Springer- Verlag, New York/Berlin/Heidelberg/Tokyo, 1985. [3] Carleson, L. On convergence and growth of partial sums of Fourier series, Acta Math. 116 (1966), 135-157. [4] Cartwright, D. and K. Kucharski, Jackson’s theorem on compact connected Lie groups, J. Approx. Theory, 55 (1988), 352-359. [5] Cazzaniga, F. and G. Travaglini, On pointwise convergence and localization of Fourier series on compact Lie groups, Arch. Math. (Basel) 60 (1993), 378-382. [6] Chen, X. and D. Fan, On almost everywhere divergence of Bochner-Riesz means on compact Lie groups, Math. Z. 289 (2018), 961-981. [7] Clerc, J.L., Sommes de Riesz et multiplicateurs sur un groupe de Lie, Ann. Inst. Fourier (Grenoble) 24 (1974), 149-172. [8] Colzani, L., S. Giulini, and G. Travaglini, Sharp results for the mean summability of Fourier series on compact Lie groups, Math. Ann. 285 (1989), 75-84. [9] Colzani, L., S. Giulini, G. Travaglini, and M. Vignati, Pointwise convergence of Fourier series on compact Lie groups, Coll. Math. 61 (1990), 379-386. 2 [10] Dai, F., A note on a.e. convergence of Fourier-Laplace series in L , J. Beijing Normal Univ. (Natur. Sci.), 35 (1999), 6-9. [11] Fefferman, C., Pointwise convergence of Fourier sereis, Ann. of Math. 98 (1973), 551-571. [12] Giulini, S., P.M. Soardi, and G. Travaglini, Norms of characters and Fourier series on compact groups, J. Funct. Anal. 46 (1982), 88-101. [13] Giulini, S. and G. Travaglini, Central Fourier analysis for Lorentz spaces on compact Lie groups, Monatsh. Math. 107 (1989), 207-215. [14] Giulini, S. and G. Travaglini, Sharp estimates for Lebesgue constants on compact Lie groups, J. Funct. Anal. 68 (1986), 106-116. [15] Gong, S., S.X. Li, and X.A. Zheng, Harmonic analysis on classical groups, Proceedings of the Analysis Conference, Singapore 1986, S.T.L. Choy et al (ed.), Elsevier, 1988. [16] Hewitt, E. and K.A. Ross, Abstract Harmonic Analyis, vol. II, Springer-Verlag, Berlin/Heidelberg/New York, 1970. 10 DAVID GROW AND DONNIE MYERS

[17] Mayer, R.A., Fourier series of differentiable functions on SU(2), Duke Math. J. 3 (1967), 549-554. [18] Meany, C., Remarks on the Rademacher-Menshov Theorem, CMA/ASMI Research Symposium Asymptotic and Geometric Analysis, Harmonic Analysis and Related Top- ics, Alan McIntosh and Pierre Portal, eds. 2007. [19] Mityagin, B.S., Divergenz von Spektralentwicklungen in Lp-R¨aumen,Linear Opera- tors and Approximation II, Birkh¨auser, 1974, pp. 521-530. [20] Mityagin, B.S. and E.M. Nikishin, On almost-everywhere divergence of Fourier series, Sov. Math. Dokl. 14 (1973), 677-680. [21] Myers, D., Pointwise and Uniform Convergence of Fourier Series (PhD dissertation), Missouri University of Science and Technology, 2016. [22] Myers, D. and D. Grow, Lipschitz functions on SU(2) have uniformly convergent Fourier series, J. Math. Anal. Appl., 458 (2018), 730-741. [23] Pollard, H., The convergence almost everywhere of Legendre series, Proc. Amer. Math. Soc. 35 (1972), 442-444. [24] Ragozin, D.L., Polynomial approximation on compact manifolds and homogeneous spaces, Trans. Amer. Math. Soc. 150 (1970), 41-53. [25] Ragozin, D.L., Approximation theory, absolute convergence, and smoothness of ran- dom Fourier series on compact Lie groups, Math. Ann. 219 (1976), 1-11. [26] Sj¨olin, P., Convergence almost everywhere of certain singular and multiple Fourier series, Ark. Mat. 9 (1971), 65-90. [27] Stanton, R.J., Mean convergence of Fourier series on compact Lie groups, Trans. Amer. Math. Soc., 218 (1976), 61-87. [28] Stanton, R.J. and P.A. Tomas, Polyhedral summability of Fourier series on compact Lie groups, Amer. J. Math. 100 (1978), [29] Sugiura, M., Fourier series of smooth functions on compact Lie groups, Osaka J. Math. 8 (1971), 33-47. [30] Taylor, M.E., Fourier series on compact Lie groups, Proc. Amer. Math. Soc. 19 (1968), 1103-1105. [31] Tevzadze, N., On the convergence of the double Fourier series of quadratic summable functions, Soobˇsˇc. Akad. Nauk Gruzin. SSR, 58 (1970), 277-279. [32] Zaloˇznik, A., Function spaces generated by blocks associated with spheres, Lie groups, and spaces of homogeneous type, Trans. Amer. Math. Soc., 309 (1988), 139-164.

Missouri University of Science and Technology, Department of Mathemat- ics and Statistics, Rolla, Missouri 65409-0020, USA.