Solution for a functional equation The Next CEO of Stack OverflowIs it possible to have $f(x)f(y) = g(x)+g(y)$?Uniqueness of solution of functional equationUniqueness of solution for a functional equationWhat's the solution of the functional equation?What's the solution of the functional equationSolution of functional equationFunctional equation extended solutionUnderstanding of solution for a functional equation.Solution of particular functional equationExistence of solution for a functional equationfunctional equation in renormalization group theory

What connection does MS Office have to Netscape Navigator?

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

What is the result of assigning to std::vector<T>::begin()?

Can you replace a racial trait cantrip when leveling up?

Is it my responsibility to learn a new technology in my own time my employer wants to implement?

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

What can we do to stop prior company from asking us questions?

How do we know the LHC results are robust?

Written every which way

What was the first Unix version to run on a microcomputer?

Won the lottery - how do I keep the money?

What happened in Rome, when the western empire "fell"?

Is there a difference between "Fahrstuhl" and "Aufzug"

Why does standard notation not preserve intervals (visually)

To not tell, not take, and not want

What does convergence in distribution "in the Gromov–Hausdorff" sense mean?

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

How powerful is the invisibility granted by the Gloom Stalker ranger's Umbral Sight feature?

Anatomically Correct Strange Women In Ponds Distributing Swords

Received an invoice from my ex-employer billing me for training; how to handle?

Is there a way to save my career from absolute disaster?

Why does the UK parliament need a vote on the political declaration?

Novel about a guy who is possessed by the divine essence and the world ends?

How to count occurrences of text in a file?



Solution for a functional equation



The Next CEO of Stack OverflowIs it possible to have $f(x)f(y) = g(x)+g(y)$?Uniqueness of solution of functional equationUniqueness of solution for a functional equationWhat's the solution of the functional equation?What's the solution of the functional equationSolution of functional equationFunctional equation extended solutionUnderstanding of solution for a functional equation.Solution of particular functional equationExistence of solution for a functional equationfunctional equation in renormalization group theory










1












$begingroup$


I'm searching for a solution to the following functional equation:



$$f(u)f(u+lambda)=prod_i=1^Lrho(u-u_i)rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i)rho(u_i-u-lambda)$$



where $f$ is the unknown function, $rho(u)=sin(u-lambda)/sin(lambda)$, $lambda=pi/4$ and there are $L$ arbitrary real parameters $u_i_i=1^L$ where $L$ is an even number.



This equation comes from a $TQ$-equation for a solvable lattice model. If necessary, I can give more information but the equation itself is independent from its physical origin. I hope someone can help.










share|cite|improve this question









