Related papers: A class of nowhere differentiable functions satisf…
This article is the second installment in a series on the Berkovich ramification locus for nonconstant rational functions f: P^1 -> P^1. Here we show the ramification locus of f is contained in a strong tubular neighborhood of finite radius…
If a function $f:\mathbb{R}\to\mathbb{R}$ can be represented as the sum of $n$ periodic functions as $f=f_1+\dots+f_n$ with $f(x+\alpha_j)=f(x)$ ($j=1,\dots,n$), then it also satisfies a corresponding $n$-order difference equation…
In this paper, we show that the pair of classes of locally H\"{o}lder continuous functions (considered on $\mathbb{R}$ and $\mathbb{R}^{2}$, respectively) has the double difference property.
It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support…
It is shown that every polynomial function $P : \mathbb{C}^2\longrightarrow \mathbb{C}$ with irreducible fibres of same a genus is a coordinate. In consequence, there does not exist counterexamples F = (P,Q) to the Jacobian conjecture such…
We consider solutions to some semilinear elliptic equations on complete noncompact Riemannian manifolds and study their classification as well as the effect of their presence on the underlying manifold. When the Ricci curvature is…
We identify a class of continuous compactly supported functions for which the known part of the Gabor frame set can be extended. At least for functions with support on an interval of length two, the curve determining the set touches the…
In this paper it is shown that higher order quasiconvex functions suitable in the variational treatment of problems involving second derivatives may be extended to the space of all matrices as classical quasiconvex functions. Precisely, it…
The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements. We introduce two auxiliary sets that characterize the…
We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. We completely…
Let G be a connected reductive group defined over a finite field F_q and let L be the Levi subgroup (defined over F_q) of a parabolic subgroup P of G. We define a linear map from class functions on L(F_q) to class functions on G(F_q). This…
We classify transcendental entire functions that are compositions of a polynomial and the exponential for which all singular values escape on disjoint rays. The construction involves an iteration procedure on an infinite-dimensional…
Given a two-variable function $f$ without critical points and a compact region $R$ bounded by two level curves of $f$, this note proves that the integral over $R$ of the second-order directional derivative of $f$ in the tangential…
Let $R$ be an integral domain of characteristic zero. We prove that a function $D\colon R\to R$ is a derivation of order $n$ if and only if $D$ belongs to the closure of the set of differential operators of degree $n$ in the product…
In this paper, we mainly investigate continuity, monotonicity and differentiability for the first eigenvalue of the $p$-Laplace operator along the Ricci flow on closed manifolds. We show that the first $p$-eigenvalue is strictly increasing…
Favard's theorem characterizes bases of functions $\{p_n\}_{n\in\mathbb{Z}_+}$ for which $x p_n(x)$ is a linear combination of $p_{n-1}(x)$, $p_n(x)$, and $p_{n+1}(x)$ for all $n \geq 0$ with $p_{0}\equiv1$ (and $p_{-1}\equiv 0$ by…
We propose a novel foundation for calculus that focuses on the notion of approximations while avoiding the use of limits altogether. Continuity is defined as approximation at a point, while differentiability is defined as approximation with…
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…
Consider a decision problem whose instance is a function. Its degree of undecidability, measured by the corresponding class of the arithmetic (or Kleene-Mostowski) hierarchy hierarchy, may depend on whether the instance is a partial…
The presence of second-order smoothness for objective functions of optimization problems can provide valuable information about their stability properties and help us design efficient numerical algorithms for solving these problems. Such…