. .. Simplified-models,

. .. , , vol.6

, Deux sont de nature intrinsèquement stationnaire, deux proviennent de la discrétisation d'un problème d'évolution. Classés par ordre de difficulté croissante, ils permettent de trier, par élimination progressive des plus mauvais, les algorithmes en compétition et de faire émerger le meilleur d'entre eux, NPIPM, ainsi que la méthode de référence pour la famille semi-lisse, Ce chapitre rend compte des essais numériques que nous avons effectués avec plusieurs algorithmes sur cinq modèles représentatifs des problèmes avec conditions de complémentarité qui intéressent les chercheurs d'IFPEN

. .. , Nous décrirons le modèle, mais pas la discrétisation en temps et en espace. Deux tests d'injection de CO 2 seront considérés et mettront en évidence les lacunes actuelles de NPIPM. (a) For ? ? ? max , the reference solution is in the L single-phase regime and given by 7.1 Summary of key results, Ceux-ci sont ensuite appliqués en §6.2 à un modèle d'écoulement diphasique (partiellement triphasique) compositionnel en deux dimensions d'espace, qui n'est certes pas aussi complexe qu'un modèle de réservoir usuel mais dont les lois thermodynamiques sont complètes et réalistes

, 3, we have conducted research works in two distinct but interrelated directions. The corresponding developments and contributions have given rise to several presentations at national and international conferences

A. Abadpour and M. Panfilov, Method of negative saturations for modelling two-phase compositional flows with oversaturated zones, Transp. Porous Media, vol.79, pp.197-214, 2009.

V. Acary and B. Brogliato, Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics, vol.35, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00423530

M. Aganagi?, Newton's method for linear complementarity problems, Math. Program, vol.28, pp.349-362, 1984.

O. Angelini, C. Chavant, E. Chénier, R. Eymard, and S. Granet, Finite volume approximation of a diffusion-dissolution model and application to nuclear waste storage, 3rd International Conference on Approximation Methods and Numerical Modeling in Environment and Natural Resources, vol.81, pp.2001-2017, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00713504

L. Armijo, Minimization of functions having Lipschitz continuous first partial derivatives, Pacif. J. Math, vol.16, pp.1-3, 1966.

L. Asselineau, G. Bogdanic, and J. Vidal, A versatile algorithm for calculating vapour-liquid equilibria, Fluid Phase Equilibria, vol.3, pp.273-290, 1979.

A. Auslender, R. Cominetti, and M. Haddou, Asymptotic analysis for penalty and barrier methods in convex and linear programming, Math. Oper. Res, vol.22, pp.43-62, 1997.

K. Aziz and A. Settari, Petroleum Reservoir Simulation, 1979.

L. Beaude, K. Brenner, S. Lopez, R. Masson, and F. Smai, Non-isothermal compositional liquid gas Darcy flow: formulation, soil-atmosphere boundary condition and application to high-energy geothermal simulations, Comput. Geosci, vol.23, pp.443-470, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01702391

A. Beck and M. Teboulle, Smoothing and first order methods: A unified framework, SIAM J. Optim, vol.22, pp.557-580, 2012.

I. and B. Gharbia, Résolution de problèmes de complémentarité. : Application à un écoulement diphasique dans un milieu poreux, 2012.

I. Ben-gharbia and É. Flauraud, Study of compositional multiphase flow formulation using complementarity conditions, Oil Gas Sci. Technol, vol.74, p.43, 2019.

I. Ben-gharbia, É. Flauraud, and A. Michel, Study of compositional multi-phase flow formulations with cubic EOS, SPE Reservoir Simulation Symposium, 23-25 February, vol.2, pp.1015-1025, 2015.

I. Ben-gharbia and J. C. Gilbert, Nonconvergence of the plain Newton-min algorithm for linear complementarity problems with a P-matrix, Math. Prog, vol.134, pp.349-364, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00442293

I. Ben-gharbia and J. C. Gilbert, An algorithmic characterization of P-matricity, SIAM J. Matrix Anal. Appl, vol.34, pp.904-916, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00713330

I. Ben-gharbia and J. C. Gilbert, An algorithmic characterization of P-matricity II: adjustments, refinements, and validation, SIAM J. Matrix Anal. Appl, vol.40, pp.800-813, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01672197

