SearcharxivSearch

arXiv subjects

Lionel Rosier

Publications and source records attributed to Lionel Rosier.

At least 19 recordsLinked to original sources

Uniqueness and stability in bottom detection through surface measurements of water waves

This paper investigates the geometric inverse problem of recovering the bottom shape from surface measurements of water waves. Using the general water-waves system on a bounded subdomain of the fluid domain, we address this inverse problem, focusing on the identifiability and the stability issues. We establish uniqueness and derive logarithmic stability estimates in the determination of the bathymetry on any fixed smooth, bounded, open domain ${\mathcal O}\subset {\mathbb R} ^d$, $d=1,2$, from the knowledge of the free surface, its first time derivative, and the trace of the velocity potential on the free surface, at a given instant $t_0$ within $\mathcal O $, together with the knowledge of the bottom along $\partial \mathcal O$. No further assumptions are required for uniqueness. For stability, we impose only a \textit{local fatness} condition on the region between the bottom profiles, allowing us to adapt the size estimates method.

math.AP

Exact controllability of anisotropic 1D partial differential equations in spaces of analytic functions

In this article, we prove a local controllability result for a general class of 1D partial differential equations on the interval $(0,1)$. The PDEs we consider take the form $\partial_t^N y=ζ_M \partial_{x}^{M}y+f(x , y , \partial_{x} y,\ldots, \partial_x^{M-1} y)$ where $1\le N < M$, $ζ_M\in \mathbb{C} ^*$, and $f$ is some linear or nonlinear term of lower order. In this context, we prove a local controllability result between states that are analytic functions. If some boundary conditions are prescribed, a similar local controllability result holds between analytic functions satisfying some compatibility conditions that are natural for the existence of smooth solutions of the considered PDE. The proof is performed by studying a nonlinear Cauchy problem in the spatial variable with data in some spaces of Gevrey functions and by investigating the relationship between the jet of space derivatives and the jet of time derivatives. We give various examples of applications, including the (good and bad) Boussinesq equation, the Ginzburg-Landau equation, the Kuramoto-Sivashinsky equation and the Korteweg-de Vries equation.

math.AP

Finite-time stabilization of an overhead crane with a flexible cable submitted to an affine tension

The paper is concerned with the finite-time stabilization of a hybrid PDE-ODE system describing the motion of an overhead crane with a flexible cable. The dynamics of the flexible cable is described by the wave equation with a variable coefficient which is an affine function of the curvilinear abscissa along the cable. Using several changes of variables, a backstepping transformation, and a finite-time stable second-order ODE for the dynamics of a conveniently chosen variable, we prove that a global finite-time stabilization occurs for the full system constituted of the platform and the cable. The kernel equations and the finite-time stable ODE are numerically solved in order to compute the nonlinear feedback law, and numerical simulations validating our finite-time stabilization approach are presented.

math.OC

Exact Controllability of Nonlinear Heat Equations in Spaces of Analytic Functions

It is by now well known that the use of Carleman estimates allows to establish the control-lability to trajectories of nonlinear parabolic equations. However, by this approach, it is not clear how to decide whether a given function is indeed reachable. In this paper, we pursue the study of the reachable states of parabolic equations based on a direct approach using control inputs in Gevrey spaces by considering a nonlinear heat equation in dimension one. The nonlinear part is assumed to be an analytic function of the spatial variable x, the unknown y, and its derivative $\partial$ x y. By investigating carefully a nonlinear Cauchy problem in the spatial variable and the relationship between the jet of space derivatives and the jet of time derivatives, we derive an exact controllability result for small initial and final data that can be extended as analytic functions on some ball of the complex plane. 2010 Mathematics Subject Classification: 35K40, 93B05

math.AP

Controllability of the 1D Schrödinger equation using flatness

We derive in a direct way the exact controllability of the 1D free Schrödinger equation with Dirichlet boundary control. We use the so-called flatness approach, which consists in parametrizing the solution and the control by the derivatives of a "flat output". This provides an explicit and very regular control achieving the exact controllability in the energy space.

math.OC

Exact controllability of a linear Korteweg-de Vries equation by the flatness approach

We consider a linear Korteweg-de Vries equation on a bounded domain with a left Dirichlet boundary control.The controllability to the trajectories of such a system was proved in the last decade by using Carleman estimates.Here, we go a step further by establishing the exact controllability in a space of analytic functions with the aid of the flatness approach.

math.AP

Boundary stabilization of quasilinear hyperbolic systems of balance laws: Exponential decay for small source terms

We investigate the long-time behavior of solutions of quasilinear hyperbolic systems with transparent boundary conditions when small source terms are incorporated in the system. Even if the finite-time stability of the system is not preserved, it is shown here that an exponential convergence towards the steady state still holds with a decay rate which is proportional to the logarithm of the amplitude of the source term. The result is stated for a system with dynamical boundary conditions in order to deal with initial data that are free of any compatibility condition.

math.AP

Control of a Boussinesq system of KdV-KdV type on a bounded interval

We consider a Boussinesq system of KdV-KdV type introduced by J. Bona, M. Chen and J.-C. Saut as a model for the motion of small amplitude long waves on the surface of an ideal fluid. This system of two equations can describe the propagation of waves in both directions, while the single KdV equation is limited to unidirectional waves. We are concerned here with the exact controllability of the Boussinesq system by using some boundary controls. By reducing the controllability problem to a spectral problem which is solved by using the Paley-Wiener method introduced by the third author for KdV, we determine explicitly all the critical lengths for which the exact controllability fails for the linearized system, and give a complete picture of the controllability results with one or two boundary controls of Dirichlet or Neumann type. The extension of the exact controllability to the full Boussinesq system is derived in the energy space in the case of a control of Neumann type. It is obtained by incorporating a boundary feedback in the control in order to ensure a global Kato smoothing effect.

