Nous étudions la distribution des résonances dans le problème de<br />transmission et pour l'opérateur d'élasticité linéaire. Dans le cas du<br />problème de transmission, nous montrons l'existence de suites de résonances<br />qui s'approchent rapidement de l'axe réel et de densité maximale. Pour le<br />problème de Dirichlet dans l'élasticité linéaire, nous montrons l'absence<br />de résonances sous une cubique du plan complexe.

La connaissance de la tension dans les câbles de pont est un élément de diagnostic important, tant à l'échelle du câble qu'à celle de l'ouvrage dont il fait partie.Le présent travail de thèse propose une méthode d'évaluation de la tension parméthode inverse à partir d'une formulation variationnelle mixte de câble géométriquement exact permettant de coupler simplement et à bas coût un modèle universel de câble et des capteurs d'utilisation courante tels que des jauges de déformation et des capteurs de déplacement. Contrairement à de nombreuses méthodes existantes, la méthode pésentée ne nécessite pas une connaissance fine des paramètres du câble pour évaluer sa tension.Les choix de modélisation faits sont motivés par une étude approfondie des différentes typologies des câbles présents sur ouvrage et par une étude bibliographique qui tente de synthétiser l'immense littérature disponible dans le domaine des câbles. La modélisation retenue est issue de la théorie des lignes déformables des frères Cosserat, dont nous présentons les variantes avec et sans rigidité de flexion.Les moyens d'essai utilisés pour la validation expérimentale de la méthode mise au point ont été conçus et réalisés au cours du présent travail. Le montage expérimental imaginé permet d'appliquer la méthode inverse sur un câble montoron multicouches de 21 m de long et 22 mm de diamètre. Les essais sont réalisés à 6 différents niveaux de tension échelonnés par paliers de 30 kN de 55 kN à 205 kN. Ils montrent l'efficacité de la méthode sur le câble testé et la pertinence de son déploiement à venir sur d'autres typologies de câbles / Knowledge of the tension in bridge cables is important not only to diagnostic the cable itself but also the construction it belongs to.The work presented in this thesis proposes to evaluate the tension of a geometrically exact cable using a static inverse method from a mixed variational formulation, by coupling simply and cheaply a universal cable model with usual sensors, such as displacement sensors and strain gauges. Contrarily to existing methods, a good knowledge of the cable's parameters, such as it length or weight per unit length, is not required.Combining a thorough study of various cable typologies encountered on bridges and the vast amounts of material available in the bibliography covering cables, lead to the modeling following the elastic theory of rods developed by the Cosserat brothers, François and Eugène, elaborating on their theory of rods with and without flexural stiffness.The experimental apparatus, designed and built in the course of this study, allowed to successfully validate the developed inverse method on a multilayered strand cable 21 m long and 22 mm in diameter at several tension levels. The universal aspect of the model introduced and its successful validation encourages its implementation to other cable typologies

Le travail dans cette thèse a consisté à l'étude de la propagation des ondes, en particulier la considération d'un problème de cloaking d'une part et d'un problème inverse d’identification de fissure d'autre part. Nous nous intéressons particulièrement à appliquer une stratégie qui est basé sur un changement de variable pour rendre un objet invisible, la validation numérique des résultats de ce problème a été réalisée par la librairie éléments finies XLiFE++. L'analyse de différents aspects mathématiques du problème de cloaking pour une équation elliptique non linéaire a fait l'objet du chapitre deux. La détermination de l'opérateur Dirichlet-Neumann associé à l'opérateur quasi-linéaire nous a permis d'adapter la technique de transformation utilisé pour le cadre des équations différentielles elliptiques linéaire afin de définir la notion de cloaking pour un problème non linéaire. Pour la dernière partie nous nous sommes intéressés à la reconstruction de fissures pour un problème thermique, pour cela un lien entre l'écart à la réciprocité et la transformée de Fourier du saut de la température à travers la fissure a été établi, ce qui nous a amené à développer un algorithme rapide pour la résolution numérique. / We are concerned with the study of the propagation of waves, in particular the consideration of a cloaking problem on the one hand and of a problem of cracks reconstruction on the second hand. We focus more particularly in applying a strategy that is based on a change of variable to cloak an object. The validation with numerical results has been achieved by the nite element library XLiFE++. The analysis of different mathematical aspects of the cloaking problem for a quasilinear elliptic equation has been the subject of chapter two. The determination of the Dirichlet-Neumann operator associated with the quasilinear operator allowed us to adapt the transformation technique used for the frame-work of linear elliptic differential equations to define the notion of cloaking for our nonlinear problem. For the last part we are interested in crack reconstruction for a thermal problem. For that, a link between the reciprocity gap and the Fourier transform of the temperature jump through the cracks was established, which has led to the development of a fast algorithm for numerical resolution.

