Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

14.4: Виведення нескінченно малих генераторів

Процедура пошуку нескінченно малих генераторів

Вивчаємо диференціальні рівняння, які можна записати як

F(t,y,˙y,)=0

для якоїсь функціїF. Ми шукаємо неперервні симетрії, які можна застосувати до цього рівняння таким чином, щоб вихідне рівняння та перетворене рівняння мали однакові розв'язки. Симетрії позначаються нескінченно малими генераторами

U=ξt+ηy

які описують, якy перетворюється незалежна зміннаt та залежна змінна. При перетворенні симетрії незалежна змінна і залежна змінна перетворюються, але так само роблять похідні залежної змінної˙y¨y,,, Пролонгація нескінченно малий генератор є узагальненням нескінченно малий генератор, який описує перетворення незалежної змінної, залежної змінної та похідних залежної змінної [164, с. 94].

Пролонгація генератораU визначається якn

pr(n)U=ξt+ηy+ηt˙y+ηtt¨y+ηttty+,

і він має терміни за участюηtn. Функціїηt таηtt визначені [164],

ηt=ηt(t,y,˙y)=ddt(ηξ˙y)+ξ¨y

ηtt=ηtt(t,y,˙y)=d2dt2(ηξ˙y)+ξy

Величиниηtttηtttt, і так далі можна визначити аналогічно, але вони не знадобляться для наведених нижче прикладів. Пролонгація нескінченно маленького генератора - це оператор, який описує перетворенняt,y,˙y,¨y, і так далі аж доn ї похідної. Деякі автори [189] використовують термін тангенціальне відображення замість пролонгації.

Процедура пошуку всіх можливих неперервних симетрій рівняння заснована на ідеї, що розв'язки рівняння залишаються незмінними при операції симетрії. Щоб задане перетворення було операцією симетрії, не тільки повинні залишатися незмінними всі рішення, але і всі похідні рішень. Таким чином, для диференціального рівнянняF(t,y,˙y,)=0 виду всі симетріїU підкоряються умові симетрії

pr(n)UF=0.

Вирішено цю умову симетрії, щоб знайти всі дозволені нескінченно малі генератори, які описують неперервні симетрії вихідного рівняння.

Ми можемо використовувати Equation\ ref {14.4.4} і\ ref {14.4.5} для запису умови симетрії через складові нескінченно малих генераторів,ξ іη. Потім вирішуємо умову симетрії дляξ іη. Цей крок включає в себе деяку алгебру, але це може бути досягнуто з деяким терпінням і достатнім запасом чорнила і паперу.

Ми можемо розв'язати умову симетрії для дозволених нескінченно малих генераторів. При ретельному вирішенні ми знаходимо всі нескінченно малі генератори формиU=ξt+ηy. Ця процедура дає нам систематичний спосіб знайти всі безперервні симетрії рівняння.

Ця методика застосовується до будь-якого диференціального рівняння. Нам найбільше цікаво застосовувати його до рівнянь руху, які описують процеси перетворення енергії. З цієї методики ми отримуємо інформацію про розв'язки рівняння навіть тоді, коли рівняння руху нелінійне. Крім того, у розділі 14.5 ми бачимо, що ми можемо використовувати симетрії для пошуку інваріантів рівняння, а інваріанти часто мають фізичне значення. Всі симетрії варіаційних задач виду обов'язковоδLdt=0 є симетріями рівняння Ейлера-Лагранжа. Однак зворотне не обов'язково вірно, тому не всі симетрії рівняння Ейлера-Лагранжа є симетріями інтегрального рівняння [164, с. 255].

Приклад рівняння Томаса-Фермі

Як приклад ми застосуємо цю процедуру до рівняння Томаса-Фермі

¨y=y3/2t1/2.

Це рівняння було виведено в главі 13. З вирішення цього рівняння щільність зарядуρch(r) електронів навколо ізольованого атома і напругаy(t), щоV(r) відчувається електронами, можна обчислити в межах, досить суворих, припущень, зазначених у цій главі. Незалежна змінна рівняння - це масштабована версія радіального положення, а не часу. Однак тутt буде використовуватися як незалежна змінна, оскільки процедура застосовується до рівнянь незалежно від назви змінної. Довідник [190] застосовує цю процедуру до сімейства рівнянь, відомих як рівняння Емдена-Фаулера. Рівняння Томаса-Фермі є окремим випадком рівняння Емдена-Фаулера, тому результат цього прикладу можна знайти у довідці [190].

Ми хотіли б визначити неперервні симетрії рівняння\ ref {14.4.7}. Ці симетрії будуть задаватися нескінченно малими генераторами форми

U=ξt+ηy

деξ іη мають формуξ(t,y) іη(t,y). Розв'язки рівняння задовольняють

(¨yy3/2t1/2)=0.

Для нескінченно малих генераторів, що описують симетрії цього рівняння, подовження також дорівнює нулю.

pr(n)U(¨yy3/2t1/2)=0.

Рівняння\ ref {14.4.10} може бути розв'язано для всіх генераторів,U що відповідають неперервним симетріям рівняння Томаса-Фермі. Рівняння\ ref {14.4.3} і\ ref {14.4.10} можуть бути об'єднані.

