Integration Techniques for Powers of Sine and Cosine
Integration of Trigonometric Powers
General Strategy for Odd Exponents
- Key Idea: When at least one trigonometric function has an odd exponent, the strategy is to "break off" one copy of the odd-powered function to facilitate a u-substitution.
- Steps:
- Isolate one factor of the function with the odd exponent (e.g., extsinx or extcosx).
- Rewrite the remaining even power using a Pythagorean identity (e.g., extsin2x=1−extcos2x or extcos2x=1−extsin2x).
- Perform a u-substitution: Let u be the other trigonometric function (e.g., if you isolated extsinx, let u=extcosx; if you isolated extcosx, let u=extsinx). The isolated factor will become part of du.
- Integrate the resulting polynomial in u. \
- Substitute back to the original variable.
- Why it works: An odd exponent (e.g., n) means we can write extfuncnx=extfuncn−1ximesextfuncx. Since n−1 is even, extfuncn−1x can always be expressed in terms of the other function using the Pythagorean identity, leaving the single extfuncx for du. This is why odd exponents are considered "nice" cases.
Case 1: One Odd Exponent (e.g., extsinnxextcosmx where n is odd and m is even or zero)
- Example 1: extintegralofextcos2xextwithrespecttox (Initial discussion implies extsin0x)
- Strategy mentioned: Break off one extcosx. This led to an example where extcos2x was rewritten as (1−extsin2x)extcosx.
- Substitution for such a case: Let u=extsinx. Then du=extcosxdx.
- The integral becomes extintegralof(1−u2)du.
- Integration: u−3u3+C.
- Substitute back: extsinx−3extsin3x+C.
- Example 2: extintegralofextsin5xextcos2xdx
- Focus on the odd exponent: extsin5x.
- Break off one copy: extsinx. The integral becomes extintegralofextsin4xextcos2xextsinxdx.
- Rewrite even power: extsin4x=(extsin2x)2=(1−extcos2x)2.
- The integral becomes extintegralof(1−extcos2x)2extcos2xextsinxdx.
- Substitution: Let v=extcosx. Then dv=−extsinxdx, so −extdv=extsinxdx.
- The integral becomes extintegralof(1−v2)2v2(−dv)=−extintegralof(1−2v2+v4)v2dv.
- Simplify: −extintegralof(v2−2v4+v6)dv.
- Integrate using power rule: −3v3+52v5−7v7+C.
- Substitute back v=extcosx: −31extcos3x+52extcos5x−71extcos7x+C.
Case 2: Both Exponents are Odd (e.g., extsinnxextcosmx where both n and m are odd)
- Strategy: You can choose either of the odd-powered functions to apply the strategy from Case 1. Both choices will lead to a correct but potentially different-looking antiderivative.
- Example: extintegralofextsin3xextcos3xdx
- Option A: Focus on extsin3x
- Break off extsinx: extintegralofextsin2xextcos3xextsinxdx.
- Rewrite extsin2x=1−extcos2x: extintegralof(1−extcos2x)extcos3xextsinxdx.
- Substitution: Let w=extcosx. Then dw=−extsinxdx, so −extdw=extsinxdx.
- The integral becomes extintegralof(1−w2)w3(−dw)=extintegralof(w5−w3)dw.
- Integrate: 6w6−4w4+C. (Note: A negative from the initial part was pulled out and distributed, switching the order of terms compared to the example).
- Substitute back: 61extcos6x−41extcos4x+C.
- Option B: Focus on extcos3x
- Break off extcosx: extintegralofextsin3xextcos2xextcosxdx.
- Rewrite extcos2x=1−extsin2x: extintegralofextsin3x(1−extsin2x)extcosxdx.
- Substitution: Let z=extsinx. Then dz=extcosxdx.
- The integral becomes extintegralofz3(1−z2)dz=extintegralof(z3−z5)dz.
- Integrate: 4z4−6z6+C.
- Substitute back: 41extsin4x−61extsin6x+C.
- Note on Different Answers: Both Option A and Option B yield correct antiderivatives. They are equivalent up to the arbitrary constant C. This means their derivatives are identical, even if their specific functional forms appear different.
- Graphical Interpretation: If two functions have the same derivative, their graphs have the same slope at every corresponding x-value. They are essentially vertical shifts of each other. The +C accounts for this vertical shift.
Case 3: Both Exponents are Even (e.g., extsinnxextcosmx where both n and m are even)
- Problematic Case: The previous substitution strategy is not viable because there's no single factor left over to form du.
- Solution: Use Power-Reducing (Double Angle) Identities repeatedly.
- extcos2heta=21+extcos(2heta)
- extsin2heta=21−extcos(2heta)
- Purpose: These identities reduce the power of the trigonometric function from squared to the first power, making it integrable.
- Example 1: extintegralofextcos2xdx
- Apply identity: extintegralof21+extcos(2x)dx.
- Split and integrate: extintegralof21dx+extintegralof21extcos(2x)dx.
- First term: 2x.
- Second term: Use substitution extgamma(extgreekletter)=2x, so dextgamma=2dxextanddx=21dextgamma.
- 21extintegralofextcos(extgamma)21dextgamma=41extintegralofextcos(extgamma)dextgamma=41extsin(extgamma).
- Combine and substitute back: 2x+41extsin(2x)+C.
- Instructor's Opinion: For extsin2x or extcos2x, integration by parts can also be used and is sometimes preferred, but the double-angle identity method is equally valid and preferred by some.
- Example 2: extintegralofextcos4xdx
- Step 1: Rewrite as squared terms: extintegralof(extcos2x)2dx.
- Step 2: Apply double angle identity: extintegralofextleft(21+extcos(2x)extright)2dx. (Note: here heta=x)
- Step 3: Expand the square: extintegralof41+2extcos(2x)+extcos2(2x)dx.
- Step 4: Distribute and identify terms: 41extintegralof1dx+21extintegralofextcos(2x)dx+41extintegralofextcos2(2x)dx. (Note: Here, extcos2(2x) is a new term that needs further reduction).
- Step 5: Apply double angle identity again for the remaining squared term: For extcos2(2x), use extcos2heta=21+extcos(2heta) with heta=2x. \
- So, extcos2(2x)=21+extcos(2imes2x)=21+extcos(4x).
- Step 6: Integrate the new terms: The integral 41extintegralofextcos2(2x)dx becomes 41extintegralof21+extcos(4x)dx=81extintegralof(1+extcos(4x))dx.
- This integrates to 81extleft(x+4extsin(4x)extright).
- Step 7: Combine all results: Add the antiderivatives of all terms and add a single +C.
- Conclusion for Even Powers: Integrating even powers of trigonometric functions often requires multiple applications of the power-reducing identities, leading to longer and more complex calculations. This is why even powers are considered "horrible" or "annoying."
- General approach for Complex Even Powers (e.g., extintegralofextsin2xextcos2xdx):
- You will need to use both double angle identities. A common approach is to combine the terms first: extsin2xextcos2x=(extsinxextcosx)2.
- Recall extsin(2x)=2extsinxextcosx, so extsinxextcosx=2extsin(2x).
- Therefore, (extsinxextcosx)2=extleft(2extsin(2x)extright)2=4extsin2(2x).
- Now apply the double angle identity for extsin2heta with heta=2x. \
- 41extintegralof21−extcos(2imes2x)dx=81extintegralof(1−extcos(4x))dx. \
- This can then be integrated easily: 81extleft(x−4extsin(4x)extright)+C.
Arbitrary Constant (+C)
- Concept: When finding an antiderivative, there is an infinite family of functions that have the same derivative. They differ only by an arbitrary constant C.
- Uniqueness: Antiderivatives are not unique. For example, x2 and x2+1 both have a derivative of 2x. Graphically, they represent the same function shifted vertically.
- Solving for C: If additional information (e.g., an initial condition, a point the function must pass through) is provided, you can solve for a specific C, thus finding a unique antiderivative from the family of possibilities.