Mather Measures Associated with a Class of Bloch Wave Functions

In this paper we study the Wigner transform for a class of smooth Bloch wave functions on the flat torus ${\mathbb{T}^n = \mathbb{R}^n /2\pi \mathbb{Z}^n}$ : $$\psi_{\hbar,P} (x) = a (\hbar,P,x) {\rm e}^{ \frac{i}{\hbar} ( P\cdot x + \hat{v}(\hbar,P,x) )}.$$ On requiring that ${P \in \mathbb{Z}^n}$ and ${\hbar = 1/N}$ with ${N \in \mathbb{N}}$ , we select amplitudes and phase functions through a variational approach in the quantum states space based on a semiclassical version of the classical effective Hamiltonian ${{\bar H}(P)}$ which is the central object of the weak KAM theory. Our main result is that the semiclassical limit of the Wigner transform of ${\psi_{\hbar,P}}$ admits subsequences converging in the weak* sense to Mather probability measures on the phase space. These measures are invariant for the classical dynamics and Action minimizing.     

On the Dynamics of WKB Wave Functions Whose Phase are Weak KAM Solutions of H–J Equation

In the framework of toroidal Pseudodifferential operators on the flat torus \({\mathbb {T}}^n := ({\mathbb {R}} / 2\pi {\mathbb {Z}})^n\) we begin by proving the closure under composition for the class of Weyl operators \(\mathrm {Op}^w_\hbar (b)\) with symbols \(b \in S^m (\mathbb {T}^n \times \mathbb {R}^n)\) . Subsequently, we consider \(\mathrm {Op}^w_\hbar (H)\) when \(H=\frac{1}{2} |\eta |^2 + V(x)\) where \(V \in C^\infty ({\mathbb {T}}^n)\) and we exhibit the toroidal version of the equation for the Wigner transform of the solution of the Schrödinger equation. Moreover, we prove the convergence (in a weak sense) of the Wigner transform of the solution of the Schrödinger equation to the solution of the Liouville equation on \(\mathbb {T}^n \times {\mathbb {R}}^n\) written in the measure sense. These results are applied to the study of some WKB type wave functions in the Sobolev space \(H^{1} (\mathbb {T}^n; {\mathbb {C}})\) with phase functions in the class of Lipschitz continuous weak KAM solutions (positive and negative type) of the Hamilton–Jacobi equation \(\frac{1}{2} |P+ \nabla _x v (P,x)|^2 + V(x) = \bar{H}(P)\) for \(P \in \ell {\mathbb {Z}}^n\) with \(\ell >0\) , and to the study of the backward and forward time propagation of the related Wigner measures supported on the graph of \(P+ \nabla _x v\) .     

The asymptotic distribution of a single eigenvalue gap of a Wigner matrix

We show that the distribution of (a suitable rescaling of) a single eigenvalue gap $\lambda _{i+1}(M_n)-\lambda _i(M_n)$ of a random Wigner matrix ensemble in the bulk is asymptotically given by the Gaudin–Mehta distribution, if the Wigner ensemble obeys a finite moment condition and matches moments with the GUE ensemble to fourth order. This is new even in the GUE case, as prior results establishing the Gaudin–Mehta law required either an averaging in the eigenvalue index parameter $i$ , or fixing the energy level $u$ instead of the eigenvalue index. The extension from the GUE case to the Wigner case is a routine application of the Four Moment Theorem. The main difficulty is to establish the approximate independence of the eigenvalue counting function $N_{(-\infty ,x)}(\tilde{M}_n)$ (where $\tilde{M}_n$ is a suitably rescaled version of $M_n$ ) with the event that there is no spectrum in an interval $[x,x+s]$ , in the case of a GUE matrix. This will be done through some general considerations regarding determinantal processes given by a projection kernel.     

Destruction Of Lagrangian Torus For Positive Definite Hamiltonian Systems

For an integrable Hamiltonian ${H_0=\frac{1}{2} \sum_{i=1}^dy_i^2}$ ${(d \geq 2)}$ , we show that any Lagrangian torus with a given unique rotation vector can be destructed by arbitrarily ${C^{2d-\delta}}$ -small perturbations. In contrast with it, it has been shown that KAM torus with constant type frequency persists under ${C^{2d+\delta}}$ -small perturbations by Pöschel (Comm Pure Appl Math 35:653–696, 1982).     

Robust vanishing of all Lyapunov exponents for iterated function systems

