Using chain rule to differentiate $f(x)=a(x)b(x)$?Derivative rulesIntuition of multivariable chain ruleDifferentiate using the chain rule. Do not simplify.Correct simultanous application of chain and product ruleChain rule extravaganza - how to derive this?A puzzling “failure” of the Chain RuleOn the chain ruleChain rule when applying L'Hopital's ruleChain rule doubtHow to use the chain rule for change of variablePartial derivatives and normal derivative combined in the chain rule

Unconventional Opposites

How to detach yourself from a character you're going to kill?

Concise way to draw this pyramid

Why does my electric oven present the option of 40A and 50A breakers?

How can I determine the spell save DC of a monster/NPC?

Strange math syntax in old basic listing

Asking bank to reduce APR instead of increasing credit limit

Can you please explain this joke: "I'm going bananas is what I tell my bananas before I leave the house"?

Is /home directory in root partition mapped to /home partition

Accessing notepad from SSH Server

Setting extra bits in a bool makes it true and false at the same time

How do I get a cleat that's stuck in a pedal, detached from the shoe, out?

How can Iron Man's suit withstand this?

When leasing/renting out an owned property, is there a standard ratio between monthly rent and the mortgage?

How can I make 20-200 ohm variable resistor look like a 20-240 ohm resistor?

PhD student with mental health issues and bad performance

Pros and cons of writing a book review?

Where do the UpdateInstallationWizard.aspx logs get saved in Azure PaaS?

Will TSA allow me to carry a CPAP?

What if you don't bring your credit card or debit for incidentals?

Word for a small burst of laughter that can't be held back

Can an old DSLR be upgraded to match modern smartphone image quality

Comma Code - Ch. 4 Automate the Boring Stuff

Is having a hidden directory under /etc safe?



Using chain rule to differentiate $f(x)=a(x)b(x)$?


Derivative rulesIntuition of multivariable chain ruleDifferentiate using the chain rule. Do not simplify.Correct simultanous application of chain and product ruleChain rule extravaganza - how to derive this?A puzzling “failure” of the Chain RuleOn the chain ruleChain rule when applying L'Hopital's ruleChain rule doubtHow to use the chain rule for change of variablePartial derivatives and normal derivative combined in the chain rule













5












$begingroup$


Why can I not apply the chain rule to a product in the following way.



If we have some product:



$$f(x)=a(x)b(x)$$



Consider the multiplication of b by a as another’s function so that:



$$f(b(x))=ab$$



So that



$fracdfdx = f’(b)b’(x)$



Something feels very wrong. But I can’t put my finger on it.










share|cite|improve this question











$endgroup$







  • 8




    $begingroup$
    There may be a $g$ with $g(b(x))=a(x)b(x)$. But you probably don't want to call it "$f$".
    $endgroup$
    – David Mitra
    May 17 at 14:58






  • 2




    $begingroup$
    beginalign 2a(x)b(x)=a(x)^2+b(x)^2-(a(x)-b(x))^2 endalign And you know the derivative of $a(x)^2$ by chain rule.
    $endgroup$
    – Bach
    May 17 at 15:02















5












$begingroup$


Why can I not apply the chain rule to a product in the following way.



If we have some product:



$$f(x)=a(x)b(x)$$



Consider the multiplication of b by a as another’s function so that:



$$f(b(x))=ab$$



So that



$fracdfdx = f’(b)b’(x)$



Something feels very wrong. But I can’t put my finger on it.










share|cite|improve this question











$endgroup$







  • 8




    $begingroup$
    There may be a $g$ with $g(b(x))=a(x)b(x)$. But you probably don't want to call it "$f$".
    $endgroup$
    – David Mitra
    May 17 at 14:58






  • 2




    $begingroup$
    beginalign 2a(x)b(x)=a(x)^2+b(x)^2-(a(x)-b(x))^2 endalign And you know the derivative of $a(x)^2$ by chain rule.
    $endgroup$
    – Bach
    May 17 at 15:02













5












5








5


2



$begingroup$


Why can I not apply the chain rule to a product in the following way.



If we have some product:



$$f(x)=a(x)b(x)$$



Consider the multiplication of b by a as another’s function so that:



$$f(b(x))=ab$$



So that



$fracdfdx = f’(b)b’(x)$



Something feels very wrong. But I can’t put my finger on it.










share|cite|improve this question











$endgroup$




Why can I not apply the chain rule to a product in the following way.



If we have some product:



$$f(x)=a(x)b(x)$$



Consider the multiplication of b by a as another’s function so that:



$$f(b(x))=ab$$



So that



$fracdfdx = f’(b)b’(x)$



Something feels very wrong. But I can’t put my finger on it.







derivatives chain-rule






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited May 18 at 15:19









user21820

41k545166




41k545166










asked May 17 at 14:52









Jake RoseJake Rose

476




476







  • 8




    $begingroup$
    There may be a $g$ with $g(b(x))=a(x)b(x)$. But you probably don't want to call it "$f$".
    $endgroup$
    – David Mitra
    May 17 at 14:58






  • 2




    $begingroup$
    beginalign 2a(x)b(x)=a(x)^2+b(x)^2-(a(x)-b(x))^2 endalign And you know the derivative of $a(x)^2$ by chain rule.
    $endgroup$
    – Bach
    May 17 at 15:02












  • 8




    $begingroup$
    There may be a $g$ with $g(b(x))=a(x)b(x)$. But you probably don't want to call it "$f$".
    $endgroup$
    – David Mitra
    May 17 at 14:58






  • 2




    $begingroup$
    beginalign 2a(x)b(x)=a(x)^2+b(x)^2-(a(x)-b(x))^2 endalign And you know the derivative of $a(x)^2$ by chain rule.
    $endgroup$
    – Bach
    May 17 at 15:02







8




8




$begingroup$
There may be a $g$ with $g(b(x))=a(x)b(x)$. But you probably don't want to call it "$f$".
$endgroup$
– David Mitra
May 17 at 14:58




