物理数学I 解析学
物理数学I > 解析学
解析学

解析学は高校までの数学の延長としてとらえることも出来るが、高校までの数学を厳密に基礎づける科目ととらえることも出来る。例えば、高校までの範囲では数列の極限や関数の連続は厳密には定義されていなかった。解析学ではこのような極限を取る手法を扱う。また、微分や積分に関するより進んだ計算も扱う。ここで学んだ手法は線形代数と並んで、より進んだ計算を行なうための基礎となるので、ここで学ぶ手法には十分習熟する必要がある。
解析学

ここでは、1つの変数を扱う関数を用いて収束や連続性の定義を扱う。また、それらを用いて厳密に定義された手法を用いてテイラー展開やより複雑な積分を導入する。
解析学

最初に、無理数を定義する手法を考える。高校までの範囲では、実数のうちで有理数でないものを無理数と定義した。ここで有理数とは、2つの互いに素の整数n,mを用いて、
解析学

とかかれるもの全体を指す。しかし、この構成ではそもそも実数が何なのかが示されていないため、無理数というものがとらえにくいという難点がある。 ここで、実数の性質について1つの仮定をおく。
解析学

この定義はデデキントの切断(w:en:Dedekind cut)と呼ばれる。このとき、ある実数をその数より小さい有理数の集合によって定義する。この定義は有理数と無理数の両方に対して適用できる。なぜなら、切断で選ばれた点が有理数だったときには、その点自身までの有理数の集合を選んだ有理数を表わす有理数の集合として扱えばよい。一方、切断によって選ばれた点が無理数だったときには、その切断は必ずその近くにある別の数を表わす切断とは区別される。なぜなら、ある数を選んだときその数と別の数の間には必ずある有理数が存在するからである。有理数のこの性質は有理数のw:稠密性と呼ばれ、有理数の重要な性質である。これは、どんな数でも数値として書くならその値はどんな場合でも無限小数で書くことが出来、無限小数はどれほど小さい数でも有理数で書かれ循環小数を含んでいることから確かに成立するのである。このようにして、無理数はその数より小さい有理数全体の集合によってとらえられた。
解析学

ここからは、上で述べた実数の連続性を用いて、数列の収束を定義する。まずは、収束の定義を述べる。任意の(小さい)ある数 ε {\displaystyle \epsilon } をとったとき、あるNが存在してn >= {\displaystyle >=} N を満たす全てのnについて
解析学

が成り立つとき数列 a n {\displaystyle a_{n}} は、定数aに収束するという。
解析学

ここで、実数の連続性は無限にある定数aに近い数がただ1つしかないということを見るために用いられている。これは、ある定数aと異なった点bは、定数aとの間に何らかの有理数を持つため、定数aと無限に近くにあることは出来ない。そのため、数列 | a n − a | {\displaystyle |a_{n}-a|} が、定数aと選んだ点bの距離よりも小さい ε {\displaystyle \epsilon } よりも小さいという条件を満たすとき、 a n {\displaystyle a_{n}} が収束する点は確かに点bではなく、点aであることが 保証されるのである。上の定義は高校までに行なった極限の定義に適合しているはずなので、実際に極限の計算を行なうときには、これまでに用いた結果をそのまま用いてもよい。この定義を用いたとき、以下が成り立つ。
解析学

定数a,bに収束する数列 a n {\displaystyle a_{n}} , b n {\displaystyle b_{n}} に対して、
解析学

(I)
解析学

(II)
解析学

が成り立つ。
解析学

(I)について、数列 a n {\displaystyle a_{n}} がaに収束することから、ある定数 ε 1 {\displaystyle \epsilon _{1}} を取ったとき、ある定数 N 1 {\displaystyle N_{1}} が存在し、 N 1 < n {\displaystyle N_{1}<n} を満たす全てのnについて、
解析学

が成立する。同様に数列 b n {\displaystyle b_{n}} がbに収束することから、ある定数 ε 2 {\displaystyle \epsilon _{2}} を取ったとき、ある定数 N 2 {\displaystyle N_{2}} が存在し、 N 2 < n {\displaystyle N_{2}<n} を満たす全てのnについて、
解析学

