Стартовая Предметный указатель Новости науки и техники
Новости науки и техники
КАМЕННЫЕ ГИГАНТЫ
Газовые планеты-гиганты могут выгорать до твердого ядра.
Первые обнаруженные астрономами каменные планеты, обращающиеся вокруг далеких звезд, возможно, покрыты лавой. Если это действительно так, то ученым придется пересмотреть теорию планетообразования. Далее...

ГАЗОВЫЙ ГИГАНТ

перевала метод

ПЕРЕВАЛА МЕТОД - способ оценки интегралов, подынтегральные ф-ции к-рых имеют резкий максимум. Обычно П. м. применяют для оценки интегралов вида

15040-55.jpg

где15040-56.jpg - большой параметр,15040-57.jpg15040-58.jpg - контур в комплексной плоскости z, ф-ции f(z) и q(z)аналитичны в области, содержащей15040-59.jpg П. м. позволяет получить асимптотическое разложение интеграла15040-60.jpg Суть П. м. заключается в том, что для подынтегральной ф-ции с резким максимумом осн. вклад в интеграл даёт малая окрестность точки максимума z0. Преобразуя путь интегрирования и производя замену переменных, добиваются того, чтобы наиб. давала окрестность z0 как можно меньшего размера, а подынтегральная ф-ция имела наиб. простой вид. Получающиеся эталонные интегралы часто удаётся вычислить. Простейший вариант П. м. был использован П. Лапласом (P. Laplace) в 1820, затем он был развит в работах Б. Римана (В. Riemann) в 1863 и П. Дебая (P. Debye) в 1909.
На первом этапе вычислений контур15040-61.jpg деформируют в контур с теми же концами, проходящий через стационарные точки z0 ф-ции q(z)[точки, в к-рых q'(z)=0]. Стационарная точка является седловой точкой поверхности и = и(х, у) = Req(z), z = х + iy. Наиб. удобный путь интегрирования совпадает с линией, вдоль к-рой Im q(z)постоянна, a Req(z) убывает быстрее всего (перевальный контур, путь наибыстрейшего спуска), тогда вычисление интеграла сводится к интегрированию по вещественной переменной. Др. возможность - выбор линии с постоянной Req(z), в этом случае П. м. переходит в метод стационарной фазы. Если при переходе к перевальному контуру встречаются особые точки ф-ции f(z), соответствующие вклады учитывают с помощью Коши теоремы. Если в рассматриваемой области q'(z)не имеет пулей, осн. вклад в интеграл даёт окрестность одного из концов контура интегрирования.
На след. этапе вычислений производят замену переменной15040-62.jpg так, чтобы максимум ф-ции15040-63.jpgдостигался при s =
0, а производная15040-64.jpg обладала нулями такого же порядка, как и ф-ция q'(z). От выбора15040-65.jpg зависит вид эталонного интеграла.

1. Если q'(z)имеет в точке z0 нуль порядка m, а f(z) регулярна вблизи z0, то15040-66.jpg Эталонный интеграл выражается через гамма-функцию (см. Эйлера интегралы).

2. Если q'(z)имеет два близко расположенных простых нуля z1,2, то15040-67.jpg15040-68.jpgа0 - постоянная. Эталонный интеграл выражается через Эйри функцию. Если15040-69.jpg конечна, то надо учитывать вклады каждого нуля отдельно (случай 1).

3. Три равноотстоящих нуля, расположенных близко друг к другу. Подстановка15040-70.jpg = а0 - (а + s2)2, эталонный интеграл выражается через параболического цилиндра функцию.

4. Если вблизи z0 имеется полюс ф-ции f(z), то интеграл разбивается на две части, одна из к-рых соответствует случаю 1, а вторая выражается через интеграл вероятности или Френеля интеграл (см. Интегральные функции).

5. Если f(z) имеет точку ветвления 1-го порядка вблизи простой седловой точки, то интеграл выражается через ф-цию параболич. цилиндра.

6. Седловая точка находится вблизи концевой точки контура интегрирования, но не совпадает с ней. Эталонный интеграл выражается через интеграл Френеля.

Напр., если ф-ция f(z) не имеет особенностей вблизи изолиров. седловой точки 1-го порядка z0, т. е. точки, в к-рой q'(z0) = 0, q"(z0)15040-71.jpg0, то асимптотич. значение15040-72.jpg таково:

15040-73.jpg15040-74.jpg

аналогично получают асимптотич. разложение интеграла15040-75.jpg по степеням15040-76.jpg
П. м. можно применять и в многомерном случае. Напр., для кратного вещественного интеграла

15040-77.jpg

имеющего простую стационарную точку x0 = {xi0, ..., xn0}, и для ф-ции f(x), регулярной вблизи x0, асимптотич. оценка имеет вид

15040-78.jpg

Возможность перехода к эталонному интегралу в случае многомерной перевальной точки определяется леммой Морса, в соответствии с к-рой в окрестности невырожденной перевальной точки существует такая система локальных координат z1, ..., zn, что f(z) = f(0) + z21 + .... + z2n. В тех случаях, когда при замене переменных возникают особенности, структуру эталонных интегралов определяют методами теории дифференцируемых отображений (см. Катастроф теория).
П. м. зачастую является единств, средством оценки интегралов, его применяют в разл. задачах матем. и статистической физики, распространения и рассеяния волн, диффузии и теплопроводности, при исследовании специальных функций, интегральных преобразований и др.

Лит.: Джеффрис Г., Свирлс Б., Методы математической физики, пер. с англ., в. 3, М., 1970, гл. 17; Федорюк М. В., Метод перевала, М., 1977; Фелсен Л., Маркувиц Н., Излучение и рассеяние волн, пер. с англ., т. 1, М., 1978, гл. 4; Олвер Ф., Введение в асимптотические методы и специальные функции, пер. с англ., М., 1978.

В. Е. Рокотян.

  Предметный указатель