A positive integer functional equationFunctional Equation - Am I right?solving a functional equation using given valuesPolynomial Functional Equation.Find the smallest positive value taken by $a^3+b^3+c^3-3abc$A function $f$ satisfies the condition $f[f(x) - e^x] = e + 1$ for all $x in Bbb R$.AM-GM Inequality concept challenged!Functional Equation Problems$a=frac3bb-3$ Find all values of $b$ where $a$ is a positive integer.Sum of $2008$ consecutive positive integersBMO 1999 Q5 Functional Eqn where to start

Park the computer

Find max number you can create from an array of numbers

What instances can be solved today by modern solvers (pure LP)?

Why do most airliners have underwing engines, while business jets have rear-mounted engines?

How come a desk dictionary be abridged?

Is it acceptable that I plot a time-series figure with years increasing from right to left?

Should I cheat if the majority does it?

Bypass with wrong cvv of debit card and getting OTP

What are some bad ways to subvert tropes?

A positive integer functional equation

n-level Ouroboros Quine

Sci-fi book (no magic, hyperspace jumps, blind protagonist)

Shipped package arrived - didn't order, possible scam?

When is one 'Ready' to make Original Contributions to Mathematics?

Why do we need a bootloader separate from our application program in microcontrollers?

In the Seventh Seal why does Death let the chess game happen?

How to supply water to a coastal desert town with no rain and no freshwater aquifers?

How frequently do Russian people still refer to others by their patronymic (отчество)?

How to play a D major chord lower than the open E major chord on guitar?

How did Einstein know the speed of light was constant?

Does 5e have an equivalent of the Psychic Paper from Doctor Who?

What is the difference between an "empty interior" and a "hole" in topology?

Was the 45.9°C temperature in France in June 2019 the highest ever recorded in France?

What is the fundamental difference between catching whales and hunting other animals?



A positive integer functional equation


Functional Equation - Am I right?solving a functional equation using given valuesPolynomial Functional Equation.Find the smallest positive value taken by $a^3+b^3+c^3-3abc$A function $f$ satisfies the condition $f[f(x) - e^x] = e + 1$ for all $x in Bbb R$.AM-GM Inequality concept challenged!Functional Equation Problems$a=frac3bb-3$ Find all values of $b$ where $a$ is a positive integer.Sum of $2008$ consecutive positive integersBMO 1999 Q5 Functional Eqn where to start






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;








8












$begingroup$


If $f$ is from positive integers to positive integers and satisfies



$f(m f(n)) = n f(m)$ then find the minimum possible value of $f(2007)$.



My work so far:



Suppose $f(1) = k neq 1$.
Then consider $f(f(2)) = 2f(1) = 2k$.
$f(2) = f(2f(1)) = f(2k),$
$f(f(2)) = 2k,$ but the above also implies that $f(f(2)) = f(f(2k)) = 2k^2$, a contradiction. Thus $f(1) = 1$.



At this point, I further found that if $f(a) = b$, then $f(a^x b^y) = a^y b^x$.










share|cite|improve this question











$endgroup$











  • $begingroup$
    Have you factored $2007$?
    $endgroup$
    – Servaes
    8 hours ago










  • $begingroup$
    Also note that $f(1)=1$ implies that $f(f(n))=n$ for all $n$, and so $f$ is bijective.
    $endgroup$
    – Servaes
    8 hours ago

















8












$begingroup$


If $f$ is from positive integers to positive integers and satisfies



$f(m f(n)) = n f(m)$ then find the minimum possible value of $f(2007)$.



My work so far:



Suppose $f(1) = k neq 1$.
Then consider $f(f(2)) = 2f(1) = 2k$.
$f(2) = f(2f(1)) = f(2k),$
$f(f(2)) = 2k,$ but the above also implies that $f(f(2)) = f(f(2k)) = 2k^2$, a contradiction. Thus $f(1) = 1$.



At this point, I further found that if $f(a) = b$, then $f(a^x b^y) = a^y b^x$.










