Characterizations of the hydrodynamic limit of the Dyson model

Characterizations of the hydrodynamic limit of the Dyson model

Sergio Andraus andraus@spin.phys.s.u-tokyo.ac.jp Department of Physics, Graduate School of Science, The University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-0033, Japan.    Makoto Katori katori@phys.chuo-u.ac.jp Department of Physics, Graduate School of Science and Engineering, Chuo University, 1-13-27 Kasuga, Bunkyo-ku, Tokyo 112-8551, Japan.
Abstract

Under appropriate conditions for the initial configuration, the empirical measure of the -particle Dyson model with parameter converges to a unique measure-valued process as goes to infinity, which is independent of . The limit process is characterized by its Stieltjes transform called the Green’s function. Since the Green’s function satisfies the complex Burgers equation in the inviscid limit, this is called the hydrodynamic limit of the Dyson model. We review the relations among the hydrodynamic equation of the Green’s function, the continuity equation of the probability density function, and the functional equation of the Green’s function. The basic tools to prove the relations are the Hilbert transform, a special case of the Sokhotski-Plemelj theorem, and the method of characteristics for solving partial differential equations. For two special initial configurations, we demonstrate how to characterize the limit processes using these relations.

Interacting Brownian motions, Dyson model, Hydrodynamic limit, Hilbert transform, Green’s function, Method of characteristics

I Introduction

For , let be an -dimensional standard Brownian motion in a probability space with a filtration . Let denote the Weyl chamber of type A,

with closure . Dyson’s Brownian motion model of particles with parameter , , is defined as the solution of the following system of stochastic differential equations (SDEs) dyson62 (),

started at . Here we perform the time change

and consider the situation such that the SDEs are given as

(1)

with . In this paper we simply call this system of interacting Brownian motions on the Dyson model AGZ10 (); katori16 ().

Let be the space of probability measures on equipped with its weak topology. For , denotes the space of continuous processes defined in the time period realized in . We regard the empirical measure of the solution of (1),

(2)

as an element of . We express its initial configuration by

(3)

The following is proved.

Theorem I.1 (Anderson, Guionnet, Zeitouni (Agz10, , Proposition 4.3.10)).

Let be a sequence of initial configurations such that ,

and converges weakly to a measure as . Then for any fixed ,

(4)

where and the function

(5)

satisfies the equation

(6)

The function defined by the Stieltjes transform (5) is called the Green’s function (or the resolvent) for the measure-valued process . The equation (6) can be regarded as the complex Burgers equation in the inviscid limit (i.e., the (complex) one-dimensional Euler equation). Thus the limit given by this theorem is called the hydrodynamic limit of the Dyson model AGZ10 (); blaizotnowak10 (); forrestergrela15 ().

For , assume that a function is bounded and integrable over and for any . We introduce the Cauchy principal value at for the integral of over as

if the limit exists and is finite. For , the Hilbert transform is defined by

(7)

Note that is real-valued for all , by definition.

In this paper we consider the case in which has a probability density function for any . That is, we can write

for any Borel set . We assume the following conditions for .

[C1]

is piecewise differentiable with respect to and ; the piecewise-defined derivatives are written as , .

[C2]

, , , for each . Thus, their Hilbert transforms are well-defined.

From now on, for piecewise differentiable functions, the derivatives are assumed to be piecewise-defined.

One of the purposes of the present paper is to give a precise proof to the following statement.

Theorem I.2.

Assume that the Green’s function for the process is given by

(8)

where satisfies the conditions [C1] and [C2]. Then the partial differential equation (6) for leads to the following two characterizations for the process.

(i)

The probability density function satisfies the following equation

(9)
(ii)

The following functional equation is solved by ,

(10)

Equation (9) is the continuity equation of the density function of the system,

with the current density function

associated with the logarithmic potential . In other words, (9) will provide the reaction-diffusion equation which governs the macroscopic behavior of the one-dimensional log-gas forrester10 (). An interesting and important fact is that the formula

(11)

