9. Жесткая нижняя граница
В этом разделе будет найдена нижняя граница для имеющая место при всех Для этого определим сначала нижнюю границу для а по ней найдем нижнюю границу для Метод ее нахождения очень сходен с методом, примененным для отыскания верхней границы.
В работе Девида и Крускала нахождение приведенного выше интеграла (35) сводится к вычислению следующего интеграла [выражение (2.5) указанной работы]:
Здесь использовалось неравенство
а также то обстоятельство, что Последнее следует из соотношения (2.3) указанной работы, деленного на
Используя эту нижнюю границу, получим из выражения (34)
Замечая, что и что Г
и используя неравенство
получим
Это и есть нижняя граница
Чтобы получить нижнюю границу можно использовать тот же самый прием, что и выше. Здесь, однако, коэффициенты заменяются их минимальными значениями в рассматриваемой области, а экспонента — значением
Аналогично значение ограничивается сверху величиной — единицей. Таким образом, получаем
Интегрируя и замечая, что член с подстановкой предела может быть включен в , приходим к выражению нижней границы: