Geometric second derivative estimates in Carnot groups and convexity

We prove some new a priori estimates for H ₂-convex functions which are zero on the boundary of a bounded smooth domain Ω in a Carnot group . Such estimates are global and are geometric in nature as they involve the horizontal mean curvature of ∂Ω. As a consequence of our bounds we show that if has step two, then for any smooth H ₂-convex function in vanishing on ∂Ω one has

$${\mathcal{R}}$$ -boundedness,pseudodifferential operators,and maximal regularity for some classes of partial differential operators

It is shown that an elliptic scattering operator A on a compact manifold with boundary with operator valued coefficients in the morphisms of a bundle of Banach spaces of class () and Pisier’s property (α) has maximal regularity (up to a spectral shift), provided that the spectrum of the principal symbol of A on the scattering cotangent bundle avoids the right half-plane. This is accomplished by representing the resolvent in terms of pseudodifferential operators with -bounded symbols, yielding by an iteration argument the -boundedness of λ(A−λ)⁻¹ in for some . To this end, elements of a symbolic and operator calculus of pseudodifferential operators with -bounded symbols are introduced. The significance of this method for proving maximal regularity results for partial differential operators is underscored by considering also a more elementary situation of anisotropic elliptic operators on with operator valued coefficients.     

On deformations of maps and curve singularities

We study several deformation functors associated to the normalization of a reduced curve singularity . The main new results are explicit formulas, in terms of classical invariants of (X, 0), for the cotangent cohomology groups T ⁱ , i  =  0,1,2, of these functors. Thus we obtain precise statements about smoothness and dimension of the corresponding local moduli spaces. We apply the results to obtain explicit formulas, respectively, estimates for the -codimension of a parametrized curve singularity, where denotes the Mather–Wall group of left-right equivalence.     

Semilinear subelliptic problems with critical growth on Carnot groups

We prove existence and multiplicity of solutions for the semilinear subelliptic problem with critical growth in Ω, u = 0 on ∂Ω, where is a sublaplacian on a Carnot group , 2* = 2Q/(Q − 2) is the critical Sobolev exponent for and Ω is a bounded domain of .     

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

Partitions of large Rado graphs

Let κ be a cardinal which is measurable after generically adding many Cohen subsets to κ and let be the κ-Rado graph. We prove, for 2 ≤ m < ω, that there is a finite value such that the set [κ] ^m can be partitioned into classes such that for any coloring of any of the classes C _i in fewer than κ colors, there is a copy of in such that is monochromatic. It follows that , that is, for any coloring of with fewer than κ colors there is a copy of such that has at most colors. On the other hand, we show that there are colorings of such that if is any copy of then for all , and hence . We characterize as the cardinality of a certain finite set of types and obtain an upper and a lower bound on its value. In particular, and for m > 2 we have where r _m is the corresponding number of types for the countable Rado graph. Research of M. Džamonja and J. A. Larson were partially supported by Engineering and Physical Sciences Research Council and research of W. J. Mitchell was partly supported by grant number DMS 0400954 from the United States National Science Foundation.     

On pointed Hopf algebras associated with the symmetric groups

Let G be the symmetric group . It is an important open problem whether the dimension of the Nichols algebra is finite when is the class of the transpositions and ρ is the sign representation, with m ≥ 6. In the present paper, we discard most of the other conjugacy classes showing that very few pairs might give rise to finite-dimensional Nichols algebras. This work was partially supported by CONICET, ANPCyT and Secyt (UNC).     

Compactness of sequences of two-dimensional energies with a zero-order term. Application to three-dimensional nonlocal effects

In this paper we study the limit, in the sense of the Γ-convergence, of sequences of two-dimensional energies of the type , where A _n is a symmetric positive definite matrix-valued function and μ _n is a nonnegative Borel measure (which can take infinite values on compact sets). Under the sole equicoerciveness of A _n we prove that the limit energy belongs to the same class, i.e. its reads as , where is a diffusion independent of μ _n and μ is a nonnegative Borel measure which does depend on . This compactness result extends in dimension two the ones of [11,23] in which A _n is assumed to be uniformly bounded. It is also based on the compactness result of [7] obtained for sequences of two-dimensional diffusions (without zero-order term). Our result does not hold in dimension three or greater, since nonlocal effects may appear. However, restricting ourselves to three-dimensional diffusions with matrix-valued functions only depending on two coordinates, the previous two-dimensional result provides a new approach of the nonlocal effects. So, in the periodic case we obtain an explicit formula for the limit energy specifying the kernel of the nonlocal term.     

Sign-changing stationary solutions and blowup for the nonlinear heat equation in a ball

In this paper, we prove that if is a radially symmetric, sign-changing stationary solution of the nonlinear heat equation

On the Structure of Solutions of the Moisil-Théodoresco System in Euclidean Space

