Existence and uniqueness of solutions to neutral stochastic functional differential equations with infinite delay

This paper investigates the existence and uniqueness theorem of solutions to neutral stochastic differential equations with infinite delay (short for INSFDEs) at a space BC((-∞,0];R^d). Under the uniform Lipschitz condition, linear growth condition is weaken to obtain the moment estimate of the solution for INSFDEs. Furthermore, the existence, uniqueness theorem of the solution for INSFDEs is derived, and the estimate for the error between approximate solution and exact solution is given. On the other hand, under the linear growth condition, the uniform Lipschitz condition is replaced by the local Lipschitz condition, the existence, uniqueness theorem is also valid for INSFDEs on [t₀,T]. Moreover, the existence, uniqueness theorem still holds on interval [t₀,∞), where t₀∈R is an arbitrary real number.     

A dynamical systems result on asymptotic integration of linear differential systems

We are interested in the asymptotic integration of linear differential systems of the form x′=[Λ(t)+R(t)]x, where Λ is diagonal and R∈L^p[t₀,∞) for p∈[1,2]. Our dichotomy condition is in terms of the spectrum of the omega-limit set ω_Λ. Our results include examples that are not covered by the Hartman-Wintner theorem.     

Numerical solutions of stochastic differential delay equations under the generalized Khasminskii-type conditions

The classical existence-and-uniqueness theorem of the solution to a stochastic differential delay equation (SDDE) requires the local Lipschitz condition and the linear growth condition (see e.g. [11], [12] and [20]). The numerical solutions under these conditions have also been discussed intensively (see e.g. [4], [10], [13], [16], [17], [18], [21], [22] and [24]). Recently, Mao and Rassias [14] and [15] established the generalized Khasminskii-type existence-and-uniqueness theorems for SDDEs, where the linear growth condition is no longer imposed. These generalized Khasminskii-type theorems cover a wide class of highly nonlinear SDDEs but these nonlinear SDDEs do not have explicit solutions, whence numerical solutions are required in practice. However, there is so far little numerical theory on SDDEs under these generalized Khasminskii-type conditions. The key aim of this paper is to close this gap.     

Existence of homoclinic solution for the second order Hamiltonian systems

An existence theorem of homoclinic solution is obtained for a class of the nonautonomous second order Hamiltonian systems , ∀t∈R, by the minimax methods in the critical point theory, specially, the generalized mountain pass theorem, where L(t) is unnecessary uniformly positively definite for all t∈R, and W(t,x) satisfies the superquadratic condition W(t,x)/|x|²→+∞ as |x|→∞ uniformly in t, and need not satisfy the global Ambrosetti-Rabinowitz condition.     

Complete quenching for singular parabolic problems

We prove finite time extinction of the solution of the equation ut−Δu+χ{u>0}(u−β−λf(u))=0 in Ω×(0,∞) with boundary data u(x,t)=0 on ∂Ω×(0,∞) and initial condition u(x,0)=u₀(x) in Ω, where Ω⊂RN is a bounded smooth domain, 0<β<1 and λ>0 is a parameter. For every small enough λ>0 there exists a time t₀>0 such that the solution is identically equal to zero.     

Semismall perturbations, semi-intrinsic ultracontractivity, and integral representations of nonnegative solutions for parabolic equations

We consider nonnegative solutions of a parabolic equation in a cylinder D×I, where D is a noncompact domain of a Riemannian manifold and I=(0,T) with 0<T?∞ or I=(−∞,0). Under the assumption [SSP] (i.e., the constant function 1 is a semismall perturbation of the associated elliptic operator on D), we establish an integral representation theorem of nonnegative solutions: In the case I=(0,T), any nonnegative solution is represented uniquely by an integral on (D×{0})∪(M_∂D×[0,T)), where M_∂D is the Martin boundary of D for the elliptic operator; and in the case I=(−∞,0), any nonnegative solution is represented uniquely by the sum of an integral on M_∂D×(−∞,0) and a constant multiple of a particular solution. We also show that [SSP] implies the condition [SIU] (i.e., the associated heat kernel is semi-intrinsically ultracontractive).     

Locally Lipschitz solutions of a single conservation law in several space variables

We consider the Cauchy problem for a single conservation law in several space variables. Letting u(x, t) denote the solution with initial data u₀, we state necessary and sufficient conditions on u₀ so that u(x, t) is locally Lipschitz continuous in the half space {t > 0}. These conditions allow for the preservation of smoothness of u₀ as well as for the smooth resolution of discontinuities in u₀. One consequence of our result is that u(x, t) cannot be locally Lipschitz unless u₀ has locally bounded variation. Another is that solutions which are bounded and locally Lipschitz continuous in {t > 0} automatically have boundary values u₀ at t = 0 in the sense that u(·, t) → u₀ in L_loc¹. Finally, we give an elementary proof that locally Lipschitz solutions satisfy Kruzkov's uniqueness condition.     

Regularity and long time behavior of the Boltzmann equation for granular gases

This paper investigates regularity of solutions of the Boltzmann equation with dissipative collisions in a thermal bath. In the case of pseudo-Maxwellian approximation, we prove that for any initial datum f₀(ξ) in the set of probability density with zero bulk velocity and finite temperature, the unique solution of the equation satisfies f(ξ,t)∈H^∞(R³) for all t>0. Furthermore, for any t₀>0 and s?0 the Hs norm of f(ξ,t) is bounded for t?t₀. As a consequence, the exponential convergence to the unique steady state is also established under the same initial condition.     

Contractive maps on normed linear spaces and their applications to nonlinear matrix equations

