This thesis is divided into two parts. Part I is about additive combinatorics. Part II deals with questions in elementary number theory. In Chapter 1, we generalize the Davenport transform to prove that if si S\mathbb A=(A, +)S is acancellative semigroup (either abelian or not) and SX, YS are non-empty subsets of SAS such that the subsemigroup generated by SYS is abelian, then SS|X+Y|\gc\min(\gamma(Y, |X|+|Y|-I)SS, where for SZ\subsetcq AS we let S\gamma(Z):=\sup_{z_0\in Z^\times}\in f_(z_0\nc z\inZ) (vm ord)(z-z_0)S. This implies an extension of Chowla's and Pillai's theorems for cyclic groups and a stronger version of an addition theorem by Hamidoune and Karolyi for arbitrary groups. In Chapter 2, we show that if S(A, +) is a cancellative semigroup and SX, Y\subsetcq AS then SS|X+Y|\gc\min(\gammaX+Y), |X|+|Y|-I)SS. This gives a generalization of Kemperman's inequality for torsion free groups and a stronger version of the Hamidoune-Karolyi theorem. In Chapter 3, we generalize results by Freiman et al. by proving that if S(A,\ctlot)S is a linearly orderable semigroup and SSS is a finite subset of SAS generating a non-abelian subsemigroup, then S|S^2-\gc3|S|-2S. In Chapter 4, we prove results related to conjecture by Gyory and Smyth on the sets SR_k^\pm(a,b)S of all positive integers SnS such that Sn^kS divides Sa^a \pmb^nS for fixed integers SaS, SbS and SkS with Sk\gc3S, S|ab|\gc2Set S\gcd(a,b) = 1S. In particular, we show that SR_k^pm(a,b)S is finite if Sk\gc\max(|a|.|b|)S. In Chapter 5, we consider a question on primes and divisibility somchow related to Znam's problem and the Agoh-Giuga conjecture

Neste trabalho estudaremos a existência de soluções fracas para uma classe de equações diferenciais funcionais impulsivas com retardamento dependendo do estado modeladas na forma \'x POT. PRIME\'(t) = Ax(t) + f(t;\' x IND. p(t, xt)), t \'PERTENCE A\'I = [0,a], \'x IND. 0\' =\\varphi \'PERTENCE A\' B, \'DELTA\' \'x(t IND. i) = \'I IND.i\'i(\'x IND.i\'); i = 1, ...n, onde A é o gerador infinitesimal de um \'C IND. 0\'-semigrupo compacto de operadores lineares limitados (\'T\'(t))t \'. OU =\'0 definido em um espaço de Banach X; as fun»ções \'x IND. s\' : (- \'INFIINITO\', 0] \'SETA\' X, \'x IND. s\' ( teta\') = x(s + \'teta\'), estão em um espaço de fase B descrito axiomaticamente; f : I X B \'seta\' X, \'rô\' : I X B \'SETA\' ( - \'INFINITO\', a], \'I IND. i\' : B \'SETA\'X, i=1, ...n , são funções apropriadas; 0 < \'t IND.1\' <... < \'t IND. n\' < a são n¶umeros pré-fixados e o símbolo \'DELTA\'\'ksi\'(t) = \'Ksi\'(\'t POT. + ) - \'ksi\'( \'t POT. -). / In this work we stablish the existence of mild solutions for an impulsive abstract functional differential equation with state-dependent delay described in the form \'x POT. PRIME\'(t) = Ax(t) + f(t;\' x IND. p(t, xt)), t \'BELONGS\'I = [0,a], \'x IND. 0\' =\\varphi \'IS CONTAINED\' B, \'DELTA\' \'x(t IND. i) = \'I IND.i\'i(\'x IND.i\'); i = 1, ...n, where A is the infinitesimal generator of a compact \'C IND. 0\'-semigroup of bounded linear operators (\'T\'(t))t \'. OU =\'0 defined on a Banach space X; the functions \'x IND. s\': ( - INFINito, 0] \'SETA X, \'x IND. s\'(\'teta\') , belongs to some space B described axiomatically; f : I X B \'seta\' X, \'rô\' : I X B \'SETA\' ( - \'INFINITO\', a], \'I IND. i\' : B \'SETA\'X, i=1, ...n , são funções apropriadas; 0 < \'t IND.1\' <... < \'t IND. n\' < a são n¶umeros pré-fixados e o símbolo \'DELTA\'\'ksi\'(t) = \'Ksi\'(\'t POT. + ) - \'ksi\'( \'t POT. -).

