Méthodes mathématiques pour les modèles de solvabilité implicite en chimie quantique

This thesis is devoted to study and improve the mathematical models and methods used in implicit solvation models in quantum chemistry. The manuscript is composed of two parts. In the first part where we analyze the solute-solvent interface, we give, for the first time, a complete characterization of the so-called “smooth” molecular surface, i.e., the solvent excluded surface (SES). Based on this characterization, we develop a piecewise meshing algorithm for different molecular surfaces, especially the SES, using the advancing-front triangulation. Further, it has been pointed out in the literature that the SES-cavity (the region enclosed by the SES) is a more accurate description of the solute cavity. In the second part, we therefore construct an SES-based polarizable continuum model (PCM), in which the dielectric permittivity parameter is continuous. The electrostatic problem of this model involves solving a Poisson equation defined in R3. We then develop a particular Schwarz domain decomposition method where only local equations restricted to balls need to be solved. Finally, the Poisson-Boltzmann solvation model, another implicit solvation model, is also investigated, which takes into account both the dielectric permittivity and the ionic strength of the solvent. A similar Schwarz domain decomposition method is proposed to solve the associated Poisson-Boltzmann equation by solving local equations restricted to balls as it is for the SES-based PCM.Cette thèse est consacrée à étudier et à améliorer les modèles mathématiques et les méthodes utilisées pour les modèles de solvatation implicite en chimie quantique. Ce manuscrit est composée de deux parties. Dans la première partie où nous analysons l'interface soluté-solvant, nous donnons, pour la première fois, une caractérisation complète de la surface moléculaire lisse, c'est-à-dire la surface exclue du solvant (SES). À partie de cette caractérisation, nous développons un algorithme de maillage par morceaux pour les surfaces moléculaires différentes, en particulier pour la SES, en utilisant la triangulation à front avançant. De plus, la cavité de la SES (la région entourée par la SES) est une description plus précise de la cavité de soluté. Dans la deuxième partie, nous construisons donc un modèle de continuum polarisable basé (PCM) sur la SES, dans lequel le paramètre de permittivité diélectrique est continu. Le problème électrostatique de ce modèle consiste à résoudre une équation de Poisson définie sur R3. Nous développons ensuite une méthode de Schwarz particulière, où seules les équations locales restreintes à des boules doivent être résolues. Enfin, nous étudions le modèle de solvatation de Poisson-Boltzmann, un autre modèle de solvatation implicite, qui tient compte à la fois de la permittivité diélectrique et de la force ionique du solvant. Une méthode de Schwarz similaire est proposée pour résoudre l'équation de Poisson-Boltzmann associée en résolvant des équations locales restreintes aux boules comme pour le PCM basé sur la SES