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$
  • 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$ – Jochen Wengenroth Sep 11 '12 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 '12 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$ – Loop Space Sep 11 '12 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$ – Loop Space Sep 11 '12 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$ – Mohamed Cheddadi Aug 30 '18 at 2:52
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$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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