GLOBAL EXISTENCE OF WEAK SOLUTIONS TO THE THREE-DIMENSIONAL FULL COMPRESSIBLE QUANTUM EQUATIONS

We consider the quantum Navier-Stokes equations for the viscous, compressible, heat conducting fluids on the three-dimensional torus T~3. The model is based on a system which is derived by Jungel, Matthes and Milisic [15]. We made some adjustment about the relation of the viscosities of quantum terms.The viscosities and the heat conductivity coefficient are allowed to depend on the density, and may vanish on the vacuum. By several levels of approximation we prove the global-in-time existence of weak solutions for the large initial data.     

Quantum double suspension and spectral triples

In this paper we are concerned with the construction of a general principle that will allow us to produce regular spectral triples with finite and simple dimension spectrum. We introduce the notion of weak heat kernel asymptotic expansion (WHKAE) property of a spectral triple and show that the weak heat kernel asymptotic expansion allows one to conclude that the spectral triple is regular with finite simple dimension spectrum. The usual heat kernel expansion implies this property. The notion of quantum double suspension of a C^?-algebra was introduced by Hong and Szymanski. Here we introduce the quantum double suspension of a spectral triple and show that the WHKAE is stable under quantum double suspension. Therefore quantum double suspending compact Riemannian spin manifolds iteratively we get many examples of regular spectral triples with finite simple dimension spectrum. This covers all the odd-dimensional quantum spheres. Our methods also apply to the case of noncommutative torus.     

On stationary flows of asymmetric fluids with heat convection

Existence, uniqueness and regularity of solutions of equations describing stationary flows of viscous incompressible isotropic fluids with an asymmetric stress tensor have been considered recently.⁵ In this paper we extend the results of Reference 5 to include heat convection in the hydrodynamic model. We show that the boundary value problem (1.1)–(1.6) below has solutions in appropriate Sobolev spaces, provided the viscosities v and c_a + c_d are sufficiently large. The proof is based on a fixed point argument. Moreover, we show that the solutions are unique if the heat conductivity κ is large enough.     

Compactness of weak solutions to the three-dimensional compressible magnetohydrodynamic equations

The compactness of weak solutions to the magnetohydrodynamic equations for the viscous, compressible, heat conducting fluids is considered in both the three-dimensional space R³ and the three-dimensional periodic domains. The viscosities, the heat conductivity as well as the magnetic coefficient are allowed to depend on the density, and may vanish on the vacuum. This paper provides a different idea from [X. Hu, D. Wang, Global solutions to the three-dimensional full compressible magnetohydrodynamic flows, Comm. Math. Phys. (2008), in press] to show the compactness of solutions of viscous, compressible, heat conducting magnetohydrodynamic flows, derives a new entropy identity, and shows that the limit of a sequence of weak solutions is still a weak solution to the compressible magnetohydrodynamic equations.     

Quantum Lévy Laplacian and associated heat equation

As a non-commutative extension of the Lévy Laplacian for entire functions on a nuclear space, we define the quantum Lévy Laplacian acting on white noise operators. We solve a heat type equation associated with the quantum Lévy Laplacian and study its relation to the classical Lévy heat equation. The solution to the quantum Lévy heat equation is obtained also from a normal-ordered white noise differential equation involving the quadratic quantum white noise.     

On stationary flows with energy dependent nonlocal viscosities

A nonlocal constitutive law for an incompressible viscous flow in which the viscosity depends on the total dissipation energy of the fluid is obtained as the limit case of very large thermal conductivity when the viscosity varies with the temperature. A rigorous analysis is illustrated within the Hilbertian framework for unidirectional stationary flows of Newtonian and Bingham fluids with heating by viscous dissipation. An extension to quasi-Newtonian fluids of power law type and with temperature dependent viscosities is obtained in the context of the heat equation with an L¹-term. The nonlocal model proposed by Ladyzhenskaya in 1966 as a modification of Navier-Stokes equations can be, in particular, obtained with this procedure. Bibliography: 14 titles.Dedicated to O. A. Ladyzhenskaya on the occasion of her 80th birthday__________Published in Zapiski Nauchnykh Seminarov POMI, Vol. 295, 2003, pp. 99–117.     