is established (see the comment given above Proposition II.1 in the next section) and it is easier to obtain by solving the functional equation (10) for and using the formula (11) rather than by solving (9). Another purpose of the present paper is to demonstrate the usefulness of the functional equation (10).

The paper is organized as follows. In Section II we prove the formula (11) and Propositions concerning the basic properties of the Hilbert transform. Section III is devoted to proving Theorem I.2. There we will use the properties of the Hilbert transform given in Section II in order to prove (i) of Theorem I.2. Then the method of characteristics AGZ10 (); blaizotnowak08 (); blaizotnowak10 (); forrestergrela15 () is applied to prove (ii) of Theorem I.2. In Section IV we demonstrate how to solve the functional equation (10) for and determine through the formula (11) for two special cases of the initial data . In both cases, the support of is bounded on and the conditions [C1] and [C2] are clearly satisfied.

Ii Basic properties of the Hilbert transform

The relation (11) will be obtained as the imaginary part of the upper equation in (12) in the following proposition. This proposition is a special case of the Sokhotski-Plemelj theorem.

Proposition II.1.

For any , the Hilbert transform of and the Green’s function are related by

(12)
Proof.

Consider a closed, simple, and positively-oriented contour on and a complex function which is analytic on . Denote by the open region enclosed by . We define the function

Clearly, is well-defined when , but it is discontinuous at . Choose and consider the limits when tends to from the inside and from the outside of . Assume, furthermore, that is smooth at . In the first case, there exists an angle such that

The principal-value integral is taken along while excluding the point . The case where approaches from the outside of can be calculated similarly:

We assume that, for each fixed , the domain of the probability density function can be extended from into the complex plane. Then we specialize the above result for the case where with a fixed . We choose to be the contour given by the parameterizations with going from to , and with going from to , while letting tend to infinity (see Figure 1).

Im

Re

Figure 1: Contour before the limit where .

Taking , we have

(13)
(14)

The reason for this is the following. By the condition [C2], as , and we will be able to extend to a function on the complex upper half-plane so that . Hence, the part of the integral with a semi-circular contour vanishes:

This also implies that, for ,

(15)

The contour we have chosen covers the complex upper half-plane, so if approaches the real axis from above (resp., below), we must use (resp., ). Then, we obtain

The result (12) follows by the definition (7) of the Hilbert transform applied to (13) and (14). ∎

Now we give the basic properties of the Hilbert transform, which will be used to prove Theorem I.2 in the next section.

Proposition II.2.

For , then the inverse Hilbert transform of is given by , that is,

(16)
Proof.

In the proof of Proposition II.1, we gave an expression (13) for for given by (15) for . This result implies the following expression for the Hilbert transform which is different from (7),

(17)

The Hilbert transform is doubly performed using this expression as

(18)

In the double integral in the third term, we evaluate the integral over as the integral over the contour depicted in Figure 1, which encloses including a simple pole at . By Cauchy’s integral formula, the third term is calculated as

This cancels the second term in (18) and (16) is obtained. ∎

Proposition II.3.

Assume that has a piecewise-defined derivative , and , . Then

Proof.

We use the expression (17) for the Hilbert transform,

The second equality is obtained from an integration by parts, where we use the assumption that , so vanishes at infinity. We change the variable of differentiation from to inside the integral. Then the above is equal to

where (17) is again used. Then the proof is completed. ∎

For the following proposition, it will be useful to know how the Hilbert transform behaves when a Fourier transform is present. Here we rewrite the Hilbert transform as

where denotes the convolution product

and . The integral is interpreted as a principal value where necessary. It is clear that the Fourier transform defined by

transforms the Hilbert transform of into , where and are the Fourier transforms of and , respectively. It is easy to verify that is given by

(19)

In summary, with (19), we obtain the formula

(20)

We will proceed with the proof of the following proposition.

Proposition II.4 (Carton-Lebrun cartonlebrun77 ()).

Assume that , with and . Then

(21)

Before the proof of this statement, we establish a helpful equation cartonlebrun77 ().

Lemma II.5.

Assume that . Then with given by (19),

Proof.

We perform a straightforward calculation. The first part of the LHS gives

