А. Т.

Москаленко

СПЕЦИАЛЬНЫЕ
ФУНКЦИИ
В ПРОСТЕЙШИХ
ЗАДАЧАХ ФИЗИКИ

2020
 СОДЕРЖАНИЕ

Предисловие..................................................................................... 4
Глава 1. Гамма- и бета-функция
§ 1.1 Гамма-функция Эйлера ...................................................... 5
§ 1.2 Бета-функция Эйлера.......................................................... 8
§ 1.3 Сведение интегралов к гамма- и бета-функции ............... 9
§ 1.4 Распределение Максвелла ................................................ 12
§ 1.5 Движение по окружности с постоянным ускорением ... 16
§ 1.6 Малые колебания ангармонического осциллятора ....... 18
§ 1.7 Время соударения двух упругих шаров .......................... 20
§ 1.8 Падение на притягивающий центр .................................. 23
§ 1.9 Вириальное уравнение состояния ................................... 28
Глава 2. Дзета-функция Римана
§ 2.1 Краткие математические сведения .................................. 33
§ 2.2 Вычисление интегралов с помощью дзета-функции ..... 35
§ 2.3 Свойства фотонного газа .................................................. 36
§ 2.4 Температура бозе-конденсации ....................................... 40
Глава 3. Эллиптические функции
§ 3.1 Эллиптические интегралы ............................................... 42
§ 3.2 Эллиптические функции Якоби....................................... 45
§ 3.3 Спрямление эллипса ......................................................... 48
§ 3.4 Колебания математического маятника ........................... 49
§ 3.5 Магнитное поле внутри кольца с током ......................... 53
§ 3.6 Падение конца подвешенной цепи .................................. 56
§ 3.7 Форма равновесия вращающейся нити ........................... 59
§ 3.8 Соскальзывание с вершины полусферы ......................... 64

2
Глава 4. Функции Бесселя
§ 4.1 Краткие математические сведения .................................. 67
§ 4.2 Малые колебания нити, подвешенной за один конец ... 71
§ 4.3 Точное решение уравнения Кеплера ............................... 77
§ 4.4 Скин-эффект в цилиндрическом проводнике ................ 81
§ 4.5 Дифракция Фраунгофера на круглом отверстии ........... 85
Глава 5. W-функция Ламберта
§ 5.1 Краткие математические сведения .................................. 91
§ 5.2 Точное решение трансцендентных уравнений с
помощью W-функции Ламберта .................................................... 95
§ 5.3 Точный вывод закона смещения Вина ............................ 97
§ 5.4 Расчёт критических размеров ядерного реактора .......... 98
§ 5.5 Скольжение при постоянной мощности. ...................... 101
§ 5.6 Расчёт электрической цепи с диодом............................ 103
§ 5.7 Капиллярное впитывание ............................................... 105
§ 5.8 Дальность полёта тела в сопротивляющейся среде ..... 108
Задачи для самостоятельного изучения ................................. 115
Список рекомендуемой литературы ....................................... 118

3
 ПРЕДИСЛОВИЕ

Решение многих физических задач оказывается

невозможным без привлечения так называемых специальных
функций: обычно они представляют собой интегралы, не
выражаемые в элементарных функциях, или ряды, не
сходящиеся к элементарным функциям. Может показаться, что
для появления в какой-либо задаче специальной функции данная
задача должна быть весьма сложной, однако это далеко не так.
В этой книге собраны простые физические задачи,
приводящие к специальным функциям. При подборе задач автор
старался избегать излишней абстрактности, которая часто имеет
место в задачах математической физики. Все задачи достаточно
понятны по условию и требуют в решении общеизвестных
физических законов.
Из десятков специальных функций в книге рассмотрены
наиболее общеупотребительные: интегралы Эйлера (гамма- и
бета-функция), дзета-функция Римана, эллиптические функции,
функции Бесселя и W-функция Ламберта. Таким образом, книга
состоит из пяти глав. В начале каждой главы приводятся
краткие математические сведения по теории рассматриваемой
функции. Они носят справочный характер и почти не содержат
доказательств тех или иных утверждений. Основной объём
каждой главы посвящён разбору физических задач, приводящих
к появлению данной специальной функции.
В конце книги приведены задачи для самостоятельного
изучения, а также список литературы для дальнейшего
знакомства со специальными функциями и их физическими
приложениями.

4
 ГЛАВА 1
ГАММА- И БЕТА-ФУНКЦИЯ

§ 1.1 Гамма-функция Эйлера

Происхождение. При изучении разложения функций в

ряды возникает необходимость в такой функции, которая бы для
натуральных значений аргумента соответствовала факториалу,
но в то же время имела смысл для любых, в том числе и
комплексных, значений аргумента. Такую функцию удалось
отыскать в 1729 году великому математику Леонарду Эйлеру
(1707–1783). Впоследствии французский математик Адриен
Мари Лежандр (1752–1833) назвал её гамма-функцией.
Определение. Гамма-функцией, или интегралом Эйлера
второго рода, называется несобственный интеграл, зависящий
от комплексной переменной z:


( z )   e  x x z 1 dx.
0

Если Re(z) > 0, данный интеграл сходится. Путём замены x = t 2

можно получить другое определение:


( z )  2 e t t 2 z 1 dt.
2

0
Есть также определение в виде бесконечного произведения:
1   1   z 
z 1

( z )   1   1   .
z n1  n   n  
Свойства. Из определения следует основное свойство
гамма-функции:
( z  1)  z( z).

5
 Для целых неотрицательных z гамма-функция равна
( z  1)  z!.
Таким образом, гамма-функция Эйлера обобщает понятие
факториала на все комплексные значения аргумента.
Для гамма-функции справедлива формула дополнения:
π
( z )(1  z )  ,
sin πz
а также формулы:
1  1  π
  z   z   ,
2  2  cos πz
π
 ( z ) (  z )   .
z sin πz
Существует формула удвоения гамма-функции:
2 2 z 1  1
( 2 z )  ( z ) z  .
π  2
График гамма-функции для вещественного аргумента
представлен на рисунке:

0
-4 -2 2 4

-2

-4

6
 Как видно, при целых значениях z ≤ 0 гамма-функция
претерпевает разрыв. Кроме того, гамма-функция не имеет нулей:
Γ(z) ≠ 0 при любом значении аргумента.
Частные значения. Приведём значения гамма-функции
Эйлера для некоторых целых и полуцелых значений аргумента:

 3 4  1
    π     2 π
 2 3  2
1
   π Γ(1) = 0! = 1
2
3 1
   π Γ(2) = 1! = 1
2 2
5 3
   π Γ(3) = 2! = 2
2 4
 7  15
   π Γ(4) = 3! = 6
2 8

Для натуральных n справедливы соотношения:

1  (2n  1) !!
  n   π,
2  2n
1  (2) n
  n   π,
2  (2n  1) !!
где (2n – 1)!! = 1 ∙ 3 ∙ 5 ∙ … ∙ (2n – 1).
Аппроксимация. Для приближённого вычисления гамма-
функции используется асимптотическая формула Стирлинга:
( z  1)  2πz  z z e  z ,
которая справедлива при z → ∞.

7
 § 1.2 Бета-функция Эйлера

Происхождение. Почти одновременно с гамма-функцией

Эйлером был изучен и другой определённый интеграл,
впоследствии названный французским математиком Жаком
Бине (1786–1856) бета-функцией. Для справедливости нужно
отметить, что бета-функция рассматривалась ранее в работах
английских учёных Джона Валлиса (1616–1703) и Исаака
Ньютона (1643–1727), однако Эйлер подверг бета-функцию
наиболее подробному исследованию.
Определение и свойства. Бета-функцией, или интегралом
Эйлера первого рода, называется интеграл
1

( x, y )   t x 1 1  t  dt,
y 1

определённый при Re(x) > 0, Re(y) > 0. Существует и другое

интегральное представление бета-функции:
π 2

( x, y)  2  sin 2 x 1 θ cos2 y 1 θdθ.

0

Бета-функция является функцией от двух переменных;

перестановка их местами не меняет значения функции
(свойство симметричности):
( x, y)  ( y, x).
Наиболее важным для вычисления значений бета-функции
является соотношение, связывающее её с гамма-функцией:
 ( x ) ( y )
( x, y )  .
( x  y )
Полезными могут оказаться также формулы:
( x, y)  ( x, y  1)  ( x  1, y),
x y
( x  1, y )  ( x, y ) , ( x, y  1)  ( x, y ) .
x y x y

8
 Легко убедиться, что для бета-функции, как и для гамма-
функции, имеет место формула дополнения:
π
( x, 1  x)  , 0  x  1.
sin πx
Нетрудно также вывести свойства:
1 1 
( x, 1)  , ( x, x)  212 x  , x .
x 2 

§ 1.3 Сведение интегралов к гамма- и бета-функции

Многие определённые интегралы можно свести путём

соответствующих подстановок к гамма- или бета-функции.
Интегралы, выражаемые через гамма-функцию. При
помощи гамма-функции Эйлера можно вычислить интегралы:

(n  1)
e x n dx  , a  0,
 ax
(1.3.1)
0
a n1

1  1
e x 2 n dx   n  , a  0,
 ax 2
n 1 2
(1.3.2)
0
2a  2
n
 1
1

0  ln x  dx  (n  1),
(n  1)
n
 1
1

0 x  ln x  dx  (m  1) n1 ,
m


1 1
e dx   ,
 xn

0
n n

1 1 π
 sin x dx  n  n  sin 2n ,
n

0

1 1 π
 cos x dx  n  n  cos 2n .
n

9
 Интегралы, выражаемые через бета-функцию. Используя
бета-функцию Эйлера, можно взять интегралы:
1

x (1  x) n dx  (m  1, n  1),
m

0
b

 ( x  a) (b  x) n dx  (b  a) m n1 (m  1, n  1), b  a,

m

1 1 1
1
dx

0 1 x n
  , , n  0,
n n 2
π 2
1  m 1 n 1
 sin x cos xdx   ,
m n
,
0
2  2 2 
a m 2  m  1 3 
a

 x a  x dx   , , a  0,
m 2 2

0
2  2 2
a m n 1  m  1 n  2 
0 x a  x  dx  2  2 , 2 , a  0.
a
m 2 2 n2

Вычисление площади фигуры. Определим площадь

фигуры, ограниченной кривой |x|n + |y|n = an (n > 0, a > 0).
В силу центральной симметрии фигуры относительно
начала координат достаточно рассмотреть только одну её часть,
расположенную в первой четверти (x ≥ 0, y ≥ 0). Эта часть
кривой определяется функцией y = (an – xn)1/n, 0 ≤ x ≤ a. Тогда
площадь фигуры равна:

S  4 ydx  4 a n  x n  dx.
a a
1n

0 0
Выполнив замену переменной x = at1/n, получим:
4a 2  1 1 
1
4a 2
 
n 0
S    ,  1.
1 n 1 n 1
1 t t dt
n n n 
Упростим выражение, перейдя к гамма-функции:
2a 2  2 1 n 
S .
n 2 n 

10
 Применим полученную формулу к некоторым
элементарным частным случаям. При n = 1 рассматриваемая
фигура представляет собой квадрат с диагональю 2a. Формула
даёт в этом случае
2  (1)
2
S (1)  2a  2a 2 ,
(2)
что совпадает с площадью упомянутого квадрата.
При n = 2 имеем круг с радиусом a, площадь которого
2  (1 2)
 
2
2
S (2)  a  a 2 π  πa 2 .
(1)
При n → ∞ фигура стремится принять форму квадрата со
стороной 2a. Воспользовавшись формулой удвоения гамма-
функции, получаем:
2a 2  2 1 n  2a 2 π  2 1 n 
S ()  lim  lim .
n  n 2 n  n 2 2 n1 n(1 n)1 n  1 2
Выполняя очевидные преобразования, имеем:
1 n  π
 4a 2 lim 1 n .
1
S ()  4a 2 lim
n  n 1 2 n  n

Чтобы вычислить предел, применим основное свойство

гамма-функции. В результате получим
 1
S ()  4a 2 lim 1    4a 2  (1)  4a 2 ,
n 
 n
что и требовалось доказать.
Менее тривиальный пример – вычисление площади фигуры,
ограниченной графиком астроиды. Так называется плоская
кривая, задаваемая уравнением |x|2/3 + |y|2/3 = a2/3. При n = 2/3
наша формула даёт
 2 3 2 3a 2
2
2 1  3πa 2
S    3a 2   π  .
3 (3) 2 2  8

11
 § 1.4 Распределение Максвелла

Продемонстрируем применение гамма-функции в

вычислении интегралов, возникающих при исследовании
распределения молекул идеального газа по скоростям,
импульсам и энергиям. Это распределение было открыто в 1859
году великим британским физиком и математиком Джеймсом
Максвеллом (1831–1879) и потому носит его имя.
Распределение молекул по скоростям. Максвелл нашёл,
что функция распределения молекул по абсолютным значениям
скоростей определяется выражением:
mυ 2

f (υ)  Ae 2 kT
υ2 ,
где m – масса молекулы, k – постоянная Больцмана, T –
абсолютная температура газа, A – множитель, не зависящий от υ.
Функция распределения f (υ) имеет следующий смысл: она
определяет вероятность того, что молекула имеет скорость в
интервале от υ до υ + dυ. Эта вероятность равна
dNυ
 f (υ)dυ,
N
где dNυ – число молекул со скоростями от υ до υ + dυ, N – общее
число молекул.
Чтобы определить значение множителя A, воспользуемся
условием нормировки: любая молекула непременно имеет
какую-то скорость в интервале от 0 до ∞, то есть вероятность
этого события равна 1. В связи с этим можно записать:


 f (υ)dυ  1.
0

Подставляя сюда функцию распределения, получим:

 mυ 2

A e 2 kT
υ 2 dυ  1.
0

12
 Этот интеграл берётся через гамма-функцию с помощью
формулы (1.3.2):
 mυ 2 32 32
 1  2kT   3   2kT  π
e υ dυ        
2 kT 2
,
0
2 m  2  m  4
откуда нормировочный множитель равен:
32
 m 
A  4π   .
 2πkT 
Таким образом, распределение Максвелла по абсолютным
скоростям движения молекул определяется выражением:
32 2
 m   2 kT 2
mυ

f (υ)  4π   e υ .
 2πkT 
Средние скорости молекул. Распределение Максвелла
позволяет найти средние значения скорости молекул: среднюю
арифметическую, среднюю квадратичную и т.п. При их расчёте
снова не обойтись без гамма-функции.
Среднее значение физической величины x в общем случае
определяется по формуле:

x 
 xf ( x)dx ,
 f ( x)dx
где f (x) – функция распределения величины x, а интегрирование
производится по всей совокупности изменений x. Если функция
распределения нормирована на единицу, формула упрощается:
x   xf ( x)dx.
Определим среднюю арифметическую скорость движения
молекул идеального газа:
 32 mυ 2
 m  
υ   υf (υ)dυ  4π   e 2 kT
υ 3 dυ.
0  2πkT  0

13
 Вычисляем интеграл так же, как мы делали это при
нахождении нормировочного множителя:
32 2
 m   2kT  8kT kT
υ  2π     (2)   1,60 .
 2πkT   m  πm m
Аналогично можно найти средний квадрат скорости; мы,
однако, сразу выведем общую формулу для нахождения
среднего значения произвольной степени скорости υn:
 32 mυ 2
4  m  
υ   υ f (υ)dυ 
n n
  e 2 kT
υ 2 n dυ.
0 π  2kT  0

Этот интеграл равен:

 n  3
n2
2  2kT 
υ  
n
  .
π m   2 
Данное выражение можно переписать, используя Г(3/2):
 n  3
  n2
 2   2kT 
υ 
n
  .
3 2  m 
Обладая этой формулой, можно быстро найти среднюю
квадратичную скорость
5 2 2kT 3kT kT
υ2    1,73 ,
3 2 m m m
или среднюю кубическую:
3  2kT 
32 16
 128  kT kT
3 υ 
3
    1,85 .
3 2  m 
3
 π  m m
Любопытно также рассчитать среднее значение величины,
обратной скорости молекулы:
1 2
1 (1)  2kT  2 m 2m 4
 υ 1       .
υ 3 2  m  π 2kT πkT π υ

14
 Распределение молекул по импульсам. Методами
статистической физики можно показать, что функция
распределения молекул по модулям импульса имеет вид:
p2

f ( p)  Be 2 mkT
p2 ,
где B – нормировочный множитель, определяемый из условия
 p2


 Be
0
2 mkT
p 2 dp  1.

После взятия интеграла получаем:

32 32
 1  2  1 
B   4π   .
 2mkT  (3 2)  2πmkT 
Таким образом, функция распределения по импульсам есть
32 2
 1   2 mkT 2
p

f ( p)  4π   e p .
 2πmkT 
Определим среднее значение квадрата импульса молекулы:
 32 2
4  1  
p

p   p f ( p)dp 
2 2
   e 2 mkT
p 4 dp.
0 π  2mkT  0
Вычисляем интеграл через гамма-функцию:
4  1  2mkT
32
 5  4mkT 3 π
52

p2        3mkT.
π  2mkT  2 2 π 4
Как видно, средний квадрат импульса соответствует
среднеквадратичной скорости молекулы.
Распределение молекул по энергиям. Можно ввести
также функцию распределения молекул по энергиям движения:
ε

f (ε )  Ce kT
ε,
где C можно отыскать с помощью условия нормировки
 ε


 Ce
0
kT
ε dε  1.

15
 Здесь нам понадобится интеграл (1.3.1); с его помощью
находим:
32
 1  1 2
C    .
 kT  (3 2) π kT 
32

Таким образом, функция распределения имеет вид:

ε
2 
f (ε )  e kT
ε.
π kT 
32

Определим с её помощью среднюю кинетическую энергию

молекулы идеального газа:
  ε 3
2 
ε   εf (ε )dε  e kT
ε d ε.
2

π kT 
32
0 0

Снова используем формулу (1.3.1):

ε 
2
kT 5 2  5   2
kT
3 π 3
 kT .
π kT  2
32
π 4 2
Мы получили хорошо известный результат из
молекулярной физики.

§ 1.5 Движение по окружности с постоянным

ускорением