share|cite|improve this question











$endgroup$











  • $begingroup$
    Have you factored $2007$?
    $endgroup$
    – Servaes
    8 hours ago










  • $begingroup$
    Also note that $f(1)=1$ implies that $f(f(n))=n$ for all $n$, and so $f$ is bijective.
    $endgroup$
    – Servaes
    8 hours ago













8












8








8





$begingroup$


If $f$ is from positive integers to positive integers and satisfies



$f(m f(n)) = n f(m)$ then find the minimum possible value of $f(2007)$.



My work so far:



Suppose $f(1) = k neq 1$.
Then consider $f(f(2)) = 2f(1) = 2k$.
$f(2) = f(2f(1)) = f(2k),$
$f(f(2)) = 2k,$ but the above also implies that $f(f(2)) = f(f(2k)) = 2k^2$, a contradiction. Thus $f(1) = 1$.



At this point, I further found that if $f(a) = b$, then $f(a^x b^y) = a^y b^x$.










share|cite|improve this question











$endgroup$




If $f$ is from positive integers to positive integers and satisfies



$f(m f(n)) = n f(m)$ then find the minimum possible value of $f(2007)$.



My work so far:



Suppose $f(1) = k neq 1$.
Then consider $f(f(2)) = 2f(1) = 2k$.
$f(2) = f(2f(1)) = f(2k),$
$f(f(2)) = 2k,$ but the above also implies that $f(f(2)) = f(f(2k)) = 2k^2$, a contradiction. Thus $f(1) = 1$.



At this point, I further found that if $f(a) = b$, then $f(a^x b^y) = a^y b^x$.







algebra-precalculus functional-equations integers multiplicative-function






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 7 hours ago









Servaes

34.6k4 gold badges44 silver badges103 bronze badges




34.6k4 gold badges44 silver badges103 bronze badges










asked 8 hours ago









doingmathdoingmath

692 bronze badges




692 bronze badges











  • $begingroup$
    Have you factored $2007$?
    $endgroup$
    – Servaes
    8 hours ago










  • $begingroup$
    Also note that $f(1)=1$ implies that $f(f(n))=n$ for all $n$, and so $f$ is bijective.
    $endgroup$
    – Servaes
    8 hours ago
















  • $begingroup$
    Have you factored $2007$?
    $endgroup$
    – Servaes
    8 hours ago










  • $begingroup$
    Also note that $f(1)=1$ implies that $f(f(n))=n$ for all $n$, and so $f$ is bijective.
    $endgroup$
    – Servaes
    8 hours ago















$begingroup$
Have you factored $2007$?
$endgroup$
– Servaes
8 hours ago




$begingroup$
Have you factored $2007$?
$endgroup$
– Servaes
8 hours ago












$begingroup$
Also note that $f(1)=1$ implies that $f(f(n))=n$ for all $n$, and so $f$ is bijective.
$endgroup$
– Servaes
8 hours ago




$begingroup$
Also note that $f(1)=1$ implies that $f(f(n))=n$ for all $n$, and so $f$ is bijective.
$endgroup$
– Servaes
8 hours ago










2 Answers
2






active

oldest

votes


















3












$begingroup$

You've already shown that $f(1)=1$. Plugging in $m=1$ it then follows that $f(f(n))=n$ for all $n$. In particular $f$ is bijective. Now for arbitrary $m$ and $n$, setting $k:=f(n)$ we see that $f(k)=f(f(n))$ and so
$$forall m,n: f(mf(n))=nf(m)qquadLeftrightarrowqquad forall k,m: f(km)=f(k)f(m),$$
which shows that $f$ is completely multiplicative. In particular this means that $f(2007)=f(3^2)f(223)$ because $2007=3^2times223$.



