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

Equiconvergence of expansions in multiple Fourier series and in fourier integrals with “lacunary sequences of partial sums”

We investigate the equiconvergence on T^N = [?π, π)^N of expansions in multiple trigonometric Fourier series and in the Fourier integrals of functions f ∈ L_p(T^N) and g ∈ L_p(R^N), p > 1, N ≥ 3, g(x) = f(x) on T^N, in the case where the “partial sums” of these expansions, i.e., S_n(x; f) and J_α(x; g), respectively, have “numbers” n ∈ Z^N and α ∈ R^N (n_j = [α_j], j = 1,..., N, [t] is the integral part of t ∈ R¹) containing N ? 1 components which are elements of “lacunary sequences.”     

Planar Graded Lattices and the <Emphasis Type="Bold">c</Emphasis><Subscript>1</Subscript>-Median Property

Let L be a lattice of finite length, ξ = (x ₁,…, x _k )∈L ^k , and y ∈ L. The remoteness r(y, ξ) of y from ξ is d(y, x ₁)+?+d(y, x _k ), where d stands for the minimum path length distance in the covering graph of L. Assume, in addition, that L is a graded planar lattice. We prove that whenever r(y, ξ) ≤ r(z, ξ) for all z ∈ L, then y ≤ x ₁∨?∨x _k . In other words, L satisfies the so-called c ₁ -median property.     

Equicontinuity of maps on a dendrite with finite branch points

Let(T, d) be a dendrite with finite branch points and f be a continuous map from T to T. Denote byω(x,f) and P(f) the ω-limit set of x under f and the set of periodic points of,respectively. Write Ω(x,f) = {y| there exist a sequence of points x_k E T and a sequence of positive integers n_1 n_2 … such that lim_(k→∞)x_k=x and lim_(k→∞)f~(n_k)(x_k) =y}. In this paper, we show that the following statements are equivalent:(1) f is equicontinuous.(2) ω(x, f) = Ω(x,f) for any x∈T.(3) ∩_(n=1)~∞f~n(T) = P(f),and ω(x,f)is a periodic orbit for every x ∈ T and map h : x→ω(x,f)(x ET)is continuous.(4) Ω(x,f) is a periodic orbit for any x∈T.     

Möbius bilipschitz homogeneous arcs on the plane

A möbius bilipschitz mapping is an η-quasimöbius mapping with the linear distortion function η(t) = Kt. We show that if an open Jordan arc γ ? C with distinct endpoints a and b is homogeneous with respect to the family F_K of möbius bilipschitz automorphisms of the sphere C with K specified then γ has bounded turning RT(γ) in the sense of Rickman and, consequently, γ is a quasiconformal image of a rectilinear segment. The homogeneity of γ with respect to F_K means that for all x, y ∈ γ {a, b} there exists f ∈ F_K with f(γ) = γ and f(x) = y. In order to estimate RT(γ) from above, we introduce the condition BR(δ) of bounded rotation of γ, and then the explicit bound depends only on K and δ.     

Hyperquasipolynomials for the Theta-Function

Let g be a linear combination with quasipolynomial coefficients of shifts of the Jacobi theta function and its derivatives in the argument. All entire functions f: ? → ? satisfying f(x+y)g(x?y) = α₁(x)β₁(y)+· · ·+α_r(x)β_r(y) for some r ∈ ? and α_j, β_j: ? → ? are described.     

Equations in finite fields with restricted solution sets. I (Character sums)

In earlier papers, for “large” (but otherwise unspecified) subsets A, B of Z _p and for h(x) ∈ Z _p [x], Gyarmati studied the solvability of the equations a + b = h(x), resp. ab = h(x) with a ∈ A, b ∈ B, x ∈ Z _p , and for large subsets A, B, C, D of Z _p Sárközy showed the solvability of the equations a + b = cd, resp. ab + 1 = cd with a ∈ A, b ∈ B, c ∈ C, d ∈ D. In this series of papers equations of this type will be studied in finite fields. In particular, in Part I of the series we will prove the necessary character sum estimates of independent interest some of which generalize earlier results.     

A mapping method in inverse Sturm-Liouville problems with singular potentials

In the space L ₂[0, π], the Sturm-Liouville operator L _D(y) = ?y″ + q(x)y with the Dirichlet boundary conditions y(0) = y(π) = 0 is analyzed. The potential q is assumed to be singular; namely, q = σ′, where σ ∈ L ₂[0, π], i.e., q ∈ W ₂ ^?1 [0, π]. The inverse problem of reconstructing the function σ from the spectrum of the operator L _D is solved in the subspace of odd real functions σ(π/2 ? x) = ?σ(π/2 + x). The existence and uniqueness of a solution to this inverse problem is proved. A method is proposed that allows one to solve this problem numerically.     

Verbal width in anabelian groups

