Notre travail de recherche concerne la modelisation de l'hematopoese normale et alteree. Les cellules souches hematopoetiques (CSH) sont des cellules indi erenciee qui se trouvent dans la moelle osseuse, et possedent la capacite d'autorenouvellement et de dierenciation. L'hematopoese montre souvent des anomalies qui causent les maladies hematologiques. La leucemie Myelode Chronique (LMC) est un cancer des globules blancs, resultant d'une transformation des chromosomes dans les CSH. En modelisant la LMC, nous decrivons l'evolution des CSH et cellules dierenciees dans la moelle osseuse, par un systeme d'equations dierentielles ordinaires (EDO). L'homeostasie depend de quelques lignees cellulaires, et contr^ole la division des CSH. Nous analysons le comportement asymptotique global du modele, pour obtenir les conditions de regeneration de l'hematopoese normale et la persistance de la LMC. Nous demontrons que les cellules normales et cancereuses ne peuvent pas coexister longtemps. L'imatinib est un traitement principal de la LMC, administre a des dosages variant de 400 a 1000 mg par jour. Les patients repondent a la therapie suivant les niveaux hematologique, cytogenetique et moleculaire. La therapie echoue quand les patients prennent plus de temps pour reagir (reponse suboptimale), ou bien revelent une resistance primaire ou secondaire apres une bonne reponse initiale. La determination du dosage optimal, necessaire a la reduction des cellules cancereuses represente notre objectif. Alors, nous representons les eets de la therapie par des problemes de contr^ole optimal pour minimiser le co^ut du traitement et le nombre des cellules cancereuses. La reponse suboptimale, les resistances primaire et secondaire, et le retablissement des patients, sont obtenus a travers l'in uence de l'imatinib sur la division et la mortalite des cellules cancereuses. En considerant la competition interspecique, nous construisons a partir du systeme d'EDO un modele structure en ^age, decrivant les eets de la therapie sur les CSH cancereuses. Nous etablissons les conditions d'optimalite et demontrons l'existence et l'unicite d'un contr^ole optimal. Le processus d'interaction joue un r^ole important dans la dynamique des CSH normales ; en eet, les CSH lles normales peuvent se stabiliser ou montrer un rebond durant la therapie. Le dosage optimal est soit stable ou oscillant avec le temps, et les CSH lles cancereuses peuvent cro^tre ou osciller. Cette etude contribue signicativement dans l'obtention du dosage optimal lors du traitement de l'hematopoese alteree.

Le manuscrit est constitué de deux parties indépendantes.Propriétés des Solutions de Viscosité des Equations Integro-Différentielles.Nous considérons des équations intégro-différentielles elliptiques et paraboliques non-linéaires (EID), où les termes non-locaux sont associés à des processus de Lévy. Ce travail est motivé par l'étude du Comportement en temps long des solutions de viscosité des EID, dans le cas périodique. Le résultat classique nous dit que la solution u(¢, t ) du problème de Dirichlet pour EID se comporte comme ?t Åv(x)Åo(1) quand t !1, où v est la solution du problème ergodique stationaire qui correspond à une unique constante ergodique ?.En général, l'étude du comportement asymptotique est basé sur deux arguments: la régularité de solutions et le principe de maximumfort.Dans un premier temps, nous étudions le Principe de Maximum Fort pour les solutions de viscosité semicontinues des équations intégro-différentielles non-linéaires. Nous l'utilisons ensuite pour déduire un résultat de comparaison fort entre sous et sur-solutions des équations intégro-différentielles, qui va assurer l'unicité des solutions du problème ergodique à une constante additive près. De plus, pour des équationssuper-quadratiques le principe de maximum fort et en conséquence le comportement en temps grand exige la régularité Lipschitzienne.Dans une deuxième partie, nous établissons de nouvelles estimations Hölderiennes et Lipschitziennes pour les solutions de viscosité d'une large classe d'équations intégro-différentielles non-linéaires, par la méthode classique de Ishii-Lions. Les résultats de régularité aident de plus à la résolution du problème ergodique et sont utilisés pour fournir existence des solutions périodiques des EID.Nos résultats s'appliquent à une nouvelle classe d'équations non-locales que nous appelons équations intégro-différentielles mixtes. Ces équations sont particulièrement intéressantes, car elles sont dégénérées à la fois dans le terme local et non-local, mais leur comportement global est conduit par l'interaction locale - non-locale, par exemple la diffusion fractionnaire peut donner l'ellipticité dans une direction et la diffusion classique dans la direction orthogonale.Visualisation et Restauration d'Images par Mouvements de CourbureLe rôle de la courbure dans la perception visuelle remonte à 1954, et on le doit à Attneave. Des arguments neurologiques expliquent que le cerveau humain ne pourrait pas possiblement utiliser toutes les informations fournies par des états de simulation. Mais en réalité on enregistre des régions où la couleur change brusquement (des contours) et en outre les angles et les extremas de courbure. Pourtant, un calcul direct de courbures sur une image est impossible. Nous montrons comment les courbures peuvent être précisément évaluées, à résolution sous-pixelique par un calcul sur les lignes de niveau après leur lissage indépendant.Pour cela, nous construisons un algorithme que nous appelons Level Lines (Affine) Shortening, simulant une évolution sous-pixelique d'une image par mouvement de courbure moyenne ou affine. Aussi bien dans le cadre analytique que numérique, LLS (respectivement LLAS) extrait toutes les lignes de niveau d'une image, lisse indépendamment et simultanément toutes ces lignes de niveau par Curve Shortening(CS) (respectivement Affine Shortening (AS)) et reconstruit une nouvelle image. Nousmontrons que LL(A)S calcule explicitement une solution de viscosité pour le le Mouvement de Courbure Moyenne (respectivement Mouvement par Courbure Affine), ce qui donne une équivalence avec le mouvement géométrique.Basé sur le raccourcissement de lignes de niveau simultané, nous fournissons un outil de visualisation précis des courbures d'une image, que nous appelons un Microscope de Courbure d'Image. En tant que application, nous donnons quelques exemples explicatifs de visualisation et restauration d'image : du bruit, des artefacts JPEG, de l'aliasing seront atténués par un mouvement de courbure sous-pixelique

