• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.915-937
• /
• 2021

In this paper we deal with the open problem posed by Lü, Li and Yang [10]. In fact, we prove the following result: Let f(z) be a transcendental meromorphic function of finite order having finitely many poles, c₁, c₂, …, c_n ∈ ℂ\{0} and k, n ∈ ℕ. Suppose fⁿ(z), f(z+c₁)f(z+c₂) ⋯ f(z+c_n) share 0 CM and fⁿ(z)-Q₁(z), (f(z+c₁)f(z+c₂) ⋯ f(z+c_n))^(k) - Q₂(z) share (0, 1), where Q₁(z) and Q₂(z) are non-zero polynomials. If n ≥ k+1, then $(f(z+c_1)f(z+c_2)\;{\cdots}\;f(z+c_n))^{(k)}\;{\equiv}\;{\frac{Q_2(z)}{Q_1(z)}}f^n(z)$. Furthermore, if Q₁(z) ≡ Q₂(z), then $f(z)=c\;e^{\frac{\lambda}{n}z}$, where c, λ ∈ ℂ \ {0} such that e^{λ(c₁+c₂+⋯+c_n)} = 1 and λ^k = 1. Also we exhibit some examples to show that the conditions of our result are the best possible.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.959-970
• /
• 2017

In this paper, we investigate the transcendental meromorphic solutions with finite order of two different types of difference equations $${\sum\limits_{j=1}^{n}}a_jf(z+c_j)={\frac{P(z,f)}{Q(z,f)}}={\frac{{\sum_{k=0}^{p}}b_kf^k}{{\sum_{l=0}^{q}}d_lf^l}}$$ and $${\prod\limits_{j=1}^{n}}f(z+c_j)={\frac{P(z,f)}{Q(z,f)}={\frac{{\sum_{k=0}^{p}}b_kf^k}{{\sum_{l=0}^{q}}d_lf^l}}$$ that share three distinct values with another meromorphic function. Here $a_j$, $b_k$, $d_l$ are small functions of f and $a_j{\not{\equiv}}(j=1,2,{\ldots},n)$, $b_p{\not{\equiv}}0$, $d_q{\not{\equiv}}0$. $c_j{\neq}0$ are pairwise distinct constants. p, q, n are non-negative integers. P(z, f) and Q(z, f) are two mutually prime polynomials in f.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.2
• /
• pp.251-259
• /
• 2015

Let $\mathbb{F}^d_q$ be a d-dimensional vector space over a finite field $\mathbb{F}^d_q$ with q elements. We endow the space $\mathbb{F}^d_q$ with a normalized counting measure dx. Let ${\sigma}$ be a normalized surface measure on an algebraic variety V contained in the space ($\mathbb{F}^d_q$, dx). We define the restricted averaging operator AV by $A_Vf(X)=f*{\sigma}(x)$ for $x{\in}V$, where $f:(\mathbb{F}^d_q,dx){\rightarrow}\mathbb{C}$: In this paper, we initially investigate $L^p{\rightarrow}L^r$ estimates of the restricted averaging operator AV. As a main result, we obtain the optimal results on this problem in the case when the varieties V are any nondegenerate algebraic curves in two dimensional vector spaces over finite fields. The Fourier restriction estimates for curves on $\mathbb{F}^2_q$ play a crucial role in proving our results.

• Journal of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.81-87
• /
• 1996

Let $F_q$ denote the finite field of order $q = p^n$, p a prime. A polynomial $f \in F_q[x]$ is called a permutation polynomial over $F_q$ if f induces a 1-1 map of $F_q$ onto itself.

• Communications of the Korean Mathematical Society
• /
• v.24 no.3
• /
• pp.367-379
• /
• 2009

For a prime number p, let $\mathbb{Q}_p$ denote the p-adic field and let $\mathbb{Q}_p^d$ denote a vector space over $\mathbb{Q}_p$ which consists of all d-tuples of $\mathbb{Q}_p$. For a function f ${\in}L_{loc}^1(\mathbb{Q}_p^d)$, we define the Hardy-Littlewood maximal function of f on $\mathbb{Q}_p^d$ by $$M_pf(x)=sup\frac{1}{\gamma{\in}\mathbb{Z}|B_{\gamma}(x)|H}{\int}_{B\gamma(x)}|f(y)|dy$$, where |E|$_H$ denotes the Haar measure of a measurable subset E of $\mathbb{Q}_p^d$ and $B_\gamma(x)$ denotes the p-adic ball with center x ${\in}\;\mathbb{Q}_p^d$ and radius $p^\gamma$. If 1 < q $\leq\;\infty$, then we prove that $M_p$ is a bounded operator of $L^q(\mathbb{Q}_p^d)$ into $L^q(\mathbb{Q}_p^d)$; moreover, $M_p$ is of weak type (1, 1) on $L^1(\mathbb{Q}_p^d)$, that is to say, |{$x{\in}\mathbb{Q}_p^d:|M_pf(x)|$>$\lambda$}|$_H{\leq}\frac{p^d}{\lambda}||f||_{L^1(\mathbb{Q}_p^d)},\;\lambda$ > 0 for any f ${\in}L^1(\mathbb{Q}_p^d)$.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.169-173
• /
• 1989

Let V={(x,y,z):f=z$^{n}$ -npz+(n-1)q=0 for n .geq. 3} be a compled analytic subvariety of a polydisc in $C^{3}$ where p=p(x,y) and q=q(x,y) are holomorphic near (x,y)=(0,0) and f is an irreducible Weierstrass polynomial in z of multiplicity n. Suppose that V has an isolated singular point at the origin. Recall that the z-discriminant of f is D(f)=c(p$^{n}$ -q$^{n-1}$) for some number c. Suppose that D(f) is square-free. then we prove that by Theorem 2.1 .mu.(p$^{n}$ -q$^{n-1}$)=.mu.(f)-(n-1)+n(n-2)I(p,q)+1 where .mu.(f), .mu. p$^{n}$ -q$^{n-1}$are the corresponding Milnor numbers of f, p$^{n}$ -q$^{n-1}$, respectively and I(p,q) is the intersection number of p and q at the origin. By one of applications suppose that W$_{t}$ ={(x,y,z):g$_{t}$ =z$^{n}$ -np$_{t}$ $^{n-1}$z+(n-1)q$_{t}$ $^{n-1}$=0} is a smooth family of complex analytic varieties near t=0 each of which has an isolated singularity at the origin, satisfying that the z-discriminant of g$_{t}$ , that is, D(g$_{t}$ ) is square-free. If .mu.(g$_{t}$ ) are constant near t=0, then we prove that the family of plane curves, D(g$_{t}$ ) are equisingular and also D(f$_{t}$ ) are equisingular near t=0 where f$_{t}$ =z$^{n}$ -np$_{t}$ z+(n-1)q$_{t}$ =0.}$ =0.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.2
• /
• pp.11-20
• /
• 2002