Now let $p$ be any prime number, and suppose $f(p)=ab$ for positive integers $a$ and $b$. Then
$$p=f(f(p))=f(ab)=f(a)f(b),$$
so without loss of generality $f(a)=1$. Then $a=f(f(a))=f(1)=1$ and so $f(p)$ is also prime. This means that $f$ permutes the set of primes. Because $f(f(p))=p$ for all primes this means $f$ is determined entirely by a permutation of order $2$ of the set of prime numbers.



I leave it to you to verify that conversely, every permutation of order $2$ of the set of prime numbers determines a completely multiplicative function that satisfies the functional equation. From there it is easy to verify that the minimum value of $f(2007)$ is $2times3^2=18$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    I've not been able to follow the OP's line of reasoning when he writes that $f(f(2))=f(f(2k))=2k^2.$ How did he do that?
    $endgroup$
    – Adrian Keister
    7 hours ago






  • 1




    $begingroup$
    @AdrianKeister Because $f(f(2k))=f(1cdot f(2k))=2kcdot f(1)=2kcdot k$.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    Ah, I see, thanks!
    $endgroup$
    – Adrian Keister
    7 hours ago


















3












$begingroup$

Let $a=f(1)neq 0$.



  • Putting $m=1$ we get $f(f(n)) =an$ so $f$ is injective.

  • For $n=1$ we get $f(ma) = f(m)$ so we have $ma=m$ so $a=1$ and thus $f(f(n)) =n$.

If we put $n=f(k)$ we get $f(mk)=f(k)f(m)$ so $f$ is multiplicative. Each such function is uniqely determined by the pictures of primes. We have $$f(2007) = f(3)^2f(223)$$



$f(3)=p$ and $f(223)=q$ are primes. Since $$f(p)=f(f(3))=3$$ and $$f(q)=f(f(223))=223$$ the minimum will be if we take $p=3$ and $q=2$.
so the answer is $18$?






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Yes, $f$ is determined entirely by an involution on the set of primes.
    $endgroup$
    – Thomas Andrews
    7 hours ago










  • $begingroup$
    But does there exist a function $f$ with $f(3)=3$ and $f(223)=2$ that satisfies the functional equation?
    $endgroup$
    – Servaes
    7 hours ago










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – Aqua
    7 hours ago











  • $begingroup$
    @Aqua What is your point? The fact that such a function is completely determined by its values at the prime numbers, does not mean that any choice of values at the prime numbers will yield a function satisfying the functional equation.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    As Thomas Andrews notes in the comment above $f$ must induce an involution of the set of primes. But that still leaves the question; does every $f$ induced by an involution of the set of primes satisfy the functional equation?
    $endgroup$
    – Servaes
    7 hours ago














Your Answer








StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3282176%2fa-positive-integer-functional-equation%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









3












$begingroup$

You've already shown that $f(1)=1$. Plugging in $m=1$ it then follows that $f(f(n))=n$ for all $n$. In particular $f$ is bijective. Now for arbitrary $m$ and $n$, setting $k:=f(n)$ we see that $f(k)=f(f(n))$ and so
$$forall m,n: f(mf(n))=nf(m)qquadLeftrightarrowqquad forall k,m: f(km)=f(k)f(m),$$
which shows that $f$ is completely multiplicative. In particular this means that $f(2007)=f(3^2)f(223)$ because $2007=3^2times223$.



Now let $p$ be any prime number, and suppose $f(p)=ab$ for positive integers $a$ and $b$. Then
$$p=f(f(p))=f(ab)=f(a)f(b),$$
so without loss of generality $f(a)=1$. Then $a=f(f(a))=f(1)=1$ and so $f(p)$ is also prime. This means that $f$ permutes the set of primes. Because $f(f(p))=p$ for all primes this means $f$ is determined entirely by a permutation of order $2$ of the set of prime numbers.



