Главная > ПРИКЛАДНАЯ TEOPИЯ КАТАСТРОФ. ТОМ-1 (Р.ГИЛМОР)
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

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

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

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

Пусть $x^{0}$ – неморсовская критическая точка функции $\boldsymbol{\Phi}(x ; \boldsymbol{\Omega})$. Тогда с помощью гладкой замены переменных Ф можно привести к каноническому виду (2.4)
\[
\Phi \doteq \mathrm{CG}(l)+M_{i}^{n-1} .
\]

При этом вклад окрестности точки $x^{0}$ в интеграл от быстро осциллирующей функции выражается следующим образом:
\[
\begin{array}{l}
A_{x^{0}}(\boldsymbol{\Omega})=\psi\left(x^{0} ; \boldsymbol{\Omega}\right) e^{i k \Phi\left(x^{0} ; \Omega\right)} J\left(x^{0}\right) \int\left(\frac{k}{2 \pi}\right)^{n-l / 2} e^{i k M_{i}^{n-1}} d^{n-1} x^{\prime} \times \\
\times \int\left(\frac{k}{2 \pi}\right)^{l / 2} e^{i k \mathrm{CG}(l)} d^{l} x^{\prime},
\end{array}
\]

где $J\left(x^{0}\right)$ – якобиан преобразования, приводящего к каноническому виду (13.18) в точке $x^{0}$. Интеграл по морсовским областям в (13.19) представлен в (13.17) так, что остается лишь вычислить вклад, вносимый за счет ростка катастрофы СG( $l$ ) с $l$ переменными. Оценка и вычисление таких интегралов могут быть выполнены соответственно путем анализа размерностей и комплексного анализа.

Проиллюстрируем эти методы для одномерного случая. Предположим, что $\Phi(x ; \boldsymbol{\Omega})$ и $\psi(x ; \boldsymbol{\Omega})$ имеют вид
\[
\begin{array}{c}
\Phi(x ; \mathbf{\Omega})=\Phi\left(x^{0} ; \mathbf{\Omega}\right)+\Phi_{r}(x ; \mathbf{\Omega}), \\
\boldsymbol{\psi}(x ; \mathbf{\Omega})=\sum c_{j}\left(x-x^{0}\right)^{j} .
\end{array}
\]

Здесь остаточный член $\Phi_{r}(x ; \boldsymbol{\Omega})$ определяется разложением в ряд Тейлора в окрестности точки $x^{0}$. Для $\left|x-x^{0}\right| \ll 1$ члены $\left|x-x^{0}\right|^{p}$ с более низкими степенями меняются значительно быстрее членов $\left|x-x^{0}\right|^{p}$ с более высокими степенями $(p<q)$. Поскольку по существу мы имеем дело с быстрым изменением тригонометрических членов в быстро осциллирующих интегралах, достаточно рассмотреть лишь главный ненулевой член в $\boldsymbol{\Phi}_{r}(x ; \mathbf{\Omega})$ :
\[
\Phi_{r}(x ; \mathbf{\Omega})=\gamma\left(x-x^{0}\right)^{p}, \quad \gamma
eq 0, \quad p>0 .
\]

В результате имеем
\[
\begin{array}{c}
\left(\frac{k}{2 \pi}\right)^{1 / 2} \int_{x^{0}-\varepsilon}^{x^{0}+\varepsilon} \psi(x ; \Omega) e^{i k \Phi(x ; \Omega)} d x= \\
=e^{i k \Phi\left(x^{0} ; \Omega\right)} \sum_{j=0} c_{j}\left(\frac{k}{2 \pi}\right)^{1 / 2} \int_{x^{0}-\varepsilon}^{x^{0}+\varepsilon}\left(x-x^{0}\right)^{i} e^{i k \gamma\left(x-x^{0}\right)^{p}} d x .
\end{array}
\]

Эти интегралы удобно вычислять, используя подстановку $y=$ $=k^{1 / p}|\gamma|^{1 / p}\left(x–x^{0}\right)$. Пределами интегрирования будут
\[
\pm \varepsilon|\gamma|^{1 / p}\left(\frac{2 \pi}{\lambda}\right)^{1 / p} .
\]

Если $\lambda$-длина волны и размер окрестности интегрирования $\varepsilon$ таков, что $\lambda^{1 / p} \ll \varepsilon$, то пределы интегрирования преобразованного интеграла удобно расширить до $\pm \infty$ без заметного искажения значения интегралов:
\[
\begin{array}{c}
\left(\frac{k}{2 \pi}\right)^{1 / 2} \int_{x^{0}-\varepsilon}^{x^{0}+e}\left(x-x^{0}\right)^{j} e^{i k \gamma\left(x-x^{0}\right)^{p}} d x= \\
=(2 \pi)^{-1 / 2} k^{1 / 2-(j+1) / p}|\gamma|^{-(j+1) / p} I_{ \pm}(j, p), \\
I_{ \pm}(j, p)=\int_{-\infty}^{+\infty} y^{j} e^{ \pm i y^{p}} d y
\end{array}
\]
(знак плюс соответствует случаю $\gamma>0$, а минус-случаю $\gamma<0$ ). Результат (13.24) позволяет представить интеграл в ле-

Рис. 13.4. Интеграл (13.25) можно оденить, вычисляя комплексный интеграл (13.26) вдоль трех участков показанного на рисунке секторообразного контура.

вой части в виде двух сомножителей – физического и геометрического. Физический сомножитель $k^{\sigma}$ определяет зависимость амплитуды от длины волны. Геометрический сомножитель (13.25) может быть вычислен методом контурного интегрирования.
Қомплексный интеграл
\[
I=\oint z^{f} e^{i z p} d z,
\]

