"아페리(Apéry) 점화식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
1번째 줄: 1번째 줄:
 
==개요==
 
==개요==
 
* [[Ζ(3)는 무리수이다(아페리의 정리)]]의 증명에서 등장한 점화식
 
* [[Ζ(3)는 무리수이다(아페리의 정리)]]의 증명에서 등장한 점화식
−
 
−
 
−
==점화식==
 
−
* $n^2 u_{n}-(An^2-An+\lambda)u_{n-1}+B(n-1)^2u_{n-2}=0$ 꼴의 선형 점화식
 
−
* $n^2 u_{n}-(7n^2-7n+2)u_{n-1}+8(n-1)^2u_{n-2}=0$
 
−
* $n^2 u_{n}-(11n^2-11n+3)u_{n-1}-(n-1)^2u_{n-2}=0$
 
  
  
65번째 줄: 59번째 줄:
 
* $\lim_{n\to \infty} \frac{B_n}{A_n} = \frac{1}{6}\zeta(3)$
 
* $\lim_{n\to \infty} \frac{B_n}{A_n} = \frac{1}{6}\zeta(3)$
 
* $|\frac{B_n}{A_n} -\frac{1}{6}\zeta(3)|= O(\lambda^{-2n})$ 여기서 $\lambda=\left(1+\sqrt{2}\right)^4$
 
* $|\frac{B_n}{A_n} -\frac{1}{6}\zeta(3)|= O(\lambda^{-2n})$ 여기서 $\lambda=\left(1+\sqrt{2}\right)^4$
 +
 +
 +
==점화식==
 +
* $n^2 u_{n}-(An^2-An+\lambda)u_{n-1}+B(n-1)^2u_{n-2}=0$ 꼴의 선형 점화식
 +
* $n^2 u_{n}-(7n^2-7n+2)u_{n-1}+8(n-1)^2u_{n-2}=0$
 +
* $n^2 u_{n}-(11n^2-11n+3)u_{n-1}-(n-1)^2u_{n-2}=0$
  
  
 
==관련된 항목들==
 
==관련된 항목들==
 
* [[점근 급수(asymptotic series)]]
 
* [[점근 급수(asymptotic series)]]
 +
