7
$\begingroup$

As above, I'm trying to find all linear operators $L: C([0,1]) \to C([0,1])$ which satisfy the following 2 conditions:

  • I) $Lf \, \geq \, 0$ for all non-negative $f\in C([0,1])$.
  • II) $Lf = f$ for $f(x)= 1$, $f(x)=x$, and $f(x)=x^2$.

I'm honestly not sure where to start here - I'm struggling to use these conditions to pare down the class of linear operators which could satisfy the conditions significantly. Could anyone help me get a result out of this? Thank you!

  • 0
    Are you viewing $C([0,1])$ as a real vector space with pointwise operations? (I assume $C([0,1])$ is the set of continuous functions $[0,1]\to\mathbb{R}$)2011-01-08
  • 1
    Do you require your operators to be continuous? If so, with respect to what topology?2011-01-08
  • 2
    @Chris and @Arturo: Positivity and $L1 = 1$ imply $\|L\| = 1$ in the $\sup$-norm because $L(\|f\|\cdot 1 \pm f) \geq 0$, hence $\|Lf\| \leq \|f\|$.2011-01-08
  • 0
    Apologies, I tried to correct it but it appears someone beat me to it! By an operator i just mean a mapping between the 2 spaces - no continuity necessary, just linearity in this case. And yes, C([0,1]) is the real vector space of continuous functions onto R as you stated.2011-01-08
  • 1
    Why do you want to do this?2011-01-08
  • 0
    It was given as an additional (optional) exercise in a mathematics course I'm studying, so it certainly isn't the end of the world if I don't do it but I feel like I should be able to make some progress on it, as it appears to me like it shouldn't be as challenging as I seem to be finding it.2011-01-08
  • 0
    Could you provide some more background/context? I don't know if this helps: The dual space of $C([0,1])$ is the space of signed Borel measures and the adjoint $L^{\ast}$ must preserve probability measures on $[0,1]$ (this follows from $L1 = 1$ and $L \geq 0$). In particular, there is a (weak$^{\ast}$-)continuous function $[0,1] \to M_{1}([0,1]), s \mapsto \mu_{s} = L^\ast(\delta_s)$, so that $(Lf)(s) = \int_{[0,1]} f\,d\mu_{s}$. The further requirements $Lx = x$ and $L(x^2) = x^2$ should give some restrictions on the $\mu_s$.2011-01-08
  • 0
    What sort of context? I'm studying a mathematics course at university (I'd prefer not to name), and this is a broad covering of a number of topics in analysis - this in particular was loosely related to a proof of the Weierstrass Approximation theorem, but i don't believe any of the proof is useful for this additional exercise which was given to the student. The course isn't at all measure theoretic, this was the start of a brief section on polynomial approximations and operators (specifically focusing on the Bernstein polynomials), so i expect there is a non-measure theory solution too.2011-01-08
  • 0
    @Stephen: Thanks! Bernstein & Weierstrass was a very good hint for me. I've finally remembered the argument. You don't need any measure-theory stuff, I hope my hints below help.2011-01-08
  • 0
    @AD: Apologies, I'm new to this - I'll know for next time. Theo, ill start working on your hints, thank you!2011-01-08
  • 1
    @Stephen: Have fun! Just post a comment to my answer in case you're stuck (then I will be notified). In case of desperation I'll give you full details, but not just now, ok?2011-01-08

2 Answers 2

5

The answer is: $L$ must be the identity of $C([0,1])$.

Let $f: [0,1] \to \mathbb{R}$ be continuous. We want to prove that $Lf = f$.

Since $[0,1]$ is compact, $f$ is uniformly continuous, so for fixed $\varepsilon \gt 0$ we can choose $\delta$ such that $|x - y| \leq \sqrt{\delta}$ implies $|f(x) - f(y)| \lt \varepsilon$. Observe that \[ |f(x) - f(y)| \leq \varepsilon + \frac{2\|f\|}{\delta}(x - y)^{2} \] for all $x,y \in [0,1]$.

If $|x - y| \leq \sqrt{\delta}$ this is clear and otherwise we have $(x - y)^{2} \gt \delta$, so $\varepsilon + \frac{2\|f\|}{\delta}(x - y)^{2} > \varepsilon + 2\|f\| \gt |f(x) - f(y)|$.

