Stabilization of bilinear control systems in Hilbert space with nonquadratic feedback

We consider bilinear control systems of the form y′(t) = Ay(t) + u(t)By(t) where A generates a strongly continuous semigroup of contraction (e ^{t A} ) _t⩾0 on an infinite-dimensional Hilbert space Y whose scalar product is denoted by 〈.,.〉. The function u denotes the scalar control. We suppose that B is a linear bounded operator from the state Y into itself. Tacking into account the control saturation, we study the problem of stabilization by feedback of the form u(t)=−f(〈By(t), y(t)〉). Application to the heat equation is considered.      

The Instability of Nonmonotonic Wave Solutions of Parabolic Equations

We consider the class of equations u_t=f(u_xx, u_x, u) under the restriction that for all a,b,c. We first consider this equation over the unbounded domain ? ∞ < x < + ∞, and we show that very nearly every bounded nonmonotonic solution of the form u(t, x)=?(x?ct) is unstable to all nonnegative and all nonpositive perturbations. We then extend these results to nonmonotonic plane wave solutions u(t, x, y)=?(x?ct) of u_t = F(u_xx, u_xy, u_x, u_y, u). Finally, we consider the class of equations u_t=f(u_xx, u_x, u) over the bounded domain 0 < x < 1 with the boundary conditions u(t, x)=A at x=0 and u(t, x)=B at x=1, and we find the stability of all steady solutions u(t, x)=?(x).     

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.     

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.     

Maps preserving peripheral spectrum of Jordan semi-triple products of operators

Let A and B be (not necessarily unital or closed) standard operator algebras on complex Banach spaces X and Y, respectively. For a bounded linear operator A on X, the peripheral spectrum σ_π(A) of A is the set σ_π(A)={z∈σ(A):|z|=max_ω∈σ(A)|ω|}, where σ(A) denotes the spectrum of A. Assume that Φ:A→B is a map the range of which contains all operators of rank at most two. It is shown that the map Φ satisfies the condition that σ_π(BAB)=σ_π(Φ(B)Φ(A)Φ(B)) for all A,B∈A if and only if there exists a scalar λ∈C with λ³=1 and either there exists an invertible operator T∈B(X,Y) such that Φ(A)=λTAT^-1 for every A∈A; or there exists an invertible operator T∈B(X^∗,Y) such that Φ(A)=λTA^∗T^-1 for every A∈A. If X=H and Y=K are complex Hilbert spaces, the maps preserving the peripheral spectrum of the Jordan skew semi-triple product BA^∗B are also characterized. Such maps are of the form A?UAU^∗ or A?UA^tU^∗, where U∈B(H,K) is a unitary operator, A^t denotes the transpose of A in an arbitrary but fixed orthonormal basis of H.     

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.     

Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

Examples of equations of Navier-Stokes type not strongly solvable in the large

In the space of functions with values in Hilbert space, we consider the Cauchy problem u′ _t + Au + B(u, u) = f(t), u(0) = 0, 0 ≤ t ≤ T. We construct examples of a self-adjoint operator A ≥ E and a bilinear transformation B satisfying the condition 〈B(u, v), v〉 = 0 such that the Cauchy problem is not strongly solvable.     

Wave equations with time-dependent spatial operators of higher order

We study the initial-boundary value problem for ?_t²u(t,x)+A(t)u(t,x)+B(t)?_tu(t,x)=f(t,x) on [0,T]×Ω(Ω??ⁿ) with a homogeneous Dirichlet boundary condition; here A(t) denotes a family of uniformly strongly elliptic operators of order 2m, B(t) denotes a family of spatial differential operators of order less than or equal to m, and u is a scalar function. We prove the existence of a unique strong solution u. Furthermore, an energy estimate for u is given.     

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 the Gröbner complexity of matrices

In this paper we show that if for an integer matrix A the universal Gröbner basis of the associated toric ideal I_A coincides with the Graver basis of A, then the Gröbner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. In fact, if the universal Gröbner basis of I_A coincides with the Graver basis of A, then also the more general complexities u(A,B) and g(A,B) agree for arbitrary B. We conclude that for the matrices A_3×3 and A_3×4, defining the 3×3 and 3×4 transportation problems, we have u(A_3×3)=g(A_3×3)=9 and u(A_3×4)=g(A_3×4)≥27. Moreover, we prove that u(A_a,b)=g(A_a,b)=2(a+b)/gcd(a,b) for positive integers a,b and .     

A Massera type theorem for almost automorphic solutions of differential equations

In this note, we present a Massera type theorem for the existence of almost automorphic solutions of periodic linear evolution equations of the form x^′(t)=A(t)x(t)+f(t), where A(t) is unbounded linear operator depending on t periodically and generates a τ-periodic evolutionary process, f is almost automorphic. The main results are stated in terms of the almost automorphy of solutions and their Carleman spectra.     

A new off-step high order approximation for the solution of three-space dimensional nonlinear wave equations

In this paper, we propose a new high accuracy numerical method of O(k² + k²h² + h⁴) based on off-step discretization for the solution of 3-space dimensional non-linear wave equation of the form u_tt = A(x,y,z,t)u_xx + B(x,y,z,t)u_yy + C(x,y,z,t)u_zz + g(x,y,z,t,u,u_x,u_y,u_z,u_t), 0 < x,y,z < 1,t > 0 subject to given appropriate initial and Dirichlet boundary conditions, where k > 0 and h > 0 are mesh sizes in time and space directions respectively. We use only seven evaluations of the function g as compared to nine evaluations of the same function discussed in  and . We describe the derivation procedure in details of the algorithm. The proposed numerical algorithm is directly applicable to wave equation in polar coordinates and we do not require any fictitious points to discretize the differential equation. The proposed method when applied to a telegraphic equation is also shown to be unconditionally stable. Comparative numerical results are provided to justify the usefulness of the proposed method.     

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     

Polynomially bounded solutions to the Loewner differential equation in several complex variables

We determine the form of polynomially bounded solutions to the Loewner differential equation that is satisfied by univalent subordination chains of the form f(z,t)=etAz+?, where A∈L(Cn,Cn) has the property m(A)>0. Here m(A)=min{R〈A(z),z〉:‖z‖=1}. We also give sufficient conditions for g(z,t)=L(f(z,t)) to be polynomially bounded, where f(z,t) is an A-normalized polynomially bounded Loewner chain solution to the Loewner differential equation.     

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.     

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.     

Almost automorphic solutions of nonautonomous evolution equations

In this paper, we establish some new theorems about the existence of almost automorphic solutions to nonautonomous evolution equations u^′(t)=A(t)u(t)+f(t) and u^′(t)=A(t)u(t)+f(t,u(t)) in Banach spaces. As we will see, our results allow for a more general A(t) to some extent. An example is also given to illustrate our results. In addition, by means of an example, we show that one cannot ensure the existence of almost automorphic solutions to u^′(t)=A(t)u(t)+f(t) even if the evolution family U(t,s) generated by A(t) is exponentially stable and fAA(X).     

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.