Вы находитесь на странице: 1из 52
В «Кванте» №4 за 2003 год рассказывалось о головоломке Сергея

В «Кванте» №4 за 2003 год рассказывалось о головоломке Сергея Грабарчука «Разбудите летучую мышь». Она состоит из игрового поля 8×8 и 8 брусочков, начальное расположение которых напоминает спящую летучую мышь (рис.1, слева). Передвигая брусочки, нужно добиться того, чтобы они располагались так, как показано справа на рисунке 1. Эта конфигу- рация похожа на летучую мышь в полете – отсюда и название головоломки. Сейчас известно, что лучшее решение этой головоломки состоит из 32 ходов. На игровом поле много свободных полей, что позволяет усложнить головоломку. Добавим еще один брусочек размером 1×1 – он будет символизировать блоху, которая разбудила спящую летучую мышь (рис.2, слева). Требуемое конечное положение брусочков показано справа на рисунке 2. Для этой новой головоломки с блохой в лучшем известном решении 36 ходов. Получится ли у вас его найти? А сможете ли вы посадить на летучую мышь еще одну блоху, так, чтобы головоломка оста- лась разрешимой?

В.Журавлев

2018

2018 ИЮНЬ Ю № 6 НАУЧНО-ПОПУЛЯРНЫЙ ФИЗИКО-МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

ИЮНЬ

Ю 6

НАУЧНО-ПОПУЛЯРНЫЙ

ФИЗИКО-МАТЕМАТИЧЕСКИЙ

ЖУРНАЛ

ИЗДАЕТСЯ С ЯНВАРЯ 1970 ГОДА

В номере:

УЧРЕДИТЕЛИ

Российская академия наук

Математический институт им. В.А.Стеклова РАН

Физический институт им. П.Н.Лебедева РАН

ГЛАВНЫЙ РЕДАКТОР

А.А.Гайфуллин

РЕДАКЦИОННАЯ КОЛЛЕГИЯ

Н.Н.Андреев, Л.К.Белопухов, М.Н.Бондаров, Ю.М.Брук, А.А.Варламов, С.Д.Варламов, А.П.Веселов, А.Н.Виленкин, В.И.Голубев, Н.П.Долбилин, С.А.Дориченко, В.Н.Дубровский, А.А.Заславский, А.Я.Канель-Белов, П.А.Кожевников (заместитель главного редактора), С.П.Коновалов, К.П.Кохась, А.А.Леонович, Ю.П.Лысов, А.Б.Минеев, В.В.Произволов, В.Ю.Протасов, А.М.Райгородский, Н.Х.Розов, А.Б.Сосинский, А.Л.Стасенко, В.Г.Сурдин, В.М.Тихомиров, В.А.Тихомирова, А.В.Устинов, А.И.Черноуцан (заместитель главного редактора)

РЕДАКЦИОННЫЙ СОВЕТ

А.В.Анджанс, М.И.Башмаков, В.И.Берник, В.Г.Болтянский, А.А.Боровой, В.В.Козлов, Н.Н.Константинов, Г.Л.Коткин, С.П.Новиков, А.Л.Семенов, С.К.Смирнов, А.Р.Хохлов

РЕДАКЦИОННАЯ КОЛЛЕГИЯ 1970 ГОДА

ГЛАВНЫЙ РЕДАКТОР

И.К.Кикоин

ПЕРВЫЙ ЗАМЕСТИТЕЛЬ ГЛАВНОГО РЕДАКТОРА

А.Н.Колмогоров

Л.А.Арцимович, М.И.Башмаков, В.Г.Болтянский, И.Н.Бронштейн, Н.Б.Васильев, И.Ф.Гинзбург, В.Г.Зубов, П.Л.Капица, В.А.Кириллин, Г.И.Косоуров, В.А.Лешковцев, В.П.Лишевский, А.И. Маркушевич, М.Д.Миллионщиков, Н.А.Патрикеева, Н.Х.Розов, А.П.Савин, И.Ш.Слободецкий, М.Л.Смолянский, Я.А.Смородинский, В.А.Фабрикант, Я.Е.Шнайдер

2 К 110-летию И.К.Кикоина

3 Как вводятся физические величины. И.Кикоин

10

«Вот Квант, который построил Исаак А.Савин

».

11

Выпуклый анализ на плоскости (окончание). Л.Локуциевский, В.Тихомиров

 

Н А М

П И Ш У Т

17

Вероятность и последняя цифра произведения

 

М А Т Е М А Т И Ч Е С К И Й

М И Р

18

Сергей Петрович Новиков (к 80-летию со дня рождения)

 

З А Д А Ч Н И К

« К В А Н Т А »

22

Задачи М2514–М2517, Ф2521–Ф2524

23

Решения задач М2502–М2505, Ф2509–Ф2512

 

К А Л Е Й Д О С К О П

« К В А Н Т А »

24

Математический парк

«КВАНТ» ДЛЯ МЛАДШИХ ШКОЛЬНИКОВ

30

Задачи

 

Ш К О Л А

В

« К В А Н Т Е »

31

