Finding $int^{frac{pi}{2}}_{0}ln(sin x)cdot sin xdx$
$begingroup$
Finding $displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cdot sin xdx$
What I try:-> Integration by parts
assuming $displaystyle I = intln(sin x)cdot sin xdx = -ln(sin x)cdot cos x+intfrac{cos^2 x}{sin x}dx$
$displaystyle I = -ln(sin x)cdot cos x+intfrac{1-sin^2 x}{sin x}dx$
$ = -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos x$
$ displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cos xdx = bigg[-ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos xbigg]bigg|^{frac{pi}{2}}_{0}=-ln(0)+ln(0)$
but answer is $ln(2/e)$
could some explain me why I have got wrong answer,thanks
also explain me How I solve it using double integral
integration
$endgroup$
add a comment |
$begingroup$
Finding $displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cdot sin xdx$
What I try:-> Integration by parts
assuming $displaystyle I = intln(sin x)cdot sin xdx = -ln(sin x)cdot cos x+intfrac{cos^2 x}{sin x}dx$
$displaystyle I = -ln(sin x)cdot cos x+intfrac{1-sin^2 x}{sin x}dx$
$ = -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos x$
$ displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cos xdx = bigg[-ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos xbigg]bigg|^{frac{pi}{2}}_{0}=-ln(0)+ln(0)$
but answer is $ln(2/e)$
could some explain me why I have got wrong answer,thanks
also explain me How I solve it using double integral
integration
$endgroup$
2
$begingroup$
$log(0)$ is not a number.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:00
$begingroup$
Thanks Jack D'Aurizio, we have to write it as $lim_{xrightarrow 0}ln(sin x)cdot cos x$
$endgroup$
– DXT
Oct 15 '18 at 15:01
2
$begingroup$
It still does not exist. $lim(a-b) = lim a-lim b$ only if both $lim a$ and $lim b$ make sense.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:03
add a comment |
$begingroup$
Finding $displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cdot sin xdx$
What I try:-> Integration by parts
assuming $displaystyle I = intln(sin x)cdot sin xdx = -ln(sin x)cdot cos x+intfrac{cos^2 x}{sin x}dx$
$displaystyle I = -ln(sin x)cdot cos x+intfrac{1-sin^2 x}{sin x}dx$
$ = -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos x$
$ displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cos xdx = bigg[-ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos xbigg]bigg|^{frac{pi}{2}}_{0}=-ln(0)+ln(0)$
but answer is $ln(2/e)$
could some explain me why I have got wrong answer,thanks
also explain me How I solve it using double integral
integration
$endgroup$
Finding $displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cdot sin xdx$
What I try:-> Integration by parts
assuming $displaystyle I = intln(sin x)cdot sin xdx = -ln(sin x)cdot cos x+intfrac{cos^2 x}{sin x}dx$
$displaystyle I = -ln(sin x)cdot cos x+intfrac{1-sin^2 x}{sin x}dx$
$ = -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos x$
$ displaystyle int^{frac{pi}{2}}_{0}ln(sin x)cos xdx = bigg[-ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)-cos xbigg]bigg|^{frac{pi}{2}}_{0}=-ln(0)+ln(0)$
but answer is $ln(2/e)$
could some explain me why I have got wrong answer,thanks
also explain me How I solve it using double integral
integration
integration
edited Jan 12 at 14:46
Martin Sleziak
44.9k10121273
44.9k10121273
asked Oct 15 '18 at 14:51
DXTDXT
6,0612732
6,0612732
2
$begingroup$
$log(0)$ is not a number.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:00
$begingroup$
Thanks Jack D'Aurizio, we have to write it as $lim_{xrightarrow 0}ln(sin x)cdot cos x$
$endgroup$
– DXT
Oct 15 '18 at 15:01
2
$begingroup$
It still does not exist. $lim(a-b) = lim a-lim b$ only if both $lim a$ and $lim b$ make sense.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:03
add a comment |
2
$begingroup$
$log(0)$ is not a number.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:00
$begingroup$
Thanks Jack D'Aurizio, we have to write it as $lim_{xrightarrow 0}ln(sin x)cdot cos x$
$endgroup$
– DXT
Oct 15 '18 at 15:01
2
$begingroup$
It still does not exist. $lim(a-b) = lim a-lim b$ only if both $lim a$ and $lim b$ make sense.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:03
2
2
$begingroup$
$log(0)$ is not a number.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:00
$begingroup$
$log(0)$ is not a number.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:00
$begingroup$
Thanks Jack D'Aurizio, we have to write it as $lim_{xrightarrow 0}ln(sin x)cdot cos x$
$endgroup$
– DXT
Oct 15 '18 at 15:01
$begingroup$
Thanks Jack D'Aurizio, we have to write it as $lim_{xrightarrow 0}ln(sin x)cdot cos x$
$endgroup$
– DXT
Oct 15 '18 at 15:01
2
2
$begingroup$
It still does not exist. $lim(a-b) = lim a-lim b$ only if both $lim a$ and $lim b$ make sense.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:03
$begingroup$
It still does not exist. $lim(a-b) = lim a-lim b$ only if both $lim a$ and $lim b$ make sense.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:03
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
begin{align}
I&=int^{frac{pi}{2}}_{0}ln(sin x)cdot sin x,dx
tag{1}label{1}
end{align}
begin{align}
I&=int^{frac{pi}{2}}_{0}tfrac12ln(sin^2 x)cdot sin x,dx
tag{2}label{2}
\
&=
int^{frac{pi}{2}}_{0}
tfrac12ln(1-cos^2 x)cdot sin x,dx
tag{3}label{3}
.
end{align}
Let $t=cos x$, then we have
begin{align}
I&=tfrac12int_0^1ln(1-t^2),dt
\
&=
tfrac12int_0^1ln(1-t)+ln(1+t),dt
\
&=
left.tfrac12
(
1-t-(1-t)ln(1-t)
+(t+1)ln(t+1)-1-t
)right|_0^1
=ln2-1
.
end{align}
$endgroup$
$begingroup$
This is the calculus I answer that the user should've gotten in the first place xD.
$endgroup$
– Wesley Strik
Oct 15 '18 at 15:32
add a comment |
$begingroup$
$logsin x$ has a well-known Fourier series:
$$ logsin x=-log 2-sum_{kgeq 1}frac{cos(2k x)}{k} $$
and for any $kinmathbb{N}^+$ we have
$$ int_{0}^{pi/2}cos(2kx)sin(x),dx = -frac{1}{(2k-1)(2k+1)}, $$
hence
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = -log(2)+sum_{kgeq 1}frac{1}{(2k-1)k(2k+1)} $$
where the last series equals $-1+2log 2$ by partial fraction decomposition. It follows that
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = log(2)-1 $$
as wanted.
$endgroup$
$begingroup$
Thanks Jack D'Aurizio. caoul you please explain me how i find $displaystyle int^{frac{pi}{2}}_{0}cos(2kx)cdot sin (x)dx =frac{1}{(1+2k)(1-2k)}.$
$endgroup$
– DXT
Oct 15 '18 at 15:03
$begingroup$
@DurgeshTiwari: Sine addition formulas and explicit integration.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:04
2
$begingroup$
It's not that I don't like the elegance of your answer, it's just that the question is probably from a Calc II or Calc III class where, much of the time, Fourier series haven't been properly introduced.
$endgroup$
– Leo
Oct 15 '18 at 15:05
2
$begingroup$
@Leo: that is not my fault. According to my opinion, Fourier series should be introduced as soon as possible, since they provide multiple ways for explicit evaluations, like in this case or in Basel problem. I also do not believe this exercise comes from a Calc-X class: the OP is asking for elementary integrals from quite some time.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:07
$begingroup$
Why is this called a 'Fourier' series? Is that just the name for any trigonometric series? or can one find it using the classic method?
$endgroup$
– clathratus
Jan 12 at 23:34
add a comment |
$begingroup$
Other answers are good but I prefer to talk about yours. You found (with a typo)
begin{align}
int_{0}^{frac{pi}{2}}ln(sin x) sin x dx
&= -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)color{red}{+}cos xBig|_{0}^{frac{pi}{2}} \
&= 0 + lim_{xto0}bigg(ln(sin x)cos x+lntanfrac{x}{2}bigg)-1 \
&= 0 + lim_{xto0}bigg(ln(1+cos x)-(1-cos x)lnsin xbigg)-1 \
&= ln2-1
end{align}
$endgroup$
add a comment |
$begingroup$
Here is an approach following along lines similar to your own answer. There is however a small subtlety used in the first integration by parts step.
On integrating by parts, we have
$$int_0^{frac{pi}{2}} sin x ln (sin x) , dx = (1 - cos x) ln (sin x) Big{|}_0^{pi/2} - int_0^{frac{pi}{2}} (1 - cos x) cdot frac{cos x}{sin x} , dx.$$
Note the subtlety here. Having chosen $v' = sin x$ we have used $v = 1 - cos x$, that is, a non-zero constant of integration has been selected. Doing so means one has zero at the upper and lower limits of integration.
Continuing, we have
begin{align}
int_0^{frac{pi}{2}} sin x ln (sin x) , dx &= int_0^{frac{pi}{2}} frac{-cos x + cos^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} frac{-cos x + 1 - sin^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} left [text{cosec} , x - cot x - sin x right ] , dx\
&= left [-ln (text{cosec} ,x + cot x) - ln (sin x) + cos x right ]_0^{pi/2}\
&= left [-ln (1 + cos x) + cos x right ]_0^{pi/2}\
&= ln 2 - 1,
end{align}
as expected.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2956615%2ffinding-int-frac-pi2-0-ln-sin-x-cdot-sin-xdx%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
begin{align}
I&=int^{frac{pi}{2}}_{0}ln(sin x)cdot sin x,dx
tag{1}label{1}
end{align}
begin{align}
I&=int^{frac{pi}{2}}_{0}tfrac12ln(sin^2 x)cdot sin x,dx
tag{2}label{2}
\
&=
int^{frac{pi}{2}}_{0}
tfrac12ln(1-cos^2 x)cdot sin x,dx
tag{3}label{3}
.
end{align}
Let $t=cos x$, then we have
begin{align}
I&=tfrac12int_0^1ln(1-t^2),dt
\
&=
tfrac12int_0^1ln(1-t)+ln(1+t),dt
\
&=
left.tfrac12
(
1-t-(1-t)ln(1-t)
+(t+1)ln(t+1)-1-t
)right|_0^1
=ln2-1
.
end{align}
$endgroup$
$begingroup$
This is the calculus I answer that the user should've gotten in the first place xD.
$endgroup$
– Wesley Strik
Oct 15 '18 at 15:32
add a comment |
$begingroup$
begin{align}
I&=int^{frac{pi}{2}}_{0}ln(sin x)cdot sin x,dx
tag{1}label{1}
end{align}
begin{align}
I&=int^{frac{pi}{2}}_{0}tfrac12ln(sin^2 x)cdot sin x,dx
tag{2}label{2}
\
&=
int^{frac{pi}{2}}_{0}
tfrac12ln(1-cos^2 x)cdot sin x,dx
tag{3}label{3}
.
end{align}
Let $t=cos x$, then we have
begin{align}
I&=tfrac12int_0^1ln(1-t^2),dt
\
&=
tfrac12int_0^1ln(1-t)+ln(1+t),dt
\
&=
left.tfrac12
(
1-t-(1-t)ln(1-t)
+(t+1)ln(t+1)-1-t
)right|_0^1
=ln2-1
.
end{align}
$endgroup$
$begingroup$
This is the calculus I answer that the user should've gotten in the first place xD.
$endgroup$
– Wesley Strik
Oct 15 '18 at 15:32
add a comment |
$begingroup$
begin{align}
I&=int^{frac{pi}{2}}_{0}ln(sin x)cdot sin x,dx
tag{1}label{1}
end{align}
begin{align}
I&=int^{frac{pi}{2}}_{0}tfrac12ln(sin^2 x)cdot sin x,dx
tag{2}label{2}
\
&=
int^{frac{pi}{2}}_{0}
tfrac12ln(1-cos^2 x)cdot sin x,dx
tag{3}label{3}
.
end{align}
Let $t=cos x$, then we have
begin{align}
I&=tfrac12int_0^1ln(1-t^2),dt
\
&=
tfrac12int_0^1ln(1-t)+ln(1+t),dt
\
&=
left.tfrac12
(
1-t-(1-t)ln(1-t)
+(t+1)ln(t+1)-1-t
)right|_0^1
=ln2-1
.
end{align}
$endgroup$
begin{align}
I&=int^{frac{pi}{2}}_{0}ln(sin x)cdot sin x,dx
tag{1}label{1}
end{align}
begin{align}
I&=int^{frac{pi}{2}}_{0}tfrac12ln(sin^2 x)cdot sin x,dx
tag{2}label{2}
\
&=
int^{frac{pi}{2}}_{0}
tfrac12ln(1-cos^2 x)cdot sin x,dx
tag{3}label{3}
.
end{align}
Let $t=cos x$, then we have
begin{align}
I&=tfrac12int_0^1ln(1-t^2),dt
\
&=
tfrac12int_0^1ln(1-t)+ln(1+t),dt
\
&=
left.tfrac12
(
1-t-(1-t)ln(1-t)
+(t+1)ln(t+1)-1-t
)right|_0^1
=ln2-1
.
end{align}
answered Oct 15 '18 at 15:27
g.kovg.kov
6,3271818
6,3271818
$begingroup$
This is the calculus I answer that the user should've gotten in the first place xD.
$endgroup$
– Wesley Strik
Oct 15 '18 at 15:32
add a comment |
$begingroup$
This is the calculus I answer that the user should've gotten in the first place xD.
$endgroup$
– Wesley Strik
Oct 15 '18 at 15:32
$begingroup$
This is the calculus I answer that the user should've gotten in the first place xD.
$endgroup$
– Wesley Strik
Oct 15 '18 at 15:32
$begingroup$
This is the calculus I answer that the user should've gotten in the first place xD.
$endgroup$
– Wesley Strik
Oct 15 '18 at 15:32
add a comment |
$begingroup$
$logsin x$ has a well-known Fourier series:
$$ logsin x=-log 2-sum_{kgeq 1}frac{cos(2k x)}{k} $$
and for any $kinmathbb{N}^+$ we have
$$ int_{0}^{pi/2}cos(2kx)sin(x),dx = -frac{1}{(2k-1)(2k+1)}, $$
hence
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = -log(2)+sum_{kgeq 1}frac{1}{(2k-1)k(2k+1)} $$
where the last series equals $-1+2log 2$ by partial fraction decomposition. It follows that
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = log(2)-1 $$
as wanted.
$endgroup$
$begingroup$
Thanks Jack D'Aurizio. caoul you please explain me how i find $displaystyle int^{frac{pi}{2}}_{0}cos(2kx)cdot sin (x)dx =frac{1}{(1+2k)(1-2k)}.$
$endgroup$
– DXT
Oct 15 '18 at 15:03
$begingroup$
@DurgeshTiwari: Sine addition formulas and explicit integration.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:04
2
$begingroup$
It's not that I don't like the elegance of your answer, it's just that the question is probably from a Calc II or Calc III class where, much of the time, Fourier series haven't been properly introduced.
$endgroup$
– Leo
Oct 15 '18 at 15:05
2
$begingroup$
@Leo: that is not my fault. According to my opinion, Fourier series should be introduced as soon as possible, since they provide multiple ways for explicit evaluations, like in this case or in Basel problem. I also do not believe this exercise comes from a Calc-X class: the OP is asking for elementary integrals from quite some time.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:07
$begingroup$
Why is this called a 'Fourier' series? Is that just the name for any trigonometric series? or can one find it using the classic method?
$endgroup$
– clathratus
Jan 12 at 23:34
add a comment |
$begingroup$
$logsin x$ has a well-known Fourier series:
$$ logsin x=-log 2-sum_{kgeq 1}frac{cos(2k x)}{k} $$
and for any $kinmathbb{N}^+$ we have
$$ int_{0}^{pi/2}cos(2kx)sin(x),dx = -frac{1}{(2k-1)(2k+1)}, $$
hence
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = -log(2)+sum_{kgeq 1}frac{1}{(2k-1)k(2k+1)} $$
where the last series equals $-1+2log 2$ by partial fraction decomposition. It follows that
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = log(2)-1 $$
as wanted.
$endgroup$
$begingroup$
Thanks Jack D'Aurizio. caoul you please explain me how i find $displaystyle int^{frac{pi}{2}}_{0}cos(2kx)cdot sin (x)dx =frac{1}{(1+2k)(1-2k)}.$
$endgroup$
– DXT
Oct 15 '18 at 15:03
$begingroup$
@DurgeshTiwari: Sine addition formulas and explicit integration.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:04
2
$begingroup$
It's not that I don't like the elegance of your answer, it's just that the question is probably from a Calc II or Calc III class where, much of the time, Fourier series haven't been properly introduced.
$endgroup$
– Leo
Oct 15 '18 at 15:05
2
$begingroup$
@Leo: that is not my fault. According to my opinion, Fourier series should be introduced as soon as possible, since they provide multiple ways for explicit evaluations, like in this case or in Basel problem. I also do not believe this exercise comes from a Calc-X class: the OP is asking for elementary integrals from quite some time.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:07
$begingroup$
Why is this called a 'Fourier' series? Is that just the name for any trigonometric series? or can one find it using the classic method?
$endgroup$
– clathratus
Jan 12 at 23:34
add a comment |
$begingroup$
$logsin x$ has a well-known Fourier series:
$$ logsin x=-log 2-sum_{kgeq 1}frac{cos(2k x)}{k} $$
and for any $kinmathbb{N}^+$ we have
$$ int_{0}^{pi/2}cos(2kx)sin(x),dx = -frac{1}{(2k-1)(2k+1)}, $$
hence
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = -log(2)+sum_{kgeq 1}frac{1}{(2k-1)k(2k+1)} $$
where the last series equals $-1+2log 2$ by partial fraction decomposition. It follows that
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = log(2)-1 $$
as wanted.
$endgroup$
$logsin x$ has a well-known Fourier series:
$$ logsin x=-log 2-sum_{kgeq 1}frac{cos(2k x)}{k} $$
and for any $kinmathbb{N}^+$ we have
$$ int_{0}^{pi/2}cos(2kx)sin(x),dx = -frac{1}{(2k-1)(2k+1)}, $$
hence
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = -log(2)+sum_{kgeq 1}frac{1}{(2k-1)k(2k+1)} $$
where the last series equals $-1+2log 2$ by partial fraction decomposition. It follows that
$$ int_{0}^{pi/2}sin(x)logsin(x),dx = log(2)-1 $$
as wanted.
answered Oct 15 '18 at 14:57
Jack D'AurizioJack D'Aurizio
291k33284668
291k33284668
$begingroup$
Thanks Jack D'Aurizio. caoul you please explain me how i find $displaystyle int^{frac{pi}{2}}_{0}cos(2kx)cdot sin (x)dx =frac{1}{(1+2k)(1-2k)}.$
$endgroup$
– DXT
Oct 15 '18 at 15:03
$begingroup$
@DurgeshTiwari: Sine addition formulas and explicit integration.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:04
2
$begingroup$
It's not that I don't like the elegance of your answer, it's just that the question is probably from a Calc II or Calc III class where, much of the time, Fourier series haven't been properly introduced.
$endgroup$
– Leo
Oct 15 '18 at 15:05
2
$begingroup$
@Leo: that is not my fault. According to my opinion, Fourier series should be introduced as soon as possible, since they provide multiple ways for explicit evaluations, like in this case or in Basel problem. I also do not believe this exercise comes from a Calc-X class: the OP is asking for elementary integrals from quite some time.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:07
$begingroup$
Why is this called a 'Fourier' series? Is that just the name for any trigonometric series? or can one find it using the classic method?
$endgroup$
– clathratus
Jan 12 at 23:34
add a comment |
$begingroup$
Thanks Jack D'Aurizio. caoul you please explain me how i find $displaystyle int^{frac{pi}{2}}_{0}cos(2kx)cdot sin (x)dx =frac{1}{(1+2k)(1-2k)}.$
$endgroup$
– DXT
Oct 15 '18 at 15:03
$begingroup$
@DurgeshTiwari: Sine addition formulas and explicit integration.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:04
2
$begingroup$
It's not that I don't like the elegance of your answer, it's just that the question is probably from a Calc II or Calc III class where, much of the time, Fourier series haven't been properly introduced.
$endgroup$
– Leo
Oct 15 '18 at 15:05
2
$begingroup$
@Leo: that is not my fault. According to my opinion, Fourier series should be introduced as soon as possible, since they provide multiple ways for explicit evaluations, like in this case or in Basel problem. I also do not believe this exercise comes from a Calc-X class: the OP is asking for elementary integrals from quite some time.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:07
$begingroup$
Why is this called a 'Fourier' series? Is that just the name for any trigonometric series? or can one find it using the classic method?
$endgroup$
– clathratus
Jan 12 at 23:34
$begingroup$
Thanks Jack D'Aurizio. caoul you please explain me how i find $displaystyle int^{frac{pi}{2}}_{0}cos(2kx)cdot sin (x)dx =frac{1}{(1+2k)(1-2k)}.$
$endgroup$
– DXT
Oct 15 '18 at 15:03
$begingroup$
Thanks Jack D'Aurizio. caoul you please explain me how i find $displaystyle int^{frac{pi}{2}}_{0}cos(2kx)cdot sin (x)dx =frac{1}{(1+2k)(1-2k)}.$
$endgroup$
– DXT
Oct 15 '18 at 15:03
$begingroup$
@DurgeshTiwari: Sine addition formulas and explicit integration.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:04
$begingroup$
@DurgeshTiwari: Sine addition formulas and explicit integration.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:04
2
2
$begingroup$
It's not that I don't like the elegance of your answer, it's just that the question is probably from a Calc II or Calc III class where, much of the time, Fourier series haven't been properly introduced.
$endgroup$
– Leo
Oct 15 '18 at 15:05
$begingroup$
It's not that I don't like the elegance of your answer, it's just that the question is probably from a Calc II or Calc III class where, much of the time, Fourier series haven't been properly introduced.
$endgroup$
– Leo
Oct 15 '18 at 15:05
2
2
$begingroup$
@Leo: that is not my fault. According to my opinion, Fourier series should be introduced as soon as possible, since they provide multiple ways for explicit evaluations, like in this case or in Basel problem. I also do not believe this exercise comes from a Calc-X class: the OP is asking for elementary integrals from quite some time.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:07
$begingroup$
@Leo: that is not my fault. According to my opinion, Fourier series should be introduced as soon as possible, since they provide multiple ways for explicit evaluations, like in this case or in Basel problem. I also do not believe this exercise comes from a Calc-X class: the OP is asking for elementary integrals from quite some time.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:07
$begingroup$
Why is this called a 'Fourier' series? Is that just the name for any trigonometric series? or can one find it using the classic method?
$endgroup$
– clathratus
Jan 12 at 23:34
$begingroup$
Why is this called a 'Fourier' series? Is that just the name for any trigonometric series? or can one find it using the classic method?
$endgroup$
– clathratus
Jan 12 at 23:34
add a comment |
$begingroup$
Other answers are good but I prefer to talk about yours. You found (with a typo)
begin{align}
int_{0}^{frac{pi}{2}}ln(sin x) sin x dx
&= -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)color{red}{+}cos xBig|_{0}^{frac{pi}{2}} \
&= 0 + lim_{xto0}bigg(ln(sin x)cos x+lntanfrac{x}{2}bigg)-1 \
&= 0 + lim_{xto0}bigg(ln(1+cos x)-(1-cos x)lnsin xbigg)-1 \
&= ln2-1
end{align}
$endgroup$
add a comment |
$begingroup$
Other answers are good but I prefer to talk about yours. You found (with a typo)
begin{align}
int_{0}^{frac{pi}{2}}ln(sin x) sin x dx
&= -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)color{red}{+}cos xBig|_{0}^{frac{pi}{2}} \
&= 0 + lim_{xto0}bigg(ln(sin x)cos x+lntanfrac{x}{2}bigg)-1 \
&= 0 + lim_{xto0}bigg(ln(1+cos x)-(1-cos x)lnsin xbigg)-1 \
&= ln2-1
end{align}
$endgroup$
add a comment |
$begingroup$
Other answers are good but I prefer to talk about yours. You found (with a typo)
begin{align}
int_{0}^{frac{pi}{2}}ln(sin x) sin x dx
&= -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)color{red}{+}cos xBig|_{0}^{frac{pi}{2}} \
&= 0 + lim_{xto0}bigg(ln(sin x)cos x+lntanfrac{x}{2}bigg)-1 \
&= 0 + lim_{xto0}bigg(ln(1+cos x)-(1-cos x)lnsin xbigg)-1 \
&= ln2-1
end{align}
$endgroup$
Other answers are good but I prefer to talk about yours. You found (with a typo)
begin{align}
int_{0}^{frac{pi}{2}}ln(sin x) sin x dx
&= -ln(sin x)cos x+lnbigg(tanfrac{x}{2}bigg)color{red}{+}cos xBig|_{0}^{frac{pi}{2}} \
&= 0 + lim_{xto0}bigg(ln(sin x)cos x+lntanfrac{x}{2}bigg)-1 \
&= 0 + lim_{xto0}bigg(ln(1+cos x)-(1-cos x)lnsin xbigg)-1 \
&= ln2-1
end{align}
answered Oct 15 '18 at 15:49
NosratiNosrati
26.5k62354
26.5k62354
add a comment |
add a comment |
$begingroup$
Here is an approach following along lines similar to your own answer. There is however a small subtlety used in the first integration by parts step.
On integrating by parts, we have
$$int_0^{frac{pi}{2}} sin x ln (sin x) , dx = (1 - cos x) ln (sin x) Big{|}_0^{pi/2} - int_0^{frac{pi}{2}} (1 - cos x) cdot frac{cos x}{sin x} , dx.$$
Note the subtlety here. Having chosen $v' = sin x$ we have used $v = 1 - cos x$, that is, a non-zero constant of integration has been selected. Doing so means one has zero at the upper and lower limits of integration.
Continuing, we have
begin{align}
int_0^{frac{pi}{2}} sin x ln (sin x) , dx &= int_0^{frac{pi}{2}} frac{-cos x + cos^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} frac{-cos x + 1 - sin^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} left [text{cosec} , x - cot x - sin x right ] , dx\
&= left [-ln (text{cosec} ,x + cot x) - ln (sin x) + cos x right ]_0^{pi/2}\
&= left [-ln (1 + cos x) + cos x right ]_0^{pi/2}\
&= ln 2 - 1,
end{align}
as expected.
$endgroup$
add a comment |
$begingroup$
Here is an approach following along lines similar to your own answer. There is however a small subtlety used in the first integration by parts step.
On integrating by parts, we have
$$int_0^{frac{pi}{2}} sin x ln (sin x) , dx = (1 - cos x) ln (sin x) Big{|}_0^{pi/2} - int_0^{frac{pi}{2}} (1 - cos x) cdot frac{cos x}{sin x} , dx.$$
Note the subtlety here. Having chosen $v' = sin x$ we have used $v = 1 - cos x$, that is, a non-zero constant of integration has been selected. Doing so means one has zero at the upper and lower limits of integration.
Continuing, we have
begin{align}
int_0^{frac{pi}{2}} sin x ln (sin x) , dx &= int_0^{frac{pi}{2}} frac{-cos x + cos^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} frac{-cos x + 1 - sin^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} left [text{cosec} , x - cot x - sin x right ] , dx\
&= left [-ln (text{cosec} ,x + cot x) - ln (sin x) + cos x right ]_0^{pi/2}\
&= left [-ln (1 + cos x) + cos x right ]_0^{pi/2}\
&= ln 2 - 1,
end{align}
as expected.
$endgroup$
add a comment |
$begingroup$
Here is an approach following along lines similar to your own answer. There is however a small subtlety used in the first integration by parts step.
On integrating by parts, we have
$$int_0^{frac{pi}{2}} sin x ln (sin x) , dx = (1 - cos x) ln (sin x) Big{|}_0^{pi/2} - int_0^{frac{pi}{2}} (1 - cos x) cdot frac{cos x}{sin x} , dx.$$
Note the subtlety here. Having chosen $v' = sin x$ we have used $v = 1 - cos x$, that is, a non-zero constant of integration has been selected. Doing so means one has zero at the upper and lower limits of integration.
Continuing, we have
begin{align}
int_0^{frac{pi}{2}} sin x ln (sin x) , dx &= int_0^{frac{pi}{2}} frac{-cos x + cos^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} frac{-cos x + 1 - sin^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} left [text{cosec} , x - cot x - sin x right ] , dx\
&= left [-ln (text{cosec} ,x + cot x) - ln (sin x) + cos x right ]_0^{pi/2}\
&= left [-ln (1 + cos x) + cos x right ]_0^{pi/2}\
&= ln 2 - 1,
end{align}
as expected.
$endgroup$
Here is an approach following along lines similar to your own answer. There is however a small subtlety used in the first integration by parts step.
On integrating by parts, we have
$$int_0^{frac{pi}{2}} sin x ln (sin x) , dx = (1 - cos x) ln (sin x) Big{|}_0^{pi/2} - int_0^{frac{pi}{2}} (1 - cos x) cdot frac{cos x}{sin x} , dx.$$
Note the subtlety here. Having chosen $v' = sin x$ we have used $v = 1 - cos x$, that is, a non-zero constant of integration has been selected. Doing so means one has zero at the upper and lower limits of integration.
Continuing, we have
begin{align}
int_0^{frac{pi}{2}} sin x ln (sin x) , dx &= int_0^{frac{pi}{2}} frac{-cos x + cos^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} frac{-cos x + 1 - sin^2 x}{sin x} , dx\
&= int_0^{frac{pi}{2}} left [text{cosec} , x - cot x - sin x right ] , dx\
&= left [-ln (text{cosec} ,x + cot x) - ln (sin x) + cos x right ]_0^{pi/2}\
&= left [-ln (1 + cos x) + cos x right ]_0^{pi/2}\
&= ln 2 - 1,
end{align}
as expected.
answered Dec 17 '18 at 10:05
omegadotomegadot
6,4072829
6,4072829
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2956615%2ffinding-int-frac-pi2-0-ln-sin-x-cdot-sin-xdx%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
$begingroup$
$log(0)$ is not a number.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:00
$begingroup$
Thanks Jack D'Aurizio, we have to write it as $lim_{xrightarrow 0}ln(sin x)cdot cos x$
$endgroup$
– DXT
Oct 15 '18 at 15:01
2
$begingroup$
It still does not exist. $lim(a-b) = lim a-lim b$ only if both $lim a$ and $lim b$ make sense.
$endgroup$
– Jack D'Aurizio
Oct 15 '18 at 15:03