आप कैसे संपर्क कर सकते हैं $\int_0^{\pi/2} x\frac{\ln(\cos x)}{\sin x}dx$
यहाँ एक नई चुनौतीपूर्ण समस्या है :
वो दिखाओ
$$I=\int_0^{\pi/2} x\frac{\ln(\cos x)}{\sin x}dx=2\ln(2)G-\frac{\pi}{8}\ln^2(2)-\frac{5\pi^3}{32}+4\Im\left\{\text{Li}_3\left(\frac{1+i}{2}\right)\right\}$$
मेरा प्रयास :
Weierstrass प्रतिस्थापन के साथ हमारे पास है
$$I=2\int_0^1\frac{\arctan x}{x}\ln\left(\frac{1-x^2}{1+x^2}\right)dx\overset{x\to \frac{1-x}{1+x}}{=}4\int_0^1\frac{\frac{\pi}{4}-\arctan x}{1-x^2}\ln\left(\frac{2x}{1+x^2}\right)dx$$
$$=\pi\underbrace{\int_0^1\frac{1}{1-x^2}\ln\left(\frac{2x}{1+x^2}\right)dx}_{I_1}-4\underbrace{\int_0^1\frac{\arctan x}{1-x^2}\ln\left(\frac{2x}{1+x^2}\right)dx}_{I_2}$$
व्यवस्थित करके $x\to \frac{1-x}{1+x}$ हमारे पहले अभिन्न अंग में
$$I_1=\frac12\int_0^1\frac{1}{x}\ln\left(\frac{1-x^2}{1+x^2}\right)dx$$
$$=\frac14\int_0^1\frac{1}{x}\ln\left(\frac{1-x}{1+x}\right)dx=\frac14\left[-\text{Li}_2(x)+\text{Li}_2(-x)\right]_0^1=-\frac38\zeta(2)$$
दूसरे अभिन्न के लिए, लिखें $\frac{1}{1-x^2}=\frac{1}{2(1-x)}+\frac{1}{2(1+x)}$
$$I_2=\frac12\int_0^1\frac{\arctan x}{1-x}\ln\left(\frac{2x}{1+x^2}\right)dx+\frac12\int_0^1\frac{\arctan x}{1+x}\ln\left(\frac{2x}{1+x^2}\right)dx$$
पहला अभिन्न यह एक के समान है
$$\int_0^1\frac{\arctan\left(x\right)}{1-x}\, \ln\left(\frac{2x^2}{1+x^2}\right)\,\mathrm{d}x = -\frac{\pi}{16}\ln^{2}\left(2\right) - \frac{11}{192}\,\pi^{3} + 2\Im\left\{% \text{Li}_{3}\left(\frac{1 + \mathrm{i}}{2}\right)\right\}$$
इसलिए हम केवल साथ रह गए हैं $\int_0^1\frac{\arctan x\ln(1+x^2)}{1+x}dx$ जैसा $\int_0^1\frac{\arctan x\ln x}{1+x}dx$यहाँ पहले से ही FDP द्वारा अच्छी तरह से गणना की गई है । कोई उपाय?
मैंने देखा कि अगर हम उपयोग करते हैं $x\to\frac{1-x}{1+x}$ में $\int_0^1\frac{\arctan x\ln(1+x^2)}{1+x}dx$ हमारे पास एक अच्छी सहानुभूति होगी लेकिन फिर भी कुछ कष्टप्रद अभिन्नता दिखाई देती है।
में $I$, मैंने भी फूरियर श्रृंखला की कोशिश की $\ln(\cos x)$ लेकिन मैं रुक गया $\int_0^{\pi/2} \frac{x\cos(2nx)}{\sin x}dx$। यदि संभव हो तो मैं अलग-अलग दृष्टिकोण देखना चाहूंगा।
धन्यवाद।
जवाब
जाने के कई तरीके संभव हैं!
एक सरल तरीका यह होगा कि ज्ञात परिणाम का दोहन किया जाए ,
$$\int_0^1 \frac{\arctan(x)}{x}\log\left(\frac{1+x^2}{(1-x)^2}\right)=\frac{\pi^3}{16},\tag 1$$
Weierstrass के साथ के बाद से मुख्य अभिन्न कम हो जाता है
$$\mathcal{I}=2\int_0^1\frac{\arctan(x)}{x}\log\left(\frac{1-x^2}{1+x^2}\right)\textrm{d}x$$ $$=-2 \int_0^1 \frac{ \arctan(x)}{x}\log \left(\frac{1+x^2}{(1-x)^2}\right) \textrm{d}x-2 \int_0^1 \frac{\arctan(x)\log (1-x)}{x} \textrm{d}x$$ $$+2 \int_0^1 \frac{\arctan(x)\log (1+x) }{x} \textrm{d}x$$ $$=2\log(2)G-\frac{\pi}{8}\log^2(2)-\frac{5}{32}\pi^3+4\Im\left\{\text{Li}_3\left(\frac{1+i}{2}\right)\right\},$$
जहां अंतिम दो अभिन्नों की गणना इस उत्तर में अली शतहेर द्वारा की गई हैhttps://math.stackexchange.com/q/3261446।
कहानी का अंत
इस दृष्टिकोण का श्रेय कॉर्नेल को जाता है ।
एक पहला नोट: दिलचस्प है, अलग-अलग तरीके समस्या को बहुत मुश्किल बनाते हैं । जाने के लिए और अधिक तरीके रखना अच्छा होगा।
एक दूसरा ध्यान दें: का सामान्यीकरण कुंजी अभिन्न में$(1)$पुस्तक में पाया जा सकता है, (लगभग) असंभव इंटीग्रल्स, रकम और श्रृंखला , पृष्ठ$17$,
$$ \int_0^x \frac{\arctan(t)\log(1+t^2)}{t} \textrm{d}t-2 \int_0^1 \frac{\arctan(xt)\log (1-t)}{t}\textrm{d}t$$ $$=2\sum_{n=1}^{\infty} (-1)^{n-1} \frac{x^{2n-1}}{(2n-1)^3}, \ |x|\le1.$$
$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} I & \equiv \int_{0}^{\pi/2}x{\ln\pars{\cos\pars{x}} \over \sin\pars{x}}\,\dd x \\[5mm] & = \bbox[5px,#ffd]{2\ln\pars{2}\,\mrm{G} - {\pi \over 8}\ln^{2}\pars{2} - {5\pi^{3} \over 32} + 4\,\Im\pars{\mrm{Li}_3\pars{1 + \ic \over 2}}}:\ {\Large ?}\label{1}\tag{1} \end{align}
$\ds{\mrm{G}}$है कैटलन लगातार और$\ds{\mrm{Li}_{s}}$है polylogarithm ।
\begin{align} I & \equiv \bbox[5px,#ffd]{\int_{0}^{\pi/2}x{\ln\pars{\cos\pars{x}} \over \sin\pars{x}}\,\dd x} \\[5mm] & = \left. \Re\int_{x\ =\ 0}^{x\ =\ \pi/2}\bracks{-\ic\ln\pars{z}}{\ln\pars{\bracks{z + 1/z}/2} \over \pars{z - 1/z}/\pars{2\ic}}\,{\dd z \over \ic z}\,\right\vert_{\ z\ =\ \exp\pars{\ic x}} \\[5mm] & = \left. -2\,\Im\int_{x\ =\ 0}^{x\ =\ \pi/2}\ln\pars{z}\, \ln\pars{1 + z^{2} \over 2z} \,{\dd z \over 1 - z^{2}}\,\right\vert_{\ z\ =\ \exp\pars{\ic x}} \\[5mm] & = 2\,\Im\int_{1}^{0}\bracks{\ln\pars{y} + {\pi \over 2}\,\ic}\, \bracks{\ln\pars{1 - y^{2} \over 2y} - {\pi \over 2}\,\ic} \,{\ic\,\dd y \over 1 + y^{2}} \\[5mm] & = -2\int_{0}^{1}\bracks{\ln\pars{y}\ln\pars{1 - y^{2} \over 2y} + {\pi^{2} \over 4}}\, \,{\dd y \over 1 + y^{2}} \\[5mm] & = -2\ \overbrace{\int_{0}^{1}{\ln\pars{y}\ln\pars{1 - y} \over 1 + y^{2}}\,\dd y}^{\ds{I_{1}}}\ -\ 2\ \overbrace{\int_{0}^{1}{\ln\pars{y}\ln\pars{1 + y} \over 1 + y^{2}}\,\dd y}^{\ds{I_{2}}} \\[2mm] & + 2\ln\pars{2}\ \underbrace{\int_{0}^{1}{\ln\pars{y} \over 1 + y^{2}}\,\dd y} _{\ds{I_{3}}}\ +\ 2\ \underbrace{\int_{0}^{1}{\ln^{2}\pars{y} \over 1 + y^{2}}\,\dd y} _{\ds{I_{4}}}\ -\ \underbrace{{\pi^{2} \over 2}\int_{0}^{1}{\dd y \over 1 + y^{2}}} _{\ds{\pi^{3} \over 8}} \\ & = -2I_{1} -2I_{2} + 2\ln\pars{2}\, I_{3} +2I_{4} - {\pi^{3} \over 8} \label{2}\tag{2} \end{align}उन अभिन्नों को अच्छी तरह से जाना जाता है या / और बहुत-विस्तृत रूप से उल्लेखनीय हैं : \ start {समीकरण} \ left \ {\ _ शुरू {सरणी} {rcl} \ ds {I_ {1}} & \ ds {=} & \ _ ds {- \ _, {\ _ pi \ _ 32} \ _, \ ln ^ {2} \ pars {2}} - {\ pi ^ {3} \ _ 128} + \ Im \ pars {\ mrm {Li} _ {3} \ pars {1 + \ ic \ over 2}} \\ [2mm] \ ds {I_ {2}} & \ ds {=} & \ ds {\ phantom {-} 2 \ mrm {G} / ln \ pars {2} + {3 \ _ \ _ \ _ 32} \ _, \ ln ^ {2} \ pars {2}} + {11 \ pi ^ {3} \ _ 128} - 3 \, \ Im \ pars {\ mrm {Li} _ {3} \ pars {1 + \ ic \ over 2}} \\ [2mm] \ ds {I_ {3}} & \ ds {=} & \ ds {- \, \ mrm {{}} } \\ [2 मिमी] \ ds {I_ {4}} & \ ds {=} & \ ds {\ phantom {-} {{pi ^ {3} \ _ 16}}} \ n {सरणी} \ _ \ _। लेबल {3} \ _ {टैग} 3} \ end {समीकरण} (\ ref {2}) और (\ ref {3}) प्रतिष्ठित परिणाम (\ ref {1}) तक ले जाते हैं।
$$ \int_0^1 \frac{\arctan x \ln(1+x^2)}{1+x} dx=\frac{\pi}{16}\ln^{2}\left(2\right) - \frac{11}{192}\,\pi^{3} + 2\Im\left\{% \text{Li}_{3}\left(\frac{1 + \mathrm{i}}{2}\right)\right\}+{G\ln2}$$ $$\int_0^1\frac{\arctan x\ln(\frac{2x}{1+x^2})}{1-x}dx=\frac{\pi^3}{192}-\dfrac{G\ln 2}{2}$$ $$\int_0^1\frac{\arctan x\ln(\frac{2x}{1+x^2})}{1+x}dx=\frac{\pi}{16}\ln^{2}\left(2\right) + \frac{\pi^3}{24} - 2\Im\left\{%} \text{Li}_{3}\left(\frac{1 + \mathrm{i}}{2}\right)\right\}-\dfrac{G\ln 2}{2}$$