Extensão Holomorfa à Faixa Complexa de Função Real Positiva Definida.

Abstract

Estudamos funções positivas definidas de uma variável real ou complexa, bem como a relação entre essas duas famílias. Identificamos que uma função analítica positiva definida sobre a reta se estende holomorficamente a uma faixa horizontal do plano complexo contendo o eixo real, onde a ferramenta fundamental é o Teorema de Bochner. Do mesmo modo, exibimos condições suficientes para que uma função se estenda holomorficamente a uma faixa vertical contendo o eixo imaginário, onde o Teorema de Bernstein-Widder é decisivamente usado. Em adição, investigamos positividade definida relativa à diferença conjugada complexa e à soma conjugada complexa para a classe de funções características.