Где ошибка? (Логика, комбинаторика, вероятность)

 

К О Н К У Р С

И М Е Н И

А . П . С А В И Н А

33

Итоги конкурса 2017/18 учебного года

 

Ф И З И Ч Е С К И Й

Ф А К У Л Ь Т А Т И В

34

Через тернии к звездам (Per aspera ad astra). А.Стасенко

 

Н А Ш И

Н А Б Л Ю Д Е Н И Я

37

Гидроудар у нас дома. Ю.Носов

38

Ответы, указания, решения

 
 

Н А

О Б Л О Ж К Е

I Иллюстрация к калейдоскопу «Кванта»

II Коллекция головоломок

III Шахматная страничка

IV Прогулки с физикой

К

1 1 0 - Л Е Т И Ю

И . К . К И К О И Н А

К 1 1 0 - Л Е Т И Ю И . К . К И

28 марта исполнилось 110 лет со дня рождения выдающегося физика-экспериментато- ра нашей страны – академика Исаака Константиновича Кикоина. Исаак Константинович очень много сделал в физике. Он был автором первоклассных научных работ в физике твердого тела, атомной и ядерной физике, ядерной технике. Его работы по изучению электрических и магнитных свойств металлов, полупроводников и ферромагнетиков, гальваномагнитных, фотоэлектрических и фотомагнитных явлений, открытие фотомагнитоэлектрического эффекта безусловно вошли в золотой фонд физи- ческих экспериментов, послужили основой для создания новых приборов и развития теоретических представлений об исследуемых явлениях. Волею судеб, И.К.Кикоин стал одним из ближайших соратников И.В.Курчатова – главы советского атомного проекта. Был создателем и научным руководителем промышленности по разделению изотопов – важнейшей части всей атомной программы страны. При всей своей занятости и постоянной перегрузке делами научными и оборонными Исаак Константинович читает лекции по общей физике в Московском университете, пишет учебники для студентов и школьников. Он – один из инициаторов создания в стране специализированных физико-математических школ-интернатов, научно-популярного физико-математического журнала для школьников «Квант» и книжной серии «Библио- течка «Квант», активный участник организации и проведения Всесоюзной физико- математической олимпиады. Олимпиаду, «Квант» и «Библиотечку» Исаак Константино- вич возглавлял до конца своей жизни. Предлагаем вниманию читателей одну из статей И.К.Кикоина, написанных для «Кван- та», и стихотворение, взятое из специального номера журнала, выпущенного в единствен- ном экземпляре к 75-летию Исаака Константиновича.

К А К

В В О Д Я Т С Я

Ф И З И Ч Е С К И Е

В Е Л И Ч И Н Ы

3

Как вводятся физические величины

И.КИКОИН

ИЗИКА ОТЛИЧАЕТСЯ ОТ ДРУГИХ ЕС-

тественных наук тем, что объектив -

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

Ф

нений или формул, которые называются физическими законами природы. Как же вводятся физические величины? Для каждой физической величины дол - жен быть указан способ ее измерения. Точнее, нельзя вводить физическую вели- чину, не указав, по крайней мере, принци - пиальный способ ее измерения . Поясним это некоторыми примерами. Начнем с ве- личин, используемых в механике.

примерами . Н ачнем с ве - личин, используемых в механике .

4

1. Скорость

Понятие скорости введено с незапамят- ных времен. И можно себе представить, как это было сделано. Возможно, какой-то человек, располагающий прибором для измерения времени – это могли быть, например, солнечные часы, наблюдал за движением караванов в пустыне. Он опре- делил, какой путь проходит караван за определенный промежуток времени. Мо- жет быть, он сделал это, сосчитав число шагов верблюда. Шаг верблюда – это мера измерения длины . С опоставив числа,

К В А Н T $ 2 0 1 8 / № 6

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

ни. Действительно, обозначив s

зу можно найти, что s = vt. Таким образом была введена величина,

которая называется скоростью . Не следует думать, что уравнение s = vt есть некий закон природы. Это уравнение следует из определения того, что такое скорость . Можно было бы с таким же успехом на- звать скоростью, например, отношение

. И тогда тоже можно было бы

, сра -

t

= v

тоже можно было бы , сра - t = v выражающие промежуток времени и

выражающие промежуток времени и прой- денный путь, он установил любопытное соотношение между ними. Оказалось, что отношение путей, пройденных караваном за любые промежутки времени, равно от-

ношению этих промежутков времени. На современном языке это означает следую - щее: если обозначить путь, пройденный

караваном за промежуток времени

s 1 , а путь, пройденный караваном за

промежуток времени

. Очень любопытный факт! На-

блюдатель, вероятно, рассказал об этом многим из своих знакомых, и, возможно, нашелся человек, который сообразил, что указанное соотношение особого смысла не имеет, потому что оба отношения, и справа и слева, – числа отвлеченные, и ничего нет удивительного в том, что 2 = 2 или 3 = 3 и т.д. Он предложил переписать это соотно- шение в виде

t 1 , че -

рез

то

t

2

, через

s

2

,

s

1

t

1

