int or Int - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : Inert Functions : int/details

int or Int

definite and indefinite integration

 

Calling Sequence

Parameters

Options

Basic Information

Description

Notes

Examples

Calling Sequence

int(expression, x)

∫expressionⅆx

Int(expression, x)

∫expressionⅆx

int(expression, x=a..b)

∫abexpressionⅆx

Int(expression, x=a..b)

∫abexpressionⅆx

int(expression, [x, y])

 

int(expression, x=a..b, opt)

 

int(expression, [x=a..b, y=c..d, ...], opt)

 

Int(expression, x=a..b, opt)

 

int(f, a..b, opt)

 

int(f, [a..b, c..d, ...], opt)

 

Int(f, a..b, opt)

 

Parameters

expression

-

algebraic expression; integrand

x,y

-

name; variable of integration

a, b, c, d

-

endpoints of interval on which integral is taken

f

-

operator; integrand

opt

-

(optional) a sequence of one or more of the options listed below

Options

• 

The following options, which are described in more detail in the sections below, apply to definite integrals only. Where indicated, some options take their default value from environment variables. An option has a default value of false if its corresponding environment variable is not set.

• 

AllSolutions=truefalse

Specifies whether int considers all possible real values for any symbols in the limits of integration. The default value is taken from _EnvAllSolutions.

• 

continuous=truefalse

Specifies whether int looks for discontinuities. The default value is taken from _EnvContinuous.

• 

CauchyPrincipalValue=truefalse

Specifies whether a principal value integral is computed, that is, whether infinities are allowed to cancel in some cases. The default value is taken from _EnvCauchyPrincipalValue.

• 

method=value 

Specifies which internal integration routine(s) to use.  See int/methods for more details.

• 

numeric=truefalse

Specifies whether numeric integration methods are used instead of symbolic methods.  If numeric=true is specified, other numeric integration options can be specified.  See evalf/Int for more details.

Basic Information

• 

This help page contains complete information about the int and Int commands. For basic information, see the int help page.

Description

• 

The int command computes an indefinite or definite integral of the expression expression with respect to the variable x. The name integrate is a synonym for int.

• 

You can enter the command int using either the 1-D or 2-D calling sequence.  For instance, int(f,x) is equivalent to ∫fⅆx.

• 

Indefinite integration is performed if the second argument x is a name. Note that no constant of integration appears in the result. Definite integration is performed if the second argument is of the form x=a..b where a and b are the endpoints of the interval of integration.

  

If a and b are finite complex numbers, the int routine computes the definite integral over the straight line from a to b.

• 

If the integrand is specified as a Maple operator f, then the second argument must be a range a..b and not an equation, that is, a variable of integration must not be specified.

• 

If Maple cannot find a closed form expression for the integral, the function call itself is returned.

• 

The capitalized function name Int is the inert version of the int function, which simply returns unevaluated. It appears gray so that it is easily distinguished from a returned int calling sequence. In this form, expression can be a procedure, which can be integrated numerically.

• 

For numerical integration, use the option numeric.  For more information on numerical integration, see evalf/Int.

• 

If the second argument is a list, an iterated integration is performed on the variables or ranges in the order given. For definite integration, the list can be omitted and the ranges can be given as a sequence. For indefinite integration, the variables can be given as a sequence instead of a list if all variables appear in the expression being integrated. Otherwise, there may be confusion between variables and option names.

Handling Discontinuities

• 

Note that the indefinite integral in Maple is defined up to a piecewise constant. Hence, the results returned by int may be discontinuous at some points. In many cases, you can ensure continuity by replacing an indefinite integration problem by the corresponding definite integral.

int( floor(x), x );

floorxx

(1)

int( floor(t), t = 0..x ) assuming x > 0;

