We propose a definition of the Dirichlet energy (which is roughly speaking the integral of the square of the gradient) for mappings mu : Omega -> (P(D), W ) defined over a subset Omega of R^p and valued in the space P(D) of probability measures on a compact convex subset D of R^q endowed with the quadratic Wasserstein distance. Our definition relies on a straightforward generalization of the Benamou-Brenier formula (already introduced by Brenier) but is also equivalent to the definition of Koorevaar, Schoen and Jost as limit of approximate Dirichlet energies, and to the definition of Reshetnyak of Sobolev spaces valued in metric spaces. We study harmonic mappings, i.e. minimizers of the Dirichlet energy provided that the values on the boundary d Omega are fixed. The notion of constant-speed geodesics in the Wasserstein space is recovered by taking for Omega a segment of R. As the Wasserstein space (P(D), W ) is positively curved in the sense of Alexandrov we cannot apply the theory of Koorevaar, Schoen and Jost and we use instead arguments based on optimal transport. We manage to get existence of harmonic mappings provided that the boundary values are Lipschitz on d Omega, uniqueness is an open question. If Omega is a segment of R, it is known that a curve valued in the Wasserstein space P(D) can be seen as a superposition of curves valued in D. We show that it is no longer the case in higher dimensions: a generic mapping Omega -> P(D) cannot be represented as the superposition of mappings Omega -> D. We are able to show a Ishihara-type property: the composition F(mu) of a function F : P(D) -> R convex along generalized geodesics and a harmonic mapping mu : Omega -> P(D) is a subharmonic real-valued function. We also study the special case where we restrict ourselves to a given family of elliptically contoured distributions (a finite-dimensional and geodesically convex submanifold of (P(D), W ) which generalizes the case of Gaussian measures) and show that it boils down to harmonic mappings valued in the Riemannian manifold of symmetric matrices endowed with the distance coming from optimal transport.
In @cite_21 , the authors study (which are nothing more than maps @math except that @math and @math are surfaces, i.e. Riemannian manifolds of dimension @math ) and define a Dirichlet energy in the same way as Koorevaar, Schoen and Jost. These maps are seen as relaxations of "classical" maps @math , and they focus on numerical computation and visualization of theses soft maps, see also @cite_24 for applications to supervised learning. On the other hand, they do not analyze in detail the theoretical properties of the Dirichlet energy and harmonic mappings, which in contrast is the main topic of the present article. In @cite_32 , the author provides some theoretical analysis of soft maps by focusing on the cases where the boundary measures on @math are either Dirac masses or Gaussian measures.
@cite_24 @cite_21 @cite_32
2155488148 2261902652 1886215707 2147668104 2040125300 2963034365 2962852827 2090520255 1893146140 2962724035 1783384750 2090335219 1945101555 1966644690 2115189693 2498247430 2103138450 2092391190 2265209761 2133027741
Soft maps taking points on one surface to probability distributions on another are attractive for representing surface mappings in the presence of symmetry, ambiguity, and combinatorial complexity. Few techniques, however, are available to measure their continuity and other properties. To this end, we introduce a novel Dirichlet energy for soft maps generalizing the classical map Dirichlet energy, which measures distortion by computing how soft maps transport probabilistic mass from one distribution to another. We formulate the computation of the Dirichlet energy in terms of a differential equation and provide a finite elements discretization that enables all of the quantities introduced to be computed. We demonstrate the effectiveness of our framework for understanding soft maps arising from various sources. Furthermore, we suggest how these energies can be applied to generate continuous soft or point-to-point maps. In this article we consider large energy wave maps in dimension 2+1, as in the resolution of the threshold conjecture by Sterbenz and Tataru (Commun. Math. Phys. 298(1):139–230, 2010; Commun. Math. Phys. 298(1):231–264, 2010), but more specifically into the unit Euclidean sphere ( S ^ n-1 R ^ n ) with ( n ), and study further the dynamics of the sequence of wave maps that are obtained in Sterbenz and Tataru (Commun. Math. Phys. 298(1):231–264, 2010) at the final rescaling for a first, finite or infinite, time singularity. We prove that, on a suitably chosen sequence of time slices at this scaling, there is a decomposition of the map, up to an error with asymptotically vanishing energy, into a decoupled sum of rescaled solitons concentrating in the interior of the light cone and a term having asymptotically vanishing energy dispersion norm, concentrating on the null boundary and converging to a constant locally in the interior of the cone, in the energy space. Similar and stronger results have been recently obtained in the equivariant setting by several authors (Cote, Commun. Pure Appl. Math. 68(11):1946–2004, 2015; Cote, Commun. Pure Appl. Math. 69(4):609–612, 2016; Cote, Am. J. Math. 137(1):139–207, 2015; , Am. J. Math. 137(1):209–250, 2015; Krieger, Commun. Math. Phys. 250(3):507–580, 2004), where better control on the dispersive term concentrating on the null boundary of the cone is provided, and in some cases the asymptotic decomposition is shown to hold for all time. Here, however, we do not impose any symmetry condition on the map itself and our strategy follows the one from bubbling analysis of harmonic maps into spheres in the supercritical regime due to Lin and Riviere (Ann. Math. 149(2):785–829, 1999; Duke Math. J. 111:177–193, 2002), which we make work here in the hyperbolic context of Sterbenz and Tataru (Commun. Math. Phys. 298(1), 231–264, 2010). Wave maps are the simplest wave equations taking their values in a Riemannian manifold (M,g). Their Lagrangian is the same as for the scalar equation, the only difference being that lengths are measured with respect to the metric g. By Noether's theorem, symmetries of the Lagrangian imply conservation laws for wave maps, such as conservation of energy. In coordinates, wave maps are given by a system of semilinear wave equations. Over the past 20 years important methods have emerged which address the problem of local and global wellposedness of this system. Due to weak dispersive effects, wave maps defined on Minkowski spaces of low dimensions, such as @math , present particular technical difficulties. This class of wave maps has the additional important feature of being energy critical, which refers to the fact that the energy scales exactly like the equation. Around 2000 Daniel Tataru and Terence Tao, building on earlier work of Klainerman–Machedon, proved that smooth data of small energy lead to global smooth solutions for wave maps from 2+1 dimensions into target manifolds satisfying some natural conditions. In contrast, for large data, singularities may occur in finite time for @math as target. This monograph establishes that for @math as target the wave map evolution of any smooth data exists globally as a smooth function. While we restrict ourselves to the hyperbolic plane as target the implementation of the concentration-compactness method, the most challenging piece of this exposition, yields more detailed information on the solution. This monograph will be of interest to experts in nonlinear dispersive equations, in particular to those working on geometric evolution equations. We show that the Goemans-Linial semidefinite relaxation of the Sparsest Cut problem with general demands has integrality gap @math . This is achieved by exhibiting @math -point metric spaces of negative type whose @math distortion is @math . Our result is based on quantitative bounds on the rate of degeneration of Lipschitz maps from the Heisenberg group to @math when restricted to cosets of the center. This paper uses probability theory to provide an approach to the Dirichlet problem for harmonic maps. The probabilistic tools used are those of manifold-valued Brownian motion and Γ-martingales. Probabilistic proofs are given of uniqueness, continuous dependence on data, and existence of generalized solutions (finely harmonic maps), for target domains which have convex geometry. (This class of domain includes all regular geodesic balls). Links are made with new results in other fields: the Γ-martingale Dirichlet problem, Riemannian centres of mass On a fixed smooth compact Riemann surface with boundary (M0, g), we show that for the Schrodinger operator ∆ + V with potential V ∈ C(M0) for some α > 0, the Dirichlet-to-Neumann map N|Γ measured on an open set Γ ⊂ ∂M0 determines uniquely the potential V . We also discuss briefly the corresponding consequences for potential scattering at 0 frequency on Riemann surfaces with asymptotically Euclidean or asymptotically hyperbolic ends. We study a generalization of energy super-critical wave maps due to Adkins and Nappi that can also be viewed as a simplified version of the Skyrme model. These are maps from 1 + 3 dimensional Minkowski space that take values in the 3-sphere, and it follows that every finite energy Adkins–Nappi wave map has a fixed topological degree which is an integer. Here we initiate the study of the large data dynamics for Adkins–Nappi wave maps by proving that there is no type II blow-up in the class of maps with topological degree zero. In particular, any degree zero map whose critical norm stays bounded must be global-in-time and scatter to zero as ( t ). We consider finite energy corotational wave maps with target manifold S2. We prove that for a sequence of times, they decompose as a sum of decoupled harmonic maps in the light cone, and a smooth wave map (in the blowup case) or a linear scattering term (in the global case), up to an error which tends to 0 in the energy space. © 2015 Wiley Periodicals, Inc. This is the second in a series of papers in which we derive a @math -expansion for the two-dimensional non-local Ginzburg-Landau energy with Coulomb repulsion known as the Ohta-Kawasaki model in connection with diblock copolymer systems. In this model, two phases appear, which interact via a nonlocal Coulomb type energy. Here we focus on the sharp interface version of this energy in the regime where one of the phases has very small volume fraction, thus creating small "droplets" of the minority phase in a "sea" of the majority phase. In our previous paper, we computed the @math -limit of the leading order energy, which yields the averaged behavior for almost minimizers, namely that the density of droplets should be uniform. Here we go to the next order and derive a next order @math -limit energy, which is exactly the Coulombian renormalized energy obtained by Sandier and Serfaty as a limiting interaction energy for vortices in the magnetic Ginzburg-Landau model. The derivation is based on the abstract scheme of Sandier-Serfaty that serves to obtain lower bounds for 2-scale energies and express them through some probabilities on patterns via the multiparameter ergodic theorem. Without thus appealing to the Euler-Lagrange equation, we establish for all configurations which have "almost minimal energy" the asymptotic roundness and radius of the droplets, and the fact that they asymptotically shrink to points whose arrangement minimizes the renormalized energy in some averaged sense. Via a kind of @math -equivalence, the obtained results also yield an expansion of the minimal energy for the original Ohta-Kawasaki energy. This leads to expecting to see triangular lattices of droplets as energy minimizers. We give a detailed description of the geometry of single droplet patterns in a non- local isoperimetric problem. In particular we focus on the sharp interface limit of the Ohta- Kawasaki free energy for diblock copolymers, regarded as a paradigm for those energies modeling physical systems characterized by a competition between short and a long-range interactions. Exploiting fine properties of the regularity theory for minimal surfaces, we extend previous partial results in different directions and give robust tools for the geometric analysis of more complex patterns. where u is the order parameter of a two-phases system confined in ⊂ R n , and and m are two nonnegative numerical parameters. The two terms in the energy mimic attractive short-range and repulsive long-range energies between the phases. More precisely the first term is local, it favors minimal interface area and drives the system toward a partition into few pure phases while the second term, involving a Coulomb-like kernel G, is non-local and favor a fine mixing of the phases. A detailed description of the energy is given in § 1. The competition between these two terms is expected to induce the formation of highly regular mesoscopic patterns, whose geometry strongly depends on the choice of the parameters and m (e.g. spherical spots, cylinders, gyroids and lamellae). 0.1. The Ohta-Kawasaki functional for diblock copolymers. The model we consider arises as a simplification of a Ginzburg-Landau functional proposed by Ohta and Kawasaki in their pioneering paper (41) as a possible description of a diblock copolymers' (DBC) system. Even though it is questionable whether such an energy actually describes DBCs (see Choksi and Ren (15), Muratov (39) and Niethammer and Oshita (40)), nevertheless it is a first, and mathematically non-trivial, attempt to capture some of the main features of these systems. For such a reason it deserved over the last twenty years great attention from both the mathematical and the physical We present a general mechanism to establish the existence of diffusing orbits in a large class of nearly integrable Hamiltonian systems. Our approach relies on successive applications of the outer dynamics' along homoclinic orbits to a normally hyperbolic invariant manifold. The information on the outer dynamics is encoded by a geometrically defined map, referred to as the scattering map'. We find pseudo-orbits of the scattering map that keep advancing in some privileged direction. Then we use the recurrence property of the inner dynamics', restricted to the normally hyperbolic invariant manifold, to return to those pseudo-orbits. Finally, we apply topological methods to show the existence of true orbits that follow the successive applications of the two dynamics. This method differs, in several crucial aspects, from earlier works. Unlike the well known two-dynamics' approach, the method we present relies on the outer dynamics alone. There are virtually no assumptions on the inner dynamics, as its invariant objects (e.g., primary and secondary tori, lower dimensional hyperbolic tori and their stable unstable manifolds, Aubry-Mather sets) are not used at all. The method applies to unperturbed Hamiltonians of arbitrary degrees of freedom that are not necessarily convex. In addition, this mechanism is easy to verify (analytically or numerically) in concrete examples, as well as to establish diffusion in generic systems. We include several applications, such as bridging large gaps in a priori unstable models in any dimension, and establishing diffusion in cases when the inner dynamics is a non-twist map. We show that certain mechanical systems, including a geodesic °ow in any dimension plus a quasi-periodic perturbation by a potential, have orbits of unbounded energy. The assumptions we make in the case of geodesic °ows are: a) The metric and the external perturbation are smooth enough. b) The geodesic °ow has a hyperbolic periodic orbit such that its stable and unstable manifolds have a tranverse homoclinic intersection. c) The frequency of the external perturbation is Diophantine. d) The external potential satisOes a generic condition depending on the periodic orbit considered in b). The assumptions on the metric are C2 open and are known to be dense on many manifolds. The assumptions on the potential fail only in inOnite codimension spaces of potentials. The proof is based on geometric considerations of invariant manifolds and their intersections. The main tools include the scattering map of normally hyperbolic invariant manifolds, as well as standard perturbation theories (averaging, KAM and Melnikov techniques). We do not need to assume that the metric is Riemannian and we obtain results for Finsler or Lorentz metrics. Indeed, there is a formulation for Hamiltonian systems satisfying scaling hypotheses. We do not need to make assumptions on the global topology of the manifold nor on its dimension. Let @math be a smooth scheme over an algebraically closed field @math of characteristic zero and @math a regular function, and write @math Crit @math , as a closed subscheme of @math . The motivic vanishing cycle @math is an element of the @math -equivariant motivic Grothendieck ring @math defined by Denef and Loeser math.AG 0006050 and Looijenga math.AG 0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) @math depends only on the third-order thickenings @math of @math . (b) If @math is another smooth scheme, @math is regular, @math Crit @math , and @math is an embedding with @math and @math an isomorphism, then @math equals @math "twisted" by a motive associated to a principal @math -bundle defined using @math , where now we work in a quotient ring @math of @math . (c) If @math is an "oriented algebraic d-critical locus" in the sense of Joyce arXiv:1304.4508, there is a natural motive @math , such that if @math is locally modelled on Crit @math , then @math is locally modelled on @math . Using results from arXiv:1305.6302, these imply the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with "orientation data", as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory arXiv:0811.2435, and on intersections of oriented Lagrangians in an algebraic symplectic manifold. This paper is an analogue for motives of results on perverse sheaves of vanishing cycles proved in arXiv:1211.3259. We extend this paper to Artin stacks in arXiv:1312.0090. We study the phenomena of energy concentration for the critical O(3) sigma model, also known as the wave map flow from ℝ 2+1 Minkowski space into the sphere S 2 . We establish rigorously and constructively existence of a set of smooth initial data resulting in a dynamic finite time formation of singularities. The construction and analysis are done in the context of the k-equivariant symmetry reduction, and we restrict to maps with homotopy class k ≥ 4. The concentration mechanism we uncover is essentially due to a resonant self-focusing (shrinking) of a corresponding harmonic map. We show that the phenomenon is generic (e.g. in certain Sobolev spaces) in that it persists under small perturbations of initial data, while the resulting blowup is bounded by a log-modified self-similar asymptotic. The following statistical properties are derived for a random, moving, Gaussian surface: (1) the probability distribution of the surface elevation and of the magnitude and orientation of the gradient; (2) the average number of zero-crossings per unit distance along a line in an arbitrary direction; (3) the average length of the contours per unit area, and the distribution of their direction; (4) the average density of maxima and minima per unit area of the surface, and the average density of specular points (i.e, points where the two components of gradient take given values); (5) the probability distribution of the velocities of zero-crossings along a given line; (6) the probability distribution of the velocities of contours and of specular points; (7) the probability distribution of the envelope and phase angle, and hence (8) when the spectrum is narrow, the probability distribution of the heights of maxima and minima and the distribution of the intervals between successive zero-crossings along an arbitrary line. All the results are expressed in terms of the two-dimensional energy spectrum of the surface, and are found to involve the moments of the spectrum up to a finite order only. (1), (3), (4), (5) and (6) are discussed in detail for the special case of a narrow spectrum. The converse problem is also studied and solved: given certain statistical properties of the surface, to find a convergent sequence of approximations to the energy spectrum. The problems arise in connexion with the statistical analysis of the sea surface. (More detailed summaries are given at the beginning of each part of the paper.) We extend the De Giorgi--Nash--Moser theory to a class of kinetic Fokker-Planck equations and deduce new results on the Landau-Coulomb equation. More precisely, we first study the H o lder regularity and establish a Harnack inequality for solutions to a general linear equation of Fokker-Planck type whose coefficients are merely measurable and essentially bounded, i.e. assuming no regularity on the coefficients in order to later derive results for non-linear problems. This general equation has the formal structure of the hypoelliptic equations "of type II" , sometimes also called ultraparabolic equations of Kolmogorov type, but with rough coefficients: it combines a first-order skew-symmetric operator with a second-order elliptic operator involving derivatives along only part of the coordinates and with rough coefficients. These general results are then applied to the non-negative essentially bounded weak solutions of the Landau equation with inverse-power law @math @math [--d, 1] whose mass, energy and entropy density are bounded and mass is bounded away from 0, and we deduce the H o lder regularity of these solutions. This book consists of two independent works: Part I is 'Solutions of the Einstein Vacuum Equations', by Lydia Bieri. Part II is 'Solutions of the Einstein-Maxwell Equations', by Nina Zipser. A famous result of Christodoulou and Klainerman is the global nonlinear stability of Minkowski spacetime. In this book, Bieri and Zipser provide two extensions to this result. In the first part, Bieri solves the Cauchy problem for the Einstein vacuum equations with more general, asymptotically flat initial data, and describes precisely the asymptotic behavior. In particular, she assumes less decay in the power of @math and one less derivative than in the Christodoulou-Klainerman result. She proves that in this case, too, the initial data, being globally close to the trivial data, yields a solution which is a complete spacetime, tending to the Minkowski spacetime at infinity along any geodesic. In contrast to the original situation, certain estimates in this proof are borderline in view of decay, indicating that the conditions in the main theorem on the decay at infinity on the initial data are sharp. In the second part, Zipser proves the existence of smooth, global solutions to the Einstein-Maxwell equations. A nontrivial solution of these equations is a curved spacetime with an electromagnetic field. To prove the existence of solutions to the Einstein-Maxwell equations, Zipser follows the argument and methodology introduced by Christodoulou and Klainerman. To generalize the original results, she needs to contend with the additional curvature terms that arise due to the presence of the electromagnetic field @math ; in her case the Ricci curvature of the spacetime is not identically zero but rather represented by a quadratic in the components of @math . In particular the Ricci curvature is a constant multiple of the stress-energy tensor for @math . Furthermore, the traceless part of the Riemann curvature tensor no longer satisfies the homogeneous Bianchi equations but rather inhomogeneous equations including components of the spacetime Ricci curvature. Therefore, the second part of this book focuses primarily on the derivation of estimates for the new terms that arise due to the presence of the electromagnetic field. We consider @math -equivariant wave maps from @math of finite energy. We establish a classification of all degree one global solutions whose energies are less than three times the energy of the harmonic map @math . In particular, for each global energy solution of topological degree one, we show that the solution asymptotically decouples into a rescaled harmonic map plus a radiation term. Together with a companion article (Part I), where we consider the case of finite-time blow up, this gives a characterization of all @math -equivariant, degree @math wave maps in the energy regime @math . In the early 1990s, Borcea-Voisin orbifolds were some of the ear- liest examples of Calabi-Yau threefolds shown to exhibit mirror symmetry. However, their quantum theory has been poorly investigated. We study this in the context of the gauged linear sigma model, which in their case encom- passes Gromov-Witten theory and its three companions (FJRW theory and two mixed theories). For certain Borcea-Voisin orbifolds of Fermat type, we calculate all four genus zero theories explicitly. Furthermore, we relate the I-functions of these theories by analytic continuation and symplectic transfor- mation. In particular, the relation between the Gromov-Witten and FJRW theories can be viewed as an example of the Landau-Ginzburg Calabi-Yau correspondence for complete intersections of toric varieties. These lecture notes highlight the mathematical and computational structure relating to the formulation of, and development of algorithms for, the Bayesian approach to inverse problems in differential equations. This approach is fundamental in the quantification of uncertainty within applications in volving the blending of mathematical models with data. The finite dimensional situation is described first, along with some motivational examples. Then the development of probability measures on separable Banach space is undertaken, using a random series over an infinite set of functions to construct draws; these probability measures are used as priors in the Bayesian approach to inverse problems. Regularity of draws from the priors is studied in the natural Sobolev or Besov spaces implied by the choice of functions in the random series construction, and the Kolmogorov continuity theorem is used to extend regularity considerations to the space of Holder continuous functions. Bayes’ theorem is de rived in this prior setting, and here interpreted as finding conditions under which the posterior is absolutely continuous with respect to the prior, and determining a formula for the Radon-Nikodym derivative in terms of the likelihood of the data. Having established the form of the posterior, we then describe various properties common to it in the infinite dimensional setting. These properties include well-posedness, approximation theory, and the existence of maximum a posteriori estimators. We then describe measure-preserving dynamics, again on the infinite dimensional space, including Markov chain-Monte C arlo and sequential Monte Carlo methods, and measure-preserving reversible stochastic differential equations. By formulating the theory and algorithms on the underlying infinite dimensional space, we obtain a framework suitable for rigorous analysis of the accuracy of reconstructions, of computational complexity, as well as naturally constructing algorithms which perform well under mesh refinement, since they are inherently well-defined in infinite dimensions.