Oscillation criteria related to integral averaging technique for linear matrix Hamiltonian systems

By employing a generalized Riccati technique and an integral averaging technique, new oscillation criteria are established for the linear matrix Hamiltonian system U′=A(x)U+B(x)V, V′=C(x)U−A∗(x)V under the assumption that all A(x), B(x)=B∗(x)>0, and C(x)=C∗(x) are n×n matrices of real-valued continuous functions on the interval I=[x₀,∞) (−∞<x₀). These criteria extend, improve, and unify a number of existing results and also handle cases not covered by known criteria. Several interesting examples that illustrate the importance of our results are included.     

Minimal ranks of some quaternion matrix expressions with applications

Suppose that p(X, Y) = A − BX − X^(∗)B^(∗) − CYC^(∗) and q(X, Y) = A − BX + X^(∗)B^(∗) − CYC^(∗) are quaternion matrix expressions, where A is persymmetric or perskew-symmetric. We in this paper derive the minimal rank formula of p(X, Y) with respect to pair of matrices X and Y = Y^(∗), and the minimal rank formula of q(X, Y) with respect to pair of matrices X and Y = −Y^(∗). As applications, we establish some necessary and sufficient conditions for the existence of the general (persymmetric or perskew-symmetric) solutions to some well-known linear quaternion matrix equations. The expressions are also given for the corresponding general solutions of the matrix equations when the solvability conditions are satisfied. At the same time, some useful consequences are also developed.     

Positive solutions of nonlinear three-point boundary-value problems

Let a∈C[0,1], b∈C([0,1],(−∞,0]). Let φ₁(t) be the unique solution of the linear boundary value problem

u″(t)+a(t)u′(t)+b(t)u(t)=0,t∈(0,1),u(0)=0,u(1)=1.     

Continuous fields of C*-algebras over finite dimensional spaces

Let X be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of C(X)-algebras by C(X)-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over X with fibers isomorphic to a fixed Cuntz algebra On, n∈{2,3,…,∞}, are locally trivial. They are trivial if n=2 or n=∞. For n?3 finite, such a field is trivial if and only if (n−1)[A₁]=0 in K₀(A), where A is the C*-algebra of continuous sections of the field. We give a complete list of the Kirchberg algebras D satisfying the UCT and having finitely generated K-theory groups for which every unital separable continuous field over X with fibers isomorphic to D is automatically locally trivial or trivial. In a more general context, we show that a separable unital continuous field over X with fibers isomorphic to a KK-semiprojective Kirchberg C*-algebra is trivial if and only if it satisfies a K-theoretical Fell type condition.     

Partitions of natural numbers with the same representation functions

For a set A of nonnegative integers the representation functions R₂(A,n), R₃(A,n) are defined as the number of solutions of the equation n=a+a^′,a,a^′∈A with a<a^′, a?a^′, respectively. Let D(0)=0 and let D(a) denote the number of ones in the binary representation of a. Let A₀ be the set of all nonnegative integers a with even D(a) and A₁ be the set of all nonnegative integers a with odd D(a). In this paper we show that (a) if R₂(A,n)=R₂(N?A,n) for all n?2N−1, then R₂(A,n)=R₂(N?A,n)?1 for all n?12N²−10N−2 except for A=A₀ or A=A₁; (b) if R₃(A,n)=R₃(N?A,n) for all n?2N−1, then R₃(A,n)=R₃(N?A,n)?1 for all n?12N²+2N. Several problems are posed in this paper.     

Oscillation criteria for second order linear matrix differential systems with damping

Using a generalization of Sturm’s comparison theorem, some new oscillation criteria are established for the matrix differential system with damping

(P(t)Y^′)^′+R(t)Y^′+Q(t)Y=0${\left(P\left(t\right)Y^{\prime }\right)}^{\prime }+R\left(t\right)Y^{\prime }+Q\left(t\right)Y=0$

Dynamical systems method (DSM) for selfadjoint operators

Let A be a selfadjoint linear operator in a Hilbert space H. The DSM (dynamical systems method) for solving equation Av=f consists of solving the Cauchy problem , u(0)=u₀, where Φ is a suitable operator, and proving that (i) ∃u(t)∀t>0, (ii) ∃u(∞), and (iii) A(u(∞))=f. It is proved that if equation Av=f is solvable and u solves the problem , u(0)=u₀, where a>0 is a parameter and u₀ is arbitrary, then lima→0limt→∞u(t,a)=y, where y is the unique minimal-norm solution of the equation Av=f. Stable solution of the equation Av=f is constructed when the data are noisy, i.e., fδ is given in place of f, ‖fδ−f‖?δ. The case when a=a(t)>0, , a(t)↘0 as t→∞ is considered. It is proved that in this case limt→∞u(t)=y and if fδ is given in place of f, then limt→∞u(tδ)=y, where tδ is properly chosen.     

Numerical range and quasi-sectorial contractions

A method developed in Arlinski? (1987) [1] is applied to study the numerical range of quasi-sectorial contractions and to prove three main results. Our first theorem gives characterization of the maximal sectorial generator A in terms of the corresponding contraction semigroup {exp(−tA)}_t?0. The second result establishes for these quasi-sectorial contractions a quite accurate localization of their numerical range. We give for this class of semigroups a new proof of the Euler operator-norm approximation: exp(−tA)=limn→∞(I+tA/n)⁻ⁿ, t?0, with the optimal estimate: O(1/n), of the convergence rate, which takes into account the value of the sectorial generator angle (the third result).     

Spectral radius and infinity norm of matrices