Постановка задачи. Точка начинает движение по

окружности радиуса R. При этом её полное ускорение
постоянно по модулю и равно a. Найдём время, за которое точка
достигнет максимальной скорости.
Решение. Полное ускорение есть геометрическая сумма
нормального и тангенциального ускорений, поэтому для модуля
полного ускорения можно записать:
a 2  an2  aτ2 .
По мере движения нормальное ускорение будет
увеличиваться, а тангенциальное – уменьшаться. При достижении

16
максимальной скорости aτ обратится в ноль, то есть тело начнёт
двигаться равномерно со скоростью
υmax  aR.
По определению ατ = dυ/dt, откуда получаем:
dυ dυ dυ dυ
dt    R .
aτ a  an
2 2 2
 υmax   υ 
2 2 2
υmax  υ
4 4

    
 R  R
Введём безразмерную переменную x = υ/υmax, которая
изменяется в интервале от 0 до 1:
υmaxdx R R dx dx
dt  R  . 
υmax
2
1  x 4 υmax 1  x 4 a 1 x4
Чтобы определить искомое время, интегрируем:
1
R dx
τ   dt 
 .
a 0 1 x4
Данный интеграл можно взять через бета-функцию. Для
этого произведём замену y = x4:
1 1 1
1  34
dx dy
 
1

0 1  x 4 0 4 y 4 1  y 4 0

 3
 y 1  y 2 dy.

Легко заметить, что получившийся интеграл равен:

1 1 1
1
1  34
 
1



y 1  y 2 dy  B , .
40 4 4 2
Воспользовавшись определением бета-функции, запишем:
1  1 1  1 4 1 2 5 4
B ,    π .
4  4 2 43 4 3 4
Таким образом, время разгона точки до максимальной
скорости равно:
πR 5 4 R
τ  1,31 .
a 3 4 a

17
 § 1.6 Малые колебания ангармонического осциллятора

Постановка задачи. Шарик массой m находится на

гладкой горизонтальной поверхности и прикреплён к нижнему
концу подвешенной лёгкой резинки жёсткостью k, которая в
недеформированном состоянии имеет длину l. Определим
период малых колебаний, которые начнутся,
если отклонить шарик на малую величину
A ≪ l и отпустить.
Составление уравнения колебаний.
Колебания будут происходить под
действием горизонтальной составляющей
F силы упругости резинки, которая направлена
против смещения:
max   F cosα.
α
Применяя закон Гука, получим:
x
x max  kl ,
l
где x – смещение шарика от положения равновесия в некоторый
момент времени, а Δl – абсолютная деформация резинки. Её
нетрудно выразить через x и l, пользуясь условием малости
колебаний:
x2  x2  x2
l  l 2  x 2  l  l 1 
 l  l 
1    l  .
l2  2l 2  2l
Тогда уравнение колебаний шарика примет вид:
k
max   2 x 3 .
2l
Ускорение оказалось пропорциональным кубу смещения,
то есть мы имеем дело с ангармоническим осциллятором:
период его колебаний, как мы сейчас убедимся, зависит от
амплитуды A.

18
 Определение периода. Чтобы найти период, воспользуемся
законом сохранения энергии. Потенциальную энергию резинки
найдём как интеграл
U ( x)   Fx dx.
Введя для краткости обозначение
k
γ 2
2l
и интегрируя с учётом того, что U(0) = 0, получим:
γx 4
U ( x)  .
4
Тогда закон сохранения энергии запишется в виде:
mυ x2 γx 4 γA 4
  .
2 4 4
Выразим отсюда скорость:
dx γ A 4  x 4 
υx   .
dt 2m
Разделим переменные:
dx
dt  .
γ A 4  x 4 
2m
За период шарик четырежды проходит расстояние, равное
амплитуде колебаний:
A A
dx 2m dx
T  4 dt  4
γ 0
4 .
0 γ A 4  x 4  A4  x 4
2m
Введя замену x = yA, получим:
1
4 2m dy
T 
A γ 0 1 y4
.

19
 Этот интеграл, выражаемый через бета-функцию, уже
знаком нам из предыдущего параграфа:
1 1 1 5 4
1
dy

0 1 y4
 B ,   π
4 4 2 3 4
 1,31.

Используя этот результат и возвращаясь к исходным

обозначениям, запишем формулу для периода колебаний:
5 4 l m l m
T 8 π  10,49 .
3 4 A k A k
Обобщение задачи. Нетрудно показать, что если
возвращающая сила зависит от величины смещения по
степенному закону:
Fx  γx n ,
где n – нечётное число, то период колебаний равен
m  1 1
T 4  B , .
2γ(n  1) A n 1
 n 1 2 
Легко увидеть, что при n = 1 это выражение даёт формулу
периода гармонических колебаний пружинного маятника.

§ 1.7 Время соударения двух упругих шаров

Постановка задачи. Два одинаковых упругих шара

радиуса r двигаются навстречу с относительной скоростью υ.
Требуется найти время соударения шаров. Известно, что
скорость звука в материале шаров равна c.
Контактное взаимодействие. Эта задача была впервые
решена в 1882 году немецким физиком Генрихом Герцем (1857–
1894) в рамках разработанной им теории контакта упругих тел.
Герц получил формулу для потенциальной энергии контактного
взаимодействия двух упругих тел:
8
U ER1 2 x 5 2 ,
15

20
где x – сближение тел в результате контакта, R – приведённый
радиус кривизны тел с радиусами R1 и R2:
R1 R2
R .
R1  R2
Коэффициент E он определяется выражением:
1 1  μ12 1  μ22
  ,
E E1 E2
где E1 и E2 – модули Юнга материалов шаров, μ1 и μ2 –
коэффициенты Пуассона.
Решение. В нашей задаче шары одинаковы, так что
формулы для R и E упростятся. Кроме того, будем полагать, что
коэффициент Пуассона невелик и его квадратом можно
пренебречь. Вспомнив, что скорость звука в твёрдой среде
можно найти по формуле
E
c ,
ρ
получим выражение для модуля Юнга E = ρc2.
В результате выражение для потенциальной энергии
контактного взаимодействия двух одинаковых шаров радиуса r
примет вид:
4
U ρc 2 r 1 2 x 5 2 .
15 2
Если перейти в систему отсчёта, в которой центр масс
обоих шаров покоится, то энергия шаров до столкновения равна
кинетической энергии их относительного движения:
μυ2
E ,
2
где μ – приведённая масса шаров:
m1 m2 m
μ  .
m1  m2 2

21
 В течение упругого удара выполняется закон сохранения
механической энергии:
2
μυ2 μ  dx  4
    ρc 2 r 1 2 x 5 2 ,
2 2  dt  15 2
где dx/dt – скорость сближения шаров. Максимальное сближение
шаров соответствует моменту, когда скорость dx/dt = 0, и равно
25
 15 2 μυ2 
xmax    .
2 12 
 8 ρc r 
С учётом этого выражения можно переписать закон
сохранения энергии в виде
52
 x 
2
μυ2 μ  dx  μυ2
      ,
2 2  dt  2  xmax 
откуда
dx
dt  .
υ 1  x xmax 
52

В процессе удара шары сближаются и удаляются, поэтому

время соударения равно удвоенному времени изменения x от
нуля до максимального значения xmax:
xmax
2 dx
τ
υ 
0 1  x xmax 
52
.

С помощью замены u = x/xmax этот интеграл можно свести

к бета-функции:
2x 1
du 2 xmax 2  2 1 
τ  max
υ 0
1 u υ 5 5 2
52

 , .

Вычисляя значение бета-функции, получаем:

4x π (2 5) x
τ  max  2,94 max .
5υ (9 10) υ

22
 Чтобы получить окончательный ответ, вернёмся к
выражению для xmax, где приведённую массу представим в виде:
m ρV 2πρr 3
μ   .
2 2 3
В результате получим:
25 25
 5π 2 r 5 2 υ 2   5π 2  rυ 4 5 rυ 4 5

xmax       1,99 4 5 .
 4 c 2   4  c
 45
c
Подставляя это выражение в формулу для времени, имеем:
r
τ  5,84 4 1 5 .
c υ
Данная формула применима при условии, что скорость
сближения тел достаточно мала по сравнению со скоростью
звука в материале шаров, так как в решении мы не учитывали
упругие колебания шаров при столкновении.

§ 1.8 Падение на притягивающий центр

Постановка задачи. Материальная точка массы m

находится в силовом поле, величина которого убывает с
расстоянием по степенному закону:
k
F  n 1 ,
r
где k и n – положительные постоянные, зависящие от свойств
источника поля. В начальный момент времени точка покоится
на расстоянии R от источника поля, а затем начинает
притягиваться к нему. Требуется найти время, за которое точка
упадёт на источник поля (будем считать его размеры
пренебрежимо малыми по сравнению с R).
Решение. Согласно второму закону Ньютона
dυ k
m   n1 ,
dt r

23
где знак «минус» означает, что расстояние r убывает по мере
движения. Скорость точки по определению равна
dr
υ ,
dt
откуда можно выразить dt и подставить в уравнение движения.
В этом случае имеем:
dυ k
mυ   n1 .
dr r
Разделяя переменные и интегрируя, получаем:
mυ 2 k
 n  C.
2 nr
Константу интегрирования легко найти из начального
условия: при r = R скорость υ = 0. Тогда имеем:
2k  1 1 
υ2   n  n .
mn  r R 
Эта формула позволяет найти скорость точки на любом
расстоянии r от источника поля. Сразу отметим, что наш анализ
не является корректным с точки зрения теории относительности:
как видно, при r = 0 скорость точки обращается в бесконечность.
Однако для оценки времени падения эта неточность
несущественна.
Вновь используя определение скорости, имеем:
dr 2k  1 1 
  n  n ,
dt mn  r R 
где знак перед корнем пока оставляем неопределённым.
Выражаем отсюда дифференциал dt:
mn dr mnR n dr
dt    .
2k Rn  r n 2k R
n

  1
r nRn r

24
 Чтобы найти время падения T, интегрируем правую часть в
пределах от R до нуля:
0
mnR n dr
T   dt    R r  .
2k 1
n
R

Чтобы время было положительным, необходимо выбрать

знак «минус». Если пределы интегрирования поменять местами,
то знак превратится в «плюс», и в результате мы получим:
R
mnR n dr
T
2k  R r 
0
n
1
.

Введём новую переменную:

n
r
1
R n 1
x    , откуда dr  x dx.
R n
В результате интеграл примет вид:
mR n 2
1 1 1 1
 
T
2kn 0  x n 2
(1  x ) 2
dx.

Благодаря замене мы свели интеграл к бета-функции:

mR n  2  1 1 1 
T B  , .
2kn  n 2 2 
Перейдём от бета-функции к гамма-функции:
1 1 1
n2
   
T
mR  n 2  2.
2kn 1 
  1
n 
Окончательный ответ можно записать так:
1 1
n2
  
πmnR  n 2.
T
2k 1
 
n

25
 Движение в кулоновском поле. Рассмотрим движение в
гравитационном поле, сила которого убывает по закону
обратных квадратов:
GMm
F .
r2
Такое поле создаётся материальной точкой или
однородным шаром массы M. Подставляя в формулу для
времени k = GMm и n = 1, получим:
π R3
T .
2 2GM
По этой формуле можно найти, например, время падения
Земли на Солнце, если бы наша планета вдруг по какой-то
причине потеряла орбитальную скорость. При R = 1,5 ∙ 1011 м
(расстояние от Земли до Солнца) и M = 2 ∙ 1030 кг (масса
Солнца) получим величину T = 5,6 ∙ 106 с, то есть 65 суток.
Аналогичное выражение получается для случая движения
заряженной частицы q в электростатическом поле, создаваемом
точечным зарядом Q. Сила взаимодействия определяется законом
Кулона
Qq
F ,
4πε0 r 2
а время движения частицы к источнику поля равно
π 3 ε 0 mR3
T .
2Qq
Падение на электрический диполь. Напряжённость
электростатического поля диполя убывает обратно третьей
степени расстояния. Для точки, лежащей на оси диполя, она
определяется формулой:
p
E ,
2πε0 r 3
где p – дипольный момент диполя.

26
 Если заряженная частица q в начальный момент времени
находится на оси диполя на расстоянии R от него, она достигнет
диполя за время
2πε0 m
T  R2 .
pq
Движение в поле стержня. Любопытным представляется
случай падения в гравитационном поле бесконечно длинного
однородного стержня с линейной плотностью λ. Такое поле
убывает обратно первой степени расстояния:
2Gmλ
F .
r
Подставляя в формулу k = 2Gmλ и n = 0, мы получаем в
формуле неопределённость:
1 1
  
R π
lim n 
n 2
T .
2 Gλ n0 1
 
n
Значение этого предела можно вычислить с помощью
формулы Стирлинга, которая аппроксимирует гамма-функцию
при больших аргументах. Сначала выполним замену z = 1/n:
1 1  1
   1  z  
lim n  n 2
 lim z

2  2
.
n 0
1 z  ( z )
 
n
Используем теперь формулу Стирлинга:
1
z
 1  1  1  2 1 z
 z   2π  z    z   e 2
 2  2
1 1

lim z

2  2 
 lim z 2 
z  ( z ) z 
2π ( z  1) ( z  1) z 1 e1 z

27
 1
z 1
 1  1 2
z   z   z 1 1
  z 1 2 
1 1

 lim ( ze)

 2  2

2
lim ( ze ) 2
  z2 
z  ( z  1) z 1 z  
 z 1 
1
  1 
1 
2 ( z 1) 2

1 1

 lim e 1  2
   lim e 2 e 2  1.
z 
 2( z  1)   z 

Таким образом, время падения на стержень равно:

R π
T .
2 Gλ

§ 1.9 Вириальное уравнение состояния

Реальный газ. Уравнением состояния принято называть

соотношение, связывающее давление p, объём V и температуру
T системы, находящейся в состоянии термодинамического
равновесия. Наиболее простым и известным является уравнение
состояния идеального газа:
pV  NkT ,
где N – число молекул, k – постоянная Больцмана.
Модель идеального газа, в которой не учитывается
взаимодействие молекул, хорошо описывает поведение газов при
низких давлениях и высоких температурах. Но с повышением
плотности газа взаимодействие частиц начинает играть всё
большую роль, и газ проявляет отклонения от идеальности.
Степень неидеальности газа удобно характеризовать величиной,
которую называют коэффициентом сжимаемости:
pV
z .
NkT
Для идеального газа z = 1, а для реальных газов он может
быть как меньше, так и больше единицы. Для описания
поведения неидеального газа предложены десятки уравнений,

28
полученных, как правило, на эмпирической основе (самое
известное среди них – уравнение Ван-дер-Ваальса).
Вириальное уравнение. В 1901 году нидерландский физик
и химик Хейке Камерлинг-Оннес (1853–1926) предложил
обобщение уравнения состояния идеального газа в виде
бесконечного ряда по степеням концентрации n:
p
z  1  B2 n  B3 n 2  ...,
nkT
где коэффициенты B2, B3, ... называют соответственно вторым,
третьим и т.д. вириальными коэффициентами (первый
вириальный коэффициент равен единице). Они зависят от
температуры и природы газа. Второй вириальный коэффициент
характеризует отклонения реального газа от идеальности,
обусловленные наличием парных соударений молекул, третий –
тройных соударений и т.д. Для идеального газа, очевидно, все
вириальные коэффициенты, начиная со второго, равны нулю.
Преимущество вириального уравнения перед другими
уравнениями состояния реального газа состоит в том, что оно
теоретически обосновано. Каждый вириальный коэффициент
может быть рассчитан теоретически, если известен потенциал
межмолекулярного взаимодействия.
Второй вириальный коэффициент. Наибольшее
значение имеет коэффициент B2, поскольку для большинства
случаев вклад слагаемого с B3 на два порядка меньше, чем
слагаемого с B2. В связи с этим для практических целей часто
применяется сокращённая форма вириального уравнения:
p
 1  B2 n.
nkT
Второй вириальный коэффициент связан с потенциалом
парного взаимодействия молекул U(r) формулой:

 
U (r )

B2  2π  1  e kT r 2 dr.
0 

29
 При некоторых потенциалах U(r) второй вириальный
коэффициент может быть выражен через гамма-функцию. Мы
рассмотрим два таких примера.
Потенциал мягких сфер. Определим B2 для модели
мягких сфер, в которой молекулы взаимодействуют только
отталкиванием согласно степенному закону
α
U (r )  s ,
r
где α и s – положительные константы. Такая модель неплохо
описывает реальные газы при высоких температурах, когда
энергии сталкивающихся молекул настолько велики, что силы
притяжения вызывают лишь небольшое возмущение.
Подставим выражение для потенциала в формулу второго
вириального коэффициента:

  α  2
B2  2π  1  exp   r dr.
 kTr 
s
0 

Введём подстановку
α
x ,
kTr s
с помощью которой интеграл преобразуется к виду:
3

2π  α  s
3
 1
B2    (1  e ) x s dx.
x

s  kT  0
Интегрируя по частям, получим:
3

2π  α  s  x  s
3

3  kT  0
B2    e x dx.

В результате окончательное выражение имеет вид:

3
2π  α  s  3 
B2    1  ,
3  kT   s 
где для сходимости интеграла выполняется условие s > 3.

30
 Потенциал Леннарда-Джонса. Более реалистичной
моделью является потенциал, предложенный английским
учёным Джоном Эдвардом Леннардом-Джонсом (1894–1954).
Он записывается в виде:
 σ 12  σ  6 
U (r )  4ε      ,
 r   r  
где σ – расстояние, на котором энергия взаимодействия равна
нулю, ε – глубина потенциальной ямы (модуль максимальной
энергии притяжения). Первое слагаемое в формуле соответствует
отталкиванию молекул на малых расстояниях, второе –
притяжению на больших расстояниях.
Второй вириальный коэффициент в этой модели равен:
        
4ε  σ 
12
σ 
6

 kT   r  r   2
B2  2π  1  e 
 
r dr.
 
 
0

Введём обозначение θ = 4ε/kT и новую переменную y = r/σ:

 y dy.


B2  2πσ 3  1  e θy
6
θy 12 2

0
–12
С помощью замены x = y приведём интеграл к виду:

 1  e x
