Generalized Skew Derivations Cocentralizing Multilinear Polynomials

Let R be a prime ring of characteristic different from 2, Q _r be its right Martindale quotient ring and C be its extended centroid. Suppose that F, G are generalized skew derivations of R and \({f(x_1, \ldots, x_n)}\) is a non-central multilinear polynomial over C with n non-commuting variables. If F and G satisfy the following condition:

$$F(f(r_1,\ldots, r_n))f(r_1, \ldots,r_n)-f(r_1,\ldots,r_n)G(f(r_1,\ldots, r_n))\in C$$

for all \({r_1, \ldots, r_n \in R}\), then we describe all possible forms of F and G.

     

Commutators with idempotent values on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2, C its extended centroid, d a nonzero derivation of R, f(x ₁, . . . , x _n ) a multilinear polynomial over C, ρ a nonzero right ideal of R and m > 1 a fixed integer such that

$$\qquad \left ([d(f(r_{1},\ldots ,r_{n})),f(r_{1},\ldots ,r_{n})]\right )^{m}=[d(f(r_{1},\ldots ,r_{n})),f(r_{1},\ldots ,r_{n})] $$

for all r ₁, . . . , r _n ∈ρ. Then either [f(x ₁,…,x _n ),x _n+1]x _n+2 is an identity for ρ or d(ρ)ρ = 0.

     

A Quadratic Differential Identity with Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a prime ring of characteristic different from 2, with right Utumi quotient ring U and extended centroid C, and let ${f(x_1, \ldots, x_n)}$ be a multilinear polynomial over C, not central valued on R. Suppose that d is a derivation of R and G is a generalized derivation of R such that $$G(f(r_1, \ldots, r_n))d(f(r_1, \ldots, r_n)) + d(f(r_1, \ldots, r_n))G(f(r_1, \ldots, r_n)) = 0$$ for all ${r_1, \ldots, r_n \in R}$ . Then either d =  0 or G =  0, unless when d is an inner derivation of R, there exists ${\lambda \in C}$ such that G(x) =  λ x, for all ${x \in R}$ and ${f(x_1, \ldots, x_n)^2}$ is central valued on R.     

Derivations cocentralizing multilinear polynomials on left ideals

Let R be a prime ring with extended centroid C, λ a nonzero left ideal of R and f (X ₁, . . . , X _t ) a nonzero multilinear polynomial over C. Suppose that d and δ are derivations of R such that

$d(f(x_{1},\ldots,x_{t}))f(x_{1},\ldots,x_{t})-f(x_{1},\ldots,x_{t})\delta(f(x_{1},\ldots,x_{t}))\in C$

for all \({x_1,\ldots,x_t\in\lambda}\). Then either d = 0 and λ δ(λ) = 0 or λ C = RCe for some idempotent e in the socle of RC and one of the following holds:

1. (1)
   f (X₁, . . . , X _t ) is central-valued on eRCe;
    
2. (2)
   λ(d + δ)(λ) = 0 and f (X₁, . . . , X _t )² is central-valued on eRCe;
    
3. (3)
   char R = 2 and eRCe satisfies st ₄(X ₁, X ₂, X ₃, X ₄), the standard polynomial identity of degree 4.
    

     

Weighted polyharmonic equation with Navier boundary conditions in a half space

We study positive solutions of the following polyharmonic equation with Hardy weights associated to Navier boundary conditions on a half space:?????(-?)~mu(x)=u~p(x)/|x|~s,in R_+~n,u(x)=-?u(x)=…=(-?)~(m-1)u(x)=0,on ?R_+~n,(0.1)where m is any positive integer satisfying 02mn.We first prove that the positive solutions of(0.1)are super polyharmonic,i.e.,(-?)~iu0,i=0,1,...,m-1.(0.2) For α=2m,applying this important property,we establish the equivalence between (0.1) and the integral equation u(x)=c_n∫R_+~n(1/|x-y|~(n-α)-1/|x~*-y|~(n-α))u~p(y)/|y|~sdy,(0.3) where x~*=(x1,...,x_(n-1),-x_n) is the reflection of the point x about the plane R~(n-1).Then,we use the method of moving planes in integral forms to derive rotational symmetry and monotonicity for the positive solution of(0.3),in whichαcan be any real number between 0 and n.By some Pohozaev type identities in integral forms,we prove a Liouville type theorem—the non-existence of positive solutions for(0.1).     

Porous Medium Flow with Both a Fractional Potential Pressure and Fractional Time Derivative

