Numeryczne odzyskiwanie wyimaginowanej części kontynuacji analitycznej z części rzeczywistej

Moja sytuacja.

Mam funkcję zmiennej zespolonej zdefiniowanej przez skomplikowaną całkę. Interesuje mnie wartość tej funkcji na osi urojonej. Mam dostęp numeryczny do tej funkcji na następującej wstążce: . Formalnie integralne wyrażenie jest rozbieżne poza tą dziedziną, dlatego potrzebuję kontynuacji analitycznej. Podsumowując moją sytuację na zdjęciu, $f(z)$ $z=(x,y)\in (-\infty,\infty)\times[-1,1]$

Oto, co wiem o na tej wstążce z cyfr: $f(z)$

Jest jednocześnie symetryczny względem wyobrażonych i rzeczywistych osi.
To zanika do zera . $Re(z)\rightarrow\infty$
Wysadza w pobliżu . To może być biegun lub punkt rozgałęzienia, nie wiem. Podejrzewam, że charakter tej osobliwości (i ewentualnie wszystkie inne pojedyncze osobliwości analitycznej kontynuacja) zależy od konkretnego parametryzacji tej funkcji (patrz integralną szczegóły poniżej) $z=\pm i$ $\xi$

W rzeczywistości wygląda bardzo podobnie do lub po wykreśleniu. Oto fabuła prawdziwej części: $\text{sech}^2(z)$ $1/(1+z^2)^{2n}$

Moje pytanie brzmi: biorąc pod uwagę ogrom informacji, jakie mam na temat funkcji (całkowity dostęp numeryczny do tej wstążki), czy jest jakiś sposób, abym mógł obliczyć liczbowo przybliżenie tej funkcji wzdłuż osi urojonej? Nawiasem mówiąc, używam Mathematica.

Powodem, dla którego interesują mnie wartości wzdłuż osi urojonej, jest to, że muszę ocenić następującą transformację Fouriera tej funkcji:

\begin{matrix} (1) & \bar{f} (t) = \int_{- \infty}^{\infty} d x e^{i t x} \frac{1}{x^{2} + x_{0}^{2}} f (x) \end{matrix}

$\bar{f}(t)=\int_{-\infty}^{\infty} dx\, e^{itx}\frac{1}{x^2+x^2_0} f(x) \tag{1}$

$t$ $10$

Co próbowałem.

W rzeczywistości próbowałem obliczyć ostateczną całkę wysoce oscylacyjną, równ. (1). Ocena ekw. (1) dla pojedynczej wartości „t” obliczenie zajmuje kilka godzin. Przeprowadziłem już kilka z tych całek i wyniki faktycznie mają sens, ale chciałbym zastosować alternatywne podejście.
$\text{sech}^2(z)$ $z$
Próbowałem symbolicznej integracji bezskutecznie. Próbowałem wmasować integrand w bardziej przyswajalną formę dla Mathematica, ale moje próby się nie powiodły.

Obrażająca całka.

$k_4$ $k_{\perp}$ $\xi$ $\alpha$ $E$ $z$

\begin{aligned} p_{1}^{2} & = {(k_{4} + \frac{1}{2} E)}^{2} + k_{⊥}^{2} + α^{2} \\ p_{2}^{2} & = {(k_{4} - \frac{1}{2} E)}^{2} + k_{⊥}^{2} + (1 - α)^{2} \end{aligned}

$\begin{align} p_1^2&=\left(k_4+\frac{1}{2}E\right)^2+k_{\perp}^2+\alpha^2\\ p_2^2&=\left(k_4-\frac{1}{2}E\right)^2+k_{\perp}^2+(1-\alpha)^2 \end{align}$

Całka, którą mnie interesuje, jest następująca:

\begin{aligned} f (E; α, ξ) & = \int_{- \infty}^{\infty} d k_{4} \int_{0}^{\infty} d (k_{⊥}^{2}) [\frac{α (1 + p_{1}^{2})^{3 ξ / 2} (1 + p_{2}^{2})^{ξ / 2}}{(1 + p_{1}^{2} (1 + p_{1}^{2})^{2 ξ}) (1 + p_{2}^{2} (1 + p_{2}^{2})^{2 ξ})} + + (p_{1} \leftrightarrow p_{2})] \end{aligned}

$\begin{align} f(E;\,\alpha,\xi)&=\int_{-\infty}^{\infty} dk_4 \int_{0}^{\infty} d(k_{\perp}^2)\left[\frac{\alpha (1+p_1^2)^{3\xi/2}(1+p_2^2)^{\xi/2}}{(1+p_1^2(1+p_1^2)^{2\xi})(1+p_2^2(1+p_2^2)^{2\xi})}+\\ \,\,\,\,\,\,\,\,\,\,\,\,\,+(p_1\leftrightarrow p_2)\right] \end{align}$

$\xi=1,2,3$ $0<\alpha<1$ $t~10$

integration mathematica complex-analysis

— Arturo don Juan
źródło

R + 0.99 i

$\mathbb{R}+0.99\mathrm{i}$

\bar{f}

$\bar f$

f

$f$

f

$f$

\bar{f}

$\bar f$

\bar{f}

$\bar{f}$

\bar{f}

$\bar{f}$

α \in [- 1, 2]

$\alpha\in [-1,2]$

0.1

$0.1$

