Is it possible to have $f(x)f(y) = g(x)+g(y)$? The Next CEO of Stack OverflowSolution for a functional equationUniqueness of solution of functional equationFunctions minimized at the median of their argumentsFind all $f:mathbb Rtomathbb R$ such that $forall x,yinmathbb R$ the given equality holds: $xf(y)+yf(x)=(x+y)f(x)f(y)$.What can be said about a function with rotational symmetry of order other than 2?discontinuous solutions of functional equationQuestion regarding the Cauchy functional equationSolution of a function equation $f(x) + f(y) = f(x + y + 2f(xy))$Prove linear functions that are not multiplications by a constant are unbounded on every intervalFind all functions $f:mathbbNrightarrowmathbbN$ such that $varphi(f(x+y))=varphi(f(x))+varphi(f(y))quadforall x,yinmathbbN$Which functions satisfy $f^n(x) = f(x)^n$ for some $n ge 2$?

Inappropriate reference requests from Journal reviewers

Does it take more energy to get to Venus or to Mars?

What connection does MS Office have to Netscape Navigator?

How do I go from 300 unfinished/half written blog posts, to published posts?

Elegant way to replace substring in a regex with optional groups in Python?

Written every which way

Would a completely good Muggle be able to use a wand?

Are there any unintended negative consequences to allowing PCs to gain multiple levels at once in a short milestone-XP game?

How do scammers retract money, while you can’t?

sp_blitzCache results Memory grants

What does "Its cash flow is deeply negative" mean?

Which kind of appliances can one connect to electric sockets located in an airplane's toilet?

Complex fractions

Can we say or write : "No, it'sn't"?

MessageLevel in QGIS3

How did the Bene Gesserit know how to make a Kwisatz Haderach?

Why didn't Khan get resurrected in the Genesis Explosion?

What benefits would be gained by using human laborers instead of drones in deep sea mining?

If a black hole is created from light, can this black hole then move at speed of light?

Why has the US not been more assertive in confronting Russia in recent years?

Is micro rebar a better way to reinforce concrete than rebar?

Example of a Mathematician/Physicist whose Other Publications during their PhD eclipsed their PhD Thesis

Help understanding this unsettling image of Titan, Epimetheus, and Saturn's rings?

How to start emacs in "nothing" mode (`fundamental-mode`)



Is it possible to have $f(x)f(y) = g(x)+g(y)$?



The Next CEO of Stack OverflowSolution for a functional equationUniqueness of solution of functional equationFunctions minimized at the median of their argumentsFind all $f:mathbb Rtomathbb R$ such that $forall x,yinmathbb R$ the given equality holds: $xf(y)+yf(x)=(x+y)f(x)f(y)$.What can be said about a function with rotational symmetry of order other than 2?discontinuous solutions of functional equationQuestion regarding the Cauchy functional equationSolution of a function equation $f(x) + f(y) = f(x + y + 2f(xy))$Prove linear functions that are not multiplications by a constant are unbounded on every intervalFind all functions $f:mathbbNrightarrowmathbbN$ such that $varphi(f(x+y))=varphi(f(x))+varphi(f(y))quadforall x,yinmathbbN$Which functions satisfy $f^n(x) = f(x)^n$ for some $n ge 2$?










1












$begingroup$


Inspired by this question I wondered whether there are any "notable" functions $f,g$ on (or on some subset $Omega$ of) $mathbb R$ or $mathbb C$ that satisfy



$$f(x)f(y) = g(x) + g(y) :forall x,y in Omega$$



By "notable" I mean nontrivial solutions (for example $f(x) = c, g(x) = fracc^22$ for some $c$ and all $x$ would be trivial, or also if you chose e.g. a one element domain $|Omega|=1$), that are sufficiently well behaved (e.g. continuous or even differentiable).










share|cite|improve this question









