• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.47-56
• /
• 2012

In this article, we continue the study of tense symmetric Heyting algebras (or TSH-algebras). These algebras constitute a generalization of tense algebras. In particular, we describe a discrete duality for TSH-algebras bearing in mind the results indicated by Or lowska and Rewitzky in [E. Orlowska and I. Rewitzky, Discrete Dualities for Heyting Algebras with Operators, Fund. Inform. 81 (2007), no. 1-3, 275-295] for Heyting algebras. In addition, we introduce a propositional calculus and prove this calculus has TSH-algebras as algebraic counterpart. Finally, the duality mentioned above allowed us to show the completeness theorem for this calculus.

• Journal of applied mathematics & informatics
• /
• v.29 no.5_6
• /
• pp.1533-1539
• /
• 2011

In this paper, a class of nonlinear bilevel programs, i.e. the lower level problem is linear programs, is considered. Aiming at this special structure, we append the duality gap of the lower level problem to the upper level objective with a penalty and obtain a penalized problem. Using the penalty method, we give an existence theorem of solution and propose an algorithm. Then, a numerical example is given to illustrate the algorithm.

• East Asian mathematical journal
• /
• v.26 no.3
• /
• pp.337-350
• /
• 2010

Strong convergence theorem of the explicit viscosity iterative scheme involving the sunny nonexpansive retraction for nonexpansive nonself-mappings is established in a reflexive and strictly convex Banach spaces having a weakly sequentially continuous duality mapping. The main result improves the corresponding result of [19] to the more general class of mappings together with certain different control conditions.

• Journal of applied mathematics & informatics
• /
• v.30 no.3_4
• /
• pp.413-428
• /
• 2012

Every contingent claim is unable to be replicated in the incomplete markets. Shortfall risk is considered with some risk exposure. We show how the dynamic optimization problem with the capital constraint can be reduced to the problem to find an optimal modified claim $\tilde{\psi}H$ where$\tilde{\psi}H$ is a randomized test in the static problem. Convex and coherent risk measures defined in the Orlicz hearts spaces, $M^{\Phi}$, are used as risk measure. It can be shown that we have the same results as in [21, 22] even though convex and coherent risk measures defined in the Orlicz hearts spaces, $M^{\Phi}$, are used. In this paper, we use Fenchel duality Theorem in the literature to deduce necessary and sufficient optimality conditions for the static optimization problem using convex duality methods.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.787-794
• /
• 2014

We prove three convex hull theorems on triangles and circles. Given a triangle ${\triangle}$ and a point p, let ${\triangle}^{\prime}$ be the triangle each of whose vertices is the intersection of the orthogonal line from p to an extended edge of ${\triangle}$. Let ${\triangle}^{{\prime}{\prime}}$ be the triangle whose vertices are the centers of three circles, each passing through p and two other vertices of ${\triangle}$. The first theorem characterizes when $p{\in}{\triangle}$ via a distance duality. The triangle algorithm in [1] utilizes a general version of this theorem to solve the convex hull membership problem in any dimension. The second theorem proves $p{\in}{\triangle}$ if and only if $p{\in}{\triangle}^{\prime}$. These are used to prove the third: Suppose p be does not lie on any extended edge of ${\triangle}$. Then $p{\in}{\triangle}$ if and only if $p{\in}{\triangle}^{{\prime{\prime}}$.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.3
• /
• pp.523-534
• /
• 2010

In this paper, we consider the weighted Bloch spaces ${\mathcal{B}}_q$(q > 0) on the open unit ball in ${\mathbb{C}}^n$. We prove a certain integral representation theorem that is used to determine the degree of growth of the functions in the space ${\mathcal{B}}_q$ for q > 0. This means that for each q > 0, the Banach dual of $L_a^1$ is ${\mathcal{B}}_q$ and the Banach dual of ${\mathcal{B}}_{q,0}$ is $L_a^1$ for each $q{\geq}1$.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.43-51
• /
• 2002

The aim of this paper is to prove a convergence theorem of a generalized Ishikawa iteration sequence for two multi-valued strongly pseudo-contractive mappings by using an approximation method in real uniformly smooth Banach spaces. We generalize and extend the results of Chang and Chang, Cho, Lee, Jung, and Kang.

• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.3
• /
• pp.293-299
• /
• 2008

In this paper, we prove strong convergence theorems for a finite family of uniformly L-Lipschitzian mappings by a cyclic iterative algorithm in the framework of Banach spaces. Our results improve and extend the recent ones announced by many others.

• East Asian mathematical journal
• /
• v.25 no.1
• /
• pp.97-105
• /
• 2009

In this paper, we prove a strong convergence theorem for a common fixed point of two relatively nonexpansive mappings in a Banach space by using the modified Ishikawa iteration method. Our results improved and extend the corresponding results announced by many others.