• Journal of applied mathematics & informatics
• /
• v.32 no.5_6
• /
• pp.599-607
• /
• 2014

In this paper, we investigate the behavior of solutions of the difference equation $$x_{n+1}=\frac{a+x_{n-1}x_{n-k}}{x_{n-1}+x_{n-k}},\;n=0,1,2,{\ldots}$$ where $k{\in}\{1,2\}$, $a{\geq}0$, and $x_{-j}$ > 0, $j=0,1,{\ldots},k$.

• Communications of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.61-65
• /
• 2008

In this paper we prove that every positive solution of the third order rational difference equation $$x_{n+1}\;=\;\frac{{\beta}x_n\;+\;x_{n-2}}{A\;+\;Bx_n\;+\;x_{n-2}}$ converges to the positive equilibrium point $$\bar{x}\;=\;\frac{{\beta}\;+\;1\;-\;A}{B\;+\;1}$, where $0\;<\;{\beta}\;{\leq}\;B$, $1\;<\;A\;<\;{\beta}\;+\;1$

• Journal of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.707-719
• /
• 2020

In this article we study almost contact manifolds admitting weakly Einstein metrics. We first prove that if a (2n + 1)-dimensional Sasakian manifold admits a weakly Einstein metric, then its scalar curvature s satisfies -6 ⩽ s ⩽ 6 for n = 1 and -2n(2n + 1) ${\frac{4n^2-4n+3}{4n^2-4n-1}}$ ⩽ s ⩽ 2n(2n + 1) for n ⩾ 2. Secondly, for a (2n + 1)-dimensional weakly Einstein contact metric (κ, μ)-manifold with κ < 1, we prove that it is flat or is locally isomorphic to the Lie group SU(2), SL(2), or E(1, 1) for n = 1 and that for n ⩾ 2 there are no weakly Einstein metrics on contact metric (κ, μ)-manifolds with 0 < κ < 1. For κ < 0, we get a classification of weakly Einstein contact metric (κ, μ)-manifolds. Finally, it is proved that a weakly Einstein almost cosymplectic (κ, μ)-manifold with κ < 0 is locally isomorphic to a solvable non-nilpotent Lie group.

• Kyungpook Mathematical Journal
• /
• v.54 no.1
• /
• pp.95-101
• /
• 2014