Cette thèse est la poursuite des travaux entrepris dans [13] pour le développement d’un nouvel estimateur d’erreur de type hiérarchique. Cet estimateur permet d’adapter un maillage et d’obtenir des solutions plus précises d’une équation aux dérivées partielles. La méthode est relativement générale et peut s’appliquer à une grande variété de problèmes, et permet théoriquement de traiter des approximations de n’importe quel degré. Elle mène, lorsque la solution le permet, à des maillages fortement anisotropes et se compare avantageusement aux méthodes basées sur la définition d’une métrique. Des améliorations substantielles à la méthode ont été apportées dans le cadre de ce travail. Les principaux objectifs étant de réduire fortement les coûts de calcul associés à la méthode et de la rendre beaucoup plus robuste de manière générale. Ainsi, on a revu et amélioré les algorithmes de reconstruction des gradients par un scaling approprié, de réinterpolation des champs en introduisant une méthode de krigeage. On a également introduit un algorithme de remaillage des coquilles à l’aide d’une méthode dite de «ear clipping» originale en 3D. L’algorithme de déplacement de sommets a également été revu. Enfin la gestion des frontières courbes est également considérée. De nombreux exemples bi et tridimensionnels sont présentés pour illustrer l’efficacité de l’estimateur. Des problèmes académiques sont d’abord considérés, y compris des problèmes singuliers où on montre que l’on obtient des taux de convergence optimaux (par rapport au nombre de degrés de liberté). Par la suite, on s’intéresse à différents domaines d’applications, notamment en mécanique des fluides et en neurosciences. Enfin, un algorithme général pour l’adaptation de maillage dans le cas instationnaire sera également décrit et testé. / This thesis is the continuation of the work undertaken in [13] for the development of a new a posteriori error estimator based on hierarchical basis. This estimator allows to adapt a finite element mesh and to obtain more accurate solutions of various partial differential equations. Most importantly, it leads, whenever possible, to strongly anisotropic meshes, and compares favorably with methods based on the definition of a metric. The method is fairly general and can be applied to approximations of any degree and to a wide variety of problems. In this work, several significant improvements have been added to the initial method. The objectives being to substantially reduce the calculation costs associated with the method and to make it much more robust. Many substantial contributions have been made to the various algorithms. Let’s mention the introduction of an appropriate scaling in the gradient recovery method, kriging for the reinterpolation of the different fields during adaptation, an original ear clipping method in 3D for local remeshing. A different approach for nodes displacement is also condirered. Finally we detailled how we take care of curved borders. Many bi and three-dimensional examples are presented to illustrate the efficiency of the estimator. Academic problems are first considered, including classical singular problems where optimal rates of convergence are observed (relative to the number of degrees of freedom). Applications in different fields such as fluid mechanics and neurosciences are then considered. Finally an algorithm for time-dependent problems is presented and tested.

