A Helly theorem for intersections of orthogonally starshaped sets

Let $\cal{F}$ be a finite family of simply connected orthogonal polygons in the plane. If every three (not necessarily distinct) members of $\cal{F}$ have a nonempty intersection which is starshaped via staircase paths, then the intersection $\cap \{F : F\; \hbox{in}\; \cal{F}\}$ is a (nonempty) simply connected orthogonal polygon which is starshaped via staircase paths. Moreover, the number three is best possible, even with the additional requirement that the intersection in question be nonempty. The result fails without the simple connectedness condition.     

On the volume of the intersection of two geodesic balls

The first author and D. Kunszenti-Kovács (2010) [1] proved that if the volume of the intersection of three geodesic balls of a complete connected Riemannian manifold depends only on the center-center distances and the radii of the balls, then the manifold is one of the simply connected spaces of constant curvature. In this paper, we study the geometrical consequences of the analogous condition for pairs of geodesic balls. We show that in a complete, connected and simply connected Riemannian manifold, the volume of the intersection of two small geodesic balls depends only on the distance between the centers and the radii if and only if the space is harmonic. It is also shown that if in a Riemannian manifold the volume of the intersection of two small geodesic balls of equal radii depends only on the distance between the centers and the common value of the radii, then the space is Einstein, and if we assume in addition that the space is symmetric, then it must be Osserman and hence two-point homogeneous.     

Water waves over a rough bottom in the shallow water regime

This is a study of the Euler equations for free surface water waves in the case of varying bathymetry, considering the problem in the shallow water scaling regime. In the case of rapidly varying periodic bottom boundaries this is a problem of homogenization theory. In this setting we derive a new model system of equations, consisting of the classical shallow water equations coupled with nonlocal evolution equations for a periodic corrector term. We also exhibit a new resonance phenomenon between surface waves and a periodic bottom. This resonance, which gives rise to secular growth of surface wave patterns, can be viewed as a nonlinear generalization of the classical Bragg resonance. We justify the derivation of our model with a rigorous mathematical analysis of the scaling limit and the resulting error terms. The principal issue is that the shallow water limit and the homogenization process must be performed simultaneously. Our model equations and the error analysis are valid for both the two- and the three-dimensional physical problems.     

Corrector estimates in homogenization of a nonlinear transmission problem for diffusion equations in connected domains

This paper is devoted to the homogenization of a nonlinear transmission problem stated in a two-phase domain. We consider a system of linear diffusion equations defined in a periodic domain consisting of two disjoint phases that are both connected sets separated by a thin interface. Depending on the field variables, at the interface, nonlinear conditions are imposed to describe interface reactions. In the variational setting of the problem, we prove the homogenization theorem and a bidomain averaged model. The periodic unfolding technique is used to obtain the residual error estimate with a first-order corrector.     

New examples of Riemannian g.o. manifolds in dimension 7

A Riemannian g.o. manifold is a homogeneous Riemannian manifold (M,g) on which every geodesic is an orbit of a one-parameter group of isometries. It is known that every simply connected Riemannian g.o. manifold of dimension ?5 is naturally reductive. In dimension 6 there are simply connected Riemannian g.o. manifolds which are in no way naturally reductive, and their full classification is known (including compact examples). In dimension 7, just one new example has been known up to now (namely, a Riemannian nilmanifold constructed by C. Gordon). In the present paper we describe compact irreducible 7-dimensional Riemannian g.o. manifolds (together with their “noncompact duals”) which are in no way naturally reductive.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.     

Covering space for monotonic homotopy of trajectories of control systems

This paper considers monotonic (or causal) homotopy between trajectories of control systems. The main result is the construction of an analogue of the simply connected covering space. The constructed covering Γ(Σ,x) has the structure of a manifold and satisfies the property that two trajectories are monotonic homotopic if and only if the end points of their liftings coincide.     

A Universal Bound for the Low Eigenvalues of Neumann Laplacians on Compact Domains in a Hadamard Manifold

 Let M be an n-dimensional simply connected Hadamard manifold with Ricci curvature satisfying and be a bounded domain having smooth boundary. In this paper, we prove that the first n nonzero Neumann eigenvalues of the Laplacian on Ω satisfy , where is a computable constant depending only on and , Ω being the volume of Ω. This result generalizes the corresponding estimate for bounded domains in a Euclidean space obtained recently by M. S. Ashbaugh and R. D. Benguria. (Received 19 May 1998; in revised form 21 September 1998)     

Volume comparison and the σk-Yamabe problem

In this paper we study the problem of finding a conformal metric with the property that the kth elementary symmetric polynomial of the eigenvalues of its Weyl-Schouten tensor is constant. A new conformal invariant involving maximal volumes is defined, and this invariant is then used in several cases to prove existence of a solution, and compactness of the space of solutions (provided the conformal class admits an admissible metric). In particular, the problem is completely solved in dimension four, and in dimension three if the manifold is not simply connected.     

ON THE CONVERGENCE OF CIRCLE PACKINGS TO THE QUASICONFORMAL MAP

Rodin and Sullivan （1987） proved Thurston＇s conjecture that a scheme based on the Circle Packing Theorem converges to the Riemann mapping, thereby proved a refreshing geometric view of the Riemann Mapping Theorem. Naturally, we consider to use the ellipses to pack the bounded simply connected domain and obtain similarly a sequence simplicial homeomorphism between the ellipse packing and the circle packing. In this paper, we prove that these simplicial homeomorphism approximate a quasiconformal mapping from the bounded simply connected domain onto the unit disk with the modulus of their complex dilatations tending to 1 almost everywhere in the domain when the ratio of the longer axis and shorter axis of the ellipse tending to ∞.     

