• 대한수학회보
• /
• 제46권3호
• /
• pp.409-434
• /
• 2009

In this paper, we consider a generalized Riemann problem of the first order hyperbolic conservation laws. For the case that excludes the centered wave, we prove that the generalized Riemann problem admits a unique piecewise smooth solution u = u(t, x), and this solution has a structure similar to the similarity solution u = $U{(\frac{x}{t})}$ of the correspondin Riemann problem in the neighborhood of the origin provided that the coefficients of the system and the initial conditions are sufficiently smooth.

• 대한수학회지
• /
• 제57권5호
• /
• pp.1079-1101
• /
• 2020

This work is concerned with a geometric inverse problem in fluid mechanics. The aim is to reconstruct an unknown obstacle immersed in a Newtonian and incompressible fluid flow from internal data. We assume that the fluid motion is governed by the Stokes-Brinkmann equations in the two dimensional case. We propose a simple and efficient reconstruction method based on the topological sensitivity concept. The geometric inverse problem is reformulated as a topology optimization one minimizing a least-square functional. The existence and stability of the optimization problem solution are discussed. A topological sensitivity analysis is derived with the help of a straightforward approach based on a penalization technique without using the classical truncation method. The theoretical results are exploited for building a non-iterative reconstruction algorithm. The unknown obstacle is reconstructed using a levelset curve of the topological gradient. The accuracy and the robustness of the proposed method are justified by some numerical examples.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1495-1515
• /
• 2015

This paper deals with the numerical methods for the reconstruction of the source term in a linear parabolic equation from final overdetermination. We assume that the source term has the form f(x)h(t) and h(t) is given, which guarantees the uniqueness of the inverse problem of determining the source term f(x) from final overdetermination. We present the regularization methods for reconstruction of the source term in the whole real line and with Neumann boundary conditions. Moreover, we show the connection of the solutions between the problem with Neumann boundary conditions and the problem with no boundary conditions (on the whole real line) by using the extension method. Numerical experiments are done for the inverse problem with the boundary conditions.

• 대한수학회지
• /
• 제54권5호
• /
• pp.1573-1594
• /
• 2017

This paper deals with the existence and energy estimates of solutions for a class of degenerate nonlocal problems involving sub-linear nonlinearities, while the nonlinear part of the problem admits some hypotheses on the behavior at origin or perturbation property. In particular, for a precise localization of the parameter, the existence of a non-zero solution is established requiring the sublinearity of nonlinear part at origin and infinity. We also consider the existence of solutions for our problem under algebraic conditions with the classical Ambrosetti-Rabinowitz. In what follows, by combining two algebraic conditions on the nonlinear term which guarantees the existence of two solutions as well as applying the mountain pass theorem given by Pucci and Serrin, we establish the existence of the third solution for our problem. Moreover, concrete examples of applications are provided.

• Journal of applied mathematics & informatics
• /
• 제16권1_2호
• /
• pp.307-321
• /
• 2004

In this paper, the unsteady Stokes problem is considered and also the pressure-correction method for the problem is described. At a fixed time level, we reduce the problem to two symmetric positive definite problems which depend on a time step parameter. Linear systems that arise from the problems are large, sparse, symmetric, positive definite and ill-conditioned as the time step tends to zero. Preconditioned problems based on an additive Schwarz method for solving the symmetric positive definite problems are derived and preconditioners are defined implicitly. It will be shown that the rate of convergence is independent of the mesh parameters as well as the time step size.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제23권2호
• /
• pp.175-196
• /
• 2009

본 연구는 수학교과의 수준별 교수-학습 자료의 이론적 뒷받침에 관련된 문헌연구로, Ziv의 교수학적 자료에 제시된 하수준과 중수준에 해당하는 교수-학습 자료들을 수학문제의 내적구조라는 관점에서 분석하여, 하수준 문제들의 특징들, 중수준 문제들의 특징들을 조사하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제51권4호
• /
• pp.471-484
• /
• 2012

It is not easy to find the auxiliary line to solve the problem in connection with the circle, where it is the problem finding the central angle or angle at the circumference in a circle. The purpose of the study is to give an aid for this difficulties. The angle at the circumference is closely related to the arc. And so we looked into the problem in connection with the angle at the circumference in point of view of the arc. We have got the following the results. It is not necessary to draw the auxiliary line when solving the problem in connection with the angle at the circumference in point of view of the arc. And we can find the reason to draw the specific auxiliary in point of view of the arc. We hope that the results of research are given aids to a lot of students.

• 대한수학회보
• /
• 제30권1호
• /
• pp.29-34
• /
• 1993

J. Leray [7] proposed a sufficient condition ofr the solvability of the Cauchy problem on the initial hyperplane x$_{1}$=0 with Cauchy data which are holomorphic with respect to the variables parallel to some analytic subvariety S of the initial hyperplane. Limiting the problem to the case of operators with constant coefficients, A. Kaneko [2] proposed a new sharper sufficient condition. Later we generalized this condition and showed that it is necessary and sufficient for the solvability of the Cauchy problem for the hyperfunction Cauchy data and the distribution Cauchy data which contain variables parallel to S as holomorphic parameters in [5, 6]. In this paper, we extend the results in [6] to the case of operators with variable coefficients and show that it is sufficient for the solvability of the Cauchy problem for the hyperfunction Cauchy data. Our main theorem can be considered as an example of a deep theorem on micro-hyperbolic systems by Kashiwara-Schapira [4] and we give a direct proof based on an elementary sweeping out procedure developed in Kaneko [3].

• 대한수학회보
• /
• 제37권1호
• /
• pp.91-102
• /
• 2000

Let ${\gamma}{\equiv}{\gamma}^{(2n)}$ denote a sequence of complex numbers ${\gamma}{00},{\gamma}{01},\cdots,{\gamma}0, 2n,...,{\gamma}{2n},0\;with\; {\gamma}{00}\;>\;0,{\gamma}{ji}={{\overline}{\gamma_{ij}}}$,and let K denote a closed subset of the complex plane C. The truncated K complex moment problem entails finding a positive Borel measure $\mu$ such that ${\gamma}{ij}={\int}{{\overline}{z}}^{i}z^{j}d{\mu}\;(0{\leq}\;i+j\;{\leq}\;2n)$ and supp ${\mu}{\subseteq}\;K$. If n=2, then is called the quartic moment problem. In this paper, we give partial solutions for the singular quartic moment problem with rank M(2)=5 and ${{\overline}{Z}}Z{\in}\;<1,Z,{{\overline}{Z}},Z^{2},{{\overline}{Z}}^2>$.

• 대한수학회논문집
• /
• 제39권2호
• /
• pp.421-436
• /
• 2024

In this article, we propose a shrinking projection algorithm for solving a finite family of generalized equilibrium problem which is also a fixed point of a nonexpansive mapping in the setting of Hadamard manifolds. Under some mild conditions, we prove that the sequence generated by the proposed algorithm converges to a common solution of a finite family of generalized equilibrium problem and fixed point problem of a nonexpansive mapping. Lastly, we present some numerical examples to illustrate the performance of our iterative method. Our results extends and improve many related results on generalized equilibrium problem from linear spaces to Hadamard manifolds. The result discuss in this article extends and complements many related results in the literature.