Extensions of the Kac N-particle model to multi-linear interactions

  • Upload
    jodie

  • View
    40

  • Download
    1

Embed Size (px)

DESCRIPTION

Extensions of the Kac N-particle model to multi-linear interactions. Irene M. Gamba Department of Mathematics and ICES The University of Texas at Austin. Classical and Random Dynamics in Mathematical Physics CoLab UT Austin-Portugal, April 2010. - PowerPoint PPT Presentation

Citation preview

  • Extensions of the Kac N-particle model to multi-linear interactions

    Irene M. GambaDepartment of Mathematics and ICESThe University of Texas at AustinClassical and Random Dynamics in Mathematical Physics CoLab UT Austin-Portugal, April 2010

  • Drawing from classical statistical transport of interactive/collisional kinetic models

    Rarefied ideal gases-elastic: classical conservative Boltzmann Transport eq.

    Energy dissipative phenomena: Gas of elastic or inelastic interacting systems in the presence of a thermostat with a fixed background temperature b or Rapid granular flow dynamics: (inelastic hard sphere interactions): homogeneous cooling states, randomly heated states, shear flows, shockwaves past wedges, etc.

    (Soft) condensed matter at nano scale: Bose-Einstein condensates models and charge transport in solids: current/voltage transport modeling semiconductor.

    Emerging applications from stochastic dynamics for multi-linear Maxwell type interactions : Multiplicatively Interactive Stochastic Processes: information percolation models, particle swarms in population dynamics, Goals: Understanding of analytical properties: large energy tails Long time asymptotics and characterization of asymptotics states

    A unified approach for Maxwell type interactions and generalizations.

    Spectral-Lagrangian solvers for dissipative interactions

  • Consider a spatially homogeneous d-dimensional ( d 2) rarefied gas of particles having a unit mass. Let f(v, t), where v Rd and t R+, be a one-point pdf with the usual normalizationAssumptions: I interaction (collision) frequency is independent of the phase-space variable (Maxwell-type)

    II - the total scattering cross section (interaction frequency w.r.t. directions) is finite.

    Choose such units of time such that the corresponding classical Boltzmann eqs. reads asa birth-death rate equation for pdfs withQ+(f) is the gain term of the collision integral which Q+ transforms f into another probability density Motivation: Connection between the kinetic Boltzmann equations and Kac probabilistic interpretation of statistical mechanics (Bobylev, Cercignani and IMG, arXiv.org06, 09, CMP09)

  • The same stochastic model admits other possible generalizations. For example we can also include multiple interactions and interactions with a background (thermostat).This type of model will formally correspond to a version of the kinetic equation for some Q+(f).where Q(j)+ , j = 1, . . . ,M, are j-linear positive operators describing interactions of j 1 particles, and j 0 are relative probabilities of such interactions, whereAssumption: Temporal evolution of the system is invariant under scaling transformations in phase space: if St is the evolution operator for the given N-particle system such that

    St{v1(0), . . . , vM(0)} = {v1(t), . . . , vM(t)} , t 0 ,then St{v1(0), . . . , vM(0)} = {v1(t), . . . , vM(t)} for any constant > 0

    which leads to the property Q+(j) (A f) = A Q+(j) (f), A f(v) = d f( v) , > 0, (j = 1, 2, .,M)

    Note that the transformation A is consistent with the normalization of f with respect to v.

    Note: this property on Q(j)+ is needed to make the consistent with the classical BTE for Maxwell-type interactions

  • Property: Temporal evolution of the system is invariant under scaling transformations of the phase space: Makes the use of the Fourier Transform a natural toolso the evolution eq. is transformed into an evolution eq. for characteristic functionswhich is also invariant under scaling transformations k k, k RdAll these considerations remain valid for d = 1, the only two differences are: The evolving Boltzmann Eq should be considered as the one-dimensional Kac master equation, and one uses the Laplace transform

    2. We discussed a one dimensional multi-particle stochastic model with non-negative phase variables v in R+, If solutions are isotropicthenwhere Qj(a1, . . . , aj) can be an generalized functions of j-non-negative variables.--

  • The structure of this equation follows from the well-known probabilistic interpretation by M. Kac: Consider stochastic dynamics of N particles with phase coordinates (velocities) VN=vi(t) d, i = 1..N , with = R or R+

    A simplified Kac rules of binary dynamics is: on each time-step t = 2/N , choose randomly a pair of integers 1 i < l N and perform a transformation (vi, vl) (vi , vl) which corresponds to an interaction of two particles with pre-collisional velocities vi and vl. Then introduce N-particle distribution function F(VN, t) and consider a weak form of the Kac Master equation (we have assumed that V N j= VN j ( VN j , UN j ) for pairs j=i,l with in a compact set) The assumed rules lead (formally, under additional assumptions) to molecular chaos, that is Introducing a one-particle distribution function (by setting v1 = v) and the hierarchy reductionThe corresponding weak formulation for f(v,t) for any test function (v) where the RHS has a bilinear structure from evaluating f(vi,t) f(vl, t) M. Kac showed yields the the Boltzmann equation of Maxwell type in weak form (or Kacs walk on the sphere)2dNdN x Sd-1BBBfor B= - or B=0 d

  • Recall A general form statistical transport : The space-homogenous BTE with external heating sources Important examples from mathematical physics and social sciences:The termmodels external heating sources:background thermostat (linear collisions), thermal bath (diffusion)shear flow (friction), dynamically scaled long time limits (self-similar solutions).Inelastic Collisionu= (1-) u + |u| , with the direction of elastic post-collisional relative velocityvv*vv*

  • Qualitative issues on elastic: Bobylev,78-84, and inelastic: Bobylev, Carrillo I.G, JSP2000, Bobylev, Cercignani 03-04,with Toscani 03, with I.M.G. JSP06, arXiv.org06, CMP09Classical work of Boltzmann, Carleman, Arkeryd, Shinbrot,Kaniel, Illner,Cercignani, Desvilletes, Wennberg,Di-Perna, Lions, Bobylev, Villani, (for inelastic as well), Panferov, I.M.G, Alonso (spanning from 1888 to 2009)Qualitative issues on variable hard spheres, elastic and inelastic: I.G., V.Panferov and C.Villani, CMP'04, Bobylev, I.G., V.Panferov JSP'04, S.Mishler and C. Mohout, JSP'06, I.G.Panferov, Villani 06 -ARMA09, R. Alonso and I.M. G., 07. (JMPA 08, and preprints 09)The collision frequency is given by

  • Recall self-similarity:

  • Non-Equilibrium Stationary Statistical StatesEnergy dissipation implies the appearance of

  • Back to molecular models of Maxwell type (as originally studied)Bobylev, 75-80, for the elastic, energy conservative case.Drawing from Kacs models and Mc Kean work in the 60sCarlen, Carvalho, Gabetta, Toscani, 80-90s For inelastic interactions: Bobylev,Carrillo, I.M.G. JSP00Bobylev, Cercignani,Toscani, 03, Bobylev, Cercignani, I.M.G06 and 09, for general non-conservative problem characterized byso is also a probability distribution function in v.The Fourier transformed problem:One may think of this model as the generalization original Kac (59) probabilistic interpretation of rules of dynamics on each time step t=2/N of N particles associated to system of vectors randomly interchanging velocities pairwise while preserving momentum and local energy, independently of their relative velocities.Then: work in the space of characteristic functions associated to Probabilities: positive probability measures in v-space are continuous bounded functions in Fourier transformed k-space Fourier transformed operator

  • accounts for the integrability of the function b(1-2s)(s-s2)(N-3)/2 1 := 10 (a(s) + b(s)) G(s) ds = 1 kinetic energy is conserved < 1 kinetic energy is dissipated > 1 kinetic energy is generatedFor isotropic solutions the equation becomes (after rescaling in time the dimensional constant) t + = ( , ) ; (t,0)=1, (0,k)=F (f0)(k), (t)= - (0)

    In this case, using the linearization of ( , ) about the stationary state =1, we can inferred the energy rate of change by looking at 1 defined byFor isotropic (x = |k|2/2 ) or self similar solutions (x = |k|2/2 et ), is the energy dissipationrate, that is: t = - , and Recall from Fourier transform: nthmoments of f(., v) are nth derivatives of (.,k)|k=0the Fourier transformed collisional gain operator is written,withKd

  • Existence, asymptotic behavior - self-similar solutions and power like tails: From a unified point of energy dissipative Maxwell type models: 1 energy dissipation rate (Bobylev, I.M.G.JSP06, Bobylev,Cercignani,I.G. arXiv.org06- CMP09)Examples

  • The existence theorems for the classical elastic case ( =e = 1) of Maxwell type of interactions were proved by Morgenstern, ,Wild 1950s, Bobylev 70s and for inelastic (
  • Applications to agent interactions

    Two examples: M-game multi agent model (Bobylev Cercignani, Gamba, CMP09)

    A couple of information percolation models (Dauffie, Malamud and Manso, 08-09)

  • An example for multiplicatively interacting stochastic process:M-game multi linear models (Bobylev, Cercignani, I.M.G.; CMP09):

    particles: j 1 indistinguishable players phase state: individual capitals (goods) is characterized by a vector Vj = (v1;; vj) Rj+

    A realistic assumption is that a scaling transformation of the phase variable (such as a change of goods interchange) does not influence a behavior of player.

    The game of these n partners is understood as a random linear transformation (j-particle collision)

    The parameters (a,b) can be fixed or randomly distributed in R+2 with some probability density Bn(a,b).The corresponding transformation isSet Vj = G Vj ; Vj = (v1; ; vj) ; Vj = (v1, ; vj ) ; where

    G is a square j x j matrix with non-negative random elements such that the model does not depend on numeration of identical particles.Simplest class: a 2-parameter familyG = {gik , i, k = 1, . . . , j} , such that gik = a, if i = k and gik= b, otherwise,

  • Jumps are caused by interactions of 1 j M N particles (the case M =1 is understood as a interaction with background) Relative probabilities of interactions which involve 1; 2; ;M particles are given by non-negative real numbers 1; 2 ; . M such that 1 + 2 + + M = 1 , Assume VN(t), N >> M undergoes random jumps caused by interactions.Intervals between two successive jumps have the Poisson distribution with the average tM = l = /N, interaction frequency with

    Then we introduce M-particle distribution function F(VN; t) and consider a weak form as in the Kac Master eq: Model of M players participating in a M-linear game according to the Kac rules (Bobylev, Cercignani,I.M.G.) CMP09So, it is possible to reduce the hierarchy of the system to

  • In the limit N Taking the test function on the RHS of the equation for f: Taking the Laplace transform of the probability f: And assuming the molecular chaos assumption (factorization)The evolution of the corresponding characteristic function is given by with initial condition u|t=0 = ex (the Laplace transformed condition from f|t=0 =(v 1) )

  • For any search-effort policy function C(n), the cross-sectional distribution ft of precisions and posterior means of the i-agents is almost surely given by ft(n; x; w) = C(n,t) pn(x |Y (w)) Another Example: Information aggregation model with equilibrium search dynamics (Duffie, Malamud & Manso 08)where t(n) is the fraction of agents with information precision n at time t, which is the unique solution of the differential equation below (of generalized Maxwell type) and pn( x| Y(w) ) is the Y-conditional Gaussian density of E(Y |X1; . ;Xn), for any n signals X1; ;Xn. This density has conditional mean and conditional variancemt(n) satisfies the dynamic equation with (n) a given distribution independent of any pair of agents Where tC (n) = C(n) (n,t) is the effort-weighted measure such that: C(n) is the search-effort policy function

  • For t(n) for the fraction of agents with precision n (related to the cross-sectional distribution t of information precision at time t in a given set) its the evolution equation is given byWhere tC (n) = C(n) (n,t) is the effort-weighted measure such that: C(n) is the search-effort policy function

    Linear term: represents the replacement of agents with newly entering agents.

    Gain Operator: The convolution of the two measures tC * tC represents the gross rate at which new agents of a given precision are created through matching and information sharing.Example from information search (percolation) model not of Maxwell type!!Loss operator: The last term of captures the rate tC tC(N) of replacement of agents with prior precision n with those of some new posterior precision that is obtained through matching and information sharing, whereis the cross-sectional average search effort Remark: The stationary model can be viewed as a form of algebraic Riccati equation.

  • Another Example: Information aggregation model II (Duffie, Malamud & Giroux 09)The higher the type f of the set of signals, the higher is the likelihood ratio between states H and L and the higher the posterior probability that X is high.Any particular agent is matched to other agents at each of a sequence of Poisson arrival times with a mean arrival rate (intensity) l , which is the same across agents. At each meeting time, m1 other agents are randomly selected from the population of agentsDefinition of phase space Basic probability by Bayes rule: the logarithm of the likelihood ratio between states H and L conditional on signals {s1, . . . , sn} type q of the set of signals A random variable X of potential concern to all agents has 2 possible outcomes, H (high) with probability n , and L (low) 1 n. Each agent is initially endowed with a sequence of signals {s1, . . . , sn} that may be informative about X. The signals {s1, . . . , sn} (primitively observed by a particular agent are, conditional on X, independent with outcomes 0 and 1 (Bernoulli trials). W.l.g assume P(si = 1|H) r P(si = 1|L). A signal i is informative if P(si = 1|H) > P(si = 1|L).

  • Binary: for almost every pair of agents, the matching times and counterparties of one agent areindependent of those of the other: whenever an agent of type q meets an agent with type f and they communicate to each other their posterior distributions of X, they both attain the posterior type q+f . m-ary : whenever m agents of respective types 1, . . . , m sharetheir beliefs, they attain the common posterior type 1 + + m.Interaction law : The meeting group size m is a parameter of the information model that variesAggregation model We let t denote the cross-sectional distribution of posterior types in the population at time t. The initial distribution 0 of types induced by an initial allocation of signals to agents. Assume that there is a positive mass of agents that has at least one informative signal. That is, the first moment m1(0(q) ) > 0 if X = H, and m1(0(q) ) < 0 if X = L. Assume that the initial law 0 has a moment generating function, finite on a neighborhood of z = 0 , where z = ezq d(0(q)) (Laplace transform)aggregation equation in integral formBinaryorm-aryMulti-agent Existence by Wild sums methodsSelf-similarity, Pareto tails formation and dynamically scaled solutions (with Ravi Srinivasan) Statistical equation: (Smolukowski type)

  • with Vm = G Vm ; Vm = (v1; ; vm) ; Vm = (v1, ; vm) ; where

    G is a square m x m matrix with entriesG = {gik = 1 , for all i, k = 1, . . . , m} , We notice the similarity with the the Kac model: let the type signals Vm and its posterior VmThen the m-particle distribution function F(VN, t) and the weak form of the Kac Master equationThe assumed rules lead (formally, under additional assumptions) to molecular chaos, that is Introducing a one-particle distribution function (by setting v1 = v) and the hierarchy reduction2for N=mThen the aggregation models hold for f(vm , t ) for either binary or multi-agent formsThe approach extends to more general information percolation models where the signal typedo not necessarily aggregate but distributes itself between the posterior types (in collaboration with Ravi Srinivasan)

  • Existence, stability,uniqueness, (Bobylev, Cercignani, I.M.G.;.arXig.org 06 - CPAM 09) with 0 < p < 1 infinity energy, or p 1 finite energyRigorous results for Maxwell type interacting models

  • Relates to the work of Toscani, Gabetta,Wennberg, Villani,Carlen, Carvallo,..(for initial data with finite energy)

  • Boltzmann Spectrum - IAggregation SpectrumWealth distributionSpectrum

  • Stability estimate for a weighted pointwise distancefor finite or infinite initial energy These estimates are a consequence of the L-Lipschitz condition associated to : they generalized Bobylev, Cercignani and Toscani,JSP03 and later interpeted as contractive distances (as originally by Toscani, Gabetta, Wennberg, 96)

    These estimates imply, jointly with the property of the invariance under dilations for , selfsimilar asymptotics and the existence of non-trivial dynamically stable laws.

  • Existence of Self-Similar Solutionswith initial conditions REMARK: The transformation , for p > 0 transforms the study of the initial value problem to uo(x) = 1+x and ||uo|| 1 so it is enough to study the case p=1

  • These representations explain the connection of self-similar solutions with stable distributionsSimilarly, by means of Laplace transform inversion, for v 0 and 0 < p 1withIn addition, the corresponding Fourier Transform of the self-similar pdf admits an integral representation by distributions Mp(|v|) with kernels Rp() , for p = 1().

    They are given by:

  • Theorem: appearance of stable law (Kintchine type of CLT)

  • Recall the self similar problem Then,

  • ms> 0 for all s>1.

  • For p0 >1 and 01Power tailsCLT to a stable law Finite (p=1) or infinite (p
  • )

  • In general we can see that

    1. For more general systems multiplicatively interactive stochastic processes the lack of entropy functional does not impairs the understanding and realization of global existence (in the sense of positive Borel measures), long time behavior from spectral analysis and self-similar asymptotics.

    2. power tail formation for high energy tails of self similar states is due to lack of total energy conservation, independent of the process being micro-reversible (elastic) or micro-irreversible (inelastic). It is also possible to see Self-similar solutions may be singular at zero.

    3. The long time asymptotic dynamics and decay rates are fully described by the continuum spectrum associated to the linearization about singular measures.

    4. Recent probabilistic interpretation was given by F. Bassetti and L. Ladelli(preprint 2010)

  • with initial condition u|t=0 = exBack to the M-game modelExample of (a,b) pair choice: The game of j 1 players is played in three steps:

    1- the participants collect all their goods and form a sum S = v1 + v 2 + + vj ;2- the sum is multiplied by a random number 0 distributed with given probabilitydensity q() in R+;3- the resulting sum S = S = v1 + +vj is given back to the players in accordancewith the following rule: for some fixed or random parameter 0 g 1.

    a part of it S1 = (1-g) S is divided proportionally to initial contributions, whereas the rest S2 = gS is divided among all players equally,Simple algebra shows that this game is equivalent to chose (a,b)

  • The meaning of the parameter q may be given by:

    something was bought (or produced) for the value S and then sold for S =qS (with gain if q > 1 or loss if q < 1).

    An interesting example arises from assuming the following probability density for : q(q) = q(q) + (1 q) d(q s) , s > 1, 0 q 1

    where q characterizes a risk of complete loss.

    The parameter g can be interpreted as a fixed control parameter to give more chances tolosers, (may be introduced in the game in order to prevent large differences betweenaffluent and destitute in the future).

    In particular, our model explains how exactly these differences depend on the parameter .Interpretation of the involved parameters in the (a,b) pair

  • In particular the M-game model reduces to ,It is possible to prove that : (p) is a curve with a unique minima at p0>1 and approaches + as p 0 and (1) < 0 for In addition it is possible to find . g* < g < 1 for which there are selfsimilar asymptotics and . another g** < 1 , such that g*
  • Thank you very much for your attention A.V. Bobylev, C. Cercignani and I. M. Gamba, On the self-similar asymptotics for generalized non-linear kinetic Maxwell models, Comm. Math. Phys. 291 (2009), no. 3, 599--644.

    A.V. Bobylev, C. Cercignani and I. M. Gamba, Generalized kinetic Maxwell models of granular gases; Mathematical models of granular matter Series: Lecture Notes in Mathematics Vol.1937, Springer, (2008).

    A.V. Bobylev, C. Cercignani and I. M. Gamba, On the self-similar asymptotics for generalized non-linear kinetic Maxwell models, arXiv:math-ph/0608035 A.V. Bobylev and I. M. Gamba, Boltzmann equations for mixtures of Maxwell gases: exact solutions and power like tails. J. Stat. Phys. 124, no. 2-4, 497--516. (2006).

    A.V. Bobylev, I.M. Gamba and V. Panferov, Moment inequalities and high-energy tails for Boltzmann equations wiht inelastic interactions, J. Statist. Phys. 116, no. 5-6, 1651-1682.(2004).

    A.V. Bobylev, J.A. Carrillo and I.M. Gamba, On some properties of kinetic and hydrodynamic equations for inelastic interactions, Journal Stat. Phys., vol. 98, no. 3?4, 743?773, (2000).

    D. Duffie, S. Malamud, and G. Manso, Information Percolation with Equilibrium Search Dynamics, Econometrica, 2009.

    D. Duffie, G. Giroux, and G. Manso, Information Percolation, preprint 2009

    I.M. Gamba and Sri Harsha Tharkabhushaman, Spectral - Lagrangian based methods applied to computation of Non - Equilibrium Statistical States. Journal of Computational Physics 228 (2009) 20122036

    I.M. Gamba and Sri Harsha Tharkabhushaman, Shock Structure Analysis Using Space Inhomogeneous Boltzmann Transport Equation, To appear in Jour. Comp Math. 09

    And references therein