What functions satisfy $f(x)+f(y-x) = g(y)$?












3












$begingroup$


What functions $f$ have the property that, for all $x$ and $y$:
$$
f(x) + f(y-x) = g(y)
$$

i.e., the sum does not depend on $x$?



Linear functions obviously this property: if $f(x) = ax+b$, then:



$$
f(x) + f(y-x) = ay+2b = g(y).
$$



On the other hand, if we look only at differentiable functions, then only linear functions have this property. By taking the derivative of the first equation as a function of $x$:



$$
f'(x) - f'(y-x) = 0 iff f'(x)=f'(y-x)
$$



Since this is true for every $y$, $f'(cdot)$ must be a constant function, so $f$ must be linear.



Are there non-differentiable functions with this property?










share|cite|improve this question









$endgroup$

















    3












    $begingroup$


    What functions $f$ have the property that, for all $x$ and $y$:
    $$
    f(x) + f(y-x) = g(y)
    $$

    i.e., the sum does not depend on $x$?



    Linear functions obviously this property: if $f(x) = ax+b$, then:



    $$
    f(x) + f(y-x) = ay+2b = g(y).
    $$



    On the other hand, if we look only at differentiable functions, then only linear functions have this property. By taking the derivative of the first equation as a function of $x$:



    $$
    f'(x) - f'(y-x) = 0 iff f'(x)=f'(y-x)
    $$



    Since this is true for every $y$, $f'(cdot)$ must be a constant function, so $f$ must be linear.



    Are there non-differentiable functions with this property?










    share|cite|improve this question









    $endgroup$















      3












      3








      3





      $begingroup$


      What functions $f$ have the property that, for all $x$ and $y$:
      $$
      f(x) + f(y-x) = g(y)
      $$

      i.e., the sum does not depend on $x$?



      Linear functions obviously this property: if $f(x) = ax+b$, then:



      $$
      f(x) + f(y-x) = ay+2b = g(y).
      $$



      On the other hand, if we look only at differentiable functions, then only linear functions have this property. By taking the derivative of the first equation as a function of $x$:



      $$
      f'(x) - f'(y-x) = 0 iff f'(x)=f'(y-x)
      $$



      Since this is true for every $y$, $f'(cdot)$ must be a constant function, so $f$ must be linear.



      Are there non-differentiable functions with this property?










      share|cite|improve this question









      $endgroup$




      What functions $f$ have the property that, for all $x$ and $y$:
      $$
      f(x) + f(y-x) = g(y)
      $$

      i.e., the sum does not depend on $x$?



      Linear functions obviously this property: if $f(x) = ax+b$, then:



      $$
      f(x) + f(y-x) = ay+2b = g(y).
      $$



      On the other hand, if we look only at differentiable functions, then only linear functions have this property. By taking the derivative of the first equation as a function of $x$:



      $$
      f'(x) - f'(y-x) = 0 iff f'(x)=f'(y-x)
      $$



      Since this is true for every $y$, $f'(cdot)$ must be a constant function, so $f$ must be linear.



      Are there non-differentiable functions with this property?







      functions






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Feb 1 at 8:48









      Erel Segal-HaleviErel Segal-Halevi

      4,28712061




      4,28712061






















          1 Answer
          1






          active

          oldest

          votes


















          3












          $begingroup$

          Put $y=x$ to get $f(x)+f(0)=g(x)$. Now verify that $h(x)=f(x)-f(0)$ satisfies $h(x)+h(y-x)=h(y)$. This is same thing as $h(x+y)=h(x)+h(y)$. There are discontinuous functions satisfying this equation. A continuous function $f$ satisfies the given property (that is to say the property stated in the question) iff $f(x)=ax+b$ for some constants $a$ and $b$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            The solution $f(x)=ax+b$ is for the original equation in the question, not for additive functions.
            $endgroup$
            – Kavi Rama Murthy
            Feb 1 at 9:12










          • $begingroup$
            Then say so.
            $endgroup$
            – Did
            Feb 1 at 9:12










          • $begingroup$
            This is what I was missing: en.wikipedia.org/wiki/Cauchy%27s_functional_equation so if $h$ is continuous, then $h(x) = a x$ for some constant $a$, which implies that $f(x) = h(x) + f(0) = a x + b$ for some constants $a,b$.
            $endgroup$
            – Erel Segal-Halevi
            Feb 2 at 20:32














          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',
          autoActivateHeartbeat: false,
          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%2f3095997%2fwhat-functions-satisfy-fxfy-x-gy%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









          3












          $begingroup$

          Put $y=x$ to get $f(x)+f(0)=g(x)$. Now verify that $h(x)=f(x)-f(0)$ satisfies $h(x)+h(y-x)=h(y)$. This is same thing as $h(x+y)=h(x)+h(y)$. There are discontinuous functions satisfying this equation. A continuous function $f$ satisfies the given property (that is to say the property stated in the question) iff $f(x)=ax+b$ for some constants $a$ and $b$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            The solution $f(x)=ax+b$ is for the original equation in the question, not for additive functions.
            $endgroup$
            – Kavi Rama Murthy
            Feb 1 at 9:12










          • $begingroup$
            Then say so.
            $endgroup$
            – Did
            Feb 1 at 9:12










          • $begingroup$
            This is what I was missing: en.wikipedia.org/wiki/Cauchy%27s_functional_equation so if $h$ is continuous, then $h(x) = a x$ for some constant $a$, which implies that $f(x) = h(x) + f(0) = a x + b$ for some constants $a,b$.
            $endgroup$
            – Erel Segal-Halevi
            Feb 2 at 20:32


















          3












          $begingroup$

          Put $y=x$ to get $f(x)+f(0)=g(x)$. Now verify that $h(x)=f(x)-f(0)$ satisfies $h(x)+h(y-x)=h(y)$. This is same thing as $h(x+y)=h(x)+h(y)$. There are discontinuous functions satisfying this equation. A continuous function $f$ satisfies the given property (that is to say the property stated in the question) iff $f(x)=ax+b$ for some constants $a$ and $b$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            The solution $f(x)=ax+b$ is for the original equation in the question, not for additive functions.
            $endgroup$
            – Kavi Rama Murthy
            Feb 1 at 9:12










          • $begingroup$
            Then say so.
            $endgroup$
            – Did
            Feb 1 at 9:12










          • $begingroup$
            This is what I was missing: en.wikipedia.org/wiki/Cauchy%27s_functional_equation so if $h$ is continuous, then $h(x) = a x$ for some constant $a$, which implies that $f(x) = h(x) + f(0) = a x + b$ for some constants $a,b$.
            $endgroup$
            – Erel Segal-Halevi
            Feb 2 at 20:32
















          3












          3








          3





          $begingroup$

          Put $y=x$ to get $f(x)+f(0)=g(x)$. Now verify that $h(x)=f(x)-f(0)$ satisfies $h(x)+h(y-x)=h(y)$. This is same thing as $h(x+y)=h(x)+h(y)$. There are discontinuous functions satisfying this equation. A continuous function $f$ satisfies the given property (that is to say the property stated in the question) iff $f(x)=ax+b$ for some constants $a$ and $b$.






          share|cite|improve this answer











          $endgroup$



          Put $y=x$ to get $f(x)+f(0)=g(x)$. Now verify that $h(x)=f(x)-f(0)$ satisfies $h(x)+h(y-x)=h(y)$. This is same thing as $h(x+y)=h(x)+h(y)$. There are discontinuous functions satisfying this equation. A continuous function $f$ satisfies the given property (that is to say the property stated in the question) iff $f(x)=ax+b$ for some constants $a$ and $b$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Feb 1 at 9:13

























          answered Feb 1 at 8:57









          Kavi Rama MurthyKavi Rama Murthy

          73.8k53170




          73.8k53170












          • $begingroup$
            The solution $f(x)=ax+b$ is for the original equation in the question, not for additive functions.
            $endgroup$
            – Kavi Rama Murthy
            Feb 1 at 9:12










          • $begingroup$
            Then say so.
            $endgroup$
            – Did
            Feb 1 at 9:12










          • $begingroup$
            This is what I was missing: en.wikipedia.org/wiki/Cauchy%27s_functional_equation so if $h$ is continuous, then $h(x) = a x$ for some constant $a$, which implies that $f(x) = h(x) + f(0) = a x + b$ for some constants $a,b$.
            $endgroup$
            – Erel Segal-Halevi
            Feb 2 at 20:32




















          • $begingroup$
            The solution $f(x)=ax+b$ is for the original equation in the question, not for additive functions.
            $endgroup$
            – Kavi Rama Murthy
            Feb 1 at 9:12










          • $begingroup$
            Then say so.
            $endgroup$
            – Did
            Feb 1 at 9:12










          • $begingroup$
            This is what I was missing: en.wikipedia.org/wiki/Cauchy%27s_functional_equation so if $h$ is continuous, then $h(x) = a x$ for some constant $a$, which implies that $f(x) = h(x) + f(0) = a x + b$ for some constants $a,b$.
            $endgroup$
            – Erel Segal-Halevi
            Feb 2 at 20:32


















          $begingroup$
          The solution $f(x)=ax+b$ is for the original equation in the question, not for additive functions.
          $endgroup$
          – Kavi Rama Murthy
          Feb 1 at 9:12




          $begingroup$
          The solution $f(x)=ax+b$ is for the original equation in the question, not for additive functions.
          $endgroup$
          – Kavi Rama Murthy
          Feb 1 at 9:12












          $begingroup$
          Then say so.
          $endgroup$
          – Did
          Feb 1 at 9:12




          $begingroup$
          Then say so.
          $endgroup$
          – Did
          Feb 1 at 9:12












          $begingroup$
          This is what I was missing: en.wikipedia.org/wiki/Cauchy%27s_functional_equation so if $h$ is continuous, then $h(x) = a x$ for some constant $a$, which implies that $f(x) = h(x) + f(0) = a x + b$ for some constants $a,b$.
          $endgroup$
          – Erel Segal-Halevi
          Feb 2 at 20:32






          $begingroup$
          This is what I was missing: en.wikipedia.org/wiki/Cauchy%27s_functional_equation so if $h$ is continuous, then $h(x) = a x$ for some constant $a$, which implies that $f(x) = h(x) + f(0) = a x + b$ for some constants $a,b$.
          $endgroup$
          – Erel Segal-Halevi
          Feb 2 at 20:32




















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3095997%2fwhat-functions-satisfy-fxfy-x-gy%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

          MongoDB - Not Authorized To Execute Command

          How to fix TextFormField cause rebuild widget in Flutter

          in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith