To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Using a regular Borel measure μ ⩾ 0 we derive a proper subspace of the commonly used Sobolev space D1(ℝN) when N ⩾ 3. The space resembles the standard Sobolev space H1(Ω) when Ω is a bounded region with a compact Lipschitz boundary ∂Ω. An equivalence characterization and an example are provided that guarantee that is compactly embedded into L1(RN). In addition, as an application we prove an existence result of positive solutions to an elliptic equation in ℝN that involves the Laplace operator with the critical Sobolev nonlinearity, or with a general nonlinear term that has a subcritical and superlinear growth. We also briefly discuss the compact embedding of to Lp(ℝN) when N ⩾ 2 and 2 ⩽ p ⩽ N.
The counting and (upper) mass dimensions of a set A ⊆ $\mathbb{R}^d$ are
$$D(A) = \limsup_{\|C\| \to \infty} \frac{\log | \lfloor A \rfloor \cap C |}{\log \|C\|}, \quad \smash{\overline{D}}\vphantom{D}(A) = \limsup_{\ell \to \infty} \frac{\log | \lfloor A \rfloor \cap [-\ell,\ell)^d |}{\log (2 \ell)},$$
where ⌊A⌋ denotes the set of elements of A rounded down in each coordinate and where the limit supremum in the counting dimension is taken over cubes C ⊆ $\mathbb{R}^d$ with side length ‖C‖ → ∞. We give a characterization of the counting dimension via coverings:
in which the infimum is taken over cubic coverings {Ci} of A ∩ C. Then we prove Marstrand-type theorems for both dimensions. For example, almost all images of A ⊆ $\mathbb{R}^d$ under orthogonal projections with range of dimension k have counting dimension at least min(k, D(A)); if we assume D(A) = D(A), then the mass dimension of A under the typical orthogonal projection is equal to min(k, D(A)). This work extends recent work of Y. Lima and C. G. Moreira.
We generalize to the anisotropic case some classical and recent results on the (n – 1)-Minkowski content of rectifiable sets in ℝn, and on the outer Minkowski content of subsets of ℝn. In particular, a general formula for the anisotropic outer Minkowski content is provided; it applies to a wide class of sets that are stable under finite unions.
We consider a special kind of structure resolvability and irresolvability for measurable spaces and discuss analogues of the criteria for topological resolvability and irresolvability.
We present a construction of a measure-zero Kakeya-type set in a finite-dimensional space $K^{n}$ over a local field with finite residue field. The construction is an adaptation of the ideas appearing in works by Sawyer [Mathematika34(1) (1987), 69–76] and Wisewell [Mathematika51(1–2) (2004), 155–162]. The existence of measure-zero Kakeya-type sets over discrete valuation rings is also discussed, giving an alternative construction to the one over $\mathbb{F}_{\ell }\unicode[STIX]{x27E6}t\unicode[STIX]{x27E7}$ presented by Dummit and Hablicsek [Mathematika59(2) (2013), 257–266].
We establish that the intrinsic distance dE associated with an indecomposable plane set E of finite perimeter is infinitesimally Euclidean; namely,in E. By this result, we prove through a standard argument that a conservative vector field in a plane set of finite perimeter has a potential. We also provide some applications to complex analysis. Moreover, we present a collection of results that would seem to suggest the possibility of developing a De Rham cohomology theory for integral currents.
We analyze copulas with a nontrivial singular component by using their Markov kernel representation. In particular, we provide existence results for copulas with a prescribed singular component. The constructions not only help to deal with problems related to multivariate stochastic systems of lifetimes when joint defaults can occur with a nonzero probability, but even provide a copula maximizing the probability of joint default.
We investigate the interplay between the local and asymptotic geometry of a set $A\subseteq \mathbb{R}^{n}$ and the geometry of model sets ${\mathcal{S}}\subset {\mathcal{P}}(\mathbb{R}^{n})$, which approximate $A$ locally uniformly on small scales. The framework for local set approximation developed in this paper unifies and extends ideas of Jones, Mattila and Vuorinen, Reifenberg, and Preiss. We indicate several applications of this framework to variational problems that arise in geometric measure theory and partial differential equations. For instance, we show that the singular part of the support of an $(n-1)$-dimensional asymptotically optimally doubling measure in $\mathbb{R}^{n}$ ($n\geqslant 4$) has upper Minkowski dimension at most $n-4$.
In this paper, we establish a translation theorem for the generalised analytic Feynman integral of functionals that belong to the Banach algebra ${\mathcal{F}}(C_{a,b}[0,T])$.
We demonstrate that many properties of topological spaces connected with the notion of resolvability are preserved by the relation of similarity between topologies. Moreover, many of them can be characterised by the properties of the algebra of sets with nowhere dense boundary and the ideal of nowhere dense sets. We use these results to investigate whether a given pair of an algebra and an ideal is topological.
We provide a characterization of realisable set covariograms, bringing a rigorous yet abstract solution to the S2 problem in materials science. Our method is based on the covariogram functional for random measurable sets (RAMS) and on a result about the representation of positive operators on a noncompact space. RAMS are an alternative to the classical random closed sets in stochastic geometry and geostatistics, and they provide a weaker framework that allows the manipulation of more irregular functionals, such as the perimeter. We therefore use the illustration provided by the S2 problem to advocate the use of RAMS for solving theoretical problems of a geometric nature. Along the way, we extend the theory of random measurable sets, and in particular the local approximation of the perimeter by local covariograms.
This article explores the properties of fractal interpolation functions with variable scaling parameters, in the context of smooth fractal functions. The first part extends the Barnsley–Harrington theorem for differentiability of fractal functions and the fractal analogue of Hermite interpolation to the present setting. The general result is applied on a special class of iterated function systems in order to develop differentiability of the so-called $\boldsymbol{{\it\alpha}}$-fractal functions. This leads to a bounded linear map on the space ${\mathcal{C}}^{k}(I)$ which is exploited to prove the existence of a Schauder basis for ${\mathcal{C}}^{k}(I)$ consisting of smooth fractal functions.
Some well-known results about the 2-density topology on ${\mathcal R}$ (in particular in the context of the Lusin–Menchoff property) are extended to τbm, i.e. the m-density topology on ${\mathcal R}$n with m ∈ (n,+∞). Every set of finite perimeter in ${\mathcal R}$n is equivalent (in measure) to a set in τbm0, where m0=n+1+${1\over n-1}$. There exists a set of finite perimeter in ${\mathcal R}$n which is not equivalent (in measure) to any member in the a.e.-modification of τbm, whatever m ∈ [n,+∞).
We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel measure with respect to a fixed Carathéodory measure. We focus our attention on the case when this measure is the spherical Hausdorff measure, giving a metric measure area formula. Our aim is to use certain covering derivatives as ‘generalized densities’. Some consequences for the sub-Riemannian Heisenberg group are also pointed out.
In this article, we investigate the pointwise behaviors of functions on the Heisenberg group. We find wavelet characterizations for the global and local Hölder exponents. Then we prove some a priori upper bounds for the multifractal spectrum of all functions in a given Hölder, Sobolev, or Besov space. These upper bounds turn out to be optimal, since in all cases they are reached by typical functions in the corresponding functional spaces. We also explain how to adapt our proof to extend our results to Carnot groups.
In this paper, we present a general framework to construct fractal interpolation surfaces (FISs) on rectangular grids. Then we introduce bilinear FISs, which can be defined without any restriction on interpolation points and vertical scaling factors.
Nešetřil and Ossona de Mendez introduced the notion of first-order convergence, which unifies the notions of convergence for sparse and dense graphs. They asked whether, if (Gi)i∈ℕ is a sequence of graphs with M being their first-order limit and v is a vertex of M, then there exists a sequence (vi)i∈ℕ of vertices such that the graphs Gi rooted at vi converge to M rooted at v. We show that this holds for almost all vertices v of M, and we give an example showing that the statement need not hold for all vertices.
The aim of the paper is to establish estimates in weighted Sobolev spaces for the solutions of the Dirichlet problems on snowflake domains, as well as uniform estimates for the solutions of the Dirichlet problems on pre-fractal approximating domains.
In this paper we establish concavity properties of two extensions of the classical notion of the outer parallel volume. On the one hand, we replace the Lebesgue measure by more general measures. On the other hand, we consider a functional version of the outer parallel sets.