おはようございます、satoです。
最近仕事で数列の漸化式を扱っています。
この数列の漸化式には色々なパターンの解法がありますが、実際に問題を作って解いていくと楽しいです。
ところで、この漸化式、実は微分方程式とは結構関係があるのです。
この話をしたいので、今回は「数列」と「一変数関数」について色々話していこうと思います。
内容自体は高校数学の範囲ですが、今回は高校数学では教えない(時間なくて教えられない、とも)内容をまとめてみます。
数列と関数の関連性
そもそも数列とはどういうものだったかというと…
というように、数字を一列に並べたものです。1,2,3,…番目の数字を第一項、第二項、第三項、…と書きます。第一項は特別に初項といいます。
![\[a_1,a_2,a_3,\ldots,a_n,\ldots\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-e076a5e7f272cd995dff66f8c68b1116_l3.png "Rendered by QuickLaTeX.com")
という数列があった場合、これを
高校の授業では数列の一般項を求めることが一つの目的とされていますが、これは
ところで、この数列というのをよくよく考えると
自然数1,2,3…を初項、第二項、第三項…の数字に対応させたもの
になります。つまり
![\[\{a_n\}:\mathbb{N}\ni n\mapsto a_n\in\mathbb{R}\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-9a9bd79fd40e4b32155fc564bc2d700a_l3.png "Rendered by QuickLaTeX.com")
という「自然数全体を定義域とする」関数と考えることができます。
こう考えると、私達が習ってきた一変数(実数値)関数
![\[f:\mathbb{R}\rightarrow\mathbb{R}\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-d98b2c7b8aa44b5df2eb6327b75a408f_l3.png "Rendered by QuickLaTeX.com")
と数列はとても似ているということが分かります。
たとえば、「等差数列」とは「隣同士の項の差が一定」であるような数列です。
これは等差数列の一つなのですが、この増え方、実は中学生のときにやった「1次関数」の表でも出てきます。
このことから等差数列と1次関数にはなにか関連性がありそうですが、実際に
・等差数列は「隣り合う2つの項の差が一定」、1次関数は「変化の割合が一定」という関連性がある。
・等差数列の一般項は
というような相似性が見られます。
差分と微分
先程等差数列でも出てきましたが、数列において重要な概念が「隣り合う2つの項の情報」です。
これは先程の「自然数全体を定義域とする」関数としての考え方でいうと
一変数(実数値)関数について調べる際に大事な考えが微分です。
微分とは関数の「瞬間の変化率」を求めることです。定義を書くと
![\[\lim_{h\rightarrow0}\frac{f(a+h)-f(a)}{h}\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-0f22795c0abeadff8180046f22508f8a_l3.png "Rendered by QuickLaTeX.com")
が収束するとき、この収束値が「微分係数」、これを求めることが微分の目的です。
この微分の定義をよく見ると、瞬間の変化率の意味がわかります。
まず、
この
このことから微分係数の定義は「
この関数における微分に相当するのは数列では何でしょうか？
微分が「
数列は「自然数全体を定義域としている」ので、
そこで、この変化の割合を計算すると…
![\[\frac{a_{n+1}-a_n}{n+1-n}=\frac{a_{n+1}-a_n}{1}=a_{n+1}-a_n\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-604b7ca655042c5c7ca7082b02551ef3_l3.png "Rendered by QuickLaTeX.com")
となります。これは…「隣り合う2つの項の差」ですね。これを差分といいます。
関数にとっての微分とは数列にとっては「差分」、つまり「隣り合う2つの項の差」です。
また、「微分係数」を対応させる関数を「導関数」と言いました。
「導関数」は関数の性質を調べる上でとても重要な関数(ex.関数の極大・極小、変化の仕方等がわかる)なのですが、同じように「差分」を対応させる数列もとても重要です。これは「階差数列」ですね。
ちなみに、先程「等差数列」と「1次関数」の対応を書きましたが、今までの言葉を使うともっと明確に類似性が見えてきます。
等差数列→階差数列が定数の並ぶ数列
1次関数→導関数が定数関数
もう一つ「等比数列」と「指数関数」にも類似性があります。
「等比数列」は「隣り合う2つの項の比が一定」となる数列です。
この数列の一般項は
この一般項の形を見ると指数関数
指数関数の微分には特徴があります。それは導関数が元の関数と同じである、ということです。
具体的には
一方、等比数列の階差数列を見てみると、
と等比数列になります。
このように「等比数列の階差数列は等比数列」、「指数関数の微分は指数関数」という類似性があります。
というわけで、差分(階差数列)と微分(導関数)の話が出てきました。
次回は数列で出てくる「漸化式」と「微分方程式」の話をしていきますね。
この記事を書いたブロガー
-
「素直に、深く、面白く」がモットーの摂理男子。霊肉ともに生粋の道産子。30代になりました。目指せ数学者。数学というフィールドを中心に教育界隈で色々しています。
軽度の発達障害(ADHD・PD)&HSP傾向あり。
最近の投稿
