Searcharxiv⌕ Search

arXiv subjects

Enrique Zuazua

Publications and source records attributed to Enrique Zuazua.

136 records · Page 8Linked to original sources

Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains

We consider the wave and Schrödinger equations on a bounded open connected subset $Ω$ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $ω$ of $Ω$ during a time interval [0,T] with T>0. We address the problem of the optimal location of the observation subset ωamong all possible subsets of a given measure or volume fraction. We solve it in two different situations. First, when a specific choice of the initial data is given and therefore we deal with a particular solution, we show that the problem always admits at least one solution that can be regular or of fractal type depending on the regularity of the initial data. We then introduce a relevant criterion, not depending on the initial conditions and to choose the observation set in an uniform way, independent of the data and solutions under consideration. Through spectral decompositions, this leads to a second problem which consists of maximizing a spectral functional that can be viewed as a measure of eigenfunction concentration. This spectral criterion can be interpreted in two ways: it corresponds either to a time asymptotic observability constant as the observation time interval tends to infinity, or to a randomized version of the deterministic observability inequality. Under appropriate quantum ergodicity assumptions on $Ω$, we compute the optimal value. We then provide spectral approximations and present some numerical simulations that fully confirm the theoretical results in the paper and support our conjectures. Our results highlight precise connections between optimal observability issues and quantum ergodic properties of the domain under consideration.

math.OC↗

Asymptotic expansions for anisotropic heat kernels

We obtain the asymptotic expansion of the solutions of some anisotropic heat equations when the initial data belong to polynomially weighted Lp-spaces. We mainly address two model examples. In the first one, the diffusivity is of order two in some variables but higher in the other ones. In the second one we consider the heat equation on the Heisenberg group.

math.AP↗

On the quadratic finite element approximation of 1-d waves: propagation, observation and control

We study the propagation, observation and control properties of the 1-d wave equation on a bounded interval discretized in space using the quadratic classical finite element approximation. A careful Fourier analysis of the discrete wave dynamics reveals two different branches in the spectrum: the acoustic one, of physical nature, and the optic one, related to the perturbations that this second-order finite element approximation introduces with respect to the linear one. On both modes there are high frequencies with vanishing group velocity as the mesh size tends to zero. This shows that the classical property of continuous waves of being observable from the boundary fails to be uniform for this discretization scheme. As a consequence of this, the controls of the discrete waves may blow-up as the mesh size tends to zero. To remedy these high frequency pathologies, we design filtering mechanisms based on a bi-grid algorithm for which one can recover the uniformity of the observability constant in a finite time and, consequently, the possibility to control with uniformly bounded $L^2$ - controls appropriate projections of the solutions. This also allows showing that, by relaxing the control requirement, the controls are uniformly bounded and converge to the continuous ones as the mesh size tends to zero.

math.AP↗

Convergence rates for dispersive approximation schemes to nonlinear Schrödinger equations

This article is devoted to the analysis of the convergence rates of several nu- merical approximation schemes for linear and nonlinear Schrödinger equations on the real line. Recently, the authors have introduced viscous and two-grid numerical approximation schemes that mimic at the discrete level the so-called Strichartz dispersive estimates of the continuous Schrödinger equation. This allows to guarantee the convergence of numerical approximations for initial data in L2(R), a fact that can not be proved in the nonlinear setting for standard conservative schemes unless more regularity of the initial data is assumed. In the present article we obtain explicit convergence rates and prove that dispersive schemes fulfilling the Strichartz estimates are better behaved for Hs(R) data if 0 < s < 1/2. Indeed, while dispersive schemes ensure a polynomial convergence rate, non-dispersive ones only yield logarithmic decay rates.

math.NA↗

Approximating travelling waves by equilibria of non local equations

We consider an evolution equation of parabolic type in R having a travelling wave solution. We perform an appropriate change of variables which transforms the equation into a non local evolution one having a travelling wave solution with zero speed of propagation with exactly the same profile as the original one. We analyze the relation of the new equation with the original one in the entire real line. We also analyze the behavior of the non local problem in a bounded interval with appropriate boundary conditions and show that it has a unique stationary solution which is asymptotically stable for large enough intervals and that converges to the travelling wave as the interval approaches the entire real line. This procedure allows to compute simultaneously the travelling wave profile and its propagation speed avoiding moving meshes, as we illustrate with several numerical examples.

