$m, n$を自然数とするとき、定積分 $\int_{-\pi}^{\pi} \cos(mx) \cos(nx) dx$ を求める。

解析学定積分三角関数積和の公式クロネッカーのデルタ
2025/7/16

1. 問題の内容

m,nm, nを自然数とするとき、定積分 ππcos(mx)cos(nx)dx\int_{-\pi}^{\pi} \cos(mx) \cos(nx) dx を求める。

2. 解き方の手順

三角関数の積和の公式を用いて、cos(mx)cos(nx)\cos(mx)\cos(nx)を和の形に変換する。
積和の公式は、
cos(mx)cos(nx)=12[cos((m+n)x)+cos((mn)x)]\cos(mx)\cos(nx) = \frac{1}{2}[\cos((m+n)x) + \cos((m-n)x)]
である。したがって、
ππcos(mx)cos(nx)dx=ππ12[cos((m+n)x)+cos((mn)x)]dx\int_{-\pi}^{\pi} \cos(mx)\cos(nx) dx = \int_{-\pi}^{\pi} \frac{1}{2}[\cos((m+n)x) + \cos((m-n)x)] dx
=12ππcos((m+n)x)dx+12ππcos((mn)x)dx= \frac{1}{2}\int_{-\pi}^{\pi} \cos((m+n)x) dx + \frac{1}{2}\int_{-\pi}^{\pi} \cos((m-n)x) dx
ここで、m+nm+nmnm-nの場合分けが必要になる。
(i) mnm \neq nのとき、
ππcos((m+n)x)dx=[sin((m+n)x)m+n]ππ=sin((m+n)π)m+nsin((m+n)π)m+n=0\int_{-\pi}^{\pi} \cos((m+n)x) dx = \left[ \frac{\sin((m+n)x)}{m+n} \right]_{-\pi}^{\pi} = \frac{\sin((m+n)\pi)}{m+n} - \frac{\sin(-(m+n)\pi)}{m+n} = 0
同様に、
ππcos((mn)x)dx=[sin((mn)x)mn]ππ=sin((mn)π)mnsin((mn)π)mn=0\int_{-\pi}^{\pi} \cos((m-n)x) dx = \left[ \frac{\sin((m-n)x)}{m-n} \right]_{-\pi}^{\pi} = \frac{\sin((m-n)\pi)}{m-n} - \frac{\sin(-(m-n)\pi)}{m-n} = 0
よって、積分値は0となる。
(ii) m=nm = nのとき、
ππcos((m+n)x)dx=ππcos(2mx)dx=[sin(2mx)2m]ππ=sin(2mπ)2msin(2mπ)2m=0\int_{-\pi}^{\pi} \cos((m+n)x) dx = \int_{-\pi}^{\pi} \cos(2mx) dx = \left[ \frac{\sin(2mx)}{2m} \right]_{-\pi}^{\pi} = \frac{\sin(2m\pi)}{2m} - \frac{\sin(-2m\pi)}{2m} = 0
ππcos((mn)x)dx=ππcos(0)dx=ππ1dx=[x]ππ=π(π)=2π\int_{-\pi}^{\pi} \cos((m-n)x) dx = \int_{-\pi}^{\pi} \cos(0) dx = \int_{-\pi}^{\pi} 1 dx = [x]_{-\pi}^{\pi} = \pi - (-\pi) = 2\pi
したがって、積分値は 12(0+2π)=π\frac{1}{2} (0 + 2\pi) = \piとなる。

3. 最終的な答え

ππcos(mx)cos(nx)dx={0(mn)π(m=n)\int_{-\pi}^{\pi} \cos(mx) \cos(nx) dx = \begin{cases} 0 & (m \neq n) \\ \pi & (m = n) \end{cases}
あるいは、
ππcos(mx)cos(nx)dx=πδmn\int_{-\pi}^{\pi} \cos(mx) \cos(nx) dx = \pi \delta_{mn}
ここで、δmn\delta_{mn}はクロネッカーのデルタである。
δmn=1\delta_{mn} = 1 (if m=nm=n), δmn=0\delta_{mn} = 0 (if mnm \neq n).

「解析学」の関連問題

与えられた関数 $y = (x^2 - 3x + 1)^7$ の微分を求めます。

微分合成関数連鎖律
2025/7/16

与えられた関数 $y = \frac{x}{\sqrt{x+1}}$ の導関数を求める問題です。

微分導関数商の微分法連鎖律
2025/7/16

与えられた関数 $y = (4x^2 - 5x + 1)e^x$ の導関数 $dy/dx$ を求めます。

導関数微分積の微分法則合成関数の微分連鎖律
2025/7/16

与えられた4つの関数をそれぞれ微分する問題です。 (1) $y = (3x-4)(x^2 + x + 1)$ (2) $y = (x^2 - 2)(x^3 + x)$ (3) $y = (x^2 + ...

微分積の微分公式関数の微分
2025/7/16

問題は、極限 $\lim_{x \to \infty} \left(1 - \frac{1}{x}\right)^x$ を計算することです。

極限指数関数e
2025/7/16

$\lim_{x \to \infty} \frac{2^x + 3^x}{2^x - 3^x}$ を計算する問題です。

極限指数関数関数の極限
2025/7/16

$\lim_{x \to \infty} \frac{\log 2x^2}{\log x}$ の値を求めよ。

極限対数関数関数の極限
2025/7/16

領域 $D = \{(x, y) \mid -1 \le x \le 0, -1 \le y \le 0\}$ 上の曲面 $z = f(x, y) = 2x + 2y$ の面積を求めよ。

曲面面積偏微分重積分
2025/7/16

領域 $D = \{(x, y) ; 0 \le x \le 2, 0 \le y \le 1\}$ 上の曲面 $z = f(x, y) = \sqrt{2x+y}$ の面積を求める問題です。

曲面積重積分偏微分
2025/7/16

問題は、以下の2つの命題を証明することです。 (1) 集合 $S$ が上に有界であることと、$S$ の上界の集合 $U(S)$ が空でないこと ($U(S) \neq \emptyset$) は同値で...

集合有界上界下界同値性証明
2025/7/16