3 
πσ 
5

B2  θx
eθ x 4
dx.
6 0

Разложим одну из экспонент в степенной ряд по формуле:

j

θ x j 2
eθ x
 1  .
j 1 j!
В результате получим:

3   j
 5
πσ   
θ x
j 2
  4
B2    1  e θx 1    x dx.
6 0
  j 1 j! 
 

31
 Раскроем скобки в подынтегральном выражении:
πσ 3  θ j θx 2 j45 
  

 1  e  x dx    e x dx.
5


6  0
B2  θx 4

j 1 j! 0 
Первый интеграл легко берётся по частям; он равен


 1  e  x dx  4θ    θ 4   1 .
 3
5 1 1

θx 4 4

0  4  4
Второе слагаемое есть ряд по гамма-функциям:
2 j 1
j  2 j 5

θ 
θ 4
 2 j 1
 j!  e
j 1
θx
x 4
dx  
j 1

j!  4 
.
0

Тогда вириальный коэффициент равен

 1 2 j 1

πσ  4  1  3
θ 4  2 j  1 
B2   θ        .
6   4  j 1 j!  4 
 
Заметим, что первое слагаемое в скобках можно внести
под знак суммы, если суммировать от j = 0:
2 j 1

πσ θ  2 j 1 
3 4

B2   
6 j 0 j!  4 
.

Возвращаясь к исходным переменным, окончательный

ответ запишем так:
2 j 1
2πσ 3 
1  2 j  1  4ε 

4
B2      .
3 j  0 4 j!  4  kT 
Полученный ряд довольно быстро сходится при высоких
температурах. При очень высоких температурах достаточно
учитывать только первый член ряда, который, как нетрудно
убедиться, совпадает со вторым вириальным коэффициентом
для потенциала мягких сфер при s = 12.

32
 ГЛАВА 2
ДЗЕТА-ФУНКЦИЯ РИМАНА

§ 2.1 Краткие математические сведения

Происхождение. Первый шаг к введению понятия дзета-

функции сделал Леонард Эйлер. В 1735 году им была решена
знаменитая базельская проблема – задача, которая долгое время
не поддавалась многим выдающимся математикам. Эта задача
состояла в отыскании суммы ряда обратных квадратов
натуральных чисел. Эйлер показал, что сумма ряда равна:

1 1 1 1 1 1 π2

n 1 n
2
 2  2  2  2  2  ...  .
1 2 3 4 5 6
Эйлер вычислил суммы рядов и других чётных степеней,
например:

1 1 1 1 1 1 π4

n 1 n
4
 4  4  4  4  4  ...  .
1 2 3 4 5 90
Впоследствии ряды обратных степеней исследовались в
работах многих математиков, однако наиболее глубокий анализ
провёл в 1859 году немецкий математик и механик Бернхард
Риман (1826–1866). Он обобщил задачу, рассмотрев показатель
степени членов ряда как произвольную комплексную
переменную. Получившаяся функция и была названа дзета-
функцией Римана.
Определение. Дзета-функция Римана есть функция
комплексной переменной s, определяемая при Re(s) > 1 как
сумма сходящегося ряда:

1 1 1 1 1 1
ζ ( s)   s
 s  s  s  s  s  ....
n 1 n 1 2 3 4 5

33
 Для Re(s) > 1 существует представление дзета-функции в
виде бесконечного произведения:
1
ζ ( s)   ,
p 1  p s
где произведение берётся по всем простым числам p. Это
равенство называется тождеством Эйлера и является одним из
основных свойств дзета-функции Римана.
Дзета-функция представима также в виде интеграла:

1 x s 1 dx
( s) 0 e x  1
ζ ( s)  ,

где Γ(s) – уже знакомая нам гамма-функция.

При s ≠ 0, s ≠ 1 справедливо функциональное уравнение
πs
ζ ( s)  2 s π s 1 sin (1  s)ζ (1  s),
2
с помощью которого дзета-функция может быть аналитически
продолжена на всю комплексную плоскость за исключением
точки s = 1.
Частные значения. Приведём значения дзета-функции
Римана для некоторых действительных аргументов:

1
ζ (0) = – 0,5 ζ  ≈ – 1,460
2
3 π2
ζ  ≈ 2,612 ζ (2)  ≈ 1,645
2 6
π4
ζ (3) ≈ 1,202 ζ (4)  ≈ 1,082
90
π6
ζ (5) ≈ 1,037 ζ (6)  ≈ 1,017
945
π8
ζ (7) ≈ 1,008 ζ (8)  ≈ 1,004
9450

34
 § 2.2 Вычисление интегралов с помощью дзета-функции

Дзета-функция Римана возникает в решении физических

задач при вычислении интегралов вида

x n dx
0 e x  1.
Такие интегралы появляются в статистической физике при
описании квантовых частиц: интеграл со знаком «минус» имеет
отношение к бозонам (частицам с целым спином), со знаком
«плюс» – к фермионам (частицам с полуцелым спином). В связи
с этим за интегралами закрепились названия бозе-интеграл и
ферми-интеграл.
Вычисление бозе-интеграла. Посмотрим, как можно
свести бозе-интеграл к дзета-функции. Нам понадобится
известное соотношение:

1
1 z
 1  z  z  ... 
2

k 0

zk ,

справедливое для всех |z| < 1. С его помощью можно выполнить

такое преобразование:

1 1
e 1
x
 e x

1 e x
 e x
(1  e x
 e 2 x
 ...) 
k 1

e kx .

Тогда бозе-интеграл примет вид

    
x n dx 1
0 e x  1 0 
   n 1 
 kx
x n
e dx e  y y n dy,
k 1 k 1 k 0

где последнее выражение получается путём замены y = kx.

Нетрудно увидеть, что сумма перед интегралом представляет
собой дзета-функцию Римана, а сам интеграл есть гамма-
функция. В результате окончательная формула такова:

x n dx
0 e x  1  (n  1)ζ (n  1), n  0.

35
 Вычисление ферми-интеграла. Чтобы найти значение
ферми-интеграла, введём знакопеременную дзета-функцию:
~ 
(1) n1 1 1 1 1 1
ζ ( s)   s
 s  s  s  s  s  ....
n 1 n 1 2 3 4 5
Легко показать, что она связана с обычной дзета-функцией
уравнением:
~
ζ (s)  ζ (s)(1  21s ).
Сделаем преобразование в подынтегральном выражении:
1 ex 

e  1 1  (e )
x x
 e x
(1  e x
 e 2 x
 ...)  
k 1
(1) k 1 e kx .

В результате получаем:
  
x n dx  
(1) k 1  y n
0 e x  1 0 
    k n1 0
n k 1  kx
x ( 1) e dx e y dy.
k 1 k 1

Таким образом, ферми-интеграл равен:


x n dx
0 e x  1  (n  1)ζ (n  1)(1  2 ), n  0.
n

Можно получить формулы и для более общего случая:


x n dx 1
0 e ax  1  a n1 (n  1)ζ (n  1),

x n dx 1  2  n
0 e ax  1  a n1 (n  1)ζ (n  1).
§ 2.3 Свойства фотонного газа

С точки зрения квантовой теории равновесное тепловое

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

36
распределения по скоростям, а их распределение по энергиям не
описывается классическим распределением Максвелла –
Больцмана.
Постановка задачи. Равновесное тепловое излучение
замкнуто внутри полости объёма V в абсолютно чёрном теле
температуры T. Требуется отыскать внутреннюю энергию и
число частиц фотонного газа, а также получить уравнение
состояния, связывающее его термодинамические параметры.
Внутренняя энергия фотонного газа. Спектральная
плотность энергии излучения абсолютно чёрного тела
вычисляется по формуле Планка:
8πh v3
uv  hv
,
c3
e kT
1
где h – постоянная Планка, v – частота излучения, c – скорость
света в вакууме, k – постоянная Больцмана.
Объёмная плотность энергии излучения в интервале частот
от v до v + dv равна:
8πh v 3 dv
du  u v dv  3 hv .
c
e 1
kT

Чтобы найти объёмную плотность энергии излучения со

всеми возможными частотами, необходимо вычислить интеграл

8πh v 3 dv
u   du  3  hv .
c 0 kT
e 1
Произведём замену переменной x = hv/kT:

8πk 4T 4 x 3 dx
u 3 3
hc 0 e x  1.
Интеграл в правой части есть бозе-интеграл:

x 3 dx
0 e x  1  (4)ζ (4)  6ζ (4).
37
 Тогда объёмная плотность энергии равна
48ζ (4)πk 4 4
u T . (2.3.1)
h3c 3
На практике часто используют величину энергетической
светимости, которая представляет собой энергию, излучаемую
наружу во всех направлениях с единицы площади поверхности в
единицу времени. Энергетическая светимость связана с
объёмной плотностью энергии формулой:
cu
R .
4
Используя (2.3.1) и учитывая, что ζ(4) = π4/90, имеем:
2π 5 k 4 4
R T .
15h 3 c 2
Подстановка численных значений констант даёт нам
R  σT 4 ,
где σ = 5,67 ∙ 10-8 Вт/(м2∙К4). Таким образом, мы теоретическим
путём пришли к закону Стефана – Больцмана.
Внутренняя энергия фотонного газа объёмом V равна:
4σ
U  uV  VT 4  aVT 4 ,
c
где a = 4σ/c = 7,57 ∙ 10 Дж/(м3∙К4). Эту константу иногда
-16

вводят для краткости и называют постоянной излучения.

Число фотонов. Энергия фотонного газа складывается из
энергии отдельных фотонов, поэтому для объёмной плотности
энергии в интервале частот от v до v + dv можно записать:
du  hv  dn,
где hv – энергия одного фотона, dn – их концентрация в
интервале частот от v до v + dv. Таким образом:
8π v 2 dv
dn  3 hv .
c kT
e 1

38
 Чтобы найти концентрацию фотонов со всеми
возможными частотами, интегрируем в интервале от 0 до ∞:

8π v 2 dv
n   dn   3 hv
.
c
0
e kT  1
Снова сделаем замену x = hv/kT и вычислим бозе-интеграл:

k 3T 3 x 2 dx k 3T 3
h 3 c 3 0 e x  1
n  8π  8π (3)ζ (3).
h3c 3
Так как Γ(3) = 2, концентрация равна:
16πζ (3)k 3 3
n T . (2.3.2)
h 3c 3
Подстановка значений констант даёт формулу для расчёта
числа фотонов в полости объёма V:
N  rVT 3 ,
где r ≈ 2,03 ∙ 107 м-3∙К-3. Таким образом, если в классическом
идеальном газе число молекул есть фиксированная величина, то
число частиц фотонного газа зависит от температуры.
Уравнение состояния фотонного газа. Свяжем теперь
объём и температуру фотонного газа с давлением, которое он
оказывает на стенки полости. Из электродинамики известно, что
давление излучения связано с объёмной плотностью его энергии
соотношением:
u
p . (2.3.3)
3
С другой стороны, если разделить выражение (2.3.1) на
выражение (2.3.2), получится формула:
u 3ζ (4)
 kT .
n ζ (3)
Объединяя это выражение с (2.3.3), получим уравнение
состояния фотонного газа:
ζ (4)
pV  NkT .
ζ (3)
39
 Подставляя числовые значения дзета-функций ζ(3) ≈ 1,202
и ζ(4) ≈ 1,082, можно записать приближённо:
pV  0,9 NkT .
Это удивительный факт: уравнение состояния фотонного газа
практически совпало с уравнением Менделеева – Клапейрона для
классического идеального газа.

§ 2.4 Температура бозе-конденсации

Если охлаждать бозонный газ до температур, близких к

абсолютному нулю, большое число частиц перейдёт в состояние
с наименьшей энергией. В результате образуется новая фаза
вещества, в которой квантовые свойства проявляются на
макроскопическом уровне. Процесс перехода в новую фазу
называется конденсацией Бозе – Эйнштейна, а сама эта фаза –
конденсатом Бозе – Эйнштейна.
Постановка задачи. Идеальный бозе-газ состоит из
частиц массы m, обладающих спином s. Концентрация частиц
газа равна n. Требуется отыскать температуру бозе-конденсации.
Решение. Согласно статистике Бозе – Эйнштейна число
бозонов с энергией в интервале от ε до ε + dε равно
(2s  1)m 3 2V ε dε
dN  εμ
,
2π  2 3
e kT
1
где μ – химический потенциал, T – температура, V – объём газа.
Тогда полное число частиц есть интеграл

(2s  1)m 3 2V ε dε
N   dN   εμ
.
2π 2  3 0
e kT
1
Определим температуру T0, при которой химический
потенциал обращается в нуль. Она определяется условием

(2s  1)m 3 2V ε dε
N
2π 2 3  ε
.
1
0 kT0
e
40
 Сделаем в интеграле замену x = ε/kT:

(2s  1)(mkT0 ) 3 2 V x1 2 dx
N
2π 2  3
0 e x  1.
Мы получили бозе-интеграл, который равен

x1 2 dx 3 3 π  3
0 e x  1   2 ζ  2   2 ζ  2 .
Тогда условие, при котором μ = 0, примет вид
32
(2s  1)V  mkT0   3 
N   ζ  ,
3  2π   2 
откуда температура равна
23
2π 2  n 
T0    .
mk  (2s  1)ζ 3 2 
Для расчётов удобнее записать эту формулу с учётом
подстановки значения дзета-функции ζ(3/2) ≈ 2,6124:
23
2  n 
T0  3,31   .
mk  2s  1 
Это и есть температура бозе-конденсации. Если газ
находится при температуре T < T0 , то число частиц с энергией,
отличной от нуля, можно найти по формуле
32
(2s  1)V  mkT   3  T 
32

N ε 0    ζ    N   .
3  2π    2  T0 
Остальные частицы перешли в низшее энергетическое
состояние и имеют нулевую энергию. Их число равно:
  T 3 2 
N 0  N 1    .
  T0  
Видно, что при абсолютном нуле температур все частицы
окажутся в состоянии с нулевой энергией.

41
 ГЛАВА 3
ЭЛЛИПТИЧЕСКИЕ ФУНКЦИИ

§ 3.1 Эллиптические интегралы

Происхождение. Введение в рассмотрение эллиптических

интегралов исторически связано с проблемой отыскания
длины дуги эллипса, которую впервые рассмотрел итальянский
математик Джулио Карло де Тоски ди Фаньяно (1682–1766).
Пионерами в этой области исследований были также Леонард
Эйлер и братья Бернулли.
Мы не будем вдаваться в общую теорию эллиптических
интегралов, а ограничимся лишь рассмотрением эллиптических
интегралов первого и второго рода.
Определения. Эллиптическим интегралом первого рода
называется функция
 sin 
dθ dx
F ( , k )     1  x 1  k x .
1  k sin θ
0
2
0
2 2 2 2

Величина φ называется амплитудой, k – модулем эллиптического

интеграла. В приложениях обычно имеет место случай 0 ≤ k < 1.
Эллиптический интеграл второго рода есть функция
 sin 
1  k 2 x2
E ( , k )   1  k sin θ dθ 
2 2
 dx.
0 0 1 x2
Если амплитуда эллиптических интегралов φ = π/2, их
принято называть полными. Полный эллиптический интеграл
первого рода:
π 2
π  dθ
K (k )  F  , k  
2 

0 1  k 2 sin 2 θ
.

42
 Полный эллиптический интеграл второго рода:
π 2
π 
E (k )  E  , k  
2 

0
1  k 2 sin 2 θ dθ.

Функциональные соотношения. Приведём некоторые

соотношения, справедливые для эллиптических интегралов:
F ( , k )  F ( , k ),
E( , k )  E( , k ),
F (πn   , k )  2nK(k )  F ( , k ),
E(πn   , k )  2nE(k )  E( , k ),
dK (k ) E (k ) K (k )
 
k 1  k 2
,
dk k
dE(k ) E (k )  K (k )
 .
dk k
Степенные разложения. Полные эллиптические
интегралы раскладываются в степенные ряды. Полный
эллиптический интеграл первого рода представим в виде
2
π   (2n  1)!! n 
K (k )    k  ,
2 n 0  (2n)!! 
где (2n)!! – двойной факториал. Это разложение означает, что
π   1  2  1 3  4  1 3  5  6 
2 2 2

K (k )  1    k    k   k  ....
2   2   24  246 
Полный эллиптический интеграл второго рода есть ряд
2
π   (2n  1)!! k 2 n
E (k )     ,
2 n 0  (2n)!!  1  2n
что эквивалентно
π   1  2  1 3  k 4  1 3  5  k 6 
2 2 2

E (k )  1    k       ....
2   2   24 3  246 5 

43
 Частные случаи. Приведём таблицу со значениями
эллиптических интегралов при некоторых модулях:

γ k = sin γ K(k) E(k)

0° 0,0000 1,5708 1,5708
5° 0,0872 1,5738 1,5678
10° 0,1736 1,5828 1,5589
15° 0,2588 1,5981 1,5442
20° 0,3420 1,6200 1,5238
25° 0,4226 1,6490 1,4981
30° 0,5000 1,6858 1,4675
35° 0,5736 1,7312 1,4323
40° 0,6428 1,7868 1,3931
45° 0,7071 1,8541 1,3506
50° 0,7660 1,9356 1,3055
55° 0,8192 2,0347 1,2587
60° 0,8660 2,1565 1,2111
65° 0,9063 2,3088 1,1638
70° 0,9397 2,5046 1,1184
75° 0,9659 2,7681 1,0764
80° 0,9848 3,1534 1,0401
85° 0,9962 3,8317 1,0127
90° 1,0000 ∞ 1,0000

Преобразование мнимого модуля. В некоторых задачах

могут возникнуть интегралы
 
dθ

0 1  k sin θ
2 2
 F ( , ki ),
0
 1  k 2 sin 2 θ dθ  E ( , ki ),

модуль которых есть мнимое число. Это весьма неудобно для

расчётов, в связи с чем полезны формулы, преобразующие
эллиптические интегралы с мнимым модулем в интегралы с
модулем действительным:
F ( , ki )  1  k12 F ( β , k1 ),

44
 
1 k 2 sin β cos β 
E ( , ki )   E ( β , k1 )  1 ,
1  k12  1  k12 sin 2 β 
где новый модуль k1 и новая амплитуда β определяются
соотношениями:
 1 k 2 
