• Journal of the Korean Mathematical Society
• /
• v.37 no.6
• /
• pp.1071-1084
• /
• 2000

We show that a weak solution of the Cauchy problem for he nonlinear Schrodinger equation, {i∂(sub)t u + ∂$^2$(sub)x u = f(u,u), t∈(-T,T), x∈R, u(0,x) = ø(x).} in the negative solbolev space H(sup)s has a smoothing effect up to real analyticity if the initial data only have a single point singularity such as the Dirac delta measure. It is shown that for H(sup)s (R)(s>-3/4) data satisfying the condition (※Equations, See Full-text) the solution is analytic in both space and time variable. The argument is based on the recent progress on the well-posedness result by Bourgain [2] and Kenig-Ponce-Vega [18] and previous work by Kato-Ogawa [12]. We give an improved new argument in the regularity argument.

• Journal of Mechanical Science and Technology
• /
• v.15 no.10
• /
• pp.1356-1368
• /
• 2001

In this paper, the model reference adaptive control (MRAC) of a flexible structure is investigated. Any mechanically flexible structure is inherently distributed parameter in nature, so that its dynamics are described by a partial, rather than ordinary, differential equation. The MRAC problem is formulated as an initial value problem of coupled partial and ordinary differential equations in weak form. The well-posedness of the initial value problem is proved. The control law is derived by using the Lyapunov redesign method on an infinite dimensional filbert space. Uniform asymptotic stability of the closed loop system is established, and asymptotic tracking, i. e., convergence of the state-error to zero, is obtained. With an additional persistence of excitation condition for the reference model, parameter-error convergence to zero is also shown. Numerical simulations are provided.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.5
• /
• pp.850-858
• /
• 1997

A new a posteriori error estimator is introduced and applied to variational inequalities occurring in problems of flow through porous media. In order to construct element-wise a posteriori error estimates the global error is localized by a special mixed formulation in which continuity conditions at interfaces are treated as constraints. This approach leads to error indicators which provide rigorous upper bounds of the element errors. A discussion of a compatibility condition for the well-posedness of the local error analysis problem is given. Two numerical examples are solved to check the compatibility of the local problems and convergence of the effectivity index both in a local and a global sense with respect to local refinements.

• Computers and Concrete
• /
• v.23 no.3
• /
• pp.171-188
• /
• 2019

This study proposed a new and efficient 2D damage-plasticity model within the framework of Isogeometric analysis (IGA) for the geometrically nonlinear damage analysis of concrete. Since concrete exhibits complicated material properties, two internal variables are introduced to measure the hardening/softening behavior of concrete in tension and compression, and an implicit gradient-enhanced formulation is adopted to restore the well-posedness of the boundary value problem. The numerical results calculated by the model is compared with the experimental data of three benchmark problems of plain concrete (three-point and four-point bending single-notched beams and four-point bending double-notched beam) to illustrate the geometrical flexibility, accuracy, and robustness of the proposed approach. In addition, the influence of the characteristic length on the numerical results of each problem is investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.267-296
• /
• 2018

This paper studies the Cauchy problem and blow-up phenomena for a new generalized Camassa-Holm equation with cubic nonlinearity in the nonhomogeneous Besov spaces. First, by means of the Littlewood-Paley decomposition theory, we investigate the local well-posedness of the equation in $B^s_{p,r}$ with s > $max\{{\frac{1}{p}},\;{\frac{1}{2}},\;1-{\frac{1}{p}}\},\;p,\;r{\in}[0,{\infty}]$. Second, we prove that the equation is locally well-posed in $B^s_{2,r}$ with the critical index $s={\frac{1}{2}}$ by virtue of the logarithmic interpolation inequality and the Osgood's Lemma, and it is shown that the data-to-solution mapping is $H{\ddot{o}}lder$ continuous. Finally, we derive two kinds of blow-up criteria for the strong solution by using induction and the conservative property of m along the characteristics.

• Structural Engineering and Mechanics
• /
• v.81 no.4
• /
• pp.523-527
• /
• 2022

The objective of this study is to simulate the flow in pipes with various boundary conditions. Free-pressure fluid model, is used in the pipe based on Navier-Stokes equation. The models are solved by using the numerical method. A problem called "stability of pipes" is used in order to compare frequency and critical fluid velocity. When the initial conditions of problem satisfied the instability conditions, the free-pressure model could accurately predict discontinuities in the solution field. Employing nonlinear strains-displacements, stress-strain energy method the governing equations were derived using Hamilton's principal. Differential quadrature method (DQM) is used for obtaining the frequency and critical fluid velocity. The results of this paper are analyzed by hyperbolic numerical method. Results show that the level of numerical diffusion in the solution field and the range of well-posedness are two important criteria for selecting the two-fluid models. The solutions for predicting the flow variables is approximately equal to the two-pressure model 2. Therefore, the predicted pressure changes profile in the two-pressure model is more consistent with actual physics. Therefore, in numerical modeling of gas-liquid two-phase flows in the vertical pipe, the present model can be applied.

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