Геометрическое представление эллиптических интегралов Текст научной статьи по специальности «Физика»

УДК 517.584

ГЕОМЕТРИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ ЭЛЛИПТИЧЕСКИХ ИНТЕГРАЛОВ

А.В. Анфилофьев, В.М. Замятин

Томский политехнический университет Е-mail: [email protected]

Нормальные эллиптические интегралы Лежандра первого и второго рода представлены как своеобразные угловые меры дуги растянутого и сжатого эллипса при отображении дуги окружности на наклонные плоскости. В этом представлении установлены элементарные аналитические выражения и диапазон, в котором обеспечивается удовлетворительная точность их значений.

Различные задачи геометрии, физики, механики в своих решениях приводят к нормальным эллиптическим интегралам Лежандра [1]:

ф йф

J

ф - (k sinq)‘

- = F (ф, k),

jyj 1 - (k sin q)2 dq = Е(ф, k).

(1)

Интегралы первого рода Дф,к) и второго рода Е(ф,к) являются функциями двух переменных:

»» т »» »» *7 II II

модуля к или модулярного угла а=аго8т к и аргумента ф". Для действительных значений модуля (к<1) и аргумента ф в интервале (0,п/2) числовые значения интегралов табулированы [2]. При значении ф=п/2 интегралы называют полными и обозначают соответственно Дп/2,к) или К и Е(п/2,к) или Е. В теории эллиптических интегралов рассматривается также дополнительный модуль к', связанный с основным модулем соотношением: к2+к'2=1. С модулем к'полные интегралы (1) называют связанными эллиптическими интегралами.

Интеграл первого рода определяет длину дуг лемнискаты Бернулли, интеграл второго рода длину дуг эллипса, но их переменные конкретного геометрического образа не имеют, подобного тому, который имеется у параметров функций связанных с окружностью. С обращением интегралов (1) в другие формы они переопределяются. Так, в тригонометрических эллиптических функциях Якоби "аргумент ф" становится амплитудой £=Дф,к), а

II т II

"модуль к" является неявным параметром.

Эллиптические интегралы относят к классу специальных двоякопериодических функций, отношение периодов которых не вещественно, и в решениях задач результат, определённый в параметрах эллиптических интегралов, приобретает в значительной степени формальный характер. Существует неопределённая дистанция между данным представлением эллиптических интегралов и очевидными объектами задач.

Очевидно, значимость решений задач, определённых эллиптическими интегралами, может быть повышена, если они получат конкретное представление, подобное тому, которое имеют элементарные функции. С целью создания таких представлений в работе рассматривается преобразование плоской кривой линии при её отображении на наклонные плоскости.

Линию конечной длины можно спроектировать с одной плоскости на другую по разным направлениям, при этом она получает соответствующие искажения. Выделим направления отображений по нормалям двух расположенных под некоторым углом друг к другу плоскостей. Назовём "прямым" преобразованием отображение с исходной горизонтальной плоскости по нормали наклонной плоскости, "обратным" преобразованием назовём отображение по нормали исходной плоскости на наклонную.

На рис. 1 показаны эти преобразования: прямое

- проекция с плоскости П1 (исходная) на П2 (наклонная) по нормали плоскости П2, обратное -проекция с плоскости П2 (исходная) на П1 (наклонная) по нормали плоскости П2. Рассмотрим отображение линии с плоскости П1 на плоскость П2. Угол между плоскостями а.

Рис. 1. Отображение линии на наклонную плоскость: прямое П1 ^ П2/ обратное П2--> П1

На плоскости П1 проекции дуги йЬ1 равны йу1=йЬ1$,тф1, йх1=йЬ1со$,ф1, где ф1 - угол наклона касательной к линии Ц в соответствующей точке.

На плоскости П2 получаем линию Ц2, дифференциал дуги которой

йЬ2 = д/йу\ + йх\.

Так как

йу2=йу]сош=йЬ1$,тф£ош, йх2=йх1=йЬ]со$,ф1, то йЬ2 = йЦ^1 -8т2 ф ф1. (2)

