Area enclosed by each infinitely repeating pattern in the graph of $\sin (x) + \sin (y) = 1$

areacalculusintegrationtrigonometry

16 year old college math student beginner at calculus.

Radians not degrees for the trigonometric functions.

This area is exactly the same as the area enclosed by each infinitely repeating pattern in the graph $\cos (x) + \cos (y) = 1$

Graph of $\sin (x) + \sin (y) = 1$:

My working:

  • This area is exactly the same as the area enclosed by each infinitely repeating pattern in the graph $\cos (x) + \cos (y) = 1$
  • For cosine, the pattern is split symmetrically across all four quadrants of the graph around the origin so integration may be possible to find half of the desired area
  • Solve for y:
    • Subtracting $\cos (x)$ from both sides of the equation: $\cos (y) = 1 – \cos (x)$
    • Taking inverse cosine of both sides of the equation: $y = \arccos (1 – \cos (x))$
  • Since the range of the inverse cosine function is $-1 ≤ \arccos (x) ≤ 1$, if the value of $\cos (x) < 0$, the value in within the parentheses will be outside of the inverse cosine range and not be valid, so the new function has a minimum of $\arccos(1) = 0$, likewise, if the maximum y value of $\cos (x)$ would be 1, therefore the other extreme point, the maximum, of the new function would be $\arccos (0) = \frac{\pi}{2}\cdot$ Because any resulting definite integral of this function between any two valid points on the x-axis will be positive, we don't have to consider translating the graph in order to find a more appropriate area-under-the-curve value.
  • We know that, from the graph, provided, that the curve of the function between two valid points will be an arch-shape, similar to the original wave function graphs. So we know that the desired area will be located between two 'paired' roots of the new function, which we can use as parameters for the indefinite integral later.
  • Find two subsequent roots for the function:
    • Set $y = 0$, so the equation to solve is $\arccos (1 – \cos (x)) = 0$
    • Take cosine of both sides of the equation: $1 – \cos (x) = \cos (0) = 1$
    • Replace the subtrahend with the value on the right hand side of the equation: $\cos (x) = 1 – 1 = 0$
    • Take inverse cosine of both sides: $x = \arccos (0) = \frac{π}{2}$
    • Since cosine is an even function, all positive roots can be turned negative and still be valid: $\cos (-\frac{π}{2}) = 0$ confirms this in this context.
  • Since the y-intercept is a maximum y-value of the function, we can assume that the shape of the function's curve on both sides of the y-axis are symmetrical and that we have the correct parameters, the diameter of the shape in the graph also seems reasonable and correlates with this conclusion.
  • Integrate this definite integral: $\displaystyle\int_{-\frac{π}{2}}^{\frac{π}{2}} \! \arccos(1 – \cos (x)) \, \mathrm{d}x.$
    • Take the antiderivative of the function first:
      • $\int \arccos (1 – \cos (x)) dx$
      • Use u-substitution (only way I know how to integrate) for the contents inside the parentheses: $1 – \cos (x) = u$
      • Solve for x:
        • Replace the subtrahend with the value on the right hand side of the equation: $\cos (x) = 1 – u$
        • Take inverse cosine of both sides: $x = \arccos (1 – u)$
      • Find dx:
        • Differentiate both sides of the equation: $du = \frac{d}{dx} (1 – \cos (x)) = \frac{d}{dx} (1) + \frac{d}{dx} (-\cos(x)) = 0 + \sin (x) = \sin(x)$ –> $du = \sin (x)dx$
        • Divide both sides by $\sin (x)$ to find $dx$: $dx = \frac{du}{\sin (x)}$
      • Substitute the u value into the remaining x from the $dx$ expression: $dx = \frac{du}{\sin (\arccos (1 – u))}$
      • Simplify the new u-substituted antiderivative expression: $\frac{\int \arccos (u) du}{\sin (\arccos (1-u))}$
      • Integrate the antiderivative in the numerator: $\frac{u\arccos (u) + \sqrt{1 – u^2}}{\sin (\arccos (1-u))}$
      • Resubstitute the x-values back into this new expression: $\frac{(1 – \cos (x))(\arccos (1 – \cos (x)) + \sqrt{1 – (1 – \cos (x))^2}}{\sin (\arccos (\cos (x))}\cdot$
      • Simplify this expression:
        \begin{eqnarray*}
        &&\kern-2em\frac{\arccos (1 – \cos (x)) – \cos (x)\arccos (1 – \cos (x)) + \sqrt{1 – (1 – 2\cos (x) + \cos^{2}(x))}}{\sin ( \arccos (\cos (x))}\\
        &=&\frac{\arccos (1 – \cos (x)) – \cos (x)\arccos (1 – \cos (x)) + \sqrt{2\cos (x) – \cos^{2}(x)}}{\sin ( \arccos (\cos (x))}\cdot
        \end{eqnarray*}
    • Use the definite integral formula $\displaystyle\int_a^b f(x)\;\mathrm{d}x = F(b) – F(a)$:
      \begin{eqnarray*}
      &&\frac{\arccos (1 – \cos (\frac{\pi}{2})) – \cos (\frac{\pi}{2})\arccos (1 – \cos (\frac{\pi}{2})) + \sqrt{2\cos (\frac{\pi}{2}) – \cos^{2}(\frac{\pi}{2})}}{\sin ( \arccos (\cos (\frac{\pi}{2}))}\\
      &&- \frac{\arccos (1 – \cos (-\frac{\pi}{2})) – \cos (-\frac{\pi}{2})\arccos (1 – \cos (-\frac{\pi}{2})) + \sqrt{2\cos (-\frac{\pi}{2}) – \cos^{2}(-\frac{\pi}{2})}}{\sin ( \arccos (\cos (-\frac{\pi}{2}))}\cdot
      \end{eqnarray*}
  • This simplifies to $0 – 0 = 0$, but it's not zero because I can see that the the area inside the pattern is a finite value, therefore half the area (the definite integral at hand) is a finite value. I don't know where I went wrong or what to do.

Best Answer

Your area uses $\cos^{-1}(y)$’s series which converges on $|y|<1$ with the Pochhammer symbol $(u)_v$:

$$\int_{-\frac\pi2}^\frac\pi2\cos^{-1}(1-\cos(x))dx=2\int_0^\frac\pi2\cos^{-1}\left(2\sin^2\left(\frac x2\right)\right)dx=2\int_0^\frac\pi2\frac\pi2-\sum_{n=0}^\infty\frac{\left(2\sin^2\left(\frac x2\right)\right)^{2n+1}\left(\frac12\right)_n}{(2n+1)n!}dx$$

Switching operators gives:

$$\frac{\pi^2}2-\sum_{n=0}^\infty\frac{2^{2n+2}\left(\frac12\right)_n}{(2n+1)n!}\int_0^\frac\pi2 \sin^{4n+2}\left(\frac x2\right)dx= \frac{\pi^2}2-\sum_{n=0}^\infty\frac{2^{2n+1}\left(\frac12\right)_n}{(2n+1)n!}\int_0^\frac\pi4 \sin^{4n+2}(x)dx $$

Next, use the $\int \sin^r(x)$ to incomplete beta B$_x(a,b)$ identity.

$$\int_{-\frac\pi2}^\frac\pi2\cos^{-1}(1-\cos(x))dx=\frac{\pi^2}2-\sum_{n=0}^\infty\frac{\left(\frac12\right)_k4^{n+1}}{(2n+1)n!}\text B_\frac12\left(\frac32+2n,\frac12\right)$$

Finally, use a B$_x(a,b)$ series, switch the series, and simplify with hypergeometric $_4\text F_3$:

$$\boxed{\int_{-\frac\pi2}^\frac\pi2\cos^{-1}(1-\cos(x))dx=\frac1{\sqrt\pi}\left(4\Gamma^2\left(\frac34\right)\,_4\text F_3\left(\frac14,\frac14,\frac34,\frac34;\frac12,\frac54,\frac54;\frac14\right)+\frac{\Gamma^2\left(\frac14\right)}{36}\,_4\text F_3\left(\frac34,\frac34,\frac54,\frac54;\frac32,\frac74,\frac74;\frac14\right)\right)= 3.64744119225206997400916081676416139843462\dots}$$

Related Question