Circular spectrum and bounded solutions of periodic evolution equations

We consider the existence and uniqueness of bounded solutions of periodic evolution equations of the form u^′=A(t)u+?H(t,u)+f(t), where A(t) is, in general, an unbounded operator depending 1-periodically on t, H is 1-periodic in t, ? is small, and f is a bounded and continuous function that is not necessarily uniformly continuous. We propose a new approach to the spectral theory of functions via the concept of “circular spectrum” and then apply it to study the linear equations u^′=A(t)u+f(t) with general conditions on f. For small ? we show that the perturbed equation inherits some properties of the linear unperturbed one. The main results extend recent results in the direction, saying that if the unitary spectrum of the monodromy operator does not intersect the circular spectrum of f, then the evolution equation has a unique mild solution with its circular spectrum contained in the circular spectrum of f.     

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.     

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.     

An abstract semilinear hyperbolic Volterra integrodifferential equation

We consider semilinear integrodifferential equations of the form u′(t) + A(t) u(t) = ∝₀^tg(t, s, u(s)) ds + f(t), u(0) = u₀. For each t ? 0, the operator A(t) is assumed to be the negative generator of a strongly continuous semigroup in a Banach space X. The domain D(A(t)) of A(t) is allowed to vary with t. Thus our models are Volterra integrodifferential equations of “hyperbolic type.” These types of equations arise naturally in the study of viscoelasticity. Our main results are the proofs of existence, uniqueness, continuation and continuous dependence of the solutions.     

Optimality conditions for fractional minmax programming

Let V ?H be real separable Hilbert spaces. The abstract wave equation u′' + A(t)u = g(u), where u(t) ?V, A(t) maps V to its dual $\text{V}{}^1$, and g is a nonlinear map from the ball S(R₀) = {u?V: ∥u∥ < R₀} into H, is considered. It is assumed that g is locally Lipschitz in S(R₀) and possibly singular at the boundary. Local existence and continuation theorems are established for the Cauchy problem u(0) = u₀?S(R₀), u′(0) = u₁?H. Global existence is shown for g(u) = εφ(u), where φ has a potential and ε is small. Global nonexistence is shown for g(u) = εφ(u), where φ satisfies an abstract convexity property and ε is large.     

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

Almost automorphic solutions to nonautonomous semilinear evolution equations in Banach spaces

This paper is concerned with almost automorphy of the solutions to a nonautonomous semilinear evolution equation u^′(t)=A(t)u(t)+f(t,u(t)) in a Banach space with a Stepanov-like almost automorphic nonlinear term. We establish a composition theorem for Stepanov-like almost automorphic functions. Furthermore, we obtain some existence and uniqueness theorems for almost automorphic solutions to the nonautonomous evolution equation, by means of the evolution family and the exponential dichotomy. Some results in this paper are new even if A(t) is time independent.     

Positive and dead core solutions of singular BVPs for third-order differential equations

The paper discusses the existence of positive and dead core solutions of the singular differential equation (?(u^″))^′=λf(t,u,u^′,u^″) satisfying the boundary conditions u(0)=A, u(T)=A, min{u(t):t∈[0,T]}=0. Here λ is a nonnegative parameter, A is a positive constant and the Carathéodory function f(t,x,y,z) is singular at the value 0 of its space variable y.     

Minimum cost homomorphisms to semicomplete multipartite digraphs

For digraphs D and H, a mapping f:V(D)→V(H) is a homomorphism ofDtoH if uv∈A(D) implies f(u)f(v)∈A(H). For a fixed directed or undirected graph H and an input graph D, the problem of verifying whether there exists a homomorphism of D to H has been studied in a large number of papers. We study an optimization version of this decision problem. Our optimization problem is motivated by a real-world problem in defence logistics and was introduced recently by the authors and M. Tso.Suppose we are given a pair of digraphs D,H and a cost c_i(u) for each u∈V(D) and i∈V(H). The cost of a homomorphism f of D to H is ∑_u∈V(D)c_f(u)(u). Let H be a fixed digraph. The minimum cost homomorphism problem for H, MinHOMP(H), is stated as follows: For input digraph D and costs c_i(u) for each u∈V(D) and i∈V(H), verify whether there is a homomorphism of D to H and, if it does exist, find such a homomorphism of minimum cost. In our previous paper we obtained a dichotomy classification of the time complexity of when H is a semicomplete digraph. In this paper we extend the classification to semicomplete k-partite digraphs, k≥3, and obtain such a classification for bipartite tournaments.     