k1 
k
, β  arcsin sin  .
1 k 2  1  k 2 sin 2  
 

§ 3.2 Эллиптические функции Якоби

Немецким математиком Карлом Густавом Якобом Якоби

(1804–1851) были рассмотрены функции, возникающие при
обращении эллиптического интеграла первого рода.
Определения. Функции, определённые как обратные к
эллиптическому интегралу первого рода, называются
эллиптическими функциями Якоби. Пусть

dθ
u  F ( , k )   .
1  k 2 sin 2 θ
0

Если рассматривать верхний предел интеграла φ как

функцию от u, то эллиптический синус определяется выражением
sn u  sn (u, k )  sin  ,
эллиптический косинус
cn u  cn (u, k )  cos ,
дельта амплитуды
dn u  dn (u, k )  1  k 2 sin 2  .
Кроме этих трёх главных функций, вводятся обратные им
функции, обозначения которых получаются путём изменения
порядка букв:
1 1 1
ns u  , nc u  , nd u  ,
sn u cn u dn u

45
а также отношения главных функций, обозначаемые комбинацией
первых букв числителя и знаменателя, например:
sn u sn u cn u
sc u  , sd u  , cd u 
cn u dn u dn u
и т.д. Всего, таким образом, существует 12 эллиптических
функций Якоби.
Тождества и свойства. Основные тождества, которым
удовлетворяют эллиптические функции:
sn 2 u  cn 2 u  1,
dn 2 u  k 2 sn 2 u  1.
Области значений функций задаются неравенствами:
 1  sn u  1,  1  cn u  1, 1  k 2  dn u  1.
Синус Якоби является нечётной функцией:
sn (u)  sn u,
а косинус и дельта амплитуды – чётными:
cn (u)  cn u, dn (u)  dn u.
Если аргумент эллиптических функций есть полный
эллиптический интеграл, имеют место равенства:
π π
sn K  sin  1, cn K  cos  0, dn K  1  k 2 .
2 2
Разложения. Эллиптические функции Якоби могут быть
разложены в ряды по степеням u:
1  k 2 3 1  14k 2  k 4 5
sn u  u  u  u 
3! 5!
1  135k 2  135k 4  k 6 7
 u  ...,
7!
1 1  4k 2 4 1  44k 2  16k 4 6
cn u  1  u 2  u  u  ...,
2! 4! 6!
k 2 2 k 2 4  k 2  4 k 2 16  44k 2  k 4  6
dn u  1  u  u  u  ....
2! 4! 6!

46
 
Все эти ряды сходятся при |u| < K 1  k 2 .
Вырождение эллиптических функций. Легко заметить,
что при k = 0 эллиптические синус и косинус переходят в
обычные тригонометрические синус и косинус:
sn (u, 0)  sin u,
cn (u, 0)  cos u,
а дельта амплитуды становится равной единице: dn (u, 0) = 1.
При k = 1 эллиптические функции Якоби вырождаются в
гиперболические функции:
sn (u, 1)  th u,
1
cn (u, 1)  dn (u, 1)  .
ch u
Таким образом, тригонометрические и гиперболические
функции являются частными случаями эллиптических функций.
Дифференцирование функций Якоби. Производные
эллиптических функций выражаются равенствами:
d d
sn u  cn u dn u, cn u  sn u dn u,
du du
d
dn u  k 2 sn u cn u.
du
Преобразование мнимого модуля. Формулы для перехода
от мнимого модуля к действительному выглядят так:
1  k 
sn (u, ki)  sd  u k 2  1, ,
k 2 1  k 2 1 
 k 
cn(u, ki)  cd u k 2  1, ,

 k 1 
2

 k 
dn (u, ki)  nd u k 2  1, .
 k 2
 1 

47
 § 3.3 Спрямление эллипса

Постановка задачи. Дан эллипс с полуосями a и b;

требуется отыскать длину дуги, угловая мера которой равна φ и
отсчитывается от малой полуоси эллипса.
Решение. Параметрические уравнения эллипса имеют вид:
x  a sin  , y  b cos.
Дифференциал дуги эллипса есть
dl  (dx) 2  (dy) 2  a 2 cos2   b 2 sin 2  d.
Вводя в рассмотрение эксцентриситет e, который равен:
a2  b2
e ,
a
можно получить выражение:
dl  a 1  e 2 sin 2  d.
В результате длина дуги есть интеграл


l   dl  a  1  e 2 sin 2  d.
0

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

эллиптический интеграл второго рода:
l  aE( , e).
Периметр эллипса. Полная длина эллипса, очевидно,
выражается полным эллиптическим интегралом второго рода:
L  4aE(e).
Применяя разложение этого интеграла в ряд, получим:
  1 2 2  1 3  2 e 4  1 3  5 2 e6 
L  2πa 1    e       ....
  2   24 3  246 5 
Для практических расчётов часто применяется формула
b
L  af  ,
a
48
где вводится функция
b
f    4 E (e),
a
которая табулируется. Её значения для некоторых аргументов
приведены ниже.

b b b b
f  f 
a a a a
0,00 4,0000 0,60 5,1054
0,10 4,0640 0,70 5,3824
0,20 4,2020 0,80 5,6723
0,30 4,3859 0,90 5,9732
0,40 4,6026 0,99 6,2518
0,50 4,8442 1,00 6,2832

§ 3.4 Колебания математического маятника

Постановка задачи. Математическим маятником

называют колебательную систему, состоящую из материальной
точки на конце невесомой нерастяжимой нити и находящуюся в
однородном поле тяжести. Пусть длина нити l, ускорение силы
тяжести равно g, амплитуда колебаний (угол отклонения нити от
положения равновесия) составляет α0. Требуется определить
период незатухающих колебаний системы. Для определённости
будем полагать, что в начальный момент времени маятник
находится в положении равновесия.
Решение. В положении равновесия, когда нить маятника
вертикальна, сила тяжести уравновешивается силой натяжения
нити. При отклонении нити на угол α появляется касательная
составляющая силы тяжести, которая и является причиной
колебаний. Второй закон Ньютона, записанный для проекций
векторов ускорения и силы на направление касательной, даёт:
ma  mg sin α.

49
 Знак «минус» означает, что касательная составляющая
силы тяжести направлена против отклонения маятника.
Переходя к угловому ускорению, получим дифференциальное
уравнение колебаний:
g
α  sin α  0.
l
Гармоническое приближение. Если ограничиться
малыми колебаниями, когда амплитуда отклонения невелика,
можно приближённо заменить синус его аргументом:
g
α  α  0.
l
Принимая во внимание начальные условия (при t = 0 угол
отклонения равен нулю, а начальная скорость такова, что
амплитуда колебаний равна α0), легко показать, что полученное
дифференциальное уравнение имеет решение:
α  α0 sin ωt,
где ω – циклическая частота малых колебаний, равная
g
ω .
l
Таким образом, малые колебания математического
маятника являются гармоническими, то есть происходящими по
закону синуса. Период таких колебаний определяется известной
формулой:
l
T  2π .
g
На практике такое приближение хорошо выполняется для углов,
не превышающих 15–20°.
Общий случай. При увеличении амплитуды колебания
маятника перестают быть гармоническими, и стандартная
формула даёт заниженное значение периода. В этом случае
нужно исследовать исходное дифференциальное уравнение.

50
 Итак, колебания маятника описываются уравнением
d 2α
2
 ω 2 sin α  0.
dt
Умножим обе части уравнения на dα/dt, что позволит
переписать уравнение в виде
d  1  dα  
2

    ω cos α   0.
2

dt  2  dt  
После интегрирования имеем:
2
 dα 
   2ω cos α  C.
2

 dt 
Найдём постоянную интегрирования C из начальных
условий. Из закона сохранения энергии легко найти:
υ02  2 gl(1  cos α0 ).
Разделив это выражение на l 2, получим:
2
 dα 
   2ω 2 (1  cos α0 ).
 dt  t 0

Так как при t = 0 угол отклонения α = 0, константа C равна

C  2ω2 cos α0 ,
а дифференциальное уравнение принимает вид
2
 dα 
   2ω (cosα  cos α0 ).
2

 
dt
Тригонометрические преобразования приводят его к виду:
dα α α
 2ω sin 2 0  sin 2 .
dt 2 2
Выразим отсюда dt:
1 α
dt  d  .
α α 2
ω sin 2 0  sin 2
2 2

51
 Введём новые переменные k и θ, которые определим так:
α α α
k  sin 0 , sin  sin 0 sin θ  k sin θ.
2 2 2
Тогда
 α
d  sin   k cos θdθ ,
 2
но, с другой стороны,
 α α α α
d  sin   cos d    1  k 2 sin 2 θ d  .
 2 2 2 2
В результате имеем:
α k cos θdθ
d   .
2 1  k 2 sin 2 θ
В новых обозначениях выражение для dt перепишется так:
1 dθ
dt  .
ω 1  k 2 sin 2 θ
Чтобы найти период колебаний, необходимо выполнить
интегрирование. Исследуем, какими должны быть пределы
интегрирования. Изменение угла отклонения от α = 0 до α = α0
соответствует четверти периода. Угол θ при этом изменяется от
0 до π/2. Таким образом, период колебаний есть интеграл:
π 2
4 dθ
T
ω 
1  k 2 sin 2 θ
0
.

Как видим, период колебаний маятника выражается через

эллиптический интеграл первого рода K(k). Возвращаясь к
исходным переменным, запишем окончательную формулу
периода колебаний:
l  α 
T 4 K  sin 0 .
g  2

52
 Для практических расчётов удобно воспользоваться
разложением эллиптического интеграла в степенной ряд:
l  1 2 α0 9 α 225 α 
T  2π 1  sin  sin 4 0  sin 6 0  ....
g 4 2 64 2 2304 2 
Как показывают расчёты, для обеспечения точности
вычисления в 1% при амплитудах колебаний меньше 20° можно
ограничиться лишь первым членом ряда, а при амплитудах
меньше 60° – первыми двумя.
Путём обращения эллиптического интеграла
θ
dθ
ωt  
0 1  k 2 sin 2 θ
легко показать, что угол отклонения маятника от положения
равновесия будет меняться по закону
α α  α 
sin  sin 0 sn  ωt, sin 0 .
2 2  2
Нетрудно увидеть, что при малых амплитудах это равенство
даёт гармоническое приближение α = α0 sin ωt.

§ 3.5 Магнитное поле внутри кольца с током

Постановка задачи. По проводящему кольцу радиуса R

течёт ток I. Требуется определить напряжённость магнитного
поля, создаваемого этим током, в точке, которая лежит в
плоскости кольца на расстоянии r от его центра (r < R).
Решение. По закону Био – Савара – Лапласа напряжённость
магнитного поля, создаваемого элементом проводника длины dl
в точке P (см. рисунок) на расстоянии a от него, равна
dl sin α
dH  I ,
4πa 2
где α – угол между радиус-вектором, проведённым из элемента

проводника к исследуемой точке, и вектором dl .

53
 Из рисунка видно, что величина dl sinα представляет собой
длину перпендикуляра MN. Из другого треугольника этот
перпендикуляр равен adθ, где θ – угол, составляемый отрезком
PN с горизонталью.

R dl
a α
dθ N
r θ
O P
I

Значит, dl sinα = adθ, и можно записать:

adθ Idθ
dH  I  .
4πa 2
4πa
Полная напряжённость поля в точке P, очевидно, равна
интегралу:
2π
I dθ
H   dH   .
4π 0
a
Согласно теореме косинусов справедливо равенство
R 2  r 2  a 2  2ra cos(π  θ )  r 2  a 2  2ra cosθ,
откуда, решая квадратное уравнение относительно a, получим:
a  R 2  r 2 sin 2 θ  r cosθ.

54
 Таким образом, нам остаётся только вычислить интеграл:
2π
I dθ
H
4π 
0 R  r sin 2 θ  r cos θ
2 2
.

Умножив числитель и знаменатель на сопряжённое

знаменателю выражение, получим:

 
2π
I
H
4π R  r
2 2
 0
R 2  r 2 sin 2 θ  r cos θ dθ.

Второе слагаемое в подынтегральном выражении можно

отбросить, так как
2π

 cosθdθ  0.
0

Поскольку график оставшейся под интегралом функции

является симметричным, справедливо равенство:
2π π 2

 R  r sin θ dθ  4  R 2  r 2 sin 2 θ dθ.

2 2 2

0 0

В результате напряжённость равна:

π 2
IR r2
2 
H  sin 2 θ dθ.
π R  r  0
2
1 2
R
Мы получили полный эллиптический интеграл второго
рода. Окончательная формула для напряжённости магнитного
поля имеет вид:
I R r
H (r )  E  .
π R r R
2 2

Для случая, когда исследуемая точка располагается в

центре круга (r = 0), в силу того, что E(0) = π/2, полученное
выражение превращается в известную формулу:
I
H (0)  .
2R

55
 § 3.6 Падение конца подвешенной цепи

Постановка задачи. Однородная цепь длины L

прикреплена одним из концов к потолку. Второй конец цепи
удерживают в точке крепления первого конца, а затем
отпускают. Требуется найти время, за которое освободившийся
конец пройдёт расстояние y (y ⩽ L). Падение происходит без
трения в однородном поле тяжести g.
Решение. Состояние системы в некоторый момент времени
показано на рисунке (для наглядности концы цепи изображены
не на одной вертикали, а на некотором расстоянии друг от друга).

L y

2 2 L y

2 2

Когда правый конец находится на расстоянии y от потолка,

левая и правая части цепи имеют длины, равные
L y L y
L1   , L2  
2 2 2 2
соответственно. Так как цепь однородная, центры масс обеих
частей лежат посередине, то есть на расстояниях
L y L  y L  3y
y1  , y2  y  
4 4 4
от потолка. Пусть линейная плотность цепи равна λ. Тогда цепь
обладает в поле тяжести потенциальной энергией, которая равна
U   λL1 gy 1  λL2 gy2 ,

56
если принять потолок за нулевой уровень потенциальной
энергии. После небольших преобразований формула для
потенциальной энергии цепи примет вид:

U 
λg 2

L  2 Ly  y 2 . 
4
Кинетической энергией обладает лишь правая часть цепи:
1 L  y 2 λ( L  y )  dy 
2

T λ υ    .
2 2 4  dt 
Тогда полная энергии цепи в момент времени, когда
свободный конец находится на расстоянии y от потолка, равна:
λ( L  y )  dy 
2

E ( y)    
λg 2
L  2Ly  y 2 .
4  dt  4
В начальный момент времени, когда y = 0, цепь покоится, а
её полная энергия составляет
λ gL2
E (0)   .
4
Приравнивая начальную и конечную энергию, получим:
dy g 2 Ly  y 2 
 .
dt L y
Время движения свободного конца от 0 до y равно
L y
y
1
t   dt   dy.
g 0
2 Ly  y 2
Чтобы взять этот интеграл, введём новую переменную φ:
y
sin   .
L
После преобразований интеграл примет вид:

L cos2 
g 0 2  sin 2 
t2 d.

57
 Представим числитель подынтегрального выражения в виде:
cos2   1  sin 2   (2  sin 2  )  1.
Это позволит нам разбить интеграл на два:
L  
 

0 2  sin 2  .
1
g  0
t2 2  sin 2
 d  d
 
Легко превратить эти интегралы в эллиптические:
 
   
2L 
d .
1 2 1
t  2 1  sin  d  
g 2 1
 0 0
1  sin 2  
 2 
Возвращаясь к исходным переменным, можно записать
окончательную формулу для времени падения на расстояние y:
2 L   y 2   
 arcsin y , 2 .
t 2 E  arcsin ,  F
g   L 2  
 L 2 
Полное время падения. Разумеется, наиболее интересно
рассмотреть случай y = L, то есть найти время, за которое цепь
полностью распрямится. В этом случае амплитуда φ = π/2 и мы
имеем дело с полными эллиптическими интегралами:
2 L   2   2 
 
T 2 E   K  2 .
g   2   
Однако можно получить ответ в виде более компактного
аналитического выражения. Вернёмся к исходному интегралу
π 2
L cos2 
T 2
g 
0 2  sin 2
d

и сделаем в нём замену u = cos φ. В результате получим:

1
L u 2 du
g 0 1  u 4
T 2 .

58
 Замена t = u4 позволяет свести этот интеграл к бета-функции:
1 L 3 1
1
L 1  14
  t 1  t  2 dt 
1

T 2  , .
g 40 2 g 4 2
Переходя к гамма-функции и выполняя несложные
преобразования с помощью формулы дополнения, получаем:
 3  2L
T  2   .
 4  πg
Для наглядности запишем ответ в числовой форме,
используя значение Г(3/4) ≈ 1,225:
L
T  1,2 .
g
Как видим, распрямление цепи происходит быстрее, чем
свободное падение с высоты L. Это связано с тем, что падающий
конец цепи движется не только под действием силы тяжести, но
и силы натяжения.

§ 3.7 Форма равновесия вращающейся нити

Постановка задачи. Однородная нерастяжимая нить

длиной s равномерно вращается вокруг горизонтальной оси.
Точки закрепления нити лежат на оси вращения на расстоянии L
друг от друга. Пренебрегая силой тяжести, требуется отыскать
форму равновесия нити y(x).
y

ds T  dT

T
an

0 L
x

59
 Решение. Пусть нить вращается вокруг оси x, а концы нити
имеют координаты x = 0 и x = L. Выделим малый элемент нити
длиной ds. Обозначим натяжения на его концах как T и T + dT.
Запишем второй закон Ньютона в проекции на оси координат:
 Tx  Tx  dTx  0,
Ty  dTy  Ty   λds an ,
где λ – линейная плотность нити, an – нормальное ускорение
элемента нити, которое можно представить в виде
an  ω 2 y.
Из первого уравнения следует, что горизонтальная
составляющая силы натяжения нити всюду одинакова и равна
Tx = T0. Второе уравнение даёт формулу:
dTy   λω2 yds.
Для угла α между элементом нити ds и горизонталью
справедливо выражение:
dy Ty λ ω2 y
tgα    ds.
dx Tx T0
Дифференцируя по x, получим уравнение:
d2y λ ω2 y ds
 .
dx 2 T0 dx
Так как (ds)2 = (dx)2 + (dy)2, справедливо соотношение:
ds d 2 s dy d 2 y
 .
dx dx 2 dx dx 2
Поделив его на предыдущее уравнение, будем иметь:
d 2 s λ ω2 y dy
  0.
dx 2 T0 dx
После интегрирования получим:
ds λ ω2 y 2
  C.
dx 2T0

60
 Константу интегрирования C можно найти так: пусть в
точке, наиболее удалённой от оси вращения, координата y = H.
В этой точке нить горизонтальна, так что ds/dx = 1. В результате
λ ω2 H 2
C  1 ,
2T0
а уравнение примет вид
ds
 1
λ ω2
H 2  y 2 .
dx 2T0
Используя очевидное равенство
2
dy  ds 
    1,
dx  dx 
получим:
2
 λ ω2
dy
 1  H 2  y 2   1.
dx  2T0 
После преобразований можно записать:
dy
dx  .
 
λω
  λω
 
2 2
H 2  y 2 1  H 2  y2 
T0  4T0 
Положим теперь y = H sin φ. В таком случае
Hd
dx  
 
λω H λω H
 
2 2 2 2

1  1  sin 2  
T0  4T0 
Hd
 
λ ω2 H 2
2
λ ω2
H 2
 4T0  
λ 2ω4 H 4
2
sin 2 
4T0 4T0
d
 ,
A 1  k 2 sin 2 

61
где введены обозначения
λ ω2 H 2 λ ω2 H
k2  , A  .
λ ω2 H 2  4T0 2kT0
Таким образом, форма нити определяется эллиптическим
интегралом первого рода:

1 d F ( , k )
x   .
A 0 1  k 2 sin 2  A
Точке нити, которая наиболее удалена от оси вращения,
соответствуют координата x = L/2 и угол φ = π/2, поэтому можно
записать:
2 K (k )
A .
L
В таком случае
2 K (k ) x
F ( , k )  .
L
Обращая эллиптический интеграл, получим:
2 K (k ) x
sin   sn .
L
Вспоминая, что y = H sin φ, запишем окончательный ответ:
2 K (k ) x
y  H sn .
L
Определение параметров k и H. Нам, однако, по условию
неизвестны значения модуля k и расстояния H. Обсудим, как
следует их вычислить. Возвращаясь к выражению для ds/dx, мы
можем представить его в виде:
ds 2
 (1  k 2 sin 2  )  1.
dx 1  k 2

С другой стороны,
Ld
dx  .
2 K (k ) 1  k 2 sin 2 

62
 Следовательно:
L Ld
ds  1  k 2 sin 2  d 
1  k K (k )
2
2 K (k ) 1  k 2 sin 2 
.

Если проинтегрировать это выражение в интервале от 0 до

π/2, мы получим половину длины нити:
s L L
 E (k )  .

2 1  k K (k )
2
 2
Отсюда имеем уравнение:
s 2 E (k )
1 
 
. (3.7.1)
L 1  k 2 K (k )
Это уравнение трансцендентно относительно k и не
допускает аналитического решения. При заданных s и L можно
найти k подбором при помощи таблиц.
Как было показано ранее, для величины K(k) справедливо
равенство
L λ ω2 HL
K (k )  A  .
2 4kT0
Подставляя его в уравнение (3.7.1), получим:
s 8E (k )T0 k 8E (k )T0 k 2 2 HE (k )
1    .
L λω HL 1  k
2 2
λω HLk 1  k
2 2
Lk
Таким образом, значение H находится по формуле
k ( s  L)
H . (3.7.2)
2 E (k )
Пример численного расчёта. Пусть длина нити s = 3 м, а
расстояние между её концами L = 2,27 м. Тогда из (3.7.1) имеем:
E (k )
1  k 2 K (k )  1,16.
Обращаясь к таблице значений эллиптических интегралов,
находим приближённо: k ≈ 0,5; K(k) ≈ 1,6858; E(k) ≈ 1,4675. По
формуле (3.7.2) получаем H ≈ 0,9 м. В результате форма нити
определяется уравнением y = 0,9 sn 1,485 x.
63
 § 3.8 Соскальзывание с вершины полусферы

Постановка задачи. Небольшое тело покоится на вершине

гладкой неподвижной полусферы радиуса R. Телу сообщают
горизонтальную скорость υ0, благодаря чему оно начинает
скользить по поверхности полусферы. Требуется найти время τ,
через которое тело оторвётся от поверхности, а также записать
уравнения движения тела υ(t) и α(t) при t ⩽ τ.
Определение времени отрыва. В отсутствие трения
справедлив закон сохранения механической энергии:
mυ02 mυ 2
 mgR   mgRcos α,
2 2
где υ – скорость тела, когда угол между вертикалью и радиус-
вектором тела равен α. Тогда при скольжении тела скорость
будет меняться по закону:
α
υ  υ02  2 gR(1  cos α)  υ02  4 gR sin 2
. (3.8.1)
2
С другой стороны, в момент отрыва на тело действует лишь
сила тяжести. Её радиальная составляющая сообщает телу
центростремительное ускорение:
υ2
 g cos α.
R
Следовательно, отрыв произойдёт при достижении угла
 2 υ02 
α0  arccos   .
 3 3 gR 
Так как аргумент арккосинуса не может превышать
единицу, начальная скорость тела должна удовлетворять
условию
υ0  gR.
В противном случае тело оторвётся от полусферы сразу же
после сообщения ему начальной скорости.

64
 Тогда время движения тела от вершины до произвольного
угла α ⩽ α0 будет равно:
α
ds Rdα
t   dt  
υ 0
 .
α
υ02  4 gR sin 2
2
Нетрудно привести этот интеграл к виду:
α 2
2R d
t
υ0 
0 1  4n 2 sin 2 
,

где φ = α/2 и для краткости введена безразмерная величина

gR
n 2  2  1.
υ0
Мы получили эллиптический интеграл первого рода:
2R  α 
t F  , 2ni . (3.8.2)
υ0  2 
Тогда время отрыва тела от полусферы равно:
2 R  1  2 υ02  
τ  t (α 0 )  F  arccos   , 2ni .
υ0  2 
 3 3gR  
Мнимый модуль интеграла неудобен для расчётов, так что
используем формулу для перехода к действительному модулю.
Выполняя данное преобразование и возвращаясь к исходным
переменным, получим окончательную формулу:
2R  ( gR  υ02 )(υ02  4 gR) 4 gR 
τ F  arcsin , 2 .
υ02  4 gR  2 gR(υ0  2 gR) υ0  4 gR 
2

Составление уравнений движения. Для определения

уравнения зависимости α(t) вернёмся к формуле (3.8.2) и обратим
имеющийся там эллиптический интеграл:
α υ t 
cos  cn 0 , 2ni .
2  2R 

65
 Применяя формулу преобразования эллиптического
косинуса с мнимым модулем, получим:
α  υ 2  4 gR 4 gR 
cos  cd 0 2 t , 2 .
2  4 R υ  4 gR 
 0 
Найдём теперь закон изменения скорости υ(t). Используя
основные тождества, справедливые для эллиптических функций,
предыдущую формулу можно привести к виду:
α υ0  υ 2  4 gR 4 gR 
sin  sd  0 2 t , 2 .
2 υ02  4 gR  4R υ0  4 gR 
Подставим это выражение в формулу (3.8.1):
 4 gR  υ 2  4 gR 4 gR 
2
2

υ  υ0 1  2
2
sd 0
t, 2 .
 υ0  4 gR  υ  

2
 4 R 0 4 gR
Если применить вспомогательную эллиптическую функцию
1
nd 2 u  2  1  k 2 sd 2 u,
dn u
то выражение в скобках можно упростить. В результате
получится довольно компактная формула:
 υ 2  4 gR 4 gR 
υ  υ0 nd 0 2 t , 2 .
 4 R υ  4 gR 
 0 

66
 ГЛАВА 4
ФУНКЦИИ БЕССЕЛЯ

§ 4.1 Краткие математические сведения

Происхождение. Среди множества специальных функций,

пожалуй, именно функции Бесселя нашли наиболее широкое
применение в решении самых разнообразных физических задач.
Впервые с этими функциями столкнулся в 1738 году
швейцарский физик и математик Даниил Бернулли (1700–1782),
решая задачу о колебаниях подвешенной нити. Впоследствии
функции Бесселя появлялись в работах Леонарда Эйлера
(колебания мембран), Жозефа Луи Лагранжа (движение планет
вокруг Солнца), Жана Батиста Фурье (распространение тепла в
цилиндре). Систематический анализ этих функций провёл в
1824 году выдающийся немецкий астроном Фридрих Вильгельм
Бессель (1784–1846) при исследовании точного решения
уравнения Кеплера.
Уравнение Бесселя. Некоторые задачи приводят к
обыкновенному дифференциальному уравнению второго
порядка, которое имеет вид
d 2 y 1 dy  v2 
  1   y  0,
dx 2 x dx  x 2 
и называется уравнением Бесселя. Число v (в общем случае
комплексное) называется порядком уравнения Бесселя.
Функции, удовлетворяющие этому уравнению, называются
функциями Бесселя; общее решение уравнения записывается так:
y( x)  C1 J v ( x)  C2Yv ( x),
где С1 и C2 – произвольные константы, Jv(x) – функция Бесселя
первого рода, Yv(x) – функция Бесселя второго рода.
67
 Определения. Функция Бесселя первого рода v-го порядка
определяется формулой:
2 nv

(1) n  x
J v ( x)     .
n  0 n!(v  n  1)  2 

Существуют также интегральные представления:

π π
1 1

J v ( x) 
π0
cos(x sin   v )d  
2π π
e i ( x sin  v ) d.

Графики функций Бесселя первого рода нулевого и

первого порядков приведены на рисунке:

Jv(x)

1
J0(x)
0,75

0,5 J1(x)
0,25

0 x
1 2 3 4 5 6 7 8 9 10
-0,25

-0,5

Функция Бесселя второго рода v-го порядка (называемая

иногда функцией Неймана или функцией Вебера) определяется
следующим образом:
J ( x) cos πv  J v ( x)
Yv ( x)  v .
sin πv
Эта функция обращается в бесконечность при x = 0.
Свойства. Если v – целое число, справедливо равенство:
J v ( x)  (1) v J v ( x).

68
 Существуют формулы дифференцирования:
dJ v ( x) vJ ( x) dJ v ( x) vJ ( x)
  J v 1 ( x)  v ,  J v 1 ( x)  v .
dx x dx x
Полезными могут оказаться рекуррентные соотношения:
2v
J v 1 ( x)  J v 1 ( x)  J v ( x),
x
dJ ( x)
J v 1 ( x)  J v 1 ( x)  2 v .
dx
Все перечисленные свойства остаются справедливыми,
если заменить в них Jv(x) функцией Yv(x).
Частные случаи. В физических задачах чаще всего
встречаются функции Бесселя нулевого, первого и полуцелого
порядков. Функции J0(x) и J1(x) представимы следующими
рядами:
2 4 6
1  x 1  x 1  x
J 0 ( x)  1  2    2    2    ... ,
1!  2  2!  2  3!  2 
x 
2 4 6
1  x 1  x 1  x
J 1 ( x)  1           ... .
2  1! 2!  2  2! 3!  2  3! 4!  2  
Функции Бесселя любых целых порядков можно выразить через
J0(x) и J1(x) с помощью рекуррентных соотношений.
Если порядок равен v = ±1/2, функции Бесселя выражаются
через элементарные функции:
2 2
J 1 ( x) 
sin x, J  1 ( x)  cos x.
2 πx 2 πx
С помощью рекуррентных соотношений можно показать,
что для целого положительного n справедливы формулы:
n 1
(1) n (2 x) 2
d n  sin x 
J n  1 ( x)   ,
2 π (dx 2 ) n  x 
n 1
(1) n (2 x) 2
d n  cos x 
J  n  1 ( x)   .
2 π (dx 2 ) n  x 

69
 Асимптотические представления. Для приближённого
вычисления функций Бесселя от малых и больших аргументов
используются формулы:
 1  x v
   при 0  x  v
 (v  1)  2 
J v ( x)  
 2 cos x  πv  π  при x  v,

 πx  2 4
   (v )  x   v
   при 0  x  v
 π 2
Yv ( x)  
 2 sin  x  πv  π  при x  v.

 πx  2 4
Корни функций Бесселя. Если v > –1, уравнение Jv(x) = 0
имеет бесчисленное множество вещественных корней. В
литературе можно найти таблицы корней бесселевых функций.
Приведём первые пять корней функций J0(x), J1(x) и J2(x),
вычисленные с точностью до четырёх знаков после запятой:

n μ n( 0 ) μ n(1) μ n( 2 )
1 2,4048 3,8317 5,1356
2 5,5201 7,0156 8,4172
3 8,6537 10,1735 11,6198
4 11,7915 13,3237 14,7960
5 14,9309 16,4706 17,9598

Достаточно большие по абсолютной величине

положительные корни функции Jv(x) могут быть вычислены по
приближённой формуле:
 v 1
μ k( v )  π  k    ,
 2 4
где k – большое положительное число. Отрицательные корни
равны по абсолютной величине положительным корням.

70
 С корнями функций Бесселя связано важное свойство
ортогональности: если μi и μj – два положительных корня
уравнения Jv(x) = 0, справедлива формула
0 если i  j ,
 x  x  2
l

0 xJ v  μi l  J v  μ j l dx   l J v21 ( μi ) если i  j.

2
Ряд Фурье – Бесселя. Произвольная функция f (x) может
быть разложена в ряд Фурье – Бесселя:

 x
f ( x)   ak J v  μk  (v  1),
k 1  l
где μ1, μ2, …, μk – положительные корни уравнения Jv(x) = 0,
записанные в порядке возрастания. Коэффициенты ak в
разложении могут быть найдены по формуле:
 x
