Professional Documents
Culture Documents
11
2.1.7. Gi¶i ph−¬ng tr×nh vµ hÖ ph−¬ng tr×nh ............................................... 32
Gi¶i ph−¬ng tr×nh ®¹i sè (cã hÖ sè b»ng sè hoÆc b»ng ch÷). ..................................... 32
Gi¶i ph−¬ng tr×nh v« tû ............................................................................................... 33
Gi¶i hÖ ph−¬ng tr×nh ................................................................................................... 33
2.1.8. Gi¶i bÊt ph−¬ng tr×nh .......................................................................... 34
12
2.4. PhÐp tÝnh vi ph©n vµ tÝch ph©n .......................................................... 62
2.4.1. PhÐp tÝnh giíi h¹n................................................................................ 62
TÝnh giíi h¹n cña hµm sè t¹i mét ®iÓm ...................................................................... 62
TÝnh giíi h¹n theo h−íng (tr¸i hoÆc ph¶i) .................................................................. 63
2.4.2. TÝnh ®¹o hµm cña hµm sè mét biÕn ................................................. 63
TÝnh ®¹o hµm bËc nhÊt................................................................................................ 63
C¸c vÝ dô minh ho¹ ..................................................................................................... 64
TÝnh ®¹o hµm cÊp cao ................................................................................................. 65
2.4.3. TÝnh vi ph©n hµm nhiÒu biÕn, hµm vect¬ vµ ma trËn hµm ............. 66
PhÐp tÝnh ®¹o hµm cña hµm nhiÒu biÕn ...................................................................... 66
TÝnh ®¹o hµm cña mét hµm vÐc t¬.............................................................................. 67
TÝnh ®¹o hµm cña mét ma trËn hµm ........................................................................... 67
2.4.4. Hµm Èn vµ ®¹o hµm cña nã.............................................................. 68
Hµm Èn v« h−íng ........................................................................................................ 68
Hµm Èn vÐc t¬ ............................................................................................................. 70
2.4.5. PhÐp tÝnh tÝch ph©n ............................................................................. 72
TÝnh tÝch ph©n x¸c ®Þnh .............................................................................................. 72
TÝnh tÝch ph©n kh«ng x¸c ®Þnh ................................................................................... 74
TÝnh tÝch ph©n suy réng .............................................................................................. 76
2.4.6. Khai triÓn hµm sè thµnh chuçi ........................................................... 76
PhÇn nµy giíi thiÖu nh÷ng chñ ®Ò tÝnh to¸n th«ng dông nhÊt. Qua ®©y chóng ta
sÏ mau chãng n¾m b¾t ®−îc ph−¬ng thøc lµm viÖc víi Maple, ®Ó råi tù m×nh kh¸m
ph¸ vµ t×m hiÓu vÒ kh¶ n¨ng tÝnh to¸n tuyÖt vêi cña Maple. C¸c tÝnh to¸n chuyªn
ngµnh s©u h¬n sÏ ®−îc ®Ò cËp trong phÇn tÝnh to¸n thùc hµnh trªn m¸y cña c¸c gi¸o
tr×nh cho tõng bé m«n.
13
2.1. tÝnh to¸n sè häc vµ ®¹i sè th«ng dông
Maple biÕt lµm rÊt nhiÒu phÐp to¸n ®Æc biÖt, trong ®ã cã
9332621544394415268169923885626670049071596826438162146859296
3895217599993229915608941463976156518286253697920827223758251
1852109168640000000000000000000000
DÜ nhiªn, cã thÓ t×m béi sè chung nhá nhÊt cña nhiÒu sè:
14
[>lcm(24,15,7,154,812);
267960
(3)(12241913785205210313897506033112067347143)(3331)
Nh− vËy, ta ®· t×m ®−îc "cña hiÕm" - mét sè nguyªn tè lín (trªn 40 ch÷ sè !!!).
Muèn thiÕt lËp l¹i tÝch cña c¸c thõa sè nµy ta dïng lÖnh bung tÝch trªn ra
(Maple hiÓu ngÇm ®Þnh ký hiÖu (%) lµ chØ biÓu thøc ngay tr−íc ®ã, trong c¸c phiªn
b¶n cò ký hiÖu nµy lµ dÊu nh¸y kÐp):
[>expand(%);
122333444455555666666777777788888888999999999
122333444455555666666777777788888888999999893
T×m sè nguyªn tè ®øng sau sè nguyªn a cho tr−íc b»ng lÖnh nextprime(a);
ThÝ dô:
[>nextprime(122333444455555666666777777788888888999999999
);
122333444455555666666777777788888889000000069
15
vars - tËp c¸c tªn biÕn v« ®Þnh
Thñ tôc isolve gi¶i ph−¬ng tr×nh trªn tËp c¸c sè nguyªn, cho phÐp t×m mäi Èn
v« ®Þnh tham gia trong c¸c ph−¬ng tr×nh.
TËp tªn c¸c biÕn v« ®Þnh (vars) ®−îc sö dông ®Ó biÓu diÔn nghiÖm, cã gi¸ trÞ
nguyªn. NÕu ta kh«ng chØ râ c¸c biÕn nµy, hoÆc ®−a kh«ng ®ñ, th× ch−¬ng tr×nh sÏ
tù t¹o ra c¸c tªn _N1, _N2... NÕu ta khai b¸o thõa (nhiÒu h¬n sè biÕn v« ®Þnh thùc
tÕ) th× còng kh«ng sao, ch−¬ng tr×nh sÏ kh«ng ®éng ch¹m ®Õn c¸c biÕn thõa.
NÕu kh«ng cã nghiÖm nguyªn (hoÆc MAPLE kh«ng cã kh¶ n¨ng t×m nghiÖm)
th× m¸y th«ng b¸o NULL.
ThÝ dô
[>isolve(3*x-4*y=7);
{ y = 2 + 3 _N1, x = 5 + 4 _N1 }
[>isolve(x+2*y+3*z=4,{a});
{ y = _N2 , x = 4 − 3 a − 2 _N2 , z = a }
[>isolve(x+y+z=0,{a,b,c,d});
{ z = a, y = b, x = −a − b }
[>isolve(x^2+y^2=z^2,{u,v});
_N3 ( −v2 + u 2 ) _N3 ( v2 + u 2 )
{x = ,z= ,
igcd( −v + u , v + u , −2 v u )
2 2 2 2
igcd( −v + u 2, v2 + u 2, −2 v u )
2
_N3 v u
y = −2 }
igcd( −v2 + u 2, v2 + u 2, −2 v u )
16
ThÝ dô Muèn t×m phÇn d− cña 23 cho 4 ta dïng lÖnh
[>irem(23,4,'q');
3
Ng−îc l¹i, ta cã thÓ thùc hiÖn c¸c lÖnh sau ®Ó ®¹t cïng môc ®Ých
[>iquo(23,4,'r');
5
[>r;
3
[>irem(23,-4);
3
[>iquo(-23,-4);
5
[>irem(x,3);
irem( x, 3 )
17
ThÝ dô T×m c«ng thøc cho hµm f(k) theo c«ng thøc truy håi
f( n ) = −3 f( n − 1 ) − 2 f( n − 2 )
NÕu muèn cã c«ng thøc cña f(k) víi gi¸ trÞ ban ®Çu cho tr−íc th× ta ph¶i khai b¸o
gi¸ trÞ Êy vµo eqns
[>rsolve({f(n)=-3*f(n-1)-2*f(n-2),f(1..2)=1},{f});
{ f( n ) = −3 ( -1 )n + ( -2 )n }
[>simplify(%);
( −n ) ( −n )
4 5 2n ( ( 5 + 1 ) ( -1 )n − ( 5 − 1 ) )
{ f( n ) = − }
5 ( 5 − 1) ( 5 + 1)
ln( 2 ) + 1
ln( n )
ln( 3 ) ln( 3 )
ln( 2 ) ln( 2 ) 2
f( 1 ) n +n − 3
15 + 10
Muèn cã c«ng thøc t−êng minh cña biÓu thøc truy håi ta ph¶i lµm hai b−íc sau
B−íc 1. G¸n tªn cho biÓu thøc truy håi
18
B−íc 2. T×m c«ng thøc tæng qu¸t b»ng lÖnh rsolve.
ThÝ dô Gi¶i ph−¬ng tr×nh
f( n + 1 ) = 3 f( n ) − 2 f( n − 1 )
víi ®iÒu kiÖn ban ®Çu
f( 1 ) = 2, f( 2 ) = 3
B−íc 1. G¸n tªn reqn (ph−¬ng tr×nh truy håi) cho biÓu thøc truy håi ®· cho
[>reqn:=f(n+1)=3*f(n)-2*f(n-1);
reqn := f( n + 1 ) = 3 f( n ) − 2 f( n − 1 )
B−íc 2. Gi¶i ph−¬ng tr×nh víi ®iÒu kiÖn ban ®Çu f(1)=2,f(2)=3
[>rsolve({reqn,f(1)=2,f(2)=3},f(n));
1 n
2 +1
2
KÕt qu¶ tÝnh to¸n truy håi cã thÓ cho ta mét hµm ®Æc biÖt.
ThÝ dô T×m y (n) , biÕt y( n ) = n y( n − 1 ) , y( 0 ) = 1
[>rsolve({y(n) = n*y(n-1), y(0)=1}, y);
Γ( n + 1 )
Trong ®ã Γ(.) lµ hµm GAMMA ®· quen biÕt trong Gi¶i tÝch To¸n häc.
Maple cã thÓ gi¶i ph−¬ng tr×nh truy håi phi tuyÕn.
ThÝ dô Gi¶i ph−¬ng tr×nh truy håi
y( n ) y( n − 1 ) + y( n ) − y( n − 1 ) = 0, y( 0 ) = a
[>rsolve({y(n)*y(n-1)+y(n)-y(n-1)=0,y(0)=a},y);
a
1+na
19
[>rsolve({y(n+1)+f(n)=2^(n+1)+n,f(n+1)-y(n)=n-2^n+3,
y(k=1..5)=2^k-1,f(5)=6},{y, f});
{ y( n ) = 2n − 1, f( n ) = n + 1 }
3.141592653589793238462643383279502884197169399375105820974944
5923078164062862089986280348253421170679821480865132823066470
9384460955058223172535940812848111745028410270193852110555964
4622948954930381964428810975665933446128475648233786783165271
2019091456485669234603486104543266482133936072602491412737245
8700660631558817488152092096282925409171536436789259036001133
0530548820466521384146951941511609433057270365759591953092186
1173819326117931051185480744623799627495673518857527248912279
381830119491
Muèn tÝnh sè e ta h·y l−u ý r»ng Maple coi nã lµ gi¸ trÞ cña hµm sè mò exp(x)
t¹i ®iÓm x=1.
ThÝ dô TÝnh sè e víi ®é chÝnh x¸c lµ 40 ch÷ sè
[>evalf(exp(1.0),40);
2.718281828459045235360287471352662497757
Maple hiÓu vµ lµm viÖc trªn tÊt c¶ c¸c hµm ®Æc biÖt mµ chóng ta cã trong gi¸o tr×nh
gi¶i tÝch.
ThÝ dô TÝnh gi¸ trÞ cña hµm Gamma t¹i ®iÓm 2.5,
[>evalf(GAMMA(2.5));
1.329340388
Chó ý Ch÷ GAMMA trong dßng lÖnh lµ tªn riªng chØ hµm sè ga-ma (®· biÕt trong
ch−¬ng tr×nh gi¶i tÝch) nªn ph¶i viÕt hoa theo ®óng tªn qui ®Þnh cña hµm sè nµy.
20
TÝnh gi¸ trÞ cña biÓu thøc sè häc
TÝnh chÝnh x¸c c¸c phÐp to¸n sè häc lµ kh¶ n¨ng m¹nh cã tÝnh nguyªn t¾c cña
MAPLE.
C¸c phÐp chia vµ khai c¨n trong tÝnh to¸n kh«ng bÞ ®æi sang c¸c ph©n sè thËp
ph©n (gÇn ®óng) t−¬ng ®−¬ng. Kh¶ n¨ng nµy cho phÐp tr¸nh ®−îc sai sè khi lµm
trßn.
230 3
ThÝ dô BiÓu thøc kh«ng bÞ ®æi sang sè thËp ph©n mµ vÉn gi÷ nguyªn gi¸
320
trÞ ®óng cña nã:
[>(2^30/3^20)*sqrt(3);
1073741824
3
3486784401
Tuy nhiªn, MAPLE cã ®Çy ®ñ kh¶ n¨ng cung cÊp gi¸ trÞ xÊp xØ cña biÓu thøc nµy
d−íi d¹ng sè thËp ph©n víi dÊu chÊm ®éng (víi ®é chÝnh x¸c tuú ý ta chän, mÆc
®Þnh lµ 10 ch÷ sè thËp ph©n). Muèn lµm ®iÒu nµy ta dïng lÖnh lÖnh evalf(.)
(®¸nh gi¸ biÓu thøc trªn ®©y), cô thÓ lµ:
[>evalf(%);
.5333783739
Trong ®ã (%) lµ kÝ hiÖu “biÓu thøc tr−íc ®ã”, mµ trong c¸c phiªn b¶n Maple tõ
R4 trë vÒ tr−íc th−êng ®−îc k hiÖu lµ (“).
21
10
1+ i
ThÝ dô Muèn tÝnh tæng ∑1+ i
i =1
4
, b¹n h·y vµo hai lÖnh sau vµ Ên "Enter", m¸y sÏ
1 +i
10
∑
i=1 1 + i4
[>value(%);
51508056727594732913722
40626648938819200088497
[>value(%);
1 2
π
6
Chó ý Muèn cã kÕt qu¶ nhanh, b¹n thay ch÷ S (hoa) trong ch÷ "Sum" b»ng ch÷ s
th−êng, m¸y sÏ ®−a ta ®Õn th¼ng ®¸p sè (bá qua c«ng ®o¹n biÓu diÔn c«ng thøc) .
[>sum( 1/(k^2),k = 1..infinity);
1 2
π
6
Chó ý Bµi to¸n 2 chÝnh lµ bµi to¸n tÝnh tæng cña chuçi, mét bµi to¸n khã trong gi¶i
tÝch to¸n häc vµ ta sÏ cã dÞp thùc hµnh kü h¬n trong phÇn tÝnh to¸n thùc hµnh víi bé
m«n Gi¶i tÝch.
22
10
i 2 + 3i − 11
ThÝ dô Muèn tÝnh tÝch ∏
i= 0 i+3
ta vµo hai lÖnh sau vµ Ên "Enter", m¸y sÏ cho
+ 3 i − 11
10 2
∏i i +3
i=0
[>value(%);
-7781706512657
40435200
∞
1
ThÝ dô Muèn tÝnh nhanh tÝch ∏ 1 − n
n= 2
2
ta vµo lÖnh sau (dïng "product" thay cho
"Product") vµ Ên "Enter", m¸y sÏ cho ngay ®¸p sè (bá qua c«ng ®o¹n biÓu diÔn
b»ng c«ng thøc),
[>product((1-1/n^2),n=2..infinity) ;
1
2
NhËn xÐt: TÝch v« h¹n liªn quan mËt thiÕt víi tæng v« h¹n vµ cã nhiÒu c«ng thøc
thó vÞ. Dïng MAPLE, b¹n cã thÓ dÔ dµng tÝnh ®−îc c¸c tÝch ®ã.
∞
1
ThÝ dô (C«ng thøc Euler ) TÝnh ∏ 1 − 4 n 2
n=1
[>product(1-1/(4*n^2),n = 1 .. infinity) ;
2
π
23
B»ng lÖnh "biÕn ®æi f vÒ d¹ng to¹ ®é cùc" convert(f,polar) b¹n cã thÓ dÔ
dµng biÕn ®æi sè phøc f vÒ d¹ng to¹ ®é cùc (r,θ), trong ®ã r lµ m«®un vµ θ lµ
argumen cña sè phøc trong biÓu thøc.
[>convert((3+5*I)/(7+4*I),polar);
1 23
polar 2210, arctan
65 41
24
[>12 mod 7;
5
[>modp(12,7);
5
[>mods(12,7);
-2
[>5*3 mod 7;
1
[>11+5*3 mod 7;
5
[>(11+5*3)^(-1) mod 7;
3
[>1/(11+5*3) mod 7;
3
[>1/3 mod 7;
5
Khi biÓu thøc e kh«ng ph¶i lµ mét sè, mµ lµ mét ®a thøc th× phÐp lÊy modul cña
nã ®−îc hiÓu lµ phÐp lÊy modul cña tÊt c¶ c¸c hÖ sè cña ®a thøc.
ThÝ dô TÝnh
[>a := 15*x^2+4*x-3 mod 11;
a := 4 x2 + 4 x − 3
Nh− ®· nãi, theo mÆc ®Þnh th× phÐp lÊy modul lu«n sö dông biÓu diÔn d−¬ng
(modp). Muèn chuyÓn sang dïng biÓu diÔn ®èi xøng th× ta dïng lÖnh
[>`mod` := mods:
[>b := 3*x^2+8*x+9 mod 11;
25
b := 3 x2 − 3 x − 2
vµ lÖnh nµy chØ cã hiÖu lùc trong côm xö lý cã nã tham gia mµ th«i. ThËt vËy:
[>3*x^2+8*x+9 mod 11;
3 x2 + 8 x + 9
C¸c phÐp to¸n kh¸c: t×m −íc sè chung lín nhÊt, ph©n tÝch ra thõa sè (víi c¶ sè
vµ ®a thøc),... còng ®−îc thùc hiÖn theo ph−¬ng thøc th«ng th−êng (ngo¹i trõ mét
kh¸c biÖt nhá lµ c¸c lÖnh trong phÐp tÝnh víi modul ®−îc b¾t ®Çu víi ch÷ hoa). Mét
®iÒu dÔ nhËn ra lµ kÕt qu¶ cña phÐp tÝnh theo modul lu«n "kh¸c th−êng". ThÝ dô:
[>gcd(a,b);
1
[>factor(x^3+2);
x3 + 2
[>Factor(x^3+2) mod 5;
( x2 + 2 x − 1 ) ( x − 2 )
[>Expand(%) mod 5;
x3 + 2
26
b»ng c¸c tªn mÆc ®Þnh toµn côc _NN1, _NN2, _NN3,.. Nh÷ng tªn nµy kh«ng
trïng víi c¸c Èn v« ®Þnh vµ ®−îc phÐp lÊy mäi gi¸ trÞ nguyªn.
ThÝ dô
[>msolve({3*x-4*y=1,7*x+y=2},19);
{ x = 15, y = 11 }
[>msolve(2^i=3,z,19);
{ i = 13 + 18 z }
[>msolve(8^i=2,17);
{ i = 3 + 8 _NN1~ }
[>msolve(8^i=2,u,17);
{i = 3 + 8 u}
[>msolve(sum(x[i],i=1..9),3 );
2.1.5. Khai triÓn, ®¬n gi¶n vµ ph©n tÝch biÓu thøc ®¹i sè
Khai triÓn biÓu thøc ®¹i sè
MAPLE cã thÓ khai triÓn c¸c nhÞ thøc.
ThÝ dô Khai triÓn nhÞ thøc ( x + y )15 . C«ng viÖc nµy ®−îc tiÕn hµnh nh− sau:
B−íc 1. §−a vµo dßng lÖnh g¸n tªn cho biÓu thøc cÇn khai triÓn:
[>expr:=(x+y)^15;
Trong ®ã expr lµ viÕt t¾t cña ch÷ " biÓu thøc", dÊu ":= " thay cho ®Þnh nghÜa (v×
vËy, dßng lÖnh trªn cã nghÜa nh− lµ : "biÓu thøc expr ®−îc ®Þnh nghÜa b»ng
(x+y)^15 " ).
Sau khi cho thùc hiÖn lÖnh, m¸y hiÖn biÓu thøc mµ ta sÏ khai triÓn, tøc lµ
27
expr := ( x + y )15
x15 + 15 yx14 + 105 y 2 x13 + 455 y 3 x12 + 1365 y 4 x11 + 3003 y 5 x10 + 5005 y 6 x9
+6435 y 7 x8 + 6345 y 8 x 7 + 5005 y 9 x 6 + 3003 y10 x5 + 1365 y11 x 4 + 455 y12 x3
+105 y13 x 2 + 15 y14 x + y15
b»ng lÖnh
[>factor(x^4-10*x^3+35*x^2-50*x+24);
(x − 1) (x − 2) (x − 3) (x − 4)
Chó ý §a thøc ®¹i sè lu«n ®−îc hiÓu lµ cã hÖ sè nguyªn, cho nªn m¸y chØ t×m
nh÷ng thõa sè lµ ®a thøc nguyªn mµ th«i. Muèn t×m nh÷ng ®a thøc kh«ng nguyªn
th× tèt nhÊt lµ dïng c¸ch gi¶i ph−¬ng tr×nh ®Ó t×m nghiÖm. C¸c tÝnh to¸n nµy sÏ
®−îc xem xÐt sau.
ta dïng lÖnh:
[>simplify(cos(x)^5+sin(x)^4+2*cos(x)^2-2*sin(x)^2-
cos(2*x));
Sau khi cho thùc hiÖn lÖnh m¸y hiÖn biÓu thøc ®· ®¬n gi¶n lµ
cos( x )5 + cos( x )4 .
28
Tèi gi¶n ph©n thøc
Tèi gi¶n ph©n thøc còng lµ ®−a nã vÒ d¹ng chuÈn t¾c (normal), tøc lµ gi¶n −íc
c¸c thõa sè chung cña tö sè vµ mÉu sè. Muèn lµm viÖc nµy ta sö dông lÖnh
normal . ThÝ dô, ta tèi gi¶n ph©n thøc
x3 − y3
x2 + x − y − y2
vµ sau ®ã ta cã thÓ tho¶i m¸i tiÕn hµnh mäi phÐp to¸n trªn nã.
ThÝ dô, ta cã thÓ khai triÓn nã b»ng lÖnh expand vµ, cïng mét lóc, l¹i cã thÓ
g¸n cho biÓu thøc kÕt qu¶ mét c¸i tªn kh¸c, thÝ dô nh− lµ expr2 (biÓu thøc 2), víi
lÖnh:
[>expr2:=expand(expr1);
vµ cã thÓ thiÕt lËp ph©n thøc víi tö sè lµ mét ®a thøc nµo ®ã (thÝ dô : x 2 + x + 1 vµ
mÉu sè lµ biÓu thøc trªn, víi lÖnh:
[>phanthuc:=(x^2+x+1)/expr2;
x2 + x + 1
phanthuc :=
3362 x 5 − 1517 x 4 + 84 x 3 − 79 x 2 − 1
29
Muèn g¸n mét gi¸ trÞ cho biÕn cña mét biÓu thøc ta dïng lÖnh subs (viÕt t¾t cña tõ
substitution - thay thÕ), thÝ dô ta cã thÓ tÝnh gi¸ trÞ cña biÓu thøc 2 t¹i x = 1
b»ng lÖnh g¸n cho biÕn x gi¸ trÞ b»ng 1, cô thÓ lµ:
[>subs (x=1, phanthuc);
3
1849
DÜ nhiªn, gi¸ trÞ ®−îc g¸n cho biÕn sè còng cã thÓ lµ mét biÓu thøc (vµ khi Êy ý
nghÜa cña tõ "thay thÕ" cµng trë nªn s¸ng tá), thÝ dô
[>subs(x=x+y,phanthuc);
( x + y )2 + x + y + 1
3362 ( x + y )5 − 1517 ( x + y )4 + 84 ( x + y )3 − 79 ( x + y )2 − 1
ChuyÓn ®æi biÓu thøc võa khai b¸o vÒ d¹ng tæng c¸c ph©n thøc riªng:
[>convert(my_expr,parfrac,x);
1 b 1 16 a + 9 b 1 a + b
− −
4 x 28 3 x + 4 7 x−1
Ta còng cã thÓ biÓu diÔn hµm cot(x) qua d¹ng hµm sè mò (exp)
[>convert(cot(x),exp);
2
(I x )
I ((e ) + 1)
2
(I x )
(e ) −1
30
2.1.6. §Þnh nghÜa hµm sè
Hµm sè th«ng th−êng
MAPLE cung cÊp nhiÒu ph−¬ng tiÖn ®Ó x¸c ®Þnh hµm sè. C¸ch thø nhÊt lµ
dïng ký hiÖu mòi tªn ->, gièng nh− kÝ hiÖu to¸n häc th«ng th−êng.
1
ThÝ dô Muèn x¸c ®Þnh hµm sè x → x2 + ta ®−a vµo lÖnh sau:
2
[>f:=x->x^2+1/2;
1
f := x → x2 +
2
1
NghÜa lµ: " Hµm f ¸nh x¹ x vµo x 2 + ".
2
Sau khi ®· ®Þnh nghÜa, ta cã thÓ tÝnh gi¸ trÞ cña hµm f t¹i c¸c ®iÓm tuú ý (lµ sè
x = 2 hoÆc lµ ký hiÖu h×nh thøc ( x = a + b ) b»ng c¸c lÖnh sau:
[>f(2);
9
2
[>f(a+b);
1
( a + b )2 +
2
Mét ®iÓm kh¸c c¬ b¶n gi÷a ®Þnh nghÜa hµm sè nh− trªn vµ phÐp g¸n tªn (ë môc
tr−íc) lµ gi¸ trÞ cña hµm sè ®−îc tÝnh trùc tiÕp (chø kh«ng ph¶i b»ng lÖnh thay thÕ).
Còng cã thÓ sö dông lÖnh unapply ®Ó chuyÓn mét biÓu thøc vÒ hµm sè
[>g:=unapply(x^2+1/2,x);
1
g := x → x2 +
2
L−u ý r»ng ®©y còng kh«ng ph¶i lµ lÖnh g¸n tªn cho biÓu thøc, v× trong lÖnh g¸n tªn
kh«ng cã ch÷ unapply, vµ kÕt qu¶ cña lÖnh g¸n tªn kh«ng cã mòi tªn ¸nh x¹ tõ
x ( x -> BiÓu thøc).
31
phó vµ ®a d¹ng lµ chia miÒn x¸c ®Þnh ra mét sè m¶nh, trªn mçi m¶nh ta cho hµm
nhËn gi¸ trÞ cña mét hµm nµo ®ã ®· biÕt tr−íc. C¸c hµm nh− vËy th−êng ®−îc gäi lµ
hµm tõng khóc. Nã ®−îc x¸c ®Þnh b»ng lÖnh piecewise(.).
ThÝ dô Hµm tõng khóc:
x − 1 x ≤ -1
2
1− x x≤1
f :=
sin( x − 1 )
otherwise
x
®−îc x¸c ®Þnh b»ng lÖnh
[>f:=piecewise(x<=-1,x^2-1,x<=1,-abs(x)+1,sin(x-1)/x);
Sau khi cho thùc hiÖn lÖnh, ta sÏ ®−îc c«ng thøc nh− ë trªn.
a x2 13 x2 13 a x 10 x 5 a
x3 − + = + −
2 3 6 3 3 .
B−íc 1. Sö dông lÖnh eqn:= ®Ó x¸c ®Þnh ph−¬ng tr×nh cÇn gi¶i:
[>eqn:=x^3-a*x^2/2+13*x^2/3=13*a*x/6+10*x/3-5*a/3;
1 13 13 10 5
eqn := x3 − a x2 + x2 = a x + x − a
2 3 6 3 3
Ta cã thÓ chØ dïng mét lÖnh solve (gi¶i) vµ cã ngay ®¸p sè.
ThÝ dô Gi¶i ph−¬ng tr×nh chøa dÊu gi¸ trÞ tuyÖt ®èi (abs):
(( z + z + 2 ) 2 − 1) 2 = 9
[>solve(abs((z+abs(z+2))^2-1)^2=9,{z});
{ z = 0 }, { z ≤ -2 }
32
ThÝ dô Gi¶i ph−¬ng tr×nh l−îng gi¸c
[>solve(arccos(x)-arctan(x)=0,{x});
1
{x = −2 + 2 5 }
2
33
[>eqn1:=a+2*b+3*c+4*d+5*e=41;
eqn1 := a + 2 b + 3 c + 4 d + 5 e = 41
[>eqn2:=5*a+5*b+4*c+3*d+2*e=20;
eqn2 := 5 a + 5 b + 4 c + 3 d + 2 e = 20
[>eqn3:=3*b+4*c-8*d+2*e=125;
eqn3 := 3 b + 4 c − 8 d + 2 e = 125
[>eqn4:=a+b+c+d+e=9;
eqn4 := a + b + c + d + e = 9
[>eqn5:=8*a+4*c+3*d+2*e=11;
eqn5 := 8 a + 4 c + 3 d + 2 e = 11
Còng cã thÓ gi¶i bÊt ph−¬ng tr×nh qua 2 b−íc (víi mét b−íc x¸c ®Þnh ph−¬ng tr×nh)
4
ThÝ dô Gi¶i bÊt ph−¬ng tr×nh theo Èn x (víi tham sè m ): x + m + < 10
+
x m
[>ineq:=(x+m+4/(x+m)<10);
4
ineq := x + m + < 10
x+m
34
[>solve(ineq,{x});
MAPLE cã thÓ xÐt c¸c bÊt ph−¬ng tr×nh phøc vµ tÝnh gi¸ trÞ Bool cña biÓu thøc nhê
sö dông lÖnh is (lµ)
expr := 2 −1 − I −1 + I
[>is(expr=0);
false
35
Trong ®ã c¸c tham biÕn biÓu thÞ r»ng ta vÏ phÇn ®å thÞ cña hµm f ( x) n»m trong
h×nh ch÷ nhËt lµ tÝch §Ò-c¸c cña miÒn x¸c ®Þnh [a,b] vµ miÒn gi¸ trÞ [c,d] , vµ
ngoµi ra cßn chua thªm trong b¶n vÏ mÈu tiªu ®Ò "abcd". (NÕu kh«ng cho gi¸ trÞ
cña tham sè c, d th× ch−¬ng tr×nh sÏ tù ®éng x¸c ®Þnh miÒn gi¸ trÞ cña hµm (¶nh
cña miÒn x¸c ®Þnh ®· cho) vµ g¸n gi¸ trÞ biªn cña miÒn nµy vµo cho c¸c tham sè
c, d )
ThÝ dô VÏ ®å thÞ hµm sè y = x2 sin(x)+x trªn ®o¹n [-4,4] b»ng lÖnh
[>plot(x^2*sin(x)+x,x=-4..4);
Cã thÓ vÏ ®å thÞ cña nhiÒu hµm (trªn cïng mét miÒn x¸c ®Þnh vµ miÒn gi¸ trÞ),
vµ cho mçi ®å thÞ mét mÇu kh¸c nhau.
ThÝ dô VÏ ®å thÞ cña 2 hµm y = x 2 (mµu ®á) vµ y = sin( x) (mµu xanh) trong
miÒn x¸c ®Þnh lµ ®o¹n [-2, 2] :
[>plot([x^2,sin(x)],x=-2..2,color=[red,blue]);
Cã thÓ kh¼ng ®Þnh r»ng Maple vÏ ®−îc mäi ®å thÞ cña hµm sè cho bëi biÓu thøc
gi¶i tÝch, kÓ c¶ hµm tõng khóc lÉn hµm chøa gi¸ trÞ tuyÖt ®èi. Tuy nhiªn, cÇn ph¶i
l−u ý r»ng nã th−êng tù ®éng nèi tÊt c¶ c¸c ®iÓm víi nhau thµnh ®−êng liÒn, kÓ c¶
sin( x + x 2 )
t¹i nh÷ng ®iÓm mµ hµm gi¸n ®o¹n. ThÝ dô, hµm sè f ( x) = chøa dÊu gi¸
x
trÞ tuyÖt ®èi ë mÉu sè vµ gi¸n ®o¹n t¹i ®iÓm x = 0.
sin( x + x 2 )
ThÝ dô VÏ ®å thÞ hµm f ( x) = b»ng lÖnh
x
36
[>plot(sin(x+x^2)/abs(x),x=-2..2);
Muèn tr¸nh t×nh tr¹ng ®å thÞ bÞ nèi liÒn trong tr−êng hîp hµm gi¸n ®o¹n ta ®−a vµo
tham sè "discont=true", cô thÓ lµ
[>plot(sin(x+x^2)/abs(x),x=-2..2,discont=true);
VÏ ®å thÞ hµm Èn
Mét líp hµm thó vÞ lµ líp c¸c hµm Èn, ®−îc cho bëi mét ph−¬ng tr×nh 2 Èn:
f ( x, y ) = 0 . D−íi mét sè ®iÒu kiÖn nhÊt ®Þnh, ph−¬ng tr×nh nµy x¸c ®Þnh mét hµm
sè y = h( x) . Tuy nhiªn ta cã thÓ vÏ ®å thÞ cña hµm nµy (mµ kh«ng cÇn gi¶i ph−¬ng
tr×nh) b»ng lÖnh implicitplot (l−u ý lµ lÖnh chØ lµm viÖc sau khi n¹p gãi
ch−¬ng tr×nh vÏ with(plots), xin ®õng quªn). Có ph¸p tæng qu¸t lµ:
[>implicitplot(f(x,y)=0, x=a..b,y=c..d);
ThÝ dô VÏ ®−êng cong x 2 − y 2 − x 4 + y 3 = 0 b»ng lÖnh
[>implicitplot(x^2-y^2-x^4+y^3=0, x=-1..1,
y=-0.5..1.5);
37
CÇn l−u ý r»ng c¸c tÝnh to¸n xÊp xØ th−êng chØ cho ta mét h×nh ¶nh gÇn ®óng víi
thùc tÕ. Khi cho ®é chÝnh x¸c cµng cao th× h×nh ¶nh cµng trung thùc, nh−ng thêi
gian tÝnh to¸n sÏ cµng l©u, cho nªn ng−êi ta th−êng chän chÕ ®é mÆc ®Þnh lµ ®é
chÝnh x¸c "võa ph¶i". Trong thÝ dô trªn, víi chÕ ®é chÝnh x¸c mÆc ®Þnh ta thÊy ®å
thÞ gåm 2 phÇn rêi nhau, kh«ng dÝnh nhau t¹i ®iÓm (0,0), mÆc dï râ rµng vÒ mÆt lý
thuyÕt nã ph¶i ®i qua ®iÓm nµy. Muèn cã h×nh vÏ trung thùc h¬n, ta cÇn t¨ng ®é
chÝnh x¸c lªn cao h¬n (b»ng tuú chän ®Æt sè ®iÓm vÏ nhiÒu h¬n, xem thªm phÇn
giíi thiÖu vÒ c¸c tuú chän trong lÖnh vÏ ®å thÞ). Trong thÝ dô nµy, nÕu ta sö dông
tuú chän numpoints=1000 th× sÏ thu ®−îc kÕt qu¶ nh− ý. Ng−êi ®äc h·y tù m×nh
thùc hiÖn lÖn sau ®Ó xem kÕt qu¶
[>implicitplot(x^2-y^2-x^4+y^3=0, x=-1..1, y=-0.5..1.5,
numpoints=1000);
Hµm hiÓn y = f( x ) còng cã thÓ ®−îc xem lµ mét tr−êng hîp riªng cña hµm Èn (v×
cã thÓ viÕt thµnh y − f( x ) = 0 ), cho nªn lÖnh vÏ ®å thÞ hµm Èn còng cã thÓ ®−îc
dïng ®Ó vÏ ®å thÞ hµm hiÓn.
Râ rµng, tÊt c¶ c¸c ®−êng cong quen biÕt trong bé m«n H×nh gi¶i tÝch (ph¼ng)
®Òu ®−îc cho bëi c¸c ph−¬ng tr×nh 2 Èn bËc 2, cho nªn lÖnh vÏ ®å thÞ hµm Èn cho
phÐp vÏ mét c¸ch dÔ dµng tÊt c¶ c¸c ®−êng cong lo¹i nµy.
x2 y 2
ThÝ dô VÏ Ellip + = 1 còng chÝnh lµ vÏ ®å thÞ mét hµm Èn. Ta vµo lÖnh:
4 9
[>implicitplot(x^2/9 +y^2/4 =1,x=-4..4,y=-2..2);
38
[>plot([sin(t),cos(t),t=-Pi..Pi]);
vµ ch¼ng khã kh¨n l¾m ta còng cã thÓ ph¸t hiÖn ra sai kh¸c c¬ b¶n trong 2 dßng
lÖnh trªn lµ ë viÖc dïng dÊu ngoÆc vu«ng ®Ó nhãm c¸c hµm. C¸ch thø nhÊt biÓu thÞ
2 hµm riªng biÖt cã chung mét miÒn x¸c ®Þnh, vµ khi thùc hiÖn lÖnh nµy ta cã b¶n
vÏ 2 ®å thÞ d−íi ®©y:
[>plot([sin(t),cos(t)], t=-Pi..Pi);
C¸ch thø 2 biÓu diÔn mét hµm d−íi d¹ng tham sè (b»ng c¸c hµm t−¬ng øng víi
tõng to¹ ®é), vµ khi thùc hiÖn lÖnh nµy ta thu ®−îc:
[>plot([sin(t),cos(t),t=-Pi..Pi]);
range lµ tham biÕn x¸c ®Þnh vïng vÏ ®å thÞ. Th«ng th−êng nã ®−îc cho bëi c¸c
®o¹n sè thùc h÷u h¹n (nh− ta ®· thÊy trong c¸c thÝ dô trªn). Còng ®«i khi nã chÊp
nhËn c¶ c¸c kho¶ng v« cïng, vµ khi Êy tû lÖ kÝch th−íc ë mét sè vïng cña b¶n vÏ sÏ
buéc ph¶i (tù ®éng) thay ®æi sao cho phï hîp víi c¸ch biÓu diÔn trong b¶n vÏ.
ThÝ dô LÖnh
[>plot(sin(x), x=0..infinity);
cho ta b¶n vÏ víi tû lÖ kÝch th−íc (däc theo trôc x) co rÊt m¹nh khi tiÕn ra v« vïng.
39
Trong tr−êng hîp ta bá qua tham biÕn range th× ch−¬ng tr×nh tù ®éng lÊy gi¸ trÞ
mÆc ®Þnh lµ x=-10..10
options lµ tæ hîp cña nh÷ng tuú chän hÕt søc phong phó. Mçi kh¶ n¨ng tuú chän
®−îc cho d−íi d¹ng mét ®¼ng thøc víi vÕ tr¸i lµ mét c¸i tªn vµ vÕ ph¶i lµ mét gi¸
trÞ. Cô thÓ lµ:
1) ViÖc cho Èn hoÆc hiÓn thÞ c¸c trôc cña hÖ to¹ ®é (d−íi c¸c d¹ng kh¸c nhau)
®−îc thùc hiÖn b»ng tuú chän axes víi 1 trong 4 gi¸ trÞ cã thÓ chÊp nhËn ®−îc lµ
none, normal, boxed, frame.
2) ViÖc t« mµu cho ®å thÞ ®−îc thùc hiÖn bëi tuú chän color víi c¸c gi¸ trÞ lµ
tªn c¸c mµu th«ng dông nh−: red, blue, green,...
3) Chän lo¹i ®−êng (liÒn, hay ®øt ®o¹n) ®Ó biÓu diÔn ®å thÞ b»ng tuú chän
linestyle víi c¸c gi¸ trÞ lµ c¸c sè tù nhiªn (0 vµ 1 cho biÓu diÔn ®−êng liÒn, 2 cho
®−êng ®øt ®o¹n,...).
4) Chän sè l−îng ®iÓm ®Ó sinh ®å thÞ b»ng tuú chän numpoints víi gi¸ trÞ lµ
sè tù nhiªn. Theo mÆc ®Þnh, numpoints = 50. §iÒu nµy cã nghÜa lµ sè l−îng ®iÓm
®Ó sinh ®å thÞ kh«ng thÓ Ýt h¬n lµ 50. (Sè l−îng ®iÓm sinh thùc tÕ th−êng lín h¬n
h¼n sè ®iÓm tèi thiÓu mµ ta qui ®Þnh trong tuú chän nµy, nhÊt lµ khi ®å thÞ cã ®é
cong lín). Khi sè ®iÓm qui ®Þnh cµng lín th× ®å thÞ cµng chÝnh x¸c, nh−ng còng ®ßi
hái thêi gian tÝnh to¸n cµng nhiÒu.
5) Tuú chän style cho phÐp ta biÓu diÔn ®å thÞ b»ng line (®−êng) hay point
(®iÓm). Trong tr−êng hîp sau ta tiÕp tôc dïng tuú chän symbol ®Ó chän c¸ch biÓu
diÔn c¸c ®iÓm d−íi d¹ng: circle (vßng trßn), cross (g¹ch chÐo), box (hép vu«ng),
hay diamond (h¹t kim c−¬ng).
6) Tû lÖ co gi·n trªn c¸c trôc to¹ ®é ®−îc x¸c ®Þnh bëi tuú chän scaling víi
c¸c gi¸ trÞ lµ unconstrained (kh«ng bÞ rµng buéc) hoÆc constrained (bÞ rµng buéc,
tøc lµ c¸c trôc ph¶i cã cïng ®é dµi ®¬n vÞ).
7) Chän hÖ to¹ ®é ®Ó vÏ ®å thÞ b»ng tuú chän coords, mÆc ®Þnh lµ hÖ to¹ ®é §Ò
-cac, nh−ng ta còng cã thÓ chän hÖ to¹ ®é kh¸c theo ý muèn.
§Ó minh ho¹ kh¶ n¨ng biÓu diÔn ®å thÞ cña Maple qua nh÷ng chøc n¨ng tuú chän
nªu trªn, ta cho m¸y vÏ ®å thÞ hµm sè sau ®©y trong hÖ to¹ ®é cùc:
[>s := t->100/(100+(t-Pi/2)^8):
r := t -> s(t)*(2-sin(7*t)-cos(30*t)/2):
plot([r(t),t,t=-Pi/2..3/2*Pi],numpoints=2000,
coords=polar,axes=none);
40
Mét sè thÝ dô minh häa
B¹n ®äc h·y tù m×nh thùc hiÖn c¸c lÖnh d−íi ®©y ®Ó thÊy râ thªm kh¶ n¨ng ®å
ho¹ cña Maple.
[>plot(sin(1/x)*exp(-x),x=.15..1.15);
[>plot(sin(x)+sin(5*x),x=-1..4);
[>plot({sin(x),x-x^3/6+x^5/120},x=-4..4);
[>plot({sin(x),x-x^3/6+x^5/120},x=-4..4, style=POINT);
[>plot(sum((-1)^i*abs(x-i/10),i=0..30),x=-1..4);
[>plot(sum((-1)^(i)*abs(x-i/10),i=0..30),x=-1..4,
numpoints=500);
[>disp:=20*exp(-
1/20*t)*sin(1/20*399^(1/2)*t)/399^(1/2);
[>plot(disp,t=0..100);
[>plot([disp,vel,t=0..6*Pi]);
[>s:=taylor(sin(x),x=0);approx:=convert(s,ratpoly);
plot({approx,sin(x)},x=-Pi..Pi,axes=BOXED);
[>plot([sin(3*t),cos(5*t),t=0..2*Pi],axes=FRAME);
[>a:=2; b:=3; f:=(x+1)*(x-1)*(x-2)/x;
g:=f(a)+f(a)/(a-b)*x-f(a)/(a-b)*a-f(b)/
(a-b)*x+f(b)/(a-b)*a/x;
h:=f-g;
[>plot({h(x),f(x),g(x)},x=-3..4,axes=BOXED);;
[>p1:=plot(sin(x),x=-Pi..Pi,style=LINE,color=RED):
41
[>p2:=plot(cos(x),x=-Pi..Pi,style=LINE,color=BlUE):
[>p3:=plot(sin(x)+cos(x),x=-Pi..Pi, style=POINT,
color=BLACK):
[>t1:=textplot([-1,sin(-1),'sin(x)'],color=RED,
align={BELOW,RIGHT});
[>t2:=textplot([2.2,cos(2.2),'cos(x)'],color=BLUE,
align={BELOW,LEFT});
[>t3:=texplot([Pi/4,sin(Pi/4)+cos(Pi/4),
'sin(x)+cos(x)'],color=BLACK,align={ABOVE,RIGHT});
[>display([p1,t1,p2,t2,p3,t3]):
[>with(plots,polarplot);
[>polarplot({sin(t),cos(t)},t=0..3.14);
[>with(plots,conformal);
[>conformal(z^2,z=-2-2*I..2+2*I,-3-3*I..3+3*I);
[>conformal((z-1)/(z+1),z=-2-2*I..2+2*I,-3-
3*I..3+3*I,grid=[21,21],numxy=[81,81]);
42
[>plot3d(x^2*cos(y)+y^2*cos(x)-x*y*sin(y)*sin(x),
x=-10..10,y=-10..10,grid=[50,50]);
Trong ®ã tuú chän grid cho phÐp ®Æt l−íi ®iÓm thÝch hîp víi ®é chÝnh x¸c mµ ta
chän. Tuú chän nµy t−¬ng tù nh− viÖc chän sè ®iÓm vÏ (numpoints) trong khi vÏ
®−êng cong (mµ ta ®· giíi thiÖu ë phÇn trªn). Vµ trong thùc tÕ, nÕu trong lÖnh vÏ
mÆt ta ®−a vµo tuú chän numpoints th× m¸y vÉn hiÓu vµ tù ®éng sinh ra l−íi ®iÓm
(grid) vu«ng, víi sè ®iÓm trªn mçi c¹nh b»ng phÇn nguyªn cña c¨n bËc 2 cña sè
®· cho.
Muèn chÕ t¸c l¹i ®å thÞ ®· vÏ, ta kÝch chuét vµo vïng ®å thÞ, sÏ thÊy xuÊt hiÖn
thªm mét thanh c«ng cô (ngay phÝa d−íi c¸c thanh c«ng cô s½n cã trªn giao diÖn
cña Maple). Ta cã thÓ dÔ dµng thay ®æi gãc nh×n, mµu s¾c, ¸nh s¸ng vµ nhiÒu thuéc
tÝnh kh¸c cña ®å thÞ nhê thanh c«ng cô míi hiÖn ra nµy.
T¹i nh÷ng ®iÓm hµm tiÕn ra v« cùc, ®å thÞ ®−îc biÓu diÔn nh− nh÷ng c¸i gai.
( x3 − 3 x y2 + 2 ) x + y ( 3 x2 y − y3 )
ThÝ dô MÆt cong z = 2 2
cã mét sè ®iÓm cùc (t¹i ®ã
( x3 − 3 x y2 + 2 ) + ( 3 x2 y − y3 )
hµm tiÕn ra v« cïng). DÔ thÊy r»ng mÆt cong nµy liªn quan mËt thiÕt tíi ®−êng cong
®¹i sè ta ®· vÏ trong thÝ dô trªn (chÝnh x¸c h¬n, ®−êng cong ®¹i sè chÝnh lµ mét
1
®−êng møc cña mÆt cong nµy, t−¬ng øng víi gi¸ trÞ z = − ). Nh− vËy, Maple cho
6
mét c¸ch nh×n bao qu¸t h¬n vÒ ®−êng cong ®¹i sè.
[>plot3d(((x^3-3*x*y^2+2)*x+y*(3*x^2*y-y^3))/((x^3-
3*x*y^2+2)^2+(3*x^2*y-y^3)^2),x=-3..3,y=-3..3,
grid=[50,50]);
43
Cã thÓ vÏ nhiÒu mÆt cong trªn mét b¶n vÏ. Maple cã thÓ tÝnh tÊt c¶ c¸c nÐt
khuÊt do c¸c ®å thÞ che nhau.
cos( x 2 + y 2 ) 1 2x2 + y2
ThÝ dô VÏ 2 mÆt cong c¾t nhau z = ;z = −
x2 3 19
1+
8
[>plot3d({sin(sqrt(x^2+3*y^2))/(1+x^2/8),1/2-
(2*x^2+y^2)/19},x=-3..3,y=-3..3,grid=[41,41],
orientation=[-26,71]);
44
®· vÏ ë trªn, víi l−îng ®−êng møc lµ 30.
[>contourplot(x^2*cos(y)+y^2*cos(x)-*y*sin(y)*sin(x),
x=-6..6,y=-6..6,grid=[40,40],contours=30);
Víi sè l−îng ®−êng møc cho tr−íc, m¸y tù ®éng sinh c¸c ®−êng møc b»ng c¸ch
ph©n ®Òu trôc z ®Ó lÊy møc, vµ v× vËy nã th−êng sinh qu¸ nhiÒu ®−êng møc t¹i n¬i
hµm t¨ng nhanh (nh− t¹i l©n cËn c¸c cùc trong mÆt cong ë vÝ dô sau), ®ång thêi bá
r¬i nhiÒu ®−êng møc t¹i c¸c vïng hµm biÕn thiªn chËm (mµ ta l¹i cã thÓ cÇn quan
t©m). Muèn tr¸nh hiÖn t−îng nµy, ta cã thÓ chØ ®Þnh trùc tiÕp tËp c¸c ®−êng møc
cÇn vÏ, th«ng qua viÖc dïng tuú chän contours = danh s¸ch c¸c møc cÇn vÏ ®−êng.
B»ng c¸ch nµy, ta cã ®−îc bøc tranh ®−êng møc kh¸ râ rµng cho mÆt cong víi 3 cùc
®· vÏ ë trªn:
[>contourplot(((x^3-3*x*y^2+2)*x+y*(3*x^2*y-
y^3))/((x^3-3*x*y^2+2)^2+(3*x^2*y-y^3)^2),x=-3..3,y=-
3..3, grid=[100,100],contours=[-1,-0.8,-0.6,-0.5,-
0.4,-0.35,-0.3,-0.25,-0.2,-0.15,-0.1666,-0.1,-
0.05,0,0.05,0.1, 0.15,0.2,-0.25,0.3,
0.33333,0.35,0.4,0.5,0.6,0.8,1]);
NÕu ®Ó ý, ta thÊy trong sè c¸c ®−êng møc cã mét ®−êng gièng nh− ®−êng cong
®¹i sè ta ®· vÏ ë trªn. §ã chÝnh lµ ®−êng møc øng víi gi¸ trÞ z=-0.1666 (tøc lµ xÊp
45
1
xØ cña gi¸ trÞ z = − ). Nh− vËy, bøc tranh ®−êng møc lµm ta cã ®−îc c¸i nh×n bao
6
qu¸t vÒ chÝnh ®−êng cong ®¹i sè vµ c¸c ®−êng xung quanh nã.
Ngoµi ra, chÝnh bøc tranh ®−êng møc còng thÓ hiÖn mét c¸ch râ rµng lµ t¹i c¸c
®iÓm cùc mÆt cong kh«ng chØ cã 1 mµ lµ 2 c¸i gai, tøc lµ hµm tiÕn ra v« cïng vÒ c¶
2 phÝa (H×nh ¶nh 3 chiÒu kh«ng thÓ hiÖn râ ngay ®iÒu nµy, nh−ng b»ng c¸ch ®æi
sang gãc nh×n thÝch hîp, ta sÏ thÊy ®óng lµ nh− vËy).
46
nhí cµng lín cµng tèt, cho nªn ta cÇn "lµm s¹ch bé nhí" tr−íc khi b¾t ®Çu c«ng
viÖc, b»ng lÖnh :
[>restart;
Sau ®ã ta n¹p c¸c gãi chøc n¨ng më réng, chuyªn dông cho vÏ ®å thÞ, b»ng c¸c
lÖnh
[>with(plots);
[>with(plottools);
ThÝ dô Ta h·y vÏ ®å thÞ hµm sè y=t*sin(t*x) khi x nhËn gi¸ trÞ trong kho¶ng [
−π ...π ], vµ quan s¸t sù thay ®æi cña ®å thÞ (mµu xanh l¸ c©y) khi t thay ®æi
trong kho¶ng [-2..2].
[>animate(t*sin(x*t),x=-Pi..Pi,t=-2..2,color=blue);
Khi cho thùc hiÖn lÖnh th× trªn mµn h×nh sÏ hiÖn ®å thÞ øng víi mét gi¸ trÞ t nµo
®ã. (L−u ý r»ng lóc nµy m¸y ph¶i lµm viÖc víi mét hä rÊt nhiÒu ®å thÞ cho nªn khèi
l−îng tÝnh to¸n lµ rÊt lín, xin h·y kiªn nhÉn nÕu tèc ®é cña m¸y tÝnh cña b¹n ch−a
ph¶i lµ cao).
NÕu b¹n sö dông c¸c phiªn b¶n Maple míi lªn th× khi di chuét vµo khu vùc ®å
thÞ vµ nhÊn nót bªn tr¸i, b¹n sÏ thÊy xuÊt hiÖn côm chøc n¨ng "multimedia" (ë ngay
phÝa d−íi c¸c thanh c«ng cô cña Maple), vµ b¹n cã thÓ sö dông c¸c nót quen thuéc
ë ®©y ®Ó ®iÒu khiÓn sù vËn ®éng cña ®å thÞ.
NÕu b¹n sö dông c¸c phiªn b¶n Maple cò h¬n th× h·y di con trá chuét lªn vïng
®å thÞ vµ bÊm nót tr¸i cho hiÖn ra khung bao ®å thÞ. BÊm nót ph¶i cña chuét cho
hiÖn ra b¶ng lÖnh ®iÒu hµnh. Muèn xem xÐt sù vËn ®éng cña ®å thÞ (theo thêi gian
t ) th× vµo chøc n¨ng Animation/ Play. Theo mÆc ®Þnh, ®å thÞ vËn ®éng 1 chu
kú (1 vßng) råi dõng l¹i. Ta cã thÓ cho nã chuyÓn ®éng liªn tôc b»ng c¸ch chän
chøc n¨ng Animation/ Continuous. Khi ®å thÞ ®ang chuyÓn ®éng mµ muèn
dõng th× còng lµm t−¬ng tù, nh−ng sö dông chøc n¨ng Animation/Stop .
Trong kh«ng gian 3 chiÒu ta còng thÓ quan s¸t sù vËn ®éng cña ®å thÞ phô
thuéc tham sè víi c¸c thñ tôc t−¬ng tù nh− trªn, chØ cã mét thay ®æi nhá lµ thay
lÖnh animate b»ng lÖnh animate3d
47
ThÝ dô Ta vÏ ®å thÞ hµm sè z = cos(tx)sin(ty ) khi x, y nhËn gi¸ trÞ trong kho¶ng
[ −π ...π ], vµ quan s¸t sù thay ®æi cña ®å thÞ khi t thay ®æi trong kho¶ng [1..2]
b»ng dßng lÖnh sau ®©y
[>animate3d(cos(t*x)*sin(t*y),x=-Pi..Pi,y=-
Pi..Pi,t=1..2);
u := [ 1, 2 ]
48
[>v := vector(3, [1,2,3])
v := [ 1, 2, 3 ]
Muèn t¹o ma trËn ta sö dông mét trong c¸c lÖnh sau ®©y:
Có ph¸p: matrix(L)
matrix(m,n)
matrix(m,n,L)
matrix(m,n,f)
matrix(m,n,lv)
Tham sè: L- b¶ng danh s¸ch (ThÝ dô 1) hoÆc b¶ng c¸c vÐc t¬ dßng cña ma trËn
(xem thÝ dô 2).
m,n - nh÷ng sè nguyªn d−¬ng (sè dßng vµ cét).
f - hµm ®−îc sö dông ®Ó t¹o c¸c phÇn tö ma trËn (xem thÝ dô 4)
lv - danh s¸ch hoÆc vÐc t¬ c¸c phÇn tö
Mét c¸ch kh¸c ®Ó t¹o ma trËn lµ dïng lÖnh array (t¹o m¶ng). Trong lÖnh
matrix, hai sè m,n chØ sè hµng vµ sè cét cña ma trËn, c¸c phÇn tö cña ma trËn
®−îc x¾p xÕp trong mét b¶ng L (trong mãc vu«ng) theo thø tù tõ tr¸i sang ph¶i,
c¸ch nhau mét dÊu phÈy (xem thÝ dô d−íi ®©y). B¶ng L cã thÓ lµ b¶ng c¸c vÐc t¬
dßng ®−îc xÕp theo thø tù t¨ng dÇn (xem thÝ dô thø hai).
VÐc t¬ ®−îc coi lµ ma trËn mét dßng, cho nªn còng cã thÓ ®Þnh nghÜa nã b»ng
mét trong c¸c lÖnh matrix, array.
ThÝ dô Muèn t¹o ma trËn vu«ng cÊp bèn mang tªn lµ A, ta dïng phÐp ®Þnh nghÜa
vµ lÖnh t¹o ma trËn matrix
[>A:=matrix(4,4,[-26,-28,89,-456,104,258,
-770,3132,40,88,-226,1109,2,1,-4,26]);
H·y l−u ý c¸c có ph¸p t¹o t¹o ma trËn kh¸c nhau trong c¸c vÝ dô d−íi ®©y:
ThÝ dô
[>matrix([[5,4],[6,3]]);
5 4
6 3
ThÝ dô
49
[>matrix(2,2,0);
0 0
0 0
ThÝ dô
[>f := (i,j) -> x^(i+j-1):
[>A := matrix(2,2,f);
x x2
A := 2
x x3
a − a + 4 a + 1 a
2
ThÝ dô T¹o ma trËn B = b»ng hµm array
a 3 + 1 a 3 + 2 4
[>B:=array([[a^2-a+4,a+1,a],[a^3+1, a^3+2,4]]);
a − a + 4 a + 1 a
2
B := 3
a + 1 a 3 + 2 4
x y z
a b c
2 1
A :=
1 2
50
[>equal(A, B);
Error, (in equal)arguments must be both matrices or
both vectors
M¸y b¸o lçi: trong equal hai ®èi sè ph¶i cïng lµ ma trËn hoÆc vÐc t¬.
So s¸nh A víi C
[>C := matrix(2,2, [2,1,1,2]);
2 1
C :=
1 2
[>equal(A, C);
true
TÝnh tæng cña hai ma trËn (lÖnh ®¸nh gi¸ ma trËn tæng)
1 −3 2 2 5 6
ThÝ dô TÝnh tæng cña hai ma trËn A = vµ B =
3 −4 1 1 2 5
B−íc 1. NhËp A
[>A:=array([[1,-3,2],[3,-4,1]]);
1 -3 2
A :=
3 -4 1
B−íc 2. NhËp B
[>B:=matrix(2,3,[2,5,6,1,2,5]);
2 5 6
B :=
1 2 5
B−íc 3. TÝnh tæng cña A vµ B b»ng lÖnh evalm (®¸nh gi¸ ma trËn)
[>A+B;
A+B
[>evalm(%);
3 2 8
4 -2 6
Nh©n ma trËn
ThÝ dô Nh©n 2 ma trËn b»ng lÖnh multiply .
51
B−íc 1. Khai b¸o ma trËn A
[>A:=array([[2,-1,3,4],[3,-2,4,-3],[5,-3,-2,1]]);
2 -1 3 4
A := 3 -2 4 -3
5 -3 -2 1
7 8 6
5 7 4
B :=
3 4 5
2 1 1
26 25 27
17 23 27
16 12 9
Ta cã thÓ nh©n nhiÒu ma trËn trong cïng mét lÖnh, m¸y sÏ thùc hiÖn phÐp nh©n
tõ tr¸i sang ph¶i.
ThÝ dô
[>A := array( [[1,2],[3,4]] ):
[>B := array( [[0,1],[1,0]] ):
[>C := array( [[1,2],[4,5]] ):
[>multiply(A, B, C);
6 9
16 23
DÜ nhiªn, ta cã thÓ nh©n ma trËn víi vect¬ (cã sè chiÒu t−¬ng thÝch).
52
u := [ 1, 2 ]
[>innerprod(u, A, v);
30
[>innerprod(v, w);
10
[>v2 := vector([2,3,4]);
v2 := [ 2, 3, 4 ]
[>crossprod(v1,v2);
[ -1, 2, -1 ]
53
thªm biÕn 'orthogonal'th× tÝch v« h−íng ®−îc tÝnh nh− lµ tæng cña c¸c tÝch
u[i]*v[i]. Trªn tr−êng sè thùc hai ®Þnh nghÜa tÝch v« h−íng trªn trïng nhau, v× liªn
hîp cña sè thùc lu«n b»ng chÝnh nã.
ThÝ dô
[>u:= vector([1,x,y]);
u := [ 1, x, y ]
[>v:= vector([1,0,0]);
v := [ 1, 0, 0 ]
[>dotprod(u,v);
1
1 2 3
A := 1 2 3
1 5 6
[>charmat(A,lambda);
λ − 1 -2 -3
-1 λ−2 -3
-1 -5 λ − 6
54
[>M:=matrix(3,3,[1,-3,3,3,-5,3,6,-6,4]);
1 -3 3
M := 3 -5 3
6 -6 4
B−íc 2. X¸c ®Þnh vÐc t¬ riªng b»ng lÖnh
[>eigenvects(M);
[ 4, 1, { [ 1, 1, 2 ] } ], [ -2, 2, { [ -1, 0, 1 ], [ 1, 1, 0 ] } ]
KÕt qu¶ cña lÖnh eigenvects ®−îc x¾p xÕp nh− sau: sè ®Çu tiªn trong mçi
mãc vu«ng cña dßng lµ gi¸ trÞ riªng, sè thø hai lµ béi ®¹i sè cña gi¸ trÞ riªng, vµ
cuèi cïng lµ tËp c¸c vÐc t¬ c¬ së cña kh«ng gian riªng øng víi gi¸ trÞ riªng ®ã. Mçi
mãc vu«ng øng víi mét gi¸ trÞ riªng cña ma trËn.
[>lambda := evalf(Eigenvals(A,vecs));
λ := [ -.8946025434, 13.74788901, 4.146713483]
[>print(vecs);
55
.946575123
v1 := -.2818195168
-.3074361518
-.8468085176 -.8468085126
.2521164474 = .2521164565
.275033148 .2750331633
[>vecs := 'vecs';
vecs := vecs
[>evalf(Eigenvals(B,vecs));
[ 9.321825413, .43 10-8, -.3218253805]
[>print(vecs);
[>C := array([[10,2,1],[-2,12,3],[1,0,8]]);
10 2 1
C := -2 12 3
1 0 8
[>evalf(Eigenvals(A,C));
[ 1.215689291, -.1061957639, .4006484610]
56
[>rank(A);
2
57
geneqns(A,x,b)
genematrix(eqns,vars)
genmatrix(eqns,vars,flag)
genmatrix(eqns,vars,b)
Tham sè: A,B - ma trËn
x - tªn hoÆc mét danh s¸ch tªn c¸c Èn
b - vÐc t¬ vÕ tr¸i cña ph−¬ng tr×nh
eqns - tËp hîp hoÆc danh s¸ch c¸c ph−¬ng tr×nh
vars - tËp hîp hoÆc danh s¸ch c¸c biÕn
flag- tªn (tù chän) "flag"
M« t¶: Hµm geneqns sinh ra mét hä c¸c ph−¬ng tr×nh tõ hÖ sè cña ma trËn.
NÕu cã biÕn thø ba biÓu thÞ vÐc t¬ vÕ ph¶i b th× nã sÏ ®−îc ®−a vµo ph−¬ng tr×nh.
Ng−îc l¹i th× vÕ ph¶i ®−îc coi b»ng 0.
Hµm genematrix sinh ma trËn tõ c¸c hÖ sè cña hÖ ph−¬ng tr×nh tuyÕn tÝnh. NÕu
cã biÕn thø ba"flag" th× vÐc t¬"vÕ ph¶i" ®−îc ®−a vµo cét cuèi cïng cña ma trËn.
ThÝ dô
[>eqns := {x+2*y=0,3*x-5*y=0};
eqns := { x + 2 y = 0, 3 x − 5 y = 0 }
[>A := genmatrix(eqns,[x,y]);
1 2
A :=
3 -5
[>geneqns(A,[x,y]);
{ x + 2 y = 0, 3 x − 5 y = 0 }
[>geneqns(A,x);
{ x1 + 2 x2 = 0, 3 x1 − 5 x2 = 0 }
[>eqns:={x+2*z=a,3*x-5*y=6-z};
eqns := { x + 2 z = a, 3 x − 5 y = 6 − z }
[>A:=genmatrix(eqns,[x,y,z],flag);
1 0 2 a
A :=
3 -5 1 6
58
[>A:=genmatrix(eqns,[x,y,z],'b');
1 0 2
A :=
3 -5 1
[>print(b);
[ a, 6 ]
[>geneqns(A,[x,y,z],b);
{ x + 2 z = a, 3 x − 5 y + z = 6 }
3 -2 -5 1
2 -3 1 5
A :=
1 2 0 -4
1 -1 -4 9
Trong nhiÒu bµi to¸n gi¶i ph−¬ng tr×nh, ta ph¶i lµm c¸c phÐp biÕn ®æi ma trËn.
MAPLE cã nhiÒu phÐp biÕn ®æi ma trËn. D−íi ®©y lµ c¸c vÝ dô minh ho¹ c¸ch dïng
c¸c phÐp biÕn ®æi Êy. Xin h·y trë vÒ phÇn: C¸c phÐp to¸n cÊu tróc trªn ma trËn ®Ó
hiÓu c¸c lÖnh d−íi ®©y.
ThÝ dô Gi¶i ph−¬ng tr×nh A x=u, trong ®ã
[>A:=array([[4,-3,2,-1],[3,-2,1,-3],[2,-1,0,-5],[5,-3,1,-
8]]);
59
4 -3 2 -1
3 -2 1 -3
A :=
2 -1 0 -5
5 -3 1 -8
[>u:=vector([8,7,6,1]);
u := [ 8, 7, 6, 1 ]
b»ng lÖnh
[>linsolve(A,u);
M¸y kh«ng cho kÕt qu¶. Ph−¬ng tr×nh ®· cho kh«ng cã nghiÖm, v×
[>det(A);
0
DÔ dµng kiÓm tra r»ng h¹ng cña ma trËn A b»ng 2, trong khi ®ã ma trËn më réng cã
h¹ng lµ 3.
[>basis([v3,v2,v1] );
[ v3, v2, v1 ]
[>basis({v1,v2,v3,v4});
{ v1, v2, v3 }
60
[>basis({vector([1,1,1]),vector([2,2,2]),vector([1,-1,1]),
vector([2,-2,2]),vector([1,0,1]),vector([0,1,1])} );
{ [ 2, 2, 2 ], [ 2, -2, 2 ], [ 0, 1, 1 ] }
T×m c¬ së cho kh«ng gian vÐc t¬ sinh bëi c¸c dßng (cét) cña ma trËn
ThÝ dô T×m c¬ së cho kh«ng gian vÐc t¬ sinh bëi c¸c dßng (cét) cña ma trËn
1 0 0
0 1 0
A =
0 0 1
1 1 1
[>A:=array([[1,0,0],[0,1,0],[0,0,1],[1,1,1]]);
1 0 0
0 1 0
A :=
0 0 1
1 1 1
[>basis(A,'rowspace');
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ]
[>basis(A,'colspace');
[ [ 1, 0, 0, 1 ], [ 0, 1, 0, 1 ], [ 0, 0, 1, 1 ] ]
T×m c¬ së trùc chuÈn cña kh«ng gian sinh bëi mét hä c¸c vÐc t¬
T×m c¬ së trùc chuÈn b»ng lÖnh GramSchmidt
61
ThÝ dô T×m c¬ së trùc chuÈn cña kh«ng gian vÐc t¬ sinh bëi mét hä c¸c vÐc t¬
[>u1:=vector([2,2,2]);
u1 := [ 2, 2, 2 ]
[>u2:=vector([0,2,2]);
u2 := [ 0, 2, 2 ]
[>u3:=vector([0,0,2]);
u3 := [ 0, 0, 2 ]
[>GramSchmidt([u1,u2,u3]);
62
2x+3
expr :=
7x+5
[>Limit(expr,x=infinity);
2x+3
lim
x→∞ 7x+5
[>value(%);
2
7
[>value(%);
∞
[>Limit(tan(x+Pi/2),x=0,right);
lim −cot( x )
x → 0+
[>value(%);
−∞
V× giíi h¹n tr¸i vµ ph¶i kh«ng b»ng nhau cho nªn kh«ng tån t¹i giíi h¹n.
63
ThÝ dô TÝnh ®¹o hµm cña y = x 2 x 2 + 1
[>diff(x^2*sqrt(x^2+1),x);
x3
2 x x2 + 1 +
x2 + 1
Muèn biÓu diÔn qu¸ tr×nh nµy mét c¸ch t−êng minh (qua c¸c c«ng thøc quen biÕt)
ta thùc hiÖn c¸c thao t¸c sau ®©y:
B−íc 1. X¸c ®Þnh hµm sè b»ng dßng lÖnh cã có ph¸p nh− sau:
[>f:= x -> BiÓu thøc cña x
B−íc 2. ThiÕt lËp c«ng thøc biÓu diÔn ®¹o hµm cña f ( x) theo biÕn x b»ng dßng
lÖnh cã có ph¸p nh− sau:
[>Diff(f(x),x);
B−íc 3. TÝnh ®¹o hµm vµ gäi nã lµ f-phÈy b»ng lÖnh tÝnh gi¸ trÞ biÓu thøc trªn :
[>f_prim:=value(%);
B−íc 4. NÕu gi¸ trÞ thu ®−îc lµ cång kÒnh th× cã thÓ rót gän b»ng lÖnh :
[>simplify(%);
[>f:=x->5*x^3-3*x^2-2*x^(-3);
2
f := x → 5 x3 − 3 x2 −
x3
[>Diff(f(x),x);
∂ 3 2
5 x − 3 x2 − 3
∂x x
[>f_prim:=value(%);
6
f_prim := 15 x2 − 6 x +
x4
cos( x) 2
y=
sin(2 x)
64
[>f:=x-> ((cos(x))^2/sin(2*x));
cos( x )2
f := x →
sin( 2 x )
[>Diff(f(x),x);
∂ cos( x )2
∂x sin( 2 x )
[>f_prim:=value(%);
cos( x ) sin( x ) cos( x )2 cos( 2 x )
f_prim := −2 −2
sin( 2 x ) sin( 2 x )2
[>simplify(%);
cos( x )2
2
−1 + cos( 2 x )2
[>diff(x^4+x*sin(x),x$2);
12 x2 + 2 cos( x ) − x sin( x )
[>diff(x^4+x*sin(x),x$4);
24 − 4 cos( x ) + x sin( x )
65
2.4.3. TÝnh vi ph©n hµm nhiÒu biÕn, hµm vect¬ vµ ma trËn
hµm
PhÇn nµy liªn quan ®Õn tÝnh to¸n trªn vect¬ vµ ma trËn, cho nªn ta cÇn ph¶i n¹p
gãi c«ng cô ®¹i sè tuyÕn tÝnh tr−íc khi tiÕn hµnh c«ng viÖc.
[>with(linalg):
−15 x2 0 0
4 0 0
66
2 y 2 x + 6 y
2 x + 6 y
6 x
v = [4 x − 3 yx 3 ,7 xyz 2 + 5 y 3 , 4 x 2 y 2 + 2 x]
a) X¸c ®Þnh tr−êng v trªn c¸c biÕn x,y,z b»ng lÖnh vector
[>v:=vector(3,[4*x-3*x^3*y,7*x*y*z^2+5*y^3,
4*x^2*y^2+2*x]);
v := [ 4 x − 3 y x3, 7 x y z 2 + 5 y3, 4 x2 y2 + 2 x ]
4 − 9 y x −3 x3
2
0
7 y z 2
7 x z + 15 y 14 x y z
2 2
8 x y2 + 2 8 y x2 0
vectlapv := [ −18 y x, 30 y + 14 y x, 8 y2 + 8 x2 ]
e x .
cos( x2 )
67
[>A:=linalg[matrix](2,2,[sin(x),x^2+x+3,exp(x),cos(x^2)
]);
sin( x ) x + x + 3
2
A := x
e cos( x2 )
[>map(diff,A,x);
cos( x ) 2x+1
ex
−2 sin( x2 ) x
ThÝ dô TÝnh ®¹o hµm cho ma trËn ®−îc x¸c ®Þnh theo c«ng thøc sau
[>f:=(i,j)->x^(i+j-1):
[>A:=matrix(2,2,f);
x x2
A := 2
x x3
[>map(diff,A,x);
1 2 x
2 x 3 x 2
Hµm Èn v« h−íng
Hµm Èn (v« h−íng) ®−îc x¸c ®Þnh bëi 1 ph−¬ng tr×nh f(y,x)=0, trong ®ã y lµ
biÕn phô thuéc 1 chiÒu (hµm) vµ x lµ biÕn ®éc lËp (nãi chung lµ vÐc t¬). Sù tån t¹i
cña hµm Èn y=y(x) vµ tÝnh kh¶ vi cña nã ®−îc b¶o ®¶m b»ng ®Þnh lý hµm Èn.
LÖnh lÊy ®¹o hµm cña hµm sè nµy cã có ph¸p nh− sau:
implicitdiff(f,y,x) - LÊy ®¹o hµm cña y theo (mét) biÕn x
implicitdiff(f,y,x1,...,xk) - LÊy ®¹o hµm riªng (bËc k) cña y
theo bé biÕn (x1,...,xk), vµ trong tr−êng hîp ®Æc biÖt khi x=x1=x2=...=xk th× c©u
lÖnh trªn cã nghÜa lµ lÊy ®¹o hµm bËc k theo biÕn x.
68
C¸c thÝ dô minh ho¹:
[>f:=y-x^2/z;
x2
f := y −
z
[>implicitdiff(f,y,x);
x
2
z
[>implicitdiff(f,y,z);
x2
−
z2
[>implicitdiff(f,y,x,z);
x
−2
z2
[>f:=x^2+y^3=1;
f := x2 + y3 = 1
[>implicitdiff(f,y,x);
2 x
−
3 y2
[>implicitdiff(f,x,y);
3 y2
−
2 x
[>implicitdiff(f,y,z);
0
[>implicitdiff(f,y(x),x);
2 x
−
3 y2
[>implicitdiff(f,y,x,x);
69
2 3 y3 + 4 x2
−
9 y5
[>implicitdiff(f,y,z);
0
[>implicitdiff(f,z,x);
FAIL
[>f:=a*x^3*y-2*y/z=z^2;
y
f := a x 3 y − 2 = z2
z
[>implicitdiff(f,y(x,z),x);
a x2 y z
−3
a x3 z − 2
[>implicitdiff(f,y(x,z),x,z);
a x 2 ( −2 y + z 3 )
−6
a 2 x6 z 2 − 4 a x3 z + 4
[>implicitdiff(f,y(x),x);
a x2 y z
−3
a x3 z − 2
Hµm Èn vÐc t¬
Hµm Èn vÐc t¬ ®−îc x¸c ®Þnh bëi hÖ ph−¬ng tr×nh {f1,...,fm}, trong ®ã mçi fi
lµ mét ph−¬ng tr×nh theo c¸c biÕn phô thuéc {y1,...,yn} (c¸c hµm Èn) vµ c¸c biÕn
®éc lËp x1,...,xk . C¸c ®iÒu kiÖn vÒ sù tån t¹i cña hµm Èn vÐc t¬ ®−îc qui ®Þnh bëi
®Þnh lý hµm Èn. LÖnh lÊy ®¹o hµm cña hµm Èn vÐc t¬ cã có ph¸p nh− sau:
LÊy ®¹o hµm cña mét sè thµnh phÇn {u1,...,ur} trong vÐc t¬ hµm {y1,...,yn} theo
biÕn x
implicitdiff({f1,...fm},{y1,...yn},{u1,...ur},x)
LÊy ®¹o hµm riªng (cÊp k) theo côm biÕn x1,...,xk cña c¸c thµnh phÇn {u1,...,ur}
trong vÐc t¬ hµm {y1,...,yn}
implicitdiff({f1,...fm},{y1,...yn},{u1,...ur},x1,...,xk)
trong ®ã:
70
f,f1,...,fm - c¸c biÓu thøc ®¹i sè hoÆc c¸c ph−¬ng tr×nh
y,y1,...,yn - c¸c biÕn phô thuéc (tªn c¸c hµm)
x,x1,...,xk - tªn c¸c biÕn mµ ta cÇn lÊy ®¹o hµm (riªng)
u,u1,...,ur - nhãm c¸c hµm mµ ta sÏ lÊy ®¹o hµm
C¸c thÝ dô minh ho¹
ThÝ dô 1
[>f := y^2-2*x*z = 1;
f := y2 − 2 x z = 1
[>g := x^2-exp(x*z) = y;
(x z)
g := x 2 − e =y
[>implicitdiff({f,g},{y,z},y,x);
x
2 (x z)
ye +1
[>implicitdiff({f,g},{y,z},{y,z},x);
(x z)
2yx−ye z−z x
D( z ) = , D( y ) = 2
+ 1
(x z) (x z)
x (y e + 1) ye
[>implicitdiff({f,g},{y(x),z(x)},{y,z},x,notation=Diff);
(x z)
∂ 2yx−ye z−z ∂ x
∂x z = , y=2
∂x
+ 1
(x z) ( x z )
x (y e + 1) ye
ThÝ dô 2
[>f:=a*sin(u*v)+b*cos(w*x)=c;
f := a sin( u v ) + b cos( w x ) = c
[>g:=u+v+w+x=z;
g := u + v + w + x = z
[>h:=u*v+w*x=z;
h := u v + w x = z
[>implicitdiff({f,g,h},{u(x,z),v(x,z),w(x,z)},u,z);
71
−a cos( u v ) u + b sin( w x ) x u − b sin( w x ) x + a cos( u v ) u x
x ( −b sin( w x ) v + b sin( w x ) u − a cos( u v ) v + a cos( u v ) u )
[>implicitdiff({f,g,h},{u(x,z),v(x,z),w(x,z)},{u,v,w},x);
v ( −w + x ) w u ( −w + x )
{ D1( v ) = − , D1( w ) = − , D1( u ) = − }
(v − u) x x x ( −v + u )
[>implicitdiff({f,g,h},{u(x,z),v(x,z),w(x,z)},
{u,v,w},x,notation=Diff);
∂ v ( −w + x ) ∂ w ∂ u ( −w + x )
{ v = − , w = − , u = − }
∂x z ( v − u ) x ∂x z x ∂x z x ( −v + u )
[>implicitdiff({g,h},{u(x,z),v(x,z),w(x,z)},
{u,v,w},z);
D2( u ) x − D2( u ) v + 1 − x −D2( u ) v + u D2( u ) − u + 1
{ D2( u ) = D2( u ), D2( v ) = − , D2( w ) = }
x−u x−u
L−u ý r»ng ë ®©y chØ cã 2 ph−¬ng tr×nh, cho nªn hµm Èn vect¬ ph¶i gåm 2 thµnh
phÇn. Cho dï ta khai b¸o 3 (thõa 1), m¸y vÉn chØ cho 2 hµm Èn thùc sù (v vµ w), vµ
ngÇm ®Þnh cho hµm cßn l¹i u lµ hµm tù do (bÊt kú).
[>implicitdiff({f,g,h},{u(x,z),v(x,z)},u,z);
FAIL
M¸y b¸o lçi v×, víi 3 ph−¬ng tr×nh, hµm Èn vect¬ ph¶i cã 3 thµnh phÇn, ta ®· khai
b¸o thiÕu mét thµnh phÇn.
72
2 ln( 2 ) − ln( 3 )
vµ sau ®ã x¸c ®Þnh gi¸ trÞ cña biÓu thøc trªn b»ng lÖnh
[>value(%);
2 ln( 2 ) − ln( 3 )
Sau ®©y lµ mét vµi thÝ dô cã thÓ thùc hiÖn ®−îc ngay, ®Ó ng−êi ®äc lµm quen
víi c«ng viÖc (l−u ý r»ng khi kÕt qu¶ lµ mét biÓu thøc cång kÒnh th× ta cã thÓ rót
gän (®¬n gi¶n) b»ng lÖnh simplify ®· biÕt):
ThÝ dô TÝnh tÝch ph©n
π
⌠
e
(2 x )
sin( x )2 dx
⌡0
[>Int(exp(2*x)*sin(x)^2,x=0..Pi);
π
⌠
e
(2 x )
sin( x )2 dx
⌡0
[>value(%);
1 (2 π ) 1
e −
8 8
Cã thÓ sö dông lÖnh evalf (®¸nh gi¸) ®Ó tÝnh xÊp xØ cña ®¹i l−îng trªn
[>evalf(%);
66.81145700
MAPLE chøa hµng tr¨m c¸c h»ng sè vµ c¸c hµm ®Æc biÖt trong nhiÒu lÜnh vùc
cña to¸n häc, khoa häc vµ kü thuËt, thÝ dô: Hµm sai sè (Error Function- erf(x)),
h»ng sè Euler, tÝch ph©n mò (exponential Integral-Ei(x)), hµm TÝch ph©n Elliptic
73
(Elliptic Integral Function- EllipticF(k,z), hµm Gamma - Γ( x) ), Hµm Zeta-(s), Hµm
Delta Dirac, c¸c hµm Bessel vµ Bessel suy réng,... Tuy nhiªn, dï víi kho ký hiÖu
lín ®Õn ®©u ch¨ng n÷a, Maple còng kh«ng thÓ biÓu thÞ ®−îc hÕt c¸c lo¹i sè v« tû vµ
c¸c hµm ®Æc biÖt gÆp ph¶i trong qu¸ tr×nh tÝnh to¸n. Do ®ã, ta chØ cã c¸ch nhËn biÕt
c¸c sè v« tû "l¹ ho¾c" qua c¸c xÊp xØ cña nã nhê lÖnh evalf(). ThÝ dô sau ®©y lµ
thªm mét minh ho¹ cho ®iÒu nµy
[>int(sqrt(exp(2*x)+(cos(x))^2+1),x=0..Pi);
π
⌠
(2 x )
e + cos( x )2 + 1 dx
⌡ 0
[>value(%);
M¸y kh«ng ®−a ra kÕt qu¶ (gi¸ trÞ cña biÓu thøc trªn), v× ®©y lµ mét sè v« tû
kh«ng biÓu diÔn ®−îc qua c¸c sè ®· biÕt. Tuy nhiªn, ta cã thÓ nhËn biÕt nã b»ng
lÖnh ®¸nh gi¸ xÊp xØ thËp ph©n
[>evalf(%);
22.81198552
Muèn cã biÓu thøc t−êng minh cña tÝch ph©n bÊt ®Þnh, ta ®¸nh c¸c dßng "lÖnh tr¬"
cã có ph¸p t−¬ng tù nh− trªn, nh−ng thay ch÷ i (th−êng) b»ng ch÷ I (hoa) nh−
sau:
[>Int(1/(x^2-5*x+6),x);
⌠
1
dx
x −5x +6
2
⌡
vµ ®Ó cã ®−îc biÓu thøc gi¸ trÞ cña tÝch ph©n nµy ta dïng lÖnh:
74
[>value(%);
−ln( x − 2 ) + ln( x − 3 )
vµ khi thÊy kÕt qu¶ cã vÎ cång kÒnh ta h·y "rót gän" b»ng lÖnh simplify(%);
®· quen biÕt.
Trong tr−êng hîp nguyªn hµm lµ mét hµm "ch−a tõng thÊy bao giê" (nghÜa lµ
kh«ng thÓ biÓu diÔn qua nh÷ng hµm sè mµ ta ®· biÕt) th× m¸y chØ cho ra c«ng thøc
tÝch ph©n (nh− kÕt qu¶ cña mét lÖnh tr¬) vµ lÖnh value(%) ch¼ng ®em l¹i cho ta
th«ng tin g×. Nh− thÕ kh«ng cã nghÜa lµ m¸y "bã tay", mµ ng−îc l¹i, nã vÉn lµm
viÖc "kh«ng chª vµo ®©u ®−îc", miÔn lµ ta biÕt c¸ch b¶o nã cho xem kÕt qu¶ d−íi
d¹ng kh¸c (chø kh«ng ph¶i lµ cho xem biÓu thøc biÓu diÔn qua c¸c hµm quen biÕt
nh− ta vÉn th−êng lµm). ThÝ dô, nguyªn hµm cña hµm sè sau ®©y kh«ng thÓ biÓu
diÔn ®−îc qua c¸c hµm sè ta biÕt:
[>int(sin(x)/(x+sqrt(x)),x);
⌠
sin( x )
dx
x+ x
⌡
Nh−ng ta biÕt r»ng nguyªn hµm nµy tån t¹i, vµ theo ®Þnh lý Newton-Leibnitz th× nã
biÓu diÔn ®−îc d−íi d¹ng tÝch ph©n x¸c ®Þnh víi cËn lµ biÕn sè. Cã nghÜa, nã lµ mét
hµm f (t ) x¸c ®Þnh nh− sau:
[>f(t):=int(sin(x)/(x+sqrt(x)),x=0..t);
t
⌠ sin( x )
f( t ) :=
dx
x+ x
⌡0
Ch−¬ng tr×nh tÝnh to¸n cho ta biÕt mäi th«ng tin vÒ hµm nµy, ®Çy ®ñ vµ phong phó
nh− bÊt kú mét hµm quen thuéc nµo kh¸c. ThÝ dô ta cã thÓ b¶o m¸y cho xem gi¸ trÞ
cña hµm t¹i bÊt kú ®iÓm nµo, hoÆc h¬n thÕ, ta cã thÓ b¶o m¸y vÏ cho ta ®å thÞ cña
hµm
[>plot(f(t),t=0..10);
75
Nh− vËy ta ®· ®−îc chøng kiÕn mét sù kiÖn cã tÝnh b¶n chÊt lµ: TÝch ph©n x¸c
®Þnh chÝnh lµ c«ng cô ®Ó tÝnh nguyªn hµm, chø kh«ng ph¶i lµ ng−îc l¹i (nh− l©u
nay nhiÒu ng−êi nhÇm t−ëng vµ dån mäi søc lùc cho viÖc tÝnh nguyªn hµm th«ng
qua c¸c lo¹i mÑo mùc, tiÓu x¶o,...).
X¸c ®Þnh biÓu thøc (còng cã nghÜa lµ g¸n tªn cho) hµm sin(4 x) cos( x)
[>expr:=sin(4*x)*cos(x);
expr := sin( 4 x ) cos( x )
Khai triÓn biÓu thøc (expr) thµnh chuçi t¹i ®iÓm x = 0 vµ g¸n cho nã c¸i tªn
approx1 (xÊp xØ 1) b»ng lÖnh cã có ph¸p nh− sau (bËc xÊp xØ mÆc ®Þnh lµ 6):
[>approx1:=series(expr,x=0);
38 3 421 5
approx1 := 4 x − x + x + O( x6 )
3 30
LÊy phÇn chÝnh (®a thøc) lµm c«ng cô xÊp xØ (®Æt tªn cho ®a thøc nµy lµ poly1) :
[>poly1:=convert(approx1,polynom);
38 3 421 5
poly1 := 4 x − x + x
3 30
76
VÏ ®å thÞ cña biÓu thøc ban ®Çu vµ ®a thøc xÊp xØ cña nã trªn cïng mét hÖ to¹ ®é
(®Ó dÔ dµng so s¸nh ®é chÝnh x¸c cña xÊp xØ, t¹i l©n cËn gèc) :
[>plot({expr,poly1},x=-1..1,y=-2..2);
vµ thiÕt lËp ®a thøc xÊp xØ víi bËc chÝnh x¸c cao h¬n, theo thñ tôc nh− trªn. KÕt qu¶
lµ ta sÏ cã mét ®a thøc bËc cao h¬n vµ xÊp xØ tèt h¬n h¼n (h·y tù kiÓm nghiÖm b»ng
vÝ dô sau)
[>approx2:=series(expr,x=0);
38 3 421 5 10039 7 246601 9 6125659 11
approx2 := 4 x − x + x − x + x − x + O( x12 )
3 30 1260 90720 9979200
[>poly2:=convert(approx2,polynom);
38 3 421 5 10039 7 246601 9 6125659 11
poly2 := 4 x − x + x − x + x − x
3 30 1260 90720 9979200
[>plot({expr,poly2},x=-1..1,y=-2..2);
77
2.5. Ph−¬ng tr×nh Vi ph©n vµ VËt lý to¸n
Muèn tiÕn hµnh gi¶i ph−¬ng tr×nh vi ph©n, ta cÇn n¹p gãi c«ng cô chuyªn dông
cho lÜnh vùc nµy b»ng c¸c lÖnh sau
[>with(DEtools):
Mét b¶n thèng kª c¸c chøc n¨ng cña "gãi c«ng cô nµy" sÏ xuÊt hiÖn sau khi lÖnh
®−îc thùc hiÖn.
Ghi chó
1. Ký hiÖu D(y) lµ phÐp t×m ®¹o hµm bËc nhÊt cña hµm y.
2. Ký hiÖu D(D)(y)(x) lµ phÐp t×m ®¹o hµm bËc hai cña y theo x.
(Sau khi cho thùc hiÖn lÖnh trªn mµn h×nh sÏ hiÖn ph−¬ng tr×nh vi ph©n cÇn gi¶i).
B−íc 2. NhËp ®iÒu kiÖn ban ®Çu b»ng lÖnh
[>init_con:=y(0)=0,D(y)(0)=1;
init_con := y( 0 ) = 0, D( y )( 0 ) = 1
Sau dÊu (;) ®¸nh lÖnh [Enter] sÏ hiÖn ra c«ng thøc m« t¶ ®iÒu kiÖn ®Çu
B−íc 3. Gi¶i ph−¬ng tr×nh vi ph©n b»ng lÖnh dsolve :
[>dsolve({diff_eq1,init_con},{y(x)});
( −2 x ) ( −3 x )
y( x ) = e −e
78
Sau khi cho thùc hiÖn lÖnh trªn mµn h×nh sÏ hiÖn c«ng thøc nghiÖm cña ph−¬ng
tr×nh vi ph©n cÇn gi¶i.
ThÝ dô Gi¶i ph−¬ng tr×nh x 2 y "+ 5 y ' = 0 .
[>dsolve(x^2*diff(y(x),x,x)+5*diff(y(x),x)=0,y(x));
5
x 5
y( x ) = _C1 + _C2 x e + 5 Ei 1, −
x
79
phô thuéc x , kh«ng cã sù tham gia cña c¸c ®¹o hµm), hoÆc d−íi d¹ng c¸c
biÕn phô thuéc tham sè. NÕu ta muèn b¾t nã ph¶i cho ta nghiÖm d−íi
d¹ng hiÓn (tøc lµ mét hµm sè cña y theo x ) th× ta cho keyword d−íi
d¹ng explicit=true. (V× kh¶ n¨ng nµy th−êng khã x¶y ra nªn
ng−êi ta th−êng cho gi¸ trÞ mÆc ®Þnh lµ explicit=false ).
Muèn biÓu diÔn ®−îc nghiÖm th«ng qua c¸c hµm ®Æc biÖt kiÓu
Dirac(.), Heaviside(.),... th× ta ph¶i sö dông keyword lµ
method=laplace .
Trong vÝ dô trªn, nghiÖm cña ph−¬ng tr×nh lµ mét hµm kh«ng biÓu diÔn ®−îc
qua c¸c hµm th«ng th−êng, cho nªn m¸y kh«ng ®−a ra ®−îc biÓu thøc nµo. §iÒu
nµy còng t−¬ng tù nh− khi gÆp mét sè v« tû míi, ch−a cã ký hiÖu biÓu diÔn. NÕu
nh− víi s« v« tû míi ta th−êng yªu cÇu m¸y cho biÕt xÊp xØ thËp ph©n, th× trong t×nh
huèng nµy ta cã thÓ yeu cÇu m¸y cho ta nghiÖm xÊp xØ d−íi mét d¹ng nµo ®ã,
1
th«ng th−êng lµ d¹ng chuçi. ThÝ dô víi ®iÒu kiÖn ®Çu lµ f (0) = , ta lÊy nghiÖm
2
d−íi d¹ng chuçi b»ng lÖnh:
[>dsolve({f(0)=1/2,diff(f(x),x)+f(x)^5*x=sin(x)},
f(x),series);
1 31 977 4
f( x ) = + x2 − x + O( x6 )
2 64 12288
C¸c thÝ dô minh ho¹ cho chuyªn môc nµy (®èi víi 1 ph−¬ng tr×nh vi ph©n còng
®ång thêi lµ ®èi víi hÖ ph−¬ng tr×nh vi ph©n) xin xem trong phÇn gi¶i hÖ ph−¬ng
tr×nh vi ph©n th−êng.
80
B−íc 3. Gi¶i ph−¬ng tr×nh vi ph©n b»ng lÖnh
[>solution:=dsolve({diff_eq2,bound_con},{y(t)});
1 1 1
solution := y( t ) = − Heaviside( t − 2 ) + Heaviside( t − 4 ) + t Heaviside( t − 2 )
750000 93750 500000
1 1 2 1 2
− t Heaviside( t − 4 ) − t Heaviside( t − 2 ) + t Heaviside( t − 4 )
125000 1000000 500000
1 3 1 3 2374997 2 17249969 3
+ t Heaviside( t − 2 ) − t Heaviside( t − 4 ) − t + t
6000000 6000000 12500000 375000000
B−íc 4. CÊt gi÷ kÕt qu¶ vµo biÕn solution nhê lÖnh subs
1 1 1
expr := − Heaviside( t − 2 ) + Heaviside( t − 4 ) + t Heaviside( t − 2 )
750000 93750 500000
1 1 2 1 2
− t Heaviside( t − 4 ) − t Heaviside( t − 2 ) + t Heaviside( t − 4 )
125000 1000000 500000
1 3 1 3 2374997 2 17249969 3
+ t Heaviside( t − 2 ) − t Heaviside( t − 4 ) − t + t
6000000 6000000 12500000 375000000
[>expr:=subs(solution,y(t));
81
B−íc 2 Gi¶i hÖ ph−¬ng tr×nh vi ph©n b»ng lÖnh
[>dsolve({sys},{y(x),z(x)});
1 1 1 1
{ y ( x) = _ C1e ( − x ) + _ C1e x + _ C1 cos( x ) − _ C 2e − x +
4 4 2 4
1 1 1 −x 1 1
_ C 2e + _ C 2 sin( x) + _ C 3e + _ C 3e x − _ C 3 cos( x)
x
4 2 4 4 2
1 1 1
− _ C 4 sin( x ) + _ C 4e x − _ C 4e − x ,
2 4 4
1 1 1 1 1
z( x) = _ C1e −x + _ C1e x − _ C1cos(x) − _ C2 sin(x) + _ C2e x
4 4 2 2 4
1 1 1 1 1
− _ C 2e − x + _ C 3e − x + _ C 3e x + _ C 3 cos( x) − _ C 4e − x
4 4 4 2 4
1 1
+ _ C 4e x + _ C 4 sin( x)}
4 2
MAPLE cã thÓ biÕn ®æi mét hÖ ph−¬ng tr×nh vi ph©n th−êng bËc cao vÒ hÖ
ph−¬ng tr×nh vi ph©n bËc nhÊt b»ng lÖnh convertsys. H¬n n÷a, lÖnh dsolve
cña MAPLE cßn cã thÓ gi¶i rÊt nhiÒu ph−¬ng tr×nh vi ph©n b»ng ph−¬ng ph¸p sè.
C¸c tuú chän trong gi¶i hÖ ph−¬ng tr×nh vi ph©n
Còng t−¬ng tù nh− ®èi víi gi¶i (mét) ph−¬ng tr×nh vi ph©n th−êng, ta cã nhiÒu
kh¶ n¨ng biÓu diÔn nghiÖm vµ nhiÒu ph−¬ng ph¸p gi¶i hÖ ph−¬ng tr×nh vi ph©n.
VÊn ®Ò nµy ®· ®−îc tr×nh bµy cô thÓ trong môc gi¶i ph−¬ng tr×nh vi ph©n th−êng,
cho nªn kh«ng ®−îc nh¾c l¹i ë ®©y. §Ó n¾m vÊn ®Ò mét c¸ch thuÇn thôc h¬n, ta h·y
xem xÐt thªm mét sè vÝ dô minh ho¹ (cho tr−êng hîp hÖ ph−¬ng tr×nh vi ph©n, mµ
còng lµ cho tr−êng hîp 1 ph−¬ng tr×nh vi ph©n).
ThÝ dô Gi¶i hÖ ph−¬ng tr×nh
y '( x) = z ( x) − y ( x) − x
z '( x) = y ( x)
víi ®iÒu kiÖn ban ®Çu
y (0) = 0, z (0) = 1 ,
theo ph−¬ng ph¸p mÆc ®Þnh
[>sys:=diff(y(x),x)=z(x)-y(x)-x,diff(z(x),x)=y(x):
fcns:={y(x),z(x)}:
[>dsolve({sys,y(0)=0,z(0)=1},fcns);
1 1
− ( 5 + 1 ) x ( 5 − 1 ) x
z( x ) 1 5 e 2 1 2
= − 5 e + x + 1,
5 5
1 1
− ( 5 + 1 ) x ( 5 − 1 ) x
1 2 1 2
y( x ) = − 5 e + 5 e +1
10 10
1 1
( 5 − 1 ) x − ( 5 + 1 ) x
1 2 1 2
− e − e
2 2
82
T×m nghiÖm d−íi d¹ng chuçi (víi ®iÒu kiÖn ®Çu lµ y(0) = 0, z(0) = 1)
[>dsolve({sys,y(0)=0,z(0)=1},fcns,type=series);
1 3 5 4 1 5
{ y ( x) = x − x 2 +
x − x + x + O( x 6 ),
2 24 15
1 1 1 1 5
z ( x) = 1 + x 2 − x 3 + x 4 − x + O ( x 6 )} .
2 3 8 24
T×m nghiÖm b»ng ph−¬ng ph¸p sè (víi ®iÒu kiÖn ®Çu nh− trªn) vµ cho biÕt gi¸ trÞ
cña nghiÖm t¹i c¸c ®iÓm x = 1, x = 1.5, x = 1.7 :
[> F:=dsolve({sys,y(0)=0,z(0)=1},fcns,type=numeric);
F:= proc(rkf45_x)...end
[>F(1);
[>F(1.5);
[>F(1.7);
x , y ( x ) , ∂ y ( x )
∂x
1.93603788311791480
s := 1. 2.17013243525314170
1.50000000000000000
4.26826796627041372 8.36391691654069902
1.69999999999999996 6.71039854665199442 17.2757972122874470
Ta cã thÓ lÊy ra tõng sè liÖu cña b¶ng (ma trËn) nµy, thÝ dô nh−:
[>s[1,1][3];
∂
y( x )
∂x
83
[>s[2,1][2,3];
8.36391691654069902
ThÝ dô Gi¶i ph−¬ng tr×nh tuyÕn tÝnh (bËc 2, kh«ng thuÇn nhÊt)
2 xy "+ y '+ 3 y = x
vµ cho biÕt hÖ c¬ së cña tËp nghiÖm (cïng mét nghiÖm riªng).
[>dsolve(2*x*diff(y(x),x$2)+diff(y(x),x)+3*y(x)=x,
y(x),output=basis);
( 1/4 ) ( 1/4 )
x cos( 6 x ) x sin( 6 x ) 1 1
, , − 9 + 3 x
6 x 6 x
x' = y − z
y' = z − x
z' = x − y 2
víi ®iÒu kiÖn ban ®Çu x (0) = 1, y (0) = 0, z(0) = 2 , biÕn ®éc lËp t thay ®æi trong
kho¶ng [-2,2], biÕn phô thuéc y thay ®æi trong kho¶ng [-4,5], tïy chän: b−íc 0.05.
84
Ta cã thÓ cho Maple vÏ ®−êng cong trong kh«ng gian 3 chiÒu, nh−ng rÊt khã biÓu thÞ
®−îc tÝnh 3 chiÒu cña nã. Muèn cã c¸i nh×n râ h¬n, ng−êi ta th−êng xem xÐt c¸c h×nh
chiÕu cña nã lªn tõng mÆt to¹ ®é. ThÝ dô, ta vÏ h×nh chiÕu cña nghiÖm lªn mÆt x0z, khi Êy
nã lµ ®−êng cong biÓu diÔn mèi t−¬ng quan gi÷a 2 thµnh phÇn cña nghiÖm lµ z vµ x
(®−êng cong phô thuéc tham sè t víi hai thµnh phÇn to¹ ®é z(t) vµ x(t) ).
[>DEplot({D(x)(t)=y(t)-z(t),D(y)(t)=z(t)-x(t),D(z)(t)=x(t)-
y(t)*2},{x(t),y(t),z(t)},t=-2..2,[[x(0)=1,y(0)=0,z(0)=2]],
stepsize=.05, scene=[z(t),x(t)]);
Víi hÖ ph−¬ng tr×nh bËc nhÊt 2 Èn th× Maple cã thÓ vÏ c¶ tr−êng vect¬ biÓu diÔn
ph−¬ng tr×nh, vµ khi cho thªm ®iÒu kiÖn ®Çu th× nã sÏ vÏ c¶ nghiÖm tho¶ m·n ®iÒu
kiÖn ®Çu ®ã.
ThÝ dô VÏ tr−êng vect¬ biÓu diÔn hÖ ph−¬ng tr×nh vi ph©n (d¹ng Lotka-Volterra)
x' = x(1 − y)
y' = 0.3 y( x − 1)
víi biÕn ®éc lËp t thay ®æi trong kho¶ng [-7,7], vµ vÏ ®å thÞ cña 2 nghiÖm øng víi 2
®iÒu kiÖn ®Çu lµ
[x(0)=1.2, y(0)=1.2], [x(0)=1, y(0)=0.7],
(kÌm theo tiªu ®Ò: M« h×nh Lotka-Volterra) b»ng lÖnh
[>DEplot({diff(x(t),t)=x(t)*(1-y(t)),
diff(y(t),t)=0.3*y(t)*(x(t)-1)},[x(t),y(t)],t=-7..7,
[[x(0)=0.2,y(0)=1.2],[x(0)=1,y(0)=.7]],stepsize=.2,
title=`Lotka-Volterra model`);
85
2.5.3. Gi¶i ph−¬ng tr×nh ®¹o hµm riªng
MAPLE cã thÓ t×m ®−îc nghiÖm cña nhiÒu ph−¬ng tr×nh vi ph©n ®¹o hµm riªng
b»ng lÖnh pdesolve. Trong c«ng thøc nghiÖm, c¸c hµm bÊt kú ®−îc ký hiÖu lµ
_F1, _F2, v.v...
Trong c¸c lÖnh d−íi ®©y ký hiÖu D[1](U) lµ ®¹o hµm cña U theo biÕn thø nhÊt
vµ D[1,1,2,2,2] lµ ®¹o hµm hai lÇn theo biÕn thø nhÊt vµ ba lÇn theo biÕn thø hai,...
ThÝ dô Gi¶i ph−¬ng tr×nh ®¹o hµm riªng kh«ng thuÇn nhÊt
D1, 1, 2, 2, 2( U )( x, y ) = sin( x y )
[>pde:= D[1,1,2,2,2](U)(x,y)=sin(x*y);
pde := D1, 1, 2, 2, 2( U )( x, y ) = sin( x y )
[>pdesolve(pde,U(x,y));
1 2 2 1 1
x y Ci( x y ) − cos( x y ) − x y sin( x y )
2 2 2 cos( x y )
x y Si( x y ) + cos( x y ) +
x x
U( x, y ) = − − + x
x 2 x
+ _F1( y ) + _F2( y ) x + _F3( x ) + _F4( x ) y + _F5( x ) y2
86
[>pde:=D[1](z)(x,y)+z(x,y)*D[2](z)(x,y)=0;
pde := D1( z )( x, y ) + z( x, y ) D2( z )( x, y ) = 0
B−íc 3. VÏ mÆt cong nghiÖm nh− lµ hä ®−êng cong tham sè ho¸ trong kh«ng gian
ba chiÒu.
[>PDEplot(pde,z(x,y),ini,numsteps=[10,30],numchar=30,
basechar=true,method=internal,style=hidden);
87