"소모스-4 수열"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로)
 
(같은 사용자의 중간 판 13개는 보이지 않습니다)
1번째 줄: 1번째 줄:
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 수학노트 원문주소</h5>
+
==개요==
  
* [[소모스-4 수열]]
+
* 점화식으로 정의되는 정수수열
 +
* <math>a_{n+4}a_{n} = a_{n+3} a_{n+1} + a_{n+2}^2</math>
 +
*  초기조건이 <math>a_1=a_2=a_3=a_4=1</math> 인 경우
 +
*  1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786
  
 
+
==로랑현상==
  
 
+
*  초기조건이 <math>a_1=x,a_2=y,a_3=z,a_4=w</math> 인 경우:<math>x,y,z,w,\frac{w y+z^2}{x},\frac{w^2 x+w y z+z^3}{x y},\frac{y(wy+z^2)^2+w x (w^2 x+w y z+z^3)}{x^2 y z}</math>
 +
*  점화식에서 얻어지는 항들이 모두 <math>\mathbb{Z}[x^{\pm},y^{\pm},z^{\pm},w^{\pm}]</math>의 원소, 즉 로랑 다항식이며, 이를 로랑현상(Laurent phenomenon) 이라 한다 '''[FZ2001]'''
  
==개요</h5>
+
*  로랑현상에 의해 초기조건 <math>a_1=a_2=a_3=a_4=1</math>의 경우, 정수수열이 됨을 알 수 있다
  
* 점화식으로 정의되는 정수수열<br>
+
   
* <math>a_{n+4}a_{n} = a_{n+3} a_{n+1} + a_{n+1}^2</math><br>
 
*  초기조건이 <math>a_1=a_2=a_3=a_4=1</math> 인 경우<br>
 
*  1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786<br>
 
  
 
+
  
 
+
==타원곡선 <math>y^2=4 x^3-4 x+1</math>==
  
<h5 style="margin: 0px; line-height: 2em;">로랑현상</h5>
+
*  타원곡선 <math>y^2=4 x^3-4 x+1</math>
 +
*  점 <math>P=(1,1)</math>과 <math>Q=(0,1)</math>은 타원곡선 위에 놓여 있다.
 +
*  점 P+n Q 의 좌표를 구하면, 좌표의 분모로부터 소모스 수열을 얻을 수 있다
  
* 초기조건이 <math>a_1=x,a_2=y,a_3=z,a_4=w</math> 인 경우<br><math>x,y,z,w,\frac{w y+z^2}{x},\frac{w^2 x+w y z+z^3}{x y},\frac{y(wy+z^2)^2+w x (w^2 x+w y z+z^3)}{x^2 y z}</math><br>
+
   
*  점화식에서 얻어지는 항들이 모두 <math>\mathbb{Z}[x^{\pm},y^{\pm},z^{\pm},w^{\pm}]</math>의 원소, 즉 로랑 다항식이며, 이를 로랑현상(Laurent phenomenon) 이라 한다 '''[FZ2001]'''<br>
 
  
* 로랑현상에 의해 초기조건 <math>a_1=a_2=a_3=a_4=1</math>의 경우, 정수수열이 됨을 알 수 있다<br>
+
   
  
 
+
  
 
+
==역사==
  
==타원곡선 <math>y^2=4 x^3-4 x+1</math></h5>
+
*  QRT I (Quispel, Roberts, Thompson):<math>a_{n+4}a_{n} = \delta^2a_{n+3} a_{n+1} -\delta a_{n+1}^2</math>
 
 
*  타원곡선 <math>y^2=4 x^3-4 x+1</math><br>
 
*  점 <math>P=(1,1)</math>과 <math>Q=(0,1)</math>은 타원곡선 위에 놓여 있다.<br>
 
*  점 P+n Q 의 좌표를 구하면, 좌표의 분모로부터 소모스 수열을 얻을 수 있다<br>
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
==역사</h5>
 
 
 