Napisałem to, ale odkryłem problem z moim kodem, więc nie jestem już pewien, czy to, co wyliczyłem, jest w ogóle prawidłowe. Czy masz znane znane wartości referencyjne?

— Kirill

Uwaga: nieco martwię się w tym momencie, że wartości całkowite, które daje mi Mathematica, są fałszywe. Myślałem, że to działa, ponieważ dało to rozsądnie wyglądający wynik w krótkim czasie, ale może się zdarzyć, że metoda, której próbuje użyć, jest błędna lub że zrobiłem coś złego. Więc może być tak, że poniższy kod w ogóle nie działa, nie wiem, przepraszam.

Uwaga 2: Niepokoiło mnie to, dlatego napisałem inną wersję ( tutaj kod , przepraszam za jakość kodu), używając Julii i GSL, i ocenia gw 2 sekundy tę samą odpowiedź, którą daje Mathematica poniżej. Myślę więc, że kod jest prawdopodobnie w porządku.

$f$ $\bar f$

Moje wcześniejsze doświadczenia z integracją numeryczną doprowadziły mnie do przekonania, że bardziej wyszukane metody matematyczne mogą czasem być spektakularnie pomocne, ale także, że ocena liczbowych przekształceń Fouriera oraz integracja funkcji wymiernych i algebraicznych to podstawa algorytmów integracji numerycznej, więc często można robić postępy, starannie dobierając algorytmy i bawiąc się ich parametrami. Zazwyczaj jest to łatwiejsza opcja, jeśli trudno jest zrozumieć, jak sprawić, by technika matematyczna działała prawidłowo.

ClearAll[ξ, α, p1, p2, fi, f, g];
ξ = 1;
α = 1/2;
fi[e_, k4_, kp_] := Module[{
   p1 = (k4^2 + e/2)^2 + kp^2 + α^2,
   p2 = (k4^2 - e/2)^2 + kp^2 + (1 - α)^2},
  2 * (* because integrate k4 over (0,∞) *)
   2 kp * (* because d(kp^2) *)
   (α (1 + p1)^(3 ξ/2) (1 + p2)^(ξ/2)) /
     ((1 + p1 (1 + p1)^(2 ξ)) (1 + p2 (1 + p2)^(2 ξ)))
  ]
f[e_?NumericQ] := NIntegrate[
   fi[e, k4, kp], {k4, 0, ∞}, {kp, 0, ∞},
   Method -> {Automatic, "SymbolicProcessing" -> 0}];

(* !!! This gives a bogus result: *)
gBogus[t_?NumericQ, e0_?NumericQ] := 
 NIntegrate[
  Exp[I t e]/(e^2 + e0^2) f[e], {e, -∞, ∞}, 
  Method -> {"DoubleExponentialOscillatory", 
    "SymbolicProcessing" -> 0}]

(* This gives *a* result, different from above despite being equivalent *)
g[t_?NumericQ, e0_?NumericQ] := 
 NIntegrate[Exp[I t e]/(e^2 + e0^2) f[e], {e, -\[Infinity], 0}, 
   Method -> {"DoubleExponentialOscillatory", 
     "SymbolicProcessing" -> 0},
   EvaluationMonitor :> Print["e=", e]] +
  NIntegrate[Exp[I t e]/(e^2 + e0^2) f[e], {e, 0, \[Infinity]}, 
   Method -> {"DoubleExponentialOscillatory", 
     "SymbolicProcessing" -> 0},
   EvaluationMonitor :> Print["e=", e]]

Wynik:

In[18]:= Timing@g[10,1]
Out[18]= {78.0828, 0.0000704303 + 9.78009*10^-6 I}

In[338]:= Timing@g[1,1]
Out[338]= {14.3125,0.389542 +0.024758 I}

Sprawiłem, że Mathematica poświęciła zero czasu symbolicznemu przetwarzaniu całek, ponieważ w tym przypadku i tak nie byłby w stanie dowiedzieć się nic użytecznego. Powiedziałem też, aby specjalnie zastosował metodę kwadratury oscylacyjnej dla drugiej całki.

Domyślam się, dlaczego przypadkowe majsterkowanie ze strategiami integracji (patrz NIntegrateIntegrationStrategies ) w ogóle działa, że czasami Mathematica może przypadkowo automatycznie wybrać złą strategię, zabijając wydajność, podczas gdy wszystko, o co proszę, jest co najmniej trochę znaczące, nawet jeśli nie jest optymalne. Możesz również rozważyć pomoc na https://mathematica.stackexchange.com , mogą dowiedzieć się więcej o wewnętrznych elementach Mathematica.

— Cyryl
źródło

k_{4}

$k_4$

- \infty

$-\infty$

\infty

$\infty$

0

$0$

\infty

$\infty$ g[t,e0]

f

$f$

E

$E$

p_{1}

$p_1$

p_{2}

$p_2$

E \leftrightarrow - E

$E\leftrightarrow -E$

k_{4}

$k_4$

2 \times

$2\times$

(0, \infty)

$(0,\infty)$

p_{1} \leftrightarrow p_{2}

$p_1\leftrightarrow p_2$

E

$E$

p_{1, 2}

$p_{1,2}$

k_{4}

$k_4$

@ArturodonJuan Myślę, że nie ma to żadnej różnicy w działaniu odpowiedzi, zmieniłyby się tylko liczby.

— Kirill,