Cette thèse aborde deux thématiques différentes. On s’intéresse d’abord au développement et à l’analyse de méthodes pour le sens électrique appliqué à la robotique. On considère en particulier la méthode des réflexions permettant, à l’image de la méthode de Schwarz, de résoudre des problèmes linéaires à partir de sous-problèmes plus simples. Ces deniers sont obtenus par décomposition des frontières du problème de départ. Nous en présentons des preuves de convergence et des applications. Dans le but d’implémenter un simulateur du problème direct d’électrolocation dans un robot autonome, on s’intéresse également à une méthode de bases réduites pour obtenir des algorithmes peu coûteux en temps et en place mémoire. La seconde thématique traite d’un problème inverse dans le domaine de la chimie quantique. Nous cherchons ici à déterminer les caractéristiques d’un système quantique. Celui-ci est éclairé par un champ laser connu et fixé. Dans ce cadre, les données du problème inverse sont les états avant et après éclairage. Un résultat d’existence locale est présenté, ainsi que des méthodes de résolution numériques. / This thesis tackle two different topics.We first design and analyze algorithms related to the electrical sense for applications in robotics. We consider in particular the method of reflections, which allows, like the Schwartz method, to solve linear problems using simpler sub-problems. These ones are obtained by decomposing the boundaries of the original problem. We give proofs of convergence and applications. In order to implement an electrolocation simulator of the direct problem in an autonomous robot, we build a reduced basis method devoted to electrolocation problems. In this way, we obtain algorithms which satisfy the constraints of limited memory and time resources. The second topic is an inverse problem in quantum chemistry. Here, we want to determine some features of a quantum system. To this aim, the system is ligthed by a known and fixed Laser field. In this framework, the data of the inverse problem are the states before and after the Laser lighting. A local existence result is given, together with numerical methods for the solving.

Dans cette thèse, nous nous intéressons à l'étude de quatre équations d'évolution non-locales. Les solutions de ces quatre équations peuvent exploser en temps fini. Dans la théorie des équations d'évolution non-linéaires, une solution est qualifiée de globale si elle est définie pour tout temps positif. Au contraire, si une solution existe seulement sur un intervalle de temps [0; T) borné, elle est dite locale. Dans ce dernier cas et quand le temps maximal d'existence est relié à une alternative d'explosion, on dit aussi que la solution explose en temps fini. Dans un premier travail, nous considérons l'équation de Schrödinger non-linéaire avec une puissance fractionnaire du laplacien, et nous obtenons l'explosion de la solution en temps fini Tmax > 0 pour toute condition initiale positive et non-triviale dans le cas d'exposant sous-critique. Ensuite, nous étudions une équation des ondes amorties avec un potentiel d'espace-temps et un terme non-linéaire et non-local en temps. Nous obtenons un résultat d'existence locale d'une solution dans l'espace d'énergie sous des conditions restrictives sur les données initiales, la dimension de l'espace et la croissance du terme non-linéaire. De plus, nous obtenons l'explosion de la solution en temps fini pour toute condition initiale de moyenne strictement positive. De plus, nous étudions un problème de Cauchy pour l'équation d'évolution avec un p- Laplacien avec une non linéarité non-locale en temps. Dans ce cadre, nous nous intéressons à l'étude de l'existence locale d'une solution de cette équation ainsi qu'un résultat de non-existence de solution globale. Finalement, nous étudions l'intervalle maximal d'existence des solutions de l'équation des milieux poreux avec un terme non-linéaire non-local en temps. / In this thesis, we study four non-local evolution equations. The solutions of these four equations can blow up in finite time. In the theory of nonlinear evolution equations, a solution is qualified as global if it isdefined for any time. Otherwise, if a solution exists only on a bounded interval [0; T), it is called local solution. In this case and when the maximum time of existence is related to a blow up alternative, we say that the solution blows up in finite time. First, we consider the nonlinear Schröodinger equation with a fractional power of the Laplacien operator, and we get a blow up result in finite time Tmax > 0 for any non-trivial non-negative initial condition in the case of sub-critical exponent. Next, we study a damped wave equation with a space-time potential and a non-local in time non-linear term. We obtain a result of local existence of a solution in the energy space under some restrictions on the initial data, the dimension of the space and the growth of nonlinear term. Additionally, we get a blow up result of the solution in finite time for any initial condition positive on average. In addition, we study a Cauchy problem for the evolution p-Laplacien equation with nonlinear memory. We study the local existence of a solution of this equation as well as a result of non-existence of global solution. Finally, we study the maximum interval of existence of solutions of the porous medium equation with a nonlinear non-local in time term.

Ce document contient la synthèse des travaux de recherche effectués <br />entre 1996 et 2005, après la thèse de doctorat de l'auteur, et concerne l'étude fine de <br />certains processus stochastiques : mouvement brownien linéaire ou plan, processus de diffusion, <br />mouvement brownien fractionnaire, solutions d'équations différentielles stochastiques ou <br />d'équations aux dérivées partielles stochastiques.<br />La thèse d'habilitation s'articule en six chapitres correspondant aux thèmes <br />suivants : étude des intégrales par rapport aux temps locaux de certaines diffusions, <br />grandes déviations pour un processus obtenu par perturbation brownienne d'un système <br />dynamique dépourvu de la propriété d'unicité des solutions, calcul stochastique <br />pour le processus gaussien non-markovien non-semimartingale mouvement brownien fractionnaire, <br />étude des formules de type Itô et Tanaka pour l'équation de la chaleur stochastique, <br />étude de la durée de vie du mouvement brownien plan réfléchi dans un domaine à<br />frontière absorbante et enfin, estimation non-paramétrique et construction d'un <br />test d'adéquation à partir d'observations discrètes pour le coefficient de diffusion d'une <br />équation différentielle stochastique. <br />Les approches de tous ces thèmes sont probabilistes et basées sur l'analyse stochastique. <br />On utilise aussi des outils d'équations différentielles, d'équations aux dérivées partielles <br />et de l'analyse.

