Analytic extensions of differentiable functions defined in closed sets.
Verf. definiert zunächst die \(m\)-fache stetige Differenzierbarkeit einer Funktion \(f\) in einer abgeschlossenen Menge \(A\) des \(n\)-dimensionalen euklidischen Raumes \(E_n\) folgendermaßen mittels der \textit{Taylor}schen Formel. Er sagt, \(f=f_0\) ist von der Klasse \(C^m\) in \(A\) in bezug auf die Funktionen \(f_k(\sigma _k\leq m)\), wenn die Funktionen \(f_k=f_{k_1,\dots,k_n}\) in \(A\) definiert sin für alle \(n\)-fachen Indices, deren Indexsumme \(\sigma _k=k_1+\cdots k_n\leq m\) ist, und wenn für irgend zwei Punkte von \(A\) gilt: \[ \begin{gathered} f_{k_1,\dots,k_n}(x'_1,\dots,x'_n)=\sum _{l_1+\cdots +l_n\atop \leq m-(k_1+\cdots +k_n)}\frac {f_{k_1+l_1,\dots,k_n+l_n}(x_1,\cdots,x_n)}{l_1!\dots l_n!}(x_1'-x_1)^{l_1}\dots (x_n'-x_n)^{l_n}\\ +R_{k_1,\dots,k_n}(x'_1,\dots,x_n';x_1,\dots,x_n). \end{gathered} \] Dabei soll das Restglied folgende Eigenschaft besitzen: Zu jedem Punkt \(p^0\) von \(A\) und zu jedem \(\varepsilon >0\) gibt es ein \(\delta >0\), so daß für irgend zwei Punkte \(p\) und \(p'\) von \(A\), deren Entfernung von \(p^0<\delta \) ist, gilt: \[ \left |R_{k_1,\dots,k_n}(p';p)\right |\leq r^{m-\sigma _k}_{pp'}\cdot \varepsilon \] (wobei \(r_{pp'}\) die Entfernung der Punkte \(p,p'\) bedeutet). Ist \(f(x)\) in einem Gebiet definiert, so sind die \(f_k\) die ensprechenden partiellen Ableitungen von \(f\). Verf. beweist nun den folgenden bemerkswerten Satz: Ist \(f=f_0\) von Klasse \(C^m\) (\(m\) endlich oder unendlich) in \(A\) in bezug auf die Funktionen \(f_k\) \((\sigma \leq m)\), dann existiert eine Funktion \(F\) der Klasse \(C^m\) in \(E_n\), so daß \(F\) und seine \(k\)-ten partiellen Ableitungen \((\sigma _k\leq m)\) in \(A\) mit \(f\) bzw. \(f_k\) übereinstimmen, und daß außerdem \(F\) in \(E_n-A\) analytisch ist. Dies wird vom Verf. u. a. noch dahin verallgemeinert, daß \(F\) auch in den isolierten Punkten von \(A\) analytisch wird. Der Beweis beruht zum Teil auf einer auch an sich interessanten Verallgemeinerung des \textit{Weierstraß}schen Approximationssatzes: Es werden stetige Funktionen (mit ihren Ableitungen) in offenen Mengen \(O\) durch analytische Funktionen approximiert, wobei die Approximation bei Annäherung an den Rand von \(O\) immer besser wird.
- On domain-like objects in the category of unitary rings
- A unifying approach to distributional limits for empirical optimal transport
- Empirical optimal transport between different measures adapts to lower complexity
- Kolmogorov-Arnold-Moser (KAM) theory for finite and infinite dimensional systems
- Uniform extension of definable \(C^{m,\omega}\)-Whitney jets
- Bi-Lipschitz invariance of the multiplicity
- Almost-periodic bifurcations for 2-dimensional degenerate Hamiltonian vector fields
- Quasiconvex functionals of (p, q)-growth and the partial regularity of relaxed minimizers
- Lower bounds for high derivatives of smooth functions with given zeros
- Heat kernel for reflected diffusion and extension property on uniform domains
- Bi-Lipschitz arcs in metric spaces with controlled geometry
- A proof of Gromov's cube inequality on scalar curvature
- Continuity of extensions of Lipschitz maps and of monotone maps
- Hutchings' inequality for the Calabi invariant revisited with an application to pseudo-rotations
- A degenerate KAM theorem for partial differential equations with unbounded perturbations
- Lipschitz extension theorems with explicit constants
- Traces of vanishing Hölder spaces
- \(C^{\infty}\) partial regularity of the singular set in the obstacle problem
- Sufficient conditions for robust safety in differential inclusions using barrier functions
- Order-preserving extensions of Lipschitz maps
- Global Lipschitz geometry of conic singular sub-manifolds with applications to algebraic sets
- Holomorphic bundles framed along a real hypersurface and the Riemann-Hilbert problem
- Evolution free boundary problem for the Navier-Stokes equations
- J-tamed inflation via tame to compatible deformations
- Uniformization of an annulus via discretization of harmonic conjugate pair
- Linear Landau damping for the Vlasov-Maxwell system in \(\mathbb{R}^3\)
- H-unitality of smooth groupoid algebras
- On real-valued functions of Lipschitz type
- Unique continuation for a gradient inequality with L^n potential
- Intrinsicality of second fundamentals of hypersurfaces in space forms
- Interpolation of scattered data on the sphere by multinode Shepard operators
- Enhanced expressive power and fast training of neural networks by random projections
- Nodal volumes as differentiable functionals of Gaussian fields
- Parametrised KAM theory, an overview
- C^k -properties of subharmonic functions
- Generalized scaling for the constrained maximum-entropy sampling problem
- A converse robust-safety theorem for differential inclusions
- Silent sources in L^p and Helmholtz-type decompositions
- Criteria for \(C^m\)-approximability of functions by solutions of homogeneous second-order elliptic equations on compact subsets of \(\mathbb{R}^N\) and related capacities
- Sampling from convex sets with a cold start using multiscale decompositions
- Fitting a manifold of large reach to noisy data
- Quasi-periodic centre-saddle bifurcation in a Hamiltonian system with three degrees of freedom
- On a class of superlinear obstacle problems
- The double and triple bubble problem for stationary varifolds: the convex case
- Quantitative propagation of smallness and spectral estimates for the Schrödinger operator
- Sequential n-connectedness and infinite deformations of n-loops
- McShane's condition for the modulus of continuity
- A note on absolutely minimal extensions in finite metric spaces
- Approximation of continuous functions on a compact set by solutions of elliptic equations. Quantitative results
This page was built for publication: Analytic extensions of differentiable functions defined in closed sets.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2617079)
