Analytic normalization of analytically integrable differential systems near a periodic orbit

For an analytic differential system in Rⁿ${\mathbb{R}}^n$ with a periodic orbit, we will prove that if the system is analytically integrable around the periodic orbit, i.e. it has n−1$n-1$ functionally independent analytic first integrals defined in a neighborhood of the periodic orbit, then the system is analytically equivalent to its Poincaré–Dulac type normal form. This result is an extension of analytically integrable differential systems around a singularity to the ones around a periodic orbit.     

Stable extendibility of vector bundles over real projective spaces

Let F$\mathbb{F}$ be either the real number field R$\mathbb{R}$ or the complex number field C$\mathbb{C}$ and RPⁿ${\mathbb{RP}}^n$ the real projective space of dimension n. Theorems A and C in Hemmi and Kobayashi (2008) [2] give necessary and sufficient conditions for a given F$\mathbb{F}$-vector bundle over RPⁿ${\mathbb{RP}}^n$ to be stably extendible to RP^m${\mathbb{RP}}^m$ for every m?n$m?n$. In this paper, we simplify the theorems and apply them to the tangent bundle of RPⁿ${\mathbb{RP}}^n$, its complexification, the normal bundle associated to an immersion of RPⁿ${\mathbb{RP}}^n$ in R^n+r${\mathbb{R}}^{n+r}$(r>0)$(r>0)$, and its complexification. Our result for the normal bundle is a generalization of Theorem A in Kobayashi et al. (2000) [8] and that for its complexification is a generalization of Theorem 1 in Kobayashi and Yoshida (2003) [5].     

Inverse Jacobian multipliers and Hopf bifurcation on center manifolds

In this paper we consider a class of higher dimensional differential systems in Rⁿ${\mathbb{R}}^n$ which have a two dimensional center manifold at the origin with a pair of pure imaginary eigenvalues. First we characterize the existence of either analytic or C^∞$C^{\infty }$ inverse Jacobian multipliers of the systems around the origin, which is either a center or a focus on the center manifold. Later we study the cyclicity of the system at the origin through Hopf bifurcation by using the vanishing multiplicity of the inverse Jacobian multiplier.     

Hadwiger’s Theorem for definable functions

Hadwiger’s Theorem states that _En${\mathbb{E}}_n$-invariant convex-continuous valuations of definable sets in Rⁿ${\mathbb{R}}^n$ are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable R$\mathbb{R}$-valued functions on Rⁿ${\mathbb{R}}^n$. This generalizes intrinsic volumes to (dual pairs of) non-linear valuations on functions and provides a dual pair of Hadwiger classification theorems.     

The topological structure of fuzzy sets with sendograph metric

For a non-degenerate convex subset Y of the n  -dimensional Euclidean space Rⁿ${\mathbb{R}}^n$, let F(Y)$\mathbb{F}(Y)$ be the family of all fuzzy sets of Rⁿ${\mathbb{R}}^n$ which are upper semicontinuous, fuzzy convex and normal with compact supports contained in Y  . We show that the space F(Y)$\mathbb{F}(Y)$ with the topology of sendograph metric is homeomorphic to the separable Hilbert space ?²${?}^2$ if Y   is compact; and the space F(Rⁿ)$\mathbb{F}({\mathbb{R}}^n)$ is also homeomorphic to ?²${?}^2$.     

Existence and boundary stabilization of solutions for the coupled semilinear system

We investigate the global existence of both strong and weak solutions for a semilinear coupled system with homogeneous feedback boundary conditions in bounded open domain Ω$\Omega$ in Rⁿ${\mathbb{R}}^n$ with n∈N$n\in \mathbb{N}$. We also prove the exponential decay of total energy associated with weak solutions.     

Analysis of symmetric matrix valued functions I

For any symmetric function f:Rⁿ?Rⁿ$f:{\mathbb{R}}^n?{\mathbb{R}}^n$, one can define a corresponding function on the space of n×n$n\times n$ real symmetric matrices by applying f$f$ to the eigenvalues of the spectral decomposition. We show that this matrix valued function inherits from f$f$ the properties of continuity, Lipschitz continuity, strict continuity, directional differentiability, Frechet differentiability, continuous differentiability.     

Attractors for parametric delay differential equations without uniqueness and their upper semicontinuous behaviour

We prove existence of a global attractor A^(λ)${\mathbb{A}}^{\left(\lambda \right)}$ under minimal assumptions for a general class of parameterized delay differential equations without uniqueness and posed in potentially different state spaces. Secondly, we establish the upper semicontinuity of the attractors with respect to the parameter λ$\lambda$.     

Quasiconformal planes with bi-Lipschitz pieces and extensions of almost affine maps

A quasiplane f(V)$f(V)$ is the image of an n-dimensional Euclidean subspace V   of R^N${\mathbb{R}}^N$ (1≤n≤N−1$1\le n\le N-1$) under a quasiconformal map f:R^N→R^N$f:{\mathbb{R}}^N\to {\mathbb{R}}^N$. We give sufficient conditions in terms of the weak quasisymmetry constant of the underlying map for a quasiplane to be a bi-Lipschitz n  -manifold and for a quasiplane to have big pieces of bi-Lipschitz images of Rⁿ${\mathbb{R}}^n$. One main novelty of these results is that we analyze quasiplanes in arbitrary codimension N−n$N-n$. To establish the big pieces criterion, we prove new extension theorems for “almost affine” maps, which are of independent interest. This work is related to investigations by Tukia and Väisälä on extensions of quasisymmetric maps with small distortion.     

Zero separation results for solutions of second order linear differential equations

The oscillation of solutions of f^″+Af=0$f^{″}+Af=0$ is discussed by focusing on four separate situations. In the complex case A$A$ is assumed to be either analytic in the unit disc D$\mathbb{D}$ or entire, while in the real case A$A$ is continuous either on (−1,1)$(-1,1)$ or on (0,∞)$(0,\infty )$. In all situations A$A$ is expected to grow beyond bounds that ensure finite oscillation for all (non-trivial) solutions, and the separation between distinct zeros of solutions is considered.     

Multidimensional extension of the Morse–Hedlund theorem

A celebrated result of Morse and Hedlund, stated in 1938, asserts that a sequence x$x$ over a finite alphabet is ultimately periodic if and only if, for some n$n$, the number of different factors of length n$n$ appearing in x$x$ is less than n+1$n+1$. Attempts to extend this fundamental result, for example, to higher dimensions, have been considered during the last fifteen years. Let d≥2$d\ge 2$. A legitimate extension to a multidimensional setting of the notion of periodicity is to consider sets of Z^d${\mathbb{Z}}^d$ definable by a first order formula in the Presburger arithmetic 〈Z;<,+〉$〈\mathbb{Z};<,+〉$. With this latter notion and using a powerful criterion due to Muchnik, we exhibit a complete extension of the Morse–Hedlund theorem to an arbitrary dimension d$d$ and characterize sets of Z^d${\mathbb{Z}}^d$ definable in 〈Z;<,+〉$〈\mathbb{Z};<,+〉$ in terms of some functions counting recurrent blocks, that is, blocks occurring infinitely often.     

Collision probability for random trajectories in two dimensions

We give a lower bound for the non-collision probability up to a long time T$T$ in a system of n$n$ independent random walks with fixed obstacles on Z²${\mathbb{Z}}^2$. By ‘collision’ we mean collision between the random walks as well as collision with the fixed obstacles. We give an analogous result for Brownian particles on the plane. As a corollary we show that the non-collision request leads only to logarithmic corrections for a spread-out property of the independent random walk system.