L'instabilité du spectre des opérateurs non-autoadjoints constitue la thématique centrale de cette thèse. Notre premier objectif est de mettre en évidence ce phénomène dans le cas de certains modèles naturels tels que l'opérateur d'Airy, l'oscillateur harmonique ou l'oscillateur cubique complexes. Dans ce but, nous nous intéressons au comportement des projecteurs spectraux associés aux valeurs propres de ces opérateurs, poursuivant une démarche initiée par E. B. Davies. Le second objectif de notre travail consiste à montrer de quelle manière ces modèles peuvent contribuer à la compréhension de certains problèmes issus de domaines mathématiques et physiques aussi variés que la mécanique quantique, la supraconductivité ou la théorie du contrôle. Nos résultats sur l'instabilité spectrale de l'oscillateur cubique complexe viennent ainsi corroborer un travail de B. Krejcirik et P. Siegl, soulignant l'impossibilité de fournir une justification rigoureuse aux théories actuelles de la mécanique quantique non-hermitienne. Par ailleurs, nous nous appuyons sur les propriétés des modèles mentionnés ci-dessus pour obtenir des résultats sur le spectre et la résolvante d'opérateurs de Schrödinger à potentiels imaginaires purs dans des ouverts bornés. Ces résultats peuvent en particulier être appliqués à l'étude du système de Ginzburg-Landau dépendant du temps en supraconductivité. Enfin, nous présentons des résultats sur la contrôlabilité d'équations paraboliques dégénérées qui reposent sur une étude spectrale et pseudospectrale de l'opérateur d'Airy et de l'oscillateur harmonique complexes. Ce dernier travail est le fruit d'une collaboration avec K. Beauchard, B. Helffer et L. Robbiano.

Les méthodes de décomposition de domaine en espace ont prouvé leur utilité dans le cadre des architectures parallèles. Pour les problèmes d'évolution en temps, il est nécessaire d'introduire une dimension supplémentaire de parallélisme dans la direction du temps. Ceci peut alors être couplé avec des méthodes de type optimisé Schwarz waveform relaxation. Nous nous intéressons dans cette thèse aux méthodes directes de décomposition en temps. Nous en étudions particulièrement deux. Dans une première partie nous étudions la méthode de produit tensoriel, introduite par R. E. Lynch, J. R. Rice, et D. H. Thomas in 1963. Nous proposons une méthode d'optimisation des pas de temps, basée sur une étude d'erreur en variable de Fourier en temps. Nous menons cette étude sur les schémas d'Euler et de Newmark pour la discrétisation en temps de l'équation de la chaleur. Nous présentons ensuite des tests numériques établissant la validité de cette approche. Dans la seconde partie, nous étudions les méthodes dites de Bloc, introduites par Amodio et Brugnano en 1997. Nous comparons diverses implémentations de la méthode, basées sur différentes approximations de l'exponentielle de matrice. Nous traitons l'équation de la chaleur et l'équation des ondes, et montrons par une étude numérique bidimensionnelle la puissance de la méthode.

Dans cette thèse, nous nous s'intéressons au calcul des groupes de cohomologie de Dolbeault feuilletée H0∗L (M) de certaines laminations complexes. Ceci revient à résoudre le problème du ∂ le long des feuilles ∂Lα = ω. (Ici M est un espace métrique ou une variété dans le cas où L est un feuilletage F.) Trois situations ont été étudiées de manière explicite.1. Soit M = Ω un ouvert de C × R muni du feuilletage F dont les feuilles sont les sections Ωt = {z ∈ C : (z, t) ∈ Ω} ; on dira que F est le feuilletage canonique de Ω. Sous certaines conditions sur Ω et de croissance sur la forme feuilletée ω, nous montrons que l''équation ∂Fα = ω a une solution.2. On se donne une suite (αn)n≥1 strictement croissante avec α1 = −1 et convergeant vers 1. Dans C × R on considère les points A = (0, 1) et An = (0, αn) pour n ≥ 1. Pour tout n ≥ 1, soient Sn la sphère de C × R de diamètre le segment [AnA] et E la réunion de toutes ces sphères. Alors E est un sous-espace métrique compact et connexe de C × R. Soit γ : E −→ E l'homéomorphisme défini par γ(w,u) = (ρn(w),u) lorsque (w, u) ∈ Sn où ρn est la rotation dans C d'angle 2πn. La suspension de γ donne une lamination complexe L dont les feuilles sont des surfaces de Riemann toutes équivalentes à C*. Pour cet exemple, nous montrons que l'espace vectoriel H01(L) est nul.3. On considère la variété M = C × Rn \ {(0, 0)} (les coordonnées d'un point seront notées (z,t)) qu'on munit du feuilletage complexe F défini par le système différentiel dt1 = * * * = dn = 0. Le difféomorphisme γ : (z, t) ∈ Mf7−→ (λz, λt) ∈ M (avec 0 < λ < 1) agit sur M de façon libre et propre ; en plus, c'est un automorphisme de F ; F induit alors sur le quotient M = M/γ (qui est difféomorphe 'à Sn+1 × S1) un feuilletage complexe F par surfaces de Riemann. Nous montrons que les espaces vectoriels de cohomologie de Dolbeault feuilletée H00 F (M) et H01F (M) sont isomorphes à C.