s

2

=

t

2

s

1

1

t

=

s

2

t

2

s

2

t

2

= u

s 2 , s 1 t 1 s 2 = t 2 s 1 1 t

определить величину s из уравнения s = t u . Но условились, именно услови-

лись, называть скоростью отношение t s

.

2. Ускорение

Бывают и такие движения, при которых отношение пройденных путей за любые промежутки времени равно отношению квадратов этих промежутков времени . На современном языке это записывается сле - дующим равенством:

( 1)

– расстояния, пройденные

движущимся телом за промежутки време -

соответственно. Таково, напри-

мер, движение тел, свободно падающих в

вакууме, или движение тел вниз по на-

клонной плоскости без трения . Такие движения изучал знаменитый ита-

льянский физик Галилей. Он записал урав-

нение (1) в виде

и назвал эти

отношения и вообще отношение

рением движущегося тела (материальной точки). 1 Понятие ускорения связано, оче - видно, с тем, что сама скорость движуще- гося тела может меняться со временем.

уско-

ни

где

s

1

2

1

t

s

2

=

2

t

2

,

s

1

и

s

2

t

1

и

t

2

2s

1

2

t

1

2s

2

=

2

t

2

2s

t

2

1 К оэффициент 2 вводится из чисто матема-

тических соображений.

К А К

В В О Д Я Т С Я

Ф И З И Ч Е С К И Е

В Е Л И Ч И Н Ы

5

З И Ч Е С К И Е В Е Л И Ч И Н Ы

Если скорость пропорциональна времени,

т

a =

– изменение скорости за промежуток вре -

мени t. Таким образом была введена новая фи-

зическая величина – ускорение. Известная

(предполагается, что

начальная скорость тела равна нулю) так-

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

для правильного описания различного рода движений необходимо принять во внима- ние, что перемещение s , скорость v и ускорение а – величины векторные.

3. Масса

Из ряда опытов, проведенных в самых разных условиях, можно сделать вывод, что тело, бесконечно удаленное от всех других тел, не может двигаться с ускоре- нием, если рассматривать движение отно - сительно некоторых вполне определенных систем отсчета, которые называются инер- циальными системами отсчета. Такое тело находится либо в состоянии покоя, либо движется равномерно и прямолинейно от - носительно инерциальной системы отсче- та. Если же тело движется с ускорением, то всегда можно указать другое тело или другие тела, влияние которых вызывает ускоренное движение данного тела. В та- ких случаях говорят, что тела взаимодей- ствуют друг с другом . Рассмотрим простейший случай – когда

формула

0

+ at , то

v

-

v

t

. е.

v = v

0

, где (

v - v

0

)

at

2

2

s =

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

взаимодействующих тел.

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

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

Ч ем больше ускорение тела, тем, очевид-

но, больше изменение его скорости за данный промежуток времени. И наоборот, если ускорение тела мало, то это значит, что за тот же промежуток времени его скорость изменяется мало . Скорость не может меняться мгновенно – для всякого изменения скорости тела требуется неко- торый промежуток времени. У скорения двух взаимодействующих тел вызваны их взаимодействием. Очевидно, что промежуток времени, в течение которо- го изменяются скорости двух взаимодей- ствующих друг с другом тел, один и тот же для обоих тел – это время их взаимодей- ствия. Ясно, что тому телу, у которого ускорение меньше, следует приписать боль- шую инертность – его движение более похоже на движение по инерции. Ведь если бы ускорение тела равнялось нулю, то это означало бы, что тело движется по инерции (с постоянной по величине и направлению скоростью). А это противоречило бы пред - положению о взаимодействии тел . Из двух взаимодействующих тел более инертно то тело, у которого ускорение меньше, и наоборот. Следовательно, инертность есть свойство тел, которое нужно характеризо-

6

К В А Н T $ 2 0 1 8 / № 6

6 К В А Н T $ 2 0 1 8 / № 6 вать некоторой

вать некоторой величиной. Такой величи-

ной служит масса тела. Свойства тел, от которых зависит отно - шение их ускорений при взаимодействии друг с другом, мы назовем массами этих тел. Массу тела принято обозначать бук- вой m. Итак, мы ввели новую величину – массу. Но мы еще не указали способа измерения массы тела. Попытаемся это сделать. Припишем одному из двух тел массу

другому – массу

и

при взаимодействии обозначим через

, а ускорения этих тел

m

a

1

1

,

m

2

2 . Мы знаем из опыта, что отношение

модулей ускорений всегда постоянно. Ус-

a

ловимся, что отношение

 

a

2

равно отноше-

нию

m

1

, т .е .

a

1

m

2

 

m

1

=

a

2

.

( 2 )

m 2

a

1

Это означает, что тело большей массы получает меньшее ускорение и наоборот. Ускорения измерять мы умеем, поэтому можно определить из (2) отношение масс обоих тел. Именно отношение масс! Но как найти значение массы каждого из тел?

