Related papers: A note on Reeb spaces of some explicit real analyt…

It is known that local zeta functions associated with real analytic functions can be analytically continued as meromorphic functions to the hole complex plane. In this paper, certain cases of specific (non-real analytic) smooth functions…

The paper addresses the study and applications of a broad class of extended-real-valued functions, known as optimal value or marginal functions, which are frequently appeared in variational analysis, parametric optimization, and a variety…

Special generic maps are smooth maps at each singular point of which we can represent as $(x_1, \cdots, x_m) \mapsto (x_1,\cdots,x_{n-1},\sum_{k=n}^{m}{x_k}^2)$ for suitable coordinates. Morse functions with exactly two singular points on…

As a topic of mathematics, "arrangements", systems of hyperplanes, circles, and general (regular) submanifolds, attract us strongly. We present a natural elementary study of arrangements of circles. It is also a kind of new studies. Our…

According to Kiyoshi Igusa a generalized Morse function on an n-dimensional manifold M is a smooth function with only Morse and birth-death singularities and a framed function is a generalized Morse function with an additional structure: a…

Morse functions with exactly two singular points on spheres and canonical projections of spheres belong to the class of a certain good class of smooth maps: special generic maps. We mainly investigate information on cohomology of closed and…

We classify simple singularities of functions on space curves. We show that their bifurcation sets have properties very similar to those of functions on smooth manifolds and complete intersections [1,2]: the k(pi, 1)-theorem for the…

We prove that any smooth mapping between reduced analytic spaces induces a natural pullback operation on smooth differential forms.

We prove that almost every level set of a Sobolev function in a planar domain consists of points, Jordan curves, or homeomorphic copies of an interval. For monotone Sobolev functions in the plane we have the stronger conclusion that almost…

Large scale real number computation is an essential ingredient in several modern mathematical proofs. Because such lengthy computations cannot be verified by hand, some mathematicians want to use software proof assistants to verify the…

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are…

Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…

Motivated by a question of Rubel, we consider the problem of characterizing which noncompact hypersurfaces in $\RR^n$ can be regular level sets of a harmonic function modulo a $C^\infty$ diffeomorphism, as well as certain generalizations to…

In this paper, we introduce a method of converting implicit equations to the usual forms of functions locally without differentiability. For a system of implicit equations which are equipped with continuous functions, if there are unique…

We study the spaces of Besov and Triebel-Lizorkin type with variable smoothness and integrability as introduced recently by Almeida & H\"ast\"o and Diening, H\"ast\"o & Roudenko. Both scales cover many classical spaces with fixed exponents…

Functions with uniform level sets can represent orders, preference relations or other binary relations and thus turn out to be a tool for scalarization that can be used, e.g., in multicriteria optimization, decision theory, mathematical…

We construct analytic surface symplectomorphisms with unstable elliptic fixed points; this solves a problem of Birkhoff (1927). More precisely, we construct analytic symplectomorphisms of the sphere and of the disk which are transitive,…

We introduce a direct generalization of the Weinstein conjecture to closed, Lichnerowicz exact, locally conformally symplectic manifolds, (for short $\lcs$ manifolds). This conjectures existence of certain 2-curves in the manifold, which we…

We show that $C^0$-fine approximation of convex functions by smooth (or real analytic) convex functions on $\R^d$ is possible in general if and only if $d=1$. Nevertheless, for $d\geq 2$ we give a characterization of the class of convex…

We classify isoparametric functions on Damek-Ricci spaces which can be written in terms of the standard coordinates $(v,z,t)$ on the half-space model as a polynomial function divided by $t$. Regular level sets of the functions in our…