Oscillation results for selfadjoint differential systems

We consider the second-order differential system, (1) (R(t) Y′)′ + Q(t) Y = 0, where R, Q, Y are n × n matrices with R(t), Q(t) symmetric and R(t) positive definite for t ϵ [a, + ∞) (R(t) > 0, t ⩾ a). We establish sufficient conditions in order that all prepared solutions Y(t) of (1) are oscillatory; that is, det Y(t) vanishes infinitely often on [a, + ∞). The conditions involve the smallest and largest eigen-values λ_n(R⁻¹(t)) and λ₁(∝_a^t Q(s) ds), respectively. The results obtained can be regarded as generalizing well-known results of Leighton and others in the scalar case.     

On normal control processes

Control processes of the form \(\dot x - A(t) x = B(t) u(t)\) , which are normal with respect to the unit ballB _{p′, r′} of the control spaceL ^p′([τ, T]),l _m ^r ′ are characterized in terms ofH(t)=X(T)X ^?1(t),B(t),X(t) any fundamental matrix solution of \(\dot x - A(t)x = 0\) , and directly in terms ofA, B, when bothA andB are independent oft.     

On simultaneous diagonalization of one Hermitian and one symmetric form

It is remarked that if A, B ? M_n(C), A = A^t, and B? = B^t, B positive definite, there exists a nonsingular matrix U such that (1) ū^tBU = I and (2) U^tAU is a diagonal matrix with nonnegative entries. Some related actions of the real orthogonal group and equations involving the unitary group are studied.     

New oscillation criteria for linear matrix Hamiltonian systems

Some new oscillation criteria are established for the matrix linear Hamiltonian system X′=A(t)X+B(t)Y, Y′=C(t)X−A∗(t)Y under the hypothesis: A(t), B(t)=B∗(t)>0, and C(t)=C∗(t) are n×n real continuous matrix functions on the interval [t₀,∞), (−∞<t₀). These results are sharper than some previous results even for self-adjoint second order matrix differential systems.     

Invariance principle for integral type functionals of square-integrable martingales

Let X_n = {X_n(t): 0 ⩽ t ⩽1}, n ⩾ 0, be a sequence of square-integrable martingales. The main aim of this paper is to give sufficient conditions under which ∫^·₀f_n (A_n(t), X_n(t)) dX_n(t) converges weakly in D[0, 1] to ∫^·₀f₀(A₀(t), X₀(t)) dX₀ (t) as n → ∞, where {A_n, n ⩾ 0} is some sequence of increasing processes corresponding to the sequence {X_n, n ⩾ 0}.     

Potential theory associated with Uhlenbeck-Ornstein process

Some parallel results of Gross' paper (Potential theory on Hilbert space, J. Functional Analysis1 (1967), 123–181) are obtained for Uhlenbeck-Ornstein process U(t) in an abstract Wiener space (H, B, i). Generalized number operator $\text{N}$ is defined by $\text{N}$f(x) = ?lim_∈←0{E[f($\text{U}$(τ^∈_ξ))] ? f(x)}/E[τ^∈_ξ, where τ_x^? is the first exit time of U(t) starting at x from the ball of radius ? with center x. It is shown that $\text{N}$f(x) = ?trace D²f(x)+〈Df(x),x〉 for a large class of functions f. Let r_t(x, dy) be the transition probabilities of U(t). The λ-potential G_λf, λ > 0, and normalized potential Rf of f are defined by G_λf(X) = ∫₀^∞e^?λtr_tf(x) dt and Rf(x) = ∫₀^∞ [r_tf(x) ? r_tf(0)] dt. It is shown that if f is a bounded Lip-1 function then trace D²G_λf(x) ? 〈DG_λf(x), x〉 = ?f(x) + λG_λf(x) and trace D²Rf(x) ? 〈DRf(x), x〉 = ?f(x) + ∫_Bf(y)p₁(dy), where p₁ is the Wiener measure in B with parameter 1. Some approximation theorems are also proved.     

Parameter Dependence of Stable Manifolds for Nonuniform (μ, ν)-dichotomies

