Harj. 8 av

7.11.00

> restart: alias(Z=ztrans,IZ=invztrans):

Teht. 1

> x:=x0*exp(alpha*t)*cos(beta*t)+d/beta*exp(alpha*t)*sin(beta*t)+1/beta*int(exp(alpha*tau)*sin(beta*tau)*u(t-tau),tau=0..t);

x := x0*exp(alpha*t)*cos(beta*t)+d*exp(alpha*t)*sin...

> d:=(alpha+a)*x0+v0;

d := (alpha+a)*x0+v0

Konkreetiset numeroarvot:

> a:=4;b:=13;solve(s^2+a*s+b=0,s);alpha:=-2:beta:=3:x0:=1:v0:=1:

a := 4

b := 13

-2+3*I, -2-3*I

> x;subs(t=0,x);eval(%);subs(t=0,diff(x,t)):eval(%);

exp(-2*t)*cos(3*t)+exp(-2*t)*sin(3*t)+1/3*int(exp(-...

exp(0)*cos(0)+exp(0)*sin(0)+1/3*int(exp(-2*tau)*sin...

1

1

Alkuehdot toteutuvat.

> u:=cos:

> simplify(x):x:=combine(%);

x := 37/40*exp(-2*t)*cos(3*t)+113/120*exp(-2*t)*sin...

> diff(x,t,t)+4*diff(x,t)+13*x;

cos(t)

Siis myös diffyhtälö toteutuu, loistava menestys!

Annetaan myös dsolven näyttää kykynsä:

> restart:dsolve({diff(x(t),t,t)+4*diff(x(t),t)+13*x(t)=cos(t),x(0)=1,D(x)(0)=1},x(t),method=laplace);

Warning, the name changecoords has been redefined

x(t) = 37/40*exp(-2*t)*cos(3*t)+113/120*exp(-2*t)*s...

Teht. 2

> a:=Z((1/4)^k,k,z);Z((-3)^k,k,z):b:=simplify(%,symbolic);

a := 4*z/(4*z-1)

b := z/(z+3)

> c:=Z(3*k,k,z);

c := 3*z/((z-1)^2)

>

Teht. 3

> f:=t->exp(-2*omega*t);

f := proc (t) options operator, arrow; exp(-2*omega...

> x:=[seq(f(k*T),k=0..10)];

x := [1, exp(-2*omega*T), exp(-4*omega*T), exp(-6*o...

> x:='x': x:=k->f(k*T);

x := proc (k) options operator, arrow; f(k*T) end p...

> x(1);

exp(-2*omega*T)

> Z(x(k),k,z);simplify(%);

z/(exp(-2*omega*T)*(z/exp(-2*omega*T)-1))

z*exp(2*omega*T)/(z*exp(2*omega*T)-1)

> T:=0.1:omega:=2:n:=12:

> jana:=k->plot([[k*T,0],[k*T,f(k*T)]],t=-0.2..k*T+0.2,color=black):

> with(plots):

> display([seq(jana(k),k=0..n),plot(f,0..n*T+0.2,color=yellow,filled=true)],axes=box);

[Maple Plot]

>

Teht. 4

> restart: alias(Z=ztrans):

> Z(sin(k*omega*T),k,z);

sin(omega*T)*z/(z^2-2*z*cos(omega*T)+1)

>

Teht. 5

> 2*z/(2*z-1)-(1+1/(2*z)+1/(4*z^2));

2*z/(2*z-1)-1-1/2*1/z-1/4*1/(z^2)

> simplify(%);

1/4*1/((2*z-1)*z^2)

>

Teht. 6

a)

Katsotaan huvin vuoksi, mitä Maple vastaa kysymykseen (k!)-jonon z-muunnoksesta (jonka harjoituksissa osoitimme olemassaolemattomaksi).

> ztrans(k!,k,z);

hypergeom([1, 1],[],1/z)

> sum(k!*z^(-k),k=0..infinity);

hypergeom([1, 1],[],1/z)

hypergeom([1., 1.],[],1/z)

> z:=10:sum(k!*z^(-k),k=0..100);evalf(%);

219611905696877712442956956165622009334643661089289...

.1037087903e59

> z:=100:sum(k!*z^(-k),k=0..100);evalf(%);

534798737264119882833499131574787647769071867242643...
534798737264119882833499131574787647769071867242643...
534798737264119882833499131574787647769071867242643...

1.010206253

> z:=100.0:sum(k!*z^(-k),k=0..1000);

.4471024835e568

>