物理数学I > 解析学
解析学は高校までの数学の延長としてとらえることも出来るが、高校までの数学を厳密に基礎づける科目ととらえることも出来る。例えば、高校までの範囲では数列の極限や関数の連続は厳密には定義されていなかった。解析学ではこのような極限を取る手法を扱う。また、微分や積分に関するより進んだ計算も扱う。ここで学んだ手法は線形代数と並んで、より進んだ計算を行なうための基礎となるので、ここで学ぶ手法には十分習熟する必要がある。
ここでは、1つの変数を扱う関数を用いて収束や連続性の定義を扱う。また、それらを用いて厳密に定義された手法を用いてテイラー展開やより複雑な積分を導入する。
最初に、無理数を定義する手法を考える。高校までの範囲では、実数のうちで有理数でないものを無理数と定義した。ここで有理数とは、2つの互いに素の整数n,mを用いて、
![{\displaystyle {\frac {n}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09300332a84d59be1f8d637f0ec4c5f8bc802cd8)
とかかれるもの全体を指す。しかし、この構成ではそもそも実数が何なのかが示されていないため、無理数というものがとらえにくいという難点がある。
ここで、実数の性質について1つの仮定をおく。
- 実数が全て書かれた直線を数直線とする。この数直線上でただ1点に対する切断を考えるとき、その点はその点より小さい数の集合と大きい数の集合を作りだす。このとき、この数自身は小さい数の集合に含まれて、大きい数の集合には含まれないものとする。
この定義はデデキントの切断(w:en:Dedekind cut)と呼ばれる。このとき、ある実数をその数より小さい有理数の集合によって定義する。この定義は有理数と無理数の両方に対して適用できる。なぜなら、切断で選ばれた点が有理数だったときには、その点自身までの有理数の集合を選んだ有理数を表わす有理数の集合として扱えばよい。一方、切断によって選ばれた点が無理数だったときには、その切断は必ずその近くにある別の数を表わす切断とは区別される。なぜなら、ある数を選んだときその数と別の数の間には必ずある有理数が存在するからである。有理数のこの性質は有理数のw:稠密性と呼ばれ、有理数の重要な性質である。これは、どんな数でも数値として書くならその値はどんな場合でも無限小数で書くことが出来、無限小数はどれほど小さい数でも有理数で書かれ循環小数を含んでいることから確かに成立するのである。このようにして、無理数はその数より小さい有理数全体の集合によってとらえられた。
ここからは、上で述べた実数の連続性を用いて、数列の収束を定義する。まずは、収束の定義を述べる。任意の(小さい)ある数
をとったとき、あるNが存在してn
N を満たす全てのnについて
![{\displaystyle |a_{n}-a|<\epsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cc26787f8cc83eed084cd400d38db82c2a0a57f)
が成り立つとき数列
は、定数aに収束するという。
ここで、実数の連続性は無限にある定数aに近い数がただ1つしかないということを見るために用いられている。これは、ある定数aと異なった点bは、定数aとの間に何らかの有理数を持つため、定数aと無限に近くにあることは出来ない。そのため、数列
が、定数aと選んだ点bの距離よりも小さい
よりも小さいという条件を満たすとき、
が収束する点は確かに点bではなく、点aであることが
保証されるのである。上の定義は高校までに行なった極限の定義に適合しているはずなので、実際に極限の計算を行なうときには、これまでに用いた結果をそのまま用いてもよい。この定義を用いたとき、以下が成り立つ。
定数a,bに収束する数列
,
に対して、
(I)
![{\displaystyle \lim(a_{n}+b_{n})=a+b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f7740cb41aa9807e343c0e2fbef90a5ba25807)
(II)
![{\displaystyle \lim(a_{n}\times b_{n})=ab}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dc2d40de4f73dd27aa6da62f96fced61a7f3a54)
が成り立つ。
(I)について、数列
がaに収束することから、ある定数
を取ったとき、ある定数
が存在し、
を満たす全てのnについて、
![{\displaystyle |a_{n}-a|<\epsilon _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34e2db7f9ef2c0ef2c9c0933b47438abfcb52ff7)
が成立する。同様に数列
がbに収束することから、ある定数
を取ったとき、ある定数
が存在し、
を満たす全てのnについて、
![{\displaystyle |b_{n}-b|<\epsilon _{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a010915aee3f45d20ea01e09b0ddb7890fbc5426)
が存在する。
ここで、
![{\displaystyle a_{n}+b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d457ed703a8fd44e6a4efd5a3c82e58d1742f856)
について、
![{\displaystyle N={\textrm {max}}(N_{1},N_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76a56839c289dc794bdda6190f4f81edec7d69dc)
としたとき、全ての
を満たす整数nに対して
![{\displaystyle |a_{n}+b_{n}-(a+b)|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3de7e4c6a8d182966014e564900ee8e01235ef7f)
を計算すると、この量は三角不等式を用いることで、
![{\displaystyle <|a_{n}-a|+|b_{n}-b|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c88c3fe3c2dc06b0fdd71c8ee9a1e7e5e134b25b)
![{\displaystyle <\epsilon _{1}+\epsilon _{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd9895f922a97b9e72e4a16eafa96bb4bdbea838)
が成り立つ。しかし、
,
はNを大きく取ることでいくらでも小さくできるため、全ての
に対して
![{\displaystyle \epsilon _{1}+\epsilon _{2}<\epsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7e1991a10052e7f6bf40beee51aa9f740b54c74)
となるような整数Nが存在する。よって、
![{\displaystyle \lim(a_{n}+b_{n})=a+b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f7740cb41aa9807e343c0e2fbef90a5ba25807)
が示された。
(II)
同様に
![{\displaystyle a_{n}b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b77028fed4402a7e22b99859026e4af77b2565d)
について、
![{\displaystyle |a_{n}b_{n}-ab|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c2dc4840506ba453d8fecf01a004078881cd4a8)
は、
![{\displaystyle =|a_{n}(b_{n}-b)+b(a_{n}-a)|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d911fff20a4000e7577e7b684fd939b92c3b09cd)
![{\displaystyle \leq |a_{n}(b_{n}-b)|+|b||a_{n}-a|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6b38df2dd2bc7236706c2d03ffa177177a76f24)
となる。ここで、
に対しては
![{\displaystyle a-\epsilon _{1}<a_{n}<a+\epsilon _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/214b8c10a6b1a595a0d3ccd0c2573642e73690dc)
が成り立つことに注目すると、
![{\displaystyle <(a+\epsilon _{1})\epsilon _{2}+|b|\epsilon _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/758119f7239b627fd885e646d1438fa364789b3f)
が得られる。ここで、
,
はNを大きく取ることでいくらでも小さくできるため、a,bが有限のときa,bの値に関わらず上の値は限りなく小さくなる。よって、
![{\displaystyle \lim(a_{n}\times b_{n})=ab}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dc2d40de4f73dd27aa6da62f96fced61a7f3a54)
が示された。
次の数列
![{\displaystyle n\rightarrow \infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9702f04f2d0e5b887b99faeeffb0c4cfd8263eee)
の極限値を求めよ。
(I)
![{\displaystyle \lim(1+{\frac {1}{n}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed0f3c64ca6e05b5374862fdd3649888953c26e8)
(II)
![{\displaystyle \lim(2\times {\frac {1}{n}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/549f6a29c557ef3e08e3ef90cc199e3d35640810)
上の結果である
(I)
![{\displaystyle \lim(a_{n}+b_{n})=a+b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f7740cb41aa9807e343c0e2fbef90a5ba25807)
(II)
![{\displaystyle \lim(a_{n}b_{n})=ab}](https://wikimedia.org/api/rest_v1/media/math/render/svg/613eaeeb538aea832dd54200ffc0762d87bc5b1e)
を用いればよい。ただし、定数は全てのnに対して同じ数を取る数列として扱う。
(I)
![{\displaystyle \lim(1+{\frac {1}{n}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed0f3c64ca6e05b5374862fdd3649888953c26e8)
は、1は極限値1をとり
![{\displaystyle {\frac {1}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf0aefecf48d43fdedd71e318ae6129bd67be252)
は、極限値0を取ることから、
![{\displaystyle \lim(1+{\frac {1}{n}})=1+0=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff9b85c1b1ea1192e7e112201947430a80641dd6)
となる。
(II)
![{\displaystyle \lim(2\times {\frac {1}{n}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/549f6a29c557ef3e08e3ef90cc199e3d35640810)
について、2は、極限値2を取り、
![{\displaystyle {\frac {1}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf0aefecf48d43fdedd71e318ae6129bd67be252)
は極限値0を取ることから、
![{\displaystyle \lim(2\times {\frac {1}{n}})=2\times 0=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1d2ddb367387882ef2ed37ba295de8171e46fe3)
が成り立つ。一般に定数倍や定数の足し算は、極限値に定数倍や定数の足し算をすればよい。
次に数列の発散の定義をする。ここでも上の場合と同様無限個の数列の値がある値より大きくなることが重要である。あるNが存在してn
N を満たすすべてのnについて任意に取った(大きい)Rに対して、
![{\displaystyle a_{n}>R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/379550b282587daaa0de784bf8d1cd4f8663bd39)
が成り立つとき、
はn無限大で正の無限大に発散するという。このことを
![{\displaystyle \lim a_{n}=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c5b6f5c0df7e213e21582025b51118322566602)
と書かれる。
- 正の無限大に発散する例
数列
![{\displaystyle a_{n}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eae67f9b6f91a2c763feb1867d662b827b913031)
の場合についてこの数列が上の定義を用いたときに正の無限大に発散することを示せ。
ここでも、Nの選び方が重要である。ここでは、あるRに対して
![{\displaystyle N\geq R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b647ce1569a048544fc7fbede6c6b9edcbd6190)
と選べばよい。この場合、どのような(大きい)Rを取ったとしても
![{\displaystyle N\geq R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b647ce1569a048544fc7fbede6c6b9edcbd6190)
を満たすような整数Nを選ぶと、それ以降の全てのnについて
![{\displaystyle a_{n}=n\geq R=N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf20ccbab20b00cc069ee0e7382674073c248325)
が成り立つ。値Rはいくらでも大きくできるので、このことは数列の発散の条件を満たしている。よって、数列
![{\displaystyle a_{n}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eae67f9b6f91a2c763feb1867d662b827b913031)
はn無限大で正の無限大へと発散する。
同じ様にして、 あるNが存在してn
N を満たすすべてのnについて任意に取った(小さい)Rに対して、
![{\displaystyle a_{n}<R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/147fd31d717d27e7a119571ca053cebb763b2082)
が成り立つとき、
はn無限大で負の無限大に発散するという。このことは
![{\displaystyle \lim a_{n}=-\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/beb53eb40e07de6661eefd310ddf6139de1bd1f3)
と書かれる。
このうちのいずれにも当てはまらない場合もある。例えば、次の場合は数列はどの値に収束することもないため、数列は極限値を持たない。
- ある有限値に収束しない場合
![{\displaystyle a_{n}=(-1)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d28e5e8a3c70cf22978a7407aac090da6d914cdf)
が上の定義のいずれも満たさないことを示し、この数列が収束も発散もしないことを導出せよ。
このとき、非常に大きなNを取ったとしても、そのNから先の全てのnについて
がきわめてaに近い値に留まるようなaは存在しない。例えば、a = 1と取ったとすると、ある値kにおいて
![{\displaystyle a_{n}-a=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/111c0b10a00338e8d09d398f4814f75ee5fea25e)
となり、両者は非常に近くなる。しかし、n=k+1においては既に、その値は-1となり、
![{\displaystyle |a_{n}-a|=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd10fa2da9bf1fb9ea908f93ae9a47dcc3b0a904)
となり、任意に小さい数
に対してより小さい数であり続けることはできない。これはどれほど大きなkをとっても、もしくはa = -1 もしくはそれ以外の量を選んでも同じである。よって、この数列はn無限大である値に収束することは無い。一方、この数列は1と-1しか値を取らないため、どのような数よりも大きくなるような数列ではない。よって、この数列は正負の無限大に発散することもない。よって、この数列は収束も発散もしないことが示された。
ある区間
において定義された関数
が
で連続とは、
どんな
についても,ある
が存在して
を満たす全ての
について
![{\displaystyle |f(x)-f(a)|<\epsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6a53c5f0c32ebbdab6efa42d523a1baf5f2b7f8)
が成り立つことである。
区間Iの全ての点で連続のとき、関数fはI上で連続であると呼ぶ。
n回微分を
で定義する。
ある関数
f(x)について、fが定義された全ての実数について
![{\displaystyle f(x)=f(a)+f'(a)(x-a)+{\frac {1}{2}}f''(a)(x-a)^{2}+...+{\frac {1}{n!}}f^{(n)}(\xi )(x-a)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/056caf652515c4b9631aae3551e62d67df413a85)
が成り立つ。(
はaとxの間にある,ある実数。)これを発見者にちなんでw:テイラー級数と呼ぶ。これは複雑な関数をべき級数という比較的分かり易い関数で近似することが出来るということを表わす定理である。
上で述べたテイラー級数はn次までのべき級数によって展開したが、ある性質のいい関数については最後のややこしい項からの寄与が無限に小さくなり、単にその項をよりわかりやすい無限和で置き換えることが出来る。このときテイラー級数は
![{\displaystyle f(x)=f(a)+f'(a)(x-a)+{\frac {1}{2}}f''(a)(x-a)^{2}+\cdots +{\frac {1}{n!}}f^{(n)}(a)(x-a)^{n}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cdee242cdeeed782f26ce3d45b50d655dbbe087)
と書き換えられるが、これをw:テイラー展開と呼ぶ。テイラー展開は短く
![{\displaystyle f(x)=\sum _{n=0}^{\infty }{\frac {1}{n!}}f^{(n)}(a)(x-a)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40a02079fd190ab758edb778e7676eaec06c491f)
と書くことが出来る。
![{\displaystyle f(x)=e^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd65bb8c6bd27613de9dac411434bc434dcac468)
に対してx=0のまわりでのテイラー展開を導出する。
![{\displaystyle f(x)=f'(x)=f''(x)=\cdots =f^{(n)}(x)=\cdots =e^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14ce4b5d052c3a132f252da4ada70fbc5c1d578d)
であることを用いると、テイラー展開の定義の式で
![{\displaystyle f^{(n)}(a)=f^{(n)}(0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e794cb87bf1a28d0f0c3f917bfe2bf18914f6586)
が得られる。
よって、
のx=0のまわりでのテイラー展開は、
![{\displaystyle e^{x}=\sum _{n}{\frac {1}{n!}}x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0850f29893475008f316fa4ad6e79b58f56b7010)
となる。
![{\displaystyle (1+x)^{a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d69548162495bf09cb318ae63e76c62c3bf8f92)
についてテイラー展開を考える。実際には、aが整数の場合にはこの値は通常のべき級数展開に一致する。例えば、
![{\displaystyle (1+x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01d72fbd33b2704f4712d2d68d2d647f27d6a331)
をx=0のまわりでテイラー展開すると、
![{\displaystyle f(0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00884d9c3ef0dbc18fe185a4444f1da931c8ba0a)
![{\displaystyle f'(0)=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec87162c7801e3b1f1ae46b970e62804eb2614a0)
![{\displaystyle f''(0)=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da16ce436e26ee227a60992c7382b7c5b9cf0ddc)
となり、
2次の代数式であるので3階以降の微分は0になることを考慮すると、そのテイラー展開は、
![{\displaystyle {\begin{matrix}(1+x)^{2}&=1+{\frac {1}{1!}}+2\cdot x+{\frac {1}{2!}}2x^{2}\\&=1+2x+x^{2}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80cd3f74d3a6c024b7954c9cb31265f00f19b380)
となり、確かに通常の展開と一致する。
aが整数でない場合にはこの展開は無限に続く。この展開の係数をaが整数の場合の2項定理の拡張として、
![{\displaystyle {\begin{pmatrix}a\\n\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67e88a2e06d032a946ddbe26a2ac881874a3b067)
と定義し、2項定数と呼ぶ場合がある。ここでaは
のaであり、nはxについてのn次の項を表わす。この係数を用いると、このテイラー展開は、
![{\displaystyle (1+x)^{a}=\sum _{n=0}^{\infty }{\begin{pmatrix}a\\n\end{pmatrix}}x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/326bccc224e23255d572a0216d31e3f72b0eac6e)
と書くことが出来る。例えば、a= 1/2では、x=0のまわりの展開について
![{\displaystyle (1+x)^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/635d18dd085b908a22114b11d23a0b3bad004d02)
について、
![{\displaystyle f(0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00884d9c3ef0dbc18fe185a4444f1da931c8ba0a)
![{\displaystyle f'(0)={\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cc982d59f6bb54efe786f374d5d0bc17352a104)
![{\displaystyle f''(0)=-{\frac {1}{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8678663512ce43b2a901ab09648741b3d9aaa5bf)
が得られることから、2項目までのテイラー展開として、
![{\displaystyle {\begin{matrix}(1+x)^{1/2}&=1+{\frac {1}{2}}x+{\frac {1}{2}}\cdot (-{\frac {1}{4}})x^{2}+\cdots \\&=1+{\frac {1}{2}}x-{\frac {1}{8}}x^{2}+\cdots \end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0015139567c019c768e26215574e7597b85a6611)
が得られる。もちろん根気があればどこまででも値を得ることが出来る。よって、
![{\displaystyle {\begin{pmatrix}1/2\\0\end{pmatrix}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b35121ba50f8971ddf191f3d3d5dd589904d4f2f)
![{\displaystyle {\begin{pmatrix}1/2\\1\end{pmatrix}}=1/2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4747ffc62c097af919cff69b1191c554aa3f548c)
![{\displaystyle {\begin{pmatrix}1/2\\2\end{pmatrix}}=-1/8}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b53b3b03029ee7a37d30b83e92a3cbe372d14971)
が得られる。
と
は微分によって互いに移り変わるのでそのテイラー展開は同時に扱うことが出来る。詳しく計算すると、x = 0のまわりでの展開は
![{\displaystyle \sin x=\sum _{n=1}^{\infty }(-1)^{n}{\frac {1}{(2n-1)!}}x^{2n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/076a77c600c238579b7db022825c05b8d60dff9b)
![{\displaystyle \cos x=\sum _{n=0}^{\infty }(-1)^{n}{\frac {1}{(2n)!}}x^{2n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a6d47c90e866969ec94392e3a621c1c4e3a2f27)
を得ることが出来る。このとき、この値と、
![{\displaystyle e^{ix}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5271aa5bef13f6bd715afeda45bc59ae37d7c6d4)
のテイラー展開の値を比較した場合、
![{\displaystyle e^{ix}=\cos x+i\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4907c0489ab08ce550c7700a1587d4634801dff8)
の関係が示唆される。この関係は発見者の名にちなんでw:オイラーの公式と呼ばれる。この公式の正当化は複素関数論を使わないとうまくいかないようなのでこの稿の範囲を超えるが、物理数学II以降で扱われる予定である。オイラーの公式を用いると、三角関数を指数関数を用いて表すことができる。具体的には、
![{\displaystyle \cos x={\frac {e^{ix}+e^{-ix}}{2}},\sin x={\frac {e^{ix}-e^{-ix}}{2i}},\tan x={\frac {1}{i}}{\frac {e^{ix}-e^{-ix}}{e^{ix}+e^{-ix}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f85feb202aa241d962f349a3d07fe429cceadab4)
が成り立つ。
テイラー展開を用いて極限を求めることが出来ることがある。例えば、
で、
![{\displaystyle {\frac {e^{x}-1}{x}}={\frac {x+x^{2}/2+\cdots }{x}}=1+x/2\rightarrow 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/554fc868d87f32a958877419be8bf056b24c188c)
となる。
aを実数または
として
または
となる微分可能な関数について
例えば、
となる。
ある区間を考え、区間を細かく分割する。ここで、ある関数fに対して、分けられた区間でもっとも大きい部分をとり、区間の広さをかけて、足し合わせたものをその関数の上積分と呼ぶ。同様にもっとも小さい部分を取り足し合わせたものを関数の下積分と呼ぶ。上積分と下積分が一致するとき、それをその関数の積分と呼び、fを積分可能と呼ぶ。
Note:連続な関数は積分可能である。
例えば関数
について区間
で考えたとき、どんな小さい区間を使って
を分割したとしても有理数の稠密性により、上積分は1,下積分は0となる。よってfは積分可能でない。
w:双曲線関数は三角関数と関係の深い一連の関数群である。これらは積分を行うための変数変換で使うことがあるので、ここで導入する。双曲線関数は次の3つの関数である。
![{\displaystyle \sinh x={\frac {e^{x}-e^{-x}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d04165b783b3e1f882a8d31ebe803180ed55f604)
![{\displaystyle \cosh x={\frac {e^{x}+e^{-x}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aadfb8f7ca46307b22bbc2a582eefe7c538f76e7)
![{\displaystyle \tanh x={\frac {\sinh x}{\cosh x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b4f63c14c324bca1dc9a5c026b85b5d22705836)
を双曲線関数と呼ぶ。
- それぞれのグラフ
これらは関係式
![{\displaystyle \cosh ^{2}x-\sinh ^{2}x=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a3b3860fa2f9cdd7507e5462482d9b8a0916e5f)
を満たすが、
が双曲線の関数表示であることから、この関数は双曲線関数と呼ばれる。上の式は三角関数の対応物である
に類似しているが、この結果は偶然ではない。上のオイラー公式を使った三角関数の式を見ると、
が得られる。この式を
でx=izとしたものに代入すると、
の関係が得られる。
を
の逆関数とする。これは多価関数であるので通常
の範囲を選んで用いる。
同様に
も
の範囲を選んで用いる。一方
は
の範囲を選んで用いる。
![{\displaystyle \int dx{\frac {1}{\sqrt {1-x^{2}}}}={\textrm {Arcsin}}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a40cf4a9a399a34c0704aa430473bf8e22b6faad)
![{\displaystyle \int dx{\frac {1}{1+x^{2}}}={\textrm {Arctan}}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a36145519b1c72db75916fa55f59d412a6a393f)
が得られる。
まず、
![{\displaystyle \int dx{\frac {1}{\sqrt {1-x^{2}}}}={\textrm {Arcsin}}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a40cf4a9a399a34c0704aa430473bf8e22b6faad)
を導出する。
とする。このとき、
![{\displaystyle {\frac {d{y}}{d{x}}}=\cos x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11e58b554b355ddd3f85a45b9e589d415a28232c)
![{\displaystyle {\begin{matrix}{\frac {d{x}}{d{y}}}&={\frac {1}{\cos x}}\\&={\frac {1}{\sqrt {1-(\sin x)^{2}}}}\\&={\frac {1}{\sqrt {1-y^{2}}}}\\\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22bd10886c17eb5ab51819d638bd71202f7596bf)
よって、
![{\displaystyle x=\sin ^{-1}y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15a943484910da9d5808f6ce1ce4dd5d2c788659)
と合わせると、
![{\displaystyle {\frac {d{x}}{d{y}}}={\frac {d(\sin ^{-1}y)}{dy}}={\frac {1}{\sqrt {1-y^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1fe8638b2ddde7eb826bc71c29efd7cbc621c21)
となり、2番目の式と、3番目の式をyで積分することで求める式を得る。
とおく。
![{\displaystyle {\frac {d{y}}{d{x}}}={\frac {1}{\cos ^{2}x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06a3ed6c3a92f39e06a1a964e77d3b141877c4dd)
より、
![{\displaystyle {\begin{matrix}{\frac {d{x}}{d{y}}}&=\cos ^{2}x\\&={\frac {1}{1+\tan ^{2}x}}\\&={\frac {1}{1+y^{2}}}\\\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4817b829589bebdaf2ef9c31b25d342f8544bd5d)
となる。よって、
![{\displaystyle {\frac {d{x}}{d{y}}}={\frac {d(\tan ^{-1}y)}{dy}}={\frac {1}{1+y^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da311f65fb650c16f577f9d0d8f005d647f3fbae)
が得られた。この式の2番目の式と、3番目の式をyで積分することで求める式を得る。
w:有理関数の積分
有理関数は必ずw:初等関数を用いて積分できる。
有理関数の積分は
![{\displaystyle \int dx{\frac {P(x)}{Q(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27ddf0c01063b2e84056c30c07e71e16b008afd3)
の形に書くことが出来る。(P,Qはxの整式。)ここで、次のような手順を実行する。
- 上の式の次数が下の式の次数より高かったら、上の式を下の式で割る。
このことによって、被積分関数の分母の次数は、上の式の分子の次数より低くなる。割ることであまった部分は必ず、分数でない形になるので(普通の数やx,
などになる。)積分できる。
代数式は必ず複素数の範囲で因数分解できることが知られているので、(w:代数学の基本定理)
分母は必ず(x-a)の積の形に書ける。ここで、元々の被積分関数が実数だったとすると、因数分解された式は、必ず、
の形になっているはずである。(*は複素共役)これらの2因数をかけ合わせることにすると、結局これらの式の分母は、1次式か2次式の積で書ける。
![{\displaystyle {\frac {1}{(x^{2}-1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29e2fdc5e8661118348c1126409e0a39c3e17b44)
については、
![{\displaystyle {\begin{matrix}=&{\frac {1}{(x-1)(x+1)}}\\=&{\frac {1}{2}}({\frac {1}{x-1}}-{\frac {1}{x+1}})\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82376d6b3191042a06b1dcf753c8686104d01cda)
が得られる。
![{\displaystyle \int {\frac {1}{x-a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/082a6a91b01f9d135d774d40c2e4ede1fb8c4122)
か、
![{\displaystyle \int {\frac {x-b}{cx^{2}+dx+e}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ea5eb22e495fa96146c37d3b5905ca86d93acb1)
が得られることが分かる。これらは共に初等関数の範囲で積分可能である。実際、上の式は
![{\displaystyle \int {\frac {1}{x-a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/082a6a91b01f9d135d774d40c2e4ede1fb8c4122)
![{\displaystyle =\ln |x-a|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21c4ad810bc4f952392e8bf552e9fb5d69ca3447)
を満たすことが分かる。下の式については、まず、分母を平方完成すると、分母は、
![{\displaystyle c(x-\alpha )^{2}+\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc0edbea918646fe94d007ddf810f157f96aff1f)
の形になるが、ここで
![{\displaystyle y=x-\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/83450075ed675e1c01339d396adf7107ab70e322)
の置き換えをすると、元々の積分は、
![{\displaystyle \int {\frac {y+f}{y^{2}+g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6fc109acd4d3287d4f1b1d39eae2bf3991efb80)
となる。ここで、このうちの第1項は、
![{\displaystyle {\begin{matrix}\int {\frac {y}{y^{2}+g}}dy\\=&\int {\frac {1}{2}}{\frac {1}{y^{2}+g}}dy^{2}\\=&{\frac {1}{2}}\ln(y^{2}+g)\\\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ee60ae360963385030640e80a95a91b38f3fc47)
が得られ、積分できることが分かる。次に、第2項については
![{\displaystyle z={\sqrt {g}}y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99be059e3e5191b97c098c9b88a3b15fecb83818)
の置き換えをすると、定数因子を除いて、
![{\displaystyle \int {\frac {1}{z^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e69edc0d511387c49f71f416c2c939137af0e84)
となるが、この積分の結果はこのページの上の方で見た通り、
![{\displaystyle =\tan ^{-1}z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d1006962356d07e142cbf000984cb31150af8e9)
となる。
よって、全ての有理関数は、初等関数の範囲で積分できることが分かった。
計算例として、
![{\displaystyle \int dx{\frac {x+3}{(x+2)(x^{2}+1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e30db2250c1d68303cec713ca715dc1fa4f2afcc)
を実際に計算してみる。
計算を行なうときにはまず、分子の次数が分母の次数よりも低いことを確認する。次に、部分分数分解を行なうが、このときには、
![{\displaystyle {\frac {A}{x+2}}+{\frac {Bx+C}{x^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38ff514c96f45b3f70daa1697292a51b7f0c0088)
とおいて計算すればよい。ここで、分母を通分すると、分子は、
![{\displaystyle (A+B)x^{2}+(2B+C)x+A+2C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd095c289f76b26c169be232e3cbe366a42c713d)
が得られるが、これは元々の式の分子である
![{\displaystyle x+3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8b799ed61638e20ff904ab2b65a8564f4e27a1f)
と一致していなくてはならない。よって、
![{\displaystyle {\begin{matrix}A+B=0\\A+2C=3\\2B+C=1\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96e8381627be3af6c88a10fbc50339b2636851ac)
が得られる。これを解くと、
![{\displaystyle A={\frac {1}{5}},B=-{\frac {1}{5}},C={\frac {7}{5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21b9dfaa9365bff28fd66a58fb77fe98a4217b58)
が得られる。元の積分は
![{\displaystyle \int dx({\frac {1}{5}}\cdot {\frac {1}{x+2}}+{\frac {{\frac {-1}{5}}x+{\frac {7}{5}}}{x^{2}+1}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9db19f0ac2996a5dd584619904cb45f7449b1f6)
に帰着するが、これらの項ははそれぞれ初等関数の範囲で積分できる。実際に積分を行なうと、
![{\displaystyle \int dx({\frac {1}{5}}\cdot {\frac {1}{x+2}}+{\frac {{\frac {-1}{5}}x+{\frac {7}{5}}}{x^{2}+1}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9db19f0ac2996a5dd584619904cb45f7449b1f6)
![{\displaystyle ={\frac {1}{5}}\ln(x+2)-{\frac {1}{10}}\ln(x^{2}+1)+{\frac {7}{5}}\tan ^{-1}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02243f4eebd14d8ae264f8a83e58d01f025e4c61)
が得られ、上で得た値と一致する。
関数が有理数だけで書かれない場合、その式はもはや積分が出来るとは限らない。簡単に積分が実行できる場合を挙げる。すぐに積分の仕方が見当たらない場合、それが定積分であったら、数値的に求めることを考えることも必要である。
の場合。
![{\displaystyle {\sqrt {1-x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/875fba356d7f4befcacf6573012100b3ef95cd19)
で書かれる無理式が含まれ、それ以外の無理式が含まれない場合には、
![{\displaystyle x=\sin t~{\textrm {or}}~x=\cos t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4be00360a6b82d162084ecb3686068c1410b2bf6)
の置き換えをすることで、この式を三角関数の積分に置き換えることが出来る。三角関数の積分は、後に述べる通り有理関数の積分に帰着させることが出来るので、この積分は解析的に実行できる。
の場合。
![{\displaystyle {\sqrt {1+x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/728fa9a3b2dfecff9948c11fa88df510e7014c97)
で書かれる無理式が含まれ、それ以外の無理式が含まれない場合には、
![{\displaystyle x=\sinh t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82e039946ff12c273717e0b3ec714a01ecfb8d8e)
の置き換えをすることで、この式を三角関数の積分に置き換えることが出来る。
(
![{\displaystyle \cosh ^{2}x=1+\sinh ^{2}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d53dfef333dce5955251724c5a571284b937e9cf)
の関係を用いて、根号を消すことが出来る。
)
三角関数
![{\displaystyle \sin x,\cos x,\tan x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4458d887dbbce44675ca15a5f749d13419d018b7)
だけを含んだ積分については、
![{\displaystyle \tan(x/2)=t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e44bdedb482e0da43f62bcb5f288c4d24bd5e817)
の置き換えをすることで、これを有理関数の積分に帰着させることができる。実際、
![{\displaystyle {\begin{matrix}\sin x=&2\sin {\frac {x}{2}}\cos {\frac {x}{2}}\\=&2\tan {\frac {x}{2}}\cos ^{2}{\frac {x}{2}}\\=&{\frac {2\tan {\frac {x}{2}}}{1+\tan ^{2}{\frac {x}{2}}}}\\=&{\frac {2t}{1+t^{2}}}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72d138f2c3ac85fdf09f9c45fa66d255fe20ebb4)
![{\displaystyle {\begin{matrix}\cos x&=2\cos ^{2}{\frac {x}{2}}-1\\&=2{\frac {1}{1+t^{2}}}-1\\&=2{\frac {1-t^{2}}{1+t^{2}}}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2442ceea14a62bf5f9197793015e02e870975df)
![{\displaystyle {\begin{matrix}\tan x&={\frac {\sin x}{\cos x}}\\&={\frac {2t}{1-t^{2}}}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4248c99cc7cfecc9cc67cfd0ece0b35995ea0d5a)
さらに、
![{\displaystyle dx=d(2\tan ^{-1}t)=2{\frac {dt}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/036ae1b6b9e50716296f660156a2f69823fd5745)
となり、確かにtについての有理関数に帰着することが分かる。よって、三角関数だけの関数は初等関数の範囲で積分され得ることが分かった。
(I)
![{\displaystyle {{x+2} \over {x^{2}+5\,x+4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be5ec7f2d945934e3c7d136eeaa2c05d55f9b322)
(II)
![{\displaystyle {{x^{2}+3\,x+3} \over {2\,x^{3}-x+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a575a0c37b51efc9c939cf3b656de82006ad120d)
(III)
![{\displaystyle {{\sin x} \over {\cos ^{2}x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be6e1c0138758f8ebc4da1bb8248914c5183abbc)
(IV)
![{\displaystyle \int dx{\frac {1}{1+\sin x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57ed8e70df72f9d1197c30fa273515d652390e42)
をそれぞれ積分せよ。
(I)
![{\displaystyle {\frac {x+2}{x^{2}+5x+4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/944975f69974a9940fe11e7f292505868156c838)
![{\displaystyle ={\frac {x+2}{(x+4)(x+1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/741e5a4400cd953fbc03292d034958ecd4597312)
ここで、この式が
![{\displaystyle {\frac {A}{x+4}}+{\frac {B}{x+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d99cbc2b80055f1d5fc7134e035432caf5cfdb1)
に等しいとすると、
![{\displaystyle {\frac {x+2}{(x+4)(x+1)}}={\frac {1}{(x+4)(x+1)}}(A(x+1)+B(x+4))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1bfd19e44d40c39494e9cedbd19b6a0e8921e40)
両辺が等しいことから、
![{\displaystyle A+B=1,A+4B=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fede35e0fbe09d45add877c9397f74a09d11b11a)
となり、
![{\displaystyle B={\frac {1}{3}},A={\frac {2}{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2143e226a53f781159533744ac10d9238ed6122f)
が得られる。よって始めの式について、
![{\displaystyle {\frac {x+2}{x^{2}+5x+4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/944975f69974a9940fe11e7f292505868156c838)
![{\displaystyle ={\frac {1}{3}}{\frac {1}{x+1}}+{\frac {2}{3}}{\frac {1}{x+4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/857f282b1b89c49f333ff9567a9293b12829994a)
が得られる。この関数をxで積分すると
![{\displaystyle {\frac {1}{3}}\ln(x+1)+{\frac {2}{3}}\ln(x+4)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ff690af898a42c4a1ef497f74593c12213523c5)
が得られる。
(II)
![{\displaystyle {\frac {x^{2}+3x+3}{2x^{3}-x+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72c51a2195c0ee1a35b020fff0e18fcaba600189)
![{\displaystyle ={\frac {x^{2}+3x+3}{(x+1)(2x^{2}-2x+1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f339b90f3b8a21ee95d82994a1dffb4c65c08553)
ここで、この式が
![{\displaystyle {\frac {A}{x+1}}+{\frac {Bx+C}{2x^{2}-2x+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0d6131c604a2d1341dc512ec2c17550d0729c2)
に等しいと仮定すると、両辺の分母を比較することで、
![{\displaystyle x^{2}+3x+3=A(2x^{2}-2x+1)+(Bx+c)(x+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba878b53d6c231e5d3f2b5dd47fe9b733e0636b9)
となり、
![{\displaystyle 2A+B=1,-2A+B+C=3,A+C=3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/315e8b647336b047cfe34a5179ca46dab78fe353)
が得られる。これを解くと、
![{\displaystyle A={\frac {1}{5}},B={\frac {3}{5}},C={\frac {14}{5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99ed1775c674b10cb54c470304bcb1a178788a98)
が得られる。よって元の式は、
![{\displaystyle {\frac {1}{5}}{\frac {1}{x+1}}+{\frac {{\frac {3}{5}}x+{\frac {14}{5}}}{2x^{2}-2x+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2073a18bf90cbbad62c52304855e3891919ca91b)
となる。更にこの式の第2項について、項の分子を
![{\displaystyle {\frac {3}{5}}(2x^{2}-2x+1)'{\frac {1}{4}}+{\frac {3}{20}}\cdot 2+{\frac {14}{5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73986c51b49d0c5c06779296905c23af9a432103)
![{\displaystyle ={\frac {3}{20}}(2x^{2}-2x+1)'+{\frac {31}{10}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/573156d3a0e6a28534077bd3eaf5f3070325bc6f)
と書き換えられる事に注目すると、元の式は
![{\displaystyle {\frac {1}{5}}{\frac {1}{x+1}}+{\frac {{\frac {3}{20}}(2x^{2}-2x+1)'}{2x^{2}-2x+1}}+{\frac {31}{10}}{\frac {1}{2x^{2}-2x+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee05dc09550d6538579fd94e64f1a7ada4c55418)
となる。ここで、この式の1, 2項については、簡単に積分できて、
![{\displaystyle {\frac {1}{5}}\ln(x+1)+{\frac {3}{20}}\ln(2x^{2}-2x+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2acff3c67a6038b91ebedd29e4bec41911c0cec6)
が得られる。最後に第3項については、
![{\displaystyle {\frac {1}{2x^{2}-2x+1}}={\frac {2}{(2x-1)^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/247bf658689d0f0b9568358710441e1c61ae9d34)
が成り立つことに注目すると、
の置き換えをして、
![{\displaystyle \int dx{\frac {2}{(2x-1)^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61ba84c56af1ca797968f7bc555f69f917287fe4)
![{\displaystyle =\int dt{\frac {1}{t^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46e707ec05cf81986d7477231b0cf3ae19b86677)
![{\displaystyle ={\textrm {Arctan}}t={\textrm {Arctan}}(2x-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bd86223fd24995b807ae931af41396c1f76296a)
が得られる。よって、全体をまとめると積分値として
![{\displaystyle {\frac {1}{5}}\ln(x+1)+{\frac {3}{20}}\ln(2x^{2}-2x+1)+{\frac {31}{10}}{\textrm {Arctan}}(2x-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91d50bd94b47b0d8398441660cf39d15506dd7bf)
が得られる。
(III)
![{\displaystyle \int {\frac {\sin x}{\cos ^{2}x}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/968f93c284e10b7e5f130bcb64fbd2d9e76ab817)
![{\displaystyle =-\int {\frac {1}{\cos ^{2}x}}d(\cos x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b26a7636480bf4aabbda0aa2b342222785fda58)
![{\displaystyle ={\frac {1}{\cos x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da60b2da185203552268d330b60a86fc363c9f06)
(IV)
![{\displaystyle t=\tan({\frac {x}{2}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/874bcfd2baa55f6e41d1c457017d9ad7f3f370c5)
としたとき、
![{\displaystyle dx={\frac {2dt}{1+t^{2}}},\sin x={\frac {2t}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d05124049efce67b67aa25e5f51a66372cf7720)
となることを考慮すると、
![{\displaystyle \int dx{\frac {1}{1+\sin x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57ed8e70df72f9d1197c30fa273515d652390e42)
![{\displaystyle =\int {\frac {1}{1+{\frac {2t}{1+t^{2}}}}}{\frac {2dt}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2331975be3b00aa100f920fa118bec57563d6245)
![{\displaystyle =\int dt{\frac {2}{(1+t)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d99d1a0f609fb5c7abbd879d23f8f58bf30a197e)
![{\displaystyle =-{\frac {2}{1+t}}={\frac {-2}{1+\tan({\frac {x}{2}})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b586e0b26f5e40b1ea6b488bebbff1e5295b14d)
となる。別の方法として、
![{\displaystyle {\frac {1}{1+\sin x}}={\frac {1}{1+2\sin {\frac {x}{2}}\cos {\frac {x}{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/299252f6ae457e0e44a684c252598c72cf28d260)
![{\displaystyle ={\frac {1}{(\sin {\frac {x}{2}}+\cos {\frac {x}{2}})^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/822e4d351dcae0ff9d26d17e30b05ef4f4f7fb30)
![{\displaystyle ={\frac {1}{1+\tan {\frac {x}{2}}}}{\frac {1}{\cos ^{2}{\frac {x}{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fa15d79c46f25ab28fca90bcbe145ad39c6765a)
![{\displaystyle ={\frac {d}{dx}}({\frac {1}{1+\tan {\frac {x}{2}}}})(-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ad6160f9c56677a5353a4321df3ec7975f2fcc0)
となるので、両辺を積分して結果を得てもよい。
多変数で定義された関数fがあるときのある変数のみを対象にした微分、例えば
を
や
、
と書き偏微分と呼ぶ。
多変数関数ではあらゆる独立変数による偏微分がすべて0になる点で、関数が最大値または最小値を取ることが期待される。
例えば
では、
であるので、
で、極大値または極小値を取ることが期待される。
2変数関数
において、点
で
とする。判別式Dを
![{\displaystyle D=f_{xx}(a,b)f_{yy}(a,b)-f_{xy}(a,b)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b19d50d5065f8461126adf4747718793e6845287)
と定義する。
のとき
ならば、関数
は点
で極小値をとり
ならば、関数
は点
で極大値をとる。
のときは、極値はとらない。
2変数関数
における全微分は
![{\displaystyle df={\frac {\partial {f}}{\partial {x}}}dx+{\frac {\partial {f}}{\partial {y}}}dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0043205febae6f16b592176b1e37132e5a0bde3c)
と定義される。例えば
における全微分は
![{\displaystyle df=2xdx+2ydy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cd5395f41e61ab6d776a4f91888c47a9a0dab11)
となる。同様にn変数関数
における全微分は
![{\displaystyle df={\frac {\partial {f}}{\partial {x_{1}}}}dx_{1}+{\frac {\partial {f}}{\partial {x_{2}}}}dx_{2}+\cdots +{\frac {\partial {f}}{\partial {x_{n}}}}dx_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63d28dac46f4c772012442085d676251a1e5f74f)
と定義される。
ヘッセ行列は2階偏微分によって作られた行列
である。
点Pを、
なる点(w:臨界点)とする。ヘッセ行列のPにおける固有値が全て正であれば、関数は点Pで極小値を持ち、全て負であれば、点Pで極大値を持つ。どちらでもないなら点Pはw:鞍点である。
例えば、
について、臨界点(0,0)におけるヘッセ行列は、
となる。固有値は2であるので、点(0,0)はfの極小値である。
![{\displaystyle F(x,y)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c910dd64922e23f212bc46e970af0540811c48f2)
の形で表わされる関数があるとき、
![{\displaystyle {\frac {\partial {F}}{\partial {y}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c79b97e5b545707ad39eeb0a561fceec62496c9)
が存在したとすると、この関数は
![{\displaystyle y=y(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c66fc1db874a7395b28e294c7db30f51bcd8df20)
の形に(局所的には)表わすことが出来る。このとき、
![{\displaystyle y'=-{\frac {\frac {\partial {F}}{\partial {x}}}{\frac {\partial {F}}{\partial {y}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a2a4853e79cf2f52fefced00410c0ac83a45b33)
が成り立つ。
右辺の形は少し妙に見えるかも知れないが例えば、
![{\displaystyle F(x,y)=ax+by}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e44a3ce283c98d3ac4e16107ed2fed8bdc9bad9)
(a,bは定数)について考えてみると、上の式は、
![{\displaystyle y'=-{\frac {a}{b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ccc123103ab6be1cda7607ba36ad89e4eb277e0)
となっており、通常の仕方で見たyの傾きと一致している。
この定理は結局のところどんな複雑な曲線でも、ある点のすぐ近くに限れば、それはほとんど直線と同じ様になっているということを述べている。
F(x,y) = 0の形の条件が課せられた中で、
![{\displaystyle z=f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1eefb2840000f404c8c0f3f5d6d72f2624854591)
の最大値を求める問題を考える。このとき
![{\displaystyle g=f+\lambda F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb9f9740766cd15f9ae69f51657b8f5953a70564)
で新しい関数gを定義し、
(
はある定数)
![{\displaystyle {\frac {\partial {g}}{\partial {x}}}={\frac {\partial {g}}{\partial {y}}}={\frac {\partial {g}}{\partial {\lambda }}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9702865b6af9488a421d4dfe57bfedc757fba05e)
で与えられる
を計算する。得られた点が極大か極小値を取る点である。
![{\displaystyle z=x^{2}+y^{2},F=x+y-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9713c0943af1056a2381a334d7f16440406a8266)
として、この方法を適用してみる。極値は、(図を書いてみると)
![{\displaystyle x=y={\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a051cb7544960bc9ed5cdb35e85f45edcd54a90)
で現われると期待される。
この式の場合は、
![{\displaystyle y=-x+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b859d39c55756d8f08797b8807ef9fa5dd6e6cf)
を代入することで答を得ることもできる。平方完成した形は
![{\displaystyle z=2(x-{\frac {1}{2}})^{2}+{\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0d5794d1d1e897739b772f8589bce1833426485)
であり、確かに
![{\displaystyle x=y={\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a051cb7544960bc9ed5cdb35e85f45edcd54a90)
で極値を取ることが分かる。未定定数法を用いると
![{\displaystyle g=f+\lambda F=x^{2}+y^{2}+\lambda (x+y-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19c0e4bc2b5e71c27254622ff74687985a9f86b2)
が得られる。
ここで、
![{\displaystyle {\frac {\partial {g}}{\partial {\lambda }}}=x+y-1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d7df454cf88e5e2bea6d47f6933c2b21ce06947)
![{\displaystyle {\frac {\partial {g}}{\partial {x}}}=2x+\lambda =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aae3bd65da90c0ef5ec6a2abcb8af087b2cecc45)
![{\displaystyle {\frac {\partial {g}}{\partial {y}}}=2y+\lambda =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c706a094cc22e7a78e8d5c9704d887fb2c227b7)
が得られるが、これはx,y,
についての連立1次方程式となっている。これを解くと、答は、
![{\displaystyle \lambda =1,x=y={\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1062b740d532bdedee64dcf39693da0809beff0c)
となり、確かに正確な値と一致する。
複数の文字について積分を行なうときこれを多重積分と呼ぶ。例えば、
は、
で書き変えられる。
ガウス積分
の導出。
とおくと、
(
)
(直交座標から極座標に変換、
、
)
![{\displaystyle =\int _{0}^{\infty }re^{-r^{2}}dr\int _{0}^{2\pi }d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/60d6c1ff6cfb4f2e61e40fe9c4ce78bfdbdd004c)
![{\displaystyle ={\frac {1}{2}}\times 2\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/203ec108f0b5d0a493bbd7381e549094ff689c0f)
![{\displaystyle =\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0759d9c2f2976ba75b97d61796cbf29e5cd4071c)
![{\displaystyle I=\int _{-\infty }^{\infty }e^{-x^{2}}dx={\sqrt {\pi }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1af1b89c8ff03bce330e4a06160c80c9fbc824a5)
また:
の積分は
(
と置いて置換積分)
![{\displaystyle ={\frac {1}{\sqrt {a}}}\int _{-\infty }^{\infty }e^{-t^{2}}dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e4646db4188b13cf01dbbeda9a4af6e5cd342c1)
![{\displaystyle ={\sqrt {\frac {\pi }{a}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e6bec4f2255ee652c7df5794e3400e3dfd558f)
となる。
ガンマ関数は
で定義される関数である。
- ガンマ関数の基本公式
![{\displaystyle \Gamma (t+1)=t\Gamma (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c43e0da4955a2fe651b64f9734f6ac435ee28583)
(nは自然数)
![{\displaystyle \Gamma \left({\frac {1}{2}}\right)={\sqrt {\pi }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5ac6905c6c05893d902c46e383804bc9b61181a)
ベータ関数は
で定義される関数である。
- ベータ関数の基本公式
![{\displaystyle \mathrm {B} (q,p)=\mathrm {B} (p,q)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edcce713b5a1a7ea14f2b61352095b4e93ce9db4)
![{\displaystyle \mathrm {B} (p+1,q)={\frac {p}{q}}\mathrm {B} (p,q+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2084741e8a761ac49bc081c4ad8d3691d86ce56)
![{\displaystyle \mathrm {B} (p,q+1)={\frac {q}{p}}\mathrm {B} (p+1,q)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efdd7f363ebbf5e14cf779449e0f645f1b9489cd)
![{\displaystyle \mathrm {B} (p+1,q)={\frac {p}{p+q}}\mathrm {B} (p,q)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58eff07364d921a6114a2becee7687d15545da9f)
![{\displaystyle \mathrm {B} (p,q+1)={\frac {q}{p+q}}\mathrm {B} (p,q)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9681f6cfae2e69efb037106b0e133abaaf8bf6b0)
![{\displaystyle \mathrm {B} (p,q)=2\int _{0}^{\frac {\pi }{2}}\sin ^{2p-1}\theta \cos ^{2q-1}\theta d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2013cf826136e9c12446cb11d2078aab3fe2aaf7)
![{\displaystyle \int _{0}^{\frac {\pi }{2}}\sin ^{a}\theta \cos ^{b}\theta d\theta ={\frac {1}{2}}\mathrm {B} \left({\frac {a+1}{2}},{\frac {b+1}{2}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eda59a34c14601db03881ea5f7941724a1dab97)
![{\displaystyle \mathrm {B} (p,q)={\frac {\Gamma (p)\Gamma (q)}{\Gamma (p+q)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/213a7cb778c6f7c852ce394c68797a326a0d32b4)
は、
のとき発散し、
のとき収束する。
TODO
- 実数の連続性
- 複雑な積分
- 数列の収束
- 偏微分は交換可能