A note on maximum-type functions

The paper studies the differential properties of functions of the form

$g(x) = \mathop {\max }\limits_{y \in Y} f(x,y),$

where x ∈ X (X is an open convex set from ? ^m ) and y ∈ Y (Y is a compact from ? ⁿ ). Apart from the conventional smoothness conditions imposed on f(x, y), the condition of the concavity of g(x) on X is also imposed.

The differentiability of function g(x) on X is proved.The results of the study facilitate the derivation of the conditions ensuring the sufficiency of Pontryagin’s maximum principle.     

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.     

The Real Powers of the Convolution of a Gamma Distribution and a Bernoulli Distribution

In this paper, we essentially compute the set of x,y>0 such that the mapping \(z\longmapsto(1-r+re^{z})^{x}(\frac{\lambda}{\lambda-z})^{y}\) is a Laplace transform. If X and Y are two independent random variables which have respectively Bernoulli and Gamma distributions, we denote by μ the distribution of X+Y. The above problem is equivalent to finding the set of x>0 such that μ ^*x exists.     

Closable Multipliers

Let (X, μ) and (Y, ν) be standard measure spaces. A function \({\varphi\in L^\infty(X\times Y,\mu\times\nu)}\) is called a (measurable) Schur multiplier if the map S _φ , defined on the space of Hilbert-Schmidt operators from L ₂(X, μ) to L ₂(Y, ν) by multiplying their integral kernels by φ, is bounded in the operator norm. The paper studies measurable functions φ for which S _φ is closable in the norm topology or in the weak* topology. We obtain a characterisation of w*-closable multipliers and relate the question about norm closability to the theory of operator synthesis. We also study multipliers of two special types: if φ is of Toeplitz type, that is, if φ(x, y) = f(x ? y), \({x,y\in G}\), where G is a locally compact abelian group, then the closability of φ is related to the local inclusion of f in the Fourier algebra A(G) of G. If φ is a divided difference, that is, a function of the form (f(x) ? f(y))/(x ? y), then its closability is related to the “operator smoothness” of the function f. A number of examples of non-closable, norm closable and w*-closable multipliers are presented.     

Uniform,on the entire axis,convergence of the spectral expansion for Schrödinger operator with a potential-distribution

A uniform, on ?, estimate for the increment of the spectral function θ(λ; x, y) at x = y is proved for the self-adjoint Schrödinger operator A defined on the entire axis ? by the differential operation (?d/dx)² + q(x) with a potential-distribution q(x) that uniformly locally belongs to the space W ₂ ^?1. As a consequence, it is shown that for any function f(x) from the domain of power Aα of the operator with α > 1/4, the spectral expansion of the function that corresponds to the operator A is convergent absolutely and uniformly on the entire axis ?.     

An integral geometry lemma and its applications: The nonlocality of the Pavlov equation and a tomographic problem with opaque parabolic objects

