• The Pure and Applied Mathematics
• /
• v.18 no.1
• /
• pp.13-29
• /
• 2011

In this paper, we introduce the new concept of ${\omega}-D^*$-distance on a $D^*$-metric space and prove a non-convex minimization theorem which improves the result of Caristi[1], ${\'{C}}iri{\'{c}}$[2], Ekeland[4], Kada et al.[5] and Ume[8, 9].

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.21 no.4
• /
• pp.43-51
• /
• 1984

In the case of Quine Mccluskey's methode for Boolean function minimization, we have to examine each bits of binary represented minterms. In this paper, cube relations between misterms that are represented by means of decimal number, and all sorts of rules for Boolean function minimization are described as theorems, and they are verified. And based on these theorems, the new fast algorithm for Boolean function minimization is proposed. An example of manual operation is sholvn, and the process is writed out by a FORTRAN program. In this program, the essential pl.imp implicants of the Boolean function that has 100 each of minterms including redundant minterms, are finked and printed out, (the more minterms can be treated if we take the more larger size of arrays) and the outputs are coincided with the results of manual operation.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.565-585
• /
• 1996

In 1976, Caristi [1] established a celebrated fixed point theorem in complete metric spaces, which is a very useful tool in the theory of nonlinear analysis. Since then, several generalizations of the theorem were given by a number of authors: for instances, generalizations for single-valued mappings were given by Downing and Kirk [4], Park [11] and Siegel [13], and the multi-valued versions of the theorem were obtained by Chang and Luo [3], and Mizoguchi and Takahashi [10].

• Bulletin of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.55-60
• /
• 1984

In [2], D. Downing and W.A. Kirk obtained a number of fixed point theorems for set-valued maps in matric and Banach spaces. The authors considered maps which are more general than the contractions with nonempty and closed mapping values, and obtain results for maps satisfying certain "inwardness" conditions. A key aspect of their approach is the application of a general fixed point theorem due to Caristi [1]. On the other hand, in [6], the present author obtained a number of equivalent formulations of the well-known result of I. Ekeland [3, 4] on the variational principle for approximate solutions of minimization problems. Some of such formulations include sharpened forms of the Caristi theorem. In this paper, using one of such formulations, we show that Theorems 1-3 and Corollaries 1-5 of [2] are substantially improved by giving geometric estimations of fixed points.ed points.

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.251-261
• /
• 2008

In this paper second order cone convex, second order cone pseudoconvex, second order strongly cone pseudoconvex and second order cone quasiconvex functions are introduced and their interrelations are discussed. Further a MondWeir Type second order dual is associated with the Vector Minimization Problem and the weak and strong duality theorems are established under these new generalized convexity assumptions.

• Journal of applied mathematics & informatics
• /
• v.35 no.5_6
• /
• pp.423-438
• /
• 2017

The aim of this paper is to present two new viscosity rules for nonexpansive mappings in Hilbert spaces. Under some assumptions, the strong convergence theorems of the purposed new viscosity rules are proved. Some applications are also included.