On unicity of meromorphic solutions to difference Painlevé equation

In this paper, we consider the uniqueness problems of finite‐order meromorphic solutions to Painlevé equation. Our result says that such solutions w are uniquely determined by their poles and the zeros of w−e_j (counting multiplicities) for 2 finite complex numbers e₁≠e₂. As applications, we derive 2 uniqueness theorems about the Weierstrass ℘ function and Jacobi elliptic function sn, respectively.     

An Inverse Function Theorem for Fréchet Spaces Satisfying a Smoothing Property and (DN)

Classical inverse function theorems of Nash-Moser type are proved for Fréchet spaces that admit smoothing operators as introduced by Nash. In this note an inverse function theorem is proved for Fréchet spaces which only have to satisfy the condition (DN) of Vogt and the smoothing property (S_Ω)_t; for instance, any Fréchet-Hilbert space which is an (Ω)-space in standard form has property (S_Ω)_t. The main result of this paper generalizes a theorem of Lojasiewicz and Zehnder. It can be applied to the space C^∞(K) if the compact K ? ?^N is the closure of its interior and subanalytic; different from classical results the boundary of K may have singularities like cusps. The growth assumptions on the mappings are formulated in terms of the weighted multiseminorms [ ]m,k introduced in this paper; nonlinear smooth partial differential operators on C^∞(K) and their derivatives satisfy these formal assumptions.     

Compléments à un Résultat de Safarevic

It is shown that if the dilatation tensor G f of a space quasi regular mapping f belongs to the space VMO (vanishing mean oscillation), then f is a local homeomorphism. The same is true If the BMO-norm of G _f is small or if G_f is only close to the VMO space in the BMO-norm.     

A Padé family of iterations for the matrix sign function and related problems

In this paper we consider the Pad'e family of iterations for computing the matrix sign function and the Padé family of iterations for computing the matrix p‐sector function. We prove that all the iterations of the Padé family for the matrix sign function have a common convergence region. It completes a similar result of Kenney and Laub for half of the Padé family. We show that the iterations of the Padé family for the matrix p‐sector function are well defined in an analogous common region, depending on p. For this purpose we proved that the Padé approximants to the function (1?z)^?σ, 0<σ<1, are a quotient of hypergeometric functions whose poles we have localized. Furthermore we proved that the coefficients of the power expansion of a certain analytic function form a positive sequence and in a special case this sequence has the log‐concavity property. Copyright © 2011 John Wiley & Sons, Ltd.     

Bases and quasi‐reflexivity in Fréchet spaces

A Fréchet space E is quasi‐reflexive if, either dim(E″/E) < ∞, or E″[β(E″,E′)]/E is isomorphic to ω. A Fréchet space E is totally quasi‐reflexive if every separated quotient is quasi‐reflexive. In this paper we show, using Schauder bases, that E is totally quasi‐reflexive if and only if it is isomorphic to a closed subspace of a countable product of quasi‐reflexive Banach spaces. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The fairing and G1 continuity of quartic C‐Bézier curves

Quartic C‐Bézier curves possess similar properties with the traditional Bézier curves including terminal property, convex hull property, affine invariance, and approaching the shape of their control polygons as the shape parameter α decreases. In this paper, by adjusting the shape parameter α on the basis of the utilization of the least square approximation and nonlinear functional minimization together with fairing of a quartic C‐Bézier curve with G¹ continuity of quartic C‐Bézier curve segments, we develop a fairing and G¹ continuity algorithm for any given stitching coefficients λ_k(k = 1,2,…,n ? 1). The shape parameters α_i(i=1, 2, …, n) can be adjusted by the value of control points. The curvature of the resulting quartic C‐Bézier curve segments after fairing is more uniform than before. Moreover, six examples are provided in the paper to demonstrate the efficacy of the algorithm and illustrate how to apply this algorithm to the computer‐aided design/computer‐aided manufacturing modeling systems. Copyright © 2015 John Wiley & Sons, Ltd.     

Quadratic Hermite–Padé polynomials associated with the exponential function