Cette thèse s’inscrit dans le vaste domaine des équations aux dérivées partielles et des systèmes dynamiques, et s’articule autour de deux sujets distincts. Le premier est relié à l’étude des équations de coagulation-fragmentation discrètes avec diffusion. En utilisant des lemmes de dualité, on établit de nouvelles estimations Lp pour des moments polynomiaux associés aux solutions, sous une hypothèse de convergence des coefficients de diffusion. Ces estimations sur les moments permettent ensuite d’obtenir de nouveaux résultats de régularité, et de démontrer qu’une fragmentation suffisamment forte peut empêcher la gelation dans le modèle incluant la diffusion. Le second sujet est celui des preuves assistées par ordinateur dans le domaine des systèmes dynamiques. On améliore et on applique une méthode basée sur le théorème du point fixe de Banach, permettant de valider a posteriori des solutions numériques. Plus précisément, on élargit le cadre d’application de cette méthode pour inclure des opérateurs avec un terme dominant linéaire tridiagonal, on perfectionne une technique permettant de calculer et de valider des variétés invariantes, et on introduit une nouvelle technique qui améliore de manière significative l’utilisation de l’interpolation polynomiale dans le cadre de ces méthodes de preuves assistées par ordinateur. Ensuite, on applique ces techniques pour démontrer l’existence d’ondes progressives pour l’équation du pont suspendu, et pour étudier les états stationnaires non homogènes d’un système de diffusion croisée. / This thesis falls within the broad framework of partial differential equations and dynamical systems, and focuses more specifically on two independent topics. The first one is the study of the discrete coagulation-fragmentation equations with diffusion. Using duality lemma we establish new Lp estimates for polynomial moments of the solutions, under an assumption of convergence of the diffusion coefficients. These moment estimates are then used to obtain new results of smoothness and to prove that strong enough fragmentation can prevent gelation even in the diffusive case. The second topic is the one of computer-assisted proofs for dynamical systems. We improve and apply a method enabling to a posteriori validate numerical solutions, which is based on Banach’s fixed point theorem. More precisely, we extend the range of applicability of the method to include operators with a dominant linear tridiagonal part, we improve an existing technique allowing to compute and validate invariant manifolds, and we introduce an new technique that significantly improves the usage of polynomial interpolation for a posteriori validation methods. Then, we apply those techniques to prove the existence of traveling waves for the suspended bridge equation, and to study inhomogeneous steady states of a cross-diffusion system.

Les conducteurs composites sont constitués d'hétérogénéités microscopiques mais apparaissent comme homogènes à l'échelle macroscopique. La description de leur comportement nécessite l'homogénéisation des équations de conduction régissant chacune de leurs phases. Cette thèse s'intéresse à certaines lois effectives pour les conducteurs composites en présence d'un champ magnétique constant. Dans le premier chapitre, on rappelle quelques résultats d'électrophysique (effet Hall, magnétorésistance) et de la théorie de l'homogénéisation (H-convergence) ainsi que son extension à des problèmes à forte conductivité. Dans le chapitre deux, on étudie l'effet Hall dans des composites bidimensionnels à deux phases très contrastées et on compare le résultat d'homogénéisation à celui obtenu avec une structure fibrée renforcée. Le troisième chapitre généralise ce cas particulier et étend la loi comportementale obtenue à des matériaux cylindriques non périodiques sans hypothèse géométrique sur leur section. Les chapitres deux et trois soulignent des différences importantes entre la dimension deux et la dimension trois au niveau des problèmes de conduction à fort contraste. Un quatrième chapitre est consacré à l'étude de la magnétorésistance en dimension trois et met en avant une forte interaction entre la direction du champ magnétique et l'énergie dissipée dans le matériau complétant ainsi un résultat antérieur en dimension deux.

