Challenge integral (2 Viewers)

Luukas.2

Well-Known Member
Joined
Sep 21, 2023
Messages
444
Gender
Male
HSC
2023
The problem with the approach from @blob063540 arises from the initial transformation of the integrand


It is true when lies in quadrant 1, but not when it is in quadrant 3 (because sine and cosine are negative whereas the tangent function is positive). The integrand itself is not defined in quadrants 2 or 4.

It arises because only when . MX2 students should be aware that


A closed form that does work for all in the domain of the integrand is then


Interestingly, given the discussion above, this integrated form is defined for all real , though it is not differentiable for any integer multiple of pi on 2. The function's behaviour in the second and fourth quadrants does not have meaning in terms of the original integral.

The form I derived earlier, that


is defined only when , as are the form from @member 6003's approach, that


The final form has used which is accurate in this case as the presence of in the denominator ensures that the domain is restricted to when . Thus, formally, the reasoning is:


Any of the forms presented here is valid. There is no problem with member 6003's approach or working, in my view.
 

member 6003

Member
Joined
Apr 20, 2022
Messages
83
Gender
Male
HSC
2023
The problem with the approach from @blob063540 arises from the initial transformation of the integrand


It is true when lies in quadrant 1, but not when it is in quadrant 3 (because sine and cosine are negative whereas the tangent function is positive). The integrand itself is not defined in quadrants 2 or 4.

It arises because only when . MX2 students should be aware that


A closed form that does work for all in the domain of the integrand is then


Interestingly, given the discussion above, this integrated form is defined for all real , though it is not differentiable for any integer multiple of pi on 2. The function's behaviour in the second and fourth quadrants does not have meaning in terms of the original integral.

The form I derived earlier, that


is defined only when , as are the form from @member 6003's approach, that


The final form has used which is accurate in this case as the presence of in the denominator ensures that the domain is restricted to when . Thus, formally, the reasoning is:


Any of the forms presented here is valid. There is no problem with member 6003's approach or working, in my view.
I don't know how you got
it looks wrong in desmos.
I'll list what did to resolve the problem with blob's answer






This step is actually valid since the integrand implies sinx, cosx have the same sign, if they're both negative then it will cancel under the square root so you can use the property which doesn't work for complex numbers.




since we know that sinx and cosx are either both positive or negative:
case 1 is for
you get
case 2 is for
you get
interestingly enough you don't have to apply both restrictions only one of them because of the restrictions of inverse sine. You can try to combine the two cases using the sign function but then you get zeroes where there shouldn't be in the case that sinx or cosx=0
 
Last edited:

Luukas.2

Well-Known Member
Joined
Sep 21, 2023
Messages
444
Gender
Male
HSC
2023
I don't know how you got
it looks wrong in desmos.
I'll list what did to resolve the problem with blob's answer






This step is actually valid since the integrand implies sinx, cosx have the same sign, if they're both negative then it will cancel under the square root so you can use the property which doesn't work for complex numbers.




since we know that sinx and cosx are either both positive or negative:
case 1 is for
you get
case 2 is for
you get
interestingly enough you don't have to apply both restrictions only one of them because of the restrictions of inverse sine. You can try to combine the two cases using the sign function but then you get zeroes where there shouldn't be in the case that sinx or cosx=0
Yes, another approach is to express the integral as piece-wise defined:




If you look using DESMOS carefully, you will find that this piece-wise definition exactly matches your inverse tan solutions.

The solution I presented with the absolute values also exactly matches all these solutions for all angles in quadrants 1 and 3 (including the boundaries). It then gives a reflection in "solution" for quadrants 2 and 4, but these don't matter as the integrand is not defined in these quadrants.
 

Luukas.2

Well-Known Member
Joined
Sep 21, 2023
Messages
444
Gender
Male
HSC
2023
By the way, the @blob063540 approach is more rigorously re-written as:


This avoids the problem of needing to deal with a square root of a negative (as MX2 does not actually cover complex number calculus), because in the domain of the integrand, can't be negative.
 

Users Who Are Viewing This Thread (Users: 0, Guests: 2)

Top