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!

Integrate e^x arctan(x)

  1. Apr 19, 2012 #1
    I'm working on a take home exam in my Calculus 2 class. The exam is completely done except for one problem and I desperately need help. I've put so much time into this one problem that I'm ready to just miss it and take the hit.

    1. The problem statement, all variables and given/known data

    Indefinite Integral

    ∫(e^x)*(arctan(x))dx

    2. Relevant equations



    3. The attempt at a solution

    I've tried using a couple different substitutions by parts. Using u = arctan(x) results in (e^x)*arctan(x) - ∫(e^x)/(x^2+1) dx I couldn't seem to progress any further on that integral either.

    Another attempt used x = tanθ which results in ∫arctan(ln(u))du Once again, I couldn't make any further progress with this integral.



    It seems as though the problem was written improperly, but I asked my professor and she said it is correct as written. I would greatly appreciate any and all help you can provide.
     
  2. jcsd
  3. Apr 19, 2012 #2
    If that's written correctly, your calc 2 class is hardcore. I doubt that even has an elementary antiderivative, and if it does, it's uglier than gary busey.
     
  4. Apr 19, 2012 #3
    I'm pretty sure it has to be wrong. The test has 60 problems. The other 59 took me about 10-15 hours total. This one problem has taken at least 8 so far and i'm still no closer to an answer.
     
  5. Apr 19, 2012 #4
    Well, whenever I have doubts whether there's a mistake on a problem like this, I run it through Wolfram Alpha or an equivalent software and see whether the answer seems like something I'm supposed to be able to do.

    Have you tried that? Wolfram seems to give

    [itex]\frac{1}{2}ie^{i}Ei(x-i)-\frac{1}{2}ie^{-i}Ei(x+i)+e^{x}\arctan(x)+C[/itex]

    Does that look familiar?

    I have no idea about the syllabus (sorry, is that the right word?) in US (I assume?), or any other countries foreign for me, so I don't know what "Calculus II" would actually cover.
     
  6. Apr 19, 2012 #5
    i the imaginary unit?

    :confused:
     
  7. Apr 19, 2012 #6
    That solution from Wolfram alpha basically admits it doesn't know the solution. The Ei function is one defined as an integral. But I have encountered integrals for which Wolfram alpha could not solve yet were solvable. It's most likely your teacher selected this challenge problem to stump up students who use automatic solvers.
     
  8. Apr 19, 2012 #7
    ..and everyone else.

    Enjoy your 59/60.
     
  9. Apr 19, 2012 #8
    Write on the test that you tried like hell, but that you suspect no closed for solution exists. He'll probably enjoy the honesty :-)
     
  10. Apr 19, 2012 #9
    Maybe it's a trick, and anyone who writes what wolfram said will fail the course.
     
  11. Apr 19, 2012 #10
    Yet another failed solution. I tried a substitution for e^x and managed to get to ∫1/((ln(x))^2+1)dx

    But, once again, that's as far as it'll go.

    I'll have to take it into her again and have her show a step or two that she would take. In the past she's been a big stickler for Algebraic manipulation before integration, but I can't get any other forms to fall out of this equation.

    Sadly, we haven't done anything similar to adding i into our answers.
     
  12. Apr 19, 2012 #11
    Just realized this was a double post of sorts
     
    Last edited: Apr 19, 2012
  13. Apr 19, 2012 #12
    Building of your idea of using integration by parts to obtain:

    (e^x)*arctan(x) - ∫(e^x)/(x^2+1)dx

    If you consider the function in the integral as a function of a complex variable, you may note that it is holomorphic on open sets U that stay away from i and -i. Using Cauchy's Integral Formula should allow you to construct a primitive on such sets.

    But yes, very hard for a Calc II course.
     
  14. Apr 19, 2012 #13

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Like what??

    That shouldn't be the case actually. If wolfram alpha says that it can't be solved in terms of elementary functions, then it really can't.
     
  15. Apr 20, 2012 #14
    This, pretty much. I'm familiar with the fact that Wolfram Alpha cannot integrate everything you throw at it, but I've never seen a case where something it managed to integrate could be expressed in a form that's much simpler. Based on this

    OP is not familiar with complex-valued integrals, so I don't see how he could have very extensive knowledge when it comes to integrating using special functions. So the result should be greatly simpler than the one above.

    (Oh, and just to clarify: If the actual solution is anything like the one Wolfram gave, I wouldn't be able to integrate this myself either, I've only encountered few special functions as of now. It (seeing whether the result is "on your level") was just a trick I think works pretty often, like I said on my previous post.)
     
  16. Apr 20, 2012 #15
    And just to confirm everyone's suspicions, the OP's integral really is nonelementary, and provably so. It can be shown (e.g. on page 971 of this paper) that if f and g are rational functions, f is nonzero, and g is nonconstant, then the only way that f(x)e^g(x) can have an elementary antiderivative is if it has one of the obvious form a(x)e^g(x), where a is a rational function. So the only way that [itex]e^x(1+x^2)^{-1}[/itex] could have an elementary antiderivative is if there were some rational function a(x) such that:
    [tex]a'(x) + a(x) = \frac{1}{x^2+1}[/tex]

    But this is clearly impossible, as any pole of a'+a would have to have order 2 or higher, and 1/(x^2 + 1) has poles of order 1. So e^x/(1+x^2) has no elementary antiderivative. But then e^x arctan(x) can have no elementary antiderivative either, or else one could use it to find an elementary antiderivative of e^x/(1+x^2) using integration by parts. Q.E.D.
     
  17. Apr 20, 2012 #16
    [tex]\int e^{x}\arctan{x}dx=\int\sum_{n=0}^{\infty} \frac{x^n}{n!}\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}dx[/tex]

    We can integrate that easily can't we? Is that not Calculus II or no?
     
  18. Apr 20, 2012 #17
    I was mistaken with my example. It was actually a definite integral whose limits allowed for a simple solution even though the indefinite integral was very messy in Wolfram Alpha. And on that note, this problem wouldn't happen to have limits, would it?
     
  19. Apr 20, 2012 #18
    Unfortunately Roshan, it's indefinite.

    We've definitely gone over infinite series like packmell suggests, I've seriously considered integrating it that way if I can't find any other option.

    Thanks again for all the help, I've submitted another email asking the professor to review the problem. Hopefully she won't blow me off this time.
     
  20. Apr 23, 2012 #19
    I got the same reply from the Professor, it's correct as written and very challenging but supposedly possible.

    With the derivative though, I can't see how you would eliminate things in a way that would leave just e^x*arctan(x).

    Although, I was trying a new method and felt like I almost got the answer earlier today. If someone could check to see where I made an error, I would appreciate it.

    ∫e^x*arctanx dx

    let g=e^x ln(g)=x dg=e^xdx

    = ∫arctan(lng)dg

    by parts u=arctan(lng) dV=dg du=(1/(g(1+ln^2(g))) V=g

    = g*arctan(lng)-∫dg/g(1+ln^2(g))

    Then another u=ln(g) du=(1/g)dg

    = g*arctan(lng) -∫du/(1+u^2)

    = g*arctan(lng) - arctan(u) + C

    by sub = e^x*arctan(x) - arctan(x) + C
     
  21. Apr 23, 2012 #20

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    I believe your professor is mistaken. This integral does not have an elementary antiderivative.

    If you can't find it, be sure to ask your professor his solution. It likely contains an error.

    Also, for extra credit, you might want to prove that the integral indeed does not have an elementary antiderivative (not easy!!). The main theorem is Liouville's theorem: http://en.wikipedia.org/wiki/Liouville's_theorem_(differential_algebra)

    The book "Algorithms for computer algebra" by Geddes is a very good source.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Integrate e^x arctan(x)
  1. Integrate X²e^-x² (Replies: 11)

  2. Integrating e^(e^(x)) (Replies: 2)

  3. Integral of x(e^x) (Replies: 1)

  4. Limit of arctan(e^x)? (Replies: 3)

Loading...