ηtt+12ξy3/2t3/232ηy1/2t1/2=0

Далі використовується рівняння\ ref {14.4.5}.

ttη+2˙yytη+¨yyη+˙y2yyη2¨ytξ˙yttξ2˙y2ytξ˙y3yyξ3˙y¨yyξ+12ξy3/2t3/232ηy1/2t1/2=0

Підставляємо вихідне рівняння для¨y.

ttη+2˙yytη+y3/2t1/2yη+˙y2yyη2y3/2t1/2tξ˙yttξ2˙y2ytξ˙y3yyξ3˙yy3/2t1/2yξ+12ξy3/2t3/232ηy1/2t1/2=0

Перегрупувати умови.

(ttη+y3/2t1/2yη2y3/2t1/2tξ+12ξy3/2t3/232ηy1/2t1/2)+˙y(2ytηttξ3y3/2t1/2yξ)+˙y2(yyη2ytξ)˙y3(yyξ)=0

Кожен з термінів у дужках у Equation\ ref {14.4.14} повинен бути нулем.

ttη+y3/2t1/2yη2y3/2t1/2tξ+12ξy3/2t3/232ηy1/2t1/2=0

2ytηttξ3y3/2t1/2yξ=0

yyη2ytξ=0

yyξ=0

Рівняння\ ref {14.4.15},\ ref {14.4.16},\ ref {14.4.17} і\ ref {14.4.18} можуть бути розв'язані дляξ іη. З Рівняння\ ref {14.4.18}yyξ=0, томуξ повинен мати форму

ξ=(c1+c2y)b(t).

Позначені величиниcn - це константи. З Рівняння\ ref {14.4.17},η повинен мати вигляд

η=(c3+c4y+c5y2)g(t).

Функціїb(t) і залежатьg(t) тільки відt, ніy. Умова рівняння\ ref {14.4.16} можна переписати.

(2c4tgc1ttb)+y(4c5tg2c2ttb)3y3/2t1/2c2b=0

Щоб задовольнити рівняння\ ref {14.4.21},c2 має бути нулем, і абоc5=0 абоg(t)=0. З рівнянь\ ref {14.4.16} і\ ref {14.4.17},yη іyξ повинні бути постійними. Тому формаξ повинна бути

ξ=c6+c7t.

Цю форму можна замінити на Equation\ ref {14.4.15}.

y3/2t1/2(c4+2c5y)2y3/2t1/2c7+12(c6+c7t)y3/2t3/232(c3+c4y+c5y2)y1/2t1/2=0

y3/2t1/2(c42c7+12c732c4)+12c6y3/2t1/232c3y1/2t1/2+y5/2t1/2(2c532c5)=0

Коефіцієнтиc3c5, іc6 повинні дорівнювати нулю. Крім того,c4=3c7. Ніякі інші рішення тут неможливі. Таким чином, умова симетрії рівняння\ ref {14.4.10} може бути задоволенаξ=t іη=3y.

Ця процедура знаходить одну регулярну неперервну нескінченно малу симетрію рівняння Томаса-Фермі з генератором нескінченно малої симетрії

U=tt3yy.

Жодне інше рішення не може задовольнити обмежень, заданих Equation\ ref {14.4.10}. Тому це рівняння має тільки одну суцільну симетрію.

Кінцеві перетворення пов'язані з нескінченно малими перетвореннями рівнянням 14.3.8. У цьому випадку незалежна змінна перетворюється як

t˜t=eε(tt3yy)t.

t˜t=[1+ε(tt3yy)+12!ε2(tt3yy)2+]t

t˜t=[t+εt(tt)+12!ϵ2t(tt)(tt)+]

t˜t=teε

Залежна змінна перетворюється як

y˜y=eε(tt3yy)y.

y˜y=[1+ε(tt3yy)+12!ε2(tt3yy)2+]y

y˜y=ye3ε

Визначаючи константуc6=eε, перетворення можна записати як

tc6t and y(c6)3y.

Аналіз вище показує, що вихідне рівняння Томаса-Фермі Equation\ ref {14.4.7} і перетворене рівняння

d2(yc36)d(tc6)2=(yc36)3/2(tc6)1/2

мають однакові рішення. З нього можна зробити висновок, що якщоy(t) це рішення рівняння Томаса-Фермі, ми знаємо, щоc36y(τ) forτ=c6t - це також рішення.

Приклад рівняння лінії

Розглянемо ще один приклад цієї процедури, застосованої до рівняння¨y=0. Рішення цього рівняння можна знайти шляхом огляду

yt=c0t+c1

тому що це рівняння прямої. Коефіцієнтиcn є константами, і вони відрізняються від попереднього прикладу. У цьому прикладі ми виділимо нескінченно малі генератори для неперервних симетрій цього рівняння і знайдемо вісім нескінченно малих генераторів. Результат цієї проблеми з'являється в роботі [191], і вона є модифікованою версією задачі 2.26 довідки [164, с. 180].

