Abstract
Using a dual method for solving linear fractional programming problems, we propose an approach to find optimal solutions of linear countable semi-infinite fractional programming problems via optimizing sequences. Duality theorems are established. A dual scheme for solving linear countable semi-infinite fractional problems is proposed. Examples are provided.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A linear fractional programming problem is a special case of fractional programming problems, where the objective function is a ratio of two linear functions and the constraints are also linear functions. Linear fractional programming has attracted several researchers for years [2, 4, 15,16,17, 22, 28,29,30]. In particular, many results related to this field are quoted in the following two well-known books by Erik B. Bazalinov [3] and I.M. Stancu Minasian [26]. We also refer the readers to the paper [27] for the information on recent developments and applications of this field.
Having applications in the physical sciences, in mechanical stress of materials, in statistical designs, etc., there exist numerous optimization problems described as semi-infinite problems [13]. Linear semi-infinite programming is an extension of linear programming where the dimension of the horizon spaces of the problems in consideration is infinite or the problems have an infinite number of constraints [9,10,11, 14, 23]. Related to this topic, there exist many results introduced in the mathematical literature. For more details, we refer the readers to the book of M.A. Goberna and M.A. López [12], and the book of Edward J. Anderson and Peter Nash [1]. It is also noted that several fundamental properties of finite-dimensional linear programming may fail when they are extended to infinite-dimensional spaces. Such challenges, e.g., basic feasible solutions and duality theory, are discussed in [19]. These challenges remain unresolved in the context of linear semi-infinite fractional programming.
To the best of our knowledge, although semi-infinite fractional programming has attracted many researchers for years, there were rarely articles concerning linear semi-infinite fractional programming [31]. Our aim in this paper is to study a solution method for the following linear countable semi-infinite fractional programming problem:
where \(c, d, a_i, i \in \mathbb {N},\) are given column vectors in \(\mathbb {R}^n\); \( c_0, d_0, b_i, i\in \mathbb {N},\) are given real numbers, and x stands for some unknown variable in \(\mathbb {R}^n\).
To solve a linear fractional programming problem with finite constraints, one can use the simplex method for fractional programming. Another approach is to transform the problem to a linear problem by linearization methods, e.g., Charnes-Cooper or Dinkelbach methods [5, 8]. Hence, optimal solutions of linear fractional programming problems can be obtained by finding optimal solutions of the corresponding linear problems. Furthermore, for every mathematical programming problem, there exists an associated dual problem. The relationships between primal-dual problems can help to investigate the existence of optimal solutions of both the problems. Therefore, it is useful to study dual methods in solving linear fractional programming [7, 18, 20, 24, 25].
For the problem (P), if we apply the transformations of Charnes-Cooper or Dinkelbach methods to the problem, we can transfer (P) to a linear semi-infinite problem. This implies that optimal solutions to (P) can be found by solving the corresponding linear semi-infinite problems. At this point, if we formulate its dual problem (from the linear problem), we will obtain a linear problem. Unfortunately, this can be inconvenient due to the disappearance of the fractional objective functions. Hence, the role of the objective functions in dual problems becomes unclear, or it is lost completely. Consequently, the dual linear problems in consideration have very few connections with primal problems. We note that, there exist various optimization problems in economics that are considered as minimizations of ratios of two functions such as cost/time, cost/volume, cost/profit (see [26, p.9]). When solving such problems by numerical methods, it is better if we can observe the variation in the values of numerators and denominators.
From a structural standpoint, one naturally wants the dual problem of a linear fractional problem to also be a linear fractional problem. The same is desired in semi-infinite linear fractional programming. One of dual schemes satisfying this requirement is given by Seshan [18], and is introduced in [26]. In this dual scheme, the objective functions of the primal and the dual problem are the same and the constraints of the dual problem can be obtained from the primal problem by using linear transformations. A disscusion in detail for this is introduced in [25]. This scheme is also refined later by T.Q. Son, with a scheme for finding optimal solutions of the primal problem via its dual problem [24].
Motivated by this observation and based on the dual scheme proposed in [24], we propose a dual scheme for a linear countable semi-infinite fractional problem such that its dual problem is also a linear countable semi-infinite fractional problem. Developing the method introduced in [24], we propose a way to find optimal solutions of linear semi-infinite fractional problems based on sequences of approximate schemes. Concretely, a maximizing sequence for (P) is built up, where each element of the sequence is an optimal solution of a corresponding subproblem. The optimal solution of a corresponding subproblem can be found by the dual scheme introduced in [24]. The scheme for solving linear semi-infinite fractional programming problems above is new, and has been not yet introduced before. By this approach, we can also build up a minimizing sequence for the dual problem of (P). Then, the strong duality theorems between (P) and its dual problem are established.
We now describe the contents of the next sections. Section 2 is devoted to notations and basic results. Section 3 presents an approach to solve the problem (P) via maximizing sequences of (P). Section 4 focuses on the optimizing sequences, duality theorems and a dual scheme for solving linear semi-infinite fractional problems. Some examples are given in this section. The last part is devoted to the appendix.
2 Notations and preliminaries
2.1 Notations
An infinite matrix, denoted by \(\mathcal {A}\), is a twofold table of real or complex numbers. It is defined by
Let \(\mathcal {M}\) be the set of all infinite matrices. For \(\mathcal {A}, \mathcal {B} \in \mathcal {M}\) and \(\lambda \in \mathbb {R}\), the following operations can be found in the book of Richard G. Cooke [6]:
-
\(\mathcal {A}+ \mathcal {B}:=(a_{ij}+b_{ij}), i,j:=1,2,\ldots , \infty ;\)
-
\(\lambda \mathcal {A}:=(\lambda a_{ij}), i,j:=1,2,\ldots , \infty ;\)
-
\(\mathcal {A}. \mathcal {B}:=(c_{ij}),\; c_{ij}:=\sum _{k=1}^\infty a_{ik}.b_{kj}, i,j:=1,2,\ldots , \infty ,\) the sum \(c_{ij}\) exists;
-
\(\mathcal {A}^T\) is the transpose of \(\mathcal {A}\).
-
\((\mathcal {A}. \mathcal {B})^T=\mathcal {B}^T.\mathcal {A}^T.\)
The infinite matrix \(\mathcal {A}\) is said to be a row-finite matrix if each row contains only a finite number of non-zero elements, and is said to be a column-finite matrix if every column contains only a finite numbers of non-zero elements.
In this paper, the notation \(\mathcal {A}\) stands for a row-finite matrix, i.e.,
and the notation \(\mathcal {A}^T\) stands for the transposition of \(\mathcal {A}\).
We need the following notations:
\(\mathbb {R}^{[\mathbb {N}]}\) stands for the set of all sequences with only a finite number of nonzero terms;
\(\mathbb {R}_+^{[\mathbb {N}]}\) is the set of all nonnegative sequences of \(\mathbb {R}^{[\mathbb {N}]}\). Obviously, it is a convex cone of \(\mathbb {R}^{[\mathbb {N}]}\).
Let us denote
The problem (P) can be written in the form
where \(\mathcal {A}\) is a row-finite matrix. The optimal value of (P) is denoted by \(z_P\) and its feasible set is denoted by X,
Throughout the paper, we assume that \(D(x):=d^Tx+d_0 >0\) for all \(x \in X\), the feasible set X is bounded, the optimal value of (P) is finite, and the function F does not reduce to a constant on X.
3 Solving linear semi-infinite fractional problems
In this part, inspired by the method for solving linear semi-infinite problems introduced in [21] (see Theorem 7.3.1), we will find the optimal value of (P) via using a maximizing sequence. Note that, a sequence \(\{x_k\}\subset \mathbb {R}^n\) is said to be a maximizing sequence for (P) if
We need the following notations:
For each \(k\in \mathbb {N}\), let us consider the following problem:
Assume that the feasible set \(X_k\) of \(\mathrm{(P_k)}\) is a regular set, i.e., a nonempty and bounded set, D(x) is positive for all \(x \in X_k\), and the function F does not reduce to a constant on \(X_k\). In this case, the problem \(\mathrm{(P_k)}\) attains its optimal value over \(X_k\), [3, Theorem 4.3]. Obviously, as \(k \rightarrow \infty \), we obtain the problem (P).
Theorem 3.1
Suppose that, \(x_k \in X_k\) is an optimal solution of \(\mathrm{(P_k)}\) for each \(k \in \mathbb {N}\). Then, the sequence \(\{x_k\}_k\) is a maximizing sequence for \(\mathrm{(P)}.\) Moreover, if there exists \(k_0\) such that \(X_{k_0}\) is compact then there exists \({\bar{x}} \in X_{k_0}\) such that \( F({\bar{x}})=z_P.\)
Proof
Let \(\alpha =z_P\). For each \(k \in \mathbb {N}\), suppose that \(\bar{x}_k\in X_k\) is an optimal solution of \(\mathrm{(P_k)}\). It is obvious that,
Since \(\bar{x}_k\in X_k\) is an optimal solution of \(\mathrm{(P_k)}\) for each \(k \in \mathbb {N}\), from (2) we get
The sequence \(\{F(\bar{x}_k)\}_k\) is a decreasing sequence and is bounded below. Hence,
We claim that \(\alpha =\inf _k \{F(\bar{x}_k)\}_k\). Suppose to contrary that \(\alpha <\inf _k \{F(\bar{x}_k)\}_k\), i.e.,
It follows that \(X \subset X_k\) and \(X \ne X_k\) for all \(k=1,2, \ldots \), i.e., there exists \(y \in X_k\setminus X\), for all \(k=1,2, \ldots .\) It yields \(\bigcap _{k=1}^\infty X_k \ne X\), a contradiction.
On the other hand, if there exists \(k_0\) such that \(X_{k_0}\) is compact, then, by (2), the sequence \(\{x_k\}\) is bounded. Hence, there exists a subsequence of \(\{x_k\}_k\), denoted by \(\{x_{k_n}\}_n\), converges to \(\bar{x}\in X_{k_0}\). By the continuous property of the function F, we get
Since \(\{F(x_{k_n})\}_n\) is a subsequence of the sequence \(\{F(x_k)\}_k\), and \(\{F(x_k)\}_k\) is a convergent sequence, the uniqueness of limits implies that \(\{F(x_k)\} \rightarrow F(\bar{x})\). We obtain \(F(\bar{x})=\alpha .\) This completes the proof. \(\square \)
Remark 3.1
For large enough k, \(x_k\) can be seen as an approximate solution for (P).
4 Duality theorems and dual scheme for finding optimal solutions of (P)
In the paper [24], with some modifications on the Seshan’s dual scheme [18], a dual scheme for linear fractional programming problems is introduced. Due to that dual scheme, the dual problem for \(\mathrm{(P_k)}\) is formulated by
where \( Y_k\) consists of all \((u,v)\in \mathbb {R}^n\times \mathbb {R}^k\) satisfying the constraints
We assume that \(d^Tu+d_0 >0\) for every \((u,v) \in Y_k\).
The later dual scheme has a specific property. If we project the feasible set of the dual problem, formulated due to the scheme introduced in [24], into the horizon space of the primal problem, we can obtain the solution set of the primal problem (see Theorem A.4). Hence, that dual scheme is useful for us to study duality theorems for (P).
For convenience, weak, strong and converse duality theorems for \(\mathrm{(D_k)}\) will be introduced in the appendix of this article.
4.1 Duality theorems for (P)
In Sect. 3 , it is shown that there is a close connection between (P) and the problems \(\mathrm{(P_k)}\). Motivated by the constructions of the pair \((\mathrm{(P_k), (D_k)})\), we propose the dual problem of (P) as follows:
where the feasible set Y consists of all \((u,v)\in \mathbb {R}^n\times \mathbb {R}^{[\mathbb {N}]}\) satisfying the following constraints:
Since the primal problem (P) has a number of infinite constraints, the dual variable \(v \in \mathbb {R}^{[\mathbb {N}]}_+\) is used in the construction of (D). It was inspired by the dual variable space for linear semi-infinite program introduced in [1, p. 66].
Assume that \(d^Tu+d_0>0\) for all \((u,v) \in Y\). We also assume that the value of (D), denoted by \(z_D\), is finite. We note that, since \(v \in \mathbb {R}^{[\mathbb {N}]}_+\), the infinite sums in the feasible set of (D) are well defined.
Theorem 4.1
(Weak duality) For any \(x \in X\) and any \((u,v) \in Y\), one has
Proof
Let \(x \in X\) and \((u,v) \in Y\). Since \(v \in \mathbb {R}^{[\mathbb {N}]}_+\), the feasible set Y is well defined. Using a similar technique as in the proof of Theorem 2.1 in [24], we can obtain the desired result. \(\square \)
We now are at the position to study strong duality between (P) and (D). A sequence \(\{(u_k,v_k)\}_k\) is said to be a minimizing sequence for \(\mathrm{(D)}\) if \((u_k,v_k)\in \mathbb {R}^n_+\times \mathbb {R}^k_+\) for each \(k\in \mathbb {N}\) and
Theorem 4.2
(Strong duality) If \({\bar{x}}_k\in X_k\) is an optimal solution to \(\mathrm{(P_k)}\) for each \(k \in \mathbb {N}\), then, there exists \({\bar{v}}_k \in \mathbb {R}^k_+\) such that \(\{({\bar{x}}_k,{\bar{v}}_k)\}_k\) is a minimizing sequence for \(\mathrm{(D)}\) and
Proof
For each optimal solution \({\bar{x}}_k\) of \(\mathrm{(P_k)}\), \(k \in \mathbb {N}\), by Theorem A.2, there exists \(({\bar{u}}_k, \bar{v}_k) \in {Y}_k\) such that it is an optimal solution of \(\mathrm{({D}_k)}\), where \({\bar{u}}_k:={\bar{x}}_k\) and
Combining this and (3), we get
where \(\alpha = z_P\). The sequence \(\{I({\bar{u}}_k, {\bar{v}}_k)\}_k\) is a decreasing sequence and is bounded below. Hence, it is a convergent sequence. Moreover
where \(z_D\) is optimal value of (D). Note that, by Theorem 3.1, we have
Combining (13), (14) and the weak duality, we get
Hence, from (12), we obtain
The proof is completed. \(\square \)
Corollary 4.1
Suppose that, for each \(k \in \mathbb {N}\), the pair \(({\bar{u}}_k,\bar{v}_k)\) is an optimal solution for \(\mathrm{({D}_k)}\). Then, the sequence \(\{({\bar{u}}_k,{\bar{v}}_k)\}_k\) is a minimizing sequence for \(\mathrm{({D})}.\) Furthermore, strong duality between (P) and (D) holds.
Proof
Suppose that, for each \(k \in \mathbb {N}\), \((\bar{u}_k, \bar{v}_k)\) is an optimal solution of \(\mathrm{({D}_k)}\). By Theorem A.3, if we set \({\bar{x}}_k={\bar{u}}_k\) then \({\bar{x}}_k\) is an optimal solution of \(\mathrm{(P_k)}\). Hence, by Theorem 3.1, \(\{{\bar{x}}_k\}_k\) is a maximizing sequence for (P). Using an analogous argument as in the proof of Theorem 4.2, we can deduce the desired results. \(\square \)
Remark 4.1
From Theorem A.4, if we pick a point from the feasible set of \(\mathrm{({D}_k)}\) and project it into the horizon space of the problem \(\mathrm{(P_k)}\), we obtain an optimal solution of \(\mathrm{(P_k)}\), i.e.,
where \(\mathrm{Pr}_{\mathbb {R}^n}{({Y}_k)}:= \{ u_k \in \mathbb {R}^n_+\mid (u_k,v_k)\in Y_k\}\) and \(\mathrm{Sol(P_k)}\) is the optimal solution set of \(\mathrm{(P_k)}.\) Moreover, by Theorem A.2, for \(\bar{x}_k \in \mathrm{Sol (P_k)}\), we can choose a pair \((\bar{u}_k, \bar{v}_k) \in Y_k\) such that it is an optimal solution of \(\mathrm{(D_k)}\), where \(\bar{u}_k=\bar{x}_k \), \(\bar{v}_k=(d^T\bar{x}_k+d_0) \bar{v}^*\) and \(\bar{v}^*\) is an optimal solution of the problem \(\mathrm{(LD_k)}\). Here, \(\mathrm{(LD_k)}\) is a linear problem given in the proof of Theorem A.2.
4.2 Dual scheme for solving (P)
From Remark 4.1, we can see that the dual problem of (P) does not need to be solved because the maximizing sequence for the primal problem can be obtained by taking the first component of each element of feasible sequences of the problems \(\mathrm{(D_k)}\). Concretely, for each \(k \in \mathbb {N}\), if we have a feasible point \((u_k,v_k)\) of \(\mathrm{(D_k)}\) then \(u_k\) is an optimal solution of \(\mathrm{(P_k)}\). Hence, the sequence \(\{u_k\}_k\) is a maximizing sequence of \(\mathrm{(P_k)}\). The dual scheme for solving the problem (P) is proposed below.
-
Step 1:
From the problem (P), construct the problem \(\mathrm{(P_k)}\). Then, formulate the dual problem \(\mathrm{(D_k)}\) of \(\mathrm{(P_k)}\).
-
Step 2:
Determine the feasible set \({Y}_k\) of \(\mathrm{(D_k)}\). For each \(k:=1,2, \ldots \), pick a point \((\bar{u}_k,\bar{v}_k) \in {Y}_k\).
-
Step 3:
Build up the sequence \(\{\bar{u}_k\}_k\). It is a maximizing sequence for \(\mathrm{(P)}\). The optimal value of (P) follows.
Remark 4.2
The point \((\bar{u}_k,\bar{v}_k) \in {Y}_k\) can be found by using the simplex method.
The following examples are given in detail to illustrate the dual method for solving linear semi-infinite fractional problems.
Example 1
The feasible set of the above problem is \(\{x \in \mathbb {R} \mid x \ge \frac{k}{k+1}, k=1,2,...\}\). It is obvious that \(\max F(x)=1\).
This result can be checked by the dual scheme below. Let us consider the problem \(\mathrm{(P_{1k})}\) associated to \(\mathrm{(P_1)}.\)
where \(A=\left( \begin{array}{c} -2\\ -3\\ \vdots \\ -(k+1) \end{array} \right) \) and \(b=\left( \begin{array}{c} -1\\ -2\\ \vdots \\ -k \end{array} \right) . \)
The dual problem of \(\mathrm{(P_{1k})}\) is
where
Pick a point \((u,v) \in Y_{1k}\):
Due to the scheme, we get \(x_k=u= \frac{k}{k+1}\) is an optimal solution of \(\mathrm{(P_{1k})}\). The maximizing sequence of the primal problem is \(\{x_k\}=\{k/(k+1)\}\). Hence, the optimal value is
Example 2
The problem \((\mathrm{P}_{2\mathrm{k}})\) associated to \((\mathrm{P}_{2})\) is
where \(A=\left( \begin{array}{cc} 2&{}1\\ 3&{}2\\ \vdots &{}\vdots \\ k+1&{} k \end{array} \right) \) and \(b=\left( \begin{array}{c} 2\\ 3\\ \vdots \\ k+1 \end{array} \right) . \)
The dual problem of \(\mathrm{(P_{2k})}\) is
where
or,
If we choose \((u,v)=(u_1,u_2,v_1,v_2, \ldots , v_k)\) where
then \((u,v) \in Y_{2k}\). Hence, the minimizing sequence for \(\mathrm{(P_2)}\) is \(\{(0, \frac{k+1}{k})\}\). Thus, the optimal value of \(\mathrm{(P_2)}\) is 0.
5 Conclusion
We proposed a way to solve a linear countable semi-infinite fractional programming problem via a dual scheme. Due to the scheme, the dual problem does not need to be solved and the optimal value of the primal problem could be determined via optimizing sequences.
References
Anderson, E.J., Nash, P.: Linear Programming in Infinite Dimensional Spaces. Wiley, Great Britain, England (1987)
Asham, H., Kahn, A.: A complete algorithm for linear fractional programming. Comput. Math. Appl. 20(7), 11–23 (1990)
Bazalinov, E.B.: Linear Fractional Programming: Theory. Methods. Applications and Software. Springer-Science+Business Media, B. V. (2003)
Chadha, S.S., Chadha, V.: Linear fractional programming and duality. Cent. Eur. J. Oper. Res. 15(2), 119–125 (2007)
Charnes, A., Cooper, W.W.: Programming with linear fractional functionals. Nav. Res. Log. Q. 9(3–4), 181–186 (1962)
Cooke, R.G.: Infinite Matrices and Sequence Spaces. Macmilan and Co. Limited, London (1950)
Crouzeix, J., Ferland, J.A., Schaible, S.: Duality in generalized linear fractional programming. Math. Program. 27, 342–354 (1983)
Dinkelbach, W.: Die maximierung eines quotienten zweier linearer funktionen unter linearen nebenbedingungen. Probab. Theory Relat. Fields 1(2), 141–145 (1962)
Gabriel, J.R., López-Martínez, R.R., Lerma, O.H.: The lagrange approach to infinite linear programs. Sociedad de Estadistica e Investigacidn Operativa 9(2), 293–314 (2001)
Ghate, A.: Robust optimization in countably infinite linear programs. Optim. Lett. 10, 847–863 (2016)
Ghate, A., Smith, R.L.: Characterizing extreme points as basic feasible solutions in infinite linear programs. Oper. Res. Lett. 37, 7–10 (2009)
Goberna, M.A., Lopez, M.A.: Linear Semi-Infinite Optimization. Wiley, Chichester, England (1998)
Hettich, R., Kortanek, K.O.: Semi-infinite programming: theory, methods, and applications. SIAM Rev. 35(3), 380–429 (1993)
Hu, H.: One phrase algorithm for semi-infinite linear programming. Math. Program. 46, 85–103 (1990)
Kornbluth, J.S.H., Stuer, R.E.: Multiple objective linear fractional programming. Manag. Sci. 27(9), 1024–1039 (1981)
Nayak, S., Ojha, A.K.: Solution approach to multi-objective linear fractional programming problem using parametric functions. Opsearch 56, 174–190 (2019)
Panday, P., Punnen, A.P.: A simple algorithm for piecewise-linear fractional programming problems. Eur. J. Oper. Res. 178, 343–358 (2007)
Seshan, C.R.: On duality in linear fractional programming. Proc. Indian Acad. Sci. Math. Sci. 89, 35–42 (1980)
Sharkey, T.C.: Infinite Linear Programs. Wiley Encyclopedia of Operations Research and Management Science. Wiley, In book (2011)
Sharma, I.C., Swarup, K.: On duality in linear fractional functionals programming. Math. Methods Oper. Res. 16(3), 92–100 (1972)
Shivakumar, P.N., Sivakumar, K.C., Zhang, Y.: Infinite Matrices and Their Recent Applications. Springer, Switzerland (2016)
Singh, S., Haldar, N.: A new method to solve bilevel quadractic linear fractional programming problems. Int. Game Theory Rev. 17(2), 1540017 (2015)
Sivakumar, K.C., Swarna, J.M.: Explicit solvability of dual pairs of infinite linear programs. Opsearch 42(3), 288–296 (2005)
Son, T.Q.: On a duality scheme in linear fractional programming. Nonlinear Anal. Forum 11(2), 137–145 (2006)
Son, T.Q., Khoa, H.: A note on dual scheme of a linear fractional programming problem. J. Nonlinear Anal. Optim. 8, 1–6 (2017)
Stancu-Minasian, I.M.: Fractional Programming. Kluwer, Dordrecht (1997)
Stancu-Minasian, I.M.: A ninth bibliography of fractional programming. Optimization 68(11), 2125–2169 (2019)
Swarup, K.: Linear fractional functions programming. Oper. Res. 13(6), 1029–1036 (1965)
Tantawy, F.S.: A new method for solving linear fractional programming problems. Aust. J. Basic Appl. Sci. 1(2), 105–108 (2007)
Tantawy, F.S.: A new procedure for solving linear fractional programming problems. Math. Comput. Model. 48, 969–973 (2008)
Verma, R.U.: Semi-Infinite Fractional Programming. Springer, Singapore (2017)
Acknowledgements
The authors are grateful to one of the anonymous referees for his valuable suggestions and remarks which helped us to improve the quality of the paper. The first author was supported partially by Vietnam National Foundation for Science and Technology Development (NAFOSTED) under grant number 101.01-2020.09. The second author was supported by the National Research Foundation of Korea (NRF) Grant funded by the Korean Government (NRF-2019R1A2C1008672).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this part, we mention some duality theorems for linear fractional programming problems introduced in [18, 26] and refined in [24]. For convenience, the theorems are restated for \(\mathrm{(P_k)}\) and \(\mathrm{(D_k)}\) without proofs except Theorem A.2.
Theorem A.1
(Weak duality) One has
Theorem A.2
(Strong duality) If \(\bar{x}_k\) is an optimal solution of \(\mathrm{(P_k)}\) then there exists an optimal solution \((\bar{u}_k,\bar{v}_k)\) of \(\mathrm{({D}_k)}\) and
Proof
Let \(\bar{x}_k\) be an optimal solution of \(\mathrm{(P_k)}\). By Dinkelbach transformation and by setting \(\displaystyle {\bar{\lambda }=\frac{c^T\bar{x}_k+c_0}{d^T\bar{x}_k+d_0}}\), we have the following linear problem:
It is easy to verify that \(\bar{x}_k\) is also an optimal solution of \(\mathrm{(LP_k)}\) and its optimal value is 0, (see [3, Theorem 3.2]). According to dual scheme in linear programming, we obtain the dual problem of \(\mathrm{(LP_k)}\):
Note that the optimal value of \(\mathrm{(LD_k)}\) is 0 and \(\mathrm{(LD_k)}\) must have an optimal solution \(\bar{v}^*\ge 0\). Hence,
Choose \(\bar{u}_k= \bar{x}_k\) and \(\bar{v}_k=(d^T\bar{x}_k+d_0) \bar{v}^*\). We claim that \((\bar{u}_k,\bar{v}_k)\) is an optimal solution of \(\mathrm{(D_k)}.\) Obviously, the conditions (6) and (7) hold for \({\bar{u}}_k\) and \({\bar{v}}_k\). We need to verify (4) and (5). Since
the condition (4) holds. Next we verify (5). Multiplying both sides of (16) by \((d^T\bar{x}_k+d_0)>0\) and noting that \(\bar{\lambda }(d^T\bar{x}_k+d_0)=(c^T\bar{x}_k+c_0),\) we get
Hence,
Thus, \(({\bar{u}}_k, {\bar{v}}_k)\) is a feasible solution of \(\mathrm{(D_k)}\). Since \(F(\bar{x}_k)=F(\bar{u}_k)=I(\bar{u}_k, \bar{v}_k)\), the pair \((\bar{u}_k, \bar{v}_k)\) is an optimal solution of \(\mathrm{(D_k)}\). The proof is complete. \(\square \)
Theorem A.3
(Converse duality) If \((\bar{u}_k,\bar{v}_k)\) is an optimal solution of \(\mathrm{({D}_k)}\) then there exists an optimal solution \(\bar{x}_k\) of \(\mathrm{(P_k)}\) such that the equality (15) holds.
Theorem A.4
One has
where \(\mathrm{Pr}_{\mathbb {R}^n}{({Y}_k)}= \{ u_k \in \mathbb {R}^n \mid (u_k,v_k)\in {Y}_k\},\) \({Y}_k\) is the feasible set of \(\mathrm{(D}_k)\) and \(\mathrm{Sol(P_k)}\) is the solution set of \(\mathrm{(P_k)}.\)
Corollary A.1
The solution set of \(\mathrm{(P_k)}\) is nonempty if and only if the feasible set of \(\mathrm{({D}_k)}\) is nonempty.
Rights and permissions
About this article
Cite this article
Son, T.Q., Kim, D.S. A dual scheme for solving linear countable semi-infinite fractional programming problems. Optim Lett 16, 575–588 (2022). https://doi.org/10.1007/s11590-021-01735-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11590-021-01735-y