0
$\begingroup$

Let $V$ be the space of all continuous functions $f$ on the real line with $f(x)=\frac12\big(f(x-1)+f(x+1)\big)$. It contains the space of periodic functions. The latter equals the space of continuous functions on the circle. Can $V$ also be interpreted geometrically as a, say, space of sections of some bundle over the circle?

The additive group $\mathbb R$ acts on the space $V$ by translation, i.e. foer $\lambda\in \mathbb R$ we have an operator $R_{\lambda}$ on $V$ given by $R_\lambda f(x)=f(x+\lambda)$ and I would be interested in an interpretation which translates this action into something nice like an action on the sections of a homogeneous bundle.

$\endgroup$
6
  • $\begingroup$ That's probably not what you want, but there's the elementary description of $V$ as the continuous functions on $[-1,1]$ satisfying $2f(0)=f(-1)+f(1)$. $\endgroup$ Commented Jun 22, 2023 at 17:09
  • 2
    $\begingroup$ Also, if $f$ is tempered, then you can take Fourier transforms to conclude that $(\cos t-1)\widehat{f}=0$, so $\widehat{f}$ is supported by $2\pi\mathbb Z$, and the equation in fact says a bit more than that. $\endgroup$ Commented Jun 22, 2023 at 17:10
  • 2
    $\begingroup$ Given $f$ in $V$, there exists functions $m, b: [0,1)\to \mathbb{R}$ such that $f(x) = m(x - \lfloor x \rfloor) \cdot \lfloor x \rfloor x + b(x - \lfloor x \rfloor )$. The $b$ part is the periodic part. So I guess the answer to your question is yes. $\endgroup$ Commented Jun 22, 2023 at 18:07
  • 3
    $\begingroup$ It is more convenient to rewrite your defining equation as $f(x+1) - f(x) = f(x) - f(x-1)$, this shows that the "discrete derivative" of $f$ is a periodic function. As $f$ is continuous, this discrete derivative must be bounded for $x\in [-1,1]$, which implies that $f$ has at most linear growth. So @ChristianRemling's observation about taking the Fourier transform can also be applied. $\endgroup$ Commented Jun 22, 2023 at 18:12
  • $\begingroup$ Thanks for these helpful comments! $\endgroup$
    – user473423
    Commented Jun 22, 2023 at 18:48

1 Answer 1

1
$\begingroup$

This is a comment but will be too long for that. The equation given is a (very simple) example of a difference-differential equation (in fact, a difference equation but there are several related queries on MO where derivatives are also involved--see, e.g., "Are there any nonlinear solutions to $f(x+1)-f(x)=f´(x)$ and "On equation $f(z+1)-f(z)=f´(z)$). Now there exists, not unexpectedly, a comprehensive theory of such equations, in particular, explicit solutions to the case of linear equations with constant coefficients, of which the above equations are very special cases. One can, for example, consult the comprehensive monograph "Differential-difference Equations" by Bellman and Cooke, readily available online.

This situation is quite common on MO, not surprisingly since the most prolific active participant tend to be problem-solvers, who attack such problems sometimes without knowledge of current, relevant theory. This is, of course, not a bad thing. However, it seems to me to be a truism that if such a general theory is known by a contributor to exist, then it is a matter of common courtesy and professional integrity that this be acknowledged in the following discussion. Hence this comment.

One field which is fraught with this phenomenon is that of (Schwartzian) distributions and this is relevant to this example since a standard and simple way of obtaining all solutions to equations such as the one mentioned here is the use of the Fourier transform. One frequent MO canard is that one can only take the FT of tempered distributions. In fact, all distributions have such transforms, it is just that they can be of more general forms, namely analytic functionals, i.e. continuous linear functionals on suitable lc spaces of entire functions, in particular, delta distributions with singularities in the complex plane. This is particularly relevant to the above simple concrete examples, a fact which will not surprise anybody who is familiar with the methods of solving second order linear ode´s with constant coefficients (basically every professional mathematician).

As a final comment, all of the three cases mentioned here can be answered in seconds using FT´s, sometimes obtaining distribution solutions which remain undetected by other methods. This happens in the case of the difference equation of this query, which exhibits solutions not mentioned in the answers. These are, of course, precluded by the stipulation that the solution be a rather special kind of distribution, a continuous function on the line, but they are perhaps worth mentioning since they might be useful in another context.

$\endgroup$

You must log in to answer this question.