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.     

Regularity of the inverse of a homeomorphism of a Sobolev–Orlicz space

Given a homeomorphism ? ∈ W _M ¹ , we determine the conditions that guarantee the belonging of the inverse of ? in some Sobolev–Orlicz space W _F ¹ . We also obtain necessary and sufficient conditions under which a homeomorphism of domains in a Euclidean space induces the bounded composition operator of Sobolev–Orlicz spaces defined by a special class of N-functions. Using these results, we establish requirements on a mapping under which the inverse homeomorphism also induces the bounded composition operator of another pair of Sobolev–Orlicz spaces which is defined by the first pair.     

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.     

Invariance of the generalized oscillator under a linear transformation of the related system of orthogonal polynomials

We consider the families of polynomials P = { P _n (x)} _n=0 ^∞ and Q = { Q _n (x)} _n=0 ^∞ orthogonal on the real line with respect to the respective probability measures μ and ν. We assume that { Q _n (x)} _n=0 ^∞ and {P _n (x)} _n=0 ^∞ are connected by linear relations. In the case k = 2, we describe all pairs (P,Q) for which the algebras A _P and A _Q of generalized oscillators generated by { Qn(x)} _n=0 ^∞ and { Pn(x)} _n=0 ^∞ coincide. We construct generalized oscillators corresponding to pairs (P,Q) for arbitrary k ≥ 1.     

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.     

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.     

On the Interior Smoothness of Solutions to Second-Order Elliptic Equations

We study the interior smoothness properties of solutions to a linear second-order uniformly elliptic equation in selfadjoint form without lower-order terms and with measurable bounded coefficients. In terms of membership in a special function space we combine and supplement some properties of solutions such as membership in the Sobolev space W _{2, loc} ¹ and Holder continuity. We show that the membership of solutions in the introduced space which we establish in this article gives some new properties that do not follow from Holder continuity and the membership in W _2,loc ¹ .     

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.     

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.     

On the failure of concentration for the ℓ∞-ball

Let (X, d) be a compact metric space and µ a Borel probability on X. For each N ≥ 1 let d_∞^N be the ?_∞-product on X^N of copies of d, and consider 1-Lipschitz functions X^N → ? for d_∞^N.     

Traces of functions of generalized Sobolev classes

Considering the Sobolev type function classes on a metric space equipped with a Borel measure we address the question of compactness of embeddings of the space of traces into Lebesgue spaces on the sets of less “dimension.” Also, we obtain compactness conditions for embeddings of the traces of the classical Sobolev spaces W _p ¹ on the “zero” cusp with a Hölder singularity at the vertex.     

Spaces of Dirichlet series with the complete Pick property

We consider reproducing kernel Hilbert spaces of Dirichlet series with kernels of the form \(k\left( {s,u} \right) = \sum {{a_n}} {n^{ - s - \overline u }}\), and characterize when such a space is a complete Pick space. We then discuss what it means for two reproducing kernel Hilbert spaces to be “the same”, and introduce a notion of weak isomorphism. Many of the spaces we consider turn out to be weakly isomorphic as reproducing kernel Hilbert spaces to the Drury–Arveson space H _d ² in d variables, where d can be any number in {1, 2,...,∞}, and in particular their multiplier algebras are unitarily equivalent to the multiplier algebra of H _d ² . Thus, a family of multiplier algebras of Dirichlet series is exhibited with the property that every complete Pick algebra is a quotient of each member of this family. Finally, we determine precisely when such a space of Dirichlet series is weakly isomorphic as a reproducing kernel Hilbert space to H _d ² and when its multiplier algebra is isometrically isomorphic to Mult(H _d ² ).     

Traces of Sobolev functions on the Ahlfors sets of Carnot groups

We prove the converse of the trace theorem for the functions of the Sobolev spaces W _p ^l on a Carnot group on the regular closed subsets called Ahlfors d-sets (the direct trace theorem was obtained in one of our previous publications). The theorem generalizes Johnsson and Wallin’s results for Sobolev functions on the Euclidean space. As a consequence we give a theorem on the boundary values of Sobolev functions on a domain with smooth boundary in a two-step Carnot group. We consider an example of application of the theorems to solvability of the boundary value problem for one partial differential equation.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for Riesz transform and their commutators associated with Schrödinger type operator

