Reproduction de : Thèse de doctorat : Statistiques appliquées : Lyon 1 : 2007. / Titre provenant de l'écran titre. Bibliogr. p. 157-166.

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

Thèses (Ph.D.)--Université de Sherbrooke (Canada), 2003. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.

Bachelor-Arbeit Univ. St. Gallen, 2005.

Thesis--Université de Paris.

Thèse--Sc. math.--Paris 6, 1971. / Bibliogr. p. 156-158.

Th. 3e cycle--Anal. numér.--Paris 6, 1979.

Th. 3e cycle--Anal. numér.--Paris 6, 1979.

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

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