Processing math: 100%

Monday, 25 October 2021

Fee, Phi, Fo, Sum

Time to return to integrals for a while and practice my LaTeX skills. I came across an interesting video on YouTube recently that investigated the following integral:01(1+xϕ)ϕdx

Figure 1 shows that the result is 1 using GeoGebra, using 1000 as the limit of integration rather than infinity, because the program doesn't seem to cope with the latter. 


Figure 1

The program however, gives no clue as to how this result was arrived at, although it looks to be likely given the appearance of the area under the curve. Symbolab isn't much help. See Figure 2.


Figure 2

The online integral calculator wasn't any help either. See Figures 3 and 4.


Figure 3


Figure 4

So to show why the integral is equal to 1, I'll basically follow the steps as outlined in the video. Let's remember that ϕ is the solution to the equation:x2x1=0where x=1+52=ϕalso 1=ϕ2ϕand 1ϕ=ϕ1
To integrate, the following substitution is used:u=xϕdu=ϕxϕ1dxduϕxϕ1=dx
The limits of integration don't need to be changed because u=0 when x=0 and u as x. So the integral becomes:0du(1+u)ϕϕxϕ1
However ux=xϕ1 because u=xϕ and so the integral becomes:1ϕ0x(1+u)ϕudu
Because u=xϕ, we can write u1/ϕ=x, thus the integral now becomes:1ϕ0u1/ϕ(1+u)ϕudu
Now we saw earlier that 1ϕ=ϕ1 and we can use this fact in transforming the integral even further. We can now write it as:1ϕ0uϕ1(1+u)ϕudu=1ϕ0uϕ11(1+u)ϕdu=1ϕ0uϕ11(1+u)ϕ1+1du
Now this last transformation of the integral may seem strange but it's usefulness becomes apparent once we bear in mind the beta function, defined as:β(x,y)=0ux1(1+u)x+ydu=Γ(x)Γ(y)Γ(x+y)
In this beta function, if we let x=ϕ1 and y=1, our integral now becomes:1ϕβ(ϕ1,1)=1ϕΓ(ϕ1)Γ(1)Γ(ϕ)=1ϕ(ϕ2)!0!(ϕ1)!=1ϕ1ϕ1=1ϕ2ϕ=1
Thus we have confirmed that the integral does indeed evaluate to 1. The transformation of the gamma function to the factorial is achieved via the fact that Γ(x)=(x1)!.

Here is the actual video embedded into this blog. It covers precisely the same steps and my main purpose in creating this blog is simply to prevent my LaTeX skills from becoming too rusty.

No comments:

Post a Comment