I leave it to you to verify that conversely, every permutation of order $2$ of the set of prime numbers determines a completely multiplicative function that satisfies the functional equation. From there it is easy to verify that the minimum value of $f(2007)$ is $2times3^2=18$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    I've not been able to follow the OP's line of reasoning when he writes that $f(f(2))=f(f(2k))=2k^2.$ How did he do that?
    $endgroup$
    – Adrian Keister
    7 hours ago






  • 1




    $begingroup$
    @AdrianKeister Because $f(f(2k))=f(1cdot f(2k))=2kcdot f(1)=2kcdot k$.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    Ah, I see, thanks!
    $endgroup$
    – Adrian Keister
    7 hours ago















3












$begingroup$

You've already shown that $f(1)=1$. Plugging in $m=1$ it then follows that $f(f(n))=n$ for all $n$. In particular $f$ is bijective. Now for arbitrary $m$ and $n$, setting $k:=f(n)$ we see that $f(k)=f(f(n))$ and so
$$forall m,n: f(mf(n))=nf(m)qquadLeftrightarrowqquad forall k,m: f(km)=f(k)f(m),$$
which shows that $f$ is completely multiplicative. In particular this means that $f(2007)=f(3^2)f(223)$ because $2007=3^2times223$.



Now let $p$ be any prime number, and suppose $f(p)=ab$ for positive integers $a$ and $b$. Then
$$p=f(f(p))=f(ab)=f(a)f(b),$$
so without loss of generality $f(a)=1$. Then $a=f(f(a))=f(1)=1$ and so $f(p)$ is also prime. This means that $f$ permutes the set of primes. Because $f(f(p))=p$ for all primes this means $f$ is determined entirely by a permutation of order $2$ of the set of prime numbers.



I leave it to you to verify that conversely, every permutation of order $2$ of the set of prime numbers determines a completely multiplicative function that satisfies the functional equation. From there it is easy to verify that the minimum value of $f(2007)$ is $2times3^2=18$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    I've not been able to follow the OP's line of reasoning when he writes that $f(f(2))=f(f(2k))=2k^2.$ How did he do that?
    $endgroup$
    – Adrian Keister
    7 hours ago






  • 1




    $begingroup$
    @AdrianKeister Because $f(f(2k))=f(1cdot f(2k))=2kcdot f(1)=2kcdot k$.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    Ah, I see, thanks!
    $endgroup$
    – Adrian Keister
    7 hours ago













3












3








3





$begingroup$

You've already shown that $f(1)=1$. Plugging in $m=1$ it then follows that $f(f(n))=n$ for all $n$. In particular $f$ is bijective. Now for arbitrary $m$ and $n$, setting $k:=f(n)$ we see that $f(k)=f(f(n))$ and so
$$forall m,n: f(mf(n))=nf(m)qquadLeftrightarrowqquad forall k,m: f(km)=f(k)f(m),$$
which shows that $f$ is completely multiplicative. In particular this means that $f(2007)=f(3^2)f(223)$ because $2007=3^2times223$.



Now let $p$ be any prime number, and suppose $f(p)=ab$ for positive integers $a$ and $b$. Then
$$p=f(f(p))=f(ab)=f(a)f(b),$$
so without loss of generality $f(a)=1$. Then $a=f(f(a))=f(1)=1$ and so $f(p)$ is also prime. This means that $f$ permutes the set of primes. Because $f(f(p))=p$ for all primes this means $f$ is determined entirely by a permutation of order $2$ of the set of prime numbers.



I leave it to you to verify that conversely, every permutation of order $2$ of the set of prime numbers determines a completely multiplicative function that satisfies the functional equation. From there it is easy to verify that the minimum value of $f(2007)$ is $2times3^2=18$.






share|cite|improve this answer











$endgroup$



You've already shown that $f(1)=1$. Plugging in $m=1$ it then follows that $f(f(n))=n$ for all $n$. In particular $f$ is bijective. Now for arbitrary $m$ and $n$, setting $k:=f(n)$ we see that $f(k)=f(f(n))$ and so
$$forall m,n: f(mf(n))=nf(m)qquadLeftrightarrowqquad forall k,m: f(km)=f(k)f(m),$$
which shows that $f$ is completely multiplicative. In particular this means that $f(2007)=f(3^2)f(223)$ because $2007=3^2times223$.



