2
$\begingroup$

I am looking for an operator $U$, that can do this to a function: $$Uf(x)=f(2x).$$

In particular I am happy if there is an $U$ for the general case: $Uf(x)=f(kx)$.

Does such an operator exist for all $f(x)$? What is the operator for known classes of $f(x)$?

I have so far 1 condition on $f(x)$: $$\int_{-\infty}^{\infty} f(x)^2\,dx\text{ converges.}$$

I dont really know where to look for such an operator, or what keyphrases here are.

  • 7
    Strange question... If $x$ is defined on the whole real line, then $Uf(x):=f(kx)$ is a perfectly good definition of a linear operator (and it preserves the condition that the integral converges).2011-01-11
  • 0
    @Hans Yes, I am looking for that operator U, an explicit expression for U. U is NOT a function of f !2011-01-11
  • 1
    @kakemonsteret: that _is_ an explicit expression for U. I don't understand.2011-01-11
  • 2
    @kakemonsteret: What you give *is* an "explicit description". If you are looking for some formula $U(w) = $(expression of $w$) that you can just plug in $f(x)$ into and the result will be $f(2x)$, you are not going to find it in general, or for any but the most restrictive class of functions; the expression you give is perfectly fine way of defining it, though.2011-01-11
  • 0
    @Arturo I hear you say that, but I want to find it, or pursue finding it! That is exactly my question.2011-01-11
  • 0
    @Arturo; Does "not going to find it" = Does not exist, what precisely do you mean ?2011-01-11
  • 1
    kakemonsteret, it means that it varies depending on the function in question.2011-01-11
  • 0
    @kakemonsteret: If you're going to ignore responses and keep going ahead regardless, why bother asking in the first place? There will be no such expression because the number of expressions is much, much smaller than the number of possible functions. But do go ahead and pursue it: you're not going to catch, it though, because there is no such thing.2011-01-11
  • 0
    @Arturo Then I want a proof there is no such thing2011-01-11
  • 0
    @kakemonsteret: count the number of formulas; count the number of functions; discover that there are far more functions than formulas. Take an expression, and define a function specifically so it will not work for the given expression. Lather, rinse, repeat.2011-01-11
  • 0
    @Arturo What is the difference of a formula and a function ? They are the same thing and equal in numbers2011-01-11
  • 3
    @kakemonsteret: Formulas are finite strings of characters. There are a countable infinity of them. Real functions are sets of pairs $(x,y), x,y \in \mathbb{R}$ in which there is only one pair for a given $x$. If you insist the domain be all of $\mathbb{R}$, you must have a pair for each $x \in \mathbb{R}$. There are $|\mathbb{R}|^{|\mathbb{R}|}$ of them-a few more than formulas.2011-01-11
  • 3
    @kakemonstert: a formula is a finite sequence of strings from a valid alphabet; there are only countably many. A function, say, from $\mathbb{R}$ to $\mathbb{R}$, is any subset of $\mathbb{R}\times\mathbb{R}$ that satisfies a certain set of conditions. There are uncountably many of them (in fact, even more than real numbers). So, most definitely **no**, they are not the same thing and they are not equal in numbers. There are **far** more functions than formulas.2011-01-11
  • 1
    See my answer below.2011-01-12

3 Answers 3

0

Yes, such operator exists and it is linear. The answer above by Qiaochu Yuan seems to confuse function with operator. That said there is no such function $U:\mathbb{R}\to\mathbb{R}$, but there is a linear operator U as said Arturo Magidin. And on the set of analytic functions it has the following infinite (because the set of analytic functions is infinite-dementional) matrix:

$$U=\left( \begin{array}{cccccc} 1 & 0 & 0 & . & 0 & . \\ 0 & k^1 & 0 & . & 0 & . \\ 0 & 0 & k^2 & . & 0 & . \\ . & . & . & . & . & . \\ 0 & 0 & 0 & . & k^n & . \\ . & . & . & . & . & . \end{array} \right)$$

To obtain the resulting function you have to multiply this matrix by the argument function:

