The extension of functions of Sobolev classes beyond the boundary of the domain on Carnot groups

We prove the theorem on extension of the functions of the Sobolev space W _p ^l (Ω) which are defined on a bounded (ε, δ)-domain Ω in a two-step Carnot group beyond the boundary of the domain of definition. This theorem generalizes the well-known extension theorem by P. Jones for domains of the Euclidean space.     

Boundary values of differentiable functions defined on an arbitrary domain of a Carnot group

We study the boundary values of the functions of the Sobolev function spaces W _∞ ^l and the Nikol’ski? function spaces H _∞ ^l which are defined on an arbitrary domain of a Carnot group. We obtain some reversible characteristics of the traces of the spaces under consideration on the boundary of the domain of definition and sufficient conditions for extension of the functions of these spaces outside the domain of definition. In some cases these sufficient conditions are necessary.     

The traces of Bessel potentials on regular subsets of Carnot groups

We prove the direct theorem on the traces of the Bessel potentials L _p ^α defined on a Carnot group, on the regular closed subsets called Ahlfors d-sets. The result is convertible for integer α, i.e., for the Sobolev spaces W _p ^α (the converse trace theorem was proven in [24]). This theorem generalizes A. Johnsson and H. Wallin’s results [13] for Sobolev functions and Bessel potentials on the Euclidean space.     

Embedding of Sobolev spaces with limit exponent revisited

An embedding of the Sobolev spaces W _p ^s (? ⁿ ) in Lizorkin-type spaces of locally integrable functions of smoothness zero is obtained; a similar assertion for Riesz and Bessel potentials is presented. The embedding theorem is extended to Sobolev spaces on irregular domains in n-dimensional Euclidean space. The statement of the theorem depends on geometric parameters of the domain of functions.     

Mikhlin’s problem on Carnot groups

We consider one class of singular integral operators over the functions on domains of Carnot groups. We prove the L _p boundedness, 1 < p > ∞, for the operators of this class. Similar operators over the functions on domains of Euclidean space were considered by Mikhlin.     

Characterizations for the fractional integral operators in generalized Morrey spaces on Carnot groups

In this paper, we study the boundedness of the fractional integral operator I _α on Carnot group G in the generalized Morrey spaces M _{p, φ} (G). We shall give a characterization for the strong and weak type boundedness of I _α on the generalized Morrey spaces, respectively. As applications of the properties of the fundamental solution of sub-Laplacian L on G, we prove two Sobolev–Stein embedding theorems on generalized Morrey spaces in the Carnot group setting.     

Another note on the embedding of the Sobolev space for the limiting exponent

The embedding of the Sobolev spaces W _p ^s (? ⁿ ) in a Lizorkin-type space of locally summable functions of zero smoothness is established. This result is extended to the case of the embedding of Sobolev spaces on nonregular domains of n-dimensional Euclidean space. The formulation of the theorem depends on the geometric parameters of the domain of the functions.     

On the traces of Sobolev functions on the boundary of a cusp with a Hölder singularity

For the Sobolev classes W _p ¹ on a “zero” cusp with a Hölder singularity at the vertex, we consider the question of compactness of the embedding of the traces of Sobolev functions into the Lebesgue classes on the boundary of the cusp.     

The class of mappings with bounded specific oscillation,and integrability of mappings with bounded distortion on Carnot groups

This paper is the first of the author’s three articles on stability in the Liouville theorem on the Heisenberg group. The aim is to prove that each mapping with bounded distortion of a John domain on the Heisenberg group is close to a conformal mapping with order of closeness \(\sqrt {K - 1} \) in the uniform norm and order of closeness K ? 1 in the Sobolev norm L _p ¹ for all \(p < \tfrac{C}{{K - 1}}\).In the present article we study integrability of mappings with bounded specific oscillation on spaces of homogeneous type. As an example, we consider mappings with bounded distortion on the Heisenberg group. We prove that a mapping with bounded distortion belongs to the Sobolev class W _p,loc ¹ , where p → ∞ as the distortion coefficient tends to 1.     

Stability of mappings with bounded distortion in the Sobolev norm on the John domains of Heisenberg groups

This article completes the authors’s series on stability in the Liouville theorem on the Heisenberg group. We show that every mapping with bounded distortion on a John domain of the Heisenberg group is approximated by a conformal mapping with order of closeness √K ? 1 in the uniform norm and with order of closeness K ? 1 in the Sobolev L _p ¹ -norm for all p < C/K?1. We construct two examples, demonstrating the asymptotic sharpness of our results.     

Hyperbolic Chevalley groups on ℂ<Superscript>2</Superscript>

Let Γ ? U (1, 1) be the subgroup generated by the complex reflections. Suppose that Γ acts discretely on the domain K = {(z ₁, z ₂) ∈ ?² ||z ₁|² ? |z ₂|² < 0} and that the projective group PΓ acts on the unit disk B = {|z ₁/z ₂| < 1} as a Fuchsian group of signature (n ₁, ..., n _s ), s ? 3, n _i ? 2. For such groups, we prove a Chevalley type theorem, i.e., find a necessary and sufficient condition for the quotient space K/Γ to be isomorphic to ?² ? {0}.     

