On the rank of odd hyper-quasi-polynomials

Given any nonzero entire function g: ? → ?, the complex linear space F(g) consists of all entire functions f decomposable as f(z + w)g(z - w)=φ₁(z)ψ₁(w)+???+ φ_n(z)ψ_n(w) for some φ₁, ψ₁, …, φ_n, ψ_n: ? → ?. The rank of f with respect to g is defined as the minimum integer n for which such a decomposition is possible. It is proved that if g is an odd function, then the rank any function in F(g) is even.     

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.     

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.     

Solution of Functional Equations Related to Elliptic Functions

Functional equations of the form f(x + y)g(x ? y) = Σ _j=1 ⁿ α _j (x)β _j (y) as well as of the form f₁(x + z)f₂(y + z)f₃(x + y ? z) = Σ _j=1 ^m φ _j (x, y)ψ _j (z) are solved for unknown entire functions f, g,α _j , β _j : ? → ? and f₁, f₂, f₃, ψ _j : ? → ?, φ _j : ?² → ? in the cases of n = 3 and m = 4.     

Holomorphic maps preserving parts of the local spectrum

Let x ₀ be a nonzero vector in \({\mathbb{C}^{n}}\) , and let \({U\subseteq \mathcal{M}_{n}}\) be a domain containing the zero matrix. We prove that if φ is a holomorphic map from U into \({\mathcal{M}_{n}}\) such that the local spectrum of T ∈ U at x ₀ and the local spectrum of φ(T) at x ₀ have always a common value, then T and φ(T) have always the same spectrum, and they have the same local spectrum at x ₀ a.e. with respect to the Lebesgue measure on U. If \({\varphi \colon U\rightarrow \mathcal{M}_{n}}\) is holomorphic with φ(0) = 0 such that the local spectral radius of T at x ₀ equals the local spectral radius of φ(T) at x ₀ for all T ∈ U, there exists \({\xi \in \mathbb{C}}\) of modulus one such that ξT and φ(T) have the same spectrum for all T in U. We also prove that if for all T ∈ U the local spectral radius of φ(T) coincides with the local spectral radius of T at each vector x, there exists \({\xi \in \mathbb{C}}\) of modulus one such that φ(T) = ξT on U.     

Integral averaging technique for oscillation of damped half-linear oscillators

This paper is concerned with the oscillatory behavior of the damped half-linear oscillator (a(t)?_p(x′))′ + b(t)?_p(x′) + c(t)?_p(x) = 0, where ?p(x) = |x|^p?1 sgn x for x ∈ ? and p > 1. A sufficient condition is established for oscillation of all nontrivial solutions of the damped half-linear oscillator under the integral averaging conditions. The main result can be given by using a generalized Young’s inequality and the Riccati type technique. Some examples are included to illustrate the result. Especially, an example which asserts that all nontrivial solutions are oscillatory if and only if p ≠ 2 is presented.     

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

The Exact Value of Normal Structure Coefficients and WCS coefficients in a Class of Orlicz Function Spaces

Let φ be an N-function. Then the normal structure coefficients N and the weakly convergent sequence coefficients WCS of the Orlicz function spaces L ^φ[0, 1] generated by φ and equipped with the Luxemburg and Orlicz norms have the following exact values. (i) If F _φ(t) = t _?(t)/φ(t) is decreasing and 1 < C _φ < 2 (where \(C_\Phi = \lim _{t \to + \infty } t\varphi (t)/\Phi (t)\)), then N(L ^(φ)[0, 1]) = N(L ^φ[0, 1]) = WCS(L ^(φ)[0, 1]) = WCS(L ^φ[0, 1]) = 2^1?1/Cφ. (ii) If F _φ(t) is increasing and C _φ > 2, then N(L ^(φ)[0, 1]) = N(L ^φ[0, 1]) = WCS(L ^(φ)[0, 1]) = WCS(L ^φ[0, 1]) = 2^1/Cφ.     

On the convergence of the formal Fourier solution of the wave equation with a summable potential