Given any compact connected manifold $M$ , we describe $C^2$ -open sets of iterated functions systems (IFS’s) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$ -open sets of IFS’s admitting ergodic measures of positive entropy whose Lyapunov exponents along $M$ are all zero. The proofs involve the construction of non-hyperbolic measures for the induced IFS’s on the flag manifold.     

Jensen’s inequality on convex spaces

We prove a Jensen’s inequality on $p$ -uniformly convex space in terms of $p$ -barycenters of probability measures with $(p-1)$ -th moment with $p\in ]1,\infty [$ under a geometric condition, which extends the results in Kuwae (Jensen’s inequality over CAT $(\kappa )$ -space with small diameter. In: Proceedings of Potential Theory and Stochastics, Albac Romania, pp. 173–182. Theta Series in Advanced Mathematics, vol. 14. Theta, Bucharest, 2009) , Eells and Fuglede (Harmonic maps between Riemannian polyhedra. In: Cambridge Tracts in Mathematics, vol. 142. Cambridge University Press, Cambridge, 2001) and Sturm (Probability measures on metric spaces of nonpositive curvature. Probability measures on metric spaces of nonpositive curvature. In: Heat kernels and analysis on manifolds, graphs, and metric spaces (Paris, 2002), pp. 357–390. Contemporary Mathematics, vol. 338. American Mathematical Society, Providence, 2003). As an application, we give a Liouville’s theorem for harmonic maps described by Markov chains into $2$ -uniformly convex space satisfying such a geometric condition. An alternative proof of the Jensen’s inequality over Banach spaces is also presented.     

Weak solutions of the stationary Navier–Stokes equations for a viscous incompressible fluid past an obstacle

Consider the stationary Navier–Stokes equations in an exterior domain $\varOmega \subset \mathbb{R }^3 $ with smooth boundary. For every prescribed constant vector $u_{\infty } \ne 0$ and every external force $f \in \dot{H}_2^{-1} (\varOmega )$ , Leray (J. Math. Pures. Appl., 9:1–82, 1933) constructed a weak solution $u $ with $\nabla u \in L_2 (\varOmega )$ and $u - u_{\infty } \in L_6(\varOmega )$ . Here $\dot{H}^{-1}_2 (\varOmega )$ denotes the dual space of the homogeneous Sobolev space $\dot{H}^1_{2}(\varOmega ) $ . We prove that the weak solution $u$ fulfills the additional regularity property $u- u_{\infty } \in L_4(\varOmega )$ and $u_\infty \cdot \nabla u \in \dot{H}_2^{-1} (\varOmega )$ without any restriction on $f$ except for $f \in \dot{H}_2^{-1} (\varOmega )$ . As a consequence, it turns out that every weak solution necessarily satisfies the generalized energy equality. Moreover, we obtain a sharp a priori estimate and uniqueness result for weak solutions assuming only that $\Vert f\Vert _{\dot{H}^{-1}_2(\varOmega )}$ and $|u_{\infty }|$ are suitably small. Our results give final affirmative answers to open questions left by Leray (J. Math. Pures. Appl., 9:1–82, 1933) about energy equality and uniqueness of weak solutions. Finally we investigate the convergence of weak solutions as $u_{\infty } \rightarrow 0$ in the strong norm topology, while the limiting weak solution exhibits a completely different behavior from that in the case $u_{\infty } \ne 0$ .     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

The universal Glivenko–Cantelli property

Let ${\mathcal{F}}$ be a separable uniformly bounded family of measurable functions on a standard measurable space ${(X, \mathcal{X})}$ , and let ${N_{[]}(\mathcal{F}, \varepsilon, \mu)}$ be the smallest number of ${\varepsilon}$ -brackets in L ¹(μ) needed to cover ${\mathcal{F}}$ . The following are equivalent:

1. ${\mathcal{F}}$ is a universal Glivenko–Cantelli class.
2. ${N_{[]}(\mathcal{F},\varepsilon,\mu) < \infty}$ for every ${\varepsilon > 0}$ and every probability measure μ.
3. ${\mathcal{F}}$ is totally bounded in L ¹(μ) for every probability measure μ.
4. ${\mathcal{F}}$ does not contain a Boolean σ-independent sequence.

It follows that universal Glivenko–Cantelli classes are uniformity classes for general sequences of almost surely convergent random measures.     

Weak Fenchel and weak Fenchel-Lagrange conjugate duality for nonconvex scalar optimization problems

In this work, by using weak conjugate maps given in (Azimov and Gasimov, in Int J Appl Math 1:171–192, 1999), weak Fenchel conjugate dual problem, ${(D_F^w)}$ , and weak Fenchel Lagrange conjugate dual problem ${(D_{FL}^w)}$ are constructed. Necessary and sufficient conditions for strong duality for the ${(D_F^w)}$ , ${(D_{FL}^w)}$ and primal problem are given. Furthermore, relations among the optimal objective values of dual problem constructed by using Augmented Lagrangian in (Azimov and Gasimov, in Int J Appl Math 1:171–192, 1999), ${(D_F^w)}$ , ${(D_{FL}^w)}$ dual problems and primal problem are examined. Lastly, necessary and sufficient optimality conditions for the primal and the dual problems ${(D_F^w)}$ and ${(D_{FL}^w)}$ are established.     

Diffusion by optimal transport in Heisenberg groups

We prove that the hypoelliptic diffusion of the Heisenberg group \({\mathbb{H }}_n\) describes, in the space of probability measures over \({\mathbb{H }}_n\) , a curve driven by the gradient flow of the Boltzmann entropy \({{\mathrm{Ent}}}\) , in the sense of optimal transport. We prove that conversely any gradient flow curve of \({{\mathrm{Ent}}}\) satisfy the hypoelliptic heat equation. This occurs in the subRiemannian \({\mathbb{H }}_n\) , which is not a space with a lower Ricci curvature bound in the metric sense of Lott–Villani and Sturm.     

Representations of set-valued risk measures defined on the l-tensor product of Banach lattices

We obtain a representation for set-valued risk measures which are defined on the completed \(l\) -tensor product \(E\widetilde{\otimes }_l G\) of Banach lattices \(E\) and \(G\) . This representation extends known representations for set-valued risk measures defined on Bochner spaces \(L^p(\mathbb {P}, \mathbb {R}^d)\) of \(p\) -integrable functions with values in \(\mathbb {R}^d\) .     

Spectral Measures Associated with the Factorization of the Lebesgue Measure on a Set via Convolution

Let \(Q\) be a fundamental domain of some full-rank lattice in \({\mathbb {R}}^d\) and let \(\mu \) and \(\nu \) be two positive Borel measures on \({\mathbb {R}}^d\) such that the convolution \(\mu *\nu \) is a multiple of \(\chi _Q\) . We consider the problem as to whether or not both measures must be spectral (i.e. each of their respective associated \(L^2\) space admits an orthogonal basis of exponentials) and we show that this is the case when \(Q = [0,1]^d\) . This theorem yields a large class of examples of spectral measures which are either absolutely continuous, singularly continuous or purely discrete spectral measures. In addition, we propose a generalized Fuglede’s Conjecture for spectral measures on \({\mathbb {R}}^1\) and we show that it implies the classical Fuglede’s Conjecture on \({\mathbb {R}}^1\) .     

Optimality conditions for weak {\psi} -sharp minima in vector optimization problems

In this paper, we develop the characterization of weak ${\psi}$ -sharp minimizer by means of an oriented distance function and investigate the weak ${\psi}$ -sharp minimizer of the composition of two functions. Moreover, we establish sufficient conditions of the weak ${\psi_1}$ -sharp and ${\psi_2}$ -sharp Pareto minimality for vector optimization problem with strictly differentiable and twice strictly differentiable objective function, respectively. Our results extend the corresponding ones in the literature.     

Uniqueness of weak solution to the generalized magneto-hydrodynamic system

We study uniqueness of weak solution for the generalized incompressible magneto-hydrodynamic (GMHD) system with suitable \(\beta \) , and we prove that the weak solutions are unique in the class \(L^{\frac{2\beta }{2\beta -1+r}}(0,T;B^{r}_{\infty ,\infty })\) with \(r\in (1-2\beta ,1]\) .     

Empirical likelihood bivariate nonparametric maximum likelihood estimator with right censored data

This article considers the estimation for bivariate distribution function (d.f.) \(F_0(t, z)\) of survival time \(T\) and covariate variable \(Z\) based on bivariate data where \(T\) is subject to right censoring. We derive the empirical likelihood-based bivariate nonparametric maximum likelihood estimator \(\hat{F}_n(t,z)\) for \(F_0(t,z)\) , which has an explicit expression and is unique in the sense of empirical likelihood. Other nice features of \(\hat{F}_n(t,z)\) include that it has only nonnegative probability masses, thus it is monotone in bivariate sense. We show that under \(\hat{F}_n(t,z)\) , the conditional d.f. of \(T\) given \(Z\) is of the same form as the Kaplan–Meier estimator for the univariate case, and that the marginal d.f. \(\hat{F}_n(\infty ,z)\) coincides with the empirical d.f. of the covariate sample. We also show that when there is no censoring, \(\hat{F}_n(t,z)\) coincides with the bivariate empirical d.f. For discrete covariate \(Z\) , the strong consistency and weak convergence of \(\hat{F}_n(t,z)\) are established. Some simulation results are presented.     

Weak quadratic overgroups for a class of Lie groups

Let $G$ be a connected and simply connected Lie group with Lie algebra $\mathfrak g $ . We say that a subset $X$ in the set $\mathfrak g ^\star / G$ of coadjoint orbits is convex hull separable when the convex hulls differ for any pair of distinct coadjoint orbits in $X$ . In this paper, we define a class of solvable Lie groups, and we give an explicit construction of an overgroup $G^+$ and a quadratic map $\varphi $ sending each generic orbit in $\mathfrak g ^\star $ to a $G^+$ -orbit in $\mathfrak{g ^+}^\star $ , in such a manner that the set $\varphi (\mathfrak g ^\star _{gen}){/ G^+}$ is convex hull separable. We then call $G^+$ a weak quadratic overgroup for $G$ . Thanks to this construction, we prove that any nilpotent Lie group, with dimension at most 7 admits such a weak quadratic overgroup. Finally, we produce different examples of solvable Lie groups, having weak quadratic overgroups, but which are not in our class of Lie groups and for which usual constructions fail to hold.     

Completely continuous and weakly completely continuous abstract Segal algebras

Let $\mathcal{A}$ be a Banach algebra. It is obtained a necessary and sufficient condition for the complete continuity and also weak complete continuity of symmetric abstract Segal algebras with respect to $\mathcal{A}$ , under the condition of the existence of an approximate identity for $\mathcal{B}$ , bounded in $\mathcal{A}$ . In addition, a necessary condition for the weak complete continuity of $\mathcal{A}$ is given. Moreover, the applications of these results about some group algebras on locally compact groups are obtained.     

On regularity of weak solutions to the instationary Navier–Stokes system: a review on recent results

Consider a weak instationary solution \(u\) of the Navier–Stokes equations in a domain \(\varOmega \subsetneq \mathbb {R}^3\) with Dirichlet boundary data \(u=0\) on \(\partial \Omega \) , i.e., \(u\) solves the Navier–Stokes system in the sense of distributions and $$\begin{aligned} u \in L^\infty \left( 0,T;L^2(\varOmega )\right) \cap L^2 \left( 0,T;W^{1,2}_0(\varOmega )\right) . \end{aligned}$$ Since the pioneering work of J. Leray 1933/34 it is an open problem whether weak solutions are unique and smooth. The main step—to nowadays knowledge—is to show that the given weak solution is a strong one in the sense of J. Serrin, i.e., \(u \in L^s \left( 0,T;L^q(\varOmega )\right) \) where \(s>2, q>3\) and \(\frac{2}{s}+ \frac{3}{q}=1\) . This review reports on recent progress in this important problem, considering this issue locally on an initial interval \([0,T')\) , \(T'<T\) , i.e., the problem of optimal initial values \(u(0)\) , globally on \([0,T)\) , and from a one-sided point of view \(u \in L^s \left( T'-\varepsilon ,T';L^q(\varOmega )\right) \) or \(u \in L^s\left( T',T'+\varepsilon ;L^q(\varOmega )\right) \) . Further topics deal with the energy (in-)equality, uniqueness of weak solutions, blow-up phenomena and the analysis in critical spaces for the whole space case.     

Orbit structure of a distinguished Stein invariant domain in the complexification of a Hermitian symmetric space

Recently, Bruinier and Ono proved that the coefficients of certain weight \(-1/2\) harmonic weak Maaß forms are given as “traces” of singular moduli for harmonic weak Maaß forms. Here, we prove that similar results hold for the coefficients of harmonic weak Maaß forms of weight \(3/2+k\) , \(k\) even, and weight \(1/2-k\) , \(k\) odd, by extending the theta lift of Bruinier–Funke and Bruinier–Ono. Moreover, we generalize these results to include twisted traces of singular moduli using earlier work of the author and Ehlen on the twisted Bruinier–Funke-lift. Employing a general duality result between weight \(k\) and \(2-k\) , we obtain formulas for all half-integral weights. We also show that the non-holomorphic part of the theta lift in weight \(1/2-k\) , \(k\) odd, is connected to the vanishing of the special value of the \(L\) -function of a certain derivative of the lifted function.