2 original question was trivially uninteresting

# DoesequalityHowsmallcantheset of all$p$suchthatthe $L^p$ norms implyequalityuptomasspreservingdiffeomorphismaredifferentfortwofixedfunctions?

What does it tell you about two functions if their $L^p$ norms are the same for all $p\in[1,\infty]$? Certainly they could be related by composition with a diffeomorphism with Jacobian of norm 1, or even one could be a "pulled apart version of the other one" in the sense of $x^2\chi_{[0,2]}$ vs $x^2 \chi_{[0,1]} + (x-1)^2 \chi_{[2,3]}$. To try to ignore the second type of issue, I'll restrict to smooth functions, and ask the following precise question:

Given $f,g\in C^\infty(\mathbb{R})$ such that $\Vert f \Vert_{L^p(\mathbb{R})} = \Vert g \Vert_{L^p(\mathbb{R})} <\infty$ for all $p\in [1,\infty]$ is it necessarily true that $f(x) = g(\pm x + C)$ for some constant $C$ and for a choice of either $+$ or $-$ for all $x \in \mathbb{R}$?

Followup question

As Qiaochu Yuan shows in his answer, smoothness doesn't solve the issue of "pulling apart" at all. Thus, I am interested in the following:

What is the "smallest" (in whatever sense) but still nonempty subset of $S \subset [1,\infty]$ such that there is $f,g\in C^\infty(\mathbb{R})$ such that $S$ is the set of $p$ such that $\Vert f \Vert_{L^p} \neq \Vert g \Vert_{L^p}$?

1

# Does equality of all $L^p$ norms imply equality up to mass preserving diffeomorphism?

What does it tell you about two functions if their $L^p$ norms are the same for all $p\in[1,\infty]$? Certainly they could be related by composition with a diffeomorphism with Jacobian of norm 1, or even one could be a "pulled apart version of the other one" in the sense of $x^2\chi_{[0,2]}$ vs $x^2 \chi_{[0,1]} + (x-1)^2 \chi_{[2,3]}$. To try to ignore the second type of issue, I'll restrict to smooth functions, and ask the following precise question:

Given $f,g\in C^\infty(\mathbb{R})$ such that $\Vert f \Vert_{L^p(\mathbb{R})} = \Vert g \Vert_{L^p(\mathbb{R})} <\infty$ for all $p\in [1,\infty]$ is it necessarily true that $f(x) = g(\pm x + C)$ for some constant $C$ and for a choice of either $+$ or $-$ for all $x \in \mathbb{R}$?

Followup question: What is the "smallest" (in whatever sense) but still nonempty subset of $S \subset [1,\infty]$ such that there is $f,g\in C^\infty(\mathbb{R})$ such that $S$ is the set of $p$ such that $\Vert f \Vert_{L^p} \neq \Vert g \Vert_{L^p}$?