• 대한수학회지
• /
• 제45권3호
• /
• pp.757-769
• /
• 2008

This paper deals with the existence of optimal controls and maximal principles for semilinear evolution equations with the nonlinear term satisfying Lipschitz continuity. We also present the necessary conditions of optimality which are described by the adjoint state corresponding to the linear equations without a condition of differentiability for nonlinear term.

• 대한수학회논문집
• /
• 제33권3호
• /
• pp.985-999
• /
• 2018

This paper is devoted to the existence and uniqueness of $L^p$ (p > 1) solutions for general time interval multidimensional backward stochastic differential equations (BSDEs for short), where the generator g satisfies a ($p{\wedge}2$)-order weak monotonicity condition in y and a Lipschitz continuity condition in z, both non-uniformly in t. The corresponding stability theorem and comparison theorem are also proved.

• 대한수학회지
• /
• 제36권1호
• /
• pp.159-171
• /
• 1999

We formulate and study a finite element method for a linearized steady state, compressible, viscous Navier-Stokes equations in 2D, based on the discontinuous Galerkin method. Dislike the standard discontinuous galerkin method, we do not assume that the triangle sides be bounded away from the characteristic direction. the unique stability follows from the inf-sup condition established on the finite dimensional spaces for the (incompressible) Stokes problem. An error analysis having a jump discontinuity for pressure is shown.

• 대한수학회지
• /
• 제52권1호
• /
• pp.43-65
• /
• 2015

We present a new convergence analysis of popular Broyden's method in the Banach/Hilbert space setting which is applicable to non-smooth operators. Moreover, we do not assume a priori solvability of the equation under consideration. Nevertheless, without these simplifying assumptions our convergence theorem implies existence of a solution and superlinear convergence of Broyden's iterations. To demonstrate practical merits of Broyden's method, we use it for numerical solution of three nontrivial infinite-dimensional problems.

• Journal of applied mathematics & informatics
• /
• 제30권1_2호
• /
• pp.173-181
• /
• 2012

In this paper, we study the control problems governed by the semilinear parabolic type equation in Hilbert spaces. Under the Lipschitz continuity condition of the nonlinear term, we can obtain the sufficient conditions for the approximate controllability of nonlinear functional equations with nonlinear monotone hemicontinuous and coercive operator. The existence, uniqueness and a variation of solutions of the system are also given.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권3호
• /
• pp.219-230
• /
• 2011

We determine the radius of convergence for some Newton{type methods (NTM) for approximating a locally unique solution of an equation in a Banach space setting. A comparison is given between the radii of (NTM) and Newton's method (NM). Numerical examples further validating the theoretical results are also provided in this study.

• 전자공학회논문지D
• /
• 제34D권12호
• /
• pp.31-38
• /
• 1997

A new CAD-compatible non-quasi-static (NQS) MOS transient model is presented. A new type of weighted residual method, the collcoatin method, is adopted to obtian an approximate ordinary differntial equation from the continuity eqation. Contrasting to the conventional NQS models, the new model can directly include the variatin of the depletion charge and the derived transient current sare expressed with only physically meaningful variables. The new model predicts transient behaviors reasonably well in the calculation including cutoff regions where the depletion charge rapidly changes.

• Journal of applied mathematics & informatics
• /
• 제19권1_2호
• /
• pp.215-229
• /
• 2005

In this paper, constraint aggregation is combined with the adjoint and multiple shooting strategies for optimal control of differential algebraic equations (DAE) systems. The approach retains the inherent parallelism of the conventional multiple shooting method, while also being much more efficient for large scale problems. Constraint aggregation is employed to reduce the number of nonlinear continuity constraints in each multiple shooting interval, and its derivatives are computed by the adjoint DAE solver DASPKADJOINT together with ADIFOR and TAMC, the automatic differentiation software for forward and reverse mode, respectively. Numerical experiments demonstrate the effectiveness of the approach.

• Journal of applied mathematics & informatics
• /
• 제27권5_6호
• /
• pp.1221-1234
• /
• 2009

In this paper, we construct fully discrete discontinuous Galerkin approximations to the solution of linear Sobolev equations. We apply a symmetric interior penalty method which has an interior penalty term to compensate the continuity on the edges of interelements. The optimal convergence of the fully discrete discontinuous Galerkin approximations in ${\ell}^{\infty}(L^2)$ norm is proved.

• 대한수학회보
• /
• 제45권3호
• /
• pp.563-571
• /
• 2008

We deduce the necessary conditions for the optimality of endpoint constrained optimal control problem. These conditions comprise the adjoint equation, the maximum principle and the transversality condition. We assume that the cost function is merely differentiable. Therefore the technique under Lipschitz continuity hypothesis is not directly applicable. We introduce Fermat's rule and value function technique to obtain the results.