Linearization in ultrametric dynamics in fields of characteristic zero — Equal characteristic case

LetK be a complete ultrametric field of characteristic zero whose corresponding residue field k is also of characteristic zero. We give lower and upper bounds for the size of linearization disks for power series over K near an indifferent fixed point. These estimates are maximal in the sense that there exist examples where these estimates give the exact size of the corresponding linearization disc. Similar estimates in the remaining cases, i.e. the cases in which K is either a p-adic field or a field of prime characteristic, were obtained in various papers on the p-adic case [5, 18, 35, 42] later generalized in [28, 30], and in [29, 31] concerning the prime characteristic case.     

On the indices of fixed points of mappings in cones and applications

Assume that K is a cone in a Banach space and A:K → K is completely continuous. We obtain a formula for the index in K of a fixed point of A under the assumption that a linearization exists and satisfies an invertibility condition. We then use this formula to generalize some results of Amann on the number of fixed points of A to the case where K has empty interior.     

Principal series and generalized principal series Whittaker functions with peripheral K-types on the real symplectic group of rank 2

First, we give some explicit formulas of principal series Whittaker functions on the real symplectic group of rank 2 with arbitrary one-dimensional K-types. These formulas are extension of Ishii??s formulas for Whittaker functions with minimal K-types. Secondly, we compute explicit formulas of the holonomic system for the radial part of Whittaker functions with peripheral K-types belonging to the generalized principal series representations induced from the Siegel maximal parabolic subgroup (i.e., P _S-series). Thirdly, we derive eight power series solutions for our holonomic system utilizing the embedding of the P _S-series into various principal series, from the power series Whittaker functions belonging to the principal series.     

A characteristic property of the Euclidean disc

In this paper the following is proved: Let K ⊂ $ \mathbb{E}^2 $ \mathbb{E}^2 be a smooth strictly convex body, and let L ⊂ $ \mathbb{E}^2 $ \mathbb{E}^2 be a line. Assume that for every point x ∈ L/K the two tangent segments from x to K have the same length, and the line joining the two contact points passes through a fixed point in the plane. Then K is an Euclidean disc.     

Multi-interior-spike solutions for the Cahn-Hilliard equation with arbitrarily many peaks

We study the Cahn-Hilliard equation in a bounded smooth domain without any symmetry assumptions. We prove that for any fixed positive integer K there exist interior K–spike solutions whose peaks have maximal possible distance from the boundary and from one another. This implies that for any bounded and smooth domain there exist interior K–peak solutions. The central ingredient of our analysis is the novel derivation and exploitation of a reduction of the energy to finite dimensions (Lemma 5.5) with variables which are closely related to the location of the peaks. We do not assume nondegeneracy of the points of maximal distance to the boundary but can do with a global condition instead which in many cases is weaker. Received March 5, 1999 / Accepted June 11, 1999     

Saturation in random graphs

A graph H is K_s ‐saturated if it is a maximal K_s ‐free graph, i.e., H contains no clique on s vertices, but the addition of any missing edge creates one. The minimum number of edges in a K_s ‐saturated graph was determined over 50 years ago by Zykov and independently by Erd?s, Hajnal and Moon. In this paper, we study the random analog of this problem: minimizing the number of edges in a maximal K_s ‐free subgraph of the Erd?s‐Rényi random graph G (n, p ). We give asymptotically tight estimates on this minimum, and also provide exact bounds for the related notion of weak saturation in random graphs. Our results reveal some surprising behavior of these parameters. © 2016 Wiley Periodicals, Inc. Random Struct. Alg., 51, 169–181, 2017     

Entropy and the combinatorial dimension

We solve Talagrand’s entropy problem: the L ₂-covering numbers of every uniformly bounded class of functions are exponential in its shattering dimension. This extends Dudley’s theorem on classes of {0,1}-valued functions, for which the shattering dimension is the Vapnik-Chervonenkis dimension. In convex geometry, the solution means that the entropy of a convex body K is controlled by the maximal dimension of a cube of a fixed side contained in the coordinate projections of K. This has a number of consequences, including the optimal Elton’s Theorem and estimates on the uniform central limit theorem in the real valued case. Oblatum 10-XII-2001 & 4-IX-2002?Published online: 8 November 2002     

