Abstract
In this article, we studied the convolution operators \(M_k\) with oscillatory kernel, which are related to the solutions of the Cauchy problem for the strictly hyperbolic equations. The operator \(M_k\) is associated to the characteristic hypersurfaces\(\Sigma \subset {\mathbb {R}}^3\) of a hyperbolic equation and smooth amplitude function, which is homogeneous of the order \(-k\) for large values of the argument. We investigated the convolution operators assuming that the corresponding amplitude function is contained in a sufficiently small conic neighborhood of a given point \(v\in \Sigma \) at which, exactly one of the principal curvatures of the surface \(\Sigma \) does not vanish. Such surfaces exhibit singularities of the type A in the sense of Arnold’s classification. Denoting by \(k_p\) the minimal number such that \(M_k\) is \(L^p\mapsto L^{p'}\)-bounded for \(k>k_p,\) we showed that the number \(k_p\) depends on some discrete characteristics of the surface \(\Sigma \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well known that the solution operator of the Cauchy problem for homogeneous constant coefficient strictly hyperbolic equation, up to a regularizing operator, can be written as a sum of convolution operators of the type:
where F is the Fourier transform operator, \(\varphi \in C^{\infty }({\mathbb {R}}^{\nu }\backslash \{0\})\) is homogeneous of order one function, \(a_{k}\in C^{\infty }({\mathbb {R}}^{\nu }_\xi )\) is a homogeneous function of order \(-k\) for large \(\xi \).
We demonstrate the motivation of the main problem in a simple example. Consider the classical example related to the Cauchy problem for the wave equation in \({\mathbb {R}}\times {\mathbb {R}}^\nu \):
where \(g_0, g_1\) are distributions.
The solution to the Cauchy problem formally can be written as:
Thus, the solution operator of the Cauchy problem, modulo a regularizing operator, can be written as a sum of Fourier multiplier operators having the form (1.1). Actually, the classical Strichartz estimates are related to the wave equation [18].
Surely, analogical issues require much more effort for the higher order strictly hyperbolic equation (see [12] and references therein).
After the scaling arguments for time \(t>0\) the operator \(\mathcal {M}_k\) is reduced to the following convolution operator (see [16]):
Let \(1\le p\le 2\) be a fixed number: We consider the problem: find the minimal number k(p) such that the operator \(M_{k}: L^{p}({\mathbb {R}}^\nu )\rightarrow L^{p'}({\mathbb {R}}^\nu )\) is bounded for any \(k>k(p)\). Where and further the \(p'\) denotes the conjugate exponent e.g. \(1/p+1/p'=1\).
Similar problems have been considered by many authors including Strichartz [18, 19], in the case when the characteristic hypersurface is the unit sphere, Brenner [5], when the characteristic hypersurface has non-vanishing Gaussian curvature. These results were extended by Sugimoto [14,15,16], in which the characteristic hypersurface was convex (but, not necessarily strictly convex) and also for some non-convex hypersurfaces (see also [13]).
Nevertheless, the problem remains in general wide open. Also, the issue is related to many other open problems of harmonic analysis related to oscillatory integrals.
Note that if \(a_k(\xi )=|\xi |^{-k}\) for large \(\xi \) with \(0<k<\nu \) and \(\varphi \equiv 0\) then the problem can be solved by using the classical Hardy–Littlewood–Sobolev’s inequality. Due to the classical Hardy–Littlewood–Sobolev’s inequality if \(k\ge 2n(1/p-1/2)\) then the operator (1.2) is bounded from \(L^p({\mathbb {R}}^\nu )\) to \(L^{p'}({\mathbb {R}}^\nu )\). Moreover, if \(a_k\) is a classical symbol of PsDO and \(\varphi \equiv 0\) then we deal with \(L^p({\mathbb {R}}^\nu )\mapsto L^{p'}({\mathbb {R}}^\nu )\) boundedness problem for pseudo-differential operators (see [14]). It is well-known that if \(a_k\) is a classical symbol of the PsDO of order zero then the corresponding PsDO is bounded on \(L^p({\mathbb {R}}^\nu )\) for \(1<p<\infty \).
Further, we assume that the function \(\varphi \) preserves sign, e.g. \(\varphi (\xi )\ne 0\) for any \(\xi \in {\mathbb {R}}^\nu {\setminus }\{0\} (\nu \ge 2)\). Note that, due to the oscillation factor for a wider range of the order \(-k\) of the amplitude \(a_k\) we get the \(L^p({\mathbb {R}}^\nu )\mapsto L^{p'}({\mathbb {R}}^\nu ) \) boundedness of the operator (1.2).
Next, without loss of generality we may assume that \(\varphi (\xi )>0\) for any \(\xi \ne 0\). Since \(\varphi \) is a smooth homogeneous function of order one, then, due to the Euler’s homogeneity relation we have:
and hence the set \(\Sigma \) defined by the following
is a smooth or a real analytic hypersurface provided \(\varphi \) is a smooth or a real analytic function on \({\mathbb {R}}^\nu \setminus \{0\}\) respectively.
Further, we use notation:
It turns out that the number \(k_p(\Sigma )\) depends on geometric properties of the hypersurface \(\Sigma .\) More precisely, the number depends on behavior of the Fourier transform of measures supported on \(\Sigma \). The monograph [10] contains many modern results related to the Fourier transform of surface-carried measures.
Since \(\Sigma \subset {\mathbb {R}}^\nu \setminus \{0\}\) is a compact hypersurface, then following Sugimoto [16], it is enough to consider the local version of the problem. More precisely, we may assume that the amplitude function \(a_{k}(\xi )\) is concentrated in a sufficiently small conic neighborhood \(\Gamma \) of a fixed point \(v\in \Sigma \) and \(\varphi (\xi )\in C^{\infty }(\Gamma )\). Fixing such a point \(v\in \Sigma \), let us define the following local exponent \(k_p(v)\) associated to this point:
The definition of \(k_p(v)\) yields that it is an upper semicontinuous function of v for a fixed p.
Further, we use the following standard notation, assuming F being a sufficiently smooth function:
where \(\gamma :=(\gamma _1,\ldots , \gamma _\nu )\in {\mathbb {Z}}^\nu _+\) is a multiindex, with \({\mathbb {Z}}_+:=\{0\}\cup {\mathbb {N}}\), and \(|\gamma |:=\gamma _1+\cdots +\gamma _\nu .\)
Also, for the sake of being definite, we assume that \(v=(0, \ldots , 0, 1)\) and \(\varphi (v)=1\). After possible a linear transform in the space \({\mathbb {R}}^\nu _\xi \), which preserves the point v, we may assume that \(\partial _j\varphi (v)=0 (j=1,\ldots , \nu -1)\). Thus, in a neighborhood of the point v the hypersurface \(\Sigma \) is given as the graph of a smooth function:
where \(U\subset {\mathbb {R}}^{\nu -1}\) is a sufficiently small neighborhood of the origin and, \(\phi \in C^{\infty }(U)\) is a smooth function satisfying the conditions: \(\phi (0)=0, \nabla \phi (0)=0\) (compare with [16]).
Further, we mainly consider the problem for the case \(\nu =3\). In order to state the main results, we need the following Proposition [9]:
Proposition 1.1
Assume that \(\phi \) is a smooth function defined in a neighborhood of the origin of \({\mathbb {R}}^2\) satisfying the conditions: \(\partial _2^2\phi (0,0)\ne 0\) and also \( \partial ^\gamma \phi (0, 0)=0\) for any \(|\gamma |\le 2\) with \(\gamma \ne (0, 2)\).
Then, \(\phi \) can be written in the following form on a sufficiently small neighborhood of the origin:
where \(b, b_0\) and \(\psi \) are smooth functions with \(b(0, 0)\ne 0\). The function \(\psi \) (resp. \(b_0\)) can be written as \(\psi (x_1) =x_1^m\omega (x_1) \) with a smooth function \(\omega \) satisfying \(\omega (0)\ne 0, \, m\ge 2\) (resp. \(b_0(x_1)=x_1^n\beta (x_1)\), with a smooth function \(\beta \) satisfying \(\beta (0)\ne 0, \, n\ge 2\)) unless \(\psi \) (resp. \(b_0\)) is a flat function.
Further, we assume that if \(\Sigma \) is a \(C^{\infty }\) hypersurface and \(b_0\) is a flat function then \(b_0 \equiv 0\). This condition agrees with so-called “\(R-\)condition” introduced in the monograph [9]. Surely, if \(\phi \) is a real analytic function then the \(R-\) condition is automatically fulfilled.
Also, we assume that the function \(\phi \) has a singularity of type \(A_n (1\le n\le \infty )\) at the origin (see [3] for a definition of A type singularities). The last condition means that the hypersurface \(\Sigma \) has exactly one non-vanishing principal curvature at the point v, whenever \(n\ge 2\) in the case \(\nu =3\).
Remark 1.2
It is easy to show that the numbers m and n are well-defined for arbitrary smooth function \(\phi \) having A type singularity (see [16] and also [9]). Moreover, to each point \(v\in \Sigma \) of the surface with at least one non-vanishing principal curvature we can attach a pair (m(v), n(v)) due to the Proposition 1.1.
1.1 The Main Results
In this paper we prove the following statement, which is the main our result.
Theorem 1.3
Let \(\Sigma \subset {\mathbb {R}}^3\setminus \{0\}\) be a smooth surface having at least one non-vanishing principal curvature at the point \(v=(0, 0, 1)\in \Sigma \) and \(1\le p\le 2\) be a fixed number and also (m, n) be the pair defined by the Proposition 1.1. Then the following statements hold:
(i) If \(2m\ge n\) (with \(2\le n\le \infty \)) then \(k_p(v)=(5-\frac{2}{n})(\frac{1}{p}-\frac{1}{2})\);
(ii) If \(\Sigma \) is a smooth hypersurface satisfying the \(R-\)condition and \(m\ge 3\) and also \(2m<n\le \infty \) then
Let \(p\in [1, 2]\) be a fixed number. As noted before, the \(k_p(v)\) is an upper semicontinuous function of v defined on a compact hypersurface \(\Sigma \subset {\mathbb {R}}^3\setminus \{0\}\). Then the main Theorem 1.3 yields.
Corollary 1.4
If \(\Sigma \subset {\mathbb {R}}^3\setminus \{0\}\) is a smooth compact hypersurface satisfying the conditions of the main Theorem 1.3 at any point \(v\in \Sigma \) then the following relation
holds true.
1.2 Classes of Hypersurfaces
Sugimoto [16] considered the problem for the case when \(\Sigma \subset {\mathbb {R}}^3\) is an analytic surface having at least one non-vanishing principal curvature at every point and obtained an upper bound for the number \(k_p(\Sigma )\). More precisely, Sugimoto introduced [16] three classes of hypersurfaces in \({\mathbb {R}}^3\) with at least one non-vanishing principal curvature.
Following [16] we can introduce the following classes of hypersurfaces by the function \(\phi \), defined in a small neighborhood of the origin, having the form given in the Eq. (1.4): We say that \(\Sigma \) is of type I with order n if \(b_0(x_1)=x_1^n\beta (x_1)\), where \(\beta \) is a smooth function with \(\beta (0)\ne 0\); \(\Sigma \) is of type II with order m if \(b_0\) is a flat function at the origin and also \(\psi (x_1)=x_1^m\omega (x_1)\), where \(\omega \) is a smooth function with \(\omega (0)\ne 0\), and finally, \(\Sigma \) is of type III if both functions \(\psi , \, b_0\) are flat at the origin.
It has been obtained an upper bound for the number \(k_p(v)\) for each class of hypersurfaces [16]. Moreover, Sugimoto suggested examples for each classes showing sharpness of the bounds for those examples.
The natural question is: Whether the upper estimate for the number \(k_p(v)\) given in [16] is the sharp bound for each hypersurface of the appropriate class ?
Actually, due to the Theorem 1.3, we obtain the exact value of \(k_p(v)\), improving the results proved in [16], for arbitrary analytic hypersurfaces having at least one non-vanishing principal curvature and smooth hypersurfaces under the so-called \(R-\) condition introduced in [9].
Remark 1.5
Note that in the case (i) of the Theorem 1.3 formally it is possible \(m=\infty \) e.g. the \(\psi \) can be a flat function. Sugimoto [16] suggested the example:
which corresponds to the case (i), with \(\psi (x_1)\equiv 0\). From our results it follows that the Sugimoto result [16] is sharp in that case. Moreover, the Sugimoto result, for a surface of the class I with order n, is sharp if and only if \(2m \ge n\).
Note that the first case (i) agrees with the so-called linearly adapted condition introduced in the monograph [9] (see also [8]). Also note that under the linearly adapted case the sharp uniform (with respect to directions of the frequencies) estimates for the Fourier transform of measures give the sharp bound for the exponent p in the \(L^p\mapsto L^2\) Fourier restriction estimate. It had been shown in [9] that it is only the case.
If \(n=\infty \) e.g. if \(b_0\) is a flat function at the origin then so is \(\psi \), under the condition \(2m\ge n\). Hence, the Sugimoto result is sharp in that case also, in other words, the results of the paper [16] are sharp for arbitrary smooth surface of the class III.
On the other hand if \(2m<n< \infty \) then the result of Sugimoto [16] is not sharp for the hypersurfaces \(\Sigma \) of the class I. Our results show that one can not be ignored influence of the number m for the surfaces of the class I.
For the case \(n=\infty \) and \(m<\infty \) e.g. for hypersurfaces of the class II Sugimoto obtained the sharp bound for \(k_p(v)\), when \(\Sigma \) belongs to a subclass of analytic surfaces of the class II. It turns out that the analogical result holds true for arbitrary analytic hypersurfaces of the class II and also for arbitrary smooth surfaces of the class II under the \(R-\) condition. More precisely, from our result it follows that actually the statement of the Theorem 2 proved by Sugimoto [16] (page no. 396) holds true for arbitrary analytic hypersurface having type II and also for analogical smooth hypersurfaces under the R-condition.
Consider the example of strictly hyperbolic equation of order 4 in the space \({\mathbb {R}}\times {\mathbb {R}}^3\), for which the corresponding surface \(\Sigma \) can be written as the graph of a function having \(A_\infty \) type singularities:
where \(\Delta \) is the standard Laplace operator in \({\mathbb {R}}^2\). It is the axisymmetric partial differential equation.
Consider one of the roots of the characteristic equation
given by
Then the corresponding hypersurface \(\Sigma \) can be obtained from the plane curve
by rotation around the \(O\xi _3\) axis. It is easy to see that at least one of the principal curvatures of the surface \(\Sigma \) does not vanish at any point. Moreover, exactly one of the principal curvatures does not vanish at the points
with \(0\le \varsigma \le 2\pi \), and directions of the normals to the surface \(\Sigma \) at the points coincide with the direction of the \(O\xi _3\) axis. Thus, the corresponding phase function \(\phi \) has \(A_\infty \) type singularities at those points.
Actually, one can consider the analogical axisymmetric equation in the space \({\mathbb {R}}^n(n\ge 4)\). Then more complicated non-isolated singular points appear. In this case we can not get analogical estimates for the corresponding convolution operators. Moreover, one can construct examples of hypersurfaces in three dimensional space, for which both principal curvatures vanish at some point and our methods can not be applied.
We plan to consider the case of hypersurfaces in \({\mathbb {R}}^3\) for which both principal curvatures vanish at some point (work in progress).
This paper organized as follows: in Sect. 2 we give preliminary results on relations between decay rate of oscillatory integrals and upper estimates for the number \(k_p(v)\). Then we obtain an upper bound for the number \(k_p(v)\), for each class of surfaces in Sect. 3. Finally, in Sect. 4 we give lower bounds for the number \(k_p(v)\), which agree with the upper bounds. The results of the last Sect. 4 finish a proof of the main Theorem 1.3.
Conventions: Throughout this article, we use the variable constant notation, i.e., many constants appearing in the course of our arguments, often denoted by \(c, C, \varepsilon , \delta \); will typically have different values at different lines. Moreover, we use symbols such as \(\sim , \lesssim \) or \(<<\) in order to avoid writing down constants, as explained in [9] ( Chapter 1). By \(\chi _0\) we denote a non-negative smooth cut-off function on \({\mathbb {R}}\) with typically small compact support which is identically 1 on a small neighborhood of the origin.
2 Preliminaries
The boundedness problem for the convolution operators is related to behaviour of the following convolution kernel:
We define the Fourier transform operator and its inverse as [17]:
and the inverse
for a Schwartz function u, where \(\xi \cdot x\) is the usual inner product of the vectors \(\xi \) and x. Then it has been defined for distributions by the standard arguments.
It is well known that (see [16]) the main contribution to \(K_k\) gives points x which belongs to a sufficiently small neighborhood of the set \(-\nabla \varphi (supp(a_k)\setminus \{0\})\).
In the paper [16] it had been shown the relation between the boundedness of the convolution operator \(M_{k}\) and behaviour of the following oscillatory integral:
where \( g\in C_{0}^{\infty }(U)\) and U is a sufficiently small neighborhood of the origin.
More precisely the following statements were proved in [16]:
Proposition 2.1
Let \(q\ge 2\) and \(\alpha \ge 0\). Suppose for all \(g\in C_{0}^ {\infty }(U)\) and \(\lambda >1\),
where \(C_{g}\) is independent of \(\lambda \). Then \(K_{k}(\cdot ):=F^{-1}[e^{i\varphi (\xi )}a_{k}(\xi )](\cdot )\in L^{q}({\mathbb {R}}^{\nu })\) and \(M_{k}:L^{p}({\mathbb {R}}^{\nu }) \rightarrow L^{p'}({\mathbb {R}}^{\nu })\) bounded for \(p=\frac{2q}{2q-1}\), if \(k>\nu -\alpha -\frac{1}{q}\).
Also, Sugimoto [16] proved another version of the Proposition 2.1 in the case \(q=\infty \). One can define
Here \(\{\Phi _j (\xi )\}_{j=1}^\infty \) is a Littlewood–Paley partition of unity which is used to define the norm
of Besov space \(B^s_{p, q}\) (see [4]).
Proposition 2.2
Let \(\alpha \ge 0\). Suppose, for all \(g\in C^\infty _0(U)\) and \(\lambda >1\),
where \(C_g\) is independent of \(\lambda \). Then \(\{K_{k, j} \}_{j=1}^\infty \) is bounded in \(L^\infty ({\mathbb {R}}^\nu )\), if \(k=\nu -\alpha \). Hence \(M_k\) is \(L^p\mapsto L^{p'}\) bounded, if \(k>(2\nu -2\alpha )\big (\frac{1}{p}-\frac{1}{2}\big )\). This inequality can be replaced by an equation, if \(p\ne 1\).
3 An Upper Bound for the Number \(k_p(v)\)
Note that we deal with the two-dimensional oscillatory integral \(I(\lambda , z)\) e. g. \(\nu =3\). If \(\phi \) has singularity of type \(A_{n-1}\) with \(2\le n\le \infty \) at the origin and \(|z|>\delta \) (where \(\delta \) is a fixed positive number) then the phase function \(\phi (x_1, x_2)+x_1z_1+x_2z_2\) has no critical points provided U is a sufficiently small neighborhood of the origin and \(g\in C_0^\infty (U)\). Therefore we can use integration by parts arguments and obtain:
which is better than what we expected.
Further, we assume that \(|z|<<1\) and U is a sufficiently small neighborhood of the origin. Then we use the stationary phase method in \(x_2\) variable and obtain as:
where R is a remainder term satisfying the estimate \(|R(\lambda , z)|\lesssim \lambda ^{-\frac{3}{2}}\) and \(x_2^c(x_1, z_2)\) is the unique critical point of the phase function with respect to \(x_2\). Moreover, the phase function \(\phi _1(x_1, z_2)\) can be written as:
where B, q are smooth functions with \(B(0)\ne 0\) (see [6]).
Then by using the Van der Corput type lemma [2] (the paper [7] contains analogical estimates for oscillatory integrals with more general phase function) we see that the estimate (2.2) holds true with \(\alpha =\frac{1}{2}+\frac{1}{n}\) (see [11] and [8] for analogical estimates in the case \(n=\infty \)). It is the sharp uniform (with respect to the parameters z) bound for the oscillatory integrals with phase having A type singularities. In this case we can use Proposition 2.2 and have the following upper bound for the \(k_p(v)\):
This case includes the class of surfaces of type III e.g. the case \(m=n=\infty \). Note that the upper bound (3.1) does not depend on the number m. It turns out that, it is the sharp bound for the \(k_p(v)\) under the condition \(2m\ge n\). However, if \(2m<n\) then the bound (3.1) is not sharp. Thus, the sharp uniform estimates for the oscillatory integrals give the sharp bound for \(k_p(v)\) if and only if \(2m\ge n\).
Now, we consider the more subtle case \(2m<n\). In this case we use the following Lemma (compare with the Theorem 2 of [16]):
Lemma 3.1
Let \(\phi \) be a smooth function satisfying the conditions of the Proposition 1.1, in addition the \(R-\)condition, in which \(2\,m\le n\le \infty \) and \( 3\le m<\infty \) and also \(\varepsilon >0\) be a fixed positive number. Then the following estimate
holds true.
Remark 3.2
For the case \(n=2m\) the result of the Lemma 3.1 does not give a better estimate for \(k_p(v)\) than the sharp uniform, with respect to the parameters z, estimate for the corresponding oscillatory integrals. On the other hand if \(2m>n\) then the phase function may have more degenerate than \(A_{m-1}\) critical points and we can not get the sharp analogical estimates for \(L^{m+1}({\mathbb {R}}^2)-\)norm of the corresponding oscillatory integrals.
Proof
As noted before, we assume that \(|z|<<1\) and \(\varepsilon \) is a fixed positive number. So, in order to prove the Lemma 3.1 we show the validity of the following estimate:
where V is a sufficiently small neighborhood of the origin.
Due to the stationary phase arguments it is enough to estimate the integral
where we use the notation:
First, we assume that \(\Big \{|z_2|<\delta |z_1|^{\frac{n-m}{n-1}}\Big \}\), where \(\delta \) is a sufficiently small fixed number, which will be defined later.
If \(\big \{\lambda |z_1|^{\frac{n}{n-1}}\le 1\big \}\), then the classical van der Corpute Lemma [2] yields:
We show that, the estimate (3.2) holds true for \(\lambda |z_1|^{\frac{n}{n-1}}>1\), whenever \(\delta \) is a sufficiently small positive number.
Indeed, we use change of variables as \(x_1=|z_1|^{\frac{1}{n-1}}y_1\) in the integral \(I_1\) and denoting \(y_1\) again by \(x_1\) obtain:
where
Note that
There exists a number N such that the phase function \(\Phi _2\) has no critical point on the set \(\{|x_1|\ge N\}\). Take a smooth non-negative function \(\chi _0\) such that
We write the integral \(I_1\) as the sum of two integrals using the function \(\chi _0\):
Using the integration by parts formula in the integral \(I_{12}\) we get:
Surely, it coincides with the estimate (3.2).
Now, we consider the estimate for the integral \(I_{11}\). The phase function of the integral can be considered as a small perturbation of the function \(\beta (0)x_{1}^{n}+sgn(z_1)x_{1}\). Hence, there exists a positive number \(\delta >0\) such that the function \(\Phi _2(x_1, z)\) has only non-degenerate critical points, whenever the parameter z satisfies the condition: \(|z_2|< \delta |z_1|^{\frac{n-m}{n-1}}\). Therefore we use Van der Corpute type estimate and obtain:
This completes a proof of the estimate (3.2) in the considered case.
Now, suppose \(\{|z_1|^{\frac{n-m}{n-1}}\le \frac{1}{\delta }|z_2|\}.\)
If \(|z_2|^{\frac{n}{n-m}}|\lambda |\le 1\) then by using Van der Corpute type estimate we obtain the following bound:
Finally, we consider the case \(|z_2|^{\frac{n}{n-m}}|\lambda |>1\), where our arguments based on induction method over m (see Proposition 3.3 stated below and we refer readers to [1] for more general result with the detailed proof). In this case, it is natural to use the change of variables \(x_1 \mapsto |z_2|^{\frac{1}{n-1}}x_1\) in the integral \(I_1\) which can be written as:
where
There exists a positive number N such that the phase function \(\Phi _2\) has no critical points on the set \(\{|x_1|\ge N\}\). Again, as before we write the integral \(I_1\) as the sum of two integrals \(I_{11}, \, I_{12}\) given by the formulas:
For the integral \(I_{12}\) we get:
because on the support of the amplitude function of the integral \(I_{12}\) the function \(\Phi _{2}(x_1, z)\) has no critical points.
Finally, we consider estimate for the integral \(I_{11}\). Note that
Since the interval \(\Big [-\delta ^{-\frac{n-1}{n-m}}, \delta ^{-\frac{n-1}{n-m}}\Big ]\) is the compact set then the required estimate follows from the corresponding local estimates. Let \(\xi _{1}=\xi _{1}^{0}\) be a fixed point of the interval \(\Big [-\delta ^{-\frac{n-1}{n-m}}, \delta ^{-\frac{n-1}{n-m}}\Big ]\). Further, suppose that the parameter \(\xi _1\) changes in a sufficiently small neighborhood of the fixed point \(\xi _{1}^{0}\). Then the phase function \(\Phi _2\) can be considered as a small perturbation of the function
If \(\xi _{1}^{0}\ne 0\), then the phase function has only singularities of type \(A_{k}\) with \((k\le 2)\). If \(\xi _{1}^{0}=0\), then the phase function has singularities of type \(A_{m-1}\) at the origin and all other critical points are non-degenerate. In particular, if \(2\le m\le 3\) then the phase function has only singularities of type \(A_{k}\) with \(k\le 2\).
Assume \(m\ge 3\) and \(\xi _{1}^{0}=0\). Consider a smooth function \(\phi (x_1, s_2)\) satisfying the condition \(\phi (x_1, 0)=x_1^mb_m(x_1)\), where \(b_m\) is a smooth function with \(b_m(0)\ne 0\). We define the phase function
and consider the oscillatory integral:
where a is a smooth function concentrated in a sufficiently small neighborhood of the origin.
The following Proposition is analogy of the Lemma 4 of the paper [1]:
Proposition 3.3
Assume \(I(\lambda , s_1, s_2)\) is the oscillatory integral with phase (3.3). Then there exists a neighborhood \(U\times V\subset {\mathbb {R}}\times {\mathbb {R}}^2\) of the origin of \({\mathbb {R}}\times {\mathbb {R}}^2\), (where \(V:=[- \Delta , \Delta ]^2\) with a sufficiently small positive number \(\Delta \)) and a function \(\Psi \) such that the following estimate:
holds true. Moreover, the following relation \(\int _{[-\Delta , \Delta ]} \Psi (s_1, s_2)^pds_1\lesssim 1\) is fulfilled for any \(1<p<\frac{2(m-1)}{m-2}\).
Proof
The proof of Proposition 3.3 directly follows from the more general Lemma 4 of the paper [1]. Also, Proposition 3.3 can be proved by induction method over m. Note that if \(m=2\), then due to Van der Corpute Lemma the analogical estimate (3.4) holds true with \(\Psi \equiv C\). \(\square \)
Therefore from the Proposition 3.3 there exists a function
such that the following estimate:
holds true for the integral \(I_{11}\), whenever \(m\ge 3\). If \(m=2\) then there exists a function \(\Psi (\xi _1,z_2)\in L^{4-0}\Big [-\delta ^{-\frac{n-1}{n-m}}, \delta ^{-\frac{n-1}{n-m}}\Big ]\) such that the estimate (3.5) holds true with the function \(\Psi \).
On the other hand the Van der Corpute Lemma yields:
By interpolating the two bounds we get:
Thus, for the integral \(I_1\) we have the estimate:
where
Now, we show that \({\widetilde{\Psi }}\in L^{m+1-0}(V)\). Indeed, let \(1<p<m+1\) be a fixed number. Then
Obviously, the last integral converges, whenever \(p<m+1\). Moreover,
whenever \(p<m+1\).
Actually, in summation of the obtained estimates we came to a proof of the Lemma 3.1.
Indeed, for the integral \(I_1\) we have the following uniform, with respect to the parameters z, estimate:
If \(\varepsilon \ge \frac{2}{m+1}-\frac{1}{n}\) then the last estimate enough to have a proof of the Lemma 3.1.
Suppose \(0<\varepsilon < \frac{2}{m+1}-\frac{1}{n}\). Then we use the estimate
with \({\tilde{\Psi }}_1\in L^{m+1-0}(V)\).
Finally, interpolating the last two inequalities we get:
where \(0<\theta <1\). We can choose the number \(\theta \) such that the following relation
holds. Then the inclusion \({\tilde{\Psi }}_1^{1-\theta }\in L^{m+1}(V)\) is obviously valid.
Analogical result holds true for the case \(n=\infty \).
Indeed, assume \(n=\infty \) then \(b_0\) is a flat function at the origin. Note that it is enough to use uniform, with respect to the parameter z, estimates obtained by Karpushkin for the case \(n=m=\infty \) for an analytic phase function [11] and alternatively we use the estimates proved in the paper [8] for smooth functions. This case corresponds to the surfaces of the class III.
Further, we assume that \(n=\infty \) and \(3\le m<\infty \). In this case, we essentially use the \(R-\)condition. So, \(b_0\equiv 0\) and we have
In this case the phase function \(\Phi _2\) has the form:
Then if \(|z_1|\ge |z_2|\) then the phase function has no critical point in \(x_1\), provided that the amplitude function is concentrated in a sufficiently small neighborhood of the origin. Then we use the integration by parts formula and have:
The last estimate yields
Now, suppose \(|z_1|\le |z_2|\). Then we can pull out \(z_2\) and due to Proposition 3.3 we have the following estimate
where \({\tilde{\Psi }}\in L^{\frac{2(m-1)}{m-2}-0}(V)\). Thus, we have a conclusion of the Lemma 3.1 as before, which finishes a proof of the Lemma 3.1.\(\square \)
From the Lemma 3.1 it follows the required upper bound for the number \(k_p(v)\) in the case \(2m<n\). Indeed, first, we use the Proposition 2.1 and obtain \(L^{p_0}\mapsto L^{p'_0}\) boundedness of the convolution operator \(M_k\) with \(k>\frac{5}{2}-\frac{3}{m+1}\) for \(p_0=\frac{2m+2}{2m+1}\). Also, we get \(L^{p_1}\mapsto L^{p'_1}\) boundedness of the convolution operator with \(k>\frac{5}{2}-\frac{1}{n}\) for \(p_1=1\) and also \(L^{p_2}\mapsto L^{p'_2}\) boundedness of the convolution operator with \(k=0\) for \(p_2=2\). Then by analytic interpolation of the obtained estimates, we get the required upper bound for the number \(k_p(v)\):
Further, we consider a lower bound for the number \(k_p(v)\).
4 On the Sharpness of Results (a Lower Bound for the Number \(k_p(v))\)
Theorem 4.1
If \(2m\ge n\), then there exists an amplitude function \(a_k\) such that the associated operator \(M_k\) is not \( L^p({\mathbb {R}}^3)\mapsto L^{p'}({\mathbb {R}}^3)\) bounded, whenever \(k<(5-\frac{2}{n})(\frac{1}{p}-\frac{1}{2})\).
Proof
We show that the sequence of functions suggested in [16] can be used to prove sharpness of the upper bound for the \(k_p(v)\) in the case (i) of the Theorem 1.3. Let us take a smooth function in \({\mathbb {R}}^3\) such that \(a_k(\xi )=|\xi |^{-k}\) for large \(\xi \). For instance, we can take \(a_k(\xi )=(1-\chi _0(|\xi |))|\xi |^{-k}\). Following, Sugimoto [16] we introduce the function: \(G(y)=1+\phi (y_1,y_2)-y\nabla \phi (y)\). Define smooth non-negative functions f, g with \(f(0)=g(0)=1\) concentrated in a sufficiently small neighborhood of the origin, and a smooth non-negative function with \(\chi _1(1)=1\) and with support in a sufficiently small neighborhood of the point 1.
We set
where
The sequence \(\left\{ F^{-1}(v_{j}(2^{-\frac{j}{n}}\cdot , 2^{-\frac{j}{2}}\cdot , \cdot ))\right\} _{j=1}^{\infty }\) is bounded in \(L^{p}({\mathbb {R}}^{3})\). Indeed, the following inequality holds:
On the other hand
Since \(\chi _1\) is concentrated in a sufficiently small neighborhood of one, then we have: \(\frac{1}{2}\le \varphi (2^{-j/n}\xi _1,2^{-j/2}\xi _2,\xi _3)\le 2\). On the other hand supports of the functions f and g are concentrated in a sufficiently small neighborhood of the origin. Hence, \(|\xi _1|<1\) and \(|\xi _2|<1\) and also \(|\xi _3|\sim 1\), because \(\varphi (0, 0, 1)=1\). This yields:
Consequently,
Hence the sequence \(\{u_{j}\}_{j=1}^{\infty }\) is bounded in the space \(L^{p}({\mathbb {R}}^3)\).
On the other hand there is a relation:
We perform the change of variables given by the scaling \(2^{-j}\xi \mapsto \xi \) and obtain:
Then following Sugimoto we use change of variables \(\xi =(\lambda y,\lambda (1+\phi (y)))\) and get:
Finally, we use change of variables \(2^{j/n}y_1\mapsto y_1, \, 2^{j/2}y_2\mapsto y_2\) and obtain:
If \(|x_{3}-1|\ll 2^{-j},\, |x_{1}|\ll 2^{-j(n-1)/n}, \, |x_2|\ll 2^{-j/2}\), then the phase is the non-oscillating function, because \(\phi (2^{-j/n}y_{1},2^{-j/2}y_2)=o(2^{-j})\) provided the supports of f, g are small enough.
Consequently, we have the following lower bound:
Therefore, if \(k<k_p(v):=\big (5-\frac{2}{n}\big )\big (\frac{1}{p}-\frac{1}{2}\big ),\) then \(\Vert M_{k}u_{j}\Vert _{L^{p'}}\rightarrow \infty (\hbox {as}\, j\rightarrow +\infty )\). Thus, the operator \(M_{k}:L^{p}({\mathbb {R}}^3)\rightarrow L^{p'}({\mathbb {R}}^3)\) is unbounded.\(\square \)
The Theorem 4.1 finishes a proof of the part (i) of the main Theorem 1.3 for the case \(n<\infty \).
Remark 4.2
The proof of the Theorem 4.1 shows that if \(2m\le n\) and \(k<\big (5-\frac{1}{m}\big )\big (\frac{1}{p}-\frac{1}{2}\big ),\) then \(\Vert M_{k}u_{j}\Vert _{L^{p'}}\rightarrow \infty (\hbox {as}\, j\rightarrow +\infty )\), for some bounded sequence \(\{u_j\}\) in the space \(L^p({\mathbb {R}}^3)\). Thus, the operator \(M_{k}:L^{p}({\mathbb {R}}^3)\rightarrow L^{p'}({\mathbb {R}}^3)\) is an unbounded operator, whenever \(k<\big (5-\frac{1}{m}\big )\big (\frac{1}{p}-\frac{1}{2}\big )\). Indeed, we can repeat all arguments of the proof of the Theorem 4.1 taking the sequence of functions:
with
for the case \(2m\le n\) and obtain the following lower bound:
for the number \(k_p(v)\) whenever \(2m\le n\).
The same arguments can be used for the case \(n=m=\infty \). Then we have the following lower bound:
for the number \(k_p(v)\), which corresponds to the class III of surfaces.
The lower bound (4.2) finishes a proof of the part (i) of Theorem 1.3.
Further, we consider the case \(2m<n\). We prove the following statement.
Theorem 4.3
If \(2m<n\), and \(m\ge 3\) then
Proof
Since we already got the upper bound for \(k_p(v)\) (see (3.6)), then it is enough to prove a lower bound for that number.
If \(k<\big (5-\frac{1}{m}\big )\big (\frac{1}{p}-\frac{1}{2}\big )\), then the operator \(M_{k}\) is not \(L^p({\mathbb {R}}^3)\mapsto L^{p'}({\mathbb {R}}^3)\) bounded (see Remark 4.2).
Assume \(k<\left( 6-\frac{2(m+1)}{n}\right) \left( \frac{1}{p}-\frac{1}{2}\right) -\frac{1}{2}+\frac{m}{n}\). We show that \(M_{k}\) is not \(L^p({\mathbb {R}}^3)\mapsto L^{p'}({\mathbb {R}}^3)\) bounded.
We slightly modified the Sugimoto [16] arguments and consider the sequence
where
where \(f, g,\chi _1\in C_{0}^{\infty }({\mathbb {R}})\) are non-negative smooth functions satisfying the conditions: \(f(0)=g(0)=1\) and supports of functions f, g lie in a sufficiently small neighborhood of the origin of \({\mathbb {R}}\) and \(\chi _1\) is a non-negative smooth function concentrated in a sufficiently small neighborhood of 1 and identically vanishes in a neighborhood of the origin and also \(\chi _1(1)=1\) (cf. [16]). Obviously \(v_{j}\in C_{0}^{\infty }({\mathbb {R}}^{3})\) and \(\Vert v_{j}\Vert _{L^{p'}({\mathbb {R}}^{3})}\sim 2^{-j\frac{m+1}{p'n}},\) where the symbol \(``\sim ''\) means that there exist non-zero constants \(c_{1},c_{2}>0\) such that
Indeed, we use change of variables \(\xi =\lambda (y_{1}, y_{2}, 1+\phi (y_{1},y_{2}))\) in the integral
\(\int _{{\mathbb {R}}^{3}}|v_{j}(\xi )|^{p'}d\xi \). Note that on the support of \(v_j\) make sense the change of variables, provided j is big enough. Then we get:
Thus, for large j we have
Now, we consider the lower estimate for \(\Vert M_{k}u_{j}\Vert _{L^{p'}({\mathbb {R}}^{3})}.\)
We have:
We perform change of variables given by the scaling \(2^{j}\xi \rightarrow \xi \) and obtain:
Finally, we use the change of variables \(\xi \rightarrow \lambda (y_1, y_2, 1+\phi (y_1, y_2))\) and we have:
Now, we perform the change of variables
Then we get
where
We use the stationary phase method in \(z_2\) assuming,
and, reminding that \(2m<n\), to obtain:
where
and B is a smooth function satisfying the condition \(|B|\backsim 1\). Consequently, accounting the conditions (4.4) and the inequality \(2m<n\), we establish the following lower bound:
where \(c>0\) is a constant which does not depend on j. Thus if
then the operator \(M_k\) is not \(L^p({\mathbb {R}}^3)\mapsto L^{p'}({\mathbb {R}}^3)\) bounded.
Analogical result holds true for the case \(n=\infty \).
Thus, if \(k<k_p(v)\) then the \(M_k\) is not \(L^p- L^{p'}\) bounded operator. This completes a proof of the Theorem 4.3. \(\square \)
Theorem 4.3 finishes a proof of the part (ii) of the main Theorem 1.3.
Thus, the main Theorem 1.3 is proved.
References
Akramova, D.I., Ikromov, I.A.: Randol maximal functions and the integrability of the Fourier transform of measures. Math. Notes 109(5), 661–678 (2021)
Arhipov, G.I., Karacuba, A.A., Čubarikov, V.N.: Trigonometric integrals. Izv. Akad. Nauk SSSR Ser. Mat. 43, 971–1003, 1197 (Russian). English translation in Math. USSR-Izv. 15(1980), 211–239 (1979)
Arnold, V.I., Gusein-Zade, S.M., Varchenko, A.N.: Singularities of differentiable mappings. In: Classification of Critical Points of Caustics and Wavefronts, vol. 1. Birkhäuser. Basel, Stuttgard, Boston (1985)
Bergh, J., Löström, J.: Interpolation Spaces. Springer, Berlin (1976)
Brenner, P.: On \(L^p-L^{p^{\prime }}\) estimates for the wave-equation. Math. Z. 145, 251–254 (1975)
Buschenhenke S., Ikromov I. A. and Müller D.: Estimates for maximal functions associated to hypersurfaces in \(h<2\): Part II A geometric conjecture and its proof for generic 2-surfaces. arXiv:2209.07352
Duistermaat, J.J.: Oscillatory integrals, Lagrange immersions and unfolding of singularities. Commun. Pure Appl. Math. 27, 207–281 (1974)
Ikromov, I.A., Müller, D.: Uniform estimates for the Fourier transform of surface carried measures in \({\mathbb{R} }^3\) and an application to Fourier restriction. J. Fourier Anal. Appl. 17(6), 1292–1332 (2011)
Ikromov, I.A., Müller, D.: Fourier Restriction for Hypersurfaces in Three Dimensions and Newton Polyhedra, vol. 194, p. 260. Princeton University Press, Princeton (2016)
Iosevich, A., Leflyand, E.: Decay of the Fourier Transform: Analytic and Geometric Aspects. Birkhäser, Basel (2014)
Karpushkin, V.N.: A theorem on uniform estimates for oscillatory integrals with a phase depending on two variables. Trudy Sem. Petrovsk. 10, 150–169, 238 (Russian). English translation in J. Soviet Math. 35(1986), 2809–2826 (1984)
Peter, D.: Lax, Hyperbolic Partial Differential Equations. American Mathematical Society, Courant Institute of Mathematical Sciences, New York (2006)
Ruzhansky, M., Sugimoto, M.: A local-to-global boundedness argument and Fourier integral operators. J. Math. Anal. Appl. 473(2), 892–904 (2019)
Sugimoto, M.: \(L^{p}\)-boundedness of Pseudo-differential operators satisfying Besov estimates I. J. Math. Soc. Jpn. 40(1), 105–122 (1988)
Sugimoto, M.: A priori estimates for higher order hyperbolic equations. Math. Z. 215, 519–531 (1994)
Sugimoto, M.: Estimates for hyperbolic equations of space dimension 3. J. Funct. Anal. 160, 382–407 (1998)
Stein, E.M.: Harmonic analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, vol. 43. Princeton Mathematical Series. Princeton University Press, Princeton (1993)
Strichartz, R.: Convolutions with kernels having singularities on a sphere. Trans. Am. Math. Soc. 148, 461–471 (1970)
Strichartz, R.: Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations. Duke Math. J. 44, 705–714 (1977)
Acknowledgements
The authors wish to thank to Sh. A. Alimov for useful discussions of the obtained results. Also, we thank to anonymous referees for very valuable remarks and comments.
Funding
The research is not funded from any foundation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Elijah Liflyand.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ikromov, I.A., Ikromova, D.I. On the Sharp Estimates for Convolution Operators with Oscillatory Kernel. J Fourier Anal Appl 30, 29 (2024). https://doi.org/10.1007/s00041-024-10085-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-024-10085-z