• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 43
  • 37
  • 4
  • 1
  • Tagged with
  • 79
  • 79
  • 42
  • 21
  • 20
  • 13
  • 13
  • 12
  • 12
  • 12
  • 12
  • 11
  • 11
  • 10
  • 10
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

Analyse et contrôle de modèles de dynamique de populations / Analysis and controle of population dynamics models

He, Yuan 22 November 2013 (has links)
La présente thèse est divisée en deux parties. La première partie concerne l'analyse mathématique et la contrôlabilité exacte à zéro pour une catégorie de systèmes structurés décrivant la dynamique d'une population d'insectes. La seconde partie est consacrée à l'étude de la stabilité de la conductivité d'un système de réaction diffusion modélisant l'activité électrique du coeur.Dans le chapitre 2, on considère que la population d'adultes se diffuse dans la vignoble,la fonction de la croissance des individus à chaque stade dépend des variations climatiques et de la variété des raisins. En utilisant la méthode de point fixe, on obtient l'existence et l'unicité des solutions du modèle. On démontre ensuite l'existence d'un attracteur global pour le système dynamique. Enfin, on utilise la théorie des opérateurs compacts et le théorème de point fixe de Krasnoselskii pour prouver l'existence des états stationnaires.Dans le chapitre 3, on traite le problème de contrôlabilité exacte du modèle de Lobesia Botrana, lorsque la fonction de croissance est égale à 1. On suppose que les quatre sous-catégories de ce système sont dans une phase statique. On obtient que la population d'oeufs peut être contrôlée à zéro. Ce résultat est basé sur des estimations à priori combinées avec un théorème de point fixe.Lorsque les papillons adultes se dispersent spatialement, on introduit un contrôle sur la population d'oeufs, de larves et de femelles dans une petite région du vignoble. On montre alors la contrôlabilité exacte à zéro pour les femelles.Dans la deuxième partie de cette thèse, on analyse la stabilité des coefficients de diffusion d'un système parabolique qui modélise l'activité électrique du coeur. On établit une estimation de Carleman pour le système de réaction-diffusion. En combinant cette estimation avec des estimations d'énergie avec poids on obtient le résultat de stabilité. / This thesis is divided into two parts.One is mainly devoted to make a qualitative analysis and exact null controlfor a class of structured population dynamical systems, and the other concernsstability of conductivities in an inverse problem of a reaction-diffusion systemarising in electrocardiology.In the first part, we study the dynamics ofEuropean grape moth, which has caused serious damages on thevineyards in Europe,North Africa, and even some Asian countries.To model this grapevine insect, physiologically structured multistage population systems are proposed.These systemshave nonlocal boundary conditions arising in nonlocal transition processes in ecosystem.We consider the questions of spatial spread of the populationunder physiological age and stage structures,and show global dynamical properties for the model.Furthermore, we investigate the control problem for this Lobesia botrana modelwhen the growth function is equal to $1$.For the case that four subclasses of this system are all in static station,we conclude that the population of eggs can be controlled to zero at acertain moment by acting on eggs.While the adult moths can disperse,we describe a control by a removal of egg and larvapopulation, and also on female moths in a small region of the vineyard.Then the null controllability for female mothsin a nonempty open sub-domain at a given time is obtained.In the second part, a reaction-diffusion system approximating a parabolic-elliptic systemwas proposed tomodel electrical activity in the heart. We are interested inthe stability analysis of an inverse problem for this model.Then we use the method of Carleman estimates and certain weight energyestimatesfor the identification of diffusion coefficients for the parabolicsystem to draw the conclusion.
62

Schémas d'ordre élevé pour des simulations réalistes en électrophysiologie cardiaque / High order schemes for realistic simulations in cardiac electrophysiology

