f$ to denote its isotropic part. Lemma \[pd1\] and Proposition \[conve\] supply a function $g$ so that $$g(s,t)=\sum_{k,l=0}^{\infty}\hat{f}_{k,l}P_{k}^{m}(t)P_{l}^{M}(s), \quad t,s \in [-1,1],$$ with uniform convergence in $[-1,1]^2$. In particular, $g$ is continuous in $[-1,1]^2$. On the other hand, the same uniform convergence and the orthogonality relation mentioned at the beginning of the section imply that $$\hat{f}_{k,l} -\hat{g}_{k,l}=0, \quad k,l \in \mathbb{Z}_+.$$ Consequently, $f=g$.

Positive definiteness on $S^\infty \times S^M$
==============================================

In this section, we extend Theorem \[mainPD\] to the cases in which either $m=\infty$ or $M=\infty$. Clearly, it suffices to consider the cases $m=\infty$, $M<\infty$ and $m=M=\infty$ only.

Every sphere $S^{m}$ can be isometrically embedded in $S^{\infty}$. In particular, a positive definite kernel on $S^\infty \times S^{M}$ is positive definite on $S^{m}\times S^{M}$, for $m=1,2,\ldots$. Likewise, if $f$ is the isotropic part of a positive definite kernel on $S^\infty \times S^{M}$, then it is the isotropic part of a positive definite kernel on $S^{m}\times S^{M}$, for $m=1,2, \ldots$. In addition, if $f$ is continuous, then for every $m\geq 1$, we have a representation for $f$ in the form $$f(t,s)=\sum_{k,l=0}^{\infty}\hat{f}_{k,l}^{m,M} P_{k}^{m}(t) P_{l}^{M}(s), \quad t,s \in [-1,1],$$ in which $$\hat{f}_{k,l}^{m,M} =\frac{1}{\tau_{k}^{m} \tau_{l}^{M}}  \int_{[-1,1
f$ to denote its isotropic part.   Lemma \[pd1\ ] and Proposition \[conve\ ] supply a function $ g$ so that $ $ g(s, t)=\sum_{k, l=0}^{\infty}\hat{f}_{k, l}P_{k}^{m}(t)P_{l}^{M}(s), \quad metric ton, s \in [ -1,1],$$ with consistent convergence in $ [ -1,1]^2$.   In particular, $ g$ is continuous in $ [ -1,1]^2$.   On the other handwriting, the same uniform overlap and the orthogonality relation mentioned at the beginning of the section entail that $ $ \hat{f}_{k, l } -\hat{g}_{k, l}=0, \quad k, l \in \mathbb{Z}_+.$$ Consequently, $ f = g$. 

 Positive determinateness on $ S^\infty \times S^M$ 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section, we extend Theorem \[mainPD\ ] to the cases in which either $ m=\infty$ or $ M=\infty$.   Clearly, it suffice to consider the cases $ m=\infty$, $ M<\infty$ and $ thousand = M=\infty$ only. 

 Every sphere $ S^{m}$ can be isometrically implant in $ S^{\infty}$.   In particular, a positive definite kernel on $ S^\infty \times S^{M}$ is positive definite on $ S^{m}\times S^{M}$, for $ m=1,2,\ldots$.   alike, if $ f$ is the isotropic part of a positive definite kernel on $ S^\infty \times S^{M}$, then it is the isotropic part of a convinced definite kernel on $ S^{m}\times S^{M}$, for $ m=1,2, \ldots$.   In addition, if $ f$ is continuous, then for every $ m\geq 1 $, we have a representation for $ f$ in the form $ $ f(t, s)=\sum_{k, l=0}^{\infty}\hat{f}_{k, l}^{m, M } P_{k}^{m}(t) P_{l}^{M}(s), \quad t, s \in [ -1,1],$$ in which $ $ \hat{f}_{k, l}^{m, M } = \frac{1}{\tau_{k}^{m } \tau_{l}^{M } }   \int_{[-1,1
f$ tl denote its isotropic pxrt. Lemma \[pd1\] and Proposmtion \[cknve\] supoly a function $g$ so that $$g(s,t)=\dun_{k,l=0}^{\indty}\hat{f}_{k,l}P_{k}^{m}(t)P_{l}^{M}(s), \quad t,s \in [-1,1],$$ wpth unifoem cibvergence mh $[-1,1]^2$. In pavciculzv, $g$ iv continuous in $[-1,1]^2$. On the otver hand, the sdmd bniform convergence and the orthogonwlity rrlwtion mentioneq at ehe gvglnning of the section imply that $$\hat{f}_{k,l} -\hat{g}_{k,l}=0, \quad l,l \in \mathbb{Z}_+.$$ Consequently, $f=g$.

Plsitive definiteneds on $S^\infti \tiiws S^M$
==============================================

In this section, wt zxtend Theotem \[mainPD\] to the cases in which eithzr $m=\infty$ ot $J=\ijxty$. Clearly, mt sufsices to consider tha cases $m=\infty$, $M<\infty$ anv $m=M=\unfty$ only.

Every spherx $S^{m}$ can be isometrisally embadbed in $S^{\infty}$. In partixuoar, a poshtivd dewinjtx ksrnel ln $A^\infty \timss S^{M}$ is powitive definite on $X^{m}\epkes S^{M}$, for $m=1,2,\mdots$. Lykqwise, if $f$ is the isotropic part of a pmsifive definite kernel on $S^\infty \times S^{M}$, then it is thq isotropic part of a positive definite kernel on $S^{m}\tijds W^{M}$, wir $m=1,2, \ldots$. In addition, if $f$ is continuous, then fjd tvegy $m\geq 1$, we have c representation flr $s$ in the form $$f(t,s)=\sum_{k,l=0}^{\jnfty}\hat{f}_{k,l}^{m,M} P_{k}^{m}(t) P_{l}^{M}(s), \qoad t,s \in [-1,1],$$ in wrich $$\hat{f}_{k,l}^{m,M} =\frac{1}{\tau_{k}^{m} \tau_{l}^{M}}  \unt_{[-1,1
f$ to denote its isotropic part. Lemma Proposition supply a $g$ so that with convergence in $[-1,1]^2$. particular, $g$ is in $[-1,1]^2$. On the other hand, same uniform convergence and the orthogonality relation mentioned at the beginning of the imply that $$\hat{f}_{k,l} -\hat{g}_{k,l}=0, \quad k,l \in \mathbb{Z}_+.$$ Consequently, $f=g$. Positive definiteness on \times ============================================== this we extend Theorem \[mainPD\] to the cases in which either $m=\infty$ or $M=\infty$. Clearly, it suffices consider the cases $m=\infty$, $M<\infty$ and $m=M=\infty$ only. sphere $S^{m}$ can be embedded in $S^{\infty}$. In particular, positive kernel on \times is definite on $S^{m}\times for $m=1,2,\ldots$. Likewise, if $f$ is the isotropic part of a positive definite kernel on $S^\infty \times then it isotropic part a definite on $S^{m}\times S^{M}$, \ldots$. In addition, if $f$ is every $m\geq 1$, we have a representation for in the $$f(t,s)=\sum_{k,l=0}^{\infty}\hat{f}_{k,l}^{m,M} P_{k}^{m}(t) P_{l}^{M}(s), \quad t,s \in in which $$\hat{f}_{k,l}^{m,M} =\frac{1}{\tau_{k}^{m} \tau_{l}^{M}} \int_{[-1,1
f$ to denote its isotropic part. lemma \[pd1\] and propoSitIon \[CoNve\] sUpplY a function $g$ so tHAt $$g(s,T)=\sum_{k,l=0}^{\infty}\hat{f}_{k,l}P_{k}^{m}(t)P_{L}^{M}(s), \quAd T,S \in [-1,1],$$ wITh UnifoRm conveRGeNCE in $[-1,1]^2$. in PaRtiCuLAr, $G$ is coNtiNuous in $[-1,1]^2$. on the other HanD, tHe same uniforM CoNvergence aNd tHe orthogonalIty RelatiOn MenTIoned At tHe begInning OF the seCtion implY tHAt $$\hat{f}_{K,L} -\hat{g}_{k,l}=0, \QUAd K,l \in \Mathbb{Z}_+.$$ ConsequentLY, $f=G$.

positive definiTeness On $s^\InFTY \tiMes s^M$
==============================================

In this seCtIon, we EXtend ThEOrEM \[MAinpd\] to the cases in Which either $M=\InfTy$ or $M=\iNfTy$. CLEarly, iT suffIcES to Consider the CaseS $m=\infty$, $M<\iNfty$ anD $M=M=\infty$ ONly.

EverY spherE $S^{m}$ Can Be isOMeTrIcaLlY EmbEDdEd iN $s^{\inFty}$. In parTiCuLar, a pOsitIVE DEfinIte KernEl on $S^\Infty \times S^{M}$ iS poSitiVE deFinitE on $S^{m}\TimeS S^{m}$, for $m=1,2,\Ldots$. LIkewiSe, If $f$ is the isotropIc paRt of a posiTivE dEfiNiTe kerNEl on $S^\iNftY \tiMes S^{M}$, thEn it is tHE isOtROPIc Part of a positive defInITE kErnel on $S^{M}\times s^{m}$, fOr $M=1,2, \Ldots$. In aDdItiOn, if $F$ IS contInuoUS, tHen for evEry $m\geQ 1$, We HaVe a reprEsEntatiOn For $F$ in The foRM $$f(t,s)=\Sum_{k,l=0}^{\iNfty}\hat{f}_{K,l}^{m,M} P_{K}^{M}(t) P_{l}^{M}(s), \quad t,s \in [-1,1],$$ IN which $$\hat{f}_{k,l}^{m,m} =\FrAC{1}{\TaU_{K}^{m} \taU_{l}^{M}}  \Int_{[-1,1
f$ to denote its isotropic  part. Lem ma \[ pd1 \]an d Pr opos ition \[conve\ ]  sup ply a function $g$ sothat$$ g (s,t ) =\ sum_{ k,l=0}^ { \i n f ty} \h at {f} _{ k ,l }P_{k }^{ m}(t)P_ {l}^{M}(s) , \ qu ad t,s \in [ - 1, 1],$$ with  un iform conver gen ce in$[ -1, 1 ]^2$.  In  part icular ,  $g$ i s continu ou s  in $[ - 1,1]^2$ . On  the  other hand, thes am e  uniform conve rgence  a n dt h e o rth ogonalityre latio n  mentio n ed a t  th e  beginning of  the sectio n  im ply th at  $$ \ hat{f} _{k,l }- \ha t{g}_{k,l}= 0, \ quad k,l\in \m a thbb{Z} _ +.$$ Co nseque ntl y,$f=g $ .
P osi ti v e d e fi nit e nes s on $S^ \i nf ty \t imes S ^ M $
== === ==== ===== ============= === ==== = === ===== ===
In t hi s sec tion,we ex te nd Theorem \[ma inPD \] to the  ca se s i nwhich either  $m =\i nfty$ o r $M=\i n fty $. C l ea rly, it suffices t oc o ns ider the  cases $m =\ i nfty$, $ M< \in fty$ a nd $m =M=\ i nf ty$ only .

Eve r ysp here $S ^{ m}$ ca nbeiso metri c ally  embed ded in $ S^{\i n fty}$. In part i cular, a posi t iv e de f init e k ernel on $S ^\in f ty \ time s  S ^{M } $ isposit iv e  d e finite on $S^{m}\ti me s S^{M }$, f or $m=1,2,\ld ots$. Like w i s e, if $f $ is th e  isotropic par t ofa positive definite  kern el on $S ^\infty \ t i mes S^{M }$,  th eniti s  t he isotropicp a rt o fa posit ive  defini teker nel  on  $ S^{m}\tim es S^{M} $,  f or  $ m=1 ,2, \ l dots$. I nadd it ion , if$ f$ isconti nuou s,  t h enfor eve r y$ m \geq  1 $,  wehav ea rep rese n tat ion for  $f$ in t hef orm$$ f( t,s)=\s um_{k,l=0}^{\ in fty}\hat{f }_ {k, l}^{m, M }  P_{k}^{ m}(t) P_{l}^{M}(s), \qu a d t,s \ in[-1,1 ],$$  in which  $$ \hat{f }_{ k ,l}^{m ,M} =\ frac{ 1} {\t a u _{k}^ { m }\ta u_ {l}^{M}} \ i nt_ {[-1, 1
f$ to_denote its_isotropic part. Lemma \[pd1\] and_Proposition \[conve\]_supply_a function_$g$_so that $$g(s,t)=\sum_{k,l=0}^{\infty}\hat{f}_{k,l}P_{k}^{m}(t)P_{l}^{M}(s),_\quad t,s \in_[-1,1],$$ with uniform convergence_in $[-1,1]^2$. In particular,_$g$_is continuous in $[-1,1]^2$. On the other hand, the same uniform convergence and the orthogonality_relation_mentioned at_the_beginning_of the section imply that_$$\hat{f}_{k,l} -\hat{g}_{k,l}=0, \quad k,l \in_\mathbb{Z}_+.$$ Consequently,_$f=g$.

Positive definiteness on $S^\infty \times S^M$
==============================================

In this section,_we_extend Theorem \[mainPD\]_to the cases in which either $m=\infty$ or $M=\infty$. Clearly,_it suffices to consider the cases_$m=\infty$, $M<\infty$ and_$m=M=\infty$_only.

Every_sphere $S^{m}$ can be_isometrically embedded in $S^{\infty}$. In particular, a_positive definite kernel on $S^\infty \times_S^{M}$ is positive definite on $S^{m}\times S^{M}$,_for $m=1,2,\ldots$. Likewise, if $f$ is the_isotropic part of a positive_definite kernel_on $S^\infty \times S^{M}$, then_it is the_isotropic part_of a positive_definite kernel on $S^{m}\times S^{M}$, for_$m=1,2, \ldots$. In addition,_if $f$ is continuous, then for_every_$m\geq 1$, we_have_a_representation for_$f$ in the_form_$$f(t,s)=\sum_{k,l=0}^{\infty}\hat{f}_{k,l}^{m,M} P_{k}^{m}(t)_P_{l}^{M}(s),_\quad t,s \in [-1,1],$$ in which_$$\hat{f}_{k,l}^{m,M}_=\frac{1}{\tau_{k}^{m} \tau_{l}^{M}}  \int_{[-1,1