• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 17
  • 12
  • Tagged with
  • 26
  • 26
  • 16
  • 11
  • 9
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 5
  • 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.
11

MODÉLISATION DU TRANSPORT, DE LA DÉGRADATION ET DE L'ABSORPTION DES ALIMENTS DANS L'INTESTIN GRÊLE

Taghipoor, Masoomeh 24 September 2012 (has links) (PDF)
L'objectif de ce travail est de présenter un modèle générique de la digestion dans l'intestin grêle. Dans la première partie de ce travail, un modèle mécaniste basé sur les équations différentielles ordinaires est utilisé pour présenter la digestion : les équations décrivent l'évolution de la position et de la composition du bolus provenant de l'estomac. Chaque bolus est représenté par un cylindre. Ce modèle prend en compte simultanément les différents aspects de la digestion à savoir le transport du bolus dans la lumière intestinale, la dégradation des aliments par des enzymes, et l'absorption des nutriments. Dans la deuxième partie de cette étude, nous utilisons les méthodes d'homogénéisation mathématique pour justifier le modèle de la digestion développé dans la première partie. Nous montrons que ce modèle peut être considéré comme une version macroscopique des modèles plus réalistes, qui contiennent des phénomènes biologiques à des échelles inférieures de l'intestin grêle : (i) les ondes péristaltiques à haute fréquence (échelle du temps microscopique) et leurs effets sur la vitesse du bolus, (ii) la présence des villosités intestinales (échelle microscopique de l'espace) et leur influence sur la digestion. Enfin, dans la troisième partie de ce travail, nous étudions l'influence du changement de la structure de bolus sur la digestion en intégrant les fibres alimentaires dans sa composition. Les deux principales caractéristiques des fibres alimentaires qui interagissent avec la fonction de l'intestin grêle, à savoir, la viscosité et la capacité de rétention d'eau ont été modélisées. Ce modèle nous a permis de considérer, en particulier, la relation entre l'évolution de la matière sèche et de l'eau au sein du bolus. Bien que ce modèle est générique et contient un grand nombre de paramètres, à notre connaissance, il est parmi les premiers modèles dynamiques qualitatives de l'influence des fibres sur la digestion intestinale.
12

Contrôle stochastique et méthodes numériques en finance mathématique

Elie, Romuald 11 December 2006 (has links) (PDF)
Cette thèse présente trois sujets de recherche indépendants appartenant au domaine des méthodes numériques et du contrôle stochastique avec des applications en mathématiques financières.<br /><br />Nous présentons dans la première partie une méthode non-paramétrique d'estimation des sensibilités des prix d'options. A l'aide d'une perturbation aléatoire du paramètre d'intérêt, nous représentons ces sensibilités sous forme d'espérance conditionnelle, que nous estimons à l'aide de simulations Monte Carlo et de régression par noyaux. Par des arguments d'intégration par parties, nous proposons plusieurs estimateurs à noyaux de ces sensibilités, qui ne nécessitent pas la connaissance de la densité du sous-jacent, et nous obtenons leurs propriétés asymptotiques. Lorsque la fonction payoff est irrégulière, ils convergent plus vite que les estimateurs par différences finies, ce que l'on vérifie numériquement.<br /><br />La deuxième partie s'intéresse à la résolution numérique de systèmes découplés d'équations différentielles stochastiques progressives rétrogrades. Pour des coefficients Lipschitz, nous proposons un schéma de discrétisation qui converge plus vite que $n^{-1/2+e}$, pour tout $e>0$, lorsque le pas de temps $1/n$ tends vers $0$, et sous des hypothèses plus fortes de régularité, le schéma atteint la vitesse de convergence paramétrique. L'erreur statistique de l'algorithme dûe a l'approximation non-paramétrique d'espérances conditionnelles est également controlée et nous présentons des exemples de résolution numérique de systèmes couplés d'EDP semi-linéaires.<br /><br />Enfin, la dernière partie de cette thèse étudie le comportement d'un gestionnaire de fond, maximisant l'utilité intertemporelle de sa consommation, sous la contrainte que la valeur de son portefeuille ne descende pas en dessous d'une fraction fixée de son maximum courant. Nous considérons une classe générale de fonctions d'utilité, et un marché financier composé d'un actif risqué de dynamique black-Scholes. Lorsque le gestionnaire se fixe un horizon de temps infini, nous obtenons sous forme explicite sa stratégie optimale d'investissement et de consommation, ainsi que la fonction valeur du problème. En horizon fini, nous caractérisons la fonction valeur comme unique solution de viscosité de l'équation d'Hamilton-Jacobi-Bellman correspondante.
13