Problem of the motion of two compressible fluids separated by a closed free interface

We consider the problem of the simultaneous evolution for two barotropic capillary viscous compressible fluids occupying the space ℝ³ and separated by a closed free interface. Under some restrictions on the viscosities of the liquids, the local (in time) unique solvability of this problem is obtained in the Sobolev-Slobodetskii spaces. After the passage to Lagrangian coordinates it is possible to exclude the fluid density from the system of equations. The proof of the existence theorem for a nonlinear, noncoercive initial boundary-value problem is based on the method of successive approximations and on an explicit solution of a model linear problem with a plane interface between the liquids. The restrictions on the viscosities mentioned above appear in the intermediate estimation of this explicit solution in the Sobolev spaces with an exponential weight. Bibliography: 8 titles. Dedicated to the memory of A. P. Oskolkov Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 000, 1997, pp. 61–86. Translated by I. V. Denisova.     

A new approach to induction and imprimitivity results

Given a closed quantum subgroup of a locally compact quantum group, we study induction of unitary corepresentations of the quantum subgroup to the ambient quantum group. More generally, we study induction given a coaction of the quantum subgroup on a C^*-algebra. We prove imprimitivity theorems that unify the existing theorems for actions and coactions of groups. This means that we define quantum homogeneous spaces as C^*-algebras and that we prove Morita equivalence of crossed products and homogeneous spaces. We essentially use von Neumann algebraic techniques to prove these Morita equivalences between C^*-algebras.     

Continuous Limits of Classical Repeated Interaction Systems

We consider the physical model of a classical mechanical system (called “small system”) undergoing repeated interactions with a chain of identical small pieces (called “environment”). This physical setup constitutes an advantageous way of implementing dissipation for classical systems; it is at the same time Hamiltonian and Markovian. This kind of model has already been studied in the context of quantum mechanical systems, where it was shown to give rise to quantum Langevin equations in the limit of continuous time interactions (Attal and Pautrat in Ann Henri Poincaré 7:59–104, 2006), but it has never been considered for classical mechanical systems yet. The aim of this article is to compute the continuous limit of repeated interactions for classical systems and to prove that they give rise to particular stochastic differential equations (SDEs) in the limit. In particular, we recover the usual Langevin equations associated with the action of heat baths. In order to obtain these results, we consider the discrete-time dynamical system induced by Hamilton’s equations and the repeated interactions. We embed it into a continuous-time dynamical system and compute the limit when the time step goes to 0. This way, we obtain a discrete-time approximation of SDE, considered as a deterministic dynamical system on the Wiener space, which is not exactly of the usual Euler scheme type. We prove the L ^p and almost sure convergence of this scheme. We end up with applications to concrete physical examples such as a charged particle in a uniform electric field or a harmonic interaction. We obtain the usual Langevin equation for the action of a heat bath when considering a damped harmonic oscillator as the small system.     

Minimax estimation of the Wigner function in quantum homodyne tomography with ideal detectors

We estimate the quantum state of a light beam from results of quantum homodyne measurements performed on identically prepared pulses. The state is represented through the Wigner function, a “quasi-probability density” on ℝ² which may take negative values and must satisfy intrinsic positivity constraints imposed by quantum physics. The data consists of n i.i.d. observations from a probability density equal to the Radon transform of the Wigner function. We construct an estimator for the Wigner function and prove that it is minimax efficient for the pointwise risk over a class of infinitely differentiable functions. A similar result was previously derived by Cavalier in the context of positron emission tomography. Our work extends this result to the space of smooth Wigner functions, which is the relevant parameter space for quantum homodyne tomography.      

Smooth interface in a two-component Stokes flow

The problem considered is that of evolution of the free boundary Γ(t) separating two immiscible viscous fluids with different constant densities and viscosities. The motion is described by the Stokes equations driven by the gravity force. We prove the existence of classical solutions for small timet and establish that the free boundary Γ(t)∈C ^l+2 (l>0 is an arbitrary non-integer number)     

