BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Karine Beauchard

Karine Beauchard contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OCmath.AP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2024arXiv

A unified approach of obstructions to small-time local controllability for scalar-input systems

We present a unified approach for determining and proving obstructions to small-time local controllability of scalar-input control systems. Our approach views obstructions to controllability as resulting from interpolation inequalities between the functionals associated with the formal Lie brackets of the system. Using this approach, we give compact unified proofs of all known necessary conditions, we prove a conjecture of 1986 due to Kawski, and we derive entirely new obstructions. Our work doubles the number of previously-known necessary conditions, all established in the 1980s. In particular, for the third quadratic bracket, we derive a new necessary condition which is complementary to the Agrachev-Gamkrelidze sufficient ones. We rely on a recent Magnus-type representation formula for the state, a new Hall basis of the free Lie algebra over two generators, an appropriate use of Sussmann's infinite product to compute the Magnus expansion, and Gagliardo-Nirenberg interpolation inequalities.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Null-controllability of linear parabolic-transport systems

Over the past two decades, the controllability of several examples of parabolic-hyperbolic systems has been investigated. The present article is the beginning of an attempt to find a unified framework that encompasses and generalizes the previous results. We consider constant coefficients heat-transport systems with coupling of order zero and one, with a locally distributed control in the source term, posed on the one dimensional torus. We prove the null-controllability, in optimal time (the one expected because of the transport component) when there is as much controls as equations. When the control acts only on the transport (resp. parabolic) component, we prove an algebraic necessary and sufficient condition, on the coupling term, for the null controllability. The whole study relies on a careful spectral analysis, based on perturbation theory. The negative controllability result in small time is proved on solutions localized on high hyperbolic frequencies, that solve a pure transport equation up to a compact term. The proof of the positive result in large time relies on a spectral decomposition into low, and asymptotically parabolic or hyperbolic frequencies.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Local controllability of 1D Schrödinger equations with bilinear control and minimal time

We consider a linear Schrödinger equation, on a bounded interval, with bilinear control. Beauchard and Laurent proved that, under an appropriate non degeneracy assumption, this system is controllable, locally around the ground state, in arbitrary time. Coron proved that a positive minimal time is required for this controllability, on a particular degenerate example. In this article, we propose a general context for the local controllability to hold in large time, but not in small time. The existence of a positive minimal time is closely related to the behaviour of the second order term, in the power series expansion of the solution.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Local exact controllability of a 1D Bose-Einstein condensate in a time-varying box

We consider a one-dimensional Bose-Einstein condensate in a infinite square-well (box) potential. This is a nonlinear control system in which the state is the wave function of the Bose Einstein condensate and the control is the length of the box. We prove that local exact controllability around the ground state (associated with a fixed length of the box) holds generically with respect to the chemical potential μ; i.e. up to an at most countable set of μ-values. The proof relies on the linearization principle and the inverse mapping theorem, as well as ideas from analytic perturbation theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Stabilization of an arbitrary profile for an ensemble of half-spin systems

We consider the feedback stabilization of a variable profile for an ensemble of non interacting half spins described by the Bloch equations. We propose an explicit feedback law that stabilizes asymptotically the system around a given arbitrary target profile. The convergence proof is done when the target profile is entirely in the south hemisphere or in the north hemisphere of the Bloch sphere. The convergence holds for initial conditions in a H^1 neighborhood of this target profile. This convergence is shown for the weak H^1 topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the target profile.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Local controllability of 1D linear and nonlinear Schrödinger equations with bilinear control

We consider a linear Schrödinger equation, on a bounded interval, with bilinear control, that represents a quantum particle in an electric field (the control). We prove the controllability of this system, in any positive time, locally around the ground state. Similar results were proved for particular models (by the first author and with J.M. Coron), in non optimal spaces, in long time and the proof relied on the Nash-Moser implicit function theorem in order to deal with an a priori loss of regularity. In this article, the model is more general, the spaces are optimal, there is no restriction on the time and the proof relies on the classical inverse mapping theorem. A hidden regularizing effect is emphasized, showing there is actually no loss of regularity. Then, the same strategy is applied to nonlinear Schrödinger equations and nonlinear wave equations, showing that the method works for a wide range of bilinear control systems.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Semi-global weak stabilization of bilinear Schrödinger equations

We consider a linear Schrödinger equation, on a bounded domain, with bilinear control, representing a quantum particle in an electric field (the control). Recently, Nersesyan proposed explicit feedback laws and proved the existence of a sequence of times $(t_n)_{n \in \mathbb{N}}$ for which the values of the solution of the closed loop system converge weakly in $H^2$ to the ground state. Here, we prove the convergence of the whole solution, as $t \rightarrow + \infty$. The proof relies on control Lyapunov functions and an adaptation of the LaSalle invariance principle to PDEs.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Stabilization for an ensemble of half-spin systems

Feedback stabilization of an ensemble of non interacting half spins described by Bloch equations is considered. This system may be seen as a prototype for infinite dimensional systems with continuous spectrum. We propose an explicit feedback law that stabilizes asymptotically the system around a uniform state of spin +1/2 or -1/2. The proof of the convergence is done locally around the equilibrium in the H^1 topology. This local convergence is shown to be a weak asymptotic convergence for the H^1 topology and thus a strong convergence for the C^0 topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the equilibrium

0 citations0 reviewsNo code linkedOpen access