Written in the evolutionary form, the multidimensional integrable dispersionless equations, exactly like the soliton equations in 2+1 dimensions, become nonlocal. In particular, the Pavlov equation is brought to the form v_t = v_xv_y - ?_x^-1?_y[v_y + v_x²], where the formal integral ?_x^?1 becomes the asymmetric integral \( - \int_x^\infty {dx'} \). We show that this result could be guessed using an apparently new integral geometry lemma. It states that the integral of a sufficiently general smooth function f(X, Y) over a parabola in the plane (X, Y) can be expressed in terms of the integrals of f(X, Y) over straight lines not intersecting the parabola. We expect that this result can have applications in two-dimensional linear tomography problems with an opaque parabolic obstacle.     

A Riemann-Hilbert Approach to the Chen-Lee-Liu Equation on the Half Line

In this paper, the Fokas unified method is used to analyze the initial-boundary value for the Chen- Lee-Liu equation

$i{\partial _t}u + {\partial_{xx}u - i |u{|^2}{\partial _x}u = 0}$

on the half line (?∞, 0] with decaying initial value. Assuming that the solution u(x, t) exists, we show that it can be represented in terms of the solution of a matrix Riemann-Hilbert problem formulated in the plane of the complex spectral parameter λ. The jump matrix has explicit (x, t) dependence and is given in terms of the spectral functions {a(λ), b(λ)} and {A(λ), B(λ)}, which are obtained from the initial data u₀(x) = u(x, 0) and the boundary data g₀(t) = u(0, t), g₁(t) = u_x(0, t), respectively. The spectral functions are not independent, but satisfy a so-called global relation.

     

New characterization of <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) by its noncommuting graph

Let G be a nonabelian group, and associate the noncommuting graph ?(G) with G as follows: the vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. Let S ₄(q) be the projective symplectic simple group, where q is a prime power. We prove that if G is a group with ?(G) ? ?(S ₄(q)) then G ? S ₄(q).     

Functional equations and Weierstrass sigma-functions

It is proved that if an entire function f: ? → ? satisfies an equation of the form α ₁(x)β ₁(y) + α ₂(x)β ₂(y) + α ₃(x)β ₃(y), x,y ∈ C, for some α _j , β _j : ? → ? and there exist no \({\widetilde \alpha _j}\) and ?\({\widetilde \beta _j}\) for which \(f\left( {x + y} \right)f\left( {x - y} \right) = {\overline \alpha _1}\left( x \right){\widetilde \beta _1}\left( y \right) + {\overline \alpha _2}\left( x \right){\widetilde \beta _2}\left( y \right)\), then f(z) = exp(Az ² + Bz + C) ? σ _Γ(z - z ₁) ? σ _Γ(z - z ₂), where Γ is a lattice in ?; σ _Γ is the Weierstrass sigma-function associated with Γ; A,B,C, z ₁, z ₂ ∈ ?; and \({z_1} - {z_2} \notin \left( {\frac{1}{2}\Gamma } \right)\backslash \Gamma \).     

Green’s relations and regularity for semigroups of transformations that preserve reverse direction equivalence

Let T _X denote the full transformation semigroup on a set X. For an equivalence E on X, let

$T_{\exists}(X)=\{\alpha\in T_X:\forall x,y\in X,(x\alpha,y\alpha)\in E\Rightarrow(x,y)\in E\}.$

Then T _?(X) is exactly the semigroup of mappings on the topological space X for which the collection of all E-classes is a basis. In this paper, we discuss regularity of elements and Green’s relations for T _?(X).

     

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.     

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.     

Hyperbolas over two-dimensional Fibonacci quasilattices

For the number n _s (α, β; X) of points (x ₁ , x ₂) in the two-dimensional Fibonacci quasilattices \( \mathcal{F}_m^2 \) of level m?=?0, 1, 2,… lying on the hyperbola x ₁ ² ? ??αx ₂ ² ?=?β and such that 0?≤?x ₁? ≤?X, x ₂? ≥?0, the asymptotic formula

$ {n_s}\left( {\alpha, \beta; X} \right)\sim {c_s}\left( {\alpha, \beta } \right)\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty $

is established, and the coefficient c _s (α, β) is calculated exactly. Using this, we obtain the following result. Let F _m be the Fibonacci numbers, A _i ∈ \( \mathbb{N} \), i?=?1, 2, and let \( \overleftarrow {{A_i}} \) be the shift of A _i in the Fibonacci numeral system. Then the number n _s (X) of all solutions (A ₁ , A ₂) of the Diophantine system

$ \left\{ {\begin{array}{*{20}{c}} {A_1^2 + \overleftarrow {A_1^2} - 2{A_2}{{\overleftarrow A }_2} + \overleftarrow {A_2^2} = {F_{2s}},} \\ {\overleftarrow {A_1^2} - 2{A_1}{{\overleftarrow A }_1} + A_2^2 - 2{A_2}{{\overleftarrow A }_2} + 2\overleftarrow {A_2^2} = {F_{2s - 1}},} \\ \end{array} } \right. $

0?≤?A ₁? ≤?X, A ₂? ≥?0, satisfies the asymptotic formula

$ {n_s}(X)\sim \frac{{{c_s}}}{{{\text{ar}}\cosh \left( {{{1} \left/ {\tau } \right.}} \right)}}\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty . $

Here τ?=?(?1?+?√5)/2 is the golden ratio, and c _s ?=?1/2 or 1 for s?=?0 or s?≥?1, respectively.

     

Heat Kernels for Isotropic-Like Markov Generators on Ultrametric Spaces: a Survey

Let (X, d) be a locally compact separable ultrametric space. Let D be the set of all locally constant functions having compact support. Given a measure m and a symmetric function J(x, y) we consider the linear operator L^Jf(x) = ∫(f(x) ? f(y)) J(x, y)dm(y) defined on the set D. When J(x, y) is isotropic and satisfies certain conditions, the operator (?L^J, D) acts in L²(X,m), is essentially self-adjoint and extends as a self-adjoint Markov generator, its Markov semigroup admits a continuous heat kernel p^J (t, x, y). When J(x, y) is not isotropic but uniformly in x, y is comparable to isotropic function J(x, y) as above the operator (?L^J, D) extends in L²(X,m) as a self-adjointMarkov generator, its Markov semigroup admits a continuous heat kernel p^J(t, x, y), and the function p^J(t, x, y) is uniformly comparable in t, x, y to the function p^J(t, x, y), the heat kernel related to the operator (?L^J,D).     

Stability of basic sequences via nonlinear <Emphasis Type="Italic">ε</Emphasis>-isometries

In this paper, Let X, Y be two real Banach spaces and ε ≥ 0. A mapping f: X → Y is said to be a standard ε-isometry provided f(0) = 0 and

$$\parallel f\left( x \right) - f\left( y \right)\parallel - \parallel x - y\parallel | \leqslant \varepsilon $$

(1)

for all x, y ∈ X. If ε = 0, then it is simply called a standard isometry. We prove a sufficient and necessary condition for which {f(x_n)}n≥1 is a basic sequence of Y equivalent to {x_n}n≥1 whenever {x_n}n≥1 is a basic sequence in X and f: X → Y is a nonlinear standard isometry. As a corollary we obtain the stability of basic sequences under the perturbation by nonlinear and non-surjective standard ε-isometries.

     

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.

     

Deviation of elements of a Banach space from a system of subspaces

We prove that if X is a real Banach space, Y ₁ ? Y ₂ ? ... is a sequence of strictly embedded closed linear subspaces of X, and d ₁ ≥ d ₂ ≥ ... is a nonincreasing sequence converging to zero, then there exists an element x ∈ X such that the distance ρ(x, Y _n ) from x to Y _n satisfies the inequalities d _n ≤ ρ(x, Y _n ) ≤ 8d _n for n = 1, 2, ....     

Asymptotic behavior on (−∞, 0) of the spectral measures of a family of singular Sturm-Liouville operators

We find the asymptotics as λ/? → ?∞ of the density of the spectral measure of the Sturm-Liouville operator in L ²(0,+∞) generated by the expression ?y″ + ?q(x)y, ? > 0, with the boundary condition y(0) cos α+y′(0) sinα = 0. The potential q(x) tends to ?∞ as x → +∞ and is assumed to satisfy the Sears condition and some additional regularity conditions.     

Obstructions to the uniform stability of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup

Let T _t : X → X be a C ₀-semigroup with generator A. We prove that if the abscissa of uniform boundedness of the resolvent s ₀(A) is greater than zero then for each nondecreasing function h(s): ?₊ → R ₊ there are x′ ∈ X′ and x ∈ X satisfying ∫ ₀ ^∞ h(|〈x′, T _x x〉|)dt = ∞. If i? ∩ Sp(A) ≠ Ø then such x may be taken in D(A ^∞).