An n-tuple ($a_1,a_2,{\ldots},a_n$) is symmetric, if $a_k$ = $a_{n-k+1}$, $1{\leq}k{\leq}n$. Let $H_n$ = {$(a_1,a_2,{\ldots},a_n)$ ; $a_k$ ${\in}$ {+,-}, $a_k$ = $a_{n-k+1}$, $1{\leq}k{\leq}n$} be the set of all symmetric n-tuples. A symmetric n-sigraph (symmetric n-marked graph) is an ordered pair $S_n$ = (G,${\sigma}$) ($S_n$ = (G,${\mu}$)), where G = (V,E) is a graph called the underlying graph of $S_n$ and ${\sigma}$:E ${\rightarrow}H_n({\mu}:V{\rightarrow}H_n)$ is a function. The restricted super line graph of index r of a graph G, denoted by $\mathcal{R}\mathcal{L}_r$(G). The vertices of $\mathcal{R}\mathcal{L}_r$(G) are the r-subsets of E(G) and two vertices P = ${p_1,p_2,{\ldots},p_r}$ and Q = ${q_1,q_2,{\ldots},q_r}$ are adjacent if there exists exactly one pair of edges, say $p_i$ and $q_j$, where $1{\leq}i$, $j{\leq}r$, that are adjacent edges in G. Analogously, one can define the restricted super line symmetric n-sigraph of index r of a symmetric n-sigraph $S_n$ = (G,${\sigma}$) as a symmetric n-sigraph $\mathcal{R}\mathcal{L}_r$($S_n$) = ($\mathcal{R}\mathcal{L}_r(G)$, ${\sigma}$'), where $\mathcal{R}\mathcal{L}_r(G)$ is the underlying graph of $\mathcal{R}\mathcal{L}_r(S_n)$, where for any edge PQ in $\mathcal{R}\mathcal{L}_r(S_n)$, ${\sigma}^{\prime}(PQ)$=${\sigma}(P){\sigma}(Q)$. It is shown that for any symmetric n-sigraph $S_n$, its $\mathcal{R}\mathcal{L}_r(S_n)$ is i-balanced and we offer a structural characterization of super line symmetric n-sigraphs of index r. Further, we characterize symmetric n-sigraphs $S_n$ for which $\mathcal{R}\mathcal{L}_r(S_n)$~$\mathcal{L}_r(S_n)$ and $$\mathcal{R}\mathcal{L}_r(S_n){\sim_=}\mathcal{L}_r(S_n)$$, where ~ and $$\sim_=$$ denotes switching equivalence and isomorphism and $\mathcal{R}\mathcal{L}_r(S_n)$ and $\mathcal{L}_r(S_n)$ are denotes the restricted super line symmetric n-sigraph of index r and super line symmetric n-sigraph of index r of $S_n$ respectively.

• Journal of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.895-905
• /
• 2009

Let $B^{n+1}$ be the unit ball in the complex vector space $\mathbb{C}^{n+1}$ with the standard Hermitian metric. Let ${\Sigma}^n={\partial}B^{n+1}=S^{2n+1}$ be the boundary sphere with the induced CR structure. Let f : ${\Sigma}^n{\hookrightarrow}{\Sigma}^N$ be a local CR immersion. If N < 3n - 1, the asymptotic vectors of the CR second fundamental form of f at each point form a subspace of the CR(horizontal) tangent space of ${\Sigma}^n$ of codimension at most 1. We study the higher order derivatives of this relation, and we show that a linearly full local CR immersion f : ${\Sigma}^n{\hookrightarrow}{\Sigma}^N$, N $\leq$ 3n-2, can only occur when N = n, 2n, or 2n + 1. As a consequence, it gives an extension of the classification of the rational proper holomorphic maps from $B^{n+1}$ to $B^{2n+2}$ by Hamada to the classification of the rational proper holomorphic maps from $B^{n+1}$ to $B^{3n+1}$.

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.967-986
• /
• 2017

We give the necessary condition for an operator defined on a cartesian product of $c_0(\mathcal{X})$ spaces to be summing or dominated and we show that for the multiplication operators this condition is also sufficient. By using these results, we show that ${\Pi}_s(c_0,{\ldots},c_0;c_0)$ contains a copy of $l_s(l^m_2{\mid}m{\in}\mathbb{N})$ for s > 2 or a copy of $1_s(l^m_1{\mid}{\in}\mathbb{N})$, for any $l{\leq}S$ < ${\infty}$. Also ${\Delta}_{s_1,{\ldots},s_n}(c_0,{\ldots},c_0;c_0)$ contains a copy of $l_{{\upsilon}_n(s_1,{\ldots},s_n)}$ if ${\upsilon}_n(s_1,{\ldots},s_n){\leq}2$ or a copy of $l_{{\upsilon}_n(s_1,{\ldots},s_n)}(l^m_2{\mid}m{\in}\mathbb{N})$ if 2 < ${\upsilon}_n(s_1,{\ldots},s_n)$, where ${\frac{1}{{\upsilon}_n(s_1,{\ldots},s_n})}={\frac{1}{s_1}}+{\cdots}+{\frac{1}{s_n}}$. We find also the necessary and sufficient conditions for bilinear operators induced by some method of summability to be 1-summing or 2-dominated.

• Journal of the Korean Mathematical Society
• /
• v.45 no.5
• /
• pp.1393-1404
• /
• 2008

Let K be a nonempty closed convex subset of a Banach space E. Suppose $\{T_{n}\}$ (n = 1,2,...) is a uniformly asymptotically regular sequence of nonexpansive mappings from K to K such that ${\cap}_{n=1}^{\infty}$ F$\(T_n){\neq}{\phi}$. For $x_0{\in}K$, define $x_{n+1}={\lambda}_{n+1}x_{n}+(1-{\lambda}_{n+1})T_{n+1}x_{n},n{\geq}0$. If ${\lambda}_n{\subset}[0,1]$ satisfies $lim_{n{\rightarrow}{\infty}}{\lambda}_n=0$, we proved that $\{x_n\}$ weakly converges to some $z{\in}F\;as\;n{\rightarrow}{\infty}$ in the framework of reflexive Banach space E which satisfies the Opial's condition or has $Fr{\acute{e}}chet$ differentiable norm or its dual $E^*$ has the Kadec-Klee property. We also obtain that $\{x_n\}$ strongly converges to some $z{\in}F$ in Banach space E if K is a compact subset of E or there exists one map $T{\in}\{T_{n};n=1,2,...\}$ satisfy some compact conditions such as T is semi compact or satisfy Condition A or $lim_{n{\rightarrow}{\infty}}d(x_{n},F(T))=0$ and so on.

• Honam Mathematical Journal
• /
• v.39 no.2
• /
• pp.297-305
• /
• 2017

Let ${\alpha}$ > 0 be a real number and $(s_{\alpha}(n))_{n{\geq}1}$ be the lexicographically greatest Sturmian word of slope ${\alpha}$. We investigate Dirichlet series of the form ${\sum}^{\infty}_{n=1}s_{\alpha}(n)n^{-s}$. To do this, a generalization of Euler's totient function is required. For a real ${\alpha}$ > 0 and a positive integer n, an arithmetic function ${\varphi}{\alpha}(n)$ is defined to be the number of positive integers m for which gcd(m, n) = 1 and 0 < m/n < ${\alpha}$. Under a condition Re(s) > 1, this paper establishes an identity ${\sum}^{\infty}_{n=1}s_{\alpha}(n)n^{-S}=1+{\sum}^{\infty}_{n=1}{\varphi}_{\alpha}(n)({\zeta}(s)-{\zeta}(s,1+n^{-1}))n^{-s}$.

• Journal of the Korean Statistical Society
• /
• v.18 no.1
• /
• pp.62-71
• /
• 1989

We consider a Markov proces ${X_n} on [0,\infty)^k$ which is generated by $X_{n+1} = f(X_n) + \varepsilon_{n+1}$ where f is a continuous, nondecreasing concave function. Sufficient conditions for the existence of a unique invariant probability measure for ${X_n}$ are obtained.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.497-503
• /
• 2005

This paper presents characterizations on the independence of the exponential and Pareto distributions by record values. Let ${X_{n},\;n {\ge1}$ be a sequence of independent and identically distributed(i.i.d) random variables with a continuous cumulative distribution function(cdf) F(x) and probability density function(pdf) f(x). $Let{\;}Y_{n} = max{X_1, X_2, \ldots, X_n}$ for n \ge 1. We say $X_{j}$ is an upper record value of ${X_{n},{\;}n\ge 1}, if Y_{j} > Y_{j-1}, j > 1$. The indices at which the upper record values occur are given by the record times {u(n)}, n \ge 1, where u(n) = $min{j|j > u(n-1), X_{j} > X_{u(n-1)}, n \ge 2}$ and u(l) = 1. Then F(x) = $1 - e^{-\frac{x}{a}}$, x > 0, ${\sigma} > 0$ if and only if $\frac {X_u(_n)}{X_u(_{n+1})} and X_u(_{n+1}), n \ge 1$, are independent. Also F(x) = $1 - x^{-\theta}, x > 1, {\theta} > 0$ if and only if $\frac {X_u(_{n+1})}{X_u(_n)}{\;}and{\;} X_{u(n)},{\;} n {\ge} 1$, are independent.