$int_{0}^{2pi}frac{dtheta}{a+bsintheta}$ where $a,b>0$ [duplicate]












0












$begingroup$



This question already has an answer here:




  • Evaluating $int_0^{2pi} frac {cos(theta)}{5-3cos(theta)}$ using residue theorem

    1 answer




$int_{0}^{2pi}dfrac{dtheta}{a+bsintheta}$ where $a,b>0$



Supposedly a very simple residue theorem problem but I'm stuck with the pole(s).



Let $z=e^{itheta}$ and $dtheta=frac{dz}{iz}$. Then,
$$begin{align*}
int_{mathbb{D}}frac{dz}{left[a+bleft(frac{z-z^{-1}}{2i}right)right]iz}&=int_{mathbb{D}}frac{2idz}{(2ai+bz-bz^{-1})iz}\
&=int_{mathbb{D}}frac{2dz}{bz^2+2aiz-b}
end{align*}$$



By quadratic formula, we can deduce that we have pole at $$z=frac{-aipmsqrt{b^2-a^2}}{b}$$
But I'm having trouble figuring out which, of the two is in fact in the unit circle. All we have is $a>0$ and $b>0$ and I feel like it could go so many different ways depending on the actual values that they take. Can anyone help me to proceed?










share|cite|improve this question











$endgroup$



marked as duplicate by Jack D'Aurizio complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 29 '18 at 21:45


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    @metamorphy right! That was my initial thought too, until I actually tried to get my hands dirty with it. May be I’m doing something wrong.
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:46










  • $begingroup$
    (Oops.) For $aleqslant b$ the integral diverges. Otherwise you're doing right.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 17:50










  • $begingroup$
    @metamorphy edited!
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:54










  • $begingroup$
    Now it should be easy for you (the poles are purely imaginary, one inside, the other outside).
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:00










  • $begingroup$
    @metamorphy I feel like I’m still having trouble computing for different relations between $a$ and $b$ these for some reason.
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:02
















0












$begingroup$



This question already has an answer here:




  • Evaluating $int_0^{2pi} frac {cos(theta)}{5-3cos(theta)}$ using residue theorem

    1 answer




$int_{0}^{2pi}dfrac{dtheta}{a+bsintheta}$ where $a,b>0$



Supposedly a very simple residue theorem problem but I'm stuck with the pole(s).



Let $z=e^{itheta}$ and $dtheta=frac{dz}{iz}$. Then,
$$begin{align*}
int_{mathbb{D}}frac{dz}{left[a+bleft(frac{z-z^{-1}}{2i}right)right]iz}&=int_{mathbb{D}}frac{2idz}{(2ai+bz-bz^{-1})iz}\
&=int_{mathbb{D}}frac{2dz}{bz^2+2aiz-b}
end{align*}$$



By quadratic formula, we can deduce that we have pole at $$z=frac{-aipmsqrt{b^2-a^2}}{b}$$
But I'm having trouble figuring out which, of the two is in fact in the unit circle. All we have is $a>0$ and $b>0$ and I feel like it could go so many different ways depending on the actual values that they take. Can anyone help me to proceed?










share|cite|improve this question











$endgroup$



marked as duplicate by Jack D'Aurizio complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 29 '18 at 21:45


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    @metamorphy right! That was my initial thought too, until I actually tried to get my hands dirty with it. May be I’m doing something wrong.
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:46










  • $begingroup$
    (Oops.) For $aleqslant b$ the integral diverges. Otherwise you're doing right.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 17:50










  • $begingroup$
    @metamorphy edited!
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:54










  • $begingroup$
    Now it should be easy for you (the poles are purely imaginary, one inside, the other outside).
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:00










  • $begingroup$
    @metamorphy I feel like I’m still having trouble computing for different relations between $a$ and $b$ these for some reason.
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:02














0












0








0


1



$begingroup$



This question already has an answer here:




  • Evaluating $int_0^{2pi} frac {cos(theta)}{5-3cos(theta)}$ using residue theorem

    1 answer




$int_{0}^{2pi}dfrac{dtheta}{a+bsintheta}$ where $a,b>0$



Supposedly a very simple residue theorem problem but I'm stuck with the pole(s).