I. Ben-gharbia and J. Jaffré, Gas phase appearance and disappearance as a problem with complementarity constraints, Math. Comput. Simul, vol.99, pp.28-36, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00641621

A. Ben-tal and M. Teboulle, A smoothing technique for nondifferentiable optimization problems, pp.1-11, 1989.

M. Bergounioux and M. Haddou, A new relaxation method for a discrete image restoration problem, J. Convex Anal, vol.17, pp.861-883, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00345556

S. C. Billups and K. G. Murty, Complementarity problems, J. Comput. Appl. Math, vol.124, pp.303-318, 2000.

F. Bonnans, Optimisation continue: cours et problèmes corrigés, Mathématiques appliquées pour le Master, Dunod, 2006.

J. F. Bonnans, J. C. Gilbert, C. Lemaréchal, and C. A. Sagastizábal, Numerical Optimization: Theoretical and Practical Aspects, 2006.

V. Bouvier, Algorithmes de résolution compositionnnelle dans TACITE, tech. report, 1995.

S. Boyd and L. Vandenberghe, Convex Optimization, Berichteüber verteilte messysteme, 2004.

H. Cao, Development of techniques for general purpose simulators, 2002.

G. Chavent and J. Jaffré, Mathematical Models and Finite Elements for Reservoir Simulation: Single Phase, Multiphase and Multicomponent Flows through Porous Media, vol.17, 1986.

C. Chen and O. L. Mangasarian, Smoothing methods for convex inequalities and linear complementarity problems, Math. Program, vol.71, pp.51-69, 1995.

Z. Chen, G. Huan, and Y. Ma, Computational methods for multiphase flows in porous media, vol.2, 2006.

S. Chung, NP-completeness of the linear complementarity problem, J. Optim. Theory Appl, vol.60, pp.393-399, 1989.

K. H. Coats, An equation of state compositional model, SPE Journal, vol.20, pp.363-376, 1980.

?. Cobza?, R. Miculescu, and A. Nicolae, Lipschitz Functions, vol.2241, 2019.

A. Conn, N. Gould, and P. Toint, Trust-Region Methods, MPS-SIAM Series on Optimization 1, SIAM and MPS, 2000.

R. W. Cottle, Nonlinear programs with positively bounded Jacobians, SIAM J. Appl. Math, vol.14, pp.147-158, 1966.

R. W. Cottle and G. B. Dantzig, Complementary pivot theory of mathematical programming, Linear Alg. Appl, vol.1, issue.68, pp.90052-90061, 1968.

R. W. Cottle, J. Pang, and R. E. Stone, The linear complementarity problem, vol.60, 2009.

G. E. Coxson, The P -matrix problem is co-NP-complete, Math. Program, vol.64, pp.173-178, 1994.

J. C. De-los-reyes and K. Kunisch, A comparison of algorithms for control constrained optimal control of the Burgers equation, CALCOLO, pp.203-225, 2004.

T. De-luca, F. Facchinei, and C. Kanzow, A theoretical and numerical comparison of some semismooth algorithms for complementarity problems, Comput. Optim. Appl, vol.16, pp.173-205, 2000.
URL : https://hal.archives-ouvertes.fr/hal-01351152

U. K. Deiters and T. Kraska, High-pressure Fluid Phase Equilibria: Phenomenology and Computation, vol.2, 2012.

D. Hertog, C. Roos, and T. Terlaky, The linear complimentarity problem, sufficient matrices, and the criss-cross method, Linear Alg. Appl, vol.187, issue.93, pp.90124-90131, 1993.

J. E. Dennis and R. B. Schnabel, Classics in Applied Mathematics, Society for Industrial and Applied Mathematics, vol.16, 1996.

P. Deuflhard, Newton Methods for Nonlinear Problems: Affine Invariance and Adaptive Algorithms, vol.35, 2011.

I. I. Dikin, Iterative solution of linear and quadratic programming, Dokl. Akad. Nauk SSSR, vol.174, pp.747-748, 1967.

J. Dussault, M. Frappier, and J. C. Gilbert, Polyhedral Newton-min algorithms for complementarity problems, research report, Inria Paris, 2019.

