What's the generalisation of the quotient rule for higher derivatives?Is there a rule of integration that...

How do I prevent inappropriate ads from appearing in my game?

Why do Radio Buttons not fill the entire outer circle?

Not hide and seek

"Marked down as someone wanting to sell shares." What does that mean?

Derivative of an interpolated function

Turning a hard to access nut?

Center page as a whole without centering each element individually

When is the exact date for EOL of Ubuntu 14.04 LTS?

Should a narrator ever describe things based on a character's view instead of facts?

C++ lambda syntax

Non-Borel set in arbitrary metric space

Do people actually use the word "kaputt" in conversation?

Does capillary rise violate hydrostatic paradox?

Highest stage count that are used one right after the other?

Has the laser at Magurele, Romania reached a tenth of the Sun's power?

Why would five hundred and five same as one?

Why does the frost depth increase when the surface temperature warms up?

Unfrosted light bulb

Should I warn a new PhD Student?

How can a new country break out from a developed country without war?

A seasonal riddle

How would a solely written language work mechanically

New Order #2: Turn My Way

How to test the sharpness of a knife?



What's the generalisation of the quotient rule for higher derivatives?


Is there a rule of integration that corresponds to the quotient rule?How is Leibniz's rule for the derivative of a product related to the binomial formula?Product and Quotient rule for Fréchet derivativesproving the quotient rule for derivativesConvention verses memory: The quotient rule v product rule for derivativesFlawed proof of the quotient rule for differentiationDerivation for quotient rule helpHigher order derivatives of the conjugate of a functionWhy not learn the multi-variate chain rule in Calculus I?Quotient rule/Quotient rule













8












$begingroup$


I know that the product rule is generalised by Leibniz's general rule and the chain rule by Faà di Bruno's formula, but what about the quotient rule? Is there a generalisation for it analogous to these? Wikipedia mentions both Leibniz's general rule and Faà di Bruno's formula for the product and the chain rule, but rather nothing for the quotient rule.










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    that's because you can apply Faa di Bruno's formula to g(x)^{-1} and then the product rule to f(x) and g(x)^{-1}.
    $endgroup$
    – Qiaochu Yuan
    Sep 24 '10 at 5:00


















8












$begingroup$


I know that the product rule is generalised by Leibniz's general rule and the chain rule by Faà di Bruno's formula, but what about the quotient rule? Is there a generalisation for it analogous to these? Wikipedia mentions both Leibniz's general rule and Faà di Bruno's formula for the product and the chain rule, but rather nothing for the quotient rule.










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    that's because you can apply Faa di Bruno's formula to g(x)^{-1} and then the product rule to f(x) and g(x)^{-1}.
    $endgroup$
    – Qiaochu Yuan
    Sep 24 '10 at 5:00
















8












8








8


2



$begingroup$


I know that the product rule is generalised by Leibniz's general rule and the chain rule by Faà di Bruno's formula, but what about the quotient rule? Is there a generalisation for it analogous to these? Wikipedia mentions both Leibniz's general rule and Faà di Bruno's formula for the product and the chain rule, but rather nothing for the quotient rule.










share|cite|improve this question











$endgroup$




I know that the product rule is generalised by Leibniz's general rule and the chain rule by Faà di Bruno's formula, but what about the quotient rule? Is there a generalisation for it analogous to these? Wikipedia mentions both Leibniz's general rule and Faà di Bruno's formula for the product and the chain rule, but rather nothing for the quotient rule.







calculus analysis






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 24 '10 at 5:01







Quest

















asked Sep 24 '10 at 4:55









QuestQuest

4314




4314








  • 3




    $begingroup$
    that's because you can apply Faa di Bruno's formula to g(x)^{-1} and then the product rule to f(x) and g(x)^{-1}.
    $endgroup$
    – Qiaochu Yuan
    Sep 24 '10 at 5:00
















  • 3




    $begingroup$
    that's because you can apply Faa di Bruno's formula to g(x)^{-1} and then the product rule to f(x) and g(x)^{-1}.
    $endgroup$
    – Qiaochu Yuan
    Sep 24 '10 at 5:00










3




3




$begingroup$
that's because you can apply Faa di Bruno's formula to g(x)^{-1} and then the product rule to f(x) and g(x)^{-1}.
$endgroup$
– Qiaochu Yuan
Sep 24 '10 at 5:00






$begingroup$
that's because you can apply Faa di Bruno's formula to g(x)^{-1} and then the product rule to f(x) and g(x)^{-1}.
$endgroup$
– Qiaochu Yuan
Sep 24 '10 at 5:00












9 Answers
9






active

oldest

votes


















3












$begingroup$

As others have already said, you just apply the product rule to $f.g^{-1}.$ However, the is an
American Mathematical Monthly article on how NOT to do it, which you may find instructive.






share|cite|improve this answer









