Ocena całek oscylacyjnych z wieloma niezależnymi okresami i bez zamkniętych postaci

9

Większość metod całkowania oscylacyjnego, jakie znam, dotyczy całek formy

f(x)eiωxdx
gdzie ω jest wielki.

Jeśli mam całkę z postaci gdzie są funkcjami oscylacyjnymi, których pierwiastki są znane tylko w przybliżeniu, ale pewnego rodzaju asymptotyczna forma jest znany, a częstotliwości są różne (i liniowo niezależny), to jak mogę ocenić tę całkę?

f(x)g1(x)gn(x)dx,
gk
gk(x)eiωkx
ωkQ

W przeciwieństwie do , całki wielomianowe nie są znane, więc nie mogę zbudować zestawu interpolantów wielomianowych dla i zintegrować interpolanty dokładnie.eiωxxagk(x)f(x)

W moim dokładnym problemie to funkcje BesselagkJ0(ωkx) i , a region integracji to . Metodą, której teraz używam, jest zsumowanie składowych całkowitych w przedziałach między pierwiastkami do pewnego odcięcia , a następnie użycie rozszerzenia asymptotycznego dla dla dużego . Czas złożoność tego algorytmu jest wykładniczy w ponieważ wiąże się rozwija produkt , z których każda ma liczbowo terminów asymptotyczne, dającf(x)=xα[0,)[xk1,xk]Mgk(x)xng1gnrrnogólne warunki; zbyt małe warunki przycinania nie skracają wystarczająco czasu działania, aby było to wykonalne dla dużej liczby .n

Mile widziane są heurystyczne, nieostre odpowiedzi, sugestie i referencje.

Cyryl
źródło

Odpowiedzi:

1

Pracowałem nad prostszymi całkami, w których istnieją punkty fazy stacjonarnej. Znalazłem dwie metody, które działają całkiem dobrze.

Jednym z nich jest wprowadzenie wykładniczego współczynnika tłumienia, który zależy od funkcji fazowej, rodzaj sztucznej lepkości, jeśli chcesz.

Inna technika (w której występuje wiele punktów fazy statystycznej) została opisana w:

Tuck, EO, Collins, JL i Wells, WH, „O falach statków i ich widmach”, Journal of Ship Research, s. 11–21, 1971.

Ta metoda stosuje wykładnicze współczynniki rozpadu do całki, gdzie szybko oscyluje ona od statystyki. wskazuje fazę, ale pozostawia integrand nietknięty tam, gdzie go nie ma.

To ja z pomysłów!

Lysistrata
źródło
Dziękuję, ale nie bardzo rozumiem, jak to by działało w tym przypadku. Po pierwsze, na linii rzeczywistej nie ma punktów fazy stacjonarnej, a udziały oscylacji są znaczące dla wartości końcowej, więc nie można ich tłumić.
Kirill,
1

Tak długo, jak masz dokładne wartości dla pierwiastków (lub ekstremów) oscylacyjnej części twojego integrandu, metoda Longmana (jak opisałem w tej odpowiedzi ) ma zastosowanie. Wszystko, co musisz zrobić, to ocenić wiązkę całek z interwałami między pierwiastkami, używając swojej ulubionej metody kwadraturowej, i potraktować te całki jako warunki niektórych naprzemiennych szeregów. Następnie można użyć dowolnej liczby metod przyspieszenia konwergencji (Euler, Levin, Weniger itp.) W celu „zsumowania” tej przemiennej serii.

Jako przykład, w tej odpowiedzi matematyki. , Oceniłem całkę nieskończoną, której część oscylacyjna jest iloczynem dwóch funkcji Bessela.

JM
źródło
Czy nie ma znaczenia, że ​​korzenie są nieregularnie rozmieszczone (wszystkie okresy są nieracjonalne i niezależne)? Dlaczego miałbyś ufać przyspieszeniu konwergencji dla tak nieregularnej sekwencji?
Kirill
To było jakiś czas temu, chciałem oszacować całkę do tysiąca cyfr i jeśli dobrze pamiętam kwadratura oscylacyjna była właściwie pierwszą próbą. Nie pamiętam wyników, ale nie sądzę, aby działało to wtedy dobrze.
Kirill
„Dlaczego miałbyś ufać przyspieszeniu konwergencji dla tak nieregularnej sekwencji?” - Nie ufałbym tylko jednemu akceleratorowi, tho. Ale jeśli co najmniej trzy różne akceleratory dają mi spójne wyniki, pomyślałem, że otrzymane przeze mnie cyfry są co najmniej wiarygodne. FWIW, użyłem Longmana do nieskończonych całek produktów funkcji Bessela i nigdy się nie zawiodłem, szczególnie gdy użyłem transformacji Wenigera jako akceleratora.
JM
Metoda, którą opisuję w pytaniu, jest również metodą kwadraturowej oscylacyjnej: rozwiń całkę w szeregu terminów postacixaebx, całki nieskończone, dla których mają postać zamkniętą. Ufałbym takiej metodzie bardziej niż przyspieszeniu konwergencji. Rozumiem, że wymagają one czegoś takiego jak silna monotoniczność lub dobre zrozumienie warunków błędów, aby mieć pewność, że działają dobrze.
Kirill
Jeśli możesz zrobić (uogólnione) rozszerzenie Fouriera, to na pewno.
JM