Azat Ainouline
Necessary and sufficient condition is given for a set $A\subset R^1$ to be a subset of the critical values set for a $C^k$ function $f:R^m \to R^1$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A dimension allowing in particular to state necessary and sufficient conditions of the Morse-Sard Theorem for real valued functions is introduced.
Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function $f:\mathbb{R}^n\to\mathbb{R}^m$ is locally Lipschitz and is approximately differentiable of order $i$ almost everywhere with respect to the Hausdorff measure $\mathcal{H}^{i+m-2}$, for every $i=2, \dots, n-m+1$, then $f$ has the Morse-Sard property (that is to say, the image of the critical set of $f$ is null with respect to the Lebesgue measure in $\mathbb{R}^m$).
We establish Luzin $N$ and Morse-Sard properties for $BV_2$-functions defined on open domains in the plane. Using these results we prove that almost all level sets are finite disjoint unions of Lipschitz arcs whose tangent vectors are of bounded variation. In the case of $W^{2,1}$-functions we strengthen the conclusion and show that almost all level sets are finite disjoint unions of $C^1$-arcs whose tangent vectors are absolutely continuous.
We establish Luzin N and Morse--Sard properties for functions from the Sobolev space $W^{n,1}({\mathbb R}^{n})$. Using these results we prove that almost all level sets are finite disjoint unions of $C^1$--smooth compact manifolds of dimension $n-1$. These results remain valid also within the larger space of functions of bounded variation $BV_{n}({\mathbb R}^{n})$. For the proofs we establish and use some new results on Luzin--type approximation of Sobolev and BV--functions by $C^k$--functions, where the exceptional sets have small Hausdorff content.
We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null set. As a by-product of our proof, for the proximal subdifferential $\partial_{P}$, we see that for every lower semicontinuous function $f:\mathbb{R}^2\to\mathbb{R}$ the set $f(\{x\in\mathbb{R}^2 : 0\in\partial_{P}f(x)\})$ is $\mathcal{L}^{1}$-null.
Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n, \mathbb{R}^m)$ functions with $p>n$ and, on the other hand, also the following new result: if $f\in C^{k-1}(\mathbb{R}^n, \mathbb{R}^m)$ satisfies $$\limsup_{h\to 0}\frac{|D^{k-1}f(x+h)-D^{k-1}f(x)|}{|h|}<\infty$$ for every $x\in\mathbb{R}^n$ (that is, $D^{k-1}f$ is a Stepanov function), then the set of critical values of $f$ is Lebesgue-null in $\mathbb{R}^m$. In the c…
If $F$ is a set-valued mapping from $\R^n$ into $\R^m$ with closed graph, then $y\in \R^m$ is a critical value of $F$ if for some $x$ with $y\in F(x)$, $F$ is not metrically regular at $(x,y)$. We prove that the set of critical values of a set-valued mapping whose graph is a definable (tame) set in an $o$-minimal structure containing additions and multiplications is a set of dimension not greater than $m-1$ (resp. a porous set). As a corollary of this result we get that the collection of asymptotically critical values of a semialgebraic set-valued mapping has dimension not greater than $m-1$, …
Continuity of set-valued maps is hereby revisited: after recalling some basic concepts of variational analysis and a short description of the State-of-the-Art, we obtain as by-product two Sard type results concerning local minima of scalar and vector valued functions. Our main result though, is inscribed in the framework of tame geometry, stating that a closed-valued semialgebraic set-valued map is almost everywhere continuous (in both topological and measure-theoretic sense). The result, depending on stratification techniques, holds true in a more general setting of o-minimal (or tame) set-va…
We discuss the dependence of set-valued dynamical systems on parameters. Under mild assumptions which are often satisfied for random dynamical systems with bounded noise and control systems, we establish the fact that topological bifurcations of minimal invariant sets are discontinuous with respect to the Hausdorff metric, taking the form of lower semi-continuous explosions and instantaneous appearances. We also characterise these transitions by properties of Morse-like decompositions.
This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $μ$ be a Radon measure on $X$ and let $Ω\subseteq X$ be a $μ$-measurable set. For $λ\geq1$, a $μ$-measurable set $S_λ(a)\subseteq X$ is a $λ$-Morse set with tag $a\in S_λ(a)$ if there is $r>0$ such that $B(a,r)\subseteq S_{λ}(a)\subseteq B(a,λr)$ and $S_λ(a)$ is starlike with respect to all points in the closed ball $B(a,r)$. Given a gauge $δ:Ω\to(0,1]$ we say $S_λ(a)$ is $δ$-fine if $B(a,λr)\subseteq…
Quasiconvexity of the Burkholder function on symmetric matrices
该研究运用Morse理论证明Burkholder函数及Székelyhidi引入的分离函数在对称矩阵上具有拟凸性，由此得到Beurling–Ahlfors变换作用于实值函数的若干尖锐不等式。
Kurdyka-Łojasiewicz (KŁ) functions are real-valued functions characterized by a differential inequality involving the norm of their gradient. This class of functions is quite rich, containing objects as diverse as subanalytic, transnormal or Morse functions. We prove that the zero locus of a Kurdyka-Łojasiewicz function admits a mapping cylinder neighborhood. This implies, in particular, that wildly embedded topological 2-manifolds in 3-dimensional Euclidean space, such as Alexander horned spheres, do not arise as the zero loci of KŁ functions.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。