• Journal of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1261-1277
• /
• 2021

An inertial manifold is often constructed as a graph of a function from low Fourier modes to high ones and one used to consider backward bounded (in time) solutions for that purpose. We here show that the proof of the uniqueness of such solutions is crucial in the existence theory of inertial manifolds. Avoiding contraction principle, we mainly apply the Arzela-Ascoli theorem and Laplace transform to prove their existence and uniqueness respectively. A non-self adjoint example is included, which is related to a differential system arising after Kwak transform for Navier-Stokes equations.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.35 no.5
• /
• pp.1061-1071
• /
• 2015

In the present study, the Navier-Stokes (N-S) equations delineating water flows inside porous media were derived applying Reynolds transport theorem in order to provide a basis for analyzing water wave problems inside the porous media. Then, the derived N-S equations were compared with the same species of equations in existing researches. Based on the N-S equations, a set of Boussinesq equations was then derived in such a form that the dispersiveness and nonlinearity of water waves inside the porous media can be properly reproduced. Finally, numerical analyses were carried out to demonstrate the validity of the equations. The reflection and transmission coefficients of porous breakwaters were calculated and compared with the results of existing hydraulic experiments. The numerical results showed a rather sensitive dependency on the virtual mass coefficient of grains constituting the porous media. The selection of the coefficient with zero turned out to give nice agreements with numerical and experimental results.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1483-1504
• /
• 2017

We consider weak solutions of the instationary Navier-Stokes system in a smooth bounded domain ${\Omega}{\subset}{\mathbb{R}}^3$ with initial value $u_0{\in}L^2_{\sigma}({\Omega})$. It is known that a weak solution is a local strong solution in the sense of Serrin if $u_0$ satisfies the optimal initial value condition $u_0{\in}B^{-1+3/q}_{q,s_q}$ with Serrin exponents $s_q$ > 2, q > 3 such that ${\frac{2}{s_q}}+{\frac{3}{q}}=1$. This result has recently been generalized by the authors to weighted Serrin conditions such that u is contained in the weighted Serrin class ${{\int}_0^T}({\tau}^{\alpha}{\parallel}u({\tau}){\parallel}_q)^s$ $d{\tau}$ < ${\infty}$ with ${\frac{2}{s}}+{\frac{3}{q}}=1-2{\alpha}$, 0 < ${\alpha}$ < ${\frac{1}{2}}$. This regularity is guaranteed if and only if $u_0$ is contained in the Besov space $B^{-1+3/q}_{q,s}$. In this article we consider the limit case of initial values in the Besov space $B^{-1+3/q}_{q,{\infty}}$ and in its subspace ${{\circ}\atop{B}}^{-1+3/q}_{q,{\infty}}$ based on the continuous interpolation functor. Special emphasis is put on questions of uniqueness within the class of weak solutions.

• Journal of Ocean Engineering and Technology
• /
• v.15 no.3
• /
• pp.9-19
• /
• 2001

In this paper we present the aspect of inertial oscillation typically observed in the spin-up of fluids at low Rossby numbers in a circular cylinder. Numerical computations for the quasi three-dimensional equation as well as one-dimensional equation are performed to estimate the predictability of the one-dimensional equation with Ekman pumping/suction models. It is assumed that the discrepancy between the two results may be attributed to the inertial oscillation The detailed analysis to the numerical results reveals that the axial plane is dominated by a comparatively strong oscillatory flows caused by the inertial oscillation. In view of the fact that the time-averaged flow field however agrees to the Taylor-Proudman theorem, it is recommended that further analysis is needed to obtain an improved one-dimensional model like the Reynolds-averaged Navier-Stokes equation for turbulent flows.

• Journal of the Society of Naval Architects of Korea
• /
• v.41 no.4
• /
• pp.17-29
• /
• 2004

Internal waves are computed using a ghost fluid method on an unstructured grid. Discontinuities in density and dynamic pressure are captured in one cell without smearing or oscillations along a multimaterial interface. A time-accurate incompressible Navier-Stokes/Euler solver is developed based on a three-point backward difference formula for the physical time marching. Artificial compressibility is introduced with respect to pseudotime and an implicit method is used for the pseudotime iteration. To track evolution of an interface, a level set function is coupled with the governing equations. Roe's flux difference splitting method is used to calculate numerical fluxes of the coupled equations. To get higher order accuracy, dependent variables are reconstructed based on gradients which are calculated using Gauss theorem. For each edge crossing an interface, dynamic pressure is assigned for a ghost node to enforce the continuity of total pressure along the interface. Solitary internal waves are computed and the results are compared with other computational and experimental results.

• Journal of electromagnetic engineering and science
• /
• v.17 no.2
• /
• pp.91-97
• /
• 2017

An accurate and efficient evaluation for hypersingular integrals (HIs), strongly singular integrals (SSIs), and weakly singular integrals (WSIs) plays an essential role in the numerical solutions of 3D electromagnetic scattering problems. We derive analytic formulas for WSIs based on Stokes' theorem, which can be expressed in elementary functions. Several numerical examples are presented to validate these analytic formulas. Then, to show the feasibility of the proposed formulations for numerical methods, these formulations are used with the existing analytical expressions of HIs and SSIs to correct the near-field interaction in an iterative physical optics (IPO) scheme. Using IPO, the scattering caused by a dihedral reflector is analyzed and compared with the results of the method of moments and measurement data.

• Journal of the Society of Naval Architects of Korea
• /
• v.32 no.3
• /
• pp.62-71
• /
• 1995

In the numerical analysis of incompressible unsteady Navier-stokes equation, large time is required for solving the pressure Poisson equation of the elliptic type at each time step. In this paper, a numerical analysis by the direct method is carried out to solve the pressure Poisson equation and the computing time is analyzed as mesh size increases. The pressure Poisson equation can be transformed to the boundary value problem by the Green theorem. The computing time for the convolution type of the domain integral can be reduced by using F.F.T. and the computing time in the direct method depends entirely on obtaining the solution of the boundary value problem. The numerical analysis on the known solutions is carried out and compared for the verification of the direct method. And the numerical analysis on the body boundary and domain decomposition problem are carried out with the computing time less than O($n^{3}$) in the (n.n) mesh.