• Journal of the Korean Mathematical Society
• /
• v.8 no.1
• /
• pp.25-30
• /
• 1971

Put ($$^*$$) $$G[x,y]={\sum}\limits^{p+q=n}_{p,q=0}[-n]_{p+q}c_{p,q}x^py^q$$, where $[{\lambda}]_m$ is the Pocbhammer symbol and the $c_{p,q}$ are arbitrary constants. Making use of the specialized forms of some of his earlier results (see [8] and [9] the author derives here bilateral generating functions of the type ($$^{**}$$) $${\sum}\limits^{\infty}_{n=0}{\frac{[\lambda]_n}{n!}}_2F_1[\array{{\rho}-n,\;{\alpha};\\{\lambda}+{\rho};}x]\;G[y,z]t^n$$ where ${\alpha}$, ${\rho}$ and ${\lambda}$ are arbitrary complex numbers. In particular, it is shown that when G[y, z] is a double hypergeometric polynomial, the right-band member of ($^{**}$) belongs to a class of general triple hypergeometric functions introduced by the author [7]. An interesting special case of ($^{**}$) when ${\rho}=-m,\;m$ being a nonnegative integer, yields a class of bilateral generating functions for the Jacobi polynomials $\{P_n{^{{\alpha},{\beta}}}(x)\}$ in the form ($$^{***}$$) $${\sum\limits^{\infty}_{n=0}}\(\array{m+n\\n}\)P{^{({\alpha}-n,{\beta}-n)}_{m+n}(x)\;G[y,z]{\frac{t^n}{n!}}$$, which provides a unification of several known results. Further extensions of ($^{**}$) and ($^{***}$) with G[y, z] replaced by an analogous multiple sum $H\[y_1,{\cdots},y_m\]$ are also discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.45-49
• /
• 1983

If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.

• Journal of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.859-869
• /
• 1997

It is shown that for $A_{k, m}$ a k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1$ such that no non-trivial matrix algebra can be factored out of $A_{k, m}$ and $A_{k, m} \otimes M_l(C)$ has a non-trivial bundle structure for any positive integer l, we construct an $A_{k, m^-} C(S^{2n - 1} \times S^1) \otimes M_k(C)$-equivalence bimodule to show that every k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1)$. Moreover, we prove that the tensor product of the k-homogeneous $C^*$-algebra $A_{k, m}$ with a UHF-algebra of type $p^\infty$ has the tribial bundle structure if and only if the set of prime factors of k is a subset of the set of prime factors of pp.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.1061-1073
• /
• 2020

In this paper, the expressions of meromorphic solutions of the following nonlinear complex differential equation of the form $$f^n+Qd(z,f)=\sum\limits_{i=1}^{3}pi(z)e^{{\alpha}_i(z)}$$ are studied by using Nevanlinna theory, where n ≥ 5 is an integer, Q_d(z, f) is a differential polynomial in f of degree d ≤ n - 4 with rational functions as its coefficients, p₁(z), p₂(z), p₃(z) are non-vanishing rational functions, and α₁(z), α₂(z), α₃(z) are nonconstant polynomials such that α'₁(z), α'₂(z), α'₃(z) are distinct each other. Moreover, examples are given to illustrate the accuracy of the condition.

• Journal of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.251-263
• /
• 2012

A CW complex B is said to be I-trivial if there does not exist a $\mathbb{Z}_2$-map from $S^{i-1}$ to S(${\alpha}$) for any vector bundle ${\alpha}$ over B a any integer i with i > dim ${\alpha}$. In this paper, we consider the question of determining whether $\Sigma^k\mathbb{R}P^n$ is I-trivial or not, and to this question we give complete answers when k $\neq$ 1, 3, 8 and partial answers when k = 1, 3, 8. A CW complex B is I-trivial if it is "W-trivial", that is, if for every vector bundle over B, all the Stiefel-Whitney classes vanish. We find, as a result, that $\Sigma^k\mathbb{R}P^n$ is a counterexample to the converse of th statement when k = 2, 4 or 8 and n $\geq$ 2k.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.467-482
• /
• 2010

For a double array of random elements {$V_{mn};m{\geq}1,\;n{\geq}1$} in a real separable Banach space, some mean convergence theorems and weak laws of large numbers are established. For the mean convergence results, conditions are provided under which $k_{mn}^{-\frac{1}{r}}\sum{{u_m}\atop{i=1}}\sum{{u_n}\atop{i=1}}(V_{ij}-E(V_{ij}|F_{ij})){\rightarrow}0$ in $L_r$ (0 < r < 2). The weak law results provide conditions for $k_{mn}^{-\frac{1}{r}}\sum{{T_m}\atop{i=1}}\sum{{\tau}_n\atop{j=1}}(V_{ij}-E(V_{ij}|F_{ij})){\rightarrow}0$ in probability where {$T_m;m\;{\geq}1$} and {${\tau}_n;n\;{\geq}1$} are sequences of positive integer-valued random variables, {$k_{mn};m{{\geq}}1,\;n{\geq}1$} is an array of positive integers. The sharpness of the results is illustrated by examples.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.409-421
• /
• 2018

Let X be a complex manifold of dimension n $n{\geqslant}2$ and let ${\Omega}{\Subset}X$ be a weakly q-convex domain with smooth boundary. Assume that E is a holomorphic line bundle over X and $E^{{\otimes}m}$ is the m-times tensor product of E for positive integer m. If there exists a strongly plurisubharmonic function on a neighborhood of $b{\Omega}$, then we solve the ${\bar{\partial}}$-problem with support condition in ${\Omega}$ for forms of type (r, s), $s{\geqslant}q$ with values in $E^{{\otimes}m}$. Moreover, the solvability of the ${\bar{\partial}}_b$-problem on boundaries of weakly q-convex domains with smooth boundary in $K{\ddot{a}}hler$ manifolds are given. Furthermore, we shall establish an extension theorem for the ${\bar{\partial}}_b$-closed forms.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.327-331
• /
• 2006

This paper considers an integrated inventory-distribution system with a fleet of heterogeneous vehicles employed where a single warehouse distributes a single type of products to many spatially distributed retailers to satisfy their dynamic demands and the product is provided to the warehouse via procurement ordering from any manufacturing plant or market The Problem is formulated as an Mixed Integer Programming with the objective function of minimizing the sum of inventory holding cost (at the warehouse and retailers), and transportation cost and procurement ordering cost at the warehouse, subject to inventory-balancing constraints, ordering constraints, vehicle capacity constraints and transportation time constraints. The problem is Proven to be NP-hard. Accordingly, a Lagrangean heuristic procedure is derived and tested for its effectiveness through computational experiments with some numerical instances.

• Smart Structures and Systems
• /
• v.14 no.1
• /
• pp.55-70
• /
• 2014

The paper presents a multi-objective optimization strategy for a multi-type sensor placement for Structural Health Monitoring (SHM) of long span bridges. The problem is formulated for simultaneous placement of strain sensors and accelerometers (heterogeneous network) based on application demands for SHM system. Modal Identification (MI) and Accurate Mode Shape Expansion (AMSE) were chosen as the application demands for SHM. The optimization problem is solved through the use of integer Genetic Algorithm (GA) to maximize a common metric to ensure adequate MI and AMSE. The performance of the joint optimization problem solved by GA is compared with other established methods for homogenous sensor placement. The results indicate that the use of a multi-type sensor system can improve the quality of SHM. It has also been demonstrated that use of GA improves the overall quality of the sensor placement compared to other methods for optimization of sensor placement.

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.657-668
• /
• 2016

Given a partition ${\lambda}=({\lambda}_1,{\lambda}_2,{\ldots},{\lambda}_l)$ of a positive integer n, let Tab(${\lambda}$, k) be the set of all tabloids of shape ${\lambda}$ whose weights range over the set of all k-compositions of n and ${\mathcal{OP}}^k_{\lambda}_{rev}$ the set of all ordered partitions into k blocks of the multiset $\{1^{{\lambda}_l}2^{{\lambda}_{l-1}}{\cdots}l^{{\lambda}_1}\}$. In [2], Butler introduced an inversion-like statistic on Tab(${\lambda}$, k) to show that the rank-selected $M{\ddot{o}}bius$ invariant arising from the subgroup lattice of a finite abelian p-group of type ${\lambda}$ has nonnegative coefficients as a polynomial in p. In this paper, we introduce an inversion-like statistic on the set of ordered partitions of a multiset and construct an inversion-preserving bijection between Tab(${\lambda}$, k) and ${\mathcal{OP}}^k_{\hat{\lambda}}$. When k = 2, we also introduce a major-like statistic on Tab(${\lambda}$, 2) and study its connection to the inversion statistic due to Butler.