• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.143-154
• /
• 2003

Analytical solutions for the viscous Cahn-Hilliard equation are considered. Existence and uniqueness of the solution are shown. The exponential decay of the solution in H$^2$-norm, which is an improvement of the result in Elliott and Zheng[5]. We also compare the early stages of evolution of the viscous Cahn-Hilliard equation with that of the Cahn-Hilliard equation, which has been given as an open question in Novick-Cohen[8].

• Honam Mathematical Journal
• /
• v.38 no.3
• /
• pp.583-592
• /
• 2016

In this paper, we consider the global existence of strong solutions to the incompressible Navier-Stokes equations on the cubic domain in $R^3$. While the global existence for arbitrary data remains as an important open problem, we here provide with some new observations on this matter. We in particular prove the global existence result when ${\Omega}$ is a cubic domain and initial and forcing functions are some linear combination of functions of at most two variables and the like by decomposing the spectral basis differently.

• Journal of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.7-15
• /
• 1995

Multigrid method has been used widely to solve elliptic problems because of its applicability to many class of problems and fast convergence ([1], [3], [9], [10], [11], [12]). The estimate of convergence rate of multigrid is one of the main objectives of the multigrid analysis ([1], [2], [5], [6], [7], [8]). In many problems, the convergence rate depends on the regularity of the solutions([5], [6], [8]). In this paper, we present an improved estimate of reduction factor of multigrid iteration based on the proof in [6].

• Kyungpook Mathematical Journal
• /
• v.61 no.3
• /
• pp.559-581
• /
• 2021

In this paper, we establish the existence of solutions and the approximate controllability for the semilinear neutral differential control system under natural assumptions such as the local Lipschitz continuity of nonlinear term. First, we deal with the regularity of solutions of the neutral control system using fractional powers of operators. We also consider the approximate controllability for the semilinear neutral control equation, with a control part in place of a forcing term, using conditions for the range of the controller without the inequality condition as in previous results.

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

• Journal of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1451-1470
• /
• 2020

We are concerned with the following elliptic equations: $$\{(-{\Delta})^s_pu={\lambda}f(x,u)\;{\text{in {\Omega}}},\\u=0\;{\text{on {\mathbb{R}}^N{\backslash}{\Omega}},$$ where λ are real parameters, (-∆)^s_p is the fractional p-Laplacian operator, 0 < s < 1 < p < + ∞, sp < N, and f : Ω × ℝ → ℝ satisfies a Carathéodory condition. By applying abstract critical point results, we establish an estimate of the positive interval of the parameters λ for which our problem admits at least one or two nontrivial weak solutions when the nonlinearity f has the subcritical growth condition. In addition, under adequate conditions, we establish an apriori estimate in L^∞(Ω) of any possible weak solution by applying the bootstrap argument.

• ETRI Journal
• /
• v.44 no.5
• /
• pp.805-815
• /
• 2022

The model-based evolutionary algorithms are divided into three groups: estimation of distribution algorithms, inverse modeling, and surrogate modeling. Existing inverse modeling is mainly applied to solve multi-objective optimization problems and is not suitable for many-objective optimization problems. Some inversed-model techniques, such as the inversed-model of multi-objective evolutionary algorithm, constructed from the Pareto front (PF) to the Pareto solution on nondominated solutions using a random grouping method and Gaussian process, were introduced. However, some of the most efficient inverse models might be eliminated during this procedure. Also, there are challenges, such as the presence of many local PFs and developing poor solutions when the population has no evident regularity. This paper proposes inverse modeling using random forest regression and uniform reference points that map all nondominated solutions from the objective space to the decision space to solve many-objective optimization problems. The proposed algorithm is evaluated using the benchmark test suite for evolutionary algorithms. The results show an improvement in diversity and convergence performance (quality indicators).

• Journal of the Chungcheong Mathematical Society
• /
• v.37 no.1
• /
• pp.27-40
• /
• 2024

In this paper, we consider the higher-order HartreeFock equations. The higher-order linear Schrödinger equation was introduced in [5] as the formal finite Taylor expansion of the pseudorelativistic linear Schrödinger equation. In [13], the authors established global-in-time Strichartz estimates for the linear higher-order equations which hold uniformly in the speed of light c ≥ 1 and as their applications they proved the convergence of higher-order Hartree-Fock equations to the corresponding pseudo-relativistic equation on arbitrary time interval as c goes to infinity when the Taylor expansion order is odd. To achieve this, they not only showed the existence of solutions in L² space but also proved that the solutions stay bounded uniformly in c. We address the remaining question on the convergence of higherorder Hartree-Fock equations when the Taylor expansion order is even. The distinguished feature from the odd case is that the group velocity of phase function would be vanishing when the size of frequency is comparable to c. Owing to this property, the kinetic energy of solutions is not coercive and only weaker Strichartz estimates compared to the odd case were obtained in [13]. Thus, we only manage to establish the existence of local solutions in H^s space for s > $\frac{1}{3}$ on a finite time interval [-T, T], however, the time interval does not depend on c and the solutions are bounded uniformly in c. In addition, we provide the convergence result of higher-order Hartree-Fock equations to the pseudo-relativistic equation with the same convergence rate as the odd case, which holds on [-T, T].

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.161-193
• /
• 2024

In this paper, we consider the asymptotic behavior of solutions for the partly dissipative reaction diffusion systems of the FitzHugh-Nagumo type with hereditary memory and a very large class of nonlinearities, which have no restriction on the upper growth of the nonlinearity. We first prove the existence and uniqueness of weak solutions to the initial boundary value problem for the above-mentioned model. Next, we investigate the existence of a uniform attractor of this problem, where the time-dependent forcing term h ∈ L²_b(ℝ; H^-1(ℝ^N)) is the only translation bounded instead of translation compact. Finally, we prove the regularity of the uniform attractor A, i.e., A is a bounded subset of H²(ℝ^N) × H¹(ℝ^N) × L²_µ(ℝ⁺, H²(ℝ^N)). The results in this paper will extend and improve some previously obtained results, which have not been studied before in the case of non-autonomous, exponential growth nonlinearity and contain memory kernels.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.26 no.4
• /
• pp.244-262
• /
• 2022

In this paper, we analyze the hybridizable discontinuous Galerkin (HDG) method for second-order elliptic equations with nonlinear coefficients, which are used in many fields. We present the HDG method that uses a mixed formulation based on numerical trace and flux. Under assumptions on the nonlinear coefficient and H²-regularity for a dual problem, we prove that the discrete systems are well-posed and the numerical solutions have the optimal order of convergence as a mesh parameter. Also, we provide a matrix formulation that can be calculated using an iterative technique for numerical experiments. Finally, we present representative numerical examples in 2D to verify the validity of the proof of Theorem 3.10.