Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Question: Evaluate the following definite integral: $$ I= \int_{0}^{\pi/2} \ln\left(1 + a\cos\left(x\right) \over 1 - a\cos\left(x\right)\right)\, {{\rm d}x \over \cos\left(x\right)}\qquad \mbox{where}\qquad\left\vert\,a\,\right\vert < 1 $$

This is left as an exercise in my textbook. The book says that I should use the method of "differentiating parameters" by using the provided Leibniz Formula (?):

Prerequisite: Function $f(x,y)$ and its partial derivative $f_x(x,y)$ are both continuous on region $R=[a,b]\times[c,d]$. Function $\alpha(x)$ and $\beta(x)$ are both differentiable on intervl $[a,b]$ while $$ c \le \alpha(x) \le d,\quad c \le \beta(x) \le d \quad (a\le x\le b),$$

Conclusion: The Function $\displaystyle\Phi(x)=\int_{\alpha(x)}^{\beta(x)} f(x,y) \,\mathrm d y$ is differentiable on interval $[a,b]$, and $$\begin{align} \Phi^\prime(x) &= \frac{\mathrm d}{\mathrm d x} \int_{\alpha(x)}^{\beta(x)} f(x,y) \,\mathrm d y \\ &= \int_{\alpha(x)}^{\beta(x)} f_x(x,y) \,\mathrm d y + f\left[x,\beta(x)\right]\beta^\prime(x)-f\left[x,\alpha(x)\right]\alpha^\prime(x). \end{align}$$

First, I'd like to ask: What is the correct name of this theorem?

Next, here's my (failed?) attempts at solving the question.

Following one of the textbook examples on the same topic, I tried:

$$ \begin{align} I&=\int_0^\frac{\pi}{2} \left[\ln(1+y)\right]_{-a \cos x}^{a \cos x} \frac{\mathrm d x}{\cos x} \\ \\ &= \int_0^\frac{\pi}{2} \int_{-a \cos x}^{a \cos x} \frac{\mathrm d y}{1+y} \frac{\mathrm d x}{\cos x}. \\ &=\int_{-a}^{a} \frac{1}{1+y} \int_{0}^{\arccos\left|y/a\right|}\,\mathrm d x \mathrm d y \\ &=\int_{-a}^{a} \left.\left[\ln\left|\tan x + \sec x\right|\right]\right|_0^{\arccos(y/a)} \end{align} $$

And I don't know what to do next.

Also I tried to substitute $u=a \cos x$ but I don't know how to proceed.

Please help me with this (non-homework) problem by giving hints or solution, It's been a week since I first tried this problem. Thanks for helping!

P.S.: My MathJax doesn't render (or it may need hours of time), and I don't get preview for writing questions/answers. I'm relying on LaTeX now. How can I fix this problem? It used to work. I'm using IE 9.

share|improve this question
3  
Look a the Wikipedia article about differentiation under the integral sign. It has a useful worked example that yields to the same idea as your problem. Express your log as a difference of logs, differentiate with respect to $a$. That cancels the $\cos x$ at the bottom. –  André Nicolas Oct 8 '12 at 5:41
1  
LaTeX isn't my strong suit, but maybe if you have \begin{align} you don't want the dollar signs? Anyway, in the title, I think you want d, not \diff. –  Gerry Myerson Oct 8 '12 at 6:19
    
I'll try to read all replies and corrected terms as early as possible. It's a tough day today and I'm worn out. I tried to add dollar signs around begin align because that's the way it worked in mathjax. LaTeX thinks \begin{align} to be $$. –  FrenzY DT. Oct 8 '12 at 19:20

1 Answer 1

up vote 10 down vote accepted

This is so called Leibniz integral rule. Using it you can easily compute this integral $$ \frac{d I}{d a} =\frac{d}{da}\int\limits_{0}^{\pi/2}\ln\frac{1+a\cos x}{1-a\cos x}\frac{dx}{\cos x} =\int\limits_{0}^{\pi/2}\frac{d}{da}\ln\frac{1+a\cos x}{1-a\cos x}\frac{dx}{\cos x} =\int\limits_{0}^{\pi/2}\frac{dx}{1-a^2\cos^2 x} $$ $$ \frac{d I}{d a}=\int\limits_{0}^{\pi/2}\frac{d(\tan x)}{(1-a^2)+\tan^2 x} =\int\limits_{0}^{+\infty}\frac{dt}{(1-a^2)+t^2} $$ $$ \frac{d I}{d a}=\frac{1}{\sqrt{1-a^2}}\arctan\frac{t}{\sqrt{1-a^2}}\Biggl|_0^\infty =\frac{\pi}{2}\frac{1}{\sqrt{1-a^2}} $$ Since $I(0)=0$ we get $$ I(\alpha)=I(0)+\int\limits_0^{\alpha}\frac{dI}{da}da =\int\limits_0^{\alpha}\frac{\pi}{2}\frac{1}{\sqrt{1-a^2}}da =\frac{\pi}{2}\arcsin a\Biggl|_0^\alpha =\frac{\pi}{2}\arcsin\alpha $$

share|improve this answer
    
Gee, this is brilliant, but how did you know we should differentiate it with respect to $a$? Is it being that you could cancel the $\cos x$ below $\mathrm{d} x$? What if the question says nothing about this Leibniz integral rule? –  FrenzY DT. Oct 9 '12 at 14:28
    
I also wonder why Mathematica fails to get the answer to this integral even after 1 hr of computing. I guess it needs to implement Leibniz integral rule? –  FrenzY DT. Oct 9 '12 at 14:40
3  
When I see a hardcore integral I'm trying to apply Leibniz integral rule. Mathmetica won't implement this method because it might give wrong results. For exmple consider equality $$\int\limits_{0}^\infty\frac{\sin(ax)}{x}=\frac{\pi}{2}\mathrm{sign}(a)$$ –  no identity Oct 9 '12 at 15:18
    
@Norbert $$ {{\rm d} \over {\rm d}a}\int_{0}^{\infty} {\sin\left(\,ax\,\right) \over x}\,{\rm d}x = \pi\,\delta\left(\,a\,\right) $$ –  Felix Marin Aug 31 at 21:58
    
@FelixMarin, $\delta$ is not a function in the usual sense –  no identity Sep 1 at 7:24

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.