Related papers: Trace and density results on regular trees
The purpose of this note is to discuss how various Sobolev spaces defined on multiple cones behave with respect to density of smooth functions, interpolation and extension/restriction to/from $\RR^n$. The analysis interestingly combines use…
This paper introduces first order Sobolev spaces on certain rectifiable varifolds. These complete locally convex spaces are contained in the generally nonlinear class of generalised weakly differentiable functions and share key functional…
We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…
Among subgraphs with a fixed number of vertices of the regular square lattice, we prove inequalities that essentially say that those with smaller boundaries have larger numbers of spanning trees and vice-versa. As an application, we relate…
Building on previous work of [BPS] we investigate $\sigma$-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every $\sigma$-closed partial order of…
We introduce the Steklov flows on finite trees, i.e. the flows (or currents) associated with the Steklov problem. By constructing appropriate Steklov flows, we prove the monotonicity and rigidity of the first nonzero Steklov eigenvalues on…
We establish existence, uniqueness, and arbitrary order Sobolev regularity results for the second order parabolic equations with measurable coefficients defined on the conic domains $D$ of the type $$ D(M):=\left\{x\in R^d…
We consider random binary trees that appear as the output of certain standard algorithms for sorting and searching if the input is random. We introduce the subtree size metric on search trees and show that the resulting metric spaces…
We establish characterization of $H^1$ Sobolev spaces by certain square functions, improving previous results.
A theory of Sobolev inequalities in arbitrary open sets of Euclidean space is established. Boundary regularity of domains is replaced with information on boundary traces of trial functions and of their derivatives up to some explicit…
In this paper we study the Sobolev Trace Theorem for variable exponent spaces with critical exponents. We find conditions on the best constant in order to guaranty the existence of extremals. Then we give local conditions on the exponents…
The main goal of this paper is to give a complete proof of the trace theorem for Besov-type spaces of generalized smoothness associated with complete Bernstein functions satisfying certain scaling conditions on $d$-sets $D\subset\mathbb…
We study the question of whether a given regular language of finite trees can be defined in first-order logic. We develop an algebraic approach to address this question and we use it to derive several necessary and sufficient conditions for…
A first order trace formula is obtained for a higher-order differential operator on a segment in the case where the perturbation is an operator of multiplication by a finite complex-valued measure. For the operators of even order $n\ge4$ a…
In the hyperbolic plane there are infinite regular lattices. From a fix vertex of a lattice tree graphs can be constructed recursively to the next layers with edges of the lattice. In this article we examine the properties of the growing of…
Gromov asked what a typical (finitely presented) group looks like, and he suggested a way to make the question precise in terms of limiting density. The typical finitely generated group is known to share some important properties with the…
We obtain a simple formula for the first-order trace of a regular differential operator on a segment perturbated by a multiplication operator. The main analytic ingredient of the proof is an improvement of the Tamarkin equiconvergence…
We introduce and study fractional variable exponents Sobolev trace spaces on any open set in the Euclidean space equipped with the Lebesgue measure. We show that every equivalence class of Sobolev functions has a quasicontinuous…
Including the previously untreated borderline cases, the trace spaces in the distributional sense of the Besov--Lizorkin--Triebel spaces are determined for the anisotropic (or quasi-homogeneous) version of these classes. The ranges of the…
We study the boundary traces of Newton-Sobolev, Hajlasz-Sobolev, and BV (bounded variation) functions. Assuming less regularity of the domain than is usually done in the literature, we show that all of these function classes achieve the…