• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.25-29
• /
• 2003

LQ actuator selection problem for multi-input system discussed in this paper is to determine optimal actuator out of many actuators and input sequences so as to minimize the quadratic control performance. The solution of this problem depends on initial values and has a combinatorial property, so it is extremely difficult to get an optimal solution. For this difficulty, we proposed the concept of comparability of actuators and showed the uniqueness of the solution[1] . Further, to get general optimal solution for LQ problem with actuator selection strategies, we derived the equivalent condition for the comparability of actuator in single-input system . In this paper we extend this result to the case of multi-input system. The derived sufficient condition is applicable in the case of positive semi-definite comparability matrices.

• East Asian mathematical journal
• /
• v.24 no.3
• /
• pp.305-315
• /
• 2008

The purpose of this paper is to study the existence and uniqueness of the fixed point of uniformly pseudo-contractive operator and the solution of equation with uniformly accretive operator, and to approximate the fixed point and the solution by the Mann iterative sequence in an arbitrary Banach space or an uniformly smooth Banach space respectively. The results presented in this paper show that if X is a real Banach space and A : X $\rightarrow$ X is an uniformly accretive operator and (I-A)X is bounded then A is a mapping onto X when A is continuous or $X^*$ is uniformly convex and A is demicontinuous. Consequently, the corresponding results which depend on the assumptions that the fixed point of operator and solution of the equation are in existence are improved.

• 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

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.699-721
• /
• 2015

This paper investigates the existence of mild solution for a fractional integro-differential equations with a deviating argument and nonlocal initial condition in an arbitrary separable Hilbert space H via technique of approximations. We obtain an associated integral equation and then consider a sequence of approximate integral equations obtained by the projection of considered associated nonlocal fractional integral equation onto finite dimensional space. The existence and uniqueness of solutions to each approximate integral equation is obtained by virtue of the analytic semigroup theory via Banach fixed point theorem. Next we demonstrate the convergence of the solutions of the approximate integral equations to the solution of the associated integral equation. We consider the Faedo-Galerkin approximation of the solution and demonstrate some convergenceresults. An example is also given to illustrate the abstract theory.

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

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

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.219-244
• /
• 2020

In this paper, we approximate the solution of the coupled nonlinear Schrödinger equations by using a fully discrete finite element scheme based on the standard Galerkin method in space and implicit midpoint discretization in time. The proposed scheme guarantees the conservation of the total mass and the energy. First, a priori error estimates for the fully discrete Galerkin method is derived. Second, the existence of the approximated solution is proved by virtue of the Brouwer fixed point theorem. Moreover, the uniqueness of the solution is shown. Finally, convergence orders of the fully discrete Crank-Nicolson scheme are discussed. The end of the paper is devoted to some numerical experiments.

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

We introduce and anlyze a naturally parallelizable frequency-domain method for parabolic problems with a Neumann boundary condition. After taking the Fourier transformation of given equations in the space-time domain into the space-frequency domain, we solve an indefinite, complex elliptic problem for each frequency. Fourier inversion will then recover the solution of the original problem in the space-time domain. Existence and uniqueness of a solution of the transformed problem corresponding to each frequency is established. Fourier invertibility of the solution in the frequency-domain is also examined. Error estimates for a finite element approximation to solutions fo transformed problems and full error estimates for solving the given problem using a discrete Fourier inverse transform are given.

• Journal of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.45-63
• /
• 2006

This paper is concerned with a boundary control problem for the vorticity minimization, in which the flow is governed by the stationary two dimensional Stokes equations. We wish to find a mathematical formulation and a relevant process for an appropriate control along the part of the boundary to minimize the vorticity due to the flow. After showing the existence and uniqueness of an optimal solution, we derive the optimality conditions. The differentiability of the state solution in regard to the control parameter shall be conjunct with the necessary conditions for the optimal solution. For the minimizer, an algorithm based on the conjugate gradient method shall be proposed.