Semi classical analysis and passive imaging
33
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
33
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Publié par
Langue
English
Niveau: Supérieur, Doctorat, Bac+8
Semi-classical analysis and passive imaging Yves Colin de Verdiere ? March 16, 2009 Abstract The propagation of elastic waves inside the earth provides us information's about the geological structure of the earth's interior. Since the beginning of seismology, people are using waves created by earthquakes or by artificial explosions. They record the waves as functions of the time using seismome- ters located at different stations on the earth's surface. Even without any earthquake or explosion, a weak signal is still recorded which has no evident structure: it is a ”noise”. How to use these noises? This is the goal of the method of ”passive imaging”. The main observation is the following one: the time correlation of the noisy fields, computed from the fields recorded at the points A and B, is ”close” to the Green's function G(?, A,B) of the wave propagation. The aim of this paper is to provide a mathematical context for this approach and to show, in particular, how the methods of semi-classical analysis can be be used in order to find the asymptotic behaviour of the cor- relations. Introduction The seismologists want to recover the physical parameters of the earth's interior from records (called seismogram's), at the earth's boundary, of the elastic waves propagating inside the earth. From the mathematical point of view, it is an example of a so-called ”inverse problem”: the most famous inverse problems are the Calderon problem (recovering the conductance of a domain from boundary measurements) and the Kac
Voir
Semi-classical analysis and passive imaging Yves Colin de Verdiere ? March 16, 2009 Abstract The propagation of elastic waves inside the earth provides us information's about the geological structure of the earth's interior. Since the beginning of seismology, people are using waves created by earthquakes or by artificial explosions. They record the waves as functions of the time using seismome- ters located at different stations on the earth's surface. Even without any earthquake or explosion, a weak signal is still recorded which has no evident structure: it is a ”noise”. How to use these noises? This is the goal of the method of ”passive imaging”. The main observation is the following one: the time correlation of the noisy fields, computed from the fields recorded at the points A and B, is ”close” to the Green's function G(?, A,B) of the wave propagation. The aim of this paper is to provide a mathematical context for this approach and to show, in particular, how the methods of semi-classical analysis can be be used in order to find the asymptotic behaviour of the cor- relations. Introduction The seismologists want to recover the physical parameters of the earth's interior from records (called seismogram's), at the earth's boundary, of the elastic waves propagating inside the earth. From the mathematical point of view, it is an example of a so-called ”inverse problem”: the most famous inverse problems are the Calderon problem (recovering the conductance of a domain from boundary measurements) and the Kac
- has been used
- main result
- surface waves
- problem has
- wave equations
- makes quite
Publié par
Langue
English
Semi-classical analysis
and passive imaging
YvesColindeVerdie`re∗
March 16, 2009
Abstract
The propagation of elastic waves inside the earth provides us information’s about the geological structure of the earth’s interior. Since the beginning of seismology, people are using waves created by earthquakes or by artificial explosions. They record the waves as functions of the time using seismome-ters located at different stations on the earth’s surface. Even without any earthquake or explosion, a weak signal is still recorded which has no evident structure: it is a ”noise”. How to use these noises? This is the goal of the method of ”passive imaging”. The main observation is the following one: the time correlation of the noisy fields, computed from the fields recorded at the pointsAandB, is ”close” to the Green’s functionG(τ, A, B) of the wave propagation. The aim of this paper is to provide a mathematical context for this approach and to show, in particular, how the methods of semi-classical analysis can be be used in order to find the asymptotic behaviour of the cor-relations.
Introduction
The seismologists want to recover the physical parameters of the earth’s interior from records (called seismogram’s), at the earth’s boundary, of the elastic waves propagating inside the earth. From the mathematical point of view, it is an example of a so-called ”inverse problem”: the most famous inverse problems are the Calderon problem (recovering the conductance of a domain from boundary measurements) and the Kac problem (recovering an Euclidean domain from the spectrum of it’s Dirichlet Laplacian). The use of elastic waves created by an earthquake (resp. an artificial explosion) has been quite successful in order to recover the large scale structure (resp. the small scale structure: oil detection for example). The geological structure of the earth crust up to depths of 30-50 kilometres is much more difficult to know. On the other hand, only a small part of the seismogram’s was used: this part corresponds to the propagation of well identified body and surface waves: typically the P-waves, the S-waves and the Rayleigh waves. The last part (called the ”coda”) of the seismogram’s were not used. This was a long standing question asked by K. Aki, one of the founders of the modern seismology. Quite recently, it was observed by M. Campillo and A. Paul [5] that the time-correlation of coda waves is closely related to the Green’s function. Later, M. Campillo and his collaborators were showing that the correlations of ambient noises already gives the Green’s functions [8, 24, 25]. Similar results were already known to work in acoustics [18, 31, 32, 9] and helio-seismology [12]. Theoretical results were derived by several people in [2, 21, 23]. Applications to clock
∗InstitutFourie,rnUtie´imtxderehercheecJF-URSCN7PB,2855-20483,4tMarSaintin d’H`eresCedex(France);-wwwruoftth//:pengrleobr.ief-ujf./r∼ycolver/
1
synchronisation [22] and to volcanic eruptions forecasting [4] have been developed. The paper [16] is a recent survey paper. So, let us assume that we can recover the Green’s function: how does it helps in order to solve our inverse problem? Here enters semi-classics (or ray theory): the semi-classical behaviour of the Green’s function contains the ray dynamics. Even more, the Green’s function is not really needed for that, its phase is enough. So it is natural to study the problem of passive imaging using the tools of semi-classical analysis. The goal of my paper is to present some mathematical models for this method of passive imaging. They will be applicable to any kind of wave, but I have in mind the seismic waves. Semi-classical analysis will be used as a way to get a geometric approximation to the wave propagation AND in the modelling of the source noise. I do not at all pretend that the assumptions of my models are realistic from the physical point of view. I just hope that they will help seismologists by providing another point of view and other words. On the other hand, these models put light onto several interesting mathematical problems: mode conversions, inverse spectral problems, mode-ling of random fields . . . Thinks work as follows: let us assume that we have a mediumX(a smooth manifold) and a smooth, deterministic (no randomness in it), linear wave equation in X. We hope to recover (part of) the geometry ofX Wefrom the wave propagation. assume that there is somewhere inXa source of noisef(x, t) which is a stationary random field. This source generates, by the (linear) wave propagation, a fieldu(x, t) (assumed to be scalar in this introduction). This fielduis recorded at different pointsA, B,∙ ∙ ∙ We want to get some information on theon long time intervals. propagation of waves fromBtoAinXfrom the correlation T CA,B(τ) =Tl→i+m∞T1Z0−τ)dt u(A, t)¯u(B, t which can be computed numerically from the fields recorded atAandB. In seis-mology the mediumXwill be the earth, the waves are the elastic waves, the main source noise is due to the interaction of ocean and atmosphere with the earth crust and the field is recorded at the surface of the earth. It turns out thatCA,B(τ) is closely related to the deterministicGreen’s function of the wave equation inX means that one can hope to recover, using Fourier. It analysis, the propagation speeds of waves betweenAandBas a function of the frequency, and, more precisely, the Hamiltonian or, more generally, the so-called dispersion relation. If the wave dynamics is time reversal symmetric, the correlation admits also a symmetry by change ofτinto−τ; this observation has been used for clock synchro-nisation, see [22]. The goal of this paper is to give precise formulae forCA,B(τ) in the high fre-quency limit under some assumption on the sourcef. We will assume that the source field is a stationary ergodic random field whose covarianceK(x, y, s−s0) = ¯ E(f(x, s)f(y, , s0by the Schwartz kernel of a pseudo-differential opera-)) is given tor. This is a strong assumption which implies in particular a rapid decay of the correlations of the sourcefoutside the diagonal. More precisely, we have two small parameters, one of them entering into the decorrelation distance of the source noise, the other one in the high frequency prop-agation (theray fact that both are of the same order of magnitude ismethod). The crucial for the method. The method works well in certain frequency ranges of the wave propagation. From the point of view of physics, the main result is that, with some assumptions on the support of the source noise, one can recover the dispersion relation (the ray dynamics) in some frequency interval. A mathematical statement will be that, forτ >0,CA,B(τ) is close to the Schwartz kernel of Ω(τ)◦Π where Π
2
is a suitablepseudo-differential operator whose principal symbol can be(a ΨDO), explicitly computed, and Ω(τ) is the (semi-)group of the (damped) wave propaga-tion. This closeness is in general only in theL2sense, but can be point-wise if the damping is strong enough. It implies that we can recover the dispersion relation, i.e. the classical dynamics, from the knowledge of all two-points correlations. The waves are recorded at the boundary, it implies that the main part of the recorded noisy fields is coming from surface waves. So that we get another inverse problem: how do the dispersion relation of the elastic surface waves determines the structure of the earth’s interior? We will discuss the effective (dispersive) ray dynamics of the guided surface waves. The corresponding ideal inverse spectral problem has been solved in the paper [7] of which we recall the main result. I guess that our results can be interesting because they provide a quite general situation in which the source is not a white noise and for which we can still recover the most interesting part of the Green’s function (the phase). Let us also mention on the technical side that, rather than using mode decompo-sitions, we prefer to work directly with the dynamics; in other words, we need really atime dependentrather than astationary approach. Mode decompositions are of-ten useful, but they are of no much help for general operators with no particular symmetry. For clarity, we will first discuss the non-physical case of a first order wave equa-tionliketheSchro¨dingerequation,thenthecaseofamoreusualwaveequations (acoustics, elasticity). In order to make the paper readable by a large set of people, we have tried to make it self-contained by including sections on pseudo-differential operators and on random fields.
Contents
•start with a quite general setting and discuss a very generalIn Section 1, we formula for the correlation (Equation (2)). This formula will be made more precise in several cases in the following Sections.
•of Section 2 is to introduce the basic examples which we will discussThe goal in the paper.
•
•
•
•
•
In Section 3, we introduce a large family of anisotropic random fields and show the relation between their power spectra and their Wigner measures. They are build from white noises using the Radonification process: our random fields will be the images of some white noises by some suitable linear operators.
Section 4 is devoted to the case of a scalar field driven by a first order in time differential equation. This is quite academic, but will be used later for standard wave equations. We will discuss first the (non-realistic) case where the source is a white noise, then the semi-classical case assuming the absence of mode conversions.
In Section 5, we discuss the case of multi-component wave equations: we will discuss first the (non-realistic) case where the source is a white noise, then the semi-classical case using a reduction to the case of scalar fields.
In Section 6, going back to the beginning of the story, we discuss the question of the correlations of codas in the framework of “quantum chaos”.
In Section 7, we focus on the case of seismology and discuss the remarkable fact that the correlation of the surface waves is enough to image the crust of the earth using a wave-guide model of the crust.
3
