• Bulletin of the Korean Mathematical Society
• /
• v.49 no.6
• /
• pp.1213-1222
• /
• 2012

The aim of this paper is to establish the existence of three solutions for a Sturm-Liouville mixed boundary value problem. The approach is based on multiple critical points theorems.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.227-248
• /
• 2017

In this paper, we reduce the classification problem of equivariant (topological complex) vector bundles over a simple graph to the classification problem of their isotropy representations at vertices and midpoints of edges. Then, we solve the reduced problem in the case when the simple graph is homeomorphic to a circle. So, the paper could be considered as a generalization of [3].

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.2
• /
• pp.337-345
• /
• 2004

In allelic model X = ($\chi_1\chi$_2ㆍㆍㆍ, \chi_d$), M_f(t) = f(p(t)) - ${{\int^t}_0}\;Lf(p(t))ds$ is a P-martingale for diffusion operator L under the certain conditions. In this note, we can show existence and uniqueness of solution for stochastic differential equation and martingale problem associated with mean vector. Also, we examine that if the operator related to this martingale problem is connected with Markov processes under certain circumstance, then this operator must satisfy the maximum principle.

• East Asian mathematical journal
• /
• v.33 no.3
• /
• pp.265-269
• /
• 2017

In this paper, we formulate a sufficient optimality theorem for the robust optimization problem (UP) under (V, ${\rho}$)-invexity assumption. Moreover, we formulate a Mond-Weir type dual problem for the robust optimization problem (UP) and show that the weak and strong duality hold between the primal problems and the dual problems.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.1
• /
• pp.101-116
• /
• 2009

In 1940 S.M. Ulam proposed the famous Ulam stability problem. In 1941 D.H. Hyers solved the well-known Ulam stability problem for additive mappings subject to the Hyers condition on approximately additive mappings. In this paper we improve results for Jensen type mappings and establish new theorems about the Ulam stability of additive and alternative Jensen type mappings.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10a
• /
• pp.388-393
• /
• 1990

A robot manipulator and an obstacle are described mathematically in joint space, with the mathematical representation for the collision between the robot manipulator and the obstacle. Using these descriptions, the robot motion planning problem is formulated which can be used to avoide a time varying obstacle. To solve the problem, the constraints on motion planning are discretized in joint space. An analytical method is proposed for planning the motion in joint space from a given starting point to the goal point. It is found that solving the inverse kinematics problem is not necessary to get the control input to the joint motion controller for collision avoidance.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.63-71
• /
• 2010

In this paper, we analyze a zero-knowledge identification scheme presented in [1], which is based on an average-case hard problem, called distributional matrix representability problem. On the contrary to the soundness property claimed in [1], we show that a simple impersonation attack is feasible.

• Journal of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.83-100
• /
• 2010

In this article, an optimal control problem associated with convection-diffusion equation is considered. Using Lagrange multiplier, the optimality system is obtained. The derived optimal system becomes coupled, non-symmetric partial differential equations. For discretizations and implementations, the finite element multigrid V-cycle is employed. The convergence analysis of finite element multigrid methods for the derived optimal system is shown. Some numerical simulations are performed.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.1025-1031
• /
• 2017

We prove the uniqueness of solutions for the boundary value problem of certain nonlinear elliptic operators in the setting: Given any continuous function f on the p-harmonic boundary of a complete Riemannian manifold, there exists a unique solution of certain nonlinear elliptic operators, which is a limit of a sequence of solutions of the operators with finite energy in the sense of supremum norm, on the manifold taking the same boundary value at each p-harmonic boundary as that of f.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1787-1799
• /
• 2017

In this paper, we prove basic a priori estimate for the ${\bar{\partial}}$-Neumann problem on an annulus between two pseudoconvex submanifolds of a Stein manifold. As a corollary of the result, we obtain the global regularity for the ${\bar{\partial}}$-problem on the annulus. This is a manifold version of the previous results on pseudoconvex domains.