7
$\begingroup$

What will be the value of

$ \int\sqrt[n]{\tan x},dx $

?

I have solved the cases for n=2 and n=3 but can't see how I can generalize it.

$\endgroup$
5
  • 1
    $\begingroup$ Wolfram alpha gives a pretty nasty answer... $\endgroup$
    – Dair
    May 7, 2014 at 5:48
  • 1
    $\begingroup$ Can you give the expressions for the expressions that you have obtained for $n=2$ and $n=3$? It may help to guess how to proceed for the general $n$. $\endgroup$ May 7, 2014 at 6:04
  • $\begingroup$ Since your asking for a "value"; is it really the antiderivative you're after, or are you looking for a definite integral (and omitted the limits for some reason)? EDIT: Ah, now I see the tag indefinite-integrals. $\endgroup$
    – Daniel R
    May 7, 2014 at 6:32
  • 3
    $\begingroup$ If this is a definite integral over $[0,\frac{\pi}{2} ]$, it has a very simple closed form $\displaystyle\;\;\frac{\pi}{2\cos\left(\frac{\pi}{2n}\right)}$. $\endgroup$ May 7, 2014 at 8:44
  • $\begingroup$ $n$ is for an integer, a rational number, or a real number, or else? $\endgroup$ May 8, 2014 at 10:06

2 Answers 2

11
$\begingroup$

The generalization is tedious but actually pretty straight forward. The key is perform partial fraction decomposition of some rational function in a systematic manner.

Introduce variables $y$ and $z$ such that $y = \tan x = z^{n}$, we have

$$\int \sqrt[n]{\,\tan x} dx = \int \frac{y^{1/n}}{1+y^2} dy = \int \frac{n z^n}{1+z^{2n}} dz$$ For any integer $k$, let $\displaystyle\;\theta_k = \frac{(2k+1)\pi}{2n}\;$. We can factorize the denominator of the integrand as

$$z^{2n}+1 = \prod_{k=0}^{n-1}\left(z- e^{i\theta_k}\right)\left(z - e^{-i\theta_k}\right) = \prod_{k=0}^{n-1}\left(z^2 - 2\cos\theta_k z + 1\right) $$ What make life easier is all the roots of the denominator are simple. Given any two polynomials $p(z)$ and $q(z)$ with $\deg p < \deg q$. If all the roots $\lambda_1, \lambda_2, \ldots, \lambda_{\deg q}$ of $q(z)$ are simple, we can read off the partial fraction decomposition of their quotient easily:

$$\frac{p(z)}{q(z)} = \sum_{k=1}^{\deg q} \frac{p(\lambda_k)}{q'(\lambda_k)(z - \lambda_k)}$$

Apply this to our integrand and notice $e^{in\theta_k} = (-1)^k i$, we can simplify $\displaystyle\;\frac{n z^n}{1+z^{2n}}\;$ as

$$\begin{align} & n \sum_{k=0}^{n-1} \left[ \frac{ e^{in\theta_k} }{2n e^{i(2n-1)\theta_k} (z - e^{i\theta_k} ) } + \frac{ e^{-in\theta_k} }{2n e^{-i(2n-1)\theta_k} (z - e^{-i\theta_k} ) } \right]\\ =& \frac{1}{2i}\sum_{k=0}^{n-1} (-1)^k \left[ \frac{e^{i\theta_k}}{z-e^{i\theta_k}} - \frac{e^{-i\theta_k}}{z-e^{-i\theta_k}} \right]\\ =& \sum_{k=0}^{n-1} (-1)^k\sin\theta_k \left( \frac{z}{z^2 - 2\cos\theta_k z + 1}\right)\\ =& \sum_{k=0}^{n-1} (-1)^k\left[ \sin\theta_k \left(\frac{z - \cos\theta_k}{z^2 - 2\cos\theta_k z + 1}\right) + \cos\theta_k\left(\frac{\sin\theta_k}{(z - \cos\theta_k)^2 + (\sin\theta_k)^2}\right)\right] \end{align}$$ and evaluate the indefinite integral as

$$\sum_{k=0}^{n-1}(-1)^k\left[ \frac{\sin\theta_k}{2} \log\left(z^2 - 2\cos\theta_k z + 1\right) + \cos\theta_k \arctan\left(\frac{z - \cos\theta_k}{\sin\theta_k}\right) \right] + \text{const.} $$

$\endgroup$
4
  • $\begingroup$ I think there's a typo, in the first displayed line of math you wrote $y^{1/n} = z^n$, but by definition of your $z$ that should be $y^{1/n} = z$ (its in the integral sign, you see what i mean?) $\endgroup$
    – Joachim
    May 7, 2014 at 12:47
  • $\begingroup$ @Joachim It is not a typo, it comes from $dy$. i.e. $y^{1/n} dy = z dz^n = nz^n dz$ $\endgroup$ May 7, 2014 at 12:51
  • $\begingroup$ Ah, i was too quick, sorry for the hassle! $\endgroup$
    – Joachim
    May 7, 2014 at 16:10
  • $\begingroup$ @achillehui Where does the theta sub k come from? How was that derived? $\endgroup$
    – user859120
    Apr 6, 2022 at 8:00
5
$\begingroup$

As said in comments, this a quite difficult integral. However, if you change variable $x=\tan ^{-1}(y)$, you have $$\int\sqrt[n]{\tan x} dx=\int \frac {y^{1/n}} {1+y^2} dy =\frac{n y^{\frac{1}{n}+1} \, _2F_1\left(1,\frac{n+1}{2 n};\frac{1}{2} \left(3+\frac{1}{n}\right);-y^2\right)}{n+1}$$ which looks slightly better than in the original form for which you would have a lot of trouble for some specific values of $n$ ($5$,$7$,..).

This explains why, for $n=3$, you have (this could be significantly simplified with patience) $$\frac{1}{4} \left(-2 \sqrt{3} \tan ^{-1}\left(\sqrt{3}-2 \sqrt[3]{\tan (x)}\right)-2 \sqrt{3} \tan ^{-1}\left(2 \sqrt[3]{\tan (x)}+\sqrt{3}\right)-2 \log \left(\tan ^{\frac{2}{3}}(x)+1\right)+\log \left(\tan ^{\frac{2}{3}}(x)-\sqrt{3} \sqrt[3]{\tan (x)}+1\right)+\log \left(\tan ^{\frac{2}{3}}(x)+\sqrt{3} \sqrt[3]{\tan (x)}+1\right)\right)$$

Added later to this answer

If one makes a second change of variable $y=z^n$, he should arrive to a very nice integral which is $$n \int \frac {z^n}{1+z^{2n}} dz$$

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .