WIIS

縮小関数の不動点定理(縮小写像の原理)

リプシッツ定数が1より小さいリプシッツ関数を縮小関数と呼びます。縮小関数の定義域が完備集合であり、なおかつ値域が定義域の部分集合である場合、その関数は不動点を持ちます。

楕円と楕円弧の微分

平面上に存在する楕円が媒介変数表示されている状況において、楕円上に存在する点のx座標とy座標の値の関係を微分を用いて評価する方法を解説します。

サイクロイドの微分

平面上に存在するサイクロイドが媒介変数表示されている状況において、サイクロイド上に存在する点のx座標とy座標の値の関係を微分を用いて評価する方法を解説します。

円と円弧の微分

平面上に存在する円が媒介変数表示されている状況において、円上に存在する点のx座標とy座標の値の関係を微分を用いて評価する方法を解説します。

媒介変数曲線の微分

平面上に存在する曲線が媒介変数表示されている状況において、曲線上に存在する点のx座標とy座標の値の関係を微分を用いて評価する方法を解説します。

微分を用いた絶対連続性の判定方法

有界閉区間上に定義された関数が定義域上で連続であり、定義域の内部である有界開区間上で微分可能であり、なおかつ導関数が有界である場合、その関数は絶対連続になることが保証されます。

微分作用素(微分演算子)

高階微分可能な1変数関数に関して一般的な議論を行う準備として、微分作用素と呼ばれる概念を導入します。