При отображении линии с плоскости П2 на плоскость П1 соответственно:

dy1 = dy2 / cos a = dL

sin ф2 cosa

dxl = dx2 = dL2 cos^2, dL

dL =^_L-1 cosa

V1 - si

sin2 a sin2 ф2,

(3)

где ф2 - угол наклона касательной к линии L2.

Из (2) и (3) следует, что, если отображается дуга окружности радиусом R с центральным углом ф, то длины её проекций на наклонных плоскостях определяются интегралами второго рода (1). При прямом отображении длина дуги

ф _______________

L2 = R 1 - (sina sinф)2 dф = RE(ф,k), (4)

0

при обратном L1 = —R— [ Jl-(siñOsiñ^)^dф = R E(ф’k). (5)

1 cosa J v cosa

Интегралы (4) и (5) определяют длину дуг сжатого и растянутого эллипса и Е(ф,к) можно рассматривать как коэффициент преобразования угловой меры дуги окружности при определении её проекции на наклонной плоскости. По смыслу это угловая мера дуги сжатого эллипса с центральным углом ф, аналогичная угловой мере дуги окружности. Разница между ними в том, что дуга эллипса с одним и тем же центральным углом ф в разных местах линии определяется двумя углами (начало и конец).

Модулярный угол а, модуль к, и аргумент ф здесь имеют конкретное представление. Когда а=0 длина дуги окружности также определяется эллиптическим интегралом: Е(ф,0)=ф. При вращении наклонной плоскости от 0 до п/2, затем от п/2 до пи далее Е(ф,к) является периодической функцией угла а. Дополнительный модуль к=т(-а) характеризует вращение плоскости в обратном направлении.

Согласно этому представлению, в геометрических задачах приведение решения к эллиптическим интегралам второго рода есть определение поверхности, на которую исследуемая кривая проектируется в дугу окружности соответствующего радиуса.

Покажем это решением задачи спрямления синусоиды у=/зт(пх/1).

Записав это уравнение в виде у=/апф, х=(1/п)ф, определим дифференциал дуги

йЬ = у]йх2 + йу 2 = -у/п)2 + (/ 008 ф)2 йф =

1 +

п f

I

cos ф ¡

Так как п//!=(йу/йх)^=0, где а есть угол наклона касательной к кривой в начале координат,

йЬ = —J\+tg2аoos2ф йф = п

= _д^а /1 - а—81п2 ф йф.

п^ у 1 + г%2а

После преобразования находим:

dL = ——1—Jl - (sina sinф)2 dф. п cosa

Получено выражение аналогичное (5), которое определяет "обратное" преобразование дуги окружности, и, следовательно, проекцией синусоиды на наклонную под углом плоскость является окружность радиусом R=l/n, а сама синусоида на исходной поверхности есть растянутый эллипс.

Длина её дуги L = — E(ф’k).

п cosa

"Цилиндрическое копыто" (рис. 2) иллюстрирует это преобразование. Здесь синусоида, ось абсцисс которой искривлена по дуге окружности, ограничивает боковую поверхность.

В представлении эллиптического интеграла второго рода коэффициентом преобразования угловой меры дуги окружности при её отображении на наклонные плоскости можно найти его приближённое выражение.

Осуществим последовательно два прямых преобразования кривой Ь расположенной на плоскости П0 по схеме рис. 3.

Рис. 3. Схема двойного отображения П0 ^ П ^ П2 и эквивалентного ему П0' ^ П2

При отображении П0 ^ П1, согласно (2), получаем dL1 = dLj 1 - sin2 Д sin2 ф. После второго отображения П1 ^ П2 имеем dL2 = dL^1 - sin2 в2 sin2 ф1.

При Д=А и в допущении sin^sin^ в результате двойного отображения находим

dL2 и dL (1 - sin2 в sin2 ф).

(6)

Допущение соответствует равенству sin2ф + cos2ф/cos2 в и1.