Ce travail de thèse porte sur l'extension et l'analyse d'un solveur volumes finis eulérien, co-localisé avec capture d'interfaces pour la simulation des écoulements multi-matériaux non miscibles. Les extensions proposées s'inscrivent dans la volonté d'élaborer un outil de simulation multi-physiques. Dans le cadre de ce mémoire, le caractère multi-physiques recouvre les champs que nous allons détailler. Nous traitons le cas des écoulements radiatifs modélisés par un système à deux températures qui couple les phénomènes purement hydrodynamiques aux phénomènes radiatifs. Nous proposons un solveur permettant la prise en compte des effets de tension superficielle à l'interface entre deux fluides. Nous développons un solveur implicite permettant la simulation précise d'écoulements faisant intervenir de faibles nombres de Mach par le biais d'une méthode de renormalisation de la diffusion numérique. Enfin, les effets tri-dimensionnels sont considérés ainsi que la possibilité d'étendre le schéma de base aux écoulements à un nombre quelconque de matériaux. A chaque étape, les solveurs développés sont validés sur des cas-tests.

This thesis provides theoretical and practical solutions to two problems raised by digital photography of moving scenes, and infrared photography. Until recently photographing moving objects could only be done using short exposure times. Yet, two recent groundbreaking works have proposed two new designs of camera allowing arbitrary exposure times. The flutter shutter of Agrawal et al. creates an invertible motion blur by using a clever shutter technique to interrupt the photon flux during the exposure time according to a well chosen binary sequence. The motion-invariant photography of Levin et al. gets the same result by accelerating the camera at a constant rate. Both methods follow computational photography as a new paradigm. The conception of cameras is rethought to include sophisticated digital processing. This thesis proposes a method for evaluating the image quality of these new cameras. The leitmotiv of the analysis is the SNR (signal to noise ratio) of the image after deconvolution. It gives the efficiency of these new camera design in terms of image quality. The theory provides explicit formulas for the SNR. It raises two paradoxes of these cameras, and resolves them. It provides the underlying motion model of each flutter shutter, including patented ones. A shorter second part addresses the the main quality problem in infrared video imaging, the non-uniformity. This perturbation is a time-dependent noise caused by the infrared sensor, structured in columns. The conclusion of this work is that it is not only possible but also efficient and robust to perform the correction on a single image. This permits to ensure the absence of ''ghost artifacts'', a classic of the literature on the subject, coming from inadequate processing relative to the acquisition model.

Les travaux réalisés dans le cadre de cette thèse ont pour objectif d'extraire les différents segments informatifs au sein de séquences vidéo, plus particulièrement aériennes. L'interprétation manuelle de telles vidéos dans une optique de renseignement se heurte en effet au volume des données disponibles. Une assistance algorithmique fondée sur diverses modalités d'indexation est donc envisagée, dans l'objectif de repérer les "segments d'intérêt" et éviter un parcours intégral de la vidéo. Deux approches particulières ont été retenues et respectivement développées au sein de chaque partie. La partie 1 propose une utilisation des conditions de prise de vue (CPDV) comme modalités d'indexation. Une évaluation de la qualité image permet ainsi de filtrer les segments temporels de mauvaise qualité et donc inexploitables. La classification du mouvement image apparent directement lié au mouvement caméra, fournit une indexation de séquences vidéo en soulignant notamment les segments potentiels d'intérêt ou au contraire les segments difficiles présentant un mouvement très rapide ou oscillant. La partie 2 explore le contenu dynamique de la séquence vidéo, plus précisément la présence d'objets en mouvement. Une première approche locale en temps est présentée. Elle filtre les résultats d'une première classification par apprentissage supervisé en exploitant les informations de contexte, spatial puis sémantique. Différentes approches globales en temps sont par la suite explorées. De telles approches permettent de garantir la cohérence temporelle des résultats et réduire les fausses alarmes.

Cette thèse, réalisée en coopération avec l'ONERA, concerne la reconnaissance active d'objets 3D par un agent autonome muni d'une caméra d'observation. Alors qu'en reconnaissance passive les modalités d'acquisitions des observations sont imposées et génèrent parfois des ambiguïtés, la reconnaissance active exploite la possibilité de contrôler en ligne ces modalités d'acquisition au cours d'un processus d'inférence séquentiel dans le but de lever l'ambiguïté. L'objectif des travaux est d'établir des stratégies de planification dans l'acquisition de l'information avec le souci d'une mise en œuvre réaliste de la reconnaissance active. Le cadre de l'apprentissage statistique est pour cela mis à profit. La première partie des travaux se consacre à apprendre à planifier. Deux contraintes réalistes sont prise en compte : d'une part, une modélisation imparfaite des objets susceptible de générer des ambiguïtés supplémentaires - d'autre part, le budget d'apprentissage est coûteux (en temps, en énergie), donc limité. La deuxième partie des travaux s'attache à exploiter au mieux les observations au cours de la reconnaissance. La possibilité d'une reconnaissance active multi-échelles est étudiée pour permettre une interprétation au plus tôt dans le processus séquentiel d'acquisition de l'information. Les observations sont également utilisées pour estimer la pose de l'objet de manière robuste afin d'assurer la cohérence entre les modalités planifiées et celles réellement atteintes par l'agent visuel.