Douanla Lontsi, Charlie 15 November 2017 (has links)
Les simulations numériques réalistes en électrophysiologie cardiaque ont un coût de calcul extrêmement élevé. Ce coût s’explique en grande partie par la raideur, à la fois en temps et en espace, d’une onde de « potentiel d’action » (PA). Par ailleurs, les phénomènes observés sont très instationnaires et s’étudient en temps long. Une description précise de la dynamique des PA est cruciale pour construire des modèles numériques pertinents d’un point de vue médical ou clinique. Cet aspect fondamental ne peut être contourné dans les études numériques réalistes.La raideur de l’onde de PA ne peut être captée numériquement qu’en ayant recours à des maillages très fins. Ces maillages très fins induisent un coût de calcul très important, et introduisent aussi des erreurs supplémentaires : les systèmes linéaires à résoudre deviennent très mal conditionnés. Au final, les erreurs numériques peuvent être particulièrement grandes dans les simulations alors que leur contrôle est évidemment essentiel pour assurer la fiabilité des résultats. Jusqu’à présent, très peu de résultats sont disponibles pour assurer cette fiabilité. Dans les faits, les erreurs sont la plupart du temps contrôlées par des procédés empiriques. Il existe quelques résultats théoriques étudiant la convergence et la stabilité des schémas numériques associés. En pratique, en plus d'avoir un contrôle de l'erreur sur le potentiel, il est aussi nécessaire d'avoir un contrôle de l’erreur sur des quantités macroscopiques décrivant la dynamique de l’onde de PA : temps d’activation, durée du PA, propriétés de restitution... Ces quantités ont en effet une interprétation physiologique qui permet de caractériser le caractère arythmogène des tissus.Les modèles sont des systèmes d’EDP de réaction-diffusion couplés avec des systèmes d’équations différentielles pouvant être très raides, les modèles ioniques. Ils sont actuellement discrétisés par éléments finis conforme (Lagrange) et par des schémas en temps d’ordre un ou deux. Dans ce travail, nous concevons et évaluons l’intérêt d'utiliser des méthodes d’ordre supérieure pour ces systèmes. Parallèlement nous introduisons d'une part une nouvelle classe de schémas appelé schémas exponentiel Adams Bashforth intégral (IEAB), et d'autre part des schémas Rush Larsen (RL) d'ordre élevé. Ces nouveaux schémas sont des schémas multipas de type exponentiels. Nous montrons qu'ils possèdent des bonnes propriétés de stabilité et permettent de faire face efficacement à la raideur des modèles ioniques. Les schémas que nous proposons sont comparés numériquement (en terme de précision, coût en temps de calcul et stabilité) à plusieurs schémas classiques, ainsi qu'aux schémas exponentiels (RL1, RL2) communément utilisés pour des simulations en électrophysiologie cardiaque. Nous proposons des techniques permettant de calculer avec précision les quantités d’intérêts cliniques (temps d’activation, de récupération, durée du potentiel d’action). Des résultats théoriques de convergence en temps et de convergence globale (espace et temps) sont énoncés et prouvés. Ces résultats sont ensuite illustrés numériquement à travers le modèle monodomaine et les modèles ioniques de Beeler Reuter, de Ten Tusscher et al. L’intérêt d'utiliser des schémas d'ordre élevés est aussi évalué sur des ondes spirales en 2D et 3D. / Realistic numerical simulations in cardiac electrophysiology have a computational cost of extremely high. This cost is largely explained by the stiffness both in time and space, of the action potential (AP) wave. Moreover, the observed phenomena are very unsteady and are studied in long time. A precise description of the dynamic of AP is crucial for constructing relevant numerical models, from a medical or clinical perspective. This fundamental aspect can not be circumvented in realistic numerical studies.The stiffness of AP wave can only be captured numerically, by using very fine meshes. In addition to the high computational cost, these very fine meshes also introduce additional errors : the linear systems to solve become very badly conditioned. In the end, the numerical errors can be particularly large whereas their control is obviously essential to ensure the reliability of the results. So far very few results are available to ensure this reliability. In practice, the errors are mostly controlled by empirical processes. In practice, in addition of having a control of the error on the potential, it is also necessary to have an error control on macroscopic quantities describing the dynamics of the AP wave : activation time, AP duration, properties of restitution ... These quantities have indeed a physiological interpretation which allows to characterize the arrhythmogenic character of the tissues.The models are systems of reaction diffusion PDE coupled with systems of differential equations that can be very stiffs (ionic models). They are currently discretized by conforming finite elements (Lagrange finite elements methods) and by schemes in time of order one or two. In this work, we design and evaluate the interest of using higher order methods for these systems. At the same time, we introduce on the one hand, a new class of schemes called Integral Exponential Adams Bashforth (IEAB) schemes and, on the other hand, high order Rush Larsen (RL) schemes. These new schemes are exponential time-stepping schemes. We show that they have good stability properties and can efficiently cope with the stiffness of ionic models. The schemes we propose are numerically compared (in terms of accuracy, CPU time and stability) with several classical schemes, as well as with the exponential schemes (RL1, RL2), commonly used for cardiac electrophysiology simulations. We propose good techniques for accurately calculating quantities of clinical interest (activation time, recovery time, duration of action potential). Theoretical results of convergence in time and global convergence (in space and time) are stated and proved. These results are then illustrated numerically through the monodomain model and the ionic models of Beeler Reuter, Ten Tusscher et al. The advantage of using high order schemes is also evaluated on spiral waves in 2D and 3D.
63

