Smooth extension of function on $mathbb{R}^p$











up vote
0
down vote

favorite
1












I have the following specific problem:



For an application I use the following function $g : Bbb R^{Nd} to [0,infty)$,



$$(x^1, ldots, x^N) mapsto begin{cases} prodlimits_{substack{(a,b)in{1,ldots,N }^2 \ a< b}} exp left( frac{1}{(Vert x^aVert - Vert x^b Vert)^2 -1} right) &: bigvert Vert x^aVert - Vert x^b Vert bigvert < 1 ;forall a,b=1,ldots,N \ 0 &: text{else} end{cases}$$
where $x^i inBbb R^d$ and $VertcdotVert$ denotes the euclidean norm on $Bbb R ^d$. This special form of function is just important on the complement $K^c$ of a compact set. Moreover, I need that the function is $C^2$, i.e. twice continuously differentiable, on $K^c$.



For this purpose, let $$B_R := left{xinBbb R^{Nd} : maxlimits_{a=1,ldots,N} Vert x^a Vert leq R right}$$ for a radius $R>0$. Note that $g$ restricted to $B_1^c$ is already $C^2$ on $Bbb R^{Nd} setminus B_1^c$.



So here my question:



Is there a way to get the existence of a function $G:Bbb R^{Nd} to [0,infty)$ which is $C^2$ and all derivatives of second order at most match with the derivatives of $g$ on $Bbb R^{Nd} setminus B_1^c$ ?



I found extensions theorems for sobolev spaces on domains with a nice boundary. Is there something similar applying here?










share|cite|improve this question




























    up vote
    0
    down vote

    favorite
    1












    I have the following specific problem:



    For an application I use the following function $g : Bbb R^{Nd} to [0,infty)$,



    $$(x^1, ldots, x^N) mapsto begin{cases} prodlimits_{substack{(a,b)in{1,ldots,N }^2 \ a< b}} exp left( frac{1}{(Vert x^aVert - Vert x^b Vert)^2 -1} right) &: bigvert Vert x^aVert - Vert x^b Vert bigvert < 1 ;forall a,b=1,ldots,N \ 0 &: text{else} end{cases}$$
    where $x^i inBbb R^d$ and $VertcdotVert$ denotes the euclidean norm on $Bbb R ^d$. This special form of function is just important on the complement $K^c$ of a compact set. Moreover, I need that the function is $C^2$, i.e. twice continuously differentiable, on $K^c$.



    For this purpose, let $$B_R := left{xinBbb R^{Nd} : maxlimits_{a=1,ldots,N} Vert x^a Vert leq R right}$$ for a radius $R>0$. Note that $g$ restricted to $B_1^c$ is already $C^2$ on $Bbb R^{Nd} setminus B_1^c$.



    So here my question:



    Is there a way to get the existence of a function $G:Bbb R^{Nd} to [0,infty)$ which is $C^2$ and all derivatives of second order at most match with the derivatives of $g$ on $Bbb R^{Nd} setminus B_1^c$ ?



    I found extensions theorems for sobolev spaces on domains with a nice boundary. Is there something similar applying here?










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite
      1









      up vote
      0
      down vote

      favorite
      1






      1





      I have the following specific problem:



      For an application I use the following function $g : Bbb R^{Nd} to [0,infty)$,



      $$(x^1, ldots, x^N) mapsto begin{cases} prodlimits_{substack{(a,b)in{1,ldots,N }^2 \ a< b}} exp left( frac{1}{(Vert x^aVert - Vert x^b Vert)^2 -1} right) &: bigvert Vert x^aVert - Vert x^b Vert bigvert < 1 ;forall a,b=1,ldots,N \ 0 &: text{else} end{cases}$$
      where $x^i inBbb R^d$ and $VertcdotVert$ denotes the euclidean norm on $Bbb R ^d$. This special form of function is just important on the complement $K^c$ of a compact set. Moreover, I need that the function is $C^2$, i.e. twice continuously differentiable, on $K^c$.



      For this purpose, let $$B_R := left{xinBbb R^{Nd} : maxlimits_{a=1,ldots,N} Vert x^a Vert leq R right}$$ for a radius $R>0$. Note that $g$ restricted to $B_1^c$ is already $C^2$ on $Bbb R^{Nd} setminus B_1^c$.



      So here my question:



      Is there a way to get the existence of a function $G:Bbb R^{Nd} to [0,infty)$ which is $C^2$ and all derivatives of second order at most match with the derivatives of $g$ on $Bbb R^{Nd} setminus B_1^c$ ?



      I found extensions theorems for sobolev spaces on domains with a nice boundary. Is there something similar applying here?










      share|cite|improve this question















      I have the following specific problem:



      For an application I use the following function $g : Bbb R^{Nd} to [0,infty)$,



      $$(x^1, ldots, x^N) mapsto begin{cases} prodlimits_{substack{(a,b)in{1,ldots,N }^2 \ a< b}} exp left( frac{1}{(Vert x^aVert - Vert x^b Vert)^2 -1} right) &: bigvert Vert x^aVert - Vert x^b Vert bigvert < 1 ;forall a,b=1,ldots,N \ 0 &: text{else} end{cases}$$
      where $x^i inBbb R^d$ and $VertcdotVert$ denotes the euclidean norm on $Bbb R ^d$. This special form of function is just important on the complement $K^c$ of a compact set. Moreover, I need that the function is $C^2$, i.e. twice continuously differentiable, on $K^c$.



      For this purpose, let $$B_R := left{xinBbb R^{Nd} : maxlimits_{a=1,ldots,N} Vert x^a Vert leq R right}$$ for a radius $R>0$. Note that $g$ restricted to $B_1^c$ is already $C^2$ on $Bbb R^{Nd} setminus B_1^c$.



      So here my question:



      Is there a way to get the existence of a function $G:Bbb R^{Nd} to [0,infty)$ which is $C^2$ and all derivatives of second order at most match with the derivatives of $g$ on $Bbb R^{Nd} setminus B_1^c$ ?



      I found extensions theorems for sobolev spaces on domains with a nice boundary. Is there something similar applying here?







      real-analysis functions differential-topology smooth-functions






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 9 hours ago

























      asked yesterday









      Falrach

      1,292123




      1,292123



























          active

          oldest

          votes











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














           

          draft saved


          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2994177%2fsmooth-extension-of-function-on-mathbbrp%23new-answer', 'question_page');
          }
          );

          Post as a guest





































          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















           

          draft saved


          draft discarded



















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2994177%2fsmooth-extension-of-function-on-mathbbrp%23new-answer', 'question_page');
          }
          );

          Post as a guest




















































































          Popular posts from this blog

          Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

          ComboBox Display Member on multiple fields

          Is it possible to collect Nectar points via Trainline?