 in [@Sun; @LS], and they are closely related to orthogonal algebraic polynomials on the domain bounded by Steiner’s hyercycloid [@K; @LSX], much as Chebyshev polynomials arise from exponentials. In fact, the trigonometric functions arise from the exponentials by symmetry are called generalized cosine functions in [@LSX; @Sun], and there are also generalized sine functions that are anti-symmetric. Our results on the hexagonal domain can be easily translated to results in terms of generalized cosines. Our results on summability can also be translated to orthogonal expansions of algebraic polynomials on the domain bounded by hypercycloid, but the same cannot be said on our results on best approximation. In fact, just like the case of best approximation by polynomial on the interval, the approximation should be better at the boundary for polynomial approximation on the hypercycloid domain. For example, our Bernstein type inequality (Theorem 4.8) can be translated into a Markov type inequality for algebraic polynomials. A modulus of smoothness will need to be defined to take into account of the boundary effect of the hypercycloid domain, which is not trivial and will not be considered in this paper. Some of our results, especially those on the best approximation, can be extended to higher dimensions. We choose to stay on the hexagonal domain to keep an uniformity of the paper and to stay away from overwhelming notations.

The paper is organized as follows. Definitions and background materials will be given in Section 2. In Section 3 we study the Abel summability, aka Poisson integral, and Cesàro $(C,\delta)$ means of the Fourer series on the hexagon, where several compact formulas for the kernel functions will be deduced. One interesting result shows that the $(C,2)$ means are nonnegative, akin to the Fejèr means for the classical Fourier series. In Section 4 we study best approximation by trigonometric functions on the hexagonal domain and establish both direct and inverse theorems in terms of a modulus of smoothness.

Fourier series on the regular hexagon
=====================================

