Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

On Ψ-boundedness and Ψ-stability of matrix Lyapunov systems

In this paper we obtain a necessary and sufficient condition for the existence of at least one Ψ-bounded solution and also obtained sufficient conditions for Ψ-(uniform) stability of the Kronecker product system associated with the matrix Lyapunov system X′(t)=A(t)X(t)+X(t)B(t)+F(t).     

Homoclinic orbits for the second-order Hamiltonian systems with obstacle item

This paper is concerned with the existence of homoclinic orbits for the second-order Hamiltonian system with obstacle item, ü(t)-A u(t) =▽F (t, u), where F (t, u) is T-periodic in t with ▽F (t, u) = L(t)u + ▽R(t,u). By using a generalized linking theorem for strongly indefinite functionals, we prove the existence of homoclinic orbits for both the super-quadratic case and the asymptotically linear one.     

On the existence of mild solutions of semilinear evolution differential inclusions

In this paper we deal with a Cauchy problem governed by the following semilinear evolution differential inclusion:

x^′(t)∈A(t)x(t)+F(t,x(t))     

Hyperbolicity of algebras with involution over a given extension

Let F be a field and (A,σ) a central simple F-algebra with involution. Let π(t) be a separable polynomial over F. Let F(π)=F[t]/(π(t)). Tignol considered the question whether the algebra A⊗F(π) is hyperbolic. He introduced the algebra H_π, which is universal for this question. Haile and Tignol determined the structure of the algebra H_π and introduced a certain homomorphic image C_π of H_π. In this paper, we give a new characterization of C_π and introduce a new algebra A_π that classifies the commutative algebras with involution that become hyperbolic over F(π). We determine the structure of A_π and use it to examine some examples.     

Remarks on semilinear partial functional-differential equations with infinite delay

In this paper we will be concerned with the abstract semilinear equation x(Φ)(t) = Ax(Φ)(t) + F(t, x_t(Φ)), t ? τ, x_τ(Φ) = Φ, where A represents the infinitesimal generator of a linear C₀-semigroup in a Banach space and x_～(Φ) denotes the segment of the solution x due to the initial function Φ taken from ?∞ up to t. Conditions for existence, continuous dependence, and regularity of solutions are given which are independent of the topology of the phase space, as well as conditions which guarantee the compactness of bounded orbits, even if exp(At) is not compact for t > 0.     

Operator Spaces Containing c 0 OR l∞

Let E, F be either Fréchet or complete DF-spaces and let A(E, F) ? B(E, F) be spaces of operators. Under some quite general assumptions we show that: (i) A(E, F) contains a copy of c ₀ if and only if it contains a copy of l _∞; (ii) if c ₀ ? A(E, F), then A(E, F) is complemented in B(E, F) if and only if A(E, F) = B(E, F); (iii) if E or F has an unconditional basis and A(E, F) ≠ L(E, F), then A(E, F) ? c ₀. The above results cover cases of many clssical operator spaces A. We show also that EεF contains l _∞ if and only if E or F contains l _∞.     

Near viability for fully nonlinear differential inclusions

We consider the nonlinear differential inclusion x′(t) ∈ Ax(t) + F(x(t)), where A is an m-dissipative operator on a separable Banach space X and F is a multi-function. We establish a viability result under Lipschitz hypothesis on F, that consists in proving the existence of solutions of the differential inclusion above, starting from a given set, which remain arbitrarily close to that set, if a tangency condition holds. To this end, we establish a kind of set-valued Gronwall’s lemma and a compactness theorem, which are extensions to the nonlinear case of similar results for semilinear differential inclusions. As an application, we give an approximate null controllability result.     

On a class of sine-type functions

We study an infinite product F _Λ(z) with zeros λ _n = n + l(|n|), n ? ?, where l(t) is a concave function and l(t) = o(t). We obtain a test for F _Λ(z) to belong to the class of sine-type functions. For the particular case in which l(t) is a regularly varying function, we obtain sharp asymptotic estimates for F _Λ(z).     

An inverse first-passage problem for one-dimensional diffusions with random starting point

We consider an inverse first-passage time (FPT) problem for a homogeneous one-dimensional diffusion X(t), starting from a random position η. Let S(t) be an assigned boundary, such that P(η≥S(0))=1, and F an assigned distribution function. The problem consists of finding the distribution of η such that the FPT of X(t) below S(t) has distribution F. We obtain some generalizations of the results of Jackson et al., 2009, which refer to the case when X(t) is Brownian motion and S(t) is a straight line across the origin.     

