바젤 문제

Basel problem

바젤 문제는 역제곱의 무한합에 관한 수 이론과 관련수학 분석의 문제이다.그것은 1650년 피에트로 멍골리에 의해 처음 제시되었고 1734년 [1]레온하르트 오일러에 의해 해결되었으며 1735년 12월 5일 상트페테르부르크 [2]과학 아카데미에서 읽혔다.그 문제가 당대의 주요 수학자들의 공격을 견뎌냈기 때문에, 오일러의 해답은 그가 28살이었을 때 그에게 즉각적인 명성을 가져다 주었다.오일러는 이 문제를 상당히 일반화했고, 그의 생각은 수년 후에 베른하르트 리만에 의해 채택되었는데, 그는 그의 제타 함수를 정의하고 그것의 기본 특성을 증명한 1859년 그의 정석 논문 "주어진 크기보다 작은 소수에 대하여"에서 나왔다.이 문제는 오일러의 고향인 바젤과 문제를 공격하지 못한 베르누이 가문의 이름을 따서 명명되었다.

바젤 문제는 자연수 제곱정확, 즉 무한 급수의 정확한 합을 요구한다.

급수의 합계는 약 1.644934입니다.[3]바젤 문제는 이 시리즈의 정확한 합계(닫힌 형식)와 이 합계가 맞다는 증거를 요구합니다.오일러는 정확한 합계가 ^{ 발견하고 1735년에 이 발견을 발표했다.그의 주장은 나중에 그가 옳았음이 입증되었지만, 그 당시에는 정당화되지 않았던 조작에 근거했다.그는 1741년에 정말로 엄격한 증거를 제시했다.

이 문제에 대한 해결책은 두 의 큰 난수공수일 확률을 추정하는 데 사용할 수 있습니다.n n 무한대에 이르는 범위 내의 1 ~(\ n의 2개의 랜덤 정수는 비교적 소수이며, 바젤 [4]문제에 대한 해결책의 반대인 6/ 할 가능성이 있습니다

오일러의 접근법

오일러의 원래 값 2 / (\은 유한 다항식에 대한 관찰을 기본적으로 확장했으며 이러한 동일한 특성이 무한 급수에 대해 참이라고 가정했다.

물론, 오일러의 원래 추론은 정당성을 필요로 하지만(100년 후, 칼 바이어스트래스바이얼스트라스 인수분해 정리에 의해 무한곱으로서의 사인함수의 표현이 유효하다는 것을 증명했다), 그는 정당성 없이도, 단순히 정확한 값을 얻음으로써, 그것을 파티아에 대해 수치적으로 검증할 수 있었다.시리즈 중 1개입니다.그가 지켜낸 합의는 그에게 수학계에 그의 결과를 발표할 충분한 자신감을 주었다.

오일러의 주장을 따르려면 사인 함수의 테일러 급수 확장을 떠올리십시오.

x x 나누면 다음과 같습니다.

바이어스트라스 인수분해 정리는 왼쪽이 유한 다항식과 마찬가지로 그 근에 의해 주어진 선형 인자의 산물임을 보여준다.오일러는 이를 근의 관점에서 무한도 다항식을 확장하기 위한 휴리스틱으로 가정했지만, 일반P ( P[5]에 대해서는 항상 해당되지 않는다. 이 인수분해는 방정식을 다음과 같이 확장한다.

만약 정식으로 나가서 모든x2 조건(우리가 그렇게 할 뉴턴의 정체성 때문에 허용된다)를 수집 이 제품을 하는데, 우리가 유도가.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output.sfrac.tion,.mw-parser-output.sfrac .tion의 미국 계수{을 볼 수 있습니다.디스플레이:inline-block, vertical-align:-0.5em, font-size:85%;text-align:센터}.mw-parser-output.sfrac.num,.mw-parser-output.sfrac .den{디스플레이:블록, line-height:1em, 마진:00.1em}.mw-parser-output.sfrac .den{border-top:1px 고체}.mw-parser-output .sr-only{.국경:0;클립:rect(0,0,0,0), 높이:1px, 마진:-1px, 오버 플로: 숨어 있었다. 패딩:0;위치:절대, 너비:1px}죄 x/x[6]은

그러나 sin x/x원래 무한 급수 팽창에서 x2 계수는 -1/3! = -1/6입니다.이 두 계수는 같아야 합니다. 따라서

이 방정식의 양변에 -θ를2 곱하면 양의 제곱 정수의 역수 합계가 나옵니다.

계산 방법은 오일러 감마 [7]상수와 관련된 많은 제타함수, 로그 관련 급수와 적분 및 역사적 관점에 대해 자세히 설명하는 하빌의 감마 에서 가장 두드러지게 설명된다

기본 대칭 다항식을 이용한 오일러 방법의 일반화

기본 대칭 [8]다항식으로부터 얻은 공식을 사용하여 베르누이 수에 의해 확장되는 다음과 같은 알려진 공식을 갖는 짝수 지수 짝수 제타 상수에 대한 공식을 열거하는 데 동일한 접근방식을 사용할 수 있다.

예를 들어 위와 같이 확장된 () { ) ( - 2 ) { style { S _ { nx ) } { x} { x } : = k 1 n) 。(1-{}}{k^{2 \pi그런 다음 기본 대칭 다항식(일명 뉴턴의 공식)에 대해 알려진 공식을 사용하면 (예를 들어) 다음과 같은 것을 볼 수 있다.

[ k]n (x ){ 의 후속 계수에 대해서도 마찬가지입니다.기본 대칭 다항식의 관점에서 (확정) 나타내는 뉴턴의 항등식에는 다른 형태가 있다 (- 2 ,- 2, - , - . ),{ .{\{\pi ^{ {{{^{ {{ \right 공식에 대해 보다 직접적인 경로를 지정할 수 있습니다.즉, 기본 대칭 다항식과 멱합 다항식 사이에 반복 관계가 있습니다.

이것은 우리의 상황에서 제한적인 반복 관계(또는 생성 함수 컨볼루션 또는 생성물)가 확장되는 것과 같다.

그런 다음 이전 방정식의 항을 미분하고 재배치함으로써 다음과 같은 결과를 얻을 수 있다.

오일러의 증명 결과

상기 결과에 의해( 항상 유리배수이며, 특히 그 정수승은 초월적이므로(irta(2k라는 결론을 내릴 수 있다., Apery ()\ (를 포함한 홀수 색인의 제타 상수의 특성은 거의 완전히 알려져 있지 않습니다

리만 제타 함수

리만 제타 함수 θ(s)소수 분포와의 관계 때문에 수학에서 가장 중요한 함수 중 하나이다.제타 함수는 다음 공식에 의해 실수 부분1보다 큰 복소수 s에 대해 정의됩니다.

s = 2를 취하면, θ(2)는 모든 양의 정수의 제곱의 역수 합계와 같다는 것을 알 수 있다.

수렴은 적분 검정 또는 다음과 같은 부등식으로 증명할 수 있습니다.

값은 상한 2를 나타내며, 무한합은 음수 항을 포함하지 않으므로 0과 2 사이의 값으로 수렴해야 합니다.s가 양의 짝수 정수일 마다 θ(s)베르누이 수에서 간단한 식을 갖는다는 것을 알 수 있다.s = [9]2n경우:

오일러의 공식과 로피탈의 법칙을 이용한 증명

정규화된 sinc sync ( ) ( x ) x { { { ( x ) = frac { ( \ pi x ) }{ \ pi }는 무한곱으로서 바이에르스트라스 인수분해 표현을 가진다.

무한곱은 분석적이므로, 양변의 자연대수를 취하여 수율을 미분한다.

(균일한 수렴에 의해 도함수와 무한 급수의 교환이 허용된다.)방정식을 x 다시 정리하면

변수( - { x = - } )를 변경합니다.

오일러의 공식을 사용하여 을 추론할 수 있다.

또는 쌍곡선 함수를 사용합니다.

그리고나서

우리는0에 가까워짐에 한계를 받아들이고 L'Hopipital의 규칙을 세 번 사용합니다. t 1 /( 2+ / 2) {_ { \} \_ {되는 태너리의 정리에 의해 한계와 한계 교환할 수 있다. 0 _})=\ _2}} L'Hopital의 법칙에 따라

푸리에 급수를 이용한 증명

Parseval의 아이덴티티(함수 f(x) = x)를 사용하여 구합니다.

어디에

n ≠ 0, c0 = 0경우.따라서,

그리고.

그러므로,

필요에 따라서.

Parseval의 신원을 사용한 또 다른 증거

L2 주기 함수의 L (0)에 직교 기준(0 ) {{,1)} {{,1)} { 스타일즉, 주기적 적분함수(즉, ) i 대하여 Parseval의 아이덴티티는 다음과 같습니다.

여기서 x : , x { \ : ={ \ , x \ rangle}}는 다음과 같이 주어진 힐베르트 공간의 내부 곱의 관점에서 정의됩니다.

k k ( ) : 에 의해 정의된 이 공간에 대한 직교 정규 기준을 고려할 수 있습니다. \k\ ,ej 0 - d = d 、 j \ } = \{ } e ( k - j )}, 이 두 가지를 모두 계산할 수 있습니다.

기초 미적분과 부품별 적분.마지막으로, 위의 양식에 명시된 Parseval의 신원에 의해, 우리는 그것을 얻는다.

일반화 및 반복 관계

j ( )의 고차승 : j / ( , (\)를 고려하면 다음과 같이 됩니다.}\ L_ 부품별 적분을 사용하여 이 을 j (2 ) \ (2 )의 공식을 열거하는 것으로 확장할 수 있습니다. 특히 다음과 같이 가정합니다.

부품에 의한 통합이 반복 관계를 만들어 낼 수 있도록

그리고 위의 첫 번째 사례에서와 같이 내부 제품의 선형성과 함께 Parseval의 정체성을 적용함으로써 다음을 산출합니다.

코시의 증거

대부분의 증명은 푸리에 해석, 복소 해석, 다변수 미적분과 같은 고급 수학의 결과를 사용하지만, 다음은 단일 변수 미적분(에 단일 한계가 취해질 때까지)을 필요로 하지 않는다.

잔차 정리를 사용한 증명은 링크된 문서를 참조하십시오.

이 증명의 이력

그 증거는 오귀스틴 루이 코시로 거슬러 올라간다. (Cours d'Analyze, 1821, Note VII).1954년, 이 증거는 아키바이사크 야글롬의 책 "초급 박람회의 보조적인 문제"에 등장했습니다.이후 1982년 존 스콜스의 것으로 알려진 유레카 [10]저널에 실렸지만 스콜스는 그가 피터 스위너튼-다이어로부터 그 증거를 배웠으며, 어떤 경우에도 그 증거는 "1960년대 후반 캠브리지에서의 상식"이었다고 주장한다.

증명

불평등

에 나타냅니다.맞바꾸고 스쿼어링을 하면
2 < < 2> { ^} \< { \ {^ {2}

그 증거 뒤에 있는 주된 생각은 부분적인 (확정적인) 합계를 묶는 것이다.

m이 무한대에 가까워지면 각각 µ2/6이 되는 경향이 있다.두 표현은 코탄젠트 코탄젠트 함수와 관련된 동일성에서 파생됩니다.이러한 정체성은 드 무브르의 공식에서 도출되며, 이제 우리는 이러한 정체성의 확립에 눈을 돌립니다.

x는 0 < x < //2 실수, n은 양의 홀수 정수라고 합니다.그리고 드 무브르의 공식과 코탄젠트 함수의 정의로부터, 우리는

이항 정리로부터, 우리는

두 방정식을 결합하고 허구 부분을 동일시함으로써 동일성을 얻을 수 있다.

이 항등식을 취하여 양의 정수 m을 고정하고, n = 2m + 1로 설정하고, r = 1, 2, ..., m에 대해 x = r //2m + 1고려합니다r. 그러면r nx는 θ배수이므로 sin(nxr) = 0입니다. 따라서,

모든r r = 1, 2, ..., m. xm = x1, x2, ..., x는 0 < xr < µ/2 간격의 고유한 숫자입니다.함수2 요람 x는 이 구간에서 일대일이기 때문에, 숫자 tr = 요람2r x는 r = 1, 2, ..., m대해 구별된다. 위의 방정식에 따르면, 이 m 숫자는 m차 다항식의 근이다.

비에타의 공식에 의해 우리는 다항식의 처음 두 계수를 조사함으로써 직접 근의 합을 계산할 수 있고, 이 비교는 다음을 보여준다.

항등식2 csc2 x = 요람 x + 1로 치환하면 다음과 같이 된다.

이제 부등식2 요람 x < 1/x2 < csc2 x (위의 기하학적 그림)에 대해 생각해 보겠습니다.r 숫자 x = rθ/2m + 1에 대해 이 모든 부등식을 더하면 위의 두 개의 항등식을 사용하면

(θ/2m + 2
1
)를 곱하면, 이는

m이 무한대에 가까워지면 왼쪽과 오른쪽 식은 각각 θ2/6에 가까워지기 때문에 스퀴즈 정리에 의해

이것으로 증명은 완료됩니다.

기타 아이덴티티

s s 기타 주목할 만한 특수 항등식 및 상수의 표현이 아래 단원에 나와 있을 리만 제타 함수에 대한 식별의 특수한 경우를 참조하십시오.

시리즈 표현

다음은 [11]상수의 열 표현입니다.

, 「」(2)[11]에는, BBP 타입의 시리즈 확장이 있습니다.

적분 표현

( ): \ \(2) { \ }의 필수 표현입니다.[12][13][14]

연속 분수

데르 푸르텐의 고전적인 글에서 저자는 불합리성을 입증하는 데 있어서 몇 가지 유사점을 지적하고 있다특히, 그는 상수에 대한 상수 및 연속 분수로 수렴되는 거의 정수 시퀀스에 대한 반복 관계를 기록한다.이 상수에[16] 대한 다른 연속 분수는 다음과 같다.

그리고[17][unreliable source?]

- {,, ,,9}{ } =3ldots ~ 2 - + {3, {} {

「 」를 참조해 주세요.

레퍼런스

  • 를 클릭합니다Weil, André (1983), Number Theory: An Approach Through History, Springer-Verlag, ISBN 0-8176-3141-0.
  • 를 클릭합니다Dunham, William (1999), Euler: The Master of Us All, Mathematical Association of America, ISBN 0-88385-328-0.
  • 를 클릭합니다Derbyshire, John (2003), Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics, Joseph Henry Press, ISBN 0-309-08549-7.
  • Aigner, Martin; Ziegler, Günter M. (1998), Proofs from THE BOOK, Berlin, New York: Springer-Verlag
  • 를 클릭합니다Edwards, Harold M. (2001), Riemann's Zeta Function, Dover, ISBN 0-486-41740-9.

메모들

  1. ^ Ayoub, Raymond (1974). "Euler and the zeta function". Amer. Math. Monthly. 81 (10): 1067–86. doi:10.2307/2319041. JSTOR 2319041.
  2. ^ E41 – De summis serierum 상호 카룸
  3. ^ Sloane, N. J. A. (ed.). "Sequence A013661". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
  4. ^ Vandervelde, Sam (2009). "Chapter 9: Sneaky segments". Circle in a Box. MSRI Mathematical Circles Library. Mathematical Sciences Research Institute and American Mathematical Society. pp. 101–106.
  5. ^ 선험적으로, 좌변은 (무한도의) 다항식이기 때문에 우리는 그것을 그 근의 곱으로 다음과 같이 쓸 수 있다.
    다음 기본 미적분을 통해 림 x sin (x ) {\ _ 01이라는 을 알 수 있으므로 선행 상수는 A { A해야 한다는 결론을 내릴 수 있습니다.
  6. ^ 특히, n() : k n - ( \ n}^{n}^{n}k2}): \_ {}}이 일반화 2차 고조파수 [ ( - -쉽게 증명할 수 있다. _^{)=-{\ {pi }}{\ {\frac {2}}\ →{{} } } } } } } } } ^2} ^2} ^2} ^} ^2} ^2} ^} ^} →
  7. ^ Havil, J. (2003). Gamma: Exploring Euler's Constant. Princeton, New Jersey: Princeton University Press. pp. 37–42 (Chapter 4). ISBN 0-691-09983-9.
  8. ^ Cf. 일반화된 스털링 숫자의 공식은 다음과 같이 증명되었다.
  9. ^ Arakawa, Tsuneo; Ibukiyama, Tomoyoshi; Kaneko, Masanobu (2014). Bernoulli Numbers and Zeta Functions. Springer. p. 61. ISBN 978-4-431-54919-2.
  10. ^ Ransford, T J (Summer 1982). "An Elementary Proof of " (PDF). Eureka. 42 (1): 3–4.
  11. ^ a b Weisstein, Eric W. "Riemann Zeta Function \zeta(2)". MathWorld. Retrieved 29 April 2018.
  12. ^ Connon, D. F. (2007). "Some series and integrals involving the Riemann zeta function, binomial coefficients and the harmonic numbers (Volume I)". arXiv:0710.4022 [math.HO].
  13. ^ Weisstein, Eric W. "Double Integral". MathWorld. Retrieved 29 April 2018.
  14. ^ Weisstein, Eric W. "Hadjicostas's Formula". MathWorld. Retrieved 29 April 2018.
  15. ^ van der Poorten, Alfred (1979), "A proof that Euler missed ... Apéry's proof of the irrationality of ζ(3)" (PDF), The Mathematical Intelligencer, 1 (4): 195–203, doi:10.1007/BF03028234, S2CID 121589323, archived from the original (PDF) on 2011-07-06
  16. ^ Berndt, Bruce C. (1989). Ramanujan's Notebooks: Part II. Springer-Verlag. p. 150. ISBN 978-0-387-96794-3.
  17. ^ "Continued fractions for Zeta(2) and Zeta(3)". tpiezas: A COLLECTION OF ALGEBRAIC IDENTITIES. 4 May 2012. Retrieved 29 April 2018.

외부 링크