Un entier naturel est dit $y$-friable lorsque son plus grand facteur premier n'excède pas $y$. Ce travail est consacré à l'étude des entiers friables dans le cadre de la théorie analytique et probabiliste des nombres. La première partie est dévolue à un problème posé par Davenport en 1937, qui consiste à déterminer les conditions de validité de diverses généralisations de son développement de la fonction sinus en série de parties fractionnaires. Ces généralisations peuvent être décrites par un couple de fonctions arithmétiques, liées par la relation de convolution $f=g*\1$. Nous traitons le cas où $g$ est la fonction de Piltz d'ordre $z\in\CC$. La deuxième partie est consacrée à l'étude du comportement asymptotique de la constante optimale dans une version friable de l'inégalité de Turán-Kubilius. Précisant des résultats récents de La Bretèche et Tenenbaum, nous généralisons au cas friable une formule asymptotique de la variance d'une fonction arithmétique additive, établie par Hildebrand en 1983.

Ce mémoire est consacré à l'étude de systèmes dynamiques discrets avec frottements et à des problèmes d'identification en biomécanique. La première partie concerne des résultats théoriques d'unicité, de convergence et d'analyse numérique de solutions d'équations différentielles non linéaires pour étudier des modèles dynamiques discrets contenant des non-linéarités. Ces non-linéarités sont introduites pour prendre en compte des modèles de frictions via des inclusions différentielles maximales monotones, essentiellement en dimension finie. De nombreux exemples ainsi que des applications sont fournis avec des simulations numériques. La seconde partie est consacrée à la résolution de certains problèmes d'identification en biomécanique : identification d'espaces de travail, de paramètres cinématiques lors de la modélisation de certains mouvements et de paramètres anthropométriques dans le cadre de la dynamique inverse.

La spécification des systèmes temps réel pose le problème de l'expression du temps et des contraintes temporelles pour lesquels nous proposons dans ce mémoire, une nouvelle représentation. Cette représentation est basée sur l'hypothèse que l'écoulement du temps est modélisé par l'occurrence d'un événement spécifique. Cette conception nous permet de considérer les contraintes temporelles comme des propriétés de séquences d'événements observables. En relation avec une notation simple, basée sur la notion de grammaire, les propriétés temporelles deviennent des propriétés syntaxiques. Ces considérations nous ont amenés à proposer une nouvelle méthode d'analyse des contraintes temporelles qui a pour objet de vérifier que toutes les contraintes temporelles d'un cahier des charges ont bien été prises en compte dans l'étape de spécification. Pour réaliser cette vérification, on élabore un analyseur de traces temporisées dont la construction se fait en deux étapes. On extrait d'abord les contraintes temporelles en suivant une décomposition structurée. Cette décomposition permet d'identifier un ensemble d'opérateurs (périodique, sporadique, de disjonction ou de conjonction) liant les contraintes temporelles. On exprime ensuite ces contraintes, sous la forme de grammaires «types». La seconde étape est la recomposition de ces grammaires, par l'ensemble des opérateurs précédemment identifiés. Pour cela, on a redéfini chacun de ces opérateurs pour qu'ils puissent s'appliquer sur des grammaires. Le résultat final de cette recomposition produit une grammaire globale qui constitue un analyseur syntaxique, capable de vérifier si une trace temporisée vérifie ou non, toutes les contraintes temporelles du cahier des charges.

L'objectif de ce travail est l'étude de divers roblèmes d'équations aux dérivées partielles non linéaires du type hyperbolique et d'autres du type elliptique-parabolique faisant intervenir un opérateur en forme divergentielle du type Leray-Lions. Ces équations sont d'une façon générale mal posées dans le cadre de solutions faibles (i.e. au sens des distributions), car en général on n'a pas l'unicité. Des formulations plus appropriées ont alors vu le jour : les solutions appelées SOLA, les solutions entropiques et les solutions renormalisées. Cette thèse composée de cinq chapitres, présente des résultats d'existence et d'unicité de solutions entropiques et renormalisées pour quatre problèmes non linéaires du type mentionnés ci-dessus. Après un bref exposé de définitions et résultats nécessaires à la suite du travail, nous prouvons au chapitre 2 l'existence et l'unicité de la solution entropique pour un problème elliptique du type diffusion-convection avec des conditions non linéaires sur le bord. Ces conditions englobent en particulier les conditions usuelles. Dans le même axe, au chapitre 3, l'existence et l'unicité de la solution entropique d'un problème parabolique avec absorption dépendant de la variable d'espace sont démontrés. Le chapitre 4 a pour but de présenter un résultat d'existence de solutions renormalisées pour un problème de Stefan non linéaire. Le dernier résultat, présenté au chapitre 5, est l'existence et l'unicité de la solution entropique d'un problème de lois de conservation scalaires avec des conditions non linéaires sur le bord.