Prescribing scalar curvature on Sn and related problems,part II: Existence and compactness

This is a sequel to [30], which studies the prescribing scalar curvature problem on Sⁿ. First we present some existence and compactness results for n = 4. The existence result extends that of Bahri and Coron [4], Benayed, Chen, Chtioui, and Hammami [6], and Zhang [39]. The compactness results are new and optimal. In addition, we give a counting formula of all solutions. This counting formula, together with the compactness results, completely describes when and where blowups occur. It follows from our results that solutions to the problem may have multiple blowup points. This phenomena is new and very different from the lower-dimensional cases n = 2, 3. Next we study the problem for n ≥ 3. Some existence and compactness results have been given in [30] when the order of flatness at critical points of the prescribed scalar curvature functions K(x) is β ϵ (n − 2, n). The key point there is that for the class of K mentioned above we have completed L^∞ apriori estimates for solutions of the prescribing scalar curvature problem. Here we demonstrate that when the order of flatness at critical points of K(x) is β = n − 2, the L^∞ estimates for solutions fail in general. In fact, two or more blowup points occur. On the other hand, we provide some existence and compactness results when the order of flatness at critical points of K(x) is β ϵ [n − 2,n). With this result, we can easily deduce that C^∞ scalar curvature functions are dense in C^1,α (0 < α < 1) norm among positive functions, although this is generally not true in the C² norm. We also give a simpler proof to a Sobolev-Aubin-type inequality established in [16]. Some of the results in this paper as well as that of [30] have been announced in [29]. © 1996 John Wiley & Sons, Inc.     

Fixed point theorems for generalized set-contraction maps and their applications

A new generalized set-valued contraction on topological spaces with respect to a measure of noncompactness is introduced. Two fixed point theorems for the KKM type maps which are either generalized set-contraction or condensing ones are given. Furthermore, applications of these results for existence of coincidence points and maximal elements are deduced.     

Generalized Lyapunov–Schmidt Reduction Method and Normal Forms for the Study of Bifurcations of Periodic Points in Families of Reversible Diffeomorphisms

We introduce a general reduction method for the study of periodic points near a fixed point in a family of reversible diffeomorphisms. We impose no restrictions on the linearization at the fixed point except invertibility, allowing higher multiplicities. It is shown that the problem reduces to a similar problem for a reduced family of diffeomorphisms, which is itself reversible, but also has an additional ? ^q -symmetry. The reversibility in combination with the ? ^q -symmetry translates to a 𝕋 ^q -symmetry for the problem, which allows to write down the bifurcation equations. Moreover, the reduced family can be calculated up to any order by a normal form reduction on the original system. The method of proof combines normal forms with the Lyapunov–Schmidt method, and makes repetitive use of the Implicit Function Theorem. As an application we analyze the branching of periodic points near a fixed point in a family of reversible mappings, when for a critical value of the parameters the linearization at the fixed point has either a pair of simple purely imaginary eigenvalues that are roots of unity or a pair of non-semisimple purely imaginary eigenvalues that are roots of unity with algebraic multiplicity 2 and geometric multiplicity 1.     

Higher topological cyclic homology and the Segal conjecture for tori

We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory.The fixed points of toral topological Hochschild homology are related to one another by restriction and Frobenius operators. We introduce two additional families of operators on fixed points, the Verschiebung, indexed on self-isogenies of the n-torus, and the differentials, indexed on n-vectors. We give a detailed analysis of the relations among the restriction, Frobenius, Verschiebung, and differentials, producing a higher analog of the structure Hesselholt and Madsen described for 1-dimensional topological cyclic homology.We calculate two important pieces of higher topological cyclic homology, namely topological restriction homology and topological Frobenius homology, for the sphere spectrum. The latter computation allows us to establish the Segal conjecture for the torus, which is to say to completely compute the cohomotopy type of the classifying space of the torus.     

Generalized projection and approximation of fixed points of nonself maps

Let K be a nonempty closed convex proper subset of a real uniformly convex and uniformly smooth Banach space E; T:K→E be an asymptotically weakly suppressive, asymptotically weakly contractive or asymptotically nonextensive map with F(T){xK: Tx=x}≠. Using the notion of generalized projection, iterative methods for approximating fixed points of T are studied. Convergence theorems with estimates of convergence rates are proved. Furthermore, the stability of the methods with respect to perturbations of the operators and with respect to perturbations of the constraint sets are also established.     

