A new characterization of RBMO(<Emphasis Type="Italic">μ</Emphasis>) by John-Strömberg sharp maximal functions

Let μ be a nonnegative Radon measure on ? ^d which only satisfies μ (B(x, r)) ? C ₀ r ⁿ for all x ∈ ? ^d , r > 0, with some fixed constants C ₀ > 0 and n ∈ (0, d]. In this paper, a new characterization for the space RBMO(μ) of Tolsa in terms of the John-Strömberg sharp maximal function is established.     

On the traces of Sobolev functions on Lipschitz surfaces

Functions from the Sobolev spaces W _p ¹(Q) are considered on a unit cube Q ? R ⁿ , and the properties of their traces on Lipschitz surfaces are examined. The relation is found between the Hölder exponent α and the Hausdorff dimension of the family of poor k-dimensional planes Γ on which the traces do not belong to C ^α(Γ). For the corresponding families of poor k-dimensional Lipschitz surfaces, estimates in terms of p-modules are obtained.     

Ramsey numbers of cubes versus cliques

The cube graph Q _n is the skeleton of the n-dimensional cube. It is an n-regular graph on 2 ⁿ vertices. The Ramsey number r(Q _n ;K _s ) is the minimum N such that every graph of order N contains the cube graph Q _n or an independent set of order s. In 1983, Burr and Erd?s asked whether the simple lower bound r(Q _n ;K _s )≥(s?1)(2 ⁿ ?1)+1 is tight for s fixed and n sufficiently large. We make progress on this problem, obtaining the first upper bound which is within a constant factor of the lower bound.     

Functional Identities and Rings of Quotients

The fundamental theorem on functional identities states that a prime ring R with \(\deg (R)\ge d\) is a d-free subset of its maximal left ring of quotients Q _{m l} (R). We consider the question whether the same conclusion holds for symmetric rings of quotients. This indeed turns out to be the case for the maximal symmetric ring of quotients Q _{m s} (R), but not for the symmetric Martindale ring of quotients Q _s (R). We show, however, that if the maps from the basic functional identities have their ranges in R, then the maps from their standard solutions have their ranges in Q _s (R). We actually prove a more general theorem which implies both aforementioned results. Its proof is somewhat shorter and more compact than the standard proof used for establishing d-freeness in various situations.     

On the deficiency index of the vector-valued Sturm–Liouville operator