Now let $p$ be any prime number, and suppose $f(p)=ab$ for positive integers $a$ and $b$. Then
$$p=f(f(p))=f(ab)=f(a)f(b),$$
so without loss of generality $f(a)=1$. Then $a=f(f(a))=f(1)=1$ and so $f(p)$ is also prime. This means that $f$ permutes the set of primes. Because $f(f(p))=p$ for all primes this means $f$ is determined entirely by a permutation of order $2$ of the set of prime numbers.



I leave it to you to verify that conversely, every permutation of order $2$ of the set of prime numbers determines a completely multiplicative function that satisfies the functional equation. From there it is easy to verify that the minimum value of $f(2007)$ is $2times3^2=18$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 7 hours ago

























answered 7 hours ago









ServaesServaes

34.6k4 gold badges44 silver badges103 bronze badges




34.6k4 gold badges44 silver badges103 bronze badges











  • $begingroup$
    I've not been able to follow the OP's line of reasoning when he writes that $f(f(2))=f(f(2k))=2k^2.$ How did he do that?
    $endgroup$
    – Adrian Keister
    7 hours ago






  • 1




    $begingroup$
    @AdrianKeister Because $f(f(2k))=f(1cdot f(2k))=2kcdot f(1)=2kcdot k$.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    Ah, I see, thanks!
    $endgroup$
    – Adrian Keister
    7 hours ago
















  • $begingroup$
    I've not been able to follow the OP's line of reasoning when he writes that $f(f(2))=f(f(2k))=2k^2.$ How did he do that?
    $endgroup$
    – Adrian Keister
    7 hours ago






  • 1




    $begingroup$
    @AdrianKeister Because $f(f(2k))=f(1cdot f(2k))=2kcdot f(1)=2kcdot k$.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    Ah, I see, thanks!
    $endgroup$
    – Adrian Keister
    7 hours ago















$begingroup$
I've not been able to follow the OP's line of reasoning when he writes that $f(f(2))=f(f(2k))=2k^2.$ How did he do that?
$endgroup$
– Adrian Keister
7 hours ago




$begingroup$
I've not been able to follow the OP's line of reasoning when he writes that $f(f(2))=f(f(2k))=2k^2.$ How did he do that?
$endgroup$
– Adrian Keister
7 hours ago




1




1




$begingroup$
@AdrianKeister Because $f(f(2k))=f(1cdot f(2k))=2kcdot f(1)=2kcdot k$.
$endgroup$
– Servaes
7 hours ago





$begingroup$
@AdrianKeister Because $f(f(2k))=f(1cdot f(2k))=2kcdot f(1)=2kcdot k$.
$endgroup$
– Servaes
7 hours ago













$begingroup$
Ah, I see, thanks!
$endgroup$
– Adrian Keister
7 hours ago




$begingroup$
Ah, I see, thanks!
$endgroup$
– Adrian Keister
7 hours ago













3












$begingroup$

Let $a=f(1)neq 0$.



  • Putting $m=1$ we get $f(f(n)) =an$ so $f$ is injective.

  • For $n=1$ we get $f(ma) = f(m)$ so we have $ma=m$ so $a=1$ and thus $f(f(n)) =n$.

If we put $n=f(k)$ we get $f(mk)=f(k)f(m)$ so $f$ is multiplicative. Each such function is uniqely determined by the pictures of primes. We have $$f(2007) = f(3)^2f(223)$$