We construct stable invariant manifolds for semiflows generated by the nonlinear impulsive differential equation with parameters x'= A(t)x + f(t, x, λ), t≠τi and x(τ+i) = Bix(τi) + gi(x(τi), λ), i ∈ N in Banach spaces, assuming that the linear impulsive differential equation x'= A(t)x, t≠τi and x(τ+i) = Bix(τi), i ∈ N admits a nonuniform (μ, ν)-dichotomy. It is shown that the stable invariant manifolds are Lipschitz continuous in the parameter λ and the initial values provided that the nonlinear perturbations f, g are sufficiently small Lipschitz perturbations.     

Some well-posed functional equations which generate semigroups

Consider the abstract linear functional equation (FE) (Dx)(t) = f(t) (t ? 0), x(t) = ?(t) (t ? 0) in a Banach space B. A theorem is proven which contains the following result as a special case. Let Y(R; B; η) be a L^p-space or C₀-space on R = (?t8, ∞), with a suitable weight function η, and with values in B. Let D be a closed (unbounded) causal linear operator in Y(R; B; η), which commutes with translations. Suppose that D + λI has a continuous causal inverse for some complex λ, and that D restricted to those functions in Y(R;B;η) which vanish on R^? = (?∞, 0] has a continuous causal inverse. Then (FE) generates a strongly continuous semigroup of translation type on a Banach space, which is essentially the cross product of the restriction of the domain of D to R^? and Y(R⁺; B; η). Examples with B = Cⁿ on how the theory applies to a neutral functional differential equation, a difference equation, a Volterra integrodifferential equation (with nonintegrable kernel but integrable resolvent), and a fractional order functional differential equation are given. Also, an abstract neutral functional differential equation in a Hilbert space is studied and applications to an abstract Volterra integrodifferential equation in a Banach space are indicated.     

A general Trotter-Kato formula for a class of evolution operators

In this article we prove new results concerning the existence and various properties of an evolution system UA+B(t,s)_0?s?t?T generated by the sum −(A(t)+B(t)) of two linear, time-dependent and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing L(B) for the algebra of all linear bounded operators on B, we can express UA+B(t,s)_0?s?t?T as the strong limit in L(B) of a product of the holomorphic contraction semigroups generated by −A(t) and −B(t), respectively, thereby proving a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t)+B(t)) to evolve with time provided there exists a fixed set D⊂_?t∈[0,T]D(A(t)+B(t)) everywhere dense in B. We obtain a special case of our formula when B(t)=0, which, in effect, allows us to reconstruct UA(t,s)_0?s?t?T very simply in terms of the semigroup generated by −A(t). We then illustrate our results by considering various examples of nonautonomous parabolic initial-boundary value problems, including one related to the theory of time-dependent singular perturbations of self-adjoint operators. We finally mention what we think remains an open problem for the corresponding equations of Schrödinger type in quantum mechanics.     

On the regularity and stability of Pritchard-Salamon systems

Let Σ(S(⋅),B,−) be a Pritchard-Salamon system for (W,V), where W and V are Hilbert spaces. Suppose U is a Hilbert space and F∈L(W,U) is an admissible output operator, SBF(⋅) is the corresponding admissible perturbation C₀-semigroup. We show that the C₀-semigroup SBF(⋅) persists norm continuity, compactness and analyticity of C₀-semigroup S(⋅) on W and V, respectively. We also characterize the compactness and norm continuity of ΔBF(t)=SBF(t)−S(t) for t>0. In particular, we unexpectedly find that ΔBF(t) is norm continuous for t>0 on W and V if the embedding from W into V is compact. Moreover, from this we give some relations between the spectral bounds and growth bounds of SBF(⋅) and S(⋅), so we obtain some new stability results.     

Extreme points, support points and the Loewner variation in several complex variables

