What is an integral?

1 Answer
Jun 16, 2018

In mathematics, we talk about two types of integrals. Definite integrals and indefinite integrals.

Generally, an integral assigns numbers to functions in a way that can describe displacement, area, volume and even probability.

Definite Integrals

This type of integral relates to numerical values. It is used in pure mathematics, applied mathematics, statistics, science and many more. However, the very basic concept of a definite integral describes areas.

The definite integral of a function #f# over an interval #[a,b]# represents the area defined by the function and the x-axis from point #a# to point #b#, as seen below.

https://en.wikipedia.org/wiki/Numerical_integration

The symbol used to represent this area #S# and integral, respectively, is

#S=int_a^b f(x)"d"x#, where

#diamond f " is called the integrand"#
#diamond a and b " are the lower and upper bounds"#
#diamond x " is a dummy variable"#

You might be wondering what #"d"x# means. Formally, it doesn't mean anything but rather it tells you which variable you are differentiating with respect to or in our case, tells you the variable of integration.

When we say the area defined by the function #f# with the x-axis, we mean the net area. The net area is not the same as absolute area.

If the graph of the function is above the x-axis, then it is said that the net area is positive. If it is below, the net area is negative. This might be harder to grasp at first. This is visualised below:

https://en.wikipedia.org/wiki/Integral

For example, say we are tasked with finding the net area under the curve #f(x)=x^2# from #0# to #1#:

In our case,

#S = int_0^1 x^2 "d"x#

To not complicate this answer, here's a video describing it in greater detail:

As such, it has been proven that #S=1/3#.

We can make a general case here; for every #n!=-1#,

#int_0^tau x^n "d"x = tau^(n+1)/(n+1)#

At the same time, the video describes Riemann sums. These are used to compute integrals. Generally, the Riemann sum of a function #phi# is

#int_a^b phi(x)dx = lim_(n->oo) sum_(i=an)^(bn) phi(x_i)Deltax_i #

where #Deltax_i = x_i-x_(i-1)# and #x_i#, as mentioned in the video above, represent some "marks" on the x-axis. One possible solution is by letting #x_i=i"/"n#. Then #Deltax_i = 1"/"n#. While this is usually simpler, it might not be easiest or fastest way to compute integrals.

If we remember the general case formed earlier, about the integral of #x^n# from #0# to #tau#; well, this is called the Power Rule. There are many, many ways different formulas for integrals, which I won't cover in this answer. This is just a very general idea of what integrals are.

Indefinite Integrals

These are represented as integrals with bounds. Let #I# be the indefinite integral of a function #f#.

#I=int f(x)"d"x#

You can think of indefinite integrals as generalisations of definite ones.

Instead of being defined by areas, volumes or something else, indefinite integrals correlate to derivatives. The indefinite integral of a function #f# is also called the antiderivative and is often noted as #F(x)#.

The Fundamental Theorem of Calculus bridges the gap between a function, its derivative and its indefinite integral. Basically, it says that #F# is defined as the function which, when differentiated, gives #f#:

#F'(x) = f(x)#

Now, say we want to find the antiderivative of the function #f(x)=x^2#.

#F(x) = int f(x)"d"x=intx^2"d"x#

Using our former definition, what function do we have to differentiate to get #x^2#? The Power Rule for derivatives states that, if #f(x)=x^n#, then #f'(x) = nx^(n-1)#. As such, if we assume #F(x)# to be an algebraic function of the type

#F(x) = "constant"*x^"exponent"#, we have:

#F(x) = cx^k => F'(x) = ckx^(k-1)#

Except that this is not complete. Remember that, when differentiating a constant with respect to a variable, it practically dissapears, hence the true form of #F(x)# is

#F(x) = "constant"_1*x^"exponent"+"constant"_2#

Let #alpha# and #C# be the two constants and #k# the exponent.

#F(x) = alphax^k + C => F'(x) = alphakx^(k-1)#

Since #F'(x) = f(x)#, we can conclude that

#alphakx^(k-1)=x^2=>{(k-1=2),(alphak=1) :}<=>{(k=3),(alpha=1/3) :}#

#:. int x^2"d"x = x^3/3+C#

Analogously, if we define #f(x) = x^n# for #n!=-1#, then

#F(x) = int x^n "d"x = x^(n+1)/(n+1)+C#

#C# is called the constant of integrations and simply is a random constant. It's not a particular value. It's just there for the sake of correctness.

Bridging the gap between definite and indefinite integrals

Our previous antiderivative of #x^n# does resemble something which we got earlier while talking about definite integrals. We see that, if we allow #C# to be #0#, then

#F_((C=0))(tau) = tau^(n+1)/(n+1)#

But we know that this is also equal to #int_0^tau x^n "d"x#:

#F_((C=0))(tau) = int_0^tau x^n "d"x#

This is where the connection between definite integrals and indefinite integrals is visible, stated formally below:

If #F(x)# is the antiderivative of a function #f(x)# and we let #C=0#, then

#int_a^b f(x) "d"x = F(b)-F(a)#

I hope this answer wasn't too intimidating.