$f(3)=p$ and $f(223)=q$ are primes. Since $$f(p)=f(f(3))=3$$ and $$f(q)=f(f(223))=223$$ the minimum will be if we take $p=3$ and $q=2$.
so the answer is $18$?






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Yes, $f$ is determined entirely by an involution on the set of primes.
    $endgroup$
    – Thomas Andrews
    7 hours ago










  • $begingroup$
    But does there exist a function $f$ with $f(3)=3$ and $f(223)=2$ that satisfies the functional equation?
    $endgroup$
    – Servaes
    7 hours ago










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – Aqua
    7 hours ago











  • $begingroup$
    @Aqua What is your point? The fact that such a function is completely determined by its values at the prime numbers, does not mean that any choice of values at the prime numbers will yield a function satisfying the functional equation.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    As Thomas Andrews notes in the comment above $f$ must induce an involution of the set of primes. But that still leaves the question; does every $f$ induced by an involution of the set of primes satisfy the functional equation?
    $endgroup$
    – Servaes
    7 hours ago
















3












$begingroup$

Let $a=f(1)neq 0$.



  • Putting $m=1$ we get $f(f(n)) =an$ so $f$ is injective.

  • For $n=1$ we get $f(ma) = f(m)$ so we have $ma=m$ so $a=1$ and thus $f(f(n)) =n$.

If we put $n=f(k)$ we get $f(mk)=f(k)f(m)$ so $f$ is multiplicative. Each such function is uniqely determined by the pictures of primes. We have $$f(2007) = f(3)^2f(223)$$



$f(3)=p$ and $f(223)=q$ are primes. Since $$f(p)=f(f(3))=3$$ and $$f(q)=f(f(223))=223$$ the minimum will be if we take $p=3$ and $q=2$.
so the answer is $18$?






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Yes, $f$ is determined entirely by an involution on the set of primes.
    $endgroup$
    – Thomas Andrews
    7 hours ago










  • $begingroup$
    But does there exist a function $f$ with $f(3)=3$ and $f(223)=2$ that satisfies the functional equation?
    $endgroup$
    – Servaes
    7 hours ago










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – Aqua
    7 hours ago











  • $begingroup$
    @Aqua What is your point? The fact that such a function is completely determined by its values at the prime numbers, does not mean that any choice of values at the prime numbers will yield a function satisfying the functional equation.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    As Thomas Andrews notes in the comment above $f$ must induce an involution of the set of primes. But that still leaves the question; does every $f$ induced by an involution of the set of primes satisfy the functional equation?
    $endgroup$
    – Servaes
    7 hours ago














3












3








3





$begingroup$

Let $a=f(1)neq 0$.



  • Putting $m=1$ we get $f(f(n)) =an$ so $f$ is injective.

  • For $n=1$ we get $f(ma) = f(m)$ so we have $ma=m$ so $a=1$ and thus $f(f(n)) =n$.

If we put $n=f(k)$ we get $f(mk)=f(k)f(m)$ so $f$ is multiplicative. Each such function is uniqely determined by the pictures of primes. We have $$f(2007) = f(3)^2f(223)$$



$f(3)=p$ and $f(223)=q$ are primes. Since $$f(p)=f(f(3))=3$$ and $$f(q)=f(f(223))=223$$ the minimum will be if we take $p=3$ and $q=2$.
so the answer is $18$?






share|cite|improve this answer











$endgroup$



Let $a=f(1)neq 0$.



  • Putting $m=1$ we get $f(f(n)) =an$ so $f$ is injective.

  • For $n=1$ we get $f(ma) = f(m)$ so we have $ma=m$ so $a=1$ and thus $f(f(n)) =n$.

If we put $n=f(k)$ we get $f(mk)=f(k)f(m)$ so $f$ is multiplicative. Each such function is uniqely determined by the pictures of primes. We have $$f(2007) = f(3)^2f(223)$$



$f(3)=p$ and $f(223)=q$ are primes. Since $$f(p)=f(f(3))=3$$ and $$f(q)=f(f(223))=223$$ the minimum will be if we take $p=3$ and $q=2$.
so the answer is $18$?







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 7 hours ago

























answered 8 hours ago









AquaAqua

54.4k13 gold badges67 silver badges136 bronze badges