Quelques résultats d'approximation et de régularité pour des équations elliptiques et paraboliques non-linéaires / Some approximation and regularity results for fully nonlinear elliptic and parabolic equations

Daniel, Jean-Paul 12 December 2014 (has links)
Nous nous intéressons à des résultats d'approximation et de régularité pour des solutions de viscosité d'équations elliptiques et paraboliques non-linéaires. Dans le chapitre 1, nous proposons, pour une classe générale d'équations elliptiques et paraboliques non-linéaires munies de conditions de Neumann inhomogènes, une interprétation de contrôle déterministe par des jeux répétés à deux personnes qui consiste à représenter la solution comme la limite de la suite des scores associés aux jeux. La condition de Neumann intervient par une pénalisation adaptée près de la frontière. En s'inspirant d'une approche abstraite proposée par Barles et Souganidis, nous prouvons la convergence en établissant des propriétés de monotonie, stabilité et consistance. Le chapitre 2 est consacré à des résultats de régularité sur les solutions d'équations paraboliques non-linéaires associés à un opérateur uniformément elliptique. Nous donnons une estimation de la mesure de Lebesgue de l'ensemble des points possédant un développement de Taylor quadratique global avec un contrôle sur la taille du terme cubique. Sous une hypothèse supplémentaire sur la régularité de la non-linéarité, nous en déduisons un résultat de régularité partielle höldérienne des solutions. Dans les chapitres 3 et 4, nous proposons une méthode générale pour obtenir des taux algébriques de convergence de solutions de schémas d'approximation vers la solution de viscosité sous l'hypothèse d'uniforme ellipticité de l'opérateur. Nous donnons un taux de convergence pour des schémas elliptiques obtenus par principe de programmation dynamique et nous prouvons un taux pour des schémas paraboliques par différences finies et implicites en temps. / In this thesis we study some approximation and regularity results for viscosity solutions of fully nonlinear elliptic and parabolic equations. In the first chapter, we consider a broad class of fully nonlinear elliptic and parabolic equations with inhomogeneous Neumann boundary conditions. We provide a deterministic control interpretation through two-person repeated games which represents the solution as the limit of the sequence of the scores associated to the games. The Neumann condition is modeled by a suitable penalization near the boundary. Inspiring by an abstract method of Barles and Souganidis, we prove the convergence of the score to the solution of the equation by establishing monotonicity, stability and consistency. The second chapter presents some regularity results about viscosity solutions of parabolic equations associated to a uniformly elliptic operator. First we obtain a Lebesgue measure estimate on the points having a quadratic Taylor expansion with a controlled cubic term. Under an additional assumption on the regularity of the nonlinearity, we deduce a partial regularity result about the Hölder regularity of these solutions. In the third and fourth chapters, we propose a general approach to determine algebraic rates of convergence of solutions of approximation schemes to the viscosity solution of fully nonlinear elliptic or parabolic equations under the assumption of uniform ellipticity of the operator. We first give the rate associated to the elliptic schemes derived by dynamic programming principles and proposed by Kohn and Serfaty. We then prove a rate of convergence for finite-difference schemes implicit in time associated to fully nonlinear parabolic equations.
14

Contribution à l'analyse de textures en traitement d'images par méthodes variationnelles et équations aux dérivées partielles

Aujol, Jean-François 17 June 2004 (has links) (PDF)
Cette thèse est un travail en mathématiques appliquées. Elle aborde quelques problèmes en analyse d'images et utilise des outils mathématiques spécifiques.<br /><br />L'objectif des deux premières parties de cette thèse <br /> est de proposer un modèle pour décomposer une image f en trois composantes : f=u+v+w.<br />La première composante, u, contient l'information géométrique. On peut la considérer comme une esquisse de l'image originale f.<br />La seconde composante, v, contient l'information texture.<br />La troisième composante, w, contient le bruit présent dans l'image originale.<br />Notre approche repose sur l'utilisation d'espaces mathématiques <br />adaptés à chaque composante: l'espace BV des fonctions à variations bornées pour u, un espace G proche du dual de BV pour les textures, et un espace de Besov d'exposant négatif E pour le bruit.<br />Nous effectuons l'étude mathématique complète des différents modèles que nous proposons.<br />Nous illustrons notre approche par de nombreux exemples, et donnons deux applications concrètes : une première en restauration d'images RSO, et une seconde en compression d'images.<br /><br /><br />Dans la troisième et dernière partie de cette thèse, nous nous intéressons <br />spécifiquement à la composante texturée.<br />Nous proposons un algorithme de classification supervisée pour les images texturées. L'approche utilisée est basée sur l'utilisation de la méthode des contours actifs et d'un terme d'attache aux donnés spécifiques au textures. Ce dernier est construit à partir d'une transformée en paquets d'ondelettes. Nous obtenons ainsi une fonctionnelle, dont le minimum correspond à la classification cherchée. Nous résolvons numériquement ce problème à l'aide d'un système couplé d'EDP que nous plongeons dans un schéma dynamique. Nous illustrons notre démarche par de nombreux exemples numériques. Nous effectuons également l'étude théorique de la fonctionnelle de classification.
15

