区間 $[0, 2\pi]$ で定義された2つの関数 $f(t) = \sin t$ と $g(t) = \cos t$ の相互相関関数 $R_{fg}(\tau)$ を求め、規格化しなさい。また、$R_{fg}(\tau)$ から何がわかるか。

解析学積分三角関数相互相関関数フーリエ解析
2025/6/8

1. 問題の内容

区間 [0,2π][0, 2\pi] で定義された2つの関数 f(t)=sintf(t) = \sin tg(t)=costg(t) = \cos t の相互相関関数 Rfg(τ)R_{fg}(\tau) を求め、規格化しなさい。また、Rfg(τ)R_{fg}(\tau) から何がわかるか。

2. 解き方の手順

まず、相互相関関数 Rfg(τ)R_{fg}(\tau) の定義式を記述します。
Rfg(τ)=02πf(t)g(t+τ)dtR_{fg}(\tau) = \int_{0}^{2\pi} f(t)g(t+\tau) dt
ここで、f(t)=sintf(t) = \sin tg(t)=costg(t) = \cos t を代入すると、
Rfg(τ)=02πsintcos(t+τ)dtR_{fg}(\tau) = \int_{0}^{2\pi} \sin t \cos(t+\tau) dt
三角関数の加法定理を用いて、cos(t+τ)\cos(t+\tau) を展開します。
cos(t+τ)=costcosτsintsinτ\cos(t+\tau) = \cos t \cos \tau - \sin t \sin \tau
これをRfg(τ)R_{fg}(\tau)の式に代入すると、
Rfg(τ)=02πsint(costcosτsintsinτ)dtR_{fg}(\tau) = \int_{0}^{2\pi} \sin t (\cos t \cos \tau - \sin t \sin \tau) dt
Rfg(τ)=02πsintcostcosτdt02πsin2tsinτdtR_{fg}(\tau) = \int_{0}^{2\pi} \sin t \cos t \cos \tau dt - \int_{0}^{2\pi} \sin^2 t \sin \tau dt
Rfg(τ)=cosτ02πsintcostdtsinτ02πsin2tdtR_{fg}(\tau) = \cos \tau \int_{0}^{2\pi} \sin t \cos t dt - \sin \tau \int_{0}^{2\pi} \sin^2 t dt
それぞれの積分を計算します。
02πsintcostdt=02π12sin(2t)dt=12[12cos(2t)]02π=12[12(11)]=0\int_{0}^{2\pi} \sin t \cos t dt = \int_{0}^{2\pi} \frac{1}{2} \sin(2t) dt = \frac{1}{2} [-\frac{1}{2} \cos(2t)]_{0}^{2\pi} = \frac{1}{2} [-\frac{1}{2} (1 - 1)] = 0
02πsin2tdt=02π1cos(2t)2dt=[t2sin(2t)4]02π=2π20(00)=π\int_{0}^{2\pi} \sin^2 t dt = \int_{0}^{2\pi} \frac{1 - \cos(2t)}{2} dt = [\frac{t}{2} - \frac{\sin(2t)}{4}]_{0}^{2\pi} = \frac{2\pi}{2} - 0 - (0 - 0) = \pi
したがって、Rfg(τ)R_{fg}(\tau) は次のようになります。
Rfg(τ)=cosτ0sinτπ=πsinτR_{fg}(\tau) = \cos \tau \cdot 0 - \sin \tau \cdot \pi = -\pi \sin \tau
次に、相互相関関数を規格化します。規格化の定義が与えられていないので、ここでは最大値で割ることで規格化します。
Rfg(τ)R_{fg}(\tau)の最大値はπ\piなので、Rfg(τ)R_{fg}(\tau)π\piで割ると規格化された相互相関関数が得られます。
R~fg(τ)=Rfg(τ)π=πsinτπ=sinτ\tilde{R}_{fg}(\tau) = \frac{R_{fg}(\tau)}{\pi} = \frac{-\pi \sin \tau}{\pi} = -\sin \tau
Rfg(τ)R_{fg}(\tau) からは、f(t)f(t)g(t)g(t) の間の位相差がわかります。Rfg(τ)=πsinτR_{fg}(\tau) = -\pi \sin \tau であることより、g(t)g(t)f(t)f(t) に対して位相がπ/2\pi/2進んでいる(つまりg(t)g(t)f(t)f(t)を時間方向にπ/2-\pi/2だけシフトしたもの)という関係がわかります。

3. 最終的な答え

規格化された相互相関関数: R~fg(τ)=sinτ\tilde{R}_{fg}(\tau) = -\sin \tau
Rfg(τ)R_{fg}(\tau)からは、g(t)g(t)f(t)f(t)に対して位相がπ/2\pi/2進んでいることがわかる。

「解析学」の関連問題

問題2は、与えられた関数の指定された点における左極限と右極限を求める問題です。問題3は、与えられた極限を求める問題です。

極限関数の極限片側極限絶対値対数関数tan関数
2025/6/8

次の極限を求める問題です。 (a) $\lim_{x \to \infty} 5^x$ (b) $\lim_{x \to \infty} (\frac{3}{4})^x$ (c) $\lim_{x \...

極限指数関数対数関数
2025/6/8

極限 $\lim_{x \to 1} \frac{x^n - 1}{x - 1}$ を求める。

極限ロピタルの定理二項定理有理化ガウス記号
2025/6/8

与えられた関数 $f(x)$ のマクローリン展開($x=0$ のまわりのテイラー展開)の、0でない最初の3項を求める問題です。関数は以下の3つです。 (a) $f(x) = e^{2x}$ (b) $...

テイラー展開マクローリン展開微分三角関数指数関数
2025/6/8

与えられた4つの関数に対して、3次導関数を求める問題です。具体的には、 (a) $y = x^4 - 2x^3 + 3x^2 - 5$ (b) $y = \sin 3x$ (c) $y = e^{2x...

微分導関数3次導関数指数関数三角関数対数関数多項式
2025/6/8

区間 $[0, 2\pi]$ で定義された二つの関数 $f(t) = \sin t$ と $g(t) = \cos t$ がある。自己相関関数 $R_{ff}(\tau)$ および $R_{gg}(\...

自己相関関数積分三角関数フーリエ解析
2025/6/8

$0 \leq \theta < 2\pi$ のとき、以下の三角関数の方程式と不等式を解きます。 (1) $\sin(\theta - \frac{\pi}{3}) = -\frac{1}{2}$ (...

三角関数三角方程式三角不等式角度
2025/6/8

曲線 $y = \sqrt{x-1}$、直線 $y = 0$、および直線 $y = 1$ で囲まれた領域を $y$ 軸の周りに回転させて得られる立体の体積を求める問題です。

積分体積回転体円盤法
2025/6/8

曲線 $y = \frac{1}{x}$、直線 $y = 1$, $y = 3$, $x = 0$ で囲まれた部分を $y$ 軸の周りに回転してできる立体の体積を求める問題です。

積分回転体の体積定積分関数のグラフ
2025/6/8

$y = \sin x$ ($0 \le x \le \pi$) と $y = 0$ で囲まれた部分を $x$ 軸のまわりに回転してできる立体の体積 $V$ を求める問題です。計算の途中式が一部省略さ...

積分回転体の体積三角関数
2025/6/8