substitution notation

The following are two commonly used substitution notations for calculating definite integrals with the antiderivative:

• ${\int }_a^{b}f(x)𝑑x={\left[F(x)\right]}_a^b$

• ${\int }_a^{b}f(x)𝑑x={F(x)|}_a^b$

Here, the right hand the difference  $F(b)-F(a)$.  For example, one has

$${\int }_1^2\frac{1}{x}𝑑x={\left[\ln x\right]}_1^2.$$

In Finland (only?) the corresponding notation is

$${\int }_1^2\frac{1}{x}𝑑x=\underset{1}{\overset{2}{/}}\ln x$$

which may be somewhat better;  it is read in same manner as the definite integral notation, “sijoitus 1:stä 2:een ln x” (literally: “substitution from 1 to 2  ln x”).  The position of the substitution symbol in front of the function to be substituted is perhaps more natural in the sense that the symbol has an operator (as e.g. the summing symbol).  One of benefits of the Finnish notation is that one can comfortably clarify in it which is the variable to be substituted (as in the sum notation), e.g. in the case

$${\int }_0^{\pi }\sin txdt=-\frac{1}{x}\underset{t=0}{\overset{\pi }{/}}\cos tx.$$

The notation

$$\underset{a}{\overset{b}{/}}F(x):=F(b)-F(a)$$

is extended also to such cases as

$$\underset{a}{\overset{\mathrm{\infty }}{/}}F(x):=\underset{b\to \mathrm{\infty }}{lim}\underset{a}{\overset{b}{/}}F(x).$$

Formulae

• $\underset{a}{\overset{b}{/}}F(x)=-\underset{b}{\overset{a}{/}}F(x)$

• $\underset{a}{\overset{b}{/}}kF(x)=k\underset{a}{\overset{b}{/}}F(x)$

• $\underset{a}{\overset{b}{/}}[F_1(x)+\mathrm{\dots }+F_n(x)]=\underset{a}{\overset{b}{/}}{F}_1(x)+\mathrm{\dots }+\underset{a}{\overset{b}{/}}{F}_n(x)$

• ${\int }_a^{b}u(x)v^{\prime }(x)𝑑x=\underset{a}{\overset{b}{/}}u(x)v(x)-{\int }_a^b{u}^{\prime }(x)v(x)𝑑x$

Note.  There are in Finland also some other “national”, unofficial mathematical notations used in universities, e.g.

$$-\ni -$$

which means ‘such that’.  For example, one may write

$$\forall x\in \mathbb{Z}\exists y\in \mathbb{Z}-\ni -x+y=0.$$

Title	substitution notation
Canonical name	SubstitutionNotation
Date of creation	2013-03-22 15:08:12
Last modified on	2013-03-22 15:08:12
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	18
Author	pahio (2872)
Entry type	Topic
Classification	msc 26A42
Related topic	HermitePolynomials
Related topic	AreaUnderGaussianCurve
Related topic	SineIntegralInInfinity
Related topic	Tractrix
Related topic	FourierSineAndCosineSeries
Related topic	ProofOfClosedDifferentialFormsOnASimpleConnectedDomain
Related topic	TaylorSeriesOfArcusTangent
Related topic	PerimeterOfAstroid
Related topic	PotentialOfHollowBall
Related topic	VolumeOfEllipsoid
Related topic	Arc