• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.457-471
• /
• 2009

Let S = {a, b, c, ...} and ${\Gamma}$ = {${\alpha}$, ${\beta}$, ${\gamma}$, ...} be two nonempty sets. S is called a ${\Gamma}$-semigroup if $a{\alpha}b{\in}S$, for all ${\alpha}{\in}{\Gamma}$ and a, b ${\in}$ S and $(a{\alpha}b){\beta}c=a{\alpha}(b{\beta}c)$, for all a, b, c ${\in}$ S and for all ${\alpha}$, ${\beta}$ ${\in}$ ${\Gamma}$. An element $e{\in}S$ is said to be an ${\alpha}$-idempotent for some ${\alpha}{\in}{\Gamma}$ if $e{\alpha}e$ = e. A ${\Gamma}$-semigroup S is called an E-inversive ${\Gamma}$-semigroup if for each $a{\in}S$ there exist $x{\in}S$ and ${\alpha}{\in}{\Gamma}$ such that a${\alpha}$x is a ${\beta}$-idempotent for some ${\beta}{\in}{\Gamma}$. A ${\Gamma}$-semigroup is called a right E-${\Gamma}$-semigroup if for each ${\alpha}$-idempotent e and ${\beta}$-idempotent f, $e{\alpha}$ is a ${\beta}$-idempotent. In this paper we investigate different properties of E-inversive ${\Gamma}$-semigroup and right E-${\Gamma}$-semigroup.

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.279-289
• /
• 2011

Let E be a uniformly convex Banach space with a uniformly Gateaux differentiable norm, C be a nonempty closed convex subset of E and f : $C{\rightarrow}C$ be a fixed bounded continuous strong pseudocontraction with the coefficient ${\alpha}{\in}(0,1)$. Let $\{{\lambda}_t\}_{0<t<1}$ be a net of positive real numbers such that ${\lim}_{t{\rightarrow}0}{\lambda}_t={\infty}$ and S = {$T(s)$ : $0{\leq}s$ < ${\infty}$} be a nonexpansive semigroup on C such that $F(S){\neq}{\emptyset}$, where F(S) denotes the set of fixed points of the semigroup. Then sequence {$x_t$} defined by $x_t=tf(x_t)+(1-t)\frac{1}{{\lambda}_t}{\int_{0}}^{{\lambda}_t}T(s)x{_t}ds$ converges strongly as $t{\rightarrow}0$ to $\bar{x}{\in}F(S)$, which solves the following variational inequality ${\langle}(f-I)\bar{x},\;p-\bar{x}{\rangle}{\leq}0$ for all $p{\in}F(S)$.

• Proceedings of the Korea Contents Association Conference
• /
• 2003.05a
• /
• pp.406-410
• /
• 2003

B. M. Schein([1]) considered systems of the form (${\Phi}$; ${\circ}$,-), where ${\Phi}$ is a set of functions closed under the composition "${\circ}$" of functions and the set theoretic subtraction "-". In this structure, (${\Phi}$; ${\circ}$) is a function semigroup and (${\Phi}$;-) is a subtraction algebra in the sense of [1]. He proved that every subtraction semigroup is isomorphic to a difference semigroup of invertible functions. Also this structure is closely related to the mathematical logic, Boolean algebra, Bck-algera, etc. In this paper, we define the near subtraction semigroup as a generalization of the subtraction semigroup, and define the notions of strong for it, and then we will search the general properties of this structure, the properties of ideals, and the application of it.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.717-728
• /
• 2008

Let H be a real Hilbert space and S = {T(s) : $0\;{\leq}\;s\;<\;{\infty}$} be a nonexpansive semigroup on H such that $F(S)\;{\neq}\;{\emptyset}$ For a contraction f with coefficient 0 < $\alpha$ < 1, a strongly positive bounded linear operator A with coefficient $\bar{\gamma}$ > 0. Let 0 < $\gamma$ < $\frac{\bar{\gamma}}{\alpha}$. It is proved that the sequences {$x_t$} and {$x_n$} generated by the iterative method $$x_t\;=\;t{\gamma}f(x_t)\;+\;(I\;-\;tA){\frac{1}{{\lambda}_t}}\;{\int_0}^{{\lambda}_t}\;T(s){x_t}ds,$$ and $$x_{n+1}\;=\;{\alpha}_n{\gamma}f(x_n)\;+\;(I\;-\;{\alpha}_nA)\frac{1}{t_n}\;{\int_0}^{t_n}\;T(s){x_n}ds,$$ where {t}, {${\alpha}_n$} $\subset$ (0, 1) and {${\lambda}_t$}, {$t_n$} are positive real divergent sequences, converges strongly to a common fixed point $\tilde{x}\;{\in}\;F(S)$ which solves the variational inequality $\langle({\gamma}f\;-\;A)\tilde{x},\;x\;-\;\tilde{x}{\rangle}\;{\leq}\;0$ for $x\;{\in}\;F(S)$.

