Научная статья на тему 'EVALUATION OF THE NON-ELEMENTARY INTEGRAL ∫EλX^αDX, α ≥ 2, AND OTHER RELATED INTEGRALS'

EVALUATION OF THE NON-ELEMENTARY INTEGRAL ∫EλX^αDX, α ≥ 2, AND OTHER RELATED INTEGRALS Текст научной статьи по специальности «Математика»

CC BY
126
26
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Ural Mathematical Journal
Scopus
ВАК
Область наук
Ключевые слова
NON-ELEMENTARY INTEGRAL / HYPERGEOMETRIC FUNCTION / CONFLUENT HYPERGEOMETRIC FUNCTION / ASYMPTOTIC EVALUATION / FUNDAMENTAL THEOREM OF CALCULUS / GAUSSIAN / MAXWELL-BORTSMAN DISTRIBUTION

Аннотация научной статьи по математике, автор научной работы — Nijimbere Victor

A formula for the non-elementary integral ∫eλx^αdx, where α is real and greater or equal two, i sobtained in terms of the confluent hypergeometric function 1F1 by expanding the integrand as a Taylor series.This result is verified by directly evaluating the area under the Gaussian Bell curve, corresponding to α = 2, using the asymptotic expression for the confluent hypergeometric function and the Fundamental Theorem of Calculus(FTC). Two different but equivalent expressions, one in terms of the confluent hypergeometric function 1F1 and another one in terms of the hypergeometric function 1F2, are obtained for each of these integrals, ∫cosh(λxα)dx, ∫sinh(λxα)dx, ∫cos(λxα)dx and ∫sin(λxα)dx, λ ∈ C, a ≥ 2. And the hypergeometric function 1F2 is expressedin terms of the confluent hypergeometric function 1F1. Some of the applications of the non-elementary integral ∫eλx^αdx, α ≥ 2 such as the Gaussian distribution and the Maxwell-Bortsman distribution are given.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «EVALUATION OF THE NON-ELEMENTARY INTEGRAL ∫EλX^αDX, α ≥ 2, AND OTHER RELATED INTEGRALS»

URAL MATHEMATICAL JOURNAL, Vol. 3, No. 2, 2017

EVALUATION OF THE NON-ELEMENTARY INTEGRAL / eAx"dx, a > 2, AND OTHER RELATED INTEGRALS

Abstract: A formula for the non-elementary integral / dx where a is real and greater or equal two, is obtained in terms of the confluent hypergeometric function 1F1 by expanding the integrand as a Taylor series. This result is verified by directly evaluating the area under the Gaussian Bell curve, corresponding to a = 2, using the asymptotic expression for the confluent hypergeometric function and the Fundamental Theorem of Calculus (FTC). Two different but equivalent expressions, one in terms of the confluent hypergeometric function 1F1 and another one in terms of the hypergeometric function 1F2, are obtained for each of these integrals, J cosh(Axa)dx, f sinh(Axa)dx, j cos(Axa)dx and f sin(Axa)dx, A € C, a > 2. And the hypergeometric function 1F2 is expressed in terms of the confluent hypergeometric function 1F1. Some of the applications of the non-elementary integral f e^x dx, a > 2 such as the Gaussian distribution and the Maxwell-Bortsman distribution are given.

Key words: Non-elementary integral, Hypergeometric function, Confluent hypergeometric function, Asymptotic evaluation, Fundamental theorem of calculus, Gaussian, Maxwell-Bortsman distribution.

Definition 1. An elementary function is a function of one variable built up using that variable and constants, together with a finite number of repeated algebraic operations and the taking of exponentials and logarithms [6].

In 1835, Joseph Liouville established conditions in his theorem, known as Liouville 1835's Theorem [4, 6], which can be used to determine whether an indefinite integral is elementary or non-elementary. Using Liouville 1835's Theorem, one can show that the indefinite integral / eAxdx, a > 2, is non-elementary [4], and to my knowledge, no one has evaluated this non-elementary integral before.

For instance, if a = 2, A = —ft2 < 0, where ft is a real constant, the area under the Gaussian Bell curve can be calculated using double integration and then polar coordinates to obtain

Is that possible to evaluate (1.1) by directly using the Fundamental Theorem of Calculus (FTC) as in equation (1.2)?

