• Journal of the Korean earth science society
• /
• v.40 no.4
• /
• pp.353-381
• /
• 2019

The general world model for homogeneous and isotropic universe has been proposed. For this purpose, we introduce a global and fiducial system of reference (world reference frame) constructed on a (4+1)-dimensional space-time, and assume that the universe is spatially a 3-dimensional hypersurface embedded in the 4-dimensional space. The simultaneity for the entire universe has been specified by the global time coordinate. We define the line element as the separation between two neighboring events on the expanding universe that are distinct in space and time, as viewed in the world reference frame. The information that determines the kinematics of the geometry of the universe such as size and expansion rate has been included in the new metric. The Einstein's field equations with the new metric imply that closed, flat, and open universes are filled with positive, zero, and negative energy, respectively. The curvature of the universe is determined by the sign of mean energy density. We have demonstrated that the flat universe is empty and stationary, equivalent to the Minkowski space-time, and that the universe with positive energy density is always spatially closed and finite. In the closed universe, the proper time of a comoving observer does not elapse uniformly as judged in the world reference frame, in which both cosmic expansion and time-varying light speeds cannot exceed the limiting speed of the special relativity. We have also reconstructed cosmic evolution histories of the closed world models that are consistent with recent astronomical observations, and derived useful formulas such as energy-momentum relation of particles, redshift, total energy in the universe, cosmic distance and time scales, and so forth. The notable feature of the spatially closed universe is that the universe started from a non-singular point in the sense that physical quantities have finite values at the initial time as judged in the world reference frame. It has also been shown that the inflation with positive acceleration at the earliest epoch is improbable.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.1
• /
• pp.43-54
• /
• 1996

This paper presents new heuristic search algorithms for searching rectilinear r(L1), link metric, and combined shortest paths in the presence of orthogonal obstacles. The GMD(GuidedMinimum Detour) algorithm combines the best features of maze-running algorithms and line-search algorithms. The SGMD(Line-by-Line GuidedMinimum Detour)algorithm is a modiffication of the GMD algorithm that improves efficiency using line-by-line extensions. Our GMD and LGMD algorithms always find a rectilinear shortest path using the guided A search method without constructing a connection graph that contains a shortest path. The GMD and the LGMD algorithms can be implemented in O(m＋eloge＋NlogN) and O(eloge＋NlogN) time, respectively, and O(e＋N) space, where m is the total number of searched nodes, is the number of boundary sides of obstacles, and N is the total number of searched line segment. Based on the LGMD algorithm, we consider not only the problems of finding a link metric shortest path in terms of the number of bends, but also the combined L1 metric and Link Metric shortest path in terms of the length and the number of bands.

• Proceedings of the IEEK Conference
• /
• 2001.09a
• /
• pp.249-252
• /
• 2001

TCM(Trellis Coded Modulation) has soft decision scheme so that BM(Branch Metric) calculates the ED(Euclidean Distance) between the received signal and each code words in signal space. For computing the ED, square and square root computations increase the hardware complexity. Some simplified method is known for convolutional codes with QPSK(Quadrature Phase Shift Keying), PSK(Phase Shift Keying) modulation. But it is not acceptable for QAM (Quadrature Amplitude Modulation)-TCM scheme. In this paper, we suggest that two modified BM computation methods, which is applicable for QAM-TCM. By comparative study, we also assessed two proposed method in the case of hardware complexity and BER (Bit Error Rate) performance.

• Korean Journal of Mathematics
• /
• v.24 no.4
• /
• pp.647-662
• /
• 2016

In this paper, we study Lipschitz continuous, the boundedness and compactness of the composition operator $C_{\phi}$ acting between the general hyperbolic Bloch type-classes ${\mathcal{B}}^{\ast}_{p,{\log},{\alpha}}$ and general hyperbolic Besov-type classes $F^{\ast}_{p,{\log}}(p,q,s)$. Moreover, these classes are shown to be complete metric spaces with respect to the corresponding metrics.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.1087-1094
• /
• 2016

On a compact n-dimensional manifold M, it has been conjectured that a critical point of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, is Einstein. In this paper, after derivng an interesting curvature identity, we show that the conjecture is true in dimension three and four when g is weakly Einstein. In higher dimensional case $n{\geq}5$, we also show that the conjecture is true under an additional Ricci curvature bound. Moreover, we prove that the manifold is isometric to a standard n-sphere when it is n-dimensional weakly Einstein and the kernel of the linearized scalar curvature operator is nontrivial.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.859-870
• /
• 2015

The notion of quasi-valuation maps based on a subalgebra and an ideal in BCK/BCI-algebras is introduced, and then several properties are investigated. Relations between a quasi-valuation map based on a subalgebra and a quasi-valuation map based on an ideal is established. In a BCI-algebra, a condition for a quasi-valuation map based on an ideal to be a quasi-valuation map based on a subalgebra is provided, and conditions for a real-valued function on a BCK/BCI-algebra to be a quasi-valuation map based on an ideal are discussed. Using the notion of a quasi-valuation map based on an ideal, (pseudo) metric spaces are constructed, and we show that the binary operation * in BCK-algebras is uniformly continuous.

• The Pure and Applied Mathematics
• /
• v.24 no.2
• /
• pp.79-98
• /
• 2017

We establish a coupled coincidence point theorem for generalized compatible pair of mappings $F,G:X{\times}X{\rightarrow}X$ under generalized symmetric Meir-Keeler contraction on a partially ordered metric space. We also deduce certain coupled fixed point results without mixed monotone property of $F:X{\times}X{\rightarrow}X$. An example supporting to our result has also been cited. As an application the solution of integral equations are obtain here to illustrate the usability of the obtained results. We improve, extend and generalize several known results.

• East Asian mathematical journal
• /
• v.32 no.3
• /
• pp.333-354
• /
• 2016

We present coincidence point theorem for g-non-decreasing mappings satisfying generalized nonlinear contraction on partially ordered metric spaces. We show how multidimensional results can be seen as simple consequences of our unidimensional coincidence point theorem. We also obtain the coupled coincidence point theorem for generalized compatible pair of mappings $F,G:X^2{\rightarrow}X$ by using obtained coincidence point results. Furthermore, an example and an application to integral equation are also given to show the usability of obtained results. Our results generalize, modify, improve and sharpen several well-known results.

• Journal of applied mathematics & informatics
• /
• v.38 no.5_6
• /
• pp.507-518
• /
• 2020

In this article, we establish some fixed point results in G-metric spaces using the modified JS-G-contractions and we provide some suitable examples to support the results. Also, we give an application to solve an integral equation.

• Journal of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.935-955
• /
• 2020

In this paper we present a measurable version of the Smale's spectral decomposition theorem for homeomorphisms on compact metric spaces. More precisely, we prove that if a homeomorphism f on a compact metric space X is invariantly measure expanding on its chain recurrent set CR(f) and has the eventually shadowing property on CR(f), then f has the spectral decomposition. Moreover we show that f is invariantly measure expanding on X if and only if its restriction on CR(f) is invariantly measure expanding. Using this, we characterize the measure expanding diffeomorphisms on compact smooth manifolds via the notion of Ω-stability.