Abstract
We study certain families of oscillatory integrals I φ (a), parametrised by phase functions φ and amplitude functions a globally defined on \({\mathbb{R}}^{d}\), which give rise to tempered distributions, avoiding the standard homogeneity requirement on the phase function. The singularities of I φ (a) are described both from the point of view of the lack of smoothness as well as with respect to the decay at infinity. In particular, the latter will depend on a version of the set of stationary points of φ, including elements lying at the boundary of the directional compactification of \({\mathbb{R}}^{d}\). As applications, we consider some properties of the two-point function of a free, massive, scalar relativistic field and of classes of global Fourier integral operators on \({\mathbb{R}}^{d}\), with the latter defined in terms of kernels of the form I φ (a).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the theory of partial differential equations, an important aspect is the study of the regularity properties of the solutions u of
where A is a linear operator and f is a given distribution. When the functional setting is the space of tempered distributions, that is, one assumes \(u,f\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\), and A is an elliptic operator with coefficients independent of the base variable \(x\in {\mathbb{R}} ^{d}\), Fourier’s transform methods can easily be applied. This gives, for example, \(f\in{\mathcal{S}}({\mathbb{R}}^{d})\Rightarrow u\in{\mathcal {S}}({\mathbb{R}}^{d})\). The ellipticity assumption can actually be weakened, and a similar conclusion can be obtained when the symbol of A satisfies a suitable hypoellipticity condition.
Of course, the situation gets more complicated when the symbol of A explicitly depends on x, as well as when A is not hypoelliptic, so that, in such cases, (1.1) and \(f\in {\mathcal{S}}({\mathbb{R}}^{n})\) in general do not imply \(u\in{\mathcal{S}}({\mathbb{R}}^{n})\). It is then interesting to know “where and how” u fails to belong to \({\mathcal{S}}({\mathbb{R}}^{n})\), or, for instance, to the weighted Sobolev space
with \(\mathcal{F}\) denoting the Fourier’s transform. A convenient way to consider such questions is to use the global wave front sets introduced by R. Melrose [22], with a different approach given in S. Coriasco and L. Maniccia [12], see also, e.g., the series of papers by S. Coriasco, K. Johansson and J. Toft [10, 11] for the corresponding analysis in the context of modulation spaces.
In the mentioned papers, such wave front sets are used for performing the above regularity investigations for pseudodifferential operators as well as for Fourier integral operators defined through symbols belonging to the so-called SG-classes, see, e.g., [4, 7, 8, 17, 22, 25, 29] for related results and investigations, both on \({\mathbb{R}}^{d}\) as well as on (non-compact) manifolds. These topics have undergone an intense development in the recent years, involving, among the rest, the study of PDEs, non-commutative traces, spectral asymptotics for self-adjoint operators (see, e.g., [3, 13, 24] and the references quoted therein). The results in this paper expand this theory with the spectral analysis of singularities of certain tempered distributions I φ (a) given by generalized oscillatory integrals, in global terms. In short, with a phase function φ satisfying suitable ellipticity conditions, and \(a\in {\mathbf{SG}} ^{m,\mu}({\mathbb{R}}^{d}\times{\mathbb{R}}^{s})\), see Sects. 2 and 3 below, we define, for any \(u\in{\mathcal {S}}({\mathbb{R}}^{d})\),
and take care of the local properties of the distributions I φ (a), as well as, at the same time, of their behaviour at infinity, in the spirit of [11, 12, 22].
Let us recall some known facts in the context of the global wave front sets that we will consider, following the approach givenFootnote 1 in [11, 12]. Let \(\mathcal{B}\) be an appropriate Banach space, or, more generally, an appropriate Fréchet space of functions or distributions such that \({\mathcal{S}}({\mathbb{R}}^{d})\subseteq\mathcal{B} \subseteq{\mathcal {S}}^{\prime}({\mathbb{R}}^{d})\), and let f be a tempered distribution on \({\mathbb{R}}^{d}\). The global wave front set \(\mathrm{WF}_{\mathcal{B}}(f)\) of f with respect to \(\mathcal{B}\), can be defined as the union of three components
where \(\mathrm{WF}^{\psi}_{\mathcal{B}}(f)\) agrees with the “local” wave front set which is explained in [11, 26]. In the case \(\mathcal{B}={\mathcal{S}}({\mathbb{R}}^{d})\), then \(\mathrm{WF}^{\psi}_{\mathcal{B}}(f)\) is the same as the “classical” Hörmander’s wave front set (cf. e.g. [21, Sects. 8.1–8.3]). We refer to the wave front sets in (1.3) as the wave front sets (with respect to \(\mathcal{B}\)) for f of ψ-type, e-type and ψe-type, respectively.
Roughly speaking, \(\mathrm{WF}^{\psi}_{\mathcal{B}} (f)\) contains information about local singularities with respect to \(\mathcal{B}\) and the directions of their propagation. The set \(\mathrm{WF}^{e}_{\mathcal{B}} (f)\) is essentially the same as \(\mathrm{WF}^{\psi}_{\mathcal{B}_{0}}(\hat {f})\) and informs about the directions were the size of f fails to belong to \(\mathcal{B}\) near infinity. Here \(\hat{f}\) is the Fourier transform for f, and \(\mathcal{B}_{0}\) is a Banach or Frechét space related to \(\mathcal{B}\). Finally \(\mathrm{WF}^{\psi e}_{\mathcal{B}}(f)\) informs about those directions were f oscillates heavily at infinity compared to its size.
Therefore, it might not be surprising that, if \(\mathcal{B}\) is appropriate, then the union \(\mathrm{WF}^{e}_{\mathcal{B}}(f)\cup\mathrm{WF}^{\psi e}_{\mathcal{B}} (f)\), the so-called “exit component” (cf. [12]), explains where f, far away from origin, fails to belong to \(\mathcal{B}\). Taking into account that \(\mathrm{WF}^{\psi}_{\mathcal{B}}(f)=\emptyset\), if and only if f locally belongs to \(\mathcal{B}\), it follows that the global wave front set \(\mathrm{WF}_{\mathcal{B}}(f)\) fulfills
for such \(\mathcal{B}\). In the remainder of the paper, we fix \(\mathcal{B} = {\mathcal{S}}({\mathbb{R}}^{d})\), and we will then omit it completely from the notation. Results similar to those recalled above can be achieved also when \(\mathcal{B}\) coincides with the weighted Sobolev space \(H^{s,\sigma}({\mathbb{R}}^{d})\), and, more generally, when \(\mathcal{B}\) is a (generalised, weighted) modulation space, see [10].
Here we will follow a slightly different approach, with respect to the one that we just briefly described. In fact, we will essentially make use of the definition of wave front space \(\widetilde{W}=\partial({\mathbb{B}}^{d}\times{\mathbb{B}}^{d})\) given in [7], cf. also [22], as well as of the concept of elliptic point (at infinity) for a SG-symbol. This is more convenient in the present context, and allows for more compact formulations of the assumptions and of the results. Namely, we will usually not need to distinguish between the three components of WF(f) described above, except for those situations where such a distinction is especially relevant, or anyway worth to be pointed out explicitly.
With this in mind, our main result can be formulated, loosely speaking, as follows: for “admissible” phase function φ and amplitude function a, one has
where SP φ is the (generalized) set of stationary points of φ in \(\widetilde{W}\) (see Sect. 4 below for the precise hypotheses and statement). In the article by J. Zahn [33], such an analysis of oscillatory integrals is carried out with respect to the classical Hörmander wave front set. Despite the similar inclusion results, the global situation here is more subtle, and requires additional concepts and investigations to be achieved.
The paper is organized as follows: in Sect. 2 we fix the notation, and recall the definition and basic properties of symbols and pseudodifferential operators in the SG classes. Moreover, we describe how it is possible to construct a tempered distribution with a prescribed global wave front set: indeed, in spite of being an “expected result” and an essential complement of the whole picture in the global case, this fact looks to have not been proved elsewhere, to the best of our knowledge. In Sect. 3, after having described the conditions that the phase function φ and the amplitude function a must satisfy to be “admissible” in the present context, we illustrate the definition and the basic properties of I φ (a). Section 4 is devoted to the definition of SP φ and the proof of the inclusion (1.5). Examples of applications of our results are then finally given in Sect. 5.
2 Preliminary Definitions and Results
2.1 Directional Compactification of \({\mathbb{R}}^{d}\) and Global Wave Front Set of Temperate Distributions
We start by recalling some standard notation and concepts, which we will need in the sequel. In particular, we will make use of the procedure called directional compactification of \({\mathbb{R}}^{d}\), to be able to properly define “asymptotics at infinity”. This will yield the notion of wave front space introduced, e.g., in [7, 22], see also [12].
Definition 1
Denote by 〈⋅〉 the map \({\mathbb{R}}^{d}\rightarrow {\mathbb{R}} : x\mapsto\sqrt{1+|x|^{2}}\). The directional compactification of \({\mathbb{R}}^{d}\) is the topological identification \(({\mathbb{R}}^{d}\ \sqcup\ {\mathbb{S}}^{d-1})\cong {\mathbb{B}}^{d}\), \({\mathbb{B}}^{d}=\{x\in{\mathbb{R}}^{d} :|x|\le1\}\), via
We call an element of the boundary, \(\omega\in{\mathbb{S}}^{d-1}\), an asymptote or a(n asymptotic) direction.
Other common notations for the asymptote given by a ray through \(x\in {\mathbb{R}}^{n}\setminus\{0\}\) are \(\dot{x}=x\infty:=x/|x|\in{\mathbb{S}}^{d-1}\). The topology of \({\mathbb{B}}^{d}\) can be characterized as follows: let \(V\subset {\mathbb{S}}^{d-1}\) open, R>0, then \(U_{V,R}:=\{x\in{\mathbb{R}}^{d}|\dot{x}\in V, |x|>R\}\sqcup V\) is an open set of \({\mathbb{B}}^{d}\). Together with the bounded open sets of \({\mathbb{R}}^{d}\), the sets of type U V,R form a basis for the topology of \({\mathbb{B}}^{d}\), and, in particular, we have
Choosing a cut-off function \(\phi\in\mathcal{C}^{\infty}_{c}({\mathbb{R}}^{d})\) with ϕ≡1 around 0, we may define the map
using the one-to-one correspondence between the space \(\mathcal{C}^{\infty}({\mathbb{S}}^{d-1})\) and the 0-homogeneous smooth functions on \({\mathbb{R}}^{d}\setminus\{0\}\). We call the image of ψ under this map an asymptotic cut-off ψ R .
As further notation we set, for two functions f,g:X→[0,∞), f(x)≳g(x) if there exists a constant C>0 such that f(x)≥Cg(x) for any x∈X. The Fourier transform of \(u\in {\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\) will be denoted by \(\hat{u}\) or \({\mathcal{F}}(u)\).
The following definitions, suitable generalizations of the notion of support, singular support and wave front set to tempered distributions, are due to Melrose ([23] and [22]). An equivalent definition, emphasising SG-pseudodifferential calculus, is used in [12] and [8]. Another most notable source on global microlocal analysis and tempered distributions is [7].
Definition 2
The cone support of \(u\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\) is a subset of \({\mathbb{B}}^{d}\), defined as
The cone singular support of \(u\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\) is a subset of \({\mathbb{B}}^{d}\cong{\mathbb{R}}^{d}\sqcup{\mathbb{S}}^{d-1}\), defined as
The (global) wave front set of u is defined as
where \(\mathrm{WF}_{cl}(u)\subset{\mathbb{R}}^{d}\times{\mathbb{S}}^{d-1}\) denotes the classical (Hörmander’s) wave front set of u. We sometimes refer to \(\mathrm{WF}(u)\cap({\mathbb{S}}^{d-1}\times{\mathbb{B}}^{d})\) as the asymptotic part of the wave front set of u.
Proposition 1
(Properties of the Global Wave Front Set)
Let u in \({\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\). Then,
is closed. There is a remarkable symmetry under Fourier transformation (cf. [12, Lemma 2.4.], [21, Theorem 8.1.8], [23, Corollary 12.17]), given by
Furthermore
Proposition 1 follows immediately by Definition 2. In the sequel, when no confusion can arise, we will sometimes omit to write explicitly the “base spaces” \({\mathbb{R}} ^{d}\), \({\mathbb{B}}^{d}\), \({\mathbb{S}}^{d-1}\), to shorten the notation.
2.2 Existence of Tempered Distributions with Assigned Singularities
In this subsection we show that it is always possible to find a tempered distribution \(T\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\) with any given global wave front set: to our best knowledge, this (expected) result has not appeared elsewhere before. The construction is similar to the classical one by Hörmander in [21, Theorem 8.1.4], which, in fact, will be used for the non-asymptotic part of the distribution. Thus, the main focus, in the following argument, is on the asymptotic singularities. A smooth function with one given asymptotic singularity \((\omega,\theta)\in{\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1}\) is first defined; then, the general asymptotic case is achieved, and combined with the construction given by Hörmander. The basic ingredients of the proof are the identity \(\mathcal{F}_{x\to z}\{f(x) e^{ikx}\}(z)=\mathcal{F}\{f\}(z-k)\) and the fact that the Gaussian is an eigenfunction of the Fourier transform.
Definition 3
Let \(\omega, \eta\in{\mathbb{S}}^{d-1}\), \(k\in{\mathbb{N}}\). We define \(f_{k}(.;\omega,\eta)\in{\mathcal{S}}({\mathbb{R}}^{d})\) as
Lemma 1
\(\mathcal{F}_{x\rightarrow z} \{f_{k}(x;\omega,\eta) \}=(2\pi )^{n/2}f_{k}(z;\eta,-\omega)\).
Proof
With the Gaussian \(N(x)=\exp (-\frac{1}{2}x^{2} )\) we have:
Thus
□
Using the function f k (.,ω,η) introduced in (2.6), it is possible to define an element of \(\mathcal{C}^{\infty}\cap {\mathcal{S}}^{\prime}\) that is rapidly decreasing everywhere except along the direction ω, and whose Fourier transform is rapidly decreasing everywhere except along the direction η, as we show in the next two Lemmas.
Lemma 2
The series \(\sum_{k=0}^{\infty}\ f_{k}(x;\omega,\eta)\) converges absolutely and uniformly on each compact set of \({\mathbb{R}}^{d}\), and its limit is a function \(g(.;\omega,\eta)\in\mathcal{C}^{\infty}({\mathbb{R}}^{d})\cap{\mathcal{S}} ^{\prime}({\mathbb{R}}^{d})\), bounded together with all its derivatives, and such that Css(g(.;ω,η))={ω}.
The graph of \(g(. ; 1, 1) : \mathbb{R}\to \mathbb{R}\) is depicted in Fig. 1.
Proof
Assume x does not lie on the ray given by \({\mathbb{R}}^{+}\omega\), i.e. \(\dot {x}\neq\omega\). Then, by a standard scaling estimate, ∃ c>0 s.t. |x−k 3 ω|≥c(|x|+k 3). Thus, the sum converges absolutely and uniformly on any compact set to g(x;ω,η) and |x α f k (x;ω,η)|≤C α , \(\alpha\in{\mathbb{Z}}_{+}\), since
If \(\dot{x}=\omega\) we have
which is bounded with respect to x. The derivatives of g(.;ω,η) can be estimated similarly. Thus g is smooth everywhere, bounded with all its derivatives, rapidly decreasing along every direction, apart from ω. This implies \(g(.;\omega,\eta)\in\mathcal{C}^{\infty}\cap{\mathcal {S}}^{\prime}\) and Css(g(.;ω,η))={ω}, as claimed. □
Corollary 1
Let g(x;ω,η) be the function defined in Lemma 2. Then,
Proof
Since, by Proposition 1,
the assertion follows from (2.4), Lemmas 1 and 2. □
Corollary 2
For any closed set \(\varGamma\subset{\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1}\) there exists \(T\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\) such that WF(T)=Γ.
Proof
Take a dense sequence without repetitions \(\{(\omega_{l},\eta_{l})\} _{l\in{\mathbb{N}}}\subset\varGamma\) and define
By the properties of g(.;ω l ,η l ) described above, (2.7) yields (by the Weierstrass M-test) a smooth function which fulfills the requirements. □
Lemma 3
Let Γ be closed in \({\mathbb{R}}^{d}\times{\mathbb{S}}^{d-1}\). Then, there exists \(T\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\) such that \(\mathrm {WF}(T)=\overline{\varGamma}\) where \(\overline{\varGamma}\) is the closure of Γ in \({\mathbb{B}} ^{d}\times{\mathbb{B}}^{d}\).
Proof
Choose, as it is possible, a sequence (x k ,η k )∈Γ such that every (x,η)∈Γ is the limit of a subsequence and such that |x k | is bounded by logk. Let \(\phi\in\mathcal {C}^{\infty}_{c}\) with \(\hat{\phi}(0)=1\) and set
First of all, we remark that (2.8) is precisely the function defined in the proof of [21, Theorem 8.1.5]. T is continuous and bounded, thus it is a tempered distribution: we claim that it fulfills all the required properties.
-
1.
\(\mathrm{WF}(T)\cap ({\mathbb{R}}^{d}\times{\mathbb{S}}^{d-1} )=\varGamma\).
This is the statement of [21, Theorem 8.1.5] mentioned above.
-
2.
\(\mathrm{WF}(T)\cap ({\mathbb{S}}^{d-1}\times{\mathbb{R}}^{d} )=\emptyset \).
This is equivalent to the assertion \(\hat{T}\in\mathcal {C}^{\infty}\). First note that
$$ \hat{T}(\xi)=\sum_{k=1}^\infty k^{-2-d} \hat{\phi} \bigl( \bigl(\xi-k^3 \eta_k \bigr)/k \bigr) e^{i x_k\cdot(k^3\eta_k-\xi)}. $$(2.9)Obviously, the series (2.9) converges absolutely and uniformly, giving \(\hat{T}\in\mathcal{C}\), since \(\hat{\phi}\in{\mathcal{S}}\subset L^{\infty}\). The same property holds for the series of the derivatives: in fact, for any \(\alpha\in{\mathbb{Z}}_{+}^{d}\),
so, in view of the boundedness of the sequence (logk)q/k, \(q\in {\mathbb{R}}\), it follows that the L ∞-norm of each term in the sum giving \(\partial^{\alpha}\hat{T}\) is bounded by the terms of the sequence
$$C_\alpha \rho_{|\alpha|} (\hat{\phi} ) k^{-1-d} \max _{\gamma\le\alpha} \sup_k \bigl[ k^{-1} ( \log k)^{|\gamma|} \bigr] \le k^{-1-d} E_{\alpha} \rho_{|\alpha|} (\hat{\phi } ), $$where C α ,E α >0 are suitable constants, depending only on α, and
$$ \rho_p(f)=\sum_{|\alpha+\beta|\leq p} \sup_{x\in{\mathbb{R}}^d} \bigl \vert x^\alpha\partial^\beta f(x)\bigr \vert , \quad f\in{\mathcal{S}}. $$(2.10)Thus \(\hat{T}\in\mathcal{C}^{\infty}\), as claimed.
-
3.
\(\mathrm{WF}(T)\cap ({\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1} )=\overline{\varGamma}\cap ({\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1} )\).
As WF(T) is a closed set in \({\mathbb{B}}^{d}\times{\mathbb{B}}^{d}\) containing Γ, the inclusion
$$\overline{\varGamma}\cap \bigl({\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1} \bigr)\subseteq\mathrm{WF}(T)\cap \bigl({\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1} \bigr) $$is trivial. If \({\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1}\ni(\omega ,\eta)\notin \overline{\varGamma}\), then it is possible to find neighbourhoods \(U, V\subset{\mathbb{S}}^{d-1}\) of ω and η, respectively, such that the closure of U×V does not meet \(\overline{\varGamma}\cap({\mathbb{S}}^{d-1}\times{\mathbb{S}}^{d-1})\). Choosing asymptotic cut-offs ψ U ,ψ V , supported in the interior of U and V, respectively, it is possible to show, by an argument analogous to the one in [21, Theorem 8.1.5], that \(\psi_{V}\mathcal{F}\{\psi_{U} T\}\in{\mathcal{S}}\), that is, \({\mathbb{S}} ^{d-1}\times{\mathbb{S}}^{d-1}\ni(\omega,\eta)\notin\mathrm{WF}(T)\).
The proof is complete. □
Theorem 2.1
Let \(\varGamma\subset\partial({\mathbb{B}}^{d}\times{\mathbb{B}}^{d})\) be a closed set. Then, there exists \(T\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\) such that WF(T)=Γ.
Proof
The argument combines the results proved above. First, Lemma 3 yields a tempered distribution T ψ with classical wave front set \(\varGamma_{\psi}=\varGamma\cap ({\mathbb{R}}^{d}\times{\mathbb{S}}^{d-1} )\). Remember that \(\mathrm{WF}(T_{\psi})\cap({\mathbb{S}}^{d-1}\times{\mathbb{R}}^{d})=\emptyset\).
Then, define T e with \(\mathrm{WF}(T_{e})=\overline{\varGamma\cap ({\mathbb{S}} ^{d-1}\times{\mathbb{R}}^{d} )}\) by repeating the construction of Lemma 3 for \(\varGamma_{e}=\varGamma\cap ({\mathbb{S}} ^{d-1}\times{\mathbb{R}}^{d} )\), using Fourier inversion and (2.4). Here we notice that, by construction,
Finally, take the distribution T ψe that Corollary 2 yields with
Setting T:=T e +T ψ +T ψe , we then have WF(T)=Γ. In fact, by adding up the three temperate distributions listed above, no asymptotic singularities can cancel, as WF(T) is a closed set. The proof is complete. □
3 Tempered Distributions Associated with Oscillatory Integrals
3.1 SG-Symbols and Phase Functions
We give a definition of SG-symbol where the variable x and the covariable ξ belong to Euclidean spaces of possibly different dimensions d and s. For more details on the SG-calculus, both for pseudodifferential as well as Fourier integral operators, and its applications, see, e.g., [1, 3, 4, 7–9, 13, 17, 24, 25, 28, 29] and the references quoted therein.
Definition 4
A SG-class symbol a of order \((m,\mu)\in{\mathbb{R}}^{2}\) on \({\mathbb{R}} ^{d}\times{\mathbb{R}}^{s}\) is a \(\mathcal{C}^{\infty}\)-map \(a:{\mathbb{R}}^{d}\times{\mathbb{R}}^{s}\rightarrow{\mathbb{C}} \) satisfying, for all multiindices \(\alpha\in{\mathbb{Z}}_{+}^{d}, \beta \in{\mathbb{Z}} _{+}^{s}\) and suitable constants C α,β >0, for all \(x\in{\mathbb{R}}^{d}\), \(\xi\in{\mathbb{R}}^{s}\),
Denote the space of all such functions by \({\mathbf{SG}^{m,\mu }}={\mathbf{SG}^{m,\mu}}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\). Set \({\mathbf{SG}^{\infty,\mu}}:=\bigcup_{m\in{\mathbb{R}}} {\mathbf{SG}^{m,\mu}}\) and \({\mathbf{SG}^{m,\infty}}=\bigcup_{\mu \in {\mathbb{R}}} {\mathbf{SG}^{m,\mu}}\) and, accordingly, the space of all SG-symbols \({\mathbf{SG}} (:={\mathbf{SG}^{\infty,\infty}}):=\bigcup_{m,\mu\in{\mathbb{R}}} {\mathbf{SG}^{m,\mu}}\).
Set also \({\mathbf{SG}^{-\infty,\mu}}:=\bigcap_{m\in{\mathbb{R}}} {\mathbf{SG}^{m,\mu}}\), \({\mathbf{SG}^{m,-\infty}}:=\bigcap_{\mu \in{\mathbb{R}}} {\mathbf{SG}^{m,\mu}}\) and
For each fixed \((m,\mu)\in{\mathbb{R}}^{2}\) define a family of SG-symbol seminorms ∥.∥ p , \(p\in{\mathbb{Z}}_{+}\), through the quantities
a∈SG m,μ, \(\alpha\in{\mathbb{Z}}_{+}^{d}, \beta\in {\mathbb{Z}}_{+}^{s}\).
Remark 1
Due to their (asymptotic) homogeneity properties, it is easy to see that the asymptotic cut-offs ψ R introduced in Sect. 2 are SG-symbols of order (0,0).
Proposition 2
For each \(a\in{\mathbf{SG}^{m,\mu}}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\) there exists a sequence \(\{a_{j}\} _{j\in{\mathbb{N}}}\) of symbols in \({\mathbf{SG}^{-\infty,-\infty }}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\), bounded in \({\mathbf{SG}^{m,\mu}} ({\mathbb{R}}^{d},{\mathbb{R}}^{s})\) and converging to a in the topology of \({{\mathbf {SG}^{m^{\prime},\mu^{\prime}}}}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\), for any m′>m, μ′>μ.
Proof
Confer the proof of [24, Proposition 1.1.5]. □
Definition 5
A Symbol a in \({\mathbf{SG}^{m,\mu}}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\) is said to be (globally SG-)elliptic if there exists R>0 such that
Let \((p,\omega)\in\partial ({\mathbb{B}}^{d}\times{\mathbb{B}}^{s} )\). Then a is said to be elliptic at (p,ω) iff there exists an open neighbourhood U of (p,ω) in \({\mathbb{B}}^{d}\times{\mathbb{B}}^{s}\) s.t.
A phase function φ will be called admissible, in the present context, when it is a real-valued SG-symbol of positive order which satisfies a suitable SG-ellipticity condition, as explained in the next definition.
Definition 6
An admissible inhomogeneous SG-phase function φ is a real-valued SG-symbol of order \((n,\nu)\in{\mathbb{R}}_{+}^{2}\) such that, defining
the non-degeneracy conditionFootnote 2
holds true.
Note that the condition (3.4) ensures that φ is a symbol of “genuine” order (n,ν), that is, not of an actually lower one. Later on, we will introduce sets which encode if one of the summands in (3.3) does not scale as the righthand side of (3.4): as we will see, such sets will be strictly related to the (global) singularities of the temperate distributions which we introduce in the next subsection.
3.2 The Class of SG-Oscillatory Integrals
We now show that the admissible phase functions described above, together with amplitudes from the SG-symbol classes, give rise to well-defined tempered distributions, in the form of oscillatory integrals globally defined on \({\mathbb{R}}^{d}\).
Definition 7
A formal SG-oscillatory integral with inhomogeneous phase function is an expression of the form
where φ is an admissible inhomogeneous SG-phase function and a is a SG-symbol.
Theorem 3.1
With any fixed admissible inhomogeneous SG-phase function φ of order (n,ν) we may associate a map
uniquely determined by the following properties:
-
1.
a↦I φ (a) is a linear map;
-
2.
If \(a\in{\mathbf{SG}^{-\infty,-\infty}}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\), then I φ (a) coincides with the (absolutely convergent) integral (3.5);
-
3.
the restriction of I φ to \({\mathbf{SG}^{m,\mu }}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\) is a continuous map
$${\mathbf{SG}^{m,\mu}}\bigl({\mathbb{R}}^d,{\mathbb{R}}^s\bigr)\rightarrow {\mathcal{S}}^\prime\bigl({\mathbb{R}}^d\bigr). $$
We call the distribution I φ (a) a SG-oscillatory integral.
The outline of this proof is classical, confer [19, Theorem 1.1], [33, Theorem 2.9] and [27, Theorem IX.47]. In [21, Theorem 8.1.9] the analysis is carried out by means of the stationary phase method. As we need to look at unbounded sets for the asymptotic part of the wave front set, here we do not follow that approach. We split the proof of Theorem 3.1 into three steps. First of all, we prove a simple and useful lemma, which guarantees the existence of a linear differential operator needed to regularize the oscillatory integral (3.5).
Lemma 4
Let φ be a given admissible inhomogeneous SG-phase function of order (n,ν). Then, there exists \(u_{j}\in{\mathbf{SG}}^{-n+1,-\nu}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\), j=1,…,s, \(v_{k}\in{\mathbf{SG}}^{-n,-\nu+1}({\mathbb{R}}^{d}, {\mathbb{R}}^{s})\), k=1,…,d, and \(w\in\mathbf{SG}^{-n,-\nu} ({\mathbb{R}}^{d},{\mathbb{R}}^{s})\), such that the linear differential operator
with adjoint (with respect to \({\mathbf{SG}^{-\infty,-\infty }}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\))
fulfills
Furthermore, P is a continuous map
Proof
The proof is essentially a SG-variant of, e.g., the one from [33, Lemma 2.10]. Consider the SG-symbol η introduced in (3.3) and take a cut-off function χ such that χ≡1 for |x|+|ξ|≤R and χ≡0 for |x|+|ξ|≥R+1. Then it is easy to verify that (1−χ)η −1 is a SG-symbol of order (−2n,−2ν). Now setFootnote 3
By integration by parts (boundary terms vanish, as we consider adjoints w.r.t. \({\mathbf{SG}^{-\infty,-\infty}}={\mathcal{S}}\)), it is easy to verify that the operator t P defined in (3.7) is indeed the adjoint of P with respect to SG −∞,−∞. It then satisfies
where we have used the definition (3.3) of the symbol η. The continuity of P as an operator from SG m,μ to SG m−n,μ−ν is immediate, by the properties of the SG-symbol classes, see, e.g., [24]: partial differentiation w.r.t. x is a continuous operation from SG m,μ to SG m−1,μ; similarly, partial differentiation w.r.t. ξ is continuous from SG m,μ to SG m,μ−1 and multiplication by a symbol in SG m′,μ′ is continuous from SG m,μ to SG m+m′,μ+μ′. In view of (3.6) and of the definitions and orders of u j , j=1,…,s, v k , k=1,…,d, and w, the stated continuity of P:SG m,μ→SG m−n,μ−ν follows. □
The next lemma states that the operator P in (3.6) can be used to regularize a formal SG-oscillatory integral (3.5), and it shows its continuous dependence on the SG-seminorms of a.
Lemma 5
Let φ be an admissible inhomogeneous SG-phase function of order (n,ν) and \(a\in{\mathbf{SG}^{-\infty,-\infty}}({\mathbb{R}}^{d},{\mathbb{R}}^{s})\). Then, the associated formal oscillatory integral I φ (a), defined in (3.5), is a function in \({\mathcal{S}}({\mathbb{R}}^{d})\) that satisfies, for any \((m,\mu)\in{\mathbb{R}}^{2}\) and each \(f\in{\mathcal{S}}({\mathbb{R}}^{d})\),
with a suitable constant C>0, the seminorm ∥⋅∥ q on SG m,μ from Definition 4, and the seminorm ρ r (⋅) in (2.10), where the indices q and r solely depend on (m,μ).
Proof
That [I φ (a)](x) converges for every \(x\in{\mathbb{R}}^{d}\) and gives a smooth and rapidly decreasing function in x follows from
the rapid decay of a w.r.t. x and ξ, differentiation under the integral sign and dominated convergence. Now, by using Lemma 4, for a fixed \(f\in{\mathcal{S}}\) and arbitrary \(r\in{\mathbb{Z}}_{+}\),
Multiplication by \(f\in{\mathcal{S}}({\mathbb{R}}^{d}_{x})\) is a continuous map SG m,μ→SG −∞,μ. Since the inclusion map SG m′,μ′↪SG m,μ, m′≤m, μ′≤μ, is continuous, a↦P r(a(x,ξ)f(x)) is a continuous map from SG m,μ to SG m−rn,μ−rν for any \(r\in{\mathbb{Z}}_{+}\), and, in particular,
where E>0 is a suitable constant, ∥⋅∥ q is a seminorm on SG m,μ, with \(q\in{\mathbb{Z}}_{+}\) depending solely on r,n,ν, and ρ r (f) is the Schwartz-seminorm (2.10). Thus, for suitably large r and a constant C>0, we have, as claimed,
□
Proof of Theorem 3.1
Looking at the proof of Lemma 5, we may define, for \(f\in{\mathcal{S}}\) and r large enough (which, for each fixed admissible phase-function φ, solely depends on the order of a),
in a continuous way, see (3.9). That this is indeed a unique continuation of the map defined by (3.5) for symbols of low enough order and well-defined, independently of r (when chosen large enough), follows by approximation, using Proposition 2. □
4 Singularities of Tempered Oscillatory Integrals
4.1 Stationary Phase Points and Global Wave Front Set of SG-Oscillatory Integrals
We now define an extension of the notion of stationary points to admissible inhomogeneous phase functions φ, which includes asymptotes, and show below its relation with the global wave front set of the corresponding temperate oscillatory integrals I φ (a), defined in Theorem 3.1.
Definition 8
With any admissible inhomogeneous SG-phase function φ of order (n,ν), we associate the set \(M_{\varphi}\subset \partial ({\mathbb{B}}^{d}\times{\mathbb{B}}^{s} )\), whose complement is defined as
Denoting by π M the projection of \(M_{\varphi}\times{\mathbb{B}}^{d}\subset \partial({\mathbb{B}}^{d}\times{\mathbb{B}}^{s})\times{\mathbb{B}}^{d}\) onto \({\mathbb{B}}^{d}\times{\mathbb{B}} ^{d}\), we also define the set of stationary phase \(\mathrm {SP}_{\varphi}\subset\partial({\mathbb{B}}^{d}\times{\mathbb{B}}^{d})\), given by
Both M φ and SP φ are defined as complements of manifestly open sets, which yields:
Lemma 6
Let φ be an admissible inhomogeneous SG-phase function of order (n,ν). Then, M φ is a closed subset of \({\mathbb{B}}^{d}\times{\mathbb{S}}^{s-1}\) and SP φ is a closed subset of \({\mathbb{B}}^{d}\times{\mathbb{B}}^{d}\).
Remark 2
The characterization of SP φ here differs from the one in [33]. The connection is established in Sect. 4.2, where a geometrical interpretation of SP φ is given.
We can now state our main result:
Theorem 4.1
Let φ be an admissible inhomogeneous SG-phase function of order (n,ν) and let \(a\in{\mathbf{SG}^{\infty,\infty}}({\mathbb{R}}^{d}\times {\mathbb{R}}^{s})\). For the temperate oscillatory integral I φ (a), defined in Theorem 3.1, we have
The first step of the proof of Theorem 4.1 consists in establishing the inclusions with respect to the projection onto the first component.
Proposition 3
Let φ be an admissible inhomogeneous SG-phase function of order (n,ν) and let \(a\in{\mathbf{SG}^{\infty,\infty }}({\mathbb{R}}^{d}\times{\mathbb{R}}^{s})\). If Csp(a)∩M φ =∅, then Css(I φ (a))=∅, that is, \(I_{\varphi}(a)\in{\mathcal{S}}({\mathbb{R}}^{d})\).
Proof
We prove the statement by a regularization argument, cfr., e.g., [33, Proposition 3.3]. Choose first a neighbourhood \(W\subset{\mathbb{B}}^{d}\times{\mathbb{B}}^{s}\) of Csp(a) whose closure does not intersect M φ . Then, by the definition of M φ , |∇ ξ φ(x,ξ)|2 is elliptic at each \((p,\omega)\in W\cap\partial ({\mathbb{B}} ^{d}\times{\mathbb{B}}^{s} )\). By compactness and (3.2), we can then choose a finite cover of \(\mathrm{Csp}(a)\cap\partial ({\mathbb{B}} ^{d}\times{\mathbb{B}}^{s} )\) and obtain a single open neighbourhood \(U\subset{\mathbb{B}}^{d}\times{\mathbb{B}}^{s}\) of \(\mathrm{Csp}(a)\cap \partial ({\mathbb{B}} ^{d}\times{\mathbb{B}}^{s} )\) such that, on \(U\cap({\mathbb{R}}^{d}\times{\mathbb{R}}^{s})\),
We then fix a cut-off function χ, asymptotically 0-homogeneous as in Sect. 2.1, identically equal to 1 in a neighbourhood U′⊂U of \(\mathrm{Csp}(a)\cap\partial ({\mathbb{B}} ^{d}\times{\mathbb{B}}^{s} )\), and supported in U. By construction, (1−χ)a is compactly supported, which implies \(I_{\varphi}((1-\chi ) a)\in\mathcal{S}\). To analyze I φ (χa), we define
Observe that b j is well-defined on Csp(χ), since |∇ ξ φ| is strictly positive on U. Indeed, by (4.4) we actually have χb j ∈SG −n,−ν+1, χc∈SG −n,−ν, and
The same of course holds with any SG-symbol of order (0,0) supported in U in place of χ. We can then conclude by an approximation argument as in Theorem 3.1: using the fact that Q involves only differentiations with respect to ξ, we can insert it into the expression of I φ (ψa), and find
As Q is a continuous map from SG m,μ to SG m−n,μ−ν, we can achieve arbitrarily low order of Q r(χa), by choosing r large enough. Thus \(I_{\varphi}(\chi a)\in{\mathcal{S}}\), and therefore \(I_{\varphi}(a)=I_{\varphi}(\chi a)+I_{\varphi}((1-\chi) a)\in{\mathcal{S}}\) as claimed (cfr. the proof of Lemma 5). □
Corollary 3
Let φ be an admissible inhomogeneous SG-phase function of order (n,ν) and let \(a\in{\mathbf{SG}^{\infty,\infty }}({\mathbb{R}}^{d}\times{\mathbb{R}}^{s})\). Then,
Proof
Let p∉π 1(M φ ). Choose a cut-off ψ around p if \(p\in{\mathbb{R}}^{d}\), or a suitable asymptotic cut-off if \(p\in{\mathbb{S}}^{d-1}\), whose (cone) support does not intersect π 1(M φ ). Then ψI φ (a)=I φ (ψa), and the latter belongs to \({\mathcal{S}}\), by Proposition 3. □
Proof of Theorem 4.1
Let \((y,q)\in({\mathbb{B}}^{d}\times{\mathbb{B}}^{d})\setminus\mathrm {SP}_{\varphi}\). By Corollary 3, it suffices to consider only the points y∈π 1(M φ ). We have to prove that there exists a pair of cut-off functions, ψ y ,ψ q , either localizing around y, q or defined as in Sect. 2.1, nonvanishing on neighbourhoods of y and q, respectively, such that, for p in the support of ψ q ,
for arbitrarily high N, and that the lefthand side of (4.5) is smooth. In fact, we will show this for a∈SG −∞,−∞ in the form
for any p∈supp(ψ q ) and arbitrary N, where ∥.∥ s is a seminorm on SG m,μ. Then, an approximation argument, cf. Proposition 2 and the proof of Theorem 3.1, yields the result.
Let us then assume a∈SG −∞,−∞, which can also be chosen supported arbitrarily close to M φ , due to Proposition 3. Since (y,q) is non-stationary, we can find an open neighbourhood V of \(\pi_{M}^{-1}(y,q)\), and thus two cut-offs ψ y (x), ψ q (p), identically equal to 1 around/along the direction(s) y, q, respectively, and a cut-off ψ(ξ) such that, on the intersection of the cone support of ψ y (x)ψ(ξ)ψ q (p) with \({\mathbb{R}}^{d}\times{\mathbb{R}}^{s}\times{\mathbb{R}}^{d}\), the function η p (x,ξ):=|∇ x φ(x,ξ)−p|2 fulfills
Now observe that the cone support of [1−ψ(ξ)]ψ y (x) does not intersect M φ . Thus, by Proposition 3, we can restrict our analysis to a symbol of the form ψ(ξ)a(x,ξ). In the remainder of the proof we thus assume a to be supported in such a way that (4.6) holds on the support of ψ q (p)ψ y (x)a(x,ξ). Now define
The operator Q is well-defined on the (cone) support of ψ q (p)a(x,ξ), as η p (x,ξ) does not vanish or approach zero asymptotically there. We construct the adjoint of Q as above, with respect to \({\mathbf{SG}^{-\infty,-\infty}}={\mathcal{S}}\), and conclude
If we pick another (asymptotic) cut-off \(\widetilde{\psi}_{y}\) supported in a smaller neighborhood of y and such that \(\widetilde{\psi}_{y}\psi_{y}=\widetilde{\psi}_{y}\), we see that, by the properties of Q, for arbitrary \(r\in{\mathbb{Z}}_{+}\),
By (4.6), using the fact that differentiation decreases the respective symbol order by 1, for any (m,μ) there is a seminorm ∥⋅∥ s on SG m,μ such that
that is, for large enough r the expression in (4.7) is integrable and decays in p faster than any inverse power. By differentiating under the integral sign, we can show similar estimates for any derivative with respect to p. This proves the theorem. □
4.2 A Geometrical Interpretation of SP φ
We will now give a characterization, under additional assumptions on the phase function, of the set SP φ , cfr. [33, Lemma 3.6]. Assume throughout this subsection that, if (p,ω)∈M φ , meaning that 〈ξ〉2|∇ ξ φ(x,ξ)|2 is not elliptic at (p,ω), thus “not fulfilling the estimate (3.4) by itself”, then 〈x〉2|∇ x φ(x,ξ)|2 is elliptic at (p,ω).
Lemma 7
Let φ be an admissible inhomogeneous phase function of order (n,ν). Let \((y,\omega)\in{\mathbb{R}}^{d}\times{\mathbb{S}}^{d-1}\) and suppose that for any \(\theta\in{\mathbb{S}}^{s-1}\) satisfying (y,θ)∈M φ there exists a constant (angle) α>0 and a constant E>0 such that τ>E⇒∠(∇ x φ(y,τθ),ω)≥α. Then, (y,ω)∉SP φ .
Proof
In view of the continuity of φ, the above condition holds in a sufficiently small neighbourhood U of y. If there exist α and E as in the assumptions, we can find two open cones \(V,W\subset{\mathbb{R}}^{d}\) with \(\overline{V}\cap\overline {W}=\emptyset\) such that ω∈V and τ>E⇒∇ x φ(y,τθ)∈W. Then, a standard scaling inequality yields, for all \((x,\theta,p)\in U\times{\mathbb{S}}^{s-1}\times V\) such that (x,θ)∈M φ and τ>E,
By the ellipticity assumption on 〈x〉2|∇ x φ(x,ξ)|2 above, using the fact that (x,θ)∈M φ , we see (by possibly enlarging E) that |∇ x φ(x,τθ)|≳〈x〉n−1〈τ〉ν which proves the claim. □
We argue just like above for points in \(({\mathbb{S}}^{d-1}\times {\mathbb{S}} ^{d-1})\cap\mathrm{SP}_{\varphi}\):
Lemma 8
Let φ be an admissible inhomogeneous phase function of order (n,ν). Assume that for \((\theta,\omega)\in{\mathbb{S}}^{d-1}\times {\mathbb{S}}^{d-1}\) there exists an open neighbourhood \(U\subset {\mathbb{B}}^{d}\) of θ with the property that, for all \((x,\eta)\in({\mathbb{R}}^{d}\cap U)\times{\mathbb{S}}^{s-1}\) satisfying (x∞,η)∈M φ , there exists a constant (angle) α>0 and a constant E>0 such that τ>E⇒∠(∇ x φ(x,τη),ω)≥α. Then, (θ,ω)∉SP φ .
For the third component we get:
Lemma 9
Let φ be an admissible inhomogeneous phase function of order (n,ν). Assume that for \((\omega,z)\in{\mathbb{S}}^{d-1}\times {\mathbb{R}}^{d}\) there exists an open neighbourhood \(U\subset{\mathbb{B}}^{d}\) of ω with the property that, for all \((x,\xi)\in({\mathbb{R}}^{d}\cap U)\times{\mathbb{R}}^{s}\) satisfying (x∞,ξ)∈M φ , we have ∇ x φ(x,ξ)−z≠0. Then, (ω,z)∉SP φ .
5 Applications
5.1 The Two-Point Function as a Generalized Oscillatory Integral
Definition 9
The two-point function Δ+ of a free massive (m>0) scalar relativistic field on \({\mathbb{R}}^{4}\cong{\mathbb{R}}\times{\mathbb{R}}^{3}\ni(x_{0},{\mathbf{x}})\) is defined by an oscillatory integral I φ (a) such that
-
d:=4, s:=3, \(\omega(\xi):=\sqrt{m^{2}+|\xi|^{2}}\);
-
φ(x,ξ):=−x 0 ω(ξ)+x⋅ξ;
-
\(a(x,\xi):=\frac{i}{4(2\pi)^{3}\omega(\xi)}\).
In [33], the two-point function was already discussed as an example of a generalized oscillatory integral in the local setting, i.e. as a distribution in \({\mathcal{D}^{\prime}}({\mathbb{R}}^{4})\). This carried over the analysis in [27, Chap. IX], where it was already discussed in the framework of classical oscillatory integrals. This was achieved by replacing φ by the homogeneous phase function −x 0|ξ|+x⋅ξ and absorbing the correction terms into the symbol, yielding a so-called asymptotic symbol.
To start, one computes from the definition
With this, it is easy to verify that φ is an admissible inhomogeneous SG-phase function of order (1,1) and that the following result holds:
Lemma 10
Remark 3
Directions with |x 0|2>|x|2 are called timelike, directions with |x 0|2<|x|2 are called spacelike. By Proposition 3 we see that, while being rapidly decaying in spacelike directions, the twopoint-function I φ (a) defined above is merely smooth in timelike directions, and may not be rapidly decaying. In fact, see e.g. [27, Theorem IX.48], it falls off with an inverse power. This reflects the contribution to asymptotic growth of non-asymptotic stationary phase points of the oscillatory integral, which are known, by the method of stationary phase (e.g. [21, Sect. 7.7] or [19, Chap. 2]), to produce amplitudes asymptotically behaving as (inverse) powers.
With the knowledge of M φ it is easy to calculate SP φ . Therein, x always stands for arbitrary vectors in \({\mathbb{R}} ^{3}\setminus\{0\}\):
Lemma 11
The cone singular support and \(({\mathbb{B}}^{4}\times{\mathbb{S}}^{3})\)-part of WF(Δ+) is illustrated schematically (by projection onto two dimensions) in Fig. 2 (excerpted from [30]).
Indeed, observe that the gradient ∇ x ϕ(x,ξ)=(−ω(ξ),ξ) is independent of x. Thus, in (4.2) we only need to vary |∇ x φ(x,ξ)−p| with respect to ξ and p variables. The details are left for the reader.
Remark 4
By the change
(both sides can be seen to be surjective onto \(\{v\in{\mathbb{R}}^{3}: |v|<1/\sqrt{2}\}\)), we get an alternate parametrization of \(({\mathbb{S}}^{3}\times{\mathbb{R}}^{4})\cap\mathrm{SP}_{\varphi}\):
Theorem 5.1
In the case of the two-point function Δ+ defined as a tempered, SG-oscillatory integral, we have WF(Δ+)=SP φ .
Proof
One inclusion follows by Theorem 4.1. For the opposite inclusion, we argue in three steps, using the properties of the global wave front set of temperate distributions.
The \(({\mathbb{R}}^{4}\times{\mathbb{S}}^{3})\)-part (i.e. WFcl(Δ+)) was determined in [27, Theorem IX.48] by using Lorentz-invariance.
The \(({\mathbb{S}}^{3}\times{\mathbb{S}}^{3})\)-part then follows by the closedness of the global wave front set in \(\partial({\mathbb{B}}^{4}\times{\mathbb{B}}^{4})\).
The last part can be shown by using the symmetry of the global wave front set under Fourier transformation, see Proposition 1. In fact,
thus the claim follows by the fact that the wave front set of such a distribution is the set of normals to its support (see, e.g., [21, Example 8.2.5]) and by the previous remark. □
This agrees with the results obtained in [30, Sect. 2.3].
5.2 Fourier Integral Operators
We recall here the basic notions concerning classical Fourier integral operators, both on open subsets of \({\mathbb{R}}^{n}\) as well as on manifolds, to better explain the link with our analysis above. The original theory goes back to Eskin [18] and Hörmander [20], see also Duistermaat [15], Duistermaat and Hörmander [16], Grigis and Sjöstrand [19], Hörmander [21] and Sogge [32].
Let \(X\subset{\mathbb{R}}^{n_{X}}\), \(Y\subset{\mathbb{R}}^{n_{Y}}\) be open domains. A linear operator \(A:C^{\infty}_{0}(Y) \to\mathcal{D}^{\prime}(X)\) is a Fourier integral operator if its kernel \(K_{A}\in\mathcal{D}^{\prime}(X \times Y)\) is an oscillatory integral of the form
where the phase function \(\phi\in C^{\infty}(X \times Y \times ({\mathbb{R}} ^{N}\setminus\{0\}))\) is real-valued and positively homogeneous of degree one in θ, and the amplitude function a is a symbol in \(S^{\mu}(X\times Y\times{\mathbb{R}}^{N})\) for some \(\mu\in{\mathbb{R}}\), explicitly
for all multiindices α,β,γ, and all (x,y)∈V⊂⊂X×Y, \(\theta\in{\mathbb{R}}^{N}\). Then, formally,
Usually, the phase function ϕ satisfies the non-degeneracy conditions
In such a case, A is a bounded operator from \(C_{0}^{\infty}(Y)\) to C ∞(X), extendable to a continuous operator \(A:\mathcal {E}^{\prime}(Y)\to\mathcal{D}^{\prime}(X)\). In particular, if n 1=n 2=N and ϕ(x,y,θ)=(x−y)⋅θ, A in (5.3) is a pseudodifferential operator of order μ.
The “local” definition given above can be extended to manifolds, by means of the concept of Lagrangian distribution, see, e.g., [20, 21, 32], which we now also recall. First, let \(^{\infty}H_{\sigma}({\mathbb{R}}^{n})\), \(\sigma\in{\mathbb{R}}\), denote the space of all \(u\in\mathcal{S}^{\prime}({\mathbb{R}}^{n})\) such that \(\hat{u}\in L^{2}_{\mathrm{loc}}({\mathbb{R}}^{n})\) and
If X is a closed smooth manifold of dimension n, \(^{\infty}H^{\mathrm{loc}}_{\sigma}(X)\) is defined as the set of all \(u\in\mathcal{D}^{\prime}(X)\) such that (ψu)∘κ −1 is in \({{}^{\infty}H_{\sigma}({\mathbb{R}}^{n})}\) for any local coordinate system \(\kappa: U\subset X\to{\mathbb{R}}^{n}\) and \(\psi\in C_{0}^{\infty}(U)\).
Then, if Λ⊂T ∗ X∖0 is a smooth closed conic (immersed) Lagrangian submanifold, \(u\in\mathcal{D}^{\prime}(X)\) belongs to the space I m(X,Λ) of all Lagrangian distributions of order m associated with Λ if
whenever P j are classical pseudodifferential operators of order 1 whose principal symbols p j vanish on Λ.
Definition 10
Given two smooth closed manifolds X and Y and a smooth closed conic Lagrangian submanifold Λ⊂T ∗(X×Y)∖0, an integral operator A with kernel K A ∈I m(X×Y,Λ) is a Fourier integral operator of order m if Λ⊂{(x,y,ξ,η)∈T ∗(X×Y)∖0:ξ≠0,η≠0}. In such case, we will simply write A∈I m(X,Y;Λ).
It turns out that, in local coordinates on X and Y, the kernels of Fourier integral operators are of type (5.2) modulo C ∞(X×Y), with the non-degenerate phase function ϕ locally parametrizing Λ, in the sense that, setting
the map \((x,y,\theta)\mapsto(x,y,\phi^{\prime}_{x,y}(x,y,\theta))\) is a local homogeneous diffeomorphism of Σ ϕ onto Λ. The principal symbol of A can also be invariantly defined.
A calculus for these operators can be established, see [20, 21, 32]. Also, properties of the adjoint operators and rules for the computation of the principal symbols of A 1∘A 2 and A ∗ can be given as well. Other important aspects of the theory concern the propagation of wave front sets and the boundedness on different functional spaces: these can be applied to the study of the regularity of solutions of Cauchy problems associated with hyperbolic equations, see, for instance, the celebrated theorems of boundedness of Fourier integral operators by K. Asada and D. Fujiwara [2] on L 2, and by A. Seeger, C.D. Sogge and E.M. Stein [31, 32] on L p, 1<p<∞, respectively, and their corollaries.
5.3 Classes of SG-Fourier Integral Operators on \({\mathbb{R}}^{d}\)
One of our motivations to study the class of tempered oscillatory integrals described in the previous sections is to use them to give a definition of Fourier integral operator within the SG framework which is a good, general, local model for Fourier operators on manifolds with ends or, more generally, on SG-manifolds. The study of Fourier integral operators defined through elements belonging to the SG-symbol classes started in Coriasco [8] and [9], and is an interesting field of active research, with developments in many different directions. These include, just to mention a few, Andrews [1], for an approach based on more general phase functions than those appearing in [8, 9], Cappiello, Rodino [4], for results involving Gelfand-Shilov spaces, Cordero, Nicola, Rodino [5, 6], for boundedness results on \(\mathcal{F}{L^{p}({\mathbb{R}}^{n})}_{\mathrm{comp}}\) and the modulation spaces, Ruzhansky, Sugimoto [28] for the global \(L^{2}({\mathbb{R}} ^{d})\)-boundedness, Coriasco, Ruzhansky [14], for the global \(L^{p}({\mathbb{R}}^{n})\)-boundedness, p≠2 (see also the references quoted therein).
A global definition of SG-Fourier integral operator, on manifolds which are Euclidean at infinity, in terms of tempered oscillatory integrals as those described above is a quite natural idea, but a number of difficulties arise. In fact, we would then need to control the behavior at infinity of the involved distributions. Moreover, we would be forced to make use only of certain “admissible” change of variables, see [29], and also the notion of “smoothing remainder” is different, compared with the “classical” situation summarized above. In the sequel, we introduce two classes of Fourier integral operators on \({\mathbb{R}}^{d}\), in terms of temperate oscillatory integrals. The first one will be a class of Fourier integral operators allowing for phase function where all variables are connected, e.g. (〈x〉+〈y〉)2〈ξ〉. The disadvantage is that the approach is not suited to treat pseudodifferential operators. The second class does not have this disadvantage, but only allows for phase functions of type φ(x,y,ξ)=φ x (x,ξ)+φ y (y,ξ). On the other hand, the latter will cover the important situation where the involved canonical relation is the graph of a symplectomorphism of \(T^{*}{\mathbb{R}}^{d}\) onto itself. The analysis carried over in the next subsection can then be considered the first step toward a global definition of SG Fourier integral operators on non-compact SG-manifolds: we plan to fully describe such concept in a forthcoming paper.
5.4 A First Class of SG-Fourier Integral Operators
First we translate the approach of [19, Chap. 1] to the global setting of \({\mathbb{R}}^{d}\). Having introduced a notion of an SG-oscillatory integral we can define a corresponding class of operators via the Schwartz Kernel Theorem, which says that there is a bijection between the distributions \(K\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{x}}\times{\mathbb{R}}^{d_{y}} )\) and the continuous linear operators \(A:{\mathcal{S}} ({\mathbb{R}}^{d_{y}} )\rightarrow {\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{x}} )\), \((d_{x},d_{y})\in {\mathbb{N}}\times{\mathbb{N}}\), given by
Then, with the temperate distributions defined in Sect. 3 we associate an operator as follows:
Definition 11
Set d = d x + d y , \({\mathbb{R}}^{d_{x}}\,{\times}\,{\mathbb{R}}^{d_{y}}\,{\cong}\, {\mathbb{R}}^{d_{x}+d_{y}}\,{\ni}\, (x,y)\). Let \(a\,{\in}\,{\mathbf{SG}^{m,\mu}}({\mathbb{R}}^{d}\,{\times}\,{\mathbb{R}}^{s})\) and φ an admissible SG-phase function (in the sense of Definition 6). Then \(K:=I_{\varphi}(a)\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{x}}\times {\mathbb{R}}^{d_{y}} )\) and the associated continuous linear operator \(A:{\mathcal{S}} ({\mathbb{R}}^{d_{y}} )\rightarrow{\mathcal {S}}^{\prime}({\mathbb{R}} ^{d_{x}} )\), is a Fourier integral operator (FIO).
Such an operator can be written formally as
Remark 5
Note that this approach is not suited to treat SG-pseudo-differential operators, since φ(x,y,ξ)=(x−y)⋅ξ does not satisfy (3.4).
Our analysis of SG-oscillatory integrals grants us certain facts about the corresponding class of FIOs, as in the classical setting, cfr. [19, Theorem 1.17].
Theorem 5.2
Suppose that the phase function φ(x,y,ξ) of a FIO A is for each value in x a phase function (of order (n,ν)) in the variables (y,ξ), namely, that it satisfies, for some R>0 (independent of x) and |y|+|ξ|>R,
Then A takes values in \(\mathcal{C}^{\infty}({\mathbb{R}}^{d_{x}} )\), that is, A is a linear map from \({\mathcal{S}} ({\mathbb{R}}^{d_{y}} )\) to \(\mathcal{C}^{\infty}({\mathbb{R}}^{d_{x}} )\cap{\mathcal {S}}^{\prime}({\mathbb{R}}^{d_{x}} )\).
If for some R>0 and |x|+|y|+|ξ|>R it even holds
then A takes values in \({\mathcal{S}} ({\mathbb{R}}^{d_{x}} )\).
If instead, for some R>0 (independent of y) and |x|+|ξ|>R,
then A is (uniquely) extendable to a continuous map from \(\mathcal {E}^{\prime}({\mathbb{R}}^{d_{y}} )\) to \({\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{x}} )\).
If for some R>0 and |x|+|y|+|ξ|>R it even holds
then A is (uniquely) extendable to a continuous map from \({\mathcal {S}}^{\prime}({\mathbb{R}}^{d_{y}} )\) to \({\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{x}} )\).
Outline of the Proof
By Theorem 3.1, I φ (x,⋅)(a(x,⋅)) is a tempered distribution for each x. In fact, by following the outline of the proof and differentiation under the integral sign, it is possible to show that, for \(f\in{\mathcal{S}}({\mathbb{R}}^{d_{y}})\), the function 〈I φ (x,⋅)(a(x,⋅)),f〉 is smooth (and polynomially bounded together with all its derivatives). For the stronger version, it is enough to apply the regularizing operator repeatedly, to acquire arbitrarily fast decay in 〈x〉 as in the proof of Proposition 3.
Recall that the transpose \({{}^{t}A}:{\mathcal{S}} ({\mathbb{R}}^{d_{x}} )\rightarrow{\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{y}} )\) is related to A via
that is, by interchanging the roles of x and y in the kernel. Then, the second part follows from the first part by duality. □
Example 1
Consider φ(x,y,ξ)=(〈x〉+〈y〉)n〈ξ〉ν, n,ν>0.
5.5 SG-Fourier Integral Operators of Composite Type
In this subsection we will define a class of Fourier integral operators as the composition of two oscillatory integrals: this class of FIOs will include SG-pseudodifferential operators.
Throughout this subsection let \((d_{x},d_{y},d_{\xi})\in{\mathbb{N}}^{3}\). Consider a SG-phase function \(\varphi_{y\xi}(y,\xi)\in {\mathbf{SG}} ({\mathbb{R}} ^{d_{y}},{\mathbb{R}}^{d_{\xi}} )\) and a SG-symbol \(a _{y\xi}(y,\xi) \in{\mathbf{SG}^{\infty,\infty}} ({\mathbb{R}}^{d_{y}},{\mathbb{R}}^{d_{\xi}} )\). Then, by Theorem 3.1, the operator
is linear and continuous.
Lemma 12
If ∇ y φ is globally elliptic, in the sense of (3.2), that is, \(M_{\varphi_{y\xi}}=\emptyset\), then A yξ takes values in \({\mathcal{S}} ({\mathbb{R}}^{d_{\xi}} )\).
If ∇ ξ φ yξ is globally elliptic, then A yξ has a (unique) continuous extension to \({\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{y}} )\rightarrow{\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{\xi}} )\). We call a phase function satisfying both conditions a regular phase function.
Proof
The first statement follows from Corollary 3. The second one follows again by considering the transposed operator. In fact, let \(f\in{\mathcal{S}} ({\mathbb{R}}^{d_{\xi}} ), g\in{\mathcal{S}} ({\mathbb{R}}^{d_{y}} )\). Then, in the sense of oscillatory integrals,
by interchanging the roles of y and ξ, i.e. t A yξ =t A ξy . Thus, if we define the operator on tempered distributions by duality, the second statement follows from the first and the density of \({\mathcal{S}}\) in \({\mathcal{S}}^{\prime}\). □
If d y =d ξ , we can further denote the Fourier transforms \({\mathcal{S}} ({\mathbb{R}}^{d_{y}} )\rightarrow{\mathcal{S}} ({\mathbb{R}}^{d_{y}} )\) and \({\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{y}} )\rightarrow {\mathcal{S}}^{\prime}({\mathbb{R}}^{d_{y}} )\) both by \(\mathcal{F}_{y\xi}\) and their inverses by \(\mathcal{F}_{y\xi}^{-1}\): with this we can define a class of Fourier integral operators. In fact, if a phase function satisfies one of the assumptions of the Lemma 12, we can compose the corresponding operator (either from the left or from the right side) with another operator mapping \({\mathcal{S}}\rightarrow{\mathcal{S}}^{\prime}\). In particular, if it is regular we can compose from both sides. Alternatively, we can compose it with the Fourier transform. In fact, we can transpose with any operator B mapping \({\mathcal{S}}^{\prime}\rightarrow{\mathcal{S}}^{\prime}\) and \({\mathcal{S}}\rightarrow{\mathcal{S}}\) continuously. The following Lemma will provide us with a large class of such operators.
Lemma 13
Let \(\phi\in{\mathbf{SG}}^{1,1}({\mathbb{R}}^{d}\times{\mathbb{R}}^{d})\) be real-valued, satisfying
Then, for any SG-symbol b we can define an operator
which has a continuous extension mapping \({\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\rightarrow{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\), by duality. In fact, if ϕ is a phase function, this operator is identical with the one defined in (5.5).
Proof
We repeat the analysis of Theorem 3.1, this time using the differential operator
For the extension, we prove the statement for the adjoint of the operator, using symmetry of the assumptions on ϕ. Then, duality yields the statement, as in the proof of Lemma 12. □
We call a function ϕ like the one in Lemma 13, in analogy to the notation used in Andrews [1] (where additional conditions are applied to the second order derivatives), a phase component.
Definition 12
Let \(\varphi_{y\xi}(y,\xi)\in{\mathbf{SG}^{\infty,\infty}} ({\mathbb{R}}^{d_{y}},{\mathbb{R}}^{d_{\xi}} )\), φ ξx (ξ,x)∈SG ∞,∞ \(({\mathbb{R}}^{d_{\xi}},{\mathbb{R}}^{d_{x}} )\) be regular SG-phase functions or phase components and \(a_{y \xi}\in{\mathbf{SG}^{\infty ,\infty}} ({\mathbb{R}} ^{d_{y}},{\mathbb{R}}^{d_{\xi}} )\), \(a_{\xi x}\in{\mathbf {SG}^{\infty,\infty}} ({\mathbb{R}}^{d_{\xi}},{\mathbb{R}}^{d_{x}} )\). Then a SG-Fourier integral operator of composite type A is the map A=A ξx ∘A yξ .
Remark 6
Formally, we thus have
and in the case of the Fourier transform, e.g., φ yξ (y,ξ)=∓y⋅ξ, a(y,ξ)=1. We obtain (SG-)pseudodifferential operators by choosing \(A_{y\xi }=\mathcal{F}_{y\xi}\) and φ ξx (x,ξ)=ξ⋅x, i.e. formally
Remark 7
The transpose of a Fourier integral operator of such a class can thus be obtained via t(AB)=t B t A.
Example 2
Let φ(ξ,x) be a phase function of order (1,1) that satisfies (globally)
In particular, φ satisfies both conditions of Lemma 12. If we set \(A=A_{\xi x}\circ\mathcal{F}_{y \xi}\), we obtain the class of Type I operators of [8], that is, formally
With this, we can deduce, as in Lemma 12 (cfr. [8, Theorems 4 and 5]):
Corollary 4
Type I operators map \({\mathcal{S}}\) continuously into itself and can be (uniquely) extended to a continuous map of \({\mathcal{S}}^{\prime}\) into itself.
If we choose two phase components, we obtain a Type \(\mathcal{Q}\)-Operator with symbol a yξ +a ξx . Type \(\mathcal{Q}\)-Operators were introduced in [1], where the phase components satisfied another non-degeneracy condition and the symbols were in all three variables. Under these assumption, it was proven that the calculus is closed under adjoints and composition. In the following example we will indicate an operator which is not of Type \(\mathcal {Q}\) but treatable as an operator of composite type.
Example 3
The solution to the Klein-Gordon-equation
with \(\omega(\xi)=\sqrt{m^{2}+\xi^{2}}\) as in Definition 9, can be written as
This can be understood as the application of a FIO of composite type to f.
5.6 SG-Fourier Integral Operators and Wave Front Sets
Lemma 12 provided us with the means of continuing the operator A yξ to \({\mathcal{S}}^{\prime}\) by assuming the ellipticity of ∇ ξ φ. This always granted the existence of the composition of the involved kernels as rapidly decaying functions. But, as we know from the general theory, under certain assumptions on the wave front set, the composition can be defined even on distributions. In fact, for the tempered case we have, see [23] and [22]:
Theorem 5.3
Let \(T, S\in{\mathcal{S}}^{\prime}({\mathbb{R}}^{d})\). Then, if \((x,p)\in\mathrm{WF}(T)\cap({\mathbb{R}} ^{d}\times{\mathbb{S}}^{d-1})\Rightarrow(x,-p)\notin\mathrm{WF}(T)\), their pairing 〈T,S〉 is unambiguously defined.
With this we prove the following
Theorem 5.4
Let \(\varphi_{y\xi}(y,\xi)\in{\mathbf{SG}^{\infty,\infty}} ({\mathbb{R}}^{d_{y}},{\mathbb{R}}^{d_{\xi}} )\) be a SG-phase function, \(a_{y \xi}\in {\mathbf{SG}^{\infty,\infty}} ({\mathbb{R}} ^{d_{y}},{\mathbb{R}}^{d_{\xi}} )\). Then, the operator A yξ can be continuously extended to
Proof
Let \(f\in{\mathcal{S}} ({\mathbb{R}}^{d_{\xi}} )\), \(T\in {\mathcal{S}}^{\prime}({\mathbb{R}} ^{d} )\). We define
Since, by Theorem 4.1,
Theorem 5.3 allows to conclude that (5.7) gives indeed a well-defined operator, in terms of pairing of distributions. □
Remark 8
Indeed, combining this result with Theorem 5.1 allows us to extend the operator defined in Example 3.
Notes
Since we will not address the manifold case here, we focus on a standard formulation in terms of the SG calculus on \({\mathbb{R}}^{n}\). See, e.g., [22] for details on the scattering (or SG-)calculus on manifolds.
That is, η∈SG 2n,2ν is elliptic.
The notation used in the definition of u and v means that each component of these two vectors is a SG-symbol of the indicated order.
References
Andrews, G.D.: A closed class of SG Fourier integral operators with applications. Ph.D. Thesis, Imperial College, London (2004)
Asada, K., Fujiwara, D.: On some oscillatory integral transformations in \(L^{2}({\mathbb{R}}^{n})\). Jpn. J. Math. 4, 299–361 (1978)
Battisti, U., Coriasco, S.: Wodzicki residue for operators on manifolds with cylindrical ends. Ann. Glob. Anal. Geom. 40(2), 223–249 (2011)
Cappiello, M., Rodino, L.: SG-pseudodifferential operators and Gelfand-Shilov spaces. Rocky Mt. J. Math. 36(4), 1117–1148 (2006)
Cordero, E., Nicola, F., Rodino, L.: On the global boundedness of Fourier integral operators. Ann. Glob. Anal. Geom. 38(4), 373–398 (2010)
Cordero, E., Nicola, F., Rodino, L.: Boundedness of Fourier integral Operators on \(\mathcal{F} L^{p}\) spaces. Trans. Am. Math. Soc. 361, 6049–6071 (2009)
Cordes, H.O.: The technique of pseudodifferential operators. Cambridge University Press, Cambridge (1995)
Coriasco, S.: Fourier integral operators in SG classes I. Rend. Semin. Mat. (Torino) 57(4), 249–302 (1999)
Coriasco, S.: Fourier integral operators in SG classes II: Application to SG hyperbolic Cauchy problems. Ann. Univ. Ferrara, Sez. 7: Sci. Mat. 44, 81–122 (1998)
Coriasco, S., Johansson, K., Toft, J.: Local wave front sets of Banach and Fréchet types, and pseudo-differential operators. Monatshefte Math. 169(3–4), 285–316 (2013). doi:10.1007/s00605-012-0392-y
Coriasco, S., Johansson, K., Toft, J.: Global wave-front sets of Banach, Fréchet and modulation space types, and pseudo-differential operators. J. Differ. Equ. 254(8), 32283258 (2013). doi:10.1016/j.jde.2013.01.014
Coriasco, S., Maniccia, L.: Wave front set at infinity and hyperbolic linear operators with multiple characteristics. Ann. Glob. Anal. Geom. 24(4), 375–400 (2003)
Coriasco, S., Maniccia, L.: On the spectral asymptotics of operators on manifolds with ends (2012). Preprint. arXiv:1202.2846
Coriasco, S., Ruzhansky, M.: Global L p continuity of Fourier integral operators. Trans. Am. Math. Soc. (2013, to appear)
Duistermaat, J.J.: Fourier Integral Operators. Birkhäuser, Boston (1996)
Duistermaat, J., Hörmander, L.: Fourier Integral Operators II. Acta Math. 128, 183–269 (1972)
Egorov, Y., Schulze, B.-W.: Pseudo-Differential Operators, Singularities, Applications. Birkhäuser, Basel (1997)
Eskin, G.I.: Degenerate elliptic pseudodifferential operators of principal type. Math. USSR Sb. 11, 539–585 (1970)
Grigis, A., Sjöstrand, J.: Microlocal Analysis for Differential Operators. Cambridge University Press, Cambridge (1994)
Hörmander, L.: Fourier integral operators I. Acta Math. 127, 79–183 (1971)
Hörmander, L.: The Analysis of Linear Partial Differential Operators. Classics in Mathematics. Springer, Berlin (2003)
Melrose, R.: Spectral and scattering theory for the Laplacian on asymptotically Euclidean spaces. In: Spectral and scattering theory, Sanda, 1992. Lecture Notes in Pure and Appl. Math., vol. 161, pp. 85–130. Dekker, New York (1994)
Melrose, R.: Lecture Notes for Graduate Analysis (2004). http://www.core.org.cn/NR/rdonlyres/Mathematics/18-155Fall-2004/734BCA72-5878-49BB-BE17-D45DCBDE423A/0/lecture_notes.pdf
Nicola, F., Rodino, L.: Global Pseudodifferential Calculus on Euclidean Spaces. Birkhäuser, Basel (2010)
Parenti, C.: Operatori pseudodifferenziali in \({\mathbb{R}}^{n}\) e applicazioni. Ann. Mat. Pura Appl. 93, 359–389 (1972)
Pilipović, S., Teofanov, N., Toft, J.: Micro-local analysis in Fourier Lebesgue and modulation spaces. Part II (2008). Preprint. arXiv:0804.1730
Reed, M., Simon, B.: Methods of modern mathematical physics II. Academic Press, New York (1975)
Ruzhansky, M., Sugimoto, M.: Global L 2 boundedness theorems for a class of Fourier integral operators. Commun. Partial Differ. Equ. 31, 547–569 (2006)
Schrohe, E.: Spaces of weighted symbols and weighted Sobolev spaces on manifolds. In: Cordes, H.O., Gramsch, B., Widom, H. (eds.) Proceedings of the Conference held at Oberwolfach, vol. 1256, pp. 360–377. Springer, New York (1986)
Schulz, R.: Produkte temperierter Distributionen. Master’s thesis, Georg-August-Universität Göttingen (2011)
Seeger, A., Sogge, C.D., Stein, E.M.: Regularity properties of Fourier integral operators. Ann. Math. 134, 231–251 (1991)
Sogge, C.D.: Fourier Integrals in Classical Analysis. Cambridge University Press, Cambridge (1993)
Zahn, J.: The wave front set of oscillatory integrals with inhomogeneous phase function. J. Pseudo-Differ. Oper. Appl. 2, 101–113 (2011)
Acknowledgements
We are grateful to Profs. D. Bahns, L. Rodino, J. Toft, I. Witt and Dr. J. Zahn, for valuable advice and constructive criticism. We also wish to thank the anonymous reviewer, for his valuable comments.
S Coriasco was partially supported by the PRIN Project “Operatori Pseudo-Differenziali ed Analisi Tempo-Frequenza” (Director of the national project: G. Zampieri; local supervisor at Università di Torino: L. Rodino). The first author also gratefully acknowledges the support by the Department of Computer Science, Physics and Mathematics, Linnăus University, Växjö (Sweden), during his stay as Visiting Scientist in the Academic Year 2011/2012, where this paper was partially developed and completed.
R. Schulz was supported by the German Research Foundation (Deutsche Forschungsgemeinschaft (DFG)) through the Institutional Strategy of the University of Göttingen, in particular through the research training group GRK 1493 and the Courant Research Center “Higher Order Structures in Mathematics”, as well as by the German Academic Exchange Service (DAAD) within the framework of a “DAAD Doktorandenstipendium”. The second author is also grateful for support by the “Studienstiftung des deutschen Volkes”.
The graphics were made in TikZ and gnuplot.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
Rights and permissions
About this article
Cite this article
Coriasco, S., Schulz, R. The Global Wave Front Set of Tempered Oscillatory Integrals with Inhomogeneous Phase Functions. J Fourier Anal Appl 19, 1093–1121 (2013). https://doi.org/10.1007/s00041-013-9283-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-013-9283-4