so the LHS gives

For the RHS, we obtain

which is identical to the LHS, as desired. ∎

Proof of Proposition ii.4.

Here we consider the case . We take the Fourier transform of (21). Set and . By (20) the LHS gives

By virtue of Lemma II.5, this is equal to . Again using (20), this is rewritten as

and thus we arrive at the equality,

Taking the inverse Fourier transform of this equation yields the result. For the general case , see the proof given in cartonlebrun77 (). ∎

Setting gives the following.

Corollary II.6.

For with ,

(22)

Iii Proof of Theorem i.2

In this section, we prove Theorem I.2.

Proof of (i).

For any , the Green’s function is analytic in . Then the following equation is guaranteed by (6),

Put and take the limit . By Proposition II.1, we will obtain

This is written as

(23)

Applying Corollary II.6 and Proposition II.3, we have

Therefore, (23) is equivalent with

with

for . Since the Hilbert transform is invertible by Proposition II.2, the equation (9) is obtained. ∎

Proof of (ii).

We apply the method of characteristics AGZ10 (); blaizotnowak08 (); blaizotnowak10 (); forrestergrela15 () to solve the partial differential equation (6). We consider a parametrization such that is constant for . That is, we construct a differentiable curve in along which . This construction leads to

Comparing this equation to (6) gives

(24)

We can derive the explicit form of the parametrization from these equations. Clearly, and differ only by a constant, so we set , and use as the parametrization variable. For we have

The second equality is derived from the requirement that be constant along the curve , where is the value of at . Integrating this equation yields

(25)

Thus we obtain the equalities

Without loss of generality, we can choose to obtain (10). ∎

Iv Solutions of hydrodynamic equations for special initial configurations

iv.1 Case with one source

We consider the case where all the particles are located at a single point when . Without loss of generality, we can choose the origin as the starting point, i.e.,

where denotes Dirac’s delta function. Consequently,

(26)

Then, (10) becomes

This algebraic equation for is solved by

(27)

By the formula (11),

but it should be that , so we choose the lower (minus) sign. By taking the limit we obtain

for . This is the time-dependent version of Wigner’s semicircle law AGZ10 (); katori16 ().

Note that the two edges of the spectrum, , coincide with the conditions under which the method of characteristics breaks down for the real characteristics. We fix and consider a map from to

If this map is injective for a domain , the real characteristic curves in the set do not cross and to each of them corresponds a distinct value of ; . That is, the method of characteristics works. In the present case, (26) gives

The value of at which the method of characteristics breaks down, denoted by , is found by

The domain on for which the method of characteristics works is given by . Actually, if , (27) with the lower (minus) sign gives

The image of is given by

and the equality is established, . See Figure 2.

2

2

-2

Figure 2: Examples of real characteristics of the one-source case (straight lines) and limit curve for the support of (thick curve).

We put these observations in a more formal context in the following proposition.

Proposition IV.1.

At each define

Then for ,

(28)
Proof.

Assume that . Then the method of characteristics works and

This implies that . By the equality (12) in Proposition II.1, is concluded, that is, .

Conversely, assume that . Then, and by Proposition II.1. Consider now the mapping

(29)

By equation (6), it follows that

Therefore, remains constant along the line . Note that is an injective mapping, because

This means that the method of characteristics works for , so we set and find that

Consequently, and the statement (28) is proved. ∎

iv.2 Case with two sources

Now we consider the case where, for ,

Then, the initial condition for is given by

and (10) becomes

(30)

Note that, if we set and with , (30) is transformed into

(31)

Therefore, without loss of generality we solve (30) for and assume that time and space are given in units of and , respectively.

Before we solve (30), we use Proposition IV.1 to determine the support of the particle density. The parametrization equation for the real characteristics is given by

The breakdown condition for the injective map from to with fixed is

(32)

We show the plot of several characteristics and the breakdown curve in Figure 3.

1

1

-1

Figure 3: Examples of real characteristics of the two-source case (straight lines) and limit curve for the support of (thick curve). Note that the support becomes connected at