L'objet de cette thèse est l'analyse multifractale des fonctions autosimilaires et l'étude de la validité du formalisme multifractal. Il s'agit d'abord de déterminer la régularité Hölderienne ponctuelle exacte pour des fonctions dont le graphe localement est grossièrement une contraction du graphe complet, à une fonction erreur près ; ensuite de calculer les dimensions de Hausdorff des ensembles de points où la fonction présente la même singularité; et enfin de vérifier les conjectures de Frish et Parisi et celle d'Arneodo, Bacry et Muzy, qui relient ces dimensions à des quantités moyennes extraites de la fonction. Nous étudions plusieurs types d'autosimilarités, et montrons (en reformulant parfois) que l'analyse par ondelettes permet d'étudier la validité de ces relations.

Les superprocessus sont des processus de markov a valeurs mesures. Ils sont caracterises par un processus markovien sous-jacent et un mecanisme de branchement spatial. lorsque le mecanisme de branchement est restreint a un domaine de l'espace, appele ensemble de catalyse, on parle alors de superprocessus avec catalyse. Dans le premier chapitre nous rappelons la construction du super-mouvement brownien avec catalyse, puis nous etablissons des proprietes de continuite trajectorielle. Nous demontrons egalement que hors de l'ensemble de catalyse, le super-mouvement brownien possede une densite aleatoire solution de l'equation de la chaleur. Dans le deuxieme chapitre nous etudions l'image du super-mouvement brownien a l'aide d'un processus a valeurs trajectoires, appele serpent brownien. Enfin dans le troisieme chapitre nous etablissons, a l'aide du serpent brownien et d'une methode de subordination, des resultats sur la dimension de hausdorff du support des superprocessus avec un mecanisme de branchement general, ainsi que des resultats d'absolue continuite.

We introduce methods to cope with self-similar sets when we do not assume any separation condition. For a self-similar set K ⊆ ℝᵈ we establish a similarity dimension-like formula for Hausdorff dimension regardless of any separation condition. By the application of this result we deduce that the Hausdorff measure and Hausdorff content of K are equal, which implies that K is Ahlfors regular if and only if Hᵗ (K) > 0 where t = dim[sub]H K. We further show that if t = dim[sub]H K < 1 then Hᵗ (K) > 0 is also equivalent to the weak separation property. Regarding Hausdorff dimension, we give a dimension approximation method that provides a tool to generalise results on non-overlapping self-similar sets to overlapping self-similar sets. We investigate how the Hausdorff dimension and measure of a self-similar set K ⊆ ℝᵈ behave under linear mappings. This depends on the nature of the group T generated by the orthogonal parts of the defining maps of K. We show that if T is finite then every linear image of K is a graph directed attractor and there exists at least one projection of K such that the dimension drops under projection. In general, with no restrictions on T we establish that Hᵗ (L ∘ O(K)) = Hᵗ (L(K)) for every element O of the closure of T , where L is a linear map and t = dim[sub]H K. We also prove that for disjoint subsets A and B of K we have that Hᵗ (L(A) ∩ L(B)) = 0. Hochman and Shmerkin showed that if T is dense in SO(d; ℝ) and the strong separation condition is satisfied then dim[sub]H (g(K)) = min {dim[sub]H K; l} for every continuously differentiable map g of rank l. We deduce the same result without any separation condition and we generalize a result of Eroğlu by obtaining that Hᵗ (g(K)) = 0. We show that for the attractor (K1, … ,Kq) of a graph directed iterated function system, for each 1 ≤ j ≤ q and ε > 0 there exists a self-similar set K ⊆ Kj that satisfies the strong separation condition and dim[sub]H Kj - ε < dim[sub]H K. We show that we can further assume convenient conditions on the orthogonal parts and similarity ratios of the defining similarities of K. Using this property we obtain results on a range of topics including on dimensions of projections, intersections, distance sets and sums and products of sets. We study the situations where the Hausdorff measure and Hausdorff content of a set are equal in the critical dimension. Our main result here shows that this equality holds for any subset of a set corresponding to a nontrivial cylinder of an irreducible subshift of finite type, and thus also for any self-similar or graph directed self-similar set, regardless of separation conditions. The main tool in the proof is an exhaustion lemma for Hausdorff measure based on the Vitali's Covering Theorem. We also give several examples showing that one cannot hope for the equality to hold in general if one moves in a number of the natural directions away from `self-similar'. Finally we consider an analogous version of the problem for packing measure. In this case we need the strong separation condition and can only prove that the packing measure and δ-approximate packing pre-measure coincide for sufficiently small δ > 0.