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.

Estudamos o diagrama de fases para uma classe de modelos de Ising ferromagnéticos em $ \\mathbb^2 $, com campo magnético externo periódico. O campo externo assume dois valores: $ h $ e $ -h $, onde $ h> 0 $. Os sítios associados a valores positivos e negativos do campo externo, formam uma configuração em forma de tabuleiro de xadrez (nós chamamos de {\\it cell-board configuration}), com células retangulares de tamanho $ L_1 \\times L_2 $ sítios, de tal forma que o valor total do campo externo é zero. Como principal resultado, mostramos a presença de uma transição de fase de primeira ordem. A transição de fase existe para $ h <\\frac + \\frac $, onde $ J $ é uma constante de interação. A prova é construida usando o método de {\\it reflection positivity (RP)}. Aplicamos uma desigualdade que é normalmente referida como a estimativa de {\\it chessboard}. Além disso, incluímos uma região de unicidade da medida de Gibbs em $h>4J$, isto usando um critério baseado nas ideias de percolação em desacordo. / We study the low-temperature phase diagram for a ferromagnetic Ising model on $\\mathbb^2$, with a periodical external magnetic field. The external field takes two values: $h$ and $-h$, where $h>0$. The sites associated with positive and negative values of external field form a cell-board configuration with rectangular cells of sides $L_1\\times L_2$ sites, such that the total value of the external field is zero. As a main result, we show the presence of a first-order phase transition. The phase transition holds if $h<\\frac+ \\frac$, where $J$ is an interaction constant. We use the reflection positivity (RP) method. We apply a key inequality which is usually referred to as the chessboard estimate. Furthermore, we prove uniqueness for Gibbs measure in $h>4J$, using a uniqueness condition obtained in terms of disagreement percolation.

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.

Estudamos o problema de valores de contorno {\'DELTA POT. 2\' u = f em \'OMEGA\', \'BETA\' u = 0 em \'PARTIAL OMEGA\', um aberto limitado \'OMEGA\' \'ESTÁ CONTIDO\' \'R POT. N\' , sob diferentes condições de contorno. As questões de existência e positividade de soluções para este problema são abordadas com condições de contorno de Dirichlet, Navier e Steklov. Deduzimos condições de contorno naturais através do estudo de um modelo para uma placa com carga estática. Estudamos ainda propriedades do primeiro autovalor de \'DELTA POT. 2\' e o problema semilinear {\'DELTA POT. 2\' u = F (u) em \'OMEGA\' u = \'PARTIAL\'u SUP . \'PARTIAL\' v = 0 em \'PARTIUAL\' \'OMEGA\', para não-linearidades do tipo F(t) = \'l t l POT. p-1\', p \' DIFERENTE\' t, p > 0. Para tal problema estudamos existência e não-existência de soluções e positividade / We study the boundary value problem {\'DELTA POT. 2\' u = f in \'OMEGA\', \'BETA\' u = 0 in \'PARTIAL OMEGA\', in a bounded open \'OMEGA\'\'THIS CONTAINED\' \'R POT. N\' , under different boundary conditions. The questions of existence and positivity of solutions for this problem are addressed with Dirichlet, Navier and Steklov boundary conditions. We deduce natural boundary conditions through the study of a model for a plate with static load. We also study properties of the first eigenvalue of \'DELTA POT. 2\' and the semi-linear problem { \'DELTA POT. 2\' e o problema semilinear {\'DELTA POT. 2\' u = F (u) in \'OMEGA\' u = \'PARTIAL\'u SUP . \'PARTIAL\' v = 0 in \'PARTIUAL\' \'OMEGA\', for non-linearities like F(t) = \'l t l POT. p-1\', p \' DIFFERENT\' t, p > 0. For such problem we study existence and non-existence of solutions and its positivity

Este trabalho é dedicado ao estudo do erro de estimação em filtragem linear para sistemas lineares com parâmentros sujeitos a saltos markovianos a tempo discreto. Indroduzimos o conceito de alcançabilidade média para uma classe de sistemas. Construímos um conjunto de matrizes de alcançabilidade e mostramos que o conceito usual de alcan- çabilidade definido através da positividade do gramiano é caracterizado pela definição por posto completo destas matrizes. A alcançabilidade média funciona como condição necessária e suficiente para positividade do segundo momento do estado do sistema, resultado esse que auxilia na caracterização da positividade uniforme da matriz de covariância do erro de estimação. Abordamos a estabilidade de estimadores com a interpretação de que a covariância do erro permanece limitada na presença de erro de qualquer magnitude no modelo do ruído, que é uma característica relevante para aplicações. Apresentamos uma prova de que filtros markovianos são estáveis sempre que o segundo momento condicionado é positivo. Exemplos numéricos encontram-se inclusos. / This work studies linear filtering for discrete-time systems with Markov jump parameters. We introduce a notion of average reachability for these systems and present a set of matrices playing the role of reachability matrices, in the sense that their rank is full if and only if the system is average reachable. Reachability is also a sufficient condition for the second moment of the system to be positive. Uniform positiveness of the error covariance matrix is studied for general (possibly non-markovian) linear estimators, relying on the state second moment positiveness. Satbility of linear markovian estimators is also addressed, allowing to show that markovian estimators are stable whenever the system is reachable, with the interpretation that the error covariance remains bounded in the presence of error of any magnitude in the model of the noise, which is a relevant feature for applications. Numerical examples are included.