Dans cette thèse, nous étudions l'équation de la chaleur couplée avec la loi de Darcy à travers de la viscosité non-linéaire qui dépend de la température pour les dimensions d=2,3 (Hooman et Gurgenci ou Rashad). Nous analysons ce problème en introduisant la formulation variationnelle équivalente et en la réduisant à une simple équation de diffusion-convection pour la température où la vitesse dépend implicitement de la température.Nous démontrons l'existence de la solution sans la restriction sur les données par la méthode de Galerkin et du point fixe de Brouwer. L'unicité globale est établie une fois la solution est légèrement régulière et les données se restreignent convenablement. Nous introduisons aussi une formulation variationnelle alternative équivalente. Toutes les deux formulations variationnelles sont discrétisées par quatre schémas d'éléments finis pour un domaine polygonal ou polyédrique. Nous dérivons l'existence, l'unicité conditionnée, la convergence et l'estimation d'erreur a priori optimale pour les solutions des trois schémas. Par la suite, ces schémas sont linéarisés par des algorithmes d'approximation successifs et convergentes. Nous présentons quelques expériences numériques pour un problème modèle qui confirme les résultats théoriques de convergence développées dans ce travail. L'estimation d'erreur a posteriori est établie avec deux types d'indicateurs d'erreur de linéarisation et de discrétisation. Enfin, nous montrons des résultats numériques de validation. / In this thesis, we study the heat equation coupled with Darcy's law by a nonlinear viscosity depending on the temperature in dimension d=2,3 (Hooman and Gurgenci or Rashad). We analyse this problem by setting it in an equivalent variational formulation and reducing it to an diffusion-convection equation for the temperature where the velocity depends implicitly on the temperature.Existence of a solution is derived without restriction on the data by Galerkin's method and Brouwer's Fixed Point. Global uniqueness is established when the solution is slightly smoother and the dataare suitably restricted. We also introduce an alternative equivalent variational formulation. Both variational formulations are discretized by four finite element schemes in a polygonal or polyhedral domain. We derive existence, conditional uniqueness, convergence, and optimal a priori error estimates for the solutions of the three schemes. Next, these schemes are linearized by suitable convergent successive approximation algorithms. We present some numerical experiments for a model problem that confirm the theoretical rates of convergence developed in this work. A posteriori error estimates are established with two types of errors indicators related to the linearisation and discretization. Finally, we show numerical results of validation.

Les développements récents de l'industrie pétrolière en matière d'exploration et de production, et la mise en place de techniques de séquestration souterraine du CO2, nécessitent des méthodes d'imagerie du sous-sol permettant d'obtenir une information structurale et quantitative à fine échelle. Les travaux présentés dans cette thèse s'intéressent au développement d'une telle méthode, permettant d'estimer la distribution d'impédance acoustique autour d'un puits. Elle s'inspire du problème 1D d'inversion de données sismiques de puits PSV (Profil Sismique Vertical), et en propose une extension multi-D. Cette généralisation se heurte à deux principaux problèmes. Le premier consiste en l'indétermination inhérente au problème inverse multi-D, combattue par l'introduction de termes de régularisation appropriés. Le second est l'importance des coûts de calcul nécessaires à la résolution de ce problème. Une méthode numérique adéquate est proposée, faisant intervenir une méthode d'optimisation couplant un algorithme de type Quasi-Newton et l'algorithme du gradient conjugué. De plus, un algorithme de décomposition de domaines permet le calcul distribué du gradient de la fonctionnelle par l'état adjoint. Les performances de cette nouvelle méthode d'imagerie sont évaluées dans un contexte d'implémentation 2D. D'autre part, la modélisation de la propagation des ondes acoustiques dans le sous-sol est réalisée à l'aide de couches absorbantes de type PML (Perfectly Matched Layers). Une étude mathématique de la stabilité des équations PML adaptées au contexte spécifique d'un milieu de propagation hétérogène est également menée.