* [[선형점화식]]
  
  
−
==관련 논문==
+
==관련논문==
−
* Don Zagier, [http://people.mpim-bonn.mpg.de/zagier/files/tex/AperylikeRecEqs/fulltext.pdf Integral solutions of Apéry-like recurrence equations]
+
* Zagier, Don. 2009. “Integral Solutions of Apéry-like Recurrence Equations.” In Groups and Symmetries, 47:349–366. CRM Proc. Lecture Notes. Providence, RI: Amer. Math. Soc. http://people.mpim-bonn.mpg.de/zagier/files/tex/AperylikeRecEqs/fulltext.pdf
 
* Beukers, Frits. 2002. “On Dwork’s Accessory Parameter Problem.” Mathematische Zeitschrift 241 (2): 425–444. doi:10.1007/s00209-002-0424-8.
 
* Beukers, Frits. 2002. “On Dwork’s Accessory Parameter Problem.” Mathematische Zeitschrift 241 (2): 425–444. doi:10.1007/s00209-002-0424-8.
 
* McIntosh, Richard J. 1996. “An Asymptotic Formula for Binomial Sums.” Journal of Number Theory 58 (1) (May): 158–172. doi:10.1006/jnth.1996.0072.
 
* McIntosh, Richard J. 1996. “An Asymptotic Formula for Binomial Sums.” Journal of Number Theory 58 (1) (May): 158–172. doi:10.1006/jnth.1996.0072.
78번째 줄: 79번째 줄:
 
* A. van der Poorten [http://dx.doi.org/10.1007/FBF03028234 A proof that Euler missed ... Apéry's Proof of the irrationality of $\zeta(3)$], The Mathematical Intelligencer 1 (4): 195-203, 1979
 
* A. van der Poorten [http://dx.doi.org/10.1007/FBF03028234 A proof that Euler missed ... Apéry's Proof of the irrationality of $\zeta(3)$], The Mathematical Intelligencer 1 (4): 195-203, 1979
 
** http://jones.math.unibas.ch/~massierer/algebra-hs11/vanderPoorten2.pdf
 
** http://jones.math.unibas.ch/~massierer/algebra-hs11/vanderPoorten2.pdf
 +
 +
 +
 +
[[분류:수열]]

2013년 3월 28일 (목) 05:19 판

개요


$\zeta(2)$

  • 다음 점화식을 생각하자

$$ n^2 u_{n}-(11n^2-11n+3)u_{n-1}-(n-1)^2u_{n-2}=0 \label{z2} $$

  • 수열 $A_n$과 $B_n$을 초기조건이 다음과 같이 주어진 점화식 \ref{z2}의 해라 하자
  • $A_0=1, A_1=3, B_0=0, B_1=1$

$$ \begin{array}{cccc} \text{} & A_n & B_n & B_n/A_n \\ 0 & 1 & 0 & 0 \\ 1 & 3 & 1 & 0.3333333333 \\ 2 & 19 & \frac{25}{4} & 0.3289473684 \\ 3 & 147 & \frac{1741}{36} & 0.3289871504 \\ 4 & 1251 & \frac{6585}{16} & 0.3289868106 \\ 5 & 11253 & \frac{13327519}{3600} & 0.3289868134 \\ 6 & 104959 & \frac{124308457}{3600} & 0.3289868134 \\ 7 & 1004307 & \frac{19427741063}{58800} & 0.3289868134 \\ 8 & 9793891 & \frac{2273486234953}{705600} & 0.3289868134 \\ 9 & 96918753 & \frac{202482451324891}{6350400} & 0.3289868134 \\ \end{array} $$

아페리의 정리

  • $A_n\in \mathbb{Z}$
  • $D_n^2 B_n \in \mathbb{Z}$ 여기서 $D_n\approx e^n$은 1부터 n까지의 최소공배수
  • $\lim_{n\to \infty} \frac{B_n}{A_n} = \frac{1}{5}\zeta(2)$
  • $|\frac{B_n}{A_n} -\frac{1}{5}\zeta(2)|= O(\lambda^{-2n})$ 여기서 $\lambda=(\frac{1+\sqrt{5}}{2})^5$


$\zeta(3)$

  • 다음 점화식을 생각하자

$$ n^3u_n-(34 n^3 - 51 n^2 + 27 n - 5)u_{n-1}+(n-1)^3u_{n-2}=0\label{z3} $$

  • 수열 $A_n$과 $B_n$을 초기조건이 다음과 같이 주어진 점화식 \ref{z3}의 해라 하자
  • $A_0=1, A_1=5, B_0=0, B_1=1$

$$ \begin{array}{cccc} \text{} & A_n & B_n & B_n/A_n \\ 0 & 1 & 0 & 0 \\ 1 & 5 & 1 & 0.2000000000 \\ 2 & 73 & \frac{117}{8} & 0.2003424658 \\ 3 & 1445 & \frac{62531}{216} & 0.2003428169 \\ 4 & 33001 & \frac{11424695}{1728} & 0.2003428172 \\ 5 & 819005 & \frac{35441662103}{216000} & 0.2003428172 \\ 6 & 21460825 & \frac{20637706271}{4800} & 0.2003428172 \\ 7 & 584307365 & \frac{963652602684713}{8232000} & 0.2003428172 \\ 8 & 16367912425 & \frac{43190915887542721}{13171200} & 0.2003428172 \\ 9 & 468690849005 & \frac{1502663969043851254939}{16003008000} & 0.2003428172 \\ \end{array} $$

아페리의 정리

  • $A_n\in \mathbb{Z}$
  • $D_n^3 B_n \in \mathbb{Z}$ 여기서 $D_n\approx e^n$은 1부터 n까지의 최소공배수
  • $\lim_{n\to \infty} \frac{B_n}{A_n} = \frac{1}{6}\zeta(3)$
  • $|\frac{B_n}{A_n} -\frac{1}{6}\zeta(3)|= O(\lambda^{-2n})$ 여기서 $\lambda=\left(1+\sqrt{2}\right)^4$


점화식

  • $n^2 u_{n}-(An^2-An+\lambda)u_{n-1}+B(n-1)^2u_{n-2}=0$ 꼴의 선형 점화식
  • $n^2 u_{n}-(7n^2-7n+2)u_{n-1}+8(n-1)^2u_{n-2}=0$
  • $n^2 u_{n}-(11n^2-11n+3)u_{n-1}-(n-1)^2u_{n-2}=0$


관련된 항목들


관련논문

원본 주소 "https://wiki.mathnt.net/index.php?title=아페리(Apéry)_점화식&oldid=27366"