Analyse mathématique d’un système dynamique/réaction-diffusion modélisant la distribution des bactéries résistantes aux antibiotiques dans les rivières / Mathematical analysis of a dynamical/reaction-diffusion system modelling the distribution of antibiotic resistant bacteria in rivers

Mostefaoui, Imene Meriem 03 October 2014 (has links)
L'objectif de cette thèse est l'étude qualitative de certains modèles de la dynamique et la distribution des bactéries dans une rivière. Il s'agit de la stabilité des états stationnaires et l'existence des solutions périodiques. Nous considérons, dans la première partie de la thèse, un système d'équations différentielles ordinaires qui modélise les interactions et la dynamique de quatre espèces de bactéries dans une rivière. Nous avons étudié le comportement asymptotique des états stationnaires. L'étude de la stabilité des états stationnaires est essentiellement faite par la construction d'une fonction de Lyapunov combinée avec le principe d'invariance de LaSalle. D'autre part, l'existence des solutions périodiques est démontrée en utilisant le théorème de continuation de Mawhin. La deuxième partie de la thèse est consacrée à l'étude d'un système de convection-diffusion non-autonome. Ce modèle tient compte du transport des bactéries. Nous étudions l'analyse qualitative des solutions, nous déterminons l'ensemble limite du système et nous démontrons l'existence des états stationnaires positifs. L'étude de l'existence des états stationnaires (les seuls qu'il soit possible d'obtenir) est basée sur le théorème de Leray-Schauder. / The objective of this thesis is the qualitative study of some models of the dynamic and the distribution of bacteria in a river. We are interested in the stability of equilibria and the existence of periodic solutions. The thesis can be divided into two parts; the first part is concerned with a mathematical analysis of a system of differential equations modelling the dynamics and the interactions of four species of bacteria in a river. The asymptotic behavior of equilibria is established. The stability study of equilibrium states is mainly done by construction of Lyapunov functions combined with LaSalle's invariance principle. On the other hand, the existence of periodic solutions is proved under certain conditions using the continuation theorem of Mawhin. In the second part of this thesis, we propose a non-autonomous convection-reaction diffusion system with nonlinear reaction source functions. This model refers to the quantification and the distribution of antibiotic resistant bacteria (ARB) in a river. Our main contributions are : (i) the determination of the limit set of the system; it is shown that it is reduced to the solutions of the associated elliptic system; (ii) sufficient conditions for the existence of a positive solution of the associated elliptic system based on the Leray Schauder's degree theory.
64

Influence of thermal effects and electric fields on fingering of chemical fronts: a theoretical study / Etude théorique de l'influence des effets thermiques et d'un champ électrique externe sur la digitation de fronts chimiques