In this paper we consider extreme points and support points for compact subclasses of normalized biholomorphic mappings of the Euclidean unit ball Bn in Cn. We consider the class S0(Bn) of biholomorphic mappings on Bn which have parametric representation, i.e., they are the initial elements f (·, 0) of a Loewner chain f (z, t) = etz + ··· such that {e-tf (·, t)}t 0 is a normal family on Bn. We show that if f (·, 0) is an extreme point (respectively a support point) of S0(Bn), then e-tf (·, t) is an extreme point of S0(Bn) for t 0 (respectively a support point of S0(Bn) for t ∈[0, t0] and some t0 > 0). This is a generalization to the n-dimensional case of work due to Pell. Also, we prove analogous results for mappings which belong to S0(Bn) and which are bounded in the norm by a fixed constant. We relate the study of this class to reachable sets in control theory generalizing work of Roth. Finally we consider extreme points and support points for biholomorphic mappings of Bn generated by using extension operators that preserve Loewner chains.     

Embedding of a pseudo-residual design into a Möbius plane

Let $\text{U}$ be a class of subsets of a finite set X. Elements of $\text{U}$ are called blocks. Let v, t and λ₁, 0 ? i ? t, be nonnegative integers, and K be a subset of nonnegative integers such that every member of K is at most v. A pair (X, U) is called a (λ₀, λ₁,…, λ_t; K, υ)t-design if (1) |X| = υ, (2) every i-subset of X is contained in exactly λ_t blocks, 0 ? i ? t, and (3) for every block A in $\text{U}$, |A| ?K. It is well-known that if K consists of a singleton k, then λ₀,…, λ_{t ? 1} can be determined from υ, t, k and λ_t. Hence, we shall denote a (λ₀,…, λ_t; {k}, υ)t-design by S_λ(t, k, υ), where λ = λ_t. A Möbius plane M is an S₁(3, q + 1, q² + 1), where q is a positive integer. Let A be a fixed block in M. If A is deleted from M together with the points contained in A, then we obtain a residual design M′ with parameters λ₀ = q³ + q ? 1, λ₁ = q² + q, λ₂ = q + 1, λ₃ = 1, K = {q + 1, q, q ? 1}, and υ = q² ? 1. We define a design to be a pseudo-block-residual design of order q (abbreviated by PBRD(q)) if it has these parameters. We consider the reconstruction problem of a Möbius plane from a given PBRD(q). Let B and B′ be two blocks in a residual design M′. If B and B′ are tangent to each other at a point x, and there exists a block C of size q + 1 such that C is tangent to B at x and is secant to B′, then we say B is r-tangent to B′ at x. A PBRD(q) is said to satisfy the r-tangency condition if for every block B of size q, and any two points x and y not in B, there exists at most one block which is r-tangent to B and contains x and y. We show that any PBRD(q)D can be uniquely embedded into a Möbius plane if and only if D satisfies the r-tangency condition.     

Dichotomies and moving singularities

We consider a linear differential system ε ^σ Φ (t,ε)Y′ =A(t, ε)Y, with ε a small parameter and Φ(t, ε) a function which may vanish in the domain of definition. Under some conditions imposed on the eigenvalues of the matrixA(t, ε), there exists an invertible matrixH(t, ε) which is continuous on ([0,a] × [0, ε₀]). The transformationY=H(t, ε)Z takes then dimensional linear system into two differential systems of orderk andn?k respectively, withk. Thus the investigaton ofn dimensional systems encountered in singular perturbation as well as in stability theory is considerably simplified.     

On the existence of shock fronts for a Burgers equation with a singular source term

In this paper we consider the Cauchy problem for the equation ∂u/∂t + u ∂u/∂x + u/x = 0 for x > 0, t ⩾ 0, with u(x, 0) = u⁰₋(x) for x < x₀, u(x, 0) = u⁰₊(x) for x > x₀, u⁰₋(x₀) > u⁰₊(x₀). Following the ideas of Majda, 1984 and Lax, 1973, we construct, for smooth u⁰₋ and u⁰₊, a global shock front weak solution u(x, t) = u₋(x, t) for x < ϕ(t), u(x, t) = u₊(x, t) for x > ϕ(t), where u₋ and u₊ are the strong solutions corresponding (respectively) to u⁰₋ and u⁰₊ and the curve t → ϕ(t) is defined by dϕ/dt (t) = 1/2[u₋(ϕ(t), t) + u₊(ϕ(t), t)], t ⩾ 0 and ϕ(0) = x₀. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

