Skip to main content

An estimate on the Bedrosian commutator in Sobolev space

Abstract

While the Bedrosian identity for the Hilbert transform of a product does not hold for general Sobolev class functions, we show that the defect of this identity is more regular than would be naively expected. We use this result to give a stronger-than-expected estimate on the chain rule defect of the square root of the Laplacian.

1 Introduction

In 1963, Bedrosian [2] proved the following result on the Hilbert transform of the product of two functions: Let \(u, v \in L ^{2}(\mathbb {R})\) satisfy either \(\operatorname{supp}\hat{u} \subset[0,\infty)\) and \(\operatorname{supp}\hat{v} \subset[0,\infty)\) or \(\operatorname{supp}\hat{u} \subset[-a,a]\) and \(\operatorname{supp}\hat{v} \cap[-a,a] = \emptyset\) for some \(a>0\), then

$$ H(uv) = u Hv . $$
(1)

This result is now known as the Bedrosian theorem and (1) as the Bedrosian identity. Here and henceforth, following standard notation, we write

$$ \hat{f}(\xi) = \frac{1}{2 \pi} \int_{\mathbb {R}}\mathrm {e}^{-\mathrm {i}\xi x} f(x) \,\mathrm{d}x $$
(2)

to denote the Fourier transform of a function \(f \in L^{2}(\mathbb {R})\) and Hf to denote its Hilbert transform, implicitly defined for a.e. \(\xi \in \mathbb {R}\) via

$$ (Hf)\hat{\,}(\xi) = -\mathrm {i}\operatorname{sign}\xi\hat{f}(\xi). $$
(3)

The Bedrosian identity usually arises in the context of time-frequency analysis. A key question there is the notion of instantaneous amplitude and frequency, where the instantaneous frequency is the derivative of the phase function and is required to be non-negative. Signals with this property are called mono-components; arbitrary signals may be decomposed into mono-components in various ways. When the phase signal is already a mono-component, then its product with an amplitude function is also a mono-component if and only if the Bedrosian identity with u as amplitude and v as phase function holds [5, 6]. This observation led to a quest to characterize necessary and sufficient conditions for the Bedrosian identity [3, 9, 10]. A full characterization of mono-components, which includes mono-components of non-Bedrosian type, is given in [7]. For computational approaches on signal decompositions into mono-components, see, e.g., [4, 8].

In this note, we are asking a very different question. Given that the conditions under which the Bedrosian identity holds are highly non-generic, is it possible to provide a generic estimate on the defect that is stronger than separate estimates on the left- and right-hand sides of (1)? In the following, we shall show that this is indeed the case when estimating the defect—the Bedrosian commutator—in Sobolev space. In the next section, we state and prove this surprisingly simple result. In the final Sect. 3, we show that this result implies that the square root of the Laplacian on \(\mathbb {R}\) satisfies the usual chain rule with a defect that is smoother than each of the separate terms.

2 The commutator estimate

As usual, we define the Sobolev space \(H^{s}(\mathbb {R})\) as the class of functions in \(L^{2}(\mathbb {R})\) such that

$$ \lVert f \rVert_{H^{s}} = \int_{\mathbb {R}}\bigl(1 + \lvert\xi\rvert\bigr)^{2s} \bigl\lvert \hat{f}(\xi) \bigr\rvert ^{2} \,\mathrm{d}\xi $$
(4)

is finite. We now state our result.

Theorem 1

Let \(u\in H^{s}(\mathbb {R})\) for \(s \geq0\) and \(v \in H^{r}(\mathbb {R})\) for \(r>\frac{1}{2}\). Then the Bedrosian commutator

$$ w = u Hv - H(u v) $$
(5)

is also of class \(H^{s}(\mathbb {R})\), and there exists a constant c which depends only on r such that

$$ \lVert w \rVert_{H^{s}} \leq c \lVert u \rVert_{H^{s}} \lVert v \rVert_{H^{r}} . $$
(6)

Proof

By the Fourier convolution theorem, for a.e. \(\xi\in \mathbb {R}\),

