Skip to main content
Log in

On paracomposition and change of variables in paradifferential operators

  • Published:
Journal of Pseudo-Differential Operators and Applications Aims and scope Submit manuscript

Abstract

In this paper we revisit the hypothesis needed to define the “paracomposition” operator, an analogue to the classic pull-back operation in the low regularity setting, first introduced by Alinhac (Commun Part Differ Equ 11(1):87–121, 1986). More precisely we do so in two directions. First we drop the diffeomorphism hypothesis. Secondly we give estimates in global Sobolev and Zygmund spaces. Thus we fully generalize Bony’s classic paralinearasition theorem giving sharp estimates for composition in Sobolev and Zygmund spaces. In order to prove that the new class of operations benefits of symbolic calculus properties when composed by a paradifferential operator, we discuss the pull-back of pseudodifferential and paradifferential operators which then become Fourier Integral Operators. In this discussion we show that those Fourier Integral Operators obtained by pull-back are pseudodifferential or paradifferential operators if and only if they are pulled-back by a diffeomorphism that is a change of variable. We give a proof of the change of variables in paradifferential operators. Finally we study the cutoff defining paradifferential operators and it’s stability by successive composition. It is known that the cutoff becomes worse after each composition, we give a slightly refined version of the cutoffs proposed by Hörmander (Lectures on nonlinear hyperbolic differential equations, Springer, Berlin, 1997) for which give an optimal estimate on the support of the cutoff after composition.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

Notes

  1. The so called good unknown of Alinhac.

  2. This is not immediate from the definition but is a consequence of the fact that \(H^s(\Omega )\) can be seen as a quotient of \(H^s({\mathbb {R}}^d)\) by a closed subset, for a full presentation see [11].

  3. \(R_\omega \) is clearly open.

  4. In fact it can be treated in the more general frame of operators with singular symbols but this goes beyond the scope of this work.

  5. Part 3.3 point h, which can be found in pages 114–115.

  6. Clearly when there is no diffeomorphism hypothesis on \(\chi \) we can choose \(\chi :{\mathbb {R}}^d \rightarrow {\mathbb {R}}^{d'}\) with \(d\ne d'\) and have the same results but for clarity we chose to present the same dimensions.

  7. Note that this extra hypothesis is needed for the methods used to work and is not intrinsic to the problem. Also this hypothesis is immediately verified in the diffeomorphism case treated by Alinhac.

References

  1. Alazard, T., Burq, N., Zuily, C.: On the water waves equations with surface tension. Duke Math. J. 158(3), 413–499 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  2. Alazard, T., Burq, N., Zuily, C.: On the Cauchy problem for gravity water waves. Invent. Math. 198, 71–163 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  3. Alinhac, S.: Paracomposition et operateurs paradifferentiels. Commun. Part. Differ. Equ. 11(1), 87–121 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  4. Alinhac, S., Gérard, P.: Pseudodifferential Operators and the Nash–Moser Theorem, Graduate Studies in Mathematics, vol. 82 (2007)

  5. Bauer, M., Bruveris, M., Cismas, E., Escher, J., Kolev, B.: Well-Posedness of the EPDiff Equation with a Pseudo-differential Inertia Operator (2019). hal-02352635

  6. Bony, J.-M.: Calcule symbolique et propagation des singularités pour les équations aux dérivées partielles non-linéaires. Ann. Scient. de l’Ecole Norl. Sup. 14, 209–246 (1981)

  7. Bony, J.-M.: Propagation des singularités pour les équations aux dérivés partielles non-linéaires. Sem. Goulaouic–Meyer–Schwartz 1979–80, n\(^\circ \)22

  8. Bony, J.-M.: Interaction des singularités pour les équations aux dérivées partielles non-linéaires. Sem. Goulaouic–Meyer–Schwartz, 1981–82, n\(^\circ \)2

  9. Bony, J.-M.: Interaction des singularités pour les équations de Klein–Gordon non-linéaires. Sem. Goulaouic–Meyer–Schwartz, 1983–84, n\(^\circ \)10

  10. Bourdaud, G.: Une algebre maximale d’operateurs pseudo-differentiels d’operateurs pseudo-differentiels. Commun. Part. Differ. Equ. 13(9), 1059–1083 (2022)

  11. Chandler-Wilde, S.N., Hewett, D.P., Moiola, A.: Sobolev spaces on non-Lipschitz subsets of \({{\mathbb{R}}^n}\) with application to boundary integral equations on fractal screens, arXiv:1607.01994 (2017)

  12. Hörmander, L.: Fourier integral operators. I. Acta Math. 127, 79–183 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  13. Hörmander, L.: Lectures on Nonlinear Hyperbolic Differential Equations. Springer, Berlin (1997)

    MATH  Google Scholar 

  14. Inci, H., Kappeler, T., Topalov, P.: On the Regularity of the Composition of Diffeomorphisms, volume 226 of Memoirs of the American Mathematical Society

  15. Kato, T., Ponce, G.: Commutator estimates and the Euler and Navier–Stokes equations. Comm. Pure Appl. Math. 41, 891–907 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  16. Leichtnam, E.: Front d’onde d’une sous variété; propagation des singularités pour des équations aux dérivées partielles non linéaires, Thèse de 3éme cycle, Université Paris XI, Orsay

  17. Métivier, G.: Paradifferential Calculus and Applications to the Cauchy Problem for Non linear Systems. Ennio de Giorgi Math. res. Center Publ, Edizione della Normale (2008)

  18. Meyer, Y.: Remarques sur un théoème de J.M. Bony. Suppl. Rend. Circ. Mat. Palermo, \(n^\circ 1\), 1–20 (1981)

  19. Said, A.R.: A geometric proof to the quasi-linearity of the water-waves system and the incompressible Euler equations, arXiv preprint, arXiv:2002.02940

  20. Shnirelman, A.: Microglobal analysis of the Euler equations. J. Math. Fluid Mech. 7(Suppl 3), S387 (2005). https://doi.org/10.1007/s00021-005-0167-5

  21. Taylor, M.E.: Tools for PDE: Pseudodifferential Operators, Paradifferential Operators, and Layer Potentials. American Mathematical Society (2007)

Download references

Acknowledgements

I would like to express my sincere gratitude to my thesis advisor Thomas Alazard.

Author information

Authors and Affiliations

Authors

Contributions

A. R. Said wrote the full manuscript text.

Corresponding author

Correspondence to Ayman Rimah Said.

Ethics declarations

Conflict of interest

The authors declare 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

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Said, A.R. On paracomposition and change of variables in paradifferential operators. J. Pseudo-Differ. Oper. Appl. 14, 25 (2023). https://doi.org/10.1007/s11868-023-00510-0

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11868-023-00510-0

Keywords

Navigation