Вспомним, как поступают при измерении любой физической величины. Как, напри- мер, измеряется длина тела? Д ля этого, как известно, выбирается эталон, длина которого принимается за единицу (в СИ 1 метр). Тогда число, выражающее длину любого тела, определяется отношением этой длины к длине эталона. Так же мы поступим и в случае измерения массы. Выберем тело, которое будет служить эта-

лоном, т.е. масса которого будет принята за единицу (в СИ 1 килограмм). Обозна-

чим массу эталона

m э . Теперь уже нетруд-

но определить массу m любого тела. Для этого нужно привести это тело во взаимо- действие с эталоном и измерить ускорения обоих тел. Обозначим ускорение эталона через

ускорение тела, масса которого измеряет -

ся, через а. Тогда в соответствии с форму-

лой (2 ) пишем

a

э

,

m

=

a

э

. Отсюда

m

э a

m

=

a э (3)

m

э

,

a

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

ределение массы, которое отвечает соотно-

шению (2). Причина этому следующая.

Пользуясь соотношением ( 2), мы показа- ли, как можно измерить массу любого тела, используя эталон массы. Тогда, из-

мерив по формуле (3) массу нескольких

тел, можно на опыте показать, что масса нескольких тел, сложенных вместе, равна

сумме масс всех слагаемых тел . Если бы

мы определили массу тела, например, так,

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

К А К

В В О Д Я Т С Я

Ф И З И Ч Е С К И Е

В Е Л И Ч И Н Ы

4. Сила

Выше было указано, что ускорение лю- бого тела возникает при взаимодействии

этого тела с другими телами . Таким обра- зом, причиной ускорения, которое получа - ет данное тело, служит влияние на него других тел. Нужно найти физическую величину, которая служила бы мерой это - го влияния. Эту физическую величину назвали силой . Поэтому вместо того, что- бы говорить, что тело приобретает ускоре- ние под влиянием других тел, говорят кратко – на тело действует сила. Как выразить силу числом? Ответ на этот вопрос дал великий английский физик Ньютон. Он сформулировал один из важ- нейших законов механики, который полу- чил название второго закона Ньютона.

Если обозначить силу через F , то второй

закон Ньютона выражается уравнением

(4)

F = ma ,

где a – ускорение тела, a m – его масса. Не нужно думать, будто из уравнения (4)

следует, что сила F , действующая на тело,

зависит от его массы или ускорения. Зна- чение силы не зависит от свойств тела или от характера его движения. Оно определя- ется характером взаимодействия данного тела с другими телами. К счастью, в природе имеется не так много различных типов взаимодействия . При изучении же законов механики мы сталкиваемся всего с двумя типами сил – это сила всемирного тяготения (гравита - ционная сила) и электростатическая сила. 2 Сила всемирного тяготения определяет - ся формулой

F

=

G

m m

1

2

r

2

(закон всемирного тяготения Ньютона). В частности, в условиях Земли сила всемир- ного тяготения проявляется в виде силы

2 Существуют также магнитные силы, кото- рые своим происхождением обязаны движе- нию электрических зарядов. Однако обычно они малы по сравнению с электростатическими силами .

с электростатическими силами . тяжести, действующей на любое

тяжести, действующей на любое тело и

направленной к центру Земли.

Электростатическая сила определяется

формулой

7

F

=

k

q q

1

2

r

2

(закон Кулона). В механике электричес- кие силы, характеризующие взаимодей - ствие между заряженными частицами, из которых состоят тела, проявляются в виде сил упругости и сил трения. Сила упруго- сти возникает при деформации тела, т.е. при изменении взаимного расположения частей тела, например при растяжении или сжатии пружины. Сила трения возни- кает, как известно, при движении сопри- касающихся тел относительно друг друга. Таким образом, в механике обычно изу - чаются три вида сил: сила всемирного тяготения, сила упругости и сила трения. Если любая из этих сил, приложенная к телу массой m, вызывает его ускорение, равное a , то значение этой силы всегда равно ma . Д ругими словами, если телу массой m нужно сообщить ускорение, рав-

ное a , то к этому телу нужно приложить

силу, равную F = ma (ясно, что направ-

ление прилагаемой силы F должно совпа-

дать с направлением ускорения a , кото- рое нужно сообщить телу). При этом сила

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

8

К В А Н T $ 2 0 1 8 / № 6

Попытаемся выяснить, что послужило основанием для формулировки второго закона Ньютона. Представим себе две ма- териальные точки А и В, взаимодействую- щие друг с другом, т. е . сообщающие друг другу ускорения. Опыт показывает, что направления этих ускорений взаимно про- тивоположны. Очевидно, обе взаимодей- ствующие материальные точки «равноправ- ны» в том смысле, что можно взаимно поменять их обозначения . Другими слова- ми, ни одна из взаимодействующих точек не имеет никаких преимуществ перед дру- гой. Отсюда следует, что должна суще - ствовать физическая величина, одинако- вая для обеих взаимодействующих мате - риальных точек. Нетрудно найти такую величину. Из соотношения ( 2) следует

=

m

A

a

B

m

B

a

A

,

где

– массы взаимодействующих

материальных точек,

– модули их

ускорений. Таким образом,

(5)

