A simple proof of the Grobman–Hartman theorem for nonuniformly hyperbolic flows

We give a simple and direct proof of the Grobman–Hartman theorem for nonautonomous differential equations obtained from perturbing a nonuniform exponential dichotomy. In particular, we do not need to pass through discrete time and obtain the result as a consequence of a corresponding result for maps. To the best of our knowledge, this is the first direct approach for nonuniform exponential dichotomies. We also show that the conjugacies are continuous in time and Hölder continuous in space. In addition, we describe the dependence of the conjugacies on the perturbation, and we obtain a reversibility result for the conjugacies of reversible differential equations. We emphasize that the additional work required to consider nonuniform exponential dichotomies is substantial.     

Remark on the global existence and large time asymptotics of solutions for the quadratic NLS

We study the global in time existence of small solutions to the nonlinear Schrödinger equation with quadratic interactions (0.1) We prove that if the initial data u₀ satisfy smallness conditions in the weighted Sobolev norm, then the solution of the Cauchy problem (0.1) exists globally in time. Furthermore, we prove the existence of the usual scattering states and find the large time asymptotics of the solutions.     

Variational Inequalities for Arbitrary Multivariate Distributions

Upper bounds for the total variation distance between two arbitrary multivariate distributions are obtained in terms of the correspondingw-functions. The results extend some previous inequalities satisfied by the normal distribution. Some examples are also given.     

Monge–Ampère measures on pluripolar sets

In this article we solve the complex Monge–Ampère problem for measures with large singular part. This result generalizes classical results by Demailly, Lelong and Lempert a.o., who considered singular parts carried on discrete sets. By using our result we obtain a generalization of Ko?odziej's subsolution theorem. More precisely, we prove that if a non-negative Borel measure is dominated by a complex Monge–Ampère measure, then it is a complex Monge–Ampère measure.     

The iterated Aluthge transforms of a matrix converge

Given an r×r complex matrix T, if T=U|T| is the polar decomposition of T, then, the Aluthge transform is defined byΔ(T)=|T|^1/2U|T|^1/2. Let Δn(T) denote the n-times iterated Aluthge transform of T, i.e., Δ⁰(T)=T and Δn(T)=Δ(Δn−1(T)), n∈N. We prove that the sequence {Δn(T)}_n∈N converges for every r×r matrix T. This result was conjectured by Jung, Ko and Pearcy in 2003. We also analyze the regularity of the limit function.     

Topological dynamical systems associated to II1-factors

If N⊂Rω is a separable II₁-factor, the space Hom(N,Rω) of unitary equivalence classes of unital ?-homomorphisms N→Rω is shown to have a surprisingly rich structure. If N is not hyperfinite, Hom(N,Rω) is an infinite-dimensional, complete, metrizable topological space with convex-like structure, and the outer automorphism group Out(N) acts on it by “affine” homeomorphisms. (If N≅R, then Hom(N,Rω) is just a point.) Property (T) is reflected in the extreme points – they?re discrete in this case. For certain free products N=Σ?R, every countable group acts nontrivially on Hom(N,Rω), and we show the extreme points are not discrete for these examples. Finally, we prove that the dynamical systems associated to free group factors are isomorphic.     

A combinatorial formula for Macdonald polynomials

In this paper we use the combinatorics of alcove walks to give uniform combinatorial formulas for Macdonald polynomials for all Lie types. These formulas resemble the formulas of Haglund, Haiman and Loehr for Macdonald polynomials of type GLn. At q=0 these formulas specialize to the formula of Schwer for the Macdonald spherical function in terms of positively folded alcove walks and at q=t=0 these formulas specialize to the formula for the Weyl character in terms of the Littelmann path model (in the positively folded gallery form of Gaussent and Littelmann).     

Sharp maximal inequality for nonnegative martingales

Let X be a nonnegative martingale, let H be a predictable process taking values in [−1,1] and let Y be an Itô integral of H with respect to X. We establish the bound and show that the constant 3 is the best possible.     

Algebraic K-theory and abstract homotopy theory

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer–Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria appearing in the literature. We show that under mild hypotheses, a weakly exact functor that induces an equivalence of homotopy categories induces an equivalence of K-theory spectra.     

