On Landau damping

Going beyond the linearized study has been a longstanding problem in the theory of Landau damping. In this paper we establish exponential Landau damping in analytic regularity. The damping phenomenon is reinterpreted in terms of transfer of regularity between kinetic and spatial variables, rather than exchanges of energy; phase mixing is the driving mechanism. The analysis involves new families of analytic norms, measuring regularity by comparison with solutions of the free transport equation; new functional inequalities; a control of non-linear echoes; sharp “deflection” estimates; and a Newton approximation scheme. Our results hold for any potential no more singular than Coulomb or Newton interaction; the limit cases are included with specific technical effort. As a side result, the stability of homogeneous equilibria of the non-linear Vlasov equation is established under sharp assumptions. We point out the strong analogy with the KAM theory, and discuss physical implications. Finally, we extend these results to some Gevrey (non-analytic) distribution functions.     

Comparing chains in a Banach space

We prove that in a Banach space with the metric approximation property the flat chains defined by De Pauw and Hardt (Am J Math 134:1–69, 2012) coincide with those of Adams (J Geom Anal 18:1–28, 2008).     

Order-Compactifications of Totally Ordered Spaces: Revisited

Order-compactifications of totally ordered spaces were described by Blatter (J Approx Theory 13:56–65, 1975) and by Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Their results generalize a similar characterization of order-compactifications of linearly ordered spaces, obtained independently by Fedorčuk (Soviet Math Dokl 7:1011–1014, 1966; Sib Math J 10:124–132, 1969) and Kaufman (Colloq Math 17:35–39, 1967). In this note we give a simple characterization of the topology of a totally ordered space, as well as give a new simplified proof of the main results of Blatter (J Approx Theory 13:56–65, 1975) and Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Our main tool will be an order-topological modification of the Dedekind-MacNeille completion. In addition, for a zero-dimensional totally ordered space X, we determine which order-compactifications of X are Priestley order-compactifications.     

A New Approach to Investigation of Carnot�CCarath��odory Geometry

We develop a new approach to studying the geometry of Carnot–Carathéodory spaces under minimal assumptions on the smoothness of basis vector fields. We obtain quantitative comparison estimates for the local geometries of two different local Carnot groups, as well as of a local Carnot group and the original space. As corollaries, we deduce some results that are well-known and basic for the “smooth” case: the generalized triangle inequality for d _∞, the local approximation theorem for the quasimetric d _∞, the Rashevskiǐ–Chow theorem, the ball-box theorem, and so on.     

Sobolev space properties of superharmonic functions on metric spaces

Our objective is to study regularity of superharmonic functions of a nonlinear potential theory on metric measure spaces. In particular, we are interested in the local integrability properties of a superharmonic function and its derivative. We show that every superharmonic function has a weak upper gradient and provide sharp local integrability estimates. In addition, we study absolute continuity of a superharmonic function.     

Towards an L^p Potential Theory for Sub-Markovian Semigroups： Kernels and Capacities

We study in fairly general measure spaces （X,μ） the （non-linear） potential theory of L^p sub-Markovian semigroups which are given by kernels having a density with respect to the underlying measure. In terms of mapping properties of the operators we provide sufficient conditions for the existence （and regularity） of such densities. We give various （dual） representations for several associated capacities and, in the corresponding abstract Bessel potential spaces, we study the role of the truncation property. Examples are discussed in the case of R^n where abstract Bessel potential spaces can be identified with concrete function spaces.     

An FIO calculus for marine seismic imaging, II: Sobolev estimates

We establish sharp L ²-Sobolev estimates for classes of pseudodifferential operators with singular symbols [Guillemin and Uhlmann (Duke Math J 48:251–267, 1981), Melrose and Uhlmann (Commun Pure Appl Math 32:483–519, 1979)] whose non-pseudodifferential (Fourier integral operator) parts exhibit two-sided fold singularities. The operators considered include both singular integral operators along curves in \mathbb R²{\mathbb R^2} with simple inflection points and normal operators arising in linearized seismic imaging in the presence of fold caustics [Felea (Comm PDE 30:1717–1740, 2005), Felea and Greenleaf (Comm PDE 33:45–77, 2008), Nolan (SIAM J Appl Math 61:659–672, 2000)].     

Geodesic knots in closed hyperbolic 3-manifolds

We consider the existence of simple closed geodesics or “geodesic knots” in finite volume orientable hyperbolic 3-manifolds. Every such manifold contains at least one geodesic knot by results of Adams, Hass and Scott in (Adams et al. Bull. London Math. Soc. 31: 81–86, 1999). In (Kuhlmann Algebr. Geom. Topol. 6: 2151–2162, 2006) we showed that every cusped orientable hyperbolic 3-manifold in fact contains infinitely many geodesic knots. In this paper we consider the closed manifold case, and show that if a closed orientable hyperbolic 3-manifold satisfies certain geometric and arithmetic conditions, then it contains infinitely many geodesic knots. The conditions on the manifold can be checked computationally, and have been verified for many manifolds in the Hodgson-Weeks census of closed hyperbolic 3-manifolds. Our proof is constructive, and the infinite family of geodesic knots spiral around a short simple closed geodesic in the manifold.      