$endgroup$
















    1












    $begingroup$


    I'm searching for a solution to the following functional equation:



    $$f(u)f(u+lambda)=prod_i=1^Lrho(u-u_i)rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i)rho(u_i-u-lambda)$$



    where $f$ is the unknown function, $rho(u)=sin(u-lambda)/sin(lambda)$, $lambda=pi/4$ and there are $L$ arbitrary real parameters $u_i_i=1^L$ where $L$ is an even number.



    This equation comes from a $TQ$-equation for a solvable lattice model. If necessary, I can give more information but the equation itself is independent from its physical origin. I hope someone can help.










    share|cite|improve this question









    $endgroup$














      1












      1








      1





      $begingroup$


      I'm searching for a solution to the following functional equation:



      $$f(u)f(u+lambda)=prod_i=1^Lrho(u-u_i)rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i)rho(u_i-u-lambda)$$



      where $f$ is the unknown function, $rho(u)=sin(u-lambda)/sin(lambda)$, $lambda=pi/4$ and there are $L$ arbitrary real parameters $u_i_i=1^L$ where $L$ is an even number.



      This equation comes from a $TQ$-equation for a solvable lattice model. If necessary, I can give more information but the equation itself is independent from its physical origin. I hope someone can help.










      share|cite|improve this question









      $endgroup$




      I'm searching for a solution to the following functional equation:



      $$f(u)f(u+lambda)=prod_i=1^Lrho(u-u_i)rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i)rho(u_i-u-lambda)$$



      where $f$ is the unknown function, $rho(u)=sin(u-lambda)/sin(lambda)$, $lambda=pi/4$ and there are $L$ arbitrary real parameters $u_i_i=1^L$ where $L$ is an even number.



      This equation comes from a $TQ$-equation for a solvable lattice model. If necessary, I can give more information but the equation itself is independent from its physical origin. I hope someone can help.







      analysis 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









      TheoPhysicaeTheoPhysicae

      355




      355




















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          This is not a complete solution, but just presenting a few ideas.



          Let's work on $rho$ first:
          beginalign*
          rho(u)&=fracsin(u-lambda)sin(lambda)\
          &=fracsin(u)cos(lambda)-cos(u)sin(lambda)sin(lambda)\
          &=sin(u)-cos(u),
          endalign*

          since $lambda=pi/4$ and $sin(pi/4)=cos(pi/4).$



          Next, we look at what happens when we have $rho(u)cdotrho(-u).$ We have
          beginalign*
          rho(u)cdotrho(-u)&=[sin(u)-cos(u)][-sin(u)-cos(u)] \
          &=-sin^2(u)-sin(u)cos(u)+sin(u)cos(u)+cos^2(u)\
          &=cos^2(u)-sin^2(u)\
          &=cos(2u).
          endalign*



          From this, we gather that
          beginalign*f(u),f(u+lambda)&=prod_i=1^Lrho(u-u_i),rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i),rho(u_i-u-lambda)\
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u-lambda)) \
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u)-pi/2),;textor \
          f(u),f(u+pi/4)&=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u)).
          endalign*

          From this, we can at least see that if $u=u_i$ for any $1le ile L,$ then the second product drops out and you get
          $$f(u_i),f(u_i+pi/4)=prod_beginarraycj=1\ jnot=iendarray^Lcos(2(u_j-u)).$$
          Conversely, if $u_i-u=(2k+1)pi/4$ for some $kinmathbbZ,$ then the first product series drops out and you only get the second one.



          Finally, it's always worthwhile plugging in $u=0$ to arrive at
          $$f(0),f(pi/4)=prod_i=1^Lcos(2u_i)+prod_i=1^Lsin(2u_i).$$



          The RHS of
          $$f(u),f(u+pi/4)=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u))$$
          is $pi$ periodic, and hence the LHS is as well.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Thank you for your answer. Maybe I should have added some more information. I know in addition, that $f(u)$ is a Laurant-Polynomial of degree $L$ in $z=e^i u$. This can be used to get quadratic equations for the coefficients by evaluation the equation at $u_i$ as you mentioned. This is however not efficient when $L$ becomes large and I was hoping to find something like a closed form, non-linear integral equation or anything else which is fast also for large $L$.
            $endgroup$
            – TheoPhysicae
            yesterday










          • $begingroup$
            Hmm. Well, the RHS of my general simplification there is $pi$ periodic, and therefore the LHS must be $pi$ periodic, so $z=e^iu$ would make sense. I'm not sure I know how to proceed further, though. If you differentiated both sides w.r.t. $u,$ the RHS would be the negative of what you started out as. That might allow you to continue. I'll try to add that to my solution.
            $endgroup$
            – Adrian Keister
            yesterday










          • $begingroup$
            Actually, differentiating the RHS is more complicated than I made out, so that's not going to give you a nice DE.
            $endgroup$
            – Adrian Keister
            yesterday











          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%2f3164706%2fsolution-for-a-functional-equation%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









          1












          $begingroup$

          This is not a complete solution, but just presenting a few ideas.



          Let's work on $rho$ first:
          beginalign*
          rho(u)&=fracsin(u-lambda)sin(lambda)\
          &=fracsin(u)cos(lambda)-cos(u)sin(lambda)sin(lambda)\
          &=sin(u)-cos(u),
          endalign*

          since $lambda=pi/4$ and $sin(pi/4)=cos(pi/4).$



          Next, we look at what happens when we have $rho(u)cdotrho(-u).$ We have
          beginalign*
          rho(u)cdotrho(-u)&=[sin(u)-cos(u)][-sin(u)-cos(u)] \
          &=-sin^2(u)-sin(u)cos(u)+sin(u)cos(u)+cos^2(u)\
          &=cos^2(u)-sin^2(u)\
          &=cos(2u).
          endalign*



          From this, we gather that
          beginalign*f(u),f(u+lambda)&=prod_i=1^Lrho(u-u_i),rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i),rho(u_i-u-lambda)\
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u-lambda)) \
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u)-pi/2),;textor \
          f(u),f(u+pi/4)&=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u)).
          endalign*

          From this, we can at least see that if $u=u_i$ for any $1le ile L,$ then the second product drops out and you get
          $$f(u_i),f(u_i+pi/4)=prod_beginarraycj=1\ jnot=iendarray^Lcos(2(u_j-u)).$$
          Conversely, if $u_i-u=(2k+1)pi/4$ for some $kinmathbbZ,$ then the first product series drops out and you only get the second one.



          Finally, it's always worthwhile plugging in $u=0$ to arrive at
          $$f(0),f(pi/4)=prod_i=1^Lcos(2u_i)+prod_i=1^Lsin(2u_i).$$



          The RHS of
          $$f(u),f(u+pi/4)=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u))$$
          is $pi$ periodic, and hence the LHS is as well.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Thank you for your answer. Maybe I should have added some more information. I know in addition, that $f(u)$ is a Laurant-Polynomial of degree $L$ in $z=e^i u$. This can be used to get quadratic equations for the coefficients by evaluation the equation at $u_i$ as you mentioned. This is however not efficient when $L$ becomes large and I was hoping to find something like a closed form, non-linear integral equation or anything else which is fast also for large $L$.
            $endgroup$
            – TheoPhysicae
            yesterday










          • $begingroup$
            Hmm. Well, the RHS of my general simplification there is $pi$ periodic, and therefore the LHS must be $pi$ periodic, so $z=e^iu$ would make sense. I'm not sure I know how to proceed further, though. If you differentiated both sides w.r.t. $u,$ the RHS would be the negative of what you started out as. That might allow you to continue. I'll try to add that to my solution.
            $endgroup$
            – Adrian Keister
            yesterday










          • $begingroup$
            Actually, differentiating the RHS is more complicated than I made out, so that's not going to give you a nice DE.
            $endgroup$
            – Adrian Keister
            yesterday















          1












          $begingroup$

          This is not a complete solution, but just presenting a few ideas.



          Let's work on $rho$ first:
          beginalign*
          rho(u)&=fracsin(u-lambda)sin(lambda)\
          &=fracsin(u)cos(lambda)-cos(u)sin(lambda)sin(lambda)\
          &=sin(u)-cos(u),
          endalign*

          since $lambda=pi/4$ and $sin(pi/4)=cos(pi/4).$



          Next, we look at what happens when we have $rho(u)cdotrho(-u).$ We have
          beginalign*
          rho(u)cdotrho(-u)&=[sin(u)-cos(u)][-sin(u)-cos(u)] \
          &=-sin^2(u)-sin(u)cos(u)+sin(u)cos(u)+cos^2(u)\
          &=cos^2(u)-sin^2(u)\
          &=cos(2u).
          endalign*



          From this, we gather that
          beginalign*f(u),f(u+lambda)&=prod_i=1^Lrho(u-u_i),rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i),rho(u_i-u-lambda)\
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u-lambda)) \
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u)-pi/2),;textor \
          f(u),f(u+pi/4)&=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u)).
          endalign*

          From this, we can at least see that if $u=u_i$ for any $1le ile L,$ then the second product drops out and you get
          $$f(u_i),f(u_i+pi/4)=prod_beginarraycj=1\ jnot=iendarray^Lcos(2(u_j-u)).$$
          Conversely, if $u_i-u=(2k+1)pi/4$ for some $kinmathbbZ,$ then the first product series drops out and you only get the second one.



          Finally, it's always worthwhile plugging in $u=0$ to arrive at
          $$f(0),f(pi/4)=prod_i=1^Lcos(2u_i)+prod_i=1^Lsin(2u_i).$$



          The RHS of
          $$f(u),f(u+pi/4)=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u))$$
          is $pi$ periodic, and hence the LHS is as well.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Thank you for your answer. Maybe I should have added some more information. I know in addition, that $f(u)$ is a Laurant-Polynomial of degree $L$ in $z=e^i u$. This can be used to get quadratic equations for the coefficients by evaluation the equation at $u_i$ as you mentioned. This is however not efficient when $L$ becomes large and I was hoping to find something like a closed form, non-linear integral equation or anything else which is fast also for large $L$.
            $endgroup$
            – TheoPhysicae
            yesterday










          • $begingroup$
            Hmm. Well, the RHS of my general simplification there is $pi$ periodic, and therefore the LHS must be $pi$ periodic, so $z=e^iu$ would make sense. I'm not sure I know how to proceed further, though. If you differentiated both sides w.r.t. $u,$ the RHS would be the negative of what you started out as. That might allow you to continue. I'll try to add that to my solution.
            $endgroup$
            – Adrian Keister
            yesterday










          • $begingroup$
            Actually, differentiating the RHS is more complicated than I made out, so that's not going to give you a nice DE.
            $endgroup$
            – Adrian Keister
            yesterday













          1












          1








          1





          $begingroup$

          This is not a complete solution, but just presenting a few ideas.



          Let's work on $rho$ first:
          beginalign*
          rho(u)&=fracsin(u-lambda)sin(lambda)\
          &=fracsin(u)cos(lambda)-cos(u)sin(lambda)sin(lambda)\
          &=sin(u)-cos(u),
          endalign*

          since $lambda=pi/4$ and $sin(pi/4)=cos(pi/4).$



          Next, we look at what happens when we have $rho(u)cdotrho(-u).$ We have
          beginalign*
          rho(u)cdotrho(-u)&=[sin(u)-cos(u)][-sin(u)-cos(u)] \
          &=-sin^2(u)-sin(u)cos(u)+sin(u)cos(u)+cos^2(u)\
          &=cos^2(u)-sin^2(u)\
          &=cos(2u).
          endalign*



          From this, we gather that
          beginalign*f(u),f(u+lambda)&=prod_i=1^Lrho(u-u_i),rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i),rho(u_i-u-lambda)\
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u-lambda)) \
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u)-pi/2),;textor \
          f(u),f(u+pi/4)&=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u)).
          endalign*

          From this, we can at least see that if $u=u_i$ for any $1le ile L,$ then the second product drops out and you get
          $$f(u_i),f(u_i+pi/4)=prod_beginarraycj=1\ jnot=iendarray^Lcos(2(u_j-u)).$$
          Conversely, if $u_i-u=(2k+1)pi/4$ for some $kinmathbbZ,$ then the first product series drops out and you only get the second one.



          Finally, it's always worthwhile plugging in $u=0$ to arrive at
          $$f(0),f(pi/4)=prod_i=1^Lcos(2u_i)+prod_i=1^Lsin(2u_i).$$



          The RHS of
          $$f(u),f(u+pi/4)=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u))$$
          is $pi$ periodic, and hence the LHS is as well.






          share|cite|improve this answer











          $endgroup$



          This is not a complete solution, but just presenting a few ideas.



          Let's work on $rho$ first:
          beginalign*
          rho(u)&=fracsin(u-lambda)sin(lambda)\
          &=fracsin(u)cos(lambda)-cos(u)sin(lambda)sin(lambda)\
          &=sin(u)-cos(u),
          endalign*

          since $lambda=pi/4$ and $sin(pi/4)=cos(pi/4).$



          Next, we look at what happens when we have $rho(u)cdotrho(-u).$ We have
          beginalign*
          rho(u)cdotrho(-u)&=[sin(u)-cos(u)][-sin(u)-cos(u)] \
          &=-sin^2(u)-sin(u)cos(u)+sin(u)cos(u)+cos^2(u)\
          &=cos^2(u)-sin^2(u)\
          &=cos(2u).
          endalign*



          From this, we gather that
          beginalign*f(u),f(u+lambda)&=prod_i=1^Lrho(u-u_i),rho(u_i-u)+prod_i=1^Lrho(u+lambda-u_i),rho(u_i-u-lambda)\
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u-lambda)) \
          &=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lcos(2(u_i-u)-pi/2),;textor \
          f(u),f(u+pi/4)&=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u)).
          endalign*

          From this, we can at least see that if $u=u_i$ for any $1le ile L,$ then the second product drops out and you get
          $$f(u_i),f(u_i+pi/4)=prod_beginarraycj=1\ jnot=iendarray^Lcos(2(u_j-u)).$$
          Conversely, if $u_i-u=(2k+1)pi/4$ for some $kinmathbbZ,$ then the first product series drops out and you only get the second one.



          Finally, it's always worthwhile plugging in $u=0$ to arrive at
          $$f(0),f(pi/4)=prod_i=1^Lcos(2u_i)+prod_i=1^Lsin(2u_i).$$



          The RHS of
          $$f(u),f(u+pi/4)=prod_i=1^Lcos(2(u_i-u))+prod_i=1^Lsin(2(u_i-u))$$
          is $pi$ periodic, and hence the LHS is as well.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited yesterday

























          answered 2 days ago









          Adrian KeisterAdrian Keister

          5,28171933




          5,28171933











          • $begingroup$
            Thank you for your answer. Maybe I should have added some more information. I know in addition, that $f(u)$ is a Laurant-Polynomial of degree $L$ in $z=e^i u$. This can be used to get quadratic equations for the coefficients by evaluation the equation at $u_i$ as you mentioned. This is however not efficient when $L$ becomes large and I was hoping to find something like a closed form, non-linear integral equation or anything else which is fast also for large $L$.
            $endgroup$
            – TheoPhysicae
            yesterday










          • $begingroup$
            Hmm. Well, the RHS of my general simplification there is $pi$ periodic, and therefore the LHS must be $pi$ periodic, so $z=e^iu$ would make sense. I'm not sure I know how to proceed further, though. If you differentiated both sides w.r.t. $u,$ the RHS would be the negative of what you started out as. That might allow you to continue. I'll try to add that to my solution.
            $endgroup$
            – Adrian Keister
            yesterday










          • $begingroup$
            Actually, differentiating the RHS is more complicated than I made out, so that's not going to give you a nice DE.
            $endgroup$
            – Adrian Keister
            yesterday
















          • $begingroup$
            Thank you for your answer. Maybe I should have added some more information. I know in addition, that $f(u)$ is a Laurant-Polynomial of degree $L$ in $z=e^i u$. This can be used to get quadratic equations for the coefficients by evaluation the equation at $u_i$ as you mentioned. This is however not efficient when $L$ becomes large and I was hoping to find something like a closed form, non-linear integral equation or anything else which is fast also for large $L$.
            $endgroup$
            – TheoPhysicae
            yesterday










          • $begingroup$
            Hmm. Well, the RHS of my general simplification there is $pi$ periodic, and therefore the LHS must be $pi$ periodic, so $z=e^iu$ would make sense. I'm not sure I know how to proceed further, though. If you differentiated both sides w.r.t. $u,$ the RHS would be the negative of what you started out as. That might allow you to continue. I'll try to add that to my solution.
            $endgroup$
            – Adrian Keister
            yesterday










          • $begingroup$
            Actually, differentiating the RHS is more complicated than I made out, so that's not going to give you a nice DE.
            $endgroup$
            – Adrian Keister
            yesterday















          $begingroup$
          Thank you for your answer. Maybe I should have added some more information. I know in addition, that $f(u)$ is a Laurant-Polynomial of degree $L$ in $z=e^i u$. This can be used to get quadratic equations for the coefficients by evaluation the equation at $u_i$ as you mentioned. This is however not efficient when $L$ becomes large and I was hoping to find something like a closed form, non-linear integral equation or anything else which is fast also for large $L$.
          $endgroup$
          – TheoPhysicae
          yesterday




          $begingroup$
          Thank you for your answer. Maybe I should have added some more information. I know in addition, that $f(u)$ is a Laurant-Polynomial of degree $L$ in $z=e^i u$. This can be used to get quadratic equations for the coefficients by evaluation the equation at $u_i$ as you mentioned. This is however not efficient when $L$ becomes large and I was hoping to find something like a closed form, non-linear integral equation or anything else which is fast also for large $L$.
          $endgroup$
          – TheoPhysicae
          yesterday












          $begingroup$
          Hmm. Well, the RHS of my general simplification there is $pi$ periodic, and therefore the LHS must be $pi$ periodic, so $z=e^iu$ would make sense. I'm not sure I know how to proceed further, though. If you differentiated both sides w.r.t. $u,$ the RHS would be the negative of what you started out as. That might allow you to continue. I'll try to add that to my solution.
          $endgroup$
          – Adrian Keister
          yesterday




          $begingroup$
          Hmm. Well, the RHS of my general simplification there is $pi$ periodic, and therefore the LHS must be $pi$ periodic, so $z=e^iu$ would make sense. I'm not sure I know how to proceed further, though. If you differentiated both sides w.r.t. $u,$ the RHS would be the negative of what you started out as. That might allow you to continue. I'll try to add that to my solution.
          $endgroup$
          – Adrian Keister
          yesterday












          $begingroup$
          Actually, differentiating the RHS is more complicated than I made out, so that's not going to give you a nice DE.
          $endgroup$
          – Adrian Keister
          yesterday




          $begingroup$
          Actually, differentiating the RHS is more complicated than I made out, so that's not going to give you a nice DE.
          $endgroup$
          – Adrian Keister
          yesterday

















          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%2f3164706%2fsolution-for-a-functional-equation%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