Abstract
We consider an infinite chain of coupled harmonic oscillators with a Langevin thermostat at the origin. In the high frequency limit, we establish the reflection-transmission coefficients for the wave energy for the scattering off the thermostat. To our surprise, even though the thermostat fluctuations are time-dependent, the scattering does not couple wave energy at various frequencies.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Heat reservoirs with some given temperature T are usually modelled at the microscopic level by the Langevin stochastic dynamics, or by other random mechanisms such as the renewal of velocities at random times with Gaussian distributed velocities of variance T. This latter mechanism represents the interaction with an infinitely extended reservoir of independent particles in equilibrium at temperature T and uniform density.
When such reservoirs are in contact with the system boundary and if energy diffuses on the macroscopic space-time scale, then it is expected that a thermostat enforces a local equilibrium at the boundary at the temperature T. The situation is much less clear for kinetic (hyperbolic) space-time scales. For instance, if the bulk evolution is governed by a discrete nonlinear wave equation, then in the kinetic (high frequency) limit the wave number density is governed by a phonon Boltzmann equation [1, 11]. If this system is coupled to a thermostat at the boundary, what are the appropriate macroscopic boundary conditions which have to be added to the kinetic equation?
To make a study feasible, we very much simplify the set-up. We consider an infinite one-dimensional chain of harmonic oscillators, characterized by its dispersion relation \(\omega (k)\), and couple it with a single Langevin thermostat at the origin. An efficient way to localize the distribution of the energy at wave number k is to use the Wigner distribution. In a space-time hyperbolic rescaling, first ignoring the thermostat, the Wigner distribution converges to the solution W(t, x, k) of a simple transport equation, namely phonons of wavenumber k have energy \(\omega (k)\) and travel independently with group velocity \(\omega '(k)/2\pi \). It will be proved that when the dispersion relation is unimodal, see Section 2 for the precise definition, in the scaling limit, the thermostat enforces the following reflection-transmission (and production) conditions at \(x=0\): phonons of wave number k are generated with rate and an incoming k-phonon is transmitted with probability \(p_+(k)\), reflected with probability \(p_-(k)\), and absorbed with probability , see formulas (2.28) below. These coefficients are positive, depend on \(\omega (\cdot )\), and satisfy
With such boundary conditions the stationary solution of the transport equation is the thermal equilibrium Wigner function \(W(t,x,k) = T\).
The thermostat can be viewed as a “scatterer” of a time-varying strength: at the microscopic scale a wave incident on the thermostat would produce reflected and transmitted waves at all frequencies. It is remarkable that, after the scaling limit, the reflected and transmitted waves are of the same frequency as the incident wave, all other waves produced by the microscopic scattering are damped by oscillations in the macroscopic limit. The presence of oscillatory integrals, responsible for the damping mechanism, presents the main mathematical difficulty of the model. To deal with the issue we consider the high frequency limit of the Laplace transform of the Wigner distribution. The limit, see (2.33) below, can be decomposed into the parts that correspond to the production, transmission and reflection of a phonon. The calculation of the production term is relatively straightforward, see Section 4. In contrast, the computations related to the scattering terms are remarkably difficult, see Sections 5–9 for the proof. Moreover, the description of the limit is not intuitive and it is not clear to us how to obtain it by a simple heuristic argument.
The multimodal case, that we shall not consider here, can be also dealt with using the technique of the present paper. In this situation the level set of \(\omega (k)\) has generically 2N points (we assume that \(\omega \) is even) for some positive integer N. The macroscopic description of the system is as follows: a k-phonon arriving at interface with group velocity \(\omega '(k)>0\) is transmitted as a \(k'\)-phonon corresponding to the solutions of \(\omega (k')=\omega (k)\), with a positive group velocity. The probabilities of transmission at a given \(k'\) can be computed explicitly in terms of the dispersion relation. On the other hand, it reflects as a \(k'\)-phonon corresponding to a solution of \(\omega (k')=\omega (k)\), with a group velocity \(\omega '(k')< 0\). The probability of absorption is the same as in the unimodal case.
Introducing a rarefied random scattering in the bulk, in the same fashion as in [1], leads to a similar transport equation with a linear scattering term, without modifying the transmission properties at the interface with the thermostat [8].
There are rather few results on the high frequency limits of the Wigner transform in the presence of boundaries, interfaces or sources. We mention [2,3,4, 6, 10] which, while highly non-trivial, are all ultimately based on essentially explicit computations of the Wigner transform near the interface. Our analysis also starts with computing the Wigner transform, but then passes to the limit in the resulting expression. The thermal production of phonons can be seen quite straightforwardly in this limit. However the scattering terms are much more difficult to handle and they constitute the major part of our work.
2 The Dynamics and the Main Result
2.1 The Infinite Chain of Harmonic Oscillators
We consider the evolution of an infinite particle system governed by the Hamiltonian
Here, the particle label is \(y\in {{\mathbb {Z}}}\), \(({\mathfrak {p}}_y,{\mathfrak {q}}_y)\) is the position and momentum of the y’s particle, respectively, and \(({\mathfrak {q}},{\mathfrak {p}})=\{({\mathfrak {p}}_y,{\mathfrak {q}}_y),\,y\in {{\mathbb {Z}}}\}\) denotes the entire configuration. The coupling coefficients \(\alpha _{y}\) are assumed to have exponential decay and chosen such that the energy is bounded from below.
A stochastically perturbed version of this system was considered first in [1], where the long time behavior of the wave energy was analyzed, and then in [7], where the wave field itself was studied.
The stochasticity in [1, 7] was introduced as a random exchange of momenta between particles at adjacent sites. Here, instead of random fluctuations “in the bulk”, we couple the particle with label 0 to a Langevin thermostat at temperature T and with friction \(\gamma >0\). Then the Hamiltonian dynamics with stochastic source is governed by
Here, \(\{w(t),\,t\ge 0\}\) is a standard Wiener process over a probability space \((\Omega ,{{\mathcal {F}}},{{\mathbb {P}}})\). We use the notation
for the convolution of two functions on \({{\mathbb {Z}}}\).
It is convenient to introduce the complex wave function
where \(\{{\tilde{\omega }}_y,\,y\in {{\mathbb {Z}}}\}\) is the inverse Fourier transform of the dispersion relation
Hence \(|\psi _y(t)|^2\) is the local energy of the chain at time t. The Fourier transform of the wave function is given by
so that
Using (2.2), it is easy to check that the wave function evolves according to
Above, the Fourier transform of \(f_x\in l^2({{\mathbb {Z}}})\) and the inverse Fourier transform of \({\hat{f}}\in L^2({{\mathbb {T}}})\) are
For a function G(x, k), we denote by \({\tilde{G}}:{{\mathbb {R}}}\times {{\mathbb {Z}}}\rightarrow {\mathbb {C}}\), \({\hat{G}}:{{\mathbb {R}}}\times {{\mathbb {T}}}\rightarrow {\mathbb {C}}\) the Fourier transforms of G in the k and x variables, respectively,
2.1.1 The Initial Conditions
For simplicity sake we restrict ourselves to initial configurations of finite energy. In addition, we assume that the initial energy density \(|\psi _y|^2\) is finite per unit length on the macroscopic scale \(x\sim \varepsilon y\), where \(\varepsilon >0\) is the scaling parameter. More precisely, given \(\varepsilon >0\), the initial wave function is distributed randomly, independent of the Langevin noise \(w(\cdot )\), according to a probability measure \(\mu _\varepsilon \) on \(\ell ^2({{\mathbb {Z}}})\), and
where \(\langle \cdot \rangle _{\mu _\varepsilon }\) denotes the expectation with respect to \(\mu _\varepsilon \). We will also assume that
Condition (2.9) can be replaced by \( \langle {\hat{\psi }}(k){\hat{\psi }}(\ell ) \rangle _{\mu _\varepsilon } \sim 0\), as \(\varepsilon \rightarrow 0\) at the expense of some additional calculations that we prefer not to perform in this article.
An additional hypothesis concerning the initial configuration will be stated later on, see (2.18).
2.1.2 The Wigner Distribution
To study the effect of the thermostat, we follow the evolution of the chain on the macroscopic time scale \(t'\sim \varepsilon t\), and consider the rescaled wave function \(\psi ^{(\varepsilon )}_y(t)=\psi _y(t/\varepsilon )\). A convenient tool to analyse the energy density is the Wigner distribution (or Wigner transform) defined by its action on a test function \(G \in {{\mathcal {S}}}({{\mathbb {R}}}\times {{\mathbb {T}}})\) as
Here, \({\mathbb {E}}_\varepsilon \) is the expectation with respect to the product measure \(\mu _\varepsilon \otimes {{\mathbb {P}}}\).
The Fourier transform of the Wigner distribution is
so that
We use the notation \({{\mathbb {T}}}_a=[-a/2,a/2]\) for the torus of size \(a>0\), with identified endpoints.
A straightforward calculation shows that the macroscopic energy grows at most linearly in time,
with \({\mathfrak {p}}^{(\varepsilon )}_0(t):={\mathfrak {p}}_0(t/\varepsilon )\). Thus, we have a uniform bound
Let us denote by \({{\mathcal {A}}}\) the completion of \({{\mathcal {S}}}({{\mathbb {R}}}\times {{\mathbb {T}}})\) in the norm
and by \({{\mathcal {A}}}'\) its dual. We conclude from (2.14) that (see [5])
hence \(W^{(\varepsilon )}(\cdot )\) is sequentially weak-\(\star \) compact over \((L^1([0,\tau ];{{\mathcal {A}}}))^\star \) for any \(\tau >0\). We will assume that the initial Wigner distribution
is a family that converges weakly in \({{\mathcal {A}}}'\) to a non-negative function \(W_0\in L^1({{\mathbb {R}}}\times {{\mathbb {T}}})\cap C({{\mathbb {R}}}\times {{\mathbb {T}}})\). We will also assume that there exist \(C,\kappa >0\) such that
where
2.1.3 Assumptions on the Dispersion Relation and Its Basic Properties
We assume, as in [1], that \(\alpha _y\) is a real-valued even function of \(y\in {{\mathbb {Z}}}\), and there exists \(C>0\) so that
thus \({\hat{\alpha }}\in C^{\infty }({{\mathbb {T}}})\). We also assume that \({\hat{\alpha }}(k)>0\) for \(k\not =0\), and if \({\hat{\alpha }}(0)=0\) then \({\hat{\alpha }}''(0)>0\), so that \({\hat{\alpha }}(k)=\sin ^2(\pi k){\hat{\alpha }}_0(k)\) for some strictly positive even function \({\hat{\alpha }}_0\in C^{\infty }({{\mathbb {T}}})\). It follows that the dispersion relation \(\omega (k)=\sqrt{\hat{\alpha }(k)}\) is also an even and continuous function in \(C^\infty ({{\mathbb {T}}}\setminus \{0\})\). We assume that \(\omega \) is increasing on [0, 1/2], and denote its unique minimum attained at \(k=0\) by \(\omega _{\mathrm{min}}\ge 0\), its unique maximum, attained at \(k=1/2\), by \(\omega _{\mathrm{max}}\), and the two branches of the inverse of \(\omega (\cdot )\) as \(\omega _-:[\omega _{\mathrm{min}},\omega _{\mathrm{max}}]\rightarrow [-1/2,0]\) and \(\omega _+:[\omega _{\mathrm{min}},\omega _{\mathrm{max}}]\rightarrow [0,1/2]\). They satisfy \(\omega _-=-\omega _+\), \(\omega _+(\omega _{\mathrm{min}})=0\), \(\omega _+(\omega _{\mathrm{max}})=1/2\) and in the case \(\omega \in C^{\infty }({{\mathbb {T}}})\):
and
with \(\chi _*,\chi ^*\in C^\infty ({{\mathbb {T}}})\) that are strictly positive. When \(\omega \) is not differentiable at 0 (the acoustic case) instead of (2.20) we assume
leaving condition (2.21) unchanged.
An important role in the analysis will be played by the function
its Laplace transform
and the function
Note that \(\mathrm{Re}\,{\tilde{J}}(\lambda )>0\) for \(\lambda \in {\mathbb {C}}_+:=[\lambda \in {\mathbb {C}}:\, \mathrm{Re}\,\lambda >0]\), therefore
The function \({\tilde{g}}(\cdot )\) is analytic on \( {\mathbb {C}}_+\) so, by the Fatou theorem, see e.g. p. 107 of [9], we know that
exists a.e. in \({{\mathbb {T}}}\) and in any \(L^p({{\mathbb {T}}})\) for \(p\in [1,\infty )\).
To state our main result we need some additional notation. Let us introduce the group velocity
and
We will show in Section 10 that
It follows that
so that, in particular, we have
2.2 The Main Result
Our main result is as follows. For brevity, we use the notation [0, x] both for \(x<0\) and \(x>0\), so as not to state the results separately for \(\omega '(k)>0\) and \(\omega '(k)<0\).
Theorem 2.1
Suppose that the initial conditions and the dispersion relation satisfy the above assumptions. Then, for any \(\tau >0\) and \(G\in L^1\left( [0,\tau ];{{\mathcal {A}}}\right) \) we have
where
The limit dynamics has an obvious interpretation. The first term is the ballistic transport of those phonons which did not cross \(\{x=0\}\) up to time t. The second term in the right side of (2.33) describes the phonon production of the thermostat. The third and the fourth term correspond, respectively, to the transmission and reflection of the phonons at the boundary point \(\{x=0\}\). More precisely, is the phonon production rate, \(p_-(k)\) is the probability of reflection, and \(p_+(k)\) is the probability of transmission at \(\{x=0\}\). Notice that the phonons are absorbed by the thermostat with probability . The scattering at the origin depends only on the friction coefficient \(\gamma \). At zero temperature the production of phonons is turned off, while the scattering remains unmodified.
From (2.29) it follows that
and we also know that \(\nu (k_0)= 0\) at the points where \(\omega '(k_0)=0\). This means that the thermostat does not generate phonons with zero velocity, which otherwise would have led to the accumulation of energy at the boundary.
Our main theorem is for the averaged Wigner distribution. In general, one expects a suitable law of large numbers for the quantity on the left of (2.32) with respect to \(\mu _\varepsilon \otimes {{\mathbb {P}}}\), even if the definition (2.10) of the Wigner transform would not include the expectation \({\mathbb {E}}_\varepsilon \).
Our result can be written as a boundary value problem, which is a simple but useful exercise. First, W(t, x, k) solves the homogeneous transport equation
away from the boundary point \(\{x=0\}\). Second, if we denote the right and left limits of W by
then at \(\{x=0\}\) the outgoing phonons are related to the incoming phonons as
and
By equipartition, the equilibrium Wigner distribution is given by
which indeed satisfies (2.35)–(2.36), as one should expect.
In case the bulk is governed by a wave equation with a small nonlinearity, one would expect a nonlinear transport equation for the bulk, but the boundary terms would be dominated by the linear equation, hence of the form as written above.
It is interesting to consider what happens when the strength of the thermostat \(\gamma \rightarrow +\infty \), so that the oscillations of the particle in contact with the thermostat are sped up by a factor of \(\gamma \). Then, we have \({\tilde{g}}(\lambda )\sim \gamma ^{-1}\), and \(\nu (k)\sim \gamma ^{-1}\), hence (see (2.28)), and there is no phonon production or absortion by the thermostat as the particle at the thermostat moves “too incoherently”. However, there is still non-trivial reflection and transmission at the interface.
The paper is organized as follows: in Section 3, we define the Fourier-Laplace transform of the wave function and explain how the functions J(t) and \({\tilde{g}}(\lambda )\) appear in this context. The Wigner transform can be decomposed into the ballistic part coming from the initial condition with no scattering, the thermostat production part (which is independent of the initial condition) and the scattering part. It is quite straightforward to analyze the former two terms and pass to the limit \(\varepsilon \rightarrow 0\) in the corresponding expressions. Passage to the limit in the scattering term is much more difficult. It is outlined in Section 5, where one of the scattering terms is analyzed in Lemma 5.1, and the asymptotics for the other one is stated in Lemma 5.2. The scattering terms are put together in Section 5.3. The bulk of the remainder of the paper, Sections 6, 7 and 8, is essentially devoted to the proof of Lemma 5.2. The critical steps are outlined in Lemmas 7.1–7.4. Each of these statements is quite intuitive on the formal level but a rigorous justification is, unfortunately, rather lengthy and with little room to spare in the estimates. In Section 9, we remove an extra assumption that the initial condition is supported away from the non-propagating modes, made to simplify the proof. Finally, in Section 10 we prove relation (2.29).
3 The Laplace–Fourier Transform of the Wave Function and of the Wigner Distribution
In this section, we obtain an explicit expression for the Laplace-Fourier transform of the wave function. We use the mild formulation of (2.6):
Integrating both sides in the k-variable and taking the imaginary part in both sides, we obtain a closed equation for \({\mathfrak {p}}_0(t)\):
where J(t) is given by (2.23) and
is the momentum at \(y=0\) for the free evolution with \(\gamma = 0\) (without the thermostat). Taking the Laplace transform
in (3.2) we obtain
Here, \({\tilde{g}}(\lambda )\) is given by (2.25), and \(\tilde{\mathfrak {p}}_0^0(\lambda )\) and \( {\tilde{J}}(\lambda )\) are the Laplace transforms of \({\mathfrak {p}}_0^0(t)\) and J(t), respectively, and \({\tilde{w}}(\lambda )\) is the Laplace transform of the Gaussian white noise.
It is a zero mean Gaussian process with the covariance
Next, taking the Laplace transform of both sides of (3.1) and using (3.4), we arrive at an explicit formula for the Fourier-Laplace transform of \(\psi _y(t)\):
Note that (3.6) implies, in particular, that, even at the zero temperature, and if the initial wave function is monochromatic, that is, \({\hat{\psi }}(0,k)=\delta _0(k-k_0) \) for some \(k_0\), scattering at the thermostat generates various modes \(k\ne k_0\), due to the damping at \(y=0\). This is a microscopic phenomenon not observed on the macroscopic level, as seen from the discussion following Theorem 2.1.
We will show below that \({\tilde{g}}(\lambda )\) is the Laplace transform of a signed locally finite measure \(g(\mathrm{d}\tau )\). Then, the term \((\lambda + i \omega (k))^{-1} {\tilde{g}}(\lambda ) \tilde{\mathfrak {p}}_0^0(\lambda )\), that appears in (3.6), is the Laplace transform of
Now, the Laplace inversion of (3.6) gives an explicit expression for \({\hat{\psi }}(t,k)\):
where
Likewise, we conclude from (3.4) that
In order to understand how \(g(\mathrm{d}\tau )\) looks like, note that a function \(g_*(t)\) that has the Laplace transform
is the solution of the Volterra equation
Here, we denote by
the convolution of \(f_1,f_2\in L^1_{loc}[0,+\infty )\). The solution \(g_*\) of (3.11) is given by the convolution series
Here, \(J^{\star ,n}(t)\) is the n-time convolution of J with itself. As \(|J(t)|\le 1\), we see that \(g_*\in C^\infty [0,+\infty )\) and \(|g_*(t)|\le e^{\gamma t}\), \(t\ge 0\). Then, we can represent \(g(\mathrm{d}\tau )\) as
Here, \(\delta _0\) is the Dirac distribution.
Observe that the existence of \(g(\mathrm{d}t)\) with the above properties implies that
in the sense that for \(\text {Re} \lambda >0\) the limit defined by (2.27) implies that
We let
be the Laplace-Fourier transform of the Wigner distribution defined in (2.10). The claim of Theorem 2.1 is equivalent to the following: for any test function \(G\in {{\mathcal {S}}}({{\mathbb {R}}}\times {{\mathbb {T}}})\) we have
where
and \(p_{\pm }(k)\) and are given by (2.28). Indeed, (3.18) is nothing but the Fourier-Laplace transform of (2.33). The rest of the paper is devoted to the derivation of (3.18).
4 The Phonon Creation Term
Since the contribution to the energy given by the thermal term and the initial energy are completely separate, we can derive the first term in (3.18) assuming \({{\widehat{W}}}_0 = 0\). In this case \({\hat{\psi }}(0,k) = 0\) and (3.8) reduces to a stochastic integral:
To shorten the notation, denote
and
We can compute directly
The Laplace transform of \({\tilde{\phi }}(\varepsilon ^{-1} t, k)\) is given by \({\lambda ^{-1}}{\tilde{g}}(\varepsilon \lambda - i\omega (k))\). Then we can compute directly the Laplace-Fourier tranform of the Wigner distribution and obtain
and by using the inverse Laplace formula for the product of functions, we obtain, for \(c>0\),
Since \({\tilde{g}}\) is bounded and \(\text {Re} \lambda >0\), there is no problem in taking the limit as \(\varepsilon \rightarrow 0\) obtaining
5 The Scattering Terms
If the thermal production at 0 was easy to prove, the scattering terms are much more challenging. Since the thermal part will not affect the scattering, we can set \(T=0\) and consider a non-zero initial energy.
We will first prove (3.18) under a stronger assumption than (2.18): we will assume no energy is concentrated around modes that have null velocity, more precisely that there exist \(C,\delta >0\) and \(\kappa >0\) such that
here \(\varphi (\cdot )\) is given by (2.19) and \(\chi \in C({{\mathbb {T}}})\) is non-negative and satisfies
with
and \(\Omega _*:=[k\in {{\mathbb {T}}}:\,\omega '(k)=0]\subset \{0,1/2\}\). The proof of Theorem 2.1 under the weaker assumption (2.18) is presented in Section 9 below.
We could have continued to compute \({\widehat{w}}_\varepsilon \) directly from the expression of the wave function, as we did for the termal part. We find it more practical to use the time evolution of \({{\widehat{W}}}_\varepsilon (t,\eta ,k)\).
A straightforward computation starting from (2.6) and (2.11) shows that the Wigner transform obeys, for \(T=0\), an evolution equation
Performing the Laplace transform in both sides of (5.4), we obtain
where
As \(\delta _\varepsilon \omega (k,\eta )\rightarrow \omega '(k)\eta \) as \(\varepsilon \rightarrow 0\), to get (3.18), we need to understand the limit of \({\mathfrak {d}}_\varepsilon (\lambda ,k)\). Using (3.8) for \(T=0\), we may write
Here, \({\mathfrak {d}}_\varepsilon ^j\left( \lambda ,k\right) \), \(j=1,2\) are the Laplace transforms of \(I_\varepsilon (t/\varepsilon )\), \(I\!I_\varepsilon (t/\varepsilon )\) , where
Now, with (3.17) in mind, we can introduce
The first term in the right side is
The scattering term in the right side of (5.8) is
with
5.1 The Ballistic Term
Thanks to the assumption that \({{\widehat{W}}}_\varepsilon (\eta ,k)\) converges weakly in \({{\mathcal {A}}}'\) to \(W_0\in L^1({{\mathbb {R}}}\times {{\mathbb {T}}})\cap C({{\mathbb {R}}}\times {{\mathbb {T}}})\), we can easily show that
which is the second term in the right side of (3.18).
5.2 The Limit of the First Scattering Term
Here, we use the notation
We now compute the limit of \({\mathfrak {L}}_{scat,1}^\varepsilon (\lambda )\) in (5.10) that we can re-write, after a simple change of variables as
We will show the following:
Lemma 5.1
For any test function \(G\in {{\mathcal {S}}}({{\mathbb {R}}}\times {{\mathbb {T}}})\) and \(\lambda >0\) we have
Proof
Using assumption (2.9) and (5.15), we conclude that
For any test function \(G\in {{\mathcal {S}}}({{\mathbb {T}}}\times {{\mathbb {R}}})\) we can write, therefore, (cf. (5.13))
Changing variables \( k:=k'-\varepsilon \eta '/2,\)\(\ell :=k'+\varepsilon \eta '/2\) the right hand side of (5.16) can be rewritten in the form
Here, \(T_\varepsilon \subset {{\mathbb {T}}}_{2/\varepsilon }\times {{\mathbb {T}}}\) is the image of \({{\mathbb {T}}}^2\) under the inverse map \( k':=(\ell +k)/2,\)\(\eta ':=(\ell -k)/\varepsilon \). Note that
a.e. in \((\eta ,\eta ',k')\). Using bounds (5.1) and (2.26) we can argue, via the dominated convergence theorem that the limit of (5.17), as \(\varepsilon \rightarrow 0\), is the same as that of
Summarizing, the above argument proves that
for any test function \(G\in {{\mathcal {S}}}({{\mathbb {T}}}\times {{\mathbb {R}}})\). Similarly, we have
As \( {{\widehat{W}}}_\varepsilon ^*(\eta ,k)={{\widehat{W}}}_\varepsilon (-\eta ,k), \) we conclude that (5.14) holds. \(\quad \square \)
5.3 Asymptotics of the Second Scattering Term
Let us split \({\mathfrak {L}}_{scat,2}^\varepsilon (\lambda )\) as
with the two terms corresponding to writing
We recall that
We will prove the following:
Lemma 5.2
For any \(\lambda >0\) and \(G\in {{\mathcal {S}}}({{\mathbb {R}}}\times {{\mathbb {T}}})\) we have
The conclusion of this lemma is the consequence of the following two limits
and
5.4 The Limit of the Full Scattering Term
Putting together the results of Lemmas 5.1 and 5.2, we see that
with the transmission term
We used (2.29) in the last step. The other term in (5.26), corresponding to reflection, is
Combining the scattering terms in (5.26)–(5.28), together with the ballistic term in (5.12) , we get (3.18). Thus, the proof of Theorem 2.1 is reduced to the computation in Lemma 5.2.
6 The Proof of Lemma 5.2: The Limit of \({\mathfrak {L}}_{scat,21}^{\varepsilon }(\lambda )\)
We now turn to the proof of Lemma 5.2. In this section, we begin the rather long and technical computation leading to (5.24).
6.1 A Calculation of \(\mathrm{Re}\,{\mathfrak {d}}_\varepsilon ^2\)
Recall that \({\mathfrak {L}}_{scat,21}^{\varepsilon }(\lambda )\) comes from the contribution to \({\mathfrak {L}}_{scat,2}^{\varepsilon }(\lambda )\) that appears from \(\mathrm{Re}\,{\mathfrak {d}}_\varepsilon ^2\). Our first task, therefore, is to compute \(\mathrm{Re}\,{\mathfrak {d}}_\varepsilon ^2\). We have
Integrating by parts, we obtain
The first term in the right side is
Now, symmetry implies that the two terms above make an identical contribution to \(C_\varepsilon (\lambda ,t)\), hence
with
Integrating out first the t variable, and then the s varable, we obtain
Hence, after a change of variables \(\beta :=\varepsilon \beta '\), we get
A similar calculation leads to
Putting (6.1), (6.5) and (6.6) together gives
with
and
The main contribution to \({\mathfrak {L}}_{scat,21}^\varepsilon (\lambda )\) will come from the term \(R_\varepsilon (\lambda ,k)\) due to the difference \(\omega (k)-\omega (\ell )\) in the denominator that can become small. As \(\rho _\varepsilon (\lambda ,k)\) contains the sum \(\omega (k)+\omega (\ell )\), or \(\omega (k)+\omega (\ell ')\) we expect its contribution to be small in the limit. More precisely, we will show the following result for the limit of \(R_\varepsilon (\lambda ,k)\):
Lemma 6.1
Let
and
and
then
On the other hand, \(\rho _\varepsilon (\lambda ,k)\) vanishes in the limit.
Lemma 6.2
For each \(\lambda >0\) we have
These two lemmas, together with (5.21)–(5.22) and (6.7), imply (5.24).
6.2 Proof of Lemma 6.2
A word on notation: for two functions \(f,g:D\rightarrow {{\mathbb {R}}}\) we say that \(f\preceq g\) if there exists \(C>0\) such that \(f(x)\le C g(x)\), \(x\in D\). We shall use the notation \(f\approx g\) if \(f\preceq g\) and \(g\preceq f\).
Opening the parentheses in (6.9), we can write
We will only show that
as the other terms are analyzed in a similar fashion. To verify (6.15), it suffices to show that
Change variables
and let
be the image of \({{\mathbb {T}}}^2\) under the inverse map, as below (5.17). The expression under the limit in (6.16) can then be estimated by
where
and
We used here the identity
Now, we can estimate \(I_{1,\varepsilon }\) as follows:
with
with
Recall that \(\omega _-\), \(\omega _+\) are the decreasing and increasing branches of the inverse function of the dispersion relation \(\omega (\cdot )\). Our assumptions on the dispersion relation imply that
The consideration near the minimum of \(\omega \) is identical unless \(\omega _{\mathrm{min}}=0\), in which case \(|\omega '(k)|\) stays uniformly positive near the minimum. Therefore, we have
We therefore obtain
as \(\varepsilon \rightarrow 0\), due to (5.1) and (2.19), and since if \(\omega _{\mathrm{min}}=0\), then \(\omega (k)\) behaves as |k| near the minimum \(k=0\). One can easily verify that the right hand side vanishes, with \(\varepsilon \rightarrow 0\). Similarly we obtain that
which finishes the proof of Lemma 6.2. \(\quad \square \)
7 The Proof of Lemma 6.1
7.1 Outline of the Proof
We now turn to the proof of Lemma 6.1, the main ingredient in the computation of the limit of \({\mathfrak {L}}_{scat,21}^{\varepsilon }(\lambda )\). We will only consider the term \({{\mathcal {H}}}_+(\lambda ,\varepsilon )\), as the computation of the limit of \({{\mathcal {H}}}_-(\lambda ,\varepsilon )\) is essentially the same. We will focus on the harder case when the dispersion relation \(\omega (k)\) is smooth both at its maximum \(k=1/2\) and its minimum \(k=0\), so that the inverse function has a square root singularity at each of these points. That is, the two branches of its inverse \(\omega _+:[\omega _{\mathrm{min}},\omega _{\mathrm{max}}]\rightarrow [0,1/2]\) and \(\omega _-:=-\omega _+\) satisfy
and
with \(\chi _*,\chi ^*\in C^\infty ({{\mathbb {T}}})\) that are strictly positive.
Using (6.8) and the change of variables (6.17) we can write
In fact, we may discard the contribution due to large \(\eta '\), thanks to assumption (5.1). More precisely, let \(\widetilde{\mathcal{H}}_+(\lambda ,\varepsilon )\) be the expression analogous to \(\mathcal{H}_+(\lambda ,\varepsilon )\) corresponding to integration over \(\eta '\) and \(k'\) over
with \(\delta \) as in (5.2). Due to (5.1) and (2.19) we have
In what follows we restrict ourselves therefore to studying the limit of \(\widetilde{{\mathcal {H}}}_+(\lambda ,\varepsilon )\).
The main contribution to the limit comes from the regions where \(\omega (k)\approx \omega (k')\), that is, where either \(k\approx k'\)—this generates the transmission term, or \(k\approx -k'\)—this is responsible for the reflection term in the limit. The smallness of these regions will compensate for the factor \(1/\varepsilon \) in front of the integral in (7.1). To distinguish the contributions of these two regions, we decompose
Here \({{\mathcal {I}}}_{\iota }(\lambda ,\varepsilon )\) correspond to the integration over the domains \({\tilde{T}}_{\varepsilon ,\iota }^3\), \(\iota =\pm \):
so that the integration over \({\tilde{T}}_{\varepsilon ,+}^3\) will generate the transmission term, and over \({\tilde{T}}_{\varepsilon ,-}^3\) the reflection. Changing variables \(k':=\iota k+\varepsilon \eta ''/2\), and using the fact that \(\omega (k)\) is even, gives
Here, \(T_{\varepsilon ,\iota }^3\subset {{\mathbb {T}}}\times {{\mathbb {T}}}_{2/\varepsilon }\times {{\mathbb {T}}}_{6/\varepsilon }\) is the pre-image of \({\tilde{T}}_{\varepsilon ,\iota }^3\) under the mapping \((k,\eta ',\eta '')\mapsto (k,\eta ',\iota k+\varepsilon \eta ''/2)\):
We will pass to the limit \(\varepsilon \rightarrow 0\) in expression (7.5) in several steps. The first step will be to replace the quotient \(\varepsilon ^{-1}[\omega (k)-\omega (k+\iota (\varepsilon \eta '/2+\varepsilon \eta ''/2))]\) in the first denominator by \(-\iota \omega '(k)(\eta '+\eta '')/2\). That is, we will show the following:
Lemma 7.1
We have
where
Next, we will replace a similar term in the second denominator by \(\iota \omega '(k)(\eta '-\eta '')/2\).
Lemma 7.2
We have
where
The third step will be to replace the term \(|{\tilde{g}}\left( \lambda \varepsilon /2-i[\varepsilon \beta +\omega (k)]\right) |^2\) in (7.10) by its limit \(|\nu (k)|^2\).
Lemma 7.3
We have
with
Next, we will approximate the Wigner transform \({{\widehat{W}}}_\varepsilon (\eta ',\iota k+\varepsilon \eta ''/2)\) by \({{\widehat{W}}}_\varepsilon (\eta ',\iota k)\), the test function \( G^*(\eta ,k+\varepsilon \eta /2)\) by \( G^*(\eta ,k)\), and \(\delta _\varepsilon ^+\omega (k,\eta )\) by \(\omega '(k)\eta \), respectively.
Lemma 7.4
We have
with
The last step will be to pass to the limit in \({{\widehat{W}}}_\varepsilon (\eta ',\iota k)\) and integrate in \(\beta \), which is done in Section 7.5.
7.2 The Proof of Lemmas 7.1 and 7.2
We only present the proof of Lemma 7.1 since the proof of Lemma 7.2 is very similar except somewhat simpler. We will also only consider \(\iota =+\) (the transmission case) in the proof of Lemma 7.1, as the reflection case can be treated in a similar fashion.
Let us drop the subscript \(+\), setting
to reduce the number of subscripts. We split the domain of integration \(T_{\varepsilon ,+}^3\) into four regions:
and write
We will only consider the case \(\iota _1=\iota _2=+\), as the other cases can be done similarly, and set
Our goal is to show that for any \(\sigma >0\) we have
We perform the change of variables
in the integrals over \(k,\eta ',\eta ''\), to get
with \(D_\varepsilon \subset [\omega _{\mathrm{min}},\omega _{\mathrm{max}}]^3\)—the image of \(T_{\varepsilon ,+,+,+}^3\) under the change of variables mapping,
and
Let us explain some difficulties in passing to the limit in (7.18). Formally, we have a factor of \(\varepsilon ^{-2}\) in front of the integral compensated by the terms of the order \(\varepsilon ^{-1}\) in the first two denominators. The factor of \(\varepsilon ^{-1}\) in the first argument in \({{\widehat{W}}}_\varepsilon \) seemingly would then bring a collapse of one variable of integration and show that the overall expression is small in the limit. However, there are two obstacles: first, the factors \(\omega '(\omega _+(w_j))\) have a square root singularity at \(\omega _{\mathrm{min}}\) and \(\omega _{\mathrm{max}}\), so that the effect of the \(\varepsilon ^{-1}\) terms in the first two denominators is reduced. Second, the terms of the size \(\varepsilon \beta \) are not necessarily small and may influence the limit since the domain of integration in \(\beta \) is all of \({{\mathbb {R}}}\).
In order to deal with the first issue, using assumption (5.1), we see that there exists \(\delta _0>0\) such that for all \((w_1,w_2)\), for which we have
provided that either \( w_1,\,w_2\in [\omega _{\mathrm{min}},\omega _\mathrm{min}+\delta _0),\, \text{ or } w_1,\,w_2\in (\omega _\mathrm{max}-\delta _0,\omega _{\mathrm{max}}]\), and \((w_0,w_1,w_2)\in D_\varepsilon \) for some \(w_0\).
We can further write
where the integration is split into the regions \(|w_1-w_2|\ge \delta _0/4\) and otherwise. From (5.1) and (7.18) we conclude that \( \left| {{\mathcal {J}}}_{1,\varepsilon }\right| \preceq \varepsilon \). If, on the other hand \(|w_1-w_2|< \delta _0/4\) we only need to be concerned with the integration over \(w_2\in I(\delta _0/2)\), where \( I(\delta ):=[\omega _{\mathrm{min}}+\delta ,\omega _{\mathrm{max}}-\delta ], \) as otherwise the integrand vanishes because of (7.20). The above implies that \(w_1\in I(\delta _0/4)\). Since \(\omega _+\in C^\infty (I(\delta _0/4))\) we can can find \(C>0\) such that, after integration in \(\eta \), we have, with a constant depending on \(\lambda \):
The two terms above correspond to the integration in \(w_0\) over the regions \(I'(\rho ):=[\omega _{\mathrm{min}},\omega _{\mathrm{max}}]\setminus I(\rho )\) and \(I(\rho )\), with \(\rho <\delta _0/8\). We have
An elementary estimate
implies that
If \(w_0\in I'(\rho )\) we have \(|w_0-w_j|\ge \delta _0/8\), thus
We conclude that
Selecting \(\rho >0\) sufficiently small, we deduce
Next, we fix \(\rho >0\) sufficiently small, so that (7.25) holds and look at the term \({{\mathcal {R}}}_\varepsilon ^2\), that involves integration in \(w_0\) over the region \(I(\rho )\). Note that \(\omega _+\in C^\infty (I(\rho ))\) and
hence
After the change of variables \(w_1':=\varepsilon ^{-1}(w_1-w_0)\), \(w_2':=\varepsilon ^{-1}(w_2-w_0)\), \(\beta ':=\beta -w_2'\), the expression in the right side can be estimated by
with
and
The two terms in the right side of (7.26) correspond to splitting the region \(I_\varepsilon (\delta _0)\subset [-C_1\varepsilon ^{-1}, C_1\varepsilon ^{-1}]^2\) of integration in \(w_1\), \(w_2\) (the image of \(I(\delta _0/4)\times I(\delta _0/2)\) under the above map) into two sub-regions, corresponding to the integration over
and its complement, with \(\rho '>0\) is to be determined later. Note that in both regions we have the estimates
and
As the domain of integration in (7.26) depends on \(\varepsilon \), even with (7.28) in hand, we still can not apply the Lebesgue dominated convergence theorem directly. In addition, we have the estimate
for all \(w_0\) and w in the domain of integration in (7.26). Integrating out the \(w_1\)-variable using (7.29) and (7.30), we obtain
It follows that
for a sufficiently small \(\rho '\in (0,1)\).
For the second term in the right side of (7.26), we use (7.29) to integrate out the \(w_1\)-variable once again, and write
Here, \(I_\varepsilon '\subset [\rho '/\varepsilon \le |w|\le C_1/\varepsilon ]\) is the projection of \(I_\varepsilon \cap {{\mathcal {B}}}_\varepsilon ^c(\rho ')\) onto the \(w_2\)-axis. The first integral in the right side of (7.33) corresponds to integration over the set
and the second over its complement. We split again to get that
according to the integration in w over \(I_\varepsilon ^\pm =I_\varepsilon '\cap [w>0]\) and its complement, so that
Let us set
so that
for all \(\varepsilon >0\) sufficiently small. Then, we have
It follows from (7.35) that by taking \(\varepsilon \) sufficiently small we may ensure that
Then, using (7.30), we get
for \(\varepsilon >0\) sufficiently small. A similar calculation yields the same estimate for \({{\mathcal {I}}}_{\varepsilon ,-}^{(2,1)}\), thus
As for \({{\mathcal {I}}}_\varepsilon ^{(2,2)}\) we can write
Using an elementary estimate
we obtain
Here, we can use the Lebesgue dominated convergence theorem and (7.28) to conclude that
This finishes the proof of (7.16).
7.3 The Proof of Lemma 7.3
Let us note that the integration in \(\eta ''\) both in expression (7.10) for \({{\mathcal {I}}}_\iota ^{(2)}\) and (7.12) for \({{\mathcal {I}}}_\iota ^{(3)}\) would bring out the factor of \([\omega '(k)]^{-1}\) that is not integrable. This singularity should be compensated by the \({\tilde{g}}\)-term in (7.10) and by its limit \(|\nu (k)|^2\) in (7.12), as can be seen from (2.27), (2.28) and (2.31). The following auxiliary result will allow us to use this argument:
Lemma 7.5
For each \(k_*\) such that \(\omega '(k_*)=0\), we have
Proof
As follows from (2.25), it suffices to show that
with \({\tilde{J}}(\cdot )\) as in (2.24). Consider the point \(k_*=1/2\) where \(\omega \) attains its maximum \(\omega _{\mathrm{max}}=\omega (k_*)>0\), and write
Hence, (7.41) would follow if we can show that for each \(M>0\) there exist \(\varepsilon _0,\delta _0\in (0,1)\) such that
The real and imaginary parts of the expression under the absolute value in (7.42) are
Changing variables \(u:=\omega (\ell )-\beta \), we obtain
Choosing a sufficiently small \(\delta _0>0\), we see that
hence
It follows that for a sufficiently small \(\varepsilon _0\) we have
and (7.42) follows. \(\quad \square \)
We now turn to the proof of Lemma 7.3. Once again, we will only consider \(\iota =+\) and drop the subscript \(+\) in the notation. Let \(\sigma >0\) be arbitrary. For \(\rho \in (0,\delta /4)\), with \(\delta >0\) as in (5.2), we let
with \(\rho \) to be specified further later. We can write
with the two terms corresponding to the integration in (7.10) and (7.12) in the k-variable over \(L^c(\rho )\), the complement of \(L(\rho )\), and \(L(\rho )\) itself, respectively. Since \(|\omega '(k)|\) is bounded away from 0 on \(L^c(\rho )\), an elementary application of the Lebesgue dominated convergence theorem implies that
Assumption (5.1), (5.2) on the support of \({{\widehat{W}}}_\varepsilon (\eta ,k)\) in k allows us to write
where
with
and
The last inequality above follows from (2.29). It follows that
with
and a constant \(C>0\) independent of \(\varepsilon ,\rho \). We used the Cauchy-Schwarz inequality and (7.23) in the last inequality in (7.48). Note that
Changing variables \(\eta '':=\omega '(k) (\eta '\pm \eta '')\) we conclude that
provided that \(\rho >0\) is sufficiently small.
As for the term \(\tilde{{\mathcal {I}}}^{2,1}(\lambda ,\varepsilon )\), using Cauchy-Schwarz inequality we obtain
with
The terms in the right side correspond to integration over the regions
with \(\rho '>0\) to be chosen later. Since \(\omega '(k_*)=0\), for each \(\rho '>0\) we can find \(\rho \) sufficiently small so that
Therefore, for each \(\rho '>0\) we can find \(\rho >0\) sufficiently small so that
with the pre-factor \(\varepsilon ^{-1}\) coming again from the integration over \(\eta ''\) in (7.52) . Finally, we can write
where
Using (7.23) again gives
Using a well known trigonometric identity we write
therefore
Lemma 7.5 implies now that we can choose \(\rho ,\rho '\) so small that
Combining (7.53) and (7.54) we conclude that for each \(\sigma >0\) there exists \(\rho \in (0,1)\) such that
The analysis for \(K_{\varepsilon ,-}(\rho )\) is very similar, finishing the proof of Lemma 7.3.
7.4 The Proof of Lemma 7.4
As usual, we only consider \(\iota =+\) and drop the corresponding subscript \(+\). A straightforward computation using (5.1), the regularity of the test function \({\hat{G}}(\eta ,k)\), and (7.23) shows that we can replace \({\hat{G}}^\star (\eta ,k+\varepsilon \eta /2)\) in (7.12) by \({\hat{G}}^\star (\eta ,k)\), and \(\delta _\varepsilon ^+\omega (k,\eta )\) by \(\omega '(k)\eta \), so that
where
We change variables \(k':=k+\varepsilon \eta ''/2\) in the right side to obtain
with, cf (7.6),
The term o(1) in the right side of (7.58) appears because we have, once again, approximated the arguments in \({\hat{G}}^\star \) and \(\omega '\) by k in the very last factor, despite the latest change of variables. The error \(\Delta _\varepsilon \), that we now need to estimate, appears in (7.58) because we have replaced the arguments of \(\omega '\) by k in the first two factors.
Thanks to assumption (5.1), the integration over k in (7.58) is only over the complement of the set \(L(\delta )\), see (5.3). We can then write (cf (7.46)) that
The terms \(\Delta _{\varepsilon }'\) and \(\Delta _{\varepsilon }''\) correspond to the integration in \(\eta ''\) over the domains \( A'(\delta ,\varepsilon ):=[|\eta ''|\le \delta /(2\varepsilon )], \) and \({A''(\delta ,\varepsilon )=[|\eta ''|\ge \delta /(2\varepsilon )]}\), and
Using (7.23) we can estimate, for \((k,\eta ',\eta '')\in L^c(\delta )\times B(\delta ,\varepsilon )\times A'(\delta ,\varepsilon )\), that
As \(d_\varepsilon (k,\eta ',\eta '')\rightarrow 0\) pointwise, we can apply the dominated convergence theorem in (7.60), to get
To estimate \(\Delta _{\varepsilon }''\), observe that (7.23) implies
with
As \(|\eta ''|\) is larger than \(\delta /\varepsilon \) on \(A''(\delta ,\varepsilon )\) and \(|\omega '(k)|\) is bounded away from 0 on \(L^c(\delta )\), the decay of \(\varphi (\eta ')\) allows us to apply the dominated convergence theorem, to obtain
For the terms \(d_\varepsilon ^{1,\iota }\), we consider only the case \(\iota =+\), as the other case can be done similarly. Note that
Hence,
For any \(\kappa '\in (0,1)\) we can write
We obtain from (7.65) and (7.67) and its analog for \(\iota =-\) that
which, together with (7.63) gives
We have shown that
Now, the dominated convergence theorem allows us to pass to the limit in the domains of integration in (7.58), leading to (7.14).
7.5 The End of the Proof of Lemma 6.1
As a result of Lemmas 7.1–7.4, together with (7.4), we know that
as \(\varepsilon \ll 1\). Recall the elementary formula: for \(q_\pm \in {\mathbb {C}}\) such that \(\mathrm{Im}\,q_+>0> \mathrm{Im}\,q_-\) we have
Performing the integral in the \(\eta ''\) variable in (7.71) we obtain
Integrating out the \(\beta \)-variable we get (recall that \({\bar{\omega }}'(k)=\omega '(k)/(2\pi )\))
An analogous formula holds for \({{\mathcal {H}}}_{-}(\lambda ,\varepsilon ) \). Letting \(\varepsilon \rightarrow 0\) we obtain (6.13), finishing the proof of Lemma 6.1.
8 Proof of Lemma 5.2: The Limit of \({\mathfrak {L}}_{scat,22}^{\varepsilon }(\lambda )\)
We now turn to the computation that leads to (5.25) the second and final ingredient in Lemma 5.2:
Observe that, as follows from (5.21) and (5.22), we have
with
A lengthy calculation, similar to that at the beginning of Section 6, leads to an expression
hence
After the change of variables \(\beta ':=\varepsilon ^{-1}\beta \), we get
with
Let us first assume that \(\omega \in C^\infty ({{\mathbb {T}}})\). Then we can estimate
while the last integral in the right side of (8.6) is bounded by
Hence, we have
Using the dominated convergence theorem, we conclude that
Finally, consider (8.6)–(8.7) when \(\omega \in C^\infty ({{\mathbb {T}}}\setminus \{0\})\). Let \(\sigma >0\) be arbitrary, and take \(A>0\), to be chosen later. We can write
where the terms in the right hand side correspond to the integration over \([k:|k|\le A\varepsilon ]\) and its complement. As \(\omega \) is Lipschitz, we have
Using (8.9) we write
Finally, we write
corresponding to the partition of the integration domain in \(\eta \) into \([\eta :\,|\eta |<A/4]\) and its complement. In the first case, as \(|k|>A\varepsilon \) and \(|\eta |<A/4\), we can still use estimate (8.8), hence
In the other case, we can estimate
provided that A is sufficiently large. This finishes the proof of (5.25), and that of Lemma 5.2 as well.
9 End of Proof of Theorem 2.1
In the present section we show Theorem 2.1 assuming that the Fourier-Wigner transform of the initial data satisfies (2.18) rather than the stronger assumption (5.1). Suppose that \(\sigma >0\) and \(G\in {{\mathcal {S}}}({{\mathbb {R}}}\times {{\mathbb {T}}})\) are arbitrary. Let us decompose the solution of (2.6) as
where
and
with \(\chi _\delta \in C({{\mathbb {T}}})\) such that \(0\le \chi \le 1\), \(\chi _\delta \equiv 0\) on \(L(\delta )\) (see (5.3)), \(\chi _\delta \equiv 1 \) on \(L^c(2\delta )\) and \(\delta \) chosen so small that
Let \(\widehat{ w}_\varepsilon (\lambda ,\eta ,k)\) and \(\widehat{ w}_\varepsilon ^1(\lambda ,\eta ,k)\) be the Laplace transforms of the Fourier-Wigner functions corresponding to \({\hat{\psi }}(t,k)\) and \({\hat{\psi }}^1(t,k)\) via (2.11). Using estimates (2.14) and (9.3) we see that
It follows, in particular, that
In addition, the initial condition for \({\hat{\psi }}^1(t,k)\) satisfies assumption (I3’) in (5.1). As we have already proved Theorem 2.1 under this hypothesis, we conclude that
with \( \widehat{ w}^1(\lambda ,\eta ,k) \) given by (3.18), but with \(\widehat{W}_0(\eta ,k)\) replaced by \(\chi _\delta ^2(k){{\widehat{W}}}_0(\eta ,k)\). Thus, for a sufficiently small \(\delta >0\) we have
We have thus shown that
which ends the proof of Theorem 2.1.
10 The Properties of \(\nu (k)\)
In this section, we prove relation (2.29). The function
can be determined from the identity
Recalling (2.24), we write
Let us set
and
so that
In our situation, with \(u=\omega (k)\in (\omega _{min},\omega _{max})\), we have
with \(H^r(u)\), \(H^i(u)\) real valued functions equal
and
Both limits exist for all \(v\in {{\mathbb {R}}}\setminus \{\omega _{min},\omega _{max}\}\). After an elementary calculation we obtain
Substituting into (10.1) immediately gives
which is (2.29).
References
Basile, G., Olla, S., Spohn, H.: Energy transport in stochastically perturbed lattice dynamics. Arch. Ration. Mech. Appl. 195, 171–203, 2009
Benamou, J.-D., Castella, F., Katsaounis, T., Perthame, B.: High frequency limit of the Helmholtz equations. Rev. Mat. Iberoamericana18, 187–209, 2002
Castella, F., Perthame, B., Runborg, O.: High frequency limit of the Helmholtz equation. II. Source on a general smooth manifold. Commun. PDE27, 607–651, 2002
Gérard, P., Leichtnam, E.: Ergodic properties of eigenfunctions for the Dirichlet problem. Duke Math. J. 71, 559–607, 1993
Gérard, P., Markowich, P.A., Mauser, N.J., Poupaud, F.: Homogenization limits and Wigner transforms. Commun. Pure Appl. Math. 50, 323–380, 1997
Keller, J.B., Papanicolaou, G., Ryzhik, L.: Transport equations for waves in a half space. Commun. PDE22, 1869–1910, 1997
Komorowski, T., Olla, S., Ryzhik, L.: Asymptotics of the solutions of the stochastic lattice wave equation. Arch. Ration. Mech. Anal. 209, 455–494, 2013
Komorowski, T., Olla, S.: Kinetic limit for a chain of harmonic oscillators with a point Langevin thermostat. arXiv:1910.00342
Koosis, P.: Introduction to \(H^p\)Spaces. Cambridge University Press, Cambridge 1980
Miller, L.: Refraction of high-frequency waves density by sharp interfaces and semiclassical measures at the boundary. J. Math. Pures Appl. 79, 227–269, 2000
Spohn, H.: The phonon Boltzmann equation, properties and link to weakly anharmonic lattice dynamics. J. Stat. Phys. 124, 1041–1104, 2006
Acknowledgements
TK was partially supported by the NCN Grant 2016/23/B/ST1/00492, SO by the French Agence Nationale Recherche Grant LSD ANR-15-CE40-0020-01, and LR by an NSF Grant DMS-1613603 and by ONR. This work was partially supported by the Grant 346300 for IMPAN from the Simons Foundation and the matching 2015-2019 Polish MNiSW fund. TK and LR thank Université Paris Dauphine for its hospitality during the time this work was completed.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by F. Otto
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Komorowski, T., Olla, S., Ryzhik, L. et al. High Frequency Limit for a Chain of Harmonic Oscillators with a Point Langevin Thermostat. Arch Rational Mech Anal 237, 497–543 (2020). https://doi.org/10.1007/s00205-020-01513-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-020-01513-7