Let Mn(R) be the linear space of all n×n matrices over the real field R. For any A∈Mn(R), let ρ(A) and ‖A_‖∞ denote the spectral radius and the infinity norm of A, respectively. By introducing a class of transformations φa on Mn(R), we show that, for any A∈Mn(R), ρ(A)<‖A_‖∞ if . If A∈Mn(R) is nonnegative, we prove that ρ(A)<‖A_‖∞ if and only if , and ρ(A)=‖A_‖∞ if and only if the transformation φ‖A_‖∞ preserves the spectral radius and the infinity norm of A. As an application, we investigate a class of linear discrete dynamic systems in the form of X(k+1)=AX(k). The asymptotical stability of the zero solution of the system is established by a simple algebraic method.     

Nonintegral criterion for oscillations of linear Hamiltonian matrix systems

In this paper we present nonintegral criteria for oscillation of linear Hamiltonian matrix system U^′=A(x)U+B(x)V, V^′=C(x)U−A^*(x)V under the hypothesis (H): A(x), B(x)=B^*(x)>0, and C(x)=C^*(x) are 2×2 matrices of real valued continuous functions on the interval I=[a,∞),(−∞<a). These criteria are conditions of algebraic type only. Our results are also useful for the detection of the oscillation of particular matrix differential systems.     

Bundle convergence of sequences of pairwise uncorrelated operators in von Neumann algebras and vectors in their L2-spaces

Let H be a separable complex Hilbert space, A a von Neumann algebra in ?(H),a faithful, normal state on A. We prove that if a sequence (X_n: n ≥ 1) of uncorrelated operators in A is bundle convergent to some operator X in A and Σ^∞_n=1n⁻² Var(X_n) log²(n + 1) < ∞, then X is proportional to the identity operator on H. We also prove an analogous theorem for certain uncorrelated vectors in the completion L₂=L₂(A,φ) of A given by the Gelfand-Naimark-Segal representation theorem. Both theorems were motivated by a recent one proved by Etemadi and Lenzhen in the classical commutative setting.     

Moderate deviations and Erdös-Rényi-Shepp laws for weighted sums

Let X₀,X₁,… be i.i.d. random variables with E(X₀)=0, E(X²₀)=1 and E(exp{tX₀})<∞ for any |t|<t₀. We prove that the weighted sums V(n)=∑_j=0^∞a_j(n)X_j, n?1 obey a moderately large deviation principle if the weights satisfy certain regularity conditions. Then we prove a new version of the Erdös-Rényi-Shepp laws for the weighted sums.     

The Dichotomy Theorem for evolution bi-families

We prove that the operator G, the closure of the first-order differential operator −d/dt+D(t) on L₂(R,X), is Fredholm if and only if the not well-posed equation u^′(t)=D(t)u(t), t∈R, has exponential dichotomies on R₊ and R₋ and the ranges of the dichotomy projections form a Fredholm pair; moreover, the index of this pair is equal to the Fredholm index of G. Here X is a Hilbert space, D(t)=A+B(t), A is the generator of a bi-semigroup, B(⋅) is a bounded piecewise strongly continuous operator-valued function. Also, we prove some perturbations results and consider various examples of not well-posed problems.     

Singular and nonsingular first-order initial value problems

Under barrier strip type arguments we investigate the existence of global solutions to the initial value problem x^′=f(t,x,x^′), x(0)=A, where the scalar function f(t,x,p) may be singular at x=A.     

Recovering a leading coefficient and a memory kernel in first-order integro-differential operator equations

We are concerned with the identification of the scalar functions a and k in the convolution first-order integro-differential equation u′(t)−a(t)Au(t)−k∗Bu(t)=f(t), 0?t?T, , in a Banach space X, where A and B are linear closed operators in X, A being the generator of an analytic semigroup of linear bounded operators. Taking advantage of two pieces of additional information, we can recover, under suitable assumptions and locally in time, both the unknown functions a and k. The results so obtained are applied to an n-dimensional integro-differential identification problem in a bounded domain in .     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Maximal regularity for non-autonomous Schrödinger type equations

In this paper we study the maximal regularity property for non-autonomous evolution equations t_∂u(t)+A(t)u(t)=f(t), u(0)=0. If the equation is considered on a Hilbert space H and the operators A(t) are defined by sesquilinear forms a(t,⋅,⋅) we prove the maximal regularity under a Hölder continuity assumption of t→a(t,⋅,⋅). In the non-Hilbert space situation we focus on Schrödinger type operators A(t):=−Δ+m(t,⋅) and prove Lp−Lq estimates for a wide class of time and space dependent potentials m.     

Bifurcation from stability to instability for a free boundary problem modeling tumor growth by Stokes equation

We consider a free boundary problem modeling tumor growth in fluid-like tissue. The model equations include a diffusion equation for the nutrient concentration, and the Stokes equation with a source which represents the proliferation of tumor cells. The proliferation rate μ and the cell-to-cell adhesiveness γ which keeps the tumor intact are two parameters which characterize the “aggressiveness” of the tumor. For any positive radius R there exists a unique radially symmetric stationary solution with radius r=R. For a sequence μ/γ=Mn(R) there exist symmetry-breaking bifurcation branches of solutions with free boundary r=R+εYn,0(θ)+O(ε²) (n even ?2) for small |ε|, where Yn,0 is the spherical harmonic of mode (n,0). Furthermore, the smallest Mn(R), say Mn_∗(R), is such that n_∗=n_∗(R)→∞ as R→∞. In this paper we prove that the radially symmetric stationary solution with R=RS is linearly stable if μ/γ<N_∗(RS,γ) and linearly unstable if μ/γ>N_∗(RS,γ), where N_∗(RS,γ)?Mn_∗(RS), and we prove that strict inequality holds if γ is small or if γ is large. The biological implications of these results are discussed at the end of the paper.