Harmonic analysis is the analysis of function spaces under the action of some group. In this project we consider applications of Harmonic analysis on Euclidean space, via the group action of translations, and applications of Harmonic analysis on the sphere, via the orthogonal group action. While the analysis on Euclidean space leads to the classical Fourier analysis and operations such as the Fourier transform, representation theory allows us to see the action of the orthogonal group with the same lens, in such a way that to functions of positive type correspond invariant and positive kernels in the sphere and to the Fourier inversion formula corresponds the decomposition of a spherical function into spherical harmonics. In this thesis we apply these elements to three different geometrical problems. In the first project we use semidefinite programming to bound the maximum number of equiangular lines with a fixed common angle in the Euclidean space and we show how this bound relates to previously known bounds for spherical codes and to independent sets in graphs. In the second project we consider the counting of integer points in dilates of a rational polytope P and use the development of the Fourier transform of a polytope via Stokes formula to determine a formula for the second-order Ehrhart coefficient, namely the coefficient of t^(d-2) in | tP intersection Z^d|. In the third project we consider again the Fourier transform of a polytope and use its development via Brion's theorem to show that it does not contain circles in its null set. Fourier analysis, polytopes, lattice sums, packing, equiangular lines, semidefinite programming bounds, spherical harmonics, Ehrhart quasi-polynomials.

Análise harmônica é a análise de espaços de funções sob a ação de algum grupo. Neste projeto consideramos aplicações de análise harmônica no espaço Euclideano, via a ação de translação, e aplicações de análise harmônica na esfera, via a ação do grupo ortogonal. Enquanto a análise no espaço Euclideano leva à análise de Fourier clássica e a operações tais como a transformada de Fourier, a teoria das representações nos permite ver a ação do grupo ortogonal sob um mesmo ponto de vista. Às funções de tipo positivo correspondem os núcleos positivos e invariantes na esfera e à fórmula de inversão de Fourier corresponde a decomposição de uma função esférica em harmônicos esféricos. Nesta tese aplicamos esses elementos em três problemas geométricos distintos. No primeiro projeto, usamos programação semidefinida para limitar o número máximo de retas equiangulares com um ângulo em comum fixo e mostramos como esse limitante se relaciona com limitantes conhecidos para códigos esféricos e para o número de independência de grafos. No segundo projeto consideramos a contagem de pontos inteiros em dilatações de um politopo racional P e usamos o desenvolvimento da transformada de Fourier de um politopo pela fórmula de Stokes para determinar uma fórmula para o coeficiente de Ehrhart de segunda ordem, a saber o coeficiente de t^(d-2) em |tP interseção Z^d|. No terceiro projeto consideramos novamente a transformada de Fourier de um politopo e usamos seu desenvolvimento pelo teorema de Brion para mostrar que ela não possui círculos no seu conjunto nulo.