Вот мы и нашли величину, которая оди- накова для обоих взаимодействующих тел. Эта величина характеризует взаимное вли- яние материальных точек друг на друга, вызывающее их ускорения. Существова- ние такой величины и послужило основа- нием для формулировки второго закона Ньютона. Учитывая, что ускорение – величина векторная, перепишем соотношение (5) в виде

m

A

и

m

B

a

A

и

a

B

m a = m a

A

A

B

B

.

m a

A

A

= -m

B

a

B

.

Обозначив

лучим

m a = F

A

A

A

и

m a = F

B

B

B

, по-

F

A

= -F

B

.

Векторные величины

Ньютон

назвал силами . Как видно, сила, с кото-

рой материальная точка А действует на материальную точку В, равна по моду- лю, но противоположна по направлению силе, с которой материальная точка В действует на материальную точку А. Это утверждение выражает третий закон Ньютона. Иногда кратко этот закон фор -

F

A

и

F

B

мулируют так: действие равно противо- действию. Из всего сказанного о физической вели- чине, называемой силой, следует, что един- ственный результат действия силы на тело – это приобретаемое телом ускорение.

5. Импульс

Мы уже знаем, что при взаимодействии двух тел оба тела получают ускорения, которые зависят от их масс. Но можно

найти величину, которая будет одинакова для обоих взаимодействующих тел и не будет зависеть от масс этих тел. Эту величину мы найдем, переписав вто-

рой закон Ньютона – F = ma – в несколь-

ко измененном виде. Вспомним, что уско-

рение тела можно записать как

Тогда

v

-

v

0

t

.

a =

F =

m

v

-

v

0

t

, откуда

Ft = mv - mv

0

.

можно записать как Т огда v - v 0 t . a = F = m

К А К

В В О Д Я Т С Я

Ф И З И Ч Е С К И Е

В Е Л И Ч И Н Ы

9

Величина mv получила название импуль-

са тела, а величина Ft

Теперь мы можем сказать, что при взаи- модействии двух тел изменяется импульс каждого из них. Но, в соответствии с третьим законом Н ьютона, импульсы сил, с которыми тела действуют друг на друга, равны по модулю и направлены в противо- положные стороны. Поэтому и изменения импульсов обоих тел также равны по мо- дулю и взаимно противоположны по на- правлению. Значит, геометрическая сум- ма импульсов взаимодействующих тел остается постоянной при любом взаимо- действии этих тел . Это утверждение на- зывают законом сохранения импульса . Можно показать, что закон сохранения импульса справедлив не только для двух, но и для любого числа взаимодействую- щих друг с другом тел. Это – один из важнейших законов природы.

– импульса силы.

6. Работа и энергия

Импульс силы мы определили как про-

изведение силы F на время ее действия t.

По аналогии можно ввести величину, рав- ную произведению силы, действующей на тело, на перемещение тела. Эту величину называют работой силы. В том случае, когда направления векторов силы F и перемещения s совпадают, работа силы равна Fs . В общем же случае, когда на - правление силы и направление перемеще- ния тела составляют угол друг с другом, выражение для работы имеет вид

A = Fs cos .

В отличие от импульса тела, который есть величина векторная, работа – величина скалярная. Можно доказать, что работа сил, дей- ствующих на тело, всегда равна

A =

mv

2

2

-

mv

2

0

2

.

(6)

mv

2

2

Величину

называют кинетической

энергией движущегося тела. Р авенство (6)

выражает так называемую теорему о кине - тической энергии: изменение кинетичес- кой энергии тела равно работе действу-

тела равно работе действу- ющих на тело сил . Н апомним, что

ющих на тело сил. Напомним, что взаимо- действие тел можно характеризовать не только силой, но и потенциальной энерги- ей. Для потенциальной энергии справед- лива следующая теорема: изменение по- тенциальной энергии взаимодействующих тел, взятое с противоположным знаком, равно работе сил взаимодействия. Таким образом, мы ввели три важные физические величины – работу сил, кине- тическую энергию тела и потенциальную энергию взаимодействия тел. Нетрудно показать, что для системы тел, взаимодей- ствующих друг с другом силами тяготения и упругости, справедлив закон сохранения полной энергии: сумма потенциальной и кинетическойэнергийвзаимодействующих друг с другом тел остается неизменной. Закон сохранения энергии и закон со- хранения импульса представляют собой наиболее общие законы природы.

* *

*

Мы привели ряд примеров того, как вводятся физические величины. Из этих примеров видно, насколько важно пра- вильно выбрать физические величины, характеризующие то или иное явление. М ы ограничились только величинами, характеризующими механическое движе-

ние. Рациональное введение физических

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

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

10

К В А Н T $ 2 0 1 8 / № 6

«Вот Квант, который построил Исаак »

А.САВИН

Вот Квант, который построил Исаак,

А вот ученица,

Которая изредка любит хвалиться, Что все понимает на целой странице

В Кванте, который построил Исаак.

Вот автор статьи – знаменитый ученый, Который писал ее так увлеченно Для этой без меры серьезной девицы, Которая изредка любит хвалиться, Что все понимает на целой странице

