一変数の変数変換における仮定と関数の性質についての解説

「杉浦解析入門I」の定理5.6（一変数の変数変換）について、与えられた仮定がどのような制約を課すのか、またその仮定に基づいて単調減少関数が取れない理由について解説します。この記事では、関数の性質や仮定の意味について詳しく説明し、仮定が満たされる場合の理解を深めることを目的としています。

定理5.6の仮定とその内容

定理5.6では、関数f(x)が区間I = [a,b]で連続であり、φ(t)が区間J = [α,β]で微分可能、さらにφ'(t)がJで有界可積分であるという仮定が与えられています。これらの仮定は、変数変換による積分や解析の有効性を保証するために必要な条件を満たしています。

また、仮定の中で重要な点は、φ(t)の定義域であるJが[a,b]と一致する必要があること、そしてφ(α) = aおよびφ(β) = bであることです。この条件により、変数変換が適切に行われることが保証されます。

関数φの性質と単調性について

質問者の指摘通り、仮定の中でφ(t)は区間J = [α,β]で微分可能かつφ'(t)が有界可積分であるという条件が付けられています。ここで、φ(t)が単調減少な関数を取れない理由について考えます。

仮定によれば、φ(t)は区間Jで有界可積分な微分可能な関数であり、φ(α) = aおよびφ(β) = bとなっています。このような場合、φ(t)はα ≤ t ≤ βにおいて単調減少であると、φ(α) = aよりもφ(β) = bを満たすことができません。単調減少な関数では、xが増加するにしたがってyが減少し、逆に増加することはないため、この仮定と矛盾します。

仮定が満たされる場合の理解

この問題では、変数変換を行う際に必要な条件が明確に示されています。φ(t)が単調減少関数ではなく、仮定に従ってφ(t)が適切な形で定義される必要があります。したがって、φ(t)が単調減少であってもこの定理の仮定を満たすことはできないという結論に至ります。

つまり、仮定に従った変数変換を行うためには、φ(t)が単調減少でない必要があり、この制約を理解することが解析において重要です。

まとめ

定理5.6の仮定において、φ(t)が単調減少な関数を取ることはできません。これは、φ(t)の定義により、α ≤ t ≤ βの範囲でφ(α) = aおよびφ(β) = bを満たすために、φ(t)は単調であってはいけないという制約から生じます。このような仮定に従って、適切な変数変換を行うことが解析で重要となります。