The intat command expresses an integral evaluated at a point; it is analogous to using the D command to express a derivative evaluated at a point. Intat is the inert form of intat so that integrals expressed using Intat can be evaluated using value.

Indefinite integrals can always be expressed using intat (as derivatives can always be expressed using D) as follows:

int(f(y),y) = intat(f(a),a=y);

$\int f\left(y\right)\ⅆy={\int }_{\phantom{\mathrm{`\; `}}}^{y}f\left(a\right)\ⅆa$

The integral over y on the left hand side is expressed on the right hand side as an integral over a parameter (a), evaluated at a = y. It is assumed that the evaluation "at a = y" will be done after evaluating the integral (as with derivatives evaluated at a point). Intat and intat are now used by pdsolve and dsolve, when necessary, to express the solution of PDEs and ODEs (see ?pdsolve, ?dsolve).

Concerning the display on the screen, intat appears as an integral with only an upper limit (as is usual in textbooks).

The intat command is relevant mainly to express indefinite integrals in which you would like, at some step of the calculations, to introduce a change of variables resulting in an integration variable not of type name. For example, consider

int(f(y),y);

$\int f\left(y\right)\ⅆy$

evaluated at y = y(x): subs will lead to a wrong result, because y(x) is not of type name; dchange will introduce y(x) inside the integral (not wrong but undesirable, for instance, when solving differential equations). The same problem arises when the evaluation point is not just a function but an arbitrary algebraic expression. The intat command addresses this problem as follows.

intat(f(y), y=expr):   # -> is processed by:

1) trying to evaluate the indefinite integral (using int);

2) if int fails in evaluating the indefinite integral, intat returns unevaluated; otherwise, a change of variables (y -> expr) in the result of step 1) is done using dchange, resulting in the desired "integral evaluated at expr".

The differentiation, expansion, and change-of-variables rules for intat are defined too. This means that the system, as a whole, will succeed in differentiating, expanding, or changing variables (using dchange) in integrals expressed using intat or Intat.

The useintat command takes as an argument an algebraic expression and replaces all indefinite integrals built using int, Int, or Intat by their equivalents using intat.

The useint command takes as an argument an algebraic expression and replaces all indefinite integrals built using Int, intat, or Intat by their equivalents using int.

The commands useIntat and useInt work in the same manner as useintat and useint, but introduce integrals built using the inert commands Intat and Int.

$\mathrm{with}\left(\mathrm{PDEtools}\,\mathrm{dchange}\right)$

$\left[\mathrm{dchange}\right]$

$\mathrm{II}≔\mathrm{int}\left(f\left(r\right)\,r\right)\:$

$\mathrm{eq}≔\mathrm{useintat}\left(\mathrm{II}\right)=\mathrm{II}$

$\mathrm{eq}≔{\int }_{\phantom{\mathrm{`\; `}}}^{r}f\left(\mathrm{\_a}\right)\ⅆ\mathrm{\_a}=\int f\left(r\right)\ⅆr$

$\mathrm{tr}≔r=\mathrm{sqrt}\left({y\left(x\right)}^2+x^2\right)$

$\mathrm{tr}≔r=\sqrt{{y\left(x\right)}^2+x^2}$

$\mathrm{ans}≔\mathrm{dchange}\left(\mathrm{tr}\,\mathrm{eq}\,\mathrm{known}=f\,\left[x\right]\right)$

$\mathrm{ans}≔{\int }_{\phantom{\mathrm{`\; `}}}^{\sqrt{{y\left(x\right)}^2+x^2}}f\left(\mathrm{\_a}\right)\ⅆ\mathrm{\_a}=\int \frac{f\left(\sqrt{{y\left(x\right)}^2+x^2}\right)\left(2y\left(x\right)\left(\frac{\ⅆ}{\ⅆx}y\left(x\right)\right)+2x\right)}{2\sqrt{{y\left(x\right)}^2+x^2}}\ⅆx$

$\mathrm{eval}\left(\mathrm{ans}\,f=\cos \right)$

$\sin \left(\sqrt{{y\left(x\right)}^2+x^2}\right)=\sin \left(\sqrt{{y\left(x\right)}^2+x^2}\right)$

$\mathrm{II}≔\mathrm{Intat}\left(\exp \left(x\right)+1\,x=F\left(a+b\right)-F\left(a-b\right)\right)$

$\mathrm{II}≔{\int }_{\phantom{\mathrm{`\; `}}}^{F\left(a+b\right)-F\left(a-b\right)}\left({\ⅇ}^x+1\right)\ⅆx$

$\mathrm{value}\left(\mathrm{II}\right)$

$F\left(a+b\right)-F\left(a-b\right)+{\ⅇ}^{F\left(a+b\right)-F\left(a-b\right)}$

$\mathrm{II}≔\mathrm{intat}\left(\mathrm{diff}\left(F\left(a\right)\,a\right)+G\left(a\right)\,a=H\left(x\right)\right)$

$\mathrm{II}≔{\int }_{\phantom{\mathrm{`\; `}}}^{H\left(x\right)}\left(\frac{\ⅆ}{\ⅆa}F\left(a\right)+G\left(a\right)\right)\ⅆa$

$\mathrm{diff}\left(\mathrm{II}\,x\right)$

$\left(\mathrm{D}\left(F\right)\left(H\left(x\right)\right)+G\left(H\left(x\right)\right)\right)\left(\frac{\ⅆ}{\ⅆx}H\left(x\right)\right)$

$\mathrm{expand}\left(\mathrm{II}\right)$

$F\left(H\left(x\right)\right)+{\int }_{\phantom{\mathrm{`\; `}}}^{H\left(x\right)}G\left(a\right)\ⅆa$