https://wiki.mathnt.net/index.php?title=%ED%8A%B9%EC%88%98:%EC%83%88%EB%AC%B8%EC%84%9C&feed=atom&hideredirs=1&limit=50&offset=&namespace=0&username=&tagfilter=&size-mode=max&size=0
수학노트 - 새 문서 목록 [ko]
2024-03-29T05:41:37Z
수학노트
MediaWiki 1.35.0
https://wiki.mathnt.net/index.php?title=%EC%9E%84%EC%8B%9C
임시
2023-12-13T07:33:55Z
<p>Pythagoras0: 새 문서: ==five-term relation== * sequence defined recurrence :<math>1-x_{i}=x_{i-1}x_{i+1},\, x_0=x,\, x_2=y</math> * solution :<math>x_0=x, x_1=1-xy, x_2=y, x_3=\frac{1-y}{1-xy}, x_4=\frac{1...</p>
<hr />
<div>==five-term relation==<br />
* sequence defined recurrence<br />
:<math>1-x_{i}=x_{i-1}x_{i+1},\, x_0=x,\, x_2=y</math><br />
* solution<br />
:<math>x_0=x, x_1=1-xy, x_2=y, x_3=\frac{1-y}{1-xy}, x_4=\frac{1-x}{1-xy}, x_5=x,x_6=1-xy,\dots</math><br />
* 5-periodic<br />
[[파일:5항 관계식 (5-term relation)3.png]]<br />
* if <math>0<x<1,\,0<y<1</math>, then <math>0<x_i<1</math> for all <math>i</math><br />
* if <math>x=a/(1+a),y = b/(1+b)</math>, then <math>x_0=\frac{a}{a+1},x_1\frac{a+b+1}{ab+a+b+1},\frac{b}{b+1},\frac{a+1}{a+b+1},\frac{b+1}{a+b+1},\dots</math><br />
<math><br />
\newcommand{\vol}{\operatorname{vol}}<br />
</math><br />
<br />
<br />
==dilogarithm fuction==<br />
* Define<br />
:<math>\operatorname{Li}_ 2(z)= \sum_{n=1}^\infty {z^n \over n^2},\, |z|<1</math><br />
* extend domain<br />
:<math>\operatorname{Li}_ 2(z) = -\int_0^z{{\log (1-t)}\over t} dt,\, z\in \mathbb C\backslash [1,\infty) </math><br />
<br />
<br />
===functional equations===<br />
; five-term relation<br />
:<math>\mbox{Li}_ 2(x)+\mbox{Li}_ 2(y)+\mbox{Li}_ 2 \left( \frac{1-x}{1-xy} \right)+\mbox{Li}_ 2(1-xy)+\mbox{Li}_ 2 \left( \frac{1-y}{1-xy} \right)=\text{elementary}</math><br />
<br />
Let us state this in terms of the Rogers dilogarithm (no worry about the branches)<br />
:<math>L(x): =\operatorname{Li}_ 2(x)+\frac{1}{2}\log x\log (1-x)=-\frac{1}{2}\int_{0}^{x}\left(\frac{\log(y)}{1-y}+\frac{\log(1-y)}{y}\right)dy,\, x\in (0,1)</math><br />
with <math>L(0)=0,\, L(1)=\pi^2/6</math><br />
* <math>0< x,y< 1</math><br />
:<math>L(x)+L(1-xy)+L(y)+L\left(\frac{1-y}{1-xy}\right)+L\left(\frac{1-x}{1-xy} \right)=\frac{\pi^2}{2}</math><br />
<br />
;proof<br />
Let us show that the partial derivatives of <math>F(x,y):=L(x)+L(1-xy)+L(y)+L\left(\frac{1-y}{1-xy}\right)+L\left(\frac{1-x}{1-xy} \right)</math> are 0.<br />
Note<br />
:<math><br />
\frac{d}{dx}L(h(x)) = \frac{1}{2}[\frac{-h'(x) \log (h(x))}{(1-h(x))}-\frac{h'(x) \log (1-h(x))}{h(x)}].<br />
</math><br />
<br />
:<math><br />
\begin{aligned}<br />
2F_x = &<br />
\left(-\frac{\log (x)}{1-x}-\frac{\log (1-x)}{x}\right)+\left(\frac{\log (1-x y)}{x}+\frac{y \log (x y)}{1-x y}\right)+0 \\<br />
& -\frac{(1-y)<br />
\log \left(\frac{1-y}{1-x y}\right)+(1-x) y \log \left(\frac{(1-x) y}{1-x y}\right)}{(1-x) (1-x y)}<br />
+\frac{(1-x) \log \left(\frac{1-x}{1-x y}\right)+x (1-y)<br />
\log \left(\frac{x (1-y)}{1-x y}\right)}{(1-x) x (1-x y)} \\<br />
& =\log (x)\left(\frac{-1}{1-x}+\frac{y}{1-xy}+\frac{(1-y)}{(1-x) (1-x y)} \right)+\dots \\<br />
& =0<br />
\end{aligned}<br />
</math><br />
Do the same to show <math>F_y=0</math>.<br />
<br />
<math>\exists</math> more intelligent way to control cancellations<br />
<br />
Observe<br />
:<math>\frac{d}{dx}L(h(x))=\frac{1}{2}[\log(h(x))\frac{d}{dx}\log (1-h(x))-\log(1-h(x))\frac{d}{dx}\log h(x)]</math><br />
<br />
<br />
For <math>f,g\in \mathbb{Q}(x,y)^{\times}</math>, define formally<br />
:<math><br />
f\wedge g : = \frac{1}{2}[\log (f) d (\log (g))-\log (g) d (\log (f))]<br />
</math><br />
where <math>df = f_x dx + f_y dy</math>.<br />
<br />
<br />
Then<br />
*<math>f\wedge g=-g \wedge f</math><br />
*<math>(f_1f_2)\wedge g=f_1\wedge g+f_2\wedge g</math><br />
<br />
For example,<br />
:<math>dL(h(x,y))=h\wedge (1-h)</math><br />
<br />
<br />
So<br />
:<math><br />
dF = F_x dx+F_y dy =x\wedge (1-x)+(1-x y)\wedge (x y)+y\wedge (1-y)+\frac{1-y}{1-x y}\wedge \left(\frac{y(1-x)}{1-x y}\right)+\frac{1-x}{1-x y}\wedge \left(\frac{x(1-y)}{1-xy}\right) =0<br />
</math></div>
Pythagoras0