Weak convergence of the past and future of Brownian motion given the present

In this paper, we show that for t > 0, the joint distribution of the past {W _t?s : 0 ≤ s ≤ t} and the future {W _{t + s} :s ≥ 0} of a d-dimensional standard Brownian motion (W _s ), conditioned on {W _t ∈ U}, where U is a bounded open set in ? ^d , converges weakly in C[0,∞)×C[0,∞) as t→∞. The limiting distribution is that of a pair of coupled processes Y + B ¹,Y + B ² where Y,B ¹,B ² are independent, Y is uniformly distributed on U and B ¹,B ² are standard d-dimensional Brownian motions. Let σ _t ,d _t be respectively, the last entrance time before time t into the set U and the first exit time after t from U. When the boundary of U is regular, we use the continuous mapping theorem to show that the limiting distribution as t → ∞ of the four dimensional vector with components \((W_{\sigma _{t}},t-\sigma _{t},W_{d_{t}},d_{t}-t)\), conditioned on {W _t ∈U}, is the same as that of the four dimensional vector whose components are the place and time of first exit from U of the processes Y + B ¹ and Y + B ² respectively.     

Periodic solutions of semilinear equations of evolution of compact type

The existence of solutions in a weak sense of x′ + (A + B(t, x))x = f(t, x), x(0) = x(T) is established under the conditions that A generates a semigroup of compact type on a Hilbert space H; B(t,x) is a bounded linear operator and f(t, x) a function with values in H; for each square integrable ?(t) the problem with B(t, ?(t)) and f(t, ?(t)) in place of B(t, x) and f(t, x) has a unique solution; and B and f satisfy certain boundedness and continuity conditions.     

R/S统计量重对数律的精确收敛速度

Let{Xn;n≥1}be a sequence of i.i.d, random variables with finite variance,Q（n）be the related R/S statistics. It is proved that lim ε↓0 ε^2 ∑n=1 ^8 n log n/1 P{Q（n）≥ε√2n log log n}=2/1 EY^2,where Y=sup0≤t≤1B（t）-inf0≤t≤sB（t）,and B（t） is a Brownian bridge.     

Weighted composition operators between weighted spaces of vector-valued holomorphic functions on Banach spaces

Let B(E, F) be the Banach Space of all continuous linear operators from a Banach Space E into a Banach space F. Let U_X and U_Y be balanced open subsets of Banach spaces X and Y, respectively. Let V and W be two Nachbin families of continuous weights on U_X and U_Y, respectively. Let HV(U_X, E) (or HV₀(U_X, E)) and HW(U_Y, F) (or HW₀(U_Y, F)) be the weighted spaces of vector-valued holomorphic functions. In this paper, we investigate the holomorphic mappings ? : U_Y → U_X and ψ : U_Y → B(E, F) which generate weighted composition operators between these weighted spaces.     

Asymptotic stability of a class of integro-differential equations

We examine the asymptotic stability of the zero solution of the first-order linear equation x′(t) = Ax(t) + ∝₀^tB(t ? s) x(s) ds, where B(t) is integrable and does not change sign on [0, ∞). The results are applied to an examination of the stability of equilibrium of some nonlinear population models.     

On the complete controllability of linear nonautonomous systems

We suggest a geometric approach to the controllability of nonautonomous linear control systems of the form $\dot x = A(t)x + B(t)u$ , x ?? ? ⁿ , u ?? U ? ? ^m , with conical control constraint set U and continuous matrices A(t) and B(t). We derive two new complete controllability criteria, the first of which is reduced to the analysis of the arrangement of the cones ??^?1(t)B(t)U in the state space of the system [ $\dot \Phi (t) = \left. {A(t)\Phi } \right|(t)$ , ??(0) = E] and the second is based on the existence of appropriate controls bringing zero back to zero. We prove a theorem on the approximation of the control constraint set U by cones with finitely many generators lying inside the cone U with the preservation of the complete controllability property. We present a number of examples illustrating some peculiarities in the evolution of controllability sets of nonautonomous linear systems.