$$\begin{aligned} \hat{w} (\xi) & = \mathrm {i}\operatorname{sign}\xi \int_{\mathbb {R}}\hat{u} (\xi-\eta) \hat{v}(\eta) \,\mathrm{d}\eta- \mathrm {i}\int_{\mathbb {R}}\hat{u} (\xi-\eta) \operatorname{sign}\eta\hat{v}(\eta) \,\mathrm {d}\eta \\ & = 2 \mathrm {i}\chi_{\xi>0}^{ \vphantom{1}} \int_{-\infty}^{0} \hat{u} (\xi-\eta) \hat{v}( \eta) \,\mathrm{d} \eta- 2 \mathrm {i}\chi_{\xi< 0}^{ \vphantom{1}} \int_{0}^{\infty}\hat{u} (\xi-\eta) \hat{v}( \eta) \,\mathrm{d} \eta. \end{aligned}$$
(7)

Thus,

$$\begin{aligned} \lVert w \rVert_{H^{s}}^{2} & = 4 \int_{0}^{\infty}\bigl(1 + \lvert\xi\rvert \bigr)^{2s} \biggl\vert \int_{0}^{\infty}\hat{u} (-\xi-\eta) \hat{v}(\eta) \,\mathrm{d} \eta\biggr\vert ^{2} \,\mathrm{d}\xi \\ & \quad{} + 4 \int_{0}^{\infty}\bigl(1 + \lvert\xi\rvert \bigr)^{2s} \biggl\vert \int_{0}^{\infty}\hat{u} (\xi+\eta) \hat{v}(-\eta) \,\mathrm{d} \eta\biggr\vert ^{2} \,\mathrm{d}\xi \\ & \equiv4 (I_{1} + I_{2}) , \end{aligned}$$
(8)

where we have made the change of variables \(\xi\mapsto-\xi\) in the first term and \(\eta\mapsto-\eta\) in the second. Each of the right-hand integrals can how be estimated in the same way; we only write out the argument for \(I_{1}\). Noting that ξ and η are non-negative,

$$\begin{aligned} I_{1} & \leq \int_{0}^{\infty} \biggl( \int_{0}^{\infty}\bigl(1 + \lvert\xi+ \eta\rvert \bigr)^{s} \bigl\lvert \hat{u} (-\xi-\eta) \bigr\rvert \bigl\lvert \hat{v}(\eta) \bigr\rvert \,\mathrm{d}\eta\biggr)^{2} \,\mathrm {d}\xi \\ & = \int_{0}^{\infty}\bigl\lvert \hat{v}(\eta) \bigr\rvert \int_{0}^{\infty }\bigl\lvert \hat{v}(\zeta) \bigr\rvert \\ & \quad{} \times \int_{0}^{\infty}\bigl(1 + \lvert\xi+ \eta\rvert \bigr)^{s} \bigl\lvert \hat{u} (-\xi-\eta) \bigr\rvert \bigl(1 + \lvert\xi+ \zeta\rvert\bigr)^{s} \bigl\lvert \hat{u} (-\xi -\zeta) \bigr\rvert \,\mathrm{d}\xi\,\mathrm{d}\zeta\,\mathrm{d}\eta \\ & \leq\lVert u \rVert_{H^{s}}^{2} \biggl( \int_{0}^{\infty} \bigl\lvert \hat{v}(\eta) \bigr\rvert \,\mathrm{d}\eta\biggr)^{2}, \end{aligned}$$
(9)

where we have used the Fubini theorem in the second step and the Cauchy–Schwarz inequality in the third.

Finally,

$$\begin{aligned} \int_{0}^{\infty}\bigl\lvert \hat{v}(\eta) \bigr\rvert \,\mathrm{d} \eta& \leq \int_{0}^{\infty}(1+\eta)^{-r} (1+\eta )^{r} \bigl\lvert \hat{v}( \eta) \bigr\rvert \,\mathrm{d}\eta \\ & \leq\biggl( \int_{0}^{\infty}(1+\eta)^{-2r} \,\mathrm{d}\eta \biggr)^{ \frac{1}{2}} \lVert v \rVert_{H^{r}} , \end{aligned}$$
(10)

where the left-hand integral converges whenever \(r>\frac{1}{2}\). Inserting (9) and (10) back into (8) completes the proof. □

