A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator

Let A be a possibly unbounded skew-adjoint operator on the Hilbert space X with compact resolvent. Let C be a bounded operator from D(A) to another Hilbert space Y. We consider the system governed by the state equation with the output y(t)=Cz(t). We characterize the exact observability of this system only in terms of C and of the spectral elements of the operator A. The starting point in the proof of this result is a Hautus-type test, recently obtained in Burq and Zworski (J. Amer. Soc. 17 (2004) 443-471) and Miller (J. Funct. Anal. 218 (2) (2005) 425-444). We then apply this result to various systems governed by partial differential equations with observation on the boundary of the domain. The Schrödinger equation, the Bernoulli-Euler plate equation and the wave equation in a square are considered. For the plate and Schrödinger equations, the main novelty brought in by our results is that we prove the exact boundary observability for an arbitrarily small observed part of the boundary. This is done by combining our spectral observability test to a theorem of Beurling on nonharmonic Fourier series and to a new number theoretic result on shifted squares.     

Semi-classical limit of the bottom of spectrum of a Schrödinger operator on a path space over a compact Riemannian manifold

We determine the limit of the bottom of spectrum of Schrödinger operators with variable coefficients on Wiener spaces and path spaces over finite-dimensional compact Riemannian manifolds in the semi-classical limit. These are extensions of the results in [S. Aida, Semiclassical limit of the lowest eigenvalue of a Schrödinger operator on a Wiener space, J. Funct. Anal. 203 (2) (2003) 401-424]. The problem on path spaces over Riemannian manifolds is considered as a problem on Wiener spaces by using Ito's map. However the coefficient operator is not a bounded linear operator and the dependence on the path is not continuous in the uniform convergence topology if the Riemannian curvature tensor on the underling manifold is not equal to 0. The difficulties are solved by using unitary transformations of the Schrödinger operators by approximate ground state functions and estimates in the rough path analysis.     

Exact controllability for stochastic Schrödinger equations

This paper is addressed to studying the exact controllability of stochastic Schrödinger equations by two controls. One is a boundary control and the other is an internal control in the diffusion term. By means of the duality argument, the control problem is converted into an observability problem for backward stochastic Schrödinger equations, and the desired observability estimate is obtained by a global Carleman estimate. At last, we give a result about the lack of exact controllability, which shows that the action of two controls is necessary.     

Controllability cost of conservative systems: resolvent condition and transmutation

This article concerns the exact controllability of unitary groups on Hilbert spaces with unbounded control operator. It provides a necessary and sufficient condition not involving time which blends a resolvent estimate and an observability inequality. By the transmutation of controls in some time L for the corresponding second-order conservative system, it is proved that the cost of controls in time T for the unitary group grows at most like exp(αL²/T) as T tends to 0. In the application to the cost of fast controls for the Schrödinger equation, L is the length of the longest ray of geometric optics which does not intersect the control region. This article also provides observability resolvent estimates implying fast smoothing effect controllability at low cost, and underscores that the controllability cost of a system is not changed by taking its tensor product with a conservative system.     

Representation of infinite-dimensional neutral non-autonomous control systems

This paper studies the well-posedness of a class of non-autonomous neutral control systems in Banach spaces. We prove that such systems are represented by absolutely regular non-autonomous linear systems in the sense of Schnaubelt [R. Schnaubelt, Feedback for non-autonomous regular linear systems, SIAM J. Control Optim. 41 (2002) 1141-1165]. This paper can be considered as the non-autonomous version of the work presented in [H. Bounit, S. Hadd, Regular linear systems governed by neutral FDEs, J. Math. Anal. Appl. 320 (2006) 836-858].     

Strichartz estimates and local smoothing estimates for asymptotically flat Schrödinger equations

In this article we study global-in-time Strichartz estimates for the Schrödinger evolution corresponding to long-range perturbations of the Euclidean Laplacian. This is a natural continuation of a recent article [D. Tataru, Parametrices and dispersive estimates for Schrödinger operators with variable coefficients, Amer. J. Math. 130 (2008) 571-634] of the third author, where it is proved that local smoothing estimates imply Strichartz estimates. By [D. Tataru, Parametrices and dispersive estimates for Schrödinger operators with variable coefficients, Amer. J. Math. 130 (2008) 571-634] the local smoothing estimates are known to hold for small perturbations of the Laplacian. Here we consider the case of large perturbations in three increasingly favorable scenarios: (i) without non-trapping assumptions we prove estimates outside a compact set modulo a lower order spatially localized error term, (ii) with non-trapping assumptions we prove global estimates modulo a lower order spatially localized error term, and (iii) for time independent operators with no resonance or eigenvalue at the bottom of the spectrum we prove global estimates for the projection onto the continuous spectrum.     

The correct traveling wave solutions for the high-order dispersive nonlinear Schrödinger equation

The high-order dispersive nonlinear Schrödinger equation is considered. The exact solutions were obtained by Zhang et al. [J.L. Zhang, M.L. Wang, X.Z. Li, Phys. Lett. A 357 (2006) 188-195] are analyzed. We can demonstrate that some solutions do not satisfy this equation. To obtain the correct solutions, the F-expansion method is applied to solve it.     

