Afin de modéliser le flux sanguin dans les vaisseaux, l'équation de Stokes avec une viscosité variable est considérée dans une structure tubulaire mince, c'est à dire, dans une union de rectangles minces avec des hauteurs d'ordre ε et des bases d'ordre 1. Un développement asymptotique de la solution est construit. Dans le cas des perturbations aléatoires de la viscosité constante, nous prouvons que le premier terme de la vitesse est déterministe, alors que pour la pression, il est aléatoire, mais les espérances de la pression satisfont l'équation déterministe de Darcy. Les estimations pour la différence entre la solution exacte et son approximation asymptotique sont prouvées. Enfin, nous donnons quelques résultats numériques. Nous étendons les résultats à une structure tubulaire mince composée de deux rectangles minces avec des parois élastiques qui sont reliés par un domaine dont les parois sont rigides. Après une approche variationnelle du problème qui nous donne des résultats d'existence, d'unicité, de régularité, et certaines estimations, a priori, nous construisons une solution asymptotique. Nous présentons et résolvons les problèmes de tous les termes du développement asymptotique. Pour deux cas différents, nous décrivons l'ordre des étapes de résolution de l'algorithme du problème et nous construisons le terme principal du développement asymptotique. Et enfin, nous présentons une analyse variationnelle et asymptotique pour un cas plus général où la viscosité dépend du tenseur des déformations dans un canal mince. Par le biais des estimations a priori, nous justifions nos constructions asymptotiques, par l'obtention d'une petite erreur entre les solutions exactes et asymptotiques

Cette thèse est une contribution au domaine des cubulations de groupes hyperboliques au sens de Gromov. Nous nous intéressons au cas particulier des groupes fondamentaux de variétés hyperboliques réelles compactes. La philosophie inspirée dans ce domaine par les travaux de M. Sageev est que si un groupe hyperbolique possède suffisamment de sous-groupes de codimension 1 quasi-convexes, alors il agit géométriquement sur un complexe cubique CAT(0) de dimension finie. Nous démontrons un critère précis de cubulation pour les groupes fondamentaux de variétés hyperboliques compactes, à l'aide de constructions d'espaces à murs quasi-isométriques à l'espace hyperbolique réel. Nous nous restreignons par la suite au cas particulier de la dimension 3 et plus particulièrement aux 3-variétés hyperboliques compactes virtuellement fibrées sur le cercle. Nous exploitons alors une construction de surfaces immergées incompressibles dites coupées-croisées due à D. Cooper, D. Long et A. Reid dans une telle 3-variété M pour fabriquer des sous-groupes de surface de son groupe fondamental~G. En raffinant des arguments de J. Masters et en exploitant la structure de l'application de Cannon-Thurston, nous parvenons à construire des sous-groupes de surfaces quasi-convexes de G en quantité suffisante pour que leurs ensembles limites permettent de séparer toutes les paires de points distincts du bord du revêtement universel de M. En conséquence de cette construction, G agit géométriquement sur un complexe cubique CAT(0) de dimension finie. D. Wise soulève alors la question de savoir si ce groupe G peut agir géométriquement et également virtuellement co-spécialement (au sens de F. Haglund et D. Wise) sur un complexe cubique CAT(0). Une réponse positive résoudrait les conjectures selon lesquelles G est large et le premier nombre de Betti virtuel de M est infini. Nous faisons remarquer que pour obtenir une réponse positive à cette question, il suffit de trouver une surface coupée-croisée virtuellement plongée dans un revêtement fini fibré sur le cercle de M. Nous concluons en présentant des conditions algébriques, puis géométriques et cohomologiques suffisantes pour qu'une surface coupée-croisée donnée soit virtuellement plongée.

