Necessary stability conditions for differential-difference equations

Hurwitz-stable polynomials and quasi-polynomials are split to construct positive rational functions. Computational characterizations of positive functions are used to derive low-order necessary stability criteria. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

抛物型时滞偏微分方程解振动的充要条件

讨论一类多滞量抛物型时滞偏微分方程解的振动性质，获得了其一切解振动的充要条件及一些充分条件；指出了其与普通抛物型偏微分方程解的质的差异．     

Necessary and sufficient conditions for the existence of stabilizing feedback for control systems

We prove that the existence of a non-smooth control Lyapunovfunction is a necessary and sufficient condition for the existenceof an ordinary smooth time-varying feedback that stabilizesan affine time-varying control system. Results concerning thenon-affine case are also provided.     

任意阶中立型方程正解存在的充要条件

给出了任意阶中立型微分方程（x(t)-p(t)g(x(τ(t)))^(n) ∫α^βt(t,ξ，x(g1(t,ξ）），x(g2(t,ξ）），…，x(gm(t,ξ）））dη（ξ）=0存在正解x(t)满足x(t)-p(t)g(x(τ(t)))/t^k→正常数（→∞)物条件，作为本文结果的特例，部分地解决了文[5]提出的公开问题2。     

On potentiality conditions for partial differential-difference equations

We obtain necessary and sufficient conditions for the existence of variational principles with respect to a classical bilinear form for boundary value problems for partial differential-difference equations.     

Necessary and sufficient conditions for the existence of equilibrium in abstract non-autonomous functional differential equations

In this article, we aim to establish necessary and sufficient conditions that guarantee the existence of equilibria and continuous equilibria for the continuous skew-product semiflow induced by a class of abstract non-autonomous finite-delay functional differential equations without any monotone conditions assumed. A minimal set is constructed in terms of which necessary and sufficient conditions for a continuous equilibrium to exist are also obtained. Several illustrative examples are employed to demonstrate our results.     

Necessary and sufficient conditions for optimal control of quasilinear partial differential systems

First-order necessary and sufficient conditions are obtained for the following quasilinear distributed-parameter optimal control problem: $$max\left\{ {J(u) = \int_\Omega {F(x,u,t) d\omega + } \int_{\partial \Omega } {G(x,t) \cdot d\sigma } } \right\},$$ subject to the partial differential equation $$A(t)x = f(x,u,t),$$ wheret,u,G are vectors andx,F are scalars. Use is made of then-dimensional Green's theorem and the adjoint problem of the equation. The second integral in the objective function is a generalized surface integral. Use of then-dimensional Green's theorem allows simple generalization of single-parameter methods. Sufficiency is proved under a concavity assumption for the maximized Hamiltonian $$H^\circ (x,\lambda ,t) = \max \{ H(x,u,\lambda ,t):u\varepsilon K\} $$ .     

Necessary and sufficient conditions for the existence of positive solutions to algebraic Riccati equations with indefinite quadratic term

Necessary and sufficient conditions are established in this paper for the existence of positive- and/or negative-definite solutions to the algebraic Riccati equation with indefinite coefficient. An iterative procedure is also given for computing such a solution.Project supported by the National Science Foundation of China and by the special program of the State Education Commission of China under grant 9033507.     

Necessary and sufficient conditions for the regularity and stability for some partial functional differential equations with infinite delay

In this work we give necessary and sufficient conditions for the regularity and stability of solutions for some partial functional differential equations with infinite delay. We establish also a new characterization of the infinitesimal generator of the solution semigroup.     

Necessary conditions and sufficient conditions for global existence for two-components nonlinear Schrödinger equations in the super critical case

In this paper, we consider two-components nonlinear Schrödinger equations in the super critical case. We establish a necessary condition and a sufficient condition of global existence of the solution for two-components nonlinear Schrödinger equations. These conditions are charge criterion of global existence in the super critical case, thereby extending the results in the critical case. Furthermore, we improve a blow-up condition.     

Necessary and sufficient conditions for interpolation with functions having monotoner-th derivatives

,

Necessary and sufficient conditions for GMRES complete and partial stagnation

In this paper we give necessary and sufficient conditions for the complete or partial stagnation of the GMRES iterative method for solving real linear systems. Our results rely on a paper by Arioli, Pták and Strakoš (1998), characterizing the matrices having a prescribed convergence curve for the residual norms. We show that we have complete stagnation if and only if the matrix A is orthonormally similar to an upper or lower Hessenberg matrix having a particular first row or column or a particular last row or column. Partial stagnation is characterized by a particular pattern of the matrix Q in the QR factorization of the upper Hessenberg matrix generated by the Arnoldi process.     

Necessary and sufficient conditions for the fractional calculus of variations with Caputo derivatives

We prove optimality conditions for different variational functionals containing left and right Caputo fractional derivatives. A sufficient condition of minimization under an appropriate convexity assumption is given. An Euler–Lagrange equation for functionals where the lower and upper bounds of the integral are distinct of the bounds of the Caputo derivative is also proved. Then, the fractional isoperimetric problem is formulated with an integral constraint also containing Caputo derivatives. Normal and abnormal extremals are considered.     

Necessary and sufficient conditions for the existence of Helmholtz decompositions in general domains

Consider a general domain \(\varOmega \subseteq {\mathbb {R}}^n, n\ge 2\) , and let \(1 < q <\infty \) . Our first result is based on the estimate for the gradient \(\nabla p \in G^q(\varOmega )\) in the form \(\Vert \nabla p\Vert _q \le C \,\sup |\langle \nabla p,\nabla v\rangle _{\varOmega }|/\Vert \nabla v\Vert _{q'}\) , \(\nabla v \in G^{q'}(\varOmega ), q' = \frac{q}{q-1}\) , with some constant \(C=C(\varOmega ,q)>0\) . This estimate was introduced by Simader and Sohr (Mathematical Problems Relating to the Navier–Stokes Equations. Series on Advances in Mathematics for Applied Sciences, vol. 11, pp. 1–35. World Scientific, Singapore, 1992) for smooth bounded and exterior domains. We show for general domains that the validity of this gradient estimate in \(G^q(\varOmega )\) and in \(G^{q'}(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) . A new aspect concerns the estimate for divergence free functions \(f_0 \in L^q_{\sigma }(\varOmega )\) in the form \(\Vert f_0\Vert _q \le C \sup |\langle f_0,w\rangle _{\varOmega }|/ \Vert w\Vert _{q'}, w\in L^{q'}_{\sigma }(\varOmega )\) , for the second part of the Helmholtz decomposition. We show again for general domains that the validity of this estimate in \(L^q_{\sigma }(\varOmega )\) and in \(L^{q'}_{\sigma }(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) .