1,721,063 research outputs found

    Homogeneous Tangent Vectors and High Order Necessary Conditions for Optimal Controls

    No full text
    Summary: The author introduces and analyzes "homogeneous" tangent vectors which provide high-order approximations to the attainable set for an affine control system of the form dotx=X0(x)+sumj=1mujXj(x)dot x=X_0(x)+sum^m_{j=1}u_jX_j(x). Homogeneous tangent vectors are defined relative to one-parameter families of dilations deltaerpsiloncolonRntoRndelta^r_epsiloncolonR^ntoR^n on RnR^n. Adjoint equations associated with the corresponding homogeneous variational equation are derived and used to transport homogeneous tangent vectors along the flow of a reference trajectory. These constructions are then used to derive a homogeneous high-order test for optimality of control problems in Mayer form without terminal constraints. Essentially, it is shown that if vnu(t)v_nu(t) is a homogeneous tangent vector with respect to a dilation deltaerpsilondelta^r_epsilon generated by a control variation, then it is a necessary condition for optimality that p(t)vnu(t)leq0p(t)v_nu(t)leq0, where p(t)p(t) denotes the solution of the corresponding homogeneous adjoint equation

    Decomposition of homogeneous vector fields of degree one and representation of the flow

    Full text link
    Summary: The paper gives a decomposition theorem for the elements of the nonsemisimple Lie algebra H1,r(boldRn)H^{1,r}(bold R^n) of the vector fields on boldRnbold R^n that are homogeneous of degree one with respect to a dilation deltaepsilonr.delta_epsilon^r. Each XinboldRnXin bold R^n is proved to be equal to S+N,S+N, with [S,N]=0[S,N]=0 and SS linear semisimple. As a consequence, the author proves that "in absence of esonance" the vector field XX is equivalent to its linear part. Finally, the above results are applied to obtain a representation formula for the trajectories of a vector field X0inH1,rX_0in H^{1,r} and those of the affine control system dotx=X0(x)+Budot x=X_0(x)+Bu with BB constant of minimum degree

    Normal Forms for Vector Fields with respect to an Arbitrary Dilation

    No full text
    Summary: The paper is devoted to the study of real analytic vector fields, which can be expanded in terms of homogeneous fields of degree greater than or equal to one with respect to an arbitrary dilation. Necessary and sufficient conditions are given for the existence of a local coordinate change that transforms the field into the homogeneous field of degree one

    On the convergence rate of the Glimm scheme for general nonlinear hyperbolic systems

    No full text
    [RIASSUNTO (ABSTRACT)] L'autore era invited speaker del Workshop ed ha tenuto un seminario l'8 dicembre 2008. Un sunto della conferenza e' stato pubblicato nel volume n. 56 della serie "Oberwolfach Reports". Ulteriori in formazioni sul Workshop sono disponibili sul sito: http://www.mfo.de/cgi-bin/tagung_espe?type=21&tnr=0850 Organizers: Constantine Dafermos (Brown University), Dietmar Kröner (Freiburg University), Randall J. LeVeque (University of Washington)

    A wavefront tracking algorithm for N×N nongenuinely nonlinear conservation laws

    No full text
    AbstractWe introduce a wavefront tracking algorithm for N×N hyperbolic systems of conservation lawsut+F(u)x=0, that admits characteristic fields that are neither genuinely nonlinear nor linearly degenerate in the sense of Lax. Instead we assume that, for any nongenuinely nonlinear ith characteristic family, the derivative of the ith eigenvalue λi(u) of DF(u) in the direction of the ith right eigenvector ri(u), vanishes on a single (N−1)-dimensional hypersurface in the u-space, transversal to the field ri(u). Systems that fulfill this type of assumptions are of particular interest in studying elastodynamic or rigid heat conductors at low temperature. The first proof of the existence of weak solutions for nongenuinely nonlinear systems was given by T. P. Liu (Mem. Amer. Math. Soc.30 (1981), no. 240), based on a Glimm scheme. Our construction here provides an alternative method for establishing the global existence of weak solutions for such systems. Moreover, relying on the stability analysis developed in Ancona and Marson, preprint S.I.S.S.A.-I.S.A.S. 27/99/11, 1999, and preprint, 2000, we show that these solutions are entropy admissible in the sense of Lax

    Well-posedness for general 2 x 2 conservation laws

    No full text
    We consider the Cauchy problem for a strictly hyperbolic 2×22\times 2 system of conservation laws in one space dimension % ut+[F(u)]x=0,u(0,x)=uˉ(x),(1) u_t+[F(u)]_x=0,\qquad\qquad u(0,x)=\bar u(x), \tag 1 % which is neither linearly degenerate nor genuinely non-linear. We make the following assumption on the characteristic fields. If ri(u), i=1,2,r_i(u), \ i=1,2, denotes the ii-th right eigenvector of DF(u)DF(u) and λi(u)\lambda_i(u) the corresponding eigenvalue, then the set {u:λiri(u)=0}\{u : \nabla \lambda_i \cdot r_i (u) = 0\} is a smooth curve in the uu-plane that is transversal to the vector field ri(u).r_i(u). Systems of conservation laws that fulfill such assumptions arise in studying elastodynamics or rigid heat conductors at low temperature. For such systems we prove the existence of a closed domain \ \Cal D \subset L^1, \ containing all functions with sufficiently small total variation, and of a uniformly Lipschitz continuous semigroup S:{\Cal D} \times [0,+\infty)\rightarrow \Cal D with the following properties. Each trajectory \ tStuˉt \mapsto S_t \bar u \ of SS is a weak solution of (1). Viceversa, if a piecewise Lipschitz, entropic solution u=u(t,x)u= u(t,x) of (1) exists for t[0,T],t \in [0,T], then it coincides with the trajectory of SS, i.e. u(t,)=Stuˉ.u(t,\cdot) = S_t \bar u. This result yields the uniqueness and continuous dependence of weak, entropy-admissible solutions of the Cauchy problem (1) with small initial data, for systems satysfying the above assumption

    On the attainable set for scalar nonlinear conservation laws with boundary control

    No full text
    Summary: The paper treats the initial boundary value problem for a scalar conservation law with strictly convex flux function. The boundary data is a Lebesgue-measurable and bounded function regarded as a control and constrained to remain in a prescribed set UU of admissible controls. A time T>0T>0 being fixed, the authors characterize the set A(T,U)A(T,U) consisting of the corresponding entropy solutions at the time t=Tt=T. Under natural assumptions on UU, it is proven that A(T,U)A(T,U) is a compact subset of L1L^1. Such a compactness property provides the key information in order to establish the existence of solutions for a class of optimisation problems. Finally the results are applied by the authors to an optimisation problem concerning a model of traffic flow on a highway

    A locally quadratic Glimm functional and sharp convergence rate of the Glimm scheme for nonlinear hyperbolic systems

    No full text
    Consider the Cauchy problem for a strictly hyperbolic, N×NN\times N quasilinear system in one space dimension % u_t+A(u) u_x=0,\qquad u(0,x)=\bar u(x), \eqno (1) % where uA(u)u \mapsto A(u) is a smooth matrix-valued map, and the initial data u\overline u is assumed to have small total variation. We investigate the rate of convergence of approximate solutions of (1) constructed by the Glimm scheme, under the assumption that, letting λk(u)\lambda_k(u), rk(u)r_k(u) denote the kk-th eigenvalue and a corresponding eigenvector of A(u)A(u), respectively, for each kk-th characteristic family the linearly degenerate manifold % Mk{uΩ : λk(u)rk(u)=0} \mathcal{M}_k \doteq \big\{u\in\Omega~:~\nabla\lambda_k(u)\cdot r_k(u)=0\big\} % is either the whole space, or it is empty, or it consists of a finite number of smooth, N ⁣ ⁣1N\!-\!1-dimensional, connected, manifolds that are transversal to the characteristic vector field rkr_k. We introduce a Glimm type functional which is the sum of the cubic interaction potential defined in \cite{sie}, and of a quadratic term that takes into account interactions of waves of the same family with strength smaller than some fixed threshold parameter. Relying on an adapted wave tracing method, and on the decrease amount of such a functional, we obtain the same type of error estimates valid for Glimm approximate solutions of hyperbolic systems satisfying the classical Lax assumptions of genuine nonlinea\-ri\-ty or linear degeneracy of the characteristic families

    On the Glimm functional for general hyperbolic systems

    No full text
    In this note we discuss the features of a quadratic interaction potential for first order hyperbolic systems in one space dimension, aiming to suggest the need of defining a non local functional depending on the global wave structure of the solution in order to obtain a quadratic Glimm type functional for general hyperbolic systems

    Uniqueness and Stability of LinftyL^infty Solutions for Temple Class Systems with Boundary and Properties of the Attainable Sets

    No full text
    Summary: The authors consider the initial-boundary value problem for a strictly hyperbolic, genuinely nonlinear, Temple class system of conservation laws on the quarter t-x plane where t,xgeq0t,x geq 0. For a class of initial and boundary data in LinftyL^infty with possibly unbounded variation, they construct a flow of solutions that depend continuously, in the L1L^1 distance, both on the initial data and on the boundary data. Moreover, we show that each trajectory of such flow provides the unique weak solution of the corresponding initial-boundary value problem that satisfies an entropy condition of Oleinik type. Next, they study the initial-boundary value problem from the point of view of control theory, taking the initial data fixed and considering, in connection with a prescribed set of boundary data regarded as admissible controls, the set of attainable profiles at a fixed time T>0T>0 and at a fixed point x>0x>0, establishing closure and compactness of such sets in the L1L^1 topolog..
    corecore