The embedding and approximation for classes of functions with a dominant mixed difference

We obtain a criterion for embedding the class SH _p ^Ω into that SB _q,? ^Ω* (1 < p ≤ q < ∞). We also determine the exact order of the best approximations of functions from classes SB _p,? ^Ω by trigonometric polynomials whose harmonics belong to sets generated by level surfaces of the majorant Λ (t).     

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.     

<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 .     

Isomorphisms,definable relations,and Scott families for integral domains and commutative semigroups

In the present article, we prove the following four assertions: (1) For every computable successor ordinal α, there exists a Δ _α ⁰ -categorical integral domain (commutative semigroup) which is not relatively Δ _α ⁰ -categorical (i.e., no formally Σ _α ⁰ Scott family exists for such a structure). (2) For every computable successor ordinal α, there exists an intrinsically Σ _α ⁰ -relation on the universe of a computable integral domain (commutative semigroup) which is not a relatively intrinsically Σ _α ⁰ -relation. (3) For every computable successor ordinal α and finite n, there exists an integral domain (commutative semigroup) whose Δ _α ⁰ -dimension is equal to n. (4) For every computable successor ordinal α, there exists an integral domain (commutative semigroup) with presentations only in the degrees of sets X such that Δ _α ⁰ (X) is not Δ _α ⁰ . In particular, for every finite n, there exists an integral domain (commutative semigroup) with presentations only in the degrees that are not n-low.     

Estimation of the algorithmic complexity of classes of computable models

