Abstract
We consider a perturbed mathematical programming problem where both the objective and the constraint functions are polynomial in all underlying decision variables and in the perturbation parameter \(\varepsilon.\) We study the behaviour of the solutions of such a perturbed problem as \(\varepsilon \rightarrow 0.\) Though the solutions of the programming problems are real, we consider the Karush–Kuhn–Tucker optimality system as a one-dimensional complex algebraic variety in a multi-dimensional complex space. We use the Buchberger’s elimination algorithm of the Gröbner bases theory to replace the defining equations of the variety by its Gröbner basis, that has the property that one of its elements is bivariate, that is, a polynomial in \(\varepsilon\) and one of the decision variables only. Changing the elimination order in the Buchberger’s algorithm, we obtain such a bivariate polynomial for each of the decision variables. Thus, the solutions of the original system reduces to a number of algebraic functions in \(\varepsilon\) that can be represented as a Puiseux series in \(\varepsilon\) a neighbourhood of \(\varepsilon = 0\). A detailed analysis of the branching order and the order of the pole is also provided. The latter is estimated via characteristics of these bivariate polynomials of Gröbner bases.
Similar content being viewed by others
References
Adams W, Loustaunau, P (1994) An introduction to Gröbner bases. Graduate studies in mathematics, vol 3, AMS
Borwein JM, Lewis AS (2000) Convex analysis and nonlinear optimization. Springer, Berlin Heidelberg New York
Bonnans JF, Shapiro A (2000) Perturbation analysis of optimization problems. Springer, Berlin Heidelberg New York
Coulomb J-M, Filar J, Szchechla W (2000) Asymptotic analysis of perturbed mathematical programs. J Math Anal Appl 251:132–156
Coolidge JL (1959) A treatise on algebraic plane curves. Dover, New York 207
Eaves BC, Rothblum UG (1989) A theory of extending algorithms for parametric problems. Math Oper Res 14(3):502–533
Faugere JC, Gianni P, Lazard D, Mora T (1993) Efficient computation of zero-dimensional Gröbner bases by change of ordering. J Symb Comput 16(4): 329–344
Fiacco AV ed. (1990) Optimization with data perturbations. In: Annals of OR, vol 27
Filar JA, Avrachenkov K, Altman E (2002) Asymptotic linear programming. Oper Res Lett 30(5):295–307
Gal T (1984) Linear parametric programming – a brief survey. Math Program Study 21:43–68
Gal T, Greenberg HJ ed. (1997) Advances in sensitivity analysis and parametric programming. Kluwer, Dordrecht
Hägglöf K, Lindberg PO, Svenson L (1995) Computing global minima to polynomial optimization problems using Gröbner bases. J Global Optim 7:115–125
Jeroslow RG (1973) Asymptotic linear programming. Oper Res 21:1128–1141
Jeroslow RG (1973) Linear programs dependent on a single parameter. Disc Math 6:119–140
Lang S (1965) Algebra. Columbia University, New York Addison-Wesley Publ. Co, Reading
Levitin ES (1994) Perturbations theory in mathematical programming and its applications. Wiley, New York
Pervozvanskii AA, Gaitsgori VG (1988) Theory of suboptimal decisions. Kluwer, Dordrecht, Netherlands
Puiseux V (1850) Recherches sur les fonctions algbriques. J Math Pures Appl 15:207
Szczechla WW, Connell SA, Filar JA, Vrieze OJ (1997) On the Puiseux series expansion of the limit discount equation of stochastic games. SIAM J Control Optim 35(3): 860–875
Whitney H (1972) Complex analytic varieties. Addison-Wesley, Reading
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported by a grant from the Australian Research Council no. DP0343028. We are indebted to K. Avrachenkov, P. Howlett, and V. Gaitsgory for many helpful discussions.
Rights and permissions
About this article
Cite this article
Ejov, V., Filar, J.A. Gröbner bases in Asymptotic Analysis of Perturbed Polynomial Programs. Math Meth Oper Res 64, 1–16 (2006). https://doi.org/10.1007/s00186-006-0073-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00186-006-0073-5