• Bulletin of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.23-26
• /
• 1987

The aim of this note is to study some properties of Schrodinger operators, the magnetic case, $H_{0}$ (a)=1/2(-i.del.-a)$^{2}$; H(a)= $H_{0}$ (a)+V, where a=( $a_{1}$,.., $a_{n}$ ).mem. $L^{2}$$_{loc}$ and V is a potential energy. Also, we are interested in solutions, .psi., of H(a).psi.=E.psi. in the sense that (.psi., $e^{-tH}$(a).PSI.)= $e^{-tE}$(.psi.,.PSI.) for all .PSI..mem. $C_{0}$ $^{\infty}$( $R^{n}$ ) (see B. Simon [1]). In section 2, under some conditions, we find that a semibounded quadratic form of H9a) exists and that the Schrodinger operator H(a) with Re V.geq.0 is accretive on a form domain Q( $H_{0}$ (a)). But, it is well-known that the Schrodinger operator H=1/2.DELTA.+V with Re V.geq.0 is accretive on $C_{0}$ $^{\infty}$( $R^{n}$ ) in N Okazawa [4]. In section 3, we want to discuss $L^{p}$ estimates of Schrodinger semigroups.ups.

• Kyungpook Mathematical Journal
• /
• v.56 no.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}}$$.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.109-126
• /
• 2012

In 2003, Marques-Smith and Sullivan described the join ${\Omega}$ of the 'natural order' $\leq$ and the 'containment order' $\subseteq$ on P(X), the semigroup under composition of all partial transformations of a set X. And, in 2004, Pinto and Sullivan described all automorphisms of PS(q), the partial Baer-Levi semigroup consisting of all injective ${\alpha}{\in}P(X)$ such that ${\mid}X{\backslash}X{\alpha}\mid=q$, where $N_0{\leq}q{\leq}{\mid}X{\mid}$. In this paper, we describe the group of automorphisms of R(q), the largest regular subsemigroup of PS(q). In 2010, we studied some properties of $\leq$ and $\subseteq$ on PS(q). Here, we characterize the meet and join under those orders for elements of R(q) and PS(q). In addition, since $\leq$ does not equal ${\Omega}$ on I(X), the symmetric inverse semigroup on X, we formulate an algebraic version of ${\Omega}$ on arbitrary inverse semigroups and discuss some of its properties in an algebraic setting.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.185-202
• /
• 2019

In this paper, we investigate many types of stability, like (uniform stability, exponential stability and h-stability) of the first order dynamic equations of the form $$\{u^{\Delta}(t)=Au(t)+f(t),\;\;t{\in}{\mathbb{T}},\;t>t_0\\u(t_0)=x{\in}D(A),$$ and $$\{u^{\Delta}(t)=Au(t)+f(t,u),\;\;t{\in}{\mathbb{T}},\;t>t_0\\u(t_0)=x{\in}D(A),$$ in terms of the stability of the homogeneous equation $$\{u^{\Delta}(t)=Au(t),\;\;t{\in}{\mathbb{T}},\;t>t_0\\u(t_0)=x{\in}D(A),$$ where f is rd-continuous in $t{\in}{\mathbb{T}}$ and with values in a Banach space X, with f(t, 0) = 0, and A is the generator of a $C_0$-semigroup $\{T(t):t{\in}{\mathbb{T}}\}{\subset}L(X)$, the space of all bounded linear operators from X into itself. Here D(A) is the domain of A and ${\mathbb{T}}{\subseteq}{\mathbb{R}}^{{\geq}0}$ is a time scale which is an additive semigroup with property that $a-b{\in}{\mathbb{T}}$ for any $a,b{\in}{\mathbb{T}}$ such that a > b. Finally, we give illustrative examples.