Neste trabalho analisamos a positividade definida estrita de núcleos contínuos sobre um espaço compacto 2-homogêneo. R. Gangolli (1967) apresentou uma caracterização completa para os núcleos que são contínuos, isotrópicos e positivos definidos sobre um espaço compacto 2-homogêneo Md: a parte isotrópica do núcleo é uma série de Fourier uniformemente convergente, com coeficientes não negativos, em relação a certos polinômios de Jacobi atrelados a Md. Uma das contribuições de nosso trabalho é uma caracterização para a positividade definida estrita de tais núcleos, complementando a caracterização apresentada por Chen et al. (2003) no caso em que Md é uma esfera unitária de dimensão maior ou igual a 2. Outra contribuição do trabalho é uma extensão do resultado de Gangolli para núcleos sobre produtos cartesianos de espaços compactos 2-homogêneos, e a consequente caracterização para núcleos estritamente positivos definidos neste mesmo contexto. Por fim, a última contribuição do trabalho envolve a análise do grau de diferenciabilidade da parte isotrópica de um núcleo contínuo, isotrópico e positivo definido sobre Md e a aplicabilidade de tal análise em resultados envolvendo a positividade definida estrita. / In this work we analyze the strict positive definiteness of continuous kernels on compact two-point homogeneous spaces Md. R. Gangolli (1967) presented a complete characterization for continuous, isotropic and positive definite kernels on Md: the isotropic part of the kernel is a uniformly convergent Fourier series of certain Jacobi polynomials associated to Md, with nonnegative coefficients. One of the contributions of our work is a characterization for the strict positive definiteness of such kernels, completing that one presented by Chen et al. (2003) in the case Md is the unit sphere of dimension at least 2. Another contribuition of this work is an extension of Gangolli\'s result for kernels on a product of compact two-point homogeneous spaces, and the subsequent characterization of strict positive definiteness in this same context. Finally, the last contribution in this work involves the analysis of the differentiability of the isotropic part of a continuous, isotropic and positive definite kernel on Md and the applicability of such analysis in results involving the strict positive definiteness.

Apresentamos uma caracterização das funções positivas definidas em esferas complexas, generalizando assim, um resultado de Schoenberg ([41]). Como no caso real, uma classe importante dessas funções é aquela composta pelas funções estritamente positivas definidas de uma certa ordem; estas podem ser utilizadas para resolver certos problemas de interpolação de dados arbitrários associados a pontos distintos distribuídos nas esferas. Com esse objetivo, obtivemos algumas condições necessárias e suficientes (separadamente) para que funções positivas definidas sejam estritamente positivas definidas. Os resultados apresentados fornecem uma caracterização final elementar para funções estritamente positivas definidas de todas as ordens em quase todas as esferas complexas. Funções estritamente positivas definidas de ordem 2 são caracterizadas em todas as esferas complexas. Analisamos também a relação entre funções estritamente positivas definidas em esferas complexas e funções estritamente positivas definidas em esferas reais. / We characterize positive definite functions on complex spheres, generalizing a famous result due to I. J. Schoenberg ([41]). As in the real case, we study the so-called strictly positive definite functions. They can be used to perform interpolation of scattered data on those spheres. We present (separated) necessary and sufficient conditions for a positive definite function to be strictly positive definite of a certain order. These conditions produce a final characterization for those positive definite functions which are strictly positive definite of all orders, on almost all spheres. Strictly positive definite functions of order 2 are identified. Finally, we study a connection between strictly positive definite functions on real spheres and strictly positive definite functions on complex spheres.

Neste trabalho analisamos a positividade definida estrita de núcleos contínuos sobre um espaço compacto 2-homogêneo. R. Gangolli (1967) apresentou uma caracterização completa para os núcleos que são contínuos, isotrópicos e positivos definidos sobre um espaço compacto 2-homogêneo Md: a parte isotrópica do núcleo é uma série de Fourier uniformemente convergente, com coeficientes não negativos, em relação a certos polinômios de Jacobi atrelados a Md. Uma das contribuições de nosso trabalho é uma caracterização para a positividade definida estrita de tais núcleos, complementando a caracterização apresentada por Chen et al. (2003) no caso em que Md é uma esfera unitária de dimensão maior ou igual a 2. Outra contribuição do trabalho é uma extensão do resultado de Gangolli para núcleos sobre produtos cartesianos de espaços compactos 2-homogêneos, e a consequente caracterização para núcleos estritamente positivos definidos neste mesmo contexto. Por fim, a última contribuição do trabalho envolve a análise do grau de diferenciabilidade da parte isotrópica de um núcleo contínuo, isotrópico e positivo definido sobre Md e a aplicabilidade de tal análise em resultados envolvendo a positividade definida estrita. / In this work we analyze the strict positive definiteness of continuous kernels on compact two-point homogeneous spaces Md. R. Gangolli (1967) presented a complete characterization for continuous, isotropic and positive definite kernels on Md: the isotropic part of the kernel is a uniformly convergent Fourier series of certain Jacobi polynomials associated to Md, with nonnegative coefficients. One of the contributions of our work is a characterization for the strict positive definiteness of such kernels, completing that one presented by Chen et al. (2003) in the case Md is the unit sphere of dimension at least 2. Another contribuition of this work is an extension of Gangolli\'s result for kernels on a product of compact two-point homogeneous spaces, and the subsequent characterization of strict positive definiteness in this same context. Finally, the last contribution in this work involves the analysis of the differentiability of the isotropic part of a continuous, isotropic and positive definite kernel on Md and the applicability of such analysis in results involving the strict positive definiteness.