La recherche se situe dans le cadre de l'étude des usages d'un environnement logiciel géométrique et algébrique dédié aux fonctions au lycée. Nous nous intéressons plus particulièrement au côté " élèves ", avec une étude des situations utilisant le logiciel Casyopée et de leurs effets sur l'apprentissage des fonctions. La problématique aborde des questions relatives aux usages des TICE dans l'enseignement et l'apprentissage des mathématiques, et considère l'enseignement des fonctions sous ses aspects épistémologique, cognitif et didactique. Le cadre théorique est construit à partir notamment d'une typologie d'activités sur les fonctions, de l'approche instrumentale de Rabardel et d'une théorie des représentations sémiotiques. Nous proposons une approche des fonctions via la modélisation fonctionnelle des dépendances géométriques. Les résultats indiquent un développement conjoint de connaissances mathématiques sur les fonctions et de connaissances sur Casyopée pendant la genèse instrumentale, et montrent comment une utilisation régulière de l'artefact permet aux élèves d'articuler ces deux types de connaissances. L'étude éclaire les apports de la typologie d'activités pour l'enseignement et l'apprentissage des fonctions en environnements numériques d'apprentissage. Nous considérons également comment les activités des élèves dans les différents registres de Casyopée peuvent faire émerger un co-développement des conceptions " processus " et " objet " et favoriser donc une compréhension flexible des fonctions.

Cette thèse est dédiée à la résolution numérique tridimensionnelle des équations de Maxwell harmoniques, par des méthodes de décomposition de domaine couplant des résolutions par équations intégrales entre elles. Pour traiter les problèmes de diffraction d'ondes, la méthode des équations intégrales est un outil précieux. Elle consiste à paramétrer le champ électromagnétique solution par une source définie sur la surface de l'objet diffractant, solution d'une nouvelle équation linéaire (l'équation intégrale). Pour des applications à haute fréquence, le grand nombre d'inconnues (de l'ordre du million) nous oblige à utiliser un solveur itératif pour résoudre l'équation intégrale. Le problème du conditionnement des systèmes linéaires est alors crucial. De récents développements ont permis de construire une équation intégrale performante (la GCSIE) et de conditionnement stable avec la montée en fréquence. Cependant, la présence d'une cavité large et résonnante dans l'objet diffractant (telle que la cavité moteur d'un avion) dégrade le conditionnement de cette équation. Nous proposons deux méthodes de décomposition de domaine (DDM) afin de découpler le problème de la cavité du problème extérieur. La première (DDM en Y) s'exprime en fonction des opérateurs Dirichlet-to-Neumann Y, qui sont synthétisés via la résolution de problèmes métalliques par équations intégrales dans chaque sous-domaine. La seconde (DDM en S) s'exprime en fonction des opérateurs de scattering S, synthétisés par résolution de problèmes de type métal-impédant, donc bien posés à toute fréquence. La DDM en S permet ainsi de se débarrasser des phénomènes de résonance dans les cavités. Nous proposons dans un premier temps un préconditionneur analytique pour la DDM en Y, basé sur l'opérateur électromagnétique de simple couche. Nous calculons ensuite les modes guidés le long d'un cylindre infini tangent à la cavité près de l'interface, et nous diagonalisons les opérateurs Dirichlet-to-Neumann et scattering dans la base des traces de modes guidés sur l'interface. On extrait de cette étude deux préconditionneurs spectraux respectivement pour la DDM en Y et la DDM en S. Les résultats numériques confirment l'efficacité des préconditionneurs proposés