L'approche Hamilton-Jacobi-Bellman pour des problèmes de contrôle optimal avec des coefficients discontinus

Rao, Zhiping 13 December 2013 (has links) (PDF)
Cette thèse porte sur l'approche de Programmation dynamique et Hamilton-Jacobi- Bellman pour une classe générale de problèmes déterministes de contrôle optimal avec des coefficients discontinus. Les outils utilisés dans ce travail se basent essentiellement sur la théorie de contrôle, la théorie de viscosité pour les équations aux dérivées partielles, l'analyse nonlisse et les systèmes dynamiques. La première partie de la thèse concerne le problème des trajectoires discontinues sous contraintes sur l'état, où les trajectoires sont solutions de systèmes dynamiques impulsionnels. Un résultat de caractérisation de la fonction de valeur pour de tels problème a été obtenu. Une autre contribution issue de cette partie consiste en l'extension de l'approche HJB pour des problèmes gouvernés par des systèmes dynamiques mesurables en temps et en présence de contraintes sur l'état dépendantes du temps. La deuxième partie est consacrée au problème de contrôle optimal sur domaine stratifié, qui consiste en une réunion de sous-domaines séparés par plusieurs interfaces. Une de motivations de ce travail vient du problème de contrôle hybride. Ici on obtient de nouvelles conditions de transmission sur les interfaces qui garantissent l'unicité et la caractérisation de la fonction de valeur. La troisième partie consiste à étudier l'homogénéisation des équations d'Hamilton-Jacobi dans le cadre d'Hamiltonians discontinus en état. Ce travail considère la perturbation singulière des problèmes de contrôle optimal sur une structure périodique stratifié. Le problème limite est analysé et une équation d'Hamilton-Jacobi associée est établie. Cette équation décrit le comportement limite de la fonction de valeur du problème perturbé lorsque l'échelle de périodicité tend vers 0.
16

Modélisation du transport, de la dégradation et de l'absorption des aliments dans l'intestin grêle / Modelling of feedstuffs transport, degradation and absorption in the small intestine

Taghipoor, Masoomeh 24 September 2012 (has links)
L’objectif de cette étude est de modéliser la digestion dans l’intestin grêle : le transport des aliments par les ondes péristaltiques, la dégradation par les enzymes endogènes et exogènes et l’absorption active et passive. Un modèle mécaniste basé sur les équations différentielles ordinaires a été utilisé pour représenter la digestion. Les équations décrivent l’évolution de la position et de la composition du bolus provenant de l’estomac. Nous montrons ensuite par les méthodes d’homogénéisation mathématiques que ce modèle peut être considéré comme une version macroscopique des modèles plus réalistes, qui contiennent des phénomènes biologiques à des échelles inférieures de l’intestin grêle. Enfin, nous étudions l’influence du changement de la structure de bolus sur la digestion en intégrant les fibres alimentaires dans sa composition. Les deux principales caractéristiques des fibres alimentaires qui interagissent avec la fonction de l’intestin grêle, à savoir, la viscosité et la capacité de rétention d’eau ont été modélisées. / The purpose of this study is to model the digestion in the small intestine : transport of the the bolus by the peristaltic waves, feedstuffs degradation according to the endogenous and exogenous enzymes and nutrients absorption. A mechanistic model based on ordinary differential equations is used to represent the digestion. The equations describe the evolution of the position and composition of the bolus of feedstuffs coming from the stomach. We prove by using the homogenization methods, that this model can be considered as a macroscopic version of more realistic models which contain the biological phenomena at lower scales of the small intestine. Finally, we investigate the digestion of a non-homogeneous feedstuffs matrix by integrating the dietary fibre in the bolus. The two main physiochemical characteristics of dietary fibre which interact with the function of the small intestine, i.e. viscosity and water holding capacity are modelled.
17