Cette thèse porte sur l’homogénéisation quantitative d’équations aux dérivées partielles paraboliques, et de problèmes elliptiques discrets. Dans l’introduction, nous voyons comment de tels problèmes, même lorsque les coefficients sont déterministes, résultent d’un modèle aléatoire. Nous donnons ensuite une notion de ce qu’est l’homogénéisation : que se passe-t-il lorsque les coefficients eux-mêmes sont aléatoires, est-il possible de considérer qu’un environnement présentant des inhomogénéités sur de très petites échelles, se comporte d’une manière proche d’un environnement fictif qui serait homogène ?Nous donnons ensuite une interprétation de cette question en terme de marche aléatoire en conductances aléatoires, puis donnons une idée des outils utilisés dans les preuves des deux chapitres suivants. Dans le chapitre II, nous démontrons un résultat d’homogénéisation quantitative pour une équation parabolique – l’équation de la chaleur par exemple – dans un environnement admettant des coefficients aléatoires et dépendant du temps. La méthode utilisée consiste à considérer les solutions d’un tel problème comme optimiseurs de fonctionnelles qui seront définies au préalable, puis d’utiliser la propriété cruciale de sous-additivité de ces quantités, afin d’en déduire une convergence puis un résultat de concentration, qui permettra d’en déduire une vitesse de convergence des solutions vers la solution du problème homogénéisé, Dans le chapitre III, nous adaptons ces méthodes pour un problème elliptique sur le graphe Zd. / This thesis deals with quantitative stochastic homogenization of parabolic partial differential equations, and discrete elliptic problems. In the introduction, we see how can such problems come from random models, even when the coefficients are deterministic. Then, we introduce homogenization : what happen if the coefficients themselves are random ? Could we consider that an environment with microscopical random heterogeneities behaves, at big scale, as a fictious deterministic homogeneous environment ? Then, we give a random walk in random environment interpretation and the sketch of the proofs in the two following chapters. In chapter II, we prove a quantitative homogenization result for parabolic PDEs, such as heat equation, in environment admitting time and space dependent coefficients. The method of the proof consists in considering solutions of such problems as minimizers of variational problems. The first step is to express solutions as minimizers, and then to use the capital property of subadditivity of the corresponding quantities, in order to deduce convergence and concentration result. From that, we deduce a rate of convergence of the actual solutions to the homogenized solution. In chapter III, we adapt these methods to a discrete elliptic problem on the lattice Zd.

Les travaux présentés dans cette thèse concernent des résultats d'homogénéisation et de correcteur pour des problèmes hyperboliques dans des milieux hétérogènes avec des conditions aux bords mixtes. Les problèmes de ce type modélisent la propagation des ondes dans des milieux hétérogènes. Dans le premier chapitre on rappelle une partie de l'ensemble des outils permettant l'étude asymptotique de problèmes posés dans un milieu hétérogène. Le second chapitre est consacré à l'étude de l'équation des ondes dans un domaine perforé de façon non périodique. Pour cela, on effectue une hypothèse de H^0-convergence sur la partie elliptique de l'opérateur. Cette notion introduite par M. Briane, A. Damlamian et P. Donato généralise la notion de H-convergence introduite quelques années auparavant par F. Murat et L. Tartar pour des domaines perforés. On démontre deux résultats principaux, un résultat d'homogénéisation et un second de correcteur qui permet d'améliorer la convergence de la solution du problème sous des hypothèses légèrement plus fortes. Pour cela on reprend le correcteur de G. Cardone, P. Donato et A. Gaudiello et on explicite quelques unes de ces propriétés. Dans le troisième chapitre, on considère une équation des ondes non-linéaire posée dans un domaine périodiquement perforé dont la non-linéarité porte sur la dérivée en temps de la solution. On suppose que la non-linéarité est majorée par une fonction polynomiale monotone dont l'exposant permet d'avoir une injection de Sobolev convenable. On étudie d'abord l'existence et l'unicité de la solution de ce problème à l'aide d'une méthode de Galerkin, puis on montre un résultat d'homogénéisation de ce problème. Dans le quatrième chapitre, on étudie le problème de l'équation des ondes dans un domaine non perforé. Dans un premier temps, on retrouve le résultat classique d'homogénéisation en utilisant la méthode de l'éclatement périodique introduite par D. Cioranescu, A. Damlamian et G. Griso. Ensuite, sous des hypothèses un peu plus fortes des données initiales on montre un résultat de correcteur faisant intervenir l'opérateur de moyennisation qui est l'adjoint de l'opérateur d'éclatement.

.

En optimisation les conditions d'optimalité jouent un rôle primordial pour détecter les solutions optimales et leur étude occupe une place significative dans la recherche actuelle. Afin d'exprimer adéquatement des conditions d'optimalité les chercheurs ont introduit diverses notions de dérivées généralisées non seulement pour des fonctions non lisses, mais aussi pour des fonctions à valeurs ensemblistes, dites applications multivoques ou multifonctions. Cette thèse porte sur l'application des deux nouveaux concepts de dérivées généralisées: les ensembles variationnels de Khanh-Tuan et les approximations de Jourani-Thibault, aux problèmes d'optimisation multiobjectif et aux problèmes d'équilibre vectoriel. L'enjeu principal est d'obtenir des conditions d'optimalité du premier et du second ordre pour les problèmes ayant des données multivoques ou univoques non lisses et pas forcément continues, et des conditions assurant l'unicité des solutions dans les problèmes d'équilibre vectoriel.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.