The convergence of the formal Fourier solution to a mixed problem for the wave equation with a summable potential is analyzed under weaker assumptions imposed on the initial position u(x, 0) = φ(x) than those required for a classical solution up to the case φ(x) ∈ L_p[0,1] for p > 1. It is shown that the formal solution series always converges and represents a weak solution of the mixed problem.     

Bessel Property of the System of Root Functions of a Second-Order Singular Operator on an Interval

For the system of root functions of an operator defined by the differential operation ?u″ + p(x)u′ + q(x)u, x ∈ G = (0, 1), with complex-valued singular coefficients, sufficient conditions for the Bessel property in the space L₂(G) are obtained and a theorem on the unconditional basis property is proved. It is assumed that the functions p(x) and q(x) locally belong to the spaces L₂ and W₂^?1, respectively, and may have singularities at the endpoints of G such that q(x) = q_R(x) +q′S(x) and the functions q_S(x), p(x), q ₂ ^S (x)w(x), p²(x)w(x), and q_R(x)w(x) are integrable on the whole interval G, where w(x) = x(1 ? x).     

A numerical algorithm for solving a nonstationary problem of optimal control

Let {φ _n ^(α,β) (z)} _n=0 ^∞ be a system of Jacobi polynomials orthonormal on the circle |z| = 1 with respect to the weight (1 ? cos τ)^α+1/2(1 + cos τ)^β+1/2 (α, β > ?1), and let \(\psi _n^{\left( {\alpha ,\beta } \right)*} \left( z \right): = z^n \overline {\psi _n^{\left( {\alpha ,\beta } \right)} \left( {{1 \mathord{\left/ {\vphantom {1 {\bar z}}} \right. \kern-\nulldelimiterspace} {\bar z}}} \right)}\)). We establish relations between the polynomial φ _n ^(α,?1/2) (z) and the nth (C, α ? 1/2)-mean of the Maclaurin series for the function (1 ? z)^?α?3/2 and also between the polynomial φ _n ^(α,?1/2)* (z) and the nth (C, α + 1/2)-mean of the Maclaurin series for the function (1 ? z)^?α?1/2. We use these relations to derive an asymptotic formula for φ _n ^(α,?1/2) (z); the formula is uniform inside the disk |z| < 1. It follows that φ _n ^(α,?1/2) (z) ≠ 0 in the disk |z| ≤ ρ for fixed φ ∈ (0, 1) and α > ?1 if n is sufficiently large.     

Inverse problem with nonlocal observation of finding the coefficient multiplying <Emphasis Type="Italic">u</Emphasis> <Subscript> <Emphasis Type="Italic">t</Emphasis> </Subscript> in the parabolic equation

We study the inverse problem of the reconstruction of the coefficient ?(x, t) = ?⁰(x, t) + r(x) multiplying u_t in a nonstationary parabolic equation. Here ?⁰(x, t) ≥ ?⁰ > 0 is a given function, and r(x) ≥ 0 is an unknown function of the class L_∞(Ω). In addition to the initial and boundary conditions (the data of the direct problem), we pose the problem of nonlocal observation in the form ∫₀^Tu(x, t) dμ(t) = χ(x) with a known measure dμ(t) and a function χ(x). We separately consider the case dμ(t) = ω(t)dt of integral observation with a smooth function ω(t). We obtain sufficient conditions for the existence and uniqueness of the solution of the inverse problem, which have the form of ready-to-verify inequalities. We suggest an iterative procedure for finding the solution and prove its convergence. Examples of particular inverse problems for which the assumptions of our theorems hold are presented.     

Conley index of nontrivial invariant sets in a Hilbert space

We study flows defined in a Hilbert space by potential completely continuous fields Id-K(·), where K(·) is an operator close to a homogeneous one. The Conley index of the set of fixed points and separatrices joining them (a nontrivial invariant set) is defined for such flows. By using this index, we prove that the equation K(x) = x has infinitely many solutions of arbitrarily large norm provided that the potential φ: ?φ(·) = K(·) is coercive and has an even leading part. As a corollary, we justify the stability of an arbitrary finite number of solutions under small perturbations of the field. We show that the Conley index differs from the classical rotation theory of vector fields when proving existence theorems.     