Victor Nijimbere

School of Mathematics and Statistics, Carleton University, Ottawa, Ontario, Canada victornijimbere@gmail.com

1. Introduction

(1.1)

oo

(1.2)

oo

t

0

The Central limit Theorem (CLT) in Probability theory [2] states that the probability that a random variable x does not exceed some observed value z is

z

1 i

P{X <z) = —p= J e~~dx. (1.3)

—o

So if we know the antiderivative of the function g(x) = eAx2, we may choose to use the FTC to calculate the cumulative probability P(X < z) in (l.3) when the value of z is given or is known, rather than using numerical integration.

The Maxwell-Boltsman distribution in gas dynamics,

v

F(v)=* /x2 e-Y'2 dx- (L4)

0

where d and y are some positive constants that depend on the properties of the gas and v is the gas speed, is another application.

There are many other examples where the antiderivative of g(x) = eAx", a > 2 can be useful. For example, using the FTC, formulas for integrals such as

00 00 00

Ie'2"+'dtx< - /e"'2"+'di-x> -- /t2"e"'2*x <lJ5>

x x x

where n is a positive integer, can be obtained if the antiderivative of g(x) = eAx", a > 2 is known.

In this paper, the antiderivative of g(x) = eAx", a > 2, is expressed in terms of a special function, the confluent hypergeometric 1 [l]. And the confluent hypergeometric 1F1 is an entire function [3], and its properties are well known [l, 5]. The main goal here is to consider the most general case with A complex (A € C), evaluate the non-elementary integral / eAx", a > 2 and thus make possible the use of the FTC to compute the definite integral

B

/eAxadx_ (L6)

A

for any A and B. And once (l.6) is evaluated, then integrals such as (l.l), (l.2), (l.3), (l.4) and (1.5) can also be evaluated using the FTC. Using the hyperbolic and Euler identities,

cosh(Axa) = (eAxa + e-Ax")/2, sinh(Axa) = (eAx" - e-Ax")/2, cos(Axa) = (eiAxa + e-iAx")/2, sin(Axa) = (eiAx" - e-iAx")/(2i),

the integrals

J cosh(Axa)dx, J sinh(Axa)dx, J cos(Axa)dx and J sin(Axa)dx,a > 2, (1.7)

are evaluated in terms of 1F1 for any constant A. They are also expressed in terms of the hypergeometric 1F2. And some expressions of the hypergeometric function 1F2 in terms of the confluent hypergeometric function 1F1 are therefore obtained.

For reference, we shall first define the confluent confluent hypergeometric function 1F1 and the hypergeometric function 1F2 before we proceed to the main aims of this paper (see sections 2 and 3).

Definition 2. The confluent hyper geometric function, denoted as 1F1, is a special function given by the series [1, 5]

•*<«**>-ê^. (L8)

n=0

where a and b are arbitrary constants, ($)n = r($ + n)/r($) (Pochhammer's notation [1]) for any complex •&, with ($)0 = 1, and r is the standard gamma, function [1].

Definition 3. The hypergeometric function \F2 is a special function given by the series [1, 5]

where a,b and c are arbitrary constants, and ($)n = + n)/r($) (Pochhammer's notation [1]) as in Definition 2.

2. Evaluation of j' exxdx

Proposition 1. The function G(x) = x \F\ ^ + 1; \xa), where \F\ is a confluent hypergeometric function [1], A is an arbitrarily constant and a > 2, is the antiderivative of the function g(x) = eAx". Thus,

JeXxadx = x iFi + +C. (2.1)

Proof. We expand g(x) = eAx as a Taylor series and integrate the series term by term. We also use the Pochhammer's notation [1] for the gamma function, r(a + n) = r(a)(a)n, where (a)n = a(a + 1) ■ ■ ■ (a + n — 1), and the property of the gamma function r(a + 1) = ar(a) [1]. For example, r(n + a + 1) = (n + a)r(n + a). We then obtain

i x^^ An i

g{x)dx = J eXx"dx = ^ — J xandx

n!

n=0

œ \n ™«n+l ™ œ i\^a\n

Y"A-—T+C = -T,r i\

