As V. I. Arnold observed in the 1960s, the Euler equations of incompressible fluid flow correspond formally to geodesic equations in a group of volume-preserving diffeomorphisms. Working in an Eulerian framework, we study incompressible flows of shapes as critical paths for action (kinetic energy) along transport paths constrained to be shape densities (characteristic functions). The formal geodesic equations for this problem are Euler equations for incompressible, inviscid potential flow of fluid with zero pressure and surface tension on the free boundary. The problem of minimizing this action exhibits an instability associated with microdroplet formation, with the following outcomes: Any two shapes of equal volume can be approximately connected by an Euler spray---a countable superposition of ellipsoidal geodesics. The infimum of the action is the Wasserstein distance squared, and is almost never attained except in dimension 1. Every Wasserstein geodesic between bounded densities of compact support provides a solution of the (compressible) pressureless Euler system that is a weak limit of (incompressible) Euler sprays. Each such Wasserstein geodesic is also the unique minimizer of a relaxed least-action principle for a two-fluid mixture theory corresponding to incompressible fluid mixed with vacuum.

The main result of this paper, Theorem 1.5, gives explicit formulae for the kernels of the ergodic decomposition measures for infinite Pickrell measures on the space of infinite complex matrices. The kernels are obtained as the scaling limits of Christoffel-Uvarov deformations of Jacobi orthogonal polynomial ensembles.

No abstract uploaded!

