• 대한수학회보
• /
• 제50권3호
• /
• pp.801-809
• /
• 2013

In this paper, we construct nilpotent semigroups S such that $S^n=\{0\}$, $S^{n-1}{\neq}\{0\}$ and ${\Gamma}(S)$ is a refinement of the star graph $K_{1,n-3}$ with center $c$ together with finitely many or infinitely many end vertices adjacent to $c$, for each finite positive integer $n{\geq}5$. We also give counting formulae to calculate the number of the mutually non-isomorphic nilpotent semigroups when $n=5$, 6 and in finite cases.

• Kyungpook Mathematical Journal
• /
• 제13권2호
• /
• pp.235-240
• /
• 1973

A k-dimensional vector bundle is a bundle ${\xi}=(E,P,B,F^k)$ with fibre $F^k$ satisfying the local triviality, where F is the field of real numbers R or complex numbers C ([1], [2] and [3]). Let $Vect_k(X)$ be the set consisting of all isomorphism classes of k-dimensional vector bundles over the topological space X. Then $Vect_F(X)=\{Vect_k(X)\}_{k=0,1,{\cdots}}$ is a semigroup with Whitney sum (${\S}1$). For a pair (X, A) of topological spaces, a difference isomorphism over (X, A) is a vector bundle morphism ([2], [3]) ${\alpha}:{\xi}_0{\rightarrow}{\xi}_1$ such that the restriction ${\alpha}:{\xi}_0{\mid}A{\longrightarrow}{\xi}_1{\mid}A$ is an isomorphism. Let $S_k(X,A)$ be the set of all difference isomorphism classes over (X, A) of k-dimensional vector bundles over X with fibre $F^k$. Then $S_F(X,A)=\{S_k(X,A)\}_{k=0,1,{\cdots}}$, is a semigroup with Whitney Sum (${\S}2$). In this paper, we shall prove a relation between $Vect_F(X)$ and $S_F(X,A)$ under some conditions (Theorem 2, which is the main theorem of this paper). We shall use the following theorem in the paper. THEOREM 1. Let ${\xi}=(E,P,B)$ be a locally trivial bundle with fibre F, where (B, A) is a relative CW-complex. Then all cross sections S of ${\xi}{\mid}A$ prolong to a cross section $S^*$ of ${\xi}$ under either of the following hypothesis: (H1) The space F is (m-1)-connected for each $m{\leq}dim$ B. (H2) There is a relative CW-complex (Y, X) such that $B=Y{\times}I$ and $A=(X{\times}I)$ ${\cap}(Y{\times}O)$, where I=[0, 1]. (For proof see p.21 [2]).

• Kyungpook Mathematical Journal
• /
• 제56권1호
• /
• pp.185-220
• /
• 2016

We study the Gauss and Poisson semigroups connected with the Riemann-Liouville operator defined on the half plane. Next, we establish a principle of maximum for the singular partial differential operator $${\Delta}_{\alpha}={\frac{{\partial}^2}{{\partial}r^2}+{\frac{2{\alpha}+1}{r}{\frac{\partial}{{\partial}r}}+{\frac{{\partial}^2}{{\partial}x^2}}+{\frac{{\partial}^2}{{\partial}t^2}}};\;(r,x,t){\in}]0,+{\infty}[{\times}{\mathbb{R}}{\times}]0,+{\infty}[$$. Later, we define the Littlewood-Paley g-function and using the principle of maximum, we prove that for every $p{\in}]1,+{\infty}[$, there exists a positive constant $C_p$ such that for every $f{\in}L^p(d{\nu}_{\alpha})$, $${\frac{1}{C_p}}{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}{\leqslant}{\parallel}g(f){\parallel}_{p,{\nu}_{\alpha}}{\leqslant}C_p{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}$$.

• 대한수학회지
• /
• 제38권1호
• /
• pp.177-191
• /
• 2001

We consider a linear differential game described by the delay-differential equation in a Hilbert space H; (※Equations, See Full-text) U and V are Hilbert spaces, and B(t) and C(t) are families of bounded operators on U and V to H, respectively. A(sub)0 generates an analytic semigroup T(t) = e(sup)tA(sub)0 in H. The control variables g, and u and v are supposed to be restricted in the norm bounded sets (※Equations, See Full-text). For given x(sup)0 ∈ H and a given time t > 0, we study $\xi$-approximate controllability to determine x($.$) for a given g and v($.$) such that the corresponding solution x(t) satisfies ∥x(t) - x(sup)0∥ $\leq$ $\xi$($\xi$ > 0 : a given error).

• 대한수학회보
• /
• 제37권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
• /
• 제48권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.

• 대한수학회논문집
• /
• 제34권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.