Основы Maple

Robert M. Corless
Department of Applied Mathematics
University of Western Ontario
London, Canada

Copyright 2001 by Robert M. Corless
All rights reserved

Основы

The assume facility

Достоинства команды assume

> restart;

>Int( exp(-s*t)/(1+t), t=0..infinity ) = int( exp(-s*t)/(1+t), t=0..infinity ) ;

Definite integration: Can't determine if the integral is convergent.

Need to know the sign of --> s

Will now try indefinite integration and then take limits.

Определенное интегрирование: Нельзя определить, является ли интеграл сходящимся. Поэтому возникла потребность во вводе параметра - > s
Попробовать теперь неопределённое интегрирование, а затем - вычислить предел.

>int( exp(-t)*t^(x-1), t=0..infinity );

Definite integration: Can't determine if the integral is convergent.

Need to know the sign of --> x

Will now try indefinite integration and then take limits.

Определенное интегрирование: Нельзя определить, является ли интеграл сходящимся. Поэтому возникла потребность во вводе параметра - > х
Попробовать теперь неопределённое интегрирование, а затем - вычислить предел.

>int( exp(-s*t)/(1+t), t=0..infinity );

> assume( s > 0 );

>Int( exp(-s*t)/(1+t), t=0..infinity ) = int( exp(-s*t)/(1+t), t=0..infinity );

>Int( exp(-s*(s-1)*t)/(1+t), t=0..infinity ) = int( exp(-s*(s-1)*t)/(1+t), t=0..infinity );

Definite integration: Can't determine if the integral is convergent.

Need to know the sign of --> s*(s-1)

Will now try indefinite integration and then take limits.

Определенное интегрирование: Нельзя определить, является ли интеграл сходящимся. Поэтому возникла потребность во вводе параметра - > s*(s-1)
Попробовать теперь неопределённое интегрирование, а затем - вычислить предел.

> assume( s > 1 );

> interface( showassumed=2 );

>sum( k^(-s), k=1..infinity );

С официального разрешения © 2002 Waterloo Maple, Inc