Dans ce travail nous nous intéressons à la résolution du problème d'évolution de Navier-Stokes incompressible totalement discrétisé en temps et en espace, en dimension deux par une méthode à deux grilles. Dans un premier temps, nous étendons la méthode à deux grilles, appliquée par V. Girault et J.-L. Lions au problème de Navier-Stokes instationnaire semi-discrétisé au problème de Navier-Stokes totalement discrétisé en temps (par un schéma d'ordre un) et en espace (par une méthode d'éléments finis d'ordre un). Dans la première étape, le problème non-linéaire est discrétisé en espace et en temps sur une grille grossière de pas d'espace H avec un pas de temps Delta t. Puis dans la deuxième étape, le problème, linéarisé autour de la vitesse u_H calculée à l'étape précédente, est discrétisé en espace sur une grille fine de pas d'espace h et le même pas de temps. L'idée de la méthode à deux grilles est que, sous des hypothèses adéquates, la contribution de u_H à l'erreur dans le terme non-linéaire en espace, est mesurée en norme L^2 en espace et en temps et a un ordre plus élevé que si elle était mesurée en norme H^1. Dans un deuxième temps, vu que le but est de gagner en ordre de convergence de l'erreur totale du schéma ainsi qu'en complexité nous étudions un schéma à deux grilles d'ordre deux en temps du problème totalement discrétisé en temps et en espace de Navier-Stokes. Nous présentons les résultats suivants: dans le cas de la résolution du schéma d'ordre un en temps, si h = H^2 = Delta t, alors l'erreur globale de l'algorithme à deux grilles est de l'ordre de h. Dans le cas du schéma d'ordre deux en temps, si h^2 = (Delta t)^2 = H^3, alors l'erreur globale de l'algorithme à deux grilles est de l'ordre de h^2: résultats identiques à ceux de la résolution directe du problème non-linéaire sur une grille fine.

Le développement de sources cohérentes de rayons X offre de nouvelles possibilités pour visualiser les structures biologiques à différentes échelles en exploitant la réfraction des rayons X. La cohérence des sources synchrotron de troisième génération permettent des implémentations efficaces des techniques de contraste de phase. Une des premières mesures des variations d'intensité dues au contraste de phase a été réalisée en 1995 à l'Installation Européenne de Rayonnement Synchrotron (ESRF). L'imagerie de phase couplée à l'acquisition tomographique permet une imagerie tridimensionnelle avec une sensibilité accrue par rapport à la tomographie standard basée sur absorption. Cette technique est particulièrement adaptée pour les échantillons faiblement absorbante ou bien présentent des faibles différences d'absorption. Le contraste de phase a ainsi une large gamme d'applications, allant de la science des matériaux, à la paléontologie, en passant par la médecine et par la biologie. Plusieurs techniques de contraste de phase aux rayons X ont été proposées au cours des dernières années. Dans la méthode de contraste de phase basée sur le phénomène de propagation l'intensité est mesurée pour différentes distances de propagation obtenues en déplaçant le détecteur. Bien que l'intensité diffractée puisse être acquise et enregistrée, les informations de phase du signal doivent être "récupérées" à partir seulement du module des données mesurées. L'estimation de la phase est donc un problème inverse non linéaire mal posé et une connaissance a priori est nécessaire pour obtenir des solutions stables. Si la plupart de méthodes d'estimation de phase reposent sur une linéarisation du problème inverse, les traitements non linéaires ont été très peu étudiés. Le but de ce travail était de proposer et d'évaluer des nouveaux algorithmes, prenant en particulier en compte la non linéarité du problème direct. Dans la première partie de ce travail, nous présentons un schéma de type Landweber non linéaire itératif pour résoudre le problème de la récupération de phase. Cette approche utilise l'expression analytique de la dérivée de Fréchet de la relation phase-intensité et de son adjoint. Nous étudions aussi l'effet des opérateurs de projection sur les propriétés de convergence de la méthode. Dans la deuxième partie de cette thèse, nous étudions la résolution du problème inverse linéaire avec un algorithme en coordonnées ondelettes basé sur un seuillage itératif. Par la suite, les deux algorithmes sont combinés et comparés avec une autre approche non linéaire basée sur une régularisation parcimonieuse et un algorithme de point fixe. Les performances des algorithmes sont évaluées sur des données simulées pour différents niveaux de bruit. Enfin, les algorithmes ont été adaptés pour traiter des données réelles acquises en tomographie de phase à l'ESRF à Grenoble.

