不定積分$\dint e^{-x^2}\,dx$は多項式，三角関数，指数・対数といった初等関数で表せないことが知られていますが，広義積分

の値は計算することができます．

この広義積分はGauss(ガウス)積分やEuler-Poisson(オイラー-ポアソン)積分などと呼ばれており，値が$\sqrt{\pi}$になることが知られています．

一般に$f(x)=Ae^{-(x-\mu)^2/2\sigma^2}$で定まる関数$f(x)$はGauss関数と呼ばれ，確率の分野では正規分布において本質的な関数です．

Gauss積分は$A=1$, $2\sigma^2=1$, $\mu=0$の場合のGauss関数の実数全体での積分というわけですね．

この記事では，Gauss積分の値が$\sqrt{\pi}$になることを極座標変換を用いて計算します．

続きを読む

$5!=5\cdot4\cdot3\cdot2\cdot1$のように，正整数$n$に対して「階乗$n!$」は$n$以下の全ての正整数の積を表します．

そこで実数や複素数に「階乗」を拡張するにはどのように考えればよいでしょうか？

結論から言えば，「階乗の一般化」として「$\Gamma$(ガンマ)関数」とよばれる関数があります．

積分で表される$\Gamma$関数は実数だけでなく，複素数に対しても定義できる場合もあり，様々な場面で用いられます．

この記事では，$\Gamma$関数の基礎を説明します．

続きを読む

Fourie(フーリエ)変換は「関数を波の和で表す」という発想に基づいた変換であり，理工系の様々な分野で重宝されています．

で定まる関数$G:\R\to\R$を(１次元の)Gauss(ガウス)関数(Gaussian/ガウシアン)いいます．

このGauss関数$G$は確率・統計の分野では，平均$\mu$，分散$\sigma^2$の正規分布の確率密度関数としても有名ですね．

さて，Fourier変換を数学的に定義するには，ある程度の条件(可積分性など)が必要で，具体的にはLebesgue可積分であるような関数にはFourier変換を定義することができます．

平均０(すなわち$\mu=0$)のGauss関数はFourier変換を施すことができ，Fourier変換を施しても平均０のGauss関数であるという性質をもちます．

この記事では

• Gauss関数にFourier変換が定義できること
• Gauss関数のFourier変換が再びGauss関数になること

を確かめます．

続きを読む

例えば，「$f(x,y)=x^2+3xy+y^2+1$の最小値」を求めたいとき

を満たす点$(a,b)$を求めることによって，$f(x,y)$が最小値をとる点の候補が得られます．しかし，これが

「$x+y=1$上での$f(x,y)=x^2+3xy+y^2+1$の最小値」

といったように，$x$と$y$に制約(この場合には$x+y=1$)がかかると単純に$f$の偏導関数から最小値を求めることができません．

そこで，曲線や直線上といった「制約条件下」での関数の極値を求めるための方法として，Lagrange(ラグランジュ)の未定乗数法があります．

この記事では，ラグランジュの未定乗数法の直感的な考え方を説明し，具体例から使い方をみます．

続きを読む

求積の方法として「積分」を定義する方法はいくつかありますが，最もシンプルな積分の定義は[Riemann(リーマン)積分]でしょう．

Riemann積分は関数の定義域$I$を細かく分割して，長方形近似から(Riemann和を求めて)求積する方法です．

しかし，実際にRiemann積分を定義から計算しようとすると，Riemann和を求める必要があり計算は面倒です．

そこで，長方形近似を経由せずに簡単に積分を計算する方法が欲しいわけですが，[微分積分法の基本定理]を用いることでRiemann積分は簡単に計算することができます．

なお，高校数学においては「微分の逆演算」として積分を定めるため，この定義によれば[微分積分学の定理]は明らかです(が，連続でない関数に対してこの定義はうまくなく，主に連続関数を扱う高校数学ならではの定義となっています)．

この記事では，[微分積分学の基本定理]について説明します．

続きを読む