数学

完全反対称テンソルの値と添字について

完全反対称テンソルとは、テンソル解析で出てくる記号の一つである。エディントンのイプシロンやレヴィ・チヴィタの記号と呼ばれることもある。この記号はテンソル解析はもちろんのこと、量子力学や、高級な電磁気学の専門書にもよく出てくる。

この記事では、完全反対称テンソルが具体的にどのような値を取るのかを解説する。

続きを読む

デルタ関数と使用例

[mathjax]

デルタ関数δ(xa)とは、カッコの中が0のときのみ特殊な値になるようなものであり、次のようにして定義される。

f(x)δ(xa)dx=f(a)

このデルタ関数は名前に関数とついているが、正確には関数ではない。そのため、このように積分を使って定義される。

続きを読む

内積・外積の用途

A=(ax,ay,az)B=(bx,by,bz)

内積

AB=axbx+ayby+azbz=|A||B|cosθ

外積

右ねじを意識すれば外積の向きを間違えない。

A×B=|ijkaxayazbxbybz|=i(aybzazby)+j(azbxaxbz)+k(axbyaybx)
|A×B|=|A||B|sinθ

参考:行列式の計算方法

続きを読む

複素積分における積分経路の設定方法

この前は定理によって複素積分を求める方法について記事にしたが、単純に定理にあてはめるだけでは解けない複素積分も存在する。ところが、そのような複素積分でも、自分で積分経路を設定することで解けるようになる。さらに、実数関数の積分を複素積分に拡張して解くこともできる。今回はこれを適用して解ける問題を見てみる。

続きを読む

収束半径とは何か

次のべき級数を考える。

n=0anzn(1)

このべき級数を構成するanzの絶対値をとる。

n=0|an||z|n(2)

このべき級数(2)が収束することを、絶対収束という。そして、べき級数(2)が収束すれば、べき級数(1)も収束するといえる。

収束半径Rとは、べき級数(2)が絶対収束する|z|と発散する|z|の境界を指す。もし|z|<Rならばべき級数(1)は収束し、|z|>Rならばべき級数(1)は発散する。|z|=Rのときはべき級数ごとに収束・発散が異なるため、問題ごとに収束するか発散するか考える必要がある。

続きを読む

ラプラス変換と代数方程式

ラプラス変換とは、下のような変換F(s)を指す。

F(s)=0f(t)estdt

ラプラス変換前の関数f(t)tに依存している関数であるが、ラプラス変換後の関数F(s)sに依存している関数になっている。

続きを読む

定理による複素積分の解き方まとめ

複素積分の解き方は、コーシーの積分定理や留数定理を利用するものや、自分で特定の積分経路を指定するものなど、様々な種類がある。問題を解くときはそれらを適切に使い分けなければいけないが、すべての方法が頭に入っていなければ土俵に上がることすらもできない。この記事では、定理を使う複素積分の解き方のパターンをまとめてみようと思う。

この記事では以前紹介した「正則」という単語が重要になるため、先にコーシー・リーマンの方程式の記事を読むことをお勧めする。

続きを読む

コーシー・リーマンの方程式と正則

複素関数f(z)が範囲D複素微分ができるとき、複素関数f(z)は範囲D正則であるという。

ここで、f(z)=u(x,y)+iv(x,y)(ただしz=x+iyで、かつu(x,y),v(x,y),x,yはすべて実数)とすると、下の2つの方程式をまとめてコーシー・リーマンの方程式と呼ぶ。

u(x,y)x=v(x,y)y

u(x,y)y=v(x,y)x

u(x,y)v(x,y)が上のコーシー・リーマンの方程式を満たすとき、複素関数f(z)は正則であるといえる。
続きを読む

フーリエ変換

フーリエ変換

F(k)=f(x)eikxdx

逆フーリエ変換

f(x)=12πF(k)eikxdk

波が関数f(x)で与えられるとする。それをフーリエ変換すると、波f(x)を波数kの関数F(k)として表すことができる。F(k)は、f(x)に含まれる波を波数kごとに分解して、それぞれの波の大きさを関数として表したものである。フーリエ変換すれば波f(x)F(k)に変換できるし、逆フーリエ変換すればF(k)を波f(x)に変形できる。

続きを読む