*  QRT I (Quispel, Roberts, Thompson)<br><math>a_{n+4}a_{n} = \delta^2a_{n+3} a_{n+1} -\delta a_{n+1}^2</math><br>
 
 
* M. Gaudin "La fonction d'onde de Bethe" (1983)
 
* M. Gaudin "La fonction d'onde de Bethe" (1983)
 
* periodicity => Boltzman weights for hard hexagon model
 
* periodicity => Boltzman weights for hard hexagon model
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
* [[수학사연표 (역사)|수학사연표]]
+
* [[수학사 연표]]
 
 
 
 
 
 
 
 
  
==메모</h5>
+
  
 
+
  
 
+
==메모==
 +
* The density of primes <math>p\in \mathbb{Z}</math> dividing at least one term of this sequence is <math>11/21</math>
 +
* Jones, Rafe, and Jeremy Rouse. “Galois Theory of Iterated Endomorphisms.” Proceedings of the London Mathematical Society 100, no. 3 (May 1, 2010): 763–94. doi:10.1112/plms/pdp051.
  
==관련된 항목들</h5>
+
==관련된 항목들==
  
 
* [[바이어슈트라스 시그마 함수]]
 
* [[바이어슈트라스 시그마 함수]]
  
 
+
 
+
==매스매티카 파일 및 계산 리소스==
 
 
 
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역</h5>
 
 
 
* 단어사전 http://www.google.com/dictionary?langpair=en|ko&q=
 
* 발음사전 http://www.forvo.com/search/
 
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 
* [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교]
 
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
 
 
 
 
 
 
 
 
 
 
==매스매티카 파일 및 계산 리소스</h5>
 
 
 
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxOTcyN2RkMGUtMWU1NC00ZTkzLTk0OTgtMTMwODA2MjBlMjVh&sort=name&layout=list&num=50
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxOTcyN2RkMGUtMWU1NC00ZTkzLTk0OTgtMTMwODA2MjBlMjVh&sort=name&layout=list&num=50
 
* http://www.wolframalpha.com/input/?i=
 
* http://www.wolframalpha.com/input/?i=
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
+
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]
** http://oeis.org/A006720<br>
+
** http://oeis.org/A006720
** http://oeis.org/A006769<br>
+
** http://oeis.org/A006769
 
 
* [[매스매티카 파일 목록]]
 
 
 
 
 
 
 
 
 
 
 
==사전 형태의 자료</h5>
 
 
 
* http://ko.wikipedia.org/wiki/
 
* http://en.wikipedia.org/wiki/
 
