A function in $textit{D}(mathbb{R})$











up vote
0
down vote

favorite












I was solving an exercise and I faced these 2 parts
1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



2)Let $f in C^{infty}(mathbb{R})$
Prove the following equivalence :



$f delta_0'=0$ in $D^*(mathbb{R}) iff$
$exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



Can anyone help please? Thank you










share|cite|improve this question




























    up vote
    0
    down vote

    favorite












    I was solving an exercise and I faced these 2 parts
    1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



    I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



    2)Let $f in C^{infty}(mathbb{R})$
    Prove the following equivalence :



    $f delta_0'=0$ in $D^*(mathbb{R}) iff$
    $exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



    I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



    Can anyone help please? Thank you










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      I was solving an exercise and I faced these 2 parts
      1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



      I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



      2)Let $f in C^{infty}(mathbb{R})$
      Prove the following equivalence :



      $f delta_0'=0$ in $D^*(mathbb{R}) iff$
      $exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



      I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



      Can anyone help please? Thank you










      share|cite|improve this question















      I was solving an exercise and I faced these 2 parts
      1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



      I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



      2)Let $f in C^{infty}(mathbb{R})$
      Prove the following equivalence :



      $f delta_0'=0$ in $D^*(mathbb{R}) iff$
      $exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



      I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



      Can anyone help please? Thank you







      distribution-theory dirac-delta






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 15 at 11:32

























      asked Nov 15 at 10:58









      Fareed AF

      31411




      31411






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote













          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer





















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46











          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%2f2999532%2fa-function-in-textitd-mathbbr%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote













          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer





















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46















          up vote
          1
          down vote













          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer





















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46













          up vote
          1
          down vote










          up vote
          1
          down vote









          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer












          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 15 at 14:46









          TZakrevskiy

          20k12354




          20k12354












          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46


















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46
















          Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
          – Fareed AF
          Nov 15 at 15:46




          Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
          – Fareed AF
          Nov 15 at 15:46


















           

          draft saved


          draft discarded



















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999532%2fa-function-in-textitd-mathbbr%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Quarter-circle Tiles

          build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

          Mont Emei