A recently developed nonlocal vector calculus is exploited to provide a variational analysis for a general class of nonlocal diffusion problems described by a linear integral equation on bounded domains in Rn. The nonlocal vector calculus also enables striking analogies to be drawn between the nonlocal model and classical models for diffusion, including a notion of nonlocal flux. The ubiquity of the nonlocal operator in applications is illustrated by a number of examples ranging from continuum mechanics to graph theory. In particular, it is shown that fractional Laplacian and fractional derivative models for anomalous diffusion are special cases of the nonlocal model for diffusion that we consider. The numerous applications elucidate different interpretations of the operator and the associated governing equations. For example, a probabilistic perspective explains that the nonlocal spatial operator appearing in our model corresponds to the infinitesimal generator for a symmetric jump process. Sufficient conditions on the kernel of the nonlocal operator and the notion of volume constraints are shown to lead to a well-posed problem. Volume constraints are a proxy for boundary conditions that may not be defined for a given kernel. In particular, we demonstrate for a general class of kernels that the nonlocal operator is a mapping between a volume constrained subspace of a fractional Sobolev subspace and its dual. We also demonstrate for other particular kernels that the inverse of the operator does not smooth but does correspond to diffusion. The impact of our results is that both a continuum analysis and a numerical method for the modeling of anomalous diffusion on bounded domains in Rn are provided. The analytical framework allows us to consider finite-dimensional approximations using discontinuous and continuous Galerkin methods, both of which are conforming for the nonlocal diffusion equation we consider; error and condition number estimates are derived.

We give a necessary and sufficient condition on the cost function so that the map solution of Monge’s optimal transportation problem is continuous for arbitrary smooth positive data. This condition was first introduced by Ma, Trudinger and Wang [24], [30] for a priori estimates of the corresponding Monge–Ampère equation. It is expressed by a socalled$cost-sectional curvature$being non-negative. We show that when the cost function is the squared distance of a Riemannian manifold, the cost-sectional curvature yields the sectional curvature. As a consequence, if the manifold does not have non-negative sectional curvature everywhere, the optimal transport map$cannot be continuous$for arbitrary smooth positive data. The non-negativity of the cost-sectional curvature is shown to be equivalent to the connectedness of the contact set between any cost-convex function (the proper generalization of a convex function) and any of its supporting functions. When the cost-sectional curvature is uniformly positive, we obtain that optimal maps are continuous or Hölder continuous under quite weak assumptions on the data, compared to what is needed in the Euclidean case. This case includes the quadratic cost on the round sphere.

No abstract uploaded!

We study the moduli stack of degree 0 semistable G-bundles on an irreducible curve E of arithmetic genus 1, where G is a connected reductive group. Our main result describes a partition of this stack indexed by a certain family of connected reductive subgroups H of G (the E-pseudo-Levi subgroups), where each stratum is computed in terms of bundles on H together with the action of the relative Weyl group. We show that this result is equivalent to a Jordan–Chevalley theorem for such bundles equipped with a framingat a fixed basepoint. In the case where E has a single cusp (respectively, node), this gives a new proof of the Jordan–Chevalley theorem for the Lie algebra g (respectively, group G). We also provide a Tannakian description of these moduli stacks and use it to show that if E is an ordinary elliptic curve, the collection of framed unipotent bundles on E is equivariantly isomorphic to the unipotent cone in G. Finally, we classify the E-pseudo-Levi subgroups using the Borel–de Siebenthal algorithm, and compute some explicit examples.

No abstract uploaded!