On the properties of maps connected with inverse Sturm-Liouville problems

Let L _D be the Sturm-Liouville operator generated by the differential expression L _y = ?y″ + q(x)y on the finite interval [0, π] and by the Dirichlet boundary conditions. We assume that the potential q belongs to the Sobolev space W ₂ ^? [0, π] with some ? ≥ ?1. It is well known that one can uniquely recover the potential q from the spectrum and the norming constants of the operator L _D. In this paper, we construct special spaces of sequences ? ₂ ^θ in which the regularized spectral data {s _k } _?∞ ^∞ of the operator L _D are placed. We prove the following main theorem: the map F _q = {s _k } from W ₂ ^? to ? ₂ ^θ is weakly nonlinear (i.e., it is a compact perturbation of a linear map). A similar result is obtained for the operator L _DN generated by the same differential expression and the Dirichlet-Neumann boundary conditions. These results serve as a basis for solving the problem of uniform stability of recovering a potential. Note that this problem has not been considered in the literature. The uniform stability results are formulated here, but their proof will be presented elsewhere.     

Sobolev spaces and capacities theory on path spaces over a compact Riemannian manifold

We introduce Sobolev spaces and capacities on the path space P _{m 0} (M) over a compact Riemannian manifold M. We prove the smoothness of the Itô map and the stochastic anti-development map in the sense of stochastic calculus of variation. We establish a Sobolev norm comparison theorem and a capacity comparison theorem between the Wiener space and the path space P _{m 0} (M). Moreover, we prove the tightness of (r, p)-capacities on P _{m 0} (M), \(\), which generalises a result due to Airault-Malliavin and Sugita on the Wiener space. Finally, we extend our results to the fractional Hölder continuous path space \(\).     

On the total-variation convergence of regularizing algorithms for ill-posed problems

It is well known that ill-posed problems in the space V[a, b] of functions of bounded variation cannot generally be regularized and the approximate solutions do not converge to the exact one with respect to the variation. However, this convergence can be achieved on separable subspaces of V[a, b]. It is shown that the Sobolev spaces W ₁ ^m [a, b], m ∈ ? can be used as such subspaces. The classes of regularizing functionals are indicated that guarantee that the approximate solutions produced by the Tikhonov variational scheme for ill-posed problems converge with respect to the norm of W ₁ ^m [a, b]. In turn, this ensures the convergence of the approximate solutions with respect to the variation and the higher order total variations.     

Local stability of mappings with bounded distortion on Heisenberg groups

This is the second of the author’s three papers on stability in the Liouville theorem on the Heisenberg group. The aim is to prove that each mapping with bounded distortion of a John domain on the Heisenberg group is close to a conformal mapping with order of closeness \(\sqrt {K - 1} \) in the uniform norm and order of closeness K ? 1 in the Sobolev norm L _p ¹ for all \(p < \tfrac{C}{{K - 1}}\).In this paper we prove a local variant of the desired result: each mapping on a ball with bounded distortion and distortion coefficient K near to 1 is close on a smaller ball to a conformal mapping with order of closeness \(\sqrt {K - 1} \) in the uniform norm and order of closeness K ? 1 in the Sobolev norm L _p ¹ for all \(p < \tfrac{C}{{K - 1}}\). We construct an example that demonstrates the asymptotic sharpness of the order of closeness of a mapping with bounded distortion to a conformal mapping in the Sobolev norm.     

Spectral properties of the complex airy operator on the half-line

We prove a theorem on the completeness of the system of root functions of the Schrödinger operator L = ?d ²/dx ² + p(x) on the half-line R₊ with a potential p for which L appears to be maximal sectorial. An application of this theorem to the complex Airy operator L _c = ?d ²/dx ² + cx, c = const, implies the completeness of the system of eigenfunctions of L _c for the case in which |arg c| < 2π/3.We use subtler methods to prove a theorem stating that the system of eigenfunctions of this special operator remains complete under the condition that |arg c| < 5π/6.     

A discrete norm on a Lipschitz surface and the Sobolev straightening of a boundary

Let a piece of the boundary of a Lipschitz domain be parameterized conventionally and let the traces of functions in the Sobolev space W _p ² be written out through this parameter. In this space, we propose a discrete (diadic) norm generalizing A. Kamont’s norm in the plane case. We study the conditions when the space of traces coincides with the corresponding space for the plane boundary.     

An integro-local theorem applicable on the whole half-axis to the sums of random variables with regularly varying distributions

We obtain an integro-local limit theorem for the sum S(n) = ξ(1)+?+ξ(n) of independent identically distributed random variables with distribution whose right tail varies regularly; i.e., it has the form P(ξ≥t) = t ^?β L(t) with β > 2 and some slowly varying function L(t). The theorem describes the asymptotic behavior on the whole positive half-axis of the probabilities P(S(n) ∈ [x, x + Δ)) as x → ∞ for a fixed Δ > 0; i.e., in the domain where the normal approximation applies, in the domain where S(n) is approximated by the distribution of its maximum term, as well as at the “junction” of these two domains.