floorxx+{12floorx212floorx1floorx0otherwise

(2)
• 

For symbolic definite integration, two options control how discontinuities are handled.  By default, int checks for discontinuities, and computes the integral as a sum of independent definite integrals, each of which involves an integrand which has no discontinuities in the interior of the interval of integration.

• 

The 'continuous' option instructs int not to look for discontinuities.

• 

The 'CauchyPrincipalValue' option instructs int to consider the limits from the left and right at each interior discontinuity as a single limit (so that the independent variable approaches the discontinuity at the same rate from the right and the left).  This allows for positive and negative infinite limits to cancel.

Returning the Entire Set of Solutions

• 

The 'AllSolutions' option, if set, forces int to return the entire set of solutions for the specified definite integral. This applies only to parameters in the endpoints of the interval, not to parameters in the integrand.

  

Note: The results returned with the 'AllSolutions' option may not be valid for some non-real parameter values. The results are always valid for all real parameter values.

Notes

• 

The Maple series function may be invoked on an unevaluated integral to compute a series expansion of the integral (when possible).

• 

When int is applied to a series structure, the internal function `int/series` is invoked to compute the integral efficiently.

Examples

∫sinxⅆx

cosx

(3)

∫0πsinxⅆx

2

(4)

intsin,a..b

cosacosb

(5)

∫xx31ⅆx

13lnx116lnx2+x+1+133arctan132x+13

(6)

∫ⅇx2ⅆx

12πerfx

(7)

∫0∞ⅇx2lnxⅆx

14πγ12πln2

(8)

∫ⅇx2lnxⅆx

∫ⅇx2lnxⅆx

(9)

series,x=0,4

lnx1x+13lnx+19x3+Ox5

(10)

∫ⅆx

12lnxx234x2112x4lnx+7144x4+Ox6

(11)

∫0∞ⅇx2lnx2ⅆx

116π5/2+18γ2π+12γln2π+12ln22π

(12)

The inert version of the int function simply returns unevaluated.

f7x3+3x2+5x:

∫fⅆx

∫7x3+3x2+5xⅆx

(13)

Inert objects can be evaluated with the value command.

value

74x4+x3+52x2

(14)

A double integral

∫01∫01xy2ⅆxⅆy

∫01∫01xy2ⅆxⅆy

(15)

intxy2,x,y

16x2y3

(16)

∫22∫0yxy2ⅆxⅆy

325

(17)

int1x+a2,x=0..2,'continuous'

2a2+a

(18)

int1x3,x=1..2,'CauchyPrincipalValue'

38

(19)

∫13FxHeavisidex1ⅆx

∫13Fxⅆx

(20)

An Elliptic integral

∫2312t43t22ⅆt

155EllipticF137,155155EllipticF122,155

(21)

Integrating algebraic functions (only for RootOf notation)

fx21+31+x213x1+x223x2+22

fx21+3x2+11/3xx2+12/3x2+22

(22)

fconvertf,RootOf:

g∫fⅆx

g32RootOf_Z3x21,index=1x2+2+32RootOf_Z3x21,index=12x2+212ln3RootOf_Z3x21,index=12+x2+3RootOf_Z3x21,index=1+2x2+2

(23)

evalaxgf

0

(24)

Define a Maple operator using the unapply command.

funapplyx+y,x

fx→x+y

(25)

intf,4..5

92+y

(26)

Specify the 'AllSolutions' option.

∫a21xⅆx

Warning, unable to determine if 0 is between a and 2; try to use assumptions or use the AllSolutions option

∫a21xⅆx

(27)

rint1x,x=a..2,'AllSolutions'

r&lcub;undefineda<0&infin;a&equals;0lna&plus;ln20<a

(28)

rassuming0<a

lna&plus;ln2

(29)

rassuminga<0

undefined

(30)

&int;02&pi;msinx&DifferentialD;xassumingm::integer

Warning, unable to determine if Pi*_Z5 is between 0 and 2*Pi*m0; try to use assumptions or use the AllSolutions option

&int;02&pi;msinx&DifferentialD;x

(31)

intsinx&comma;x&equals;0..2&pi;m&comma;&apos;AllSolutions&apos;assumingm::integer

4m

(32)

See Also

DEtools[integrate_sols]

diff

elliptic_int

evalf

evalf/Int

int

IntegrationTools

inttrans[fourier]

inttrans[laplace]

inttrans[mellin]

iscont

limit

series

symbolic order integration

unapply

VectorCalculus

VectorCalculus[int]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam