Resurgència
De Viquipèdia
En A.Hurwitz va plantejar, en el seu quadern, a la data del 6 de desembre 1918, la demanda si fou possible que una sèrie de potències

representant una funció diferent de
, admetés continuació analítica al llarg d'un camí tancat γ al voltant de ξ0 i, a la fi de la continuació, prengués la forma
és a dir, es pot continuar analíticament una funció holomorfa cap a la seva derivada?
[edita] La solució de Lewy
En H.Lewy va respondre afirmativament, i va donar una solució del problema que presentem aquí en una forma lleugerament modificada (vegeu A.Naftalevich: On a differential-difference equation, The Michigan Mathematical Journal, 22 (1975)).
Es consideri la funció:
h és holomorfa per
i pot ser continuada analíticament als semiplans
, de la manera següent: sigui
tal que
i fem
.
Escrivem, per a
,
Aquesta darrera integral, que anominem I2, ha de ser calculada sobre la corba
definida en posar γ(t): = Reiθ.
Hom ha
per a unes constantes reals positives C1, C2 i α, doncs I2 tendeix a 0 quan
.
Així per a
hom ha
però aquesta darrera integral convergeix en
i doncs hi defineix una continuació analítica de h. Repetem el procediment N vegades: això ens dona finalment una continuació analítica de h al semiplà
; doncs h pot ser continuada analíticament a tot punt
.
Finalment, si fem la continuació analítica al llarg del camí
, obtenim, designant
l'element de funció holomorfa obtingut (en un entorn de z = 1) després una volta completa, ![\hat h(z) = \int_{\mathbb R^+} \exp \left[-e^{2\pi i}z t-(\log t+2\pi i)^2/4\pi i \right]\, dt=](../../../math/d/a/b/dabe8a552369710f119966d3d3dc30d0.png)
![= \int_{\mathbb R^+} \exp \left[-zt- \displaystyle \frac{(\log t)^2-4\pi ^2+4\pi i\log t}{4\pi i } \right]\, dt=](../../../math/d/2/3/d231705b38392763f428ff1c06f85a1a.png)
![=\int_{\mathbb R^+} \exp \left[ \displaystyle -zt -e^{2\pi i} t-(\log t)^2/4\pi i - \pi i+ \log t \right]\, dt=](../../../math/b/f/9/bf9aa2a30c62e9510d2f31e4147632e6.png)
![= \int_{\mathbb R^+} (-t) \exp \left[-zt-(\log t)^2/4\pi i \right]\, dt= h^{\prime}(z).](../../../math/4/1/2/412936c9a82ffbc7671a54ddd8f0fb23.png)
Això acaba la presentació de la solució d'aquest problema.
![h(z)=\int_{\mathbb R^+}\exp\left[z e^{- i\eta} e^{i\eta} t- \frac{\log( e^{- i\eta} e^{i\eta} t)^2}{4\pi i } \right] \, dt](../../../math/0/3/f/03f727f8b882236f9f68d4cfa959fe16.png)
![=\int_{e^{i\eta}\mathbb R^+} \exp \left[-ze^{- i\eta} u- \displaystyle \frac{(\log(u)-i\eta)^2}{4\pi i } \right] e^{- i\eta} \, du](../../../math/d/4/1/d4185d94fb4b82b315eeaad67ecd0339.png)
![=\lim_{R \to\infty} \left\{ \int_0^{R} \exp \left[-ze^{- i\eta} u- \displaystyle \frac{(\log(u)-i\eta)^2}{4\pi i } \right] e^{- i\eta} \, du+\right.](../../../math/4/f/0/4f00e298193fa3dab398037efaad9892.png)
![\ \qquad \left. + \int_{\gamma_R} \exp \left[-ze^{- i\eta} u- \displaystyle \frac{(\log(u)-i\eta)^2}{4\pi i } \right] e^{- i\eta} \, du\right\}.](../../../math/a/b/1/ab1bf896ce43a0b938bf9bb1134b546e.png)