A nonmonotone trust region method based on nonincreasing technique of weighted average of the successive function values

In this paper we propose a nonmonotone trust region method. Unlike traditional nonmonotone trust region method, the nonmonotone technique applied to our method is based on the nonmonotone line search technique proposed by Zhang and Hager [A nonmonotone line search technique and its application to unconstrained optimization, SIAM J. Optim. 14(4) (2004) 1043–1056] instead of that presented by Grippo et al. [A nonmonotone line search technique for Newton's method, SIAM J. Numer. Anal. 23(4) (1986) 707–716]. So the method requires nonincreasing of a special weighted average of the successive function values. Global and superlinear convergence of the method are proved under suitable conditions. Preliminary numerical results show that the method is efficient for unconstrained optimization problems.     

The state constrained bilateral minimal time function

We generalize, to the bilateral case (that is, with variable initial and end points), the main results of Nour and Stern [C. Nour, R.J. Stern, Regularity of the state constrained minimal time function, Nonlinear Anal. 66 (1) (2007) 62–72] and Stern [R.J. Stern, Characterization of the state constrained minimal time function, SIAM J. Control Optim. 43 (2004) 697–707], where the regularity and Hamilton–Jacobi characterization of the state constrained (unilateral) minimal time function were studied.     

Spectral properties of Jacobi matrices and sum rules of special form

In this article, we relate the properties of elements of a Jacobi matrix from certain class to the properties of its spectral measure. The main tools we use are the so-called sum rules introduced by Case in [Orthogonal polynomials from the viewpoint of scattering theory, J. Math. Phys. 15 (1974) 2166-2174; Orthogonal polynomials, II. J. Math. Phys. 16 (1975) 1435-1440]. Later, the sum rules were efficiently applied by Killip-Simon [Sum rules for Jacobi matrices and their applications to spectral theory. Ann. Math. 158 (2003) 253-321] to the spectral analysis of Jacobi matrices. We use a modification of the method that permits us to work with sum rules of higher orders. As a corollary of the main theorem, we obtain a counterpart of a result of Molchanov-Novitskii-Vainberg [First KdV integrals and absolutely continuous spectrum for 1-D Schrödinger operator, Comm. Math. Phys. 216 (2001) 195-213] for a “continuous” Schrödinger operator on a half-line.     

A family of derivative-free conjugate gradient methods for large-scale nonlinear systems of equations

In this paper, we propose a family of derivative-free conjugate gradient methods for large-scale nonlinear systems of equations. They come from two modified conjugate gradient methods [W.Y. Cheng, A two term PRP based descent Method, Numer. Funct. Anal. Optim. 28 (2007) 1217–1230; L. Zhang, W.J. Zhou, D.H. Li, A descent modified Polak–Ribiére–Polyak conjugate gradient method and its global convergence, IMA J. Numer. Anal. 26 (2006) 629–640] recently proposed for unconstrained optimization problems. Under appropriate conditions, the global convergence of the proposed method is established. Preliminary numerical results show that the proposed method is promising.     

A Crank‐Nicolson and ADI Galerkin method with quadrature for hyperbolic problems

We propose, analyze, and implement fully discrete two‐time level Crank‐Nicolson methods with quadrature for solving second‐order hyperbolic initial boundary value problems. Our algorithms include a practical version of the ADI scheme of Fernandes and Fairweather [SIAM J Numer Anal 28 (1991), 1265–1281] and also generalize the methods and analyzes of Baker [SIAM J Numer Anal 13 (1976), 564–576] and Baker and Dougalis [SIAM J Numer Anal 13 (1976), 577–598]. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

Addendum to Pontryagin’s maximum principle for dynamic systems on time scales

This note is an addendum to [L. Bourdin and E. Trélat, SIAM J. Cont. Optim., 2013] and [M. Bohner, K. Kenzhebaev, O. Lavrova and O. Stanzhytskyi, J. Differ. Equ. Appl., 2017], pointing out the differences between these papers and raising open questions.     

Generic well-posedness of minimization problems with mixed continuous constraints

In this paper we study mathematical programming problems with mixed constraints in a Banach space and show that most of the problems (in the Baire category sense) are well-posed. Our result is a generalization of a result of Ioffe et al. [SIAM J. Optim. 12 (2001) 461–478] obtained for finite-dimensional Banach spaces.     

Feasible Method for Generalized Semi-Infinite Programming

In this paper, we analyze the outer approximation property of the algorithm for generalized semi-infinite programming from Stein and Still (SIAM J. Control Optim. 42:769–788, 2003). A simple bound on the regularization error is found and used to formulate a feasible numerical method for generalized semi-infinite programming with convex lower-level problems. That is, all iterates of the numerical method are feasible points of the original optimization problem. The new method has the same computational cost as the original algorithm from Stein and Still (SIAM J. Control Optim. 42:769–788, 2003). We also discuss the merits of this approach for the adaptive convexification algorithm, a feasible point method for standard semi-infinite programming from Floudas and Stein (SIAM J. Optim. 18:1187–1208, 2007).     

Quantization of quadratic Liénard-type equations by preserving Noether symmetries

The classical quantization of a family of a quadratic Liénard-type equation (Liénard II equation) is achieved by a quantization scheme (Nucci 2011) [28] that preserves the Noether point symmetries of the underlying Lagrangian in order to construct the Schrödinger equation. This method straightforwardly yields the Schrödinger equation as given in Choudhury and Guha (2013) [6].     

Local smoothing effect on the Schrödinger equation with harmonic potential

We consider the linear Schrödinger equation with repulsive harmonic potential. We establish the local smoothing effect of this type of equations. Our work extends the related results obtained by L. Vega and N. Visciglia for the free Schrödinger equation.     

On the convergence of Newton-type methods under mild differentiability conditions

We introduce the new idea of recurrent functions to provide a new semilocal convergence analysis for Newton-type methods, under mild differentiability conditions. It turns out that our sufficient convergence conditions are weaker, and the error bounds are tighter than in earlier studies in some interesting cases (Chen, Ann Inst Stat Math 42:387–401, 1990; Chen, Numer Funct Anal Optim 10:37–48, 1989; Cianciaruso, Numer Funct Anal Optim 24:713–723, 2003; Cianciaruso, Nonlinear Funct Anal Appl 2009; Dennis 1971; Deuflhard 2004; Deuflhard, SIAM J Numer Anal 16:1–10, 1979; Gutiérrez, J Comput Appl Math 79:131–145, 1997; Hernández, J Optim Theory Appl 109:631–648, 2001; Hernández, J Comput Appl Math 115:245–254, 2000; Huang, J Comput Appl Math 47:211–217, 1993; Kantorovich 1982; Miel, Numer Math 33:391–396, 1979; Miel, Math Comput 34:185–202, 1980; Moret, Computing 33:65–73, 1984; Potra, Libertas Mathematica 5:71–84, 1985; Rheinboldt, SIAM J Numer Anal 5:42–63, 1968; Yamamoto, Numer Math 51: 545–557, 1987; Zabrejko, Numer Funct Anal Optim 9:671–684, 1987; Zinc̆ko 1963). Applications and numerical examples, involving a nonlinear integral equation of Chandrasekhar-type, and a differential equation are also provided in this study.     

A priori error estimates for space–time finite element discretization of semilinear parabolic optimal control problems

In this paper, a priori error estimates for space–time finite element discretizations of optimal control problems governed by semilinear parabolic PDEs and subject to pointwise control constraints are derived. We extend the approach from Meidner and Vexler (SIAM Control Optim 47(3):1150–1177, 2008; SIAM Control Optim 47(3):1301–1329, 2008) where linear-quadratic problems have been considered, discretizing the state equation by usual conforming finite elements in space and a discontinuous Galerkin method in time. Error estimates for controls discretized by piecewise constant functions in time and cellwise constant functions in space are derived in detail and we explain how error estimate for further discretization approaches, e.g., cellwise linear discretization in space, the postprocessing approach from Meyer and R?sch (SIAM J Control Optim 43:970–985, 2004), and the variationally discrete approach from Hinze (J Comput Optim Appl 30:45–63, 2005) can be obtained. In addition, we derive an estimate for a setting with finitely many time-dependent controls.     

On the convergence of general regularization and smoothing schemes for mathematical programs with complementarity constraints

We extend the convergence analysis of a smoothing method [M. Fukushima and J.-S. Pang (2000). Convergence of a smoothing continuation method for mathematical programs with complementarity constraints. In: M. Théra and R. Tichatschke (Eds.), Ill-posed Variational Problems and Regularization Techniques, pp. 99–110. Springer, Berlin/Heidelberg.] to a general class of smoothing functions and show that a weak second-order necessary optimality condition holds at the limit point of a sequence of stationary points found by the smoothing method. We also show that convergence and stability results in [S. Scholtes (2001). Convergence properties of a regularization scheme for mathematical programs with complementarity constraints. SIAM J. Optim., 11, 918–936.] hold for a relaxation problem suggested by Scholtes [S. Scholtes (2003). Private communications.] using a class of smoothing functions. In addition, the relationship between two technical, yet critical, concepts in [M. Fukushima and J.-S. Pang (2000). Convergence of a smoothing continuation method for mathematical programs with complementarity constraints. In: M. Théra and R. Tichatschke (Eds.), Ill-posed Variational Problems and Regularization Techniques, pp. 99–110. Springer, Berlin/Heidelberg; S. Scholtes (2001). Convergence properties of a regularization scheme for mathematical programs with complementarity constraints. SIAM J. Optim., 11, 918–936.] for the convergence analysis of the smoothing and regularization methods is discussed and a counter-example is provided to show that the stability result in [S. Scholtes (2001). Convergence properties of a regularization scheme for mathematical programs with complementarity constraints. SIAM J. Optim., 11, 918–936.] cannot be extended to a weaker regularization.