L'optimisation sans dérivées (OSD) a connu un regain d'intérêt ces dernières années, principalement motivée par le besoin croissant de résoudre les problèmes d'optimisation définis par des fonctions dont les valeurs sont calculées par simulation (par exemple, la conception technique, la restauration d'images médicales ou de nappes phréatiques). Ces dernières années, un certain nombre de méthodes d'optimisation sans dérivée ont été développées et en particulier des méthodes fondées sur un modèle de région de confiance se sont avérées obtenir de bons résultats. Dans cette thèse, nous présentons un nouvel algorithme de région de confiance, basé sur l'interpolation, qui se montre efficace et globalement convergent (en ce sens que sa convergence vers un point stationnaire est garantie depuis tout point de départ arbitraire). Le nouvel algorithme repose sur la technique d'auto-correction de la géométrie proposé par Scheinberg and Toint (2010). Dans leur théorie, ils ont fait avancer la compréhension du rôle de la géométrie dans les méthodes d'OSD à base de modèles. Dans notre travail, nous avons pu améliorer considérablement l'efficacité de leur méthode, tout en maintenant ses bonnes propriétés de convergence. De plus, nous examinons l'influence de différents types de modèles d'interpolation sur les performances du nouvel algorithme. Nous avons en outre étendu cette méthode pour prendre en compte les contraintes de borne par l'application d'une stratégie d'activation. Considérer une méthode avec ensemble actif pour l'optimisation basée sur des modèles d'interpolation donne la possibilité d'économiser une quantité importante d'évaluations de fonctions. Il permet de maintenir les ensembles d'interpolation plus petits tout en poursuivant l'optimisation dans des sous-espaces de dimension inférieure. L'algorithme résultant montre un comportement numérique très compétitif. Nous présentons des résultats sur un ensemble de problèmes-tests issu de la collection CUTEr et comparons notre méthode à des algorithmes de référence appartenant à différentes classes de méthodes d'OSD. Pour réaliser des expériences numériques qui intègrent le bruit, nous créons un ensemble de cas-tests bruités en ajoutant des perturbations à l'ensemble des problèmes sans bruit. Le choix des problèmes bruités a été guidé par le désir d'imiter les problèmes d'optimisation basés sur la simulation. Enfin, nous présentons des résultats sur une application réelle d'un problème de conception de forme d'une aile fourni par Airbus.

On étudie quelques familles de problèmes aux limites elliptiques non linéaires d'ordre 2, de la forme Au=f(λ,χ,u,ε) où les réels positifs λ et ε qui apparaissent dans la non linéarité de f jouent, respectivement, le rôle de paramètre de bifurcation et de paramètre de perturbation. On considère l'aspect branches de solutions, retournements, pour ε>0 et ε→0 dans 5 cas

Cette thèse a pour but le développement de certains aspects de la modélisation de la dépendance dans la gestion des risques en dimension plus grande que un. Le premier chapitre est constitué d'une introduction générale. Le deuxième chapitre est constitué d'un article s'intitulant " Estimating Bivariate Tail : a copula based approach ", soumis pour publication. Il concerne la construction d'un estimateur de la queue d'une distribution bivariée. La construction de cet estimateur se fonde sur une méthode de dépassement de seuil (Peaks Over Threshold method) et donc sur une version bivariée du Théorème de Pickands-Balkema-de Haan. La modélisation de la dépendance est obtenue via la Upper Tail Dependence Copula. Nous démontrons des propriétés de convergence pour l'estimateur ainsi construit. Le troisième chapitre repose sur un article: " A multivariate extension of Value-at-Risk and Conditional-Tail-Expectation", soumis pour publication. Nous abordons le problème de l'extension de mesures de risque classiques, comme la Value-at-Risk et la Conditional-Tail-Expectation, dans un cadre multidimensionnel en utilisant la fonction de Kendall multivariée. Enfin, dans le quatrième chapitre de la thèse, nous proposons un estimateur des courbes de niveau d'une fonction de répartition bivariée avec une méthode plug-in. Nous démontrons des propriétés de convergence pour les estimateurs ainsi construits. Ce chapitre de la thèse est lui aussi constitué d'un article, s'intitulant " Plug-in estimation of level sets in a non-compact setting with applications in multivariate risk theory", accepté pour publication dans la revue ESAIM:Probability and Statistics.