54.4k13 gold badges67 silver badges136 bronze badges











  • $begingroup$
    Yes, $f$ is determined entirely by an involution on the set of primes.
    $endgroup$
    – Thomas Andrews
    7 hours ago










  • $begingroup$
    But does there exist a function $f$ with $f(3)=3$ and $f(223)=2$ that satisfies the functional equation?
    $endgroup$
    – Servaes
    7 hours ago










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – Aqua
    7 hours ago











  • $begingroup$
    @Aqua What is your point? The fact that such a function is completely determined by its values at the prime numbers, does not mean that any choice of values at the prime numbers will yield a function satisfying the functional equation.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    As Thomas Andrews notes in the comment above $f$ must induce an involution of the set of primes. But that still leaves the question; does every $f$ induced by an involution of the set of primes satisfy the functional equation?
    $endgroup$
    – Servaes
    7 hours ago

















  • $begingroup$
    Yes, $f$ is determined entirely by an involution on the set of primes.
    $endgroup$
    – Thomas Andrews
    7 hours ago










  • $begingroup$
    But does there exist a function $f$ with $f(3)=3$ and $f(223)=2$ that satisfies the functional equation?
    $endgroup$
    – Servaes
    7 hours ago










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – Aqua
    7 hours ago











  • $begingroup$
    @Aqua What is your point? The fact that such a function is completely determined by its values at the prime numbers, does not mean that any choice of values at the prime numbers will yield a function satisfying the functional equation.
    $endgroup$
    – Servaes
    7 hours ago











  • $begingroup$
    As Thomas Andrews notes in the comment above $f$ must induce an involution of the set of primes. But that still leaves the question; does every $f$ induced by an involution of the set of primes satisfy the functional equation?
    $endgroup$
    – Servaes
    7 hours ago
















$begingroup$
Yes, $f$ is determined entirely by an involution on the set of primes.
$endgroup$
– Thomas Andrews
7 hours ago




$begingroup$
Yes, $f$ is determined entirely by an involution on the set of primes.
$endgroup$
– Thomas Andrews
7 hours ago












$begingroup$
But does there exist a function $f$ with $f(3)=3$ and $f(223)=2$ that satisfies the functional equation?
$endgroup$
– Servaes
7 hours ago




$begingroup$
But does there exist a function $f$ with $f(3)=3$ and $f(223)=2$ that satisfies the functional equation?
$endgroup$
– Servaes
7 hours ago












$begingroup$
en.wikipedia.org/wiki/…
$endgroup$
– Aqua
7 hours ago





$begingroup$
en.wikipedia.org/wiki/…
$endgroup$
– Aqua
7 hours ago













$begingroup$
@Aqua What is your point? The fact that such a function is completely determined by its values at the prime numbers, does not mean that any choice of values at the prime numbers will yield a function satisfying the functional equation.
$endgroup$
– Servaes
7 hours ago





$begingroup$
@Aqua What is your point? The fact that such a function is completely determined by its values at the prime numbers, does not mean that any choice of values at the prime numbers will yield a function satisfying the functional equation.
$endgroup$
– Servaes
7 hours ago













$begingroup$
As Thomas Andrews notes in the comment above $f$ must induce an involution of the set of primes. But that still leaves the question; does every $f$ induced by an involution of the set of primes satisfy the functional equation?
$endgroup$
– Servaes
7 hours ago





$begingroup$
As Thomas Andrews notes in the comment above $f$ must induce an involution of the set of primes. But that still leaves the question; does every $f$ induced by an involution of the set of primes satisfy the functional equation?
$endgroup$
– Servaes
7 hours ago


















draft saved

draft discarded
















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid


  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.

Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3282176%2fa-positive-integer-functional-equation%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

Ласкавець круглолистий Зміст Опис | Поширення | Галерея | Примітки | Посилання | Навігаційне меню58171138361-22960890446Bupleurum rotundifoliumEuro+Med PlantbasePlants of the World Online — Kew ScienceGermplasm Resources Information Network (GRIN)Ласкавецькн. VI : Літери Ком — Левиправивши або дописавши її