взятый по контуру, показанному на рис. 13.4, равен нулю, поскольку в области, ограниченной контуром, нет полюсов, и может быть записан в виде суммы интегралов по двум отрезкам прямых и дуге
\[
\begin{array}{l}
0=I=\int_{0}^{R} x^{i} e^{i x^{p}} d x+\int_{0}^{\theta_{m}} R^{I} e^{i l \theta} e^{i R^{p}[\cos p \theta+i \sin p \theta]} R e^{i \theta^{\prime}} i d \theta+ \\
+\int_{R}^{0} R^{i} e^{i j \theta_{m}} e^{i R^{p}\left[\cos p \theta_{m}+i \sin \theta_{m}\right]} e^{i \theta_{m}} d R .
\end{array}
\]

Если $\theta_{m}$ находится в интервале $0 \leqslant p \theta_{m}<\pi$, то интеграл по дуге должен дать в пределе $R \rightarrow \infty$ нулевой вклад; если $p \theta_{m}=$ $=\pi / 2$, то третий член в (13.27) должен быть пропорционален интегралу от действительной функции:
\[
\int_{0}^{\infty} x^{j} e^{i x^{p}} d x=e^{i(j+1 / p) \pi / 2} \int_{0}^{\infty} R^{l} e^{-R^{p}} d R .
\]

Подстановка $y=R^{p}$ приводит (13.28) к виду
\[
\int_{0}^{\infty} x^{j} e^{ \pm i x^{p}} d x=e^{ \pm i\left(\pi_{i} 2\right)(j+1) / p} \frac{1}{p} \Gamma\left(\frac{j+1}{p}\right),
\]

где $\Gamma(n)=\int_{0}^{\infty} x^{n-1} e^{-x} d x$ – стандартная $\Gamma$-функция. Порядок величин этих выражений – единица при $p>0, j \geqslant 0$.

Выражения (13.24) и (13.25) содержат полезную информацию об относительном вкладе различных частей $\psi(x ; \boldsymbol{\Omega})$ и $\Phi(x ; \boldsymbol{\Omega})$ в быстро осциллирующий интеграл:
– при фиксированном $p$ члены с бо́льшими $j$ дают меньший вклад в значение интеграла. Когда $\lambda \rightarrow 0$, основной вклад вносит главный член разложения в ряд Тейлора функции $\psi(x ; \boldsymbol{\Omega})$ в окрестности $x^{0}$;
– интеграл $I_{ \pm}(j=0, p)$ принимает значения
\[
\begin{aligned}
I_{ \pm}(0,1) & =0, \\
I_{ \pm}(0,2) & =\pi^{1 / 2} e^{ \pm i \pi / 4} \\
I_{ \pm}(0, p) & =2 e^{ \pm i \pi / 2 p} \Gamma\left(1+\frac{1}{p}\right), p \text { четное, } \\
& =2 \cos \frac{\pi}{2 p} \Gamma\left(1+\frac{1}{p}\right), p \text { нечетное; }
\end{aligned}
\]
– зависимость амплитуды от длины волны на ростке катастрофы имеет вид
\[
A \sim k^{\sigma}, \sigma=\frac{1}{2}-\frac{1}{p} \text { для } A_{p-1} .
\]

Аналогичным образом исследуются остальные ростки катастрофы. Выбирая масштабы для аргументов $x^{\prime}=k^{\alpha} x, y^{\prime}=k^{\beta} y$, можно получить зависимость от длины волны из интеграла Френеля для ростка катастрофы $D_{p}(x, y)=x^{2} y+y^{p-1}$ :
\[
\begin{array}{c}
k^{2 / 2} \int_{-\infty}^{+\infty} e^{i k\left(x^{2} y+y^{p-1}\right)} d x d y= \\
=k^{1-\alpha-\beta} \int_{-\infty}^{+\infty} e^{i k y^{p-1}} d\left(k^{\beta} y\right) \int_{-\infty}^{+\infty} e^{i k x^{2} y} d\left(k^{\alpha} x\right) .
\end{array}
\]

Из размерности аргументов следует, что $\beta(p-1)=1,2 \alpha=$ $=\beta=1$, и интеграл принимает вид
\[
\begin{aligned}
& k^{2 / 2} \int_{-\infty}^{+\infty} \int^{i k D_{p}(x, y)} d x d y= \\
= & k^{(p-2) / 2(p-1)} \int_{-\infty}^{+\infty} \int^{i, D_{p}\left(x^{\prime}, y^{\prime}\right)} d x^{\prime} d y^{\prime} .
\end{aligned}
\]

Вывод. Интеграл Френеля для ростков элементарной катастрофы может быть представлен в виде произведения двух сомножителей, один из которых $\left(k^{\sigma}\right)$ зависит от физических свойств через длину волны $\lambda$, а другой (интегральный) – от геометрии и безразмерных комплексных чисел
\[
k^{l / 2} \int e^{i k \mathrm{CG}(l)} d^{l} x=k^{\sigma} \int e^{i \mathrm{CG}(l)} d^{l} x^{\prime}=k^{\sigma} I[\mathrm{CG}(l)] .
\]

Индекс $\sigma$ и значение этих интегралов для ростков элементарной катастрофы сведены в табл. 13.1.
$\diamond \diamond \diamond$ Для быстро осциллирующего интеграла вида (13.9) с $\psi=1$ вклад окрестности критической точки кратности $\mu$ может быть представлен в виде асимптотического разложения
\[
A \sim \sum_{\alpha, x} C_{a, x^{\lambda}} \lambda^{n / 2-\alpha}(\ln \lambda)^{x},
\]

где $0 \leqslant x \leqslant n-1^{2}$.

Categories

1
Оглавление
email@scask.ru