math.AP

Control of underwater vehicles in inviscid fluids--II. Flows with vorticity

In a recent paper, the authors investigated the controllability of an underwater vehicle immersed in an infinite volume of an inviscid fluid, assuming that the flow was irrotational. The aim of the present paper is to pursue this study by considering the more general case of a flow with vorticity. It is shown here that the local controllability of the position and the velocity of the underwater vehicle (a vector in R 12) holds in a flow with vorticity whenever it holds in a flow without vorticity.

math.AP

On the Benjamin-Bona-Mahony equation with a localized damping

We introduce several mechanisms to dissipate the energy in the Benjamin-Bona-Mahony (BBM) equation. We consider either a distributed (localized) feedback law, or a boundary feedback law. In each case, we prove the global wellposedness of the system and the convergence towards a solution of the BBM equation which is null on a band. If the Unique Continuation Property holds for the BBM equation, this implies that the origin is asymp-totically stable for the damped BBM equation.

math.AP

On the reachable states for the boundary control of the heat equation

We are interested in the determination of the reachable states for the boundary control of the one-dimensional heat equation. We consider either one or two boundary controls. We show that reachable states associated with square integrable controls can be extended to analytic functions onsome square of C, and conversely, that analytic functions defined on a certain disk can be reached by using boundary controlsthat are Gevrey functions of order 2. The method of proof combines the flatness approach with some new Borel interpolation theorem in some Gevrey class witha specified value of the loss in the uniform estimates of the successive derivatives of the interpolating function.

math.AP

Null controllability of one-dimensional parabolic equations by the flatness approach

We consider linear one-dimensional parabolic equations with space dependent coefficients that are only measurable and that may be degenerate or singular.Considering generalized Robin-Neumann boundary conditions at both extremities, we prove the null controllability with one boundary control by following the flatness approach, which providesexplicitly the control and the associated trajectory as series. Both the control and the trajectory have a Gevrey regularity in time related to the $L^p$ class of the coefficient in front of $u\_t$.The approach applies in particular to the (possibly degenerate or singular) heat equation $(a(x)u\_x)\_x-u\_t=0$ with $a(x)\textgreater{}0$ for a.e. $x\in (0,1)$ and $a+1/a \in L^1(0,1)$, or to the heat equation with inverse square potential $u\_{xx}+(μ / |x|^2)u-u\_t=0$with $μ\ge 1/4$.

math.AP

Finite-time stabilization of a network of strings

We investigate the finite-time stabilization of a tree-shaped network of strings. Transparent boundary conditions are applied at all the external nodes. At any internal node, in addition to the usual continuity conditions, a modified Kirchhoff law incorporating a damping term $αu_t$ with a coefficient $α$ that may depend on the node is considered. We show that for a convenient choice of the sequence of coefficients $α$, any solution of the wave equation on the network becomes constant after a finite time. The condition on the coefficients proves to be sharp at least for a star-shaped tree. Similar results are derived when we replace the transparent boundary condition by the Dirichlet (resp. Neumann) boundary condition at one external node.

math.AP

Controllability of the 1D Schrodinger equation by the flatness approach

We derive in a straightforward way the exact controllability of the 1-D Schrodinger equation with a Dirichlet boundary control. We use the so-called flatness approach, which consists in parameterizing the solution and the control by the derivatives of a "flat output". This provides an explicit control input achieving the exact controllability in the energy space. As an application, we derive an explicit pair of control inputs achieving the exact steering to zero for a simply-supported beam.

math.OC

Control and Stabilization of the Benjamin-Ono equation in $L^2(\mathbb T)$

We prove the control and stabilization of the Benjamin-Ono equation in $L^2(\T)$, the lowest regularity where the initial value problem is well-posed. This problem was already initiated in \cite{LinaresRosierBO} where a stronger stabilization term was used (that makes the equation of parabolic type in the control zone). Here we employ a more natural stabilization term related to the $L^2$ norm. Moreover, by proving a theorem of controllability in $L^2$, we manage to prove the global controllability in large time. Our analysis relies strongly on the bilinear estimates proved in \cite{MolinetPilodBO} and some new extension of these estimates established here.

math.AP

Internal controllability of the Korteweg-de Vries equation on a bounded domain

This paper is concerned with the control properties of the Korteweg-de Vries (KdV) equation posed on a bounded interval with a distributed control. When the control region is an arbitrary open subdomain, we prove the null controllability of the KdV equation by means of a new Carleman inequality. As a consequence, we obtain a regional controllability result, the state function being controlled on the left part of the complement of the control region. Finally, when the control region is a neighborhood of the right endpoint, an exact controllability result in a weighted L2 space is also established.

math.AP

Null controllability of the heat equation using flatness

We derive in a direct and rather straightforward way the null controllability of the N-dimensional heat equation in a bounded cylinder with boundary control at one end of the cylinder. We use the so-called flatness approach, which consists in parameterizing the solution and the control by the derivatives of a "flat output". This yields an explicit control law achieving the exact steering to zero. Replacing the involved series by partial sums we obtain a simple numerical scheme for which we give explicit error bounds. Numerical experiments demonstrate the relevance of the approach.

math.OC