Apresentamos uma caracterização das funções positivas definidas em esferas complexas, generalizando assim, um resultado de Schoenberg ([41]). Como no caso real, uma classe importante dessas funções é aquela composta pelas funções estritamente positivas definidas de uma certa ordem; estas podem ser utilizadas para resolver certos problemas de interpolação de dados arbitrários associados a pontos distintos distribuídos nas esferas. Com esse objetivo, obtivemos algumas condições necessárias e suficientes (separadamente) para que funções positivas definidas sejam estritamente positivas definidas. Os resultados apresentados fornecem uma caracterização final elementar para funções estritamente positivas definidas de todas as ordens em quase todas as esferas complexas. Funções estritamente positivas definidas de ordem 2 são caracterizadas em todas as esferas complexas. Analisamos também a relação entre funções estritamente positivas definidas em esferas complexas e funções estritamente positivas definidas em esferas reais. / We characterize positive definite functions on complex spheres, generalizing a famous result due to I. J. Schoenberg ([41]). As in the real case, we study the so-called strictly positive definite functions. They can be used to perform interpolation of scattered data on those spheres. We present (separated) necessary and sufficient conditions for a positive definite function to be strictly positive definite of a certain order. These conditions produce a final characterization for those positive definite functions which are strictly positive definite of all orders, on almost all spheres. Strictly positive definite functions of order 2 are identified. Finally, we study a connection between strictly positive definite functions on real spheres and strictly positive definite functions on complex spheres.

Este trabalho é composto de duas partes distintas, ambas dentro de um mesmo tema: núcleos positivos definidos sobre variedades. Na primeira delas fornecemos uma caracterização para os núcleos contínuos, isotrópicos e positivos definidos a valores matriciais sobre um espaço compacto 2-homogêneo. Utilizando-a, investigamos a positividade definida estrita destes núcleos, apresentando inicialmente algumas condições suficientes para garantir tal propriedade. No caso em que o espaço 2-homogêneo não é uma esfera, descrevemos uma caracterização definitiva para a positividade definida estrita do núcleo. Neste mesmo caso, para núcleos a valores no espaço das matrizes de ordem 2, apresentamos uma caraterização alternativa para a positividade definida estrita do núcleo via os dois elementos na diagonal principal da representação matricial do núcleo. Na segunda parte, nos restringimos a núcleos positivos definidos escalares sobre os mesmos espaços e determinamos condições necessárias e suficientes para a positividade definida estrita de um produto de núcleos positivos definidos sobre um mesmo espaço compacto 2-homogêneo. Apresentamos ainda uma extensão deste resultado para núcleos positivos definidos sobre o produto cartesiano de um grupo localmente compacto com uma esfera de dimensão alta, mantendo-se a isotropia na componente esférica. / In this work we present a characterization for the continuous, isotropic and positive definite matrix-valued kernels on a compact two-point homogeneous space. After that, we consider the strict positive definiteness of the kernels, describing some independent sufficient conditions for that property to hold. In the case the space is not a sphere, one of the conditions becomes necessary and sufficient for the strict positive definiteness of the kernel. Further, for 22- matrix-valued kernels on a compact two-point homogeneous space which is not a sphere, we present a characterization for the strict positive definiteness of the kernels based upon the main diagonal elements in its matrix representation. In the last part of this work, we restrict ourselves to scalar kernels and determine necessary and sufficient conditions in order that the product of two continuous, isotropic and positive definite kernels on a compact two-point homogeneous space be strictly positive definite. We also discuss the extension of this result for kernels defined on a product of a locally compact group and a high dimensional sphere.

Este trabalho é composto de duas partes distintas, ambas dentro de um mesmo tema: núcleos positivos definidos sobre variedades. Na primeira delas fornecemos uma caracterização para os núcleos contínuos, isotrópicos e positivos definidos a valores matriciais sobre um espaço compacto 2-homogêneo. Utilizando-a, investigamos a positividade definida estrita destes núcleos, apresentando inicialmente algumas condições suficientes para garantir tal propriedade. No caso em que o espaço 2-homogêneo não é uma esfera, descrevemos uma caracterização definitiva para a positividade definida estrita do núcleo. Neste mesmo caso, para núcleos a valores no espaço das matrizes de ordem 2, apresentamos uma caraterização alternativa para a positividade definida estrita do núcleo via os dois elementos na diagonal principal da representação matricial do núcleo. Na segunda parte, nos restringimos a núcleos positivos definidos escalares sobre os mesmos espaços e determinamos condições necessárias e suficientes para a positividade definida estrita de um produto de núcleos positivos definidos sobre um mesmo espaço compacto 2-homogêneo. Apresentamos ainda uma extensão deste resultado para núcleos positivos definidos sobre o produto cartesiano de um grupo localmente compacto com uma esfera de dimensão alta, mantendo-se a isotropia na componente esférica. / In this work we present a characterization for the continuous, isotropic and positive definite matrix-valued kernels on a compact two-point homogeneous space. After that, we consider the strict positive definiteness of the kernels, describing some independent sufficient conditions for that property to hold. In the case the space is not a sphere, one of the conditions becomes necessary and sufficient for the strict positive definiteness of the kernel. Further, for 22- matrix-valued kernels on a compact two-point homogeneous space which is not a sphere, we present a characterization for the strict positive definiteness of the kernels based upon the main diagonal elements in its matrix representation. In the last part of this work, we restrict ourselves to scalar kernels and determine necessary and sufficient conditions in order that the product of two continuous, isotropic and positive definite kernels on a compact two-point homogeneous space be strictly positive definite. We also discuss the extension of this result for kernels defined on a product of a locally compact group and a high dimensional sphere.