Analytic extension of smooth functions
type: Item
instance of: scholarly article
title: Analytic extension of smooth functions
zbMATH Open document ID: 0945.26029
DOI: 10.1007/BF03322117
author: Michael Langenbruch
published in: Results in Mathematics
publication date: 2000-09-26T00:00:00Z
review text: Let \(\mathcal E_*(\mathbb{R}^n)\) be one of the spaces \(\mathcal E_{(M_p)}(\mathbb{R}^n)\), \(\mathcal E_{\{M_p\}}(\mathbb{R}^n)\), \(\mathcal E_{(\omega)}(\mathbb{R}^n)\) and \(\mathcal E_{\{\omega\}}(\mathbb{R}^n)\) of ultradifferentiable functions and let \(\mathcal B\mathcal E_*(\mathbb{R}^n)\) be the corresponding space of functions with uniform ultradifferentiable norms on \(\mathbb{R}^n\). \textit{J. Schmets} and \textit{M. Valdivia} [Result. Math. 31, No. 3-4, 374-385 (1997; Zbl 0877.26015) and Math. Nachr. 195, 187-197 (1998; Zbl 0926.26014)] proved the following version for \(\mathcal E_*(\mathbb{R}^n)\) of the classical Whitney extension theorem: If \(F\) is a closed subset of \(\mathbb{R}^n\) then for any \(f\in\mathcal E_*(\mathbb{R}^n)\) there is \(\widetilde f\in\mathcal E_*(\mathbb{R}^n)\) such that \((1)\) \(\widetilde f\) is real analytic on \(\Omega:=\mathbb{R}^n\setminus F\) and \((2)\) \(\partial^{\alpha}\widetilde f_{|F}=\partial^{\alpha}f_{|F}\) for any \(\alpha\in\mathbb{N}^n_0\). Moreover, if \(f\in\mathcal B\mathcal E_*(\mathbb{R}^n)\), \(\widetilde f\) can be obtained by means of a continuous linear operator \(T_*:\;\mathcal B\mathcal E_*(\mathbb{R}^n)\to\mathcal B\mathcal E_*(\mathbb{R}^n)\). In this paper the author gives an alternative, unified proof of the above results based on the following observation: For \(f\in\mathcal C^\infty(\mathbb{R}^n)\), let \(u_f\in D^\prime(\mathbb{R}^{n+1})\) be odd with respect to \(y\), where \((x,y)\in\mathbb{R}^{n+1}\) with \(x\in\mathbb{R}^n\), and such that \(\Delta u_f=2f\otimes\partial_y\delta_y\). Then a solution \(\widetilde f\in\mathcal C^\infty(\mathbb{R}^n)\) of \((1)\) and \((2)\) is given by \(\widetilde f(x)=f(x)\) for \(x\in F\) and \(\widetilde f(x)=u_f(x,h(x))\) for \(x\in\Omega\), where \(h\in\mathcal B\mathcal C^\infty(\mathbb{R}^n)\) is flat on \(F\), real analytic and strictly positive on \(\Omega\). Moreover, if \(f\in\mathcal B\mathcal C^\infty(\mathbb{R}^n)\), we can take \(\w…
reviewed by: Wiesław Pleśniak
Mathematics Subject Classification ID: 26E10
Mathematics Subject Classification ID: 46E10
Mathematics Subject Classification ID: 46F10
zbMATH DE Number: 1383725
zbMATH Keywords: Whitney extension theorem
zbMATH Keywords: ultradifferentiable functions
zbMATH Keywords: analytic extension
MaRDI profile type: Publication
cites work: Q3658220
cites work: Q4165767
cites work: Linear partial differential operators and generalized distributions
cites work: Q3985434
cites work: Q4015687
cites work: Q3804966
cites work: Ultradifferentiable functions and Fourier analysis
cites work: An Extension Theorem of Whitney Type for Non Quasi-Analytic Classes of Functions
cites work: Surjectivity of the restriction map to a compact in classes of ultradifferentiable functions
cites work: Continuous Linear Extension of Ultradifferentiable Functions of Beurling Type
cites work: Q3671564
cites work: Q5673937
cites work: Extension of ultradifferentiable functions of Roumieu type
cites work: Q4283353
cites work: Whitney's extension theorem for ultradifferentiable functions of Beurling type
cites work: Q5341894
cites work: On E. Borel's theorem
cites work: Q4317537
cites work: Sur quelques extensions de la notion de distribution
cites work: Ultra-distributions definies sur \(R^ n\) et sur certaines classes de variétés différentiables
cites work: Analytic extension of non quasi-analytic Whitney jets of Roumieu type
cites work: Analytic Extension of Non Quasi - Analytic Whitney Jets of Beurling Type
cites work: Analytic extension of ultradifferentiable Whitney jets
cites work: Q4381343
cites work: Extension of C ∞ Functions Defined in a Half Space
cites work: Fortsetzungen von \(C^\infty\)-Funktionen, welche auf einer abgeschlossenen Menge in \(R^ n\) definiert sind
cites work: Q4332265
cites work: On certain linear operators in spaces of ultradifferentiable functions
cites work: Analytic Extensions of Differentiable Functions Defined in Closed Sets
full work available at URL: https://doi.org/10.1007/bf03322117
OpenAlex ID: W2011776047
description: scientific article; zbMATH DE number 1383725