The class A of anabelian groups is defined as the collection of finite groups without abelian composition factors. We prove that the commutator word [x₁, x₂] and the power word x₁^p have bounded width in A when p is an odd integer. By contrast, the word x³⁰ does not have bounded width in A. On the other hand, any given word w has bounded width for those groups G ∈ A whose composition factors are sufficiently large as a function of w. In the course of the proof we establish that sufficiently large almost simple groups cannot satisfy w as a coset identity.     

Annihilating and power-commuting generalized skew derivations on lie ideals in prime rings

Let R be a prime ring of characteristic different from 2 and 3, Q_r its right Martindale quotient ring, C its extended centroid, L a non-central Lie ideal of R and n ≥ 1 a fixed positive integer. Let α be an automorphism of the ring R. An additive map D: R → R is called an α-derivation (or a skew derivation) on R if D(xy) = D(x)y + α(x)D(y) for all x, y ∈ R. An additive mapping F: R → R is called a generalized α-derivation (or a generalized skew derivation) on R if there exists a skew derivation D on R such that F(xy) = F(x)y + α(x)D(y) for all x, y ∈ R.     

On nonabelian composition factors of a finite prime spectrum minimal group

Assume that G is a primitive permutation group on a finite set X, x ∈ X, y ∈ X \ {x}, and G _x,y \(\underline \triangleleft \) G _x . P. Cameron raised the question about the validity of the equality G _x,y = 1 in this case. The author proved earlier that, if soc(G) is not a direct power of an exceptional group of Lie type, then G _x,y = 1. In the present paper, we prove that, if soc(G) is a direct power of an exceptional group of Lie type distinct from E ₆(q), ² E ₆(q), E ₇(q), and E ₈(q), then G _x,y = 1.     

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.     

Existence of linear Pfaffian systems whose lower characteristic set has positive measure in <Emphasis Type="Italic">R</Emphasis><Superscript>3</Superscript>

We prove the existence of a completely integrable Pfaffian system ?x/?t i = A _i (t)x, x ∈ R ⁿ , t = (t ₁, t ₂, t ₃) ∈ R ₊ ³ , i = 1, 2, 3, with infinitely differentiable bounded coefficients and with lower characteristic set of positive three-dimensional Lebesgue measure.     

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

On the 1/3–2/3 Conjecture

Let (P, ≤) be a finite poset (partially ordered set), where P has cardinality n. Consider linear extensions of P as permutations x₁x₂?x_n in one-line notation. For distinct elements x, y ∈ P, we define ?(x ? y) to be the proportion of linear extensions of P in which x comes before y. For \(0\leq \alpha \leq \frac {1}{2}\), we say (x, y) is an α-balanced pair if α ≤ ?(x ? y) ≤?1 ? α. The 1/3–2/3 Conjecture states that every finite partially ordered set which is not a chain has a 1/3-balanced pair. We make progress on this conjecture by showing that it holds for certain families of posets. These include lattices such as the Boolean, set partition, and subspace lattices; partial orders that arise from a Young diagram; and some partial orders of dimension 2. We also consider various posets which satisfy the stronger condition of having a 1/2-balanced pair. For example, this happens when the poset has an automorphism with a cycle of length 2. Various questions for future research are posed.     

Nonlocal boundary value problem for an equation of the mixed type with two degeneration lines

For the equation

$$xu_{xx} + yu_{yy} + \alpha u_x + \beta u_y = 0,{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} < \alpha ,\beta < 1,$$

(1)

in the domain D bounded by a Jordan curve σ with endpoints A(1, 0) and B(0, 1) and the segment OB(x = 0, 0 ≤ y ≤ 1) for x > 0 and y > 0 and by the characteristics OC: x + y = 0 and √x + √?y = 1 of Eq. (1) for x > 0 and y < 0, we consider a nonlocal boundary value problem with data on the curve σ and the segment OB and with a boundary condition containing a generalized fraction integro-differentiation operator in the characteristic domain of Eq. (1) for x > 0 and y < 0.

We prove the existence of a regular solution of this problem for the case in which the “normal curve” x + y = 1 belongs to the elliptic part of the domain.     

Boundary control by an elastic force at one endpoint of the string in the presence of a model nonlocal boundary condition of one of four types,and its optimization

In the present paper, in terms of a generalized solution of the wave equation, we perform an exhaustive study of the problem on the boundary control by an elastic force u _x (0, t) = µ(t) at one endpoint x = 0 of a string in the presence of a model nonlocal boundary condition of one of four types relating (with the sign “+” or “?”) the values of the displacement u(x, t) or its derivative u _x (x, t) at the boundary point x = l of the string to their values at some interior point \(\mathop x\limits^ \circ \) of the string (0 < \(\mathop x\limits^ \circ \) < l). We prove necessary and sufficient conditions for the existence of such boundary controls. Under these conditions, we optimize the controls by minimizing the boundary energy integral and then write out the optimal boundary controls in closed analytic form.