We estimate the algorithmic complexity of the index set of some natural classes of computable models: finite computable models (Σ ₂ ⁰ -complete), computable models with ω-categorical theories (Δ _ω ⁰ -complex Π _ω+2 ⁰ -set), prime models (Δ _ω ⁰ -complex Π _ω+2 ⁰ -set), models with ω ₁-categorical theories (Δ _ω ⁰ -complex Σ _ω+1 ⁰ -set. We obtain a universal lower bound for the model-theoretic properties preserved by Marker’s extensions (Δ _ω ⁰ .     

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.     

To the theory of the Dirichlet and Neumann problems for strongly elliptic systems in Lipschitz domains

For strongly elliptic Systems with Douglis-Nirenberg structure, we investigate the regularity of variational solutions to the Dirichlet and Neumann problems in a bounded Lipschitz domain. The solutions of the problems with homogeneous boundary conditions are originally defined in the simplest L ₂-Sobolev spaces H ^σ . The regularity results are obtained in the potential spaces H _p ^σ and Besov spaces B _p ^σ . In the case of second-order Systems, the author’s results obtained a year ago are strengthened. The Dirichlet problem with nonhomogeneous boundary conditions is considered with the use of Whitney arrays.     

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.     

Estimates of some integral operators with bounded variable kernels on the hardy and weak hardy spaces over ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we first introduce \({L^{{\sigma _1}}}{\left( {\log L} \right)^{{\sigma _2}}}\) conditions satisfied by the variable kernels Ω(x, z) for 0 ≤ σ ₁ ≤ 1 and σ ₂ ≥ 0. Under these new smoothness conditions, we will prove the boundedness properties of singular integral operators T _Ω, fractional integrals T _Ω,α and parametric Marcinkiewicz integrals μ _Ω ^ρ with variable kernels on the Hardy spaces H ^p (R ⁿ ) and weak Hardy spaces WH ^p (R ⁿ ). Moreover, by using the interpolation arguments, we can get some corresponding results for the above integral operators with variable kernels on Hardy–Lorentz spaces H ^p,q(R ⁿ ) for all p < q < ∞.     

Estimation of the depth of reversible circuits consisting of NOT,CNOT and 2-CNOT gates

The paper discusses the asymptotic depth of a reversible circuits consisting of NOT, CNOT and 2-CNOT gates. The reversible circuit depth function D(n, q) is introduced for a circuit implementing a mapping f: Z₂ⁿ → Z₂ⁿ as a function of n and the number q of additional inputs. It is proved that for the case of implementation of a permutation from A(Z₂ⁿ) with a reversible circuit having no additional inputs the depth is bounded as D(n, 0) ? 2ⁿ/(3log₂n). It is also proved that for the case of transformation f: Z₂ⁿ → Z₂ⁿ with a reversible circuit having q₀ ~ 2ⁿ additional inputs the depth is bounded as D(n,q₀) ? 3n.     

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.     

Anisotropic weak Hardy spaces of Musielak-Orlicz type and their applications

Anisotropy is a common attribute of the nature, which shows different characterizations in different directions of all or part of the physical or chemical properties of an object. The anisotropic property, in mathematics, can be expressed by a fairly general discrete group of dilations {A ^k : k ∈ ?}, where A is a real n × n matrix with all its eigenvalues λ satisfy |λ| > 1. The aim of this article is to study a general class of anisotropic function spaces, some properties and applications of these spaces. Let φ: ? ⁿ ×[0,∞) → [0,∞) be an anisotropic p-growth function with p ∈ (0, 1]. The purpose of this article is to find an appropriate general space which includes weak Hardy space of Fefferman and Soria, weighted weak Hardy space of Quek and Yang, and anisotropic weak Hardy space of Ding and Lan. For this reason, we introduce the anisotropic weak Hardy space of Musielak-Orlicz type H _A ^φ,∞ (? ⁿ ) and obtain its atomic characterization. As applications, we further obtain an interpolation theorem adapted to H _A ^φ,∞ (? ⁿ ) and the boundedness of the anisotropic Calderón-Zygmund operator from H _A ^φ,∞ (? ⁿ ) to L _A ^φ,∞ (? ⁿ ). It is worth mentioning that the superposition principle adapted to the weak Musielak-Orlicz function space, which is an extension of a result of E. M. Stein, M. Taibleson and G. Weiss, plays an important role in the proofs of the atomic decomposition of H _A ^φ,∞ (? ⁿ ) and the interpolation theorem.     

On Dirichlet Type Spaces <Emphasis Type="Italic">A</Emphasis><Stack><Subscript><Emphasis Type="Italic">ω</Emphasis></Subscript><Superscript>2</Superscript></Stack> Over the Half–Plane

Some extensions of the results of the first author related with the Hilbert spaces A _ω,0 ² of functions holomorphic in the half–plane are proved. Some new Hilbert spaces A _ω ² of Dirichlet type are introduced, which are included in the Hardy space H2 over the half–plane. Several results on representations, boundary properties, isometry, interpolation, biorthogonal systems and bases are obtained for the spaces A _ω ² ? H₂.     

Index sets of decidable models

We study the index sets of the class of d-decidable structures and of the class of d-decidable countably categorical structures, where d is an arbitrary arithmetical Turing degree. It is proved that the first of them is m-complete ∑ ₃ ^{0, d} , and the second is m-complete ∑ ₃ ^{0, d} \∑ ₃ ^{0, d} in the universal computable numbering of computable structures for the language with one binary predicate.     

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 ² ).     

On the approximation of continuous functions of two variables

It is shown that if P _m ^α,β (x) (α, β > ?1, m = 0, 1, 2, …) are the classical Jaboci polynomials, then the system of polynomials of two variables {Ψ _mn ^α,β (x, y)} _m,n=0 ^r = {P _m ^α,β (x)P _n ^α,β (y)} _{m, n=0} ^r (r = m + n ≤ N ? 1) is an orthogonal system on the set Ω _N×N = ?ub;(x _i , y _i ) _i,j=0 ^N , where x _i and y _i are the zeros of the Jacobi polynomial P _n ^α,β (x). Given an arbitrary continuous function f(x, y) on the square [?1, 1]², we construct the discrete partial Fourier-Jacobi sums of the rectangular type S _{m, n, N} ^α,β (f; x, y) by the orthogonal system introduced above. We prove that the order of the Lebesgue constants ∥S _{m, n, N} ^α,β ∥ of the discrete sums S _{m, n, N} ^α,β (f; x, y) for ?1/2 < α, β < 1/2, m + n ≤ N ? 1 is O((mn) ^{q + 1/2}), where q = max?ub;α,β?ub;. As a consequence of this result, several approximate properties of the discrete sums S _{m, n, N} ^α,β (f; x, y) are considered.     

Matrix orthogonal polynomials associated with perturbations of block Toeplitz matrices

Let {c _j } _j=0 ⁿ be a sequence of matrix moments associated with a matrix of measures supported on the unit circle, and let {P _j } _j=0 ⁿ be its corresponding sequence of monic matrix orthogonal polynomials. In this contribution, we consider a perturbation on the moments and find an explicit relation for the perturbed orthogonal polynomials in terms of {P _j } _j=0 ⁿ . We also obtain an expression for the corresponding second kind polynomials.     

On Representation of a Solution to the Cauchy Problem by a Fourier Series in Sobolev-Orthogonal Polynomials Generated by Laguerre Polynomials

We consider the problem of representing a solution to the Cauchy problem for an ordinary differential equation as a Fourier series in polynomials l _r,k ^α (x) (k = 0, 1,...) that are Sobolev-orthonormal with respect to the inner product

$$\left\langle {f,g} \right\rangle = \sum\limits_{v = 0}^{r - 1} {{f^{(v)}}(0){g^{(v)}}} (0) + \int\limits_0^\infty {{f^{(r)}}(t)} {g^{(r)}}(t){t^\alpha }{e^{ - t}}dt$$

, and generated by the classical orthogonal Laguerre polynomials L _k ^α (x) (k = 0, 1,...). The polynomials l _r,k ^α (x) are represented as expressions containing the Laguerre polynomials L _n ^α?r (x). An explicit form of the polynomials l _r,k+r ^α (x) is established as an expansion in the powers x ^r+l , l = 0,..., k. These results can be used to study the asymptotic properties of the polynomials l _r,k ^α (x) as k→∞and the approximation properties of the partial sums of Fourier series in these polynomials.