"차분방정식(difference equation) 과 유한미적분학 (finite calculus)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
3번째 줄: 3번째 줄:
 
* 수열의 합을 다루는 데 유용한 테크닉
 
* 수열의 합을 다루는 데 유용한 테크닉
 
* finite calculus 라는 이름으로 불리기도 함.
 
* finite calculus 라는 이름으로 불리기도 함.
*  미적분학의 개념과 대응되는 점이 있음.<br>
+
*  미적분학의 개념과 대응되는 점이 있음.
 
** 계차수열 ~ 미분
 
** 계차수열 ~ 미분
 
** 부분합 ~ 적분
 
** 부분합 ~ 적분
  
 
+
  
 
+
  
==계차수열==
+
==계차수열과 부분합==
 
* [[계차수열]]
 
* [[계차수열]]
F, f 는 다음 조건을 만족하는 두 수열이다.
+
* 두 수열 $F, f$ <math>\Delta F=f</math>을 만족하는 두 수열이다. 즉 <math>f(n)=F(n+1)-F(n)</math>
 +
* 미분의 역연산을 부정적분으로 정의하듯이, 계차수열이 f 가 되는 수열 F를 <math>\Delta F=f</math> 로 표현하자.
  
<math>\Delta F=f</math> 즉 <math>f(n)=F(n+1)-F(n)</math>
+
;정리
 +
두 수열 $F, f$가 <math>\Delta F=f</math>를 만족하면, 다음이 성립한다
 +
:<math>\sum_{n=a}^{b-1}f(n)=F(b)-F(a)</math>
  
미분의 역연산을 부정적분으로 정의하듯이, 계차수열이 f 가 되는 수열 F를 <math>\Delta F=f</math> 로 표현하자.
+
;증명
 
+
:<math>F(b)-F(a)=F(b)-F(b-1)+F(b-1)-F(b-2)+F(b-2)+\cdots+F(a+1)-F(a)=f(b-1)+f(b-2)+\cdots f(a)= \sum_{n=a}^{b-1}f(n)</math>
 
 
 
 
(정리)
 
 
 
 
 
 
 
 
 
 
 
==수열의 부분합==
 
 
 
수열 f 에 대하여
 
 
 
<math>\sum_{n=a}^{b-1}f(n)</math>
 
 
 
는 정적분에 대응되는 개념으로 이해할 수 있다
 
 
 
 
 
 
 
 
 
 
 
==Calculus of Finite Dfference의 기본정리==
 
 
 
두 수열 F, f 가 <math>\Delta F=f</math>를 만족하면,
 
 
 
<math>\sum_{n=a}^{b-1}f(n)=F(b)-F(a)</math>
 
 
 
가 성립한다.
 
 
 
 
 
 
 
 
 
 
 
==증명==
 
 
 
<math>F(b)-F(a)=F(b)-F(b-1)+F(b-1)-F(b-2)+F(b-2)+\cdots+F(a+1)-F(a)=f(b-1)+f(b-2)+\cdots f(a)= \sum_{n=a}^{b-1}f(n)</math>
 
  
 
 
 +
* 수열 $f$ 에 대하여 <math>\sum_{n=a}^{b-1}f(n)</math> 는 정적분에 대응되는 개념으로 이해할 수 있다
  
 
+
 
 
 
 
 
 
==== 하위페이지 ====
 
 
 
* [[차분방정식(difference equation) 과 유한미적분학 (finite calculus)]]<br>
 
** [[거듭제곱의 합을 구하는 공식]]<br>
 
** [[베르누이 다항식]]<br>
 
** [[베르누이 수]]<br>
 
** [[오일러-맥클로린 공식]]<br>
 
** [[오일러수]]<br>
 
 
 
 
 
 
 
 
 
 
 
 
 
  
 
==관련된 학부 과목과 미리 알고 있으면 좋은 것들==
 
==관련된 학부 과목과 미리 알고 있으면 좋은 것들==
80번째 줄: 32번째 줄:
 
* [[수열]]
 
* [[수열]]
  
 
+
  
 
+
  
 
==관련된 항목들==
 
==관련된 항목들==
93번째 줄: 45번째 줄:
 
* [[q-적분 (잭슨 적분, Jackson integral)]]
 
* [[q-적분 (잭슨 적분, Jackson integral)]]
  
 
+
  
 
+
=== 하위페이지 ===
 +
* [[거듭제곱의 합을 구하는 공식]]
 +
* [[베르누이 다항식]]
 +
* [[베르누이 수]]
 +
* [[오일러-맥클로린 공식]]
 +
* [[오일러수]]
 +
 
 +
 +
==매스매티카 파일 및 계산 리소스==
 +
* https://docs.google.com/file/d/0B8XXo8Tve1cxUFhNMHNJay00VnM/edit?usp=drivesdk
 +
  
 
==사전형태의 자료==
 
==사전형태의 자료==
101번째 줄: 63번째 줄:
 
* http://en.wikipedia.org/wiki/finite_calculus
 
* http://en.wikipedia.org/wiki/finite_calculus
  
 
+
 +
==메모==
 +
* [[1992824/attachments/894886|The Finite Calculus]]
 +
** From the book '<em style="">A Primer of Analytic Number Theory</em>' 1.2
  
 
+
  
 
==관련논문==
 
