  We prove existence of spiral waves in oscillatory media with nonlocal
coupling. Our starting point is a nonlocal complex Ginzburg-Landau (cGL)
equation, rigorously derived as an amplitude equation for integro-differential
equations undergoing a Hopf bifurcation. Because this reduced equation includes
higher order terms that are usually ignored in a formal derivation of the cGL,
the solutions we find also correspond to solutions of the original nonlocal
system. To prove existence of these patterns we use perturbation methods
together with the implicit function theorem. Within appropriate parameter
regions, we find that spiral wave patterns have wavenumbers, $\kappa$, with
expansion $\kappa \sim C e^{-a/\varepsilon}$, where $a$ is a positive constant,
$\varepsilon$ is the small bifurcation parameter, and the positive constant $C$
depends on the strength and spread of the nonlocal coupling. The main
difficulty we face comes from the linear operators appearing in our system of
equations. Due to the symmetries present in the system, and because the
equations are posed on the plane, these maps have a zero eigenvalue embedded in
their essential spectrum. Therefore, they are not invertible when defined
between standard Sobolev spaces and a straightforward application of the
implicit function theorem is not possible. We surpass this difficulty by
redefining the domain of these operators using doubly weighted Sobolev spaces.
These spaces encode algebraic decay/growth properties of functions, near the
origin and in the far field, and allow us to recover Fredholm properties for
these maps.
