• Journal of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1041-1069
• /
• 2009

We study the periodic homogenization of the non-stationary Stokes equations. The fundamental homogenization theorem and corrector theorem are proved under a very general assumption on the viscosity coefficients and data. The proofs are based on a weak formulation suitable for an application of classical Tartar's method of oscillating test functions. Such a weak formulation is derived by adapting an argument in Teman's book [Navier-Stokes Equations: Theory and Numerical Analysis, North-Holland, Amsterdam, 1984].

• Journal of Mechanical Science and Technology
• /
• v.20 no.11
• /
• pp.1950-1960
• /
• 2006

Based on Banach fixed point theorem, a method to calculate nonlinear superposition for three interacting Stokes' waves is proposed in this paper. A mathematical formulation for the nonlinear superposition in deep water and some numerical solutions were investigated. The authors carried out the numerical study with three progressive linear potentials of different wave numbers and succeeded in solving the nonlinear wave profiles of their three wave-interaction, that is, using only linear wave potentials, it was possible to realize the corresponding nonlinear interacting wave profiles through iteration of the method. The stability of the method for the three interacting Stokes' waves was analyzed. The calculation results, together with Fourier transform, revealed that the iteration made it possible to predict higher-order nonlinear frequencies for three Stokes' waves' interaction. The proposed method has a very fast convergence rate.

• Journal of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1129-1137
• /
• 1996

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.4
• /
• pp.335-347
• /
• 2006

The homogenization of non-stationary Navier-Stokes equations on anisotropic heterogeneous media is investigated. The effective coefficients of the homogenized equations are found. It is pointed out that the resulting homogenized limit systems are of the same form of non-stationary Navier-Stokes equations with suitable coefficients. Also, steady Stokes equations as cell problems are identified. A compactness theorem is proved in order to deal with time dependent homogenization problems.

• Journal of the Society of Naval Architects of Korea
• /
• v.54 no.3
• /
• pp.250-257
• /
• 2017

It is desirable to have a way to predict the pressure drag due to various appendages attached to stern. As a mathematical model for these, a sphere and a singularity behind it, both in the uniform flow can be considered. We may use the Butler's sphere theorem to find the Stokes' stream function when the resulting flow is axisymmetric, and then the extended Lagally's theorem to get the force upon the sphere due to the singularity. Assuming the separation distance between the sphere and the singularity is small, the leading order approximation for the force is obtained and it is found out that if the separation distance and the square root of the strength of the dipole are of the same order, the effect of the image of the dipole with respect to the sphere is the most important.

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

Roh[1] derived 2D g-Navier-Stokes equations from 3D Navier-Stokes equations. In this paper, we will see the space $L^2({\Omega},\;g)$, which is the weighted space of $L^2({\Omega})$, as natural generalized space of $L^2({\Omega})$ which is mathematical setting for Navier-Stokes equations. Our future purpose is to use the space $L^2({\Omega},\;g)$ as mathematical setting for the g-Navier-Stokes equations. In addition, we will see Helmoltz-Leray projection on $L^2_{per}({\Omega},\;g)$) and compare with the one on $L^2_{per}({\Omega})$.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.5
• /
• pp.368-373
• /
• 2004

Surface visualization can be useful, particularly for internet-based education and simulation system. Since the mesh data size directly affects the downloading and operational performance, the problem that should be solved for efficient surface visualization is to reduce the total number of polygons, constituting the surface geometry as much as Possible. In this paper, an efficient polygon reduction algorithm based on Stokes＇ theorem, and topology preservation to delete several adjacent vertices simultaneously for past polygon reduction is proposed. The algorithm is irrespective of the shape of polygon, and the number of the polygon. It can also reduce the number of polygons to the minimum number at one time. The performance and the usefulness for medical imaging application was demonstrated using synthesized geometrical objects including plane. cube. cylinder. and sphere. as well as a real human data.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.4 no.4
• /
• pp.187-200
• /
• 1992

A general scheme is developed to determine the Langrangian motions of water particles by the Eulerian velocity at their mean positions by using Taylor's theorem. Utilizing the Stokes finite-amplitude wave theory, the orbital motions and the mass transport velocity including the effects of higher-order wave components are determined. The fifth-order approximation of orbital motion gives very good predictions of actual water particle motion in Stokes fifth-order wave theory except near the free-surface. The fifth-order theory predicts the mass transport velocity less than that given by the existing second-order theory over the whole water depth.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2004.11a
• /
• pp.179-182
• /
• 2004

This paper deals with a new mathematical formulation of nonlinear wave profile based on Banach fixed point theorem. As application of the formulation and its solution procedure, some numerical solutions was presented in this paper and nonlinear equation was derived. Also we introduce a new operator for iteration and getting solution. A numerical study was accomplished with Stokes' first-order solution and iteration scheme, and then we can know the nonlinear characteristic of Stokes' high-order solution. That is, using only Stokes' first-oder(linear) velocity potential and an initial guess of wave profile, it is possible to realize the corresponding high-oder Stokian wave profile with tile new numerical scheme which is the method of iteration. We proved the mathematical convergence of tile proposed scheme. The nonlinear strategy of iterations has very fast convergence rate, that is, only about 6-10 iterations arc required to obtain a numerically converged solution.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1988.07a
• /
• pp.29-36
• /
• 1988

A general scheme is developed which determines the Lagrangian motions of water particles by the Eulerian velocity at their mean positions by use of Taylor's theorem. Utilizing the Stokes finite-amplitude wave theory, the mass transport velocity which includes the effects of higher-order wave components is determined. The fifth-order theory predicts the mass transport velocity less than that given by the existing second-order theory over the whole depth. Limited experimental data for changes in wave celerity in closed wave flumes are compared with the theoretical predictions.