Remark

Note that separate Banach algebra estimates (e.g., [1, Theorem 4.39]) on each of the terms of the commutator yield

$$ \lVert w \rVert_{H^{s}} \leq c \lVert u \rVert_{H^{s}} \lVert v \rVert_{H^{s}} $$
(11)

for \(s>\frac{1}{2}\). Thus, Theorem 1 is stronger in that the regularity requirements on u and v are independent of each other and the embedding barrier \(\frac{1}{2}\) applies only to v.

3 Application

The commutator estimate can be used to study properties of the square root of the Laplacian (defined with the sign convention as a positive operator), i.e., the operator A defined via

$$ (Af)\hat{\,}(\xi) = \lvert\xi\rvert\hat{f}(\xi) , $$
(12)

so that \(A = H \partial_{x}\). This operator has the same mapping properties as the derivative operator between Sobolev spaces, but it does not satisfy a product or chain rule. Indeed,

$$ A f(g) = H \partial_{x} f(g) = H \bigl(f'(g) g'\bigr) = f'(g) Hg' - w = f'(g) Ag - w . $$
(13)

However, applying Theorem 1 with \(u=f'(g)\), \(v=g'\), and \(s=r>\frac{3}{2}\) shows that the chain rule defect w is of class \(H^{s}(\mathbb {R})\) when f is smooth and \(g \in H^{s}(\mathbb {R})\), even though the left-hand side of (13) is generally only of class \(H^{s-1}(\mathbb {R})\).

References

  1. Adams, R.A., Fournier, J.J.F.: Sobolev Spaces, 2nd edn. Elsevier, Oxford (2003)

    MATH  Google Scholar 

  2. Bedrosian, E.: A product theorem for Hilbert transform. Proc. IEEE 51, 868–869 (1963)

    Article  Google Scholar 

  3. Cerejeiras, P., Chen, Q., Kähler, U.: A necessary and sufficient condition for a Bedrosian identity. Math. Methods Appl. Sci. 33, 493–500 (2010)

    MathSciNet  MATH  Google Scholar 

  4. Coifman, R., Steinerberger, S.: Nonlinear phase unwinding of functions. J. Fourier Anal. Appl. 23, 778–809 (2017)

    Article  MathSciNet  Google Scholar 

  5. Picinbono, B.: On instantaneous amplitude and phase of signals. IEEE Trans. Signal Process. 45, 552–560 (1997)

    Article  Google Scholar 

  6. Qian, T.: Boundary derivatives of the phases of inner and outer functions and applications. Math. Methods Appl. Sci. 32, 253–263 (2009)

    Article  MathSciNet  Google Scholar 

  7. Qian, T., Tan, L.H.: Characterizations of mono-components: the Blaschke and starlike types. Complex Anal. Oper. Theory 12(6), 1383–1399 (2018). https://doi.org/10.1007/s11785-015-0491-6

    Article  MathSciNet  MATH  Google Scholar 

  8. Qian, T., Wang, Y.B.: Adaptive Fourier series—a variation of greedy algorithm. Adv. Comput. Math. 34, 279–293 (2011)

    Article  MathSciNet  Google Scholar 

  9. Xu, Y., Yan, D.: The Bedrosian identity for the Hilbert transform of product functions. Proc. Am. Math. Soc. 134, 2719–2728 (2006)

    Article  MathSciNet  Google Scholar 

  10. Yu, B., Zhang, H.: The Bedrosian identity and homogeneous semi-convolution equations. J. Integral Equ. Appl. 20, 527–568 (2008)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Not applicable.

Funding

The result arose from work done as part of German Research Foundation funded project OL-155/6-1. The author also thanks the German Research Foundation Collaborative Research Center TRR 181 for funding during the preparation of the manuscript.

Author information

Authors and Affiliations

Authors

Contributions

The paper is entirely the original work of the author. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Marcel Oliver.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Oliver, M. An estimate on the Bedrosian commutator in Sobolev space. J Inequal Appl 2018, 348 (2018). https://doi.org/10.1186/s13660-018-1940-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-018-1940-3

MSC

Keywords