が存在する。
解析学

ここで、
解析学

について、
解析学

としたとき、全ての n > N {\displaystyle n>N} を満たす整数nに対して
解析学

を計算すると、この量は三角不等式を用いることで、
解析学

が成り立つ。しかし、 ε 1 {\displaystyle \epsilon _{1}} , ε 2 {\displaystyle \epsilon _{2}} はNを大きく取ることでいくらでも小さくできるため、全ての ε {\displaystyle \epsilon } に対して
解析学

となるような整数Nが存在する。よって、
解析学

が示された。
解析学

(II)
解析学

同様に
解析学

について、
解析学

は、
解析学

となる。ここで、 n > N {\displaystyle n>N} に対しては
解析学

が成り立つことに注目すると、
解析学

が得られる。ここで、 ε 1 {\displaystyle \epsilon _{1}} , ε 2 {\displaystyle \epsilon _{2}} はNを大きく取ることでいくらでも小さくできるため、a,bが有限のときa,bの値に関わらず上の値は限りなく小さくなる。よって、
解析学

が示された。
解析学

次の数列
解析学

の極限値を求めよ。
解析学

(I)
解析学

(II)
解析学

上の結果である
解析学

(I)
解析学

(II)
解析学

を用いればよい。ただし、定数は全てのnに対して同じ数を取る数列として扱う。
解析学

(I)
解析学

は、1は極限値1をとり
解析学

は、極限値0を取ることから、
解析学

となる。
解析学

(II)
解析学

について、2は、極限値2を取り、
解析学

は極限値0を取ることから、
解析学

が成り立つ。一般に定数倍や定数の足し算は、極限値に定数倍や定数の足し算をすればよい。
解析学

次に数列の発散の定義をする。ここでも上の場合と同様無限個の数列の値がある値より大きくなることが重要である。あるNが存在してn ≥ {\displaystyle \geq } N を満たすすべてのnについて任意に取った(大きい)Rに対して、
解析学

が成り立つとき、 a n {\displaystyle a_{n}} はn無限大で正の無限大に発散するという。このことを
解析学

と書かれる。
解析学

数列
解析学

の場合についてこの数列が上の定義を用いたときに正の無限大に発散することを示せ。
解析学

ここでも、Nの選び方が重要である。ここでは、あるRに対して
解析学

と選べばよい。この場合、どのような(大きい)Rを取ったとしても
解析学

を満たすような整数Nを選ぶと、それ以降の全てのnについて
解析学

が成り立つ。値Rはいくらでも大きくできるので、このことは数列の発散の条件を満たしている。よって、数列
解析学

はn無限大で正の無限大へと発散する。
解析学

同じ様にして、 あるNが存在してn ≥ {\displaystyle \geq } N を満たすすべてのnについて任意に取った(小さい)Rに対して、
解析学

が成り立つとき、 a n {\displaystyle a_{n}} はn無限大で負の無限大に発散するという。このことは
解析学

と書かれる。
解析学

このうちのいずれにも当てはまらない場合もある。例えば、次の場合は数列はどの値に収束することもないため、数列は極限値を持たない。
解析学

が上の定義のいずれも満たさないことを示し、この数列が収束も発散もしないことを導出せよ。
解析学

このとき、非常に大きなNを取ったとしても、そのNから先の全てのnについて a n {\displaystyle a_{n}} がきわめてaに近い値に留まるようなaは存在しない。例えば、a = 1と取ったとすると、ある値kにおいて
解析学

となり、両者は非常に近くなる。しかし、n=k+1においては既に、その値は-1となり、
解析学

となり、任意に小さい数 ε {\displaystyle \epsilon } に対してより小さい数であり続けることはできない。これはどれほど大きなkをとっても、もしくはa = -1 もしくはそれ以外の量を選んでも同じである。よって、この数列はn無限大である値に収束することは無い。一方、この数列は1と-1しか値を取らないため、どのような数よりも大きくなるような数列ではない。よって、この数列は正負の無限大に発散することもない。よって、この数列は収束も発散もしないことが示された。
解析学

