• East Asian mathematical journal
• /
• 제35권1호
• /
• pp.17-22
• /
• 2019

A travel groupoid is a pair (V, ${\ast}$) of a set V and a binary operation ${\ast}$ on V satisfying two axioms. For a travel groupoid, we can associate a graph in a certain manner. For a given graph G, we say that a travel groupoid (V, ${\ast}$) is on G if the graph associated with (V, ${\ast}$) is equal to G. There are some results on the classification of travel groupoids which are on a given graph [1, 2, 3, 9]. In this article, we introduce the notion of vertex-indexed partition systems on a graph, and classify the travel groupoids on the graph by the those vertex-indexed partition systems.

• East Asian mathematical journal
• /
• 제35권1호
• /
• pp.67-75
• /
• 2019

We investigate the averaging value of a random sampling of a Dirichlet series with some condition using Poisson distribution. Our result is the following: Let $L(s)={\sum}^{\infty}_{n=1}{\frac{a_n}{n^s}}$ be a Dirichlet series that converges absolutely for Re(s) > 1. If $X_t$ is an increasing random sampling with Poisson distribution and there exists a number $0<{\alpha}<{\frac{1}{2}}$ such that ${\sum}_{n{\leq}u}a_n{\ll}u^{\alpha}$, then we have $${\mathbb{E}}L(1/2+iX_t)=O(t^{\alpha}{\sqrt{{\log}t}})$$, for all sufficiently large t in ${\mathbb{R}}$. As a result, we get the behaviour of $L({\frac{1}{2}}+it)$ such that L is a Dirichlet L-function or a modular L-function, when t is sampled by the Poisson distribution.

• East Asian mathematical journal
• /
• 제35권5호
• /
• pp.569-587
• /
• 2019

In this paper, we consider a split least-squares characteristic mixed element method for Sobolev equations with a convection term. First, to manipulate both convection term and time derivative term efficiently, we apply a characteristic mixed element method to get the system of equations in the primal unknown and the flux unknown and then get a least-squares minimization problem and a least-squares characteristic mixed element scheme. Finally, we obtain a split least-squares characteristic mixed element scheme for the given problem whose system is uncoupled in the unknowns. We prove the optimal order in $L^2$ and $H^1$ normed spaces for the primal unknown and the suboptimal order in $L^2$ normed space for the flux unknown.

• East Asian mathematical journal
• /
• 제35권2호
• /
• pp.141-161
• /
• 2019

The purpose of this paper is to reinterpret and visualize the trisection line construction of general angle in the Medieval Islam using conic sections. The geometry field in the current 2015 revised Mathematics curriculum deals mainly with the more contents of analytic geometry than logic geometry. This study investigated four trisecting problems shown by al-Haytham, Abu'l Jud, Al-Sijzī and Abū Sahl al-Kūhī in Medieval Islam as one of methods to achieve the harmony of analytic and logic geometry. In particular, we studied the above results by 3 steps(analysis, construction and proof) in order to reinterpret and visualize.

• East Asian mathematical journal
• /
• 제37권1호
• /
• pp.9-17
• /
• 2021

For a positive integer n, let μd(n) be the number of multiplicative d-dimensional partitions of ${\prod\limits_{i=1}^{n}}p_i$, where pi denotes the ith prime. The number of multiplicative partitions of a square free number with n prime factors is the Bell number μ1(n) = ��n. By the definition of the function μd(n), it can be seen that for all positive integers n, μ1(n) = Tn(1) = ��n, where Tn(x) is the nth Touchard (or exponential ) polynomial. We show that, for a positive n, μ2(n) = 2nTn(1/2). We also conjecture that for all m, μ3(m) ≤ 3mTm(1/3).

• East Asian mathematical journal
• /
• 제37권1호
• /
• pp.87-95
• /
• 2021

Let K be an imaginary quadratic field with ��K its ring of integers. For a positive integer N, let K(N) be the ray class field of K modulo N��K, and let ��N be the field of meromorphic modular functions of level N whose Fourier coefficients lie in the Nth cyclotomic field. For each h ∈ ��N, we construct a ray class invariant as its special value in terms of the extended form class group, and show that the invariant satisfies the natural transformation formula via the Artin map in the sense of Siegel and Stark. Finally, we establish an isomorphism between the extended form class group and Gal(K(N)/K) without any restriction on K.

• East Asian mathematical journal
• /
• 제37권4호
• /
• pp.427-441
• /
• 2021

Ju-Seo-Gwan-Gyeon is a mathematical book of Chosun dynasty by Jo Tae Gu. This study is to analyze his understanding for the 'Gujang' in the 'Gujang-Mundab'. From this study, we were able to see the contents of 'Gujang-Mundab' that has been unknown in detail so far. In this study, the following facts are found. Most parts of 'Gujang' in 'Gujang-Mundab' was explained the same as Gu-Jang-San-Sul. This indicates that Ju-Seo-Gwan-Gyeon was influenced by Gu-Jang-San-Sul. However, Ju-Seo-Gwan-Gyeon also contains what he wrote with his own understanding. We expect that the results provide basic information for mathematics history in Korea.

• East Asian mathematical journal
• /
• 제38권1호
• /
• pp.43-63
• /
• 2022

Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (φ, ξ, η, g) in a complex space form M_n+1(c). We denote by R_ξ the structure Jacobi operator with respect to the structure vector field ξ and by ${\bar{r}}$ the scalar curvature of M. Suppose that R_ξ is φ∇_ξξ-parallel and at the same time the third fundamental form t satisfies dt(X, Y) = 2θg(φX, Y) for a scalar θ(≠ 2c) and any vector fields X and Y on M. In this paper, we prove that if it satisfies R_ξφ = φR_ξ, then M is a Hopf hypersurface of type (A) in M_n+1(c) provided that ${\bar{r}-2(n-1)c}$ ≤ 0.

• East Asian mathematical journal
• /
• 제38권5호
• /
• pp.549-581
• /
• 2022

Let M be a semi-invariant submanifold with almost contact metric structure (𝜙, 𝜉, 𝜂, g) of codimension 3 in a complex space form M_n+1(c), c≠ 0. We denote by S and R_𝜉 be the Ricci tensor of M and the structure Jacobi operator in the direction of the structure vector 𝜉, respectively. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a certain scalar 𝜃(≠ 2c) and any vector fields X and Y on M. In this paper, we prove that M satisfies R_𝜉S = SR_𝜉 and at the same time R_𝜉𝜙 = 𝜙R_𝜉, then M is a Hopf hypersurface of type (A) provided that the scalar curvature s of M holds s - 2(n - 1)c ≤ 0.

• East Asian mathematical journal
• /
• 제38권3호
• /
• pp.293-319
• /
• 2022

In this paper, we introduce a higher order split least-squares characteristic mixed element scheme for Sobolev equations. First, we use a characteristic mixed element method to manipulate both convection term and time derivative term efficiently and obtain the system of equations in the primal unknown and the flux unknown. Second, we define a least-squares minimization problem and a least-squares characteristic mixed element scheme. Finally, we obtain a split least-squares characteristic mixed element scheme for the given problem whose system is uncoupled in the unknowns. We establish the convergence results for the primal unknown and the flux unknown with the second order in a time increment.