S. Ernst, Properties of water and steam in SI-units, 1969.

F. Facchinei and J. S. Pang, Finite-Dimensional Variational Inequalities and Complementarity Problems, I, Springer Series in Operations Research, 2003.

F. Facchinei and J. S. Pang, Finite-Dimensional Variational Inequalities and Complementarity Problems, vol.II, 2003.

F. Facchinei and J. Soares, A new merit function for nonlinear complementarity problems and a related algorithm, SIAM J. Optim, vol.7, pp.225-247, 1997.

M. Fiedler and V. Pták, Some generalizations of positive definiteness and monotonicity, Numer. Math, vol.9, pp.163-172, 1966.

A. Fischer, A special Newton-type optimization method, Optimization, vol.24, pp.269-284, 1992.

A. Fischer and C. Kanzow, On finite termination of an iterative method for linear complementarity problems, Math. Program, vol.74, pp.279-292, 1996.

A. Galántai, The theory of Newton's method, J. Comput. Appl. Math, vol.124, pp.25-44, 2000.

R. Glowinski, J. L. Lions, and R. Trémolières, of Studies in Mathematics and its Applications, vol.8, 1981.

J. Gondzio, Interior point methods 25 years later, Eur. J. Oper. Res, vol.218, pp.587-601, 2012.

M. Haddou, A new class of smoothing methods for mathematical programs with equilibrium constraints, Pacif. J. Optim, vol.5, pp.86-96, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00136309

M. Haddou and P. Maheux, Smoothing methods for nonlinear complementarity problems, J. Optim. Theory Appl, vol.160, pp.711-729, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00464870

M. Haddou, T. Migot, and J. Omer, A generalized direction in interior point method for monotone linear complementarity problems, Optim. Lett, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01355566

M. Hamani, Méthodes numériques pour la résolution de systèmes d'équations algébriques contenant des équations de complémentarité, master's thesis, Sup Galilée, 2017.

P. Harker and J. Pang, Finite-dimensional variational inequality and nonlinear complementarity problems: A survey of theory, algorithms and applications., Math. Program, pp.161-220, 1990.

P. Hartman and G. Stampacchia, On some non-linear elliptic differential-functional equations, Acta Mathematica, vol.115, pp.271-310, 1966.

R. A. Heidemann, Computation of high pressure phase equilibria, Fluid Phase Equilibria, vol.14, pp.55-78, 1983.

W. Henry, J. Banks, and I. , Experiments on the quantity of gases absorbed by water, at different temperatures, and under different pressures, Phil. Trans. Royal Soc. London, vol.93, pp.29-274, 1803.

A. F. Izmailov and M. V. Solodov, Newton-Type Methods for Optimization and Variational Problems, Springer Series in Operations Research and Financial Engineering, 2014.

E. John and E. A. Y?ld?r?m, Implementation of warm-start strategies in interior-point methods for linear programming in fixed dimension, Comput. Optim. Appl, vol.41, pp.151-183, 2008.

C. Kanzow, Inexact semismooth Newton methods for large-scale complementarity problems, Optim. Meth. Software, vol.19, pp.309-325, 2004.

S. Karamardian, Generalized complementarity problem, J. Optim. Theory Appl, vol.8, pp.161-168, 1971.

N. Karmarkar, A new polynomial-time algorithm for linear programming, Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, STOC '84, pp.302-311, 1984.

C. T. Kelley, Iterative Methods for Linear and Nonlinear Equations, vol.16, 1995.

D. Kinderlehrer and G. Stampacchia, An Introduction to Variational Inequalities and Their Applications, vol.31, 2000.

M. Kojima, N. Megiddo, T. Noma, and A. Yoshise, A unified approach to interior point algorithms for linear complementarity problems: A summary, Operations Research Letters, vol.10, pp.247-254, 1991.

M. Kojima and S. Shindo, Extension of Newton and quasi-Newton methods to systems of PC 1 equations, J. Oper. Res. Soc. Japan, vol.29, pp.352-375, 1986.

S. Kräutle, The semismooth Newton method for multicomponent reactive transport with minerals, Adv. Water Res, vol.34, pp.137-151, 2011.