D'Hernoncourt, Jessica 19 December 2007 (has links)
Several types of instability can affect the interface between two fluids. For instance, a Rayleigh-Taylor instability (or density fingering) is encountered when a heavier fluid is placed upon a lighter one in the gravity field and double diffusive instabilities can be triggered by differential diffusivity of the different species present in the fluid. <p>In this context our work aims to understand theoretically in which way a chemical reaction can induce and influence such instabilities in a fluid initially at rest.<p>To understand the dynamics resulting from the coupling between chemical reactions and hydrodynamical instabilities we use chemical fronts as model systems. These fronts result from the coupling between autocatalytical chemical reactions and diffusion and they allow to create a self-organized interface between the products and the reactants. As during a chemical reaction the density may vary due to solutal and thermal effects, the products and the reactants can have different densities which may trigger convection movements leading to the destabilization of the fronts.<p><p>We have in particular studied the influence of the exothermicity of the reaction on the fingering of chemical fronts, focusing first on the influence of heat losses through the walls of the set-up.<p>These leaks have a marked influence on the dynamics because they affect the temperature profiles and hence the density profiles too. We have also classified the various types of instabilities that may appear dues to solutal and thermal effects. We have found a new type of hydrodynamic instability of statically stable fronts induced by the chemical reaction. <p><p>We have furthermore analyzed an isothermal model with two chemical species. If they diffuse at different rates the front can be subject to diffusive instabilities as well. We have shown that the coupling between such a diffusive instability and fingering can trigger complex dynamics. We have eventually studied the influence of an external electric field on the diffusive instabilities and on fingering underlying the possibility to destabilize otherwise stable fronts./<p>Différents types d'instabilités hydrodynamiques peuvent affecter les interfaces entre deux fluides comme par exemple, une instabilité de Rayleigh-Taylor (ou digitation de densité) quand un fluide plus dense se trouve placé au-dessus d'un fluide moins dense dans le champ de gravité ou des instabilités de double diffusion induites par des différences entre les diffusivités d'un soluté et de la chaleur contenus dans les fluides. Dans ce contexte, notre thèse s'attache à comprendre de manière théorique comment une réaction chimique peut influencer ces instabilités voire les générer dans un fluide initialement au repos. Pour étudier les dynamiques résultant du couplage entre réactions chimiques et instabilités hydrodynamiques, nous utilisons des systèmes modèles: les fronts chimiques de conversion résultant de la compétition entre réactions chimiques autocatalytiques et diffusion créant une interface auto-organisée entre les réactifs et les produits. Comme au cours d'une réaction chimique la densité peut varier par des effets solutaux et thermiques, les produits et les réactifs de densités différentes peuvent générer des mouvements de convection qui conduisent à la déstabilisation des fronts. <p><p>Nous avons en particulier étudié l'influence de l'exothermicité de la réaction sur les instabilités de digitation de fronts chimiques, en nous focalisant dans un premier temps sur l'influence des pertes de chaleur par les parois du réacteur.<p>Ces fuites ont un effet marqué sur les instabilitités car elles affectent les profils de température et donc les profils de densité dans le système. Nous avons également classifié les différentes instabilités qui peuvent apparaître via des changements de densité dûs à des effets thermiques et solutaux et mis en évidence un nouveau type de déstabilisation hydrodynamique de fronts statiquement stables induit par une réaction chimique. <p>Nous avons ensuite analysé un modèle isotherme impliquant deux espèces chimiques. Si ces dernières diffusent a des vitesses différentes le front peut être sujet à une instabilité diffusive. Nous avons montré qu'un couplage entre une telle instabilité diffusive et de la digitation peut être à l'origine de dynamiques complexes. Nous avons ensuite considéré l'influence d'un champ électrique sur les instabilité diffusives et de digitation en soulignant la possibilié de déstabiliser via ce champ des fronts initialement stables. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished
65

Equations de réaction-diffusion dans un environnement périodique en temps - Applications en médecine / Reaction-diffusion equations in a time periodic environment - Applications in medical sciences

Contri, Benjamin 06 July 2016 (has links)
Cette thèse est consacrée à l'étude d'équations de réaction-diffusion dans un environnement périodique en temps. Ces équations modélisent l'évolution d'une tumeur cancéreuse en présence d'un traitement qui correspond à une immunothérapie dans la première partie du manuscrit, et à une chimiothérapie cytotoxique dans la suite.On considère dans un premier temps des nonlinéarités périodiques en temps pour lesquelles 0 et 1 sont des états d'équilibre linéairement stables. On étudie l'unicité, la monotonie et la stabilité de fronts pulsatoires. On exhibe également des cas d'existence et de non-existence de telles solutions. Dans la deuxième partie de la thèse, on commence par travailler sur des nonlinéarités périodiques en temps qui sont la somme d'une fonction positive traduisant la croissance de la tumeur et d'un terme de mort de cellules cancéreuses du au traitement. On s'intéresse aux états d'équilibres de telles nonlinéarités, et on va déduire de cette étude des propriétés de propagation de perturbations et l'existence de fronts pulsatoires. On raffine ensuite le modèle en considérant des nonlinéarités qui sont la somme d'une fonction asymptotiquement périodique en temps et d'un terme perturbatif. On prouve notamment que les propriétés relatives à la propagation de perturbations restent valables dans ce cadre là. Pour finir, on s'intéresse à l'influence du protocole de traitement. / This phD thesis investigates reaction-diffusion equations in a time periodic environment. These equations model the evolution of a cancerous tumor in the presence of a treatment that corresponds to an immunotherapy in the firs part of the manuscript, and to a cytotoxic chemotherapy after. We begin by considering time-periodic nonlinearities for which 0 and 1 are linearly stable equilibrium states. We study uniqueness, monotonicity and stability of pulsating fronts. We also provide some conditions for the existence and non-existence of such solutions.In the second part of the manuscript, we begin by working on time-periodic nonlinearities which are the sum of a positive function which stands for the growth of the tumor in the absence of treatment and of a death term of cancerous cells due to treatment. We are interested in equilibrium states of such nonlinearities, and we will infer from this study spreading properties and existence of pulsating fronts. We then refine the model by considering nonlinearities which are the sum of an asymptotic periodic nonlinearity and of a small perturbation. In particular we prove that the spreading properties remain valid in this case. To finish, we are interested in the influence of the protocol of the treatment.
66

Propagation phenomena of integro-difference equations and bistable reaction-diffusion equations in periodic habitats

