• Bulletin of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.753-760
• /
• 2013

We consider the global existence of strong solutions of the 3D incompressible Navier-Stokes equations in a bounded Lipschitz do-main under Dirichlet boundary condition. We present by a very simple argument that a strong solution exists globally when the product of $L^2$ norms of the initial velocity and the gradient of the initial velocity and $L^{p,2}$, $p{\geq}4$ norm of the forcing function are small enough. Our condition is scale invariant and implies many typical known global existence results for small initial data including the sharp dependence of the bound on the volumn of the domain and viscosity. We also present a similar result in the whole domain with slightly stronger condition for the forcing.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.379-403
• /
• 2018

In this paper we study the first initial boundary value problem for the 3D Navier-Stokes-Voigt equations with infinite delay. First, we prove the existence and uniqueness of weak solutions to the problem by combining the Galerkin method and the energy method. Then we prove the existence of a compact global attractor for the continuous semigroup associated to the problem. Finally, we study the existence and exponential stability of stationary solutions.

• Journal of computational fluids engineering
• /
• v.1 no.1
• /
• pp.64-70
• /
• 1996

Three dimensional turbulent flow fields around ships are simulated by a numerical method. Reynolds Averaged Navier-Stokes equations are used where Reynolds stresses are approximated by Baldwin-Lomax and Sub-Grid Scale(SGS) turbulence models. Body-fitted coordinate system is introduced to conform three dimensional ship geometries. The governing equations are discretized by a finite volume method. Temporal derivatives are approximated by the forward differencing and the convection terms are approximated by the QUICK or Kawamura scheme. The 2nd-order centered differencing is used for other spatial derivatives. Pressure and velocity fields are simultaneously iterated by the Highly Simplified Marker-And-Cell method. To verify the numerical method and turbulence models, flow fields around ships are simulated and compared to the experiments.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.14 no.1
• /
• pp.11-19
• /
• 2010

An approach to reduce cancellation errors of the temperature preconditioned Navier-Stokes equations is proposed. This approach is also applied to the conventional preconditioning methods. Adiabatic laminar viscous flows around a circular cylinder are calculated at different Mach numbers. It is shown that a redefinition of total enthalpy for reducing magnitude of the enthalpy remarkably alleviates cancellation problems of the temperature preconditioning.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.15 no.2
• /
• pp.143-150
• /
• 2011

We consider the global existence of strong solutions of the 3D incompressible Navier-Stokes equations in a thin periodic domain. We present a simple proof that a strong solution exists globally in time when the initial velocity in $H^1$ and the forcing function in $L^p$(0,${\infty}$;$L^2$), $2{\leq}p{\leq}{\infty}$ satisfy certain condition. This condition is basically similar to that by Iftimie and Raugel[7], which covers larger and larger initial data and forcing functions as the thickness of the domain ${\epsilon}$ tends to zero.

• Journal of the Korean Mathematical Society
• /
• v.48 no.3
• /
• pp.529-550
• /
• 2011

In this work, a numerical solution of the incompressible Navier-Stokes equations is proposed. The method suggested is based on an algorithm of discretization by mixed finite elements with a posteriori error estimation of the computed solutions. In order to evaluate the performance of the method, the numerical results are compared with some previously published works or with others coming from commercial code like Adina system.

• Journal of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.315-324
• /
• 2012

We consider the global existence of strong solutions of the 3D incompressible Navier-Stokes equations in a long periodic domain. We show by a simple argument that a strong solution exists globally in time when the initial velocity in $H^1$ and the forcing function in $L^p$([0; T);$L^2$), T > 0, $2{\leq}p{\leq}+\infty$ satisfy a certain condition. This condition common appears for the global existence in thin non-periodic domains. Larger and larger initial data and forcing functions satisfy this condition as the thickness of the domain $\epsilon$ tends to zero.

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

• Korean Journal of Mathematics
• /
• v.23 no.2
• /
• pp.293-312
• /
• 2015

We deal with a boundary control problem for the vorticity minimization, in which the ow is governed by the time-dependent two dimensional incompressible Navier-Stokes equations. We derive a mathematical formulation and a process for an appropriate control along the portion of the boundary to minimize the vorticity motion due to the ow in the fluid domain. After showing the existence of an optimal solution, we derive the optimality system for which optimal solutions may be determined. The differentiability of the state solution in regard to the control parameter shall be conjunct with the necessary conditions for the optimal solutions.

• Korean Journal of Mathematics
• /
• v.22 no.4
• /
• pp.645-658
• /
• 2014

Many projection methods have been progressively constructed to find more accurate and efficient solution of the Navier-Stokes equations. In this paper, we consider most recently constructed projection methods: the pressure correction method, the gauge method, the consistent splitting method, the Gauge-Uzawa method, and the stabilized Gauge-Uzawa method. Each method has different background and theoretical proof. We prove equivalentness of the pressure correction method and the stabilized Gauge-Uzawa method. Also we will obtain that the Gauge-Uzawa method is equivalent to the gauge method and the consistent splitting method. We gather theoretical results of them and conclude that the results are also valid on other equivalent methods.