$endgroup$





















    3












    $begingroup$

    The answer is:



    $frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ) = sum_{k=0}^n {(-1)^k tbinom{n}{k} frac{d^{n-k}left(f(x)right)}{dx^{n-k}}}frac{A_k}{g_{(x)}^{k+1}} $



    where:



    $A_0=1$



    $A_n=nfrac{dleft(g(x)right)}{dx} A_{n-1}-g(x)frac{dleft(A_{n-1}right)}{dx}$



    for example let $n=3$:



    $frac{d^3}{dx^3} left (frac{f(x)}{g(x)} right ) =frac{1}{g(x)} frac{d^3left(f(x)right)}{dx^3}-frac{3}{g^2(x)}frac{d^2left(f(x)right)}{dx^2}left[frac{dleft(g(x)right)}{d{x}}right] + frac{3}{g^3(x)}frac{dleft(f(x)right)}{d{x}}left[2left(frac{dleft(g(x)right)}{d{x}}right)^2-g(x)frac{d^2left(g(x)right)}{dx^2}right]-frac{f(x)}{g^4(x)}left[6left(frac{dleft(g(x)right)}{d{x}}right)^3-6g(x)frac{dleft(g(x)right)}{d{x}}frac{d^2left(g(x)right)}{dx^2}+g^2(x)frac{d^3left(g(x)right)}{dx^3}right]$



    Relation with Faa' di Bruno coefficents:



    The $A_n$ have also a combinatorial form, similar to the Faa' di Bruno coefficents (ref http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno).



    An explication via an example (with for shortness
    $g'=frac{dleft(g(x)right)}{dx}$, $g''=frac{d^2left(g(x)right)}{dx^2}$, etc.):



    Let we want to find $A_4$.
    The partitions of 4 are: $1+1+1+1, 1+1+2, 1+3, 4, 2+2$.
    Now for each partition we can use the following pattern:



    $1+1+1+1 leftrightarrow C_1g'g'g'g'=C_1left(g'right)^4$



    $1+1+2+0 leftrightarrow C_2g'g'g''g=C_2gleft(g'right)^2g''$



    $1+3+0+0 leftrightarrow C_3g'g'''gg=C_3left(gright)^2g'g'''$



    $4+0+0+0 leftrightarrow C_4g''''ggg=C_4left(gright)^3g''''$



    $2+2+0+0 leftrightarrow C_5g''g''gg=C_5left(gright)^2left(g''right)^2$



    with $C_i=(-1)^{(4-t)}frac{4!t!}{m_1!,m_2!,m_3!,cdots 1!^{m_1},2!^{m_2},3!^{m_3},cdots}$ (ref. closed-form of the Faà di Bruno coefficents)



    where $t$ is the numers of partition items different of $0$, and $m_i$ is the numer of i.



    We have $C_1=24$ (with $m_1=4, t=4$), $C_2=-36$ (with $m_1=2, m_2=1, t=3$), $C_3=8$ (with $m_1=1, m_3=1, t=2$), $C_4=-1$ (with $m_4=2, t=1$), $C_5=6$ (with $m_2=2,t=2$).



    Finally $A_4$ is the sum of the formula found for each partition, i.e.



    $A_4=24left(g'right)^4-36gleft(g'right)^2g''+8left(gright)^2g'g'''-left(gright)^3g''''+6left(gright)^2left(g''right)^2$






    share|cite|improve this answer











    $endgroup$





















      2












      $begingroup$

      As others have pointed out, the quotient rule is actually a form of a product rule. Just using Leibniz rule for getting higher order derivatives of product of a function-take a look here.



      http://en.wikipedia.org/wiki/General_Leibniz_rule






      share|cite|improve this answer









      $endgroup$





















        2












        $begingroup$

        I found a pdf online that had a result for a general formula for $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ). $$



        Although I cannot find the resource again (I am looking because it had a proof), one formula is
        $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} (f^{(n)}(x))-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!}.$$ Now don't attribute this to me, as I referenced from a source I am trying to find again. It, for me, is impractical and apply the product rule for $fcdot g^{-1}$ is a lot easier, but I think the general formula is pretty good to know.






        share|cite|improve this answer











        $endgroup$













        • $begingroup$
          Found the pdf, here.
          $endgroup$
          – user124862
          Feb 28 '14 at 1:52










        • $begingroup$
          Your link doesn't work anymore...
          $endgroup$
          – draks ...
          Apr 11 '17 at 20:17










        • $begingroup$
          Is the little $(j-1)$ in the superscript a power or a derivative? If it's a derivative, this formula is useless.
          $endgroup$
          – Abhimanyu Pallavi Sudhir
          Feb 28 at 15:43










        • $begingroup$
          I mean, it wouldn't be an explicit equation, just a recurrence relation (just missed the comment editing time).
          $endgroup$
          – Abhimanyu Pallavi Sudhir
          Feb 28 at 15:50



















        1












        $begingroup$

        Quotient Rule is actually Product Rule.



        $D(u/v) = D(uw)$ where $w = 1/v$.






        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          Please help me with the notation.
          $endgroup$
          – Pratik Deoghare
          Sep 24 '10 at 5:02



















        1












        $begingroup$

        I'm checking @Mohammad Al Jamal's formula with SymPy, and I can verify it's true (barring a missing $(-1)^k$ term) for up to $n = 16$, at least (it gets really slow after that).




        import sympy as sp

        k = sp.Symbol('k'); x = sp.Symbol('x'); f = sp.Function('f'); g = sp.Function('g')

        n = 0
        while True:
        fgn = sp.diff(f(x) / g(x), x, n)
        guess = sp.summation((-1) ** k * sp.binomial(n + 1, k + 1)
        * sp.diff(f(x) * (g(x)) ** k, x, n)/(g(x) ** (k + 1)), (k, 0, n))
        print("{} for n = {}".format(sp.expand(guess - fgn) == 0, n))
        n += 1


        This is quite surprising to me -- I didn't expect there to be such a simple and straightforward expression for $(f(x)/g(x))^{(n)}$, and haven't seen his formula anywhere before. I tried some inductive proofs, but I haven't succeeded in proving it yet.






        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
          $endgroup$
          – Mohammad Al Jamal
          Mar 2 at 12:48



















        1












        $begingroup$

        i state this without proof, for the proof is tedious and lengthy.
        $$left(frac{f(x)}{g(x)}right)^{(n)}=frac{1}{g(x)}sum_{k=0}^{n}(-1)^{k}binom{n+1}{k+1}frac{left(f(x)g^{k}(x)right)^{(n)}}{g^{k}(x)}
        $$






        share|cite|improve this answer











        $endgroup$









        • 1




          $begingroup$
          What the heck, this seems to be correct (testing upto $n = 2$), barring a missing $(-1)^k$ term. I wasn't expecting there to be such a simple expression. Any hints about how to go about proving this (how'd you find it, anyway)?
          $endgroup$
          – Abhimanyu Pallavi Sudhir
          Mar 1 at 11:26








        • 1




          $begingroup$
          you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
          $endgroup$
          – Mohammad Al Jamal
          Mar 2 at 12:48










        • $begingroup$
          Did you find it?
          $endgroup$
          – Abhimanyu Pallavi Sudhir
          Mar 4 at 22:00










        • $begingroup$
          a combination of Faa di bruno's formula, and induction.
          $endgroup$
          – Mohammad Al Jamal
          Mar 7 at 8:29










        • $begingroup$
          Ah, wait -- it seems it can be proven from the expression in giuseppe's answer.
          $endgroup$
          – Abhimanyu Pallavi Sudhir
          Mar 10 at 15:32



















        1












        $begingroup$

        The answer by Stopple should be corrected as follows.
        $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} left( f^{(n)}(x)-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!} right). $$
        If we let $h(x)=f(x)/g(x)$, above can be also written as follows suppressing the independent variable $x$
        $$ h^{(n)} = frac{1}{g} left( f^{(n)} -sum_{j=1}^{n} binom{n}{j} h^{(n-j)}g^{(j)} right).$$



        The proof is straightforward by induction.






        share|cite|improve this answer











        $endgroup$





















          0












          $begingroup$

          The aim is to get a non-recursive expression in dependence of the higher derivatives of the functions in the numerator and denominator. The $n$-th derivative of the reciprocal of an arbitrary function doesn't have a simple expression. It has to be treated as composition of functions and needs Faà di Bruno's formula therefore.



          Applying General Leibniz rule and Faà di Bruno's formula, one gets the following Higher Quotient Rule:



          $$frac{d^n}{dx^n}frac{f(x)}{g(x)}=sum_{i=0}^{n}{nchoose i}f^{(i)}(x)sum_{k=0}^{n-i}(-1)^{k}k!g(x)^{-k-1}B_{n-i,k}(g(x)).$$



          $B_{n,k}(g(x))=B_{n,k}(g^{(1)}(x),g^{(2)}(x),...,g^{(n-k+1)}(x))$ is the partial exponential Bell polynomial of the second kind:



          $$B_{n,k}(g(x))=sum_{sum_{t=1}^{n}tk_{t}=natopsum_{t=1}^{n}k_{t}=k}frac{n!}{prod_{i=1}^{n}i!^{k_{i}}k_{i}!}prod_{i=1}^{n}{g^{(i)}(x)}^{k_{i}}.$$



          In 2012, I wrote a still unpublished article "On partial Bell polynomials for the higher derivatives of composed functions".






          share|cite|improve this answer











          $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%2f5357%2fwhats-the-generalisation-of-the-quotient-rule-for-higher-derivatives%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            9 Answers
            9






            active

            oldest

            votes








            9 Answers
            9






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            3












            $begingroup$

            As others have already said, you just apply the product rule to $f.g^{-1}.$ However, the is an
            American Mathematical Monthly article on how NOT to do it, which you may find instructive.






            share|cite|improve this answer









            $endgroup$


















              3












              $begingroup$

              As others have already said, you just apply the product rule to $f.g^{-1}.$ However, the is an
              American Mathematical Monthly article on how NOT to do it, which you may find instructive.






              share|cite|improve this answer









              $endgroup$
















                3












                3








                3





                $begingroup$

                As others have already said, you just apply the product rule to $f.g^{-1}.$ However, the is an
                American Mathematical Monthly article on how NOT to do it, which you may find instructive.






                share|cite|improve this answer









                $endgroup$



                As others have already said, you just apply the product rule to $f.g^{-1}.$ However, the is an
                American Mathematical Monthly article on how NOT to do it, which you may find instructive.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Sep 24 '10 at 11:45









                Derek JenningsDerek Jennings

                12k3055




                12k3055























                    3












                    $begingroup$

                    The answer is:



                    $frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ) = sum_{k=0}^n {(-1)^k tbinom{n}{k} frac{d^{n-k}left(f(x)right)}{dx^{n-k}}}frac{A_k}{g_{(x)}^{k+1}} $



                    where:



                    $A_0=1$



                    $A_n=nfrac{dleft(g(x)right)}{dx} A_{n-1}-g(x)frac{dleft(A_{n-1}right)}{dx}$



                    for example let $n=3$:



                    $frac{d^3}{dx^3} left (frac{f(x)}{g(x)} right ) =frac{1}{g(x)} frac{d^3left(f(x)right)}{dx^3}-frac{3}{g^2(x)}frac{d^2left(f(x)right)}{dx^2}left[frac{dleft(g(x)right)}{d{x}}right] + frac{3}{g^3(x)}frac{dleft(f(x)right)}{d{x}}left[2left(frac{dleft(g(x)right)}{d{x}}right)^2-g(x)frac{d^2left(g(x)right)}{dx^2}right]-frac{f(x)}{g^4(x)}left[6left(frac{dleft(g(x)right)}{d{x}}right)^3-6g(x)frac{dleft(g(x)right)}{d{x}}frac{d^2left(g(x)right)}{dx^2}+g^2(x)frac{d^3left(g(x)right)}{dx^3}right]$



                    Relation with Faa' di Bruno coefficents:



                    The $A_n$ have also a combinatorial form, similar to the Faa' di Bruno coefficents (ref http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno).



                    An explication via an example (with for shortness
                    $g'=frac{dleft(g(x)right)}{dx}$, $g''=frac{d^2left(g(x)right)}{dx^2}$, etc.):



                    Let we want to find $A_4$.
                    The partitions of 4 are: $1+1+1+1, 1+1+2, 1+3, 4, 2+2$.
                    Now for each partition we can use the following pattern:



                    $1+1+1+1 leftrightarrow C_1g'g'g'g'=C_1left(g'right)^4$



                    $1+1+2+0 leftrightarrow C_2g'g'g''g=C_2gleft(g'right)^2g''$



                    $1+3+0+0 leftrightarrow C_3g'g'''gg=C_3left(gright)^2g'g'''$



                    $4+0+0+0 leftrightarrow C_4g''''ggg=C_4left(gright)^3g''''$



                    $2+2+0+0 leftrightarrow C_5g''g''gg=C_5left(gright)^2left(g''right)^2$



                    with $C_i=(-1)^{(4-t)}frac{4!t!}{m_1!,m_2!,m_3!,cdots 1!^{m_1},2!^{m_2},3!^{m_3},cdots}$ (ref. closed-form of the Faà di Bruno coefficents)



                    where $t$ is the numers of partition items different of $0$, and $m_i$ is the numer of i.



                    We have $C_1=24$ (with $m_1=4, t=4$), $C_2=-36$ (with $m_1=2, m_2=1, t=3$), $C_3=8$ (with $m_1=1, m_3=1, t=2$), $C_4=-1$ (with $m_4=2, t=1$), $C_5=6$ (with $m_2=2,t=2$).



                    Finally $A_4$ is the sum of the formula found for each partition, i.e.



                    $A_4=24left(g'right)^4-36gleft(g'right)^2g''+8left(gright)^2g'g'''-left(gright)^3g''''+6left(gright)^2left(g''right)^2$






                    share|cite|improve this answer











                    $endgroup$


















                      3












                      $begingroup$

                      The answer is:



                      $frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ) = sum_{k=0}^n {(-1)^k tbinom{n}{k} frac{d^{n-k}left(f(x)right)}{dx^{n-k}}}frac{A_k}{g_{(x)}^{k+1}} $



                      where:



                      $A_0=1$



                      $A_n=nfrac{dleft(g(x)right)}{dx} A_{n-1}-g(x)frac{dleft(A_{n-1}right)}{dx}$



                      for example let $n=3$:



                      $frac{d^3}{dx^3} left (frac{f(x)}{g(x)} right ) =frac{1}{g(x)} frac{d^3left(f(x)right)}{dx^3}-frac{3}{g^2(x)}frac{d^2left(f(x)right)}{dx^2}left[frac{dleft(g(x)right)}{d{x}}right] + frac{3}{g^3(x)}frac{dleft(f(x)right)}{d{x}}left[2left(frac{dleft(g(x)right)}{d{x}}right)^2-g(x)frac{d^2left(g(x)right)}{dx^2}right]-frac{f(x)}{g^4(x)}left[6left(frac{dleft(g(x)right)}{d{x}}right)^3-6g(x)frac{dleft(g(x)right)}{d{x}}frac{d^2left(g(x)right)}{dx^2}+g^2(x)frac{d^3left(g(x)right)}{dx^3}right]$



                      Relation with Faa' di Bruno coefficents:



                      The $A_n$ have also a combinatorial form, similar to the Faa' di Bruno coefficents (ref http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno).



                      An explication via an example (with for shortness
                      $g'=frac{dleft(g(x)right)}{dx}$, $g''=frac{d^2left(g(x)right)}{dx^2}$, etc.):



                      Let we want to find $A_4$.
                      The partitions of 4 are: $1+1+1+1, 1+1+2, 1+3, 4, 2+2$.
                      Now for each partition we can use the following pattern:



                      $1+1+1+1 leftrightarrow C_1g'g'g'g'=C_1left(g'right)^4$



                      $1+1+2+0 leftrightarrow C_2g'g'g''g=C_2gleft(g'right)^2g''$



                      $1+3+0+0 leftrightarrow C_3g'g'''gg=C_3left(gright)^2g'g'''$



                      $4+0+0+0 leftrightarrow C_4g''''ggg=C_4left(gright)^3g''''$



                      $2+2+0+0 leftrightarrow C_5g''g''gg=C_5left(gright)^2left(g''right)^2$



                      with $C_i=(-1)^{(4-t)}frac{4!t!}{m_1!,m_2!,m_3!,cdots 1!^{m_1},2!^{m_2},3!^{m_3},cdots}$ (ref. closed-form of the Faà di Bruno coefficents)



                      where $t$ is the numers of partition items different of $0$, and $m_i$ is the numer of i.



                      We have $C_1=24$ (with $m_1=4, t=4$), $C_2=-36$ (with $m_1=2, m_2=1, t=3$), $C_3=8$ (with $m_1=1, m_3=1, t=2$), $C_4=-1$ (with $m_4=2, t=1$), $C_5=6$ (with $m_2=2,t=2$).



                      Finally $A_4$ is the sum of the formula found for each partition, i.e.



                      $A_4=24left(g'right)^4-36gleft(g'right)^2g''+8left(gright)^2g'g'''-left(gright)^3g''''+6left(gright)^2left(g''right)^2$






                      share|cite|improve this answer











                      $endgroup$
















                        3












                        3








                        3





                        $begingroup$

                        The answer is:



                        $frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ) = sum_{k=0}^n {(-1)^k tbinom{n}{k} frac{d^{n-k}left(f(x)right)}{dx^{n-k}}}frac{A_k}{g_{(x)}^{k+1}} $



                        where:



                        $A_0=1$



                        $A_n=nfrac{dleft(g(x)right)}{dx} A_{n-1}-g(x)frac{dleft(A_{n-1}right)}{dx}$



                        for example let $n=3$:



                        $frac{d^3}{dx^3} left (frac{f(x)}{g(x)} right ) =frac{1}{g(x)} frac{d^3left(f(x)right)}{dx^3}-frac{3}{g^2(x)}frac{d^2left(f(x)right)}{dx^2}left[frac{dleft(g(x)right)}{d{x}}right] + frac{3}{g^3(x)}frac{dleft(f(x)right)}{d{x}}left[2left(frac{dleft(g(x)right)}{d{x}}right)^2-g(x)frac{d^2left(g(x)right)}{dx^2}right]-frac{f(x)}{g^4(x)}left[6left(frac{dleft(g(x)right)}{d{x}}right)^3-6g(x)frac{dleft(g(x)right)}{d{x}}frac{d^2left(g(x)right)}{dx^2}+g^2(x)frac{d^3left(g(x)right)}{dx^3}right]$



                        Relation with Faa' di Bruno coefficents:



                        The $A_n$ have also a combinatorial form, similar to the Faa' di Bruno coefficents (ref http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno).



                        An explication via an example (with for shortness
                        $g'=frac{dleft(g(x)right)}{dx}$, $g''=frac{d^2left(g(x)right)}{dx^2}$, etc.):



                        Let we want to find $A_4$.
                        The partitions of 4 are: $1+1+1+1, 1+1+2, 1+3, 4, 2+2$.
                        Now for each partition we can use the following pattern:



                        $1+1+1+1 leftrightarrow C_1g'g'g'g'=C_1left(g'right)^4$



                        $1+1+2+0 leftrightarrow C_2g'g'g''g=C_2gleft(g'right)^2g''$



                        $1+3+0+0 leftrightarrow C_3g'g'''gg=C_3left(gright)^2g'g'''$



                        $4+0+0+0 leftrightarrow C_4g''''ggg=C_4left(gright)^3g''''$



                        $2+2+0+0 leftrightarrow C_5g''g''gg=C_5left(gright)^2left(g''right)^2$



                        with $C_i=(-1)^{(4-t)}frac{4!t!}{m_1!,m_2!,m_3!,cdots 1!^{m_1},2!^{m_2},3!^{m_3},cdots}$ (ref. closed-form of the Faà di Bruno coefficents)



                        where $t$ is the numers of partition items different of $0$, and $m_i$ is the numer of i.



                        We have $C_1=24$ (with $m_1=4, t=4$), $C_2=-36$ (with $m_1=2, m_2=1, t=3$), $C_3=8$ (with $m_1=1, m_3=1, t=2$), $C_4=-1$ (with $m_4=2, t=1$), $C_5=6$ (with $m_2=2,t=2$).



                        Finally $A_4$ is the sum of the formula found for each partition, i.e.



                        $A_4=24left(g'right)^4-36gleft(g'right)^2g''+8left(gright)^2g'g'''-left(gright)^3g''''+6left(gright)^2left(g''right)^2$






                        share|cite|improve this answer











                        $endgroup$



                        The answer is:



                        $frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ) = sum_{k=0}^n {(-1)^k tbinom{n}{k} frac{d^{n-k}left(f(x)right)}{dx^{n-k}}}frac{A_k}{g_{(x)}^{k+1}} $



                        where:



                        $A_0=1$



                        $A_n=nfrac{dleft(g(x)right)}{dx} A_{n-1}-g(x)frac{dleft(A_{n-1}right)}{dx}$



                        for example let $n=3$:



                        $frac{d^3}{dx^3} left (frac{f(x)}{g(x)} right ) =frac{1}{g(x)} frac{d^3left(f(x)right)}{dx^3}-frac{3}{g^2(x)}frac{d^2left(f(x)right)}{dx^2}left[frac{dleft(g(x)right)}{d{x}}right] + frac{3}{g^3(x)}frac{dleft(f(x)right)}{d{x}}left[2left(frac{dleft(g(x)right)}{d{x}}right)^2-g(x)frac{d^2left(g(x)right)}{dx^2}right]-frac{f(x)}{g^4(x)}left[6left(frac{dleft(g(x)right)}{d{x}}right)^3-6g(x)frac{dleft(g(x)right)}{d{x}}frac{d^2left(g(x)right)}{dx^2}+g^2(x)frac{d^3left(g(x)right)}{dx^3}right]$



                        Relation with Faa' di Bruno coefficents:



                        The $A_n$ have also a combinatorial form, similar to the Faa' di Bruno coefficents (ref http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno).



                        An explication via an example (with for shortness
                        $g'=frac{dleft(g(x)right)}{dx}$, $g''=frac{d^2left(g(x)right)}{dx^2}$, etc.):



                        Let we want to find $A_4$.
                        The partitions of 4 are: $1+1+1+1, 1+1+2, 1+3, 4, 2+2$.
                        Now for each partition we can use the following pattern:



                        $1+1+1+1 leftrightarrow C_1g'g'g'g'=C_1left(g'right)^4$



                        $1+1+2+0 leftrightarrow C_2g'g'g''g=C_2gleft(g'right)^2g''$



                        $1+3+0+0 leftrightarrow C_3g'g'''gg=C_3left(gright)^2g'g'''$



                        $4+0+0+0 leftrightarrow C_4g''''ggg=C_4left(gright)^3g''''$



                        $2+2+0+0 leftrightarrow C_5g''g''gg=C_5left(gright)^2left(g''right)^2$



                        with $C_i=(-1)^{(4-t)}frac{4!t!}{m_1!,m_2!,m_3!,cdots 1!^{m_1},2!^{m_2},3!^{m_3},cdots}$ (ref. closed-form of the Faà di Bruno coefficents)



                        where $t$ is the numers of partition items different of $0$, and $m_i$ is the numer of i.



                        We have $C_1=24$ (with $m_1=4, t=4$), $C_2=-36$ (with $m_1=2, m_2=1, t=3$), $C_3=8$ (with $m_1=1, m_3=1, t=2$), $C_4=-1$ (with $m_4=2, t=1$), $C_5=6$ (with $m_2=2,t=2$).



                        Finally $A_4$ is the sum of the formula found for each partition, i.e.



                        $A_4=24left(g'right)^4-36gleft(g'right)^2g''+8left(gright)^2g'g'''-left(gright)^3g''''+6left(gright)^2left(g''right)^2$







                        share|cite|improve this answer














                        share|cite|improve this answer



                        share|cite|improve this answer








                        edited Feb 15 '15 at 15:18

























                        answered Nov 29 '14 at 16:36









                        giuseppe.tavazzagiuseppe.tavazza

                        312




                        312























                            2












                            $begingroup$

                            As others have pointed out, the quotient rule is actually a form of a product rule. Just using Leibniz rule for getting higher order derivatives of product of a function-take a look here.



                            http://en.wikipedia.org/wiki/General_Leibniz_rule






                            share|cite|improve this answer









                            $endgroup$


















                              2












                              $begingroup$

                              As others have pointed out, the quotient rule is actually a form of a product rule. Just using Leibniz rule for getting higher order derivatives of product of a function-take a look here.



                              http://en.wikipedia.org/wiki/General_Leibniz_rule






                              share|cite|improve this answer









                              $endgroup$
















                                2












                                2








                                2





                                $begingroup$

                                As others have pointed out, the quotient rule is actually a form of a product rule. Just using Leibniz rule for getting higher order derivatives of product of a function-take a look here.



                                http://en.wikipedia.org/wiki/General_Leibniz_rule






                                share|cite|improve this answer









                                $endgroup$



                                As others have pointed out, the quotient rule is actually a form of a product rule. Just using Leibniz rule for getting higher order derivatives of product of a function-take a look here.



                                http://en.wikipedia.org/wiki/General_Leibniz_rule







                                share|cite|improve this answer












                                share|cite|improve this answer



                                share|cite|improve this answer










                                answered Dec 27 '11 at 9:10









                                nb1nb1

                                1,1721017




                                1,1721017























                                    2












                                    $begingroup$

                                    I found a pdf online that had a result for a general formula for $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ). $$



                                    Although I cannot find the resource again (I am looking because it had a proof), one formula is
                                    $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} (f^{(n)}(x))-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!}.$$ Now don't attribute this to me, as I referenced from a source I am trying to find again. It, for me, is impractical and apply the product rule for $fcdot g^{-1}$ is a lot easier, but I think the general formula is pretty good to know.






                                    share|cite|improve this answer











                                    $endgroup$













                                    • $begingroup$
                                      Found the pdf, here.
                                      $endgroup$
                                      – user124862
                                      Feb 28 '14 at 1:52










                                    • $begingroup$
                                      Your link doesn't work anymore...
                                      $endgroup$
                                      – draks ...
                                      Apr 11 '17 at 20:17










                                    • $begingroup$
                                      Is the little $(j-1)$ in the superscript a power or a derivative? If it's a derivative, this formula is useless.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:43










                                    • $begingroup$
                                      I mean, it wouldn't be an explicit equation, just a recurrence relation (just missed the comment editing time).
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:50
















                                    2












                                    $begingroup$

                                    I found a pdf online that had a result for a general formula for $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ). $$



                                    Although I cannot find the resource again (I am looking because it had a proof), one formula is
                                    $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} (f^{(n)}(x))-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!}.$$ Now don't attribute this to me, as I referenced from a source I am trying to find again. It, for me, is impractical and apply the product rule for $fcdot g^{-1}$ is a lot easier, but I think the general formula is pretty good to know.






                                    share|cite|improve this answer











                                    $endgroup$













                                    • $begingroup$
                                      Found the pdf, here.
                                      $endgroup$
                                      – user124862
                                      Feb 28 '14 at 1:52










                                    • $begingroup$
                                      Your link doesn't work anymore...
                                      $endgroup$
                                      – draks ...
                                      Apr 11 '17 at 20:17










                                    • $begingroup$
                                      Is the little $(j-1)$ in the superscript a power or a derivative? If it's a derivative, this formula is useless.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:43










                                    • $begingroup$
                                      I mean, it wouldn't be an explicit equation, just a recurrence relation (just missed the comment editing time).
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:50














                                    2












                                    2








                                    2





                                    $begingroup$

                                    I found a pdf online that had a result for a general formula for $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ). $$



                                    Although I cannot find the resource again (I am looking because it had a proof), one formula is
                                    $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} (f^{(n)}(x))-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!}.$$ Now don't attribute this to me, as I referenced from a source I am trying to find again. It, for me, is impractical and apply the product rule for $fcdot g^{-1}$ is a lot easier, but I think the general formula is pretty good to know.






                                    share|cite|improve this answer











                                    $endgroup$



                                    I found a pdf online that had a result for a general formula for $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right ). $$



                                    Although I cannot find the resource again (I am looking because it had a proof), one formula is
                                    $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} (f^{(n)}(x))-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!}.$$ Now don't attribute this to me, as I referenced from a source I am trying to find again. It, for me, is impractical and apply the product rule for $fcdot g^{-1}$ is a lot easier, but I think the general formula is pretty good to know.







                                    share|cite|improve this answer














                                    share|cite|improve this answer



                                    share|cite|improve this answer








                                    edited Apr 28 '14 at 21:11









                                    stopple

                                    1,504817




                                    1,504817










                                    answered Feb 28 '14 at 1:47







                                    user124862



















                                    • $begingroup$
                                      Found the pdf, here.
                                      $endgroup$
                                      – user124862
                                      Feb 28 '14 at 1:52










                                    • $begingroup$
                                      Your link doesn't work anymore...
                                      $endgroup$
                                      – draks ...
                                      Apr 11 '17 at 20:17










                                    • $begingroup$
                                      Is the little $(j-1)$ in the superscript a power or a derivative? If it's a derivative, this formula is useless.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:43










                                    • $begingroup$
                                      I mean, it wouldn't be an explicit equation, just a recurrence relation (just missed the comment editing time).
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:50


















                                    • $begingroup$
                                      Found the pdf, here.
                                      $endgroup$
                                      – user124862
                                      Feb 28 '14 at 1:52










                                    • $begingroup$
                                      Your link doesn't work anymore...
                                      $endgroup$
                                      – draks ...
                                      Apr 11 '17 at 20:17










                                    • $begingroup$
                                      Is the little $(j-1)$ in the superscript a power or a derivative? If it's a derivative, this formula is useless.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:43










                                    • $begingroup$
                                      I mean, it wouldn't be an explicit equation, just a recurrence relation (just missed the comment editing time).
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Feb 28 at 15:50
















                                    $begingroup$
                                    Found the pdf, here.
                                    $endgroup$
                                    – user124862
                                    Feb 28 '14 at 1:52




                                    $begingroup$
                                    Found the pdf, here.
                                    $endgroup$
                                    – user124862
                                    Feb 28 '14 at 1:52












                                    $begingroup$
                                    Your link doesn't work anymore...
                                    $endgroup$
                                    – draks ...
                                    Apr 11 '17 at 20:17




                                    $begingroup$
                                    Your link doesn't work anymore...
                                    $endgroup$
                                    – draks ...
                                    Apr 11 '17 at 20:17












                                    $begingroup$
                                    Is the little $(j-1)$ in the superscript a power or a derivative? If it's a derivative, this formula is useless.
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Feb 28 at 15:43




                                    $begingroup$
                                    Is the little $(j-1)$ in the superscript a power or a derivative? If it's a derivative, this formula is useless.
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Feb 28 at 15:43












                                    $begingroup$
                                    I mean, it wouldn't be an explicit equation, just a recurrence relation (just missed the comment editing time).
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Feb 28 at 15:50




                                    $begingroup$
                                    I mean, it wouldn't be an explicit equation, just a recurrence relation (just missed the comment editing time).
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Feb 28 at 15:50











                                    1












                                    $begingroup$

                                    Quotient Rule is actually Product Rule.



                                    $D(u/v) = D(uw)$ where $w = 1/v$.






                                    share|cite|improve this answer









                                    $endgroup$













                                    • $begingroup$
                                      Please help me with the notation.
                                      $endgroup$
                                      – Pratik Deoghare
                                      Sep 24 '10 at 5:02
















                                    1












                                    $begingroup$

                                    Quotient Rule is actually Product Rule.



                                    $D(u/v) = D(uw)$ where $w = 1/v$.






                                    share|cite|improve this answer









                                    $endgroup$













                                    • $begingroup$
                                      Please help me with the notation.
                                      $endgroup$
                                      – Pratik Deoghare
                                      Sep 24 '10 at 5:02














                                    1












                                    1








                                    1





                                    $begingroup$

                                    Quotient Rule is actually Product Rule.



                                    $D(u/v) = D(uw)$ where $w = 1/v$.






                                    share|cite|improve this answer









                                    $endgroup$



                                    Quotient Rule is actually Product Rule.



                                    $D(u/v) = D(uw)$ where $w = 1/v$.







                                    share|cite|improve this answer












                                    share|cite|improve this answer



                                    share|cite|improve this answer










                                    answered Sep 24 '10 at 5:00









                                    Pratik DeogharePratik Deoghare

                                    5,93842438




                                    5,93842438












                                    • $begingroup$
                                      Please help me with the notation.
                                      $endgroup$
                                      – Pratik Deoghare
                                      Sep 24 '10 at 5:02


















                                    • $begingroup$
                                      Please help me with the notation.
                                      $endgroup$
                                      – Pratik Deoghare
                                      Sep 24 '10 at 5:02
















                                    $begingroup$
                                    Please help me with the notation.
                                    $endgroup$
                                    – Pratik Deoghare
                                    Sep 24 '10 at 5:02




                                    $begingroup$
                                    Please help me with the notation.
                                    $endgroup$
                                    – Pratik Deoghare
                                    Sep 24 '10 at 5:02











                                    1












                                    $begingroup$

                                    I'm checking @Mohammad Al Jamal's formula with SymPy, and I can verify it's true (barring a missing $(-1)^k$ term) for up to $n = 16$, at least (it gets really slow after that).




                                    import sympy as sp

                                    k = sp.Symbol('k'); x = sp.Symbol('x'); f = sp.Function('f'); g = sp.Function('g')

                                    n = 0
                                    while True:
                                    fgn = sp.diff(f(x) / g(x), x, n)
                                    guess = sp.summation((-1) ** k * sp.binomial(n + 1, k + 1)
                                    * sp.diff(f(x) * (g(x)) ** k, x, n)/(g(x) ** (k + 1)), (k, 0, n))
                                    print("{} for n = {}".format(sp.expand(guess - fgn) == 0, n))
                                    n += 1


                                    This is quite surprising to me -- I didn't expect there to be such a simple and straightforward expression for $(f(x)/g(x))^{(n)}$, and haven't seen his formula anywhere before. I tried some inductive proofs, but I haven't succeeded in proving it yet.






                                    share|cite|improve this answer









                                    $endgroup$













                                    • $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48
















                                    1












                                    $begingroup$

                                    I'm checking @Mohammad Al Jamal's formula with SymPy, and I can verify it's true (barring a missing $(-1)^k$ term) for up to $n = 16$, at least (it gets really slow after that).




                                    import sympy as sp

                                    k = sp.Symbol('k'); x = sp.Symbol('x'); f = sp.Function('f'); g = sp.Function('g')

                                    n = 0
                                    while True:
                                    fgn = sp.diff(f(x) / g(x), x, n)
                                    guess = sp.summation((-1) ** k * sp.binomial(n + 1, k + 1)
                                    * sp.diff(f(x) * (g(x)) ** k, x, n)/(g(x) ** (k + 1)), (k, 0, n))
                                    print("{} for n = {}".format(sp.expand(guess - fgn) == 0, n))
                                    n += 1


                                    This is quite surprising to me -- I didn't expect there to be such a simple and straightforward expression for $(f(x)/g(x))^{(n)}$, and haven't seen his formula anywhere before. I tried some inductive proofs, but I haven't succeeded in proving it yet.






                                    share|cite|improve this answer









                                    $endgroup$













                                    • $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48














                                    1












                                    1








                                    1





                                    $begingroup$

                                    I'm checking @Mohammad Al Jamal's formula with SymPy, and I can verify it's true (barring a missing $(-1)^k$ term) for up to $n = 16$, at least (it gets really slow after that).




                                    import sympy as sp

                                    k = sp.Symbol('k'); x = sp.Symbol('x'); f = sp.Function('f'); g = sp.Function('g')

                                    n = 0
                                    while True:
                                    fgn = sp.diff(f(x) / g(x), x, n)
                                    guess = sp.summation((-1) ** k * sp.binomial(n + 1, k + 1)
                                    * sp.diff(f(x) * (g(x)) ** k, x, n)/(g(x) ** (k + 1)), (k, 0, n))
                                    print("{} for n = {}".format(sp.expand(guess - fgn) == 0, n))
                                    n += 1


                                    This is quite surprising to me -- I didn't expect there to be such a simple and straightforward expression for $(f(x)/g(x))^{(n)}$, and haven't seen his formula anywhere before. I tried some inductive proofs, but I haven't succeeded in proving it yet.






                                    share|cite|improve this answer









                                    $endgroup$



                                    I'm checking @Mohammad Al Jamal's formula with SymPy, and I can verify it's true (barring a missing $(-1)^k$ term) for up to $n = 16$, at least (it gets really slow after that).




                                    import sympy as sp

                                    k = sp.Symbol('k'); x = sp.Symbol('x'); f = sp.Function('f'); g = sp.Function('g')

                                    n = 0
                                    while True:
                                    fgn = sp.diff(f(x) / g(x), x, n)
                                    guess = sp.summation((-1) ** k * sp.binomial(n + 1, k + 1)
                                    * sp.diff(f(x) * (g(x)) ** k, x, n)/(g(x) ** (k + 1)), (k, 0, n))
                                    print("{} for n = {}".format(sp.expand(guess - fgn) == 0, n))
                                    n += 1


                                    This is quite surprising to me -- I didn't expect there to be such a simple and straightforward expression for $(f(x)/g(x))^{(n)}$, and haven't seen his formula anywhere before. I tried some inductive proofs, but I haven't succeeded in proving it yet.







                                    share|cite|improve this answer












                                    share|cite|improve this answer



                                    share|cite|improve this answer










                                    answered Mar 2 at 0:15









                                    Abhimanyu Pallavi SudhirAbhimanyu Pallavi Sudhir

                                    942719




                                    942719












                                    • $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48


















                                    • $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48
















                                    $begingroup$
                                    you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                    $endgroup$
                                    – Mohammad Al Jamal
                                    Mar 2 at 12:48




                                    $begingroup$
                                    you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                    $endgroup$
                                    – Mohammad Al Jamal
                                    Mar 2 at 12:48











                                    1












                                    $begingroup$

                                    i state this without proof, for the proof is tedious and lengthy.
                                    $$left(frac{f(x)}{g(x)}right)^{(n)}=frac{1}{g(x)}sum_{k=0}^{n}(-1)^{k}binom{n+1}{k+1}frac{left(f(x)g^{k}(x)right)^{(n)}}{g^{k}(x)}
                                    $$






                                    share|cite|improve this answer











                                    $endgroup$









                                    • 1




                                      $begingroup$
                                      What the heck, this seems to be correct (testing upto $n = 2$), barring a missing $(-1)^k$ term. I wasn't expecting there to be such a simple expression. Any hints about how to go about proving this (how'd you find it, anyway)?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 1 at 11:26








                                    • 1




                                      $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48










                                    • $begingroup$
                                      Did you find it?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 4 at 22:00










                                    • $begingroup$
                                      a combination of Faa di bruno's formula, and induction.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 7 at 8:29










                                    • $begingroup$
                                      Ah, wait -- it seems it can be proven from the expression in giuseppe's answer.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 10 at 15:32
















                                    1












                                    $begingroup$

                                    i state this without proof, for the proof is tedious and lengthy.
                                    $$left(frac{f(x)}{g(x)}right)^{(n)}=frac{1}{g(x)}sum_{k=0}^{n}(-1)^{k}binom{n+1}{k+1}frac{left(f(x)g^{k}(x)right)^{(n)}}{g^{k}(x)}
                                    $$






                                    share|cite|improve this answer











                                    $endgroup$









                                    • 1




                                      $begingroup$
                                      What the heck, this seems to be correct (testing upto $n = 2$), barring a missing $(-1)^k$ term. I wasn't expecting there to be such a simple expression. Any hints about how to go about proving this (how'd you find it, anyway)?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 1 at 11:26








                                    • 1




                                      $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48










                                    • $begingroup$
                                      Did you find it?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 4 at 22:00










                                    • $begingroup$
                                      a combination of Faa di bruno's formula, and induction.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 7 at 8:29










                                    • $begingroup$
                                      Ah, wait -- it seems it can be proven from the expression in giuseppe's answer.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 10 at 15:32














                                    1












                                    1








                                    1





                                    $begingroup$

                                    i state this without proof, for the proof is tedious and lengthy.
                                    $$left(frac{f(x)}{g(x)}right)^{(n)}=frac{1}{g(x)}sum_{k=0}^{n}(-1)^{k}binom{n+1}{k+1}frac{left(f(x)g^{k}(x)right)^{(n)}}{g^{k}(x)}
                                    $$






                                    share|cite|improve this answer











                                    $endgroup$



                                    i state this without proof, for the proof is tedious and lengthy.
                                    $$left(frac{f(x)}{g(x)}right)^{(n)}=frac{1}{g(x)}sum_{k=0}^{n}(-1)^{k}binom{n+1}{k+1}frac{left(f(x)g^{k}(x)right)^{(n)}}{g^{k}(x)}
                                    $$







                                    share|cite|improve this answer














                                    share|cite|improve this answer



                                    share|cite|improve this answer








                                    edited Mar 2 at 12:46

























                                    answered Feb 27 at 11:59









                                    Mohammad Al JamalMohammad Al Jamal

                                    154321




                                    154321








                                    • 1




                                      $begingroup$
                                      What the heck, this seems to be correct (testing upto $n = 2$), barring a missing $(-1)^k$ term. I wasn't expecting there to be such a simple expression. Any hints about how to go about proving this (how'd you find it, anyway)?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 1 at 11:26








                                    • 1




                                      $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48










                                    • $begingroup$
                                      Did you find it?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 4 at 22:00










                                    • $begingroup$
                                      a combination of Faa di bruno's formula, and induction.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 7 at 8:29










                                    • $begingroup$
                                      Ah, wait -- it seems it can be proven from the expression in giuseppe's answer.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 10 at 15:32














                                    • 1




                                      $begingroup$
                                      What the heck, this seems to be correct (testing upto $n = 2$), barring a missing $(-1)^k$ term. I wasn't expecting there to be such a simple expression. Any hints about how to go about proving this (how'd you find it, anyway)?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 1 at 11:26








                                    • 1




                                      $begingroup$
                                      you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 2 at 12:48










                                    • $begingroup$
                                      Did you find it?
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 4 at 22:00










                                    • $begingroup$
                                      a combination of Faa di bruno's formula, and induction.
                                      $endgroup$
                                      – Mohammad Al Jamal
                                      Mar 7 at 8:29










                                    • $begingroup$
                                      Ah, wait -- it seems it can be proven from the expression in giuseppe's answer.
                                      $endgroup$
                                      – Abhimanyu Pallavi Sudhir
                                      Mar 10 at 15:32








                                    1




                                    1




                                    $begingroup$
                                    What the heck, this seems to be correct (testing upto $n = 2$), barring a missing $(-1)^k$ term. I wasn't expecting there to be such a simple expression. Any hints about how to go about proving this (how'd you find it, anyway)?
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Mar 1 at 11:26






                                    $begingroup$
                                    What the heck, this seems to be correct (testing upto $n = 2$), barring a missing $(-1)^k$ term. I wasn't expecting there to be such a simple expression. Any hints about how to go about proving this (how'd you find it, anyway)?
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Mar 1 at 11:26






                                    1




                                    1




                                    $begingroup$
                                    you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                    $endgroup$
                                    – Mohammad Al Jamal
                                    Mar 2 at 12:48




                                    $begingroup$
                                    you're correct. there should be a $(-1)^{k}$ factor. i have corrected my answer accordingly. i have the proof somewhere. i will look for it and post it here.
                                    $endgroup$
                                    – Mohammad Al Jamal
                                    Mar 2 at 12:48












                                    $begingroup$
                                    Did you find it?
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Mar 4 at 22:00




                                    $begingroup$
                                    Did you find it?
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Mar 4 at 22:00












                                    $begingroup$
                                    a combination of Faa di bruno's formula, and induction.
                                    $endgroup$
                                    – Mohammad Al Jamal
                                    Mar 7 at 8:29




                                    $begingroup$
                                    a combination of Faa di bruno's formula, and induction.
                                    $endgroup$
                                    – Mohammad Al Jamal
                                    Mar 7 at 8:29












                                    $begingroup$
                                    Ah, wait -- it seems it can be proven from the expression in giuseppe's answer.
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Mar 10 at 15:32




                                    $begingroup$
                                    Ah, wait -- it seems it can be proven from the expression in giuseppe's answer.
                                    $endgroup$
                                    – Abhimanyu Pallavi Sudhir
                                    Mar 10 at 15:32











                                    1












                                    $begingroup$

                                    The answer by Stopple should be corrected as follows.
                                    $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} left( f^{(n)}(x)-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!} right). $$
                                    If we let $h(x)=f(x)/g(x)$, above can be also written as follows suppressing the independent variable $x$
                                    $$ h^{(n)} = frac{1}{g} left( f^{(n)} -sum_{j=1}^{n} binom{n}{j} h^{(n-j)}g^{(j)} right).$$



                                    The proof is straightforward by induction.






                                    share|cite|improve this answer











                                    $endgroup$


















                                      1












                                      $begingroup$

                                      The answer by Stopple should be corrected as follows.
                                      $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} left( f^{(n)}(x)-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!} right). $$
                                      If we let $h(x)=f(x)/g(x)$, above can be also written as follows suppressing the independent variable $x$
                                      $$ h^{(n)} = frac{1}{g} left( f^{(n)} -sum_{j=1}^{n} binom{n}{j} h^{(n-j)}g^{(j)} right).$$



                                      The proof is straightforward by induction.






                                      share|cite|improve this answer











                                      $endgroup$
















                                        1












                                        1








                                        1





                                        $begingroup$

                                        The answer by Stopple should be corrected as follows.
                                        $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} left( f^{(n)}(x)-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!} right). $$
                                        If we let $h(x)=f(x)/g(x)$, above can be also written as follows suppressing the independent variable $x$
                                        $$ h^{(n)} = frac{1}{g} left( f^{(n)} -sum_{j=1}^{n} binom{n}{j} h^{(n-j)}g^{(j)} right).$$



                                        The proof is straightforward by induction.






                                        share|cite|improve this answer











                                        $endgroup$



                                        The answer by Stopple should be corrected as follows.
                                        $$frac{d^n}{dx^n} left (frac{f(x)}{g(x)} right )=frac{1}{g(x)} left( f^{(n)}(x)-n! sum_{j=1}^n frac{g^{(n+1-j)}(x)}{(n+1-j!)} frac{ left (frac{f(x)}{g(x)} right)^{{{(j-1)}}}} {(j-1)!} right). $$
                                        If we let $h(x)=f(x)/g(x)$, above can be also written as follows suppressing the independent variable $x$
                                        $$ h^{(n)} = frac{1}{g} left( f^{(n)} -sum_{j=1}^{n} binom{n}{j} h^{(n-j)}g^{(j)} right).$$



                                        The proof is straightforward by induction.







                                        share|cite|improve this answer














                                        share|cite|improve this answer



                                        share|cite|improve this answer








                                        edited Mar 14 at 22:53

























                                        answered Mar 12 at 11:36









                                        AjouresmanAjouresman

                                        112




                                        112























                                            0












                                            $begingroup$

                                            The aim is to get a non-recursive expression in dependence of the higher derivatives of the functions in the numerator and denominator. The $n$-th derivative of the reciprocal of an arbitrary function doesn't have a simple expression. It has to be treated as composition of functions and needs Faà di Bruno's formula therefore.



                                            Applying General Leibniz rule and Faà di Bruno's formula, one gets the following Higher Quotient Rule:



                                            $$frac{d^n}{dx^n}frac{f(x)}{g(x)}=sum_{i=0}^{n}{nchoose i}f^{(i)}(x)sum_{k=0}^{n-i}(-1)^{k}k!g(x)^{-k-1}B_{n-i,k}(g(x)).$$



                                            $B_{n,k}(g(x))=B_{n,k}(g^{(1)}(x),g^{(2)}(x),...,g^{(n-k+1)}(x))$ is the partial exponential Bell polynomial of the second kind:



                                            $$B_{n,k}(g(x))=sum_{sum_{t=1}^{n}tk_{t}=natopsum_{t=1}^{n}k_{t}=k}frac{n!}{prod_{i=1}^{n}i!^{k_{i}}k_{i}!}prod_{i=1}^{n}{g^{(i)}(x)}^{k_{i}}.$$



                                            In 2012, I wrote a still unpublished article "On partial Bell polynomials for the higher derivatives of composed functions".






                                            share|cite|improve this answer











                                            $endgroup$


















                                              0












                                              $begingroup$

                                              The aim is to get a non-recursive expression in dependence of the higher derivatives of the functions in the numerator and denominator. The $n$-th derivative of the reciprocal of an arbitrary function doesn't have a simple expression. It has to be treated as composition of functions and needs Faà di Bruno's formula therefore.



                                              Applying General Leibniz rule and Faà di Bruno's formula, one gets the following Higher Quotient Rule:



                                              $$frac{d^n}{dx^n}frac{f(x)}{g(x)}=sum_{i=0}^{n}{nchoose i}f^{(i)}(x)sum_{k=0}^{n-i}(-1)^{k}k!g(x)^{-k-1}B_{n-i,k}(g(x)).$$



                                              $B_{n,k}(g(x))=B_{n,k}(g^{(1)}(x),g^{(2)}(x),...,g^{(n-k+1)}(x))$ is the partial exponential Bell polynomial of the second kind:



                                              $$B_{n,k}(g(x))=sum_{sum_{t=1}^{n}tk_{t}=natopsum_{t=1}^{n}k_{t}=k}frac{n!}{prod_{i=1}^{n}i!^{k_{i}}k_{i}!}prod_{i=1}^{n}{g^{(i)}(x)}^{k_{i}}.$$



                                              In 2012, I wrote a still unpublished article "On partial Bell polynomials for the higher derivatives of composed functions".






                                              share|cite|improve this answer











                                              $endgroup$
















                                                0












                                                0








                                                0





                                                $begingroup$

                                                The aim is to get a non-recursive expression in dependence of the higher derivatives of the functions in the numerator and denominator. The $n$-th derivative of the reciprocal of an arbitrary function doesn't have a simple expression. It has to be treated as composition of functions and needs Faà di Bruno's formula therefore.



                                                Applying General Leibniz rule and Faà di Bruno's formula, one gets the following Higher Quotient Rule:



                                                $$frac{d^n}{dx^n}frac{f(x)}{g(x)}=sum_{i=0}^{n}{nchoose i}f^{(i)}(x)sum_{k=0}^{n-i}(-1)^{k}k!g(x)^{-k-1}B_{n-i,k}(g(x)).$$



                                                $B_{n,k}(g(x))=B_{n,k}(g^{(1)}(x),g^{(2)}(x),...,g^{(n-k+1)}(x))$ is the partial exponential Bell polynomial of the second kind:



                                                $$B_{n,k}(g(x))=sum_{sum_{t=1}^{n}tk_{t}=natopsum_{t=1}^{n}k_{t}=k}frac{n!}{prod_{i=1}^{n}i!^{k_{i}}k_{i}!}prod_{i=1}^{n}{g^{(i)}(x)}^{k_{i}}.$$



                                                In 2012, I wrote a still unpublished article "On partial Bell polynomials for the higher derivatives of composed functions".






                                                share|cite|improve this answer











                                                $endgroup$



                                                The aim is to get a non-recursive expression in dependence of the higher derivatives of the functions in the numerator and denominator. The $n$-th derivative of the reciprocal of an arbitrary function doesn't have a simple expression. It has to be treated as composition of functions and needs Faà di Bruno's formula therefore.



                                                Applying General Leibniz rule and Faà di Bruno's formula, one gets the following Higher Quotient Rule:



                                                $$frac{d^n}{dx^n}frac{f(x)}{g(x)}=sum_{i=0}^{n}{nchoose i}f^{(i)}(x)sum_{k=0}^{n-i}(-1)^{k}k!g(x)^{-k-1}B_{n-i,k}(g(x)).$$



                                                $B_{n,k}(g(x))=B_{n,k}(g^{(1)}(x),g^{(2)}(x),...,g^{(n-k+1)}(x))$ is the partial exponential Bell polynomial of the second kind:



                                                $$B_{n,k}(g(x))=sum_{sum_{t=1}^{n}tk_{t}=natopsum_{t=1}^{n}k_{t}=k}frac{n!}{prod_{i=1}^{n}i!^{k_{i}}k_{i}!}prod_{i=1}^{n}{g^{(i)}(x)}^{k_{i}}.$$



                                                In 2012, I wrote a still unpublished article "On partial Bell polynomials for the higher derivatives of composed functions".







                                                share|cite|improve this answer














                                                share|cite|improve this answer



                                                share|cite|improve this answer








                                                edited 2 days ago

























                                                answered Mar 12 at 20:02









                                                IV_IV_

                                                1,521525




                                                1,521525






























                                                    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%2f5357%2fwhats-the-generalisation-of-the-quotient-rule-for-higher-derivatives%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

                                                    Magento 2 - Add success message with knockout Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Success / Error message on ajax request$.widget is not a function when loading a homepage after add custom jQuery on custom themeHow can bind jQuery to current document in Magento 2 When template load by ajaxRedirect page using plugin in Magento 2Magento 2 - Update quantity and totals of cart page without page reload?Magento 2: Quote data not loaded on knockout checkoutMagento 2 : I need to change add to cart success message after adding product into cart through pluginMagento 2.2.5 How to add additional products to cart from new checkout step?Magento 2 Add error/success message with knockoutCan't validate Post Code on checkout page

                                                    Fil:Tokke komm.svg

                                                    Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?