Одно отображение с плоскости П0' на П2 с углом между ними a эквивалентно двум последовательным:

dL2 = dLiJ 1 - sin2 a sin2 ф. (7)

Согласно рис. 3 cosa=cosAcose2=cos2e и, соответственно, из равенств (6) и (7) следует соотношение

^/i-"(siñaи 1 - (1 - cos2 в) sin2 ф =

= cos2 ф + cos a sin2 ф. (8)

С подынтегральной функцией (8) в (1) получаем

ф

Е(ф, к) и J (cos2 ф + cos a sin2 ф) dф,

о

и после интегрирования интеграл второго рода приобретает вид:

E(ф,к) иф I cos2a + ^n^sin2a

(9)

Из (9) при ф=п/2 следует выражение полного интеграла:

E(п/2,к) иcos21. (10)

К эллиптическому интегралу первого рода приходим, исследуя изменение интеграла второго рода (1) с изменением угла а: йЕ (ф, к)

da

■ = -ctga [F(ф, к) - Е(ф, к)].

(11)

Из (11) следует F(от,k) = E(от, k) - tga dE(f’k)

da

и с определением (9) получаем приближённое выражение интеграла первого рода

F(от,k) cos2a-^n^sin2. (12)

cos a ^ 2 2от 2 j

2,0 F(f, k) 1,5

1,0

0,5

<P=K/2,

Ф = я/3 "

■’S II -S

_

0 30

(град)

60

30 60

а (град)

Соответственно, полный интеграл: F (п/2, к) ип 1

(13)

2 1 - tg2(a/2)' Сравнительные оценки их приведены на рис. 4.

По этим оценкам можно считать, что приближённые выражения эллиптических интегралов удовлетворительны по точности в диапазоне изменения "модуля" к<0,7 или "модулярного угла" а<45°. Так, для полных интегралов первого и второго рода при а=45° погрешности составляют соответственно 0,73 и 2,3 %. Для неполных они меньше.

Выражения полных интегралов (10) и (13) приводят к простой связи между ними:

Е(п/2,к)

F (п/2, к);

cosa

(14)

Обращаясь к (5), замечаем, что (14) определяет "обратное" преобразование дуги окружности. Соответственно этому, эллиптическому интегралу первого рода можно дать истолкование, аналогичное тому, которое имеет интеграл второго рода (рис. 5). Здесь интегралы первого и второго рода представлены как угловые меры дуги растянутого и сжатого эллипса.

Так, окружность радиуса при "обратном" отображении образует растянутый эллипс, длина которого

Ь и 4F(п/2,к)Л. (15)

Здесь полный интеграл первого рода есть угловая мера четверти длины растянутого эллипса.

Очевидно, это есть приближенное представление интеграла первого рода, поскольку оно следует из приближённого выражения интеграла второго рода, тогда как для интеграла второго рода оно является безукоризненным.

Рис. 4. --- эллиптические интегралы (1), — приближённые выражения (9) и (12)

Рис. 5. Гоафическое представление эллиптических интегралов

Заметим, что приближённое выражение полного интеграла (10) можно также получить, решая задачу деформирования окружности радиусом г в эллипс.

Так, согласно равенству длин этих кривых линий, L = 2nr = 4E(n/2J-)R. (16)

Здесь R - радиус некоторой окружности, "прямое" отображение которой на наклонную под углом a плоскость образует на ней эллипс, главные полуоси которого равны a=R, b=Rcosa.

Обозначим отношение диаметра окружности к суммарной длине полуосей эллипса:

- 2 г _ 2 r _ r (17)

V a + b R (1 + cosa) R cos2(a/ 2)'

Из совокупности (11) и (12) находим:

Е(|,к) ^|со82а (18)

Формула (10) следует из (18) при у=1 и, соответственно можно заключить, что при деформировании окружности на плоскости сумма длин главных полуосей образуемого эллипса не изменяется и равна диаметру окружности, как и при отображении её на плоскость с наклоном а<45°.

