• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.311-330
• /
• 2020

This paper investigates infinite horizon optimal control problems driven by a class of backward stochastic delay differential equations in Hilbert spaces. We first obtain a prior estimate for the solutions of state equations, by which the existence and uniqueness results are proved. Meanwhile, necessary and sufficient conditions for optimal control problems on an infinite horizon are derived by introducing time-advanced stochastic differential equations as adjoint equations. Finally, the theoretical results are applied to a linear-quadratic control problem.

• Journal of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.195-205
• /
• 2003

In this paper, we introduce and study a new class of generalized strongly nonlinear variational inequalities with setvalued mappings. By using the KKM technique, we prove the existence and uniqueness of solution for this class of generalized setvalued strongly nonlinear variational inequalities in reflexive Banach spaces. Our results include the main results of Verma ［16］, ［17］ as special cases.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.637-669
• /
• 2024

The goal of this paper is to study decay properties of weak solutions to Cauchy problem of the non-stationary fractional Navier-Stokes equations. By using the Fourier splitting method, we give the time L²-decay rate of weak solutions, which reveals that L²-decay is generally determined by its linear generalized Stokes flow. In second part, we establish various decay results and the uniqueness of the two dimensional fractional Navier-Stokes flows. In the end of this article, as an appendix, the existence of global weak solutions is given by making use of Galerkin' method, weak and strong compact convergence theorems.

• The Research Journal of the Costume Culture
• /
• v.11 no.3
• /
• pp.404-415
• /
• 2003

The main purpose of this exploratory research was to examine the characteristics of consumers who patronize natural-dyed clothes and their perceptions regarding natural-dyed clothes. Thirty three participants who have worn natural-dyed clothes were interviewed for the study. They were asked about the styles and price of natural-dyed clothes they owned, their evaluation on them, and the lifestyles of themselves. Existence of subculture among the interviewes and its characteristics were also probed. The results indicated that natural-dyed clothes are relatively high-priced, mostly of modified hanbok style, and became popular in recent years. Interviewees frequently mentioned uniqueness and comfort as the main benefits of natural-dyed clothes, and expressed dissatisfaction regarding color fastness, easy care and problem of coordination. The consumers of natural-dyed clothes appeared to have strong preferences for environment conservation and Korean traditional culture. They also seemed to form a subcultural group who have commonality in their involvement in Korean cultural activities, mainly tea ceremony.

• Korean Journal of Computational Design and Engineering
• /
• v.8 no.4
• /
• pp.278-288
• /
• 2003

Presented in this paper is a numerical method for calculating the intersection points between Z-map vectors and the tool swept surface for circularly moving filleted-end mills. In numerically controlled(NC) machining simulation for large moulds and dies, a workpiece is frequently approximated as a set of z-axis aligned vectors, called Z-map vectors, and then the machining processes can be simulated through updating the Z-map with the intersection points. Circular motions are typically used for machining the free-form surfaces. For fast computation, we express each of intersection points with a single-variable non-linear equation and calculate the candidate interval in which the unique solution exists. Then, we prove the existence of a solution and its uniqueness in this candidate interval. Based on these properties, we can effectively apply numerical methods to finally calculate the solution of the nonlinear equation within a given precision. Experimental results are given for the case of a TV monitor and the hood of a car.

• Journal of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.869-890
• /
• 2022

We develop a rigorous mathematical framework for studying dynamic behavior of cracked beams and shallow arches. The governing equations are derived from the first principles, and stated in terms of the subdifferentials of the bending and the axial potential energies. The existence and the uniqueness of the solutions is established under various conditions. The corresponding mathematical tools dealing with vector-valued functions are comprehensively developed. The motion of beams and arches is studied under the assumptions of the weak and strong damping. The presence of cracks forces weaker regularity results for the arch motion, as compared to the beam case.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.519-548
• /
• 2022

In this paper, a stabilized-penalized collocated finite volume (SPCFV) scheme is developed and studied for the stationary generalized Navier-Stokes equations with mixed Dirichlet-traction boundary conditions modelling an incompressible biological fluid flow. This method is based on the lowest order approximation (piecewise constants) for both velocity and pressure unknowns. The stabilization-penalization is performed by adding discrete pressure terms to the approximate formulation. These simultaneously involve discrete jump pressures through the interior volume-boundaries and discrete pressures of volumes on the domain boundary. Stability, existence and uniqueness of discrete solutions are established. Moreover, a convergence analysis of the nonlinear solver is also provided. Numerical results from model tests are performed to demonstrate the stability, optimal convergence in the usual L² and discrete H¹ norms as well as robustness of the proposed scheme with respect to the choice of the given traction vector.

• East Asian mathematical journal
• /
• v.25 no.1
• /
• pp.11-26
• /
• 2009

In this paper, the concepts of compatible mappings of types (A) and (P) are introduced in an induced metric space, two common xed point theorems for two pairs of compatible mappings of types (A) and (P) in an induced complete metric space are established. As their applications, the existence and uniqueness results of common solution for a system of functional equations arising in dynamic programming are discussed.

• Communications of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.593-607
• /
• 2021

The aim of the present paper is to establish an intrinsic generalization of Cartan connection in Finsler geometry. This connection is called the vertical recurrent Finsler connection. An intrinsic proof of the existence and uniqueness theorem for such connection is investigated. Moreover, it is shown that for such connection, the associated semi-spray coincides with the canonical spray and the associated nonlinear connection coincides with the Barthel connection. Explicit intrinsic expression relating this connection and Cartan connection is deduced. We also investigate some applications concerning the fundamental geometric objects associated with this connection. Finally, three important results concerning the curvature tensors associated to a special vertical recurrent Finsler connection are studied.

• Journal of applied mathematics & informatics
• /
• v.31 no.5_6
• /
• pp.609-621
• /
• 2013

At present, research on providing new methods to solve nonlinear integral equations for minimizing the error in the numerical calculations is in progress. In this paper, necessary conditions for existence and uniqueness of solution for nonlinear 2D Fredholm integral equations are given. Then, two different numerical solutions are presented for this kind of equations using 2D shifted Legendre polynomials. Moreover, some results concerning the error analysis of the best approximation are obtained. Finally, illustrative examples are included to demonstrate the validity and applicability of the new techniques.