Behavior of the formal Fourier solution of the wave equation with a summable potential

The convergence of the formal Fourier solution to a mixed problem for the wave equation with a summable potential is analyzed under weaker assumptions imposed on the initial position u(x, 0) = φ(x) than those required for a classical solution up to the case φ(x)∈ L_p[0,1] for p > 1. It is shown that the formal solution series always converges and represents a weak solution of the mixed problem.     

Output stabilization for a class of uncertain systems

The system

$$\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u,{\kern 1pt} \frac{{dy}}{{dt}} = A\left( \cdot \right)y + B\left( \cdot \right)u + D\left( {C*y - v} \right)$$

where v = C*x is an output, u = S*y is a control, A(·) ∈ R ^{n × n} , B(·) ∈ R ^{n × (n–p)}, C ∈ R ^{n × (n–p)}, and D ∈ R ^{n × (n–p)}, is considered. The elements α_ij(·) and β_ij(·) of the matrices A(·) and B(·) are arbitrary functionals satisfying the conditions

$$\mathop {\sup }\limits_{\left( \cdot \right)} |{\alpha _{ij}}\left( \cdot \right)| < \infty \left( {i,j \in 1,n} \right),\mathop {\sup }\limits_{\left( \cdot \right)} |{\beta _{ij}}\left( \cdot \right)| < \infty \left( {i \in 1,n,j \in 1,n - p} \right).$$

It is assumed that A(·) ∈ Z ₁ ∪ Z ₃ and A*(·) ∈ Z ₁ ∪ Z ₃, where Z ₁ is the class of matrices in which the first p elements of the kth superdiagonal are sign-definite and the elements above them are sufficiently small. The class Z ₃ differs from Z _t1 in that the elements between this superdiagonal and the (k + 1)th row are sufficiently small. If k > p, then the elements of the p × p square in the upper left corner of the matrix are sufficiently small as well. By using special quadratic Lyapunov functions, a matrix D for which y(t)–x(t) → 0 exponentially as t → ∞ is first found, and then a matrix S for which the vectors x(t) and y(t) have the same property is constructed.

     

Intrinsic Ultracontractivity for Schrödinger Operators Based on Fractional Laplacians

We study the Feynman-Kac semigroup generated by the Schrödinger operator based on the fractional Laplacian ??(???Δ)^α/2???q in R ^d , for q?≥?0, α?∈?(0,2). We obtain sharp estimates of the first eigenfunction φ ₁ of the Schrödinger operator and conditions equivalent to intrinsic ultracontractivity of the Feynman-Kac semigroup. For potentials q such that lim_{|x| →?∞?} q(x)?=?∞ and comparable on unit balls we obtain that φ ₁(x) is comparable to (|x|?+?1)^???d???α (q(x)?+?1)^???1 and intrinsic ultracontractivity holds iff lim_{|x| →?∞?} q(x)/log|x|?=?∞. Proofs are based on uniform estimates of q-harmonic functions.     

Some Existence Theorems on All Fractional (<Emphasis Type="Italic">g</Emphasis>, <Emphasis Type="Italic">f</Emphasis>)-factors with Prescribed Properties

Let G be a graph, and g, f: V (G) → Z⁺ with g(x) ≤ f(x) for each x ∈ V (G). We say that G admits all fractional (g, f)-factors if G contains an fractional r-factor for every r: V (G) → Z⁺ with g(x) ≤ r(x) ≤ f(x) for any x ∈ V (G). Let H be a subgraph of G. We say that G has all fractional (g, f)-factors excluding H if for every r: V (G) → Z⁺ with g(x) ≤ r(x) ≤ f(x) for all x ∈ V (G), G has a fractional r-factor F _h such that E(H) ∩ E(F _h ) = θ, where h: E(G) → [0, 1] is a function. In this paper, we show a characterization for the existence of all fractional (g, f)-factors excluding H and obtain two sufficient conditions for a graph to have all fractional (g, f)-factors excluding H.