In this paper we will give necessary and sufficient conditions under which a map is a contraction on a certain subset of a normed linear space. These conditions are already well known for maps on intervals in R. Using the conditions and Banach’s fixed point theorem we can prove a fixed point theorem for operators on a normed linear space. The fixed point theorem will be applied to the matrix equation X = I_n + A^∗f(X)A, where f is a map on the set of positive definite matrices induced by a real valued map on (0, ∞). This will give conditions on A and f under which the equation has a unique solution in a certain set. We will consider two examples of f in detail. In one example the application of the fixed point theorem is the first step in proving that the equation has a unique positive definite solution under the conditions on A.     

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.     

An extension of a Phillips's theorem to Banach algebras and application to the uniform continuity of strongly continuous semigroups

In this work we present an extension to arbitrary unital Banach algebras of a result due to Phillips [R.S. Phillips, Spectral theory of semigroups of linear operators, Trans. Amer. Math. Soc. 71 (1951) 393-415] (Theorem 1.1) which provides sufficient conditions assuring the uniform continuity of strongly continuous semigroups of linear operators. It implies that, when dealing with the algebra of bounded operators on a Banach space, the conditions of Phillips's theorem are also necessary. Moreover, it enables us to derive necessary and sufficient conditions in terms of essential spectra which guarantee the uniform continuity of strongly continuous semigroups. We close the paper by discussing the uniform continuity of strongly continuous groups (T(t))_t∈R acting on Banach spaces with separable duals such that, for each t∈R, the essential spectrum of T(t) is a finite set.     

The set of periodic scalar differential equations with cubic nonlinearities

We study the structure induced by the number of periodic solutions on the set of differential equations x^′=f(t,x) where f∈C³(R²) is T-periodic in t, fx³(t,x)<0 for every (t,x)∈R², and f(t,x)→?∞ as x→∞, uniformly on t. We find that the set of differential equations with a singular periodic solution is a codimension-one submanifold, which divides the space into two components: equations with one periodic solution and equations with three periodic solutions. Moreover, the set of differential equations with exactly one periodic singular solution and no other periodic solution is a codimension-two submanifold.     

Asymptotic behaviour of solutions to some pseudoparabolic equations

The aim of this paper is to investigate the behaviour as t→∞ of solutions to the Cauchy problem u_t−△u_t−v△u−(b,∇u)=∇⋅F(u),u(x,0)=u₀(x), where v>0 is a fixed constant, t≥0, x∈Ω, Ω is a bounded domain in Rⁿ. We will first establish an a priori estimate. Then, we establish the global existence, uniqueness and continuous dependence of the weak solution for the Sobolev-Galpern type equation with the Dirichlet boundary.     

Positive solutions of a nonlinear initial-value problem on half-line

The nonlinear initial-value problemu″(t)+f(t,u(t))=0,u(t ₀)+bu′(t ₀)=c,t ₀≥0,b≤0,c≥0, is considered for positive solutions on [t ₀, ∞). Existence of positive solutions is proved without the hypothesis thatf(t, ω)≥0 (or ≤0), using the lattice fixed point theorem. A monotonicity condition inf(t, ω) is used to prove the uniqueness of the solution of the initial-value problem. Whenf(t, ω)≥0 (or ≤0), uniqueness is also obtained under a sublinearity condition onf(t, ω).     

Scalar conservation laws with general boundary condition and continuous flux function

We introduce a notion of entropy solution for a scalar conservation law on a bounded domain with nonhomogeneous boundary condition: ut+divΦ(u)=f on Q=(0,T)×Ω, u(0,⋅)=u₀ on Ω and “u=a on some part of the boundary (0,T)×∂Ω.” Existence and uniqueness of the entropy solution is established for any Φ∈C(R;RN), u₀∈L^∞(Ω), f∈L^∞(Q), a∈L^∞((0,T)×∂Ω). In the L¹-setting, a corresponding result is proved for the more general notion of renormalised entropy solution.     

Crossing points of distributions and a theorem that relates them to second order stochastic dominance

We state formal definitions for crossing points in pairs of distributions and give a detailed proof of a theorem that relates those points to the second order stochastic dominance (SSD). The theorem states that the fulfillment of the area balance conditions for SSD at the t values that correspond to crossing points, and at the limit t→∞, is a necessary and sufficient condition for its fulfillment at all t: {−∞<t<∞}, as required for the existence of SSD. We provide examples for the application of the theorem in the case of continuous distributions, including a continuous counter example to prove that the Mean-Variance criterion is not sufficient to state preferences under risk aversion.     

Uniform approximation of Poisson integrals of functions from the class H ω by de la Vallée Poussin sums

We obtain asymptotic equalities for least upper bounds of deviations in the uniform metric of de la Vallée Poussin sums on the sets C _?? ^q H _?? of Poisson integrals of functions from the class H _?? generated by convex upwards moduli of continuity ??(t) which satisfy the condition ??(t)/t ?? ?? as t ?? 0. As an implication, a solution of the Kolmogorov-Nikol??skii problem for de la Vallée Poussin sums on the sets of Poisson integrals of functions belonging to Lipschitz classes H ^??, 0 < ?? < 1, is obtained.     

An application of semigroups of locally Lipschitz operators to Carrier equations with acoustic boundary conditions

A generation theorem of semigroups of locally Lipschitz operators on a subset of a real Banach space is given and applied to the problem of the well-posedness of the Carrier equation utt−κ(‖u^‖2)Δu+γ|ut|^p−1ut=0 in Ω×(0,∞) with acoustic boundary condition, where p>2 and Ω is a bounded domain in an arbitrary dimensional space.     

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