Finding $int^{frac{pi}{2}}_{0}ln(sin x)cdot sin xdx$












6












$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










share|cite|improve this question











$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
















6












$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










share|cite|improve this question











$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














6












6








6


4



$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










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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














  • 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










4 Answers
4






active

oldest

votes


















6












$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}






share|cite|improve this answer









$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



















4












$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.






share|cite|improve this answer









$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



















3












$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}






share|cite|improve this answer









$endgroup$





















    2












    $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.






    share|cite|improve this answer









    $endgroup$













      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
      });


      }
      });














      draft saved

      draft discarded


















      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









      6












      $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}






      share|cite|improve this answer









      $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
















      6












      $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}






      share|cite|improve this answer









      $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














      6












      6








      6





      $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}






      share|cite|improve this answer









      $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}







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      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


















      • $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











      4












      $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.






      share|cite|improve this answer









      $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
















      4












      $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.






      share|cite|improve this answer









      $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














      4












      4








      4





      $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.






      share|cite|improve this answer









      $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.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      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


















      • $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











      3












      $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}






      share|cite|improve this answer









      $endgroup$


















        3












        $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}






        share|cite|improve this answer









        $endgroup$
















          3












          3








          3





          $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}






          share|cite|improve this answer









          $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}







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Oct 15 '18 at 15:49









          NosratiNosrati

          26.5k62354




          26.5k62354























              2












              $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.






              share|cite|improve this answer









              $endgroup$


















                2












                $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.






                share|cite|improve this answer









                $endgroup$
















                  2












                  2








                  2





                  $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.






                  share|cite|improve this answer









                  $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.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 17 '18 at 10:05









                  omegadotomegadot

                  6,4072829




                  6,4072829






























                      draft saved

                      draft discarded




















































                      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.




                      draft saved


                      draft discarded














                      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





















































                      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







                      Popular posts from this blog

                      Plaza Victoria

                      Puebla de Zaragoza

                      Musa