Nous considérons les processus de diffusion biaisés et leur simulation. Notre étude se divise en quatre parties et se concentre majoritairement sur les processus à coefficients constants par morceaux dont les discontinuités se trouvent le long d'un hyperplan simple. Nous commençons par une étude théorique dans le cas de la dimension un pour une classe de coefficients plus large. Nous donnons en particulier un résultat sur la structure des densités des résolvantes associées à ces processus et obtenons ainsi une méthode de calcul. Lorsque cela est possible, nous effectuons une inversion de Laplace de ces densités et donnons quelques fonctions de transition. Nous nous concentrons ensuite sur la simulation des processus de diffusions baisées. Nous construisons un schéma numérique utilisant la densité de la résolvante pour tout processus de Feller. Avec ce schéma et les densités calculées dans la première partie, nous obtenons une méthode de simulation des processus de diffusions biaisées en dimension un. Après cela, nous regardons le cas de la dimension supérieure. Nous effectuons une étude théorique et calculons des fonctionnelles des processus de diffusions biaisées. Ceci nous permet d'obtenir entre autre la fonction de transition du processus marginal orthogonal à l'hyperplan de discontinuité. Enfin, nous abordons la parallélisation des méthodes particulaires et donnons une stratégie permettant de simuler de grand lots de trajectoires de processus de diffusions biaisées sur des architectures massivement parallèle. Une propriété de cette stratégie est de permettre de simuler à nouveau quelques trajectoires des précédentes simulations. / We consider the skew diffusion processes and their simulation. This study are divided into four parts and concentrate on the processes whose coefficients are piecewise constant with discontinuities along a simple hyperplane. We start by a theoretical study of the one-dimensional case when the coefficients belong to a broader class. We particularly give a result on the structure of the resolvent densities of these processes and obtain a computational method. When it is possible, we perform a Laplace inversion of these densities and provide some transition functions. Then we concentrate on the simulation of skew diffusions process. We build a numerical scheme using the resolvent density for any Feller processes. With this scheme and the resolvent densities computed in the previous part, we obtain a simulation method for the skew diffusion processes in dimension one. After that, we consider the multidimensional case. We provide a theoretical study and compute some functionals of the skew diffusions processes. This allows to obtain among others the transition function of the marginal process orthogonal to the hyperplane of discontinuity. Finally, we consider the parallelization of Monte Carlo methods. We provide a strategy which allows to simulate a large batch of skew diffusions processes sample paths on massively parallel architecture. An interesting feature is the possibility to replay some the sample paths of previous simulations.

