BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Poo-Sung Park appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let $k$ be an integer greater than or equal $4$. We show that if a multiplicative function $f$ satisfies \[ f(x_1^2 + x_2^2 + \dots + x_k^2) = f(x_1)^2 + f(x_2)^2 + \dots + f(x_k)^2 \] for all positive integers $x_i$'s, then $f$ is the identity function.
If a multiplicative function $f$ satisfies $f(a^2+b^2+c^2) = f(a)^2+f(b)^2+f(c)^2$ for all positive integers $a$, $b$, and $c$, then $f$ is an identity function.
Let $n_0$ be 1 or 3. If a multiplicative function $f$ satisfies $f(p+q-n_0) = f(p)+f(q)-f(n_0)$ for all primes $p$ and $q$, then $f$ is the identity function $f(n)=n$ or a constant function $f(n)=1$.
P. V. Chung showed that there are many multiplicative functions $f$ which satisfy $f(m^2+n^2) = f(m^2)+f(n^2)$ for all positive integers $m$ and $n$. In this article, we show that if more than $2$ squares in the additive condition are involved, then such $f$ is uniquely determined. That is, if a multiplicative function $f$ satisfies \[ f(a_1^2 + a_2^2 + \dotsb + a_k^2) = f(a_1^2) + f(a_2^2) + \dotsb + f(a_k^2) \] for arbitrary positive integers $a_i$, then $f$ is the identity function. In this sense, we call the set of all posotive squares a \emph{$k$-additive uniqueness set} for multiplicative functions.
Given relatively prime integers $a_1, \dotsc, a_n$, the Frobenius number $g(a_1, \dotsc, a_n)$ is defined as the largest integer which cannot be expressed as $x_1 a_1 + \dotsb + x_n a_n$ with $x_i$ nonnegative integers. In this article, we give the Frobenius number of primitive Pythagorean triples. That is, \[ g(m^2-n^2, 2mn, m^2+n^2) = (m-1)(m^2-n^2) + (m-1)(2mn) - (m^2 + n^2). \]