Esta tese aborda diversos temas em evolução molecular, usando extensivamente o formalismo de funções geratrizes para obter resultados analíticos sempre que possível. Em primeiro lugar, apresenta-se a solução exata para o comportamento dinâmico de uma população infinita de seqüências infinitamente longas (não há mutações reversas) evoluindo sob a ação de mutações deletérias em um relevo adaptativo multiplicativo ou truncado. Além disso, foi estudado o comportamento de uma população submetida a sucessivas diluições de intensidades arbitrárias, como ocorre em alguns protocolos de evolução experimental. Foram obtidas expressões matemáticas que, em princípio, podem ser úteis na caracterização de populações reais de microorganismos. Demonstrou-se também que um processo estocástico de ramificação multidimensional generalizado é uma excelente ferramenta para analisar numericamente os efeitos da degeneração mutacional (especificamente, de um fenômeno denominado catraca de Muller) em populações sob variadas condições de crescimento exponencial. Finalmente, simulações foram extensivamente utilizadas para analisar a história evolutiva de populações finitas e averiguar a possibilidade de certas grandezas, como certas medidas da topologia de árvores genealógicas, serem empregadas na elaboração de testes estatísticos capazes de detectar as marcas deixadas pela seleção natural.

This thesis discusses some topics of molecular evolution, extensively using generating function methods to find analytical results whenever possible. In first place, it gives the exact solution for the dynamics of an infinite population of infinitely long sequences (no back mutations) evolving under the action of deleterious mutations on either multiplicative or truncated fitness landscapes. In addition, the behavior of a population subject to successive dilutions of arbitrary intensity, just like some experimental evolution protocols, is found. The mathematical expressions, in principle, may prove useful in characterizing real populations of microor¬ganisms. It was also demonstrated that a generalized multidimensional branching process is a nice tool in numerically studying mutational degeneration effects (specifically a pheno¬menon called Muller's ratchet) in populations under a wide variety of exponential growth settings. Finally, the evolutionary history of finite populations was studied by simulations to probe the viability of certain statistic, like some topological measures in genealogical trees, being incorporated in statistical tests to detect the fingerprints of natural selection.