• Journal of the Korean Society for information Management
• /
• v.6 no.1
• /
• pp.15-36
• /
• 1989

The r a p i d i n c r e a s e o f microcomputer technology has r e s u l t e d i n t h e broad a p p l i c a t i o n t o various f i e l d s . The purpose of t h l s paper 1s to design a computerized r e t r i e v a l system f o r nuclear information m a t e r i a l s using a microcomputer.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.107-110
• /
• 1996

Usng the Pochhammer symbol $(\lambda)_n$ given by $$ (1.1) (\lambda)_n = {1, if n = 0 {\lambda(\lambda + 1) \cdots (\lambda + n - 1), if n \in N = {1, 2, 3, \ldots}, $$ we define a general double hypergeometric series by [3, pp.27] $$ (1.2) F_{q:s;\upsilon}^{p:r;u} [\alpha_1, \ldots, \alpha_p : \gamma_1, \ldots, \gamma_r; \lambda_1, \ldots, \lambda_u;_{x,y}][\beta_1, \ldots, \beta_q : \delta_1, \ldots, \delta_s; \mu_1, \ldots, \mu_v; ] = \sum_{l,m = 0}^{\infty} \frac {\prod_{j=1}^{q} (\beta_j)_{l+m} \prod_{j=1}^{s} (\delta_j)_l \prod_{j=1}^{v} (\mu_j)_m)}{\prod_{j=1}^{p} (\alpha_j)_{l+m} \prod_{j=1}^{r} (\gamma_j)_l \prod_{j=1}^{u} (\lambda_j)_m} \frac{l!}{x^l} \frac{m!}{y^m} $$ provided that the double series converges.

• Journal of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1105-1127
• /
• 2013

Let C[0, $t$] denote the function space of real-valued continuous paths on [0, $t$]. Define $X_n\;:\;C[0,t]{\rightarrow}\mathbb{R}^{n+1}$ and $X_{n+1}\;:\;C[0,t]{\rightarrow}\mathbb{R}^{n+2}$ by $X_n(x)=(x(t_0),x(t_1),{\ldots},x(t_n))$ and $X_{n+1}(x)=(x(t_0),x(t_1),{\ldots},x(t_n),x(t_{n+1}))$, respectively, where $0=t_0 <; t_1 <{\ldots} < t_n < t_{n+1}=t$. In the present paper, using simple formulas for the conditional expectations with the conditioning functions $X_n$ and $X_{n+1}$, we evaluate the $L_p(1{\leq}p{\leq}{\infty})$-analytic conditional Fourier-Feynman transforms and the conditional convolution products of the functions, which have the form $fr((v_1,x),{\ldots},(v_r,x)){\int}_{L_2}_{[0,t]}\exp\{i(v,x)\}d{\sigma}(v)$ for $x{\in}C[0,t]$, where $\{v_1,{\ldots},v_r\}$ is an orthonormal subset of $L_2[0,t]$, $f_r{\in}L_p(\mathbb{R}^r)$, and ${\sigma}$ is the complex Borel measure of bounded variation on $L_2[0,t]$. We then investigate the inverse conditional Fourier-Feynman transforms of the function and prove that the analytic conditional Fourier-Feynman transforms of the conditional convolution products for the functions can be expressed by the products of the analytic conditional Fourier-Feynman transform of each function.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1225-1236
• /
• 2016

Let R be a commutative ring with $1{\neq}0$ and n a positive integer. In this article, we introduce the n-Krull dimension of R, denoted $dim_n\;R$, which is the supremum of the lengths of chains of n-absorbing ideals of R. We study the n-Krull dimension in several classes of commutative rings. For example, the n-Krull dimension of an Artinian ring is finite for every positive integer n. In particular, if R is an Artinian ring with k maximal ideals and l(R) is the length of a composition series for R, then $dim_n\;R=l(R)-k$ for some positive integer n. It is proved that a Noetherian domain R is a Dedekind domain if and only if $dim_n\;R=n$ for every positive integer n if and only if $dim_2\;R=2$. It is shown that Krull's (Generalized) Principal Ideal Theorem does not hold in general when prime ideals are replaced by n-absorbing ideals for some n > 1.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.2
• /
• pp.323-342
• /
• 2013

Let $C[0,t]$ denote the function space of all real-valued continuous paths on $[0,t]$. Define $Xn:C[0,t]{\rightarrow}\mathbb{R}^{n+1}$ and $X_{n+1}:C[0,t]{\rightarrow}\mathbb{R}^{n+2}$ by $X_n(x)=(x(t_0),x(t_1),{\cdots},x(t_n))$ and $X_{n+1}(x)=(x(t_0),x(t_1),{\cdots},x(t_n),x(t_{n+1}))$, where $0=t_0$ < $t_1$ < ${\cdots}$ < $t_n$ < $t_{n+1}=t$. In the present paper, using simple formulas for the conditional expectations with the conditioning functions $X_n$ and $X_{n+1}$, we evaluate the $L_p(1{\leq}p{\leq}{\infty})$-analytic conditional Fourier-Feynman transforms and the conditional convolution products of the functions which have the form $${\int}_{L_2[0,t]}{{\exp}\{i(v,x)\}d{\sigma}(v)}{{\int}_{\mathbb{R}^r}}\;{\exp}\{i{\sum_{j=1}^{r}z_j(v_j,x)\}dp(z_1,{\cdots},z_r)$$ for $x{\in}C[0,t]$, where $\{v_1,{\cdots},v_r\}$ is an orthonormal subset of $L_2[0,t]$ and ${\sigma}$ and ${\rho}$ are the complex Borel measures of bounded variations on $L_2[0,t]$ and $\mathbb{R}^r$, respectively. We then investigate the inverse transforms of the function with their relationships and finally prove that the analytic conditional Fourier-Feynman transforms of the conditional convolution products for the functions, can be expressed in terms of the products of the conditional Fourier-Feynman transforms of each function.

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.887-893
• /
• 1996

Let (R,m) be a Cohen-Macaulay local ring with an infinite residue field and let $J = (a_1, \cdots, a_l)$ be a minimal reduction of an equimultiple ideal I of R. In this paper we shall prove that the following conditions are equivalent: (1) $I^2 = JI$. (2) $gr_I(R)/mgr_I(R)$ is Cohen-Macaulay with minimal multiplicity at its maximal homogeneous ideal N. (3) $N^2 = (a'_1, \cdots, a'_l)N$, where $a'_i$ denotes the images of $a_i$ in I/mI for $i = 1, \cdots, l$.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.2
• /
• pp.331-345
• /
• 2021

Let p(z)be a polynomial of degree n. Then Bernstein's inequality [12,18] is $${\max\limits_{{\mid}z{\mid}=1}}\;{\mid}p^{\prime}(z){\mid}\;{\leq}\;n\;{\max_{{\mid}z{\mid}=1}{\mid}(z){\mid}}$$. For q > 0, we denote $${\parallel}p{\parallel}_q=\{{\frac{1}{2{\pi}}}{\normalsize\displaystyle\smashmargin{2}{\int\nolimits_{0}}^{2{\pi}}}\;{\mid}p(e^{i{\theta}}){\mid}^qd{\theta}\}^{\frac{1}{q}}$$, and a well-known fact from analysis [17] gives $${{\lim_{q{\rightarrow}{{\infty}}}}\{{\frac{1}{2{\pi}}}{\normalsize\displaystyle\smashmargin{2}{\int\nolimits_{0}}^{2{\pi}}}\;{\mid}p(e^{i{\theta}}){\mid}^qd{\theta}\}^{\frac{1}{q}}={\max\limits_{{\mid}z{\mid}=1}}\;{\mid}p(z){\mid}$$. Above Bernstein's inequality was extended by Zygmund [19] into L^q norm by proving ║p'║_q ≤ n║p║_q, q ≥ 1. Let p(z) = a₀ + ∑ⁿ_𝜈=𝜇 a_𝜈z^𝜈, 1 ≤ 𝜇 ≤ n, be a polynomial of degree n having no zero in |z| < k, k ≥ 1. Then for 0 < r ≤ R ≤ k, Aziz and Zargar [4] proved $${\max\limits_{{\mid}z{\mid}=R}}\;{\mid}p^{\prime}(z){\mid}\;{\leq}\;{\frac{nR^{{\mu}-1}(R^{\mu}+k^{\mu})^{{\frac{n}{\mu}}-1}}{(r^{\mu}+k^{\mu})^{\frac{n}{\mu}}}\;{\max\limits_{{\mid}z{\mid}=r}}\;{\mid}p(z){\mid}}$$. In this paper, we obtain the L^q version of the above inequality for q > 0. Further, we extend a result of Aziz and Shah [3] into L^q analogue for q > 0. Our results not only extend some known polynomial inequalities, but also reduce to some interesting results as particular cases.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.875-884
• /
• 2016

Let x : $^{Mn-1}{\rightarrow}{\mathbb{R}}^n$ ($n{\geq}4$) be an umbilical free hyper-surface with non-zero principal curvatures. Then x is associated with a Laguerre metric g, a Laguerre tensor L, a Laguerre form C, and a Laguerre second fundamental form B, which are invariants of x under Laguerre transformation group. We denote the Laguerre scalar curvature by R and the trace-free Laguerre tensor by ${\tilde{L}}:=L-{\frac{1}{n-1}}tr(L)g$. In this paper, we prove a local classification result under the assumption of parallel Laguerre form and an inequality of the type $${\parallel}{\tilde{L}}{\parallel}{\leq}cR$$ where $c={\frac{1}{(n-3){\sqrt{(n-2)(n-1)}}}$ is appropriate real constant, depending on the dimension.

• Journal of the Korean Chemical Society
• /
• v.39 no.6
• /
• pp.434-439
• /
• 1995

Six-coordinate molybdenum(Ⅴ)-oxo complexes, (R4N)[MoO(NCS)2L](R=CH3, C2H5, n-C4, H9) with S-methyl-3-(2-hydroxy-x-phenyl)methylenedithiocarbazate(L1: x=5-H) and its derivatives (L2:x=5-CH3, L3: x=3-CH3O, L4: x=5,6-C4H4 and L5: x=5-NO2) have been synthesized and the structural, spectral and electrochemical properties of the complexes have been characterized by elemental analysis, molar conductivity, UV-Vis, IR, 1H NMR, and CV (cyclic voltammetry).

• Honam Mathematical Journal
• /
• v.44 no.1
• /
• pp.135-145
• /
• 2022

This paper aims to investigate characterizations on parameters k₁, k₂, k₃, k₄, k₅, l₁, l₂, l₃, and l₄ to find relation between the class of 𝓗(k, l, m, n, o) hypergeometric functions defined by $$5_F_4\[{\array{k_1,\;k_2,\;k_3,\;k_4,\;k_5\\l_1,\;l_2,\;l_3,\;l_4}}\;:\;z\]=\sum\limits_{n=2}^{\infty}\frac{(k_1)_n(k_2)_n(k_3)_n(k_4)_n(k_5)_n}{(l_1)_n(l_2)_n(l_3)_n(l_4)_n(1)_n}z^n$$. We need to find k, l, m and n that lead to the necessary and sufficient condition for the function zF([W]), G = z(2 - F([W])) and $H_1[W]=z^2{\frac{d}{dz}}(ln(z)-h(z))$ to be in 𝓢^*(2^-r), r is a positive integer in the open unit disc 𝒟 = {z : |z| < 1, z ∈ ℂ} with $$h(z)=\sum\limits_{n=0}^{\infty}\frac{(k)_n(l)_n(m)_n(n)_n(1+\frac{k}{2})_n}{(\frac{k}{2})_n(1+k-l)_n(1+k-m)_n(1+k-n)_nn(1)_n}z^n$$ and $$[W]=\[{\array{k,\;1+{\frac{k}{2}},\;l,\;m,\;n\\{\frac{k}{2}},\;1+k-l,\;1+k-m,\;1+k-n}}\;:\;z\]$$.