Объяснение эффекта Фарадея (Э)

У Фарадея не было теории того явления, которое он обнаружил. В следующем, 1846 году Г. Б. Эри (1801-1892) показал, как описать это явление аналитически в рамках волновой теории света. Уравнения света содержали некоторые вторые производные перемещения по времени. Эри добавлял ad hoc другие члены, содержащие первые или третьи производные. Это стандартный ход в физике. Для того, чтобы уравнения удовлетворяли явлению, с полки берутся стандартные дополнительные члены уравнения, без определенного представления о том, почему поможет один, а не другой.
В 1856 году Кельвин предложил физическую модель: магнитное поле заставляет молекулы в куске стекла вращаться вокруг осей, параллельных линиям напряженности. Это молекулярное вращение сочетается с вибрациями, производимыми световыми волнами, и, следовательно, заставляет вращаться плоскость поляризации.
Модель Кельвина была принята Максвеллом и помогла ему сформировать электромагнитную теорию света. Однако она не очень хорошо сочеталась с подробностями эксперимента, о которых сообщает Верде. Тогда Максвелл использовал аргументы симметрии для того, чтобы определить добавочные члены в уравнениях электромагнитного поля, используемого для описания явления. Наконец, в 1892 году Х.А. Лоренц совместил уравнения Максвелла со своей теорией электрона. Основанное на этом объяснение используется и поныне. Эффект описывали физически, в стиле Кельвина, как локальное движение вокруг линий напряжения. Но это не кельвиновское мистическое вращение молекул, которое просто имеет место и все. Это движение электронов, вызываемое электромагнитным способом.

Шесть уровней "теории"

В нашем рассказе участвует по крайней мере шесть разных уровней теории. Это не просто уровни большей или меньшей общности или логической силы, скорее разные типы теоретизирования. Первая экспериментальная работа была проделана Фарадеем, а затем Верде. "Теоретические" идеи можно представить следующим образом, в порядке появления:
1. Движимый верой в единство науки, Фарадей размышляет на тему о том, что должна быть некоторая связь между электромагнетизмом и светом.
2. Возникает фарадеевская аналогия открытию Брюстера: электромагнитные явления могут влиять на поляризационные свойства.
3. Эри дает математическое описание ad hoc.
4. Кельвин создает физическую модель, используя механическую картину молекул, вращающихся в стекле.
5. Максвелл использует аргумент симметрии для того, чтобы предоставить формальный анализ в рамках новой электромагнитной теории.
6. Лоренц предоставляет физическое объяснение в рамках теории электрона.
Я не хочу сказать, что эти различные типы гипотез появляются во всяком исследовании, а также то, что они должны появляться в таком порядке. Эта история в духе Бэкона начинается с глубокой идеи и аналогии, подтверждается экспериментом, а затем развивается во все более приемлимые теоретические формулировки. Конечно, очень часто вначале возникает большая теория (6). Наш пример лишь иллюстрирует банальный, но легко забываемый факт о том, что слово "теория" покрывает множество вопросов. Словарь говорит, что этимологически слово "теория" происходит от греческого слова, обозначающего, в том числе, спекулятивное мышление. Давайте остановимся на этом.

Спекуляция