math.AP↗

High frequency wave packets for the Schrödinger equation and its numerical approximations

We build Gaussian wave packets for the linear Schrödinger equation and its finite difference space semi-discretization and illustrate the lack of uniform dispersive properties of the numerical solutions as established in Ignat, Zuazua, Numerical dispersive schemes for the nonlinear Schrödinger equation, SIAM. J. Numer. Anal., 47(2) (2009), 1366-1390. It is by now well known that bigrid algorithms provide filtering mechanisms allowing to recover the uniformity of the dispersive properties as the mesh size goes to zero. We analyze and illustrate numerically how these high frequency wave packets split and propagate under these bigrid filtering mechanisms, depending on how the fine grid/coarse grid filtering is implemented.

math.AP↗

Localized solutions and filtering mechanisms for the discontinuous Galerkin semi-discretizations of the 1-d wave equation

We perform a complete Fourier analysis of the semi-discrete 1-d wave equation obtained through a P1 discontinuous Galerkin (DG) approximation of the continuous wave equation on an uniform grid. The resulting system exhibits the interaction of two types of components: a physical one and a spurious one, related to the possible discontinuities that the numerical solution allows. Each dispersion relation contains critical points where the corresponding group velocity vanishes. Following previous constructions, we rigorously build wave packets with arbitrarily small velocity of propagation concentrated either on the physical or on the spurious component. We also develop filtering mechanisms aimed at recovering the uniform velocity of propagation of the continuous solutions. Finally, some applications to numerical approximation issues of control problems are also presented.

math.AP↗

Localized solutions for the finite difference semi-discretization of the wave equation

We study the propagation properties of the solutions of the finite-difference space semi-discrete wave equation on an uniform grid of the whole Euclidean space. We provide a construction of high frequency wave packets that propagate along the corresponding bi-characteristic rays of Geometric Optics with a group velocity arbitrarily close to zero. Our analysis is motivated by control theoretical issues. In particular, the continuous wave equation has the so-called observability property: for a sufficiently large time, the total energy of its solutions can be estimated in terms of the energy concentrated in the exterior of a compact set. This fails to be true, uniformly on the mesh-size parameter, for the semi-discrete schemes and the observability constant blows-up at an arbitrarily large polynomial order. Our contribution consists in providing a rigorous derivation of those wave packets and in analyzing their behavior near that ray, by taking into account the subtle added dispersive effects that the numerical scheme introduces.

math.AP↗

The asymptotic behaviour of the heat equation in a twisted Dirichlet-Neumann waveguide

We consider the heat equation in a straight strip, subject to a combination of Dirichlet and Neumann boundary conditions. We show that a switch of the respective boundary conditions leads to an improvement of the decay rate of the heat semigroup of the order of $t^{-1/2}$. The proof employs similarity variables that lead to a non-autonomous parabolic equation in a thin strip contracting to the real line, that can be analyzed on weighted Sobolev spaces in which the operators under consideration have discrete spectra. A careful analysis of its asymptotic behaviour shows that an added Dirichlet boundary condition emerges asymptotically at the switching point, breaking the real line in two half-lines, which leads asymptotically to the 1/2 gain on the spectral lower bound, and the $t^{-1/2}$ gain on the decay rate in the original physical variables. This result is an adaptation to the case of strips with twisted boundary conditions of previous results by the authors on geometrically twisted Dirichlet tubes.

math.AP↗

The Hardy inequality and the heat equation in twisted tubes

We show that a twist of a three-dimensional tube of uniform cross-section yields an improved decay rate for the heat semigroup associated with the Dirichlet Laplacian in the tube. The proof employs Hardy inequalities for the Dirichlet Laplacian in twisted tubes and the method of self-similar variables and weighted Sobolev spaces for the heat equation.

math.AP↗