• 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.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.409-421
• /
• 2018

Let X be a complex manifold of dimension n $n{\geqslant}2$ and let ${\Omega}{\Subset}X$ be a weakly q-convex domain with smooth boundary. Assume that E is a holomorphic line bundle over X and $E^{{\otimes}m}$ is the m-times tensor product of E for positive integer m. If there exists a strongly plurisubharmonic function on a neighborhood of $b{\Omega}$, then we solve the ${\bar{\partial}}$-problem with support condition in ${\Omega}$ for forms of type (r, s), $s{\geqslant}q$ with values in $E^{{\otimes}m}$. Moreover, the solvability of the ${\bar{\partial}}_b$-problem on boundaries of weakly q-convex domains with smooth boundary in $K{\ddot{a}}hler$ manifolds are given. Furthermore, we shall establish an extension theorem for the ${\bar{\partial}}_b$-closed forms.

• Journal of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.841-858
• /
• 2008

In this paper, we introduce two classes of generalized variational-like inequalities with compositely monotone multifunctions in Banach spaces. Using the KKM-Fan lemma and the Nadler's result, we prove the existence of solutions for generalized variational-like inequalities with compositely relaxed ${\eta}-{\alpha}$ monotone multifunctions in reflexive Banach spaces. On the other hand we also derive the solvability of generalized variational-like inequalities with compositely relaxed ${\eta}-{\alpha}$ semimonotone multi functions in arbitrary Banach spaces by virtue of the Kakutani-Fan-Glicksberg fixed-point theorem. The results presented in this paper extend and improve some earlier and recent results in the literature.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.1
• /
• pp.189-206
• /
• 2014

In this paper, we prove the global existence and uniqueness of the dissipative Kirchhoff equation $$u_{tt}-M({\parallel}{\nabla}u{\parallel}^2){\triangle}u+{\alpha}u_t+f(u)=0\;in\;{\Omega}{\times}[0,{\infty}),\\u(x,t)=0\;on\;{\Gamma}_1{\times}[0,{\infty}),\\{\frac{{\partial}u}{\partial{\nu}}}+g(u_t)=0\;on\;{\Gamma}_0{\times}[0,{\infty}),\\u(x,0)=u_0,u_t(x,0)=u_1\;in\;{\Omega}$$ with nonlinear boundary damping by Galerkin approximation benefited from the ideas of Zhang et al. [33]. Furthermore,we overcome some difficulties due to the presence of nonlinear terms $M({\parallel}{\nabla}u{\parallel}^2)$ and $g(u_t)$ by introducing a new variables and we can transform the boundary value problem into an equivalent one with zero initial data by argument of compacity and monotonicity.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.471-478
• /
• 2006

In this paper we prove that if AX=b is a partial sign-solvable linear system with A being sign non-singular matrix and if ${\alpha}=\{j:\;x_j\;is\;sign-determined\;by\; Ax=b\}, then $A_{\alpha}X_{\alpha}=b_{\alpha}$ is a sign-solvable linear system, where $A_{\alpha}$ denotes the submatrix of A occupying rows and columns in o and xo and be are subvectors of x and b whose components lie in ${\alpha}$. For a sign non-singular matrix A, let $A_l,\;...,A_{\kappa}$ be the fully indecomposable components of A and let ${\alpha}_i$ denote the set of row numbers of $A_r,\;r=1,\;...,\;k$. We also show that if $A_x=b$ is a partial sign-solvable linear system, then, for $r=1,\;...,\;k$, if one of the components of xor is a fixed zero solution of Ax=b, then so are all the components of x_{{\alpha}r}$.

• 제어로봇시스템학회:학술대회논문집
• /
• 1994.10a
• /
• pp.346-349
• /
• 1994

This paper is concerned with a motion control of a manipulator under parametric uncertainties and external disturbances. The parametric uncertainties are regarded as internally generated disturbances in the manipulator. Based on this idea, we formulate a model reference control problem with desired disturbance attenuation. The solution of this control problem not only reduces the worst-case effect on tracking error due to internal and external disturbances (combined disturbances) as much as possible, but also achieve optimal tracking when perturbations are absent. In order to solve the control problem which is formulated in this paper we reduce it to a constrained minmax cost control problem. A differential game theory is used to treat this constrained minmax cost control problem. The differential game theory leads to a sufficient condition for the global solvability of the model reference control problem with desired disturbance attenuation.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.2
• /
• pp.28-36
• /
• 1996

By utilizing the interinsic structure of the underlying continous-time nonlinear system, one can design an approximate sampled-data observer improved with respect ot the sampling-time for the systems. In this paper, we characterize the conditions for the solvability of the improved approximate sampled-data nonlinear observer design problem. In particular, it is shown that when the dimension of the state space is two, the nonlinear systems for which it is possible ot desing 3rd or higher order approximate sampled-data nonlinear observer are locally state-equivalent to an observable bilinear system. The practical implication is that seeking higher order approximate sampled-data nonlinear observer for nonlinear systems is very restricted.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.5
• /
• pp.557-562
• /
• 2004

This paper deals with a robust mixed ${H_2}/{H_{\infty}}$ filter design problem for a nonlinear dynamic system modeled as a T-S fuzzy system. Integral quadratic constraints are used to describe various kinds of uncertainties of the plant. A sufficient condition for solvability is given in terms of linear matrix inequality problem which can be efficiently solved using a convex optimization technique. In order to demonstrate the Proposed method, a numerical design example is provided.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.592-595
• /
• 1999

In this paper, we propose a unified method to solve the various robust filtering problem for a class of uncertain discrete time systems. Generally, to solve the robust filtering problem, we must convert the convex optimization problem with uncertainty blocks to the uncertainty free convex optimization problem. To do this, we derive the robust matrix inequality problem. This technique involves using constant scaling parameter which can be optimized by solving a linear matrix inequality problem. Therefore, the robust matrix inequality problem does not conservative. The robust filter can be designed by using this robust matrix inequality problem and by considering its solvability conditions.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.971-974
• /
• 2002

Petri net is an effective modeling tool for concurrent systems. Liveness problem is one of analysis problems in Petri net theory verifying whether the system is free from any local deadlocks. It is well known that computational complexity of liveness problem of general Petri net is deterministic exponential space. Some subclasses, such as marked graph and free choice net, are suggested where liveness problem is verified in less complexity. This paper studies liveness of siphon containing circuit (SCC) net. Liveness condition based on algebraic inequalities is shown. Then polynomial time decidability of liveness of SCC net is derived, if the given net is known to be an SCC net a priori.