Let R₊:= [0, +∞), and let the matrix functions P, Q, and R of order n, n ∈ N, defined on the semiaxis R₊ be such that P(x) is a nondegenerate matrix, P(x) and Q(x) are Hermitian matrices for x ∈ R₊ and the elements of the matrix functions P^?1, Q, and R are measurable on R₊ and summable on each of its closed finite subintervals. We study the operators generated in the space L_n²(R₊) by formal expressions of the form l[f] = ?(P(f' ? Rf))' ? R*P(f' ? Rf) + Qf and, as a particular case, operators generated by expressions of the form l[f] = ?(P₀f')' + i((Q₀f)' + Q₀f') + P'₁f, where everywhere the derivatives are understood in the sense of distributions and P₀, Q₀, and P₁ are Hermitianmatrix functions of order n with Lebesgue measurable elements such that P₀^?1 exists and ∥P0∥, ∥P₀^?1∥, ∥P₀^?1∥∥P₁∥², ∥P₀^?1∥∥Q₀∥² ∈ L_loc¹(R₊). Themain goal in this paper is to study of the deficiency index of the minimal operator L₀ generated by expression l[f] in L_n²(R₊) in terms of the matrix functions P, Q, and R (P₀, Q₀, and P₁). The obtained results are applied to differential operators generated by expressions of the form \(l[f] = - f'' + \sum\limits_{k = 1}^{ + \infty } {{H_k}} \delta \left( {x - {x_k}} \right)f\), where x_k, k = 1, 2,..., is an increasing sequence of positive numbers, with lim_k→+∞x_k = +∞, H_k is a number Hermitian matrix of order n, and δ(x) is the Dirac δ-function.     

On homogenization for non-self-adjoint locally periodic elliptic operators

In this note we consider the homogenization problem for a matrix locally periodic elliptic operator on R ^d of the form A ^ε = ?divA(x, x/ε)?. The function A is assumed to be Hölder continuous with exponent s ∈ [0, 1] in the “slow” variable and bounded in the “fast” variable. We construct approximations for (A ^ε ? μ)^?1, including one with a corrector, and for (?Δ) ^s/2(A ^ε ? μ)^?1 in the operator norm on L ₂(R ^d ) ⁿ . For s ≠ 0, we also give estimates of the rates of approximation.     

A Remark on the Boundedness of Calderón–Zygmund Operators in Nony–homogeneous Spaces

Let μ be a Radon measure on Rd which may be non–doubling. The only condition satisfied by μ is that μ(B(x, r)) ≤ Cr ⁿ for all x ∈ ? ^d , r > 0 and some fixed 0 < n ≤ d. In this paper, the authors prove that the boundedness from H ¹(μ) into L ¹,^∞(μ) of a singular integral operator T with Calderón–Zygmund kernel of Hörmander type implies its L ²(μ)–boundedness.     

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces L_p(R^d) (in the case p > 1), but (in the case when 1/p(·) is log-Hölder continuous and p- = inf{p(x): x ∈ R^d > 1) on the variable Lebesgue spaces L_p(·)(R^d), too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type (1, 1). In the present note we generalize Besicovitch’s covering theorem for the so-called γ-rectangles. We introduce a general maximal operator M_s^γδ, and with the help of generalized Φ-functions, the strong- and weak-type inequalities will be proved for this maximal operator. Namely, if the exponent function 1/p(·) is log-Hölder continuous and p- ≥ s, where 1 ≤ s ≤ ∞ is arbitrary (or p- ≥ s), then the maximal operator M_s^γδ is bounded on the space L_p(·)(R^d) (or the maximal operator is of weak-type (p(·), p(·))).     

On boundary value problems for systems of nonlinear generalized ordinary differential equations

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem dx = dA(t) · f(t, x), h(x) = 0 is established, where f: [a, b]×R ⁿ → R ⁿ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function A: [a, b] → R ^n×n with bounded total variation components, and h: BV_s([a, b],R ⁿ ) → R ⁿ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition x(t₁(x)) = B(x) · x(t ₂(x))+c ₀, where t _i: BV_s([a, b],R ⁿ ) → [a, b] (i = 1, 2) and B: BV_s([a, b], R ⁿ ) → R ⁿ are continuous operators, and c ₀ ∈ R ⁿ .     

Optimal cubature formulas for calculation of multidimensional integrals in weighted Sobolev spaces

Optimal cubature formulas are constructed for calculations of multidimensional integrals in weighted Sobolev spaces. We consider some classes of functions defined in the cube Ω = [-1, 1]^l, l = 1, 2,..., and having bounded partial derivatives up to the order r in Ω and the derivatives of jth order (r < j ≤ s) whose modulus tends to infinity as power functions of the form (d(x, Г))^-(j-r), where x ∈ Ω Г, x = (x₁,..., x_l), Г = ?Ω, and d(x, Г) is the distance from x to Г.     

Homogenization of hyperbolic equations

We consider a self-adjoint matrix elliptic operator A _{ε, ε} > 0, on L ₂(R ^d ;C ⁿ ) given by the differential expression b(D)*g(x/ε)b(D). The matrix-valued function g(x) is bounded, positive definite, and periodic with respect to some lattice; b(D) is an (m × n)-matrix first order differential operator such that m ≥ n and the symbol b(ξ) has maximal rank. We study the operator cosine cos(τA _ε ^1/2 ), where τ ∈ R. It is shown that, as ε → 0, the operator cos(τA _ε ^1/2 ) converges to cos(τ(A ⁰)^1/2) in the norm of operators acting from the Sobolev space H ^s (R ^d ;C ⁿ ) (with a suitable s) to L ₂(R ^d ;C ⁿ ). Here A ₀ is the effective operator with constant coefficients. Sharp-order error estimates are obtained. The question about the sharpness of the result with respect to the type of the operator norm is studied. Similar results are obtained for more general operators. The results are applied to study the behavior of the solution of the Cauchy problem for the hyperbolic equation ? _τ ² u _ε (x, τ) = ?A _ε u _ε (x, τ).     

Asymptotic Properties of Orthogonal Polynomials with Respect to a Non-discrete Jacobi-Sobolev Inner Product

Let {Q _n ^(α,β) (x)} _n=0 ^∞ denote the sequence of polynomials orthogonal with respect to the non-discrete Sobolev inner product

$\langle f,g\rangle=\int_{-1}^{1}f(x)g(x)d\mu_{\alpha,\beta}(x)+\lambda\int_{-1}^{1}f'(x)g'(x)d\nu_{\alpha,\beta}(x)$

where λ>0 and d μ _α,β(x)=(x?a)(1?x)^α?1(1+x)^β?1 dx, d ν _α,β(x)=(1?x) ^α (1+x) ^β dx with aα,β>0. Their inner strong asymptotics on (?1,1), a Mehler-Heine type formula as well as some estimates of the Sobolev norms of Q _n ^(α,β) are obtained.

     

Certain decompositions of matrices over Abelian rings

A ring R is (weakly) nil clean provided that every element in R is the sum of a (weak) idempotent and a nilpotent. We characterize nil and weakly nil matrix rings over abelian rings. Let R be abelian, and let n ∈ ?. We prove that M ⁿ (R) is nil clean if and only if R/J(R) is Boolean and M _n (J(R)) is nil. Furthermore, we prove that R is weakly nil clean if and only if R is periodic; R/J(R) is ?₃, B or ?₃ ⊕ B where B is a Boolean ring, and that M _n (R) is weakly nil clean if and only if M _n (R) is nil clean for all n ≥ 2.     

Vanishing power values of commutators with derivations

Let R be a prime ring of char R ≠ 2, let d be a nonzero derivation of R, and let ρ be a nonzero right ideal of R such that [[d(x)x ⁿ , d(y)] _m , [y, x] _s ] ^t = 0 for all x, y ? ρ, where n ≥ 1, m ≥ 0, s ≥ 0, and t ≥ 1 are fixed integers. If [ρ, ρ]ρ ≠ 0 then d(ρ)ρ = 0.     

Finite time extinction of super-Brownian motions with deterministic catalyst

In this paper we consider a super-Brownian motion X with branching mechanism k(x)zα, where k(x) > 0 is a bounded Holder continuous function on Rd and infx∈Rd k(x) = 0. We prove that if k(x) ≥ //x// -l(0 ≤l < ∞) for sufficiently large x, then X has compact support property, and for dimension d = 1, if k(x) ≥exp(-l‖x‖)(0≤l < ∞) for sufficiently large x, then X also has compact support property. The maximal order of k(x) for finite time extinction is different between d = 1, d = 2 and d ≥ 3: it is O(‖x‖-(α+1)) in one dimension, O(‖x‖-2(log‖x‖)-(α+1) ) in two dimensions, and O(‖x‖2) in higher dimensions. These growth orders also turn out to be the maximum order for the nonexistence of a positive solution for 1/2Δu =k(x)uα.     

Strong capacity-estimates for “fractional” norms

It is proved that for all fractionall the integral \(\int\limits_0^\infty {(p,\ell ) - cap(M_t )} dt^p\) is majorized by the P-th power norm of the functionu in the space ? _p ^l (Rⁿ) (here M_t={x∶¦u(x)¦?t} and (p,l)-cap(e) is the (p,l)-capacity of the compactum e?Rⁿ). Similar results are obtained for the spaces W _p ^l (Rⁿ) and the spaces of M. Riesz and Bessel potentials. One considers consequences regarding imbedding theorems of “fractional” spaces in ?_q(dμ), whereμ is a nonnegative measure in Rⁿ. One considers specially the case p=1.     

Distance domination of generalized de Bruijn and Kautz digraphs

Let G = (V,A) be a digraph and k ≥ 1 an integer. For u, v ∈ V, we say that the vertex u distance k-dominate v if the distance from u to v at most k. A set D of vertices in G is a distance k-dominating set if each vertex of V D is distance k-dominated by some vertex of D. The distance k-domination number of G, denoted by γ _k (G), is the minimum cardinality of a distance k-dominating set of G. Generalized de Bruijn digraphs G _B (n, d) and generalized Kautz digraphs G _K (n, d) are good candidates for interconnection networks. Denote Δ _k := (∑ _j=0 ^k d ^j )^?1. F. Tian and J. Xu showed that ?nΔ _k ? γ _k (G _B (n, d)) ≤?n/d ^k? and ?nΔ _k ? ≤ γ _k (G _K (n, d)) ≤ ?n/d ^k ?. In this paper, we prove that every generalized de Bruijn digraph G _B (n, d) has the distance k-domination number ?nΔ _k ? or ?nΔ _k ?+1, and the distance k-domination number of every generalized Kautz digraph G _K (n, d) bounded above by ?n/(d ^k?1+d ^k )?. Additionally, we present various sufficient conditions for γ _k (G _B (n, d)) = ?nΔ _k ? and γ _k (G _K (n, d)) = ?nΔ _k ?.     

Homogenization of Schrödinger-type equations

We consider a self-adjoint elliptic operator A_ε, ε> 0, on L₂(R^d; Cⁿ) given by the differential expression b(D)*g(x/ε)b(D). Here \(b(D) = \sum\nolimits_{j = 1}^d {b_j D_j }\) is a first-order matrix differential operator such that the symbol b(ξ) has maximal rank. The matrix-valued function g(x) is bounded, positive definite, and periodic with respect to some lattice. We study the operator exponential \({e^{ - i\tau {A_\varepsilon }}}\), where τ ∈ R. It is shown that, as ε → 0, the operator \({e^{ - i\tau {A_\varepsilon }}}\) converges to \({e^{ - i\tau {A^0}}}\) in the norm of operators acting from the Sobolev space H^s(R^d;Cⁿ) (with suitable s) to L₂(R^d;Cⁿ). Here A⁰ is the effective operator with constant coefficients. Order-sharp error estimates are obtained. The question about the sharpness of the result with respect to the type of the operator norm is studied. Similar results are obtained for more general operators. The results are applied to study the behavior of the solution of the Cauchy problem for the Schrödinger-type equation i?_τu_ε(x, τ) = A_εu_ε(x, τ).     

Operator algebras associated with multiplicative convolutions of arithmetic functions

The action of N on l~2(N) is studied in association with the multiplicative structure of N. Then the maximal ideal space of the Banach algebra generated by N is homeomorphic to the product of closed unit disks indexed by primes, which reflects the fundamental theorem of arithmetic. The C*-algebra generated by N does not contain any non-zero projection of finite rank. This assertion is equivalent to the existence of infinitely many primes. The von Neumann algebra generated by N is B(l~2(N)), the set of all bounded operators on l~2(N).Moreover, the differential operator on l~2(N,1/n(n+1)) defined by ▽f = μ * f is considered, where μ is the Mbius function. It is shown that the spectrum σ(▽) contains the closure of {ζ(s)-1: Re(s) 1}. Interesting problems concerning are discussed.     

Homogenization of the Dirichlet problem for elliptic and parabolic systems with periodic coefficients

Let O ? R ^d be a bounded domain of class C ^1,1. Let 0 < ε - 1. In L ₂(O;C ⁿ ) we consider a positive definite strongly elliptic second-order operator B _D,ε with Dirichlet boundary condition. Its coefficients are periodic and depend on x/ε. The principal part of the operator is given in factorized form, and the operator has lower order terms. We study the behavior of the generalized resolvent (B _D,ε ? ζQ ₀(·/ε))^?1 as ε → 0. Here the matrix-valued function Q ₀ is periodic, bounded, and positive definite; ζ is a complex-valued parameter. We find approximations of the generalized resolvent in the L ₂(O;C ⁿ )-operator norm and in the norm of operators acting from L ₂(O;C ⁿ ) to the Sobolev space H ¹(O;C ⁿ ) with two-parameter error estimates (depending on ε and ζ). Approximations of the generalized resolvent are applied to the homogenization of the solution of the first initial-boundary value problem for the parabolic equation Q ₀(x/ε)? _t v _ε (x, t) = ?(B _D,ε v _ε )(x, t).