Ding, Weiwei 03 November 2014 (has links)
Cette thèse concerne les phénomènes de propagation de certaines équations d'évolution dans des habitats périodiques. Dans la première partie, nous étudions les phénomènes d'expansion de certaines équations d'intégro-différence spatialement périodiques. Tout d'abord, nous établissons une théorie générale sur l'existence des vitesses de propagation pour des systèmes d'évolution noncompacts, sous l'hypothèse que les systèmes linéarisés ont des valeurs propres principales. Ensuite, nous introduisons la notion d'irréductibilité uniforme des mesures de Radon finies sur le cercle. On démontre que tout opérateur de convolution généré par une telle mesure admet une valeur propre principale. Enfin, nous prouvons l'existence de vitesses de propagation pour certains équations d'intégro-différence avec des noyaux de dispersion uniformément irréductibles. Dans la deuxième partie, nous étudions les phénomènes de propagation de front pour des équations de réaction-diffusion spatialement périodiques avec des non-linéarités bistables. Nous nous concentrons d'abord sur les solutions de type fronts pulsatoires. Sous diverses hypothèses, il est prouvé que les fronts pulsatoires existent lorsque la période spatiale est petite ou grande. Nous caractérisons aussi le signe des vitesses et nous montrons la stabilité exponentielle globale des fronts pulsatoires de vitesse non nulle. Nous étudions ensuite les solutions de type fronts de transition. Sous des hypothèses convenables, on prouve que les fronts de transition se ramènent aux fronts pulsatoires avec une vitesse non nulle. Mais nous montrons aussi l'existence de nouveaux types de fronts de transition qui ne sont pas des fronts pulsatoires. / This dissertation is concerned with propagation phenomena of some evolution equations in periodic habitats. The main results consist of the following two parts. In the first part, we investigate the spatial spreading phenomena of some spatially periodic integro-difference equations. Firstly, we establish a general theory on the existence of spreading speeds for noncompact evolution systems, under the hypothesis that the linearized systems have principal eigenvalues. Secondly, we introduce the notion of uniform irreducibility for finite Radon measures on the circle. It is shown that, any generalized convolution operator generated by such a measure admits a principal eigenvalue. Finally, applying the above general theories, we prove the existence of spreading speeds for some integro-difference equations with uniformly irreducible dispersal kernels. In the second part, we study the front propagation phenomena of spatially periodic reaction-diffusion equations with bistable nonlinearities. Firstly, we focus on the propagation solutions in the class of pulsating fronts. It is proved that, under various assumptions on the reaction terms, pulsating fronts exist when the spatial period is small or large. We also characterize the sign of the front speeds and we show the global exponential stability of the pulsating fronts with nonzero speed. Secondly, we investigate the propagation solutions in the larger class of transition fronts. It is shown that, under suitable assumptions, transition fronts are reduced to pulsating fronts with nonzero speed. But we also prove the existence of new types of transition fronts which are not pulsating fronts.
67

Phénomènes de propagation de champignons parasites de plantes par couplage de diffusion spatiale et de reproduction sexuée / Propagation phenomena of fungal plant parasites, by coupling of spatial diffusion and sexual reproduction

Doli, Valentin 22 December 2017 (has links)
On considère des organismes qui mixent reproduction sexuée et asexuée, dans une situation où la reproduction sexuée fait intervenir à la fois de la dispersion spatiale et de la limitation d'appariement. Nous proposons un modèle qui implique deux équations couplées, la première étant une équation différentielle ordinaire de type logistique, la seconde étant une équation de réaction-diffusion. Grâce à des valeurs réalistes des différents coefficients, il s'avère que la deuxième équation fait intervenir une échelle de temps rapide, alors que la première fait intervenir une échelle de temps lente. Dans un premier temps, on montre l'existence et l'unicité de solutions au système original. Dans un second temps, dans la limite où l'échelle de temps rapide est considérée infiniment rapide, on montre la convergence vers une dynamique réduite d'état d'équilibre, dont les termes correctifs peuvent être calculés à tout ordre. Troisièmement, en utilisant des propriétés de monotonie de notre système coopératif, on montre l'existence d'ondes progressives dans une région particulière de l'espace des paramètres (cas monostable). / We consider organisms that mix sexual and asexual reproduction, in a situation where sexual reproduction involves both spatial dispersion and mate finding limitation. We propose a model that involves two coupled equations, the first one being an ordinary differential equation of logistic type, the second one being a reaction diffusion equation. According to realistic values of the various coefficients, the second equation turns out to involve a fast time scale, while the first one involves a separated slow time scale. First we show existence and uniqueness of solutions to the original system. Second, in the limit where the fast time scale is considered infinitely fast, we show the convergence towards a reduced quasi steady state dynamics, whose correctors can be computed at any order. Third, using monotonicity properties of our cooperative system, we show the existence of traveling wave solutions in a particular region of the parameter space (monostable case).
68

