Recurrence Relations Defined In Terms of Each Other to Closed Form

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite
1












I am doing some research into the movement of robots executing a given algorithm, and have come up with the following recursive equations that describe the movement of the robots at each iteration:



beginequation
theta_i = frac34theta_i-1
endequation



beginequation
L_i=frac12sqrtL_i-1^2+A_i-1^2
endequation



beginequation
A_i=L_itantheta_i
endequation




Where the initial conditions are $theta_1=45^circ$, $;L_1=frac12d$, and $frac12d$.




It is clear that the first recurrence relation can simply be replaced with the following closed-form solution:



beginequation
theta_i = big(frac34big)^i-1;theta_1
endequation



But my problem is trying to obtain closed-form solutions to the other two equations that are defined in terms of each other. Is there a way to do this?







share|cite|improve this question



















  • $L_i=frac12sqrtL_i-1^2+A_i-1^2=frac12 L_i-1sqrt1+tantheta_i-1$, ...
    – Jens Schwaiger
    Jul 15 at 3:09











  • You can eliminate $,A_i,$ and get $displaystyle L_i^2 = fracL_i-1^24 cos^2 theta_i-1$ which telescopes, but you still need to evaluate the trigonometric product that ensues in the denominator to get a truly closed form.
    – dxiv
    Jul 15 at 3:13















up vote
0
down vote

favorite
1












I am doing some research into the movement of robots executing a given algorithm, and have come up with the following recursive equations that describe the movement of the robots at each iteration:



beginequation
theta_i = frac34theta_i-1
endequation



beginequation
L_i=frac12sqrtL_i-1^2+A_i-1^2
endequation



beginequation
A_i=L_itantheta_i
endequation




Where the initial conditions are $theta_1=45^circ$, $;L_1=frac12d$, and $frac12d$.




It is clear that the first recurrence relation can simply be replaced with the following closed-form solution:



beginequation
theta_i = big(frac34big)^i-1;theta_1
endequation



But my problem is trying to obtain closed-form solutions to the other two equations that are defined in terms of each other. Is there a way to do this?







share|cite|improve this question



















  • $L_i=frac12sqrtL_i-1^2+A_i-1^2=frac12 L_i-1sqrt1+tantheta_i-1$, ...
    – Jens Schwaiger
    Jul 15 at 3:09











  • You can eliminate $,A_i,$ and get $displaystyle L_i^2 = fracL_i-1^24 cos^2 theta_i-1$ which telescopes, but you still need to evaluate the trigonometric product that ensues in the denominator to get a truly closed form.
    – dxiv
    Jul 15 at 3:13













up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





I am doing some research into the movement of robots executing a given algorithm, and have come up with the following recursive equations that describe the movement of the robots at each iteration:



beginequation
theta_i = frac34theta_i-1
endequation



beginequation
L_i=frac12sqrtL_i-1^2+A_i-1^2
endequation



beginequation
A_i=L_itantheta_i
endequation




Where the initial conditions are $theta_1=45^circ$, $;L_1=frac12d$, and $frac12d$.




It is clear that the first recurrence relation can simply be replaced with the following closed-form solution:



beginequation
theta_i = big(frac34big)^i-1;theta_1
endequation



But my problem is trying to obtain closed-form solutions to the other two equations that are defined in terms of each other. Is there a way to do this?







share|cite|improve this question











I am doing some research into the movement of robots executing a given algorithm, and have come up with the following recursive equations that describe the movement of the robots at each iteration:



beginequation
theta_i = frac34theta_i-1
endequation



beginequation
L_i=frac12sqrtL_i-1^2+A_i-1^2
endequation



beginequation
A_i=L_itantheta_i
endequation




Where the initial conditions are $theta_1=45^circ$, $;L_1=frac12d$, and $frac12d$.




It is clear that the first recurrence relation can simply be replaced with the following closed-form solution:



beginequation
theta_i = big(frac34big)^i-1;theta_1
endequation