Mes recherches portent essentiellement sur l''elaboration de m'ethodes de calcul formel pour l''etude constructive des 'equations diff'erentielles lin'eaires, plus particuli'erement autour de la th'eorie de Galois diff'erentielle. Celles-ci vont du d'eveloppement de la th'eorie sous-jacente aux algorithmes, en incluant leur implantation en Maple. Ces travaux ont en commun une approche exp'erimentale des math'ematiques o'u l'on met l'accent sur l'examen d'exemples les plus pertinents possibles. L''etude d'etaill'ee de cas provenant de la m'ecanique rationnelle ou de la physique th'eorique nourrit en retour le d'eveloppement de th'eories math'ematiques idoines. Mes travaux s'articulent suivant trois grands th'emes interd'ependants : la th'eorie de Galois diff'erentielle effective, ses applications 'a l'int'egrabilit'e de syst'emes hamiltoniens et des applications en physique th'eorique.

Le contexte d’étude est celui de la Compatibilité ÉlectroMagnétique (CEM). L’objectif de la CEM est, comme son nom l’indique, d’assurer la compatibilité entre une source de perturbation électromagnétique et un système électronique victime. Or, la prédiction de ces niveaux de perturbation ne peut pas s’effectuer à l’aide d’un simple calcul analytique, en raison de la géométrie qui est généralement complexe pour le système que l’on étudie, tel que le champ à l’intérieur d’un cockpit d’avion par exemple. En conséquence, nous sommes contraints d’employer des méthodes numériques, dans le but de prédire ce niveau de couplage entre les sources et les victimes. Parmi les nombreuses méthodes numériques existantes à ce jour, les méthodes Multi-Domaines (MD) sont très prisées. En effet, elles offrent la liberté aux utilisateurs de choisir la méthode numérique la plus adaptée, en fonction de la zone géométrique à calculer. Au sein de ces méthodes MD, la « Domain Decomposition Method » (DDM) présente l’avantage supplémentaire de découpler chacun de ces domaines. En conséquence, la DDM est particulièrement intéressante, vis-à-vis des méthodes concurrentes, en particulier sur l’aspect du coût numérique. Pour preuve, l’ONERA continue de développer cette méthode qui ne cesse de montrer son efficacité depuis plusieurs années, notamment pour le domaine des Surfaces Équivalentes Radar (SER) et des antennes. L’objectif de l’étude est de tirer profit des avantages de cette méthode pour des problématiques de CEM. Jusqu’à maintenant, de nombreuses applications de CEM, traitées par le code DDM, fournissaient des résultats fortement bruités. Même pour des problématiques électromagnétiques très simples, des problèmes subsistaient, sans explication convaincante. Ceci justifie cette étude. Le but de cette thèse est de pouvoir appliquer ce formalisme DDM à des problématiques de CEM. Dans cette optique, nous avons été amenés à redéfinir un certain nombre de conventions, qui interviennent au sein de la DDM. Par ailleurs, nous avons développé un modèle spécifique pour les ouvertures, qui sont des voies de couplage privilégiées par les ondes, à l’intérieur des cavités que représentent les blindages. Comme les ouvertures sont, en pratique, de petites dimensions devant la longueur d’onde, on s’est intéressé à un modèle quasi-statique. Nous proposons alors un modèle, qui a été implémenté, puis validé. Suite à ce modèle, nous avons développé une méthode originale, basée sur un calcul en deux étapes, permettant de ne plus discrétiser le support des ouvertures dans les calculs 3D. / The context of the study is the ElectroMagnetic Compatibility (EMC). Principal aim of the EMC is to ensure the compatibility between an electromagnetic perturbance source and an electronic device victim. Unfortunately, the perturbation levels prediction can not be made using an analytic formula, because the geometry which is generally complex for the interesting system, for example the field inside an aircraft’s cockpit. Therefore, we are contrained to use numerical methods, to be able to evaluate this coupling level between sources and victims. Among several existing numerical methods, Multi-Domains (MD) methods are very interesting. They offer to users the freedom to choose the most powerfull numerical method, in terms of the geometrical zone evaluated. With the MD methods, « Domain Decomposition Method » (DDM) has the avantage of decouplingeach of theses areas. Therefore, DDM is very interesting, compared to other methods, in particular on the numerical cost. ONERA keeps on developing this method, which has not stop showing his efficiency since several years, in particular in Radar Cross Section (RCS) and antennas. The objective of this study is to take the benefits of this method for EMC problems. Up to now, several EMC applications treated by the DDM code provided results strongly noisy. Even for with very simple electromagnetic cases, some problems remained without convincing explanations. This justifies this study. The aim of this thesis is to can be able to apply DDM formalism to EMC problems. Then, we have been induced to redefine a number of conventions which are involved in the DDM. Otherwise, we have developed a specific model for the apertures which are privilegied tracts of the coupling by the penetration of waves inside cavities (shieldings). As the apertures have in practice smaller dimensions compared to the wavelength, we have been interested to a quasistatic model which was developped, implemented and validated. Following this model, we have developed an original method, based on a two step calculation, able to do not discretize the apertures support in 3D computations.