• Journal of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1171-1187
• /
• 2011

Silverman [14] proved a height inequality for a jointly regular family of rational maps and the author [10] improved it for a jointly regular pair. In this paper, we provide the same improvement for a jointly regular family: let h : ${\mathbb{P}}_{\mathbb{Q}}^n{\rightarrow}{{\mathbb{R}}$ be the logarithmic absolute height on the projective space, let r(f) be the D-ratio of a rational map f which is de ned in [10] and let {$f_1,{\ldots},f_k|f_l:\mathbb{A}^n{\rightarrow}\mathbb{A}^n$} bbe finite set of polynomial maps which is defined over a number field K. If the intersection of the indeterminacy loci of $f_1,{\ldots},f_k$ is empty, then there is a constant C such that $ \sum\limits_{l=1}^k\frac{1}{def\;f_\iota}h(f_\iota(P))>(1+\frac{1}{r})f(P)-C$ for all $P{\in}\mathbb{A}^n$ where r= $max_{\iota=1},{\ldots},k(r(f_l))$.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.479-486
• /
• 2006

Let $Z_n(s,\;f)=n^{-1}\;{\sum}^{ns}_{i=1}(f(X_i)-Pf)$ be the sequential empirical process based on the independent and identically distributed random variables. We prove that convergence problems of $sup_{(s,\;f)}|Z_n(s,\;f)|$ to zero boil down to those of $sup_f|Z_n(1,\;f)|$. We employ Ottaviani's inequality and the complete convergence to establish, under bracketing entropy with the second moment, the almost sure convergence of $sup_{(s,\;f)}|Z_n(s,\;f)|$ to zero.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.411-421
• /
• 2016

In this paper, we investigate the problem of transcendental entire functions that share two values with one of their derivative. Let f be a transcendental entire function, n and k be two positive integers. If $f^n-Q_1$ and $(f^n)^{(k)}-Q_2$ share 0 CM, and $n{\geq}k+1$, then $(f^n)^{(k)}{\equiv}{\frac{Q_2}{Q_1}}f^n$. Furthermore, if $Q_1=Q_2$, then $f=ce^{\frac{\lambda}{n}z}$, where $Q_1$, $Q_2$ are polynomials with $Q_1Q_2{\not\equiv}0$, and c, ${\lambda}$ are non-zero constants such that ${\lambda}^k=1$. This result shows that the Conjecture given by W. $L{\ddot{u}}$, Q. Li and C. Yang [On the transcendental entire solutions of a class of differential equations, Bull. Korean Math. Soc. 51 (2014), no. 5, 1281-1289.] is true. Also we exhibit some examples to show that the conditions of our result are the best possible.

• Honam Mathematical Journal
• /
• v.44 no.4
• /
• pp.521-534
• /
• 2022

In this paper, we introduce a new class 𝓡^k_λ(λ ≥ 1, k is any positive real number) of univalent complex functions, which consists of functions f of the form f(z) = z + Σ^∞_n=2 a_nzⁿ (|z| < 1) satisfying the subordination condition $$(1-{\lambda}){\frac{f(z)}{z}}+{\lambda}f^{\prime}(z){\prec}{\frac{1+r^2_kz^2}{1-k{\tau}_kz-{\tau}^2_kz^2}},\;{\tau}_k={\frac{k-{\sqrt{k^2+4}}}{2}$$, and investigate the Fekete-Szegö problem for the coefficients of f ∈ 𝓡^k_λ which are connected with k-Fibonacci numbers $F_{k,n}={\frac{(k-{\tau}_k)^n-{\tau}^n_k}{\sqrt{k^2+4}}}$ (n ∈ ℕ ∪ {0}). We obtain sharp upper bound for the Fekete-Szegö functional |a₃-𝜇a²₂| when 𝜇 ∈ ℝ. We also generalize our result for 𝜇 ∈ ℂ.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.12 no.5
• /
• pp.1097-1103
• /
• 1988

This paper deals with surface crack behavior and the fatigue life prediction of notched specimens using the relation between surface crack length, a, and the cycle ratio, $N/N_{f}$. From the $a-N\;/\;N_{f}$ curves, UC(the upper limit curve), LC(the lower limit curve) and MC(the middle limit curve) were assumed and utilized to predict the fatigue life and crack growth rate. The data computed from the three assumed curves were compared with the experimental data. It has been found that in the stable crack growth region ($N/N_{f}=0.3-0.8$) fatigue life can be predicted within 20% errors. Using the characteristics of $a-N\;/\;N_{f}$ curve, it is possible to predict the $da/dN-K_{max}$ curve, the $da/dN-{\Delta}K_{{\varepsilon}_t}$ curve, and the $S-N_{f}$ curve.

• Journal of Ocean Engineering and Technology
• /
• v.3 no.2
• /
• pp.617-617
• /
• 1989

This paper deals with a fatigue life prediction of a surface crack based on the experimentally obtained relationship between surface crack length ratio $a/a_{f}$ and cycle ratio $N/N_{f}$ using micro computer. Firstly $a/a_{f}$-$N/N_{f}$ curves obtained from experimental tests, were assumed as three curves UC(the upper limit curve), LC(the lower limit curve) and MC(the middle curve), and these were utilized to predict the fatigue life. Comparing the calculated values which represent the characteristics of crack growth behaviors from the three assumed curves with the experimental ones, it has been found that in the stable crack growth region, they coincide reasonably well each other. And the differences between the fatigue lives obtained from the assumed curves and the experimental fatigue life did not exceed 20%. Using the characteristics of $a/a_{f}$-$N/N_{f}$ curves, it is possible to predict the da/dN-Kmax curves and the S-$N_{f}$ curves.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.1
• /
• pp.91-102
• /
• 2016

A chief factor H/K of G is called F-central in G provided $(H/K){\rtimes}(G/C_G(H/K)){\in}{\mathfrak{F}}$. A normal subgroup N of G is said to be ${\pi}{\mathfrak{F}}$-hypercentral in G if either N = 1 or $N{\neq}1$ and every chief factor of G below N of order divisible by at least one prime in ${\pi}$ is $\mathfrak{F}$-central in G. The symbol $Z_{{\pi}{\mathfrak{F}}}(G)$ denotes the ${\pi}{\mathfrak{F}}$-hypercentre of G, that is, the product of all the normal ${\pi}{\mathfrak{F}}$-hypercentral subgroups of G. We say that a subgroup H of G is ${\pi}{\mathfrak{F}}$-embedded in G if there exists a normal subgroup T of G such that HT is s-quasinormal in G and $(H{\cap}T)H_G/H_G{\leq}Z_{{\pi}{\mathfrak{F}}}(G/H_G)$, where $H_G$ is the maximal normal subgroup of G contained in H. In this paper, we use the ${\pi}{\mathfrak{F}}$-embedded subgroups to determine the structures of finite groups. In particular, we give some new characterizations of p-nilpotency and supersolvability of a group.

• East Asian mathematical journal
• /
• v.35 no.3
• /
• pp.285-288
• /
• 2019

Let $F_n$, $n{\in}{\mathbb{N}}$ be the n - th Fibonacci number, and let (p, q) be one of ordered pairs ($F_{n+2}$, $F_n$) or ($F_{n+1}$, $F_n$). Then we show that the multiplicative inverse of q mod p as well as that of p mod q are again Fibonacci numbers. For proof of our claim we make use of well-known Cassini, Catlan and dOcagne identities. As an application, we determine the number $N_{p,q}$ of nonzero term of a polynomial ${\Delta}_{p,q}(t)=\frac{(t^{pq}-1)(t-1)}{(t^p-1)(t^q-1)}$ through the Carlitz's formula.

• Journal of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.409-422
• /
• 2003

Let $F: \mathbb{C}^k\;{\rightarrow}\;\mathbb{C}^k$ be a dynamical system and let $\{x_n\}_{n{\geq}0}$ denote an orbit of F. We study the relation between $\{x_n\}$ and pseudoorbits $\{y_n}, y_0=x_0.\;Here\;y_{n+1}=F(y_n)+s_n.$ In general $y_n$ might diverge away from $x_n.$ Our main problem is whether there exists arbitrarily small $t_n$ so that if $\tilde{y}_{n+1}=F(\tilde{y}_n)+s_n+t_n,$ then $\tilde{y}_n$ remains close to $x_n.$ This leads naturally to the concept of sustainable orbits, and their existence seems to be closely related to the concept of hyperbolicity, although they are not in general equivalent.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.659-668
• /
• 2021

Let R be a semiprime ring with maximal right ring of quotients Q_mr(R), and let n₁, n₂, …, n_k be k fixed positive integers. Suppose that R is (n₁+n₂+⋯+n_k)!-torsion free, and that f : 𝜌 → Q_mr(R) is an additive map, where 𝜌 is a nonzero right ideal of R. It is proved that if [[…[f(x), x^n₁], …], x^n_k] = 0 for all x ∈ 𝜌, then [f(x), x] = 0 for all x ∈ 𝜌. This gives the result of Beidar et al. [2] for semiprime rings. Moreover, it is also proved that if R is p-torsion, where p is a prime integer with p = Σ^k_i=1 n_i and if f : R → Q_mr(R) is an additive map satisfying [[…[f(x), x^n₁], …], x^n_k] = 0 for all x ∈ R, then [f(x), x] = 0 for all x ∈ R.