Оценка колебательных интегралов со многими независимыми периодами и без замкнутых форм

9

Большинство методов для осциллирующих интегралов, о которых я знаю, имеют дело с интегралами вида

f(x)eiωxdx
где ω большой.

Если у меня есть интеграл вида

f(x)g1(x)gn(x)dx,
где gk являются осциллирующими функциями, корни которых известны только приблизительно, но имеют вид асимптотики
gk(x)eiωkx
известно, с частотами ωk все разные (и Q-линейно независимый), тогда как я могу оценить этот интеграл?

В отличие от случая eiωxполиномиальные интегралы xagk(x) не известны, поэтому я не могу построить набор полиномиальных интерполантов для f(x) и точно интегрировать интерполанты.

В моей точной проблеме, gkэто функции Бесселя J0(ωkx), а также f(x)=xαи область интеграции [0,), Метод, который я использую сейчас, заключается в суммировании интегральных вкладов за интервалы[xk1,xk] между корнями до некоторой обрезки M, затем используйте асимптотическое разложение для gk(x) для большого x, Временная сложность этого алгоритма экспоненциальна вn потому что это предполагает расширение продукта g1gnкаждый из которых имеет номер r асимптотических терминов, давая rnобщие условия; слишком короткие сроки обрезки не сокращают время выполнения, достаточное для того, чтобы сделать это возможным для большихn,

Эвристические не строгие ответы, предложения и рекомендации приветствуются.

Кирилл
источник

Ответы:

1

Я работал над более простыми интегралами, где есть точки стационарной фазы. Я нашел два метода, которые работают довольно хорошо.

Одним из них является введение экспоненциального коэффициента демпфирования, который зависит от фазовой функции, своего рода искусственной вязкости, если хотите.

Другой метод (где есть несколько точек стат. Фазы) был описан в:

Tuck, EO, Collins, JL and Wells, WH, "О судовых волнах и их спектрах", Journal of Ship Research, с. 11–21, 1971.

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

Это я вне идей!

Лисистрата
источник
Спасибо, но я не совсем понимаю, как это будет работать в этом случае. С одной стороны, на реальной линии нет точек неподвижной фазы, а вклады колебаний значительны для конечного значения, поэтому не должны быть демпфированы.
Кирилл
1

Пока у вас есть точные значения для корней (или экстремумов) колебательной части вашего подынтегрального выражения, метод Лонгмана (как я описал в этом ответе ) остается применимым. Все, что вам нужно сделать, это оценить набор интегралов с интервалами между корнями, используя ваш любимый квадратурный метод, и рассматривать эти интегралы как члены некоторых чередующихся рядов. Затем вы можете использовать любое количество методов ускорения сходимости (Эйлера, Левина, Венигера и т. Д.), Чтобы «суммировать» этот чередующийся ряд.

В качестве примера, в этом ответе по математике. Я оценил бесконечный интеграл, осциллирующая часть которого является произведением двух функций Бесселя.

JM
источник
Разве не имеет значения, что корни расположены нерегулярно (все периоды иррациональны и независимы)? Почему вы доверяете ускорению сходимости для такой нерегулярной последовательности?
Кирилл
Это было некоторое время назад, я хотел оценить интеграл до тысячи цифр, и если я правильно помню, колебательная квадратура была фактически первой вещью, которую я попробовал. Я не помню результаты, но я не думаю, что это работало хорошо в то время.
Кирилл
«Почему вы доверяете ускорению сходимости для такой нерегулярной последовательности?» - Я бы не стал доверять только одному ускорителю, хотя. Но если по крайней мере три разных ускорителя дают мне одинаковые результаты, я думаю, что полученные цифры, по крайней мере, правдоподобны. Кстати, я использовал Лонгмана для бесконечных интегралов произведений функций Бесселя, и я никогда не разочаровывался, особенно когда использовал преобразование Венигера в качестве ускорителя.
JM
Метод, который я опишу в этом вопросе, также является колебательным квадратурным методом: разложить подынтегральное выражение в ряд членов видаxaebx, бесконечные интегралы для которых имеют замкнутую форму. Я бы доверял такому методу больше, чем ускорение сходимости. Насколько я понимаю, они требуют чего-то вроде сильной монотонности или хорошего понимания терминов ошибок, чтобы быть уверенными, что они будут работать хорошо.
Кирилл
Если вы можете сделать (обобщенное) разложение Фурье, то обязательно.
JM