l
2
)
ak  xf ( x) J v  μk dx. (4.1.1)
2
l J 2
v 1 ( μk 0  l

§ 4.2 Малые колебания нити, подвешенной за один конец

Постановка задачи. Имеется гибкая тяжёлая однородная

нить длины l, которая закреплена верхним концом, а нижний её
конец свободен. Нить выведена из положения равновесия и
совершает малые колебания под действием силы тяжести.
Предполагается, что каждый элемент нити колеблется вдоль
горизонтальной оси. Требуется найти отклонения точек нити от
положения равновесия в любой момент времени.
Составление уравнения движения. Направим ось x из
нижнего конца нити по вертикали, проходящей через ось нити в
состоянии равновесия. Таким образом, нижний и верхний концы
нити будут иметь координаты x = 0 и x = l соответственно.
Обозначим перемещение точек нити в направлении,
перпендикулярном к оси x, через y.

71
 Рассмотрим точку с координатой x; сила натяжения здесь в
силу малости угла отклонения равна весу части нити,
расположенной ниже данной точки:
T  Tx  λgx,
где λ – линейная плотность нити.
Для горизонтальной составляющей T можно записать:
dy dy
Ty  T  λ gx .
dx dx
На единицу длины нити приходится горизонтальная сила
dTy d  dy 
 λ g  x ,
dx dx  dx 
которая по второму закону Ньютона равна
d d2y
(may )  λ 2 .
dx dt
Таким образом, получаем уравнение движения:
d  dy  1 d 2 y
x   .
dx  dx  g dt 2
Задача о колебаниях нити сводится к интегрированию этого
уравнения с граничным условием в месте закрепления нити
y(l , t )  0
и начальными условиями
dy( x, 0)
y( x, 0)  f1 ( x),  f 2 ( x),
dt
где функция f1(x) задаёт начальную форму искривления нити, а
функция f2(x) определяет начальные скорости её точек.
Решение уравнения. Если искать решение в форме
y( x, t )  w( x) sin(ωt   ),
то исходное уравнение преобразуется к виду:
d  dw  ω 2 d 2 w
x  .
dx  dx  g dt 2

72
 Выполнив замену x = gs2/4ω2, получаем уравнение Бесселя
нулевого порядка:
d 2 w 1 dw
  w  0,
ds 2 s ds
решением которого является функция
 x   x 
w( s)  CJ 0 ( s)  C1Y0 ( s)  CJ 0  2ω  C Y  2ω .
g 
1 0
  g 
Постоянная C1 должна быть равна нулю, так как при x = 0
функция Y0(0) → ∞. В результате имеем решение:
 x 
y ( x, t )  CJ 0  2ω sin(ωt   ).
 g 
Граничное условие y(l, t) = 0 даёт:
 l 
J 0  2ω  0.
 g 
Это уравнение имеет бесконечное число корней, так что
существует целый спектр колебаний. Обозначив положительные
корни функции Бесселя нулевого порядка как μ1, μ2, …, μk, можно
записать выражение для собственных частот колебаний нити:
μ g
ωk  k .
2 l
Таким образом, малые колебания подвешенной нити
представляют собой движение, складывающееся из бесконечно
большого числа гармонических колебаний:
  x 
y ( x, t )   C k J 0  μk  sin(ωk t   k ). (4.2.1)
k 1  l 
Амплитуда k-й гармоники обращается в нуль в точках,
координаты которых определяются уравнением
 x 
J 0  μ k  0,
 l 

73
откуда видно, что k-я гармоника будет иметь k узловых точек:
2 2 2
μ  μ  μ 
x1   1  l , x2   2  l , ..., xk 1   k 1  l , xk  l.
 μk   μk   μk 
Величины Ck и φk в решении определяются начальными
условиями. Положив в разложении t = 0, получим:
  x 
f1 ( x)   C k J 0  μk  sin  k ,
k 1  l 
  x 
f 2 ( x)   C k ωk J 0  μk  cos k .
k 1  l 
Введём обозначения Ak = Cksinφk и Bk = Ckcosφk:
  x    x 
f 1 ( x)   Ak J 0  μ k , f ( x )   B ω J  μ .
l 
k 0 k
l 
2 k
k 1  k 1 
Если сделать замену x = z2/l, мы получим разложения
функций f1(x) и f2(x) в ряд Фурье – Бесселя, где коэффициенты Ak
и Bk определяются по формуле (4.1.1). После несложных
преобразований найдём:
1
l
 x 
lJ 1 ( μ k ) 0
Ak  2 f ( x ) J  μ
0 k dx,
l 
1

2
l
 
 μ k x dx.
Bk  
gl μ k J 12 ( μ k ) 0
f 2 ( x ) J 0 
 l 
Тогда постоянные Ck и φk могут быть найдены по формулам:
A
Ck  Ak2  Bk2 ,  k  arctg k .
Bk
Пример с начальными условиями. Приведём решение
задачи с более конкретным условием. Пусть в начальный момент
времени нить длины l отклонена от вертикальной оси на малый
угол α, после чего её отпускают. Требуется установить закон
колебаний нити.

74
 Решением этой задачи является уравнение (4.2.1), в
котором нам требуется найти постоянные Ck и φk. Функция,
описывающая начальную форму нити, очевидно, есть
f1 ( x)  (l  x)tgα,
а f2(x) = 0, так как начальные скорости отсутствуют. В результате
Bk = 0, Ck = Ak, φk = π/2. Остаётся лишь отыскать константу Ak:
tgα
l
 
 μ k x dx.
lJ 1 ( μ k ) 0
Ak  2 (l  x ) J  l 
0

Для вычисления интеграла нам понадобится разложение
функции Бесселя нулевого порядка:
 x   (1) n  μ k   x 
2n n


J 0  μk      .
 l  n 0 (n!) 2  2   l 
Представим интеграл в виде разности двух интегралов
l
 x 
l
 x 
l
 
 μk x dx
0 (l  x ) J  μ
0 k
 l 
dx  l 
0
J 0



μ k
l 
dx  
0
xJ 0 
 l 
и вычислим каждый по отдельности, заменив в них функцию
Бесселя её разложением. Первый интеграл равен:
2n 2n
(1) n  μk   x  (1) n  μk 
l  n 
l2
l      dx     ,
0 n 0 n! 
2
2  l n 0 ( n!)  2 
2
n 1
а второй:
2n 2n

(1) n  μk  x n1 
(1) n  μk 
l
l2
0  
n 0 n!  2 
2 
ln
dx   
n 0 ( n!)  2 
2

n2
.

Тогда исходный интеграл равен:

l
 x  
( 1) n

2n
μk  2
0 (l  x) J 0  μk l dx     l .
n 0 n!( n  2)!  2 

Полученное разложение можно преобразовать к виду:

2n 2n2

(1) n  μ k  2 4l 2 
(1) n  μ k 
   l  2
n  0 n!( n  2)!  2  μk
  
n  0 n!( n  2)!  2 
.

75
 Заметим, что сумма в этом выражении представляет собой
не что иное, как функцию Бесселя первого рода второго порядка
от аргумента μk:
2 n 2
4l 2  (1) n  μk  4l 2
  
μk2 n 0 n!(n  2)!  2 

μk2
J 2 ( μk ).

Таким образом, коэффициент Ck равен

J (μ )
C k  Ak  4ltgα 2 2 2 k ,
μk J 1 ( μk )
и нить совершает колебания согласно закону:

J (μ )  x   μk g 
y ( x, t )  4ltgα  2 2 2 k J 0  μk  cos 
 2 t .
k 1 μ J
k 1 ( μ k )  l   l 
Период основного тона колебаний составляет
4π l l
T1 
 5,23 .
μ1 g g
На рисунке приведены формы нити, соответствующие
трём первым гармоникам (смещения нити показаны с большим
увеличением, чтобы нагляднее продемонстрировать формы,
принимаемые нитью).

76
 § 4.3 Точное решение уравнения Кеплера

Рассмотрим задачу, оказавшую наибольшее влияние на

развитие теории бесселевых функций, – таковой является
задача, связанная с точным аналитическим решением уравнения
Кеплера. Это уравнение имеет большое значение в небесной
механике, так как позволяет найти, в какой точке орбиты
находится планета в некоторый момент времени.
Вывод уравнения. Согласно первому закону Кеплера,
планеты движутся по орбитам, имеющим форму эллипса, в
одном из фокусов которого находится Солнце. Расстояние от
планеты до Солнца определяется по формуле
a (1  e 2 )
r ,
1  e cos θ
где a – большая полуось орбиты, e – эксцентриситет орбиты, θ –
истинная аномалия: так называют угол между радиус-вектором
планеты и направлением на перицентр.
Второй закон Кеплера гласит, что за равные промежутки
времени радиус-вектор планеты заметает одинаковые площади,
то есть секторная скорость планеты постоянна по величине:
dS
σ  const .
dt
Легко показать, что секторная скорость равна:
1 dθ
σ  r2 .
2 dt
С другой стороны, в силу неизменности секторной
скорости, её можно вычислить как отношение площади орбиты
к периоду обращения. Площадь эллипса равна
S  πab  πa 2 1  e 2 ,
а период обращения находится из закона всемирного тяготения:
a3
T  2π ,
GM
77
где G – гравитационная постоянная, M – масса Солнца.
Таким образом, получаем:
S 1
σ  GMa(1  e 2 ) .
T 2
Тогда время смещения планеты от перицентра до истинной
аномалии θ равно:
θ θ
1 1
t   dt   r 2 dθ   r 2 dθ.
2σ 0 GMa(1  e ) 0
2

Подставляем сюда r из первого закона Кеплера:

θ
a3 dθ
t  (1  e 2 ) 3 2  .
GM 0
(1  e cos θ ) 2
Этот интеграл можно взять с помощью подстановки:
θ 1 e E
tg tg , (4.3.1)
2 1 e 2
где E – угол, называемый эксцентрической аномалией. Мы не
будем здесь вдаваться в геометрический смысл этого угла;
отметим только, что от эксцентрической аномалии легко
перейти к истинной с помощью формулы:
cos E  e
cos θ  .
1  e cos E
Дифференцируя (4.3.1), находим:
1  e2
dθ  dE.
1  e cos E
Подставляем формулы для dθ и cosθ в интеграл для Δt:
E
a3 a3
GM 0
t  (1  e cos E )dE  ( E  e sin E ).
GM
Введём для краткости среднюю угловую скорость
движения планеты (астрономы называют её средним движением):
2π GM
ω  .
T a3
78
 В результате получим:
ωt  E  e sin E.
Произведение среднего движения на время называют
средней аномалией и обозначают буквой M. Физический смысл
средней аномалии очевиден: это угол, который описал бы
радиус-вектор планеты, если бы она двигалась равномерно по
окружности радиуса a.
Таким образом, мы получили уравнение Кеплера для
эллиптической орбиты:
M  E  e sin E.
Уравнение Кеплера является трансцендентным
относительно E. Только в частном случае круговой орбиты (e = 0)
оно принимает тривиальный вид M = E. В общем случае
решение уравнения Кеплера непредставимо в виде
элементарных функций, однако может быть выражено в виде
сходящихся рядов.
В 1799 году решение было найдено французским учёным
Пьером Симоном Лапласом (1749–1827), который представил E
в виде ряда по степеням эксцентриситета:

E  M   an e n .
n 1

Однако этот ряд сходится только при значениях

эксцентриситета, не превышающих emax ≈ 0,66724 (это число
называют пределом Лапласа). Как следствие, метод Лапласа
оказался неприменим к исследованию движения комет, у
которых эксцентриситет орбиты зачастую близок к единице.
Решение в виде ряда по функциям Бесселя. С помощью
бесселевых функций можно получить ряд для эксцентрической
аномалии, который сходится при любых значениях
эксцентриситета e < 1.
Из рассмотрения характера движения планеты видно, что
эксцентрическая аномалия E является периодической функцией

79
от M с периодом 2π. Следовательно, мы можем разложить sin E в
тригонометрический ряд Фурье, который имеет вид:

sin E   bk sin kM ,
k 1

где коэффициенты bk определяются формулой

π
2
π 0
bk  sin E sin kMdM .

Этот интеграл можно взять по частям:

2  1 
π π
1
bk   sin E cos kM   cos kM cos EdE .
π  k 0 0
k 

Пределы интегрирования не изменились, так как при M = 0 и
M = 2π эксцентрическая аномалия E принимает такие же значения.
Первое слагаемое в правой части выражения равно нулю.
Подставив M из уравнения Кеплера, можно записать:
π
2
πk 0
bk  cos (kE  ke sin E ) cos EdE.

Заменим произведение косинусов полусуммой косинуса

суммы и косинуса разности углов:
π

cos (k  1) E  ke sin E dE 

1
πk 0
bk 
π

cos (k  1) E  ke sin E dE.

1
πk 0


Напомним, что существует интегральное представление

функции Бесселя в виде
π
1
J v ( x)   cos(x sin   v )d.
π0
Сопоставляя эту формулу с формулой для bk, получим:

bk  J k 1 (ke)  J k 1 (ke)  J k (ke) ,

1 2
k ke

80
где последнее выражение получено с помощью рекуррентной
формулы для функций Бесселя. Тогда синус эксцентрической
аномалии равен

J k (ke) sin kM

sin E  2
k 1 ke
,

а сама она определяется формулой


J k (ke) sin kM
E M 2  k 1 k
.

Таким образом, мы получили точное решение уравнения

Кеплера в виде разложения по бесселевым функциям.

§ 4.4 Скин-эффект в цилиндрическом проводнике

Когда по проводнику течёт переменный ток, он

распределяется по сечению проводника неоднородно: плотность
тока достигает наибольшего значения у поверхности и убывает с
глубиной. Чем выше частота переменного тока, тем сильнее он
выталкивается к поверхности. Данное явление называется скин-
эффектом. Причина его состоит в возникновении вихревого
электрического поля, которое усиливает ток у поверхности и
ослабляет на оси проводника.
Постановка задачи. Рассмотрим бесконечный прямой
проводник с круглым сечением радиуса R. Удельное
сопротивление и магнитная проницаемость материала
проводника равны соответственно ρ и μ. По проводнику течёт
синусоидальный переменный ток с циклической частотой ω.
Требуется найти амплитуду плотности тока jm на расстоянии r от
оси проводника, если на его поверхности она равна j0.
Решение. Пусть j – плотность тока в точке на расстоянии x
от оси провода. Тогда сила тока в цилиндрической оболочке
радиусом x и толщиной dx будет равна:
dI  2πxjdx .

81
 Напряжённость магнитного поля, создаваемого этим током
в точке, находящейся на расстоянии r от оси (r > x), определяется
по известной формуле для бесконечного прямого проводника:
dI jxdx
dH   .
2πr r
Полная напряжённость магнитного поля, вызываемого в
исследуемой точке всеми линиями тока x < r, равна:
r
1
H   dH   jxdx.
r0
Продифференцируем это выражение по r:
r
dH 1 H
dr
 j 2
r  jxdx  j 
0
r
.

Дифференцируя по t, получим уравнение:

 2 H 1 H j
   0.
rt r t t
Так как протекающий в проводнике ток по условию
синусоидальный ( j = jmeiωt), можно записать:
j
 ijω.
t
Рассмотрим теперь плоский контур, ограниченный двумя
линиями тока длины l, находящимися на расстоянии r и r + dr от
оси проводника. Электродвижущая сила в контуре равна:
ρl
ε
d  RdI  Sdj  ρldj.
S
С другой стороны, эта ЭДС наводится магнитным полем H.
Согласно закону электромагнитной индукции:
B H
ε
d  dS  μμ0 ldr.
t t
Сравнивая выражения для ЭДС, можно записать:
H ρ dj
 .
t μμ0 dr

82
 Вернёмся к полученному ранее дифференциальному
уравнению и подставим в него выражения для частных
производных по времени. В результате получится уравнение
d 2 j 1 dj
  ik 2 j  0,
dr 2 r dr
в котором введено обозначение
μμ0 ω
k2  .
ρ
Нетрудно увидеть, что мы пришли к дифференциальному
уравнению Бесселя нулевого порядка, в котором
y  ik 2 j, x   i kr  i 3 2 kr.
Решение этого уравнения имеет вид
j (r )  AJ 0 (i 3 2 kr)  BY0 (i 3 2 kr).
Функция Y0 стремится к бесконечности при r = 0, а
бесконечная плотность тока на оси проводника физически
невозможна. Следовательно, константа интегрирования B = 0, и
плотность тока изменяется по закону
j (r )  AJ 0 (i 3 2 kr).
Функция Бесселя от комплексного аргумента тоже
комплексна. В этом легко убедиться, разложив функцию J0(i 3/2x)
в степенной ряд:
(1) n i 3n  x 
 2n

J 0 (i 3 2 x)     
n 0 (n!) 2  2 
2 4 6
i  x 1  x i  x
 1 2    2       ....
(1!)  2  (2!)  2  (3!) 2  2 
В нашей задаче мы хотим определить амплитуду
плотности тока, поэтому необходимо отделить вещественную и
мнимую части функции друг от друга. Впервые это сделал
великий британский физик Уильям Томсон, лорд Кельвин
(1824–1907). Он обозначил эти части ber x и bei x соответственно

83
(от английского Bessel real и Bessel imaginary). Получившиеся
функции называют теперь функциями Кельвина:
4 8
1  x 1  x
J 0 (i x)  ber x  i bei x  1 
32
2       ... 
(2!)  2  (4!) 2  2 
 1  x 2 1  x
6
1  x
10

i  2          ....
 (1!)  2  (3!)  2  (5!)  2 
2 2

Существует и другое представление функции Бесселя –
через модуль и аргумент:
J 0 (i 3 2 x)  ber x  i bei x  M 0 ( x)e i θ0 ( x ) ,
в котором
bei x
M 0 ( x)  ber 2 x  bei 2 x , θ 0 ( x)  arctg ,
ber x
откуда
ber x  M 0 ( x) cosθ0 ( x),
bei x  M 0 ( x) sin θ0 ( x).
Для практических расчётов будет полезным разложение:
 4n
1  x x4 x8
M ( x)  
2
0    1   ....
n  0 ( n!) ( 2n)!  2 
2
32 24576
Чтобы определить амплитуду плотности тока, представим
полученное ранее решение в виде:
j (r )  AM 0 (kr)e i θ0 ( kr) .
Амплитуда плотности тока определяется вещественной
частью функции:
jm (r )  CM 0 (kr).
Константу C определим из условия, что на поверхности
проводника (то есть при r = R) амплитуда плотности тока равна
j0. Тогда окончательный ответ примет вид:
M 0 (kr )
j m (r )  j0 .
M 0 (kR)

84
 Для примера приведём график, демонстрирующий
распределение плотности переменного тока в медном
проводнике (ρ = 1,7 ∙ 10-8 Ом∙м, μ = 1) радиусом 1 мм при
частотах 20 кГц и 100 кГц.

jm/j0
1

0,8
20 кГц
0,6

0,4
100 кГц
0,2

0 0,2 0,4 0,6 0,8 1

r, мм

Как видим, при частоте 100 кГц плотность тока на оси

проводника падает почти до нуля.

§ 4.5 Дифракция Фраунгофера на круглом отверстии

Дифракцией, как известно, называется явление огибания

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

85
 В случае дифракции Фраунгофера источник света и точка
наблюдения бесконечно удалены от препятствия, вызывающего
дифракцию. Чтобы осуществить это практически, достаточно
поместить точечный источник света в фокус собирающей
линзы, а экран расположить в фокальной плоскости другой
собирающей линзы.
Наблюдаемая дифракционная картина, разумеется, будет
зависеть от формы препятствия. Наибольший практический
интерес представляет дифракция Фраунгофера на круглом
отверстии, так как оправы линз и объективов оптических
приборов имеют круглую форму. Дифракционная картина от
круглого отверстия имеет вид концентрических светлых и
тёмных колец. Дифракция на круглом отверстии определяет
разрешающую способность оптических приборов – способность
давать раздельное изображение двух близких точек предмета.
Постановка задачи. Параллельный пучок света с длиной
волны λ падает нормально на круглое отверстие радиуса R.
Требуется определить распределение интенсивности света в
дифракционной картине по направлениям I(θ), если в центре
картины интенсивность равна I0.
Решение. Пусть отверстие лежит в плоскости xy. Ось z
перпендикулярна отверстию и проходит через его центр.
Направление дифрагировавших волн будем характеризовать

вектором s , модуль которого равен sinθ, где θ – угол между
направлением волны и осью z. Из теории дифракции известно,
что возмущение, создаваемое в точке, определяемой
параметрами sx и sy, есть интеграл по всей площади отверстия

exp ik ( s x x  s y y )  dxdy,
1 E
S 
U (s x , s y ) 
λ
где E – полная энергия света, падающего на отверстие, S –
площадь отверстия, k – волновое число (k = 2π/λ). Интенсивность
света в данной точке дифракционной картины равна квадрату
возмущения.
86
 Для центра дифракционной картины можно записать:
ES
I 0  U (0,0)  2 .
2
(4.5.1)
λ
В случае круглого отверстия удобно перейти к полярным
координатам ρ и φ:
x  ρ cos , y  ρ sin .
Направление дифрагировавшей волны охарактеризуем
углом θ с осью z и азимутальным углом ψ:
s x  sin θ cosψ, s y  sin θ sin ψ.
В результате дифракционный интеграл примет вид
R 2π

exp ikρ sin θ cos(  ψ ) ρdρd.

1 E
S 0 0
U ( ρ,  ) 
λ
Вспомним, что существует интегральное представление
функции Бесселя:
π

expi( x sin   v ) d ,

1
2π π
J v ( x) 

которому при v = 0 нетрудно придать вид

2π
1
2π 0
J 0 ( x)  exp(ix cos )d.

С помощью этого представления дифракционный интеграл

упрощается:
R
2π E
S 0
U ( ρ,  )  J 0 (kρ sin θ ) ρdρ.
λ
Используя одну из формул дифференцирования бесселевых
функций можно показать, что
d
xJ1 ( x)  xJ 0 ( x),
dx
откуда при интегрировании получается выражение

 xJ 0 ( x)dx  xJ1 ( x).

87
 В результате имеем:
2πR E J 1 (kR sin θ )
U ( ρ,  )  .
λ S k sin θ
Интенсивность, соответствующая углу θ, будет равна
2
π 2 R 2 E  2 J (kR sin θ ) 
I (θ )  U ( ρ, )  2  1
2
 .
λ S  k sin θ 
Применяя (4.5.1) и формулу площади отверстия S = πR2,
получим окончательное выражение для распределения
интенсивности по углам дифракции:
2
 2 J (kR sin θ ) 
I (θ )  I 0  1  .
 kR sin θ 
График данной функции представлен на рисунке.

I/I0
1

0,8

0,6

0,4

0,2

0 2 4 6 8 10 12 14
kRsinθ

Как видно, I(θ) осциллирует с быстрым уменьшением

амплитуды, что и приводит к чередованию светлых и тёмных
колец. Положение максимумов определяется из условия
d  J 1 ( x) 
   0.
dx  x 

88
 Значение этой производной равно
d  J 1 ( x)  J ( x)
  2 ,
dx  x  x
поэтому положение максимумов соответствует корням функции
J2(x). Расчёт показывает, что отношение интенсивностей в
первых четырёх максимумах равно
I0 : I1 : I2 : I3 = 100 : 1,75 : 0,42 : 0,16.
Положение тёмных колец связано с нулями функции J1(x).
Первое тёмное кольцо соответствует корню x ≈ 3,8317, поэтому
его угловой размер определяется условием
3,8317 3,8317λ λ
sin θ1    1,22 ,
kR 2πR D
где D – диаметр отверстия. Светлое пятно с таким угловым
размером, расположенное в центре дифракционной картины,
называется диском Эйри в честь английского математика и
астронома Джорджа Бидделя Эйри (1801–1892).
Диск Эйри. Определим, какая часть приходящей энергии
сосредоточена в пределах диска Эйри. Для этого введём
величину n(θ), равную доле полной энергии, которая приходится
на кружок с угловым радиусом θ, центр которого совпадает с
центром дифракционной картины:
2π θ
1
n(θ ) 
E   I (θ ) θdθdψ.
0 0

Так как угол θ мал, можно положить sin θ ≈ θ. Тогда ,

2π θ 2
 2 J 1 (kRθ ) 
kRθ
S J 12 ( x)
λ 2 0 0  kRθ  0 x dx,
n(θ )    θdθdψ  2

где введена замена x = kRθ. Из формул дифференцирования

функций Бесселя следует равенство
J 12 ( x)  dJ ( x) 
  J 0 ( x)  1  J 1 ( x)  
1 d 2
 
J 0 ( x)  J 12 ( x) .
x  dx  2 dx

89
 Интегрируя и учитывая, что J0(0) = 1, а J1(0) = 0, получаем
окончательный ответ:
n(θ )  1  J 02 (kRθ )  J 12 (kRθ ).
Подставим в это выражение угловой размер диска Эйри:
n(θ1 )  1  J 02 (3,8317)  J 12 (3,8317) 
 1  ( 0,403) 2  0  0,838.
Таким образом, на диск Эйри приходится почти 84%
энергии падающего света, поэтому в первом приближении можно
рассматривать диск Эйри как изображение точечного источника,
уширенное дифракцией на круглом отверстии объектива.
Иными словами, из-за дифракции любая (даже идеальная)
оптическая система не может сфокусировать свет в пятно,
меньшее по размерам, чем диск Эйри.

90
 ГЛАВА 5
W-ФУНКЦИЯ ЛАМБЕРТА

§ 5.1 Краткие математические сведения

Происхождение. W-функция пополнила ряды специальных

функций сравнительно недавно, хотя своими корнями уходит в
XVIII век. Важную роль в её становлении сыграли двое: Иоганн
Генрих Ламберт (1728–1777), наиболее известный своими
пионерскими работами в области фотометрии, и Леонард Эйлер,
чьё имя уже не первый раз встречается на страницах этой книги.
Несмотря на то, что W-функция Ламберта часто возникает в
самых разных задачах математики, физики и прочих дисциплин,
признание она получила только в XX веке. Букву W для её
обозначения первыми употребили венгерские математики Дьёрдь
Пойа и Габор Сегё в 1925 году, а имя Ламберта ей было
присвоено в 1980-х годах.
Необходимость введения этой функции возникает при
попытке решить уравнение
we w  x (5.1.1)
относительно w в общем виде, а именно в виде некоторой
функции W(x). Чтобы получить её, воспользуемся известным
разложением экспоненты в ряд по степеням:

wn w 2 w3 w 4
ew    1 w     ....
n 0 n! 2 6 24
С помощью этого разложения перепишем левую часть
исходного уравнения (5.1.1) в виде ряда:

w n 1

n 0 n!
 x.

91
 Применяя теорему Лагранжа об обращении рядов, можно
записать обратный ряд для нахождения w по степеням x:

(n) n1 n 3 8
w x  x  x 2  x 3  x 4  ....
n 1 n! 2 3
Это и есть разложение в ряд W-функции Ламберта, а если
совсем точно – разложение основной её ветви. Дело в том, что
уравнение (5.1.1) всегда имеет бесконечное число корней,
большинство из которых комплексные. Приведённый выше ряд
позволяет найти действительный корень.
Определение и свойства. W-функция Ламберта есть
функция, обратная к f (w) = wew. Для любого комплексного x она
определяется функциональным уравнением:
W ( x) eW ( x )  x. (5.1.2)
W-функция является многозначной, то есть одному
значению x соответствует множество значений W(x). Эти
значения называют ветвями и обозначают Wk (x), где k = 0, ±1, ±2
и т.д. Ветви, отличные от W0(x) и W-1(x), всегда комплексные.
Мы ограничимся рассмотрением только действительной области
W-функции. График её выглядит так:

1 W (x)
0

0 0,5 1,0 1,5 2,0 2,5

-1
-2
-3
-4
-5
W-1(x)

92
 Область определения функции есть интервал [-1/e; +∞), на
котором функция принимает значения от -∞ до +∞. В интервале
(-1/e; 0) функция двузначна. Точка с координатами (-1/e; -1)
делит график на верхнюю ветвь W0(x) – часто называемую
основной – и нижнюю ветвь W-1(x).
Частные значения. Приведём для наглядности
действительные значения W-функции Ламберта для некоторых
целых аргументов:

x W(x) x W(x)
0 0 20 2,20500
1 0,56714 30 2,48923
2 0,85261 40 2,69681
3 1,04991 50 2,86089
4 1,20217 60 2,99680
5 1,32673 70 3,11293
6 1,43240 80 3,21439
7 1,52435 90 3,30452
8 1,60581 100 3,38563
9 1,67902 1000 5,24960
10 1,74553 10000 7,23185

Из определения (5.1.2) видно, что W-функция принимает

целые значения при x = nen, где n – целое число:
W (nen )  n, n  0.
Тождества. Из определения можно получить простые
соотношения, которым удовлетворяем W-функция:
n
x W ( x)  x 
e 
W ( x)
, e W ( x )  , e nW ( x )    .
W ( x) x  W ( x) 
При x > 0 выполняется тождество
ln W ( x)  ln x  W ( x).

93
 Нетрудно также убедиться в справедливости формул:
W ( x ln x)  ln x  ln W ( x)  W ( x),
x
W ( x)  ln .
W ( x)
Существует формула для нахождения суммы W-функций,
справедливая при x, y > 0:
  1 1 
W ( x)  W ( y )  W  xy  .
  W ( x) W ( y ) 
Производная и интеграл. Чтобы найти производную W-
функции, можно использовать правило дифференцирования
обратной функции, которое даёт:
d W ( x)
W ( x)  ,
dx x1  W ( x) 
где x ≠ –1/e, x ≠ 0. В точке x = 0 производная равна W'(0) = 1.
Неопределённый интеграл от W-функции Ламберта равен:
 1 
 W ( x ) dx  x 

W ( x )  1 
W ( x )
  C.

Разложения и аппроксимации. Как уже было показано,
основная ветвь W-функции раскладывается в ряд Тейлора в
окрестности x = 0 следующим образом:
3 8 125 5 54 6
W0 ( x)  x  x 2  x 3  x 4  x  x  ....
2 3 24 5
Существуют разложения для комбинаций W-функции с
другими функциями:
3 8 125 5
ln W0 ( x)  ln x  W0 ( x)  ln x  x  x 2  x 3  x 4  x  ... ,
2 3 24
1 1 1 2 9 32 625 5 324 6
  1  x  x2  x3  x4  x  x  ... ,
W0 ( x) x 2 3 8 15 144 35
x 1 2 9 32 625 6
eW0 ( x )   1  x  x2  x3  x4  x5  x  ....
W0 ( x) 2 3 8 15 144

94
 Для практических расчётов часто оказывается удобной
аппроксимация:
 2  2ex 1
 1  при   x  0,
 4,13501 2  2ex e
 1
 12,7036  2  2ex

W ( x)  0,6651  0,0195ln( x  1)ln ( x  1)  0,04 при 0  x  500,


ln x  4  1  1  ln ln x при x  500.
  
 ln x 



§ 5.2 Точное решение трансцендентных уравнений с

помощью W-функции Ламберта

W-функция Ламберта позволяет найти точное решение не

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

Уравнение Решение
xe x  a x  W (a)
W (a ln b)
xb x  a x
ln b
x  ln x  a x  W (e a )
 ea 
x  ln bx  a x  W  
b 

95
 1
e x  x b x  bW  
b
b a
e ax  x b , a  0 x  W 
a b
b  ln a 
a x  x b , a  1 x W 
ln a  b 
ln a
xx  a x
W (ln a)
a
x ln x  a x
W (a)
a ln b
x logb x  a x
W (a ln b)
W ( ab )
ln x  axb xe b

ax  lnbx, 1  a
x   W 
a  0, b  0 a  b
 a1 n 
x e a
n x
x  nW  
 n 
n  a1 n 
x b a
n x
x W  ln b 
ln b  n 

x  ex  a x  a  W (e a )

a x  bx  0, 1  ln a 
x W 
a  0, a  1, b  0 ln a  b 
a x  bx  c, 1  ln a bc  c
x W  a  
a  0, a  1, b  0 ln a  b  b

96
 § 5.3 Точный вывод закона смещения Вина

Продемонстрируем эффективность W-функции Ламберта в

решении уравнений, возникающих при рассмотрении
физических задач, на примере закона смещения Вина.
Формулировка закона. Закон смещения был получен в
1893 году немецким физиком Вильгельмом Вином (1864–1928)
из термодинамических соображений. Закон утверждает, что
длина волны излучения абсолютно чёрного тела, на которую
приходится максимум излучательной способности, при
повышении температуры тела смещается в сторону более
коротких волн, причём эта длина волны равна
b
λmax  ,
T
где T – абсолютная температура, b – постоянная Вина, которая
равна 2,9 ∙ 10-3 м∙К. Это значение первоначально было определено
экспериментально.
Точное решение. В 1900 году немецкий физик-теоретик
Макс Планк (1858–1947) на основе квантовой гипотезы вывел
формулу для спектральной плотности энергетической
светимости абсолютно чёрного тела (она показывает, какая
энергия излучается в единицу времени с единицы поверхности в
единичном интервале длин волн):
2πhc2 1
r ( λ)  .
λ5 hc

e λkT
1
Чтобы теоретически прийти к закону Вина, найдём
значение длины волны λmax, при котором функция r(λ)
принимает максимальное значение при фиксированной
температуре T. Для краткости введём обозначение:
hc
x .
λ kT

97
 Для отыскания максимума функции r(λ) берём производную:
dr d  2πk 5T 5 x 5  2πk 5T 5  5 x 4 (e x  1)  x 5 e x 
   4 3  .
dx dx  h 4 c 3 e x  1  h c  (e x  1) 2 
Приравняв производную к нулю, получим уравнение:
xe x  5(e x  1).
Можно найти точное решение этого уравнения через W-
функцию; для этого преобразуем уравнение:
( x  5)e x  5.
Умножим обе части уравнения на e–5:
( x  5)e x5  5e 5 .
В результате находим:
x  5  W (5e 5 ).
Возвращаясь к исходным переменным, можно записать:
hc
 5  W (5e 5 ).
λ kT
Закон смещения Вина примет окончательный вид:
λmaxT  b,
где постоянная Вина в точности равна
hc k
b .
5  W (5e 5 )
Подставив значения фундаментальных физических
констант и W(–5e–5) = – 0,03489, получим для постоянной Вина
значение b = 2,898 ∙ 10-3 м∙К.

§ 5.4 Расчёт критических размеров ядерного реактора

Приведём ещё один пример применения W-функции в

решении трансцендентных уравнений – на сей раз из области
физики ядерных реакторов.

98
 Коэффициент размножения нейтронов. В основе работы
ядерного реактора лежит размножение нейтронов. Ход
протекания цепной реакции деления тяжёлых ядер зависит от
величины, называемой коэффициентом размножения нейтронов.
Этот коэффициент равен отношению числа нейтронов текущего
поколения к числу нейтронов предыдущего поколения в объёме
размножающей нейтронной среды (активной зоны реактора).
Если коэффициент размножения k < 1, число нейтронов
убывает и цепная реакция затухает. В противоположном случае,
когда k > 1, реакция становится неуправляемой. Для поддержания
стабильного режима необходимо соблюдение условия k = 1. Оно
достигается путём регулировки баланса между появлением
новых нейтронов и их потерями. Потери происходят по двум
причинам: во-первых, не каждый нейтрон, поглощаясь ядром,
вызывает его деление, а во-вторых, нейтрон может выйти за
пределы активной зоны реактора.
Критические размеры. Утечек нейтронов за пределы
делящего вещества не будет происходить, если считать размеры
активной зоны бесконечно большими. В этом случае вводится
коэффициент размножения нейтронов в бесконечной среде k∞,
который не зависит от конструкции реактора. Учёт
ограниченных размеров активной зоны снижает коэффициент
размножения; в этом случае говорят об эффективном
коэффициенте размножения, который определяется формулой
k  k  p, (5.4.1)
где p – вероятность избежать утечки нейтрона из активной зоны.
Таким образом, если k∞ > 1, то всегда можно подобрать такие
размеры активной зоны реактора, при которых выполняется
условие k = 1. Такие размеры называют критическими.
Утечки из активной зоны происходят при замедлении
быстрых нейтронов и диффузии тепловых нейтронов.
Следовательно, вероятность избежать утечки равна:
p  pзам pдиф , (5.4.2)

99
где pзам – вероятность избежать утечки в процессе замедления,
pдиф – вероятность избежать утечки в процессе диффузии.
Первая вероятность вычисляется по формуле
pзам  e  B τ ,
2
(5.4.3)
где τ – так называемый возраст нейтронов (величина, имеющая
размерность площади и характеризующая замедляющие
свойства среды), B 2 – геометрический параметр, который
зависит от формы и размеров активной зоны. Например, для
сферы радиуса R геометрический параметр равен
π2
B2  2 .
R
Вероятность избежать утечки нейтрона в процессе
диффузии определяется выражением
1
pдиф  , (5.4.4)
1  B 2 L2
где L – длина диффузии нейтронов, характеризующая
диффузионные свойства среды.
Критическое уравнение. Объединяя формулы (5.4.1) –
(5.4.4) с условием k = 1, получим уравнение:
2
k e  B τ
 1.
1  B 2 L2
Это уравнение, трансцендентное относительно B 2 , и
называется критическим уравнением для реактора конечных
размеров. Оно позволяет найти критические размеры активной
зоны с заданным составом топлива и заданной геометрической
формой.
Критическое уравнение часто решается численно, однако
W-функция Ламберта даёт возможность записать точную
формулу для вычисления B2 . Для этого преобразуем уравнение:
(1  B 2 L2 )e B τ  k  .
2

100
 Разделим обе части уравнения на L2τ и умножим на eτ/L :
2

 2 1  τ
 2 1   B   τ k τ 2
 B  2 τe L2 
 2 e L .
 L  L
Используя определение W-функции Ламберта, получаем:
 2 1   k  τ Lτ2 
 B  2  τ  W  2 e .

 L   L 
Таким образом, геометрический параметр равен:
1  k  τ L2  1
τ

B  W 2 e
2
 .
τ  L  L2


§ 5.5 Скольжение при постоянной мощности

Постановка задачи. Тело массы m имеет двигатель

постоянной мощности N, под действием которого начинает
скользить по горизонтальной плоскости с коэффициентом
трения μ. Установим закон изменения скорости тела υ(t).
Решение. Совершаемая двигателем работа идёт на
увеличение кинетической энергии тела и преодоление силы
трения Fтр = μmg:
mυ 2
Nt   μmgs.
2
Продифференцируем это выражение по времени:
dυ
N  mυ  μmgυ.
dt
Нетрудно заметить, что при t → ∞ вся работа двигателя
будет тратиться на преодоление трения и тело станет двигаться
равномерно со скоростью
N
υmax  .
μmg

101
 Разделим переменные в дифференциальном уравнении:
mυ
dυ  dt.
μmgυ  N
Для простоты перейдём к переменной υmax:
υ
dυ   μgdt.
υ  υmax
Интеграл от левой части можно взять так:
υ
υ
υ
υ  υmax  υmax
υ
 υmax 
0 υ  υmax dυ  0 υ  υmax dυ  0 1  υ  υmax dυ 
υ υ
dυ  υ 
  dυ  υmax   υ  υmax ln1  .
0 0
υ  υ max  υ max 

Таким образом, решение дифференциального уравнения:

 υ 
υ  υmax ln1     μgt.
 υ max 

Нам осталось лишь обратить это выражение. Делим обе

части на υmax и потенцируем:
υ μgt
 υ  υmax 
1  e  e υmax .
 υmax 
Умножим обе части на –e–1:
υ μgt
 υ  1 1
  1e υmax  e υmax .
 υmax 
Используя определение W-функции Ламберта, получим:
υ  1 υμgt 
 1  W   e max .
υmax  
 
Тогда скорость изменяется согласно закону:
  1 υμgt 
υ  υmax 1  W   e max .
  
 
102
 Возвращаясь к исходным переменным, запишем
окончательный ответ:
N   1 μ 2 g 2m t 
υ(t )  1  W   e N .
μmg   
  

§ 5.6 Расчёт электрической цепи с диодом

Постановка задачи. Рассмотрим

электрическую цепь, в которую
последовательно включены резистор U
сопротивления R и полупроводниковый
диод. Питающее напряжение равно U. R D
Требуется отыскать ток в цепи и
напряжения на её элементах.
Вольт-амперная характеристика диода. Диод является
нелинейным элементом, то есть не подчиняется закону Ома.
Сила тока в нём определяется уравнением Шокли:
 U D 
I D  I 0  e T  1,
 
 
где I0 – ток насыщения (максимальная величина обратного
тока), UD – напряжение на диоде, φT – термический потенциал,
который можно найти по формуле:
kT
T  ,
qe
где k – постоянная Больцмана, T – абсолютная температура
диода, qe – заряд электрона. Нетрудно рассчитать, что при
комнатной температуре значение термического потенциала
составляет примерно 26 мВ.
Решение. При последовательном соединении сумма
напряжений на элементах цепи равна напряжению источника U,

103
поэтому напряжение на диоде равно UD = U – IR. Таким
образом, можно записать уравнение:
 U IR 
I  I 0  e T  1.
 
 
Это уравнение часто решают графически или
итерационными методами, однако W-функция Ламберта
позволяет получить точное аналитическое решение. Чтобы
найти его, преобразуем уравнение:
U  IR
I T
1  e .
I0
Умножим обе части уравнения на I0R/φT:
U  IR
I0R  I  I R
  1  0 e T
.
T  I 0  T
Затем умножим обе части на экспоненту от левой части:
I R I  U  IR I0R  I 
I0R  I  0  1  I R  1 
T  I 0 
  1e T  I 0   0 e T
e .
T  I 0  T
Показатель степени в правой части упростится после
очевидных преобразований:
I R I  U  I0R
I0R  I  0  1 I R
  1e T  I 0   0 e T
.
T  I 0  T
Воспользовавшись определением W-функции, получим:
I0R  I   I 0 R U I 0 R 
  1  W  e T ,
T  I 0   
 T 
откуда находим окончательное выражение для силы тока:
T I 0 R U I 0 R 
I W e T   I0.
R  T 


104
 Нетрудно убедиться, что при отсутствии питающего
напряжения U = 0 это уравнение даёт I = 0.
Напряжения на резисторе и диоде определяются формулами:
 I 0 R U I 0 R 
U R  T W  e T   I 0 R,
 T 
 
 I 0 R U I 0 R 
U D  U  I 0 R  T W  e T .
 T 
 

§ 5.7 Капиллярное впитывание

Постановка задачи. Вертикальный цилиндрический

капилляр радиуса r касается нижним концом жидкости с
плотностью ρ, поверхностным натяжением σ и динамической
вязкостью η. Необходимо вывести формулу зависимости высоты
подъёма жидкости по капилляру от времени h(t).
Движение вязкой жидкости по трубе. Расчёт процесса
впитывания жидкости капилляром основан на использовании
закона Пуазёйля, который описывает установившееся течение
вязкой жидкости по цилиндрической трубе. Закон Пуазёйля
позволяет определить объёмный расход жидкости:
dV πr 4
 p,
dt 8ηl
где l – длина трубы, Δp – разность давлений на её концах.
Решение. Причиной подъёма жидкости в капилляре
является капиллярное давление, возникающее из-за искривления
поверхности жидкости и рассчитываемое по формуле Лапласа.
Будем полагать, что жидкость полностью смачивает стенки
капилляра, тогда формула Лапласа запишется так:
2σ
pк  ,
r

105
где r – радиус кривизны поверхности жидкости, который можно
считать равным радиусу капилляра.
Процессу подъёма жидкости в вертикальном капилляре
противодействует сила тяжести. Впитывание будет продолжаться
до тех пор, пока капиллярное давление не уравновесится
гидростатическим давлением втянутого в капилляр столба
жидкости ρgH. Отсюда можно найти максимальную высоту
подъёма:
2σ
H .
ρgr
Таким образом, перепад давлений на концах капилляра
равен разности капиллярного и гидростатического давлений:
2σ
p   ρgh  ρg H  h ,
r
где h – высота столба жидкости в некоторый момент времени.
Используя закон Пуазёйля, запишем дифференциальное
уравнение процесса впитывания:
dV πr 4 ρg
 H  h.
dt 8ηh
Перейдём от объёмной скорости к линейной:
dh ρgr 2 H  h
 .
dt 8η h
После разделения переменных получим:
8η hdh
dt  .
ρgr 2 H  h
Чтобы найти время подъёма жидкости на высоту h,
интегрируем:
h
8η hdh
t   dt   H  h.
ρgr 2 0

106
 Получившийся интеграл легко вычислить с помощью
несложного преобразования:
H hH H h
h h h h
hdh Hdh
0 H  h  0 H  h dh  0 H  h  0 dh  H ln H  h.
Таким образом, для времени впитывания жидкости
справедливо уравнение
8η  H 
t 2 
H ln  h ,
ρgr  H h 
которое называют уравнением Уошбёрна в честь американского
физико-химика Эдварда Уошбёрна (1881–1934), получившего
эту формулу в 1920-х годах.
Уравнение Уошбёрна является трансцендентным; точно
решить его поможет W-функция Ламберта. Преобразуем:
ρgr 2  h h
 t  ln1    .
8ηH  H H
Потенцируем:
ρgr 2
 h
 t h

e  1  e H .
8 ηH

 H
Умножим обе части уравнения на –e–1:
ρgr 2
h  1
1 ht
e    1e H .
8 ηH

H 
Согласно определению W-функции
 1 ρgr 2 t 
 1  W   e 8 ηH ,
h
H  
 
и в результате зависимость высоты от времени имеет вид:
  1 ρgr 2 t 
h(t )  H 1  W   e 8 ηH .
  
  

107
 График этой зависимости представлен на рисунке:
h
H

0
t

Видно, что по мере впитывания высота подъёма жидкости

асимптотически стремится к H.

§ 5.8 Дальность полёта тела в сопротивляющейся среде

Постановка задачи. Тело массы m бросают с начальной

скоростью υ0, направленной под углом α к горизонту. Со
стороны среды на тело действует сила сопротивления,
пропорциональная скорости тела, F = kmυ. Требуется определить
горизонтальную дальность полёта тела.
Движение без сопротивления. В отсутствие
сопротивления среды задача становится элементарной: дальность
полёта определяется формулой
υ02 sin 2α
L
g
и достигает максимума при угле бросания αmax = 45°. Мы решим
более общую задачу и сравним результаты.
Определение дальности полёта. Движение тела
происходит под действием двух сил: силы тяжести и силы
сопротивления. Второй закон Ньютона запишется так:
  
ma  mg  kmυ.

108
 В проекциях на оси координат уравнения движения тела
запишутся так:
dυ x dυ y
 kυ x ,   g  kυ y .
dt dt
Интегрирование этих уравнений с учётом начальных
условий (υ0x = υ0cosα, υ0y = υ0sinα) даёт следующие выражения
для составляющих скорости:
dx
dt
 υ0 cos α e kt ,
dy 1
dt k
 
 kυ0 sin α  g e kt  g .

Интегрируя эти уравнения с начальными условиями x(0) =

= y(0) = 0, получаем законы изменения координат:

x 0
υ cos α
1  e kt ,
k

y  2 kυ0 sin α  g 1  e kt   kgt .
k
1

Для нахождения дальности нам нужно узнать время
полёта, которое можно найти, решив уравнение y(t) = 0 и выбрав
его ненулевой корень. Таким образом, мы приходим к
трансцендентному уравнению

k
1
2
 
kυ0 sin α  g 1  e kt   kgt  0.
Введём новую переменную
kυ sin α  g
u 0 , (5.8.1)
g
с помощью которой уравнение преобразуется к виду:
 u  ue kt  kt  0.
Мы можем свести его к одному из уравнений,
рассмотренных в § 5.2 (последнее уравнение в таблице):
1
e kt  (kt )  1.
u

109
 Используем готовое решение:
 kt  W (ueu )  u,
откуда время полёта равно:

t
1
k
W (ueu )  u . 
Подставляем это время в уравнение для координаты x:
υ0 cos α  u 
x
k 

1 exp u  W (ue ) . 

Преобразуем экспоненту:
υ0 cos α  u 
x 
1 exp[u ]  exp  W (ue ) . 
k  
Воспользуемся свойством W-функции, согласно которому


exp  W (ueu )   W (ueu )
ueu
.
В этом случае выражение для дальности упростится:
υ0 cos α  W (ueu ) 
x 1  .
k  u 
Возвращаясь к исходным переменным, можно записать
окончательную формулу дальности полёта:
  kυ0 sin α  1 g  
kυ sin α 0

 W   1  e 
υ0 cos α  
 g   .
L 1  
k  kυ sin α 
1 0
 g 
 
Оптимальный угол бросания. Исследуем также вопрос
о нахождении такого угла бросания, при котором дальность
полёта достигает наибольшего значения. Для этого введём новое
обозначение:
z  W (ueu ),

110
благодаря чему формулу для дальности можно записать
компактно:
υ0 cos α  z
L 1  .
k  u
Прежде чем искать производную dL/dα, вычислим
несколько вспомогательных производных:
du kυ cos α
 0  (u  1) ctgα,
dα g
dz z (1  u ) z
 u  (e u  ueu )  .
du ue (1  z ) (1  z )u
Из последней формулы следует равенство
z 1  z dz
 ,
u 1  u dα
которое пригодится для вычисления производной:
d  z 1  dz z  1  z  dz
1        1   .
du  u  u  du u  u  1  u  du
Теперь несложно продифференцировать L:
dL υ0   z d  z  du 
  sin α1  u   cos α du 1  u  dα .
dα k      
Подставив все вспомогательные производные, получим:
dL υ  z  dz 
  0 sin α ctg2 α1   tg2 α  .
dα k  u  du 
Данная производная равна нулю, только если
dz
tg2 α   0. (5.8.2)
du
Чтобы решить данное уравнение, введём безразмерную
величину n, имеющую смысл отношения силы сопротивления в
начале движения к силе тяжести:
kυ
n 0.
g
111
 Тогда из (5.8.1) получаем соотношение:
1 u
sin αmax   . (5.8.3)
n
Используя это равенство и значение производной dz/du,
перепишем исходное уравнение (5.8.2) в виде:
(1  u ) 2 (1  u ) z
 .
n  (1  u )
2 2
(1  z )u
Путём несложных преобразований выразим отсюда z:
u (1  u )
z 2 .
n  u 1
Воспользуемся очевидным свойством W-функции,
согласно которому zez = ueu, так как z = W(ueu). В результате:
u (1u )
u (1  u )  n2 u 1
 2 e  ueu .
n  u 1
Преобразования приводят к уравнению:
n 2u
1 u
 2  e n u 1 .
2

n  u 1
Произведём замену
1
q ,
n  u 1 2

с помощью которой уравнение преобразуется к виду:

e  q
 n2en q  en .
n 2 ( n 2 1) 2 2

Воспользуемся готовым решением такого типа уравнений

из таблицы в § 5.2. После преобразований получим:
1 1  n2 1
q 2  2 2 W  .
n n (n  1)  e 
Возвращаясь к переменной u, имеем:
n 2 (n 2  1)
u  n 1
2
.
 n2 1
n  1  W 
2

 e 
112
 Подставив это выражение в (5.8.3), получим:
 n2 1
nW  
 e 
sin α max  .
 n2 1
n  1  W 
2

 e 
Данная формула и определяет угол бросания, при котором
дальность полёта максимальна.
Покажем, что в случае отсутствия сопротивления (n = 0)
полученная формула даёт αmax = 45°. Для этого введём
обозначение
 n2 1
w  W  
 e 
и рассмотрим предел
nw lim w
n 0 
lim sin α max  lim 2  .
n 0  n 0 n  1  w  w 1
lim  n  
n 0   n 
Предел в числителе равен –1, так что можно записать:
1 1  n 
lim sin α max    lim  .
n 0  w 1  w  1  n 0  w  1 
lim    lim  
n 0   n  n 0   n 
Чтобы вычислить этот предел, рассмотрим выражение:
n2 1
we w  .
e
Разложим левую часть в ряд Тейлора в окрестности w = –1:
1 ( w  1) 2 ( w  1) 3 ( w  1) 4 n2 1
     ...  .
e 2e 3e 8e e
Нетрудно увидеть, что
 1 w 1 
n 2  ( w  1) 2    ... ,
2 3 

113
откуда
n 1 w 1
   ....
w 1 2 3
Тогда исходный предел будет равен:
 n  1 2
lim sin α max  lim     sin 45°,
n 0 n 0  w  1  2 2
что и требовалось доказать.
При увеличении сопротивления среды оптимальный угол
бросания уменьшается; иными словами, функция α max(n) является
убывающей. Можно построить график этой функции:

αmax, °
45
40
35
30
25
20
15
10
0 5 10 15 n

Из графика видно, что, например, при n = 2 для достижения

максимальной дальности полёта следует бросать тело под
углом αmax ≈ 30°.
В заключение отметим, что линейный закон сопротивления
среды, предполагаемый в данной задаче, имеет практическое
значение для малых скоростей движения.

114
 ЗАДАЧИ
ДЛЯ САМОСТОЯТЕЛЬНОГО ИЗУЧЕНИЯ

1. Покажите, что длину дуги синусоиды y = sinx в интервале

от 0 до 2π можно выразить через гамма-функцию:
Г 2 1 4
4 2π 3
L 
 7,64.
2π Г 2 1 4
2. Гиперсферой называют множество точек n-мерного
пространства, равноудалённых от центра (при n = 1 это пара
точек, при n = 2 – окружность, при n = 3 – сфера). Докажите, что
объём, ограниченный гиперсферой радиуса R, равен
πn 2
Vn  Rn.
 n
 1  
 2
3. Покажите, что для среднего значения четвёртой степени
скорости молекул идеального газа справедлива формула:
7 2 2kT 4 kT kT
4 υ4  4  15  1,97 .
3 2 m m m
4. Покажите, что в случае, когда парное взаимодействие
молекул реального газа подчиняется потенциалу Ми
m
 n  n  nm  σ   σ  
n m

U (r )  ε        , n  m  3,
 n  m  m   r   r  
второй вириальный коэффициент в вириальном уравнении
состояния вычисляется по формуле:
3 j ( n  m ) 3
j
2πσ 3 
1n nm  jm  3  m ε 

n
B2        .
n j 0 j!  m   n  n  m kT 

115
 5. Докажите, что средняя энергия фотона, излучаемого
абсолютно чёрным телом при температуре T, равна:
Г(5)ζ (5) 360ζ (5)
E  kT  kT  3,832 kT .
Г(4)ζ (4) π4
6. Покажите, что для угла отклонения математического
маятника от положения равновесия справедлива формула:
α  α   α 
sin α  2 sin 0 sn  ωt, sin 0  dn  ωt, sin 0 .
2  2  2
7. Докажите, что при амплитуде колебаний α0 = 90° период
математического маятника выражается через гамма-функцию:
l 2 1  l
T     7,42 .
πg  4  g
8. Площадь поверхности эллипсоида с полуосями a, b, c
(a ≥ b ≥ c) выражается через эллиптические интегралы:

S  2πc2 
2πab
sin 
 
E ( , k ) sin 2   F ( , k ) cos2  ,

где
c a b2  c2
cos  , k  .
a b a c
2 2

Покажите, что в частном случае эллипсоида вращения, у

которого две полуоси одинаковы (a = b), площадь может быть
выражена с помощью элементарных функций:
 c2 c2 
S  2πa a  arth 1  2 
 a2  c2 a 

для сплюснутого эллипсоида (a > c) и
 c2 a2 
S  2πa a  arcsin 1  2 
 c2  a2 c 

для вытянутого эллипсоида (a < c). Покажите также, что при a =
= c обе эти формулы дают площадь сферы S = 4πa2.

116
 9. Груз, закреплённый на нерастяжимой нити длины l,
вращают в вертикальной плоскости так, что в верхней точке
траектории натяжение нити равно нулю. Покажите, что период
вращения груза определяется формулой
 2  l l
T  4 K   4 .
 5  5g g
10. На тело, падающее вертикально вниз с высоты h,
действует сила сопротивления, пропорциональная скорости тела
F = kmυ. Покажите, что время падения равно

1  k 2 h  1 k 2h 
t  1  W   e g ,
k g  
  
а скорость тела к моменту падения достигает величины

g   1 k 2h 
υ 1  W   e g .
k  
  

117
 СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ
1. Аксенов Е. П. Специальные функции в небесной механике. М.: Наука,
1986.
2. Арсенин В. Я. Методы математической физики и специальные функции.
М.: Наука, 1974.
3. Грей Э., Мэтьюз Г. Б. Функции Бесселя и их приложения к физике и
механике. М.: ИЛ, 1953.
4. Дубинов А. Е., Дубинова И. Д., Сайков С. К. W-функция Ламберта и её
применение в математических задачах физики. Саров: Российский
федеральный ядерный центр, 2006.
5. Журавский А. М. Справочник по эллиптическим функциям. М.; Л.: Изд-во
АН СССР, 1941.
6. Коренев Б. Г. Введение в теорию бесселевых функций. М.: Наука, 1971.
7. Кузьмин Р. О. Бесселевы функции. М.; Л.: Гостехиздат, 1935.
8. Лебедев Н. Н. Специальные функции и их приложения. М.; Л.:
Физматлит, 1963.
9. Мак-Лахлан Н. В. Теория и приложения функций Матье. М.: ИЛ, 1953.
10. Никифоров А. Ф., Уваров В. Б. Специальные функции математической
физики. Долгопрудный: Интеллект, 2007.
11. Сикорский Ю. С. Элементы теории эллиптических функций: c
приложениями к механике. Москва: КомКнига, 2006.
12. Стретт М. Д. О. Функции Ляме, Матье и родственные им в физике и
технике. Киев: Гос. научно-техническое изд-во Украины.
13. Andrews L. C. Special Functions of Mathematics for Engineers. SPIE Optical
Engineering Press, 1998.
14. Armitage J. V., Eberlein W. F. Elliptic Functions. Cambridge University
Press, 2006.
15. Dixon A. C. The elementary properties of the elliptic functions with examples.
Macmillan and Co, 1894.
16. Farrell O., Ross B. Solved Problems in Analysis as Applied to Gamma, Beta,
Legendre and Bessel Functions. Dover Publications, 1971.
17. Lawden D. F. Elliptic Functions and Applications. Springer, 1989.
18. McLachlan N. W. Bessel Functions for Engineers. Oxford University Press,
1955.

118