This is exercise 6.25.40 from Tom Apostol's Calculus I. I would like to ask someone to verify my solution, the result I got differs from the one provided in the book.
Evaluate the following integral: ∫√2−x−x2x2dx
x∈[−2,0)∪(0,1]
As suggested in the book, we multiply both numerator and denumerator by √2−x−x2. This removes the endpoints from the integrand's domain, but the definite integral we calculate with the antiderivative of this new function will be still the proper integral between any two points of the original domain: we only remove a finite number of points from the original domain and the domain of the resulting antiderivative will be the same as the original domain.
I=I1+I2=∫2−xx2√2−x−x2dx−∫1√2−x−x2dx
Evaluating first I1 by substituting t=1x,dx=−1t2dt:
I1=−1√2∫2t−1t|t|√(t−14)2−(34)2dt
Substituting again 34secu=t−14,dt=34secutanudu,t=3secu+14,u=arcsec4t−13, by considering the sign of t and tanu in the integrand's two sub-domains:
a) x∈(−2,0):t<−12,4t−13<−1,u∈(π2,π),tanu<0
b) x∈(0,1):t>1,4t−13>1,u∈(0,π2),tanu>0
I1=−12√2∫3sec2u−secu=−12√2(3tanu−log|tanu+secu|)+C1
secu=secarcsec4t−13=4t−13=4−x3x
tan2u=tan2arcsec4t−13=(4t−13)2−1=892−x−x2x2
Considering again cases a) and b):
tanu=2√23√2−x−x2x
I1=−√2−x−x2x+12√2log|2√23(√2−x−x2+√2x−12√2)|+C1=
−√2−x−x2x+12√2log|√2−x−x2+√2x−12√2|+C′1
Evaluating now I2:
I2=−∫1√(32)2−(x+12)2dx
Substituting 32sinz=x+12,dx=32coszdz,z=arcsin2x+13:
I2=−∫dz=−arcsin2x+13+C2
The final result:
I=I1+I2=−√2−x−x2x+12√2log|√2−x−x2+√2x−12√2|−arcsin2x+13+C
The solution provided in the book:
I=−√2−x−x2x+12√2log(√2−x−x2x−12√2)−arcsin2x+13+C
Answer
The solution in the book is most certainly a typo, your proof seems fine to me. As a confirmation, Mathematica evaluates the integral to be: I=−√2−x−x2x+12√2[log|4−x+2√2√2−x−x2|−log|x|]−arcsin(2x+13)+C1,
No comments:
Post a Comment