Les couplages sont des primitives cryptographiques qui interviennent désormais dans de nombreux protocoles. Dès lors, il est nécessaire de s'intéresser à leur calcul et à leur implémentation efficace. Pour ce faire, nous nous reposons sur une étude algorithmique et arithmétique de ces fonctions mathématiques. Les couplages sont des applications bilinéaires définies sur des courbes algébriques, plus particulièrement, dans le cas qui nous intéresse, des courbes elliptiques et hyperelliptiques. Nous avons choisi de nous concentrer sur une sous-famille de celles-ci : les courbes supersingulières dont les propriétés permettent d'obtenir à la fois des couplages symétriques et des algorithmes efficaces pour leur calcul. Nous décrivons alors une approche unifiée permettant d'établir une large variété d'algorithmes calculant des couplages. Nous l'appliquons notamment à la construc- tion d'un nouvel algorithme pour le calcul de couplages sur des courbes supersin- gulières de genre 2 et de caractéristique 2. Les calculs nécessaires aux couplages que nous décrivons s'appuient sur l'implé- mentation d'une arithmétique rapide pour les corps finis de petite caractéristique : la multiplication est l'opération critique qu'il convient d'optimiser. Nous présen- tons donc un algorithme de recherche exhaustive de formules de multiplication. Enfin, nous appliquons toutes les méthodes précédentes à la conception et l'im- plémentation de différents accélérateurs matériels pour le calcul de couplages sur différentes courbes dont les architectures ont été optimisées soit pour leur rapidité, soit pour leur compacité.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Notre travail est motivé par le problème de l'évaluation du déterminant de Fredholm d'un opérateur intégral. Cet opérateur apparait dans l'expression de la probabilité pour qu'un intervalle [?s, s] (s > 0) ne contienne aucune valeur propre d'une matrice aléatoire hermitienne gaussienne. Cet opérateur commute avec un opérateur différentiel de second ordre dont les fonctions propres sont les fonctions d'ondes sphéroïdales de l'ellipsoïde alongé. Plus généralement nous considérons l'opérateur de Legendre perturbé. Nous montrons qu'il existe un opérateur de translation généralisée associé à cet opérateur. En?n, par une méthode d'approximation des solutions de certaines équations différentielles, dite méthode WKB, nous avons obtenu le comportement asymptotique des fonctions d'ondes sphéroïdales de l'ellipsoïde alongé Il s'exprime à l'aide des fonctions de Bessel et d'Airy. Par la même méthode nous avons obtenu le comportement asymptotique des fonctions propres de l'opérateur dfférentiel d'Airy.

Dans cette thèse, on étudie plusieurs modèles et problèmes issus de la mécanique quantique. Ces modèles interviennent naturellement en chimie quantique pour le calcul de la structure électronique de la matière. Ils présentent des difficultés théoriques liées aux problèmes d'existence de solutions et à leur calcul numérique. Cette thèse est une contribution à l'étude de ces problèmes.

