[personal profile] waspagv
Недавно у себя в Фейсбуке я запостил шуточную картинку с интегралом в качестве пароля к WiFi. В комментарии [livejournal.com profile] m61 упомянул еще одну задачу с интегралом, которая решается "в уме": найти ∫_0^(π/2) ln(sin(x))dx. В уме я её не решил, но за несколько минут и с помощью листа бумаги справился.

И у меня возник вопрос: а как вычислить неопределенный интеграл ∫ln(sin(x))dx, и можно ли это сделать вообще в конечном виде? Посидел 2 вечера за учебниками и нашел ответ. Через элементарные функции интеграл не выражается. Но его можно выразить в комплексном виде с помощью известной специальной функции - дилогарифма. Результат такой:

∫ln(sin(x))dx = x·ln(sin(x)) + ½·i·Li₂(exp(2ix)) - x·ln(1-exp(2ix)) + ½·ix² + C

где С - произвольная комплексная постоянная. Поскольку комплексный интеграл для аналитической функции не зависит от пути интегрирования, но только от начальной и конечной точек, то для таких функций можно применить формулу Ньютона-Лейбница. Однако в нашем случае дело осложняется тем, что в нуле подынтегральная функции теряет аналитичность и вообще не определена. Поэтому интеграл с нулем на нижнем пределе строго говоря следует рассматривать как несобственный. С этой оговоркой применение формулы Ньютона-Лейбница к найденному неопределенному интегралу и контуру, состоящему из отрезка вещественной оси [0,π/2], дает искомый результат:

-π·ln(2)/2.

Профиль

waspagv: (Default)
DCS Foyle

March 2025

M T W T F S S
     12
3456789
10111213141516
17181920212223
242526272829 30
31      

Style Credit

Expand Cut Tags

No cut tags
Page generated 12/07/2025 12:23
Powered by Dreamwidth Studios