Transition fronts and propagation speeds in diffusive excitable media / Fronts de transition et vitesses de propagation dans des milieux diffusifs excitables

Guo, Hongjun 11 June 2018 (has links)
Cette thèse porte sur les fronts de transition pour des équations de réaction-diffusion dans différents milieux. Les fronts de transition généralisent les notions habituelles de fronts progressifs ou pulsatoires. Les principaux résultats sont les suivants. Pour des réactions bistables, nous prouvons la monotonie en temps de tous les fronts de transition avec vitesse globale moyenne non nulle. Pour des réactions bistables périodiques en temps ou pour des réactions de type combustion, nous prouvons l’existence et l’unicité de la vitesse globale moyenne d’un front. De plus, nous montrons que les fronts presque plans sont en réalité plans et nous montrons l’existence de fronts de transitions non standard. Pour des réactions bistables périodiques en espace, nous montrons la continuité et la différentiabilité des vitesses et des profils de ces fronts pulsatoires par rapport à la direction e en supposant l’existence de fronts pulsatoires à vitesse non nulle dans toutes les directions $e$. Ensuite, nous prouvons que la vitesse de propagation d’un front de transition quelconque est comprise entre les vitesses minimales et maximales des fronts pulsatoires. Enfin, nous étudions les vitesses globales moyennes des fronts de transition bistables dans des domaines non bornés : domaines extérieurs ou domaines à branches multiples cylindriques. Dans ces deux types de domaines, nous prouvons l’existence et l’unicité de la vitesse globale moyenne de tous les fronts de transition sous certaines hypothèses. / This dissertation is concerned with transition fronts in various media, which generalize the standard notions of traveling fronts. The main results are as following. For bistable reaction, we prove the time monotonicity of all transition fronts with non-zero global mean speed, whatever shape their level sets may have. For time-periodic bistable reaction and combustion-type reaction, we prove the existence and the uniqueness of the global mean speed. Meantime, we show that almost-planar fronts are actually planar and we show the existence of non-standard transitions fronts in $\mathbb{R}^N$. For spatially periodic bistable reaction, we show some continuity and differentiability properties of the front speeds and profiles with respect to the direction $e$ by providing the existence of pulsating fronts with nonzero speed in all directions $e$. Then, we prove that the propagating speed of any transition front is bounded by the minimal speed and the maximal speed of pulsating fronts. Finally, we study the mean speed of bistable transition fronts in unbounded domains: exterior domains and domains with multiple cylindrical branches. In both domains, we prove the existence and uniqueness of the global mean speed of any transition front under some assumptions.
69

Méthodes de volumes finis sur maillages quelconques pour des systèmes d'évolution non linéaires / Finite volume methods on general meshes for nonlinear evolution systems