The authors study a porous medium equation with a right-hand side. The operator has nonlocal diffusion effects given by an inverse fractional Laplacian operator.The derivative in time is also fractional and is of Caputo-type, which takes into account"memory". The precise model isD_t~αu- div(u(-Δ)~(-σ)u) = f, 0 σ 1/2.This paper poses the problem over {t ∈ R~+, x ∈ R~n} with nonnegative initial data u(0, x) ≥0 as well as the right-hand side f ≥ 0. The existence for weak solutions when f, u(0, x)have exponential decay at infinity is proved. The main result is H¨older continuity for such weak solutions.     

Solvability of convolution type integro-differential equations on ℝ

The paper looks for the solutions of integro-differential equations of the form

$ - \frac{{d\varphi }}{{dx}} + A\varphi (x) = g(x) + B\int_\mathbb{R} {k(x - t)\lambda (t)\varphi (t)dt, x \in \mathbb{R}} $

in the class of functions which are absolutely continuous and of slow growth on ?. It is assumed that A and B are nonnegative parameters, 0 ≤ g ∈ L ₁ (?), 0 ≤ k ∈ L ₁ (?), ∫_? k(x) dx = 1 and 0 ≤ λ(x) ≤ 1 is a measurable function in ?. The equation is solved by a special factorization of the corresponding integro-differential operator in combination with appropriately modified standard methods of the theory of convolution type integral equations.

     

Lefschetz coincidence class for several maps

The aim of this paper is to define a Lefschetz coincidence class for several maps. More specifically, for maps \({f_{1}, \ldots , f_{k} : X \rightarrow N}\) from a topological space X into a connected closed n-manifold (even nonorientable) N, a cohomological class

$$L(f_{1}, \ldots , f_{k}) \in H^{n(k-1)}(X; (f_{1}, \ldots , f_{k}) ^{\ast} (R \times \Gamma^{\ast}_{N} \times \ldots \times \Gamma^{\ast} _{N}))$$

is defined in such a way that \({L(f_{1}, \ldots , f_{k}) \neq 0}\) implies that the set of coincidences

$${\rm Coin}(f_{1}, \ldots , f_{k}) = \{x \in X\,|\,f_{1}(x) = \ldots = f_{k}(x)\}$$

is nonempty.

     

Some notes on embedding for anisotropic Sobolev spaces

In this paper, we prove new embedding theorems for generalized anisotropic Sobolev spaces, \(W_{{\Lambda ^{p,q}}(w)}^{{r_1}, \cdots ,{r_n}}\) and \(W_X^{{r_1}, \cdots ,{r_n}}\), where Λ ^p,q (w) is the weighted Lorentz space and X is a rearrangement invariant space in ? ⁿ . The main methods used in the paper are based on some estimates of nonincreasing rearrangements and the applications of B _p weights.     

Boundary value problems for complete quasi-parabolic differential equations of odd order with variable domains of operators

We prove the well-posed solvability in the strong sense of the boundary value Problems