Analytical properties of viscosity solutions for integro-differential equations : image visualization and restoration by curvature motions / Propriétés analytiques des solutions de viscosité des équations integro-différentielles : visualisation et restauration d'images par mouvements de courbure

Ciomaga, Adina 29 April 2011 (has links)
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 / The present dissertation has two independent parts.Viscosity solutions theory for nonlinear Integro-Differential EquationsWe consider nonlinear elliptic and parabolic Partial Integro-Differential Equations (PIDES), where the nonlocal terms are associated to jump Lévy processes. The present work is motivated by the study of the Long Time Behavior of Viscosity Solutions for Nonlocal PDEs, in the periodic setting. The typical result states that the solution u(¢, t ) of the initial value problem for parabolic PIDEs behaves like ?t Å v(x) Å o(1) as t ! 1, where v is a solution of the stationary ergodic problem corresponding to the unique ergodic constant ?. In general, the study of the asymptotic behavior relies on two main ingredients: regularity of solutions and the strong maximum principle.We first establish Strong Maximum Principle results for semi-continuous viscosity solutions of fully nonlinear PIDEs. This will be used to derive Strong Comparison results of viscosity sub and super-solutions, which ensure the up to constants uniqueness of solutions of the ergodic problem, and subsequently, the convergence result. Moreover, for super-quadratic equations the strong maximum principle and accordingly the large time behavior require Lipschitz regularity.We then give Lipschitz estimates of viscosity solutions for a large class of nonlocal equations, by the classical Ishii-Lions's method. Regularity results help in addition solving the ergodic problem and are used to provide existence of periodic solutions of PIDEs. In both cases, we deal with a new class of nonlocal equations that we term mixed integrodifferential equations. These equations are particularly interesting, as they are degenerate both in the local and nonlocal term, but their overall behavior is driven by the local-nonlocal interaction, e.g. the fractional diffusion may give the ellipticity in one direction and the classical diffusion in the complementary one.Image Visualization and Restoration by CurvatureMotionsThe role of curvatures in visual perception goes back to 1954 and is due to Attneave. It can be argued on neurological grounds that the human brain could not possible use all the information provided by states of simulation. But actually human brain registers regions where color changes abruptly (contours), and furthermore angles and peaks of curvature. Yet, a direct computation of curvatures on a raw image is impossible. We show how curvatures can be accurately estimated, at subpixel resolution, by a direct computation on level lines after their independent smoothing.To performthis programme, we build an image processing algorithm, termed Level Lines (Affine) Shortening, simulating a sub-pixel evolution of an image by mean curvature motion or by affine curvature motion. Both in the analytical and numerical framework, LL(A)S first extracts all the level lines of an image, then independently and simultaneously smooths all of its level lines by curve shortening (CS) (respectively affine shortening (AS)) and eventually reconstructs, at each time, a new image from the evolved level lines.We justify that the Level Lines Shortening computes explicitly a viscosity solution for the Mean CurvatureMotion and hence is equivalent with the clasical, geometric Curve Shortening.Based on simultaneous level lines shortening, we provide an accurate visualization tool of image curvatures, that we call an Image CurvatureMicroscope. As an application we give some illustrative examples of image visualization and restoration: noise, JPEG artifacts, and aliasing will be shown to be nicely smoothed out by the subpixel curvature motion.
18

Modèles discrets de dislocations : ondes progressives et dynamique de particules / Discrete models of dislocations : traveling waves and dynamics of particles

