0
$\begingroup$

Seeley's extension operator it is a linear continuous mapping $E: C^\infty([0, \infty)) \rightarrow C^\infty(\mathbb R) $ with the property $E(g)|_{[0, \infty))}=g$ for $g \in C^\infty([0,\infty))$.

Let $(a_n), (b_n)$ are real sequences s.t.

  • $b_n<0$, $b_n \rightarrow -\infty$,

  • $ \sum_{n=1}^\infty |a_n| |b_n|^m <\infty \ for m=0,1,2....$,

  • $ \sum_{n=1}^\infty a_n b_n^m =1 \ for \ m=0,1,2....$

and let $h\in C_c(\mathbb R)$ be s. t. $h(x)=1$ for $x \in [0,1]$, $h(x)=0$ for $x \geq 2$.

Operator $ E(g)(x)=\sum_{n=1}^\infty a_n h(b_n x) g(b_n y) \ for \ x<0 $ and $E(g)(x)=g(x) \ for \ x\geq 0$ is an example of Seeley extension operator.

Does there exist an operator $E$, with similar properties, from $C^\infty([0,c))$ into $C^\infty(-c,c)$ which is linear continuous s.t. $E(g)|_{[0, c))}=g$ for $g \in C^\infty ([0,c)$ ?

$\endgroup$
5
  • 3
    $\begingroup$ Isn't it easy to reduce to Seeley's operator either by modifying the proof (slightly) or by a simple transformation $C^\infty([0,c)) \to C([0,\infty))$, $g\mapsto g\circ \psi$ with $\psi(t) =\tan(t/c)$ (or so)? $\endgroup$ Sep 11, 2012 at 9:39
  • $\begingroup$ Thanks. In the first approach, by modyfing the proof, maybe there is a problem with finding seguences $a_n$, $b_n$ satisfying above conditions (with $b_n \rightarrow -c$ instead $-\infty$)? $\endgroup$
    – B-B
    Sep 11, 2012 at 9:57
  • $\begingroup$ If I remember right, Seeley gives an explicit example of sequences (a_n) and (b_n). Have you tried modifying them to get sequences that suffice for the general case? $\endgroup$ Sep 11, 2012 at 11:35
  • $\begingroup$ (But Jochen's right: the easiest way is via the isomorphisms. Still, if you want to have an extension operator built in the same way as Seeley's then I suggest trying to modify Seeley's sequences.) $\endgroup$ Sep 11, 2012 at 11:36
  • $\begingroup$ Does exist a similar operator for $C^r(A)$ functions where $A$ is a half-space of $\mathbb R^2 (x \geq 0) $ ? $\endgroup$ Aug 30, 2018 at 2:52

1 Answer 1

3
$\begingroup$

Why isn't this trivial? For example, take a smooth cutoff function $\chi(t)$ which equals $1$ for $t \leq c/2$ and vanishes for $t \geq 3c/4$. Then let $E_{c,\chi}(g) = E (\chi g) + (1-\chi)g$ where $E$ is Seeley's original operator.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.