Brenner, Konstantin 08 November 2011 (has links)
Les travaux de cette thèse portent sur des méthodes de volumes finis sur maillages quelconque pour la discrétisation de problèmes d'évolution non linéaires modélisant le transport de contaminants en milieu poreux et les écoulements diphasiques.Au Chapitre 1, nous étudions une famille de schémas numériques pour la discrétisation d'une équation parabolique dégénérée de convection-reaction-diffusion modélisant le transport de contaminants dans un milieu poreux qui peut être hétérogène et anisotrope. La discrétisation du terme de diffusion est basée sur une famille de méthodes qui regroupe les schémas de volumes finis hybrides, de différences finies mimétiques et de volumes finis mixtes. Le terme de convection est traité à l'aide d'une famille de méthodes qui s'appuient sur les inconnues hybrides associées aux interfaces du maillage. Cette famille contient à la fois les schémas centré et amont. Les schémas que nous étudions permettent une discrétisation localement conservative des termes d'ordre un et d'ordre deux sur des maillages arbitraires en dimensions d'espace deux et trois. Nous démontrons qu'il existe une solution unique du problème discret qui converge vers la solution du problème continu et nous présentons des résultats numériques en dimensions d'espace deux et trois, en nous appuyant sur des maillages adaptatifs.Au Chapitre 2, nous proposons un schéma de volumes finis hybrides pour la discrétisation d'un problème d'écoulement diphasique incompressible et immiscible en milieu poreux. On suppose que ce problème a la forme d'une équation parabolique dégénérée de convection-diffusion en saturation couplée à une équation uniformément elliptique en pression. On considère un schéma implicite en temps, où les flux diffusifs sont discrétisés par la méthode des volumes finis hybride, ce qui permet de pouvoir traiter le cas d'un tenseur de perméabilité anisotrope et hétérogène sur un maillage très général, et l'on s'appuie sur un schéma de Godunov pour la discrétisation des flux convectifs, qui peuvent être non monotones et discontinus par rapport aux variables spatiales. On démontre l'existence d'une solution discrète, dont une sous-suite converge vers une solution faible du problème continu. On présente finalement des cas test bidimensionnels.Le Chapitre 3 porte sur un problème d'écoulement diphasique, dans lequel la courbe de pression capillaire admet des discontinuité spatiales. Plus précisément on suppose que l'écoulement prend place dans deux régions du sol aux propriétés très différentes, et l'on suppose que la loi de pression capillaire est discontinue en espace à la frontière entre les deux régions, si bien que la saturation de l'huile et la pression globale sont discontinues à travers cette frontière avec des conditions de raccord non linéaires à l'interface. On discrétise le problème à l'aide d'un schéma, qui coïncide avec un schéma de volumes finis standard dans chacune des deux régions, et on démontre la convergence d'une solution approchée vers une solution faible du problème continu. Les test numériques présentés à la fin du chapitre montrent que le schéma permet de reproduire le phénomène de piégeage de la phase huile. / In Chapter 1 we study a family of finite volume schemes for the numerical solution of degenerate parabolic convection-reaction-diffusion equations modeling contaminant transport in porous media. The discretization of possibly anisotropic and heterogeneous diffusion terms is based upon a family of numerical schemes, which include the hybrid finite volume scheme, the mimetic finite difference scheme and the mixed finite volume scheme. One discretizes the convection term by means of a family of schemes which makes use of the discrete unknowns associated to the mesh interfaces, and contains as special cases an upwind scheme and a centered scheme. The numerical schemes which we study are locally conservative and allow computations on general multi-dimensional meshes. We prove that the unique discrete solution converges to the unique weak solution of the continuous problem. We also investigate the solvability of the linearized problem obtained during Newton iterations. Finally we present a number of numerical results in space dimensions two and three using nonconforming adaptive meshes and show experimental orders of convergence for upwind and centered discretizations of the convection term.In Chapter 2 we propose a finite volume method on general meshes for the numerical simulation of an incompressible and immiscible two-phase flow in porous media. We consider the case that it can be written as a coupled system involving a degenerate parabolic convection-diffusion equation for the saturation together with a uniformly elliptic equation for the global pressure. The numerical scheme, which is implicit in time, allows computations in the case of a heterogeneous and anisotropic permeability tensor. The convective fluxes, which are non monotone with respect to the unknown saturation and discontinuous with respect to the space variables, are discretized by means of a special Godunov scheme. We prove the existence of a discrete solution which converges, along a subsequence, to a solution of the continuous problem. We present a number of numerical results in space dimension two, which confirm the efficiency of the numerical method.Chapter 3 is devoted to the study of a two-phase flow problem in the case that the capillary pressure curve is discontinuous with respect to the space variable. More precisely we assume that the porous medium is composed of two different rocks, so that the capillary pressure is discontinuous across the interface between the rocks. As a consequence the oil saturation and the global pressure are discontinuous across the interface with nonlinear transmission conditions. We discretize the problem by means of a numerical scheme which reduces to a standard finite volume scheme in each sub-domain and prove the convergence of a sequence of approximate solutions towards a weak solution of the continuous problem. The numerical tests show that the scheme can reproduce the oil trapping phenomenon.
70

Equations d'évolution non locales et problèmes de transition de phase / Non local evolution equations and phase transition problems