The asymptotic behavior of quadratic Hermite–Padé polynomials associated with the exponential function is studied for n→∞. These polynomials are defined by the relation

(*)

p_n(z)+q_n(z)e^z+r_n(z)e^2z=O(z³ⁿ⁺²) as z→0,

where O(·) denotes Landau's symbol. In the investigation analytic expressions are proved for the asymptotics of the polynomials, for the asymptotics of the remainder term in (*), and also for the arcs on which the zeros of the polynomials and of the remainder term cluster if the independent variable z is rescaled in an appropriate way. The asymptotic expressions are defined with the help of an algebraic function of third degree and its associated Riemann surface. Among other possible applications, the results form the basis for the investigation of the convergence of quadratic Hermite–Padé approximants, which will be done in a follow-up paper.     

Web‐compact spaces,Fréchet‐Urysohn groups and a Suslin closed graph theorem

A topological space X is strongly web‐compact if X admits a family {A_α: α ∈ ?^?} of relatively countably compact sets covering X and such that A_α ? A_β for α ≤ β. The main result of this paper states the following: Theorem A Let X and Y be topological groups and f a homomorphism between X and Y with closed graph. If X is Fréchet‐Urysohn and Baire and Y is strongly web‐compact, then f is continuous. This extends a result of Valdivia. We provide an example showing that the property of being strongly web‐compact is not productive. This applies to show that there are quasi‐Suslin spaces X whose product X × X is not quasi‐Suslin (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the solutions of the Moisil–Théodoresco system

A structure theorem is proved for the solutions to the Moisil–Théodoresco system in open subsets of ?³. Furthermore, it is shown that the Cauchy transform maps L₂(?², ?_{0, 2}⁺) isomorphically onto H²(?₊³, ?_{0, 3}⁺), thus proving an elegant generalization to ?² of the classical notion of an analytic signal on the real line. Copyright © 2008 John Wiley & Sons, Ltd.     

Quadratic transformations of the sixth Painlevé equation with application to algebraic solutions

In 1991, one of the authors showed the existence of quadratic transformations between the Painlevé VI equations with local monodromy differences (1/2, a, b, ±1/2) and (a, a, b, b). In the present paper we give concise forms of these transformations. They are related to the quadratic transformations obtained by Manin and Ramani–Grammaticos–Tamizhmani via Okamoto transformations. To avoid cumbersome expressions with differentiation, we use contiguous relations instead of the Okamoto transformations. The 1991 transformation is particularly important as it can be realized as a quadratic‐pull back transformation of isomonodromic Fuchsian equations. The new formulas are illustrated by derivation of explicit expressions for several complicated algebraic Painlevé VI functions. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Pattern formations of 2D Rayleigh–Bénard convection with no‐slip boundary conditions for the velocity at the critical length scales

We study the Rayleigh–Bénard convection in a 2D rectangular domain with no‐slip boundary conditions for the velocity. The main mathematical challenge is due to the no‐slip boundary conditions, because the separation of variables for the linear eigenvalue problem, which works in the free‐slip case, is no longer possible. It is well known that as the Rayleigh number crosses a critical threshold R_c, the system bifurcates to an attractor, which is an (m ? 1)‐dimensional sphere, where m is the number of eigenvalues, which cross zero as R crosses R_c. The main objective of this article is to derive a full classification of the structure of this bifurcated attractor when m = 2. More precisely, we rigorously prove that when m = 2, the bifurcated attractor is homeomorphic to a one‐dimensional circle consisting of exactly four or eight steady states and their connecting heteroclinic orbits. In addition, we show that the mixed modes can be stable steady states for small Prandtl numbers. Copyright © 2014 John Wiley & Sons, Ltd.     

ON NON-DETERMINED EHRENFEUCHT-FRAÏSSÉ GAMES AND UNSTABLE THEORIES

In this paper we prove under some set theoretical assumptions that if T is a countable unstable theory then there is a pair of models of T such that Ehrenfeucht-Fraïssé games between these models of large variety of lengths are non-determined.     

On Hamilton cycles in Erdős‐Rényi subgraphs of large graphs

Given a graph Γ_n=(V,E) on n vertices and m edges, we define the Erd?s‐Rényi graph process with host Γ_n as follows. A permutation e₁,…,e_m of E is chosen uniformly at random, and for t ≤ m we let Γ_n,t=(V,{e₁,…,e_t}). Suppose the minimum degree of Γ_n is δ(Γ_n) ≥ (1/2+ε)n for some constant ε>0. Then with high probability (An event holds with high probability (whp) if as n→∞.), Γ_n,t becomes Hamiltonian at the same moment that its minimum degree reaches 2. Given 0 ≤ p ≤ 1 let Γ_n,p be the Erd?s‐Rényi subgraph of Γ_n, obtained by retaining each edge independently with probability p. When δ(Γ_n) ≥ (1/2+ε)n, we provide a threshold for Hamiltonicity in Γ_n,p.     

Pullback attractors for nonautonomous 2D Bénard problem in some unbounded domains

In this paper, we study the 2D Bénard problem, a system with the Navier–Stokes equations for the velocity field coupled with a convection–diffusion equation for the temperature, in an arbitrary domain (bounded or unbounded) satisfying the Poincaré inequality with nonhomogeneous boundary conditions and nonautonomous external force and heat source. The existence of a weak solution to the problem is proved by using the Galerkin method. We then show the existence of a unique minimal finite‐dimensional pullback D_σ‐attractor for the process associated to the problem. Copyright © 2013 John Wiley & Sons, Ltd.     

Principe de Hartogs dans les variétés CR

Let M be a CR manifold. The main results of this paper are the following:

When M is real analytic, a semi-global Hartogs extension phenomenon occurs for real analytic CR functions if and only if M is nowhere strictly pseudoconvex and .

When M is a standard manifold, the Hartogs–Bochner extension phenomenon occurs for non-CR-confined domains if and only if M is nowhere strictly pseudoconvex and dim_CRM2.

If M is a smooth submanifold of foliated by complex curves, a semi-global Hartogs–Bochner extension phenomenon occurs for smooth non-CR-confined domains if and only if dim_CRM2.

If M is a real analytic nowhere strictly pseudoconvex manifold and if Ω is a sufficiently small domain in M, a hyperfunction which is real analytic in a neighborhood of bΩ and CR in a neighborhood of is in fact real analytic on Ω.

Estimation des projecteurs de De Rham Hodge de certaines variétés riemaniennes non compactes

On montre des estimées pour le projecteur de De Rham–Hodge. We prove estimates for the De Rham–Hodge L^p projectors. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Limiting shape of the depth first search tree in an Erdős‐Rényi graph

We show that the profile of the tree constructed by the depth first search algorithm in the giant component of an Erd?s‐Rényi graph with N vertices and connection probability c/N with c > 1 converges to an explicit deterministic shape. This makes it possible to exhibit a long nonintersecting path of length , where ρ_c is the density of the giant component and Li₂ denotes the dilogarithm function.     

Carathéodory–Julia type conditions and symmetries of boundary asymptotics for analytic functions on the unit disk

It is shown that the following conditions are equivalent for the generalized Schur class functions at a boundary point t₀ ∈ ??: 1) Carathéodory–Julia type condition of order n; 2) agreeing of asymptotics of the original function from inside and of its continuation by reflection from outside of the unit disk ?? up to order 2n + 1; 3) t₀‐isometry of the coefficients ofthe boundary asymptotics; 4) a certain structured matrix ? constructed from these coefficients being Hermitian. It is also shown that for an arbitrary analytic function, properties 2), 3), 4) are still equivalent to each other and imply 1) (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Transition probabilities of Lévy‐type processes: Parametrix construction

We present an existence result for Lévy‐type processes which requires only weak regularity assumptions on the symbol with respect to the space variable x. Applications range from existence and uniqueness results for Lévy‐driven SDEs with Hölder continuous coefficients to existence results for stable‐like processes and Lévy‐type processes with symbols of variable order. Moreover, we obtain heat kernel estimates for a class of Lévy and Lévy‐type processes. The paper includes an extensive list of Lévy(‐type) processes satisfying the assumptions of our results.