Let $z=e^{itheta}$ and $dtheta=frac{dz}{iz}$. Then,
$$begin{align*}
int_{mathbb{D}}frac{dz}{left[a+bleft(frac{z-z^{-1}}{2i}right)right]iz}&=int_{mathbb{D}}frac{2idz}{(2ai+bz-bz^{-1})iz}\
&=int_{mathbb{D}}frac{2dz}{bz^2+2aiz-b}
end{align*}$$



By quadratic formula, we can deduce that we have pole at $$z=frac{-aipmsqrt{b^2-a^2}}{b}$$
But I'm having trouble figuring out which, of the two is in fact in the unit circle. All we have is $a>0$ and $b>0$ and I feel like it could go so many different ways depending on the actual values that they take. Can anyone help me to proceed?










share|cite|improve this question











$endgroup$





This question already has an answer here:




  • Evaluating $int_0^{2pi} frac {cos(theta)}{5-3cos(theta)}$ using residue theorem

    1 answer




$int_{0}^{2pi}dfrac{dtheta}{a+bsintheta}$ where $a,b>0$



Supposedly a very simple residue theorem problem but I'm stuck with the pole(s).



Let $z=e^{itheta}$ and $dtheta=frac{dz}{iz}$. Then,
$$begin{align*}
int_{mathbb{D}}frac{dz}{left[a+bleft(frac{z-z^{-1}}{2i}right)right]iz}&=int_{mathbb{D}}frac{2idz}{(2ai+bz-bz^{-1})iz}\
&=int_{mathbb{D}}frac{2dz}{bz^2+2aiz-b}
end{align*}$$



By quadratic formula, we can deduce that we have pole at $$z=frac{-aipmsqrt{b^2-a^2}}{b}$$
But I'm having trouble figuring out which, of the two is in fact in the unit circle. All we have is $a>0$ and $b>0$ and I feel like it could go so many different ways depending on the actual values that they take. Can anyone help me to proceed?





This question already has an answer here:




  • Evaluating $int_0^{2pi} frac {cos(theta)}{5-3cos(theta)}$ using residue theorem

    1 answer








complex-analysis residue-calculus






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 28 '18 at 16:50









Martin Sleziak

44.9k10122277




44.9k10122277










asked Dec 23 '18 at 17:35









Ya GYa G

536211




536211




marked as duplicate by Jack D'Aurizio complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 29 '18 at 21:45


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









marked as duplicate by Jack D'Aurizio complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 29 '18 at 21:45


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • $begingroup$
    @metamorphy right! That was my initial thought too, until I actually tried to get my hands dirty with it. May be I’m doing something wrong.
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:46










  • $begingroup$
    (Oops.) For $aleqslant b$ the integral diverges. Otherwise you're doing right.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 17:50










  • $begingroup$
    @metamorphy edited!
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:54










  • $begingroup$
    Now it should be easy for you (the poles are purely imaginary, one inside, the other outside).
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:00










  • $begingroup$
    @metamorphy I feel like I’m still having trouble computing for different relations between $a$ and $b$ these for some reason.
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:02


















  • $begingroup$
    @metamorphy right! That was my initial thought too, until I actually tried to get my hands dirty with it. May be I’m doing something wrong.
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:46










  • $begingroup$
    (Oops.) For $aleqslant b$ the integral diverges. Otherwise you're doing right.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 17:50










  • $begingroup$
    @metamorphy edited!
    $endgroup$
    – Ya G
    Dec 23 '18 at 17:54










  • $begingroup$
    Now it should be easy for you (the poles are purely imaginary, one inside, the other outside).
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:00










  • $begingroup$
    @metamorphy I feel like I’m still having trouble computing for different relations between $a$ and $b$ these for some reason.
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:02
















$begingroup$
@metamorphy right! That was my initial thought too, until I actually tried to get my hands dirty with it. May be I’m doing something wrong.
$endgroup$
– Ya G
Dec 23 '18 at 17:46




$begingroup$
@metamorphy right! That was my initial thought too, until I actually tried to get my hands dirty with it. May be I’m doing something wrong.
$endgroup$
– Ya G
Dec 23 '18 at 17:46












$begingroup$
(Oops.) For $aleqslant b$ the integral diverges. Otherwise you're doing right.
$endgroup$
– metamorphy
Dec 23 '18 at 17:50




$begingroup$
(Oops.) For $aleqslant b$ the integral diverges. Otherwise you're doing right.
$endgroup$
– metamorphy
Dec 23 '18 at 17:50