Long-time stability of large-amplitude noncharacteristic boundary layers for hyperbolic–parabolic systems

Extending investigations of Yarahmadian and Zumbrun in the strictly parabolic case, we study time-asymptotic stability of arbitrary (possibly large) amplitude noncharacteristic boundary layers of a class of hyperbolic–parabolic systems including the Navier–Stokes equations of compressible gas, and magnetohydrodynamics with inflow or outflow boundary conditions, establishing that linear and nonlinear stability are both equivalent to an Evans function, or generalized spectral stability, condition. The latter is readily checkable numerically, and analytically verifiable in certain favorable cases; in particular, it has been shown by Costanzino, Humpherys, Nguyen, and Zumbrun to hold for sufficiently large-amplitude layers for isentropic ideal gas dynamics, with general adiabiatic index γ?1. Together with these previous results, our results thus give nonlinear stability of large-amplitude isentropic boundary layers, the first such result for compressive (“shock-type”) layers in other than the nearly-constant case. The analysis, as in the strictly parabolic case, proceeds by derivation of detailed pointwise Green function bounds, with substantial new technical difficulties associated with the more singular, hyperbolic behavior in the high-frequency/short time regime.     

Functional central limit theorems for self-normalized least squares processes in regression with possibly infinite variance data

Based on an R²-valued random sample {(y_i,x_i),1≤i≤n} on the simple linear regression model y_i=x_iβ+α+ε_i with unknown error variables ε_i, least squares processes (LSPs) are introduced in D[0,1] for the unknown slope β and intercept α, as well as for the unknown β when α=0. These LSPs contain, in both cases, the classical least squares estimators (LSEs) for these parameters. It is assumed throughout that {(x,ε),(x_i,ε_i),i≥1} are i.i.d. random vectors with independent components x and ε that both belong to the domain of attraction of the normal law, possibly both with infinite variances. Functional central limit theorems (FCLTs) are established for self-normalized type versions of the vector of the introduced LSPs for (β,α), as well as for their various marginal counterparts for each of the LSPs alone, respectively via uniform Euclidean norm and sup–norm approximations in probability. As consequences of the obtained FCLTs, joint and marginal central limit theorems (CLTs) are also discussed for Studentized and self-normalized type LSEs for the slope and intercept. Our FCLTs and CLTs provide a source for completely data-based asymptotic confidence intervals for β and α.     

Sharp estimates and saturation phenomena for a nonlocal eigenvalue problem

We determine the shape which minimizes, among domains with given measure, the first eigenvalue of a nonlocal operator consisting of a perturbation of the standard Dirichlet Laplacian by an integral of the unknown function. We show that this problem displays a saturation behaviour in that the corresponding value of the minimal eigenvalue increases with the weight affecting the average up to a (finite) critical value of this weight, and then remains constant. This critical point corresponds to a transition between optimal shapes, from one ball as in the Faber–Krahn inequality to two equal balls.     

Convergence of the Dirichlet solutions of the very fast diffusion equation

For any −1<m<0, positive functions f, g and u₀≥0, we prove that under some mild conditions on f, g and u₀ as R→∞ the solution u^R of the Dirichlet problem u_t=(u^m/m)_xx in (−R,R)×(0,∞), u(R,t)=(f(t)|m|R)^1/m, u(−R,t)=(g(t)|m|R)^1/m for all t>0, u(x,0)=u₀(x) in (−R,R), converges uniformly on every compact subset of R×(0,T) to the solution of the equation u_t=(u^m/m)_xx in R×(0,T), u(x,0)=u₀(x) in R, which satisfies some mass loss formula on (0,T) where T is the maximal time such that the solution u is positive. We also prove that the solution constructed is equal to the solution constructed in Hui (2007) [15] using approximation by solutions of the corresponding Neumann problem in bounded cylindrical domains.     

Convex hulls of curves of genus one