Розв'язки вихідного рівняння повинні збігатися з розв'язками рівняння, перетвореного неперервною симетрією, і ця ідея міститься в умові симетрії Equation\ ref {14.4.6}. У цьому випадку вихідне рівняння є¨y=0, тому подовження нескінченно маленького генератора, що діє на це рівняння, також має дорівнювати нулю для нескінченно маленького генератораU, який описує безперервну симетрію.

pr(n)U(¨y)=0

Використовуючи рівняння\ ref {14.4.3},\ ref {14.4.4} та\ ref {14.4.5}, ми можемо записати цю умову симетрії черезξ іη.

ηtt=0

ηtt=0=ttη+2˙yytη+¨yyη+˙y2yyη2¨ytξ˙yttξ2˙y2ytξ˙y3yyξ3˙y¨yyξ

Використовуйте¨y=0 та перегрупуйте терміни.

(ttη)+˙y(2ytηttξ)+˙y2(yyη2ytξ)˙y3(yyξ)=0

Вищенаведене рівняння вірно для всіх,y лише якщо всі величини в дужках дорівнюють нулю.

ttη=0

2ytηttξ=0=0

yyη2ytξ=0

yyξ=0

Наступним кроком є розв'язання вищевказаного набору рівнянь для всіх можливих розв'язківξ іη які визначатимуть нескінченно малі генератори всіх можливих неперервних перетворень симетрії.

Ми розглянемо три випадки: випадок 1 сη=0, випадок 2 сξ=0, і випадок 3 з обомаξ іη ненульовими.

Випадок 1 зη=0: Припустимоη=0. Які рішення можна знайтиξ? Рівняння\ ref {14.4.40} до рівняння\ ref {14.4.43} можна зменшити.

ttξ=0

yyξ=0

ytξ=0

Є три можливих незалежних рішення дляξ. Вони єξ=1ξ=t, іξ=y. Отже, ми знайшли три нескінченно малих генератора.

U1=t

U2=tt

U3=yt

Випадок 2 зξ=0: Припустимоξ=0. Які рішення можна знайтиη? Рівняння\ ref {14.4.40} до рівняння\ ref {14.4.43} спростити.

ttη=0

ytη=0

yyη=0

Є три можливих незалежних рішення дляη. Вони єη=1η=y, іη=t. Отже, ми знайшли ще три нескінченно малих генератора.

U4=y

U5=yy

U6=ty

Випадок 3, де обидваξ іη не нульові: З рівняння\ ref {14.4.40}, ми можемо записати

η=(c1+c2t)b(y).

Тутb є функція тількиy, ніt. Тому

ytη=c2yb(y)

яка не є функцієюt. З рівняння\ ref {14.4.43} ми можемо записати

ξ=(c3+c4y)g(t).

Тутg є функція тількиt, ніy. Тому

ytξ=c4tg(t)

яка не є функцієюy. Тепер використовуйте Рівняння\ ref {14.4.41}.

2c2yb(y)(c3+c4y)ttg=0

Перший термін не є функцієюt. Томуξ є максимально квадратичним вt. Отже,ξ має вигляд

ξ=(c3+c4y)(c5+c6t+c7t2).

Розподіліть множення.

ξ=c3c5+c3c6t+c3c7t2+c4c5y+c4c6yt+c4c7yt2

ytξ=c4c6+2c4c7t

Далі скористайтеся рівнянням\ ref {14.4.42}.

yyη=2c4tg=0

Другий термін не є функцієюy. Томуη є максимально квадратичним вy. Отже,η має вигляд

η=(c1+c2t)(c8+c9y+c10y2).

Розподіліть множення.

η=c1c8+c1c9y+c1c10y2+c2c8t+c2c9yt+c2c10ty2

ytη=c2c9+2c2c10y

Тепер використовуйте рівняння\ ref {14.4.41} і\ ref {14.4.67}.

2(c2c9+2c2c10y)2(2c3c7+2yc4c7)=0

(2c2c94c3c7)+y(4c2c104c4c7)=0

Ми в кінцевому підсумку з парою рівнянь

c2c9=2c3c7

c2c10=2c4c7

Далі використовуйте Рівняння\ ref {14.4.42} і\ ref {14.4.63}.

(2c1c10+2tc2c10)2(c4c6+2c4c7t)=0

(2c1c102c4c6)+t(2c2c104c4c7)=0

і ми в кінцевому підсумку з парою рівнянь.

c1c10=c4c6

c2c10=2c4c7

Це єдино можливі рішення рівнянь\ ref {14.4.71} і\ ref {14.4.75}.

Нарешті, є два можливі рішення, які не залежать від раніше знайдених рішень. Ми можемо встановити коефіцієнти рівняння\ ref {14.4.74} на 1. Перше рішення єη=y2 іξ=yt відповідає

U7=ytt+y2y.

Для другого розв'язку ми можемо встановити коефіцієнти рівняння\ ref {14.4.70} на 1. Друге рішення єη=yt іξ=t2 відповідає

U8=t2t+yty.

На даний момент ми знайшли вісім нескінченно малих генераторів. Це всі можливі генератори неперервних правильних негеометричних симетрій.