The field of discrete dynamical systems is a rich and active field of research within mathematics, with applications ranging from biology to computer science, finance, engineering and various others. In this thesis properties of certain discrete dynamical systems are studied together with number theoretic properties of the functions defining these systems. The dynamical systems studied in this thesis are defined by iteration of power series g with a fixed point at the origin, tangent to the identity, and defined over fields of prime characteristic p. We are interested in the geometric location of the periodic points in the open unit disk. Recent results have shown that there is a connection between the lower ramification numbers of g and the geometric location of the periodic points in the open unit disk. The lower ramification numbers of g can be described as the multiplicity of zero as a fixed point of p-power iterates of g.

Part of this thesis concerns characterizing power series having certain sequences of ramification numbers. The other part concerns utilizing these results in order to describe the geometric location of the periodic points in terms of their distance to the origin. More precisely, we characterize all 2-ramified power series, i.e. power series having ramification numbers of the form 2(1 + p + … + pⁿ). Moreover, we also obtain a lower bound of the absolute value of the periodic points in the open unit disk of such series.

This thesis concerns discrete dynamical systems. These are systems where the dynamics is modeled by iterated functions. There are several applications of discrete dynamical system e.g. in biology, pseudo random number generation and statistical mechanics. In this thesis we are interested in discrete dynamical systems described by iterations of a power series f fixing the origin, where it is tangent to the identity. In particular, the coefficients of f are given in a field of positive characteristic p. We are interested in the so-called lower ramification numbers of such series. The lower ramification numbers encodes the multiplicity of the origin as a fixed point of f under p-power iterates. In particular this thesis contains four papers all related to the topic of lower ramification numbers of such power series.

In Paper I we consider so-called 2-ramified power series and give a characterization of such in terms of its first significant terms. This is further extended in Paper II, where we geometrically locate the periodic points of 2-ramified power series in the open unit disk. In doing, so we provide a self-contained proof of the main result of the first paper.

In Paper III, we consider power series with a fixed point at the origin of small multiplicity, i.e. the multiplicity of the fixed point is less than that of the characteristic of the ground field. We provide a characterization of all such power series having the smallest possible lower ramification numbers, in terms of its first significant terms, and in terms of the nonvanishing of the so-called iterative residue. In doing so, we also provide a formula for the residue fixed point index for the case of a multiple fixed point. We further extend the results of Paper II by locating geometrically the periodic points in the open unit disk of convergent power series with small multiplicity.

In Paper IV we consider power series of large multiplicity, and introduce an invariant in positive characteristic closely related to the residue fixed point index. We provide a characterization of these power series having the smallest possible lower ramification numbers in terms of the nonvanishing of this invariant. As a by-product we obtain results about the dimension of the moduli space of formal classification of wildly ramified power series.

Denna avhandling behandlar diskreta dynamiska system. Dessa är system där dynamiken modelleras med en itererad funktion. Tillämpningarna för diskreta dynamiska systems återfinns bland annat i biologi, pseudo-slumptalsgenerering och statistisk mekanik för att nämna några exempel. I denna avhandling är vi intresserade av dynamiska system som beskrivs av iterationer av en potensserie f med en fixpunkt i origo, där den tangerar identitetsavbildningen. Särskilt är vi intresserade av potensserier vars koefficienter kommer från en kropp med positiv karaktäristik p. Vi är intresserade av de så kallade underförgreningstalen till f. Underförgreningstalen till en potensserie f kan kortfattat beskrivas som multipliciteten av origo betraktad som en fixpunkt till iterationer av f. Denna avhandling innehåller fyra artiklar som behandlar detta ämne.

I artikel I studerar vi så kallade 2-förgrenade potensserier och karaktäriserar dessa i termer av dess första signifikanta termer. Detta utvecklas sedan i artikel II, där vi beskriver absolutbeloppet av de periodiska punkterna för 2-förgrenade potensserier. Detta medför också att vi erhåller ett fristående bevis för huvudresultatet i artikel I.

I artikel III, studerar vi potensserier med en fixpunkt i origo med liten multiplicitet, d.v.s. potensserier där multipliciteten för origo som en fixpunkt är mindre än karaktäristiken för koefficientkroppen. Vi erhåller en karaktärisering av dessa i termer av dess första signifikanta termer, samt även formulerat som ickeförsvinnandet av den så kallade iterativa residyn. Vi erhåller även en formel för att beräkna det holomorfa indexet för en fixpunkt i fallet då multiplikatorn av fixpunkten är 1. Vidare utvecklar vi resultaten från artikel II genom att erhålla resultat om de periodiska punkternas geometriska placering i den öppna enhetsskivan för konvergenta potensserier med en fixpunkt med liten multiplicitet.

I artikel IV studerar vi potensserier där origo är en fixpunkt med multiplicitet som är större än karaktäristiken i koefficientkroppen. Vi introducerar även en invariant i positiv karaktäristik nära besläktad med det holomorfa indexet. Vi erhåller en karaktärisering av sådana potensserier när dessa har de minsta möjliga underförgreningstalen, i termer av ickeförsvinnandet av denna invariant. Vi erhåller också resultat gällande antalet parametrar som behövs för att klassificera dessa potensserier under formella koordinatbyten.