• Communications of the Korean Mathematical Society
• /
• v.33 no.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.

• Journal of the Korean Mathematical Society
• /
• v.36 no.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.

• Journal of the Korean Mathematical Society
• /
• v.52 no.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
• /
• v.30 no.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.

• The Pure and Applied Mathematics
• /
• v.18 no.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.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.34D no.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
• /
• v.19 no.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
• /
• v.27 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.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.

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.3
• /
• pp.213-218
• /
• 2006

The 2D g-Navier-Stokes equations are a certain modified Navier-Stokes equations and have the following form, $$\frac{{\partial}u}{{\partial}t}-{\nu}{\Delta}u+(u{\cdot}{\nabla})u+{\nabla}p=f$$, in ${\Omega}$ with the continuity equation ${\nabla}{\cdot}(gu)=0$, in ${\Omega}$, where g is a suitable smooth real valued function. In this paper, we will derive 2D g-Navier-Stokes equations from 3D Navier-Stokes equations. In addition, we will see the relationship between two equations.