$$\begin{gathered} ( - 1)\frac{{_m d^{2m + 1} u}}{{dt^{2m + 1} }} + \sum\limits_{k = 0}^{m - 1} {\frac{{d^{k + 1} }}{{dt^{k + 1} }}} A_{2k + 1} (t)\frac{{d^k u}}{{dt^k }} + \sum\limits_{k = 1}^m {\frac{{d^k }}{{dt^k }}} A_{2k} (t)\frac{{d^k u}}{{dt^k }} + \lambda _m A_0 (t)u = f, \hfill \\ t \in ]0,t[,\lambda _m \geqslant 1, \hfill \\ {{d^i u} \mathord{\left/ {\vphantom {{d^i u} {dt^i }}} \right. \kern-\nulldelimiterspace} {dt^i }}|_{t = 0} = {{d^j u} \mathord{\left/ {\vphantom {{d^j u} {dt^j }}} \right. \kern-\nulldelimiterspace} {dt^j }}|_{t = T} = 0,i = 0,...,m,j = 0,...,m - 1,m = 0,1,..., \hfill \\ \end{gathered} $$

where the unbounded operators A _s (t), s > 0, in a Hilbert space H have domains D(A _s (t)) depending on t, are subordinate to the powers A ^1?(s?1)/2m (t) of some self-adjoint operators A(t) ≥ 0 in H, are [(s+1)/2] times differentiable with respect to t, and satisfy some inequalities. In the space H, the maximally accretive operators A ₀(t) and the symmetric operators A _s (t), s > 0, are approximated by smooth maximally dissipative operators B(t) in such a way that

$$\begin{gathered} \mathop {lim}\limits_{\varepsilon \to 0} Re(A_0 (t)B_\varepsilon ^{ - 1} (t)(B_\varepsilon ^{ - 1} (t))^ * u,u)_H = Re(A_0 (t)u,u)_H \geqslant c(A(t)u,u)_H \hfill \\ \forall u \in D(A_0 (t)),c > 0, \hfill \\ \end{gathered} $$

, where the smoothing operators are defined by

$$B_\varepsilon ^{ - 1} (t) = (I - \varepsilon B(t))^{ - 1} ,(B_\varepsilon ^{ - 1} (t)) * = (I - \varepsilon B^ * (t))^{ - 1} ,\varepsilon > 0.$$

.

     

On the Periodic Logistic Map

In this paper, the famous logistic map is studied in a new point of view. We study the boundedness and the periodicity of non-autonomous logistic map

$${x_{n + 1}} = {r_n}{x_n}\left( {1 - {x_n}} \right),n = 0,1, \ldots ,$$

where {r _n } is a positive p-periodic sequence. The sufficient conditions are given to support the existence of asymptotically stable and unstable p-periodic orbits. This appears to be the first study of the map with variable parameter r.

     

Small-time sharp bounds for kernels of convolution semigroups

We study small-time bounds for transition densities of convolution semigroups corresponding to pure jump Lévy processes in R ^d , d ≥ 1, including the processes with jump measures which are exponentially and subexponentially localized at ∞. For a large class of Lévy measures, not necessarily symmetric or absolutely continuous with respect to Lebesgue measure, we find the optimal upper bound in both time and space for the corresponding heat kernels at ∞. In case of Lévy measures that are symmetric and absolutely continuous with densities g such that g(x) ? f(|x|) for non-increasing profile functions f, we also prove the full characterization of the sharp two-sided transition densities bounds of the form

$${p_t}\left( x \right) \asymp h{\left( t \right)^{ - d}} \cdot {1_{\left\{ {\left| x \right| \leqslant \theta h\left( t \right)} \right\}}} + tg\left( x \right) \cdot {1_{\left\{ {\left| x \right| \geqslant \theta h\left( t \right)} \right\}}},t \in \left( {0,{t_0}} \right),{t_0} > 0,x \in {\mathbb{R}^d}.$$

This is done for small and large x separately. Mainly, our argument is based on new precise upper bounds for convolutions of Lévy measures. Our investigations lead to a surprising dichotomy correspondence of the decay properties at ∞ for transition densities of pure jump Lévy processes. All results are obtained solely by analytic methods, without use of probabilistic arguments.

     

Boundedness and compactness of an integral operator in a mixed norm space on the polydisk

We study the following integral type operator

$T_g (f)(z) = \int\limits_0^{z_{} } { \cdots \int\limits_0^{z_n } {f(\zeta _1 , \ldots ,\zeta _n )} g(\zeta _1 , \ldots ,\zeta _n )d\zeta _1 , \ldots ,\zeta _n } $

in the space of analytic functions on the unit polydisk U ⁿ in the complex vector space ?ⁿ. We show that the operator is bounded in the mixed norm space

Open image in new window

, with p, q ∈ [1, ∞) and α = (α₁, …, α_n), such that α_j > ?1, for every j = 1, …, n, if and only if \(\sup _{z \in U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| < \infty \). Also, we prove that the operator is compact if and only if \(\lim _{z \to \partial U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| = 0\).

     

Divided differences for functions of two variables for irregularly spaced arguments

Divided differences forf (x, y) for completely irregular spacing of points (x _i ,y _i ) are developed here by a natural generalization of Newton's scheme. Existing bivariate schemes either iterate the one-dimensional scheme, thus constraining (x _i ,y _i ) to be at corners of rectangles, or give polynomials Σa _jk x ^j y ^k having more coefficients than interpolation conditions. Here the generalizedn ^th divided difference is defined by (1)\(\left[ {01... n} \right] = \sum\limits_{i = 0}^n {A_i f\left( {x_i , y_i } \right)} \) where (2)\(\sum\limits_{i = 0}^n {A_i x_i^j , y_i^k = 0} \), and 1 for the last or (n+1)^th equation, for every (j, k) wherej+k=0, 1, 2,... in the usual ascending order. The gen. div. diff. [01...n] is symmetric in (x _i ,y _i ), unchanged under translation, 0 forf (x, y) an, ascending binary polynomial as far asn terms, degree-lowering with respect to (X, Y) whenf(x, y) is any polynomialP(X+x, Y+y), and satisfies the 3-term recurrence relation (3) [01...n]=λ{[1...n]?[0...n?1]}, where (4) λ= |1...n|·|01...n?1|/|01...n|·|1...n?1|, the |...i...| denoting determinants inx _i ^j y _i ^k . The generalization of Newton's div. diff. formula is (5)

$$\begin{gathered} f\left( {x, y} \right) = f\left( {x_0 , y_0 } \right) - \frac{{\left| {\alpha 0} \right|}}{{\left| 0 \right|}}\left[ {01} \right] + \frac{{\left| {\alpha 01} \right|}}{{\left| {01} \right|}}\left[ {012} \right] - \frac{{\left| {\alpha 012} \right|}}{{\left| {012} \right|}}\left[ {0123} \right] + \cdots + \hfill \\ + \left( { - 1} \right)^n \frac{{\left| {\alpha 01 \ldots n - 1} \right|}}{{\left| {01 \ldots n - 1} \right|}}\left[ {01 \ldots n} \right] + \left( { - 1} \right)^{n + 1} \frac{{\left| {\alpha 01 \ldots n} \right|}}{{\left| {01 \ldots n} \right|}}\left[ {01 \ldots n} \right], \hfill \\ \end{gathered} $$     

Optimal adaptive sampling recovery

We propose an approach to study optimal methods of adaptive sampling recovery of functions by sets of a finite capacity which is measured by their cardinality or pseudo-dimension. Let W???L _q , 0?q?≤?∞?, be a class of functions on \({{\mathbb I}}^d:= [0,1]^d\). For B a subset in L _q , we define a sampling recovery method with the free choice of sample points and recovering functions from B as follows. For each f?∈?W we choose n sample points. This choice defines n sampled values. Based on these sampled values, we choose a function from B for recovering f. The choice of n sample points and a recovering function from B for each f?∈?W defines a sampling recovery method \(S_n^B\) by functions in B. An efficient sampling recovery method should be adaptive to f. Given a family \({\mathcal B}\) of subsets in L _q , we consider optimal methods of adaptive sampling recovery of functions in W by B from \({\mathcal B}\) in terms of the quantity

$ R_n(W, {\mathcal B})_q := \ \inf_{B \in {\mathcal B}}\, \sup_{f \in W} \, \inf_{S_n^B} \, \|f - S_n^B(f{\kern1pt})\|_q. $

Denote \(R_n(W, {\mathcal B})_q\) by e _n (W) _q if \({\mathcal B}\) is the family of all subsets B of L _q such that the cardinality of B does not exceed 2 ⁿ , and by r _n (W) _q if \({\mathcal B}\) is the family of all subsets B in L _q of pseudo-dimension at most n. Let 0?p,q , θ?≤?∞ and α satisfy one of the following conditions: (i) α?>?d/p; (ii) α?=?d/p, θ?≤?min (1,q), p,q?d-variable Besov class \(U^\alpha_{p,\theta}\) (defined as the unit ball of the Besov space \(B^\alpha_{p,\theta}\)), there is the following asymptotic order

$ e_n\big(U^\alpha_{p,\theta}\big)_q \ \asymp \ r_n\big(U^\alpha_{p,\theta}\big)_q \ \asymp \ n^{- \alpha / d} . $

To construct asymptotically optimal adaptive sampling recovery methods for \(e_n(U^\alpha_{p,\theta})_q\) and \(r_n(U^\alpha_{p,\theta})_q\) we use a quasi-interpolant wavelet representation of functions in Besov spaces associated with some equivalent discrete quasi-norm.

     

Diophantine inequality involving binary forms

Let d ? 3 be an integer, and set r = 2^d?1 + 1 for 3 ? d ? 4, \(\tfrac{{17}}{{32}} \cdot 2^d + 1\) for 5 ? d ? 6, r = d²+d+1 for 7 ? d ? 8, and r = d²+d+2 for d ? 9, respectively. Suppose that Φ _i (x, y) ∈ ?[x, y] (1 ? i ? r) are homogeneous and nondegenerate binary forms of degree d. Suppose further that λ₁, λ₂,..., λ _r are nonzero real numbers with λ₁/λ₂ irrational, and λ₁Φ₁(x₁, y₁) + λ₂Φ₂(x₂, y₂) + · · · + λ _r Φ _r (x _r , y _r ) is indefinite. Then for any given real η and σ with 0 < σ < 2^2?d, it is proved that the inequality

$$\left| {\sum\limits_{i = 1}^r {{\lambda _i}\Phi {}_i\left( {{x_i},{y_i}} \right) + \eta } } \right| < {\left( {\mathop {\max \left\{ {\left| {{x_i}} \right|,\left| {{y_i}} \right|} \right\}}\limits_{1 \leqslant i \leqslant r} } \right)^{ - \sigma }}$$

has infinitely many solutions in integers x₁, x₂,..., x _r , y₁, y₂,..., y _r . This result constitutes an improvement upon that of B. Q. Xue.

     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.     

A radial symmetry and Liouville theorem for systems involving fractional Laplacian

We investigate the nonnegative solutions of the system involving the fractional Laplacian:

$$\left\{ {\begin{array}{*{20}c} {\begin{array}{*{20}c} {( - \Delta )^\alpha u_i (x) = f_i (u),} & {x \in \mathbb{R}^n , i = 1,2, \ldots ,m,} \\ \end{array} } \\ {u(x) = (u_1 (x),u_2 (x), \ldots ,u_m (x)),} \\ \end{array} } \right.$$

where 0 < α < 1, n > 2, f _i (u), 1 ≤ i ≤ m, are real-valued nonnegative functions of homogeneous degree p _i ≥ 0 and nondecreasing with respect to the independent variables u ₁, u ₂,..., u _m . By the method of moving planes, we show that under the above conditions, all the positive solutions are radially symmetric and monotone decreasing about some point x ₀ if p _i = (n + 2α)/(n ? 2α) for each 1 ≤ i ≤ m; and the only nonnegative solution of this system is u ≡ 0 if 1 < p _i < (n + 2α)/(n ? 2α) for all 1 ≤ i ≤ m.

     

On the global attractivity of two nonlinear difference equations

The main objective of this paper is to study some qualitative behavior of the solutions of the two difference equations

$ {x_{n + 1}} = {{{a{x_n} - b{x_{n - k}}}} \left/ {{\left( {c{x_n} - d{x_{n - k}}} \right)}} \right.}\quad n = 0,\,1,\,2, \ldots, $

and

$ {x_{n + 1}} = {{{a{x_{n - k}} + b{x_n}}} \left/ {{\left( {c{x_n} - d{x_{n - k}}} \right)}} \right.}\quad n = 0,\,1,\,2, \ldots, $

where the initial conditions x???k, ?, x???1, x0 are arbitrary positive real numbers and the coefficients a, b, c, and d are positive constants, while k is a positive integer number.

     

On stochastic and quasistochastic methods for solving equations

A modification of the quasi-Monte Carlo method previously suggested by the authors is discussed. This modification is successfully applied to solve integral equations of the second kind thanks to a number of advantages over the quasi-Monte Carlo method. Thus, solving these equations by the quasi-Monte Carlo method requires estimating the sum of a series whose terms are integrals with infinitely increasing constructive dimension. As is known, this is one of the main factors hindering the application of the quasi-Monte Carlo method. Another difficulty is the dominated convergence condition, which ensures the absolute convergence of the series whose sum is to be estimated.The modification under consideration makes it possible to overcome the first difficulty and relax the dominated convergence condition.

Two families of estimates are suggested, which can be applied in the modified algorithm of the quasi-Monte Carlo method. The integral equation

$\phi (x) = \int {k(x,y)\phi (y)\mu (dy) + f(x)(\bmod \mu ),} $

is considered, where x ∈ D ? ? ^s and f and k are given functions defined on the supports of the measures μ and μ ? μ. The values of ? _n (x) = ∫k(x, y)?_{n - 1}(y)μ(dy) + f(x)are estimated step by step. The first group of estimates serves to evaluate ? _n at a fixed point x’:

$\xi _1 (x') = \frac{1}{N}\sum\limits_{j = 1}^N {\xi _1^n (y_j )} ,where\xi _1^n (y) = \frac{{k(x',y)\hat \phi _{n - 1} (y)}}{{p_{n - 1} (y)}} + f(x'),$

here, the y _j are distributed with density p _n?1 and \(\hat \phi _{n - 1} (y)\) is the estimate obtained at the preceding step. The other group of estimates makes it possible to evaluate ? _n at random points.

Optimal parameters of the estimates are found and the corresponding theorems are proved.The theory has been verified on the example of a difference analogue of the Navier-Stokes equation; experimental results are presented.