Определение интеграла (13) и его геометрическое представление допускает интерпретируемость изменения периода колебаний математического маятника длиной 1 с изменением угла отклонения его от вертикали на угол в. При замене эллиптического интеграла его приближённым выражением (13) период колебаний маятника [3] равен:

т=4Щ^(п/2,к)„4Щ1 -п4). (19)

Выражение (15) совпадает с (19) и, если ассоциировать период колебаний со временем прохождения маятника по замкнутой кривой, то это движение происходит по растянутому эллипсу, полученному из окружности радиусом Я=^И/^. Погрешность в определении периода колебаний по (19) достигает 2,3 % только при отклонении маятника от вертикали на 90°.

Можно заключить, что введённое геометрическое представление нормальных эллиптических интегралов первого и второго рода позволяет их интерпретировать и определить элементарными выражениями с оценкой допущений. Оно оказалось результативным при определении параметров эластики продольного изгиба стержня [4].

СПИСОК ЛИТЕРАТУРЫ

1. Корн Г., Корн Т. Справочник по математике для научных работников и инженеров. - М.: Наука, 1984. - С. 751-761.

2. Янке Е., Эмде Ф., Леш Ф. Специальные функции (формулы, графики, таблицы). - М.: Наука, 1968. - С. 103-108.

3. Ландау Л.Д., Лившиц Е.М. Теоретическая физика: Т. 1. Механика. - М.: Наука, 1988. - С. 41.

4. Анфилофьев А.В. Стрела прогиба и сближение концов стержня в продольном изгибе // Прикладная механика и техническая физика. - 2001. - Т. 42. - № 2. - С. 188-193.

УДК 538

ОСНОВНОЕ СОСТОЯНИЕ В СТРУКТУРНОНЕУСТОЙЧИВОМ КРИСТАЛЛЕ

Е.Е. Слядников

Институт физики прочности и материаловедения СО РАН. г. Томск Томский научный центр СО РАН E-mail: [email protected]

Теоретически показано, что в окрестности структурного перехода мартенситного типа внешнее воздействие уменьшает площадь горба, разделяющего минимумы двухямного потенциала атома. Это приводит к возникновению эффекта квантового туннелирования и уменьшению асимметрии двухямного потенциала, что открывает возможность переходов из узлов исходной решетки в узлы конечной решетки (конфигурационных смещений) и возникновения предпереходного состояния.

1. Введение

Классические континуальные модели кристаллических сред описывают далеко не все явления, происходящие в твердых телах при изменении внешнего воздействия [1, 2]. К этим явлениям в первую очередь относятся эффекты нелинейной упругости, неупругости, сдвиговой неустойчивости, предпере-ходные состояния, структурные превращения мар-тенситного типа. Причина этого в том, что в теории упругости сплошной среды [3] постулируется неизменность ближайшего окружения атома в процессе деформирования, структура решетки и силовые связи при упругой деформации не перестраиваются.

Поэтому для описания подобных явлений необходимо формулировать новые микроскопические модели кристаллов, учитывающие изменения кристаллической структуры реальных тел и возбуждение дополнительных степеней свободы атомной решетки [2, 4].

В этой работе построена микроскопическая модель кристалла, испытывающего структурный переход мартенситного типа, в которой атомная решетка рассматривается как двухуровневая квантовая система (квантовая система псевдоспинов) [4]. В рамках этой модели обосновывается, что средний одночастичный потенциальный рельеф атома имеет двухямный характер, а сами атомы решетки структурнонеустойчивого кристалла подчиняются законам квантовой механики. К выбору модельного одночастичного потенциального рельефа атома в виде двухямного можно придти из анализа связи сдвиговой устойчивости кристалла и ближнего порядка смещений атомов решетки.

Кристаллогеометрические характеристики твердого тела определяются состоянием электрон-атомной системы, в частности, концентрацией, локальной конфигурацией электронов, наличием эффектов ангармонизма в потенциале межатомного