Pathological Phenomena in Denjoy–Carleman Classes

Jaffe, Ethan Y.

Canadian journal of mathematics, Tome 68 (2016) no. 1, pp. 88-108

Résumé

Let ${{C}^{M}}$ denote a Denjoy–Carleman class of ${{C}^{\infty }}$ functions (for a given logarithmically-convex sequence $M\,=\,\left( {{M}_{n}} \right))$ . We construct: (1) a function in ${{C}^{M}}\left( \left( -1,\,1 \right) \right)$ that is nowhere in any smaller class; (2) a function on $\mathbb{R}$ that is formally ${{C}^{M}}$ at every point, but not in ${{C}^{M}}\left( \mathbb{R} \right)$ ; (3) (under the assumption of quasianalyticity) a smooth function on ${{\mathbb{R}}^{p}}\,\left( p\,\ge \,2 \right)$ that is ${{C}^{M}}$ on every ${{C}^{M}}$ curve, but not in ${{C}^{M}}\left( {{\mathbb{R}}^{p}} \right)$ .

Détail

DOI : 10.4153/CJM-2015-009-3

Mots-clés : 26E10, 26B35, 26E05, 30D60, 46E25, Denjoy–Carleman class, quasianalytic function, quasianalytic curve, arc-quasianalytic

Bibliographie

[1] [1] Acquistapace, F., Broglia, F., Bronshtein, M., Nicoara, A., and Zobin, N., Failure of the Weierstrass preparation theorem in quasi-analytic Denjoy-Carleman rings. Adv. Math. 258(2014), 397–413. http://dx.doi.Org/10.1016/j.aim.2O14.03.002 Google Scholar

[2] [2] Baouendi, M. S., Ebenfelt, P., and Rothschild, L. P., Real submanifolds in complex space and their mappings. Princeton Mathematical Series, 47, Princeton University Press, Princeton, NJ, 1999. Google Scholar

[3] [3] Bierstone, E. and Milman, P. D., Resolution of singularities in Denjoy–Carleman classes. Selecta Math. 10(2004), no. , 11–28. Google Scholar | DOI

[4] [4] Bierstone, E., Milman, P. D, and Parusiński, A., A function which is arc-analytic but not continuous. Proc. Amer. Math. Soc. 113(1991), no. 2, 419–423. Google Scholar | DOI

[5] [5] Bierstone, E., Milman, P. D., and Valette, G., Arc-quasianalytic functions. Proc. Amer. Math. Soc, to appear. arxiv:1401.7683v1 Google Scholar

[6] [6] Boman, J., Differentiability of a function of its compositions with functions of one variable. Math. Scand. 20(1967), 249–268. Google Scholar

[7] [7] Borel, É., Sur la généralisation du prolongement analytique. C. R. Acad. Sci. Paris 130(1900), 1115–1118. Google Scholar

[8] [8] Chaumat, J. and Chollet, A.-M., Division par un polynôme hyperbolique. Canad. J. Math. 56(2004), no. 6, 1121–1144. Google Scholar | DOI

[9] [9] Childress, C. L., Weierstrass division in quasianalytic local rings. Canad. J. Math. 28(1976), no. 5,938–953. Google Scholar | DOI

[10] [10] Hörmander, L., The Analysis of linear partial differential operators. I. Springer, Berlin, 1990. Google Scholar

[11] [11] Kriegl, A., Michor, P. W., and Rainer, A., The convenient setting for quasianalytic Denjoy–Carleman differentiable mappings. J. Funct. Anal. 261(2011), no. 7, 1799–1834. http://dx.doi.Org/10.1016/j.jfa.2O11.05.019 Google Scholar

[12] [12] Kriegl, A., Michor, P. W., and Rainer, A., The convenient setting for non-quasianalytic Denjoy–Carleman differentiable mappings. J. Funct. Anal. 256(2009), no. 11, 3510–3544. http://dx.doi.Org/10.1016/j.jfa.2009.03.003 Google Scholar

[13] [13] Parusiński, A. and Rolin, J.-P., A note on the Weierstrass preparation theorem in quasianalytic local rings. Canad. Math. Bull. 57(2014), no. 3, 614–620. Google Scholar | DOI

[14] [14] Rolin, J.-P., Speissegger, P., and Wilkie, A. J., Quasianalytic Denjoy–Carleman classes and o–minimality. J. Amer. Math. Soc. 16(2003), no. 4, 751–777. Google Scholar | DOI

[15] [15] Thilliez, V., On quasianalytic local rings. Expo. Math. 26(2008), no. 1, 1–23. Google Scholar | DOI