B. Kummer, Newton's method for non-differentiable functions, Adv. Math. Optim, vol.45, pp.114-125, 1988.

T. Y. Kwak and G. A. Mansoori, Van der Waals mixing rules for cubic equations of state. Applications for supercritical fluid extraction modelling, Chem. Eng. Sci, vol.41, issue.86, pp.87103-87105, 1986.

V. Lachet and V. Ruffier-meray, , p.45311, 1999.

T. C. Lai-nguyen, Analysis of a nonlinear algebraic system arising in phase equilibria problems, master's thesis, INSA Rennes, 2018.

A. Lauser, Theory and Numerical Applications of Compositional Multi-Phase Flow in Porous Media, 2013.

A. Lauser, C. Hager, R. Helmig, and B. Wohlmuth, A new approach for phase transitions in miscible multi-phase flow in porous media, Adv. Water Res, vol.34, pp.957-966, 2011.

Y. and L. Hénaff, Convexity of Gibbs function, master's thesis, INSA Rennes, 2018.

S. and L. Vent, A summary of the properties of van der Waals fluids, Int. J. Mech. Engrg Edu, vol.29, pp.257-277, 2001.

C. E. Lemke, Bimatrix equilibrium points and mathematical programming, Manage. Sci, vol.11, pp.681-689, 1965.
URL : https://hal.archives-ouvertes.fr/hal-01885823

C. E. Lemke and J. T. Howson, Equilibrium points of bimatrix games, SIAM J. Appl. Math, vol.12, pp.413-423, 1964.

J. Lohrenz, B. G. Bray, and C. R. Clark, Calculating viscosities of reservoir fluids from their compositions, J. Petrol. Technology, 1964.

I. Lusetti, Numerical methods for compositional multiphase flow models with cubic EOS, tech. report, IFPEN, 2016.

O. L. Mangasarian, Equivalence of the complementarity problem to a system of nonlinear equations, SIAM J. Appl. Math, vol.31, pp.89-92, 1976.

R. Masson, L. Trenty, and Y. Zhang, Formulations of two phase liquid gas compositional Darcy flows with phase transitions, Int. J. Finite, vol.11, pp.1-34, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00910366

R. Masson, L. Trenty, and Y. Zhang, Coupling compositional liquid gas Darcy and free gas flows at porous and free-flow domains interface, J. Comput. Phys, vol.321, pp.708-728, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01238530

S. Mehrotra, On the implementation of a primal-dual interior point method, SIAM J. Optim, vol.2, pp.575-601, 1992.

M. L. Michelsen, The isothermal flash problem. Part I. Stability, Fluid Phase Equilibria, vol.9, pp.1-19, 1982.

M. L. Michelsen, The isothermal flash problem. Part II. Phase-split calculation, Fluid Phase Equilibria, vol.9, pp.85002-85006, 1982.

M. L. Michelsen and J. M. Mollerup, Thermodynamic Models: Fundamentals & Computational Aspects, 2007.

R. Mifflin, Semismooth and semiconvex functions in constrained optimization, SIAM J. Control Optim, vol.15, pp.959-972, 1977.

T. Migot, Contributions aux méthodes numériques pour les problèmes de complémentarité et problèmes d'optimisation sous contraintes de complémentarité, 2017.

J. Nocedal and S. J. Wright, Numerical Optimization, Springer Series in Operations Research and Financial Engineering, 2006.

M. D. Olaya, J. A. Reyes-labarta, M. D. Serrano, and A. Marcilla, Vaporliquid equilibria using the Gibbs energy and the common tangent plane criterion, Chem. Eng. Edu, vol.44, p.236, 2010.

H. Orbey and S. I. Sandler, Modeling Vapor-Liquid Equilibria: Cubic Equations of State and Their Mixing Rules, Cambridge Series in Chemical Engineering, 1998.

J. M. Ortega and W. C. Rheinboldt, Iterative Solution of Nonlinear Equations in Several Variables, Classics in Applied Mathematics, vol.30, 2000.

J. Pang, Newton's method for B-differentiable equations, Math. Oper. Res, vol.15, pp.311-341, 1990.