==관련논문==
 +
* [http://www.jstor.org/stable/2686229 Using the Finite Difference Calculus to Sum Powers of Integers]
 +
** Lee Zia, <cite>The College Mathematics Journal</cite>, Vol. 22, No. 4 (Sep., 1991), pp. 294-300
  
* [[1992824/attachments/894886|The Finite Calculus]]<br>
+
* [http://www.jstor.org/stable/2686717 Sums and Differences vs. Integrals and Derivatives]
** From the book '<em style="">A Primer of Analytic Number Theory</em>' 1.2
+
** Gilbert Strang, <cite>The College Mathematics Journal</cite>, Vol. 21, No. 1 (Jan., 1990), pp. 20-27
* [http://www.jstor.org/stable/2686229 Using the Finite Difference Calculus to Sum Powers of Integers]<br>
 
** Lee Zia, <cite>The College Mathematics Journal</cite>, Vol. 22, No. 4 (Sep., 1991), pp. 294-300
 
 
 
* [http://www.jstor.org/stable/2686717 Sums and Differences vs. Integrals and Derivatives]<br>
 
** Gilbert Strang, <cite>The College Mathematics Journal</cite>, Vol. 21, No. 1 (Jan., 1990), pp. 20-27
 
  
* [http://www.jstor.org/stable/2970749 An Elementary Exposition of the Theory of Finite Differences]<br>
+
* [http://www.jstor.org/stable/2970749 An Elementary Exposition of the Theory of Finite Differences]
** Saul Epsteen, <cite>The American Mathematical Monthly</cite>, Vol. 11, No. 6/7 (Jun. - Jul., 1904), pp. 131-136
+
** Saul Epsteen, <cite>The American Mathematical Monthly</cite>, Vol. 11, No. 6/7 (Jun. - Jul., 1904), pp. 131-136
* [http://www.jstor.org/stable/3026439 Telescoping Sums and the Summation of Sequences]<br>
+
* [http://www.jstor.org/stable/3026439 Telescoping Sums and the Summation of Sequences]
** G. Baley Price, <cite>The Two-Year College Mathematics Journal</cite>, Vol. 4, No. 2 (Spring, 1973), pp. 16-29
+
** G. Baley Price, <cite>The Two-Year College Mathematics Journal</cite>, Vol. 4, No. 2 (Spring, 1973), pp. 16-29
* [http://www.jstor.org/stable/2690625 The Euler-Maclaurin and Taylor Formulas: Twin, Elementary Derivations]<br>
+
* [http://www.jstor.org/stable/2690625 The Euler-Maclaurin and Taylor Formulas: Twin, Elementary Derivations]
** Vito Lampret, <cite>Mathematics Magazine</cite>, Vol. 74, No. 2 (Apr., 2001), pp. 109-122
+
** Vito Lampret, <cite>Mathematics Magazine</cite>, Vol. 74, No. 2 (Apr., 2001), pp. 109-122
* [http://www.jstor.org/stable/2301097 An Euler Summation Formula]<br>
+
* [http://www.jstor.org/stable/2301097 An Euler Summation Formula]
** Irwin Roman, <cite>The American Mathematical Monthly</cite>, Vol. 43, No. 1 (Jan., 1936), pp. 9-21
+
** Irwin Roman, <cite>The American Mathematical Monthly</cite>, Vol. 43, No. 1 (Jan., 1936), pp. 9-21
  
 
+
  
 
+
  
 
==블로그==
 
==블로그==
  
 
* http://cjackal.tistory.com/154finite+calculus
 
* http://cjackal.tistory.com/154finite+calculus
** http://blogsearch.google.com/blogsearch?q=
 
  
  
 
[[분류:수열]]
 
[[분류:수열]]

2013년 12월 16일 (월) 17:43 판

개요

  • 수열의 합을 다루는 데 유용한 테크닉
  • finite calculus 라는 이름으로 불리기도 함.
  • 미적분학의 개념과 대응되는 점이 있음.
    • 계차수열 ~ 미분
    • 부분합 ~ 적분



계차수열과 부분합

  • 계차수열
  • 두 수열 $F, f$ 는 \(\Delta F=f\)을 만족하는 두 수열이다. 즉 \(f(n)=F(n+1)-F(n)\)
  • 미분의 역연산을 부정적분으로 정의하듯이, 계차수열이 f 가 되는 수열 F를 \(\Delta F=f\) 로 표현하자.
정리

두 수열 $F, f$가 \(\Delta F=f\)를 만족하면, 다음이 성립한다 \[\sum_{n=a}^{b-1}f(n)=F(b)-F(a)\]

증명

\[F(b)-F(a)=F(b)-F(b-1)+F(b-1)-F(b-2)+F(b-2)+\cdots+F(a+1)-F(a)=f(b-1)+f(b-2)+\cdots f(a)= \sum_{n=a}^{b-1}f(n)\]

  • 수열 $f$ 에 대하여 \(\sum_{n=a}^{b-1}f(n)\) 는 정적분에 대응되는 개념으로 이해할 수 있다


관련된 학부 과목과 미리 알고 있으면 좋은 것들



관련된 항목들


하위페이지


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


사전형태의 자료


메모


관련논문



블로그