Admissibility of Control Operators in UMD Spaces and the Inverse Laplace Transform

This paper investigates the admissibility of control and observation operators in UMD spaces. Necessary and/or sufficient conditions for unbounded control operators to be admissible and weakly admissible in the Salamon–Weiss sense are presented. This is illustrated by an example which shows that the UMD-property is essential. In particular, we get a direct proof of the known result of Driouich and and El-Mennaoui (Arch Math 72:56–63, 1999) on the validity of the inverse formula of the Laplace transform for C ₀-semigroups on UMD-spaces and in Hilbert spaces, as proved earlier by Yao (SIAM J Math Anal 26(5):1331–1341, 1995). We outline how these results can be used to prove a partial validity of the inverse Laplace transform for semigroups in general Banach spaces. In particular, we obtain the result on the inverse Laplace transform due to Hille and Philllips (Am Math Soc Transl Ser 2, 1957).     

Weyl connections and the local sphere theorem for quaternionic contact structures

We apply the theory of Weyl structures for parabolic geometries developed by Čap and Slovák (Math Scand 93(1):53–90, 2003) to compute, for a quaternionic contact (qc) structure, the Weyl connection associated to a choice of scale, i.e. to a choice of Carnot–Carathéodory metric in the conformal class. The result of this computation has applications to the study of the conformal Fefferman space of a qc manifold, cf. (Geom Appl 28(4):376–394, 2010). In addition to this application, we are also able to easily compute a tensorial formula for the qc analog of the Weyl curvature tensor in conformal geometry and the Chern–Moser tensor in CR geometry. This tensor was first discovered via different methods by Ivanov and Vasillev (J Math Pures Appl 93:277–307, 2010), and we also get an independent proof of their Local Sphere Theorem. However, as a result of our derivation of this tensor, its fundamental properties—conformal covariance, and that its vanishing is a sharp obstruction to local flatness of the qc structure—follow as easy corollaries from the general parabolic theory.     

Regularity Results for the Spherically Symmetric Einstein–Vlasov System

The spherically symmetric Einstein–Vlasov system is considered in Schwarzschild coordinates and in maximal-isotropic coordinates. An open problem is the issue of global existence for initial data without size restrictions. The main purpose of the present work is to propose a method of approach for general initial data, which improves the regularity of the terms that need to be estimated compared to previous methods. We prove that global existence holds outside the center in both these coordinate systems. In the Schwarzschild case we improve the bound on the momentum support obtained in Rein et al. (Commun Math Phys 168:467–478, 1995) for compact initial data. The improvement implies that we can admit non-compact data with both ingoing and outgoing matter. This extends one of the results in Andréasson and Rein (Math Proc Camb Phil Soc 149:173–188, 2010). In particular our method avoids the difficult task of treating the pointwise matter terms. Furthermore, we show that singularities never form in Schwarzschild time for ingoing matter as long as 3m ≤ r. This removes an additional assumption made in Andréasson (Indiana Univ Math J 56:523–552, 2007). Our result in maximal-isotropic coordinates is analogous to the result in Rendall (Banach Center Publ 41:35–68, 1997), but our method is different and it improves the regularity of the terms that need to be estimated for proving global existence in general.     

Strong relaxation limit of multi-dimensional isentropic Euler equations

This paper is devoted to study the strong relaxation limit of multi-dimensional isentropic Euler equations with relaxation. Motivated by the Maxwell iteration, we generalize the analysis of Yong (SIAM J Appl Math 64:1737–1748, 2004) and show that, as the relaxation time tends to zero, the density of a certain scaled isentropic Euler equations with relaxation strongly converges towards the smooth solution to the porous medium equation in the framework of Besov spaces with relatively lower regularity. The main analysis tool used is the Littlewood–Paley decomposition.     

Error estimates for abstract linear–quadratic optimal control problems using proper orthogonal decomposition

In this paper we investigate POD discretizations of abstract linear–quadratic optimal control problems with control constraints. We apply the discrete technique developed by Hinze (Comput. Optim. Appl. 30:45–61, 2005) and prove error estimates for the corresponding discrete controls, where we combine error estimates for the state and the adjoint system from Kunisch and Volkwein (Numer. Math. 90:117–148, 2001; SIAM J. Numer. Anal. 40:492–515, 2002). Finally, we present numerical examples that illustrate the theoretical results.     

A Little More on Coz-Unique Frames