Cette thèse est composée de deux parties indépendantes. La première est consacrée à l'étude de quelques problèmes elliptiques de type de Kirchhoff de la forme suivante : -M(ʃΩNul² dx) Δu = f(x, u) xЄΩ ; u(x) = o xЄƋΩ où Ω cRN, N ≥ 2, f une fonction de Carathéodory et M une fonction strictement positive et continue sur R+. Dans le cas où la fonction f est asymptotiquement linéaire à l'infini par rapport à l'inconnue u, on montre, en combinant une technique de troncature et la méthode variationnelle, que le problème admet au moins une solution positive quand la fonction M est non décroissante. Et si f(x, u) = |u|p-1 u + λg(x), où p >0, λ un paramètre réel et g une fonction de classe C1 et changeant de signe sur Ω, alors sous certaines hypothèses sur M, il existe deux réels positifs λ. et λ. tels que le problème admet des solutions positives si 0 < λ <λ. et n'admet pas de solutions positives si λ > λ.. Dans la deuxième partie, on étudie deux problèmes soulevés en dynamique des fluides. Le premier est une généralisation d'un modèle décrivant la propagation unidirectionnelle dispersive des ondes longues dans un milieu à deux fluides. En écrivant le problème sous la forme d'une équation de point fixe, on montre l'existence d'au moins une solution positive. On montre ensuite sa symétrie et son unicité. Le deuxième problème consiste à prouver l'existence de la vitesse, la pression et la température d'un fluide non newtonien, incompressible et non isotherme, occupant un domaine borné, en prenant en compte un terme de convection. L'originalité dans ce travail est que la viscosité du fluide ne dépend pas seulement de la vitesse mais aussi de la température et du module du tenseur des taux de déformations. En se basant sur la notion des opérateurs pseudo-monotones, le théorème de De Rham et celui de point fixe de Schauder, l'existence du triplet, (vitesse, pression, température) est démontré

Cette thèse porte sur l'étude de quelques questions liées à l'identifiabilité et l'identification d'un problème inverse non-linéaire de source. Il s'agit de l'identification d'une source ponctuelle dépendante du temps constituant le second membre d'une équation de type advection-dispersion-réaction à coefficients variables. Dans le cas monodimensionnel, la souplesse du modèle stationnaire nous a permis de développer des réponses théoriques concernant le nombre des capteurs nécessaires et leurs emplacements permettant d'identifier la source recherchée d'une façon unique. Ces résultats nous ont beaucoup aidés à définir la ligne de conduite à suivre afin d'apporter des réponses similaires pour le modèle transitoire. Quant au modèle bidimensionnel transitoire, en utilisant quelques résultats de nulle contrôlabilité frontière et des mesures de l'état sur la frontière sortie et de son flux sur la frontière entrée du domaine étudié, nous avons établi un théorème d'identifiabilité et une méthode d'identification permettant de localiser les deux coordonnées de la position de la source recherchée comme étant l'unique solution d'un système non-linéaire de deux équations, et de transformer l'identification de sa fonction de débit en la résolution d'un problème de déconvolution. La dernière partie de cette thèse discute la difficulté principale rencontrée dans ce genre de problèmes inverses à savoir la non identifiabilité d'une source dans sa forme abstraite, propose une alternative permettant de surmonter cette difficulté dans le cas particulier où le but est d'identifier le temps limite à partir duquel la source impliquée a cessé d'émettre, et donc ouvre la porte sur de nouveaux horizons.

Dans cette thèse, nous nous intéressons aux espaces temps dit globalement hyperboliques Cauchy compacts. Ce sont des espaces temps qui admettent une fonction, dite fonction temps de Cauchy, propre qui croit strictement le long des courbes causales inextensibles. Les niveaux de telles fonctions sont des hypersurfaces de type espace appelées hypersurfaces de Cauchy. La donnée d'une fonction temps définit naturellement une famille à 1-paramètres d'espaces métriques. Notre but est d'étudier le comportement asymptomatique de ces familles d'espaces métriques Il y a deux cas de figure à considérer : le premier étant le comportement asymptomatique dans le passé ; le deuxième est celui du comportement asymptomatique dans le futur. Plus de conditions géométriques sur l'espace temps et les fonctions temps à considérer seront nécessaires