Cette thèse est divisée en deux parties. Dans la première partie, on considère le système de réaction-diffusion-advection (Pε), qui est un modèle d'haptotaxie, mécanisme lié à la dissémination de tumeurs cancéreuses. Le résultat principal concerne la convergence de la solution du systeme (Pε) vers la solution d'un problème à frontière libre (P0) qui est bien défini. Dans la seconde partie, on considère une classe générale d'équations elliptiques du type Hénon:−∆u = |x|^{α} f(u) dans Ω ⊂ R^N avec α > -2. On examine deux cas classiques : f(u) = e^u, |u|^{p−1} u et deux autres cas : f(u) = u^{p}_{+} puis f(u) nonlinéarité générale. En étudiant les solutions stables en dehors d'un ensemble compact (en particulier, solutions stables et solutions avec indice de Morse fini) avec différentes méthodes, on obtient des résultats de classification.

Cette thèse prend pour cadre la synthèse par l'exemple et l'édition de contenu graphique en infographie et propose une réflexion sur les possibles sources d'information utiles à ces fins. Contrairement aux techniques "procédurales", l'approche par l'exemple se distingue par sa grande simplicité d'utilisation : reviennent en effet à l'algorithme de synthèse l'identification, analyse et reproduction des éléments caractéristiques des exemples fournis en entrée par l'utilisateur. Ce mode de création de même que les techniques approfondies d'édition ont grandement contribué à la facilitation de la production à grande échelle de contenus graphiques convaincants et ainsi participé à l'adoption par la communauté des artistes des outils proposés par le support numérique. Mais pour être ainsi exploitées, celles-ci doivent également être hautement contrôlables tout en évitant l'écueil de n'être que le simple prolongement de la main de l'artiste. Nous explorons ici cette thématique dans le cadre de la création de rendus dits expressifs et étudions les interactions (collaboratives ou concurrentielles) entre les différentes sources d'information au cœur de ce processus. Ces dernières sont à notre sens au nombre de trois : l'analyse automatique des données d'entrée avant rendu ou traitement ; l'utilisation de modèles a priori en vue de leur compréhension ; et enfin le contrôle explicite par l'utilisateur. En les combinant au plus juste, nous proposons des techniques nouvelles dans divers domaines de la synthèse en rendu expressif. Au delà du réalisme photographique, le rendu expressif se caractérise par sa poursuite de critères plus difficilement quantifiables tels la facilité de compréhension ou le caractère artistique de ses résultats. La subjectivité de tels objectifs nous force donc ici plus qu'ailleurs à estimer avec soin les sources d'information à privilégier, le niveau d'implication à accorder à l'utilisateur (sans que ce choix ne s'opère au détriment de la qualité théorique de la méthode), ainsi que le possible recours à des modèles d'analyse (sans en compromettre la généralité). Trois principales instances de synthèse sont ici détaillés : la génération de textures, la désaturation d'images, et la représentation de maillages par le dessin au trait. La grande variété des données d'entrée (textures matricielles ou vectorielles, images complexes, géométries 3d), des modalités de synthèse (imitation, conversion, représentation alternative) et d'objectifs (reproduction de la signature visuelle d'une texture, restitution crédible de contrastes chromatiques, génération de dessins conformes au style de l'utilisateur) permettent l'examen de divers équilibres entre ces sources d'information et l'exploration de degrés plus ou moins élevés d'interaction avec l'utilisateur.

On s'intéresse au problème de retrouver la forme d'un objet 2d par la mesure des ondes qu'il diffracte. On développe ainsi des couplages de méthodes issue des méthodes d'échantillonnage et des méthodes d'optimisation de forme dans les cadres des conducteurs parfaits et des objets diélectriques. Après avoir calculé les dérivées de forme (du premier ou second ordre) et/ou topologiques et avoir effectué des tests numériques en scilab/Fortran dans ces deux cadres, cette thèse a permis de créer un couplage LSM-DGLS2-GT précis et robuste avec un coût de calcul modéré. On y recherche aussi d'autres types de fonctionnelles à minimiser et cherchons à calculer la dérivée seconde de forme difficile à obtenir dans une forme pratique à implémenter afin d'accélerer la convergence du précédent couplage mis en place.