• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.623-647
• /
• 2020

The greatest integer that does not belong to a numerical semigroup S is called the Frobenius number of S. The Frobenius problem, which is also called the coin problem or the money changing problem, is a mathematical problem of finding the Frobenius number. In this paper, we introduce the Frobenius problem for two kinds of numerical semigroups generated by the Thabit numbers of the first kind, and the second kind base b, and by the Cunningham numbers. We provide detailed proofs for the Thabit numbers of the second kind base b and omit the proofs for the Thabit numbers of the first kind base b and Cunningham numbers.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.747-756
• /
• 1999

In ring theory it is well-known that a ring R is (von Neumann) regular if and only if all right R-modules are flat. But the analogous statement for this result does not hold for a monoid S. Hence, in sense of S-acts, Liu (]10]) showed that, as a weak analogue of this result, a monoid S is regular if and only if all left S-acts satisfying condition (E) ([6]) are flat. Moreover, Bulmann-Fleming ([6]) showed that x is a regular element of a monoid S iff the cyclic right S-act S/p(x, x2) is flat. In this paper, we show that the analogue of this result can be held for automata and them characterize regular semigroups by flat automata.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.361-376
• /
• 2000

Our purpose is to seek that the reachable set of the semilinear system $\frac{d}{dt}x(t){\;}={\;}Ax(t){\;}+{\;}f(t,x(t)){\;}+{\;}Bu(t)$ is equivalent to that of its corresponding to linear system (the case where f=0).Under the assumption that the system of generalized eigenspaces of A is complete, we will show that the reachable set corresponding to the linear system is independent of t in case A generates $C_0-semigroup$. An illustrative example for retarded system with time delay is given in the last section.

• Kyungpook Mathematical Journal
• /
• v.48 no.4
• /
• pp.559-575
• /
• 2008

A commutative hypercomplex system $L_1$(Q,m) is, roughly speaking, a space which is defined by a structure measure (c(A,B, r), (A,$B{\in}{\beta}$(Q)). Such space has bee studied by Berezanskii and Krein. Our main purpose is to establish a generalization of convolution semigroups and to discuss the role of the L$\'{e}$vy measure in the L$\'{e}$vy-Khinchin representation in terms of continuous negative definite functions on the dual hypercomplex system.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.24 no.2
• /
• pp.229-242
• /
• 2020

Functional fractional differential inclusions with impulse effects in general Banach spaces are studied. We discuss the situation when the semigroup generated by the linear part is equicontinuous and the multifunction is Caratheodory. First, we define the PC-mild solutions for functional fractional semilinear impulsive differential inclusions. We then prove the existence of PC-mild solutions for such inclusions by using the fixed point theorem, multivalued properties and applications of NCHM (noncompactness Hausdorff measure). Eventually, we enhance the acquired results by giving an example.

• Journal of applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1217-1225
• /
• 2010

In this paper we define fuzzy interior $\Gamma$-ideals in ordered $\Gamma$-semigroups. We prove that in regular(resp. intra-regular) ordered $\Gamma$-semigroups the concepts of fuzzy interior $\Gamma$-ideals and fuzzy $\Gamma$-ideals coincide. We prove that an ordered $\Gamma$-semigroup is fuzzy simple if and only if every fuzzy interior $\Gamma$-ideal is a constant function. We characterize intra-regular ordered $\Gamma$-semigroups in terms of interior (resp. fuzzy interior) $\Gamma$-ideals.

• The Pure and Applied Mathematics
• /
• v.18 no.1
• /
• pp.31-39
• /
• 2011

Stone's theorem states that "A bounded linear operator A is infinitesimal generator of a $C_0$-group of unitary operators on a Hilbert space H if and only if iA is self adjoint". In this paper we establish a generalization of Stone's theorem in the framework of Hilbert $C^*$-modules.

• 전기의세계
• /
• v.31 no.3
• /
• pp.209-217
• /
• 1982

This paper considers a finite spectrum assignment Problem for a functional retarded linear differential system with delays in control only. In this problem, by generalizing from an abstract linear system characterized by Semigroups on a Hilbert space to a finite dimensional linear system, we unify the relationship between a control-delayed system and its non-delayed system, and then by using the spectrum of the generator-decomposition of Semigroup, we try to get a feedback law which yields a finite spectrum of the closed-loop system, located at an arbitrarily preassigned sets of n points in the complex plane. The comparative examinations between the standard spectrum assignment method and the method of spectral projection for the feedback law which consists of proportional and finite interval terms over present and past values of control variables are also considered. The analysis is carry down to the elementary spectral projection level because, in spite of all the research efforts, so far there has been no significant attempt to obtain the feedback implementation directly from the abstract representation forms in the case of multivariables.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1019-1036
• /
• 2016

In this paper, we study the existence of solutions and $L^2$-regularity for fractional order retarded neutral functional differential equations in Hilbert spaces. We no longer require the compactness of structural operators to prove the existence of continuous solutions of the non-linear differential system, but instead we investigate the relation between the regularity of solutions of fractional order retarded neutral functional differential systems with unbounded principal operators and that of its corresponding linear system excluded by the nonlinear term. Finally, we give a simple example to which our main result can be applied.

• Communications of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.1365-1388
• /
• 2019

In this paper we consider a class of nonlinear nonlocal parabolic equations involving p-Laplacian operator where the nonlocal quantity is present in the diffusion coefficient which depends on $L^p$-norm of the gradient and the nonlinear term is of polynomial type. We first prove the existence and uniqueness of weak solutions by combining the compactness method and the monotonicity method. Then we study the existence of global attractors in various spaces for the continuous semigroup generated by the problem. Finally, we investigate the existence and exponential stability of weak stationary solutions to the problem.