La poursuite multi-cibles a pour objet le suivi d’un ensemble de cibles mobiles à partir de données obtenues séquentiellement. Ce problème est particulièrement complexe du fait du nombre inconnu et variable de cibles, de la présence de bruit de mesure, de fausses alarmes, d’incertitude de détection et d’incertitude dans l’association de données. Les filtres PHD (Probability Hypothesis Density) constituent une nouvelle gamme de filtres adaptés à cette problématique. Ces techniques se distinguent des méthodes classiques (MHT, JPDAF, particulaire) par la modélisation de l’ensemble des cibles comme un ensemble fini aléatoire et par l’utilisation des moments de sa densité de probabilité. Dans la première partie, on s’intéresse principalement à la problématique de l’application des filtres PHD pour le filtrage multi-cibles maritime et aérien dans des scénarios réalistes et à l’étude des propriétés numériques de ces algorithmes. Dans la seconde partie, nous nous intéressons à l’étude théorique des processus de branchement liés aux équations du filtrage multi-cibles avec l’analyse des propriétés de stabilité et le comportement en temps long des semi-groupes d’intensités de branchements spatiaux. Ensuite, nous analysons les propriétés de stabilité exponentielle d’une classe d’équations à valeurs mesures que l’on rencontre dans le filtrage non-linéaire multi-cibles. Cette analyse s’applique notamment aux méthodes de type Monte Carlo séquentielles et aux algorithmes particulaires dans le cadre des filtres de Bernoulli et des filtres PHD. / The problem of multiple-object tracking consists in the recursive estimation ofthe state of several targets by using the information coming from an observation process. The objective of this thesis is to study the spatial branching processes andthe measure-valued systems arising in multi-object tracking. We focus on a class of filters called Probability Hypothesis Density (PHD) filters by first analyzing theirperformance on simulated scenarii and then by studying their properties of stabilityand convergence. The thesis is organized in two parts: the first part overviewsthe techniques proposed in the literature and introduces the Probability Hypothesis Density filter as a tractable approximation to the full multi-target Bayes filterbased on the Random Finite Sets formulation. A series of contributions concerning the numerical implementation of PHD filters are proposed as well as the analysis of their performance on realistic scenarios.The second part focuses on the theoretical aspects of the PHD recursion in the context of spatial branching processes. We establish the expression of the conditional distribution of a latent Poisson point process given an observation process and propose an alternative derivation of the PHD filter based on this result. Stability properties, long time behavior as well as the uniform convergence of a general class of stochastic filtering algorithms are discussed. Schemes to approximate the measure valued equations arising in nonlinear multi-target filtering are proposed and studied.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we first develop a brief theoretical approach of semigroups of bounded linear operators, culminating on Hille-Yosida Theorem. Then we used the extrapolation theory to study su cient conditions to obtain existence and uniqueness of Almost Automorphic and Pseudo-Almost Automorphic mild solutions, through the Banach's Fixed Point Theorem for the semilinear evolution equation x(t) = Ax(t) + f(t; x(t)); t E R, where A : D(A) X ! X is a Hille-Yosida operator of negative type and not necessary dense domain on the Banach space X. / Neste trabalho, desenvolvemos inicialmente uma breve abordagem te orica dos semigrupos de operadores lineares limitados, culminando no Teorema de Hille-Yosida. Em seguida, usamos a teoria de extrapolação a fim de estudar condições suficientes para obtermos a existência e a unicidade de soluções brandas Quase Automórficas e Pseudo-quase Automórficas, por meio do Teorema do Ponto Fixo de Banach, para a equação de evolução semilinear x(t) = Ax(t) + f(t; x(t)); t E R, onde A : D(A) X ! X é um operador de Hille-Yosida de tipo negativo e dom ínio não necessariamente denso, definido no espaço de Banach X.

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.

