■e^x■
この関数は、exp(x)とも書きます。引数の x に1を代入すると、 2.718281828459 となり、e の値になりますね。そして、e^x は、線形1階常微分方程式(dy/dx=y)の解でもありますね。”そう言えば習ったことがある”と言う方も多いと思います。
ここまでは、いいですね。ところで、マクローリン展開とかTaylor series といったものを知っていますか？。関数を x のべき乗の足し算で表す方法です。e^x は、次の様になります。

ここに、!は、階乗を意味します。4!=4X3X2X1 です。そして、e^x は、何回微分しても e^x ですよね。上の式の右辺を微分してみて下さい。すると、元の式なりますね。
次に引数の x が複素数だったらどうでしょう。つまり、e^z と置き、z=x+iy とします。ここに、ii=-1 です。xを実部、iyを虚部と言い、xとyは、実数です。複素数は、2次元のベクトルだと思って下さい。下に例題を示します。ただ、複素数では、掛け算のルールがベクトルのそれ(2つ有る)と異なります。

例えば、上図の A=i という複素数が有ったとします。それに、同じ複素数 A を掛けたらどうなるでしょう。ii=-1 ですから、AA=-1 ですね。上図の B=-1 がそうです。つまり、ベクトル A が 90度 反時計方向に回転したことになります。つまり、複素数では、ベクトルに i を掛けると、そのベクトルは、90度回転します。 さて、話を前にもどし、e^z について考えてみましょう。話を簡単にするために、e^ix を試してみましょう。ii=-1 に注意して計算すると、次の様になりますね。

上の式を見ると、実部が偶関数(指数が偶数)で、虚部が奇関数になっていますね。上の式を見て、”あれー”と声を上げる人がいると思います。そうです、上の式は、下に示す様に、sin(x)とcos(x) なのです。そして、下の式をDe Moivreの定理と言います。

この定理の副産物に三角関数の式があります。例えば、sin(2x) = 2sin(x)cos(x)が有ります。これは、次の様にして導くことが出来ます。まず、e^ixe^ix = e^i2x = cos(2x)+isin(2x)ですよね。確認してみて下さい。さらに、この式は、e^ixe^ix = (cos(x)+isin(x))(cos(x)+isin(x)) とも書けますよね。
展開すると、e^ixe^ix = (cos²(x)-sin²(x))+i2cos(x)sin(x) と書けますね。そして、この式とcos(2x)+isin(2x)を実部と実部そして虚部と虚部を照らし合わせると、次の2つのIdentitiesが生まれます。

関数については、この程度の理解があれば、FEMの勉強には差し支え有りません。
ところで、e^z = e^x (cos(y)+isin(y)) になりますね。