Nguyen, Thanh Nam 29 November 2013 (has links)
L'objet de cette thèse est d'étudier le comportement en temps long de solutions d'équations d'évolution non locales ainsi que la limite singulière d'équations et de systèmes d'équations aux dérivées partielles, où intervient un petit paramètre epsilon. Au Chapitre 1, nous considérons une équation de réaction-diffusion non locale avec conservation au cours du temps de l'intégrale en espace de la solution; cette équation a été initialement proposée par Rubinstein et Sternberg pour modéliser la séparation de phase dans un mélange binaire. Le problème de Neumann associé possède une fonctionnelle de Lyapunov, c'est-à-dire une fonctionnelle qui décroit selon les orbites. Après avoir prouvé que la solution est confinée dans une région invariante, nous étudions son comportement en temps long. Nous nous appuyons sur une inégalité de Lojasiewicz pour montrer qu'elle converge vers une solution stationnaire quand t tend vers l'infini. Nous évaluons également le taux de la convergence et calculons précisément la solution stationnaire limite en dimension un d'espace. Le Chapitre 2 est consacré à l'étude de l'équation différentielle non locale que l'on obtient en négligeant le terme de diffusion dans l'équation d'Allen-Cahn non locale étudiée au Chapitre 1. Sans le terme de diffusion, la solution ne peut pas être plus régulière que la fonction initiale. C'est la raison pour laquelle on ne peut pas appliquer la méthode du Chapitre 1 pour l'étude du comportement en temps long de la solution. Nous présentons une nouvelle méthode basée sur la théorie des réarrangements et sur l'étude du profil de la solution. Nous montrons que la solution est stable pour les temps grands et présentons une caractérisation détaillée de sa limite asymptotique quand t tend vers l'infini. Plus précisément, la fonction limite est une fonction en escalier, qui prend au plus deux valeurs, qui coïncident avec les points stables d'une équation différentielle associée. Nous montrons aussi par un contre-exemple non trivial que, quand une hypothèse sur la fonction initiale n'est pas satisfaite, la fonction limite peut prendre trois valeurs, qui correspondent aux points instable et stables de l'équation différentielle associée. Nous étudions au Chapitre 3 une équation différentielle ordinaire non locale qui a éte proposée par M. Nagayama. Une difficulté essentielle est que le dénominateur dans le terme de réaction non local peut s'annuler. Nous appliquons un théorème de point fixe lié a une application contractante pour démontrer que le problème à valeur initiale correspondant possède une solution unique qui reste connée dans un ensemble invariant. Ce problème possède une fonctionnelle de Lyapunov, qui est un ingrédient essentiel pour démontrer que la solution converge vers une solution stationnaire constante par morceaux quand t tend vers l'infini. Au Chapitre 4, nous considérons un modèle d'interface diffuse pour la croissance de tumeurs, où intervient une équation d'ordre quatre de type Cahn Hilliard. Après avoir introduit un modèle de champ de phase associé, on étudie formellement la limite singulière de la solution quand le coefficient du terme de réaction tend vers l'infini. Plus précisément, nous montrons que la solution converge vers la solution d'un problème à frontière libre. AMS subject classifications. 35K57, 35K50, 35K20, 35R35, 35R37, 35B40, 35B25. / The aim of this thesis is to study the large time behavior of solutions of nonlocal evolution equations and to also study the singular limit of equations and systems of parabolic partial differential equations involving a small parameter epsilon. In Chapter 1, we consider a nonlocal reaction-diffusion equation with mass conservation, which was originally proposed by Rubinstein and Sternberg as a model for phase separation in a binary mixture. The corresponding Neumann problem possesses a Lyapunov functional, namely a functional which decreases in time along solution orbits. After having proved that the solution is conned in an invariant region, we study its large time behavior and apply a Lojasiewicz inequality to show that it converges to a stationary solution as t tends to infinity. We also evaluate the rate of convergence and precisely compute the limiting stationary solution in one space dimension. Chapter 2 is devoted to the study of a nonlocal evolution equation which one obtains by neglecting the diffusion term in the nonlocal Allen-Cahn equation studied in Chapter 1. Without the diffusion term, the solution can not be expected to be more regular than the initial function. Moreover, because of the absence of the diusion term, the method of Chapter 1 can not be applied to study the large time behavior of the solution. We present a new method based up on rearrangement theory and the study of the solution profile. We show that the solution stabilizes for large times and give a detailed characterization of its asymptotic limit as t tends to infinity. More precisely, it turns out that the limiting function is a step function, which takes at most two values, which are stable points of a corresponding ordinary dierential equation. We also show by means of a nontrivial counterexample that, when a certain hypothesis on the initial function does not hold, the limiting function may take three values. One of them is the unstable point and the two others are the stable points of the ordinary dierential equation. We study in Chapter 3 a nonlocal ordinary dierential equation which has been proposed by M. Nagayama. The nonlocal term involves a denominator which may vanish. We apply a contraction fixed point theorem to prove the existence of a unique solution which stays confined in an invariant region. We also show that the corresponding initial value problem possesses a Lyapunov functional and prove that the solution stabilizes for large times to a step function, which takes at most two values. In Chapter 4, we consider a diffuse-interface tumor-growth model which involves a fourth order Cahn-Hilliard type equation. Introducing a related phase-field model, we formally study the singular limit of the solution as the reaction coecient tends to infinity. More precisely, we show that the solution converges to the solution of a moving boundary problem. AMS subject classifications. 35K57, 35K50, 35K20, 35R35, 35R37, 35B40, 35B25.

Page generated in 0.1078 seconds