But my problem is trying to obtain closed-form solutions to the other two equations that are defined in terms of each other. Is there a way to do this?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 15 at 2:57









RoryHector

9012




9012











  • $L_i=frac12sqrtL_i-1^2+A_i-1^2=frac12 L_i-1sqrt1+tantheta_i-1$, ...
    – Jens Schwaiger
    Jul 15 at 3:09











  • You can eliminate $,A_i,$ and get $displaystyle L_i^2 = fracL_i-1^24 cos^2 theta_i-1$ which telescopes, but you still need to evaluate the trigonometric product that ensues in the denominator to get a truly closed form.
    – dxiv
    Jul 15 at 3:13

















  • $L_i=frac12sqrtL_i-1^2+A_i-1^2=frac12 L_i-1sqrt1+tantheta_i-1$, ...
    – Jens Schwaiger
    Jul 15 at 3:09











  • You can eliminate $,A_i,$ and get $displaystyle L_i^2 = fracL_i-1^24 cos^2 theta_i-1$ which telescopes, but you still need to evaluate the trigonometric product that ensues in the denominator to get a truly closed form.
    – dxiv
    Jul 15 at 3:13
















$L_i=frac12sqrtL_i-1^2+A_i-1^2=frac12 L_i-1sqrt1+tantheta_i-1$, ...
– Jens Schwaiger
Jul 15 at 3:09





$L_i=frac12sqrtL_i-1^2+A_i-1^2=frac12 L_i-1sqrt1+tantheta_i-1$, ...
– Jens Schwaiger
Jul 15 at 3:09













You can eliminate $,A_i,$ and get $displaystyle L_i^2 = fracL_i-1^24 cos^2 theta_i-1$ which telescopes, but you still need to evaluate the trigonometric product that ensues in the denominator to get a truly closed form.
– dxiv
Jul 15 at 3:13





You can eliminate $,A_i,$ and get $displaystyle L_i^2 = fracL_i-1^24 cos^2 theta_i-1$ which telescopes, but you still need to evaluate the trigonometric product that ensues in the denominator to get a truly closed form.
– dxiv
Jul 15 at 3:13











1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










I believe if you replace the $A_i-1$ with your formula for $A_i$ you should come to the conclusion that $$L_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1$$ and that consequently,
$$A_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1tan(θ_i)$$
where you have already given a closed form formula for $θ_i$.






share|cite|improve this answer





















    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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2852147%2frecurrence-relations-defined-in-terms-of-each-other-to-closed-form%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote



    accepted










    I believe if you replace the $A_i-1$ with your formula for $A_i$ you should come to the conclusion that $$L_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1$$ and that consequently,
    $$A_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1tan(θ_i)$$
    where you have already given a closed form formula for $θ_i$.






    share|cite|improve this answer

























      up vote
      1
      down vote



      accepted










      I believe if you replace the $A_i-1$ with your formula for $A_i$ you should come to the conclusion that $$L_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1$$ and that consequently,
      $$A_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1tan(θ_i)$$
      where you have already given a closed form formula for $θ_i$.






      share|cite|improve this answer























        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        I believe if you replace the $A_i-1$ with your formula for $A_i$ you should come to the conclusion that $$L_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1$$ and that consequently,
        $$A_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1tan(θ_i)$$
        where you have already given a closed form formula for $θ_i$.






        share|cite|improve this answer













        I believe if you replace the $A_i-1$ with your formula for $A_i$ you should come to the conclusion that $$L_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1$$ and that consequently,
        $$A_i = (frac12)^i-1prod_k=1^i-1sec(θ_k)L_1tan(θ_i)$$
        where you have already given a closed form formula for $θ_i$.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 15 at 3:14









        BelowAverageIntelligence

        339212




        339212






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2852147%2frecurrence-relations-defined-in-terms-of-each-other-to-closed-form%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?

            What is the equation of a 3D cone with generalised tilt?