Essential elements in connected k-polymatroids

It is a well-known result of Tutte that, for every element x of a connected matroid M, at least one of the deletion and contraction of x from M is connected. This paper shows that, in a connected k-polymatroid, only two such elements are guaranteed. We show that this bound is sharp and characterize those 2-polymatroids that achieve this minimum. To this end, we define and make use of a generalized parallel connection for k-polymatroids that allows connecting across elements of different ranks. This study of essential elements gives results crucial to finding the unavoidable minors of connected 2-polymatroids, which will appear elsewhere.     

Holonomy and Parallel Transport for Abelian Gerbes

In this paper, we establish a one-to-one correspondence between U(1)-gerbes with connections, on the one hand, and their holonomies, for simply connected manifolds, or their parallel transports, in the general case, on the other hand. This result is a higher-order analogue of the familiar equivalence between bundles with connections and their holonomies for connected manifolds. The holonomy of a gerbe with group U(1) on a simply connected manifold M is a group morphism from the thin second homotopy group to U(1), satisfying a smoothness condition, where a homotopy between maps from [0,1]² to M is thin when its derivative is of rank 2. For the non-simply connected case, holonomy is replaced by a parallel transport functor between two special Lie groupoids, which we call Lie 2-groups. The reconstruction of the gerbe and connection from its holonomy is carried out in detail for the simply connected case.     

Instability of solitary waves for a generalized Benney–Luke equation

We study linear instability of solitary wave solutions of a one-dimensional generalized Benney–Luke equation, which is a formally valid approximation for describing two-way water wave propagation in the presence of surface tension. Further, we implement a finite difference numerical scheme which combines an explicit predictor and an implicit corrector step to compute solutions of the model equation which is used to validate the theory presented.     

Locally symmetric left invariant Riemannian metrics on 3‐dimensional Lie groups

In this paper, we use the powerful tool Milnor bases to determine all the locally symmetric left invariant Riemannian metrics up to automorphism, on 3‐dimensional connected and simply connected Lie groups, by solving system of polynomial equations of constants structure of each Lie algebra . Moreover, we show that E ₀(2) is the only 3‐dimensional Lie group with locally symmetric left invariant Riemannian metrics which are not symmetric.     

Curvatures of homogeneous Randers spaces

We study curvatures of homogeneous Randers spaces. After deducing the coordinate-free formulas of the flag curvature and Ricci scalar of homogeneous Randers spaces, we give several applications. We first present a direct proof of the fact that a homogeneous Randers space is Ricci quadratic if and only if it is a Berwald space. We then prove that any left invariant Randers metric on a non-commutative nilpotent Lie group must have three flags whose flag curvature is positive, negative and zero, respectively. This generalizes a result of J.A. Wolf on Riemannian metrics. We prove a conjecture of J. Milnor on the characterization of central elements of a real Lie algebra, in a more generalized sense. Finally, we study homogeneous Finsler spaces of positive flag curvature and particularly prove that the only compact connected simply connected Lie group admitting a left invariant Finsler metric with positive flag curvature is SU(2)$\text{SU}\left(2\right)$.     

On the Kneser property for reaction-diffusion systems on unbounded domains

We prove the Kneser property (i.e. the connectedness and compactness of the attainability set at any time) for reaction-diffusion systems on unbounded domains in which we do not know whether the property of uniqueness of the Cauchy problem holds or not.Using this property we obtain that the global attractor of such systems is connected.Finally, these results are applied to the complex Ginzburg-Landau equation.     

Riemann 映射与单连通区域分类

设G为复平面上一个单连通区域及φ为G的Riemann 映射. 本文通过φ是否属于G上多项式在不同拓扑下的闭包的情况对G进行分类. 特别地, 我们对已知的几类单连通给出了刻画.     

Carleman estimates for semi-discrete parabolic operators and application to the controllability of semi-linear semi-discrete parabolic equations

In arbitrary dimension, in the discrete setting of finite-differences we prove a Carleman estimate for a semi-discrete parabolic operator, in which the large parameter is connected to the mesh size. This estimate is applied for the derivation of a (relaxed) observability estimate, that yield some controlability results for semi-linear semi-discrete parabolic equations. Sub-linear and super-linear cases are considered.     

Homogenization and corrector for the wave equation with discontinuous coefficients in time

In this paper we analyze the homogenization of the wave equation with bounded variation coefficients in time, generalizing the classical result, which assumes Lipschitz-continuity. We start showing a general existence and uniqueness result for a general sort of hyperbolic equations. Then, we obtain our homogenization result comparing the solution of a sequence of wave equations to the solution of a sequence of elliptic ones. We conclude the paper making an analysis of the corrector. Firstly, we obtain a corrector result assuming that the derivative of the coefficients in the time variable is equicontinuous. This result was known for non-time dependent coefficients. After, we show, with a counterexample, that the regularity hypothesis for the corrector theorem is optimal in the sense that it does not hold if the time derivative of the coefficients is just bounded.     

Scaling limits for one-dimensional long-range percolation: Using the corrector method

In this paper, by using the corrector method we give another proof of the quenched invariance principle for the random walk on the infinite random graph generated by a one-dimensional long-range percolation under the conditions that the connection probability p(1)=1$p\left(1\right)=1$ and the percolation exponent s>2$s>2$. The key step of the proof is the construction of the corrector. We show that the corrector can be constructed under either s∈(2,3]$s\in (2,3]$ or s>3$s>3$, though the corresponding underlying measures may be different. As an application of the main result we get a new lower bound of the quenched diagonal transition probability for the random walk.