関数 を奇関数として区間 に拡張し、さらに周期 の関数に拡張して、正弦級数
に展開する。正の整数 に対して、係数 を の式で求めよ。
正弦級数・余弦級数
区間 の関数を奇関数・偶関数に拡張して、正弦級数・余弦級数に展開できる
前提
- フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
この技能までの道筋(44 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 三角関数の積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 無限等比級数と無限級数 (数学III 極限)
- フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
説明
区間 だけで定義された関数を、 だけの和(正弦級数)や、定数と だけの和(余弦級数)で表せるようになります。両端で値が になる条件(弦の振動・熱方程式の境界条件など)には正弦級数を使います。両端で傾きが になる条件には余弦級数を使います。どちらも、関数を に拡張してから周期 のフーリエ級数に直すという考え方に基づいています。
なぜそうしてよいのか
周期 の関数のフーリエ級数は で、係数は 、 でした。ところが、いま は でしか決まっていません。そこで の部分を自分で決めてから、周期 で全体に広げます。
奇関数に拡張する場合: となるように決めます( での値は としておきます。1 点の値は積分に影響しません)。奇関数と (偶関数)の積は奇関数なので、 で積分すると になり、 です。一方、奇関数と (奇関数)の積は偶関数なので、 となります。よって で、 の項だけが残ります。これが正弦級数です。
偶関数に拡張する場合: となるように決めます。今度は となり、 となって、余弦級数が得られます。どちらの場合も係数は 上の積分だけで計算できるので、拡張した関数を実際に書き下す必要はありません。 が区分的に滑らかなら、級数は連続点では に、不連続点では拡張した関数の左右の極限の平均に収束します。
手順
正弦級数と余弦級数のどちらを使うか決め、区間の長さ を確認する(奇関数への拡張なら正弦級数、偶関数への拡張なら余弦級数)
正弦級数なら を計算する
余弦級数なら を計算する。 は で割る式が使えないことが多いので別に計算する
、 を使って結果を整理する
級数を書く。正弦級数は 、余弦級数は とし、どの点で に一致するかを確認する
例題
を奇関数に拡張して正弦級数 に展開するとき、係数 ( は正の整数)を求めよ。
例題の解答
手順 1:奇関数への拡張なので正弦級数を使う。 だから である。
手順 2: を部分積分で計算する。 なので、 となる。
手順 4:、 より、この積分は になる。よって である。
手順 5: が得られる。この等式は で成り立つ。 では、拡張した関数の左極限 と右極限 の平均 に収束するので、 とは一致しない。
答え:
よくある誤り
係数に周期 のフーリエ係数と同じ を付けてしまう誤り。正しくは、 の積分を の積分の 2 倍に直しているので となる
余弦級数の定数項を としてしまう誤り。正しくは で、これは の平均 に等しい。例えば なら で、定数項は である
の一般式を にそのまま代入してしまう誤り。例えば は では分母が になるので、 を別に計算する
正弦級数が端点 でも に一致すると考えてしまう誤り。正しくは、すべての項が なので、端点での級数の値は常に である。例えば の正弦級数は で になり、 にはならない
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
区間 で定義された関数 を奇関数として区間 に拡張し、さらに周期 の周期関数に拡張する。こうして得られる関数の正弦級数
の係数 を、正の整数 の式で求めよ。区間 で定義された関数 を奇関数として区間 に拡張し、さらに周期 の周期関数に拡張して、正弦級数
に展開する。正の整数 に対して、係数 を の式で求めよ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によってこの問題の解 を求め、極限
の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によって得られる解 について、極限
の値を求めよ。
この技能を使う問題
に対するノイマン境界条件付きの熱方程式の初期値・境界値問題
の解を、変数分離法により余弦フーリエ級数で表されるものとする。このとき広義積分
の値を求めよ。必要ならば を用いてよい。に対する熱方程式のノイマン境界値問題
を考える。 は、変数分離とフーリエ余弦級数によって得られる解とする。このとき
の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。この問題の解を変数分離とフーリエ正弦級数を用いて の形で求めたうえで、
の値を求めよ。ただし、必要なら を用いてよい。を 上の実数値連続関数とする。実数値関数 は で連続であり、 で が存在して連続( では片側微分とする)で、
をみたすとする。 とおくとき、
が成り立つことを示せ。ただし、次の事実は用いてよい: 上の連続関数 が、すべての正の整数 について をみたすならば、 は 上で恒等的に である。
長さ 、線密度 の一様な弦が張力 で張られ、両端 と で固定されている。弦の横変位 は波動方程式
に従い、変位は十分小さく、重力・空気抵抗・減衰は無視できるものとする。時刻 に、弦の点 をつまんで高さ まで引き上げ、弦が 2 本の線分からなる折れ線
の形で静止した状態から静かに放した。その後の運動で、弦の全力学的エネルギーのうち基本振動(最も振動数の低い基準振動)が担うエネルギーの割合を求めよ。答えは を含む正確な値で表せ。
での弦の形 長さ 、線密度 の一様な弦が張力 で張られ、両端 , で固定されている。弦の横変位 は波動方程式
に従い、境界条件は である。時刻 に、弦の点 をつまんで高さ まで引き上げ、弦が 2 本の線分からなる折れ線
の形で静止している状態から、静かにはなした()。 は に比べて十分小さい。その後の弦の振動を基準振動の重ね合わせで表すとき、弦の全力学的エネルギーのうち、基本振動(最も振動数の低い基準振動)が担うエネルギーの割合を求めよ。ただし、弦の運動エネルギーは 、位置エネルギーは とする。
はなす直前の弦の形(縦方向は拡大してある) 長さ 、線密度 の一様な弦が張力 で張られ、両端 , が固定されている。弦の横変位 は微小で、波動方程式
に従うものとする。弦の力学的エネルギーは
で与えられ、減衰はないものとする。時刻 に、弦の点 をつまんで横に ()だけ引き、弦が 2 本の線分からなる形になった状態から静かに(各点の速度 で)はなした。その後の運動を基準振動 ()の重ね合わせで表すとき、弦の力学的エネルギー のうち、基本振動()がもつエネルギーの割合を求めよ。
の弦の形(縦方向を拡大して描いている) に対する減衰項付き波動方程式(電信方程式)の初期値・境界値問題
を考える。変数分離法により を ( は正の整数)のフーリエ正弦級数
の形で求めたとき、広義積分
の値を求めよ。必要ならば を用いてよい。に対する、左端が固定(ディリクレ条件)・右端が断熱(ノイマン条件)の熱方程式の初期値・境界値問題
を考える。ここで は、境界条件をみたす固有関数による変数分離とフーリエ級数展開で得られる解とする( では級数は項別微分可能で滑らかな関数を定め、 のとき は で初期値 に収束する)。このとき
の値を求めよ。
この技能の次に学べること
- 有界区間の熱方程式 (大学院数学 偏微分方程式)
- 波動方程式 (大学院数学 偏微分方程式)
- 初期条件の基準振動への展開とエネルギー (大学物理 振動・波動)
- 固有関数による展開と測定確率 (大学物理 量子力学(1 次元の問題))