Coz-unique frames were defined and characterized by Banaschewski and Gilmour (J Pure Appl Algebra 157:1–22, 2001). In this note we give further characterizations of these frames along the lines of characterizations of absolutely z-embedded spaces obtained by Blair and Hager (Math Z 136:41–52, 1974) on the one hand, and by Hager and Johnson (Canad J Math 20:389–393, 1968) on the other. We also extend to frames certain characterizations of z-embedded spaces; namely, we give a characterization of coz-onto frame homomorphisms in terms of normal covers.      

Perturbation bounds for polynomials

Using two different elementary approaches we derive a global and a local perturbation theorem on polynomial zeros that significantly improve the results of Ostrowski (Acta Math 72:99–257, 1940), Elsner et al. (Linear Algebra Appl 142:195–209, 1990). A comparison of different perturbation bounds shows that our results are better in many cases than the similar local result of Beauzamy (Can Math Bull 42(1):3–12, 1999). Using the matrix theoretical approach we also improve the backward stability result of Edelman and Murakami (Proceedings of the Fifth SIAM Conference on Applied Linear Algebra, SIAM, Philapdelphia, 1994; Math Comput 64:210–763, 1995).     

Finite element error estimates for 3D exterior incompressible flow with nonzero velocity at infinity

We consider a stationary incompressible Navier–Stokes flow in a 3D exterior domain, with nonzero velocity at infinity. In order to approximate this flow, we use the stabilized P1–P1 finite element method proposed by Rebollo (Numer Math 79:283–319, 1998). Following an approach by Guirguis and Gunzburger (Model Math Anal Numer 21:445–464, 1987), we apply this method to the Navier–Stokes system with Oseen term in a truncated exterior domain, under a pointwise boundary condition on the artificial boundary. This leads to a discrete problem whose solution approximates the exterior flow, as is shown by error estimates.     

Gradient regularity for elliptic equations in the Heisenberg group

We give dimension-free regularity conditions for a class of possibly degenerate sub-elliptic equations in the Heisenberg group exhibiting super-quadratic growth in the horizontal gradient; this solves an issue raised in [J.J. Manfredi, G. Mingione, Regularity results for quasilinear elliptic equations in the Heisenberg group, Math. Ann. 339 (2007) 485-544], where only dimension dependent bounds for the growth exponent are given. We also obtain explicit a priori local regularity estimates, and cover the case of the horizontal p-Laplacean operator, extending some regularity proven in [A. Domokos, J.J. Manfredi, C1,α-regularity for p-harmonic functions in the Heisenberg group for p near 2, in: Contemp. Math., vol. 370, 2005, pp. 17-23]. In turn, using some recent techniques of Caffarelli and Peral [L. Caffarelli, I. Peral, On W1,p estimates for elliptic equations in divergence form, Comm. Pure Appl. Math. 51 (1998) 1-21], the a priori estimates found are shown to imply the suitable local Calderón-Zygmund theory for the related class of non-homogeneous, possibly degenerate equations involving discontinuous coefficients. These last results extend to the sub-elliptic setting a few classical non-linear Euclidean results [T. Iwaniec, Projections onto gradient fields and Lp-estimates for degenerated elliptic operators, Studia Math. 75 (1983) 293-312; E. DiBenedetto, J.J. Manfredi, On the higher integrability of the gradient of weak solutions of certain degenerate elliptic systems, Amer. J. Math. 115 (1993) 1107-1134], and to the non-linear case estimates of the same nature that were available in the sub-elliptic setting only for solutions to linear equations.     

Continuity with respect to initial data and absolute-continuity approach to the first-order regularity of nonlinear diffusions on noncompact manifolds

We study the dependence on initial data for solutions of diffusion equations with globally non-Lipschitz coefficients on noncompact manifolds. Though the metric distance may not be everywhere twice differentiable, we show that, under certain monotonicity conditions on the coefficients and curvature of the manifold, there are estimates exponential in time for the continuity of a diffusion process with respect to initial data. These estimates are combined with methods of the theory of absolutely continuous functions to achieve the first-order regularity of solutions with respect to initial data. The suggested approach neither appeals to the local stopping time arguments, nor applies the exponential mappings on the tangent space, nor uses imbeddings of a manifold to linear spaces of higher dimensions. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 10, pp. 1299–1316, October, 2008.     

Extending the applicability of the Gauss–Newton method under average Lipschitz–type conditions

We extend the applicability of the Gauss–Newton method for solving singular systems of equations under the notions of average Lipschitz–type conditions introduced recently in Li et al. (J Complex 26(3):268–295, 2010). Using our idea of recurrent functions, we provide a tighter local as well as semilocal convergence analysis for the Gauss–Newton method than in Li et al. (J Complex 26(3):268–295, 2010) who recently extended and improved earlier results (Hu et al. J Comput Appl Math 219:110–122, 2008; Li et al. Comput Math Appl 47:1057–1067, 2004; Wang Math Comput 68(255):169–186, 1999). We also note that our results are obtained under weaker or the same hypotheses as in Li et al. (J Complex 26(3):268–295, 2010). Applications to some special cases of Kantorovich–type conditions are also provided in this study.