Cette thèse est divisée en deux parties : la partie I traite de combinatoire additive, la partie II s’est portée sur des questions de théorie élémentaire des nombres. Dans le chapitre 1, on généralise la transformée de Davenport pour prouver que si S\mathbb A=(A, +)S est un demi-groupe cancellatif (éventuellement non commutatif) et SX, YS sont des sous-ensembles non vides de SAS tels que le sous semi groupe engendré par SYS est commutatif, on a SS|X+Y|\gc\min(\gamma(Y, |X|+|Y|-I)SS, où S\gamma(\ctlot)S dénote la constante de Cauchy-Davenport d’un ensemble. On en obtient une extension des théorèmes de Chowla et Pillai pour les groupes cycliques et une version plus forte d’un théorème additif de Karolyi et Hamidoune. Dans le chapitre 2, on montre que si S(A,+)S est un semi-groupe cancellatif et si SX, Y\subsetcq AS alors SS|X+Y|\gc\min(\gammaX+Y), |X|+|Y|-I)SS. Cela donne une généralisation de l’inégalité de Kemperman pour les groupes sans torsion et une version plus forte du théorème d’Hamidoune-Karolyi. Dans le chapitre 3, on généralise des résultats par Freiman et al., en prouvant que si S(A,\ctlot)S est un semi-groupe linéairement ordonnable et SSS est un sous-ensemble fini de SAS engendrant un sous-semi-groupe non-abélien, alors S|S^2-\gc3|S|-2S. Dans le chapitre 4, on prouve des résultats liés à une conjecture par Gyorgy et Smyth sur la finitude des entiers Sn\gc1S tels que Sn^kS divise Sa^a \pmb^nS pour des entiers fixés SaS, SbS et SkS avec Sk\gc3S, S|ab|\gc2Set S\gcd(a,b) = 1S. Enfin, dans le chapitre 5, on considère une question de divisibilité dans les entiers, en quelque sorte liée au problème de Znam et à la conjecture d’Agoh-Giuga / This thesis is divided into two parts. Part I is about additive combinatorics. Part II deals with questions in elementary number theory. In Chapter 1, we generalize the Davenport transform to prove that if si S\mathbb A=(A, +)S is acancellative semigroup (either abelian or not) and SX, YS are non-empty subsets of SAS such that the subsemigroup generated by SYS is abelian, then SS|X+Y|\gc\min(\gamma(Y, |X|+|Y|-I)SS, where for SZ\subsetcq AS we let S\gamma(Z):=\sup_{z_0\in Z^\times}\in f_(z_0\nc z\inZ) (vm ord)(z-z_0)S. This implies an extension of Chowla’s and Pillai’s theorems for cyclic groups and a stronger version of an addition theorem by Hamidoune and Karolyi for arbitrary groups. In Chapter 2, we show that if S(A, +) is a cancellative semigroup and SX, Y\subsetcq AS then SS|X+Y|\gc\min(\gammaX+Y), |X|+|Y|-I)SS. This gives a generalization of Kemperman’s inequality for torsion free groups and a stronger version of the Hamidoune-Karolyi theorem. In Chapter 3, we generalize results by Freiman et al. by proving that if S(A,\ctlot)S is a linearly orderable semigroup and SSS is a finite subset of SAS generating a non-abelian subsemigroup, then S|S^2-\gc3|S|-2S. In Chapter 4, we prove results related to conjecture by Gyory and Smyth on the sets SR_k^\pm(a,b)S of all positive integers SnS such that Sn^kS divides Sa^a \pmb^nS for fixed integers SaS, SbS and SkS with Sk\gc3S, S|ab|\gc2Set S\gcd(a,b) = 1S. In particular, we show that SR_k^pm(a,b)S is finite if Sk\gc\max(|a|.|b|)S. In Chapter 5, we consider a question on primes and divisibility somchow related to Znam’s problem and the Agoh-Giuga conjecture