* [http://eom.springer.de/default.htm The Online Encyclopaedia of Mathematics]
 
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
 
 
 
 
 
 
 
 
  
==관련논문</h5>
+
  
 +
==관련논문==
 +
* Van der Kamp, Peter H. ‘Somos-4 and Somos-5 Are Arithmetic Divisibility Sequences’. arXiv:1505.00194 [math], 1 May 2015. http://arxiv.org/abs/1505.00194.
 +
* Yura, Fumitaka. “Hankel Determinant Solution for Elliptic Sequence.” arXiv:1411.6972 [math-Ph, Physics:nlin], November 25, 2014. http://arxiv.org/abs/1411.6972.
 
* Hone, A. N. W. 2005. Elliptic Curves and Quadratic Recurrence Sequences. Bulletin of the London Mathematical Society 37, no. 2 (April 1): 161 -171. doi:[http://dx.doi.org/10.1112/S0024609304004163 10.1112/S0024609304004163].
 
* Hone, A. N. W. 2005. Elliptic Curves and Quadratic Recurrence Sequences. Bulletin of the London Mathematical Society 37, no. 2 (April 1): 161 -171. doi:[http://dx.doi.org/10.1112/S0024609304004163 10.1112/S0024609304004163].
 
* Swart, Christine, and Andrew Hone. 2005. Integrality and the Laurent phenomenon for Somos 4 sequences. math/0508094 (August 4). http://arxiv.org/abs/math/0508094
 
* Swart, Christine, and Andrew Hone. 2005. Integrality and the Laurent phenomenon for Somos 4 sequences. math/0508094 (August 4). http://arxiv.org/abs/math/0508094
 
* '''[FZ2001]'''Fomin, Sergey, and Andrei Zelevinsky. 2001. The Laurent phenomenon. math/0104241 (April 25). http://arxiv.org/abs/math/0104241.
 
* '''[FZ2001]'''Fomin, Sergey, and Andrei Zelevinsky. 2001. The Laurent phenomenon. math/0104241 (April 25). http://arxiv.org/abs/math/0104241.
* http://www.jstor.org/action/doBasicSearch?Query=
 
* http://www.ams.org/mathscinet
 
* http://dx.doi.org/
 
 
 
 
 
 
 
 
==관련도서</h5>
 
 
*  도서내검색<br>
 
** http://books.google.com/books?q=
 
** http://book.daum.net/search/contentSearch.do?query=
 
 
 
 
 
 
 
  
==링크</h5>
 
  
*  구글 블로그 검색<br>
+
[[분류:수열]]
** http://blogsearch.google.com/blogsearch?q=
 

2020년 11월 12일 (목) 07:25 기준 최신판

개요

  • 점화식으로 정의되는 정수수열
  • \(a_{n+4}a_{n} = a_{n+3} a_{n+1} + a_{n+2}^2\)
  • 초기조건이 \(a_1=a_2=a_3=a_4=1\) 인 경우
  • 1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786

로랑현상

  • 초기조건이 \(a_1=x,a_2=y,a_3=z,a_4=w\) 인 경우\[x,y,z,w,\frac{w y+z^2}{x},\frac{w^2 x+w y z+z^3}{x y},\frac{y(wy+z^2)^2+w x (w^2 x+w y z+z^3)}{x^2 y z}\]
  • 점화식에서 얻어지는 항들이 모두 \(\mathbb{Z}[x^{\pm},y^{\pm},z^{\pm},w^{\pm}]\)의 원소, 즉 로랑 다항식이며, 이를 로랑현상(Laurent phenomenon) 이라 한다 [FZ2001]
  • 로랑현상에 의해 초기조건 \(a_1=a_2=a_3=a_4=1\)의 경우, 정수수열이 됨을 알 수 있다



타원곡선 \(y^2=4 x^3-4 x+1\)

  • 타원곡선 \(y^2=4 x^3-4 x+1\)
  • 점 \(P=(1,1)\)과 \(Q=(0,1)\)은 타원곡선 위에 놓여 있다.
  • 점 P+n Q 의 좌표를 구하면, 좌표의 분모로부터 소모스 수열을 얻을 수 있다




역사



메모

  • The density of primes \(p\in \mathbb{Z}\) dividing at least one term of this sequence is \(11/21\)
  • Jones, Rafe, and Jeremy Rouse. “Galois Theory of Iterated Endomorphisms.” Proceedings of the London Mathematical Society 100, no. 3 (May 1, 2010): 763–94. doi:10.1112/plms/pdp051.

관련된 항목들


매스매티카 파일 및 계산 리소스


관련논문

  • Van der Kamp, Peter H. ‘Somos-4 and Somos-5 Are Arithmetic Divisibility Sequences’. arXiv:1505.00194 [math], 1 May 2015. http://arxiv.org/abs/1505.00194.
  • Yura, Fumitaka. “Hankel Determinant Solution for Elliptic Sequence.” arXiv:1411.6972 [math-Ph, Physics:nlin], November 25, 2014. http://arxiv.org/abs/1411.6972.
  • Hone, A. N. W. 2005. Elliptic Curves and Quadratic Recurrence Sequences. Bulletin of the London Mathematical Society 37, no. 2 (April 1): 161 -171. doi:10.1112/S0024609304004163.
  • Swart, Christine, and Andrew Hone. 2005. Integrality and the Laurent phenomenon for Somos 4 sequences. math/0508094 (August 4). http://arxiv.org/abs/math/0508094
  • [FZ2001]Fomin, Sergey, and Andrei Zelevinsky. 2001. The Laurent phenomenon. math/0104241 (April 25). http://arxiv.org/abs/math/0104241.