$f(k x)= Uf(x)= f(0)+\frac {f'(0)}{1!} k x+ \frac{f''(0)}{2!} k^2 x^2+\frac{f^{(3)}(0)}{3!} k^3 x^3+ \cdots+\frac{f^{(n)}(0)}{n!} k^n x^n +\cdots.$

The confusion with your question probably arose because you used the function composition sign $\circ$ where it should not be if you meant applying the operator.

  • 0
    You should add the caveat that this explicit form works only if $kx$ is in the radius of convergence of the power series about $0$.2011-01-12
  • 0
    It it considered to have this matrix everywhere. It is just not interpreted as a matrix multiplied by Taylor series where the series does not converge.2011-01-12
  • 2
    -1. I am sorry but this answer is pretty nonsensical. Firstly, by far most functions from $\mathbb{R}$ to $\mathbb{R}$ are not differentiable, let alone infinitely differentiable. So your expression almost never makes sense, which begs the question what "the operator _has_ the matrix" is supposed to mean. Secondly, it was the OP who was confusing functions $\mathbb{R}\rightarrow \mathbb{R}$ with operators on the space of such functions (which are also functions by the way). He was using the notation for the former, but seems to have intended the latter.2011-01-12
  • 0
    His actual intended question, as I understand it, "does there exist an operator on the space of functions that is right composition with multiplication by $k$" is trivial, as was repeatedly pointed out to him in the comments (to no avail, alas): simply define the operator to be just that.2011-01-12
  • 0
    "He was using the notation for the former, but seems to have intended the latter." - yes, I pointed it in my answer. As he asked for operator, not function, I conclude that he meant operator.2011-01-12
  • 1
    Yea I mean operator, someone edited my question and put in that composition sign2011-01-12
4

Proposition: There exists no function $U : \mathbb{R} \to \mathbb{R}$ such that, for every function $f : \mathbb{R} \to \mathbb{R}$, we have the relation $(U \circ f)(x) = f(2x)$. (This is the interpretation of the question I have managed to glean from your comments.)

Proof. Let $f, g$ be two functions such that $f(1) = g(1)$ but such that $f(2) \neq g(2)$. Then $(U \circ f)(1) = (U \circ g)(1)$ but $f(2) \neq g(2)$; contradiction.

As you can see the proof is robust under many modifications of the conditions on $f$.

  • 1
    While there is no $U\colon\mathbb{R}\to\mathbb{R}$, there are of course functions $U_k\colon\mathbb{R}^{\mathbb{R}}\to\mathbb{R}^{\mathbb{R}}$ for which $(U_k(f))(x) = f(kx)$ for all $x$; the problem is that the OP seems to want such $U_k$ to be "expressible" in some simple formulaic way. E.g., if you restrict yourself to affine maps $f(x) = ax+b$, then $U(g) = 2g-g(0)$ would (presumably) be such a formula. But for any sufficiently large class of functions, there won't be a "formula" like that.2011-01-11
  • 0
    @Arturo: then the OP should clarify what kind of simple formulaic ways are being allowed here. I don't see what sense in which U(f(x)) = f(2x) isn't already simple and formulaic.2011-01-11
  • 0
    I fully agree with you, as I agreed in the comments before. (-:2011-01-11
  • 0
    @ Arturo Magidin, in you example of formula for $U(f)$ for $f(x)=ax+b$ you used right composition, so I fail to see how this formula is more simple or formalistic than the definition: $U[f(x)]=f(kx)$2011-01-12
  • 2
    If $U$ is allowed to be a linear operator, then $U=\exp\left(\ln(k)x\frac d{dx}\right)$ does the trick, see also [joriki's answer](http://math.stackexchange.com/a/116650/163) to my very similar question2012-04-03
4

There are the special linear conformal transformations SL(2,R) associated with the differential operators

$S_{-1}f(z)=\exp(ad/dz)f(z)=f(z+a)$

$S_{0}f(z)=\exp(bzd/dz)f(z)=f(e^b z)$

$S_{1}f(z)=\exp(cz^{2}d/dz)f(z)=f(z/(1-cz))$

The $z^{m+1}d/dz$ ($m=-1,0,1$) are a representation of a subgroup of the infinite Witt Lie algebra associated with the Virasoro algebra, and their exponential maps can be used to construct Möbius, or linear fractional, transformations.

$S_{0}$ is one rep of a scaling operator that you might be looking for with $b=\ln(k)$.

For more info see my notes "Mathemagical Forests" (pages 13-15) at my little "arxiv".

Also see answers to MS Q116633.

  • 0
    For restricted domain f, of course.2012-04-06