On the number of points of bounded height¶on arithmetic projective spaces

Let K be a number field and its ring of integers. Let be a Hermitian vector bundle over . In the first part of this paper we estimate the number of points of bounded height in (generalizing a result by Schanuel). We give then some applications: we estimate the number of hyperplanes and hypersurfaces of degree d>1 in of bounded height and containing a fixed linear subvariety and we estimate the number of points of height, with respect to the anticanonical line bundle, less then T (when T goes to infinity) of ℙ ^N _K blown up at a linear subspace of codimension two. Received: 20 February 1998 / Revised version: 9 November 1998     

Polynomial normal forms with exponentially small remainder for analytic vector fields

A key tool in the study of the dynamics of vector fields near an equilibrium point is the theory of normal forms, invented by Poincaré, which gives simple forms to which a vector field can be reduced close to the equilibrium. In the class of formal vector valued vector fields the problem can be easily solved, whereas in the class of analytic vector fields divergence of the power series giving the normalizing transformation generally occurs. Nevertheless the study of the dynamics in a neighborhood of the origin can very often be carried out via a normalization up to finite order. This paper is devoted to the problem of optimal truncation of normal forms for analytic vector fields in R^m. More precisely we prove that for any vector field in R^m admitting the origin as a fixed point with a semi-simple linearization, the order of the normal form can be optimized so that the remainder is exponentially small. We also give several examples of non-semi-simple linearization for which this result is still true.     

The frattini subgroup of the absolute Galois group of a local field

LetK be a local field,T the maximal tamely ramified extension ofK, F the fixed field inK _sof the Frattini subgroup ofG(K), andJ the compositum of all minimal Galois extensions ofK containingT. The main result of the paper is thatF=J. IfK is a global field andK _solv is the maximal prosolvable extension ofK, then the Frattini group of % MathType!End!2!1!(K _solv/K) is trivial. Partially supported by a grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.     

Spectral approximation in the numerical stability study of nondivergent viscous flows on a sphere

The accuracy of calculating the normal modes in the numerical linear stability study of two-dimensional nondivergent viscous flows on a rotating sphere is analyzed. Discrete spectral problems are obtained by truncating Fourier's series of the spherical harmonics for both the basic flow and the disturbances to spherical polynomials of degrees K and N, respectively. The spectral theory for the closed operators [1], and embedding theorems for the Hilbert and Banach spaces of smooth functions on a sphere are used to estimate the rate of convergence of the eigenvalues and eigenvectors. It is shown that the convergence takes place if the basic state is sufficiently smooth, and the truncation numbers K and N of Fourier's series for the basic flow and disturbances tend to infinity keeping the ratio N/K fixed. The convergence rate increases with the smoothness of the basic flow and with the power s of the Laplace operator in the vorticity equation diffusion term. © 1998 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 14:143–157, 1998     

Finite Codimension Subfields of a Field Complete with Respect to a Real Valuation

Let K be a field complete with respect to a real valuation v and not algebraically closed. We will show that every finite codimension subfield of K is closed in the v-adic topology if and only if the degree of imperfection of K is finite. It follows that there are incomplete finite codimension subfields of K when the degree of imperfection of K is infinite. These examples exhibit other interesting pathologies. We are able to give a necessary (and in the case of a discrete real valuation also sufficient) condition for a given finite codimension subfield to be complete. Finally, we give some applications to fields of Laurent series.

Communicated by A. Prestel.     

On Kummer extensions of the power series field

In this paper we study the Kummer extensions K ′ of a power series field K = k ((X₁, …, X_r)), where k is an algebraically closed field of arbitrary characteristic, with special emphasis in the case where K ′ is generated by a Puiseux power series. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Point simpliciality in Choquet theory on nonmetrizable compact spaces

Let H be a function space on a compact space K. The set of simpliciality of H is the set of all points of K for which there exists a unique maximal representing measure. Properties of this set were studied by M. Ba?ák in the paper Point simpliciality in Choquet representation theory, Illinois J. Math. 53 (2009) 289–302, mainly for K metrizable. We study properties of the set of simpliciality for K nonmetrizable.