<p>Doktorska disertacija je posvećena primeni teorije polugrupa operatora na re&scaron;avanje dve klase Cauchy-jevih početnih problema. U prvom delu smo<br />ispitivali parabolične stohastičke parcijalne diferencijalne jednačine (SPDJ-ne), odredjene sa dva tipa operatora: linearnim zatvorenim operatorom koji<br />generi&scaron;e <em>C</em>₀&minus;polugrupu i linearnim ograničenim operatorom kombinovanim<br />sa Wick-ovim proizvodom. Svi stohastički procesi su dati Wiener-It&ocirc;-ovom<br />haos ekspanzijom. Dokazali smo postojanje i jedinstvenost re&scaron;enja ove klase<br />SPDJ-na. Posebno, posmatrali smo i stacionarni slučaj kada je izvod po<br />vremenu jednak nuli. U drugom delu smo konstruisali kompleksne stepene<br /><em>C</em>-sektorijalnih operatora na sekvencijalno kompletnim lokalno konveksnim<br />prostorima. Kompleksne stepene operatora smo posmatrali kao integralne<br />generatore uniformno ograničenih analitičkih <em>C</em>-regularizovanih rezolventnih<br />familija, i upotrebili dobijene rezultate na izučavanje nepotpunih Cauchy-jevih problema vi&scaron;3eg ili necelog reda.</p> / <p>The doctoral dissertation is devoted to applications of the theory<br />of semigroups of operators on two classes of Cauchy problems. In the first<br />part, we studied parabolic stochastic partial differential equations (SPDEs),<br />driven by two types of operators: one linear closed operator generating a<br /><em>C</em>₀&minus;semigroup and one linear bounded operator with Wick-type multipli-cation. All stochastic processes are considered in the setting of Wiener-It&ocirc;<br />chaos expansions. We proved existence and uniqueness of solutions for this<br />class of SPDEs. In particular, we also treated the stationary case when the<br />time-derivative is equal to zero. In the second part, we constructed com-plex powers of <em>C</em>&minus;sectorial operators in the setting of sequentially complete<br />locally convex spaces. We considered these complex powers as the integral<br />generators of equicontinuous analytic <em>C</em>&minus;regularized resolvent families, and<br />incorporated the obtained results in the study of incomplete higher or frac-tional order Cauchy problems.</p>

Cette thèse est centrée sur l’étude d’équations issues de la théorie cinétique des gaz. Dans tous les problèmes qui y sont explorés, une analyse des problèmes linéaires ou linéarisés associés est réalisée d’un point de vue spectral et du point de vue des semi-groupes. A cela s’ajoute une analyse de la stabilité non linéaire lorsque le modèle est non linéaire. Plus précisément, dans une première partie, nous nous intéressons aux équations de Fokker-Planck fractionnaire et Boltzmann sans cut-off homogène en espace et nous prouvons un retour vers l’équilibre des solutions de ces équations avec un taux exponentiel dans des espaces de type L1 à poids polynomial. Concernant l’équation de Landau inhomogène en espace, nous développons une théorie de Cauchy de solutions perturbatives dans des espaces de type L2 avec différents poids (polynomiaux ou exponentiels) et nous prouvons également la stabilité exponentielle de ces solutions.Nous démontrons ensuite pour l’équation de Boltzmann inélastique inhomogène avec terme diffusif le même type de résultat dans des espaces L1 à poids polynomial dans un régime de faible inélasticité. Pour finir, nous étudions dans un cadre général et uniforme des modèles qui convergent vers l’équation de Fokker-Planck du point de vue de l’analyse spectrale et des semi-groupes. / The topic of this thesis is the study of models coming from kinetic theory. In all the problems that are addressed, the associated linear or linearized problem is analyzed from a spectral point of view and from the point of view of semigroups. Tothat, we add the study of the nonlinear stability when the equation is nonlinear. More precisely, to begin with, we treat the problem of trend to equilibrium for the fractional Fokker-Planck and Boltzmann without cut-off equations, proving an exponential decay to equilibrium in spaces of type L1 with polynomial weights. Concerning the inhomogeneous Landau equation, we develop a Cauchy theory of perturbative solutions in spaces of type L2 with various weights such as polynomial and exponential weights and we also prove the exponential stability of these solutions. Then, we prove similar results for the inhomogeneous inelastic diffusively driven Boltzmann equation in a small inelasticity regime in L1 spaces with polynomial weights. Finally, we study in the same and uniform framework from the spectral analysis point of view with a semigroup approach several Fokker-Planck equations which converge towards the classical one.