微分積分の応用と発展―標準演習
mathcalculusexerciseapplicationdifferential-equationsmultivariable
data/lecture/math/calculus/calculus-applications.lecture.n.md
data/lecture/math/calculus/partial-derivatives-and-multiple-integrals.lecture.n.md
data/lecture/math/multivariable-calculus/multiple-integrals-and-change-of-variables.lecture.n.md
data/lecture/math/calculus/introduction-to-differential-equations.lecture.n.md
1演習方針
問題1から3は一変数微積分の応用、問題4は多変数微積分、問題5は微分方程式を対象とする。各問で、使用する定理または計算法と、その適用条件を明示すること。
2問題 1
f(x)=x^3-3x の増減区間と極値を決定せよ。
2.1解答例
f は実数全体で微分可能であり、
f'(x)=3x^2-3=3(x-1)(x+1)
である。臨界点は x=-1,1 である。f' は (-\infty,-1) と (1,\infty) で正、(-1,1) で負である。したがって、f は (-\infty,-1) と (1,\infty) で増加し、(-1,1) で減少する。また、
f(-1)=2,\qquad f(1)=-2
であり、x=-1 で極大値 2、x=1 で極小値 -2 を取る。
2.2解説
f'(x)=0 という条件だけでは極値を保証しない。各臨界点の前後で導関数の符号が変化することを確認する。
3問題 2
速度 v(t)=t-1 で 0\le t\le3 を運動する質点の変位と移動距離を計算せよ。
3.1解答例
v は [0,3] 上で連続である。変位は
\int_0^3(t-1)\,dt
=\left[\frac{t^2}{2}-t\right]_0^3
=\frac32
である。移動距離では速度の絶対値を積分する。v は t=1 で符号を変えるため、
\int_0^3|t-1|\,dt
=\int_0^1(1-t)\,dt+\int_1^3(t-1)\,dt
=\frac12+2=\frac52
となる。
3.2解説
変位は向きを保持する符号付き累積量であり、移動距離は速さ |v| の累積量である。速度の符号が変化する点で区間を分割する。
4問題 3
f(x)=x^2 の [0,2] 上の平均値を計算せよ。
4.1解答例
f は [0,2] 上で連続であり、区間長は 2>0 である。平均値の定義により、
f_{\mathrm{avg}}
=\frac1{2-0}\int_0^2x^2\,dx
=\frac12\left[\frac{x^3}{3}\right]_0^2
=\frac43
となる。
4.2解説
定積分は区間上の総量である。平均値を得るには、その総量を区間長で除する。
5問題 4
f(x,y)=x^2y+\sin y の偏導関数 f_x,f_y を計算せよ。また、
\int_0^1\int_0^2xy\,dx\,dy
を計算せよ。
5.1解答例
f は全平面で連続微分可能である。f_x では y を、f_y では x を定数として扱うため、
f_x(x,y)=2xy,\qquad f_y(x,y)=x^2+\cos y
である。ここで、反復積分 \int_0^1\int_0^2xy\,dx\,dy は、y を固定して x について積分した後、その結果を y について積分する操作を表す。xy は長方形領域 [0,2]\times[0,1] 上で連続であるため、この逐次計算は同領域上の二重積分と一致する。
\int_0^1\int_0^2xy\,dx\,dy
=\int_0^1\left[\frac{x^2y}{2}\right]_0^2dy
=\int_0^12y\,dy
=1
となる。
5.2解説
偏微分は他方の変数を固定して一方向の局所変化を測定する。重積分は領域の局所的な寄与を累積する。
6問題 5
実数区間 I 上の C^1 関数で、微分方程式
y'=xy
を満たすものをすべて求めよ。y=0 の場合も確認すること。
6.1解答例
y を I 上の任意の解とする。積分因子 e^{-x^2/2} を使用すると、
\frac{d}{dx}\left(e^{-x^2/2}y(x)\right)
=e^{-x^2/2}\bigl(y'(x)-xy(x)\bigr)=0
である。I は区間であるため、導関数が 0 の関数は I 上で定数である。したがって、ある A\in\mathbb{R} が存在して、
y=Ae^{x^2/2}\qquad(A\in\mathbb{R})
と表せる。逆に、この形の関数は
y'=xAe^{x^2/2}=xy
を満たす。A=0 が零解に対応するため、これですべての解を分類できた。
6.2解説
積分因子による方法では y で除しないため、零解を失わずに全解を直接分類できる。変数分離で y による除法を使用する場合は、零解を別途確認する必要がある。
7関連講義
data/lecture/math/calculus/calculus-applications.lecture.n.md
data/lecture/math/calculus/partial-derivatives-and-multiple-integrals.lecture.n.md
data/lecture/math/multivariable-calculus/multiple-integrals-and-change-of-variables.lecture.n.md
data/lecture/math/calculus/introduction-to-differential-equations.lecture.n.md
data/lecture/math/differential-equations/separable-equations-and-autonomous-systems.lecture.n.md
data/lecture/math/multivariable-calculus/multivariable-calculus-portal.lecture.n.md
data/lecture/math/differential-equations/differential-equations-portal.lecture.n.md
Applications and Extensions of Calculus — Standard Exercises
data/lecture/math/calculus/calculus-applications.lecture.n.md
data/lecture/math/calculus/partial-derivatives-and-multiple-integrals.lecture.n.md
data/lecture/math/multivariable-calculus/multiple-integrals-and-change-of-variables.lecture.n.md
data/lecture/math/calculus/introduction-to-differential-equations.lecture.n.md
1Exercise Objectives
Problems 1–3 concern applications of single-variable calculus, Problem 4 concerns multivariable calculus, and Problem 5 concerns differential equations. For each problem, identify the theorem or method used and state its conditions of application.
2Problem 1
Determine the intervals of increase and decrease and the local extrema of f(x)=x^3-3x.
2.1Sample Solution
The function f is differentiable on all of \mathbb{R}, and
f'(x)=3x^2-3=3(x-1)(x+1).
The critical points are x=-1 and x=1. The derivative is positive on (-\infty,-1) and (1,\infty) and negative on (-1,1). Hence f increases on (-\infty,-1) and (1,\infty) and decreases on (-1,1). Moreover,
f(-1)=2,\qquad f(1)=-2.
Thus f has a local maximum value 2 at x=-1 and a local minimum value -2 at x=1.
2.2Explanation
The equation f'(x)=0 alone does not guarantee an extremum. Check that the sign of the derivative changes across each critical point.
3Problem 2
A particle moves with velocity v(t)=t-1 for 0\le t\le3. Find its displacement and distance traveled.
3.1Sample Solution
The function v is continuous on [0,3]. The displacement is
\int_0^3(t-1)\,dt
=\left[\frac{t^2}{2}-t\right]_0^3
=\frac32.
Distance traveled is the integral of speed. Since v changes sign at t=1,
\int_0^3|t-1|\,dt
=\int_0^1(1-t)\,dt+\int_1^3(t-1)\,dt
=\frac12+2=\frac52.
3.2Explanation
Displacement is a signed accumulation that retains direction, whereas distance traveled accumulates the speed |v|. Split the interval wherever velocity changes sign.
4Problem 3
Find the average value of f(x)=x^2 on [0,2].
4.1Sample Solution
The function f is continuous on [0,2], and the interval has positive length. By the definition of average value,
f_{\mathrm{avg}}
=\frac1{2-0}\int_0^2x^2\,dx
=\frac12\left[\frac{x^3}{3}\right]_0^2
=\frac43.
4.2Explanation
A definite integral is the total accumulation over an interval. Divide that total by the interval length to obtain the average value.
5Problem 4
For f(x,y)=x^2y+\sin y, compute the partial derivatives f_x and f_y. Also evaluate
\int_0^1\int_0^2xy\,dx\,dy.
5.1Sample Solution
The function f is continuously differentiable on the entire plane. Treat y as a constant when calculating f_x and x as a constant when calculating f_y. Thus,
f_x(x,y)=2xy,\qquad f_y(x,y)=x^2+\cos y.
The iterated integral \int_0^1\int_0^2xy\,dx\,dy means that one first integrates with respect to x while holding y fixed and then integrates the result with respect to y. Because xy is continuous on the rectangle [0,2]\times[0,1], this successive computation agrees with the double integral over that rectangle:
\int_0^1\int_0^2xy\,dx\,dy
=\int_0^1\left[\frac{x^2y}{2}\right]_0^2dy
=\int_0^12y\,dy
=1.
5.2Explanation
A partial derivative fixes the other variable and measures local change in one coordinate direction. A multiple integral accumulates local contributions over a region.
6Problem 5
Let I be a real interval. Find all C^1 functions on I satisfying
y'=xy.
Include the case y=0.
6.1Sample Solution
Let y be any solution on I. Using the integrating factor e^{-x^2/2} gives
\frac{d}{dx}\left(e^{-x^2/2}y(x)\right)
=e^{-x^2/2}\bigl(y'(x)-xy(x)\bigr)=0.
Because I is an interval, a function with zero derivative is constant on I. Hence there is some A\in\mathbb{R} such that
y=Ae^{x^2/2}\qquad(A\in\mathbb{R}).
Conversely, every function of this form satisfies
y'=xAe^{x^2/2}=xy.
The value A=0 gives the zero solution, so this classifies all solutions.
6.2Explanation
The integrating-factor method does not divide by y, so it classifies all solutions without losing the zero solution. If separation of variables is used instead, division by y requires a separate check of the zero solution.
7Related Lectures
data/lecture/math/calculus/calculus-applications.lecture.n.md
data/lecture/math/calculus/partial-derivatives-and-multiple-integrals.lecture.n.md
data/lecture/math/multivariable-calculus/multiple-integrals-and-change-of-variables.lecture.n.md
data/lecture/math/calculus/introduction-to-differential-equations.lecture.n.md
data/lecture/math/differential-equations/separable-equations-and-autonomous-systems.lecture.n.md
data/lecture/math/multivariable-calculus/multivariable-calculus-portal.lecture.n.md
data/lecture/math/differential-equations/differential-equations-portal.lecture.n.md