Korn inequality on irregular domains

In this paper, we study the weighted Korn inequality on some irregular domains, e.g., s-John domains and domains satisfying quasihyperbolic boundary conditions. Examples regarding sharpness of the Korn inequality on these domains are presented. Moreover, we show that Korn inequalities imply certain Poincaré inequality.     

A Sum Operator with Applications to Self-Improving Properties of Poincaré Inequalities in Metric Spaces

We define a class of summation operators with applications to the self-improving nature of Poincaré–Sobolev estimates, in fairly general quasimetric spaces of homogeneous type. We show that these sum operators play the familiar role of integral operators of potential type (e.g., Riesz fractional integrals) in deriving Poincaré–Sobolev estimates in cases when representations of functions by such integral operators are not readily available. In particular, we derive norm estimates for sum operators and use these estimates to obtain improved Poincaré–Sobolev results.     

Diagram groups and directed 2-complexes: Homotopy and homology

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so-called rigidity of the R. Thompson's group F and some other groups is similar to the flat torus theorem. We find several finitely presented diagram groups (even of type F_∞) each of which contains all countable diagram groups. We show how to compute minimal presentations and homology groups of a large class of diagram groups. We show that the Poincaré series of these groups are rational functions. We prove that all integer homology groups of all diagram groups are free Abelian.     

Sub-elliptic global high order Poincaré inequalities in stratified Lie groups and applications

