• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.301-309
• /
• 1998

The purpose of this paper is to give a theorem of Liouvilletype for complete Riemannian manifolds as an extension of the Theorem of Nishikawa [6].

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.565-573
• /
• 2001

In this paper, we first rove the strict quasi-concavity of maximizing function, and next prove a new maximum theorem using Fan’s generalization of the classical KKM theorem. Also an existence theorem of social equilibrium can be proved when an additional assumption on the constraint correspondence is assumed. Finally, we give illustrative two examples of constrained optimization problems.

• Research in Mathematical Education
• /
• v.27 no.1
• /
• pp.75-92
• /
• 2024

Mathematical argument has been given much attention in the research literature as a mediating construct between reasoning and proof. However, there have been relatively less efforts made in the research that examined the nature of empirical arguments represented in textbooks and how students perceive them as proofs. Cases of point include Intermediate Value Theorem [IVT] and Maximum-Minimum theorem [MMT] in grade 11 in Korea. In this study, using Toulmin's framework (1958), the author analyzed the substance of the empirical arguments provided for both MMT and IVT to draw comparisons between the nature of datum, claims, and warrants among empirical arguments offered in textbooks. Also, an online survey was administered to learn about how students view as proofs the empirical arguments provided for MMT and IVT. Results indicate that nearly half of students tended to accept the empirical arguments as proofs. Implications are discussed to suggest alternative approaches for teaching MMT and IVT.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.3
• /
• pp.647-653
• /
• 2012

In this paper, we obtain a generalized Lorentzian splitting theorem by weakening the assumption of nonnegative Ricci curvature.

• Advances in Computational Design
• /
• v.8 no.2
• /
• pp.133-145
• /
• 2023

Scaling and similitude large scale structural member to small scale model is considered the most important matter for the experimental tests because of the difficulty in controlling, lack of capacities and expenses, furthermore that most of MSc and PhD students suffering from choosing the suitable specimen before starting their experimental study. The current study adopts to take large scale slab with opening as a case study of structural member where the slab is squared with central squared opening, the boundary condition is fixed from all sides, the load represents by four concentrated force in four corners of opening, as well as, the study adopts Buckingham theorem which has been used for scaling, all the parameters of the problem have been formed in dimensionless groups, the main groups have been connected by a relations, those relations are represented by force, maximum stress and maximum displacement. Finite element method by ANSYS R18.1 has been used for analyzing and forming relations for the large scale member. Prediction analysis has been computed for three small scale models by depending on the formed relations of the large scale member. It is found that Buckingham theorem is considered suitable way for creating relations among the parameters for any structural problem then making similitude and scaling the large scale members to small scale members. Finally, verification between the prediction and theoretical results has been done, it is observed that the maximum deviation between them is not more than 2.4%.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.181-191
• /
• 2006

In this paper, multiobjective generalized fractional programming problems with set functions are considered, in which objective functions are maximum of finite fractional set functions. At first, optimality conditions are established. Then, saddle existence theorem is proved.

• Korean Journal of Mathematics
• /
• v.30 no.3
• /
• pp.503-512
• /
• 2022

In this paper, we are concerned with the problem of locating the zeros of regular polynomials of a quaternionic variable with quaternionic coefficients. We derive new bounds of Eneström-Kakeya type for the zeros of these polynomials by virtue of a maximum modulus theorem and the structure of the zero sets in the newly developed theory of regular functions and polynomials of a quaternionic variable. Our results generalize some recently proved results about the distribution of zeros of a quaternionic polynomial.

• The Mathematical Education
• /
• v.49 no.2
• /
• pp.247-257
• /
• 2010

In this article an explanation of monotonicity of functions and the definition of local extrema in Korean highschool textbooks based on national curriculum(revised in 2007) are analyzed critically. On the basis of this analysis, we indicate some problems and propose its improvements.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.4
• /
• pp.723-734
• /
• 2013

A robust optimization problem, which has a maximum function of continuously differentiable functions as its objective function, continuously differentiable functions as its constraint functions and a geometric constraint, is considered. We prove a necessary optimality theorem and a sufficient optimality theorem for the robust optimization problem. We formulate a Wolfe type dual problem for the robust optimization problem, which has a differentiable Lagrangean function, and establish the weak duality theorem and the strong duality theorem which hold between the robust optimization problem and its Wolfe type dual problem. Moreover, saddle point theorems for the robust optimization problem are given under convexity assumptions.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• pp.41-45
• /
• 1997

To design a control system, it is a elementary point that the stability of the system should be guaranteed. Also, the phase of the system plays an important role for its frequence performance. In this paper, we present two stability criterion of repetitive control system with phase-lead and lag compensator. First, the stability criterion for the servo control system with phase-lead and lag compensator is shown by using small-gain theorem. Second, for the repetitive control system with the compensator, the stability criterion, also, is determined by using small-gain theorem. Two stability criterions show the same results that the stability depends on a coefficient of the phase-lead and lag compensator under some condition in servo control system and repetitive control system.