В Кванте, который построил Исаак.

А вот рецензент – давний член редсовета,

Который прочел сочинение это, Представив себя симпатичной девицей, Которая тщетно мурыжит страницу, Пытаясь понять то, о чем говорится

В Кванте, который построил Исаак.

А это редактор, статью эту правивший,

Лишь автора имя на месте оставивший, Чтоб даже тупейшая в мире девица С могла хоть единожды в год похвалиться, Что все понимает на целой странице

В Кванте, который построил Исаак.

А это художник в глубокой прострации

Пытается выдумать те иллюстрации, Которые так очаруют девицу, Что сходу она прочитает страницу

В Кванте, который построил Исаак.

Вот главный редактор – большой академик, Он правит (за это не требуя денег), Чтоб делалось все только так и вот так, Поскольку он есть этот самый Исаак, Который по уши влюбился в девицу, Которая пальчиком тычет в страницу, Пытаясь понять то, о чем говорится

В Кванте, который построил Исаак.

понять то, о чем говорится В К ванте, который построил И саак .

Выпуклый анализ на плоскости

Л.ЛОКУЦИЕВСКИЙ, В.ТИХОМИРОВ

М Ы ОБСУДИЛИ СВОЙСТВА ВЫПУК-

лых множеств, теперь расскажем о выпуклых функциях. Стоит сказать, что особое развитие теории выпуклости про- изошло именно благодаря анализу выпук- лых функций. С каждой функцией одного переменно- го y f x , у которой допускаются значе- ния, равные .е. с областью определе- ния R ), связано на плоскости с координа-

тами x; y множество epi

, называемое надграфиком

E | y f x

f x; y

2

или эпигрбфом функции f . Функция, над- график которой выпуклое множество, на- зывается выпуклой, а функция надграфик которой замкнутое множество, называется

замкнутой (рис.7). Функция

y x , а

2

(рис . 7) . Функция y x , а 2 Рис. 7. Выпуклая замкнутая

Рис. 7. Выпуклая замкнутая функция одного переменного

также функция, равная нулю, скажем, на

отрезке 0;1 , а вне этого отрезка равная бесконечности, выпуклы и замкнуты, а

функция

является. Символ оказывается очень удобным при исследовании выпуклых функций. Правила работы с ним совершенно есте- ственны: a для любого конеч- ного числа a, a для любого a >

замкнута, но выпуклой не

y x

3

Окончание. Начало – в предыдущем номере журнала .

> 0, а произведение 0 и разность будем считать некорректными . Также a для любого конечного числа a. Множество тех x, где f x , называ- емое эффективным множеством f, обо- значается dom f .

На самом деле, теория выпуклых множеств была создана Минковским не на плоскости, а в n-мерном пространстве, а теория выпуклых функций была построена Фенхелем и некото- рыми другими математиками сороковых-пяти- десятых годов прошлого века не для функций одного переменного, а для функций многих переменных. Эти исследования оказались очень актуальными. Еще перед Второй мировой вой- ной обнаружилось, что планирование военных

операций и экономика моделируются система- ми линейных неравенств, и в теории выпукло- сти выделился раздел, где такие неравенства исследовались. Основы теории выпуклых не- равенств были заложены Леонидом Виталье- вичем Канторовичем (1912–1986) в 1939 году, а сам раздел получил название линейного программирования .

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

ственная к которой совпадает с исходной функцией! Но не будем забегать вперед. Сначала поймем, как алгебраически сформулиро- вать результат теоремы Минковского, при- мененной к надграфику выпуклой функ- ции. Напомним, что линейной функцией называется функция вида y = ax + b, где a и b – вещественные числа. Линейная функция является выпуклой, так как ее

12

К В А Н T $ 2 0 1 8 / № 6

надграфик – это полуплоскость. Ключе- вая идея, позволяющая превратить теоре- му Минковского в анализ выпуклых функ- ций, заключается в том, что полуплоскос- ти описываются линейными неравенства - ми. В результате получается очень мощ - ный язык для работы с выпуклыми функ - циями. Теорема 4 (теорема Фенхеля о двой- ственном описании выпуклых функций). Выпуклая замкнутая функция одного переменного является верхней гранью линейных функций, ее не превосходящих. Доказательство. Пусть задана выпук- лая замкнутая функция y f x . Если эффективное множество этой функции пусто, dom f , то утверждение теоре- мы очевидно выполнено. Поэтому будем считать, что dom f . Докажем, что в

этом случае для любой точки

не из

epi f найдется такая линейная функция, что, с одной стороны, ее график лежит

ниже надграфика epi f , а с другой сторо-

. Существование

такой линейной функции для каждой точ -

, не лежащей в надграфике

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

ки

ны – над точкой

x

0

; y

0

x

0

; y

0

x

0

; y

0

ремы .

Итак, выберем любую точку x dom f .

Точка

x; f

x

1

на плоскости не при-

надлежит epi f и по теореме отделимости (теорема 1) может быть строго отделена от

epi f прямой

l 1 , которая не может быть