^on\an + 1 a ^ (n + nl

x

°° r (n + i) (\xa)n

y ^T^ /"V +C (2.2)

at/oT(n + ^ + 1) nl °° m (\xa)n

(— + l) n\

n=0 Va In

= x iFi ( + l;Aa;a ) +C = G(x) +C. □

aa

Example 1. We can now evaluate / x2neAx2 dx in terms of the confluent hypergeometric function. Using integration by parts,

J x2neXx2dx = ^^eXx2 - ^^ J x2n~2eXx2dx. (2.3)

1. For instance, for n = 1,

/ «V* = ~ Tx J ^ = fr* (? IAl2) + C <M>

2. For n = 2,

Example 2. Using the method of integrating factor, the first-order ordinary differential equation

y' + 2xy = 1 (2.6)

has solution

y(x)=e~x2 (y ex2dx + cj = xe~x2 Q; |^ + Ce"^. (2.7)

Assuming that the function G(x) (see Proposition 1) is unknown, in the following lemma, we use the properties of function g(x) to establish the properties of G(x) such as the inflection points and the behavior as x — ±to.

Lemma 1. Let the function G(x) be an antiderivative of g(x) = eAx", A € C with a > 2.

1. If the real part of A is negative (< 0) and a is even, then the limits limx^—rcG(x) and limx^+rcG(x) are finite (constants). And thus the Lebesgue integral f^ |eAx"|dx < to.

2. If A is real (A € R), then the point (0, G(0)) = (0,0) is an inflection point of the curve Y = G(x), x € R.

3. And if A € R and A < 0, and a is even, then the limits limx^—rc G(x) and limx^+rc G(x) are finite. And there exists real constant 0 > 0 such that limits limx^—rc G(x) = —0 and lim^+rc G(x) = 0.

P r o o f.

1. For complex A = Ar + iAj, where the subscript r and i stand for real and imaginary parts respectively, the function g(x) = g(z) = ez" where z = (Ar + iAj)1/ax, a > 2, is an entire function on C. And if Ar < 0 and a is even implies Re(za) is always negative regardless of the values of x. And so, if |z| — to (or x — ±to), then g(z) = 0 (g(z) — 0) (or g(x) = 0 as x — ±to). Therefore by Liouville theorem, G(z) has to be constant as |z| — to, and so is G(x) as x — ±to. Hence, the Lebesgue integral

/00 rrc rrc

|eAx"|dx = eAr|eAi|dx = eArX"dx < to

-rc J—rc J—rc

since G(x) is constant as x — ±to. For Ar < 0 and a odd, the limit limx^—rc eArx diverges and so does the integral J^, eArxdx. Therefore, the Lebesgue integral J^, |eAx" |dx has to diverge too. On the other hand, for Ar > 0, the limit limx^+rc eArx diverges, and so does the integral J^, eArxdx regardless of the value of a. Therefore, the Lebesgue integral /-TC |eAx<* |dx has to diverge too.

x

Figure 1. G(x) is the antiderivative of e x2 given by (2.8).

2. At x = 0, g(0) = 1. And so, around x = 0, the antiderivative G(x) ~ x because G'(0) = g(0) = 1. And so (0,G(0)) = (0,0). Moreover, G''(x) = g'(x) = Aaxa—1eAx",a > 2, gives G''(0) = 0. Hence, by the second derivative test, if A is real (A = Ar), the point (0, G(0)) = (0,0) is an inflection point of the curve Y = G(x), x € R.

3. For A = Ar (A € R), boih g(x) and G(x) are analytic on R. Using this fact and the fact that for even a and Ar < 0, J^ |eAx" |dx < to implies that for even a and Ar < 0, G(x) has to be constant as x — ±to. In addition, the fact that G''(x) < 0 if x < 0 and G''(x) > 0 if x > 0 implies that, G(x) is concave upward on the interval (to, 0) while is concave downward on the interval (0, +to). Moreover, the fact that g(x) = G'(x) is symmetric about the y-axis (even) implies that G(x) has to be antisymmetric about the y-axis (odd). Hence there exists a real positive constant 0 > 0 such that limits limx^_rc G(x)= — 0 and limx^+rc G(x)=0.D

Example 3. If A = —1 and a = 2, then

J e~x2dx = x Q; | -x2^j + G. (2.8)

According to (2.8), the antiderivative of g(x) = e~x2 is G(x) = x \F\ —x2). Its graph as a function of x, sketched using MATLAB, is shown in Figure 1. It is in agreement with Lemma 1. It is actually seen in Figure 1 that (0,0) is an inflection point and that G(x) reaches some constants as x — ±to as predicted by Lemma 1.

In the following lemma, we obtain the values of G(x), the antiderivative of the function g(x) = eAx<*, as x — ±to using the asymptotic expansion of the confluent hypergeometric function 1F1.

Lemma 2. Consider G(x) in Proposition 1. 1. Then for |x| » 1,

G(x) =xiFx [ + l-,Xxa } ~

aa

e <* x

r (I + 1)__+

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Va ; \i \x\ (x\xa

1 , if a is even,

i —

e <*

e

Axa

(2.9)

r (- + l) —r H--7-r, if a is odd.

2. Let a > 2 and be even, and let A = —ft2, where ft is a real number, preferably positive. Then G(-oo) = lim G(x)= lim xiFx (-; - + 1; -ft:2xa) =—^T (- + 1 ) (2.10)

x^-oo x^-oo ya a /ft" V® /

and

G(+oo) = lim G(x)= lim X\F\ ( —; — + 1; —P2xa) = —^T ( — + 1 ) . (2.11)

a—>+oo a—>+oo \a a ) ^ \OL '

3. And by the FTC,

oo

J e-l32xadx = G(+œ) - G(-œ)

4.r(i + l)- -4r(i + l) =4r(i + l). (2.12)

ft- V" J \ p- J J ft- V" J

— oo

Proof.

1. To prove (2.9), we use the asymptotic series for the confluent hypergeometric function that is valid for |z| » 1 ([1], formula 13.5.1),

iFi (a; 6; z) _ e±inaz~a [ ^ (a)n( 1 + a-b)n/ R\

m \ ¿j ^ +0(N

,n=0

where a and b are constants, and the upper sign being taken if —n/2 < arg(z) < 3n/2 and the lower sign if —3ir/2 < arg(z) < — tt/2. We set z = Xxa, a = ^ and 6 = ^ + 1, and obtain

1^1 (¿i ^ + l]Xxa) _ e1^ i»}n(\va\-n , n /x^aA-«!

r^ + 1) '(Xi-fAk nl

a (Ax ) n=0

+ + (2-14)

Then, for |x| » 1,

» 71

el~ 1

—X ^ -^(Aa;a)-ra + O {Aa;")"^ I - i ^ (2.15)

i fi-1 /1 \ "i —r— , if a; is even

ct I - 1 — 1 — I ■ » 1

(Xxa)" U=o - ) | r_-l,if a is odd,

n! I I e « 1

X % while

Axa a\ — l ( S— l / i \ \xa

And so, for |x| » 1,

f J- 1 „Ax"

e a 1 e

ra + 1)

~ <

1 , , H--Tfr-, if a is even,

e « 1

—i---1--ttt-, if a is odd.

A*® r(I)A^'

Hence,

and

3. By the Fundamental Theorem of Calculus, we have

+rc 0 y

/ e_^2xadx = lim / dx + lim / e_^2dx

J y^-rc J y^+rc J

(2.17)

XT'"

^ /1 , e ^ x eAX x . 1 (- + 1) —— i—r H---——, if o; is even,

= ( —; —1-1; Xxa ) ~ < N (2.18)

■a a > I r H , ^ e " , e -r • aa r - + 1 —r H----if a is odd.

2. Setting A = —where ft is real and positive and using (2.9), then for a even,

11. „2 a\ 1^/1 x e_^a

CM = XlFl - + 1; -,3V) + J^zr (2.19)

Therefore,

G(-oo) = lim G(x)= lim xlFl(--- + l--l32xa) =—^T (- + 1) (2.20)

x^-oo x^-oo y OL a / (3~ V® /

G(+oo) = lim G(x)= lim xlFl(--- + l--l32xa)=\v(- + l). (2.21)

ic^+oo x^+oo \a a J f3~ \a

>_rc J y^+rc

_rc y 0

= lim y -■- + !■-fi2ya\- lim y lFl(-■- + !■-fi2ya\ (2 22) y^+rc \a a J y^_rc ya a ) (2.22)

= G(+to) — G(—TO)

^rfl + A-f-J.rfi + i^^rfi + i).

/3« / \ /3« \a J J /3« \a J

We now verify whether (2.22) is correct or not by double integration. We first observe that (2.22) is valid for all even a > 2. And so, if (2.22) is verified for a = 2, we are done since (2.22) is valid for all even a > 2. For a = 2, we have

+rc 0 y

/ e_^2x2 dx = lim / e_^2x2 dx + lim / e_^2 dx

J y^_rc J y^+rc J

_rc y 0

M. o2„.2\ ^ ^ o (2.23)

= lim -;-;-/?V - lim yiFi

y^+rc \2 2 / y^_rc y2 2

s \ 2 a/vt

On the other hand,

oc \ ° W ° \

dx) = U e—ß2x2 dx)(ie—ßV dy) (224)