Let be open, let be the Dirac operator in and let be the Clifford algebra constructed over the quadratic space . If for fixed, denotes the space of r-vectors in , then an -valued smooth function W = W ^r  + W ^r+2 in Ω is said to satisfy the Moisil-Théodoresco system if . In terms of differential forms, this means that the corresponding - valued smooth form w = w ^r  + w ^r+2 satisfies in Ω the system d ^* w ^r = 0, dw ^r  + d ^* w ^r+2 = 0; dw ^r+2 = 0. Based on techniques and results concerning conjugate harmonic functions in the framework of Clifford analysis, a structure theorem is proved for the solutions of the Moisil-Théodoresco system.      

Closed geodesics on compact nilmanifolds with Chevalley rational structure

We study the distribution of closed geodesics on nilmanifolds Γ \ N arising from a 2-step nilpotent Lie algebra constructed from an irreducible representation of a compact semisimple Lie algebra on a real finite dimensional vector space U. We determine sufficient conditions on the semisimple Lie algebra for Γ \ N to have the density of closed geodesics property where Γ is a lattice arising from a Chevalley rational structure on .     

On the Multiplicity of Nodal Solutions to a Singularly Perturbed Neumann Problem

We consider the problem

Optimal initial value conditions for the existence of local strong solutions of the Navier–Stokes equations

Consider the instationary Navier–Stokes system in a smooth bounded domain with vanishing force and initial value . Since the work of Kiselev and Ladyzhenskaya (Am. Math. Soc. Transl. Ser. 2 24:79–106, 1963) there have been found several conditions on u ₀ to prove the existence of a unique strong solution with u(0) = u ₀ in some time interval [0, T), 0 < T ≤ ∞, where the exponents 2 < s < ∞, 3 < q < ∞ satisfy . Indeed, such conditions could be weakened step by step, thus enlarging the corresponding solution classes. Our aim is to prove the following optimal result with the weakest possible initial value condition and the largest possible solution class: Given u ₀, q, s as above and the Stokes operator A ₂, we prove that the condition is necessary and sufficient for the existence of such a local strong solution u. The proof rests on arguments from the recently developed theory of very weak solutions.     

On $${\mathcal{F}}$$ -supplemented subgroups of finite groups

Let G be a finite group and a formation of finite groups. We say that a subgroup H of G is -supplemented in G if there exists a subgroup T of G such that G = TH and is contained in the -hypercenter of G/H _G . In this paper, we use -supplemented subgroups to study the structure of finite groups. A series of previously known results are unified and generalized. Research of the author is supported by a NNSF grant of China (Grant #10771180).     

Weighted Hardy inequalities and the size of the boundary

We establish necessary and sufficient conditions for a domain to admit the (p, β)-Hardy inequality , where d(x) = dist(x, ∂Ω) and . Our necessary conditions show that a certain dichotomy holds, even locally, for the dimension of the complement Ω ^c when Ω admits a Hardy inequality, whereas our sufficient conditions can be applied in numerous situations where at least a part of the boundary ∂Ω is “thin”, contrary to previously known conditions where ∂Ω or Ω ^c was always assumed to be “thick” in a uniform way. There is also a nice interplay between these different conditions that we try to point out by giving various examples. The author was supported in part by the Academy of Finland.     

On Separation of Points from Additive Subgroups of Banach Spaces by Continuous Characters and Positive Definite Functions

Let G be an additive subgroup of a normed space X. We say that a point is weakly separated (resp. -separated) from G if it can be separated from G by a continuous character (resp. by a continuous positive definite function). Let T : X → Y be a continuous linear operator. Consider the following conditions: (ws) if , then x is weakly separated from G; (ps) if , then x is -separated from G; (wp) if Tx is -separated from T(G), then x is weakly separated from G. By (resp. , ) we denote the class of operators T : X → Y which satisfy (ws) (resp. (ps), (wp)) for all and all subgroups G of X. The paper is an attempt to describe the above classes of operators for various Banach spaces X, Y. It is proved that if X, Y are Hilbert spaces, then is the class of Hilbert-Schmidt operators. It is also shown that if T is a Hilbert-to-Banach space operator with finite ℓ-norm, then .      

Continuous spectrum for a class of nonhomogeneous differential operators

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in with smooth boundary, λ is a positive real number, and the continuous functions p ₁, p ₂, and q satisfy 1 < p ₂(x) < q(x) < p ₁(x) < N and for any . The main result of this paper establishes the existence of two positive constants λ₀ and λ₁ with λ₀ ≤ λ₁ such that any is an eigenvalue, while any is not an eigenvalue of the above problem.     

Free boundary problem for the equations of spherically symmetric motion of compressible gas with density-dependent viscosity

We consider a free boundary problem for the equations of spherically symmetric motion of a isentropic gas with a density-dependent viscosity , where and λ are positive constants. We prove that the problem admits a weak solution provided that 0 < λ < 1/4.      

Minoration conforme du spectre du laplacien de Hodge-de Rham

Let M ⁿ be an n-dimensional compact manifold, with n ≥ 3. For any conformal class C of riemannian metrics on M, we set , where μ _p,k (M,g) is the kth eigenvalue of the Hodge laplacian acting on coexact p-forms. We prove that . We also prove that if g is a smooth metric such that , and n = 0,2,3 mod 4, then there is a non-zero corresponding eigenform of degree with constant length. As a corollary, on a four-manifold with non vanishing Euler characteristic, there is no such smooth extremal metric.