19/10/25 18:21:25.09 X8B2Tg+D.net
松坂和夫著『解析入門（中）』を読んでいます。
以下の事実が証明抜きで使われています。
D_2 Φ および D_3 Φ が連続であることは分かります。
D_1 Φ が連続であることはどうやって証明するのでしょうか？
I を R の区間とする。
f : [a, b] × I → R とする。
D_2 f が [a, b] × I で存在し、連続であるとする。
Φ : I × [a, b] × [a, b] → R を Φ(y, u, v) := ∫_{u}^{v} f(x, y) dx で定義する。
Φ は C^1 級関数である。