to oo

J J e-ß2(x2+y2)dydx. (2.25)

\—TO / N—o

to oo

—oo —oo

In polar coordinate,

to to 2n oo 2n

e-ß2(*2+y2)dydx = j j e~ß2r2rdrd0 = _L jde = (2.26)

VI- ß

-oo-oo 0 0 0

This gives

oo

/ e—ß2x2dx =

oo

22

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

\

CO CO

e-(*2+y2)dydx = ^ (2.27)

ß

— oo —oo

as before. □

Example 4- Setting A = —ß2 = -1, ß = 1 and a = 2 in Lemma 2 gives

13 2n\ ^

G(-oo) = lim G(x) = lim x iFx -; -; = (2.28)

x^—TO X^—TO \2 2 / 2

and

G<+0°> = Jü&,,G<*> = Ä* (5:1 = ir <2-29>

This implies 9 = y^"/2 in Lemma 1. And this is exactly the value of G{x) as x —>• 00 in Figure 1. We also have lim^-oo G{x) = — 9 = —^/¥/2 as in Figure 1. Using the FTC, we readily obtain

0

j e~*2dx = G(0) - G(-oc) = 0 - ^

2

(2.30)

2

[ e-x2dx = G(+oo)-G(0) = ^-0 = ^ (2.31)

22

and

+00

J e-^dx = G{+00) - G(-oo) = ^ - (-^j = V5F.

— TO

Example 5- In this example, the integral

(2.32)

et2n+1 dt, x < to, (2.33)

— CO

— OO

X

— OO

where n is a positive integer, is evaluated using Proposition 1 and the asymptotic expression (2.9). Setting A = 1 and a = 2n + 1 in Proposition 1 , and using (2.9) gives

et2n+1 dt = lim / et2n+1 dt y^ — o I

\2n + 1 2n + 1 J y^—o \2n + 1 2n + 1 J

V2n + 1 '2n + l J \2n + l) '

One can also obtain

y

lim

y^+o

e t2n+1 dt = lim e t2n+1 dt

= linl , lFl ( 1 ; - X ( -L- ;

y^—o \2n + 12n + 1 / \2n + 12n + 1 J

■ + 1 ' 2n + 1 ' ~V J X 11 \2n + 1 ' 2n + 1 ' *

'2n + 2\ / 1 2n + 2 2n+1\

T - - x iFi -;-; , x > -oo.

1 2n + 1 / V 2n + 1 ' 2n + 1 ' / '

(2.35)

x

x

— oo

Theorem 1. For any A and B, the FTC gives

B

J eXx"dx = G(B) - G(A), (2.36)

A

where G is the antiderivative of the function g(x) = eAx" and is given in Proposition 1. And A is any complex or real constant, and a > 2.

Proof. G(x) = x \F\ + l;Aa;a), where A is any constant, is the antiderivative of g(x) = eAx",a > 2 by Proposition 1, Lemma 1 and Lemma 2. And since the FTC works for A = -to and B = 0 in (2.30), A = 0 and B = +to in (2.31) and A = -to and B = +to in (2.32) by Lemma 2 if A = 1 and a = 2, and for all A < 0 and all even a > 2, then it has to work for other values of A, B € R and for any A € C and a > 2. This completes the proof. □

Example 6. In this example, we apply Theorem 1 to the Central Limit Theorem in Probability theory [2]. The normal zero-one distribution of a random variable X is the measure ^(dx) = gx (x)dx, where dx is the Lebesgue measure and the function gx (x) is the probability density function (p.d.f) of the normal zero-one distribution [2], and is

1

gx(x) = _e 2 j —oo < x < +oo. (2.37)

A comparison with the function g(x) in Proposition 1 and Lemma 1 gives A = ft2 = -1/2 and a = 2. By Theorem 1, the cumulative probability, P(X < z), is then given by

z

2

/1 /■ 2 1 z /13

gx(x)dx = — J e-x-dx = - + ^=lFl[^------j . (2.38)

_rc _rc

For example, we can also use Theorem 1 to obtain P(—2 < X < 2) = ^(—2,2) = 0.4772 — (—0.4772) = 0.9544, P(—1 < X < 2) = 1, 2) = 0.4772 — (—0.3413) = 0.8185 and so on.

Example 7. Using integration by parts and applying Theorem 1, the Maxwell-Bortsman distribution is written in terms of the confluent hypergeometric 1F1 as

0

(2.39)

z

v

3. Other related non-elementary integrals

Proposition 2. The function G(x) = x 1F2 ^ + 1; ^-f—w/iere 1F2 is a hypergeo-

metric function [1], A is an arbitrarily constant and a > 2, is the antiderivative of the function g(x) = cosh (Axa). Thus,

r /111 A2 r2a\

/ cosh (A Xa)dx = XlF2 I -;-, — + 1;—^J + C. (3.1)

Proof. We proceed as before. We expand g(x) = cosh (Axa) as a Taylor series and integrate the series term by term, use the Pochhammers notation [1] for the gamma function, r(a + n) = r(a)(a)n, where (a)n = a(a + 1) ■ ■ ■ (a + n — 1), and the property of the gamma function r(a + 1) = ar(a) [1]. We also use the Gamma duplication formula [1]. We then obtain

~ rc

g(x)dx = cosh (Axa)dx = ^

^ n=0

A

2n

(2n)!

x

2an

dx

A2n x2an+1

^ (2n)! 2an + 1

E

+ C

n=0

x

2a

x

£

(A2x2a)n

ra=0(2n)!(n+ 1

+C

2a y

(3.2)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

=x

x

^¿r(2n + l)r(n + ^ + l)

rc

(2)« (2« + -Or

(A2x )n + C

\2aJn

(A2x2a)n

111

= i 1F2 —; -,--hi

1 2a' 2' 2a

n!

AV" 4

+C

+ C = G(x) + C. □

Proposition 3. The function

, Axa+1 ^ /1 13 1 3 A2x2a

where 1F2 is a hypergeometric function [1], A is an arbitrarily constant and a > 2, is the antiderivative of the function g(x) = sinh (Axa). Thus,

i w, a , Axa+1 / 1 13 1 3 A2x2a \ ^ . .

Proof. As above, we expand g(x) = sinh (Axa) as a Taylor series and integrate the series term by term, use the Pochhammers notation [1] for the gamma function, r(a + n) = r(a)(a)n, where (a)n = a(a + 1) ■ ■ ■ (a + n — 1), and the property of the gamma function r(a + 1) = ar(a) [1]. We also use the Gamma duplication formula [1]. We then obtain

g(x)dx = J sinh (Axa)dx = ^ (2n + l)! J

2an+a

dx

n=0 2an+a+1

n=0

(2n + 1)! 2an + a + 1

+ C

(A2x2a )n

Axa+1

2« ¿¿(2n + l)!(n + £ + £)

+C

Axa+1

£

n=0

Axa+1 ~

r in + 2a + I) (A2X2a)"" + Cr

2« ^or(2n + 2)r(n + ^ + |)

(A2x2a)n

(è + è)

ri=0 V2/ra V2a 1 2/ra

+C

_ Axa+1

~~ a + 1

We also can show as above that

F2

2 „,2a

+

13 1 3 A2x

+

2a 2' 2' 2a 2' 4

+ C = G(x) + C. □

and

111 A2x2"s cos (\xa)dx = x iF2 ( —; -, — + 1;--— ) + C

' . Axa+i /1 13 1 3 A2x2a . ^

sin (Ax«)dx = —lF2(- + --,-,- + --,-— ) + C.

(3.4)

(3.5)

(3.6)

Theorem 2. For any constants a and A,

2a 2 2a

4

and

2a 2 2a

4

1 2

1 2

iFi ( -; - + 1; Axa) + iFl (-■,- + 1; -Axc a a a a

iFi (-;- + !; ¿Axa ] + i^i ( -; - + 1; -¿Axc

aa

aa

(3.7)

. (3.8)

Proof. Using Proposition 1, we obtain

cosh (Axa)dx =

gAxa + g—Xxa

dx

x 2

iFi ( -; - + 1; Ax" ) + lFl(--- + 1; -Ax" a a a a

+ C. (3.9)

x

Hence, comparing (3.1) with (3.9) gives (3.7). Using Proposition 1, on the other hand, we obtain

cos(Axa)dx =

giAxa + g—iAxa

dx

x 2

iFi

1 1

a a

+ 1; iAxa + iFi

Hence, comparing (3.5) with (3.10) gives (3.8).

11

aa

+ 1; —¿Axc

+ C. (3.10) □

Theorem 3. For any constants a and X,

Axc

1 13 1 3 A2x2a

a + 1 li?2 V2a + 2' 2' 2a + 2'

11

iFi — ; —hi; Axa ) — —; —hi; -Axc a a a a

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

11

and

Xxa

a + 1

^ . 1 13 1 3 A2x2a

2a 2 2 2a 2' 4 1

~ 2Ï

iFi ( — ; — + 1; ¿Axa ) - iF1(-;- + 1; -i\xc a a a a

(3.11)

(3.12)

Proof. Using Proposition 1, we obtain

sinh (Axa)dx =

gAxa + g—Axa

dx

x 2

iFi ( -; - + 1; Ax" ) - 1F1(-;- + 1; -Axc

aa

aa

+ C. (3.13)

Hence, comparing (3.3) with (3.13) gives (3.11). Using Proposition 1, on the other hand, we obtain

sin (Axa)dx =

giAxa + g—iAxa

2i

dx

x 2i

iFi

-; - + 1; ¿Axa ) - iFi f -; - + 1; -¿Axc a a a a

Hence, comparing (3.6) with (3.14) gives (3.12).

+ C. (3.14) □

2

2

4. Conclusion

The non-elementary integral / eAx" dx, where X is an arbitrary constant and a > 2, was expressed in term of the confluent hypergeometric function iF\. And using the properties of the confluent hypergeometric function 1F1, the asymptotic expression for |x| » 1 of this integral was derived too. As established in Theorem 1, the definite integral (1.6) can now be computed using the FTC. For example, one can evaluate the area under the Gaussian Bell curve using the FTC rather

than using double integration and then polar coordinates. One can also choose to use Theorem 1 to compute the cumulative probability for the normal distribution or that for the Maxwell-Bortsman distribution as shown in examples 6 and 7.

On one hand, the integrals / cosh(Axa)dx, / sinh(Axa)dx, / cos(Axa)dx and f sin(Axa)dx, a > 2, were evaluated in terms of the confluent hypergeometric function iF\, while on another hand, they were expressed in terms of the hypergeometric 1F2. This allowed to express the hypergeometric function1F2 in terms of the confluent hypergeometric function 1F1 (Theorems 2 and 3).

REFERENCES

1. Abramowitz M., Stegun I.A. Handbook of mathematical functions with formulas, graphs and mathematical tables. National Bureau of Standards, 1964. 1046 p.

2. Billingsley P. Probability and measure. Wiley series in Probability and Mathematical Statistics, 3rd Edition, 1995. 608 p.

3. Krantz S.G. Handbook of complex variables. Boston: MA Birkhauser, 1999. 290 p. DOI: 10.1007/9781-4612-1588-2

4. Marchisotto E.A., Zakeri G.-A. An invitation to integration in finite terms // College Math. J., 1994. Vol. 25, no. 4. P. 295-308. DOI: 10.2307/2687614

5. NIST Digital Library of Mathematical Functions. http: //dlmf . nist. gov/

6. Rosenlicht M. Integration in finite terms // Amer. Math. Monthly, 1972. Vol 79, no. 9. P. 963-972. DOI: 10.2307/2318066

i Надоели баннеры? Вы всегда можете отключить рекламу.