-
Global propagation of analyticity and unique continuation for semilinear waves
Authors:
Camille Laurent,
Cristóbal Loyola
Abstract:
In this article, we develop a new method to prove both global propagation of analyticity and unique continuation in finite time for solutions of semilinear wave-type equations with analytic nonlinearity. It combines control theory techniques and Galerkin approximation, inspired by Hale-Raugel, to prove that analyticity in time can be propagated for the nonlinear equation from a zone where linear o…
▽ More
In this article, we develop a new method to prove both global propagation of analyticity and unique continuation in finite time for solutions of semilinear wave-type equations with analytic nonlinearity. It combines control theory techniques and Galerkin approximation, inspired by Hale-Raugel, to prove that analyticity in time can be propagated for the nonlinear equation from a zone where linear observability holds towards the full space.For semilinear wave equations with Dirichlet boundary condition on a bounded domain, this implies that analyticity can be propagated to the entire domain from a subset $ω$ that satisfies the geometric control condition. It also implies the unique continuation when the solution is assumed to be zero on $ω$. When the nonlinearity is assumed to be subcritical and defocusing, we also obtain observability estimates in the optimal time of the geometric control condition.For semilinear plate equations, similar propagation of analyticity is achieved by assuming the controllability of the linear Schr\''odinger equation.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
On the set of non radiative solutions for the energy critical wave equation
Authors:
Raphaël Côte,
Camille Laurent
Abstract:
Non radiative solutions of the energy critical non linear wave equation are global solutions $u$ that furthermore have vanishing asymptotic energy outside the lightcone at both $t \to \pm \infty$: \[ \lim_{t \to \pm \infty} \| \nabla_{t,x} u(t) \|_{L^2(|x| \ge |t|+R)} = 0, \] for some $R \gt 0$. They were shown to play an important role in the analysis of long time dynamics of solutions, in partic…
▽ More
Non radiative solutions of the energy critical non linear wave equation are global solutions $u$ that furthermore have vanishing asymptotic energy outside the lightcone at both $t \to \pm \infty$: \[ \lim_{t \to \pm \infty} \| \nabla_{t,x} u(t) \|_{L^2(|x| \ge |t|+R)} = 0, \] for some $R \gt 0$. They were shown to play an important role in the analysis of long time dynamics of solutions, in particular regarding the soliton resolution: we refer to the seminal works of Duyckaerts, Kenig and Merle, see \cite{DKM:23} and the references therein. We show that the set of non radiative solutions which are small in the energy space is a manifold whose tangent space at $0$ is given by non radiative solutions to the linear equation (described in \cite{CL24}). We also construct nonlinear solutions with an arbitrary prescribed radiation field.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Automated Inference of Graph Transformation Rules
Authors:
Jakob L. Andersen,
Akbar Davoodi,
Rolf Fagerberg,
Christoph Flamm,
Walter Fontana,
Juri Kolčák,
Christophe V. F. P. Laurent,
Daniel Merkle,
Nikolai Nøjgaard
Abstract:
The explosion of data available in life sciences is fueling an increasing demand for expressive models and computational methods. Graph transformation is a model for dynamic systems with a large variety of applications. We introduce a novel method of the graph transformation model construction, combining generative and dynamical viewpoints to give a fully automated data-driven model inference meth…
▽ More
The explosion of data available in life sciences is fueling an increasing demand for expressive models and computational methods. Graph transformation is a model for dynamic systems with a large variety of applications. We introduce a novel method of the graph transformation model construction, combining generative and dynamical viewpoints to give a fully automated data-driven model inference method.
The method takes the input dynamical properties, given as a "snapshot" of the dynamics encoded by explicit transitions, and constructs a compatible model. The obtained model is guaranteed to be minimal, thus framing the approach as model compression (from a set of transitions into a set of rules). The compression is permissive to a lossy case, where the constructed model is allowed to exhibit behavior outside of the input transitions, thus suggesting a completion of the input dynamics.
The task of graph transformation model inference is naturally highly challenging due to the combinatorics involved. We tackle the exponential explosion by proposing a heuristically minimal translation of the task into a well-established problem, set cover, for which highly optimized solutions exist. We further showcase how our results relate to Kolmogorov complexity expressed in terms of graph transformation.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Unique continuation for Schr{ö}dinger operators with partially Gevrey coefficients
Authors:
Spyridon Filippas,
Camille Laurent,
Matthieu Léautaud
Abstract:
We prove a local unique continuation result for Schr\''odinger operators with time independent Lipschitz metrics and lower order terms which are Gevrey 2 in time and bounded in space. This implies global unique continuation from any open set in a connected Riemannian manifold. These results relax in the same geometric setting the analyticity assumption in time of the Tataru-Robbiano-Zuily-H\''orma…
▽ More
We prove a local unique continuation result for Schr\''odinger operators with time independent Lipschitz metrics and lower order terms which are Gevrey 2 in time and bounded in space. This implies global unique continuation from any open set in a connected Riemannian manifold. These results relax in the same geometric setting the analyticity assumption in time of the Tataru-Robbiano-Zuily-H\''ormander theorem for these operators. The proof is based on (i) a Tataru-Robbiano-Zuily-H\''ormander type Carleman estimate with a nonlocal weight adapted to the anisotropy of the Schr\''odinger operator and (ii) the description of the conjugation of the Schr\''odinger operator with Gevrey coefficients by this nonlocal weight.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
A scattering operator for some nonlinear elliptic equations
Authors:
Raphaël Côte,
Camille Laurent
Abstract:
We consider non linear elliptic equations of the form $Δu = f(u,\nabla u)$ for suitable analytic nonlinearity $f$, in the vinicity of infinity in $\mathbb{R}^d$, that is on the complement of a compact set.We show that there is a \emph{one-to-one correspondence} between the non linear solution $u$ defined there, and the linear solution $u\_L$ to the Laplace equation, such that, in an adequate space…
▽ More
We consider non linear elliptic equations of the form $Δu = f(u,\nabla u)$ for suitable analytic nonlinearity $f$, in the vinicity of infinity in $\mathbb{R}^d$, that is on the complement of a compact set.We show that there is a \emph{one-to-one correspondence} between the non linear solution $u$ defined there, and the linear solution $u\_L$ to the Laplace equation, such that, in an adequate space, $u - u\_L\to 0$ as $|x|\to +\infty$. This is a kind of scattering operator.Our results apply in particular for the energy critical and supercritical pure power elliptic equation and for the 2d (energy critical) harmonic maps and the $H$-system. Similar results are derived for solution defined on the neighborhood of a point in $\mathbb{R}^d$. The proofs are based on a conformal change of variables, and studied as an evolution equation (with the radial direction playing the role of time) in spaces with analytic regularity on spheres (the directions orthogonal to the radial direction).
△ Less
Submitted 18 January, 2024; v1 submitted 29 December, 2023;
originally announced December 2023.
-
Lectures on unique continuation for waves
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
These notes are intended as an introduction to the question of unique continuation for the wave operator, and some of its applications. The general question is whether a solution to a wave equation in a domain, vanishing on a subdomain has to vanish everywhere. We state and prove two of the main results in the field. We first give a proof of the classical local H{ö}rmander theorem in this context…
▽ More
These notes are intended as an introduction to the question of unique continuation for the wave operator, and some of its applications. The general question is whether a solution to a wave equation in a domain, vanishing on a subdomain has to vanish everywhere. We state and prove two of the main results in the field. We first give a proof of the classical local H{ö}rmander theorem in this context which holds under a pseudoconvexity condition. We then specialize to the case of wave operators with time-independent coefficients and prove the Tataru theorem: local unique continuation holds across any non-characteristic hypersurface. This local result implies a global unique continuation statement which can be interpreted as a converse to finite propagation speed. We finally give an application to approximate controllability, and present without proofs the associated quantitative estimates.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Determination of Canine Long Bone Ultimate Tensile Strain by Digital Image Correlation
Authors:
Beatrice Böhme,
Cédric Laurent,
Olivier Milis,
Jean-Phillippe Ponthot,
Marc Balligand
Abstract:
Creating finite element models for simulation of bone behaviour, fracture occurrence and propagation requires feeding the system with adequate mechanical data. To date, little is known about the mechanical behaviour of long canine bones, and in cases of modelling a bone-breakage scenario the ultimate strain at failure still needs to be determined. Extrapolation from human literature or other speci…
▽ More
Creating finite element models for simulation of bone behaviour, fracture occurrence and propagation requires feeding the system with adequate mechanical data. To date, little is known about the mechanical behaviour of long canine bones, and in cases of modelling a bone-breakage scenario the ultimate strain at failure still needs to be determined. Extrapolation from human literature or other species is uninteresting as differences of mechanical properties between species are expected (Vahey et al, 1987) [1]. Our purpose was to measure the ultimate tensile strain of canine long bones by Digital Image Correlation (DIC), an optical technique to measure strain under load and a promising measurement method for our purpose. Tension tests of cortical bone strips and flexion tests of entire bones were performed, and the ultimate tensile strain was measured and compared between different specimen and testing scenarios.
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
Uniform observation of semiclassical Schr{ö}dinger eigenfunctions on an interval
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
We consider eigenfunctions of a semiclassical Schr{ö}dinger operator on an interval, with a single-well type potential and Dirichlet boundary conditions. We give upper/lower bounds on the L^2 density of the eigenfunctions that are uniform in both semiclassical and high energy limits. These bounds are optimal and are used in an essential way in a companion paper in application to a controllability…
▽ More
We consider eigenfunctions of a semiclassical Schr{ö}dinger operator on an interval, with a single-well type potential and Dirichlet boundary conditions. We give upper/lower bounds on the L^2 density of the eigenfunctions that are uniform in both semiclassical and high energy limits. These bounds are optimal and are used in an essential way in a companion paper in application to a controllability problem. The proofs rely on Agmon estimates and a Gronwall type argument in the classically forbidden region, and on the description of semiclassical measures for boundary value problems in the classically allowed region. Limited regularity for the potential is assumed.
△ Less
Submitted 20 September, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
On uniform controllability of 1D transport equations in the vanishing viscosity limit
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
We consider a one dimensional transport equation with varying vector field and a small viscosity coefficient, controlled by one endpoint of the interval. We give upper and lower bounds on the minimal time needed to control to zero, uniformly in the vanishing viscosity limit. We assume that the vector field varies on the whole interval except at one point. The upper/lower estimates we obtain depend…
▽ More
We consider a one dimensional transport equation with varying vector field and a small viscosity coefficient, controlled by one endpoint of the interval. We give upper and lower bounds on the minimal time needed to control to zero, uniformly in the vanishing viscosity limit. We assume that the vector field varies on the whole interval except at one point. The upper/lower estimates we obtain depend on geometric quantities such as an Agmon distance and the spectral gap of an associated semiclassical Schr{ö}dinger operator. They improve, in this particular situation, the results obtained in the companion paper [LL21]. The proofs rely on a reformulation of the problem as a uniform observability question for the semiclassical heat equation together with a fine analysis of localization of eigenfunctions both in the semiclassically allowed and forbidden regions [LL22], together with estimates on the spectral gap [HS84, All98]. Along the proofs, we provide with a construction of biorthogonal families with fine explicit bounds, which we believe is of independent interest.
△ Less
Submitted 20 September, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
Representing catalytic mechanisms with rule composition
Authors:
Jakob L. Andersen,
Rolf Fagerberg,
Christoph Flamm,
Walter Fontana,
Juri Kolčák,
Christophe V. F. P. Laurent,
Daniel Merkle,
Nikolai Nøjgaard
Abstract:
Reaction mechanisms are often presented as sequences of elementary steps, such as codified by arrow pushing. We propose an approach for representing such mechanisms using graph transformation. In this framework, each elementary step is a rule for modifying a molecular graph and a mechanism is a sequence of such rules. To generate a compact representation of a multi-step reaction, we compose the ru…
▽ More
Reaction mechanisms are often presented as sequences of elementary steps, such as codified by arrow pushing. We propose an approach for representing such mechanisms using graph transformation. In this framework, each elementary step is a rule for modifying a molecular graph and a mechanism is a sequence of such rules. To generate a compact representation of a multi-step reaction, we compose the rules of individual steps into a composite rule, providing a rigorous and fully automated approach to coarse-graining. While the composite rule retains the graphical conditions necessary for the execution of a mechanism, it also records information about transient changes not visible by comparing educts and products. By projecting the rule onto a single "overlay graph", we generalize Fujita's idea of an Imaginary Transition Structure from elementary reactions to composite reactions. The utility of the overlay graph construct is exemplified in the context of enzyme-catalyzed reactions. In a first application, we exploit mechanistic information in the Mechanism and Catalytic Site Atlas to construct overlay graphs of hydrolase reactions listed in the database. These graphs point at a spectrum of catalytic entanglement of enzyme and substrate, de-emphasizing the notion of a singular catalyst in favor of a collection of catalytic sites that can be distributed across enzyme and substrate. In a second application, we deploy composite rules to search the Rhea database for reactions of known or unknown mechanism that are, in principle, compatible with the mechanisms implied by the composite rules. We believe this work adds to the utility of graph-transformation formalisms in representing and reasoning about chemistry in an automated yet insightful fashion.
△ Less
Submitted 25 August, 2022; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Efficient Modular Graph Transformation Rule Application
Authors:
Jakob L. Andersen,
Rolf Fagerberg,
Juri Kolčák,
Christophe V. F. P. Laurent,
Daniel Merkle,
Nikolai Nøjgaard
Abstract:
Graph transformation formalisms have proven to be suitable tools for the modelling of chemical reactions. They are well established in theoretical studies and increasingly also in practical applications in chemistry. The latter is made feasible via the development of programming frameworks which makes the formalisms executable.
The application of such frameworks to large networks of chemical rea…
▽ More
Graph transformation formalisms have proven to be suitable tools for the modelling of chemical reactions. They are well established in theoretical studies and increasingly also in practical applications in chemistry. The latter is made feasible via the development of programming frameworks which makes the formalisms executable.
The application of such frameworks to large networks of chemical reactions, however, poses unique computational challenges. One such characteristic is the inherent combinatorial nature of the graphs involved. The graphs consist of many connected components, representing individual molecules. While the existing methods for implementing graph transformations can be applied to such graphs, the combinatorics of constructing graph matches quickly becomes a computational bottleneck as the size of the chemical reaction network grows.
In this contribution, we develop a new method of enumerating graph matches during graph transformation rule application. The method is designed to improve performance in such scenarios and is based on constructing graph matches in an iterative, component-wise fashion which allows redundant applications to be detected early and pruned. We further extend the algorithm with an efficient heuristic based on local symmetries of the graphs, which allow us to detect and discard isomorphic applications early. Finally, we conduct chemical network generation experiments on real-life as well as synthetic data and compare against the state-of-the-art algorithm in the field.
△ Less
Submitted 25 August, 2022; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Prediction of cognitive decline for enrichment of Alzheimer's disease clinical trials
Authors:
Angela Tam,
César Laurent,
Serge Gauthier,
Christian Dansereau
Abstract:
A key issue to Alzheimer's disease clinical trial failures is poor participant selection. Participants have heterogeneous cognitive trajectories and many do not decline during trials, which reduces a study's power to detect treatment effects. Trials need enrichment strategies to enroll individuals who will decline. We developed machine learning models to predict cognitive trajectories in participa…
▽ More
A key issue to Alzheimer's disease clinical trial failures is poor participant selection. Participants have heterogeneous cognitive trajectories and many do not decline during trials, which reduces a study's power to detect treatment effects. Trials need enrichment strategies to enroll individuals who will decline. We developed machine learning models to predict cognitive trajectories in participants with early Alzheimer's disease (n=1342) and presymptomatic individuals (n=756) over 24 and 48 months respectively. Baseline magnetic resonance imaging, cognitive tests, demographics, and APOE genotype were used to classify decliners, measured by an increase in CDR-Sum of Boxes, and non-decliners with up to 79% area under the curve (cross-validated and out-of-sample). Using these prognostic models to recruit enriched cohorts of decliners can reduce required sample sizes by as much as 51%, while maintaining the same detection power, and thus may improve trial quality, derisk endpoint failures, and accelerate therapeutic development in Alzheimer's disease.
△ Less
Submitted 4 May, 2022; v1 submitted 7 November, 2021;
originally announced November 2021.
-
Concentration close to the cone for linear waves
Authors:
Raphaël Côte,
Camille Laurent
Abstract:
We are concerned with solutions to the linear wave equation. We give an asymptotic formula for large time, valid in the energy space, via an operator related to the Radon transform. This allows us to show that the energy is concentrated near the light cone. This allows to derive further expressions the exterior energy (outside a shifted light cone). We in particular generalize the formulas of [CKS…
▽ More
We are concerned with solutions to the linear wave equation. We give an asymptotic formula for large time, valid in the energy space, via an operator related to the Radon transform. This allows us to show that the energy is concentrated near the light cone. This allows to derive further expressions the exterior energy (outside a shifted light cone). We in particular generalize the formulas of [CKS14] obtained in the radial setting. In odd dimension, we study the discrepancy of the exterior energy regarding initial energy, and prove in the general case the results of [KLLS15] (which were restricted to radial data).
△ Less
Submitted 22 September, 2021; v1 submitted 17 September, 2021;
originally announced September 2021.
-
Low-Order Modeling and High-Fidelity Simulations for the Prediction of Combustion Instabilities in Liquid Rocket Engines and Gas Turbines
Authors:
Charlelie Laurent
Abstract:
Combustion instabilities are a major concern in the design of Liquid Rocket Engines (LREs) and gas turbines. During this PhD work, several directions were explored to understand and mitigate their effects. First, more efficient and robust numerical methods for their prediction in complex combustors were designed. In this matter, a novel type of modal expansion, named a frame expansion and comparab…
▽ More
Combustion instabilities are a major concern in the design of Liquid Rocket Engines (LREs) and gas turbines. During this PhD work, several directions were explored to understand and mitigate their effects. First, more efficient and robust numerical methods for their prediction in complex combustors were designed. In this matter, a novel type of modal expansion, named a frame expansion and comparable to the classical Galerkin expansion, was introduced to build more accurate acoustic Low-Order Models (LOMs), able to account for the full geometrical complexity of industrial combustors. In particular, the frame expansion is able to accurately represent the acoustic velocity field near non-rigid-wall boundaries, a crucial ability that the Galerkin method lacks. An entire class of novel numerical methods, based on the frame expansion, were then designed and combined with the state-space formalism to build acoustic networks of complex systems. The second ingredient in the prediction of thermoacoustic instabilities is the flame dynamics modeling. This work dealt with this problem, in the specific case of a cryogenic coaxial jet-flame characteristic of a LRE. Flame dynamics driving phenomena were identified thanks to three-dimensional Large Eddy Simulations (LES) of the Mascotte experimental test rig where both reactants (CH4 and O2) are injected in transcritical conditions. Several LES with harmonic modulation of the fuel inflow at various frequencies and amplitudes were performed in order to evaluate the flame response to acoustic oscillations and compute a Flame Transfer Function (FTF). The stabilization of this flame in the near-injector region, which is of primary importance on the overall flame dynamics, was also investigated thanks to multi-physics two-dimensional Direct Numerical Simulations (DNS), where a conjugate heat transfer problem is resolved at the injector lip.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Graph Transformation for Enzymatic Mechanisms
Authors:
Jakob L. Andersen,
Rolf Fagerberg,
Christoph Flamm,
Walter Fontana,
Juraj Kolčák,
Christophe V. F. P. Laurent,
Daniel Merkle,
Nikolai Nøjaard
Abstract:
Motivation: The design of enzymes is as challenging as it is consequential for making chemical synthesis in medical and industrial applications more efficient, cost-effective and environmentally friendly. While several aspects of this complex problem are computationally assisted, the drafting of catalytic mechanisms, i.e. the specification of the chemical steps-and hence intermediate states-that t…
▽ More
Motivation: The design of enzymes is as challenging as it is consequential for making chemical synthesis in medical and industrial applications more efficient, cost-effective and environmentally friendly. While several aspects of this complex problem are computationally assisted, the drafting of catalytic mechanisms, i.e. the specification of the chemical steps-and hence intermediate states-that the enzyme is meant to implement, is largely left to human expertise. The ability to capture specific chemistries of multi-step catalysis in a fashion that enables its computational construction and design is therefore highly desirable and would equally impact the elucidation of existing enzymatic reactions whose mechanisms are unknown. Results: We use the mathematical framework of graph transformation to express the distinction between rules and reactions in chemistry. We derive about 1000 rules for amino acid side chain chemistry from the M-CSA database, a curated repository of enzymatic mechanisms. Using graph transformation we are able to propose hundreds of hypothetical catalytic mechanisms for a large number of unrelated reactions in the Rhea database. We analyze these mechanisms to find that they combine in chemically sound fashion individual steps from a variety of known multi-step mechanisms, showing that plausible novel mechanisms for catalysis can be constructed computationally.
△ Less
Submitted 26 March, 2021; v1 submitted 5 February, 2021;
originally announced February 2021.
-
Implicit Regularization via Neural Feature Alignment
Authors:
Aristide Baratin,
Thomas George,
César Laurent,
R Devon Hjelm,
Guillaume Lajoie,
Pascal Vincent,
Simon Lacoste-Julien
Abstract:
We approach the problem of implicit regularization in deep learning from a geometrical viewpoint. We highlight a regularization effect induced by a dynamical alignment of the neural tangent features introduced by Jacot et al, along a small number of task-relevant directions. This can be interpreted as a combined mechanism of feature selection and compression. By extrapolating a new analysis of Rad…
▽ More
We approach the problem of implicit regularization in deep learning from a geometrical viewpoint. We highlight a regularization effect induced by a dynamical alignment of the neural tangent features introduced by Jacot et al, along a small number of task-relevant directions. This can be interpreted as a combined mechanism of feature selection and compression. By extrapolating a new analysis of Rademacher complexity bounds for linear models, we motivate and study a heuristic complexity measure that captures this phenomenon, in terms of sequences of tangent kernel classes along optimization paths.
△ Less
Submitted 16 March, 2021; v1 submitted 3 August, 2020;
originally announced August 2020.
-
Revisiting Loss Modelling for Unstructured Pruning
Authors:
César Laurent,
Camille Ballas,
Thomas George,
Nicolas Ballas,
Pascal Vincent
Abstract:
By removing parameters from deep neural networks, unstructured pruning methods aim at cutting down memory footprint and computational cost, while maintaining prediction accuracy. In order to tackle this otherwise intractable problem, many of these methods model the loss landscape using first or second order Taylor expansions to identify which parameters can be discarded. We revisit loss modelling…
▽ More
By removing parameters from deep neural networks, unstructured pruning methods aim at cutting down memory footprint and computational cost, while maintaining prediction accuracy. In order to tackle this otherwise intractable problem, many of these methods model the loss landscape using first or second order Taylor expansions to identify which parameters can be discarded. We revisit loss modelling for unstructured pruning: we show the importance of ensuring locality of the pruning steps. We systematically compare first and second order Taylor expansions and empirically show that both can reach similar levels of performance. Finally, we show that better preserving the original network function does not necessarily transfer to better performing networks after fine-tuning, suggesting that only considering the impact of pruning on the loss might not be a sufficient objective to design good pruning criteria.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Logarithmic decay for damped hypoelliptic wave and Schr{ö}dinger equations
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
We consider damped wave (resp. Schr{ö}dinger and plate) equations driven by a hypoelliptic "sum of squares" operator L on a compact manifold and a dam** function b(x). We assume the Chow-Rashevski-H{ö}rmander condition at rank k (at most k Lie brackets needed to span the tangent space) together with analyticity of M and the coefficients of L. We prove decay of the energy at rate $log(t)^{-1/k}$…
▽ More
We consider damped wave (resp. Schr{ö}dinger and plate) equations driven by a hypoelliptic "sum of squares" operator L on a compact manifold and a dam** function b(x). We assume the Chow-Rashevski-H{ö}rmander condition at rank k (at most k Lie brackets needed to span the tangent space) together with analyticity of M and the coefficients of L. We prove decay of the energy at rate $log(t)^{-1/k}$ (resp. $log(t)^{-2/k}$ ) for data in the domain of the generator of the associated group. We show that this decay is optimal on a family of Grushin-type operators. This result follows from a perturbative argument (of independent interest) showing, in a general abstract setting, that quantitative approximate observability/controllability results for wave-type equations imply a priori decay rates for associated damped wave, Schr{ö}dinger and plate equations. The adapted quantitative approximate observability/controllability theorem for hypoelliptic waves is obtained by the authors in [LL19, LL17].
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
On uniform observability of gradient flows in the vanishing viscosity limit
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
We consider a transport equation by a gradient vector field with a small viscous perturbation --$εΔ_g$. We study uniform observability (resp. controllability) properties in the (singular) vanishing viscosity limit $ε\rightarrow 0^+$, that is, the possibility of having a uniformly bounded observation constant (resp. control cost). We prove with a series of examples that in general, the minimal time…
▽ More
We consider a transport equation by a gradient vector field with a small viscous perturbation --$εΔ_g$. We study uniform observability (resp. controllability) properties in the (singular) vanishing viscosity limit $ε\rightarrow 0^+$, that is, the possibility of having a uniformly bounded observation constant (resp. control cost). We prove with a series of examples that in general, the minimal time for uniform observability may be much larger than the minimal time needed for the observability of the limit equation $ε= 0$. We also prove that the two minimal times coincides for positive solutions. The proofs rely on a semiclassical reformulation of the problem together with (a) Agmon estimates concerning decay of eigenfunctions in the classically forbidden region [HS84] (b) fine estimates of the kernel of the semiclassical heat equation [LY86].
△ Less
Submitted 9 February, 2021; v1 submitted 4 March, 2020;
originally announced March 2020.
-
Decay of semilinear damped wave equations:cases without geometric control condition
Authors:
Romain Joly,
Camille Laurent
Abstract:
We consider the semilinear damped wave equation $\partial_{tt}^2 u(x,t)+γ(x)\partial_t u(x,t)=Δu(x,t)-αu(x,t)-f(x,u(x,t))$. In this article, we obtain the first results concerning the stabilization of this semilinear equation in cases where $γ$ does not satisfy the geometric control condition. When some of the geodesic rays are trapped, the stabilization of the linear semigroup is semi-uniform in…
▽ More
We consider the semilinear damped wave equation $\partial_{tt}^2 u(x,t)+γ(x)\partial_t u(x,t)=Δu(x,t)-αu(x,t)-f(x,u(x,t))$. In this article, we obtain the first results concerning the stabilization of this semilinear equation in cases where $γ$ does not satisfy the geometric control condition. When some of the geodesic rays are trapped, the stabilization of the linear semigroup is semi-uniform in the sense that $\|e^{At}A^{-1}\|\leq h(t)$ for some function $h$ with $h(t)\rightarrow 0$ when $t\rightarrow +\infty$. We provide general tools to deal with the semilinear stabilization problem in the case where $h(t)$ has a sufficiently fast decay.
△ Less
Submitted 18 January, 2019;
originally announced January 2019.
-
Exact Controllability of Nonlinear Heat Equations in Spaces of Analytic Functions
Authors:
Camille Laurent,
Lionel Rosier
Abstract:
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…
▽ More
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
△ Less
Submitted 17 December, 2018;
originally announced December 2018.
-
On the Observability Inequality of Coupled Wave Equations: the Case without Boundary
Authors:
Yan Cui,
Camille Laurent,
Zhiqiang Wang
Abstract:
In this paper, we study the observability and controllability of wave equations coupled by first or zero order terms on a compact manifold. We adopt the approach in Dehman-Lebeau's paper \cite{DehmanLebeau09} to prove that: the weak observability inequality holds for wave equations coupled by first order terms on compact manifold without boundary if and only if a class of ordinary differential equ…
▽ More
In this paper, we study the observability and controllability of wave equations coupled by first or zero order terms on a compact manifold. We adopt the approach in Dehman-Lebeau's paper \cite{DehmanLebeau09} to prove that: the weak observability inequality holds for wave equations coupled by first order terms on compact manifold without boundary if and only if a class of ordinary differential equations related to the symbol of the first order terms along the Hamiltonian flow are exactly controllable. We also compute the higher order part of the observability constant and the observation time. By duality, we obtain the controllability of the dual control system in a finite co-dimensional space. This gives the full controllability under the assumption of unique continuation of eigenfunctions. Moreover, these results can be applied to the systems of wave equations coupled by zero order terms of cascade structure after an appropriate change of unknowns and spaces. Finally, we provide some concrete examples as applications where the unique continuation property indeed holds.
△ Less
Submitted 28 February, 2020; v1 submitted 30 September, 2018;
originally announced October 2018.
-
Fast Approximate Natural Gradient Descent in a Kronecker-factored Eigenbasis
Authors:
Thomas George,
César Laurent,
Xavier Bouthillier,
Nicolas Ballas,
Pascal Vincent
Abstract:
Optimization algorithms that leverage gradient covariance information, such as variants of natural gradient descent (Amari, 1998), offer the prospect of yielding more effective descent directions. For models with many parameters, the covariance matrix they are based on becomes gigantic, making them inapplicable in their original form. This has motivated research into both simple diagonal approxima…
▽ More
Optimization algorithms that leverage gradient covariance information, such as variants of natural gradient descent (Amari, 1998), offer the prospect of yielding more effective descent directions. For models with many parameters, the covariance matrix they are based on becomes gigantic, making them inapplicable in their original form. This has motivated research into both simple diagonal approximations and more sophisticated factored approximations such as KFAC (Heskes, 2000; Martens & Grosse, 2015; Grosse & Martens, 2016). In the present work we draw inspiration from both to propose a novel approximation that is provably better than KFAC and amendable to cheap partial updates. It consists in tracking a diagonal variance, not in parameter coordinates, but in a Kronecker-factored eigenbasis, in which the diagonal approximation is likely to be more effective. Experiments show improvements over KFAC in optimization speed for several deep network architectures.
△ Less
Submitted 26 July, 2021; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Observability of the heat equation, geometric constants in control theory, and a conjecture of Luc Miller
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
This article is concerned in the first place with the short-time observability constant of the heat equation from a subdomain $ω$ of a bounded domain $M$. The constant is of the form $e^{\frac{K}{T}}$, where $K$ depends only on the geometry of $M$ and $ω$. Luc Miller (JDE, 2004) conjectured that $K$ is (universally) proportional to the square of the maximal distance from $ω$ to a point of $M$. We…
▽ More
This article is concerned in the first place with the short-time observability constant of the heat equation from a subdomain $ω$ of a bounded domain $M$. The constant is of the form $e^{\frac{K}{T}}$, where $K$ depends only on the geometry of $M$ and $ω$. Luc Miller (JDE, 2004) conjectured that $K$ is (universally) proportional to the square of the maximal distance from $ω$ to a point of $M$. We show in particular geometries that $K$ may blow up like $|\log(r)|^2$ when $ω$ is a ball of radius $r$, hence disproving the conjecture. We then prove in the general case the associated upper bound on this blowup. We also show that the conjecture is true for positive solutions of the heat equation.
The proofs rely on the study of the maximal vanishing rate of (sums of) eigenfunctions. They also yield lower and upper bounds for other geometric constants appearing as tunneling constants or approximate control costs.
As an intermediate step in the proofs, we provide a uniform Carleman estimate for Lipschitz metrics. The latter also implies uniform spectral inequalities and observability estimates for the heat equation in a bounded class of Lipschitz metrics, which are of independent interest.
△ Less
Submitted 4 June, 2018;
originally announced June 2018.
-
Tunneling estimates and approximate controllability for hypoelliptic equations
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
This article is concerned with quantitative unique continuation estimates for equations involving a "sum of squares" operator $\mathcal{L}$ on a compact manifold $\mathcal{M}$ assuming: $(i)$ the Chow-Rashevski-Hörmander condition ensuring the hypoellipticity of $\mathcal{L}$, and $(ii)$ the analyticity of $\mathcal{M}$ and the coefficients of $\mathcal{L}$.
The first result is the tunneling est…
▽ More
This article is concerned with quantitative unique continuation estimates for equations involving a "sum of squares" operator $\mathcal{L}$ on a compact manifold $\mathcal{M}$ assuming: $(i)$ the Chow-Rashevski-Hörmander condition ensuring the hypoellipticity of $\mathcal{L}$, and $(ii)$ the analyticity of $\mathcal{M}$ and the coefficients of $\mathcal{L}$.
The first result is the tunneling estimate $\|\varphi\|_{L^2(ω)} \geq Ce^{- λ^{\frac{k}{2}}}$ for normalized eigenfunctions $\varphi$ of $\mathcal{L}$ from a nonempty open set $ω\subset \mathcal{M}$, where $k$ is the hypoellipticity index of $\mathcal{L}$ and $λ$ the eigenvalue.
The main result is a stability estimate for solutions to the hypoelliptic wave equation $(\partial_t^2+\mathcal{L})u=0$: for $T>2 \sup_{x \in \mathcal{M}}(dist(x,ω))$ (here, $dist$ is the sub-Riemannian distance), the observation of the solution on $(0,T)\times ω$ determines the data. The constant involved in the estimate is $Ce^{cΛ^k}$ where $Λ$ is the typical frequency of the data.
We then prove the approximate controllability of the hypoelliptic heat equation $(\partial_t+\mathcal{L})v=1_ωf$ in any time, with appropriate (exponential) cost, depending on $k$. In case $k=2$ (Grushin, Heisenberg...), we further show approximate controllability to trajectories with polynomial cost in large time.
We also explain how the analyticity assumption can be relaxed, and a boundary $\partial \mathcal{M}$ can be added in some situations.
Most results turn out to be optimal on a family of Grushin-type operators.
The main proof relies on the general strategy developed by the authors in arxiv:1506.04254.
△ Less
Submitted 31 March, 2017;
originally announced March 2017.
-
Velocity estimates for symmetric random walks at low ballistic disorder
Authors:
Clément Laurent,
Alejandro F. Ramírez,
Christophe Sabot,
Santiago Saglietti
Abstract:
We derive asymptotic estimates for the velocity of random walks in random environments which are perturbations of the simple symmetric random walk but have a small local drift in a given direction. Our estimates complement previous results presented by Sznitman and are in the spirit of expansions obtained by Sabot.
We derive asymptotic estimates for the velocity of random walks in random environments which are perturbations of the simple symmetric random walk but have a small local drift in a given direction. Our estimates complement previous results presented by Sznitman and are in the spirit of expansions obtained by Sabot.
△ Less
Submitted 23 January, 2017;
originally announced January 2017.
-
Theano: A Python framework for fast computation of mathematical expressions
Authors:
The Theano Development Team,
Rami Al-Rfou,
Guillaume Alain,
Amjad Almahairi,
Christof Angermueller,
Dzmitry Bahdanau,
Nicolas Ballas,
Frédéric Bastien,
Justin Bayer,
Anatoly Belikov,
Alexander Belopolsky,
Yoshua Bengio,
Arnaud Bergeron,
James Bergstra,
Valentin Bisson,
Josh Bleecher Snyder,
Nicolas Bouchard,
Nicolas Boulanger-Lewandowski,
Xavier Bouthillier,
Alexandre de Brébisson,
Olivier Breuleux,
Pierre-Luc Carrier,
Kyunghyun Cho,
Jan Chorowski,
Paul Christiano
, et al. (88 additional authors not shown)
Abstract:
Theano is a Python library that allows to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Since its introduction, it has been one of the most used CPU and GPU mathematical compilers - especially in the machine learning community - and has shown steady performance improvements. Theano is being actively and continuously developed since 2008, mu…
▽ More
Theano is a Python library that allows to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Since its introduction, it has been one of the most used CPU and GPU mathematical compilers - especially in the machine learning community - and has shown steady performance improvements. Theano is being actively and continuously developed since 2008, multiple frameworks have been built on top of it and it has been used to produce many state-of-the-art machine learning models.
The present article is structured as follows. Section I provides an overview of the Theano software and its community. Section II presents the principal features of Theano and how to use them, and compares them with other similar projects. Section III focuses on recently-introduced functionalities and improvements. Section IV compares the performance of Theano against Torch7 and TensorFlow on several machine learning models. Section V discusses current limitations of Theano and potential ways of improving it.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Recurrent Batch Normalization
Authors:
Tim Cooijmans,
Nicolas Ballas,
César Laurent,
Çağlar Gülçehre,
Aaron Courville
Abstract:
We propose a reparameterization of LSTM that brings the benefits of batch normalization to recurrent neural networks. Whereas previous works only apply batch normalization to the input-to-hidden transformation of RNNs, we demonstrate that it is both possible and beneficial to batch-normalize the hidden-to-hidden transition, thereby reducing internal covariate shift between time steps. We evaluate…
▽ More
We propose a reparameterization of LSTM that brings the benefits of batch normalization to recurrent neural networks. Whereas previous works only apply batch normalization to the input-to-hidden transformation of RNNs, we demonstrate that it is both possible and beneficial to batch-normalize the hidden-to-hidden transition, thereby reducing internal covariate shift between time steps. We evaluate our proposal on various sequential problems such as sequence classification, language modeling and question answering. Our empirical results show that our batch-normalized LSTM consistently leads to faster convergence and improved generalization.
△ Less
Submitted 27 February, 2017; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Uniform observability estimates for linear waves
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
In this article, we give a completely constructive proof of the observability/controllability of the wave equation on a compact manifold under optimal geometric conditions. This contrasts with the original proof of Bardos-Lebeau-Rauch, which contains two non-constructive arguments. Our method is based on the Dehman-Lebeau Egorov approach to treat the high-frequencies, and the optimal unique contin…
▽ More
In this article, we give a completely constructive proof of the observability/controllability of the wave equation on a compact manifold under optimal geometric conditions. This contrasts with the original proof of Bardos-Lebeau-Rauch, which contains two non-constructive arguments. Our method is based on the Dehman-Lebeau Egorov approach to treat the high-frequencies, and the optimal unique continuation stability result of the authors for the low-frequencies.
As an application, we first give estimates of the blowup of the observability constant when the time tends to the limit geometric control time (for wave equations with possibly lower order terms). Second, we provide (on manifolds with or without boundary) with an explicit dependence of the observability constant with respect to the addition of a bounded potential to the equation.
△ Less
Submitted 21 January, 2016;
originally announced January 2016.
-
Batch Normalized Recurrent Neural Networks
Authors:
César Laurent,
Gabriel Pereyra,
Philémon Brakel,
Ying Zhang,
Yoshua Bengio
Abstract:
Recurrent Neural Networks (RNNs) are powerful models for sequential data that have the potential to learn long-term dependencies. However, they are computationally expensive to train and difficult to parallelize. Recent work has shown that normalizing intermediate representations of neural networks can significantly improve convergence rates in feedforward neural networks . In particular, batch no…
▽ More
Recurrent Neural Networks (RNNs) are powerful models for sequential data that have the potential to learn long-term dependencies. However, they are computationally expensive to train and difficult to parallelize. Recent work has shown that normalizing intermediate representations of neural networks can significantly improve convergence rates in feedforward neural networks . In particular, batch normalization, which uses mini-batch statistics to standardize features, was shown to significantly reduce training time. In this paper, we show that applying batch normalization to the hidden-to-hidden transitions of our RNNs doesn't help the training procedure. We also show that when applied to the input-to-hidden transitions, batch normalization can lead to a faster convergence of the training criterion but doesn't seem to improve the generalization performance on both our language modelling and speech recognition tasks. All in all, applying batch normalization to RNNs turns out to be more challenging than applying it to feedforward networks, but certain variants of it can still be beneficial.
△ Less
Submitted 5 October, 2015;
originally announced October 2015.
-
Quantitative unique continuation for operators with partially analytic coefficients. Application to approximate control for waves
Authors:
Camille Laurent,
Matthieu Léautaud
Abstract:
In this article, we first prove quantitative estimates associated to the unique continuation theorems for operators with partially analytic coefficients of Tataru, Robbiano-Zuily and Hörmander. We provide local stability estimates that can be propagated, leading to global ones.
Then, we specify the previous results to the wave operator on a Riemannian manifold $\mathcal{M}$ with boundary. For th…
▽ More
In this article, we first prove quantitative estimates associated to the unique continuation theorems for operators with partially analytic coefficients of Tataru, Robbiano-Zuily and Hörmander. We provide local stability estimates that can be propagated, leading to global ones.
Then, we specify the previous results to the wave operator on a Riemannian manifold $\mathcal{M}$ with boundary. For this operator, we also prove Carleman estimates and local quantitative unique continuation from and up to the boundary $\partial \mathcal{M}$. This allows us to obtain a global stability estimate from any open set $Γ$ of $\mathcal{M}$ or $\partial \mathcal{M}$, with the optimal time and dependence on the observation.
This provides the cost of approximate controllability: for any $T>2 \sup_{x \in \mathcal{M}}(dist(x,Γ))$, we can drive any data of $H^1_0 \times L^2$ in time $T$ to an $\varepsilon$-neighborhood of zero in $L^2 \times H^{-1}$, with a control located in $Γ$, at cost $e^{C/\varepsilon}$.
We also obtain similar results for the Schrödinger equation.
△ Less
Submitted 13 June, 2015;
originally announced June 2015.
-
Control and Stabilization of the Benjamin-Ono equation in $L^2(\mathbb T)$
Authors:
Camille Laurent,
Felipe Linares,
Lionel Rosier
Abstract:
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. Mo…
▽ More
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.
△ Less
Submitted 11 February, 2014;
originally announced February 2014.
-
Internal control of the Schrödinger equation
Authors:
Camille Laurent
Abstract:
In this paper, we intend to present some already known results about the internal controllability of the linear and nonlinear Schrödinger equation. After presenting the basic properties of the equation, we give a self contained proof of the controllability in dimension 1 using some propagation results. We then discuss how to obtain some similar results on a compact manifold where the zone of contr…
▽ More
In this paper, we intend to present some already known results about the internal controllability of the linear and nonlinear Schrödinger equation. After presenting the basic properties of the equation, we give a self contained proof of the controllability in dimension 1 using some propagation results. We then discuss how to obtain some similar results on a compact manifold where the zone of control satisfies the Geometric Control Condition. We also discuss some known results and open questions when this condition is not satisfied. Then, we present the links between the controllability and some resolvent estimates. Finally, we discuss the new difficulties when we consider the Nonlinear Schrödinger equation.
△ Less
Submitted 8 July, 2013;
originally announced July 2013.
-
Bernoulli problem for rough domains
Authors:
Bouchon François,
Chupin Laurent
Abstract:
We consider the exterior free boundary Bernoulli problem in the case of a rough given domain. An asymptotic analysis shows that the solution of the initial problem can be approximated by the solution of a non-rough Bernoulli problem at order 2. Numerical tests confirm these theoretical results.
We consider the exterior free boundary Bernoulli problem in the case of a rough given domain. An asymptotic analysis shows that the solution of the initial problem can be approximated by the solution of a non-rough Bernoulli problem at order 2. Numerical tests confirm these theoretical results.
△ Less
Submitted 10 June, 2013;
originally announced June 2013.
-
A note on the global controllability of the semilinear wave equation
Authors:
Romain Joly,
Camille Laurent
Abstract:
We study the internal controllability of the semilinear wave equation $$v_{tt}(x,t)-Δv(x,t) + f(x,v(x,t))= \Un_ω u(x,t)$$ for some nonlinearities $f$ which can produce several non-trivial steady states. One of the usual hypotheses to get global controllability, is to assume that $f(x,v)v\geq 0$. In this case, a stabilisation term $u=γ(x)v_t$ makes any solution converging to zero. The global contro…
▽ More
We study the internal controllability of the semilinear wave equation $$v_{tt}(x,t)-Δv(x,t) + f(x,v(x,t))= \Un_ω u(x,t)$$ for some nonlinearities $f$ which can produce several non-trivial steady states. One of the usual hypotheses to get global controllability, is to assume that $f(x,v)v\geq 0$. In this case, a stabilisation term $u=γ(x)v_t$ makes any solution converging to zero. The global controllability then follows from a theorem of local controllability and the time reversibility of the equation. In this paper, the nonlinearity $f$ can be more general, so that the solutions of the damped equation may converge to another equilibrium than $0$. To prove global controllability, we study the controllability inside a compact attractor and show that it is possible to travel from one equilibrium point to another by using the heteroclinic orbits.
△ Less
Submitted 2 December, 2013; v1 submitted 12 September, 2012;
originally announced September 2012.
-
Exponential moments of self-intersection local times of stable random walks in subcritical dimensions
Authors:
Fabienne Castell,
Clément Laurent,
Clothilde Mélot
Abstract:
Let $(X_t, t \geq 0)$ be an $α$-stable random walk with values in $\Z^d$. Let $l_t(x) = \int_0^t δ_x(X_s) ds$ be its local time. For $p>1$, not necessarily integer, $I_t = \sum_x l_t^p(x)$ is the so-called $p$-fold self- intersection local time of the random walk. When $p(d -α) < d$, we derive precise logarithmic asymptotics of the probability $P(I_t \geq r_t)$ for all scales $r_t \gg \E(I_t)$. Ou…
▽ More
Let $(X_t, t \geq 0)$ be an $α$-stable random walk with values in $\Z^d$. Let $l_t(x) = \int_0^t δ_x(X_s) ds$ be its local time. For $p>1$, not necessarily integer, $I_t = \sum_x l_t^p(x)$ is the so-called $p$-fold self- intersection local time of the random walk. When $p(d -α) < d$, we derive precise logarithmic asymptotics of the probability $P(I_t \geq r_t)$ for all scales $r_t \gg \E(I_t)$. Our result extends previous works by Chen, Li and Rosen 2005, Becker and König 2010, and Laurent 2012.
△ Less
Submitted 22 May, 2012;
originally announced May 2012.
-
Stabilization for the semilinear wave equation with geometric control condition
Authors:
Romain Joly,
Camille Laurent
Abstract:
In this article, we prove the exponential stabilization of the semilinear wave equation with a dam** effective in a zone satisfying the geometric control condition only. The nonlinearity is assumed to be subcritical, defocusing and analytic. The main novelty compared to previous results, is the proof of a unique continuation result in large time for some undamped equation. The idea is to use an…
▽ More
In this article, we prove the exponential stabilization of the semilinear wave equation with a dam** effective in a zone satisfying the geometric control condition only. The nonlinearity is assumed to be subcritical, defocusing and analytic. The main novelty compared to previous results, is the proof of a unique continuation result in large time for some undamped equation. The idea is to use an asymptotic smoothing effect proved by Hale and Raugel in the context of dynamical systems. Then, once the analyticity in time is proved, we apply a unique continuation result with partial analyticity due to Robbiano, Zuily, Tataru and Hörmander. Some other consequences are also given for the controllability and the existence of a compact attractor.
△ Less
Submitted 2 December, 2013; v1 submitted 11 May, 2012;
originally announced May 2012.
-
The Laplace-Beltrami operator in almost-Riemannian Geometry
Authors:
Ugo Boscain,
Camille Laurent
Abstract:
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, the singular set is an embedded one dimensional manifold and there are three type of points: Riemannian points where the two vector fields are linearly independent, Grush…
▽ More
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, the singular set is an embedded one dimensional manifold and there are three type of points: Riemannian points where the two vector fields are linearly independent, Grushin points where the two vector fields are collinear but their Lie bracket is not and tangency points where the two vector fields and their Lie bracket are collinear and the missing direction is obtained with one more bracket. Generically tangency points are isolated. In this paper we study the Laplace-Beltrami operator on such a structure. In the case of a compact orientable surface without tangency points, we prove that the Laplace-Beltrami operator is essentially self-adjoint and has discrete spectrum. As a consequence a quantum particle in such a structure cannot cross the singular set and the heat cannot flow through the singularity. This is an interesting phenomenon since when approaching the singular set (i.e. where the vector fields become collinear), all Riemannian quantities explode, but geodesics are still well defined and can cross the singular set without singularities. This phenomenon appears also in sub-Riemannian structure which are not equiregular i.e. in which the grow vector depends on the point. We show this fact by analyzing the Martinet case.
△ Less
Submitted 24 May, 2011;
originally announced May 2011.
-
Large deviations for self-intersection local times in subcritical dimensions
Authors:
Clément Laurent
Abstract:
Let $(X_t,t\geq 0)$ be a random walk on $\mathbb{Z}^d$. Let $ l_t(x)= \int_0^t δ_x(X_s)ds$ be the local time at site $x$ and $ I_t= \sum\limits_{x\in\mathbb{Z}^d} l_t(x)^p $ the p-fold self-intersection local time (SILT). Becker and König have recently proved a large deviations principle for $I_t$ for all $(p,d)\in\mathbb{R}^d\times\mathbb{Z}^d$ such that $p(d-2)<2$. We extend these results to a b…
▽ More
Let $(X_t,t\geq 0)$ be a random walk on $\mathbb{Z}^d$. Let $ l_t(x)= \int_0^t δ_x(X_s)ds$ be the local time at site $x$ and $ I_t= \sum\limits_{x\in\mathbb{Z}^d} l_t(x)^p $ the p-fold self-intersection local time (SILT). Becker and König have recently proved a large deviations principle for $I_t$ for all $(p,d)\in\mathbb{R}^d\times\mathbb{Z}^d$ such that $p(d-2)<2$. We extend these results to a broader scale of deviations and to the whole subcritical domain $p(d-2)<d$. Moreover we unify the proofs of the large deviations principle using a method introduced by Castell for the critical case $p(d-2)=d$ and developed by Laurent for the critical and supercritical case $p(d-α)\geq d$ of $α$-stable random walk.
△ Less
Submitted 30 November, 2010;
originally announced November 2010.
-
Reflexion on a method for Archaeology of technical machine
Authors:
Nicolas Perry,
Richard J. B. Stein,
Robert Vergnieux,
Cabot Laurent
Abstract:
This study is based on Roman wooden force pumps. It appears that they were used in small numbers to raise water from wells, and more commonly as portable pumps to fight fires. The force pump is attributed to Ctesibius of Alexandria (fl. c.270 B.C.). The earlier examples were made in bronze, but the original design was cleverly re-engineered in Roman times to make pumps easier and cheaper to make a…
▽ More
This study is based on Roman wooden force pumps. It appears that they were used in small numbers to raise water from wells, and more commonly as portable pumps to fight fires. The force pump is attributed to Ctesibius of Alexandria (fl. c.270 B.C.). The earlier examples were made in bronze, but the original design was cleverly re-engineered in Roman times to make pumps easier and cheaper to make and maintain, by cutting apertures in a large block of wood, and making internal spaces pressure proof by plugging their extremities. Eighteen wooden pumps have been found, mostly in wells, and remains of thirteen survive. This study is based on examination of the remains, and of the reports of the Perigueux pump (Dordogne, France). Archaeologists want to fully study the pump, tacking into consideration its efficiency and the mechanical calculations of the possible performance and of the manpower required to drive it. Technical considerations affecting construction, operation, and performance are discussed and requires connections with knowledge fields such as mechanics. A detailed Report is provided on the pump, giving, so far as possible, a complete description of it and all that is currently known about it. Moreover, a model, size 1:1 of the pump had been built in order to validate the hypothesis. This paper will present the different sides of the multi-expertise for this archaeology and experimental archaeology validation.
△ Less
Submitted 21 May, 2010;
originally announced May 2010.
-
On stabilization and control for the critical Klein-Gordon equation on a 3-D compact manifold
Authors:
Camille Laurent
Abstract:
In this article, we study the internal stabilization and control of the critical nonlinear Klein-Gordon equation on 3-D compact manifolds. Under a geometric assumption slightly stronger than the classical geometric control condition, we prove exponential decay for some solutions bounded in the energy space but small in a lower norm. The proof combines profile decomposition and microlocal arguments…
▽ More
In this article, we study the internal stabilization and control of the critical nonlinear Klein-Gordon equation on 3-D compact manifolds. Under a geometric assumption slightly stronger than the classical geometric control condition, we prove exponential decay for some solutions bounded in the energy space but small in a lower norm. The proof combines profile decomposition and microlocal arguments. This profile decomposition, analogous to the one of Bahouri-Gérard on $\R^3$, is performed by taking care of possible geometric effects. It uses some results of S. Ibrahim on the behavior of concentrating waves on manifolds.
△ Less
Submitted 16 April, 2010;
originally announced April 2010.
-
Large deviations for self-intersection local times of stable random walks
Authors:
Clément Laurent
Abstract:
Let $(X_t,t\geq 0)$ be a random walk on $\mathbb{Z}^d$. Let $ l_T(x)= \int_0^T δ_x(X_s)ds$ the local time at the state $x$ and $ I_T= \sum\limits_{x\in\mathbb{Z}^d} l_T(x)^q $ the q-fold self-intersection local time (SILT). In \cite{Castell} Castell proves a large deviations principle for the SILT of the simple random walk in the critical case $q(d-2)=d$. In the supercritical case $q(d-2)>d$, C…
▽ More
Let $(X_t,t\geq 0)$ be a random walk on $\mathbb{Z}^d$. Let $ l_T(x)= \int_0^T δ_x(X_s)ds$ the local time at the state $x$ and $ I_T= \sum\limits_{x\in\mathbb{Z}^d} l_T(x)^q $ the q-fold self-intersection local time (SILT). In \cite{Castell} Castell proves a large deviations principle for the SILT of the simple random walk in the critical case $q(d-2)=d$. In the supercritical case $q(d-2)>d$, Chen and Mörters obtain in \cite{ChenMorters} a large deviations principle for the intersection of $q$ independent random walks, and Asselah obtains in \cite{Asselah5} a large deviations principle for the SILT with $q=2$. We extend these results to an $α$-stable process (i.e. $α\in]0,2]$) in the case where $q(d-α)\geq d$.
△ Less
Submitted 31 March, 2010;
originally announced March 2010.
-
Local controllability of 1D linear and nonlinear Schrödinger equations with bilinear control
Authors:
Karine Beauchard,
Camille Laurent
Abstract:
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 p…
▽ More
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 map** 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.
△ Less
Submitted 19 January, 2010;
originally announced January 2010.
-
Control and Stabilization of the Korteweg-de Vries Equation on a Periodic Domain
Authors:
Camille Laurent,
Lionel Rosier,
Bing-Yu Zhang
Abstract:
This paper aims at completing an earlier work of Russell and Zhang to study internal control problems for the distributed parameter system described by the Korteweg-de Vries equation on a periodic domain T^1. In their article, Russell and Zhang showed that the system is locally exactly controllable and locally exponentially stabilizable when the control acts on an arbitrary nonempty subdomain of…
▽ More
This paper aims at completing an earlier work of Russell and Zhang to study internal control problems for the distributed parameter system described by the Korteweg-de Vries equation on a periodic domain T^1. In their article, Russell and Zhang showed that the system is locally exactly controllable and locally exponentially stabilizable when the control acts on an arbitrary nonempty subdomain of T^1. In this paper, we show that the system is in fact globally exactly controllable and globally exponentially stabilizable. The global exponential stabilizability corresponding to a natural feedback law is first established with the aid of certain properties of propagation of compactness and propagation of regularity in Bourgain spaces for solutions of the associated linear system. Then, using a different feedback law, the resulting closed-loop system is shown to be locally exponentially stable with an arbitrarily large decay rate. A time-varying feedback law is further designed to ensure a global exponential stability with an arbitrary large decay rate.
△ Less
Submitted 21 May, 2009;
originally announced May 2009.
-
Global controllability and stabilization for the nonlinear Schrödinger equation on some compact manifolds of dimension 3
Authors:
Camille Laurent
Abstract:
We prove global internal controllability in large time for the nonlinear Schrödinger equation on some compact manifolds of dimension 3. The result is proved under some geometrical assumptions : geometric control and unique continuation. We give some examples where they are fulfilled on $\Tot$, $S^3$ and $S^2\times S^1$. We prove this by two different methods both inherently interesting. The firs…
▽ More
We prove global internal controllability in large time for the nonlinear Schrödinger equation on some compact manifolds of dimension 3. The result is proved under some geometrical assumptions : geometric control and unique continuation. We give some examples where they are fulfilled on $\Tot$, $S^3$ and $S^2\times S^1$. We prove this by two different methods both inherently interesting. The first one combines stabilization and local controllability near 0. The second one uses successive controls near some trajectories. We also get a regularity result about the control if the data are assumed smoother. If the $H^1$ norm is bounded, it gives a local control in $H^1$ with a smallness assumption only in $L^2$. We use Bourgain spaces.
△ Less
Submitted 10 March, 2009;
originally announced March 2009.
-
Global controllability and stabilization for the nonlinear Schrodinger equation on an interval
Authors:
Camille Laurent
Abstract:
We prove global internal controllability in large time for the nonlinear Schrodinger equation on a bounded interval with periodic, Dirichlet or Neumann conditions. Our strategy combines stabilization and local controllability near 0. We use Bourgain spaces to prove this result on L2. We also get a regularity result about the control if the data are assumed smoother.
We prove global internal controllability in large time for the nonlinear Schrodinger equation on a bounded interval with periodic, Dirichlet or Neumann conditions. Our strategy combines stabilization and local controllability near 0. We use Bourgain spaces to prove this result on L2. We also get a regularity result about the control if the data are assumed smoother.
△ Less
Submitted 26 May, 2008;
originally announced May 2008.
-
SDSS J102146.44+234926.3: New WZ Sge-type dwarf nova
Authors:
Alex Golovin,
Ayani Kazuya,
Pavlenko Elena P.,
Krajci Tom,
Kuznyetsova Yuliana,
Henden Arne,
Krushevska Victoria,
Dvorak Shawn,
Sokolovsky Kirill,
Sergeeva Tatyana P.,
James Robert,
Crawford Tim,
Corp Laurent
Abstract:
We report CCD photometry and spectroscopy during 2006 outburst of the dwarf nova SDSS J102146.44+234926.3 (SDSS J1021). The photographic plates from the MAO, SAI and CrAO plate archives, which cover the position of the SDSS J1021, were inspected for the presence of previous outbursts. We also present the BVRcIc photometric calibration of 52 stars in SDSS J1021 vicinity, which have V-magnitude in…
▽ More
We report CCD photometry and spectroscopy during 2006 outburst of the dwarf nova SDSS J102146.44+234926.3 (SDSS J1021). The photographic plates from the MAO, SAI and CrAO plate archives, which cover the position of the SDSS J1021, were inspected for the presence of previous outbursts. We also present the BVRcIc photometric calibration of 52 stars in SDSS J1021 vicinity, which have V-magnitude in the range of 11.21-17.23m and can serve as comparison stars. The large amplitude of the SDSS J1021 outburst of 7m, superhumps with a period below the ''period gap'', rebrightening during the declining stage of superoutburst, rarity of outbursts and obtained spectrum allow to classify this object as a WZ Sge type dwarf nova.
△ Less
Submitted 11 April, 2007; v1 submitted 10 April, 2007;
originally announced April 2007.
-
Curing and post-curing luminescence in an epoxy resin
Authors:
Olivier Gallot-Lavallée,
G. Teyssedre,
C. Laurent,
S. Robiani,
S. Rowe
Abstract:
A spontaneous luminescence is reported when epoxy resin samples are heated in air. This phenomenon is very sensitive to the nature of the atmosphere. The same treatment in nitrogen leads to an extinction of the luminescence. The emission process is restored when samples are kept for a sufficient time in air. In order to better understand this phenomenon, we have investigated the luminescence of…
▽ More
A spontaneous luminescence is reported when epoxy resin samples are heated in air. This phenomenon is very sensitive to the nature of the atmosphere. The same treatment in nitrogen leads to an extinction of the luminescence. The emission process is restored when samples are kept for a sufficient time in air. In order to better understand this phenomenon, we have investigated the luminescence of the elementary constituents of the epoxy (resin and hardener) when heated in air and nitrogen, as well as during resin curing in the same atmospheres. It appears that the emission process is linked with the presence of oxygen. Although the kinetics of the luminescence can differ depending on the nature of the sample (cured resin, resin during curing, liquid components), the emission spectra are the same during resin curing and upon heating of the cured resin and hardener. The emission spectrum of the base resin is different. It is concluded that the light results from a chemiluminescence process during oxidation.
△ Less
Submitted 24 February, 2006;
originally announced February 2006.
-
Raman spectroscopy of iodine-doped double-walled carbon nanotubes
Authors:
Julien Cambedouzou,
Jean-Louis Sauvajol,
Abdelali Rahmani,
Emmanuel Flahaut,
Alain Peigney,
Christophe Laurent
Abstract:
We present a Raman spectroscopy study of iodine-intercalated (p-type-doped) double-walled carbon nanotubes. Double-walled carbon nanotubes (DWCNTs) are synthesized by catalytic chemical vapor deposition and characterized by Raman spectroscopy. The assignment of the radial breathing modes and the tangential modes of pristine DWCNTs is done in the framework of the bond polarization theory, using t…
▽ More
We present a Raman spectroscopy study of iodine-intercalated (p-type-doped) double-walled carbon nanotubes. Double-walled carbon nanotubes (DWCNTs) are synthesized by catalytic chemical vapor deposition and characterized by Raman spectroscopy. The assignment of the radial breathing modes and the tangential modes of pristine DWCNTs is done in the framework of the bond polarization theory, using the spectral moment method. The changes in the Raman spectrum upon iodine do** are analyzed. Poly-iodine anions are identi- fied, and the Raman spectra reveal that the charge transfer between iodine and DWCNTs only involves the outer tubes.
△ Less
Submitted 26 October, 2004;
originally announced October 2004.
-
Chirality of internal metallic and semiconducting carbon nanotubes
Authors:
R. R. Bacsa,
A. Peigney,
Ch. Laurent,
P. Puech,
W. S. Bacsa
Abstract:
We have assigned the chirality of the internal tubes of double walled carbon nanotubes grown by catalytic chemical vapor deposition using the high sensitivity of the radial breathing mode (RB) in inelastic light scattering experiments. The deduced chirality corresponds to several semiconducting and only two metallic internal tubes. The RB modes are systematically shifted to higher energies when…
▽ More
We have assigned the chirality of the internal tubes of double walled carbon nanotubes grown by catalytic chemical vapor deposition using the high sensitivity of the radial breathing mode (RB) in inelastic light scattering experiments. The deduced chirality corresponds to several semiconducting and only two metallic internal tubes. The RB modes are systematically shifted to higher energies when compared to theoretical values. The difference between experimental and theoretical energies of the RB modes of metallic tubes and semiconducting tubes are discussed interms of the reduced interlayer distance between the internal and the external tube and electronic resonance effects. We find several pairs of RB modes corresponding to different diameters of internal and external tubes.
△ Less
Submitted 23 November, 2001;
originally announced November 2001.