$begingroup$
@metamorphy edited!
$endgroup$
– Ya G
Dec 23 '18 at 17:54




$begingroup$
@metamorphy edited!
$endgroup$
– Ya G
Dec 23 '18 at 17:54












$begingroup$
Now it should be easy for you (the poles are purely imaginary, one inside, the other outside).
$endgroup$
– metamorphy
Dec 23 '18 at 18:00




$begingroup$
Now it should be easy for you (the poles are purely imaginary, one inside, the other outside).
$endgroup$
– metamorphy
Dec 23 '18 at 18:00












$begingroup$
@metamorphy I feel like I’m still having trouble computing for different relations between $a$ and $b$ these for some reason.
$endgroup$
– Ya G
Dec 23 '18 at 18:02




$begingroup$
@metamorphy I feel like I’m still having trouble computing for different relations between $a$ and $b$ these for some reason.
$endgroup$
– Ya G
Dec 23 '18 at 18:02










1 Answer
1






active

oldest

votes


















1












$begingroup$

For $aleqslant b$ the integral clearly diverges.



Otherwise, as you've shown, the poles are
$$z=frac{-apmsqrt{a^2-b^2}}{b}i,$$
and the pole with "$+$" is inside the unit circle. It remains to compute the residue.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    What does it mean by integral diverges? And how do we know that?
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:07










  • $begingroup$
    It means "the integrand is not integrable" - because $a+bsintheta$ reaches $0$ in this case.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:21




















1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

For $aleqslant b$ the integral clearly diverges.



Otherwise, as you've shown, the poles are
$$z=frac{-apmsqrt{a^2-b^2}}{b}i,$$
and the pole with "$+$" is inside the unit circle. It remains to compute the residue.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    What does it mean by integral diverges? And how do we know that?
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:07










  • $begingroup$
    It means "the integrand is not integrable" - because $a+bsintheta$ reaches $0$ in this case.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:21


















1












$begingroup$

For $aleqslant b$ the integral clearly diverges.



Otherwise, as you've shown, the poles are
$$z=frac{-apmsqrt{a^2-b^2}}{b}i,$$
and the pole with "$+$" is inside the unit circle. It remains to compute the residue.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    What does it mean by integral diverges? And how do we know that?
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:07










  • $begingroup$
    It means "the integrand is not integrable" - because $a+bsintheta$ reaches $0$ in this case.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:21
















1












1








1





$begingroup$

For $aleqslant b$ the integral clearly diverges.



Otherwise, as you've shown, the poles are
$$z=frac{-apmsqrt{a^2-b^2}}{b}i,$$
and the pole with "$+$" is inside the unit circle. It remains to compute the residue.






share|cite|improve this answer









$endgroup$



For $aleqslant b$ the integral clearly diverges.



Otherwise, as you've shown, the poles are
$$z=frac{-apmsqrt{a^2-b^2}}{b}i,$$
and the pole with "$+$" is inside the unit circle. It remains to compute the residue.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 23 '18 at 18:05









metamorphymetamorphy

3,8421721




3,8421721












  • $begingroup$
    What does it mean by integral diverges? And how do we know that?
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:07










  • $begingroup$
    It means "the integrand is not integrable" - because $a+bsintheta$ reaches $0$ in this case.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:21




















  • $begingroup$
    What does it mean by integral diverges? And how do we know that?
    $endgroup$
    – Ya G
    Dec 23 '18 at 18:07










  • $begingroup$
    It means "the integrand is not integrable" - because $a+bsintheta$ reaches $0$ in this case.
    $endgroup$
    – metamorphy
    Dec 23 '18 at 18:21


















$begingroup$
What does it mean by integral diverges? And how do we know that?
$endgroup$
– Ya G
Dec 23 '18 at 18:07




$begingroup$
What does it mean by integral diverges? And how do we know that?
$endgroup$
– Ya G
Dec 23 '18 at 18:07












$begingroup$
It means "the integrand is not integrable" - because $a+bsintheta$ reaches $0$ in this case.
$endgroup$
– metamorphy
Dec 23 '18 at 18:21






$begingroup$
It means "the integrand is not integrable" - because $a+bsintheta$ reaches $0$ in this case.
$endgroup$
– metamorphy
Dec 23 '18 at 18:21