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;
$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$.
algebra-precalculus functional-equations integers multiplicative-function
$endgroup$
add a comment |
$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$.
algebra-precalculus functional-equations integers multiplicative-function
$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
add a comment |
$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$.
algebra-precalculus functional-equations integers multiplicative-function
$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
algebra-precalculus functional-equations integers multiplicative-function
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
add a comment |
$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
add a comment |
2 Answers
2
active
oldest
votes
$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$.
$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
add a comment |
$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$?
$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
|
show 2 more comments
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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$.
$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
add a comment |
$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$.
$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
add a comment |
$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$.
$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$.
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
add a comment |
$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
add a comment |
$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$?
$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
|
show 2 more comments
$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$?
$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
|
show 2 more comments
$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$?
$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$?
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
|
show 2 more comments
$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
|
show 2 more comments
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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