In this paper, for many prime power q, it is shown that new cyclic relative difference sets with parameters (equation omitted) can be constructed by using d-homogeneous functions on $F_{q^{n}}${0} over $F_{q}$ with difference-balanced property, where $F_{q^{n} }$ is a finite field with $q^{n}$ elements. Several new cyclic relative difference sets with parameters (equation omitted) are constructed by using p-ary sequences of period $q^{n}$ -1 with ideal autocorrelation property introduced by Helleseth and Gong and d-form sequences.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.977-991
• /
• 2008

We characterize the boundedness and compactness of the weighted composition operator $uC_{\psi}$ from the general function space F(p, q, s) into the logarithmic Bloch space ${\beta}_L$ on the unit disk. Some necessary and sufficient conditions are given for which $uC_{\psi}$ is a bounded or a compact operator from F(p,q,s), $F_0$(p,q,s) into ${\beta}_L$, ${\beta}_L^0$ respectively.

• Korean Journal of Mathematics
• /
• v.29 no.4
• /
• pp.665-677
• /
• 2021

The main object of this study is to introduce the spaces $c_0({\hat{F}^q)$ and $c({\hat{F}^q)$ derived by the matrix ${\hat{F}^q$ which is the multiplication of Riesz matrix and Fibonacci matrix. Moreover, we find the 𝛼-, 𝛽-, 𝛾- duals of these spaces and give the characterization of matrix classes (${\Lambda}({\hat{F}^q)$, Ω) and (Ω, ${\Lambda}({\hat{F}^q)$) for 𝚲 ∈ {c₀, c} and Ω ∈ {ℓ₁, c₀, c, ℓ_∞}.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.1
• /
• pp.147-156
• /
• 2020

The functional equation related to a distance measure f(pr, qs) + f(ps, qr) = M(r, s)f(p, q) + M(p, q)f(r, s) can be generalized a sum form functional equation as follows $${\frac{1}{n}}{\sum\limits_{i=0}^{n-1}}f(P{\cdot}{\sigma}_i(Q))=M(Q)f(P)+M(P)f(Q)$$ where f, g is information measures, P and Q are the set of n-array discrete measure, and σ_i is a permutation for each i = 0, 1, ⋯, n-1. In this paper, we obtain the hyperstability of the above type functional equation.