Let C be a real nonsingular affine curve of genus one, embedded in affine n-space, whose set of real points is compact. For any polynomial f which is nonnegative on C(R), we prove that there exist polynomials fi with (mod IC) and such that the degrees deg(fi) are bounded in terms of deg(f) only. Using Lasserre?s relaxation method, we deduce an explicit representation of the convex hull of C(R) in Rn by a lifted linear matrix inequality. This is the first instance in the literature where such a representation is given for the convex hull of a nonrational variety. The same works for convex hulls of (singular) curves whose normalization is C. We then make a detailed study of the associated degree bounds. These bounds are directly related to size and dimension of the projected matrix pencils. In particular, we prove that these bounds tend to infinity when the curve C degenerates suitably into a singular curve, and we provide explicit lower bounds as well.     

Higher integrality conditions, volumes and Ehrhart polynomials

A polytope is integral if all of its vertices are lattice points. The constant term of the Ehrhart polynomial of an integral polytope is known to be 1. In previous work, we showed that the coefficients of the Ehrhart polynomial of a lattice-face polytope are volumes of projections of the polytope. We generalize both results by introducing a notion of k-integral polytopes, where 0-integral is equivalent to integral. We show that the Ehrhart polynomial of a k-integral polytope P has the properties that the coefficients in degrees less than or equal to k are determined by a projection of P, and the coefficients in higher degrees are determined by slices of P. A key step of the proof is that under certain generality conditions, the volume of a polytope is equal to the sum of volumes of slices of the polytope.     

Frobenius manifolds from regular classical W-algebras

We obtain polynomial Frobenius manifolds from classical W-algebras associated to regular nilpotent elements in simple Lie algebras using the related opposite Cartan subalgebras.     

Monotonicity theorems for Laplace Beltrami operator on Riemannian manifolds

For free boundary problems on Euclidean spaces, the monotonicity formulas of Alt–Caffarelli–Friedman and Caffarelli–Jerison–Kenig are cornerstones for the regularity theory as well as the existence theory. In this article we establish the analogs of these results for the Laplace–Beltrami operator on Riemannian manifolds. As an application we show that our monotonicity theorems can be employed to prove the Lipschitz continuity for the solutions of a general class of two-phase free boundary problems on Riemannian manifolds.     

The normal distribution is ?-infinitely divisible

We prove that the classical normal distribution is infinitely divisible with respect to the free additive convolution. We study the Voiculescu transform first by giving a survey of its combinatorial implications and then analytically, including a proof of free infinite divisibility. In fact we prove that a sub-family of Askey–Wimp–Kerov distributions are freely infinitely divisible, of which the normal distribution is a special case. At the time of this writing this is only the third example known to us of a nontrivial distribution that is infinitely divisible with respect to both classical and free convolution, the others being the Cauchy distribution and the free 1/2-stable distribution.     

BLO spaces associated with the Ornstein–Uhlenbeck operator

Let (Rn,|⋅|,dγ) be the Gauss measure metric space, where Rn denotes the n-dimensional Euclidean space, |⋅| the Euclidean norm and for all x∈Rn the Gauss measure. In this paper, for any a∈(0,∞), the authors introduce some BLOa(γ) space, namely, the space of functions with bounded lower oscillation associated with a given class of admissible balls with parameter a. Then the authors prove that the noncentered local natural Hardy–Littlewood maximal operator is bounded from BMO(γ) of Mauceri and Meda to BLOa(γ). Moreover, a characterization of the space BLOa(γ), via the local natural maximal operator and BMO(γ), is given. The authors further prove that a class of maximal singular integrals, including the corresponding maximal operators of both imaginary powers of the Ornstein–Uhlenbeck operator and Riesz transforms of any order associated with the Ornstein–Uhlenbeck operator, are bounded from L^∞(γ) to BLOa(γ).     

Lie algebras associated to systems of Dyson–Schwinger equations

We consider systems of combinatorial Dyson–Schwinger equations in the Connes–Kreimer Hopf algebra HI of rooted trees decorated by a set I. Let H(S) be the subalgebra of HI generated by the homogeneous components of the unique solution of this system. If it is a Hopf subalgebra, we describe it as the dual of the enveloping algebra of a Lie algebra g(S) of one of the following types:

• 1. 

  g(S) is an associative algebra of paths associated to a certain oriented graph.

• 2. 

  Or g(S) is an iterated extension of the Faà di Bruno Lie algebra.

• 3. 

  Or g(S) is an iterated extension of an infinite-dimensional abelian Lie algebra.

We also describe the character groups of H(S).