L'OBJET DE CE TRAVAIL EST L'ETUDE THEORIQUE DE SCHEMAS VOLUMES FINIS POUR CERTAINS PROBLEMES HYPERBOLIQUES. DANS LES TROIS PREMIERS CHAPITRES, NOUS NOUS INTERESSONS A UNE EQUATION HYPERBOLIQUE NON LINEAIRE ET, DANS LE DERNIER CHAPITRE, NOUS ETUDIONS LE CAS D'UN SYSTEME HYPERBOLIQUE LINEAIRE AVEC CONDITIONS AUX LIMITES. DANS TOUS LES CAS, NOUS CHERCHONS A ETABLIR LA CONVERGENCE DES SCHEMAS CONSIDERES ET A EVALUER LEUR PRECISION EN DEMONTRANT DES ESTIMATIONS D'ERREUR. POUR LE PROBLEME HYPERBOLIQUE SCALAIRE, NOUS DEVELOPPONS TOUT D'ABORD DES SCHEMAS D'ORDRE UN EN ESPACE. NOUS DEMONTRONS L'EXISTENCE ET L'UNICITE DE LA SOLUTION ENTROPIQUE TOUT EN ETABLISSANT LA CONVERGENCE DES SCHEMAS VERS CELLE-CI. NOUS OBTENONS EGALEMENT DES ESTIMATIONS D'ERREUR (EN NORME L 1 ESPACE-TEMPS) ENTRE SOLUTION APPROCHEE ET SOLUTION ENTROPIQUE DE L'ORDRE DE H 1 / 4 (H EST LA TAILLE DU MAILLAGE). ENSUITE, NOUS ETENDONS CES RESULTATS A DES SCHEMAS D'ORDRE DEUX EN ESPACE DE TYPE MUSCL. ENFIN, DANS UNE DERNIERE PARTIE, NOUS NOUS INTERESSONS A UN SYSTEME CONSTITUE DE DEUX EQUATIONS LINEAIRES COUPLEES PAR LES CONDITIONS AUX LIMITES. NOUS PROUVONS L'EXISTENCE ET L'UNICITE DE LA SOLUTION FAIBLE PUIS LA CONVERGENCE DE SCHEMAS VERS CETTE SOLUTION. NOUS PRESENTONS ENSUITE DES TESTS NUMERIQUES QUI MONTRENT UNE ESTIMATION D'ERREUR DE L'ORDRE DE H 1 / 2.

On s'intéresse à l'étude de schémas volumes finis pour des équations elliptiques et hyperboliques sur des domaines bornes. L'originalité de ce travail réside dans les traitements des conditions aux limites et du couplage elliptique hyperbolique. Les chapitres 2 et 3 sont consacrés à des schémas volumes finis pour une équation elliptique avec condition aux limites de Neumann et une équation hyperbolique linéaire. On établit des estimations d'erreur pour l'équation elliptique en norme h#1 discrète ainsi que l#q pour 1 q +, en montrant des injections discrètes de Sobolev. On montre la convergence de la solution approchée associée à l'équation hyperbolique vers la solution faible de cette dernière en passant à la limite dans l'équation discrétisée. Le chapitre 4 traite d'un schéma volumes finis pour une équation elliptique avec conditions de Fourier. On montre la convergence du schéma en établissant des estimations d'erreur similaires à celles établies dans les chapitres précédents, la différence essentielle provient des termes de bord. Le chapitre 5 traite de la convergence d'un schéma volumes finis pour un système elliptique hyperbolique non linéaire. En utilisant les résultats du chapitre 2 sur l'équation elliptique, on montre la convergence de la solution approchée associée à l'équation hyperbolique vers la solution entropique. De plus, on établit des estimations d'erreur en norme l#1. Pour cela, on utilise la notion de solution processus entropique (ou mesures de Young) ainsi qu'une technique introduite par S.N. Kruskov. Dans le chapitre 6, on montre la convergence de schémas volumes finis à flux monotone pour une équation hyperbolique non linéaire. Pour établir ce résultat, on utilise une notion de trace pour les fonctions l# utile pour passer à la limite dans le schéma numérique.