не принадле-

жит epi f , то по теореме 1 она может быть

строго отделена от epi f прямой

эта прямая – график линейной функции, то все в порядке. Но допустим, что прямая

вертикальна, т.е. имеет уравнение x .

. Если

Поскольку точка

x

0

; y

0

l

2

l

2

В этом случае надграфик epi f лежит либо

слева, либо справа от

случаи аналогичны, будем для определен-

ности считать, что

. Так как

прямая

на, они обязательно пересекаются . Обо-

значим через ; координаты точки пе-

ресечения. Проведем прямую

1

строго отделяет epi f от точки

и не является вертикальной. Та-

ким образом, мы доказали, что для любой

точки, не принадлежащей epi f , существу-

ет линейная функция, отделяющая эту точку от надграфика заданной функции . А это и требовалось доказать.

Теперь мы готовы для формулировки выпуклой двойственности для выпуклых функций . Д войственным объектом для выпуклой функции f x является сопря-

женная функция f

, являющаяся по

определению максимумом, а точнее супре - мумом, выражения px f x по всем x:

l

2

. Поскольку эти

x

0 , т.е. надграфик

вертикаль-

3

через точ-

. По построению,

epi f лежит справа от прямой l

2

l

1

не вертикальна, а

l

2

ки ; и

прямая

x

0

; y

0

l

3

x

0

; y

0

l

p

f

p

sup

x R

px

f

x

.

вертикальной прямой, имеющей коорди - Т акже иногда сопряженную
вертикальной прямой, имеющей коорди -
Т акже иногда сопряженную функцию
p
нату x (такая прямая точку
x; f
x
1
f
называют преобразованием Юнга–
строго не отделяет) . Значит, эта прямая –
график линейной функции (рис .8).
Фенхеля (или Лежандра–Юнга–Фенхе-
ля) функции f x либо первой сопряжен-
ной к f функцией. Второй сопряженной
к f функцией называют функцию, сопря-
женную к сопряженной:
f
x
sup
px
f
p
.
p
R
Теорема 5 (теорема Фенхеля–Моро).
Пусть f – выпуклая и замкнутая функ-
f
ция одного переменного. Тогда f
.
Доказательство. Эта теорема является
несложным следствием теоремы Фенхеля.
Точка p; q лежит в надграфике f , если

Рис. 8. Иллюстрация к доказательству теоремы Фенхеля

при всех x.

Меняя в этом неравенстве q и f x места -

q

f

p

, т . е . q px f x

В Ы П У К Л Ы Й

А Н А Л И З

ми, получаем, что f x px q при всех

x. Итак, точка p; q лежит в epi f , если график линейной функции y = px q лежит под epi f . Изучим теперь надграфик второй сопря-

женной функции f . Точка

жит

при всех p. Поэтому если

q . Итак,

лежит в

epi f , если она лежит над графиками всех прямых y = px q для всех p; q из epi f . Другими словами, f – это верхняя грань линейных функций, не превосходя - щих f. Поэтому по теореме Фенхеля f Верно, конечно, и утверждение, обрат - ное к теореме Фенхеля–Моро: если f

,

.

мы получили, что точка

ле-

т . е .

x

0

; y

0

y

q

в

epi f , если

0

px

0

f

p

f

p

, то заведомо

y

0

y

0

f

px

0

x

0

; y

0

x

0

,

f

f

то функция f является выпуклой и замкну- той. Доказательство мы не приводим, так как оно почти ничем не отличается от аналогичной части в доказательстве теоре -

мы о биполяре. Рассмотрим одно простое, но очень важ- ное применение сопряженных функций. Очевидно из определения, что для всех x и p выполняется неравенство

f

x

f

p

px

,

называемое неравенством Юнга. Задача 2. Выберем любые четыре поло-

жительных числа x, p, a и b. Докажите,

что если

1

1

x

2

a

p

b

1

x

a

, то

p

b

2

a

2px ) .

px

b

