Диференціальна теорія Галуа — розділ математики, що вивчає групи Галуа диференціальних рівнянь.
У 1830-их роках Ліувілль створив теорію інтегрування в елементарних функціях, важливим досягненням якої було доведення неможливості взяття в елементарних функціях інтегралів від таких функцій, як
Слід мати на увазі, що поняття елементарної функції — лише угода. Якщо додати функцію помилок до класу елементарних функцій, то первісна від функції f ( x ) = e − x 2 {\displaystyle f(x)=e^{-x^{2}}} стане елементарною. Тим не менш, можна нескінченно так розширювати клас елементарних функцій, але завжди залишатимуться функції, первісні яких не належать до елементарних функцій[джерело?].
Узагальнення його ідей на початку XX століття привело до створення диференціальної теорії Галуа, яка, зокрема, дозволяє з'ясувати, чи має функція первісну, виражену через елементарні функції. Диференціальна теорія Галуа заснована на теорії Галуа. Алгебрична теорія Галуа досліджує розширення алгебричних полів, а диференціальна теорія Галуа — розширення диференціальних полів, тобто полів, для яких уведено диференціювання, D {\displaystyle {\mathcal {D}}} . У диференціальній теорії Галуа багато схожого з алгебричною теорією Галуа. Істотна відмінність цих побудов у тому, що в диференціальної теорії Галуа використовують матричні групи Лі, а в алгебричній теорії Галуа — скінченні групи.
Для будь-якого диференціального поля F {\displaystyle F} існує підполе
яке називають полем констант F {\displaystyle F} . Для двох диференціальних полів F {\displaystyle F} і G {\displaystyle G} поле G {\displaystyle G} називають логарифмічним розширенням F {\displaystyle F} , якщо G {\displaystyle G} є простим трансцендентним розширенням F {\displaystyle F} (тобто G = F ( t ) {\displaystyle G=F(t)} для деякого трансцендентного t {\displaystyle t} ), так що
Це різновид логарифмічної похідної. Для інтуїтивного розуміння можна уявити t {\displaystyle t} як логарифм деякого s {\displaystyle s} із F {\displaystyle F} , і тоді ця умова аналогічна правилу взяття похідної складеної функції. При цьому потрібно мати на увазі, що логарифм, який міститься в F {\displaystyle F} , Не обов'язково єдиний; поряд із ним можуть бути кілька різних «логарифмоподібних» розширень F {\displaystyle F} . Аналогічно, експоненційним розширенням називають трансцендентне розширення, яке задовольняє формулу
Таким чином можна уявити цей елемент як експоненту від s {\displaystyle s} з F {\displaystyle F} . Зрештою, G {\displaystyle G} називається елементарним диференціальним розширенням F {\displaystyle F} , якщо є кінцевий ланцюжок підполів від F {\displaystyle F} до G {\displaystyle G} , де кожне розширення є алгебраїчним, логарифмічним чи експоненційним.
Константами поля C ( x ) {\displaystyle \mathbb {C} (x)} раціональних функцій однієї змінної з диференціюванням за цією змінною є комплексні числа C {\displaystyle \mathbb {C} } .
Припустимо, що F {\displaystyle F} і G {\displaystyle G} — диференціальні поля, для яких Con F = Con G {\displaystyle \operatorname {Con} F=\operatorname {Con} G} , і G {\displaystyle G} є елементарним диференціальним розширенням F {\displaystyle F} . Нехай a ∈ F {\displaystyle a\in F} , y ∈ G {\displaystyle y\in G} і крім того, D y = a {\displaystyle {\mathcal {D}}y=a} (тобто, G {\displaystyle G} містить первісну a {\displaystyle a} ). Тоді існують c 1 , … , c n ∈ Con F {\displaystyle c_{1},\dots ,c_{n}\in \operatorname {Con} F} , u 1 , … , u n , v ∈ F {\displaystyle u_{1},\dots ,u_{n},v\in F} такі, що
Інакше кажучи, «елементарну первісну» мають лише ті функції, які мають вигляд, зазначений у теоремі. Таким чином, теорема стверджує, що лише елементарні первісні є «простими» функціями плюс скінченне число логарифмів простих функцій.