We address the topology of the set of singularities of a solution of a Hamilton-Jacobi equation. For this we will apply the idea of the first two authors (Generalized characteristic and Lax-Oleinik operators: global result, preprint, arXiv:1605.07581, 2016.) to use the positive Lax-Oleinik semi-group to propagate singularities. {\it To cite this article: P. Cannarsa, W. Cheng, A. Fathi, C. R. Acad. Sci. Paris, Ser. I 340 (2005).

We present a simple proof on the formation of flocking in the F. Cucker and S. Smale system [Jpn. J. Math. (3) 2, No. 1, 197–227 (2007; Zbl 1166.92323)] based on the explicit construction of a Lyapunov functional. Our results also provide a unified condition on the initial states in which the exponential convergence to the flocking state will occur. For large particle systems, we give a rigorous justification for the mean-field limit from the many particle Cucker-Smale system to the Vlasov equation with flocking dissipation as the number of particles goes to infinity.

The immersed boundary method is one of the most useful computational methods in studying fluid structure interaction. On the other hand, the Immersed Boundary method is also known to require small time steps to maintain stability when solved with an explicit method. Many implicit or approximately implicit methods have been proposed in the literature to remove this severe time step stability constraint, but none of them give satisfactory performance. In this paper, we propose an efficient semi-implicit scheme to remove this stiffness from the immersed boundary method for the Navier–Stokes equations. The construction of our semi-implicit scheme consists of two steps. First, we obtain a semiimplicit discretization which is proved to be unconditionally stable. This unconditionally stable semi-implicit scheme is still quite expensive to implement in practice. Next, we apply the small scale decomposition to the unconditionally stable semi-implicit scheme to construct our efficient semi-implicit scheme. Unlike other implicit or semi-implicit schemes proposed in the literature, our semi-implicit scheme can be solved explicitly in the spectral space. Thus the computational cost of our semi-implicit schemes is comparable to that of an explicit scheme. Our extensive numerical experiments show that our semiimplicit scheme has much better stability property than an explicit scheme. This offers a substantial computational saving in using the immersed boundary method.

We study an asymptotic estimate on the number of negative eigenvalues of the Schr\"odinger operators on unbounded fractal spaces which admit a cellular decomposition. We first give some sufficient conditions for Weyl-type asymptotic formula to hold. Second, we verify these conditions for the infinite blowup of Sierpi\'nski gasket and unbounded generalized Sierpi\'nski carpets. Final, we demonstrate how the result can be applied to the infinite blowup of certain fractals associated with iterated function systems with overlaps, including those defining the classical infinite Bernoulli convolution with golden ratio.

We study the effective fronts of first order front propagations in two dimensions (n=2) in the periodic setting. Using PDE-based approaches, we show that for every α∈(0,1), the class of centrally symmetric polygons with rational vertices and nonempty interior is admissible as effective fronts for given front speeds in C^{1,α}(T^2,(0,∞)). This result can also be formulated in the language of stable norms corresponding to periodic metrics in T^2. Similar results were known long time ago when n≥3 for front speeds in C^∞(T^n,(0,∞)). Due to topological restrictions, the two dimensional case is much more subtle. In fact, the effective front is C^1, which cannot be a polygon, for given C^{1,1}(T^2,(0,∞)) front speeds. Our regularity requirements on front speeds are hence optimal. To the best of our knowledge, this is the first time that polygonal effective fronts have been constructed in two dimensions.

We study the periodic homogenization of first order front propagations. Based on PDE methods, we provide a simple proof that, for n ≥ 3, the class of centrally symmetric polytopes with rational coordinates and nonempty interior is admissible as effective fronts, which was also established by I. Babenko and F. Balacheff [Sur la forme de la boule unit\'e de la norme stable unidimensionnelle, Manuscripta Math. 119 (2006) 347--358] and M. Jotz [Hedlund metrics and the stable norm, Diff. Geometry Appl. 27 (2009) 543--550] in the form of stable norms as an extension of G. A. Hedlund's classical result [Geodesics on a two-dimensional Riemannian manifold with periodic coefficients, Ann. Math. 33 (1932) 719--739]. Besides, we obtain the optimal convergence rate of the homogenization problem for this class.

In connection with the recent proposal for possible singularity formation at the boundary for solutions of three-dimensional axisymmetric incompressible Euler’s equations (Luo and Hou, Proc. Natl. Acad. Sci. USA (2014)), we study models for the dynamics at the boundary and show that they exhibit a finite-time blowup from smooth data.

Let G=(V,E) be a finite weighted graph, and Ω⊆V be a domain such that Ω^∘≠∅. In this paper, we study the following initial boundary problem for the non-homogenous wave equation ∂^2_t u(t,x) − Δ_Ω u(t,x) = f(t,x), (t,x)∈[0,∞)×Ω^∘ u(0,x)=g(x), x∈Ω^∘, ∂_t u(0,x)=h(x), x∈Ω^∘, u(t,x)=0, (t,x)∈[0,∞)×∂Ω, where Δ_Ω denotes the Dirichlet Laplacian on Ω^∘. Using Rothe's method, we prove that the above wave equation has a unique solution.

No abstract uploaded!

No abstract uploaded!

We study the averaging of fronts moving with positive oscillatory normal velocity, which is periodic in space and stationary ergodic in time. The problem can be formulated as the homogenization of coercive level set Hamilton-Jacobi equations with spatio-temporal oscillations. To overcome the difficulties due to the oscillations in time and the linear growth of the Hamiltonian, we first study the long time averaged behavior of the associated reachable sets using geometric arguments. The results are new for higher than one dimensions even in the space-time periodic setting.

No abstract uploaded!

We study the averaged behavior of interfaces moving with oscillatory normal velocity that is periodic in time and stationary ergodic in space. This problem can be interpreted as a homogenization problem of a Hamilton-Jacobi equation with a positively homogeneous and time dependent Hamiltonian. In an earlier work, we studied the setting when the environment is periodic in space and random in time, and established homogenization results through the averaging of reachable sets. In the present setting, we show that the minimal travel time between two spatial points, which now depends also on a starting time, has a deterministic averaging limit that is independent of the starting time. This averaged travel time function is then shown to determine the effective behavior of the moving interfaces.

We consider reflector imaging in a weakly random waveguide. We address the situation in which the source is farther from the reflector to be imaged than the energy equipartition distance, but the receiver array is closer to the reflector to be imaged than the energy equipartition distance. As a consequence, the reflector is illuminated by a partially coherent field and the signals recorded by the receiver array are noisy. This paper shows that migration of the recorded signals cannot give a good image, but an appropriate migration of the cross correlations of the recorded signals can give a very good image. The resolution and stability analysis of this original functional shows that the reflector can be localized with an accuracy of the order of the wavelength even when the receiver array has small aperture, and that broadband sources are necessary to ensure statistical stability, whatever the aperture of the array.

We prove a Harnack inequality for positive harmonic functions on graphs which is similar to a classical result of Yau on Riemannian manifolds. Also, we prove a mean value inequality of nonnegative subharmonic functions on graphs.

We establish mean curvature estimate for immersed hypersurface with nonnegative extrinsic scalar curvature in Riemannian manifold $(N^{n+1}, \bar g)$ through regularity study of a degenerate fully nonlinear curvature equation in general Riemannian manifold. The estimate has a direct consequence for the Weyl isometric embedding problem of $(\mathbb S^2, g)$ in $3$-dimensional warped product space $(N^3, \bar g)$. We also discuss isometric embedding problem in spaces with horizon in general relativity, like the Anti-de Sitter-Schwarzschild manifolds and the Reissner-Nordstr\"om manifolds.

A two species interacting system motivated by the density functional theory for triblock copolymers contains long range interaction that affects the two species differently. In a two species periodic assembly of discs, the two species appear alternately on a lattice. The minimal two species periodic assembly is the one with the least energy per lattice cell area. There is a parameter $b$ in $[0,1]$ and the type of the lattice associated with the minimal assembly varies depending on $b$. There are several threshold defined by a number $B=0.1867...$ If $b \in [0, B)$, the minimal assembly is associated with a rectangular lattice whose ratio of the longer side and the shorter side is in $[\sqrt{3}, 1)$; if $b \in [B, 1-B]$, the minimal assembly is associated with a square lattice; if $b \in (1-B, 1]$, the minimal assembly is associated with a rhombic lattice with an acute angle in $[\frac{\pi}{3}, \frac{\pi}{2})$. Only when $b=1$, this rhombic lattice is the hexagonal lattice. None of the other values of $b$ yields the hexagonal lattice, a sharp contrast to the situation for one species interacting systems, where the hexagonal lattice is ubiquitously observed.

We study the stability of traveling waves of the nonlinear Schrödinger equation with nonzero condition at infinity obtained via a constrained variational approach. Two important physical models for this are the Gross–Pitaevskii (GP) equation and the cubic-quintic equation. First, under a non-degeneracy condition we prove a sharp instability criterion for 3D traveling waves of (GP), which had been conjectured in the physical literature. This result is also extended for general nonlinearity and higher dimensions, including 4D (GP) and 3D cubic-quintic equations. Second, for cubic-quintic type nonlinearity, we construct slow traveling waves and prove their nonlinear instability in any dimension. For dimension two, the non-degeneracy condition is also proved for these slow traveling waves. For general traveling waves without vortices (that is nonvanishing) and with general nonlinearity in any dimension, we find a sharp condition for linear instability. Third, we prove that any 2D traveling wave of (GP) is transversally unstable, and we find the sharp interval of unstable transversal wave numbers. Near unstable traveling waves of all of the above cases, we construct unstable and stable invariant manifolds.

No abstract uploaded!

Let G=(V,E) be a locally finite graph. Firstly, using calculus of variations, including a direct method of variation and the mountain-pass theory, we get sequences of solutions to several local equations on G (the Schrödinger equation, the mean field equation, and the Yamabe equation). Secondly, we derive uniform estimates for those local solution sequences. Finally, we obtain global solutions by extracting convergent sequence of solutions. Our method can be described as a variational method from local to global.

We show that the classical Cauchy problem for the incompressible 3d Navier-Stokes equations with (−1)-homogeneous initial data has a global scale-invariant solution which is smooth for positive times. Our main tech- nical tools are local-in-space regularity estimates near the initial time, which are of independent interest.

In this article, we continue the work in Guan-Li and study a normalized hypersurface flow in the more general ambient setting of warped product spaces. This flow preserves the volume of the bounded domain enclosed by a graphical hypersurface, and monotonically decreases the hypersurface area. As an application, the isoperimetric problem in warped product spaces is solved for such domains.