Related papers: Nonnegative $C^2(\mathbb{R}^2)$ interpolation
We present a proof-producing integration of ACL2 and Imandra for proving nonlinear inequalities. This leverages a new Imandra interface exposing its nonlinear decision procedures. The reasoning takes place over the reals, but the proofs…
Using heterotic/type II string duality, we obtain exact nonperturbative results for the point particle limit (alpha' -> 0) of some particular four dimensional, N=2 supersymmetric compactifications of heterotic strings. This allows us to…
It is well known that vortex patches are wellposed in $C^{1,\alpha}$ if $0<\alpha <1$. In this paper, we prove the illposedness of $C^{2}$ vortex patches. The setup is to consider the vortex patches in Sobolev spaces $W^{2,p}$ where the…
We show that every integer doubly nonnegative $2 \times 2$ matrix has an integer cp-factorization.
We study normal analytic compactifications of C^2 and describe their singularities and configuration of curves at infinity, in particular improving and generalizing results of (Brenton, Math. Ann. 206:303--310, 1973). As a by product we…
Craig interpolation is a fundamental property of classical and non-classic logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an…
This paper introduces a quasi-interpolation operator for scalar- and vector-valued finite element spaces constructed on affine, shape-regular meshes with some continuity across mesh interfaces.This operator gives optimal estimates of the…
We use an interpolative technique from \cite{abps} to introduce the notion of multiple $N$-separately summing operators. Our approach extends and unifies some recent results; for instance we recover the best known estimates of the…
We compute the non--trivial infrared $\phi^4_3$--fixed point by means of an interpolation expansion in fixed dimension. The expansion is formulated for an infinitesimal momentum space renormalization group. We choose a coordinate…
We use the structure of finite-dimensional graded algebras to develop the theory of antilinear representations of finite $C_2$-graded groups. A finite $C_2$-graded group is a finite group with a subgroup of index 2. In this theory the…
In this article, we prove the existence of at least two positive weak solutions for a mixed local-nonlocal singular problem in the presence of critical exponential nonlinearity in dimension two. The novelty of this work is the inclusion of…
We construct a renormalization operator which acts on analytic circle maps whose critical exponent $\alpha$ is not necessarily an odd integer $2n+1$, $n\in\mathbb N$. When $\alpha=2n+1$, our definition generalizes cylinder renormalization…
In this short note, as a simple application of the strong result proved recently by B\"ohm and Wilking, we give a classification on closed manifolds with 2-nonnegative curvature operator. Moreover, by the new invariant cone constructions of…
In the process of proving a sharpened form of G\r{a}rding's inequality, Fefferman & Phong demonstrated that every non-negative function $f\in C^{3,1}(\mathbb{R}^n)$ can be written as a finite sum of squares of functions in…
We design a quasi-interpolation operator from the Sobolev space $H^1_0(\Omega)$ to its finite-dimensional finite element subspace formed by piecewise polynomials on a simplicial mesh with a computable approximation constant. The operator 1)…
We classify 'primitive normal compactifications' of C^2 (i.e. normal analytic surfaces containing C^2 for which the curve at infinity is irreducible), compute the moduli space of these surfaces and their groups of auomorphisms. In…
We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:\Sigma \to \R^3$ are nondegenerate; that is, the Jacobi operator $\Delta_f + |A_f|^2$ has no $L^2$ kernel. In fact, if $\Sigma$ has genus zero and…
We present a construction of a certain infinite complete partial order (CPO) that differs from the standard construction used in Scott's denotational semantics. In addition, we construct several other infinite CPO's. For some of those, we…
We study two modifications of the trapezoidal product cubature formulae, approximating double integrals over the square domain $[a,b]^2=[a,b]\times [a,b]$. Our modified cubature formulae use mixed type data: except evaluations of the…
In [18] Fournier and Printems establish a methodology which allows to prove the absolute continuity of the law of the solution of some stochastic equations with H\"{o}lder continuous coefficients. This is of course out of reach by using…