Professional Documents
Culture Documents
Exp (X)
Exp (X)
8 ¹
0 ý 2
1 f9ÙÐ 5Ÿ 4
2 K(X)þ éê. f 6
3 K(X)þ •ê. f 9
4 k•‘*¿•¥ ‰ê§,§±95 ½n 12
5 Liouville / Ostrowski ½n 15
6 (صexp(x2 )ÃÐ ¼ê 17
1
§0 ý
5µb Px ´Œ §KPx = Px0 Px00 §Ù¥deg Px00 > 0. deg Px0 <
deg Px . ^Px (x) = 0§_Px0 (x)!Px00 (x)¥7k˜‡•0§Ø” Px0 (x) = 0§
KPx0 ∈ F …deg Px0 < deg Px §†Px 3F ¥ gê• gñ§ Px ´ØŒ .
2
y²µ(i)w,kK ⊂ Kxi 9x ∈ Kxi §… Kxi 'u\{ ¤ †
L L L
•§K(x) = Kxi .
L
3
(ii)dþ$ŽÓÚ5Ÿ§σ(K(X))•´˜‡•. ∀R ∈ K(X)§σ(R) =
R(x) ∈ K(x)§=σ(K(X)) ⊂ K(x). ^K(x)´•¹KÚx • •§_K(x) =
σ(K(X))§σ´K(X) K(x) ÷ .
p1 p2
(iii)∀R1 = q1
!R2 = q2
∈ K(X)£p1 !q1 !p2 !q2 ∈ K[X]…q1 !q2 6=
0¤§eR1 6= R2 §Kp1 q2 − p2 q1 6= 0§^x´‡ §_q1 (x) 6= 0§q2 (x) 6=
p1 (x) p2 (x)
0§p1 (x)q2 (x) − p2 (x)q1 (x) 6= 0§=σ(R1 ) = R1 (x) = q1 (x)
6= q2 (x)
= R2 (x) =
σ(R2 ). σ´ü .
nþã§σ´K(X) K(x) Ó N .
§1 f9ÙÐ 5Ÿ
•Kþ ˜‡$ŽÎD : K → KXJ÷vXe^‡§K¡Ù• ê$Ž
½ fµ
±e´ f , Ð 5Ÿ9$Ž{Kµ
1. ∀u ∈ K§D(u) = D(u)+uD(1)§=uD(1) = 0§ D(1) = 0¶ (1.1)
2. ∀u ∈ K§D(u) = D(0) + D(u)§ D(0) = 0¶D(u) + D(−u) = D(0)§
D(−u) = −D(u)¶ (1.2)
∗
3. ∀u ∈ K§v ∈ K §kD(u) = D( uv · v) = D( uv )v + u
v
D(v)§=
u D(u)v − D(v)u
D( ) = ; (1.3)
v v2
30 . ∀u!v ∈ K ∗ §D(u)
u
= D(v)
v
⇔ D( uv ) = 0 ⇔ u
v
∈ Kcst ¶
4. ∀u ∈ K ∗ §n ∈ N+ §k
4
∀n ∈ Z− §K−n ∈ N+ §k0 = D(1) = D(un u−n ) = D(un )u−n +
D(u−n )un §d1.40 ªkD(u−n ) = −nu−n−1 D(u)§
dþüª§∀u ∈ K ∗ 9n ∈ Z§k
¡Kþ ˜‡õ‘ª•Ã²•Ïfõ‘ª§XJ§´˜‡½A‡p؃
Ó ØŒ õ‘ª ¦È. •Ò´`§˜‡Ã²•Ïfõ‘ª ŸÏª©)
¥ˆÏf gêÑ´1.
Ún 5. D´½Â3kn©ª•K(X)þ f§¿…÷vD(K[X]) ⊂
K[X]. •ÄK[X]¥k•‡š"ò•Ïfõ‘ª(Qj )j∈J §§‚üüpŸ§¿
…k, ü‡pŸ õ‘ªP !Q÷v ª
X Pj P
= D( ), Pj , P ∈ K[X], Q ∈ K[X] \ {0}
j∈J
Qj Q
5
qt 2rt § j Qj –õ••¹Ïfq1 q2 · · · qt § •¹Ï
Q
QD(P ) + P D(Q)–
2r1 −1 2r2 −1
fq1 q2 · · · qt 2rt −1 §TÏf Q Ø. kQ|[QD(P ) + P D(Q)]. q
Ï•Q|QD(P )§Q†P pŸ§¤±Q|D(Q).
Qj0 †QpŸ§KQ
Q j0 †Q pŸ§d(1.6)ª§Q
2
Q j0 |P0 Q §=Qj0 |P
2
Q0
. d
j Qj j Qj j Qj
u∀j1 6= j0 §Qj0 | Qj1
Pj1 § Qj0 | Qj0
Pj 0 . duQj üüpŸ§ Qj0 † Qj0
p
٤ Qj0 |Pj0 .
§2 K(X)þ éê. f
˜‡‡©•K ‡©*•E´˜‡•¹K ‡©•§Ù fD´Kþ
f3Eþ òÿ§¿…E†KkÓ ~êf•§=D(K) ⊂ K§…Ecst =
Kcst . !•Äkn©ª•K(X)9Ù fD¦ K(X)´K ‡©*•§¿
…D(X) ∈ K.
y²µ R = P
Q
§Ù¥P !Q ∈ K[X]∗ §P !QpŸ…Q´Ä˜õ‘ª. u
QD(P )−P D(Q)
´D(R) = Q2
∈ K§9•3k ∈ K¦ QD(P ) − kQ2 = Q[D(P ) −
kQ] = P D(Q). Ï•Q!P pŸ§¤±Q|D(Q)§d !5§P = 1§ R ∈ K[X].
Ps
i=0 as X §Ù¥a1 , · · · , as ∈ K§s > 1§KD(R) sg‘X
s
R =
ê•D(as )§s − 1g‘Xê•D(as−1 ) + sas D(X). eas ∈
/ Kcst §KD(as ) 6=
/ K§gñ¶ as ∈ Kcst §KD(as ) = 0§D(as−1 )+
0§deg D(R) = s > 0§D(R) ∈
sas D(X) = D(as−1 ) + D(sas X) = D(as−1 + sas X)§w,as−1 + sas X ∈
/ K§
dK(X)cst = Kcst ⊂ K§kD(as−1 + sas X) 6= 0§dždeg D(R) = s − 1§
qD(R) ∈ K§¤±s = 1. R = cX + g§Ù¥c!g ∈ K§dþ®²`²§Ä
‘Xêc ∈ Kcst .
6
3‡©•K¥§·‚rU L«¤Xe/ª ƒ¡•K¥ LiouvilleÚµ
n
X D(fi )
D(g) + ci , g ∈ K, ci ∈ Kcst , fi ∈ K \ {0}. (2.1)
i=1
f i
y²µÄkUìLiouvilleڽ§òf 3K(X)¥Ðm§
X D(Rθ )
f = D(R) + bθ
θ∈Θ
Rθ
Pθ
Ù¥R ∈ K(X)§bθ ∈ Kcst §Rθ = Qθ
∈ K(X)∗ §Pθ !Qθ ∈ K[X]∗ . òRθ =
Pθ
Qθ
“\þª§Œ
X D(Pθ ) D(Qθ )
X D(P 0 )
f = D(R) + bθ + bθ = D(R) + b0θ 0
θ
,
θ∈Θ
P θ Qθ
θ∈Θ 0
P θ
7
D(ai ) D(Pj )
ª§f ! ∈ K. òR“\ÐmŒ
P P
i∈I ci ai ∈ K§ D(R) + j∈J dj Pj
Q X D(Pj )
D(R) = D(S) + D( ) + dj ∈ K, (2.3)
P j∈J
Pj
Q X D(Pj )
D( ) + dj ∈ K[X],
P j∈J
Pj
Ù¥D( Q
P
)Ðm N´uy§Ù©fgê u©1gê¶duPj ´gêŒu0
D(Pj )
Ęõ‘ª§ D(Pj ) gê uPj . D( Q
P
P
) + j∈J dj Pj ∈ K[X]Ï©
D(P )
©fgê u©1g꧕•3˜«œ¹§@Ò´D( Q
P
P
) = − j∈J dj Pj j .
dÚn5§P |D(P )§ P = 1§†/P gêŒu00gñ. R ∈ K[X]§Óž
D(Pj ) D(Pj )
Œ D( Q
P P
P
) = − j∈J d j Pj
∈ K[X]§ j∈J dj Pj = 0§“\(2.3)ª
=D(R) ∈ K. dÚn6§R = cX + g§D(R) = cD(X) + D(g). “\(2.2)ª=
k
X D(ai )
f − cD(X) = D(g) + ci ,
i∈I
a i
y²µékn©ª•K(X)§dÚn4§•3g, Ó σ : K(X) →
−1
K(v)§±9_N σ : K(v) → K(X). 3K(X)þ½Â ê$Ž§¦ K(X)
¤•K ‡©*•§¿…D(X) = D(v) ∈ K. •ÄK(v)†K(X)ƒm Ó .
Šâf ´E¥ LiouvilleÚ§Ðmk
X D(fi (v))
f = D(g(v)) + ci , (2.4)
i∈I
fi (v)
8
P (X)
∀R(X) = Q(X)
∈ K(X)§k
f ´Kþ LiouvilleÚ.
§3 K(X)þ •ê. f
K´˜‡‡©•§•ÄK kn©ª•K(X)§¦ K(X)´K ‡©*
•…÷v
D(X)
∈ K.
X
w,§þã^‡ duD(X) = aX§a ∈ K ∗ . PD(X) = aX.
Ún 8. ? P ∈ K[X].
1. ? k ∈ K ∗§n ∈ Z∗§D(k) 6= nak. ?˜Ú§deg D(P ) = deg P .
2. P |D(P ) …= P = cX n§Ù¥c ∈ K.
9
y²µ1. b •3k ∈ K ∗ §n ∈ Z∗ ¦ D(k) = nak§KD(k)/k = na =
D(X )/X §†>~
n n
m> D(k)/k − D(X n )/X n = D( Xkn )/ Xkn = 0§u
´ Xkn ∈ Kcst § k
Xn
∈
/ K§gñ§ D(k) 6= nak. P ∈ K[X] Ä‘Xê
•as §s•P gê§KD(P ) = P 0 D(X)+P D sg‘Xê•saas +D(as ) 6= 0§
0
…P D(X)gê•s§P gê us§ deg D(P ) = deg P .
D
10
y²µaquÚn7§Œ±y²f U ¤Xe/ªµ
X D(ai ) X D(Qj )
f = D(R) + ci + dj ,
i∈I
ai j∈J
Qj
-c = nj dj §w,kc ∈ Kcst .
P
j∈J f − ca = f − cD(X)/X´K¥
LiouvilleÚ.
11
Ù¥g!gj ∈ K. ò D(v)
v
= D(u)“\þª§
X D(gj )
f = D(g + cu) + cj ,
j∈J
gj
=f ´K¥ LiouvilleÚ.
§4 k•‘*¿•¥ ‰ê§,§±95 ½n
!§KL«˜‡A •0 •¶E´Kþ n‘•þ˜m§u´Eþ
‚5C†§^χu (T )L«u Aõ‘ª=χu (T ) = det(T IE − u) ∈ K[T ]§
χu (T )−χu (0)
^Ωu (T ) ∈ K[T ]L«õ‘ª T
§u# L«C†(−1)n−1 Ωu (u). w,§
χu (T )´ngĘõ‘ª§Ωu (T )´n − 1gĘõ‘ª.
Bn−1 = I;
Bn−2 − ABn−1 = an−1 I ⇒ Bn−2 = A + an−1 ;
Bn−3 − ABn−2 = an−2 I ⇒ Bn−3 = A2 + an−1 A + an−2 ;
..
.
B0 − AB1 = a1 I ⇒ B0 = An−1 + an−1 An−2 + · · · + a2 A + a1 ,
12
òx = 0“\§K (−A)∗ = B(0) = B0 = (−1)n−1 A# . qA∗ = (−1)n−1 (−A)∗ §
¤±kA∗ = A# .
y²µPA# = A∗ = (a# #
ij )§Ù¥aij ´aji “ê{fª. òtr(A# D(A))Ð
m§Œ
n
X n X
X n
#
tr(A D(A)) = #
(A D(A))ii = a#
ij D(aji )
i=1 i=1 j=1
Xn Xn
= D(aij )a#
ji , (4.1)
i=1 j=1
13
2òdet(A)Ðm¿¦ §Œ
a11
··· a1n
.. ... ..
a11 · · · a1n n
. .
.. ..
...
X
D(det A) = . = D(ai1 ) · · · D(ain )
.
i=1 .. .. ..
an1 · · · ann . . .
an1 ··· ann
n X
X n
= D(aij )a#
ji . (4.2)
i=1 j=1
,˜•¡k
n
X n
X n
X
D(xei ) = D(mx (ei )) = D(aji ej ) = D(aji )ej + aji D(ej )
j=1 j=1 j=1
n
X
= mD
x (ei ) + ∆( aji ej ) = (mD
x + ∆mx )(ei ),
j=1
éz‡iþ¡üªÑ¤á§ k
mx ∆ + mD(x) = mD
x + ∆mx . (4.3)
é(4.3)ª Òüà ,§
14
½n 3. £Liouville5 ½n¤ E´K n‘‡©*•§Kéuf ∈ K§
ef ´Eþ LiouvilleÚ§Kf ´Kþ LiouvilleÚ.
Òü> ,§ n
∆†m−1 −1
x ∆mx ƒq§ tr(∆) = tr(mx ∆mx )§=tr(x D(x)) = tr(A D(A)).
# #
§5 Liouville / Ostrowski ½n
15
Œ±)¤Ð ¼ê•. •ïÄÐ ¼ê•þ ¦ $Ž§é?¿A •"
•K½ÂÙÐ *•.
K ˜‡‡©*•E¡•K Ð *•£½Ð *ܤ§XJ•3E ˜
X f•(Ki )06i6m ÷vµ
K = K0 ⊂ K1 ⊂ K2 ⊂ · · · ⊂ Km−1 ⊂ Km = E§
Ù¥Ki+1 ‡o´Ki k•‘*•§‡o•3vi+1 ∈ Ki+1 ´Ki ¥, ƒ
•ê½éꧦ Ki+1 = Ki (vi+1 ).
16
§6 (صexp(x2 )ÃÐ ¼ê
• § !•ÄK = C(T ) œ/§C(T )L«Eê•Cþ kn¼ê•§
Ùþ fD=•©Û¥½Â ê$Ž. ••B†*n)§éuCþ )Û¼
êf §kž^f 0 L«D(f ). dž§þ˜!½Â Ð *•3K = C(T ) œ¹
eCX Cþ¤k Ð ¼ê§=Cþ ,‡Ð ¼ê˜½áuK = C(T )
,‡Ð *•.
17
(iii) EC(T ) ‡©*•C(T )(X)§…D(X)/X = u0 §KT‡©•†
13! ‡©•a.ƒÓ. dÚn4§•3C(T )(X) C(T )(eu ) g,Ó σ§
…σ(D(X)) = D(eu ). duf eu ´C(T )(eu )¥ LiouvilleÚ§éLˆªü>?
1σ −1 C†=Œ f X´C(T )(X)¥ LiouvilleÚ. aquÚn10 y²§Œ±
†(3.3)ªaq ªf
X D(ai ) X
f X = D(R) + ci +( nj dj )u0 ,
i∈I
ai j∈J
pq 0
q = p0 − + 2tp,
q
18