Al Haj, Mohammad 17 June 2014 (has links)
Ce travail se concentre sur l'étude de la dynamique des dislocations dans le réseau cristallin et il est découpé en deux parties : la première partie porte sur les mouvements horizontaux d'une chaîne d'atomes en interaction contenant une dislocation. Bien que, la deuxième partie traite de l'accumulation de dislocations formant ce qu'on appelle des murs de dislocations. Dans la première partie, nous considérons une généralisation complètement nonlinéaire des équations de diffusion de réaction discrète également appelée “modèles de Frenkel-Kontorova complètement amortis” qui décrivent la dynamique des défauts cristallins (dislocations) dans un réseau. Nous étudions à la fois : les non-linéarités bistable et monostable. Dans des conditions suffisantes, nous montrons l'existence et l'unicité des ondes progressives pour le cas de non-linéarité bistable. Pour le cas monostable, nous étudions l'existence de la branche des solutions d'ondes progressives pour une non-linéarité Lipschitz général. Nous montrons également que la vitesse minimale est positive et délimitée ci-dessous. Dans cette partie, nous étudions aussi la généralisation du modèle de Frenkel-Kontorova pour laquelle nous pouvons ajouter un paramètre de force motrice. Nous illustrons également, dans ce cas, la variation de la vitesse de propagation des ondes progressives en fonction du paramètre de force. Dans la deuxième partie, nous étudions l'accumulation des dislocations dans les murs de dislocations. Nous montrons en fait la convergence de plusieurs dislocations qui interagissent sur les murs de dislocations. Nous présentons aussi les résultats de quelques expériences numériques qui confirment les résultats théoriques que nous obtenons / This work focuses on the study of the dislocation dynamics in the crystal lattice and it is splitted into two parts : the first part is concerned with the horizontal motion of a chain of interacting atoms containing a dislocation. While, the second part deals with the accumulation of dislocations forming what is known as walls of dislocations. In the first part, we consider a fully nonlinear generalization of the discrete reaction diffusion equations “fully overdamped Frenkel-Kontorova models” that describe the dynamics of crystal defects (dislocations) in a lattice. We study both : the bistable and the monostable non-linearities. Under sufficient conditions, we show the existence and uniqueness of traveling wave solution for the bistable non-linearity case. For the monostable case, we study the existence of branch of traveling waves solutions for general Lipschitz non-linearity. We also prove that the minimal velocity is non-negative and bounded below. In this part, we as well study the generalization of Frenkel-Kontorova model for which we can add a driving force parameter. We also illustrate, in this case, the variation of the velocity of propagation of traveling waves in terms of the parameter force. In the second part, we study the accumulation of dislocations in walls of dislocations. We prove actually the convergence of several interacting dislocations to walls of dislocations. We also present results of some numerical experiments that confirm the theoretical results that we obtain
19

Sensitivity Relations and Regularity of Solutions of HJB Equations arising in Optimal Control / Relations de sensibilité et régularité des solutions d'une classe d'équations d'HJB en controle optimal

Scarinci, Teresa 30 November 2015 (has links)
Dans cette thèse nous étudions une classe d’équations de Hamilton-Jacobi-Bellman provenant de la théorie du contrôle optimal des équations différentielles ordinaires. Nous nous intéressons principalement à l’analyse de la sensibilité de la fonction valeur des problèmes de contrôle optimal associés à de telles équations de H-J-B. Dans la littérature, les relations de sensibilité fournissent une “mesure” de la robustesse des stratégies optimales par rapport aux variations de la variable d’état. Ces résultats sont des outils très importants pour le contrôle appliqué, parce qu’ils permettent d’étudier les effets que des approximations des données du système peuvent avoir sur les politiques optimales. Cette thèse est dédiée également à l’étude des problèmes de Mayer et de temps minimal. Nous supposons que la dynamique du problème soit une inclusion différentielle, afin de permettre aux données d’être non régulières et d’embrasser un ensemble plus grand d’applications. Néanmoins, cette tâche rend notre analyse plus difficile. La première contribution de cette étude est une extension de quelques résultats classiques de la théorie de la sensibilité au domaine des problèmes non paramétrées. Ces relations prennent la forme d’inclusions d’état adjoint, figurant dans le principe du maximum de Pontryagin, dans certains gradients généralisés de la fonction valeur évalués le long des trajectoires optimales. En deuxième lieu, nous développons des nouvelles relations de sensibilité impliquant des approximations du deuxième ordre de la fonction valeur. Cette analyse mène à de nouvelles applications concernant la propagation, tant ponctuel que local, de la régularité de la fonction valeur le long des trajectoires optimales. Nous proposons également des applications aux conditions d’optimalité. / This dissertation investigates a class of Hamilton-Jacobi-Bellman equations arising in optimal control of O.D.E.. We mainly focus on the sensitivity analysis of the optimal value function associated with the underlying control problems. In the literature, sensitivity relations provide a measure of the robustness of optimal control strategies with respect to variations of the state variable. This is a central tool in applied control, since it allows to study the effects that approximations of the inputs of the system may produce on the optimal policies. In this thesis, we deal whit problems in the Mayer or in the minimum time form. We assume that the dynamic is described by a differential inclusion, in order to allow data to be nonsmooth and to embrace a large area of concrete applications. Nevertheless, this task makes our analysis more challenging. Our main contribution is twofold. We first extend some classical results on sensitivity analysis to the field of nonparameterized problems. These relations take the form of inclusions of the co-state, featuring in the Pontryagin maximum principle, into suitable gradients of the value function evaluated along optimal trajectories. Furthermore, we develop new second-order sensitivity relations involving suitable second order approximations of the optimal value function. Besides being of intrinsic interest, this analysis leads to new consequences regarding the propagation of both pointwise and local regularity of the optimal value functions along optimal trajectories. As applications, we also provide refined necessary optimality conditions for some class of differential inclusions.
20