The complexity of the minimum cost homomorphism problem for semicomplete digraphs with possible loops

For digraphs D and H, a mapping f:V(D)→V(H) is a homomorphism of D to H if uv∈A(D) implies f(u)f(v)∈A(H). For a fixed digraph H, the homomorphism problem is to decide whether an input digraph D admits a homomorphism to H or not, and is denoted as HOM(H).An optimization version of the homomorphism problem was motivated by a real-world problem in defence logistics and was introduced in Gutin, Rafiey, Yeo and Tso (2006) [13]. If each vertex u∈V(D) is associated with costs c_i(u),i∈V(H), then the cost of the homomorphism f is ∑_u∈V(D)c_f(u)(u). For each fixed digraph H, we have the minimum cost homomorphism problem forH and denote it as MinHOM(H). The problem is to decide, for an input graph D with costs c_i(u),u∈V(D),i∈V(H), whether there exists a homomorphism of D to H and, if one exists, to find one of minimum cost.Although a complete dichotomy classification of the complexity of MinHOM(H) for a digraph H remains an unsolved problem, complete dichotomy classifications for MinHOM(H) were proved when H is a semicomplete digraph Gutin, Rafiey and Yeo (2006) [10], and a semicomplete multipartite digraph Gutin, Rafiey and Yeo (2008) [12] and [11]. In these studies, it is assumed that the digraph H is loopless. In this paper, we present a full dichotomy classification for semicomplete digraphs with possible loops, which solves a problem in Gutin and Kim (2008) [9].     

Maximal space regularity for abstract linear non-autonomous parabolic equations

The linear non-autonomous evolution equation $\text{u′(t) ? A(t) u(t) = ?(t), t ∈ [0, T]}$, with the initial datum u(0) = x, in the space C([0, T], E), where E is a Banach space and {A(t)} is a family of infinitesimal generators of bounded analytic semigroups is considered; the domains D(A(t)) are supposed constant in t and possibly not dense in E. Maximal regularity of the strict and classical solutions, i.e., regularity of u′ and A(·)u(·) with values in the interpolation spaces D_A(0)(θ, ∞) and D_A(0)(θ) between D(A(0)) and E, is studied. A characterization of such spaces in a concrete case is also given.     

Periodic forcing of solutions of a boundary value problem for a second-order differential equation in Hilbert space

We show that if u is a bounded solution on $\text{R}$⁺ of u″(t) ?Au(t) + f(t), where A is a maximal monotone operator on a real Hilbert space H and f∈L_loc²($\text{R}$⁺;H) is periodic, then there exists a periodic solution ω of the differential equation such that u(t) ? ω(t)   0 and u′(t) ? ω′(t) → 0 as t → ∞. We also show that the two-point boundary value problem for this equation has a unique solution for boundary values in $\text{D(A)}$ and that a smoothing effect takes place.     

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.     

On a stochastic nonlinear equation arising from 1D integro-differential scalar conservation laws

In this paper we study the initial problem for a stochastic nonlinear equation arising from 1D integro-differential scalar conservation laws. The equation is driven by Lévy space-time white noise in the following form:

(t_∂−A)u+x_∂q(u)=f(u)+g(u)Ft,x     

Remarks on frequency domain methods for Volterra integral equations

The equation u(t) = ? ∫₀^tA(t ? τ) g(u(τ)) dτ + h(t), t ? 0 is studied on a Hilbert space H. A(t) is a family of bounded linear operators and g can be unbounded and nonlinear. Stability and asymptotic stability of solutions are studied. Frequency domain conditions are statements about the Laplace transform of A. An extension of the frequency domain method of Popov for H = R¹ is given. Here it is assumed that g is the gradient of a functional G. The frequency domain conditions are related to monotonicity and convexity conditions on A thus connecting Popov's result with work of Levin and London on equations in R¹. A second result is given in which g is not assumed to be a gradient. This extends a result of Levin in R¹. The ideas are illustrated by an example of a nonlinear partial differential functional equation.     