On étudie dans cette thèse l'équation de Szegö sur la droite réelle ainsi que ses perturbations. Cette équation a été introduite il y a quelques années par Gérard et Grellier comme modèle mathématique d'une équation non linéaire totalement non dispersive.L'équation de Szegöapparait naturellement dans l'étude de l'équation de Schrödinger non linéaire (NLS) danscertaines situations sur-critiques où l'on constate un manque de dispersion, par exemplelorsque l'on considère NLS sur le groupe de Heisenberg. Par conséquent, une des motivationsde cette thèse est d'établir des résultats concernant l'équation de Szegö qui pourrontéventuellement être utilisés dans le contexte de l'équation de Schrödinger non linéaire.Le premier résultat de cette thèse est la classification des solitons de l'équation de Szegö.On montre que ce sont tous des fonctions rationnelles ayant un unique pôle qui est simple.De plus, on prouve que les solitons sont orbitalement stables.La propriété la plus remarquable de l'équation de Szegö est le fait qu'elle est complètement intégrable, ce qui permet notamment d'établir une formule explicite de sa solution.Comme applications de cette formule, on obtient les trois résultats suivants. (A) On montreque les solutions fonctions rationnelles génériques se décomposent en une somme de solitonset d'un reste qui est petit lorsque le temps tend vers l'infini. (B) On met en évidence unexemple de solution non générique dont les grandes normes de Sobolev tendent vers l'infiniavec le temps. (C) On détermine des coordonnées action-angle généralisées lorsque l'on restreintl'équation de Szegö à une sous-variété de dimension finie. En particulier, on en déduitqu'une grande partie des trajectoires de cette équation sont des spirales autour de cylindrestoroïdaux.Comme l'équation de Szegö est complètement intégrable, il est ensuite naturel d'étudierses perturbations et d'établir de nouvelles propriétés pour celles-ci à partir des résultatsconnus pour l'équation de Szegö. Une des perturbations de l'équation de Szegö est une équation desondes non linéaire (NLW) de donnée bien préparée.On prouve que si la donnée initiale de NLW est petite et à support dans l'ensemble desfréquences positives, la solution de NLW est alors approximée pour un temps long par lasolution de l'équation de Szegö. Autrement dit, on démontre ainsi que l'équation de Szegöest la première approximation de NLW. On construit ensuite une solution de NLW dont lesgrandes normes de Sobolev augmentent (relativement à la norme de la donnée initiale).Sur le tore T, Gérard et Grellier ont démontré un résultat analogue d'approximation deNLW. On améliore ce résultat en trouvant une approximation plus fine, de deuxième ordre.Dans une dernière partie, on s'intéresse à l'équation de Szegö perturbée par un potentielmultiplicatif petit. On étudie l'interaction de ce potentiel avec les solitons. Plus précisément,on montre que, si la donnée initiale est celle d'un soliton pour l'équation non perturbée, lasolution de l'équation perturbée garde la forme d'un soliton sur un long temps. De plus, ondéduit la dynamique effective, i.e. les équations différentielles satisfaites par les paramètresdu soliton.

La détection de structures fines et orientées dans une image peut mener à un très large champ d'applications en particulier dans le domaine de l'imagerie médicale, des sciences des matériaux ou de la télédétection. Les ouvertures et fermetures par chemins sont des opérateurs morphologiques utilisant des chemins orientés et flexibles en guise d'éléments structurants. Ils sont utilisés de la même manière que les opérateurs morphologiques utilisant des segments orientés comme éléments structurants mais sont plus efficaces lorsqu'il s'agit de détecter des structures pouvant être localement non rigides. Récemment, une nouvelle implémentation des opérateurs par chemins a été proposée leur permettant d'être appliqués à des images 2D et 3D de manière très efficace. Cependant, cette implémentation est limitée par le fait qu'elle n'est pas robuste au bruit affectant les structures fines. En effet, pour être efficaces, les opérateurs par chemins doivent être suffisamment longs pour pouvoir correspondre à la longueur des structures à détecter et deviennent de ce fait beaucoup plus sensibles au bruit de l'image. La première partie de ces travaux est dédiée à répondre à ce problème en proposant un algorithme robuste permettant de traiter des images 2D et 3D. Nous avons proposé les opérateurs par chemins robustes, utilisant une famille plus grande d'éléments structurants et qui, donnant une longueur L et un paramètre de robustesse G, vont permettre la propagation du chemin à travers des déconnexions plus petites ou égales à G, rendant le paramètre G indépendant de L. Cette simple proposition mènera à une implémentation plus efficace en terme de complexité de calculs et d'utilisation mémoire que l'état de l'art. Les opérateurs développés ont été comparés avec succès avec d'autres méthodes classiques de la détection des structures curvilinéaires de manière qualitative et quantitative. Ces nouveaux opérateurs ont été par la suite intégrés dans une chaîne complète de traitement d'images et de modélisation pour la caractérisation des matériaux composite renforcés avec des fibres de verres. Notre étude nous a ensuite amenés à nous intéresser à des filtres morphologiques récents basés sur la mesure de caractéristiques géodésiques. Ces filtres sont une bonne alternative aux ouvertures par chemins car ils sont très efficaces lorsqu'il s'agit de détecter des structures présentant de fortes tortuosités ce qui est précisément la limitation majeure des ouvertures par chemins. La combinaison de la robustesse locale des ouvertures par chemins robustes et la capacité des filtres par attributs géodésiques à recouvrer les structures tortueuses nous ont permis de proposer un nouvel algorithme, les ouvertures par chemins robustes et sélectives.