• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.67-83
• /
• 2009

Several common fixed point theorems for a few contractive type mappings in complete metric spaces are established. As applications, the existence and uniqueness of common solutions for certain systems of functional equations arising in dynamic programming are discussed.

• Journal of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.443-453
• /
• 2007

We study the equation of a membrane with strong viscosity. Based on the variational formulation corresponding to the suitable function space setting, we have proved the fundamental results on existence, uniqueness and continuous dependence on data of weak solutions.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.1
• /
• pp.45-57
• /
• 2011

We study the stochastic integral of an operator valued process against with a Banach space valued regular process. We establish the existence and uniqueness of solution of the stochastic differential equation for a Banach space valued regular process under the certain conditions. As an application of it, we study a noncommutative stochastic differential equation.

• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.575-588
• /
• 2023

In the present paper, we consider a kind of generalized hyperbolic geometric flow which has a gradient form. Firstly, we establish the existence and uniqueness for the solution of this flow on an n-dimensional closed Riemannian manifold. Then, we give the evolution of some geometric structures of the manifold along this flow.

• Korean Journal of Mathematics
• /
• v.16 no.3
• /
• pp.355-362
• /
• 2008

We prove the existence of a unique positive solution for a class of systems of the following nonlinear suspension bridge equation with Dirichlet boundary conditions and periodic conditions $$\{{u_{tt}+u_{xxxx}+\frac{1}{4}u_{ttxx}+av^+={\phi}_{00}+{\epsilon}_1h_1(x,t)\;\;in\;(-\frac{\pi}{2},\frac{\pi}{2}){\times}R,\\{v_{tt}+v_{xxxx}+\frac{1}{4}u_{ttxx}+bu^+={\phi}_{00}+{\epsilon}_2h_2(x,t)\;\;in\;(-\frac{\pi}{2},\frac{\pi}{2}){\times}R,$$ where $u^+={\max}\{u,0\},\;{\epsilon}_1,\;{\epsilon}_2$ are small number and $h_1(x,t)$, $h_2(x,t)$ are bounded, ${\pi}$-periodic in t and even in x and t and ${\parallel} h_1{\parallel}={\parallel} h_2{\parallel}=1$. We first show that the system has a positive solution, and then prove the uniqueness by the contraction mapping principle on a Banach space

• 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 applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.475-487
• /
• 2009

This paper studies the iteration method of solving a type of second-order three-point boundary value problem with non-linear term f, which depends on the first order derivative. By using the upper and lower method, we obtain the sufficient conditions of the existence and uniqueness of solutions. Furthermore, the monotone iterative sequences generated by the method contribute to the minimum solution and the maximum solution. And the error estimate formula is also given under the condition of unique solution. We apply the solving process to a special boundary value problem, and the result is interesting.

• Journal of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.715-731
• /
• 2012

This paper considers the stability of positive steady-state solutions bifurcating from the trivial solution in a delayed Lotka-Volterra two-species predator-prey diffusion system with a discrete delay and subject to the homogeneous Dirichlet boundary conditions on a general bounded open spatial domain with smooth boundary. The existence, uniqueness and asymptotic expressions of small positive steady-sate solutions bifurcating from the trivial solution are given by using the implicit function theorem. By regarding the time delay as the bifurcation parameter and analyzing in detail the eigenvalue problems of system at the positive steady-state solutions, the asymptotic stability of bifurcating steady-state solutions is studied. It is demonstrated that the bifurcating steady-state solutions are asymptotically stable when the delay is less than a certain critical value and is unstable when the delay is greater than this critical value and the system under consideration can undergo a Hopf bifurcation at the bifurcating steady-state solutions when the delay crosses through a sequence of critical values.

• Honam Mathematical Journal
• /
• v.45 no.1
• /
• pp.54-70
• /
• 2023

In this article, we state and prove several new retarded nonlinear integral and integro-differential inequalities of Gronwall-Bellman-Pachpatte type. These inequalities generalize some former famous inequalities and can be used in examining the existence, uniqueness, boundedness, stability, asymptotic behaviour, quantitative and qualitative properties of solutions of nonlinear differential and integral equations. Applications are provided to demonstrate the strength of our inequalities in estimating the boundedness and global existence of the solution to initial value problem for nonlinear integro-differential equation and Volterra type retarded nonlinear equation. This research work will ensure to open the new opportunities for studying of nonlinear dynamic inequalities on time scale structure of varying nature.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.203-214
• /
• 2005

In this study the optimal control of fed-batch glycerol fermentation is investigated based on an impulsive dynamical system. Considering the sudden increase of the glycerol and alkali in fed-batch culture of biodissimilation of glycerol to 1,3-propanediol, this paper proposes a non-linear impulsive system of fed-batch culture. The existence, uniqueness and regularity properties of piecewise solution for the system are proved. In view of the controllability of volumes of glycerol added to the reactor instantaneously, the paper constructs an optimal control model based on the nonlinear impulsive system and the existence of the optimal control is obtained. The control variables here are the moments and the sizes of jumps in the states at the discrete instants and the objective is to maximize the productivity of 1,3-propanediol over one cycle.