ある区間 I {\displaystyle I} において定義された関数 f {\displaystyle f} が a ∈ I {\displaystyle a\in I} で連続とは、 どんな ε > 0 {\displaystyle \epsilon >0} についても,ある δ > 0 {\displaystyle \delta >0} が存在して | x − a | < δ {\displaystyle |x-a|<\delta } を満たす全ての x ( ∈ I ) {\displaystyle x(\in I)} について
解析学

が成り立つことである。 区間Iの全ての点で連続のとき、関数fはI上で連続であると呼ぶ。
解析学

n回微分を f ( n ) = ( f ( n − 1 ) ) ′ {\displaystyle f^{(n)}=(f^{(n-1)})'} で定義する。
解析学

ある関数 f(x)について、fが定義された全ての実数について
解析学

が成り立つ。( ξ {\displaystyle \xi } はaとxの間にある,ある実数。)これを発見者にちなんでw:テイラー級数と呼ぶ。これは複雑な関数をべき級数という比較的分かり易い関数で近似することが出来るということを表わす定理である。
解析学

上で述べたテイラー級数はn次までのべき級数によって展開したが、ある性質のいい関数については最後のややこしい項からの寄与が無限に小さくなり、単にその項をよりわかりやすい無限和で置き換えることが出来る。このときテイラー級数は
解析学

と書き換えられるが、これをw:テイラー展開と呼ぶ。テイラー展開は短く
解析学

と書くことが出来る。
解析学

に対してx=0のまわりでのテイラー展開を導出する。
解析学

であることを用いると、テイラー展開の定義の式で
解析学

が得られる。 よって、 e x {\displaystyle e^{x}} のx=0のまわりでのテイラー展開は、
解析学

となる。
解析学

についてテイラー展開を考える。実際には、aが整数の場合にはこの値は通常のべき級数展開に一致する。例えば、
解析学

をx=0のまわりでテイラー展開すると、
解析学

となり、 2次の代数式であるので3階以降の微分は0になることを考慮すると、そのテイラー展開は、
解析学

となり、確かに通常の展開と一致する。
解析学

aが整数でない場合にはこの展開は無限に続く。この展開の係数をaが整数の場合の2項定理の拡張として、
解析学

と定義し、2項定数と呼ぶ場合がある。ここでaは ( 1 + x ) a {\displaystyle (1+x)^{a}} のaであり、nはxについてのn次の項を表わす。この係数を用いると、このテイラー展開は、
解析学

と書くことが出来る。例えば、a= 1/2では、x=0のまわりの展開について
解析学

について、
解析学

が得られることから、2項目までのテイラー展開として、
解析学

が得られる。もちろん根気があればどこまででも値を得ることが出来る。よって、
解析学

が得られる。
解析学

sin x {\displaystyle \sin x} と cos x {\displaystyle \cos x} は微分によって互いに移り変わるのでそのテイラー展開は同時に扱うことが出来る。詳しく計算すると、x = 0のまわりでの展開は
解析学

を得ることが出来る。このとき、この値と、
解析学

のテイラー展開の値を比較した場合、
解析学

の関係が示唆される。この関係は発見者の名にちなんでw:オイラーの公式と呼ばれる。この公式の正当化は複素関数論を使わないとうまくいかないようなのでこの稿の範囲を超えるが、物理数学II以降で扱われる予定である。オイラーの公式を用いると、三角関数を指数関数を用いて表すことができる。具体的には、
解析学

が成り立つ。
解析学

テイラー展開を用いて極限を求めることが出来ることがある。例えば、 x → 0 {\displaystyle x\rightarrow 0} で、
解析学

となる。
解析学

aを実数または ± ∞ {\displaystyle \pm \infty } として
解析学

lim x → a f ( x ) = lim x → a g ( x ) = 0 {\displaystyle \lim _{x\rightarrow a}f(x)=\lim _{x\rightarrow a}g(x)=0}
解析学

または
解析学

lim x → a f ( x ) = lim x → a g ( x ) = ∞ {\displaystyle \lim _{x\rightarrow a}f(x)=\lim _{x\rightarrow a}g(x)=\infty }
解析学

となる微分可能な関数について
解析学

lim x → a f ( x ) g ( x ) = lim x → a f ′ ( x ) g ′ ( x ) {\displaystyle \lim _{x\rightarrow a}{\frac {f(x)}{g(x)}}=\lim _{x\rightarrow a}{\frac {f'(x)}{g'(x)}}} 例えば、 lim x → 0 sin x x = lim x → 0 cos x 1 = 1 {\displaystyle \lim _{x\rightarrow 0}{\frac {\sin x}{x}}=\lim _{x\rightarrow 0}{\frac {\cos x}{1}}=1} となる。
解析学

ある区間を考え、区間を細かく分割する。ここで、ある関数fに対して、分けられた区間でもっとも大きい部分をとり、区間の広さをかけて、足し合わせたものをその関数の上積分と呼ぶ。同様にもっとも小さい部分を取り足し合わせたものを関数の下積分と呼ぶ。上積分と下積分が一致するとき、それをその関数の積分と呼び、fを積分可能と呼ぶ。
解析学

Note:連続な関数は積分可能である。
解析学

例えば関数 f ( x ) = { 1 (xisrational) 0 (xisirrational) {\displaystyle f(x)={\begin{cases}1~{\textrm {(xisrational)}}\\0~{\textrm {(xisirrational)}}\end{cases}}} について区間 0 < x < 1 {\displaystyle 0<x<1} で考えたとき、どんな小さい区間を使って 0 < x < 1 {\displaystyle 0<x<1} を分割したとしても有理数の稠密性により、上積分は1,下積分は0となる。よってfは積分可能でない。
解析学

w:双曲線関数は三角関数と関係の深い一連の関数群である。これらは積分を行うための変数変換で使うことがあるので、ここで導入する。双曲線関数は次の3つの関数である。
解析学

を双曲線関数と呼ぶ。
解析学

これらは関係式
解析学

を満たすが、 x 2 − y 2 = 1 {\displaystyle x^{2}-y^{2}=1} が双曲線の関数表示であることから、この関数は双曲線関数と呼ばれる。上の式は三角関数の対応物である cos 2 x + sin 2 x = 1 {\displaystyle \cos ^{2}x+\sin ^{2}x=1} に類似しているが、この結果は偶然ではない。上のオイラー公式を使った三角関数の式を見ると、 sin i x = i sinh x , cos i x = cosh x , tan i x = i tanh x {\displaystyle \sin ix=i\sinh x,\cos ix=\cosh x,\tan ix=i\tanh x} が得られる。この式を cos 2 x + sin 2 x = 1 {\displaystyle \cos ^{2}x+\sin ^{2}x=1} でx=izとしたものに代入すると、 cosh 2 x − sinh 2 x = 1 {\displaystyle \cosh ^{2}x-\sinh ^{2}x=1} の関係が得られる。
解析学

sin − 1 x {\displaystyle \sin ^{-1}x} を sin x {\displaystyle \sin x} の逆関数とする。これは多価関数であるので通常 − π < y < π {\displaystyle -\pi <y<\pi } の範囲を選んで用いる。 同様に tan − 1 x {\displaystyle \tan ^{-1}x} も − π < y < π {\displaystyle -\pi <y<\pi } の範囲を選んで用いる。一方 cos − 1 x {\displaystyle \cos ^{-1}x} は 0 < y < 2 π {\displaystyle 0<y<2\pi } の範囲を選んで用いる。
解析学

が得られる。
解析学

まず、
解析学

を導出する。 y = sin x {\displaystyle y=\sin x} とする。このとき、
解析学

よって、
解析学

と合わせると、
解析学

となり、2番目の式と、3番目の式をyで積分することで求める式を得る。
解析学

y = tan x {\displaystyle y=\tan x} とおく。
解析学

より、
解析学

となる。よって、
解析学

が得られた。この式の2番目の式と、3番目の式をyで積分することで求める式を得る。
解析学

w:有理関数の積分
解析学

有理関数は必ずw:初等関数を用いて積分できる。
解析学

有理関数の積分は
解析学

の形に書くことが出来る。(P,Qはxの整式。)ここで、次のような手順を実行する。
解析学

このことによって、被積分関数の分母の次数は、上の式の分子の次数より低くなる。割ることであまった部分は必ず、分数でない形になるので(普通の数やx, x 2 {\displaystyle x^{2}} などになる。)積分できる。
解析学

代数式は必ず複素数の範囲で因数分解できることが知られているので、(w:代数学の基本定理) 分母は必ず(x-a)の積の形に書ける。ここで、元々の被積分関数が実数だったとすると、因数分解された式は、必ず、 ( x − a ) ( x − a ∗ ) {\displaystyle (x-a)(x-a^{*})} の形になっているはずである。(*は複素共役)これらの2因数をかけ合わせることにすると、結局これらの式の分母は、1次式か2次式の積で書ける。
解析学

については、
解析学

が得られる。
解析学

か、
解析学

が得られることが分かる。これらは共に初等関数の範囲で積分可能である。実際、上の式は
解析学

を満たすことが分かる。下の式については、まず、分母を平方完成すると、分母は、
解析学

の形になるが、ここで
解析学

の置き換えをすると、元々の積分は、
解析学

となる。ここで、このうちの第1項は、
解析学

が得られ、積分できることが分かる。次に、第2項については
解析学

の置き換えをすると、定数因子を除いて、
解析学

となるが、この積分の結果はこのページの上の方で見た通り、
解析学

となる。
解析学

よって、全ての有理関数は、初等関数の範囲で積分できることが分かった。
解析学

計算例として、
解析学

を実際に計算してみる。 計算を行なうときにはまず、分子の次数が分母の次数よりも低いことを確認する。次に、部分分数分解を行なうが、このときには、
解析学

とおいて計算すればよい。ここで、分母を通分すると、分子は、
解析学

が得られるが、これは元々の式の分子である
解析学

と一致していなくてはならない。よって、
解析学

が得られる。これを解くと、
解析学

が得られる。元の積分は
解析学

に帰着するが、これらの項ははそれぞれ初等関数の範囲で積分できる。実際に積分を行なうと、
解析学

が得られ、上で得た値と一致する。
解析学

関数が有理数だけで書かれない場合、その式はもはや積分が出来るとは限らない。簡単に積分が実行できる場合を挙げる。すぐに積分の仕方が見当たらない場合、それが定積分であったら、数値的に求めることを考えることも必要である。
解析学

で書かれる無理式が含まれ、それ以外の無理式が含まれない場合には、
解析学

の置き換えをすることで、この式を三角関数の積分に置き換えることが出来る。三角関数の積分は、後に述べる通り有理関数の積分に帰着させることが出来るので、この積分は解析的に実行できる。
解析学

で書かれる無理式が含まれ、それ以外の無理式が含まれない場合には、
解析学

の置き換えをすることで、この式を三角関数の積分に置き換えることが出来る。 (
解析学

の関係を用いて、根号を消すことが出来る。 )
解析学

三角関数
解析学

だけを含んだ積分については、
解析学

の置き換えをすることで、これを有理関数の積分に帰着させることができる。実際、
解析学

さらに、
解析学

となり、確かにtについての有理関数に帰着することが分かる。よって、三角関数だけの関数は初等関数の範囲で積分され得ることが分かった。
解析学

(I)
解析学

(II)
解析学

(III)
解析学

(IV)
解析学

をそれぞれ積分せよ。
解析学

(I)
解析学

ここで、この式が
解析学

に等しいとすると、
解析学

両辺が等しいことから、
解析学

となり、
解析学

が得られる。よって始めの式について、
解析学

が得られる。この関数をxで積分すると
解析学

が得られる。 (II)
解析学

ここで、この式が
解析学

に等しいと仮定すると、両辺の分母を比較することで、
解析学

となり、
解析学

が得られる。これを解くと、
解析学

が得られる。よって元の式は、
解析学

となる。更にこの式の第2項について、項の分子を
解析学

と書き換えられる事に注目すると、元の式は
解析学

となる。ここで、この式の1, 2項については、簡単に積分できて、
解析学

が得られる。最後に第3項については、
解析学

が成り立つことに注目すると、 t = 2 x − 1 , d t = 2 d x {\displaystyle t=2x-1,dt=2dx} の置き換えをして、
解析学

が得られる。よって、全体をまとめると積分値として
解析学

が得られる。
解析学

(III)
解析学

(IV)
解析学

としたとき、
解析学

となることを考慮すると、
解析学

となる。別の方法として、
解析学

となるので、両辺を積分して結果を得てもよい。
解析学

多変数で定義された関数fがあるときのある変数のみを対象にした微分、例えば lim h → 0 f ( x 1 + h , . . . , x n ) − f ( x 1 , . . . , x n ) h {\displaystyle \lim _{h\rightarrow 0}{\frac {f(x_{1}+h,...,x_{n})-f(x_{1},...,x_{n})}{h}}} を f x {\displaystyle f_{x}} や ∂ f ∂ x 1 {\displaystyle {\frac {\partial {f}}{\partial {x_{1}}}}} 、 ( ∂ f ∂ x 1 ) x 2 , x 3 . . . {\displaystyle ({\frac {\partial {f}}{\partial {x_{1}}}})_{x_{2},x_{3}...}} と書き偏微分と呼ぶ。
解析学

多変数関数ではあらゆる独立変数による偏微分がすべて0になる点で、関数が最大値または最小値を取ることが期待される。
解析学

例えば f = x 2 + y 2 {\displaystyle f=x^{2}+y^{2}} では、 ∂ f ∂ x = 2 x {\displaystyle {\frac {\partial {f}}{\partial {x}}}=2x} ∂ f ∂ y = 2 y {\displaystyle {\frac {\partial {f}}{\partial {y}}}=2y} であるので、 x = 0 , y = 0 {\displaystyle x=0,y=0} で、極大値または極小値を取ることが期待される。
解析学

2変数関数 f ( x , y ) {\displaystyle f(x,y)} において、点 ( a , b ) {\displaystyle (a,b)} で f x ( a , b ) = f y ( a , b ) = 0 {\displaystyle f_{x}(a,b)=f_{y}(a,b)=0} とする。判別式Dを
解析学

と定義する。
解析学

D > 0 {\displaystyle D>0} のとき
解析学

D < 0 {\displaystyle D<0} のときは、極値はとらない。
解析学

2変数関数 f ( x , y ) {\displaystyle f(x,y)} における全微分は
解析学

と定義される。例えば f ( x , y ) = x 2 + y 2 {\displaystyle f(x,y)=x^{2}+y^{2}} における全微分は
解析学

となる。同様にn変数関数 f ( x 1 , x 2 , ⋯ , x n ) {\displaystyle f(x_{1},x_{2},\cdots ,x_{n})} における全微分は
解析学

と定義される。
解析学

ヘッセ行列は2階偏微分によって作られた行列 H = [ ∂ 2 f ∂ x i x j ( P ) ] {\displaystyle H=\left[{\frac {\partial ^{2}{f}}{\partial x_{i}x_{j}}}(P)\right]} である。
解析学

点Pを、 ∂ f ∂ x 1 ( P ) = ∂ f ∂ x 2 ( P ) = ⋯ ∂ f ∂ x n ( P ) = 0 {\displaystyle {\frac {\partial f}{\partial x_{1}}}(P)={\frac {\partial f}{\partial x_{2}}}(P)=\cdots {\frac {\partial f}{\partial x_{n}}}(P)=0} なる点(w:臨界点)とする。ヘッセ行列のPにおける固有値が全て正であれば、関数は点Pで極小値を持ち、全て負であれば、点Pで極大値を持つ。どちらでもないなら点Pはw:鞍点である。
解析学

例えば、 f = x 2 + y 2 {\displaystyle f=x^{2}+y^{2}} について、臨界点(0,0)におけるヘッセ行列は、 H = ( ∂ 2 f ∂ x 2 ∂ 2 f ∂ x ∂ y ∂ 2 f ∂ y ∂ x ∂ 2 f ∂ y 2 ) {\displaystyle H={\begin{pmatrix}{\frac {\partial ^{2}{f}}{\partial {x}^{2}}}&{\frac {\partial ^{2}f}{\partial x\partial y}}\\{\frac {\partial ^{2}f}{\partial y\partial x}}&{\frac {\partial ^{2}{f}}{\partial {y}^{2}}}\end{pmatrix}}} = ( 2 0 0 2 ) {\displaystyle ={\begin{pmatrix}2&0\\0&2\end{pmatrix}}} となる。固有値は2であるので、点(0,0)はfの極小値である。
解析学

の形で表わされる関数があるとき、
解析学

が存在したとすると、この関数は
解析学

の形に(局所的には)表わすことが出来る。このとき、
解析学

が成り立つ。
解析学

右辺の形は少し妙に見えるかも知れないが例えば、
解析学

(a,bは定数)について考えてみると、上の式は、
解析学

となっており、通常の仕方で見たyの傾きと一致している。
解析学

この定理は結局のところどんな複雑な曲線でも、ある点のすぐ近くに限れば、それはほとんど直線と同じ様になっているということを述べている。
解析学

F(x,y) = 0の形の条件が課せられた中で、
解析学

の最大値を求める問題を考える。このとき
解析学

で新しい関数gを定義し、 ( λ {\displaystyle \lambda } はある定数)
解析学

で与えられる x , y , λ {\displaystyle x,y,\lambda } を計算する。得られた点が極大か極小値を取る点である。
解析学

として、この方法を適用してみる。極値は、(図を書いてみると)
解析学

で現われると期待される。 この式の場合は、
解析学

を代入することで答を得ることもできる。平方完成した形は
解析学

であり、確かに
解析学

で極値を取ることが分かる。未定定数法を用いると
解析学

が得られる。 ここで、
解析学

が得られるが、これはx,y, λ {\displaystyle \lambda } についての連立1次方程式となっている。これを解くと、答は、
解析学

となり、確かに正確な値と一致する。
解析学

複数の文字について積分を行なうときこれを多重積分と呼ぶ。例えば、 ∫∫ f ( x , y ) d x d y {\displaystyle \iint f(x,y)dxdy}
解析学

∫∫ f ( x , y ) d x d y {\displaystyle \iint f(x,y)dxdy} は、 ∫∫ f ( x , y ) d x d y {\displaystyle \iint f(x,y)dxdy} = ∫ d y ( ∫ f d x ) = ∫ d x ( ∫ f d y ) {\displaystyle =\int dy(\int fdx)=\int dx(\int fdy)} で書き変えられる。
解析学

ガウス積分 ∫ − ∞ ∞ e − x 2 d x = π {\displaystyle \int _{-\infty }^{\infty }e^{-x^{2}}dx={\sqrt {\pi }}} の導出。
解析学

また: ∫ − ∞ ∞ e − a x 2 d x {\displaystyle \int _{-\infty }^{\infty }e^{-ax^{2}}dx} の積分は
解析学

となる。
解析学

ガンマ関数は Γ ( t ) = ∫ 0 ∞ x t − 1 e − x d x {\displaystyle \Gamma (t)=\int _{0}^{\infty }x^{t-1}e^{-x}dx} で定義される関数である。
解析学

ベータ関数は B ( p , q ) = ∫ 0 1 x p − 1 ( 1 − x ) q − 1 d x {\displaystyle \mathrm {B} (p,q)=\int _{0}^{1}x^{p-1}(1-x)^{q-1}dx} で定義される関数である。
解析学

∑ n = 1 ∞ 1 n α {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{\alpha }}}} は、 α =< 1 {\displaystyle \alpha =<1} のとき発散し、 α > 1 {\displaystyle \alpha >1} のとき収束する。
解析学

TODO