1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact...
Transcript of 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact...
![Page 1: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/1.jpg)
f(x + !x) ! f(x) +df
dx!x
f(x + !x)! f(x) " df
dx!x
1
1変数の微分 differentiationdf(x)dx
= f !(x) = lim!x"0
f(x + !x)! f(x)!x
(1)
1
![Page 2: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/2.jpg)
ある出発点から坂をのぼって到達点に登る
2
x
x: 東西方向 y: 南北方向
f (x,y) : x,y 地点での標高
yf
出発点
到達点 f(x,y)
2次元系
2
![Page 3: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/3.jpg)
!y
= !f = f(x + !x, y + !y)! f(x, y)
!x
3
x
yf
ー + ----
高さ=傾き×距離
= slope(OE)|OA| + slope(ED)|EC| → →df = |BD| = |BC| + |CD| = |AE| + |CD|
O A
B
C
D
E
3
![Page 4: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/4.jpg)
= slope(OE)|OA| + slope(ED)|EC| → →
df = |BD| = |BC| + |CD| = |AE| + |CD|
df =!
!f
!x
"
y
dx +!
!f
!y
"
x+dx
dy
!!
!f
!x
"
y
dx +
#!!f
!y
"
x
+$
!
!x
!!f
!y
"
x
%
y
dx
&dy
=!
!f
!x
"
y
dx +!
!f
!y
"
x
dy +$
!
!x
!!f
!y
"
x
%
y
dxdy
=!
!f
!x
"
y
dx +!
!f
!y
"
x
dy +!
!fy
!x
"
y
dxdy
4
![Page 5: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/5.jpg)
= slope(OF)|AB| + slope(FD)|OA| → df
→
df =!
!f
!y
"
x
dy +!
!f
!x
"
y+dy
dx
!!
!f
!y
"
x
dy +
#!!f
!x
"
y
+
$!
!y
!!f
!x
"
y
%
x
dy
&dx
=!
!f
!x
"
y
dx +!
!f
!y
"
x
dy +
$!
!y
!!f
!x
"
y
%
x
dxdy
=!
!f
!x
"
y
dx +!
!f
!y
"
x
dy +!
!fx
!y
"
x
dxdy
5
![Page 6: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/6.jpg)
同じdf を与えるには,
!!fx
!y
"
x
=!
!fy
!x
"
y
#!
!y
!!f
!x
"
y
$
x
=%
!
!x
!!f
!y
"
x
&
y
6
![Page 7: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/7.jpg)
!f = f(x + !x, y + !y)! f(x, y)= f(x + !x, y + !y)! f(x + !x, y)
+f(x + !x, y)! f(x, y)" fy(x + !x, y)!y + fx(x, y)!x
" [fy(x, y) + fyx(x, y)!x]!y + fx(x, y)!x
= fx(x, y)!x + fy(x, y)!y + fyx(x, y)!x!y
7
式を変形する。Eq.(1)を使う。
(2)
別解
7
![Page 8: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/8.jpg)
fx(x, y) ! !f
!x
!!!!y
="
!f
!x
#
y
fy(x, y) ! !f
!y
!!!!x
="
!f
!y
#
x
fyx(x, y) ! !
!x
$"!f
!y
#
x
%
y
8
ここで以下の関係を使った
8
![Page 9: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/9.jpg)
!y
= fx(x, y)!x =!
!f
!x
"
y
!x
!x
9
x
yf
ー
意味を図示しよう。
9
![Page 10: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/10.jpg)
!y
!x
= fy(x, y)!y =!
!f
!y
"
x
!y
10
x
yf
---- 意味を図示しよう。
10
![Page 11: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/11.jpg)
z
f(x, y)
11
x
y
O A
B
C
D
E
F
問題1 Fig.1に示した平面OEDFを表す方程式がz = f(x, y)で与えられる。全微分df = (!f!x )ydx+
(!f!y )xdy の意味を図を使って説明せよ。x軸上にあるOAの長さを dx, y軸に平行なABの長さを dy, z
軸に平行な BDの長さを df とする。また,AEの長さと BCの長さは等しいものとする。ヒント:BDの長さを,AEと CDの長さに分けて考えよ。
z
f(x, y)
Figure 1:
1
11
![Page 12: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/12.jpg)
df =!
!f
!x
"
y
dx +!
!f
!y
"
x
dy
12
全微分と偏微分 total and partial total differentiation
12
![Page 13: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/13.jpg)
13
x
yf
another route? もあるはず。
13
![Page 14: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/14.jpg)
!f = f(x + !x, y + !y)! f(x, y)= f(x + !x, y + !y)! f(x, y + !y)
+f(x, y + !y)! f(x, y)" fx(x, y + !y)!x + fy(x, y)!y
" [fx(x, y) + fxy(x, y)!y]!x + fy(x, y)!y
= fx(x, y)!x + fy(x, y)!y + fxy(x, y)!x!y
fxy(x, y) ! !
!y
!"!f
!x
#
y
$
x 14
以前と同じように式を変形する。Eq.(1)を使う。
(3)
14
![Page 15: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/15.jpg)
fxy(x, y) = fyx(x, y)
15
Eq.(2)と(3)の比較により
df =!
!f
!x
"
y
dx +!
!f
!y
"
x
dy
15
![Page 16: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/16.jpg)
vector : dr = dxi + dyj = (dx, dy)
vector : gradf = !f " !f
!xi +
!f
!yj =
!!f
!x,!f
!y
"
inner product : gradf ! dr = !f ! dr =!f
!xdx +
!f
!ydy = df
under the condition that "dr"= const.,!f # dr gives the maximum of df,
this means !f is the steepest descent direction.
dx
dy16
meaning of grad f : 2D system
f(x, y)
x
y
O16
![Page 17: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/17.jpg)
17
状態関数 と完全微分
状態関数:経路によらず2つの状態間の差で決まる。 例:内部エネルギー
経路によるばあい 例:熱
17
![Page 18: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/18.jpg)
A
B
!
Cf(x, y)ds = lim
!si!0
"
i
fi!si
fi = f(xi, yi)
fi
f1
!si
!s1
!s1, !s2, ...!si, ...
線積分 line integral
18
曲線を微小な弧に分割して,それぞれの長さを,とする。
A
B
18
![Page 19: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/19.jpg)
!si
!xi
!yi
!si
!xi = cos !!si,!yi = sin!!si
!
ABf(x, y)dx ! lim
!xi!0
"
i
fi!xi
!
ABf(x, y)dy ! lim
!yi!0
"
i
fi!yi
19
線積分 line integral今, のx軸,y軸への射影を とする。x軸と のなす角をαとすると,
x
y
fi
f1
!si
!s1
!xi, !yi
A
Bで,x軸,y軸上への射影の線積分を定義する。
19
![Page 20: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/20.jpg)
!df
完全微分,不完全微分exact differential, nonexact (imperfect) differential
20
df = P (x, y)dx + Q(x, y)dy
をある点Aから点Bまでx軸,y軸上への射影の線積分をする。経路は,2次元平面内で自由にとれるが,積分が経路に依らないならば,経路を任意にとってもとに戻る積分経路(経路が閉曲線)での線積分はゼロになる。 経路が閉曲線の場合,線積分を以下のように書く。
A
B
20
![Page 21: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/21.jpg)
A
B
C
D
Green’s Theorem
DAB:x2(y), DCB:x1(y)
x
y
ABC:y2(x), ADC:y1(x)
21
![Page 22: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/22.jpg)
!P
!y=
!Q
!x!
df = 0
df = P (x, y)dx + Q(x, y)dy
=!f
!xdx +
!f
!ydy
!
!y
!f
!x=
!
!x
!f
!y22
なら, となる。
と書けるなら,完全微分が成立する上の式は
となる。
22
![Page 23: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/23.jpg)
dx = CV (T )dT +nRT
VdV
!CV (T )/!V = 0, !(nRT/V )/!T = nR/V
! nonexactdx
T=
CV (T )T
dT +nR
VdV
![CV (T )T!1]/!V = !(nR/V )/!T = 0! exact
23
不完全微分 nonexact (imperfect) differential の例はあるのか?
McQuarrie and Simon, Appendix H.10
23
![Page 24: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/24.jpg)
より厳密には
24
24
![Page 25: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/25.jpg)
df(x)dx
= f !(x) = lim!x"0
f(x + !x)! f(x)!x
f(x)
f !(x)
f !(x + !x)
f !(x + !!x)!x
f !(x + !!x)0 < ! < 1
x x + !xf(x + !x)! f(x) " f !(x + !!x)!x
微分 differentiation
25
![Page 26: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/26.jpg)
Total 全微分 and Partial Differentials 偏微分
全微分(第一階全微分)
26
![Page 27: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/27.jpg)
fxy = fyx の証明
Δx,Δy → 0, fxy = fyx
(x,y) (x+Δx, y)
(x,y+Δy) (x+Δx, y+Δy)
27
![Page 28: 1変数の微分 differentiation...df 完全微分,不完全微分 exact differential, nonexact (imperfect) differential 20 df = P (x,y)dx + Q(x,y)dy をある点Aから点Bまでx軸,y軸上への射影の線積分をする。](https://reader036.fdocuments.in/reader036/viewer/2022071016/5fcf38a99fd7e9129320506f/html5/thumbnails/28.jpg)
→ 第二階全微分
高次の展開(ここは省略可)
28