๐Ÿ•ท๏ธ Crawler Inspector

URL Lookup

Direct Parameter Lookup

Raw Queries and Responses

1. Shard Calculation

Query:
Response:
Calculated Shard: 46 (from laksa141)

2. Crawled Status Check

Query:
Response:

3. Robots.txt Check

Query:
Response:

4. Spam/Ban Check

Query:
Response:

5. Seen Status Check

โ„น๏ธ Skipped - page is already crawled

๐Ÿ“
LOCATION
Host 46 ยท Partition 42
laksa046
792424158193528446
๐Ÿ“„
INDEXABLE
โœ…
CRAWLED
10 days ago
๐Ÿค–
ROBOTS ALLOWED

Page Info Filters

FilterStatusConditionDetails
HTTP statusPASSdownload_http_code = 200HTTP 200
Age cutoffPASSdownload_stamp > now() - 6 MONTH0.3 months ago
History dropPASSisNull(history_drop_reason)No drop reason
Spam/banPASSfh_dont_index != 1 AND ml_spam_score = 0ml_spam_score=0
CanonicalPASSmeta_canonical IS NULL OR = '' OR = src_unparsedNot set

Page Details

PropertyValue
URLhttps://mathlog.info/articles/eD5JeKj6fR5nUna80ejj
Last Crawled2026-05-24 07:08:05 (10 days ago)
First Indexed2023-10-11 01:22:07 (2 years ago)
HTTP Status Code200
Content
Meta TitlelogใŒใ‚ใ‚‹็ฉๅˆ†ใฎ่งฃๆณ•ใพใจใ‚ | Mathlog
Meta Description# $\log$ใŒใ‚ใ‚‹็ฉๅˆ†ใฎ่งฃๆณ•ใซใคใ„ใฆ ใฉใ†ใ‚‚ใ€ใ‚‰ใ‚‰ใ‚‰ใงใ™ใ€‚ ไปŠๅ›žใฏ$\log$ใŒใ‚ใ‚‹็ฉๅˆ†ใฎ่งฃๆณ•ใซใคใ„ใฆใพใจใ‚ใฆใฟใพใ—ใŸใ€‚ ใ‚ใŸใ—ใŒ็Ÿฅใฃใฆใ‚‹$\log$ใŒใ‚ใ‚‹็ฉๅˆ†ใฏใ‚ใŸใ—ใŒ็Ÿฅใ‚‹้™ใ‚Šใฏ5ใคใ‚ใฃใฆใ€้ƒจๅˆ†็ฉๅˆ†,็ฝฎๆ›็ฉๅˆ†,็ดšๆ•ฐๅฑ•้–‹,ๅพฎๅˆ†,็•™ๆ•ฐๅฎš็†ใฎ5ใคใงใ™ใ€‚ ใใ‚Œใžใ‚Œๆ›ธใ„ใฆใ„ใใพใ™ใ€‚ ## ้ƒจๅˆ†็ฉๅˆ† $\displaystyle\frac{d}{dx}\log x=\frac{1}{x}$ใจ้ƒจๅˆ†็ฉๅˆ†ใ‚’ไฝฟใฃใฆ็ฉๅˆ†ใŒ่งฃใ‘ใ‚‹ใ“ใจใŒใ‚ใ‚Šใพใ™ใ€‚ $$\int f(x)g(x)dx=f(x)G(x)-\int f'(x)G(x)dx$$ $\log x$ใ‚’$f$ใฎๆ–นใซใ™ใ‚Œใฐ$\log x$ใŒ$\displaystyle\frac{1}{x}$ใซใชใฃใฆ่งฃใ‘ใ‚‹ใ“ใจใŒใ‚ใ‚Šใพใ™ใ€‚ &&& \begin{align} I&=\int_{0}^{1}x\log x dx \\&=\left[\frac{x^2}{2}\log x\right]^{1}_{0}-\frac{1}{2}\int_{0}^{1}xdx \\&=\frac{1}{2}\lim_{x\to0}x^2\log x-\frac{1}4 \\&=-\frac{1}{4} \end{align} \begin{align} \lim_{x\to0}x^2\log x &=\lim_{x\to0}\frac{\log x}{\frac{1}{x^2}} \\&=\lim_{x\to0}\frac{\frac{1}{x}}{-\frac{2}{x^3 }} \\&=-\frac{1}{2}\lim_{x\to0}x^2 \\&=0 \end{align} &&& ใ“ใ‚“ใชๆ„Ÿใ˜ใง้ƒจๅˆ†็ฉๅˆ†ใง่งฃใ‘ใ‚‹ใ“ใจใŒใ‚ใฃใŸใ‚Šใ—ใพใ™ใ€‚ ๆฅต้™ใงใ‚‚$\log x$ใฎๅพฎๅˆ†ใŒ$\displaystyle\frac{1}{x}$ใงใ‚ใ‚‹ใ“ใจใ‚’ไฝฟใฃใฆใพใ™ใญใ€‚ ## ็ฝฎๆ›็ฉๅˆ† $\log x=t$ใง็ฝฎๆ›ใ™ใ‚‹ใ“ใจใง่งฃใ‘ใ‚‹ใ“ใจใŒใ‚ใ‚Šใพใ™ใ€‚ ้€†้–ขๆ•ฐใฏ$e^t=x$ใงใ™ใ€‚ $dx$ใจ$dt$ใฎ้–ขไฟ‚ใฏ$\displaystyle dt=\frac{dx}{x}$ใงใ™ใ€‚ ใ‚‚ใ—ใใฏ$\displaystyle dx=e^t\ dt$ใงใ™ใ€‚ &&& \begin{align} I&=\int_{1}^{e}\frac{\log x}{x}dx \\&=\int_{0}^{1}t\ dt\qquad(\log x\mapsto t) \\&=1 \end{align} &&& ใจใ‚Šใ‚ใˆใšๅˆ†ๆฏใซ$x$ใŒใ‚ใ‚Œใฐ$\log x=t$ใง็ฝฎๆ›ใ—ใฆใ„ใ„ใจๆ€ใ„ใพใ™ใ€‚ ใ‚ใจใฏ$\mathrm{King Property}$ใ‚’ไฝฟใ†ๆ–นๆณ•ใ‚‚ใ‚ใฃใŸใ‚Šใ—ใพใ™ใ€‚ [ใ“ใฎ่จ˜ไบ‹](https://mathlog.info/articles/6ogbETh0rF02owJLJzbT)ใง$\mathrm{King Property}$ใ‚’ไฝฟใ†็ฉๅˆ†ใ‚’่งฃใ„ใฆใ„ใพใ™ใ€‚ ## ็ดšๆ•ฐๅฑ•้–‹ ๆ›ธใใŸใ„ใฎใฏใ“ใ“ใ‹ใ‚‰ใงใ™ใ€‚ ็ดšๆ•ฐๅฑ•้–‹ใ‚’ใ—ใฆ็ฉๅˆ†ใจ็ดšๆ•ฐใ‚’ไบคๆ›ใ—ใฆ็ฉๅˆ†ใ‚’่งฃใ‘ใ‚‹ใ“ใจใŒใ‚ใ‚Šใพใ™ใ€‚ ใ‚ใŸใ—ใŒ็Ÿฅใฃใฆใ„ใ‚‹$\log$้–ข้€ฃใฎ็ดšๆ•ฐๅฑ•้–‹ใ‚’ใพใจใ‚ใฆใฟใพใ™ใ€‚ &&& $$\log(1-x)=-\sum_{n=1}^{\infty}\frac{x^n}{n}\quad(|x|<1)$$ $$\log(1+x)=-\sum_{n=1}^{\infty}\frac{(-1)^n\ x^n}{n}\quad(|x|<1)$$ $$\log\left(2\sin\frac{x}{2}\right)=-\sum_{n=1}^{\infty}\frac{\cos nx}{n}\quad\left(0<x<\frac{\pi}{2}\right)$$ $$\log\left(2\cos\frac{x}{2}\right)=-\sum_{n=1}^{\infty}\frac{(-1)^n\ \cos nx}{n}\quad\left(0<x<\frac{\pi}{2}\right)$$ $$\log\tan\frac{x}{2}=-2\sum_{n=1}^{\infty}\frac{\cos(2n+1)x}{2n+1}\quad\left(0<x<\frac{\pi}{2}\right)$$ &&& ็ดšๆ•ฐๅฑ•้–‹ใ‚’ไฝฟใฃใฆ่งฃใ„ใฆ่ฆ‹ใพใ—ใ‚‡ใ†ใ€‚ &&& \begin{align} I&=\int_{0}^{1}\frac{\log(1+x)}{\sqrt{x}}dx \\&=-\int_{0}^{1}\sum_{n=1}^{\infty}\frac{(-1)^n\ x^n}{n\ \sqrt{x}}dx \\&=-\sum_{n=1}^{\infty}\frac{(-1)^n}{n}\int_{0}^{1}x^{n-\frac{1}{2}}\ dx \\&=-2\sum_{n=1}^{\infty}\frac{(-1)^n}{n(2n+1)} \\&=-2\left(\sum_{n=1}^{\infty}\frac{(-1)^n}{n}-2\sum_{n=1}^{\infty}\frac{(-1)^n}{2n+1}\right) \\&=-2\left(\log2+\frac{\pi}{2}-2\right) \\&=-2\log2-\pi+4 \end{align} &&& ๆ™ฎ้€šใซ้ƒจๅˆ†็ฉๅˆ†ใงใ‚‚่งฃใ‘ใพใ™ใ€‚ &&& \begin{align} I&=\int_{0}^{\frac{\pi}{2}}\log\left(2\sin\frac{x}{2}\right)\log\left(2\cos\frac{x}{2}\right)dx \\&=\frac{1}{2}\int_{0}^{\pi}\log\left(2\sin\frac{x}{2}\right)\log\left(2\cos\frac{x}{2}\right)dx \\&=\frac{1}{2}\sum_{n,m>0}\frac{(-1)^n}{nm}\int_{0}^{\pi}\cos mx\cos nx dx \\&=\frac{\pi}{4}\sum_{n=1}^{\infty}\frac{(-1)^n}{n^2} \\&=-\frac{\pi^3}{48} \end{align} &&& ้›‘ใงใ™ใŒ่จฑใ—ใฆใใ ใ•ใ„ใ€‚ [ๅ‰ใฎ่จ˜ไบ‹](https://mathlog.info/articles/nFkkmCBNuFHtPOyrFUSk)ใงๅˆฅใฎๆ–นๆณ•ใง่งฃใ„ใฆใพใ™ใ€‚ ## ๅพฎๅˆ† $\displaystyle\frac{d}{ds}x^s=x^s\log x$ใ‚’ไฝฟใฃใฆ็ฉๅˆ†ใŒ่งฃใ‘ใ‚‹ใ“ใจใŒใ‚ใ‚Šใพใ™ใ€‚ &&& \begin{align} I&=\int_{0}^{\infty}e^{-x}\log xdx \\&=\left.\frac{d}{ds}\int_{0}^{\infty}x^s e^{-x}dx\right|_{s=1} \\&=\Gamma'(1) \\&=\Gamma(1)\psi(1) \\&=-\gamma \end{align} &&& ๅพฎๅˆ†ใจ็ฉๅˆ†ใฎไบคๆ›ใ‚’ไฝฟใ„ใพใ—ใŸใ€‚ &&& $$I=\int_{0}^{1}\frac{x^2-x}{\log x}dx$$ $$f(t)=\int_{0}^{1}\frac{x^t}{\log x}$$ \begin{align} f'(t)&=\int_{0}^{1}x^t \\&=\frac{1}{t+1} \end{align} \begin{align} f(2)-f(1)&=\int_{1}^{2}f'(t)dt \\&=\int_{1}^{2}\frac{1}{t+1}dt \\&=\log\frac{3}{2} \end{align} &&& ใ“ใฎ่งฃๆณ•ใ€ใ‹ใชใ‚Šๅฅฝใใงใ™ใ€‚ ## ่ค‡็ด ็ฉๅˆ† ่ค‡็ด ็ฉๅˆ†ใง่งฃใ‘ใ‚‹ใ“ใจใŒใ‚ใฃใŸใ‚Šใ™ใ‚‹ใ€‚ ใ‚ใŸใ—ใŒๆ›ธใ„ใฆใ‚‹่ค‡็ด ็ฉๅˆ†ใฎ2ใคใฎ่จ˜ไบ‹ใฏใฉใฃใกใ‚‚$\log$ใŒใ‚ใ‚‹ใฎใงใใกใ‚‰ใ‚‚ใฟใฆใปใ—ใ„ใ€‚([ใ“ใ‚Œ](https://mathlog.info/articles/dGB4ngusgBuBJM1K6rG6)ใจ[ใ“ใ‚Œ](https://mathlog.info/articles/uqiFFCC5kXHH58DYZkks)) ่ขซ็ฉๅˆ†้–ขๆ•ฐใซ$\log x$ใ ใฃใŸใ‚‰ใƒใƒผใƒ ใ‚ฏใƒผใƒ˜ใƒณใฎใ‚ˆใ†ใช็ตŒ่ทฏใง่งฃใ„ใฆใ„ใใ“ใจใŒๅคšใ„ๆฐ—ใŒใ—ใพใ™ใ€‚ ใƒใƒผใƒ ใ‚ฏใƒผใƒ˜ใƒณใฎใ‚ˆใ†ใช็ตŒ่ทฏใฏๅ‰ใฎ่จ˜ไบ‹ใงใ‚„ใฃใฆใ„ใ‚‹ใ€‚ &&& $$I=\int_{0}^{\infty}\frac{x\log x}{x^4+1}dx$$ $$f(z)=\frac{z\log z}{z^4+1}$$ ![็ฉๅˆ†็ตŒ่ทฏ](/uploads/mathdown/LM67frKZ79ZeCWpGs58o.jpeg) $\log0$ใ‚’ๅ›ž้ฟใ™ใ‚‹ใŸใ‚ใซ$0$ใฏ้ฟใ‘ใฆใ„ใพใ™ใ€‚ $\displaystyle C_2,C_4$ใฏ่ฉ•ไพกใ—ใฆๆฅต้™ใจใฐใ™ใจ$0$ใซใชใ‚Šใพใ™ใ€‚ ็ขบ่ชใ—ใฆใฟใฆใใ ใ•ใ„ใ€‚ ๅ…จไฝ“ใฎ็ฉๅˆ†ใ‚’$C$ใจใ—ใฆใŠใใพใ™ใ€‚ ใใ‚Œใžใ‚Œ่จˆ็ฎ—ใ—ใฆใ„ใใพใ™ใ€‚ \begin{align} \int_{C_1}&=\int_{\varepsilon}^{R}f(z)dz \\&=I\qquad(\ip\to0,R\to\infty) \end{align} \begin{align} \int_{C_3}&=\int_{iR}^{i\ip}f(z)dz \\&=-i\int_{\ip}^{R}f(ix)dx \\&=\int_{\ip}^{R}\frac{x\log ix}{x^4+1}dx \\&=\int_{\ip}^{R}\frac{x\log x}{x^4+1}dx+\frac{i\pi}{2}\int_{\ip}^{R}\frac{x}{x^4+1}dx \\&=I+\frac{\pi^2}{8}i\qquad(\ip\to0,R\to\infty) \end{align} \begin{align} \oint_{C}&=2\pi i\underset{z=e^{\frac{i\pi}{4}}}{\mathrm{Res}}\frac{z\log z}{z^4+1} \\&=2\pi i\lim_{z\to e^{\frac{i\pi}{4}}}\frac{z\log z(z-e^{\frac{i\pi}{4}})}{z^4+1} \\&=2\pi i\lim_{z\to e^{\frac{i\pi}{4}}}\frac{(2z-e^{\frac{i\pi}{4}})\log z-e^{\frac{i\pi}{4}}+z}{4z^3} \\&=\frac{\pi^2}{8}i \end{align} $$\oint_{C}=\int_{C_{1}}+\int_{C_{2}}+\int_{C_{3}}+\int_{C_{4}}$$ $$\frac{\pi^2}{8}i=I+I+\frac{\pi^2}{8}i$$ $$I=0$$ &&& ๅพฎๅˆ†ใ‚’ไฝฟใฃใฆใ‚‚่งฃใ‘ใพใ™ใ€‚ ่ขซ็ฉๅˆ†้–ขๆ•ฐใฎ$\log x$ใฎๆŒ‡ๆ•ฐใซ$1$ใ‚’่ถณใ—ใฆ$f(z)$ใ‚’่จญๅฎšใ™ใ‚‹ใ“ใจใ‚‚ใ‚ใ‚Šใพใ™ใ€‚ ใŠใ—ใพใƒผใ„
Meta Canonicalnull
Boilerpipe Text
heavy column, fetched on demand
Markdown
heavy column, fetched on demand
Readable Markdown
heavy column, fetched on demand
ML Classification
ML Categoriesnull
ML Page Typesnull
ML Intent Typesnull
Content Metadata
Languageja
Authornull
Publish Timenot set
Original Publish Time2023-10-11 01:22:07 (2 years ago)
RepublishedNo
Word Count (Total)292
Word Count (Content)245
Links
External Links1
Internal Links11
Technical SEO
Meta NofollowNo
Meta NoarchiveNo
JS RenderedNo
Redirect Targetnull
Performance
Download Time (ms)357
TTFB (ms)356
Download Size (bytes)16,364
Location
Host ID46 (laksa046)
Partition ID42
Root Hash792424158193528446
Unparsed URLinfo,mathlog!/articles/eD5JeKj6fR5nUna80ejj s443