Uniqueness of solutions to an Abel type nonlinear integral equation on the half line

We consider a convolution-type integral equation u = k ? g(u) on the half line (???; a), a ?? ?, with kernel k(x) = x ^???1, 0 < ??, and function g(u), continuous and nondecreasing, such that g(0) = 0 and 0 < g(u) for 0 < u. We concentrate on the uniqueness problem for this equation, and we prove that if ?? ?? (1, 4), then for any two nontrivial solutions u ₁, u ₂ there exists a constant c ?? ? such that u ₂(x) = u ₁(x +c), ??? < x. The results are obtained by applying Hilbert projective metrics.     

Stochastic wave equation with critical nonlinearities: Temporal regularity and uniqueness

We consider a nonlinear wave equation on Rd driven by a spatially homogeneous Wiener process W with a finite spectral measure and with nonlinear terms f, g of critical growth. We study pathwise uniqueness and norm continuity of paths of (u,ut) in H¹(Rd)⊕L²(Rd) under the hypothesis that there exists a local solution u such that (u,ut) has weakly continuous paths in H¹(Rd)⊕L²(Rd).     

Periodic solutions for wave equations with variable coefficients with nonlinear localized damping

We discuss the existence of periodic solutions to the wave equation with variable coefficients utt−div(A(x)∇u)+ρ(x,ut)=f(x,t) with Dirichlet boundary condition. Here ρ(x,v) is a function like ρ(x,v)=a(x)g(v) with g^′(v)?0 where a(x) is nonnegative, being positive only in a neighborhood of a part of the domain.     

Strong and Weak Solutions to Second Order Differential Inclusions Governed by Monotone Operators

In this paper we introduce the concept of a weak solution for second order differential inclusions of the form u″(t) ∈ Au(t) + f(t), where A is a maximal monotone operator in a Hilbert space H. We prove existence and uniqueness of weak solutions to two point boundary value problems associated with such kind of equations. Furthermore, existence of (strong and weak) solutions to the equation above which are bounded on the positive half axis is proved under the optimal condition tf(t) ∈ L ¹(0, ∞; H), thus solving a long-standing open problem (for details, see our comments in Section 3 of the paper). Our treatment regarding weak solutions is similar to the corresponding theory related to the first order differential inclusions of the form f(t) ∈ u′(t) + Au(t) which has already been well developed.     

Minimum cost and list homomorphisms to semicomplete digraphs

For digraphs D and H, a mapping f:V(D)→V(H) is a homomorphism of D to H if uv∈A(D) implies f(u)f(v)∈A(H). Let H be a fixed directed or undirected graph. The homomorphism problem for H asks whether a directed or undirected input graph D admits a homomorphism to H. The list homomorphism problem for H is a generalization of the homomorphism problem for H, where every vertex x∈V(D) is assigned a set L_x of possible colors (vertices of H).The following optimization version of these decision problems generalizes the list homomorphism problem and was introduced in Gutin et al. [Level of repair analysis and minimum cost homomorphisms of graphs, Discrete Appl. Math., to appear], where it was motivated by a real-world problem in defence logistics. Suppose we are given a pair of digraphs D,H and a positive integral cost c_i(u) for each u∈V(D) and i∈V(H). The cost of a homomorphism f of D to H is . For a fixed digraph H, the minimum cost homomorphism problem for H is stated as follows: for an input digraph D and costs c_i(u) for each u∈V(D) and i∈V(H), verify whether there is a homomorphism of D to H and, if one exists, find such a homomorphism of minimum cost.We obtain dichotomy classifications of the computational complexity of the list homomorphism and minimum cost homomorphism problems, when H is a semicomplete digraph (digraph in which there is at least one arc between any two vertices). Our dichotomy for the list homomorphism problem coincides with the one obtained by Bang-Jensen, Hell and MacGillivray in 1988 for the homomorphism problem when H is a semicomplete digraph: both problems are polynomial solvable if H has at most one cycle; otherwise, both problems are NP-complete. The dichotomy for the minimum cost homomorphism problem is different: the problem is polynomial time solvable if H is acyclic or H is a cycle of length 2 or 3; otherwise, the problem is NP-hard.