$endgroup$
















    1












    $begingroup$


    Inspired by this question I wondered whether there are any "notable" functions $f,g$ on (or on some subset $Omega$ of) $mathbb R$ or $mathbb C$ that satisfy



    $$f(x)f(y) = g(x) + g(y) :forall x,y in Omega$$



    By "notable" I mean nontrivial solutions (for example $f(x) = c, g(x) = fracc^22$ for some $c$ and all $x$ would be trivial, or also if you chose e.g. a one element domain $|Omega|=1$), that are sufficiently well behaved (e.g. continuous or even differentiable).










    share|cite|improve this question









    $endgroup$














      1












      1








      1


      1



      $begingroup$


      Inspired by this question I wondered whether there are any "notable" functions $f,g$ on (or on some subset $Omega$ of) $mathbb R$ or $mathbb C$ that satisfy



      $$f(x)f(y) = g(x) + g(y) :forall x,y in Omega$$



      By "notable" I mean nontrivial solutions (for example $f(x) = c, g(x) = fracc^22$ for some $c$ and all $x$ would be trivial, or also if you chose e.g. a one element domain $|Omega|=1$), that are sufficiently well behaved (e.g. continuous or even differentiable).










      share|cite|improve this question









      $endgroup$




      Inspired by this question I wondered whether there are any "notable" functions $f,g$ on (or on some subset $Omega$ of) $mathbb R$ or $mathbb C$ that satisfy



      $$f(x)f(y) = g(x) + g(y) :forall x,y in Omega$$



      By "notable" I mean nontrivial solutions (for example $f(x) = c, g(x) = fracc^22$ for some $c$ and all $x$ would be trivial, or also if you chose e.g. a one element domain $|Omega|=1$), that are sufficiently well behaved (e.g. continuous or even differentiable).







      functional-equations






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 2 days ago









      flawrflawr

      11.7k32546




      11.7k32546




















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          Suppose that $0 in Omega$ and that $f(0) = c, g(0) = d$. We then have



          $$cf(x) = g(x) + d$$



          for all $x in Omega$. If $c = 0$, then $g(x)$ is also constant $0$.



          Otherwise, we have $$f(x) = fracg(x) + dc.$$
          Note that $x = 0$ gives us the equation



          $$c = frac2dc implies c^2 = 2d.$$




          Looking at the diagonal case $x = y$, we have



          $$f(x)^2 = 2g(x)$$



          which reduces us to



          $$f(x) = fracfrac 1 2 f(x)^2 + fracf(0)^22f(0) = frac 1 2f(0) (f(x)^2 + f(0)^2).$$



          There aren't so many solutions to this.



          To be even more explicit, we have a quadratic equation



          $$(f(x) - f(0))^2 = f(x)^2 - 2f(0) f(x) + f(0)^2 = 0$$



          which implies that $f$ is constant.






          share|cite|improve this answer











          $endgroup$




















            1












            $begingroup$

            Notice that deriving both side ($dx$):



            $$f'(x)f(y)=g'(x)$$



            And now both sides $dy$:



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



            So $f'(x)=0 Rightarrow f(x)=K $



            And:



            $$K^2=g(x)+g(y)$$



            That has trivially as only solution $g(x)=fracK^22$ . These are the only solution if $f$ and $g$ are both derivable(you asked for "notable function").






            share|cite|improve this answer








            New contributor




            Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
            Check out our Code of Conduct.






            $endgroup$













              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%2f3164724%2fis-it-possible-to-have-fxfy-gxgy%23new-answer', 'question_page');

              );

              Post as a guest















              Required, but never shown

























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              1












              $begingroup$

              Suppose that $0 in Omega$ and that $f(0) = c, g(0) = d$. We then have



              $$cf(x) = g(x) + d$$



              for all $x in Omega$. If $c = 0$, then $g(x)$ is also constant $0$.



              Otherwise, we have $$f(x) = fracg(x) + dc.$$
              Note that $x = 0$ gives us the equation



              $$c = frac2dc implies c^2 = 2d.$$




              Looking at the diagonal case $x = y$, we have



              $$f(x)^2 = 2g(x)$$



              which reduces us to



              $$f(x) = fracfrac 1 2 f(x)^2 + fracf(0)^22f(0) = frac 1 2f(0) (f(x)^2 + f(0)^2).$$



              There aren't so many solutions to this.



              To be even more explicit, we have a quadratic equation



              $$(f(x) - f(0))^2 = f(x)^2 - 2f(0) f(x) + f(0)^2 = 0$$



              which implies that $f$ is constant.






              share|cite|improve this answer











              $endgroup$

















                1












                $begingroup$

                Suppose that $0 in Omega$ and that $f(0) = c, g(0) = d$. We then have



                $$cf(x) = g(x) + d$$



                for all $x in Omega$. If $c = 0$, then $g(x)$ is also constant $0$.



                Otherwise, we have $$f(x) = fracg(x) + dc.$$
                Note that $x = 0$ gives us the equation



                $$c = frac2dc implies c^2 = 2d.$$




                Looking at the diagonal case $x = y$, we have



                $$f(x)^2 = 2g(x)$$



                which reduces us to



                $$f(x) = fracfrac 1 2 f(x)^2 + fracf(0)^22f(0) = frac 1 2f(0) (f(x)^2 + f(0)^2).$$



                There aren't so many solutions to this.



                To be even more explicit, we have a quadratic equation



                $$(f(x) - f(0))^2 = f(x)^2 - 2f(0) f(x) + f(0)^2 = 0$$



                which implies that $f$ is constant.






                share|cite|improve this answer











                $endgroup$















                  1












                  1








                  1





                  $begingroup$

                  Suppose that $0 in Omega$ and that $f(0) = c, g(0) = d$. We then have



                  $$cf(x) = g(x) + d$$



                  for all $x in Omega$. If $c = 0$, then $g(x)$ is also constant $0$.



                  Otherwise, we have $$f(x) = fracg(x) + dc.$$
                  Note that $x = 0$ gives us the equation



                  $$c = frac2dc implies c^2 = 2d.$$




                  Looking at the diagonal case $x = y$, we have



                  $$f(x)^2 = 2g(x)$$



                  which reduces us to



                  $$f(x) = fracfrac 1 2 f(x)^2 + fracf(0)^22f(0) = frac 1 2f(0) (f(x)^2 + f(0)^2).$$



                  There aren't so many solutions to this.



                  To be even more explicit, we have a quadratic equation



                  $$(f(x) - f(0))^2 = f(x)^2 - 2f(0) f(x) + f(0)^2 = 0$$



                  which implies that $f$ is constant.






                  share|cite|improve this answer











                  $endgroup$



                  Suppose that $0 in Omega$ and that $f(0) = c, g(0) = d$. We then have



                  $$cf(x) = g(x) + d$$



                  for all $x in Omega$. If $c = 0$, then $g(x)$ is also constant $0$.



                  Otherwise, we have $$f(x) = fracg(x) + dc.$$
                  Note that $x = 0$ gives us the equation



                  $$c = frac2dc implies c^2 = 2d.$$




                  Looking at the diagonal case $x = y$, we have



                  $$f(x)^2 = 2g(x)$$



                  which reduces us to



                  $$f(x) = fracfrac 1 2 f(x)^2 + fracf(0)^22f(0) = frac 1 2f(0) (f(x)^2 + f(0)^2).$$



                  There aren't so many solutions to this.



                  To be even more explicit, we have a quadratic equation



                  $$(f(x) - f(0))^2 = f(x)^2 - 2f(0) f(x) + f(0)^2 = 0$$



                  which implies that $f$ is constant.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited 2 days ago

























                  answered 2 days ago









                  T. BongersT. Bongers

                  23.5k54762




                  23.5k54762





















                      1












                      $begingroup$

                      Notice that deriving both side ($dx$):



                      $$f'(x)f(y)=g'(x)$$



                      And now both sides $dy$:



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



                      So $f'(x)=0 Rightarrow f(x)=K $



                      And:



                      $$K^2=g(x)+g(y)$$



                      That has trivially as only solution $g(x)=fracK^22$ . These are the only solution if $f$ and $g$ are both derivable(you asked for "notable function").






                      share|cite|improve this answer








                      New contributor




                      Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                      Check out our Code of Conduct.






                      $endgroup$

















                        1












                        $begingroup$

                        Notice that deriving both side ($dx$):



                        $$f'(x)f(y)=g'(x)$$



                        And now both sides $dy$:



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



                        So $f'(x)=0 Rightarrow f(x)=K $



                        And:



                        $$K^2=g(x)+g(y)$$



                        That has trivially as only solution $g(x)=fracK^22$ . These are the only solution if $f$ and $g$ are both derivable(you asked for "notable function").






                        share|cite|improve this answer








                        New contributor




                        Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                        Check out our Code of Conduct.






                        $endgroup$















                          1












                          1








                          1





                          $begingroup$

                          Notice that deriving both side ($dx$):



                          $$f'(x)f(y)=g'(x)$$



                          And now both sides $dy$:



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



                          So $f'(x)=0 Rightarrow f(x)=K $



                          And:



                          $$K^2=g(x)+g(y)$$



                          That has trivially as only solution $g(x)=fracK^22$ . These are the only solution if $f$ and $g$ are both derivable(you asked for "notable function").






                          share|cite|improve this answer








                          New contributor




                          Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                          Check out our Code of Conduct.






                          $endgroup$



                          Notice that deriving both side ($dx$):



                          $$f'(x)f(y)=g'(x)$$



                          And now both sides $dy$:



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



                          So $f'(x)=0 Rightarrow f(x)=K $



                          And:



                          $$K^2=g(x)+g(y)$$



                          That has trivially as only solution $g(x)=fracK^22$ . These are the only solution if $f$ and $g$ are both derivable(you asked for "notable function").







                          share|cite|improve this answer








                          New contributor




                          Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                          Check out our Code of Conduct.









                          share|cite|improve this answer



                          share|cite|improve this answer






                          New contributor




                          Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                          Check out our Code of Conduct.









                          answered 2 days ago









                          EurekaEureka

                          423112




                          423112




                          New contributor




                          Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                          Check out our Code of Conduct.





                          New contributor





                          Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                          Check out our Code of Conduct.






                          Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                          Check out our Code of Conduct.



























                              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%2f3164724%2fis-it-possible-to-have-fxfy-gxgy%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

                              Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

                              Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

                              Boston (Lincolnshire) Stedsbyld | Berne yn Boston | NavigaasjemenuBoston Borough CouncilBoston, Lincolnshire