Abstract
The main aim of this paper is to find t-best approximation in a fuzzy normed space via the optimization formulation. It is formulated as a constrained minimization problem which is solved by using penalty method. Each penalty is solved by using inexact steepest descent algorithm.
Introduction
L. A. Zadeh [43] introduced the fuzzy sets theory in 1965. Later many researchers have applied this theory to the well-known results in the classical set theory. Therefore it has become an area of active research for nearly forty years. The fuzzy logic has been used not only in many engineering applications, for example, in the population dynamics [4], in the quantum physics [10], in the control of chaos [16], in decision making [38, 39], and in bifurcation of nonlinear dynamical systems [20], but also in various branches of mathematics, such as, in metric and topological spaces [1, 22], in the approximation theory [2], in functional equations [15, 42], in the theory of functions [7, 21], in stability problem [26, 31], in fuzzy random variables [37], convergence of sequences of fuzzy real numbers [19], in statistical convergence [28, 30], and in nonlinear operators [29, 40]. There are many studies in the field of fuzzy topology. Since, fuzzy topology has very important applications in the quantum particle physics [11, 12]. One of the most important problems in fuzzy topology is to obtain an appropriate concept of fuzzy metric space. This problem has been investigated by many authors [3, 35] from the different points of view. Beg et al. used altering distance function to extend the notion of (φ, ψ)-weak contraction to intuitionistic fuzzy metric spaces [6]. In particular, George and Veeramani [17] have introduced and studied a notion of fuzzy metric space with the help of continuous t-norms, which constitutes a slight but appealing modification of the one due to Kramosil and Michalek [23]. Veeramani [36] in 2001 introduced the concept of t-best approximation in fuzzy metric spaces and Vaezpour and Karimi [24] introduced the concept of t-best approximation in fuzzy normed spaces. Recently Yilmaz introduced and studied the notion of weak and strong Schauder bases in fuzzy normed spaces [41]. In [18] Golet introduced a generalization of the concept of fuzzy normed spaces which includes some earlier defined fuzzy normed spaces as special cases. Eshaghi et al. established some stability results concerning the Cauchy-Jensen functional equation in generalized fuzzy normed spaces [15]. Also Eshaghi and Abbaszadeh surveyed Hyers-Ulam stability of Cauchy-Jensen functional inequality in fuzzy Banach spaces [14]. Mohiuddine in [27] defined a fuzzy 2-normed space and studied the concept of best approximation in fuzzy 2-normed spaces
On the other hand the problems of best approximation were initiated first by P. L. Chyebyshev in 1853. Problems of this kind deal with the search for a function in a prescribed class which has the least deviation from a given function, as measured in a prescribed metric. The theory of best approximation is mainly concerned with the questions of existence, uniqueness, characterizations and qualitative properties of the minimizing functions. It also deals with the continuity properties of the metric projection and the selection for a metric projection. There is a computational side of the theory which seeks algorithms that grind-out a sequence of functions which converge to a minimizing function, estimates rapidity of convergence, etc.
However there is no systematic way to obtain the t-best approximation in a given fuzzy normed space. In this paper the problem of finding t-best approximation will be considered as a minimization problem which is solved by using inexact steepest descent algorithm.
N (x, t) >0, N (x, t) =1 ⇔ x = 0, N (αx, t) = N (x, t/|α|), for all α ≠ 0, N (x, t) * N (y, s) ≤ N (x + y, t + s), N (x, .) : (0, ∞) ⟶ [0, 1] is continuous, Limt→∞N (x, t) =1.
An element y0 is said to be a t-best approximation of x from A if
The paper is organized as follows: Section 2 introduces the proposed problem that must be solved. Section 3 presents the algorithm for solving the proposed problem and proves the algorithm finds the optimal solution. Finally, in Section 4 numerical examples are given to demonstrate the convergence and accuracy of the algorithm.
The constrained optimization formulation of the problem (1) is
The method of steepest descent, proposed by Cauchy in 1847, is one of the most fundamental procedure for minimizing function of severable variables. The convergence analysis for an inexact steepest descent algorithm applied to a function will be presented as follows.
Let . For a, b ∈ [0, 1], let a * b = ab. Suppose that , let (X, N, *) be a fuzzy normed space. Also let A ⊆ X be the constraint set. Then one can write
In general the set A has the following form [5],
For these constraints, a suitable penalty function P (x) is given by
Now, one can formulate the problem of obtaining t-best approximation in a fuzzy normed space as an optimization problem as follows:
By the penalty function (7) and changing maximization to minimization, one can get
Now, suppose that f, g
i
, i = 1, ⋯ , m and h
j
, j = 1, 2, ⋯ , l, are 2-times continuously differentiable on any compact set in . By the mean value theorem [34], ∇f, ∇g
i
, i = 1, ⋯ , m and ∇h
j
, j = 1, 2, ⋯ , l, are Lipschitz continuous. Therefore, for some x ∈ S (x0), one can get
Then, ∇F (x) satisfies the Lipschitz condition on S (x0) for some . Now by theorem mentioned above, one can conclude that the inexact steepest descent algorithm is convergent to the optimal solution for the t-best approximation problem.
In this section, to demonstrate the efficiency of the method for obtaining the t-best approximation of a point from a given set, the numerical examples will be solved. The results are presented in some tables.
Then (X, N, *) is a fuzzy normed space. Let , and x0 = (0, 3). Then for every t > 0,
The exact solution of this problem is (1, 1) [24]. So, for every t > 0, y0 = (1, 1) is t-best approximation of (0, 3) from A. By the process discussed in the preceding section, one can rewrite (17) as a minimization problem,
This is a constrained optimization problem. In order to use the steepest descent (SD) algorithm, it must be transformed to an unconstrained one. This transformation is done by using a penalty function. Precisely f and g i , i = 1, 2, 3, 4, satisfy the assumptions of theorem (1) mentioned in the preceding section. Thus the convergence to the optimal solution is guaranteed. Hence, the above problem is written as:
By choosing some initial points and running the SD algorithm, one can obtain the corresponding optimal solutions and their elapsed time, these results are shown in Table 1.
The penalty problem (19) was also simulated with Nelder-Mid (NM) algorithm [5]. For this algorithm one problem is solved with C = 107 and the results of the NM algorithm and the elapsed time for each of the initial points are shown in Table 2. According to the data in Tables 1, 2 one can simply state that the the SD algorithm is more accurate than the NM algorithm but in terms of computational time it is seen that the NM algorithm is faster than SD one. The reason is that NM is a search algorithm that only uses function evaluations but SD is a derivative based algorithm. On the other hand the data in the Table 3 shows that the conjugate gradient (CG) algorithm [25] fails to get the optimal solutions when the same sequence of subproblems is run as in the case of SD one. Taking small nearly orthogonal step the SD algorithm has poor convergence and suffers from the zigzagging phenomenon specially at later stages.
In spite of the above mentioned weaknesses, the SD algorithm is the first algorithm to be used for solving any new problem. Also it is a benchmark to test new algorithms and many algorithms have been introduced to overcome some of its weaknesses. To be convergent, the Newton’s algorithm needs the initial point be sufficiently close to the optimal solution but SD one lacks this shortcoming, that is, Newton’s algorithm is locally convergent but SD is globally convergent.
Then (X, N, *) is a fuzzy normed space. Let A = [0, 1] and x0 ∈ X, t > 0. Then
The objective is to obtain a point or points that are the t-best approximation of x0 via the optimization process. Reformulating the above problem as an optimization problem yields
Or equivalently,
Precisely f and g i , i = 1, 2, satisfy the assumptions of theorem 1 mentioned in the preceding section. Thus the convergence to the optimal solution is guaranteed. Interchanging maximization to minimization and using the penalty function, one can get:
To run this problem using the SD algorithm two subproblems are chosen based on the value of the penalty parameter C k , that is, {C1, C2} = {105, 105}. But in case of NM and CG algorithms only one problem is solved with C1 = 105.
Choosing some initial points, one can compute the optimal solution of the minimizing problem or the t-best approximation of x0 = 2. Table 4 shows the optimal solutions and their elapsed time which are obtained by SD algorithm. One can simply see that the theoretical predict is true. In Table 5 the optimal solution and related elapsed time of every initial point, which are computed by NM algorithm, are given.
The comparison of the optimal solutions and the elapsed time in Tables 4, 5 shows that both SD and NM algorithms have almost the same accuracy and computational time. However comparing these results with that of CG algorithm, shown in Table 6, reveals that the CG algorithm is both the fastest and the most accurate algorithm.
The results in Tables 7 and 8 are obtained using the SD and NM algorithm respectively. The comparison of these data related to the two algorithms shows that the accuracy of the two methods is the same. Also they have almost the same computational time. Once again, by Table 9, it is seen that CG is the most accurate and the fastest algorithm for solving the problem arising in finding t-best approximation in a fuzzy normed space.
In this paper, a novel approach was introduced for obtaining the t-best approximation of a point from a given set in a fuzzy normed space. At first, this process was reformulated as a constrained maximization problem. Then, by using the penalty method and interchanging maximization to minimization, the t-best approximation problem had been written as an unconstrained minimization problem. At last, it was solved using the inexact steepest descent algorithm. Moreover, to discuss the efficiency of this approach two numerical examples were solved using the mentioned algorithm. As future researches, p-best approximation in fuzzy normed space and t-best approximation in intuitionistic fuzzy normed spaces can also be formulated as a constrained optimization problem. Since steepest descent algorithm has almost low convergence rate for penalty problem, other optimization algorithms rather than steepest descent can be used to solve t- best approximation in fuzzy normed spaces either in constrained case or in unconstrained one. For constrained optimization problems one can use primal methods such as the gradient projection method and the reduced gradient method or use dual methods such as the augmented Lagrangian methods.
Footnotes
Acknowledgments
The authors would like to thank the referees for their helpful comments and a careful reading of the article.