Cette thèse est centrée autour de l’étude théorique et de l’analyse numérique des équations paraboliques non linéaires avec divers conditions aux limites. La première partie est consacrée aux équations paraboliques dégénérées mêlant des phénomènes non-linéaires de diffusion et de transport. Nous définissons des notions de solutions entropiques adaptées pour chacune des conditions aux limites (flux nul, Robin, Dirichlet). La difficulté principale dans l’étude de ces problèmes est due au manque de régularité du flux pariétal pour traiter les termes de bords. Ceci pose un problème pour la preuve d’unicité. Pour y remédier, nous tirons profit du fait que ces résultats de régularités sur le bord sont plus faciles à obtenir pour le problème stationnaire et particulièrement en dimension un d’espace. Ainsi par la méthode de comparaison "fort-faible" nous arrivons à déduire l’unicité avec le choix d’une fonction test non symétrique et en utilisant la théorie des semi-groupes non linéaires.L’existence de solution se démontre en deux étapes, combinant la méthode de régularisation parabolique et les approximations de Galerkin. Nous développons ensuite une approche directe en construisant des solutions approchées par un schéma de volumes finis implicite en temps. Dans les deux cas, on combine les estimations dans les espaces fonctionnels bien choisis avec des arguments de compacité faible ou forte et diverses astuces permettant de passer à la limite dans des termes non linéaires. Notamment, nous introduisons une nouvelle notion de solution appelée solution processus intégrale dont l’objectif, dans le cadre de notre étude, est de pallier à la difficulté de prouver la convergence vers une solution entropique d’un schéma volumes finis pour le problème de flux nul au bord.La deuxième partie de cette thèse traite d’un problème à frontière libre décrivant la propagation d’un front de combustion et l’évolution de la température dans un milieu hétérogène. Il s’agit d’un système d’équations couplées constitué de l’équation de la chaleur bidimensionnelle et d’une équation de type Hamilton-Jacobi. L’objectif de cette partie est de construire un schéma numérique pour ce problème en combinant des discrétisations du type éléments finis avec les différences finies. Ceci nous permet notamment de vérifier la convergence de la solution numérique vers une solution onde pour un temps long. Dans un premier temps, nous nous intéressons à l’étude d’un problème unidimensionnel. Très vite,nous nous heurtons à un problème de stabilité du schéma. Cela est dû au problème de prise en compte de la condition de Neumann au bord. Par une technique de changement d’inconnue et d’approximation nous remédions à ce problème. Ensuite, nous adaptons cette technique pour la résolution du problème bidimensionnel. A l’aide d’un changement de variables, nous obtenons un domaine fixe facile pour la discrétisation. La monotonie du schéma obtenu est prouvée sous une hypothèse supplémentaire de propagation monotone qui exige que la frontière libre se déplace dans les directions d’un cône prescrit à l’avance. / This thesis focuses on the theoretical study and numerical analysis of parabolic equations with boundary conditions.The first part is devoted to degenerate parabolic equation which combines features of a hyperbolic conser-vation law with those of a porous medium equation. We define suitable notions of entropy solutions foreach of the boundary conditions (zero-flux, Robin, Dirichlet). The main difficulty in these studies residesin the formulation of the adequate notion of entropy solution and in the proof of uniqueness. There isa technical difficulty due to the lack of regularity required to treat the boundaries terms. We take ad-vantage of the fact that boundary regularity results are easier to obtain for the stationary problem, inparticular in one space dimension. Thus, using strong-weak uniqueness approach we get the uniquenesswith the choice of a non-symmetric test function and using the nonlinear semigroup theory. The exis-tence of solution is proved in two steps, combining the method of parabolic regularization and Galerkinapproximations. Next, we develop a direct approach to construct approximate solutions by an implicitfinite volume scheme. In both cases, the estimates in the appropriately chosen functional spaces are com-bined with arguments of weak or strong compactness and various tricks to pass to the limit in nonlinearterms. In the appendix, we propose a result of existence of strong trace of a solution for the degenerateparabolic problem. In another appendix of independent interest, we introduce a new concept of solutioncalled integral process solution. We exploit it to overcome the difficulty of proving the convergence ofour finite volume scheme to an entropy solution for the zero-flux boundary problem.The second part of this thesis deals with a free boundary problem describing the propagation of a com-bustion front and the evolution of the temperature in a heterogeneous medium. So we have a coupledproblem consisting of the heat equation of bidimensional space and a Hamilton-Jacobi equation. The ob-jective is to construct a numerical scheme and to verify that the numerical solution converges to a wavesolution for a long time. Recall that an existence of wave solution for this problem was already proven inan analytical framework. At first, we focus on the study of a one-dimensional problem. Here, we face aproblem of stability of the scheme. This is due to a difficulty of taking into account the Neumann boun-dary condition. Through a technique of change of unknown, we can propose a monotone scheme. Wealso adapt this technique for solving two-dimensional problem. Using a change of variables, we obtaina fixed domain where the discretization becomes easy. The monotony of the scheme is proved under anadditional assumption of monotone propagation that requires the free boundary moves in the directionsof a cone given beforehand.