$begingroup$
There may be a $g$ with $g(b(x))=a(x)b(x)$. But you probably don't want to call it "$f$".
$endgroup$
– David Mitra
May 17 at 14:58




2




2




$begingroup$
beginalign 2a(x)b(x)=a(x)^2+b(x)^2-(a(x)-b(x))^2 endalign And you know the derivative of $a(x)^2$ by chain rule.
$endgroup$
– Bach
May 17 at 15:02




$begingroup$
beginalign 2a(x)b(x)=a(x)^2+b(x)^2-(a(x)-b(x))^2 endalign And you know the derivative of $a(x)^2$ by chain rule.
$endgroup$
– Bach
May 17 at 15:02










7 Answers
7






active

oldest

votes


















18












$begingroup$

Write $mu(u,v)=uv$. Then
$$
mu_1(u,v) = fracpartialmupartial u(u,v)= v,
quad
mu_2(u,v) = fracpartialmupartial v(u,v)= u
$$



Now $f(x)=mu(a(x),b(x))$ and so $$f'(x)=mu_1(a(x),b(x))a'(x)+mu_2(a(x),b(x))b'(x)=b(x)a'(x)+a(x)b'(x)$$



This is the multiplication rule using the chain rule.






share|cite|improve this answer









$endgroup$




















    13












    $begingroup$

    You can't use the chain rule because this is not a composition. Just calling it one does not make it one. For example, suppose $a(x)=x+1$ and $b(x)=x^2$. Then your first line says
    $$
    f(x) = x^2(x+1) = x^3+ x^2
    $$

    so
    $$
    f(b(x)) = f(x^2) = (x^2)^3 + (x^2)^2
    $$

    so not the same as "$ab$".






    share|cite|improve this answer









    $endgroup$








    • 1




      $begingroup$
      Is there a way to write a product of functions as a composition?
      $endgroup$
      – Jake Rose
      May 17 at 16:14






    • 3




      $begingroup$
      Short answer: no. Longer answer: yes, but you have to make things pretty convoluted. See the answer from @lbf . In general, try to think more about the meaning of the derivative as a rate of change, less about which rule to apply. See math.stackexchange.com/questions/3227026/derivative-rules/…
      $endgroup$
      – Ethan Bolker
      May 17 at 17:48



















    5












    $begingroup$

    If $f(x)=a(x)x$ (it looks as if this is what you have in mind), then $fbigl(b(x)bigr)$ is equal to $abigl(b(x)bigr)b(x)$, instead of $a(x)b(x)$.






    share|cite|improve this answer









    $endgroup$




















      4












      $begingroup$

      Also re-interpreting as per David Mitra's comment, that you are looking for some function $g$ such that $g(b(x)) = a(x)b(x)$ (where $g$ is something different from $f(x) = a(x)b(x)$).



      Your problem here is that then $a(x) = frac g(b(x))b(x)$. I.e., the value of $a(x)$ depends on that of $b(x)$. What happens when $b(x_1) = b(x_2)$ but $a(x_1) ne a(x_2)$? For example, suppose $b(x) = c$ for some constant $c$, but $a(x) = x$? Clearly no such $g$ can exist.



      So you cannot turn every product into a composition of single variable functions. However, as lhf has pointed out, multiplication itself is a multivariate function, and the product rule is actually just an application of the multivariate chain rule.






      share|cite|improve this answer









      $endgroup$




















        3












        $begingroup$

        Alternatively, if we know the chain rule and the derivative of the logarithm as well as the fact that $log(ab)=log(a)+log(b)$, we get that
        beginalign
        left(log(f(x)g(x)right)
        &= left(log(f(x))+log(g(x))right)'\
        &= fracf'(x)f(x)+fracg'(x)g(x)
        endalign

        But we also have that
        beginalign
        left(log(f(x)g(x)right)
        &= fracleft(f(x)g(x)right)'f(x)g(x)
        endalign






        share|cite|improve this answer









        $endgroup$




















          0












          $begingroup$

          Based on the remark given by David Mitra in the comments, you are considering:
          $$
          g(b(x))=a(x)b(x)
          $$

          which implies we must have
          $$
          g(x)=a(b^-1(x))x
          $$

          Finding the derivative of this $g$ will be a bit messy.
          $$
          frac ddxg(x)=a'(b^-1(x))cdotfrac 1b'(b^-1(x))cdot x+a(b^-1(x))
          $$

          and so plugging in $b(x)$ and applying the chain rule gives us:
          $$
          beginalign
          fracddxg(b(x))&=left(a'(x)cdotfrac 1b'(x)cdot b(x)+a(x)right)cdot b'(x)\
          &=a'(x)b(x)+a(x)b'(x)
          endalign
          $$






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Have you not inherently used the product rule when you differentiated g?
            $endgroup$
            – Jake Rose
            May 17 at 16:12






          • 1




            $begingroup$
            @JakeRose: Explicitly I have indeed. Then I might not be sure what you were asking, sorry for that.
            $endgroup$
            – String
            May 17 at 16:14


















          0












          $begingroup$

          If you can find such a composition $Acirc b = a(x)b(x)$, then the chain rule gives you the product rule. You can find $Acirc b$ just if b is invertible.




          • Because $a(x)$ and $b(x)$ are both functions of $x$, you might not be able to find a "multiplication function" $A$ that lets you write the product $a(x)b(x)$ as a chain rule composition $A(b(x))$.



            This is because $A$ only sees the output of the function $b(x)$. It doesn't see what $x$ is. If it can't see what $x$ is (or figure it out based on the value of $b(x)$), then it can't compute $a(x)$ and so it can't compute $a(x)b(x)$.



          • When you can recover the value of $x$ from the value of $b(x)$, we say that $b$ is invertible.



          • If $b$ is invertible, then it has an inverse $b^-1$ which recovers the value of $x$. So, if $y=b(x)$ then $b^-1(y) = x$.



            If $b$ is invertible, then you can define the function $A(y) equiv a(b^-1(y)) cdot y$.



          • Then notice that by definition, $A(b(x)) = a(b^-1(b(x))) cdot b(x) = a(x)b(x)$, exactly as we want it. We have written $a(x)b(x)$ as a chain rule composition $A(b(x))$.


          • When we take the derivative using the chain rule, we find that $fracddxA(b(x)) = a^prime(x)b(x) + a(x)b^prime(x)$, exactly as you want. Though because the definition of $A$ depends on a product, you either have to use the product rule anyways to differentiate it, or use the limit definition of the derivative to compute it.



          In multivariable calculus, the chain rule directly gives you the product rule.



          What you might be looking for, after all, is a way to use the chain rule as a fundamental tool for proving all of the other rules such as the product rule. You can do this with multivariable calculus.



          • The multiplication function is $M(u,v) = uv$. Its derivative is $DM(u,v) = langle v, urangle$.


          • If your two functions are $a(x)$ and $b(x)$, then their product is $g(x) = a(x)b(x)$.


          • We can write $g$ as a composition: $g(x) = M(a(x), b(x))$.


          • The derivative of $g$ is therefore the derivative of $M(a(x), b(x))$---and we can compute this latter derivative using the chain rule.


          • By the chain rule,


          begineqnarray*
          Dleft[M(a(x),b(x))right] &= DM( a(x), b(x))bullet Dlangle a(x), b(x)rangle\
          &= langle b(x), a(x)rangle bullet langle a^prime(x), b^prime(x)rangle\
          &= b(x)a^prime(x) + a(x)b^prime(x)
          endeqnarray*






          share|cite|improve this answer









          $endgroup$













            Your Answer








            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%2f3229580%2fusing-chain-rule-to-differentiate-fx-axbx%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown

























            7 Answers
            7






            active

            oldest

            votes








            7 Answers
            7






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            18












            $begingroup$

            Write $mu(u,v)=uv$. Then
            $$
            mu_1(u,v) = fracpartialmupartial u(u,v)= v,
            quad
            mu_2(u,v) = fracpartialmupartial v(u,v)= u
            $$



            Now $f(x)=mu(a(x),b(x))$ and so $$f'(x)=mu_1(a(x),b(x))a'(x)+mu_2(a(x),b(x))b'(x)=b(x)a'(x)+a(x)b'(x)$$



            This is the multiplication rule using the chain rule.






            share|cite|improve this answer









            $endgroup$

















              18












              $begingroup$

              Write $mu(u,v)=uv$. Then
              $$
              mu_1(u,v) = fracpartialmupartial u(u,v)= v,
              quad
              mu_2(u,v) = fracpartialmupartial v(u,v)= u
              $$



              Now $f(x)=mu(a(x),b(x))$ and so $$f'(x)=mu_1(a(x),b(x))a'(x)+mu_2(a(x),b(x))b'(x)=b(x)a'(x)+a(x)b'(x)$$



              This is the multiplication rule using the chain rule.






              share|cite|improve this answer









              $endgroup$















                18












                18








                18





                $begingroup$

                Write $mu(u,v)=uv$. Then
                $$
                mu_1(u,v) = fracpartialmupartial u(u,v)= v,
                quad
                mu_2(u,v) = fracpartialmupartial v(u,v)= u
                $$



                Now $f(x)=mu(a(x),b(x))$ and so $$f'(x)=mu_1(a(x),b(x))a'(x)+mu_2(a(x),b(x))b'(x)=b(x)a'(x)+a(x)b'(x)$$



                This is the multiplication rule using the chain rule.






                share|cite|improve this answer









                $endgroup$



                Write $mu(u,v)=uv$. Then
                $$
                mu_1(u,v) = fracpartialmupartial u(u,v)= v,
                quad
                mu_2(u,v) = fracpartialmupartial v(u,v)= u
                $$



                Now $f(x)=mu(a(x),b(x))$ and so $$f'(x)=mu_1(a(x),b(x))a'(x)+mu_2(a(x),b(x))b'(x)=b(x)a'(x)+a(x)b'(x)$$



                This is the multiplication rule using the chain rule.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered May 17 at 15:02









                lhflhf

                170k11174411




                170k11174411





















                    13












                    $begingroup$

                    You can't use the chain rule because this is not a composition. Just calling it one does not make it one. For example, suppose $a(x)=x+1$ and $b(x)=x^2$. Then your first line says
                    $$
                    f(x) = x^2(x+1) = x^3+ x^2
                    $$

                    so
                    $$
                    f(b(x)) = f(x^2) = (x^2)^3 + (x^2)^2
                    $$

                    so not the same as "$ab$".






                    share|cite|improve this answer









                    $endgroup$








                    • 1




                      $begingroup$
                      Is there a way to write a product of functions as a composition?
                      $endgroup$
                      – Jake Rose
                      May 17 at 16:14






                    • 3




                      $begingroup$
                      Short answer: no. Longer answer: yes, but you have to make things pretty convoluted. See the answer from @lbf . In general, try to think more about the meaning of the derivative as a rate of change, less about which rule to apply. See math.stackexchange.com/questions/3227026/derivative-rules/…
                      $endgroup$
                      – Ethan Bolker
                      May 17 at 17:48
















                    13












                    $begingroup$

                    You can't use the chain rule because this is not a composition. Just calling it one does not make it one. For example, suppose $a(x)=x+1$ and $b(x)=x^2$. Then your first line says
                    $$
                    f(x) = x^2(x+1) = x^3+ x^2
                    $$

                    so
                    $$
                    f(b(x)) = f(x^2) = (x^2)^3 + (x^2)^2
                    $$

                    so not the same as "$ab$".






                    share|cite|improve this answer









                    $endgroup$








                    • 1




                      $begingroup$
                      Is there a way to write a product of functions as a composition?
                      $endgroup$
                      – Jake Rose
                      May 17 at 16:14






                    • 3




                      $begingroup$
                      Short answer: no. Longer answer: yes, but you have to make things pretty convoluted. See the answer from @lbf . In general, try to think more about the meaning of the derivative as a rate of change, less about which rule to apply. See math.stackexchange.com/questions/3227026/derivative-rules/…
                      $endgroup$
                      – Ethan Bolker
                      May 17 at 17:48














                    13












                    13








                    13





                    $begingroup$

                    You can't use the chain rule because this is not a composition. Just calling it one does not make it one. For example, suppose $a(x)=x+1$ and $b(x)=x^2$. Then your first line says
                    $$
                    f(x) = x^2(x+1) = x^3+ x^2
                    $$

                    so
                    $$
                    f(b(x)) = f(x^2) = (x^2)^3 + (x^2)^2
                    $$

                    so not the same as "$ab$".






                    share|cite|improve this answer









                    $endgroup$



                    You can't use the chain rule because this is not a composition. Just calling it one does not make it one. For example, suppose $a(x)=x+1$ and $b(x)=x^2$. Then your first line says
                    $$
                    f(x) = x^2(x+1) = x^3+ x^2
                    $$

                    so
                    $$
                    f(b(x)) = f(x^2) = (x^2)^3 + (x^2)^2
                    $$

                    so not the same as "$ab$".







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered May 17 at 15:00









                    Ethan BolkerEthan Bolker

                    49.6k557127




                    49.6k557127







                    • 1




                      $begingroup$
                      Is there a way to write a product of functions as a composition?
                      $endgroup$
                      – Jake Rose
                      May 17 at 16:14






                    • 3




                      $begingroup$
                      Short answer: no. Longer answer: yes, but you have to make things pretty convoluted. See the answer from @lbf . In general, try to think more about the meaning of the derivative as a rate of change, less about which rule to apply. See math.stackexchange.com/questions/3227026/derivative-rules/…
                      $endgroup$
                      – Ethan Bolker
                      May 17 at 17:48













                    • 1




                      $begingroup$
                      Is there a way to write a product of functions as a composition?
                      $endgroup$
                      – Jake Rose
                      May 17 at 16:14






                    • 3




                      $begingroup$
                      Short answer: no. Longer answer: yes, but you have to make things pretty convoluted. See the answer from @lbf . In general, try to think more about the meaning of the derivative as a rate of change, less about which rule to apply. See math.stackexchange.com/questions/3227026/derivative-rules/…
                      $endgroup$
                      – Ethan Bolker
                      May 17 at 17:48








                    1




                    1




                    $begingroup$
                    Is there a way to write a product of functions as a composition?
                    $endgroup$
                    – Jake Rose
                    May 17 at 16:14




                    $begingroup$
                    Is there a way to write a product of functions as a composition?
                    $endgroup$
                    – Jake Rose
                    May 17 at 16:14




                    3




                    3




                    $begingroup$
                    Short answer: no. Longer answer: yes, but you have to make things pretty convoluted. See the answer from @lbf . In general, try to think more about the meaning of the derivative as a rate of change, less about which rule to apply. See math.stackexchange.com/questions/3227026/derivative-rules/…
                    $endgroup$
                    – Ethan Bolker
                    May 17 at 17:48





                    $begingroup$
                    Short answer: no. Longer answer: yes, but you have to make things pretty convoluted. See the answer from @lbf . In general, try to think more about the meaning of the derivative as a rate of change, less about which rule to apply. See math.stackexchange.com/questions/3227026/derivative-rules/…
                    $endgroup$
                    – Ethan Bolker
                    May 17 at 17:48












                    5












                    $begingroup$

                    If $f(x)=a(x)x$ (it looks as if this is what you have in mind), then $fbigl(b(x)bigr)$ is equal to $abigl(b(x)bigr)b(x)$, instead of $a(x)b(x)$.






                    share|cite|improve this answer









                    $endgroup$

















                      5












                      $begingroup$

                      If $f(x)=a(x)x$ (it looks as if this is what you have in mind), then $fbigl(b(x)bigr)$ is equal to $abigl(b(x)bigr)b(x)$, instead of $a(x)b(x)$.






                      share|cite|improve this answer









                      $endgroup$















                        5












                        5








                        5





                        $begingroup$

                        If $f(x)=a(x)x$ (it looks as if this is what you have in mind), then $fbigl(b(x)bigr)$ is equal to $abigl(b(x)bigr)b(x)$, instead of $a(x)b(x)$.






                        share|cite|improve this answer









                        $endgroup$



                        If $f(x)=a(x)x$ (it looks as if this is what you have in mind), then $fbigl(b(x)bigr)$ is equal to $abigl(b(x)bigr)b(x)$, instead of $a(x)b(x)$.







                        share|cite|improve this answer












                        share|cite|improve this answer



                        share|cite|improve this answer










                        answered May 17 at 15:00









                        José Carlos SantosJosé Carlos Santos

                        188k24145261




                        188k24145261





















                            4












                            $begingroup$

                            Also re-interpreting as per David Mitra's comment, that you are looking for some function $g$ such that $g(b(x)) = a(x)b(x)$ (where $g$ is something different from $f(x) = a(x)b(x)$).



                            Your problem here is that then $a(x) = frac g(b(x))b(x)$. I.e., the value of $a(x)$ depends on that of $b(x)$. What happens when $b(x_1) = b(x_2)$ but $a(x_1) ne a(x_2)$? For example, suppose $b(x) = c$ for some constant $c$, but $a(x) = x$? Clearly no such $g$ can exist.



                            So you cannot turn every product into a composition of single variable functions. However, as lhf has pointed out, multiplication itself is a multivariate function, and the product rule is actually just an application of the multivariate chain rule.






                            share|cite|improve this answer









                            $endgroup$

















                              4












                              $begingroup$

                              Also re-interpreting as per David Mitra's comment, that you are looking for some function $g$ such that $g(b(x)) = a(x)b(x)$ (where $g$ is something different from $f(x) = a(x)b(x)$).



                              Your problem here is that then $a(x) = frac g(b(x))b(x)$. I.e., the value of $a(x)$ depends on that of $b(x)$. What happens when $b(x_1) = b(x_2)$ but $a(x_1) ne a(x_2)$? For example, suppose $b(x) = c$ for some constant $c$, but $a(x) = x$? Clearly no such $g$ can exist.



                              So you cannot turn every product into a composition of single variable functions. However, as lhf has pointed out, multiplication itself is a multivariate function, and the product rule is actually just an application of the multivariate chain rule.






                              share|cite|improve this answer









                              $endgroup$















                                4












                                4








                                4





                                $begingroup$

                                Also re-interpreting as per David Mitra's comment, that you are looking for some function $g$ such that $g(b(x)) = a(x)b(x)$ (where $g$ is something different from $f(x) = a(x)b(x)$).



                                Your problem here is that then $a(x) = frac g(b(x))b(x)$. I.e., the value of $a(x)$ depends on that of $b(x)$. What happens when $b(x_1) = b(x_2)$ but $a(x_1) ne a(x_2)$? For example, suppose $b(x) = c$ for some constant $c$, but $a(x) = x$? Clearly no such $g$ can exist.



                                So you cannot turn every product into a composition of single variable functions. However, as lhf has pointed out, multiplication itself is a multivariate function, and the product rule is actually just an application of the multivariate chain rule.






                                share|cite|improve this answer









                                $endgroup$



                                Also re-interpreting as per David Mitra's comment, that you are looking for some function $g$ such that $g(b(x)) = a(x)b(x)$ (where $g$ is something different from $f(x) = a(x)b(x)$).



                                Your problem here is that then $a(x) = frac g(b(x))b(x)$. I.e., the value of $a(x)$ depends on that of $b(x)$. What happens when $b(x_1) = b(x_2)$ but $a(x_1) ne a(x_2)$? For example, suppose $b(x) = c$ for some constant $c$, but $a(x) = x$? Clearly no such $g$ can exist.



                                So you cannot turn every product into a composition of single variable functions. However, as lhf has pointed out, multiplication itself is a multivariate function, and the product rule is actually just an application of the multivariate chain rule.







                                share|cite|improve this answer












                                share|cite|improve this answer



                                share|cite|improve this answer










                                answered May 17 at 19:59









                                Paul SinclairPaul Sinclair

                                21.3k21644




                                21.3k21644





















                                    3












                                    $begingroup$

                                    Alternatively, if we know the chain rule and the derivative of the logarithm as well as the fact that $log(ab)=log(a)+log(b)$, we get that
                                    beginalign
                                    left(log(f(x)g(x)right)
                                    &= left(log(f(x))+log(g(x))right)'\
                                    &= fracf'(x)f(x)+fracg'(x)g(x)
                                    endalign

                                    But we also have that
                                    beginalign
                                    left(log(f(x)g(x)right)
                                    &= fracleft(f(x)g(x)right)'f(x)g(x)
                                    endalign






                                    share|cite|improve this answer









                                    $endgroup$

















                                      3












                                      $begingroup$

                                      Alternatively, if we know the chain rule and the derivative of the logarithm as well as the fact that $log(ab)=log(a)+log(b)$, we get that
                                      beginalign
                                      left(log(f(x)g(x)right)
                                      &= left(log(f(x))+log(g(x))right)'\
                                      &= fracf'(x)f(x)+fracg'(x)g(x)
                                      endalign

                                      But we also have that
                                      beginalign
                                      left(log(f(x)g(x)right)
                                      &= fracleft(f(x)g(x)right)'f(x)g(x)
                                      endalign






                                      share|cite|improve this answer









                                      $endgroup$















                                        3












                                        3








                                        3





                                        $begingroup$

                                        Alternatively, if we know the chain rule and the derivative of the logarithm as well as the fact that $log(ab)=log(a)+log(b)$, we get that
                                        beginalign
                                        left(log(f(x)g(x)right)
                                        &= left(log(f(x))+log(g(x))right)'\
                                        &= fracf'(x)f(x)+fracg'(x)g(x)
                                        endalign

                                        But we also have that
                                        beginalign
                                        left(log(f(x)g(x)right)
                                        &= fracleft(f(x)g(x)right)'f(x)g(x)
                                        endalign






                                        share|cite|improve this answer









                                        $endgroup$



                                        Alternatively, if we know the chain rule and the derivative of the logarithm as well as the fact that $log(ab)=log(a)+log(b)$, we get that
                                        beginalign
                                        left(log(f(x)g(x)right)
                                        &= left(log(f(x))+log(g(x))right)'\
                                        &= fracf'(x)f(x)+fracg'(x)g(x)
                                        endalign

                                        But we also have that
                                        beginalign
                                        left(log(f(x)g(x)right)
                                        &= fracleft(f(x)g(x)right)'f(x)g(x)
                                        endalign







                                        share|cite|improve this answer












                                        share|cite|improve this answer



                                        share|cite|improve this answer










                                        answered May 17 at 21:09









                                        BotondBotond

                                        7,38331035




                                        7,38331035





















                                            0












                                            $begingroup$

                                            Based on the remark given by David Mitra in the comments, you are considering:
                                            $$
                                            g(b(x))=a(x)b(x)
                                            $$

                                            which implies we must have
                                            $$
                                            g(x)=a(b^-1(x))x
                                            $$

                                            Finding the derivative of this $g$ will be a bit messy.
                                            $$
                                            frac ddxg(x)=a'(b^-1(x))cdotfrac 1b'(b^-1(x))cdot x+a(b^-1(x))
                                            $$

                                            and so plugging in $b(x)$ and applying the chain rule gives us:
                                            $$
                                            beginalign
                                            fracddxg(b(x))&=left(a'(x)cdotfrac 1b'(x)cdot b(x)+a(x)right)cdot b'(x)\
                                            &=a'(x)b(x)+a(x)b'(x)
                                            endalign
                                            $$






                                            share|cite|improve this answer









                                            $endgroup$












                                            • $begingroup$
                                              Have you not inherently used the product rule when you differentiated g?
                                              $endgroup$
                                              – Jake Rose
                                              May 17 at 16:12






                                            • 1




                                              $begingroup$
                                              @JakeRose: Explicitly I have indeed. Then I might not be sure what you were asking, sorry for that.
                                              $endgroup$
                                              – String
                                              May 17 at 16:14















                                            0












                                            $begingroup$

                                            Based on the remark given by David Mitra in the comments, you are considering:
                                            $$
                                            g(b(x))=a(x)b(x)
                                            $$

                                            which implies we must have
                                            $$
                                            g(x)=a(b^-1(x))x
                                            $$

                                            Finding the derivative of this $g$ will be a bit messy.
                                            $$
                                            frac ddxg(x)=a'(b^-1(x))cdotfrac 1b'(b^-1(x))cdot x+a(b^-1(x))
                                            $$

                                            and so plugging in $b(x)$ and applying the chain rule gives us:
                                            $$
                                            beginalign
                                            fracddxg(b(x))&=left(a'(x)cdotfrac 1b'(x)cdot b(x)+a(x)right)cdot b'(x)\
                                            &=a'(x)b(x)+a(x)b'(x)
                                            endalign
                                            $$






                                            share|cite|improve this answer









                                            $endgroup$












                                            • $begingroup$
                                              Have you not inherently used the product rule when you differentiated g?
                                              $endgroup$
                                              – Jake Rose
                                              May 17 at 16:12






                                            • 1




                                              $begingroup$
                                              @JakeRose: Explicitly I have indeed. Then I might not be sure what you were asking, sorry for that.
                                              $endgroup$
                                              – String
                                              May 17 at 16:14













                                            0












                                            0








                                            0





                                            $begingroup$

                                            Based on the remark given by David Mitra in the comments, you are considering:
                                            $$
                                            g(b(x))=a(x)b(x)
                                            $$

                                            which implies we must have
                                            $$
                                            g(x)=a(b^-1(x))x
                                            $$

                                            Finding the derivative of this $g$ will be a bit messy.
                                            $$
                                            frac ddxg(x)=a'(b^-1(x))cdotfrac 1b'(b^-1(x))cdot x+a(b^-1(x))
                                            $$

                                            and so plugging in $b(x)$ and applying the chain rule gives us:
                                            $$
                                            beginalign
                                            fracddxg(b(x))&=left(a'(x)cdotfrac 1b'(x)cdot b(x)+a(x)right)cdot b'(x)\
                                            &=a'(x)b(x)+a(x)b'(x)
                                            endalign
                                            $$






                                            share|cite|improve this answer









                                            $endgroup$



                                            Based on the remark given by David Mitra in the comments, you are considering:
                                            $$
                                            g(b(x))=a(x)b(x)
                                            $$

                                            which implies we must have
                                            $$
                                            g(x)=a(b^-1(x))x
                                            $$

                                            Finding the derivative of this $g$ will be a bit messy.
                                            $$
                                            frac ddxg(x)=a'(b^-1(x))cdotfrac 1b'(b^-1(x))cdot x+a(b^-1(x))
                                            $$

                                            and so plugging in $b(x)$ and applying the chain rule gives us:
                                            $$
                                            beginalign
                                            fracddxg(b(x))&=left(a'(x)cdotfrac 1b'(x)cdot b(x)+a(x)right)cdot b'(x)\
                                            &=a'(x)b(x)+a(x)b'(x)
                                            endalign
                                            $$







                                            share|cite|improve this answer












                                            share|cite|improve this answer



                                            share|cite|improve this answer










                                            answered May 17 at 15:20









                                            StringString

                                            14k32758




                                            14k32758











                                            • $begingroup$
                                              Have you not inherently used the product rule when you differentiated g?
                                              $endgroup$
                                              – Jake Rose
                                              May 17 at 16:12






                                            • 1




                                              $begingroup$
                                              @JakeRose: Explicitly I have indeed. Then I might not be sure what you were asking, sorry for that.
                                              $endgroup$
                                              – String
                                              May 17 at 16:14
















                                            • $begingroup$
                                              Have you not inherently used the product rule when you differentiated g?
                                              $endgroup$
                                              – Jake Rose
                                              May 17 at 16:12






                                            • 1




                                              $begingroup$
                                              @JakeRose: Explicitly I have indeed. Then I might not be sure what you were asking, sorry for that.
                                              $endgroup$
                                              – String
                                              May 17 at 16:14















                                            $begingroup$
                                            Have you not inherently used the product rule when you differentiated g?
                                            $endgroup$
                                            – Jake Rose
                                            May 17 at 16:12




                                            $begingroup$
                                            Have you not inherently used the product rule when you differentiated g?
                                            $endgroup$
                                            – Jake Rose
                                            May 17 at 16:12




                                            1




                                            1




                                            $begingroup$
                                            @JakeRose: Explicitly I have indeed. Then I might not be sure what you were asking, sorry for that.
                                            $endgroup$
                                            – String
                                            May 17 at 16:14




                                            $begingroup$
                                            @JakeRose: Explicitly I have indeed. Then I might not be sure what you were asking, sorry for that.
                                            $endgroup$
                                            – String
                                            May 17 at 16:14











                                            0












                                            $begingroup$

                                            If you can find such a composition $Acirc b = a(x)b(x)$, then the chain rule gives you the product rule. You can find $Acirc b$ just if b is invertible.




                                            • Because $a(x)$ and $b(x)$ are both functions of $x$, you might not be able to find a "multiplication function" $A$ that lets you write the product $a(x)b(x)$ as a chain rule composition $A(b(x))$.



                                              This is because $A$ only sees the output of the function $b(x)$. It doesn't see what $x$ is. If it can't see what $x$ is (or figure it out based on the value of $b(x)$), then it can't compute $a(x)$ and so it can't compute $a(x)b(x)$.



                                            • When you can recover the value of $x$ from the value of $b(x)$, we say that $b$ is invertible.



                                            • If $b$ is invertible, then it has an inverse $b^-1$ which recovers the value of $x$. So, if $y=b(x)$ then $b^-1(y) = x$.



                                              If $b$ is invertible, then you can define the function $A(y) equiv a(b^-1(y)) cdot y$.



                                            • Then notice that by definition, $A(b(x)) = a(b^-1(b(x))) cdot b(x) = a(x)b(x)$, exactly as we want it. We have written $a(x)b(x)$ as a chain rule composition $A(b(x))$.


                                            • When we take the derivative using the chain rule, we find that $fracddxA(b(x)) = a^prime(x)b(x) + a(x)b^prime(x)$, exactly as you want. Though because the definition of $A$ depends on a product, you either have to use the product rule anyways to differentiate it, or use the limit definition of the derivative to compute it.



                                            In multivariable calculus, the chain rule directly gives you the product rule.



                                            What you might be looking for, after all, is a way to use the chain rule as a fundamental tool for proving all of the other rules such as the product rule. You can do this with multivariable calculus.



                                            • The multiplication function is $M(u,v) = uv$. Its derivative is $DM(u,v) = langle v, urangle$.


                                            • If your two functions are $a(x)$ and $b(x)$, then their product is $g(x) = a(x)b(x)$.


                                            • We can write $g$ as a composition: $g(x) = M(a(x), b(x))$.


                                            • The derivative of $g$ is therefore the derivative of $M(a(x), b(x))$---and we can compute this latter derivative using the chain rule.


                                            • By the chain rule,


                                            begineqnarray*
                                            Dleft[M(a(x),b(x))right] &= DM( a(x), b(x))bullet Dlangle a(x), b(x)rangle\
                                            &= langle b(x), a(x)rangle bullet langle a^prime(x), b^prime(x)rangle\
                                            &= b(x)a^prime(x) + a(x)b^prime(x)
                                            endeqnarray*






                                            share|cite|improve this answer









                                            $endgroup$

















                                              0












                                              $begingroup$

                                              If you can find such a composition $Acirc b = a(x)b(x)$, then the chain rule gives you the product rule. You can find $Acirc b$ just if b is invertible.




                                              • Because $a(x)$ and $b(x)$ are both functions of $x$, you might not be able to find a "multiplication function" $A$ that lets you write the product $a(x)b(x)$ as a chain rule composition $A(b(x))$.



                                                This is because $A$ only sees the output of the function $b(x)$. It doesn't see what $x$ is. If it can't see what $x$ is (or figure it out based on the value of $b(x)$), then it can't compute $a(x)$ and so it can't compute $a(x)b(x)$.



                                              • When you can recover the value of $x$ from the value of $b(x)$, we say that $b$ is invertible.



                                              • If $b$ is invertible, then it has an inverse $b^-1$ which recovers the value of $x$. So, if $y=b(x)$ then $b^-1(y) = x$.



                                                If $b$ is invertible, then you can define the function $A(y) equiv a(b^-1(y)) cdot y$.



                                              • Then notice that by definition, $A(b(x)) = a(b^-1(b(x))) cdot b(x) = a(x)b(x)$, exactly as we want it. We have written $a(x)b(x)$ as a chain rule composition $A(b(x))$.


                                              • When we take the derivative using the chain rule, we find that $fracddxA(b(x)) = a^prime(x)b(x) + a(x)b^prime(x)$, exactly as you want. Though because the definition of $A$ depends on a product, you either have to use the product rule anyways to differentiate it, or use the limit definition of the derivative to compute it.



                                              In multivariable calculus, the chain rule directly gives you the product rule.



                                              What you might be looking for, after all, is a way to use the chain rule as a fundamental tool for proving all of the other rules such as the product rule. You can do this with multivariable calculus.



                                              • The multiplication function is $M(u,v) = uv$. Its derivative is $DM(u,v) = langle v, urangle$.


                                              • If your two functions are $a(x)$ and $b(x)$, then their product is $g(x) = a(x)b(x)$.


                                              • We can write $g$ as a composition: $g(x) = M(a(x), b(x))$.


                                              • The derivative of $g$ is therefore the derivative of $M(a(x), b(x))$---and we can compute this latter derivative using the chain rule.


                                              • By the chain rule,


                                              begineqnarray*
                                              Dleft[M(a(x),b(x))right] &= DM( a(x), b(x))bullet Dlangle a(x), b(x)rangle\
                                              &= langle b(x), a(x)rangle bullet langle a^prime(x), b^prime(x)rangle\
                                              &= b(x)a^prime(x) + a(x)b^prime(x)
                                              endeqnarray*






                                              share|cite|improve this answer









                                              $endgroup$















                                                0












                                                0








                                                0





                                                $begingroup$

                                                If you can find such a composition $Acirc b = a(x)b(x)$, then the chain rule gives you the product rule. You can find $Acirc b$ just if b is invertible.




                                                • Because $a(x)$ and $b(x)$ are both functions of $x$, you might not be able to find a "multiplication function" $A$ that lets you write the product $a(x)b(x)$ as a chain rule composition $A(b(x))$.



                                                  This is because $A$ only sees the output of the function $b(x)$. It doesn't see what $x$ is. If it can't see what $x$ is (or figure it out based on the value of $b(x)$), then it can't compute $a(x)$ and so it can't compute $a(x)b(x)$.



                                                • When you can recover the value of $x$ from the value of $b(x)$, we say that $b$ is invertible.



                                                • If $b$ is invertible, then it has an inverse $b^-1$ which recovers the value of $x$. So, if $y=b(x)$ then $b^-1(y) = x$.



                                                  If $b$ is invertible, then you can define the function $A(y) equiv a(b^-1(y)) cdot y$.



                                                • Then notice that by definition, $A(b(x)) = a(b^-1(b(x))) cdot b(x) = a(x)b(x)$, exactly as we want it. We have written $a(x)b(x)$ as a chain rule composition $A(b(x))$.


                                                • When we take the derivative using the chain rule, we find that $fracddxA(b(x)) = a^prime(x)b(x) + a(x)b^prime(x)$, exactly as you want. Though because the definition of $A$ depends on a product, you either have to use the product rule anyways to differentiate it, or use the limit definition of the derivative to compute it.



                                                In multivariable calculus, the chain rule directly gives you the product rule.



                                                What you might be looking for, after all, is a way to use the chain rule as a fundamental tool for proving all of the other rules such as the product rule. You can do this with multivariable calculus.



                                                • The multiplication function is $M(u,v) = uv$. Its derivative is $DM(u,v) = langle v, urangle$.


                                                • If your two functions are $a(x)$ and $b(x)$, then their product is $g(x) = a(x)b(x)$.


                                                • We can write $g$ as a composition: $g(x) = M(a(x), b(x))$.


                                                • The derivative of $g$ is therefore the derivative of $M(a(x), b(x))$---and we can compute this latter derivative using the chain rule.


                                                • By the chain rule,


                                                begineqnarray*
                                                Dleft[M(a(x),b(x))right] &= DM( a(x), b(x))bullet Dlangle a(x), b(x)rangle\
                                                &= langle b(x), a(x)rangle bullet langle a^prime(x), b^prime(x)rangle\
                                                &= b(x)a^prime(x) + a(x)b^prime(x)
                                                endeqnarray*






                                                share|cite|improve this answer









                                                $endgroup$



                                                If you can find such a composition $Acirc b = a(x)b(x)$, then the chain rule gives you the product rule. You can find $Acirc b$ just if b is invertible.




                                                • Because $a(x)$ and $b(x)$ are both functions of $x$, you might not be able to find a "multiplication function" $A$ that lets you write the product $a(x)b(x)$ as a chain rule composition $A(b(x))$.



                                                  This is because $A$ only sees the output of the function $b(x)$. It doesn't see what $x$ is. If it can't see what $x$ is (or figure it out based on the value of $b(x)$), then it can't compute $a(x)$ and so it can't compute $a(x)b(x)$.



                                                • When you can recover the value of $x$ from the value of $b(x)$, we say that $b$ is invertible.



                                                • If $b$ is invertible, then it has an inverse $b^-1$ which recovers the value of $x$. So, if $y=b(x)$ then $b^-1(y) = x$.



                                                  If $b$ is invertible, then you can define the function $A(y) equiv a(b^-1(y)) cdot y$.



                                                • Then notice that by definition, $A(b(x)) = a(b^-1(b(x))) cdot b(x) = a(x)b(x)$, exactly as we want it. We have written $a(x)b(x)$ as a chain rule composition $A(b(x))$.


                                                • When we take the derivative using the chain rule, we find that $fracddxA(b(x)) = a^prime(x)b(x) + a(x)b^prime(x)$, exactly as you want. Though because the definition of $A$ depends on a product, you either have to use the product rule anyways to differentiate it, or use the limit definition of the derivative to compute it.



                                                In multivariable calculus, the chain rule directly gives you the product rule.



                                                What you might be looking for, after all, is a way to use the chain rule as a fundamental tool for proving all of the other rules such as the product rule. You can do this with multivariable calculus.



                                                • The multiplication function is $M(u,v) = uv$. Its derivative is $DM(u,v) = langle v, urangle$.


                                                • If your two functions are $a(x)$ and $b(x)$, then their product is $g(x) = a(x)b(x)$.


                                                • We can write $g$ as a composition: $g(x) = M(a(x), b(x))$.


                                                • The derivative of $g$ is therefore the derivative of $M(a(x), b(x))$---and we can compute this latter derivative using the chain rule.


                                                • By the chain rule,


                                                begineqnarray*
                                                Dleft[M(a(x),b(x))right] &= DM( a(x), b(x))bullet Dlangle a(x), b(x)rangle\
                                                &= langle b(x), a(x)rangle bullet langle a^prime(x), b^prime(x)rangle\
                                                &= b(x)a^prime(x) + a(x)b^prime(x)
                                                endeqnarray*







                                                share|cite|improve this answer












                                                share|cite|improve this answer



                                                share|cite|improve this answer










                                                answered May 22 at 6:50









                                                user326210user326210

                                                10.2k1027




                                                10.2k1027



























                                                    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%2f3229580%2fusing-chain-rule-to-differentiate-fx-axbx%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

                                                    Wikipedia:Vital articles Мазмуну Biography - Өмүр баян Philosophy and psychology - Философия жана психология Religion - Дин Social sciences - Коомдук илимдер Language and literature - Тил жана адабият Science - Илим Technology - Технология Arts and recreation - Искусство жана эс алуу History and geography - Тарых жана география Навигация менюсу

                                                    Bruxelas-Capital Índice Historia | Composición | Situación lingüística | Clima | Cidades irmandadas | Notas | Véxase tamén | Menú de navegacióneO uso das linguas en Bruxelas e a situación do neerlandés"Rexión de Bruxelas Capital"o orixinalSitio da rexiónPáxina de Bruselas no sitio da Oficina de Promoción Turística de Valonia e BruxelasMapa Interactivo da Rexión de Bruxelas-CapitaleeWorldCat332144929079854441105155190212ID28008674080552-90000 0001 0666 3698n94104302ID540940339365017018237

                                                    What should I write in an apology letter, since I have decided not to join a company after accepting an offer letterShould I keep looking after accepting a job offer?What should I do when I've been verbally told I would get an offer letter, but still haven't gotten one after 4 weeks?Do I accept an offer from a company that I am not likely to join?New job hasn't confirmed starting date and I want to give current employer as much notice as possibleHow should I address my manager in my resignation letter?HR delayed background verification, now jobless as resignedNo email communication after accepting a formal written offer. How should I phrase the call?What should I do if after receiving a verbal offer letter I am informed that my written job offer is put on hold due to some internal issues?Should I inform the current employer that I am about to resign within 1-2 weeks since I have signed the offer letter and waiting for visa?What company will do, if I send their offer letter to another company