Le développement de sources cohérentes de rayons X offre de nouvelles possibilités pour visualiser les structures biologiques à différentes échelles en exploitant la réfraction des rayons X. La cohérence des sources synchrotron de troisième génération permettent des implémentations efficaces des techniques de contraste de phase. Une des premières mesures des variations d’intensité dues au contraste de phase a été réalisée en 1995 à l’Installation Européenne de Rayonnement Synchrotron (ESRF). L’imagerie de phase couplée à l’acquisition tomographique permet une imagerie tridimensionnelle avec une sensibilité accrue par rapport à la tomographie standard basée sur absorption. Cette technique est particulièrement adaptée pour les échantillons faiblement absorbante ou bien présentent des faibles différences d’absorption. Le contraste de phase a ainsi une large gamme d’applications, allant de la science des matériaux, à la paléontologie, en passant par la médecine et par la biologie. Plusieurs techniques de contraste de phase aux rayons X ont été proposées au cours des dernières années. Dans la méthode de contraste de phase basée sur le phénomène de propagation l’intensité est mesurée pour différentes distances de propagation obtenues en déplaçant le détecteur. Bien que l’intensité diffractée puisse être acquise et enregistrée, les informations de phase du signal doivent être "récupérées" à partir seulement du module des données mesurées. L’estimation de la phase est donc un problème inverse non linéaire mal posé et une connaissance a priori est nécessaire pour obtenir des solutions stables. Si la plupart de méthodes d’estimation de phase reposent sur une linéarisation du problème inverse, les traitements non linéaires ont été eux très peu étudiés. Le but de ce travail était de proposer et d’évaluer des nouveaux algorithmes, prenant en particulier en compte la non linéarité du problème direct. Dans la première partie de ce travail, nous présentons un schéma de type Landweber non linéaire itératif pour résoudre le problème de la récupération de phase. Cette approche utilise l’expression analytique de la dérivée de Fréchet de la relation phase-intensité et de son adjoint. Nous étudions aussi l’effet des opérateurs de projection sur les propriétés de convergence de la méthode. Dans la deuxième partie de cette thèse, nous étudions la résolution du problème inverse linéaire avec un algorithme en coordonnées ondelettes basé sur un seuillage itératif. Par la suite, les deux algorithmes sont combinés et comparés avec une autre approche non linéaire basée sur une régularisation parcimonieuse et un algorithme de point fixe. Les performances des algorithmes sont évaluées sur des données simulées pour différents niveaux de bruit. Enfin, les algorithmes ont été adaptés pour traiter des données réelles acquises en tomographie de phase à l’ESRF à Grenoble. / The development of highly coherent X-ray sources offers new possibilities to image biological structures at different scales exploiting the refraction of X-rays. The coherence properties of the third-generation synchrotron radiation sources enables efficient implementations of phase contrast techniques. One of the first measurements of the intensity variations due to phase contrast has been reported in 1995 at the European Synchrotron Radiation Facility (ESRF). Phase imaging coupled to tomography acquisition allows threedimensional imaging with an increased sensitivity compared to absorption CT. This technique is particularly attractive to image samples with low absorption constituents. Phase contrast has many applications, ranging from material science, paleontology, bone research to medicine and biology. Several methods to achieve X-ray phase contrast have been proposed during the last years. In propagation based phase contrast, the measurements are made at different sample-to-detector distances. While the intensity data can be acquired and recorded, the phase information of the signal has to be "retrieved" from the modulus data only. Phase retrieval is thus an illposed nonlinear problem and regularization techniques including a priori knowledge are necessary to obtain stable solutions. Several phase recovery methods have been developed in recent years. These approaches generally formulate the phase retrieval problem as a linear one. Nonlinear treatments have not been much investigated. The main purpose of this work was to propose and evaluate new algorithms, in particularly taking into account the nonlinearity of the direct problem. In the first part of this work, we present a Landweber type nonlinear iterative scheme to solve the propagation based phase retrieval problem. This approach uses the analytic expression of the Fréchet derivative of the phase-intensity relationship and of its adjoint, which are presented in detail. We also study the effect of projection operators on the convergence properties of the method. In the second part of this thesis, we investigate the resolution of the linear inverse problem with an iterative thresholding algorithm in wavelet coordinates. In the following, the two former algorithms are combined and compared with another nonlinear approach based on sparsity regularization and a fixed point algorithm. The performance of theses algorithms are evaluated on simulated data for different noise levels. Finally the algorithms were adapted to process real data sets obtained in phase CT at the ESRF at Grenoble.