Lp theory for the multidimensional aggregation equation

We consider well‐posedness of the aggregation equation ∂_tu + div(uv) = 0, v = −▿K * u with initial data in \input amssym ${\cal P}_2 {\rm (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ in dimensions 2 and higher. We consider radially symmetric kernels where the singularity at the origin is of order |x|^α, α > 2 − d, and prove local well‐posedness in \input amssym ${\cal P}_2 { (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ for sufficiently large p < p_s. In the special case of K(x) = |x|, the exponent p_s = d/(d = 1) is sharp for local well‐posedness in that solutions can instantaneously concentrate mass for initial data in \input amssym ${\cal P}_2 { (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ with p < p_s. We also give an Osgood condition on the potential K(x) that guarantees global existence and uniqueness in \input amssym ${\cal P}_2 { (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ . © 2010 Wiley Periodicals, Inc.     

Area‐minimizing projective planes in 3‐manifolds

Let (M,g) be a compact Riemannian manifold of dimension 3, and let ? denote the collection of all embedded surfaces homeomorphic to \input amssym ${\Bbb R}{ \Bbb P}^2$ . We study the infimum of the areas of all surfaces in ?. This quantity is related to the systole of (M,g). It makes sense whenever ? is nonempty. In this paper, we give an upper bound for this quantity in terms of the minimum of the scalar curvature of (M,g). Moreover, we show that equality holds if and only if (M,g) is isometric to \input amssym ${\Bbb R}{ \Bbb P}^3$ up to scaling. The proof uses the formula for the second variation of area and Hamilton's Ricci flow. © 2010 Wiley Periodicals, Inc.     

Periodic and solitary traveling wave solutions for the generalized Kadomtsev–Petviashvili equation

This paper is concerned with traveling waves for the generalized Kadomtsev–Petviashvili equation \input amssym.tex $(w_{t}+w_{\xi\xi\xi}+f(w)_{\xi})_{\xi}=w_{yy},(\xi,y)\in{\Bbb R}^{2}, t\in{\Bbb R}$ , i.e. solutions of the form . We study both, solutions periodic in and solitary waves, which are decaying in x, and their interrelations. In particular, we prove the existence of a sequence of k‐periodic solutions, \input amssym.def $k\in{\Bbb N}$ , which is uniformly bounded in norm and converges to a solitary wave in a suitable topology. This result also holds for the corresponding ground states, i.e. solutions with minimal energy. Copyright © 1999 John Wiley & Sons, Ltd.     

Large Deviations for Brownian Intersection Measures

We consider p independent Brownian motions in \input amssym ${\Bbb R}^d$ . We assume that p ≥ 2 and p (d ? 2) < d. Let ?_t denote the intersection measure of the p paths by time t, i.e., the random measure on \input amssym ${\Bbb R}^d$ that assigns to any measurable set \input amssym $A \subset {\Bbb R}^d$ the amount of intersection local time of the motions spent in A by time t. Earlier results of X. Chen derived the logarithmic asymptotics of the upper tails of the total mass \input amssym $\ell _t \left({{\Bbb R}^d } \right)$ as t → ∞. In this paper, we derive a large‐deviation principle for the normalized intersection measure t^?p?_t on the set of positive measures on some open bounded set \input amssym $B \subset {\Bbb R}^d$ as t → ∞ before exiting B. The rate function is explicit and gives some rigorous meaning, in this asymptotic regime, to the understanding that the intersection measure is the pointwise product of the densities of the normalized occupation times measures of the p motions. Our proof makes the classical Donsker‐Varadhan principle for the latter applicable to the intersection measure. A second version of our principle is proved for the motions observed until the individual exit times from B, conditional on a large total mass in some compact set . This extends earlier studies on the intersection measure by König and Mörters. © 2012 Wiley Periodicals, Inc.     

About weak‐strong uniqueness for the 3D incompressible Navier‐Stokes system

This article studies the problem of L² stability and weak‐strong uniqueness of solutions of the incompressible Navier‐Stokes on the whole space \input amssym ${\Bbb S}^3$ constructed by Kato's approach in spaces coming from Littlewood‐Paley theory and using the L¹ smoothing effect for the heat flow. © 2011 Wiley Periodicals, Inc.     

A General Fractional Porous Medium Equation

We develop a theory of existence and uniqueness for the following porous medium equation with fractional diffusion: \input amssym $$\left\{ {\matrix{ {{{\partial u} \over {\partial t}} + \left( { ‐ \Delta } \right)^{\sigma /2} \left( {\left| u \right|^{m ‐ 1} u} \right) = 0,} \hfill & {x \in {\Bbb R} ^N ,\,\,t > 0,} \hfill \cr {u\left( {x,0} \right) = f\left( x \right),} \hfill & {x \in {\Bbb R} ^N .} \hfill \cr } } \right.$$ We consider data \input amssym $f\in L^1(\Bbb{R}^N)$ and all exponents $0<\sigma<2\;and\;m>0$ . Existence and uniqueness of a strong solution is established for $ m > {m_\ast}={(N-\sigma)_+}/N$ , giving rise to an L¹‐contraction semigroup. In addition, we obtain the main qualitative properties of these solutions. In the lower range ${0 < m} \le {m_\ast}$ existence and uniqueness happen under some restrictions, and the properties of the solutions are different from the ones for the case above m_*. We also study the dependence of solutions on f, m, and σ. Moreover, we consider the above questions for the problem posed in a bounded domain. © 2012 Wiley Periodicals, Inc.     

Fundamental solutions of homogeneous fully nonlinear elliptic equations

We prove the existence of two fundamental solutions Φ and of the PDE \input amssym $F(D^2\Phi) = 0 \quad {\rm in} \ {\Bbb{R}}^n \setminus \{ 0 \}$ for any positively homogeneous, uniformly elliptic operator F. Corresponding to F are two unique scaling exponents α*, > −1 that describe the homogeneity of Φ and . We give a sharp characterization of the isolated singularities and the behavior at infinity of a solution of the equation F(D²u) = 0, which is bounded on one side. A Liouville‐type result demonstrates that the two fundamental solutions are the unique nontrivial solutions of F(D²u) = 0 in \input amssym ${\Bbb{R}}^n \setminus \{ 0 \}$ that are bounded on one side in both a neighborhood of the origin as well as at infinity. Finally, we show that the sign of each scaling exponent is related to the recurrence or transience of a stochastic process for a two‐player differential game. © 2010 Wiley Periodicals, Inc.     

On the fragmentation of a torus by random walk

We consider a simple random walk on a discrete torus \input amssym $({\Bbb Z}/N{\Bbb Z})^d$ with dimension d ≥ 3 and large side length N. For a fixed constant u ≥ 0, we study the percolative properties of the vacant set, consisting of the set of vertices not visited by the random walk in its first [uN^d] steps. We prove the existence of two distinct phases of the vacant set in the following sense: If u > 0 is chosen large enough, all components of the vacant set contain no more than (log N)^λ(u) vertices with high probability as N tends to infinity. On the other hand, for small u > 0, there exists a macroscopic component of the vacant set occupying a nondegenerate fraction of the total volume N^d. In dimensions d ≥ 5, we additionally prove that this macroscopic component is unique by showing that all other components have volumes of order at most (log N)^λ(u). Our results thus solve open problems posed by Benjamini and Sznitman, who studied the small u regime in high dimension. The proofs are based on a coupling of the random walk with random interlacements on \input amssym ${\Bbb Z}^d$ . Among other techniques, the construction of this coupling employs a refined use of discrete potential theory. By itself, this coupling strengthens a result by Windisch. © 2011 Wiley Periodicals, Inc.     

Partial regularity for a minimum problem with free boundary

Regularity of the free boundary ?{u > 0} of a non-negative minimum u of the functional $\upsilon \mapsto \int\limits_\Omega {\left( {\left| {\nabla \upsilon } \right|^2 + Q^2 \chi _{\left\{ {\upsilon > 0} \right\}} } \right)} $ , where Ω is an open set in ?ⁿ and Q is a strictly positive Hölder-continuous function, is still an open problem for n ≥ 3. By means of a new monotonicity formula we prove that the existence of singularities is equivalent to the existence of an absolute minimum u* such that the graph of u* is a cone with vertex at 0, the free boundary ?{u* > 0} has one and only one singularity, and the set {u* > 0} minimizes the perimeter among all its subsets. This leads to the following partial regularity: there is a maximal dimension k* ≥ 3 such that for n < k* the free boundary ?{u > 0} is locally in Ω a C^1,α-surface, for n = k* the singular set Σ:= ?{u > 0} ? ?_red{u > 0} consists at most of in Ω isolated points, and for n > k* the Hausdorff dimension of the singular set Σ is less than n - k*.     

Constant angle surfaces in \Bbb S2×\Bbb R {\Bbb S}^2\times {\Bbb R}

In this article we study surfaces in \Bbb S²×\Bbb R {\Bbb S}^2\times {\Bbb R} for which the unit normal makes a constant angle with the \Bbb R {\Bbb R} -direction. We give a complete classification for surfaces satisfying this simple geometric condition.     

Global mild solutions of Navier‐Stokes equations

We establish a global well‐posedness of mild solutions to the three‐dimensional, incompressible Navier‐Stokes equations if the initial data are in the space ${\cal{X}}^{-1}$ defined by \input amssym ${\cal{X}}^{‐1} = \{f \in {\cal{D}}^\prime(R^3): \int_{{\Bbb{R}}^3}|\xi|^{‐1}|\widehat{f}|d\xi < \infty\}$ and if the norms of the initial data in ${\cal{X}}^{-1}$ are bounded exactly by the viscosity coefficient μ. © 2010 Wiley Periodicals, Inc.     

Thin equivalence relations in scaled pointclasses

For ordinals α beginning a Σ₁ gap in $\mathrm{L}(\mathbb {R})$, where $\Sigma _{1}^{\mathrm{J}_{\alpha }(\mathbb {R})}$ is closed under number quantification, we give an inner model‐theoretic proof that every thin $\Sigma _{1}^{\mathrm{J}_{\alpha }(\mathbb {R})}$ equivalence relation is $\Delta _{1}^{\mathrm{J}_{\alpha }(\mathbb {R})}$ in a real parameter from the (optimal) hypothesis $\mathsf {AD}^{\mathrm{J}_{\alpha }(\mathbb {R})}$.     

Holomorphic Curves on Hyperplane Sections of 3-Folds

In this paper we prove a conjectured height inequality of Lang and Vojta for holomorphic curves lying on generic hyperplane sections of 3-folds. As a consequence we deduce a conjecture of Kobayashi that a generic hypersurface in \Bbb P³_{\Bbb C} {\Bbb P}^3_{\Bbb C} of sufficiently high degree is hyperbolic.     

Traveling Waves with Multiple and Nonconvex Fronts for a Bistable Semilinear Parabolic Equation

We construct new examples of traveling wave solutions to the bistable and balanced semilinear parabolic equation in \input amssym ${\Bbb R}^N+1$ , $N\geq 2$ . Our first example is that of a traveling wave solution with two non planar fronts that move with the same speed. Our second example is a traveling wave solution with a nonconvex moving front. To our knowledge no existence results of traveling fronts with these type of geometric characteristics have been previously known. Our approach explores a connection between solutions of the semilinear parabolic PDE and eternal solutions to the mean curvature flow in \input amssym ${\Bbb R}^N+1$ .     

A lower bound on the energy of travelling waves of fixed speed for the Gross-Pitaevskii equation

In this paper we consider the Gross-Pitaevskii equation iu _t = Δu + u(1 − |u|²), where u is a complex-valued function defined on , N ≥ 2, and in particular the travelling waves, i.e., the solutions of the form u(x, t) = ν(x ₁ − ct, x ₂, …, x _N ), where is the speed. We prove for c fixed the existence of a lower bound on the energy of any non-constant travelling wave. This bound provides a non-existence result for non-constant travelling waves of fixed speed having small energy.     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let t: D ?D￠\tau: {\cal D} \rightarrow{\cal D}^\prime be an equivariant holomorphic map of symmetric domains associated to a homomorphism r: \Bbb G ?\Bbb G￠{\bf\rho}: {\Bbb G} \rightarrow{\Bbb G}^\prime of semisimple algebraic groups defined over \Bbb Q{\Bbb Q} . If G ì \Bbb G (\Bbb Q)\Gamma\subset {\Bbb G} ({\Bbb Q}) and G￠ ì \Bbb G￠(\Bbb Q)\Gamma^\prime \subset {\Bbb G}^\prime ({\Bbb Q}) are torsion-free arithmetic subgroups with r (G) ì G￠{\bf\rho} (\Gamma) \subset \Gamma^\prime , the map G\D ?G￠\D￠\Gamma\backslash {\cal D} \rightarrow\Gamma^\prime \backslash {\cal D}^\prime of arithmetic varieties and the rationality of D{\cal D} and D￠{\cal D}^\prime as well as the commensurability groups of s ? Aut (\Bbb C)\sigma \in {\rm Aut} ({\Bbb C}) determines a conjugate equivariant holomorphic map t^s: D^s ?D^￠s\tau^\sigma: {\cal D}^\sigma \rightarrow{\cal D}^{\prime\sigma} of f^s: (G\D)^s ?(G￠\D￠)^s\phi^\sigma: (\Gamma\backslash {\cal D})^\sigma \rightarrow(\Gamma^\prime \backslash {\cal D}^\prime)^\sigma of . We prove that is rational if is rational.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

A lower bound on the energy of travelling waves of fixed speed for the Gross-Pitaevskii equation

In this paper we consider the Gross-Pitaevskii equation iu _t = Δu + u(1 − |u|²), where u is a complex-valued function defined on \Bbb R^N×\Bbb R{\Bbb R}^N\times{\Bbb R} , N ≥ 2, and in particular the travelling waves, i.e., the solutions of the form u(x, t) = ν(x ₁ − ct, x ₂, …, x _N ), where c ? \Bbb Rc\in{\Bbb R} is the speed. We prove for c fixed the existence of a lower bound on the energy of any non-constant travelling wave. This bound provides a non-existence result for non-constant travelling waves of fixed speed having small energy.     

Regularity in a Singular Biharmonic Dirichlet Problem

We consider the singular biharmonic equation with Dirichlet boundary conditions u = f₀ and ∂_nu = f₁ on . In our setup the boundary values f_j (j = 0,1) are elements in two homogeneous Banach spaces B_j (j = 0,1) on . We give a sufficient condition on the spaces B_j (j = 0,1) to ensure that the solution u of this Dirichlet problem has the appropriate boundary values f_j (j = 0,1) in the sense of convergence in spaces B_j (j = 0,1). Our results also apply in the unweighted case.