Related papers: Nonnegative $C^2(\mathbb{R}^2)$ interpolation
We prove new symmetry results for the extremals of the Caffarelli-Kohn-Nirenberg inequalities in any dimension larger or equal than 2, in a range of parameters for which no explicit results of symmetry were previously known.
We prove a result on equivariant deformations of flat bundles, and as a corollary, we obtain two ``splitting in a finite cover'' theorems for isometric group actions on Riemannian manifolds with infinite fundamental groups, where the…
We consider a family of Gagliardo-Nirenberg-Sobolev interpolation inequalities which interpolate between Sobolev's inequality and the logarithmic Sobolev inequality, with optimal constants. The difference of the two terms in the…
Investigating for interior regularity of viscosity solutions to the fully nonlinear elliptic equation $$F(x,u,\triangledown u,\triangledown ^2 u)=0,$$ we establish the interior $C^{1+1}$ continuity under the assumptions that $F$ is…
Let $F_q$ be a finite field. A flag of $F_q$-linear codes $C_0\subsetneq C_1\subsetneq\dots\subsetneq C_s$ is said to satisfy the isometry-dual property if there exists a vector $x\in(F_q^*)^n$ such that $C_i=x\cdot C_{s-i}^\perp$, where…
Two infinite sequences A and B of non-negative integers are called additive complements, if their sum contains all sufficiently large integers. Let $A(x)$ and $B(x)$ be the counting functions of A and B. In this paper, we extend the results…
In this paper we continue an earlier study of ends non-compact manifolds. The over-arching goal is to investigate and obtain generalizations of Siebenmann's famous collaring theorem that may be applied to manifolds having non-stable…
We give a complete characterization of limiting interpolation spa\-ces for the real method of interpolation using extrapolation theory. For this purpose the usual tools (e.g., Boyd indices or the boundedness of Hardy type operators) are not…
For the affine Lie algebra $C_2^{(1)}$ we study non-principal and non-coprincipal admissible modules of integer level and their quantum Hamiltonian reduction, and show that they have $\Gamma_0(2)$-modular invariance.
This paper considers the problem of assumptions refinement in the context of unrealizable specifications for reactive systems. We propose a new counterstrategy-guided synthesis approach for GR(1) specifications based on Craig's…
We show that for any set $A \subset \mathbb{N}$ with positive upper density and any $\ell,m \in \mathbb{N}$, there exist an infinite set $B\subset \mathbb{N}$ and some $t\in \mathbb{N}$ so that $\{mb_1 + \ell b_2 \colon b_1,b_2\in B\…
We study the higher regularity in nonlocal free boundary problems posed for general integro-differential operators of order $2s$. Our main result is for the nonlocal one-phase (Bernoulli) problem, for which we establish that $C^{2,\alpha}$…
One classical measure of the quality of an interpolating function is its Lipschitz constant. In this paper we consider interpolants with additional smoothness requirements, in particular that their derivatives be Lipschitz. We show that…
We prove a $C^{1,\alpha}$ interior regularity theorem for fully nonlinear uniformly elliptic integro-differential equations without assuming any regularity of the kernel. We then give some applications to linear theory and higher regularity…
Let $C_1$ and $C_2$ be two Cantor sets with convex hull $[0,1]$. Newhouse proved if $\tau(C_1)\cdot \tau(C_2)\geq 1$, then the arithmetic sum $C_1+C_2$ is an interval, where $\tau(C_i), 1\leq i\leq 2$ denotes the thickness of $C_i$. In this…
As a variant of Zeckendorf's theorem, Chung and Graham proved that every positive integer can be uniquely decomposed into a sum of even-indexed Fibonacci numbers, whose coefficients are either $0, 1$, or $2$ so that between two coefficients…
We consider a closed set S in R^n and a linear operator \Phi on the polynomial algebra R[X_1,...,X_n] that preserves nonnegative polynomials, in the following sense: if f\geq 0 on S, then \Phi(f)\geq 0 on S as well. We show that each such…
In this paper we present alternative proofs for two known rigidity results concerning non-negatively curved compact biconservative hypersurfaces in space forms. Further, we prove some new rigidity results by replacing the hypothesis of…
For the quadratic Lagrange interpolation function, an algorithm is proposed to provide explicit and verified bound for the interpolation error constant that appears in the interpolation error estimation. The upper bound for the…
Motivated by the intermediate Lang conjectures on hyperbolicity and rational points, we prove new finiteness results for non-constant morphisms from a fixed variety to a fixed variety defined over a number field by applying Faltings's…