D. Peng and D. B. Robinson, A new two-constant equation of state, Ind. Eng. Chem. Fundam, vol.15, pp.59-64, 1976.

R. H. Perry and D. W. Green, Perry's Chemical Engineers' Handbook, McGraw-Hill chemical engineering series, 1999.

N. Peton, Comparaison de plusieurs formulations pour les écoulements multiphasiques et compositionnels en milieu poreux, tech. report, IFPEN, 2015.

N. Peton, Étude et simulation d'un modèle stratigraphique advecto-diffusif non-linéaire avec frontières mobiles, 2018.

N. Peton, C. Cancès, D. Granjeon, Q. Tran, and S. Wolf, Numerical scheme for a water flow-driven forward stratigraphic model, Comput. Geosci, vol.24, pp.37-60, 2020.
URL : https://hal.archives-ouvertes.fr/hal-01870347

J. M. Prausnitz, R. N. Lichtenthaler, and E. G. De-azevedo, Molecular Thermodynamics of Fluid-Phase Equilibria, Prentice-Hall International Series in the Physical and Chemical Engineering Sciences, Pearson Education, 1998.

L. Qi and J. Sun, A nonsmooth version of Newton's method, Math. Program, vol.58, pp.353-367, 1993.

H. H. Rachford and J. D. Rice, Procedure for use of electronic digital computers in calculating flash vaporization hydrocarbon equilibrium, J. Petrol. Technol, vol.4, p.19, 1952.

D. Ralph, Global convergence of damped Newton's method for nonsmooth equations via the path search, Math. Oper. Res, vol.19, pp.352-389, 1994.

O. Redlich and J. N. Kwong, On the thermodynamics of solutions. v. an equation of state. fugacities of gaseous solutions, Chem. Rev, vol.44, pp.233-244, 1949.

R. T. Rockafellar, of Princeton Landmarks in Mathematics and Physics, vol.28, 1970.

M. and S. Gowda, Inverse and implicit function theorems for H-differentiable and semismooth functions, Optim. Meth. Software, vol.19, pp.443-461, 2004.

G. Soave, Equilibrium constants from a modified Redlich-Kwong equation of state, Chem. Eng. Sci, vol.27, pp.1197-1203, 1972.

H. L. Stone, Estimation of three-phase relative permeability and residual oil data, J. Canad. Petrol. Technology, 1973.

R. A. Tapia, Y. Zhang, M. Saltzman, and A. Weiser, The Mehrotra predictorcorrector interior-point method as a perturbed composite Newton method, SIAM J. Optim, vol.6, pp.47-56, 1996.

J. D. Van-der-waals, On the continuity of the gas and liquid state, p.1873

J. Vidal and T. , Applications in Chemical Engineering and The Petroleum Industry, 2003.

D. V. Voskov and H. A. Tchelepi, Comparison of nonlinear formulations for twophase multi-component EOS based simulation, J. Petrol. Sci. Engrg, pp.101-111, 2012.

C. H. Whitson and M. L. Michelsen, The negative flash, Fluid Phase Equilibria, vol.53, pp.51-71, 1989.

M. H. Wright, The interior-point revolution in optimization: history, recent developments, and lasting consequences, Bull. Amer. Math. Soc, vol.42, pp.39-56, 2005.

S. J. Wright, , 1997.

T. Yamamoto, Historical developments in convergence analysis for Newton's and Newtonlike methods, J. Comput. Appl. Math, vol.124, issue.00, pp.417-426, 2000.

E. A. Yildirim and S. J. Wright, Warm-start strategies in interior-point methods for linear programming, SIAM J. Optim, vol.12, pp.782-810, 2002.

R. Younis, H. A. Tchelepi, and K. Aziz, Adaptively localized continuation-Newton method-nonlinear solvers that converge all the time, SPE Journal, vol.15, pp.526-544, 2010.

D. Zhang and Y. Zhang, A Mehrotra-type predictor-corrector algorithm with polynomiality and Q-subquadratic convergence, Ann. Oper. Res, vol.62, pp.131-150, 1996.

Y. Zhang and D. Zhang, On polynomiality of the Mehrotra-type predictor-corrector interior-point algorithms, Math. Program, vol.68, pp.303-318, 1995.