On a nonlocal problem for semilinear differential equations with upper semicontinuous nonlinearities in general Banach spaces

Sufficient conditions on the existence of mild solutions for the following semilinear nonlocal evolution inclusion with upper semicontinuous nonlinearity: u^′(t)∈A(t)u(t)+F(t,u(t)), 0<t?d, u(0)=g(u), are given when g is completely continuous and Lipschitz continuous in general Banach spaces, respectively. An example concerning the partial differential equation is also presented.     

Linear differential-algebraic equations with properly stated leading term: Regular points

We consider in this work linear, time-varying differential-algebraic equations (DAEs) of the form A(t)(D(t)x^′(t))+B(t)x(t)=q(t) through a projector approach. Our analysis applies in particular to linear DAEs in standard form E(t)x^′(t)+F(t)x(t)=q(t). Under mild smoothness assumptions, we introduce local regularity and index notions, showing that they hold uniformly in intervals and are independent of projectors. Several algebraic and geometric properties supporting these notions are addressed. This framework is aimed at supporting a complementary analysis of so-called critical points, where the assumptions for regularity fail. Our results are applied here to the analysis of a linear time-varying analogue of Chua's circuit with current-controlled resistors, displaying a rich variety of indices depending on the characteristics of resistive and reactive devices.     

An abstract doubly nonlinear equation with a measure as initial value

The solvability of the abstract implicit nonlinear nonautonomous differential equation (A(t)u^′(t))+B(t)u(t)+C(t)u(t)∋f(t) will be investigated in the case of a measure as an initial value. It will be shown that this problem has a solution if the inner product of A(t)x and B(t)x+C(t)x is bounded below.     

Distribution and characteristic functions for correlated complex Wishart matrices

Let A(t) be a complex Wishart process defined in terms of the M×N complex Gaussian matrix X(t) by A(t)=X(t)X(t)^H. The covariance matrix of the columns of X(t) is Σ. If X(t), the underlying Gaussian process, is a correlated process over time, then we have dependence between samples of the Wishart process. In this paper, we study the joint statistics of the Wishart process at two points in time, t₁, t₂, where t₁<t₂. In particular, we derive the following results: the joint density of the elements of A(t₁), A(t₂), the joint density of the eigenvalues of Σ^-1A(t₁),Σ^-1A(t₂), the characteristic function of the elements of A(t₁), A(t₂), the characteristic function of the eigenvalues of Σ^-1A(t₁),Σ^-1A(t₂). In addition, we give the characteristic functions of the eigenvalues of a central and non-central complex Wishart, and some applications of the results in statistics, engineering and information theory are outlined.     

Asymptotic properties of matrix differential operators

For given matrices A(s) and B(s) whose entries are polynomials in s, the validity of the following implication is investigated: ?_ylim_{t → ∞}A(D) y(t) = 0 ? lim_{t → ∞}B(D) y(t) = 0. Here D denotes the differentiation operator and y stands for a sufficiently smooth vector valued function. Necessary and sufficient conditions on A(s) and B(s) for this implication to be true are given. A similar result is obtained in connection with an implication of the form ?_yA(D) y(t) = 0, lim_{t → ∞}B(D) y(t) = 0, C(D) y(t) is bounded ? lim_{t → ∞}E(D) y(t) = 0.     

Some intersection theorems

LetL(A) be the set of submatrices of anm×n matrixA. ThenL(A) is a ranked poset with respect to the inclusion, and the poset rank of a submatrix is the sum of the number of rows and columns minus 1, the rank of the empty matrix is zero. We attack the question: What is the maximum number of submatrices such that any two of them have intersection of rank at leastt? We have a solution fort=1,2 using the followoing theorem of independent interest. Letm(n,i,j,k) = max(|F|;|G|), where maximum is taken for all possible pairs of families of subsets of ann-element set such thatF isi-intersecting,G isj-intersecting andF ansd,G are cross-k-intersecting. Then fori≤j≤k, m(n,i,j,k) is attained ifF is a maximali-intersecting family containing subsets of size at leastn/2, andG is a maximal2k?i-intersecting family. Furthermore, we discuss and Erd?s-Ko-Rado-type question forL(A), as well.     