LE TRAVAIL PRESENTE DANS CETTE THESE PORTE SUR L'ETUDE THEORIQUE DE LA CONVERGENCE DE SCHEMAS NUMERIQUES UTILISES POUR LA RESOLUTION D'EQUATIONS HYPERBOLIQUES LINEAIRES ET NON LINEAIRES. LES METHODES D'APPROXIMATION SONT DE TYPE VOLUMES FINIS SUR DES MAILLAGES IRREGULIERS EN ESPACE. ON CONSIDERE DES SCHEMAS DECENTRES AMONT ET DE TYPE VAN LEER (QUASI D'ORDRE 1 EN ESPACE). POUR CHAQUE SCHEMA, ON ETABLIT UNE ESTIMATION EN NORME INFINIE SUR LA SOLUTION APPROCHEE. DANS LE CAS DE RECTANGLES, LE SCHEMA EST A VARIATION TOTALE DECROISSANTE ET A L'AIDE DE THEOREMES DE COMPACITE, ON MONTRE LA CONVERGENCE DE LA SOLUTION APPROCHEE VERS LA SOLUTION FAIBLE (ENTROPIQUE) DU PROBLEME DANS L'ESPACE DES FONCTIONS LOCALEMENT INTEGRABLES. CETTE PROPRIETE SUR LE SCHEMA N'EST PLUS VERIFIEE DANS LE CAS DE TRIANGLES. IL EST CEPENDANT POSSIBLE D'OBTENIR UNE ESTIMATION FAIBLE SUR UNE VARIATION TOTALE PONDEREE, SUFFISANTE POUR OBTENIR LA CONVERGENCE DANS LE CAS LINEAIRE. DANS LE CAS NON LINEAIRE, ON UTILISE LA THEORIE DES SOLUTIONS MESURES INTRODUITES PAR DI PERNA. ON DEMONTRE UN THEOREME GENERAL SUR LES SOLUTIONS MESURES QUI PERMET D'ETABLIR LA CONVERGENCE DE LA SOLUTION APPROCHEE DANS L'ESPACE DES FONCTIONS DE PUISSANCE PIEME LOCALEMENT INTEGRABLE, POUR TOUT P SUPERIEUR OU EGAL A 1, VERS LA SOLUTION FAIBLE ENTROPIQUE

LES METHODES DE VOLUMES FINIS PRESENTENT DES QUALITES CONSIDERABLES QUI LES FONT SOUVENT EMPLOYER POUR DES PROBLEMES INDUSTRIELS DANS LESQUELS DE NOMBREUX PHENOMENES PHYSIQUES SONT COUPLES, SUR DES MAILLAGES QUI NE PEUVENT PAS TOUJOURS FAIRE L'OBJET DE METHODES D'ELEMENTS FINIS. CE TRAVAIL PORTE SUR L'ETUDE DE LA CONVERGENCE DES METHODES DE VOLUMES FINIS POUR DES PROBLEMES DE DIFFUSION-CONVECTION NON LINEAIRES, TELS QUE LE PROBLEME DE STEFAN OU L'EQUATION DES MILIEUX POREUX EN PRESENCE D'UN TERME DE CONVECTION FORCE EVENTUELLEMENT EGALEMENT NON LINEAIRE. UNE PREMIERE PARTIE DEMONTRE LA CONVERGENCE DES METHODES DE VOLUMES FINIS POUR UN PROBLEME DE TYPE STEFAN SANS TERME CONVECTIF. LES ESTIMATIONS OBTENUES PERMETTENT DE CONCLURE A UNE CONVERGENCE FORTE DE LA TEMPERATURE ET FAIBLE DE L'ENERGIE, CE QUI EST CONFORME AUX RESULTATS OBTENUS PAR D'AUTRES APPROCHES NUMERIQUES. ELLES PERMETTENT D'APPLIQUER LE THEOREME DE KOLMOGOROV, QUI DONNE UNE PROPRIETE DE CONVERGENCE FORTE AU MOYEN DE L'ESTIMATION DES TRANSLATIONS EN TEMPS ET EN ESPACE SUR LES SOLUTIONS APPROCHEES. L'ESTIMATION DES TRANSLATIONS EN ESPACE PERMET DE CONCLURE A LA REGULARITE DE LA LIMITE. UNE SECONDE PARTIE DEMONTRE LA CONVERGENCE DES METHODES DE VOLUMES FINIS POUR UN PROBLEME MIXTE DE DIFFUSION NON LINEAIRE ET DE CONVECTION NON LINEAIRE. LORSQUE LA DEGENERESCENCE DU TERME DE DIFFUSION EST SEULEMENT PONCTUELLE, LA CONVERGENCE DU SCHEMA EST ALORS FORTE EN TOUT POINT ; CECI RESULTE D'UN COUPLAGE ENTRE LES METHODES EXPLICITEES EN PREMIERE PARTIE ET DES METHODES MAINTENANT CLASSIQUES EMPLOYEES POUR LA CONVERGENCE DES SCHEMAS DE VOLUMES FINIS POUR UNE EQUATION HYPERBOLIQUE NON LINEAIRE. DANS LE CAS D'UNE DEGENERESCENCE DU TERME DE DIFFUSION SUR UN INTERVALLE, LE RESULTAT DE CONVERGENCE EST AFFAIBLI, ET NECESSITE L'INTRODUCTION DE SOLUTIONS DANS UN SENS PLUS FAIBLE, COMME IL EST COURAMMENT FAIT POUR LES PROBLEMES HYPERBOLIQUES NON LINEAIRES. CEPENDANT, A LA DIFFERENCE DE CE DERNIER CADRE, IL N'Y A PAS DE RESULTAT D'UNICITE POUR CONCLURE A UNE CONVERGENCE FORTE DU SCHEMA. PAR AILLEURS, ON RETROUVE DANS CE CAS LA NECESSITE D'INTRODUIRE UN SENS ENTROPIQUE AUX SOLUTIONS FAIBLES DU PROBLEME ; LE SCHEMA DE VOLUMES FINIS EST ALORS DEMONTRE COMME SATISFAISANT UNE PROPRIETE DISCRETE ANALOGUE A LA PROPRIETE CONTINUE