Sharp Poincaré inequalities on balls or chain type bounded domains have been extensively studied both in classical Euclidean space and Carnot-Carathéodory spaces associated with sub-elliptic vector fields (e.g., vector fields satisfying Hörmander's condition). In this paper, we investigate the validity of sharp global Poincaré inequalities of both first order and higher order on the entire nilpotent stratified Lie groups or on unbounded extension domains in such groups. We will show that simultaneous sharp global Poincaré inequalities also hold and weighted versions of such results remain to be true. More precisely, let G be a nilpotent stratified Lie group and f be in the localized non-isotropic Sobolev space , where 1?p<Q/m and Q is the homogeneous dimension of the Lie group G. Suppose that the mth sub-elliptic derivatives of f is globally Lp integrable; i.e., is finite (but assume that lower order sub-elliptic derivatives are only locally Lp integrable). We denote the space of such functions as Bm,p(G). We prove a high order Poincaré inequality for f minus a polynomial of order m−1 over the entire space G or unbounded extension domains. As applications, we will prove a density theorem stating that smooth functions with compact support are dense in Bm,p(G) modulus a finite-dimensional subspace.     

Sobolev embedding theorems for a class of anisotropic irregular domains

Sufficient conditions for the embedding of a Sobolev space in Lebesgue spaces on a domain depend on the integrability and smoothness parameters of the spaces and on the geometric features of the domain. In the present paper, Sobolev embedding theorems are obtained for a class of domains with irregular boundary; this class includes the well-known classes of σ-John domains, domains with the flexible cone condition, and their anisotropic analogs.     

Multiple solutions for semi-linear corner degenerate elliptic equations

The present paper is concerned with the existence of multiple solutions for semi-linear corner-degenerate elliptic equations with subcritical conditions. First, we introduce the corner type weighted p-Sobolev spaces and discuss the properties of continuous embedding, compactness and spectrum. Then, we prove the corner type Sobolev inequality and Poincaré inequality, which are important in the proof of the main result.     

Weak curvature conditions and functional inequalities

We give sufficient conditions for a measured length space (X,d,ν) to admit local and global Poincaré inequalities, along with a Sobolev inequality. We first introduce a condition DM on (X,d,ν), defined in terms of transport of measures. We show that DM, together with a doubling condition on ν, implies a scale-invariant local Poincaré inequality. We show that if (X,d,ν) has nonnegative N-Ricci curvature and has unique minimizing geodesics between almost all pairs of points then it satisfies DM, with constant N². The condition DM is preserved by measured Gromov-Hausdorff limits. We then prove a Sobolev inequality for measured length spaces with N-Ricci curvature bounded below by K>0. Finally we derive a sharp global Poincaré inequality.     

Boundary Behavior of Monotone Sobolev Functions in Orlicz Spaces on John Domains in a Metric Space

This paper deals with weighted boundary limits of monotone Sobolev functions in Orlicz spaces on bounded s-John domains in a metric space.     

On the values of continued fractions: q-series

Using the Poincaré-Perron theorem on the asymptotics of the solutions of linear recurrences it is proved that for a class of q-continued fractions the value of the continued fraction is given by a quotient of the solution and its q-shifted value of the corresponding q-functional equation.     

Sobolev spaces of symmetric functions and applications

We prove sharp pointwise estimates for functions in the Sobolev spaces of radial functions defined in a ball. As a consequence, we obtain some imbeddings of such Sobolev spaces in weighted Lq-spaces. We also prove similar imbeddings for Sobolev spaces of functions with partial symmetry. Our techniques lead to new Hardy type inequalities. It is important to observe that we do not require any vanishing condition on the boundary to obtain all our estimates. We apply these imbeddings to obtain radial solutions and partially symmetric solutions for a biharmonic equation of the Hénon type under both Dirichlet and Navier boundary conditions. The delicate question of the regularity of these solutions is also established.     

On fractional Poincaré inequalities

We show that fractional (p, p)-Poincaré inequalities and even fractional Sobolev-Poincaré inequalities hold for bounded John domains, and especially for bounded Lipschitz domains. We also prove sharp fractional (1,p)-Poincaré inequalities for s-John domains.     

A renormalized index theorem for some complete asymptotically regular metrics: The Gauss-Bonnet theorem

We study the Gauss-Bonnet theorem as a renormalized index theorem for edge metrics. These metrics include the Poincaré-Einstein metrics of the AdS/CFT correspondence and the asymptotically cylindrical metrics of the Atiyah-Patodi-Singer index theorem. We use renormalization to make sense of the curvature integral and the dimensions of the L²-cohomology spaces as well as to carry out the heat equation proof of the index theorem. For conformally compact metrics even mod xm, we show that the finite time supertrace of the heat kernel on conformally compact manifolds renormalizes independently of the choice of special boundary defining function.     

Harnack and functional inequalities for generalized Mehler semigroups

Harnack inequalities are established for a class of generalized Mehler semigroups, which in particular imply upper bound estimates for the transition density. Moreover, Poincaré and log-Sobolev inequalities are proved in terms of estimates for the square field operators. Furthermore, under a condition, well-known in the Gaussian case, we prove that generalized Mehler semigroups are strong Feller. The results are illustrated by concrete examples. In particular, we show that a generalized Mehler semigroup with an α-stable part is not hyperbounded but exponentially ergodic, and that the log-Sobolev constant obtained by our method in the special Gaussian case can be sharper than the one following from the usual curvature condition. Moreover, a Harnack inequality is established for the generalized Mehler semigroup associated with the Dirichlet heat semigroup on (0,1). We also prove that this semigroup is not hyperbounded.     

The tangential end fibration of an aspherical Poincaré complex

We construct a sphere fibration over a finite aspherical Poincaré complex X, which we call the tangential end fibration, under the condition that the universal cover of X is forward tame and simply connected at infinity. We show that it is tangent to X if the formal dimension of X is even or, when the formal dimension is odd, if the diagonal X→X×X admits a Poincaré embedding structure.     

Is an Orlicz–Poincaré inequality an open ended condition,and what does that mean?

In [16], Keith and Zhong prove that spaces admitting Poincaré inequalities also admit a priori stronger Poincaré inequalities. We use their technique, with slight adjustments, to obtain a similar result in the case of Orlicz–Poincaré inequalities. We give examples in the plane that show all hypotheses are required.     

Isoperimetric inequality for radial probability measures on Euclidean spaces

We generalize the Poincaré limit which asserts that the n-dimensional Gaussian measure is approximated by the projections of the uniform probability measure on the Euclidean sphere of appropriate radius to the first n-coordinates as the dimension diverges to infinity. The generalization is done by replacing the projections with certain maps. Using this generalization, we derive a Gaussian isoperimetric inequality for an absolutely continuous probability measure on Euclidean spaces with respect to the Lebesgue measure, whose density is a radial function.     

Ornstein-Uhlenbeck processes on Lie groups

We consider Ornstein-Uhlenbeck processes (OU-processes) associated to hypo-elliptic diffusion processes on finite-dimensional Lie groups: let L be a hypo-elliptic, left-invariant “sum of the squares”-operator on a Lie group G with associated Markov process X, then we construct OU-processes by adding negative horizontal gradient drifts of functions U. In the natural case U(x)=−logp(1,x), where p(1,x) is the density of the law of X starting at identity e at time t=1 with respect to the right-invariant Haar measure on G, we show the Poincaré inequality by applying the Driver-Melcher inequality for “sum of the squares” operators on Lie groups. The resulting Markov process is called the natural OU-process associated to the hypo-elliptic diffusion on G. We prove the global strong existence of these OU-type processes on G under an integrability assumption on U. The Poincaré inequality for a large class of potentials U is then shown by a perturbation technique. These results are applied to obtain a hypo-elliptic equivalent of standard results on cooling schedules for simulated annealing on compact homogeneous spaces M.     

Orlicz-Sobolev extensions and measure density condition

We study the extension properties of Orlicz-Sobolev functions both in Euclidean spaces and in metric measure spaces equipped with a doubling measure. We show that a set E⊂R satisfying a measure density condition admits a bounded linear extension operator from the trace space W1,Ψ(Rn)E_| to W1,Ψ(Rn). Then we show that a domain, in which the Sobolev embedding theorem or a Poincaré-type inequality holds, satisfies the measure density condition. It follows that the existence of a bounded, possibly non-linear extension operator or even the surjectivity of the trace operator implies the measure density condition and hence the existence of a bounded linear extension operator.     

Ergodicity for time-changed symmetric stable processes

In this paper we study ergodicity and related semigroup property for a class of symmetric Markov jump processes associated with time-changed symmetric α$\alpha$-stable processes. For this purpose, explicit and sharp criteria for Poincaré type inequalities (including Poincaré, super Poincaré and weak Poincaré inequalities) of the corresponding non-local Dirichlet forms are derived. Moreover, our main results, when applied to a class of one-dimensional stochastic differential equations driven by symmetric α$\alpha$-stable processes, yield sharp criteria for their various ergodic properties and corresponding functional inequalities.     

A Grothendieck module with applications to Poincaré rationality

In this paper, we define a Grothendieck module associated to a Noetherian ring A. This structure is designed to encode relations between A-modules which can be responsible for the relations among Betti numbers and therefore rationality of the Poincaré series. We will define the Grothendieck module, demonstrate that the condition of being torsion in the Grothendieck module implies rationality of the Poincaré series, and provide examples. The paper concludes with an example which demonstrates that the condition of being torsion in the Grothendieck module is strictly stronger than having rational Poincaré series.