Как и Ч.У.Ф.Эверитт, я придерживаюсь не двойной, а тройной классификации родов деятельности. Я называю их спекулятивным рассуждением, вычислением и экспериментом.
Слово "спекулирование" может быть применено ко всякого рода болтовне и играм на биржах. Я буду понимать под спекуляцией интеллектуальное представление чего-либо, имеющего интерес, игру в переструктурирование идей, которая может дать нам по крайней мере качественное понимание некоторых общих свойств мира.
Являются ли спекуляции только качественными? Конечно, нет. Физика - количественная наука. И все же большинство теорий имеют свободные параметры, значения которым даются в эксперименте. Основополагающая теория более качественна. Одна старая спекуляция заключалась в том, что путь, пройденный телом, свободно падающим на землю, зависит от квадрата времени падения. Он представляется как 1/2gt2. Численное значение местного ускорения свободного падения g не входило в исходную спекуляцию. Это лишь пустое место, которое мы заполняем при помощи не-теоретического измерения. В настоящее время всякая количественная теория в конечном счете говорит: "Уравнения имеют такую-то и такую-то форму, в которой определенные константы природы должны быть получены эмпирически". Долгое время бытовала лейбницевская мечта о выведении мировых констант, но пока это лишь программа, а не результативная деятельность. Таким образом, несмотря на все свои количественные признаки, спекуляция может быть существенно качественной.
Существует по крайней мере столько же способов спекуляции, сколько и представлений. Существуют физические модели, иллюстрацией которых может быть описание эффекта Фарадея, предложенное Кельвином. Существуют математические структуры. Оба подхода привели к замечательным прозрениям. В соответствии с одним неверным стереотипом о науке второй половины девятнадцатого века немецкие физики использовали, в основном, математические подходы, тогда как британские создавали физические модели. На самом деле исследования этих двух типов взаимодействовали друг с другом, а исследователи часто открывали почти что одни и те же факты совершенно разными методами. Более того, при ближайшем рассмотрении оказывается, что большая часть физических моделей, например, Максвелла, включают абстрактные структуры. Таким образом, элементы его статистической механики были не твердыми частицами, а математическими дифференциалами без какого-либо явного физического значения. И наоборот, работа множества немецких прикладных математиков зависела от простых физических моделей. Эти стороны человеческого разума в общем не отделимы, а сочетаются и будут сочетаться и изменяться непредсказуемым способом.

Вычисление

Кун замечает, что нормальная наука - дело того, что он называет артикуляцией. Мы артикулируем теорию для того, чтобы она была лучше согласована с миром, была открытой для опытного подтверждения. Большая часть начальных спекуляций плохо согласуется с миром. Это происходит по двум причинам. Одна заключается в том, что из спекуляции вряд ли можно вывести следствия, которые даже в принципе будут проверяемы. Другая причина заключается в том, что высказывание, которое в принципе проверяемо, часто не бывает проверяемо, просто потому что никто не знает, как осуществить проверку. Требуются новые экспериментальные идеи и новые виды технологий. В примере с Гершелем и тепловым излучением потребовалась термопара и идеи Македонио Меллони, для того чтобы по-настоящему разработать исходные спекуляции Гершеля.
Таким образом, артикуляция Куна должна обозначать два типа вещей - артикуляцию теории и артикуляцию эксперимента. Более теоретическую из этих типов деятельности я условно назову "вычислением". Я имею в виду не простой счет, а математическое воплощение данной спекуляции, приводящее ее к большей согласованности с миром.
Ньютон был великий мастер спекуляций. Он был также великим вычислителем. Он изобрел дифференциальное исчисление для того, чтобы понять математическую структуру своих спекуляций о движении планет. Ньютон был также одаренным экспериментатором. Мало кто из ученых проявил себя в обоих типах деятельности. П.С. Лаплас (1749-1827) представляет пример великолепного вычислителя. Его "Небесная механика", написанная около 1800 года, была по тому времени самой тонкой разработкой ньютоновской теории движения планет. Ньютон оставил без ответа бесчисленное множество вопросов, для ответа на которые (а иногда даже и для постановки которых) потребовалась новая математика. Лаплас также известен благодаря своему выдающемуся вкладу в теорию вероятностей. В начале своей знаменитой вводной лекции о вероятности он сформулировал одну классическую версию детерминизма. Он сказал, что высший разум, обладающий знанием уравнений вселенной и множества граничных условий, в состоянии вычислить положение и скорости всех частиц в любом отдаленном будущем. Создается впечатление, что Лаплас представлял Высший Разум как несколько более совершенный вариант самого Лапласа, Великого Вычислителя. Лаплас применял ньютоновские идеи притяжения и отталкивания к большинству исследуемых вопросов, включая тепло и скорость звука. Как я уже заметил, так же как Лаплас увенчал достижения Ньютона мощными вычислениями, менее значительные экспериментаторы своими вольтовыми батареями, компасами и различными световыми фильтрами по крайней мере держали ньютоновскую программу на плаву.