วิธีการประเมิน $\int _0^1\frac{\arctan \left(\frac{x^2-x}{x-2}\right)}{x}\:dx$ [ซ้ำ]
ฉันต้องการทราบวิธีที่ดีที่สุดในการประเมิน $$\int _0^1\frac{\arctan \left(\frac{x^2-x}{x-2}\right)}{x}\:dx$$ ดูเหมือนว่ามันจะเท่ากับ $\frac{G}{3}$ ที่ไหน $G$ คือค่าคงที่ของคาตาลันฉันลองรวมทีละส่วนและลงท้ายด้วย $$-\int _0^1\frac{\ln \left(x\right)\left(2-4x+x^2\right)}{4-2x^3+2x^2-4x+x^4}\:dx$$ แต่มันดูซับซ้อนฉันก็พยายามแทนที่อาร์กิวเมนต์ของไฟล์ $\arctan$ และย่อย $\frac{1-t}{1+t}$ แต่ไม่ใช่สิ่งที่ง่ายขึ้นฉันขอคำแนะนำเกี่ยวกับวิธีจัดการกับปัญหานี้ได้ไหม
อินทิกรัลดั้งเดิมยังเท่ากับ $$-\frac{i}{2}\left(\int _0^1\frac{\ln \left(-2i+ix+x-x^2\right)}{x}\:dx-\int _0^1\frac{\ln \left(-2i+ix-x+x^2\right)}{x}\:dx\right)$$ แต่ฉันต้องการหลีกเลี่ยงวิธีการที่ซับซ้อน
คำตอบ
พิจารณา $$\int \frac{2-4x+x^2}{4-2x^3+2x^2-4x+x^4}\,\,\log \left(x\right)\:dx$$ควอร์ติกในตัวส่วนแสดงรากที่ซับซ้อนสี่ราก ให้เราโทรหาพวกเขา$(a,b,c,d)$. ใช้เศษส่วนบางส่วนเราจะลงท้ายด้วยอินทิกรัลสี่ตัวที่ดูเหมือน$$I_k=\int \frac{\log(x)}{x-k}\,dx=\text{Li}_2\left(\frac{x}{k}\right)+\log (x) \log \left(1-\frac{x}{k}\right)$$ $$J_k=\int_0^1 \frac{\log(x)}{x-k}\,dx=\text{Li}_2\left(\frac{1}{k}\right)$$ และฝันร้าย $$2\sqrt 2 \,\int_0^1 \frac{2-4x+x^2}{4-2x^3+2x^2-4x+x^4}\,\,\log \left(x\right)\:dx$$ $$-i \left(\sqrt{2} \text{Li}_2\left(\left(-\frac{1+i}{2}\right) (-1)^{1/6}\right)-\left(\sqrt{3}-1\right) \sqrt{2+\sqrt{3}} \text{Li}_2\left(\left(\frac{1-i}{2}\right) (-1)^{1/6}\right)+\sqrt{2} \left(\text{Li}_2\left(\left(\frac{1+i}{4}\right) \left(\sqrt{3}-i\right)\right)-\text{Li}_2\left(\left(\frac{1-i}{2} \right) (-1)^{5/6}\right)\right)\right)$$ ตั้งแต่ $$a=\frac{1}{2} \left(1+\sqrt{3}-i \sqrt{2 \left(2-\sqrt{3}\right)}\right)\qquad b=\frac{1}{2} \left(1+\sqrt{3}+i \sqrt{2 \left(2-\sqrt{3}\right)}\right)$$ $$c=\frac{1}{2} \left(1-\sqrt{3}-i \sqrt{2 \left(2+\sqrt{3}\right)}\right)\qquad d=\frac{1}{2} \left(1-\sqrt{3}+i \sqrt{2 \left(2+\sqrt{3}\right)}\right)$$ ปัญหาของฉันคือฉันไม่สามารถลดความซับซ้อนของผลลัพธ์สุดท้ายได้ (ซึ่งเป็นตัวเลขที่แน่นอน $-\frac{C}{3}$.