1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Insights Some Misconceptions about Indefinite Integrals - Comments

  1. Jul 3, 2016 #1

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

  2. jcsd
  3. Jul 6, 2016 #2
    Great Insight MM!
     
  4. Jul 11, 2016 #3

    Ssnow

    User Avatar
    Gold Member

    very interesting!
     
  5. Jul 20, 2016 #4
  6. Aug 25, 2016 #5

    ibkev

    User Avatar
    Gold Member

    The first paradox was very cool but where did the equation come from that the second paradox starts with?
     
  7. Aug 25, 2016 #6
    When we did integrals, we didn't look "backward" and consider the integral to be "interpreted as all the functions...". Instead, it was interpreted as :the area under the curve of the specified function; in this case, the function is 1/x - in which case, the RHS is correct.
    Going back the other way doesn't work, b/c the integral doesn't actually represent "all the functions" - just the specified one. And you can't take the derivative of a discontinuous function (or a "not smooth" function) as represented by your RHS?
     
  8. Aug 25, 2016 #7
    That is indeed true for a definite integral, but this insight is considering indefinite integrals, which deals with the problem of finding antiderivatives.
     
  9. Sep 10, 2016 #8

    ibkev

    User Avatar
    Gold Member

    Can someone explain where the equation comes from that the second paradox starts with? The one where the integrals on both sides cancel leaving 0 = 1?
     
  10. Sep 13, 2016 #9

    Dale

    Staff: Mentor

    Moderator's note: a fairly long series of posts based on a (now resolved) confusion have been removed.
     
  11. Sep 17, 2016 #10
    Good information, this.
     
  12. Sep 24, 2016 #11
    If you pick two separate constants for the 1/x integral, the formula won't work in the complex plane. log(x)+C continues to work in the complex plane as long as it is the same (single) value of C over all branches.

    For the second case, the paradox arises from the habit of leaving out the indefinite constants until the very end. Ordinarily, we work ahead without including the arbitrary constants which arise from each new integral, gumming them all up in the final +C we add at the very end. When the equation here finally reads 0=1, we have to remember that it should really read 0=1+C, where the single C is actually a combination of several arbitrary constants.

    If you want to be super pedantic about the C, you must remember that it arises from up to three indefinite integrals from the derivation of integration by parts, which STRICTLY reads

    int u dv = int d(uv) - int v du

    tl;dr there's always a +C floating around at the end of your equations when you integrate by parts. But for the same function, it had better be the same +C.
     
  13. Sep 24, 2016 #12

    thierrykauf

    User Avatar
    Gold Member

    I like to think that this has always been known and clear to everybody.
     
  14. Sep 24, 2016 #13

    ibkev

    User Avatar
    Gold Member

    It really depends on people's backgrounds and how recently they've studied all this.

    This turns out to be because micromass can do integration by parts in his sleep and I had to think about it a bit :)

    In case it helps any other newbs out there, we want to solve:
    $$\int \frac{1}{x} dx$$
    Using integration by parts, whose formula is:
    $$\int u dv=uv-\int v du$$
    We substitute ##u=\frac {1}{x}##, ##du=-\frac{1}{x^2}dx## and ##dv=dx##, ##v=x## into the formula and find:
    $$= \frac {1}{x}x-\int x \left( -\frac {1}{x^2} dx\right)$$
    And we've now arrived at the second paradox that micromass explains in his Insight:
    $$\int \frac{1}{x} dx = 1 + \int \frac{1}{x} dx$$
     
    Last edited: Sep 24, 2016
  15. Sep 24, 2016 #14

    Mark44

    Staff: Mentor

    I hope you aren't trying to conclude from this that 0 = 1.
     
  16. Sep 24, 2016 #15

    ibkev

    User Avatar
    Gold Member

    Ha - very funny! o0)
     
  17. Sep 24, 2016 #16

    thierrykauf

    User Avatar
    Gold Member

    Just like absolute value of x stands for two (not one) expressions, so does the shortcut C. When I learned this eons ago my teacher made it clear that C stood for two constants, one for each domain x < 0 and x>0.
     
  18. Sep 24, 2016 #17

    ibkev

    User Avatar
    Gold Member

    Thanks for pointing this out - I had to look this up again because I'd long forgotten why. For the benefit of others in my position...

    There are two constants when integrating ##\frac {1}{x}## because applying the fundamental theorem of calculus requires that the function be continuous over the interval we are interested in. For the indefinite integral, we are working with +/-##\infty## BUT ##\frac {1}{x}## is undefined when x=0, so its not continuous over our entire interval. To account for this, the integral must be evaluated on either side of the discontinuity, once for ##(-\infty,0)## and ##(0,+\infty)##. Each time this is done, we must use a different constant of integration.

    Had the function been something like ##\frac {1}{(x-1)}## we would have had one constant for x < 1 and another for x > 1
     
  19. Sep 24, 2016 #18
  20. Sep 24, 2016 #19

    jbriggs444

    User Avatar
    Science Advisor

    Start with the idea of an "equivalence relation". This is a relation that is reflexive, symmetric and transitive. Equality is one example of an equivalence relation. Modulus arithmetic is another. Two numbers are "equivalent modulo n" if they each have the same remainder upon division by n. In the case at hand, the equivalence relation is that two functions are equivalent if their first derivatives are identical as functions.

    Given a set (a set of functions in this case) and an equivalence relation, one can divide the set up into "equivalence classes" where every member of any particular equivalence class is equivalent to every other member.

    One can pick out a particular equivalence class by selecting a member, an "exemplar" of that class. The equivalence class selected in this manner is the set of all elements that are equivalent to the exemplar.

    The notation "[alpha]' in the article denotes the equivalence class whose exemplar is the constant function f(x) = ##\alpha##
    The notation "[0]" denotes the equivalence class whose exemplar is the constant function f(x) = 0.

    And indeed, those two equivalence classes are identical.
     
  21. Sep 24, 2016 #20
    thanks for explanation.

    further - so given;

    "In the case at hand, the equivalence relation is that two functions are equivalent if their first derivatives are identical as functions."

    then;

    y1 = 5x + 1

    and

    y2 = 5x + 7

    y1 and y2 are equivalent but y3 = 5x + 1 and y4 = 7x + 1 are not equivalent?

    are you free to make up any equivalence relationship?

    ie can I say that;

    given two functions are equivalent if the value of their first derivative is zero.

    eg;

    y1 = 2

    and

    y2 = Pi

    are equivalent? or are there pre-defined laws on equivalence?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Some Misconceptions about Indefinite Integrals - Comments
  1. Indefinite Integration (Replies: 6)

  2. Indefinite integrals (Replies: 4)

Loading...