Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen...
Transcript of Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen...
![Page 1: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/1.jpg)
Symbolic IntegrationA Brief Introduction
Shaoshi Chen
KLMM, AMSSChinese Academy of Sciences
Liaoning Normal UniversityOctober 11, 2018, Dalian
, 1/17
![Page 2: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/2.jpg)
Integration Problems
Indefinite Integration. Given a function f (x) in certain class C,decide whether there exists g(x) ∈ C such that
f =dgdx, g ′.
Example. For f = log(x), we have g = x log(x)− x.
Definite Integration. Given a function f (x) that is continuous in theinterval I ⊆ R, compute the integral∫
If (x)dx.
Example. For f = log(x) and I = [1,2] , we have∫If (x)dx = 2log(2)−1.
, 2/17
![Page 3: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/3.jpg)
Integration Problems
Indefinite Integration. Given a function f (x) in certain class C,decide whether there exists g(x) ∈ C such that
f =dgdx, g ′.
Example. For f = log(x), we have g = x log(x)− x.
Definite Integration. Given a function f (x) that is continuous in theinterval I ⊆ R, compute the integral∫
If (x)dx.
Example. For f = log(x) and I = [1,2] , we have∫If (x)dx = 2log(2)−1.
, 2/17
![Page 4: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/4.jpg)
Fundamental Theorem of Calculus
Newton–Leibniz Theorem. Let f (x) be a continuous function on[a,b] and let F(x) be defined by
F(x) =∫ x
af (t)dt for all x ∈ [a,b].
Then F(x) ′ = f (x) for all x ∈ [a,b] and∫ b
af (x)dx = F(b)−F(a). (Newton–Leibniz formula)
Definite Integration Indefinite Integration
, 3/17
![Page 5: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/5.jpg)
Fundamental Theorem of Calculus
Newton–Leibniz Theorem. Let f (x) be a continuous function on[a,b] and let F(x) be defined by
F(x) =∫ x
af (t)dt for all x ∈ [a,b].
Then F(x) ′ = f (x) for all x ∈ [a,b] and∫ b
af (x)dx = F(b)−F(a). (Newton–Leibniz formula)
Definite Integration Indefinite Integration
, 3/17
![Page 6: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/6.jpg)
Fundamental Theorem of Calculus
Newton–Leibniz Theorem. Let f (x) be a continuous function on[a,b] and let F(x) be defined by
F(x) =∫ x
af (t)dt for all x ∈ [a,b].
Then F(x) ′ = f (x) for all x ∈ [a,b] and∫ b
af (x)dx = F(b)−F(a). (Newton–Leibniz formula)
Definite Integration Indefinite Integration
∫ 2
1log(x)dx=F(2)−F(1)= 2log(2)−1, where F(x) = x log(x)− x.
, 3/17
![Page 7: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/7.jpg)
Fundamental Theorem of Calculus
Newton–Leibniz Theorem. Let f (x) be a continuous function on[a,b] and let F(x) be defined by
F(x) =∫ x
af (t)dt for all x ∈ [a,b].
Then F(x) ′ = f (x) for all x ∈ [a,b] and∫ b
af (x)dx = F(b)−F(a). (Newton–Leibniz formula)
Definite Integration Indefinite Integration
∫+∞0
exp(−x2)dx = ?
, 3/17
![Page 8: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/8.jpg)
What is Elementary Functions?
Polynomials: P(x) ∈ C[x]
P(x) = p0 +p1x+ · · ·+pnxn, where pi ∈ C.
Rational functions: f (x) ∈ C(x)
f (x) =P(x)Q(x)
, where P,Q ∈ C[x] and Q 6= 0.
Algebraic functions: α(x) ∈ C(x)
rdαd + rd−1α
d−1 + · · ·+ r0 = 0, where ri ∈ C(x).
, 4/17
![Page 9: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/9.jpg)
What is Elementary Functions?
Polynomials: P(x) ∈ C[x]
P(x) = p0 +p1x+ · · ·+pnxn, where pi ∈ C.
Rational functions: f (x) ∈ C(x)
f (x) =P(x)Q(x)
, where P,Q ∈ C[x] and Q 6= 0.
Algebraic functions: α(x) ∈ C(x)
rdαd + rd−1α
d−1 + · · ·+ r0 = 0, where ri ∈ C(x).
, 4/17
![Page 10: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/10.jpg)
What is Elementary Functions?
Polynomials: P(x) ∈ C[x]
P(x) = p0 +p1x+ · · ·+pnxn, where pi ∈ C.
Rational functions: f (x) ∈ C(x)
f (x) =P(x)Q(x)
, where P,Q ∈ C[x] and Q 6= 0.
Algebraic functions: α(x) ∈ C(x)
rdαd + rd−1α
d−1 + · · ·+ r0 = 0, where ri ∈ C(x).
, 4/17
![Page 11: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/11.jpg)
What is Elementary Functions?
Exponential functions: f (x) = exp(g(x)) with g ∈ C(x)
f ′(x) = exp(g(x)) ·g ′(x) = f (x) ·g ′(x).
Logarithmic functions: f (x) = log(g(x)) with g ∈ C(x)
f ′(x) =g ′(x)g(x)
.
Trigonometric functions: sin(x),cos(x), tan(x), . . .
sin(x) =exp(ix)− exp(−ix)
2i, cos(x) =
exp(ix)+ exp(−ix)2
.
, 5/17
![Page 12: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/12.jpg)
What is Elementary Functions?
Exponential functions: f (x) = exp(g(x)) with g ∈ C(x)
f ′(x) = exp(g(x)) ·g ′(x) = f (x) ·g ′(x).
Logarithmic functions: f (x) = log(g(x)) with g ∈ C(x)
f ′(x) =g ′(x)g(x)
.
Trigonometric functions: sin(x),cos(x), tan(x), . . .
sin(x) =exp(ix)− exp(−ix)
2i, cos(x) =
exp(ix)+ exp(−ix)2
.
, 5/17
![Page 13: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/13.jpg)
What is Elementary Functions?
Exponential functions: f (x) = exp(g(x)) with g ∈ C(x)
f ′(x) = exp(g(x)) ·g ′(x) = f (x) ·g ′(x).
Logarithmic functions: f (x) = log(g(x)) with g ∈ C(x)
f ′(x) =g ′(x)g(x)
.
Trigonometric functions: sin(x),cos(x), tan(x), . . .
sin(x) =exp(ix)− exp(−ix)
2i, cos(x) =
exp(ix)+ exp(−ix)2
.
, 5/17
![Page 14: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/14.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example.
, 6/17
![Page 15: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/15.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example.
3x2 +3x+1
, 6/17
![Page 16: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/16.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example.
13x2 +3x+1
, 6/17
![Page 17: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/17.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example. √1
3x2 +3x+1
, 6/17
![Page 18: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/18.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example.
exp
(√1
3x2 +3x+1
)
, 6/17
![Page 19: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/19.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example.
exp
(√1
3x2 +3x+1
)2
+ x2 +1
, 6/17
![Page 20: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/20.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example.
log
exp
(√1
3x2 +3x+1
)2
+ x2 +1
, 6/17
![Page 21: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/21.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example. √√√√√log
exp
(√1
3x2 +3x+1
)2
+ x2 +1
, 6/17
![Page 22: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/22.jpg)
What is Elementary Functions?
E := ({C,x}, {+,−,×,÷}, {exp(·), log(·),RootOf(·)}) .
Definition. An elementary function is a function of x which is thecomposition of a finite number of
binary operations: +,−,×,÷;
unitary operations: exponential, logarithms, constants,solutions of polynomial equations.
Example.
π√log(
exp(√
13x2+3x+1
)2+ x2 +1
), 6/17
![Page 23: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/23.jpg)
Differential Algebra
Differential Ring and Differential Field. Let R be an integraldomain. An additive map D : R → R is called a derivation on R if
D(f ·g) = f ·D(g)+g ·D(f ). (Leibniz’s rule)
The pair (R,D) is called a differential ring. If R is a field, it is thencalled a differential field.
Example.
, 7/17
![Page 24: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/24.jpg)
Differential Algebra
Differential Ring and Differential Field. Let R be an integraldomain. An additive map D : R → R is called a derivation on R if
D(f ·g) = f ·D(g)+g ·D(f ). (Leibniz’s rule)
The pair (R,D) is called a differential ring. If R is a field, it is thencalled a differential field.
Example.Polynomial ring: (C[x], ′ )
P =
n∑i=0
pixi P ′ =n∑
i=0
ipixi−1.
, 7/17
![Page 25: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/25.jpg)
Differential Algebra
Differential Ring and Differential Field. Let R be an integraldomain. An additive map D : R → R is called a derivation on R if
D(f ·g) = f ·D(g)+g ·D(f ). (Leibniz’s rule)
The pair (R,D) is called a differential ring. If R is a field, it is thencalled a differential field.
Example.Rational-function field: (C(x), ′ )
f =PQ
f ′ =P ′Q−PQ ′
Q2 .
, 7/17
![Page 26: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/26.jpg)
Differential Algebra
Differential Ring and Differential Field. Let R be an integraldomain. An additive map D : R → R is called a derivation on R if
D(f ·g) = f ·D(g)+g ·D(f ). (Leibniz’s rule)
The pair (R,D) is called a differential ring. If R is a field, it is thencalled a differential field.
Example.Elementary-function field: algebraic case
(C(x)(α), ′ ) with α algebraic over C(x)
rdαd + rd−1α
d−1 + · · ·+ r0 = 0 α′(x) = −
r ′dαd + · · ·+ r ′0drdαd−1 + · · ·+ r1
, 7/17
![Page 27: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/27.jpg)
Differential Algebra
Differential Ring and Differential Field. Let R be an integraldomain. An additive map D : R → R is called a derivation on R if
D(f ·g) = f ·D(g)+g ·D(f ). (Leibniz’s rule)
The pair (R,D) is called a differential ring. If R is a field, it is thencalled a differential field.
Example.Elementary-function field: exponential case
(C(x)(exp(x)), ′ )
f =1+ x+ exp(x)
x2 + exp(x) f ′ =
x(xexp(x)−3exp(x)− x−2)(x2 + exp(x))2 .
, 7/17
![Page 28: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/28.jpg)
Differential Algebra
Differential Ring and Differential Field. Let R be an integraldomain. An additive map D : R → R is called a derivation on R if
D(f ·g) = f ·D(g)+g ·D(f ). (Leibniz’s rule)
The pair (R,D) is called a differential ring. If R is a field, it is thencalled a differential field.
Example.Elementary-function field: logarithmic case
(C(x)(log(x)), ′ )
f =1+ x+ log(x)
x2 + log(x) f ′=−
2 log(x)x2 + x3 − log(x)x+ x2 + x+1
(x2 + log(x))2 x.
, 7/17
![Page 29: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/29.jpg)
Differential Algebra
Differential Ring and Differential Field. Let R be an integraldomain. An additive map D : R → R is called a derivation on R if
D(f ·g) = f ·D(g)+g ·D(f ). (Leibniz’s rule)
The pair (R,D) is called a differential ring. If R is a field, it is thencalled a differential field.
Example.Elementary-function field: general case
(C(x)(t1, t2, t3, . . . , tn), ′ )
t1 =√
x2 +1, t2 = log(1+ t21), t3 = exp
(1+ t1t1 + t2
2
), . . .
, 7/17
![Page 30: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/30.jpg)
Elementary Extensions
Differential Extension. (R∗,D∗) is called a differential extensionof (R,D) if R⊆ R∗ and D∗ |R= D.
Elementary Extension. Let (F,D) be a differential extensionof (E,D). An element t ∈ F is elementary over E if one of thefollowing conditions holds:
t is algebraic over E;D(t)/t = D(u) for some u ∈ E, i.e., t = exp(u);D(t) = D(u)/u for some u ∈ E, i.e., t = log(u).
Example. (E,D) = (C(x), ′ ) and (F,D) = (C(x, log(x)), ′ ).
, 8/17
![Page 31: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/31.jpg)
Elementary Extensions
Differential Extension. (R∗,D∗) is called a differential extensionof (R,D) if R⊆ R∗ and D∗ |R= D.
Elementary Extension. Let (F,D) be a differential extensionof (E,D). An element t ∈ F is elementary over E if one of thefollowing conditions holds:
t is algebraic over E;D(t)/t = D(u) for some u ∈ E, i.e., t = exp(u);D(t) = D(u)/u for some u ∈ E, i.e., t = log(u).
Example. (E,D) = (C(x), ′ ) and (F,D) = (C(x, log(x)), ′ ).
, 8/17
![Page 32: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/32.jpg)
Elementary Extensions
Differential Extension. (R∗,D∗) is called a differential extensionof (R,D) if R⊆ R∗ and D∗ |R= D.
Elementary Extension. Let (F,D) be a differential extensionof (E,D). An element t ∈ F is elementary over E if one of thefollowing conditions holds:
t is algebraic over E;D(t)/t = D(u) for some u ∈ E, i.e., t = exp(u);D(t) = D(u)/u for some u ∈ E, i.e., t = log(u).
Example. (E,D) = (C(x), ′ ) and (F,D) = (C(x, log(x)), ′ ).
, 8/17
![Page 33: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/33.jpg)
Elementary Functions
Definition. An function f (x) is elementary if ∃ a differentialextension (F, ′ ) of (C(x), ′ ) s.t. F = C(x)(t1, . . . , tn) and ti iselementary over C(x)(t1, . . . , ti−1) for all i = 2, . . . ,n.
Example.
f (x) =π√
log(
exp(√
13x2+3x+1
)2+ x2 +1
)Then f (x) is elementary since ∃ a differential extension
F = C(x)(t1, t2, t3, t4),
where
t1 =
√1
3x2 +3x+1, t2 = exp(t1), t3 = log(t2
2+x2+1), t4 =√
t3.
, 9/17
![Page 34: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/34.jpg)
Elementary Functions
Definition. An function f (x) is elementary if ∃ a differentialextension (F, ′ ) of (C(x), ′ ) s.t. F = C(x)(t1, . . . , tn) and ti iselementary over C(x)(t1, . . . , ti−1) for all i = 2, . . . ,n.
Example.
f (x) =π√
log(
exp(√
13x2+3x+1
)2+ x2 +1
)Then f (x) is elementary since ∃ a differential extension
F = C(x)(t1, t2, t3, t4),
where
t1 =
√1
3x2 +3x+1, t2 = exp(t1), t3 = log(t2
2+x2+1), t4 =√
t3.
, 9/17
![Page 35: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/35.jpg)
Symbolic Integration
Let (E,D) and (F,D) be two differential field such that E ⊆ F.
Problem. Given f ∈ E, decide whether there exists g ∈ Fs.t. f = D(g). If such g exists, we say f is integrable in F.
, 10/17
![Page 36: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/36.jpg)
Symbolic Integration
Let (E,D) and (F,D) be two differential field such that E ⊆ F.
Problem. Given f ∈ E, decide whether there exists g ∈ Fs.t. f = D(g). If such g exists, we say f is integrable in F.
Elementary Integration Problem. Given an elementary function f (x)over C(x), decide whether
∫f (x)dx is elementary or not.
Example. The following integrals are not elementary over C(x):
∫exp(x2)dx,
∫1
log(x)dx,
∫sin(x)
xdx,
∫dx√
x(x−1)(x−2), · · ·
, 10/17
![Page 37: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/37.jpg)
Symbolic Integration
Let (E,D) and (F,D) be two differential field such that E ⊆ F.
Problem. Given f ∈ E, decide whether there exists g ∈ Fs.t. f = D(g). If such g exists, we say f is integrable in F.
Selected books on Symbolic Integration:
, 10/17
![Page 38: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/38.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
, 11/17
![Page 39: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/39.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1827: Abel studied the elliptic integrals.
, 11/17
![Page 40: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/40.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1833-1841: Liouville’s theory of elementary integration.
, 11/17
![Page 41: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/41.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1844: Ostrogradsky presented a method for rational integration.
, 11/17
![Page 42: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/42.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1872: Hermite gave a reduction method for rational integration.
, 11/17
![Page 43: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/43.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1906: Mordukhai-Boltovskoi studied the problem of solving the dif-ferential equations in finite terms.
, 11/17
![Page 44: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/44.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1916: Hardy wrote a book on elementary integration.
, 11/17
![Page 45: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/45.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1946: Ostrowski initialized an algebraic approach for elementaryintegration.
, 11/17
![Page 46: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/46.jpg)
Symbolic Integration: Theoretical Developments
Timeline: from 1827 to 1948
1948: Ritt summarized the works on integration in finite terms.
, 11/17
![Page 47: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/47.jpg)
Symbolic Integration: Algorithmic Developments
, 12/17
![Page 48: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/48.jpg)
Symbolic Integration: Algorithmic Developments
1961: Slagle wrote the program SAINT for symbolic integration.
, 12/17
![Page 49: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/49.jpg)
Symbolic Integration: Algorithmic Developments
1967: Moses wrote the programs SIN and SOLDIER for symbolicintegration.
, 12/17
![Page 50: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/50.jpg)
Symbolic Integration: Algorithmic Developments
1968: Rosenlicht’s differential-algebraic proof of Liouville’s theorem.
, 12/17
![Page 51: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/51.jpg)
Symbolic Integration: Algorithmic Developments
1971: Moses’s survey on symbolic integration.
, 12/17
![Page 52: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/52.jpg)
Symbolic Integration: Algorithmic Developments
1976: Rothstein’s algorithm for integration of transcendental ele-mentary functions
, 12/17
![Page 53: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/53.jpg)
Symbolic Integration: Algorithmic Developments
1981: Davenport’s algorithm for integration of algebraic functions
, 12/17
![Page 54: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/54.jpg)
Symbolic Integration: Algorithmic Developments
1984: Trager’s algorithm for integration of algebraic functions
, 12/17
![Page 55: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/55.jpg)
Symbolic Integration: Algorithmic Developments
1985: Singer, Saunders, and Caviness presented an extension ofLiouville’s theorem
, 12/17
![Page 56: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/56.jpg)
Symbolic Integration: Algorithmic Developments
1985: Cherry’s algorithm for integration with the error function
, 12/17
![Page 57: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/57.jpg)
Symbolic Integration: Algorithmic Developments
1990: Bronstein’s algorithm for integration of elementary functions
, 12/17
![Page 58: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/58.jpg)
Symbolic Integration: Algorithmic Developments
1990: Computation of the logarithmic part via subresultants
, 12/17
![Page 59: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/59.jpg)
Symbolic Integration: Algorithmic Developments
1992: Knowles’ algorithm for integration with the error function
, 12/17
![Page 60: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/60.jpg)
Symbolic Integration: Algorithmic Developments
1994: Baddoura’s algorithm for integration with the dilogarithms
, 12/17
![Page 61: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/61.jpg)
Symbolic Integration: Algorithmic Developments
1995: Computation of the logarithmic part via Groebner bases
, 12/17
![Page 62: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/62.jpg)
Symbolic Integration: Algorithmic Developments
2008: Kauers’s algorithm for computing the logarithmic part of al-gebraic integration
, 12/17
![Page 63: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/63.jpg)
Symbolic Integration: Algorithmic Developments
2012: Raab’s algorithm for the logarithmic part of the integrals oftranscendental functions
, 12/17
![Page 64: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/64.jpg)
Symbolic Integration: Algorithmic Developments
2014: Zannier found some unlikely intersections between elementaryintegration and number theory
, 12/17
![Page 65: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/65.jpg)
Symbolic Integration: Algorithmic Developments
2010: Creative telescoping for rational functions via Hermite reduc-tion
, 12/17
![Page 66: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/66.jpg)
Symbolic Integration: Algorithmic Developments
2013: Creative telescoping for hyperexponential functions via Her-mite reduction
, 12/17
![Page 67: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/67.jpg)
Symbolic Integration: Algorithmic Developments
2016: Creative telescoping for algebraic functions via Hermite re-duction
, 12/17
![Page 68: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/68.jpg)
Liouville’s Theorem: the Rational Case
Theorem. Let f ∈ C(x). Then f (x) is elementary integrable.Moreover, ∫
f (x)dx = g0︸︷︷︸rational part
+
n∑i=1
ci log(gi)︸ ︷︷ ︸transcendental part
,
where g0,g1, . . . ,gn ∈ C(x) and c1, . . . ,cn ∈ C.
Ostrogradsky–Hermite Reduction. Any f ∈ C(x) can bedecomposed into
f = g ′+pq,
where g ∈K(x), deg(p)< deg(q), and q is squarefree. Moreover,∫f dx is rational ⇔ p = 0
, 13/17
![Page 69: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/69.jpg)
Liouville’s Theorem: the Algebraic Case
Theorem (Liouville1834). Let f (x) be algebraic over C(x). If∫f (x)dx is elementary, then∫
f (x)dx = g0︸︷︷︸algebraic part
+
n∑i=1
ci log(gi)︸ ︷︷ ︸transcendental part
,
where g0,g1, . . . ,gn ∈ C(x, f (x)) and c1, . . . ,cn ∈ C.
Remark. With the above theorem, Liouville proved in 1834 thatthe elliptic integral ∫
1√x(x−1)(x−2)
is not elementary.
, 14/17
![Page 70: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/70.jpg)
Liouville’s Theorem: the Algebraic Case
Theorem (Liouville1834). Let f (x) be algebraic over C(x). If∫f (x)dx is elementary, then∫
f (x)dx = g0︸︷︷︸algebraic part
+
n∑i=1
ci log(gi)︸ ︷︷ ︸transcendental part
,
where g0,g1, . . . ,gn ∈ C(x, f (x)) and c1, . . . ,cn ∈ C.
Remark. With the above theorem, Liouville proved in 1834 thatthe elliptic integral ∫
1√x(x−1)(x−2)
is not elementary.
, 14/17
![Page 71: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/71.jpg)
Liouville’s Theorem: the Elementary Case
Theorem (Liouville1835). Let f (x) be elementary over C(x), i.e.,
f ∈ F = C(x)(t1, t2, . . . , tn).
If∫
f (x)dx is elementary, then∫f (x)dx = g0︸︷︷︸
F-part
+
n∑i=1
ci log(gi)︸ ︷︷ ︸transcendental part
,
where g0,g1, . . . ,gn ∈ F and c1, . . . ,cn ∈ C.
Remark. With the above theorem, Liouville proved that theintegrals ∫
exp(x2)dx,∫
1log(x)
dx,∫
sin(x)x
dx, . . .
are not elementary.
, 15/17
![Page 72: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/72.jpg)
Liouville’s Theorem: the Elementary Case
Theorem (Liouville1835). Let f (x) be elementary over C(x), i.e.,
f ∈ F = C(x)(t1, t2, . . . , tn).
If∫
f (x)dx is elementary, then∫f (x)dx = g0︸︷︷︸
F-part
+
n∑i=1
ci log(gi)︸ ︷︷ ︸transcendental part
,
where g0,g1, . . . ,gn ∈ F and c1, . . . ,cn ∈ C.
Remark. With the above theorem, Liouville proved that theintegrals ∫
exp(x2)dx,∫
1log(x)
dx,∫
sin(x)x
dx, . . .
are not elementary., 15/17
![Page 73: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/73.jpg)
Why exp(x2) is not Elementary Integrable?
Let t = exp(x2). We prove by contradiction.
Proof. If∫
t dx is elementary, Liouville’s theorem implies that∃g0, . . . ,gn ∈ C(x, t) and c0, . . . ,cn ∈ C s.t.∫
t dx = g0 +
n∑i=1
ci log(gi) ⇔ t = g ′0 +n∑
i=1
cig ′igi
⇓t = (ft) ′ for some f ∈ C(x) ⇔ 1 = f ′+2xf
Claim. The differential equation
y(x) ′+2x · y(x) = 1
has no rational-function solution!, 16/17
![Page 74: Symbolic Integration - mmrc.iss.ac.cnschen/Talks/Sint2018.pdf · A Brief Introduction Shaoshi Chen KLMM, AMSS Chinese Academy of Sciences Liaoning Normal University October 11, 2018,](https://reader034.fdocuments.us/reader034/viewer/2022050610/5fb13227de75fd6f5d6f3d87/html5/thumbnails/74.jpg)
Welcome to Symbolic Integration!
Thank You!
, 17/17