In other words, for $C = \frac{2\|f\|}{\delta}$ we have \[ -\varepsilon - C(x - y)^{2} \leq f(x) - f(y) \leq \varepsilon + C(x-y)^{2}. \] Keep $y$ fixed (so we regard $y$ and $f(y)$ as constants), consider the three parts of these inequalities as functions of $x$ and apply $L$. Using that $L$ is monotone and that $L(ax^{2} + bx + c) = ax^{2} + bx + c$ by hypothesis, we get \[ -\varepsilon - C(x - y)^{2} \leq (Lf)(x) - f(y) \leq \varepsilon + C(x-y)^{2} \qquad \text{for all $x,y \in [0,1]$}. \] In particular, setting $x = y$ yields $|Lf(y) - f(y)| < \varepsilon$. Since $\varepsilon$ and $y$ were arbitrary, we conclude $Lf(y) = f(y)$ for all $y \in [0,1]$.


The argument given here may be strengthened with only little effort:

Korovkin's Theorem. Let $L_{n}: C([0,1]) \to C([0,1])$ be positive operators such that $\|L_{n}g_{i} - g_{i}\|_{\infty} \xrightarrow{n \to \infty} 0$ for $g_{i}(x) = x^{i}$, $i = 0,1,2$. Then $\|L_{n}f - f\|_{\infty} \to 0$ for all $f \in C([0,1])$.

Its proof (as well as the argument above) is a variant of the usual proof of the Weierstrass approximation theorem using Bernstein polynomials. One may take \[ L_{n}f(x) = \sum_{k = 0}^{n} \begin{pmatrix} n \\ k \end{pmatrix}x^{k}(1-x)^{n-k} f(k/n), \] in Korovkin's theorem and verify directly that $L_n g_{i} \to g_{i}$ for $i = 0,1,2$, so Korovkin's theorem yields the Weierstrass approximation theorem.

  • 0
    http://www.encyclopediaofmath.org/index.php/Bohman-Korovkin_theorem2015-04-29
3

Here are some hints:

  • You don't have much choice for $L$.
  • If $f: [0,1] \to \mathbb{R}$ is continuous then it is uniformly continuous, so for all $\varepsilon > 0$ you can choose $\delta > 0$ such that $|x - y| < \sqrt{\delta}$ implies $|f(x) - f(y)| < \varepsilon$. This gives \[ |f(x) - f(y)| < \varepsilon + C (x - y)^{2} \quad \text{for ALL $x,y \in [0,1]$} \] with $C = \frac{2\|f\|_{\infty}}{\delta}$.
  • Use this to estimate $f(x) - f(y)$ from above and below by a quadratic polynomial in $x$ (view $y$ and $f(y)$ as constants).
  • If $p(x) = ax^{2} + bx + c$ then $Lp = p$ and if $g \leq h$ then $Lg \leq Lh$.
  • 0
    I'm sorry, I don't think i'm quite there yet - I can see how we can use your second point to get $|Lf(x)-Lf(y)|<\epsilon+C(x-y)^2$, but what can we make use of this bound for? If we treat y as constant we can say $|Lf(x)-f(y)|<\epsilon+C(x-y)^2$ too but I'm not sure how that helps. As we take a smaller epsilon, our C will become arbitrarily large, so presumably we can't really guarantee much accuracy here? Sorry about this...2011-01-08
  • 0
    You're almost there. Once you've fixed $\varepsilon$ and $\delta$, the inequality in the second point holds for *all* $x,y \in [0,1]$! To prove this you need to to consider two cases: $|x - y| < \sqrt{\delta}$ and $|x - y| \geq \sqrt{\delta}$.2011-01-08
  • 0
    Oh, yes, I just got there and then saw your post! In fact, can't we just evaluate my second inequality in the previous post at x=y? At which point we'd get $|Lf(y)-f(y)|< \epsilon$?2011-01-08
  • 0
    Yes, of course, but you need to know that the inequality holds for all $x \in [0,1]$ (so that it is an inequality of continuous functions on $[0,1]$ and you can use the positivity of $L$).2011-01-08
  • 0
    So perhaps I'm being slow again, or perhaps it really is that simple, but doesn't that only leave us the identity operator?2011-01-08
  • 0
    Exactly! That's it...2011-01-08
  • 0
    That's wonderful, I really appreciate all the help, thank you!2011-01-08
  • 1
    @Stephen: You're welcome, that was fun! Could you accept one of my posts as answer, please? Then the question will stop showing up as unanswered.2011-01-08