Change

変化 — 微積分と動的システム

ニュートンとライプニッツが独立に発見した微積分学から、現代の力学系・カオス理論まで。 「変化」を記述する数学の核心。

デモを見る トピック一覧

Quick Guide

このページでできること

微分、積分、ベクトル場、フーリエ級数、ローレンツアトラクターなどを通して、「変化」を記述する数学を動き付きで確認できます。 まず可視化に触れ、そのあと応用分野へ読み進めると全体像を掴みやすい構成です。

  • 微積分
  • 微分方程式
  • 力学系
  • カオス

トピック

算術・数列

等差数列・等比数列。級数の収束と発散。

微積分学

極限・微分・積分。微積分の基本定理。テイラー展開。

ベクトル解析

勾配・発散・回転。グリーン定理・ストークス定理。

𝑑

微分方程式

常微分方程式・偏微分方程式。物理現象のモデリング。

🔄

力学系

固定点・周期軌道・分岐。アトラクター。

🦋

カオス理論

バタフライ効果。ローレンツアトラクター。リャプノフ指数。

f(x)

関数論

複素解析。正則関数。コーシーの積分定理。

∫∫

解析学

実解析・測度論。ルベーグ積分。フーリエ解析。

インタラクティブ可視化

微分 — 接線の傾き

微積分
1.0

積分 — リーマン和の極限

微積分
8

ローレンツアトラクター — カオス

力学系
10
28

ドラッグで回転・スクロールでズーム。σ=10, ρ=28, β=8/3 でバタフライ型アトラクターが出現する

ベクトル場の可視化

ベクトル解析

フーリエ級数 — 波形の合成

解析学
5

テイラー展開 — 多項式近似

解析学
4

ロジスティック写像 — カオスへの道

力学系・カオス
3.50

振り子の運動方程式 — 非線形ODE

微分方程式
30°
0.05

複素関数 f(z) — ドメイン着色法

関数論

等差数列・等比数列と級数の収束

算術・数列
0.50

ルベーグ積分 vs リーマン積分

測度論
10

リーマンは「x軸で切る」、ルベーグは「y軸の値域で切って逆像の測度を取る」。ディリクレ関数など非可測な関数に対応できる

ラプラス変換 — s平面の極と時間応答

複素解析
-1.0
2.0

左半平面(σ<0)の極 → 安定・減衰。虚部ωが振動数。σ=0で持続振動、σ>0で発散

熱方程式 u(x,t) — 3D解曲面

偏微分方程式
1.00
0.30

∂u/∂t = α·∂²u/∂x²。境界条件 u(0,t)=u(π,t)=0。高温部(赤)→低温部(青)へ拡散する様子。ドラッグで回転可能

微分形式 dx∧dy — 向き付き面積要素

微分幾何
30°
120°
5

dx∧dy(u,v) = det[u,v] — 2つのベクトルが張る向き付き面積。反対称性: dx∧dy = −dy∧dx

主要な公式・定理

微積分の基本定理

ab f'(x)dx = f(b) − f(a)

微分と積分が互いに逆演算であるという根本的定理

テイラー展開

f(x) = Σ f(n)(a)/n! · (x−a)n

滑らかな関数を冪級数として表現する

オイラーの公式

e = cos θ + i sin θ

指数関数と三角関数の深い関係を示す

ストークスの定理

∂Σ F·dr = ∬Σ (∇×F)·dS

線積分と面積分を結ぶベクトル解析の統一定理

応用分野

「変化」の数学が現代社会のどこで活きているか

🚀

物理学・工学

ニュートン力学・電磁気学・量子力学はすべて微分方程式で記述される。橋・航空機・ロケットの設計にも微積分が不可欠。

力学電気回路流体力学材料工学
📈

経済学・金融

Black–Scholesオプション価格モデルは確率微分方程式。最適制御理論(ポンリャーギン)は資源配分・投資戦略に活用。

デリバティブ最適制御マクロ経済
🧠

機械学習・AI

勾配降下法は多変数微積分そのもの。誤差逆伝播アルゴリズム(バックプロパゲーション)は連鎖律の繰り返し適用。

深層学習最適化強化学習
🌤️

気象・気候科学

大気・海洋のシミュレーションはナビエ–ストークス方程式(偏微分方程式)。カオス理論はバタフライ効果(ローレンツ方程式)を説明。

数値シミュレーションカオス気候モデル
🔊

信号処理・通信

フーリエ変換・ラプラス変換は音声圧縮(MP3)、画像圧縮(JPEG)、無線通信のフィルタ設計の基盤。

音声処理画像処理5G通信
💊

医学・生命科学

薬物動態モデル(血中濃度の変化)、感染症の拡大モデル(SIR)、神経活動電位(ホジキン–ハクスリー方程式)。

薬物動態疫学神経科学