Estudamos o modelo dos sapos na árvore homogênea, um sistema de partículas a tempo discreto cuja dinâmica é sintetizada a seguir. No instante inicial, existe em cada vértice da árvore um número aleatório independente e identicamente distribuído de partículas; aquelas posicionadas em um vértice fixado estão ativas, as demais inativas. Partículas ativas realizam passeios aleatórios simples, independentes, a tempo discreto, com probabilidade de desaparecimento (1 - p) em cada instante. Uma partícula inativa torna-se ativa assim que seu vértice é visitado por uma partícula ativa. Consideramos nesta tese o valor crítico p_c que separa a fase em que o processo se extingue quase certamente da fase em que existem partículas ativas em todos os instantes com probabilidade positiva. Provamos um limitante superior para a probabilidade crítica p_c, o qual melhora o resultado anteriormente conhecido para o caso de configuração inicial de uma partícula por vértice. O argumento utilizado consiste na descrição do modelo dos sapos como um modelo de percolação orientada que domina processos de ramificação convenientemente definidos. Obtemos também o valor assintótico do limitante superior estabelecido, mostrando ser igual ao valor assintótico da probabilidade crítica.

We study the frog model on the homogeneous tree, a discrete-time particle system whose dynamics is summarized next. Initially there is an independent and identically distributed random number of particles at each vertex of the tree; those placed at a fixed vertex are active, the others being inactive. Active particles perform independent discrete-time simple random walks, with probability of disappearance (1 - p) at each instant. An inactive particle becomes active once its vertex is hit by an active particle. We consider in this thesis the critical value p_c that separates the phase in which the process dies out almost surely from the phase in which there exist active particles at all times with positive probability. We prove an upper bound for the critical probability p_c, which improves the formerly known result for the case of one particle per vertex initial configuration. The employed argument builds on the description of the frog model as an oriented percolation model which dominates suitably defined branching processes. We also obtain the asymptotic value of the stated upper bound, showing that it equals the asymptotic value of the critical probability.