• Bulletin of the Korean Mathematical Society
• /
• v.51 no.5
• /
• pp.1469-1484
• /
• 2014

In this paper we are concerned with a class of stochastic partial functional differential equations with infinite delay. Supposing that the linear part is a Hille-Yosida operator but not necessarily densely defined and employing the integrated semigroup and random dynamics theory, we present some appropriate conditions to guarantee the existence of a random attractor.

• Journal of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.61-88
• /
• 2020

In this paper, we investigate the existence of mild solutions for a class of fractional impulsive evolution equation with periodic boundary condition by means of the method of upper and lower solutions and monotone iterative method. Using the theory of Kuratowski measure of noncompactness, a series of results about mild solutions are obtained. Finally, two examples are given to illustrate our results.

• Proceedings of the Korea Contents Association Conference
• /
• 2013.05a
• /
• pp.369-370
• /
• 2013

Orthomodular lattice is a mathematical description of quantum theory which is based on the family CS(H) of all closed subspaces of a Hilbert space H. A partial multiplier is a function F from a non-empty subset D of a commutative semigroup A into A such that F(x)y = xF(y) for every elements x, y in A. In this paper, we define the notion of multipliers on orthomodular lattices and give some properties of multipliers. Also, we characterize some properties of orthomodular lattices by multipliers.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.16 no.2
• /
• pp.93-105
• /
• 2012

In this paper, we consider the controllability of a certain class of impulsive neutral evolution differential equations in Banach spaces. Sufficient conditions for controllability are obtained by using the Hausdorff measure of noncompactness and Monch fixed point theorem under the assumption of noncompactness of the evolution system.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.309-330
• /
• 2004

In this paper, we apply the concept of intuitionistic fuzzy sets to theory of semigroups. We give some properties of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals, and characterize which is left [right] simple, left [right] duo and a semilattice of left [right] simple semigroups or another type of semigroups in terms of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.499-509
• /
• 2000

In [9], the concept of fuzzy sets is applied to the theory of Ζ-ideals in a BCI-semigroup (it was renamed as an IS-algebra for the convenience of study), and a characterization of fuzzy Ζ-ideals by their level Ζ-ideals was discussed. In this paper, we study further properties of fuzzy Ζ-ideals. We prove that the homomorphic image and preimage of a fuzzy Ζ-ideal are also fuzzy Ζ-ideals.

• Journal of Information Technology Services
• /
• v.9 no.4
• /
• pp.219-229
• /
• 2010

The Green's equivalence relations have played a fundamental role in the development of semigroup theory. They are concerned with mutual divisibility of various kinds, and all of them reduce to the universal equivalence in a group. Boolean matrices have been successfully used in various areas, and many researches have been performed on them. Studying Green's relations on a monoid of boolean matrices will reveal important characteristics about boolean matrices, which may be useful in diverse applications. Although there are known algorithms that can compute Green relations, most of them are concerned with finding one equivalence class in a specific Green's relation and only a few algorithms have been appeared quite recently to deal with the problem of finding the whole D or J equivalence relations on the monoid of all $n{\times}n$ Boolean matrices. However, their results are far from satisfaction since their computational complexity is exponential-their computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices and the size of the monoid of all $n{\times}n$ Boolean matrices grows exponentially as n increases. As an effort to reduce the execution time, this paper shows an isomorphism between the R relation and L relation on the monoid of all $n{\times}n$ Boolean matrices in terms of transposition. introduces theorems based on it discusses an improved algorithm for the J relation computation whose design reflects those theorems and gives its execution results.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1065-1092
• /
• 2018

This manuscript is involved with a category of second-order impulsive functional integro-differential equations with nonlocal conditions in Banach spaces. Sufficient conditions for existence and approximate controllability of mild solutions are acquired by making use of the theory of cosine family, Banach contraction principle and Leray-Schauder nonlinear alternative fixed point theorem. An illustration is additionally furnished to prove the attained principles.

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