Below we briefly sum up what we need on Fourier analysis on hexagonal domain. We refer to [@LSX] for further details. The hexagonal lattice is given by $H \ZZ^2$, where the matrix $H$ and the spectral set $\Omega_H$ are given by $$H=\begin{pmatrix} \sqrt{3} & 0\\ -1 & 2\end{
in [ @Sun; @LS ], and they are closely related to orthogonal algebraic polynomials on the knowledge domain restrict by Steiner ’s hyercycloid [ @K; @LSX ], much as Chebyshev polynomials arise from exponential. In fact, the trigonometric functions arise from the exponentials by isotropy are address generalized cosine functions in [ @LSX; @Sun ], and there embody also generalized sine function that are anti - symmetric. Our results on the hexangular domain can be easily translated to results in terms of generalized cosines. Our results on summability can besides be translated to orthogonal expansions of algebraic polynomial on the domain bounded by hypercycloid, but the same cannot be said on our results on good approximation. In fact, just like the case of best approximation by polynomial on the time interval, the approximation should be better at the boundary for polynomial approximation on the hypercycloid domain. For example, our Bernstein character inequality (Theorem 4.8) can be translate into a Markov type inequality for algebraic polynomials. A modulus of smoothness will need to be defined to take into account of the boundary effect of the hypercycloid domain, which is not trivial and will not be consider in this paper. Some of our results, specially those on the good approximation, can be extended to higher dimension. We choose to stay on the hexagonal domain to keep an uniformity of the newspaper and to stay away from overwhelming notations. 

 The paper is organized as succeed. Definitions and background materials will be given in incision 2. In Section 3 we analyze the Abel summability, aka Poisson integral, and Cesàro $ (C,\delta)$ means of the Fourer series on the hexagon, where several compact rule for the kernel functions will be deduced. One interesting result usher that the $ (C,2)$ means are nonnegative, akin to the Fejèr means for the classical Fourier series. In department 4 we study best estimate by trigonometric functions on the hexagonal domain and establish both lineal and inverse theorems in terms of a modulus of smoothness. 

 Fourier serial on the regular hexagon 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Below we briefly sum up what we need on Fourier analysis on hexangular domain. We refer to [ @LSX ] for further details. The hexangular lattice is given by $ H \ZZ^2 $, where the matrix $ H$ and the spectral set $ \Omega_H$ are pass by $ $ H=\begin{pmatrix } \sqrt{3 } & 0\\ -1 & 2\end {
 in [@Sun; @LS], and they are clorely related to orthogmnal amgebraic polynomials on the domain blubded vy Steiner’s hyercycloia [@K; @LSX], mlch as Chwbysiev polynomials edise from expkkenticlw. In fact, the jrigonometriw functions arhsd yrom the exponentials by symmetry arq callec heneralized cofine suncfpoks in [@LSX; @Sun], and there are also generanized sine fumctions that are anti-symmehric. Our results on thf hexagonal domwun can be earily translated to resolts in terms of generalized cosknes. Pur resultw in dommability cen alsj be translabvd to osthogonsl expansions pf elgevraic polynomials on vhe domain bounded bi hypercycnond, but the same cannor ve sahd ot ouf rerulus pn best wppcoximation. Jn fact, jusr like the case of nefn approximatikn by [ojynomial on the interval, the approximatpon ahould be better at the boundary for polynomlal approvimation on the hypercycloid domain. For example, ogr Becnrtenk gtpf inequality (Theorem 4.8) can be translated into w Msrlov type inequclity for algebrsif ljlynomials. A oodulus or smoothness will jeed to be dwfined to takr into account of the boundqry effect oy tye hypercycloid dolain, which ns not trivoal and will not be conrideded in this paper. Sojd of our results, esiecidlly those on the best appwoximatioi, can be extdndec to hygher dimejsions. We choose to stay on tke hefagonal dolain to keep an uniformity of tix paper and tp vtaj away frjm ovcrwhelming notaeions.

The paper is orgcnized as followa. Definmtions and bwckground matatials will be given ig Sextiob 2. In Sdztion 3 we studu the Abel summabiluty, aka Poisson inbegrau, and Cesàro $(C,\delcc)$ neans of the Foiref sqrpes og the hexagon, whefe rrverau compact fifmulss for the kernel futctikns will be deducec. Jne intetesting rqsult shows tnat the $(C,2)$ means art nonnxgativx, akin to the Fejèr means for the classidal Fourifr feries. In Sestiok 4 wg study besc approximation by trigonometric functiois on the hexagonal domqin and establish bpuh direct and invewse theorams in terms of a moeulus of smoothnexs.

Fourier series on tge regglar jexagon
=====================================

Below we briefly sum up what we need on Fourier analysis on hexagobal domain. We refed to [@LSX] xox fbrther qetamlr. The hexagonal kattice is given by $H \ZZ^2$, where vhe matrix $H$ and the spectral set $\Omega_H$ afe given by $$H=\cegin{pmatrix} \sqrt{3} & 0\\ -1 & 2\ens{
in [@Sun; @LS], and they are closely orthogonal polynomials on domain bounded by as polynomials arise from In fact, the functions arise from the exponentials by are called generalized cosine functions in [@LSX; @Sun], and there are also generalized functions that are anti-symmetric. Our results on the hexagonal domain can be easily to in of cosines. Our results on summability can also be translated to orthogonal expansions of algebraic polynomials on domain bounded by hypercycloid, but the same cannot said on our results best approximation. In fact, just the of best by on interval, the approximation be better at the boundary for polynomial approximation on the hypercycloid domain. For example, our Bernstein type (Theorem 4.8) translated into Markov inequality algebraic polynomials. A smoothness will need to be defined account of the boundary effect of the hypercycloid which is trivial and will not be considered this paper. Some of our results, especially those the best approximation, can be extended to higher dimensions. We choose to stay on the to keep an uniformity the paper and stay from notations. paper is as follows. Definitions and background materials will be given in Section In Section 3 we study the Abel summability, aka Poisson Cesàro means of the series on the hexagon, several formulas for the kernel be One that $(C,2)$ are nonnegative, akin to Fejèr means for the classical series. In Section 4 trigonometric functions on the hexagonal domain and establish direct and inverse theorems in terms of modulus of smoothness. Fourier series on the regular hexagon ===================================== Below we sum up need on Fourier analysis on hexagonal domain. We to [@LSX] for further The hexagonal lattice is given by $H \ZZ^2$, where matrix and the set $\Omega_H$ are by $$H=\begin{pmatrix} \sqrt{3} 0\\ -1 &
 in [@Sun; @LS], and they are closely rElated to orThogoNal AlgEbRaic PolyNomials on the doMAin bOunded by Steiner’s hyercyCloid [@k; @Lsx], mucH As chebyShev polYNoMIAls ArIsE frOm EXpOnentIalS. In fact, The trigonoMetRiC functions arISe From the expOneNtials by symmEtrY are caLlEd gENeralIzeD cosiNe funcTIons in [@lSX; @Sun], and ThERe are aLSo generALIzEd siNe functions that arE AnTI-symmetric. Our rEsults On THe HEXagOnaL domain can Be EasilY TranslaTEd TO REsuLTs in terms of geNeralized coSIneS. Our reSuLts ON summaBilitY cAN alSo be translaTed tO orthogonAl expaNSions of ALgebraiC polynOmiAls On thE DoMaIn bOuNDed BY hYpeRCycLoid, but tHe SaMe canNot bE SAID on oUr rEsulTs on bEst approximatIon. in faCT, juSt likE the cAse oF bEst apProximAtion By Polynomial on the InteRval, the apProXiMatIoN shouLD be betTer At tHe boundAry for pOLynOmIAL ApProximation on the hyPeRCYcLoid domaIn. For eXAmPlE, Our BernsTeIn tYpe iNEQualiTy (ThEOrEm 4.8) can be tRanslaTEd InTo a MarkOv Type inEqUalIty For alGEbraIc polyNomials. A ModulUS of smoothness wILl need to be defINeD TO tAKe inTo aCcount of the BounDAry eFfecT Of The HYpercYcloiD dOMaIN, which is not trivial aNd Will noT be coNsidered in thiS paper. Some OF OUr resultS, espECiALly those on the bEst apProximatioN, Can be extEnded To higher DimensionS. wE choose tO stAy oN thE heXAGoNal domain to keEP An unIfOrmity oF thE paper aNd tO stAy aWay FrOm overwheLming notAtIoNs.

thE paPer is ORganized As FolLoWs. DEfiniTIons anD backGrouNd MaTEriAls will BE gIVEn in seCtIon 2. IN SeCtIon 3 we StudY The abel sumMability, aKa POIssoN iNtEgral, anD Cesàro $(C,\delta)$ MeAns of the FoUrEr sEries oN THe hexagoN, where several compact forMUlas for The KerneL funCtions wilL be DeduceD. OnE IntereSting rEsult ShOws THAt the $(c,2)$ MEaNs aRe NonnegativE, AKin To the feJèr mEans for The classical FourieR SerIes. In Section 4 wE stUdy bEST aPprOXiMAtiOn BY trIGOnometric functiOns on the heXaGOnAl domain anD EstAbLish botH direct And inVErse theOrems in teRms of a modUlUs of SMOotHness.

FouriEr series On the reguLAr hexAGoN
=====================================

BeloW we BrieflY sUm uP what We need ON FoUrier AnalysIs On hexaGonal DoMain. We reFer to [@LSX] for further detaiLs. The hExagoNal Lattice is GivEN by $h \ZZ^2$, where tHe maTrix $H$ and thE spEctRal seT $\OmEGa_H$ arE givEN bY $$H=\bEGin{pmAtriX} \Sqrt{3} & 0\\ -1 & 2\end{
 in [@Sun; @LS], and theyare closel y rel ate d t oorth ogon al algebraic p o lyno mials on the domain bo unded  b y  Ste i ne r’s h yercycl o id [ @K;  @ LS X],  m u ch  as C heb yshev p olynomials  ar is e from expon e nt ials. In f act , the trigon ome tric f un cti o ns ar ise  from  the e x ponent ials by s ym m etry a r e calle d ge nera lized cosine func t io n s in [@LSX; @S un], a nd th e r e a realso gener al izeds ine fun c ti o n s  th a t are anti-sy mmetric. Ou r  re sultson  th e  hexag onaldo m ain  can be eas ilytranslate d to r e sults i n  termsof gen era liz ed c o si ne s.Ou r  re s ul tso n s ummabili ty  c an al so b e t r ansl ate d to  orth ogonal expans ion s of alg ebrai c pol ynom ia ls on  the d omain  b ounded by hyper cycl oid, butthe  s ame  c annot be sai d o n o ur resu lts onb est  a p p r ox imation. In fact,ju s t  l ike thecase o f  b es t  approxi ma tio n by p olyno mial on  the int erval, th eapproxi ma tion s ho uld  be  bett e r at  the b oundaryfor p o lynomial appro x imation on th e  h y p er c yclo iddomain. For  exa m ple,  our Be rns t ein t ype i ne q ua l ity (Theorem 4.8) c an  be tr ansla ted into a Ma rkov typei n e qualityfora lg e braic polynomi als.A moduluso f smooth nesswill nee d to be d e f ined totak e i nto  ac c o un t of the boun d a ry e ff ect ofthe  hyperc ycl oid  do mai n,  which is  not tri vi al  a nd  wi ll no t  be cons id ere dinthisp aper.Someof o ur  r e sul ts, esp e ci a l ly t ho se  onthe  b est a ppro x ima tion, c an be ext end e d to  h ig her dim ensions. We c ho ose to sta yonthe he x a gonal do main to keep an uniform i ty of t hepaper  and  to stayawa y from  ov e rwhelm ing no tatio ns .
T h e pap e r  i s o rg anized asf o llo ws. D ef init ions an d background mater i als  will be give n i n Se c t io n 2 .  I n  Se ct i on3 we study the Ab el summabi li t y,  aka Poiss o n i nt egral,and Ces àro $ ( C,\delt a)$ means  of the F ou rers e rie s on the h exagon,where sev e ral c o mp act f orm ulas f or  th e ker nel fu n cti ons w ill be  d educed . One  i nteresti ng result shows that th e $(C, 2)$ m ean s are non neg a tiv e, akin t o th e Fejèr me ans  fo r the  cl a ssica l Fo u ri ers eries . In Section 4 we  st u d ybest approx i m a tio n bytri g onomet ricfunctions on theh exagonal domai n an d est abl i sh b ot h direct and i nve rs e theorems  i n terms ofa modulu so f smo othnes s.

Fo urier s e r ie s  on th e re gul ar hexago n
= == = ======= == == = ====== ==== == ====== ===

B e loww e  briefly sum upwhatw e  need onFouri er  analys i s on  hexagonal  domain. We  refer  to[@LSX ] for f ur ther d eta il s. The hex a gonal lat ticeis give nby $ H \ ZZ^2$,  whe r e  thematr ix  $H $ and the s pe c tr al set  $\O mega_ H$  are  given by $$H=\beg in{ p matrix}  \ sqr t { 3} & 0 \ \- 1  & 2\end{
 in_[@Sun; @LS],_and they are closely_related to_orthogonal_algebraic polynomials_on_the domain bounded_by Steiner’s hyercycloid_[@K; @LSX], much as_Chebyshev polynomials arise_from_exponentials. In fact, the trigonometric functions arise from the exponentials by symmetry are called_generalized_cosine functions_in_[@LSX;_@Sun], and there are also_generalized sine functions that are_anti-symmetric. Our_results on the hexagonal domain can be easily_translated_to results in_terms of generalized cosines. Our results on summability can_also be translated to orthogonal expansions_of algebraic polynomials_on_the_domain bounded by hypercycloid,_but the same cannot be said_on our results on best approximation._In fact, just like the case of_best approximation by polynomial on the_interval, the approximation should be_better at_the boundary for polynomial approximation_on the hypercycloid_domain. For_example, our Bernstein_type inequality (Theorem 4.8) can be_translated into a_Markov type inequality for algebraic polynomials._A_modulus of smoothness_will_need_to be_defined to take_into_account of_the_boundary effect of the hypercycloid domain,_which_is not trivial and will not be_considered in this paper._Some_of our results, especially_those on the best approximation,_can be extended to higher dimensions._We choose_to stay_on the hexagonal domain to keep an uniformity of the paper_and to stay away from overwhelming_notations.

The paper is organized_as follows._Definitions_and background materials_will_be given_in Section 2. In Section 3 we_study the_Abel summability, aka Poisson integral, and_Cesàro $(C,\delta)$ means of_the_Fourer series on the hexagon, where_several compact formulas for the kernel_functions will be deduced. One_interesting_result_shows that the $(C,2)$ means_are nonnegative, akin to the Fejèr_means for the_classical Fourier series. In Section 4 we_study_best approximation by trigonometric functions on_the_hexagonal domain and establish both direct_and_inverse_theorems in terms of a_modulus of smoothness.

Fourier series on the_regular hexagon
=====================================

Below we briefly sum up what we need_on Fourier analysis_on hexagonal domain. We refer_to_[@LSX]_for further details. The hexagonal lattice is given by $H_\ZZ^2$, where_the matrix $H$_and the spectral set $\Omega_H$ are given by $$H=\begin{pmatrix} \sqrt{3}_& 0\\ -1 & 2\end{