• Journal of the Chungcheong Mathematical Society
• /
• v.7 no.1
• /
• pp.117-122
• /
• 1994

In this paper we show that if {$H_n$} is a continuous strong higher derivation of order n on an ultraprime Banach algebra with a constant c, then $c||H_1||^2{\leq}4||H_2||$ and for each $1{\leq}l$ < n $$c^2||H_1||\;||H_{n-l}{\leq}6||H_n||+\frac{3}{2}\sum_{\array{i+j+k=n\\i,j,k{\geq}1}}||H_i||\;||H_j||\;||H_k||+\frac{3}{2}\sum_{\array{i+k=n\\i{\neq}l,\;n-1}}||H_i||\;||H_k|| $$ and for a strong higher derivation {$H_n$} of order n on a prime ring A we also show that if [$H_n$(x),x]=0 for all $x{\in}A$ and for every $n{\geq}1$, then A is commutative or $H_n=0$ for every $n{\geq}1$.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

• East Asian mathematical journal
• /
• v.25 no.2
• /
• pp.179-196
• /
• 2009

Let E be a uniformly convex Banach space and K a nonempty closed convex subset which is also a nonexpansive retract of E. For i = 1, 2, 3, let $T_i:K{\rightarrow}E$ be an asymptotically nonexpansive mappings with sequence ${\{k_n^{(i)}\}\subset[1,{\infty})$ such that $\sum_{n-1}^{\infty}(k_n^{(i)}-1)$ < ${\infty},\;k_{n}^{(i)}{\rightarrow}1$, as $n{\rightarrow}\infty$ and F(T)=$\bigcap_{i=3}^3F(T_i){\neq}{\phi}$ (the set of all common xed points of $T_i$, i = 1, 2, 3). Let {$a_n$},{$b_n$} and {$c_n$} are three real sequences in [0, 1] such that $\in{\leq}\;a_n,\;b_n,\;c_n\;{\leq}\;1-\in$ for $n{\in}N$ and some ${\in}{\geq}0$. Starting with arbitrary $x_1{\in}K$, define sequence {$x_n$} by setting {$$x_{n+1}=P((1-a_n)x_n+a_nT_1(PT_1)^{n-1}y_n)$$ $$y_n=P((1-b_n)x_n+a_nT_2(PT_2)^{n-1}z_n)$$ $$z_n=P((1-c_n)x_n+c_nT_3(PT_3)^{n-1}x_n)$$. Assume that one of the following conditions holds: (1) E satises the Opial property, (2) E has Frechet dierentiable norm, (3) $E^*$ has Kedec -Klee property, where $E^*$ is dual of E. Then sequence {$x_n$} converges weakly to some p${\in}$F(T).

• Communications of the Korean Mathematical Society
• /
• v.10 no.2
• /
• pp.293-300
• /
• 1995

Let $R = k[y_1,\cdots,y_n] \otimes E[x_1, \cdots, x_n]$ with characteristic $k = p > 2$ (odd prime), where $$\mid$y_i$\mid$ = 2, $\mid$x_i$\mid$ = 1$ and $y_i = \betax_i, \beta$ is the Bockstein homomorphism. Topologically, $R = H^*(B(Z/p)^n,k)$. For a symmetric group $\sum_n, R^{\sum_n} = k[\sigma_1,\cdots,\sigma_n] \otimes E[d\sigma_1, \cdots, d\sigma_n]$ where d is the derivation satisfying $d(y_i) = x_i$ and $d(x_iy_i) = x_iy_i + x_jy_i, 1 \leq i, j \leq n$. We give a direct proof of this theorem by using induction.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.503-510
• /
• 2004

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;=\;y_i,\;for\;i\;=\;1,\;2,\;\cdots,\;n$. In this paper the following is proved: Let H be a Hilbert space and L be a commutative subspace lattice on H. Let H and y be vectors in H. Let $M_x\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_ix\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;and\;M_y\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_iy\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}. Then the following are equivalent. (1) There exists an operator A in AlgL such that Ax = y, Af = 0 for all f in ${\overline{M_x}}^{\bot}$, AE = EA for all $E\;{\in}\;L\;and\;A^{*}\;=\;A$. (2) $sup\;\{\frac{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;<\;{\infty},\;{\overline{M_u}}\;{\subset}{\overline{M_x}}$ and < Ex, y >=< Ey, x > for all E in L.

• Communications of the Korean Mathematical Society
• /
• v.12 no.1
• /
• pp.157-163
• /
• 1997

Based on a n-regular polygon $P_n$, we show that $r_n = 1/(2 \sum^{[(n-4)/4]+1}_{j=0}{cos 2j\pi/n)}$ is the ratio of contractions $f_i(1 \leq i \leq n)$ at each vertex of $P_n$ yielding a symmetric gasket $G_n$ associated with the just-touching I.F.S. $g_n = {f_i $\mid$ 1 \leq i \leq n}$. Moreover we see that for any odd n, the ratio $r_n$ is still valid for just-touching I.F.S $H_n = {f_i \circ R $\mid$ 1 \leq i \leq n}$ yielding another symmetric gasket $H_n$ where R is the $\pi/n$-rotation with respect to the center of $P_n$.

• Korean Journal of Mathematics
• /
• v.8 no.1
• /
• pp.19-26
• /
• 2000

In this paper, it is shown that if R is a commutative ring with identity and there exists a multiplicatively closed subset S of R such that $S{\cap}Z(R/(I_1I_2{{\cdots}I_n))={\emptyset}$ and $I_1R_s,I_2R_s{\cdots},I_nR_s$ are pairwise comaximal, then $I_1I_2{\cdots}I_n=I_1{\cap}I_2{\cap}{\cdots}{\cap}I_n={\cap}^n_{i=1}(I_i\;:_R\;I_1{\cdots}I_{i-1}I_{i+1}{\cdots}I_n)$.

• Nuclear Engineering and Technology
• /
• v.29 no.6
• /
• pp.468-475
• /
• 1997

The transient photocurrent in amorphous silicon radiation detectors (n-i-n and forward biased p-i-n) were analyzed. The transient photocurrents in these devices could be modeled using multiple trap levels in the forbidden gap. Using this model the rise and decay shapes of the photocurrents could be fitted. The decaying photocurrent shapes of the p-i-n and n-i-n devices after a short duration of light pulse showed a similar behavior at low dark current density levels, but at higher dark current density levels the photocurrent of the p-i-n diode decayed faster than that of the n-i-n, which could be explained by the decreased electron lifetimes in the forward biased p-i-n diode at high dark current densities. The transient photoconductive gain behaviors in the amorphous silicon radiation detectors are discussed in terms of device configuration, dark current density and time scale.

• Honam Mathematical Journal
• /
• v.30 no.4
• /
• pp.685-691
• /
• 2008

Given operators $X_i$ and $Y_i$ (i = 1, 2, ${\cdots}$, n) acting on a Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A acting on $\mathcal{H}$ such that $AX_i$ = $Y_i$ for i= 1, 2, ${\cdots}$, n. In this article, if the range of $X_k$ is dense in H for a certain k in {1, 2, ${\cdots}$, n), then the following are equivalent: (1) There exists a self-adjoint operator A in $\mathcal{B}(\mathcal{H})$ stich that $AX_i$ = $Y_i$ for I = 1, 2, ${\cdots}$, n. (2) $sup\{{\frac{{\parallel}{\sum}^n_{i=1}Y_if_i{\parallel}}{{\parallel}{\sum}^n_{i=1}X_if_i{\parallel}}:f_i{\in}H}\}$ < ${\infty}$ and < $X_kf,Y_kg$ >=< $Y_kf,X_kg$> for all f, g in $\mathcal{H}$.

• Communications of the Korean Mathematical Society
• /
• v.24 no.2
• /
• pp.161-169
• /
• 2009

In this paper, we introduce the generalized ideal-based zero-divisor graph structure of near-ring N, denoted by $\widehat{{\Gamma}_I(N)}$. It is shown that if I is a completely reflexive ideal of N, then every two vertices in $\widehat{{\Gamma}_I(N)}$ are connected by a path of length at most 3, and if $\widehat{{\Gamma}_I(N)}$ contains a cycle, then the core K of $\widehat{{\Gamma}_I(N)}$ is a union of triangles and rectangles. We have shown that if $\widehat{{\Gamma}_I(N)}$ is a bipartite graph for a completely semiprime ideal I of N, then N has two prime ideals whose intersection is I.