Let H ₂ = (?Δ)² + V ² be the Schrödinger type operator, where V satisfies reverse Hölder inequality. In this paper, we establish the L ^p boundedness for V ² H ₂ ^?1 , H ₂ ^?1 V ², VH ₂ ^?1/2 and H ₂ ^?1 V ², and that of their commutators. We also prove that H ₂ ^?1 V ²,VH ₂ ^?1/2 are bounded from BMO _L to BMO _L .     

Multiple solutions for non-homogeneous degenerate Schrödinger equations in cone Sobolev spaces

The present paper deals with the study of semilinear and non-homogeneous Schrödinger equations on a manifold with conical singularity. We provide a suitable constant by Sobolev embedding constant and for p ∈ (2, 2?) with respect to non-homogeneous term g(x) ∈ L ₂ ^n/2 (B), which helps to find multiple solutions of our problem. More precisely, we prove the existence of two solutions to the problem 1.1 with negative and positive energy in cone Sobolev space H _2,0 ^1,n/2 (B). Finally, we consider p = 2 and we prove the existence and uniqueness of Fuchsian-Poisson problem.     

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.     

Renormalized coupling constants for the three-dimensional scalar <Emphasis Type="Italic">λ</Emphasis><Emphasis Type="Italic">ϕ</Emphasis><Superscript>4</Superscript> field theory and pseudo-<Emphasis Type="Italic">ε</Emphasis>-expansion

The renormalized coupling constants g _2k that enter the equation of state and determine nonlinear susceptibilities of the system have universal values g _2k ^* at the Curie point. We use the pseudo-ε-expansion approach to calculate them together with the ratios R _2k = g _2k /g ₄ ^k-1 for the three-dimensional scalar λ ? ⁴ field theory. We derive pseudo-ε-expansions for g ₆ ^* , g ₈ ^* , R ₆ ^* , and R ₈ ^* in the five-loop approximation and present numerical estimates for R ₆ ^* and R ₈ ^* . The higher-order coefficients of the pseudo-ε-expansions for g ₆ ^* and R ₆ ^* are so small that simple Padé approximants turn out to suffice for very good numerical results. Using them gives R ₆ ^* = 1.650, while the recent lattice calculation gave R ₆ ^* = 1.649(2). The pseudo-ε-expansions of g ₈ ^* and R ₈ ^* are less favorable from the numerical standpoint. Nevertheless, Padé–Borel summation of the series for R ₈ ^* gives the estimate R ₈ ^* = 0.890, differing only slightly from the values R ₈ ^* = 0.871 and R ₈ ^* = 0.857 extracted from the results of lattice and field theory calculations.     

Anisotropic Hardy-Lorentz spaces and their applications

Let p ∈(0, 1], q ∈(0, ∞] and A be a general expansive matrix on Rn. We introduce the anisotropic Hardy-Lorentz space H~(p,q)_A(R~n) associated with A via the non-tangential grand maximal function and then establish its various real-variable characterizations in terms of the atomic and the molecular decompositions, the radial and the non-tangential maximal functions, and the finite atomic decompositions. All these characterizations except the ∞-atomic characterization are new even for the classical isotropic Hardy-Lorentz spaces on Rn.As applications, we first prove that Hp,q A(Rn) is an intermediate space between H~(p1,q1)_A(Rn) and H~(p2,q2)_A(R~n) with 0 p1 p p2 ∞ and q1, q, q2 ∈(0, ∞], and also between H~(p,q1)_A(Rn) and H~(p,q2)_A(R~n) with p ∈(0, ∞)and 0 q1 q q2 ∞ in the real method of interpolation. We then establish a criterion on the boundedness of sublinear operators from H~(p,q)_A(R~n) into a quasi-Banach space; moreover, we obtain the boundedness of δ-type Calder′on-Zygmund operators from H~(p,∞)_A(R~n) to the weak Lebesgue space L~(p,∞)(R~n)(or to H~p_A(R~n)) in the ln λcritical case, from H~(p,q)_A(R~n) to L~(p,q)(R~n)(or to H~(p,q)_A(R~n)) with δ∈(0,(lnλ)/(ln b)], p ∈(1/(1+,δ),1] and q ∈(0, ∞], as well as the boundedness of some Calderon-Zygmund operators from H~(p,q)_A(R~n) to L~(p,∞)(R~n), where b := | det A|,λ_:= min{|λ| : λ∈σ(A)} and σ(A) denotes the set of all eigenvalues of A.