Generalization of the lions theory for first-order evolution differential equations with discontinuous operators and with α ∈ [1/2, 1]

We prove existence, uniqueness, and smoothness theorems for weak solutions of the problem $$ du(t)/dt + A(t)u(t) = f(t), t \in ]0,T[; u(0) = u_0 \in H, $$ where, for almost all t, the linear unbounded operators A(t) with domains D(A(t)) depending on t are closed and maximal accretive and have bounded inverses A ^?1(t) discontinuous with respect to t in the Hilbert space H. There exists an α ∈ [1/2, 1] such that the following is true in H for almost all t: the power A ^α (t) is subordinate to the power A* ^α (t) of the adjoint operators A*(t), the operators A ^α (t) and A* ^α (t) do not form an obtuse angle, and the domains D(A* ^α (t)) of the operators A* ^α (t) are not increasing with respect to t. This paper is the first to prove the well-posedness of the mixed problem for the multidimensional linearized Korteweg-de Vries equation smooth in time with boundary conditions piecewise constant in time.     

A new analytical method for the linearization of dynamic equation on measure chains

In this paper, by introducing the concept of topological equivalence on measure chain, we investigate the relationship between the linear system xΔ=A(t)x and the nonlinear system xΔ=A(t)x+f(t,x). Some sufficient conditions are obtained to guarantee the existence of a equivalent function H(t,x) sending the (c,d)-quasibounded solutions of nonlinear system xΔ=A(t)x+f(t,x) onto those of linear system xΔ=A(t)x. Our results generalize the Palmer's linearization theorem in [K.J. Palmer, A generalization of Hartman's linearization theorem, J. Math. Anal. Appl. 41 (1973) 753-758] to dynamic equation measure chains. In the present paper, we give a new analytical method to study the topological equivalence problem on measure chains. As we will see, due to the completely different method to investigate the topological equivalence problem, we have a considerably different result from that in the pioneering work of Hilger [S. Hilger, Generalized theorem of Hartman-Grobman on measure chains, J. Aust. Math. Soc. Ser. A 60 (2) (1996) 157-191]. Moreover, we prove that equivalent function H(t,x) is also ω-periodic when the systems are ω-periodic. Hilger [S. Hilger, Generalized theorem of Hartman-Grobman on measure chains, J. Aust. Math. Soc. Ser. A 60 (2) (1996) 157-191] never considered this important property of the equivalent function H(t,x).     

A new method of proof of Filippov’s theorem based on the viability theorem

Filippov??s theorem implies that, given an absolutely continuous function y: [t ₀; T] ?? ? ^d and a set-valued map F(t, x) measurable in t and l(t)-Lipschitz in x, for any initial condition x ₀, there exists a solution x(·) to the differential inclusion x??(t) ?? F(t, x(t)) starting from x ₀ at the time t ₀ and satisfying the estimation $$\left| {x(t) - y(t)} \right| \leqslant r(t) = \left| {x_0 - y(t_0 )} \right|e^{\int_{t_0 }^t {l(s)ds} } + \int_{t_0 }^t \gamma (s)e^{\int_s^t {l(\tau )d\tau } } ds,$$ where the function ??(·) is the estimation of dist(y??(t), F(t, y(t))) ?? ??(t). Setting P(t) = {x ?? ? ⁿ : |x ?y(t)| ?? r(t)}, we may formulate the conclusion in Filippov??s theorem as x(t) ?? P(t). We calculate the contingent derivative DP(t, x)(1) and verify the tangential condition F(t, x) ?? DP(t, x)(1) ?? ?. It allows to obtain Filippov??s theorem from a viability result for tubes.     

Semilinear differential inclusions via weak topologies

The paper deals with the multivalued initial value problem x^′∈A(t,x)x+F(t,x) for a.a. t∈[a,b], x(a)=x₀ in a separable, reflexive Banach space E. The nonlinearity F is weakly upper semicontinuous in x and the investigation includes the case when both A and F have a superlinear growth in x. We prove the existence of local and global classical solutions in the Sobolev space W1,p([a,b],E) with 1<p<∞. Introducing a suitably defined Lyapunov-like function, we are able to investigate the topological structure of the solution set. Our main tool is a continuation principle in Frechét spaces and we prove the required pushing condition in two different ways. Some examples complete the discussion.