Méthodes mathématiques et numériques pour la modélisation des déformations et l'analyse de texture. Applications en imagerie médicale / Mathematical and numerical methods for the modeling of deformations and image texture analysis. Applications in medical imaging

Chesseboeuf, Clément 23 November 2017 (has links)
Nous décrivons une procédure numérique pour le recalage d'IRM cérébrales 3D. Le problème d'appariement est abordé à travers la distinction usuelle entre le modèle de déformation et le critère d'appariement. Le modèle de déformation est celui de l'anatomie computationnelle, fondé sur un groupe de difféomorphismes engendrés en intégrant des champs de vecteurs. Le décalage entre les images est évalué en comparant les lignes de niveau de ces images, représentées par un courant différentiel dans le dual d'un espace de champs de vecteurs. Le critère d'appariement obtenu est non local et rapide à calculer. On se place dans l'ensemble des difféomorphismes pour rechercher une déformation reliant les deux images. Pour cela, on minimise le critère en suivant le principe de l'algorithme sous-optimal. L'efficacité de l'algorithme est renforcée par une description eulérienne et périodique du mouvement. L'algorithme est appliqué pour le recalage d'images IRM cérébrale 3d, la procédure numérique menant à ces résultats est intégralement décrite. Nos travaux concernent aussi l'analyse des propriétés de l'algorithme. Pour cela, nous avons simplifié l'équation représentant l'évolution de l'image et étudié l'équation simplifiée en utilisant la théorie des solutions de viscosité. Nous étudions aussi le problème de détection de rupture dans la variance d'un signal aléatoire gaussien. La spécificité de notre modèle vient du cadre infill, ce qui signifie que la distribution des données dépend de la taille de l'échantillon. L'estimateur de l'instant de rupture est défini comme le point maximisant une fonction de contraste. Nous étudions la convergence de cette fonction et ensuite la convergence de l'estimateur associé. L'application la plus directe concerne l'estimation de changement dans le paramètre de Hurst d'un mouvement brownien fractionnaire. L'estimateur dépend d'un paramètre p > 0 et nos résultats montrent qu'il peut être intéressant de choisir p < 2. / We present a numerical procedure for the matching of 3D MRI. The problem of image matching is addressed through the usual distinction between the deformation model and the matching criterion. The deformation model is based on the theory of computational anatomy and the set of deformations is a group of diffeomorphisms generated by integrating vector fields. The discrepancy between the two images is evaluated through comparisons of level lines represented by a differential current in the dual of a space of vector fields. This representation leads to a quickly computable non-local criterion. Then, the optimisation method is based on the minimization of the criterion following the idea of the so-called sub-optimal algorithm. We take advantage of the eulerian and periodical description of the algorithm to get an efficient numerical procedure. This algorithm can be used to deal with 3d MR images and numerical experiences are presented. In an other part, we focus on theoretical properties of the algorithm. We begin by simplifying the equation representing the evolution of the deformed image and we use the theory of viscosity solutions to study the simplified equation. The second issue we are interested in is the change-point estimation for a gaussian sequence with change in the variance parameter. The main feature of our model is that we work with infill data and the nature of the data can evolve jointly with the size of the sample. The usual approach suggests to introduce a contrast function and using the point of its maximum as a change-point estimator. We first get an information about the asymptotic fluctuations of the contrast function around its mean function. Then, we focus on the change-point estimator and more precisely on the convergence of this estimator. The most direct application concerns the detection of change in the Hurst parameter of a fractional brownian motion. The estimator depends on a parameter p > 0, generalizing the usual choice p = 2. We present some results illustrating the advantage of a parameter p < 2.

Page generated in 0.5033 seconds