(при a = b = 2 это всем известное неравен-

ство

Разберемся, при каких x и p в неравен- стве Юнга возможно равенство . Задача 3. Предположим, так оказалось, что выпуклые функции f и f дифферен- цируемы. Докажите, что

f

x

f

p

px

 

p

f

x

x

f

p

.

Выпуклый анализ очень хорошо работа- ет в задачах оптимизации. Рассмотрим одно из применений идеи отделимости при отыскании минимума функции . П усть,

Н А

П Л О С К О С Т И

12

например, f x – дифференцируемая вы- пуклая функция одного переменного и требуется найти ее минимум на отрезке a; b . График выпуклой функции всегда лежит над касательной . П оэтому если

в некоторой точке c a; b , то

минимум не может лежать на отрезке c;b и должен лежать на отрезке a; c . Если f c 0 , то, аналогично, минимум нахо-

дится на отрезке c; b . Е сли же f c 0 , то c – минимум. Для того чтобы найти минимум, можно попробовать решить уравнение f x 0 , однако явно решить такое уравнение полу- чится далеко не всегда. Тем не менее,

приближенно найти минимум выпуклой функции очень просто. Пусть c – середина

отрезка a; b . Если f c 0 , то c – мини-

мум и задача решена. Если же f c 0

(что скорее всего), то в зависимости от

знака f

ту

половину отрезка, на которой находится минимум, а про вторую, на которой мини-

мума заведомо нет, забудем. Д алее, обо-

значим через

отрезка

позволит уменьшить отрезок еще в

два раза. Таким образом, мы получим

геометрическую прогрессию со знаменате -

лем

2 и за n шагов найдем отрезок длины

1 середину получившегося и повторим: вычисление

f

c 0

c

обозначим через

a ;b

1

1

c

a ;b

1

1

f c

1

1

через a ; b 1 1 c a ; b 1 1 f c 1 1

2 n

, на котором лежит минимум,

или, другими словами, найдем минимум с

точностью до

b a

b a

2 n .

с точностью до b a b a 2 n . Н а первый взгляд, описанный

Н а первый взгляд, описанный выше метод « отсечения» будет работать только на прямой, так как опирается на деление отрезка пополам . О днако это не так! О н прекрасно работает и в многомерном случае: если требуется прибли- женно найти минимум выпуклой функции

многих переменных

на выпук-

, то, вы-

лом ограниченном множестве

числив производную f в какой -нибудь точке множества C , можно провести через эту точку гиперплоскость (ортогональную f ) и отсечь

полупространство, в котором минимума заве- домо нет. Е сли при этом в качестве точки выбрать центр масс C , то по (очень красивой) теореме Грюнбаума–Х аммера (см. [3]) объем отсеченной части будет составлять не меньше

f

x

1

,

x

2

,

, x

n

C E

n

14

К В А Н T $ 2 0 1 8 / № 6

1

Длину границы C часто для краткости называют периметром (по аналогии с многоугольником) и обозначают P (C ). На алгебраическом языке формула Штей- нера записывается так:

S C

r

S C P C r r

2

.

e от объема всего множества C . Поэтому,

действуя по индукции, мы получим геометри-

.

Данный алгоритм носит название «метод цен- трированных сечений» и имеет сейчас очень широкое применение в компьютерных вычис- лениях. Отметим, что задача нахождения цен- тра масс многомерного выпуклого тела все же сложнее задачи отыскания середины отрезка и требует отдельного обдумывания.

Теперь, когда мы доказали все основопо- лагающие теоремы выпуклого анализа, поговорим еще о некоторых красивых гео- метрических результатах, на которые во- обще так богат выпуклый анализ. Одним из таких результатов, без сомнения, явля- ется формула Штейнера, которая позво- ляет вычислить площадь r -окрестности выпуклого множества C . Напомним, что r-окрестностью множества C , r 0 , назы- вается совокупность точек, находящихся на расстоянии не больше r от C :

ческую прогрессию со знаменателем

1

1

e

О тметим, что если C

– точка, то

S C 0 и P C 0 , а если C – отрезок,

то S C 0 , а P C есть удвоенная дли- на отрезка. В обоих этих случаях формула Штейнера легко проверяется. Для доказа- тельства интерес представляют лишь вы- пуклые множества с непустой внутренно- стью. Доказательство формулы Штейнера. Разберем сначала случай, когда множе- ство C является выпуклым многоуголь-

ником с вершинами

C

. В этом

случае множество

многоугольника C , прямоугольников

высоты r, построенных на сто-

ронах многоугольника, и секторов

окружностей радиуса r с центра-

ми в вершинах многоугольника, как изобра-

. жено на рисунке 10. Сумма площадей

состоит из самого

A 1 ,

, A

n

r

1 , ,

n

1 , ,

n

C

r

=

{

A ŒE 2 :

(

d A

, C

)

£ r

}

Обозначим через S (C ) площадь множе- ства C . Естественно ожидать, что при

S C

малых r площадь

чаться от площади S C . На самом деле

есть квадратный

трехчлен по r , коэффициенты которого определяются формой множества. Теорема 6 (формула Штейнера). Если

C – выпуклое ограниченное множество,

оказывается, что

) будет мало отли-

(

r

S

C

r

то площадь его r-окрестности отличает- ся от площади самого множества C на

сумму площади прямоугольника, одна из сторон которого имеет длину границы

C , а вторая равна r, и площади круга

радиуса r (рис.9).

и площади круга радиуса r (рис.9). Рис. 9. Иллюстрация к формуле

Рис. 9. Иллюстрация к формуле Штейнера

9. Иллюстрация к формуле Штейнера Рис. 10. Формула Штейнера для

Рис. 10. Формула Штейнера для выпуклого многоугольника

прямоугольников

периметру P C многоугольника C , ум-

ноженному на r . Вычислим сумму площа-

. Как нетрудно увидеть,

имеет угол, равный

внешнему углу многоугольника в своей

A i . Поскольку сумма внешних

углов многоугольника равна 36 0 , то,

,

если составить вместе все секторы

получится в точности круг, а значит, сум-

вершине

каждый сектор

дей секторов

i , очевидно, равна

i

i

i

В Ы П У К Л