Quantum cohomology of the Hilbert scheme of points in the plane

We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points of ℂ². The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for local curves is proven.     

A representation theorem for quantum systems

In this note representations of quantum systems are investigated. We propose a unital bipolar theorem for unital quantum cones, which plays a key role in proving a representation theorem for quantum systems. It turns out that each quantum system is identified with a certain quantum L^∞-system up to a quantum order isomorphism.     

States of a one dimensional quantum crystal

We construct states on a C-algebra associated to a one dimensional lattice crystal. We also compute the mean value of an observable, not necessarily bounded, such as the dilation coefficient. This implies on one hand, a careful analysis of the heat kernel of the Hamiltonian associated to the crystal and, on the other hand, the study of the quantum correlations of two observables associated to two clusters of particules. To cite this article: L. Amour et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

On the Navier-Stokes Equations with Energy-Dependent Nonlocal Viscosities

We discuss the mathematical modeling of incompressible viscous flows for which the viscosity depends on the total dissipation energy. In the two-dimensional periodic case, we begin with the case of temperature-dependent viscosities with very large thermal conductivity in the heat convective equation, in which we obtain the Navier-Stokes system coupled with an ordinary differential equation involving the dissipation energy as the asymptotic limit. Letting further the latent heat to vanish, we derive the Navier-Stokes equations with a nonlocal viscosity depending on the total dissipation of energy. Bibliography: 7 titles.Dedicated to V. A. Solonnikov on the occasion of his 70th birthday__________Published in Zapiski Nauchnykh Seminarov POMI, Vol. 306, 2003, pp. 71–91.     

Quantum integration in Sobolev classes

We study high-dimensional integration in the quantum model of computation. We develop quantum algorithms for integration of functions from Sobolev classes W_p^r([0,1]^d) and analyze their convergence rates. We also prove lower bounds which show that the proposed algorithms are, in many cases, optimal within the setting of quantum computing. This extends recent results of Novak on integration of functions from Hölder classes.     

Separability and entanglement in tripartite states

While classical correlations can be freely distributed among many systems, this is not true for entanglement and quantum correlations. If a quantum system S^a is entangled with another quantum system S^b, then its entanglement with any third quantum system S^c cannot be arbitrary. This is the celebrated monogamy of entanglement. Implicit in this general statement is the plausible belief that only entanglement between the systems S^a and S^b constrains the entanglement between S^a and the third system S^c. We demonstrate that even classical correlations between S^a and S^b may impose surprisingly stringent restrictions on the possible entanglement between S^a and S^c. In particular, perfect bipartite classical correlations and full entanglement cannot coexist in any tripartite state. An intuitive explanation of this monogamy of hybrid classical and quantum correlations might be that the system S^a has a correlating capability, which cannot be used to establish any entanglement with a third system (but can still be used to establish classical correlations) if it is exhausted when correlated with S^b (in either a classical or quantum fashion). This may be interpreted as an alternate version of monogamy.     

An operator-valued Lyapunov theorem

We generalize Lyapunov's convexity theorem for classical (scalar-valued) measures to quantum (operator-valued) measures. In particular, we show that the range of a nonatomic quantum probability measure is a weak^?-closed convex set of quantum effects (positive operators bounded above by the identity operator) under a sufficient condition on the non-injectivity of integration. To prove the operator-valued version of Lyapunov's theorem, we must first define the notions of essentially bounded, essential support, and essential range for quantum random variables (Borel measurable functions from a set to the bounded linear operators acting on a Hilbert space).     

Monotone quantum stochastic processes and covariant dynamical hemigroups

Based on the Hilbert C^?-module structure we study non-stationary monotone quantum stochastic processes and general Markov processes constructed from quantum dynamical hemigroups indexed by a totally ordered set. We prove that the quantum stochastic monotone process implementing the weakly covariant process described by a covariant quantum dynamical hemigroup with respect to a symmetry semigroup is again covariant in the strong sense.