Spelling suggestions: "subject:"théorème"" "subject:"théorie""
51 |
Convergence de filtrations ; application à la discrétisation de processus et à la stabilité de temps d'arrêt.Toldo, Sandrine 25 November 2005 (has links) (PDF)
Cette thèse porte sur des propriétés de stabilité de problèmes d'arrêt dans le cas où l'on dispose d'une information approximative sur le modèle. La filtration engendrée par un processus représente l'information véhiculée par ce processus au cours du temps. Aussi, les propriétés des suites de filtrations associées à des suites de processus jouent un grand rôle dans ce travail. Un premier axe d'étude concerne la stabilité des notions de réduites et de temps d'arrêt optimaux. Une réduite est la valeur maximale de l'espérance d'une fonction dépendant d'un processus et d'un temps d'arrêt, maximum pris sur l'ensemble des temps d'arrêt pour la filtration engendrée par le processus. Un temps d'arrêt optimal est un temps d'arrêt réalisant le maximum. Le second axe concerne la stabilité de solutions d'équations différentielles stochastiques rétrogrades à horizon aléatoire fini presque sûrement quand le mouvement brownien dirigeant l'équation est approché soit par une suite de marches aléatoires, soit par une suite de martingales.
|
52 |
Modélisation mathématique du poumon humainChristine, Vannier 09 July 2009 (has links) (PDF)
Nous nous intéressons à certains problèmes théoriques posés par la modélisation du poumon humain comme arbre bronchique plongé dans le parenchyme pulmonaire. L'arbre bronchique est représenté par un arbre dyadique résistif à 23 générations dans lequel un écoulement de Stokes a lieu. La loi de Poiseuille relie ainsi le débit dans chaque bronche au saut de pression à ses extrémités. Cet arbre est ensuite plongé dans un milieu visco-élastique modélisant le parenchyme. Le processus de ventilation est alors assuré par des pressions négatives, dues à une contraction du diaphragme, au niveau des alvéoles permettant l'inspiration. La première partie est consacrée à l'introduction d'un modèle d'arbre infini obtenu en faisant tendre le nombre de générations vers l'infini. Des théorèmes de trace permettent alors de modéliser le processus de ventilation comme un opérateur Dirichlet-Neumann, qui associe au champ de pression sur l'ensemble des bouts de l'arbre infini le continuum de débit sortant. La seconde partie est dédiée à l'étude de modèles du parenchyme pulmonaire. La complexité du parenchyme, milieu visco-élastique, provient de la présence de l'arbre qui relie toutes les alvéoles entre elles. Des phénomènes de dissipation non locaux sont ainsi observés dus aux couplage de toutes les sorties. Nous étudions tout d'abord un modèle monodimensionnel du parenchyme mettant en jeu une équation de type onde avec des effets non locaux. En particulier nous détaillons l'étude du comportement en temps long. Enfin, nous proposon l'ébauche d'un modèle du parenchyme en dimension supérieure prenant en compte à la fois le caractère élastique du tissu ainsi que la présence de l'arbre résistif.
|
53 |
Shift spaces on groups : computability and dynamics / Calculabilité et dynamique des sous-décalages sur des groupesBarbieri Lemp, Sebastián Andrés 28 June 2017 (has links)
Les sous-décalages sont des ensembles de coloriages d'un groupe définis en excluant certains motifs, et munis d'une action de décalage. Ces objets apparaissent naturellement comme discrétisations de systèmes dynamiques : à partir d'une partition de l'espace, on associe à chaque point de ce-dernier la suite des partitions visitées sous l'action du système.Plusieurs résultats récents ont mis en évidence la riche interaction entre la dynamique des sous-décalages et leur propriétés algorithmiques. Un exemple remarquable est la classification des entropies des sous-décalages multidimensionnels de type fini comme l'ensemble des nombres récursivement énumérables à droite. Cette thèse s'intéresse aux sous-décalages avec une approche double : d'un côté on s'intéresse à leurs propriétés dynamiques et de l'autre on les étudie comme des modèles de calcul.Cette thèse contient plusieurs résultats : une condition combinatoire suffisante prouvant qu'un sous-décalage dans un groupe dénombrable est non-vide, un théorème de simulation qui réalise une action effective d'un groupe de type fini comme un facteur d'une sous-action d'un sous-décalage de type fini, une caractérisation de l'effectivité à l'aide de machines de Turing généralisées et l'indécidabilité du problème de torsion pour deux groupes, qui sont invariants de systèmes dynamiques.Comme corollaires de nos résultats, nous obtenons d'abord une preuve courte de l'existence de sous-décalages fortement apériodiques sur tout groupe dénombrable. Puis, dans le cas d'un produit semi-direct de la grille bidimensionnelle avec un groupe de type fini avec problème du mot décidable, nous montrons que le sous-décalage obtenu est de type fini. / Shift spaces are sets of colorings of a group which avoid a set of forbidden patterns and are endowed with a shift action. These spaces appear naturally as discrete versions of dynamical systems: they are obtained by partitioning the phase space and mapping each element into the sequence of partitions visited by its orbit.Severa! breakthroughs in this domain have pointed out the intricate relationship between dynamics of shift spaces and their computability properties. One remarkable example is the classification of the entropies of multidimensional subshifts of finite type as the set of right recursively enumerable numbers. This work explores shift spaces with a dual approach: on the one hand we are interested in their dynamical properties and on the ether hand we studythese abjects as computational models.Four salient results have been obtained as a result of this approach: (1) a combinatorial condition ensuring non-emptiness of subshifts on arbitrary countable groups; (2) a simulation theorem which realizes effective actions of finitely generated groups as factors of a subaction of a subshift of finite type; (3) a characterization of effectiveness with oracles using generalized Turing machines and (4) the undecidability of the torsion problem for two group invariants of shift spaces.As byproducts of these results we obtain a simple proof of the existence of strongly aperiodic subshifts in countable groups. Furthermore, we realize them as subshifts of finite type in the case of a semidirect product of a d-dimensional integer lattice with a finitely generated group with decida ble word problem whenever d> 1.
|
54 |
Conditional limit theorems for multitype branching processes and illustration in epidemiological risk analysisPénisson, Sophie 16 July 2010 (has links) (PDF)
Cette thèse s'articule autour de la problématique de l'extinction de populations comportant différents types d'individus, et plus particulièrement de leur comportement avant extinction et/ou en cas d'une extinction très tardive. Nous étudions cette question d'un point de vue strictement probabiliste, puis du point de vue de l'analyse des risques liés à l'extinction pour un modèle particulier de dynamique de population, et proposons plusieurs outils statistiques. La taille de la population est modélisée soit par un processus de branchement de type Bienaymé-Galton-Watson à temps continu multitype (BGWc), soit par son équivalent dans un espace de valeurs continu, le processus de diffusion de Feller multitype. Nous nous intéressons à différents types de conditionnement à la non-extinction, et aux états d'équilibre associés. Ces conditionnements ont déjà été largement étudiés dans le cas monotype. Cependant la littérature relative aux processus multitypes est beaucoup moins riche, et il n'existe pas de travail systématique établissant des connexions entre les résultats concernant les processus BGWc et ceux concernant les processus de diffusion de Feller. Nous nous y sommes attelés. Dans la première partie de cette thèse, nous nous intéressons au comportement de la population avant son extinction, en conditionnant le processus de branchement X_t à la non-extinction (X_t≠0), ou plus généralement à la non-extinction dans un futur proche 0≤θ<∞ (X_{t+θ}≠0), et en faisant tendre t vers l'infini. Nous prouvons le résultat, nouveau dans le cadre multitype et pour θ>0, que cette limite existe et est non-dégénérée, traduisant ainsi un comportement stationnaire pour la dynamique de la population conditionnée à la non-extinction, et offrant une généralisation de la limite dite de Yaglom (correspondant au cas θ=0). Nous étudions dans un second temps le comportement de la population en cas d'une extinction très tardive, obtenu comme limite lorsque θ tends vers l'infini du processus X_t conditionné par X_{t+θ}≠0. Le processus conditionné ainsi obtenu est un objet connu dans le cadre monotype (parfois dénommé Q-processus), et a également été étudié lorsque le processus X_t est un processus de diffusion de Feller multitype. Nous examinons le cas encore non considéré où X_t est un BGWc multitype, prouvons l'existence du Q-processus associé, examinons ses propriétés, notamment asymptotiques, et en proposons plusieurs interprétations. Enfin, nous nous intéressons aux échanges de limites en t et en θ, ainsi qu'à la commutativité encore non étudiée de ces limites vis-à-vis de la relation de type grande densité reliant processus BGWc et processus de Feller. Nous prouvons ainsi une liste exhaustive et originale de tous les échanges de limites possibles (limite en temps t, retard de l'extinction θ, limite de diffusion). La deuxième partie de ce travail est consacrée à l'analyse des risques liés à l'extinction d'une population et à son extinction tardive. Nous considérons un certain modèle de population branchante (apparaissant notamment dans un contexte épidémiologique) pour lequel un paramètre lié aux premiers moments de la loi de reproduction est inconnu, et construisons plusieurs estimateurs adaptés à différentes phases de l'évolution de la population (phase de croissance, phase de décroissance, phase de décroissance lorsque l'extinction est supposée tardive), prouvant de plus leurs propriétés asymptotiques (consistance, normalité). En particulier, nous construisons un estimateur des moindres carrés adapté au Q-processus, permettant ainsi une prédiction de l'évolution de la population dans le meilleur ou le pire des cas (selon que la population est menacée ou au contraire invasive), à savoir celui d'une extinction tardive. Ces outils nous permettent d'étudier la phase d'extinction de l'épidémie d'Encéphalopathie Spongiforme Bovine en Grande-Bretagne, pour laquelle nous estimons le paramètre d'infection correspondant à une possible source d'infection horizontale persistant après la suppression en 1988 de la voie principale d'infection (farines animales). Cela nous permet de prédire l'évolution de la propagation de la maladie, notamment l'année d'extinction, le nombre de cas à venir et le nombre d'animaux infectés, et en particulier de produire une analyse très fine de l'évolution de l'épidémie dans le cas peu probable d'une extinction très tardive.
|
55 |
Quelques théorèmes ergodiques pour des suites de fonctionsCyr, Jean-François 12 1900 (has links)
Le théorème ergodique de Birkhoff nous renseigne sur la convergence de suites de
fonctions. Nous nous intéressons alors à étudier la convergence en moyenne et presque partout de ces suites, mais dans le cas où la suite est une suite strictement croissante de nombres entiers
positifs. C’est alors que nous définirons les suites uniformes et étudierons la convergence presque partout pour ces suites. Nous regarderons également s’il existe certaines suites pour lesquelles la convergence n’a pas lieu. Nous
présenterons alors un résultat dû en partie à Alexandra Bellow qui dit que de telles suites existent. Finalement, nous démontrerons une équivalence entre la notion de transformatiuon fortement mélangeante et la convergence d'une certaine suite qui utilise des “poids” qui satisfont certaines propriétés. / Birkhoff’s ergodic theorem gives us information about the convergence of sequences of functions. We are then interested in studying the mean and pointwise convergence of these sequences, but in the case the sequence is a strictly increasing sequence of positive integers. With that goal in mind, we will define uniform sequences and study the pointwise convergence for these sequences. We will also explore the possibility that there exists some sequences for which the convergence of the sequence does not
occur. We will present a result of Alexandra Bellow that says that such sequences exist. Finally, we will prove a result which establishes an equivalence between the notion of a strongly mixing transformation and the convergence of a sequence that uses “weights” which satisfies certain properties.
|
56 |
Local Tb theorems and Hardy type inequalities / Théorèmes Tb locaux et inégalités de types HardyRoutin, Eddy 06 December 2011 (has links)
On étudie dans cette thèse les théorèmes Tb locaux pour les opérateurs d’intégrale singulière, dans le cadre des espaces de type homogène. On donne une preuve directe du théorème Tb local avec hypothèses d’intégrabilité L^2 sur le système pseudo-accrétif. Notre argument repose sur l’algorithme Beylkin-Coifman-Rokhlin, appliqué dans des bases d’ondelettes de Haar adaptées, et sur des résultats de temps d’arrêt. Motivés par une question posée par S. Hofmann, on étend notre résultat au cas où les conditions d’intégrabilité sont inférieures à 2, avec une hypothèse supplémentaire de type faible bornitude, qui incorpore des inégalités de type Hardy. On étudie la possibilité d’affaiblir les conditions de support du système pseudo-accrétif en l’autorisant à être défini sur un petit élargissement des cubes dyadiques. On donne également un résultat dans le cas où, pour des raisons pratiques, les hypothèses sur le système pseudo-accrétif sont faites sur les boules au lieu des cubes dyadiques. Enfin, on s’intéresse au cas des opérateurs parfaitement dyadiques pour lesquels la démonstration est grandement simplifiée. Notre argument nous donne l’opportunité de nous intéresser aux inégalités de type Hardy. Ces estimations sont bien connues des spécialistes dans le cadre Euclidien, mais elles ne semblent pas avoir été étudiées dans les espaces de type homogène. On montre qu’elles sont vérifiées sans restriction dans le cadre dyadique. Dans le cas plus général d’une boule B et de sa couronne 2B\B, elles peuvent être déduites de certaines conditions géométriques de distribution des points dans l’espace de type homogène. Par exemple, on prouve qu’une condition de petite couche relative est suffisante. On montre aussi que cette propriété est impliquée par la propriété de monotonie géodésique de Tessera. Enfin, on présente quelques exemples et contre-exemples explicites dans le plan complexe, afin d’illustrer le lien entre la géométrie de l’espace de type homogène et la validité des inégalités de type Hardy. / In this thesis, we study local Tb theorems for singular integral operators in the setting of spaces of homogeneous type. We give a direct proof of the local Tb theorem with L^2 integrability on the pseudo- accretive system. Our argument relies on the Beylkin-Coifman-Rokhlin algorithm applied in adapted Haar wavelet basis and some stopping time results. Motivated by questions of S. Hofmann, we extend it to the case when the integrability conditions are lower than 2, with an additional weak boundedness type hypothesis, which incorporates some Hardy type inequalities. We study the possibility of relaxing the support conditions on the pseudo-accretive system to a slight enlargement of the dyadic cubes. We also give a result in the case when, for practical reasons, hypotheses on the pseudo-accretive system are made on balls rather than dyadic cubes. Finally we study the particular case of perfect dyadic operators for which the proof gets much simpler. Our argument gives us the opportunity to study Hardy type inequalities. The latter are well known in the Euclidean setting, but seem to have been overlooked in spaces of homogeneous type. We prove that they hold without restriction in the dyadic setting. In the more general case of a ball B and its corona 2B\B, they can be obtained from some geometric conditions relative to the distribution of points in the homogeneous space. For example, we prove that some relative layer decay property suffices. We also prove that this property is implied by the monotone geodesic property of Tessera. Finally, we give some explicit examples and counterexamples in the complex plane to illustrate the relationship between the geometry of the homogeneous space and the validity of the Hardy type inequalities.
|
57 |
Asymptotiques dans des modèles de boules aléatoires poissoniennes et non-poissoniennes / Asymptotics in poissonian and non-poissonian random balls modelsClarenne, Adrien 11 July 2019 (has links)
Dans cette thèse, on étudie le comportement asymptotique de modèles de boules aléatoires engendrées selon différents processus ponctuels, après leur avoir appliqué un changement d’échelle qui peut être vu comme un dézoom. Des théorèmes limites existent pour des processus de Poisson et on généralise ces résultats en considérant tout d’abord des boules engendrées par des processus déterminantaux, qui induisent de la répulsion entre les points. Cela permet de modéliser de nombreux phénomènes, comme par exemple la répartition des arbres dans une forêt. On s’intéresse ensuite à un cas particulier des processus de Cox, les processus shot-noise, qui présentent des amas de points, modélisant notamment la présence de corpuscules dans des nano-composites. / In this thesis, we study the asymptotic behavior of random balls models generated by different point processes, after performing a zoom-out on the model. Limit theorems already exist for Poissonian random balls and we generalize the existing results first by studying determinantal random balls models, which induce repulsion between the centers of the balls. It models many phenomena, for example the distribution of trees in a forest. We are then interested in a particular case of Cox processes, the shot-noise Cox processes, which exhibit clusters, modeling the presence of corpuscles in nano composites.
|
58 |
Quelques relations entre propriétés algébriques des groupes de transformation et géométrie des espacesZuddas, Fabio 20 October 2005 (has links) (PDF)
On s'intéresse ici aux actions (discrètes, par isométries) d'un groupe $\Gamma$ sur un espace métrique mesuré $X$ et à la manière dont ces actions écartent les points. Le lemme de Margulis classique conclut lorsque $X$ est une variété simplement connexe de courbure strictement négative et bornée. Une version récente (due à G. Besson, G. Courtois et S. Gallot) conclut lorsque $X$ est un espace métrique mesuré d'entropie bornée, mais est essentiellement limitée au cas où $\Gamma$ est un groupe fondamental d'une variété de courbure négative<br />majorée et de rayon d'injectivité minoré. Nous montrons que ce dernier résultat (et ses applications géométriques) se généralise à une classe ${\cal C}$ plus vaste de groupes (qui contient les groupes hyperboliques selon Gromov, les produits libres et les produits amalgamés ``malnormaux'') et aux quasi-actions par quasi-isométries (avec points fixes éventuels) de ces groupes sur un espace métrique mesuré d'entropie bornée. Nous montrons aussi que ${\cal C}$ est fermé pour une topologie naturelle. Nous appliquons ce résultat au cas où $X$ est le graphe de Cayley d'un groupe $G$ commensurable à un groupe $\Gamma \in {\cal C}$, obtenant des résultats<br />de finitude qui s'appliquent en particulier aux groupes hyperboliques selon Gromov et aux groupes fondamentaux de variétés de diamètre borné. Ces derniers résultats apportent un éclairage nouveau aux questions de l'existence d'un minorant universel de l'entropie pour l'ensemble des groupes $G$ de ce type et de l'existence, pour chacun de ces groupes, d'un système générateur d'entropie algébrique minimale.
|
59 |
ÉTUDE ET RÉALISATION DE MICRORÉSONATEURS EN TECHNIQUE LIGA-UVMajjad, Hicham 05 November 2001 (has links) (PDF)
Cette étude a pour but la conception de microrésonateurs basses fréquences réalisés par une technique de microfabrication collective : la LIGA-UV. Il est donc nécessaire dans un premier temps de connaître les propriétés mécaniques du matériau choisi pour la réalisation, à savoir le nickel obtenu par électroformage. On détermine donc le module de Young ainsi que l'amortissement interne du matériau grâce au plus simple des microrésonateurs à savoir une micropoutre encastrée-libre. La démarche suivie lors de la phase de conception de ces microrésonateurs est la suivante : tout d'abord développer un modèle analytique qui permet de déterminer le maximum de paramètres géométriques. Ensuite, l'utilisation d'un modèle éléments finis, qui prend en compte plus de paramètres, permet d'affiner la géométrie grâce à des conditions aux limites proches de la réalité et de simuler le fonctionnement du microsystème. Ainsi, cette démarche a été suivie par la réalisation et la caractérisation de microrésonateurs en nickel à mode de flexion dans le plan qui vibrent à 70 kHz. L'excitation et la détection se font par le biais de peignes interdigités. Les fréquences expérimentales sont confrontées aux résultats des simulations avec une corrélation très satisfaisante. Enfin, un prototype de microrésonateur qui vibre à 6 MHz et dont l'originalité réside dans son mode de contour ou mode de Lamé a été réalisé. La vibration qui a lieu dans le plan a ses nœuds aux quatre coins et au centre de la plaque. L'excitation du microrésonateur se fait de manière électrostatique, quant à la détection elle se fait par l'intermédiaire d'un interféromètre laser hétérodyne. Les résultats ont montré un coefficient de qualité Q d'environ 1200 à l'air. Ce type de microrésonateur est le candidat idéal pour la réalisation d'un oscillateur intégré sous vide qui entraînerait une nette amélioration de ses performances mécaniques.
|
60 |
Analyse de modèles mathématiques pour la propagation de la lumière dans les fibres optiques en présence de biréfringence aléatoireGazeau, Maxime 19 October 2012 (has links) (PDF)
L'étude de la propagation de la lumière dans les fibres optiques monomodes requiert la prise en compte de plusieurs phénomènes compliqués tels que la dispersion modale de polarisation et l'effet Kerr. Il s'est avéré que l'évolution de l'enveloppe lentement variable du champ électrique est bien décrite par un système couplé d'équations de Schrödinger non linéaires à coefficients aléatoires : l'équation de Manakov PMD. Cette équation fait intervenir différentes échelles dont le ratio est donné par un petit paramètre. La première partie de ce travail consiste à étudier le comportement asymptotique de la solution de l'équation de Manakov PMD lorsque ce petit paramètre tend vers zéro. En généralisant la théorie de l'Approximation-Diffusion au cadre de la dimension infinie, on a montré que la dynamique asymptotique est donnée par une équation aux dérivées partielles stochastiques dirigée par un mouvement brownien de dimension trois. Dans une seconde partie, nous proposons un schéma de différences finies de type Crank Nicolson pour cette équation pour lequel nous obtenons un ordre de convergence en probabilité d'ordre 1/2. La discrétisation du bruit doit être implicite afin d'obtenir un schéma conservatif et stable. Enfin la dernière partie est relative à la simulation numérique de la dispersion modale de polarisation et à ses effets sur la propagation et la collision de solitons de Manakov. Dans ce cadre, on propose une méthode de réduction de variance valable pour les équations aux dérivées partielles stochastiques.
|
Page generated in 0.0242 seconds