Related papers: On the Lawson-Osserman conjecture
We consider variational integrals of the form $\int F(D^2u)$ where $F$ is convex and smooth on the Hessian space. We show that a critical point $u\in W^{2,\infty}$ of such a functional under compactly supported variations is smooth if the…
We find conditions for a smooth nonlinear map $f:U\rightarrow V$ between open subsets of Hilbert or Banach spaces to be locally convex in the sense that for some $c$ and each positive $\varepsilon<c$ the image $% f(B_\varepsilon(x))$ of…
Let $X$ be a normal complex space such that the tangent sheaf $T_X$ is locally free and locally admits a basis consisting of pairwise commuting vector fields. Then $X$ is smooth.
We prove that, given a planar bi-Lipschitz homeomorphism $u$ defined on the boundary of the unit square, it is possible to extend it to a function $v$ of the whole square, in such a way that $v$ is still bi-Lipschitz. In particular,…
The tangential ramification locus $B_{X/Y}^t\subset B_{X/Y}$ is the subset of points in the ramification locus where the sheaf of relative vector fields $T_{X/Y}$ fails to be locally free. It was conjectured by Zariski and Lipman that if…
We provide sufficient conditions for a locally lipschitz mapping to be invertible . We use classical local invertibility conditions together with the non-smooth critical point theory.
We develop regularity theory for critical points of variational integrals defined on Hessian spaces of functions on open, bounded subdomains of $\mathbb{R}^n$, under compactly supported variations. The critical point solves a fourth order…
Functions, uniformly bounded in $BV$ norm in some bounded open set $U$ in $R^n$, are compact in $L_1(U)$. This result is known when $U$ has Lipschitz boundary [EG Th. 4 p. 176], [G 1.19 Th. p. 17], [Z 5.34 Cor. p. 227]; the proof for…
This paper demonstrates that the space of piecewise smooth functions can be well approximated by the space of functions defined by a set of simple (non-linear) operations on smooth uniform splines. The examples include bivariate functions…
This note studies numerical methods for solving compositional optimization problems, where the inner function is smooth, and the outer function is Lipschitz continuous, non-smooth, and non-convex but exhibits one of two special structures…
The (global) Lipschitz smoothness condition is crucial in establishing the convergence theory for most optimization methods. Unfortunately, most machine learning and signal processing problems are not Lipschitz smooth. This motivates us to…
In this article, we show that (i) any smooth function on compact Riemann surface with non-empty smooth boundary $ (M, \partial M, g) $ can be realized as a Gaussian curvature function; (ii) any smooth function on $ \partial M $ can be…
Let $\mathcal{N}$ be a smooth, compact, connected Riemannian manifold without boundary. Let $\mathcal{E}\to\mathcal{N}$ be the Riemannian universal covering of $\mathcal{N}$. For any bounded, smooth domain $\Omega\subseteq\mathbb{R}^d$ and…
We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…
We prove that a Riemannian submersion between smooth, compact, non-negatively curved Riemannian manifolds has to be smooth, resolving a conjecture by Berestovskii--Guijarro. We show that without any curvature assumption, the smoothness of…
Let $\Omega$ be a bounded, convex, centrally symmetric in $\mathbb{R}^{2}$ with a connected $C^{2,\epsilon}$ ($\epsilon\in(0,1)$) boundary. We show that, if the following overdetermined elliptic problem \begin{equation} -\Delta u=\alpha…
We make systematic developments on Lawson-Osserman constructions relating to the Dirichlet problem (over unit disks) for minimal surfaces of high codimension in their 1977 Acta paper. In particular, we show the existence of boundary…
For any $M, n \geq 2$ and any open set $\Omega \subset \mathbb{R}^n$ we find a smooth, strongly polyconvex function $F\colon \mathbb{R}^{M\times n}\to \mathbb{R}$ and a Lipschitz map $u\colon \mathbb{R}^n \to \mathbb{R}^M$ that is a weak…
We study the regularity of the viscosity solution $u$ of the $\sigma_k$-Loewner-Nirenberg problem on a bounded smooth domain $\Omega \subset \mathbb{R}^n$ for $k \geq 2$. It was known that $u$ is locally Lipschitz in $\Omega$. We prove…
It is proved that if $S\subset \mathbb P^N$ is a smooth projective surface and $f:S\to \mathbb P^2$ is a generic linear projection branched over a cuspidal curve $B\subset \mathbb P^2$, then the surface $S$ is determined uniquely up to an…