Carathéodory balls and norm balls of the domainH={(z1,z2)∈C2∶|z1|+|z2|<1}

LetH be the domain inC ² defined byH={Z=(z ₁,z ₂):║Z║₁=│z║₁│+│z║₂│<1}. LetC _H(z,w) be the Carathéodory distance ofH,z,w∈H. The Carathéodory ballB _C(z_C,α;H) with centerz _C,z_C∈H, and radius α, 0<α<1, is defined byB _c(z_C,α;H)={z∶C_H(z,z_C)<arc tanh α}. The norm ballB _N(z_N,r) with centerz _N,z_N∈H, and radiusr, 0<r<1-‖z _N‖₁, is defined byB _N(z_N,r)={z∶ ‖z−z_N‖₁<r}. Theorem:The only Carathéodory balls of H which are also norm balls are those with their center at the origin.     

Perturbation of Yamabe equation on Iwasawa N groups in presence of symmetry

Let G be a simple Lie group of real rank one and N be in the Iwasawa decomposition of G. Under the assumption of some symmetries, we obtain an existent result for the nonlinear equation △NU ＋ （1 ＋ ∈K（x, z））u2＊-1 = 0 on N, which generalizes the result of Malchiodi and Uguzzoni to the Kohn＇s subelliptic context on N in presence of symmetry.     

Decompositions of the Hardy space Hz^1（Ω）

We give a decomposition of the Hardy space Hz^1（Ω） into ＂div-curl＂ quantities for Lipschitz domains in R^n. We also prove a decomposition of Hz^1（Ω） into Jacobians det Du, u ∈ W0^1,2 （Ω,R^2） for Ω in R^2. This partially answers a well-known open problem.     

A pure quantum mechanical theory of parity effect in tunneling and evolution of spins

In recent years, the spin parity effect in magnetic macroscopic quantum tunneling has attracted extensive attention. Using the spin coherent-state path-integral method it is shown that if the HamiltonianH of a single-spin system hasM - fold rotational symmetry around z-axis, the tunneling amplitude 〈−S|e ^Ht |S〉 vanishes when S, the quantum number of spin, is not an integer multiple ofM/2, where |m〉 (m=-S, -S +1, ⋯, S) are the eigenstates of S^z. Not only is a pure quantum mechanical approach adopted to the above result, but also is extended to more general cases where the quantum system consists ofN spins, the quantum numbers of which can take any values, including the single-spin system, ferromagnetic particle and antiferromagnetic particle as particular instances, and where the states involved are not limited to the extreme ones. The extended spin parity effect is that if the Hamiltonian ℋ of the system ofN spins also has the above symmetry, then 〈m′_N⋯m′₂ m′₁|e^{−H t} |m ₁ m ₂⋯m _N vanishes when ∑ _i=1 ^N (m _i−m′₁) not an integer multiple ofM, where |m ₁ m ₂⋯m _N〉=∏ _α=1 ^N |m _a 〉 are the eigenstates of S _a ^z . In addition, it is argued that for large spin the above result, the so-called spin parity effect, does not mean the quenching of spin tunneling from the direction of ⊕-z to that of ±z. Project supported by the National Natural Science Foundation of China (Grant Nos. 19674002, 19677101).     

Uniqueness theorem of solutions for stochastic differential equation in the plane

LetM={M _z, z ∈ R ₊ ² } be a continuous square integrable martingale andA={A _z, z ∈ R ₊ ² be a continuous adapted increasing process. Consider the following stochastic partial differential equations in the plane:dX _z=α(z, X_z)dM_z+β(z, X_z)dA_z, z∈R ₊ ² , X_z=Z_z, z∈∂R ₊ ² , whereR ₊ ² =[0, +∞)×[0,+∞) and ∂R ₊ ² is its boundary,Z is a continuous stochastic process on ∂R ₊ ² . We establish a new theorem on the pathwise uniqueness of solutions for the equation under a weaker condition than the Lipschitz one. The result concerning the one-parameter analogue of the problem we consider here is immediate (see [1, Theorem 3.2]). Unfortunately, the situation is much more complicated for two-parameter process and we believe that our result is the first one of its kind and is interesting in itself. We have proved the existence theorem for the equation in [2]. Supported by the National Science Foundation and the Postdoctoral Science Foundation of China     

Nonfree actions of countable groups and their characters

The paper studies the region of values of the system {c ₂, c ₃, f(z ₁), f′(z ₁)},where z ₁ is an arbitrary fixed point of the disk |z| < 1; f ∈ T,and the class T consists of all the functions f(z) = z + c ₂ z ² + c ₃z³ + ⋯ regular in the disk |z| < 1 that satisfy the condition Im z · Im f(z) > 0 for Im z ≠ 0. The region of values of f′(z ₁) in the subclass of functions f ∈ T with prescribed values c ₂, c ₃, and f(z ₁) is determined. Bibliography: 10 titles.     

A Richardson scheme of the decomposition method for solving singularly perturbed parabolic reaction-diffusion equation

For the one-dimensional singularly perturbed parabolic reaction-diffusion equation with a perturbation parameter ɛ, where ɛ ∈ (0, 1], the grid approximation of the Dirichlet problem on a rectangular domain in the (x, t)-plane is examined. For small ɛ, a parabolic boundary layer emerges in a neighborhood of the lateral part of the boundary of this domain. A new approach to the construction of ɛ-uniformly converging difference schemes of higher accuracy is developed for initial boundary value problems. The asymptotic construction technique is used to design the base decomposition scheme within which the regular and singular components of the grid solution are solutions to grid subproblems defined on uniform grids. The base scheme converges ɛ-uniformly in the maximum norm at the rate of O(N ⁻²ln² N + N ₀⁻¹), where N + 1 and N ₀ + 1 are the numbers of nodes in the space and time meshes, respectively. An application of the Richardson extrapolation technique to the base scheme yields a higher order scheme called the Richardson decomposition scheme. This higher order scheme convergesɛ-uniformly at the rate of O(N ⁻⁴ln⁴ N + N ₀⁻²). For fixed values of the parameter, the convergence rate is O(N ⁻⁴ + N ₀⁻²).     

Rank-one cross commutators on backward shift invariant subspaces on the bidisk

For a backward shift invariant subspace N in H^2（Г^2）, the operators Sz and Sw on N are defined by Sz = PNTz｜N and Sw, = PNTw｜N, where PN is the orthogonal projection from L^2（Г^2） onto N. We give a characterization of N satisfying rank [Sz, Sw^＊] = 1.     

The region of values of the system {ƒ(z1), …, ƒ(zn)} in the class of typically real functions. II

The paper studies the region of values D_m,1(T) of the system {ƒ(z₁), ƒ(z₂), …, ƒ(zm), ƒ(r)}, m e 1, where z_j (j = 1, 2, …,m) are arbitrary fixed points of the disk U = {z: |z| < 1} with Im zj ≠ 0 (j = 1, 2, …,m), and r, 0 < r < 1, is fixed, in the class T of functions ƒ(z) = z+a₂z²+ ⋯ regular in the disk U and satisfying in the latter the condition Im ƒ(z) Imz > 0 for Im z ≠ 0. An algebraic characterization of the set D_m,1(T) in terms of nonnegative-definite Hermitian forms is given, and all the boundary functions are described. As an implication, the region of values of ƒ(z_m) in the subclass of functions from the class T with prescribed values ƒ(z_k) (k = 1, 2, …,m − 1) and ƒ(r) is determined. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 323, 2005, pp. 24–33. Original article submitted June 13, 2005.     

Asymptotics of Recurrence Relation Coefficients,Hankel Determinant Ratios,and Root Products Associated with Laurent Polynomials Orthogonal with Respect to Varying Exponential Weights

Let Λ^ℝ denote the linear space over ℝ spanned by z ^k , k∈ℤ. Define the real inner product 〈⋅,⋅〉 _L :Λ^ℝ×Λ^ℝ→ℝ, , N∈ℕ, where V satisfies: (i) V is real analytic on ℝ∖{0}; (ii) lim  _{| x |→∞}(V(x)/ln (x ²+1))=+∞; and (iii) lim  _{| x |→0}(V(x)/ln (x ⁻²+1))=+∞. Orthogonalisation of the (ordered) base with respect to 〈⋅,⋅〉 _L yields the even degree and odd degree orthonormal Laurent polynomials (OLPs) : φ _2n (z)=∑ _k=−n ⁿ ξ _k ⁽²ⁿ⁾ z ^k , ξ _n ⁽²ⁿ⁾>0, and φ _2n+1(z)=∑ _k=−n−1 ⁿ ξ _k ⁽²ⁿ⁺¹⁾ z ^k , ξ _−n−1⁽²ⁿ⁺¹⁾>0. Associated with the even degree and odd degree OLPs are the following two pairs of recurrence relations: z φ _2n (z)=c _2n ^♯ φ _2n−2(z)+b _2n ^♯ φ _2n−1(z)+a _2n ^♯ φ _2n (z)+b _2n+1 ^♯ φ _2n+1(z)+c _2n+2 ^♯ φ _2n+2(z) and z φ _2n+1(z)=b _2n+1 ^♯ φ _2n (z)+a _2n+1 ^♯ φ _2n+1(z)+b _2n+2 ^♯ φ _2n+2(z), where c ₀ ^♯ =b ₀ ^♯ =0, and c _2k ^♯ >0, k∈ℕ, and z ⁻¹ φ _2n+1(z)=γ _2n+1 ^♯ φ _2n−1(z)+β _2n+1 ^♯ φ _2n (z)+α _2n+1 ^♯ φ _2n+1(z)+β _2n+2 ^♯ φ _2n+2(z)+γ _2n+3 ^♯ φ _2n+3(z) and z ⁻¹ φ _2n (z)=β _2n ^♯ φ _2n−1(z)+α _2n ^♯ φ _2n (z)+β _2n+1 ^♯ φ _2n+1(z), where β ₀ ^♯ =γ ₁ ^♯ =0, β ₁ ^♯ >0, and γ _2l+1 ^♯ >0, l∈ℕ. Asymptotics in the double-scaling limit N,n→∞ such that N/n=1+o(1) of the coefficients of these two pairs of recurrence relations, Hankel determinant ratios associated with the real-valued, bi-infinite strong moment sequence , and the products of the (real) roots of the OLPs are obtained by formulating the even degree and odd degree OLP problems as matrix Riemann-Hilbert problems on ℝ, and then extracting the large-n behaviours by applying the non-linear steepest-descent method introduced in (Ann. Math. 137(2):295–368, [1993]) and further developed in (Commun. Pure Appl. Math. 48(3):277–337, [1995]) and (Int. Math. Res. Not. 6:285–299, [1997]).      

Differential subordinations concerning starlike functions

Denote byS ^* (⌕), (0≤⌕<1), the family consisting of functionsf(z)=z+a ₂z²+...+a_nzⁿ+... that are analytic and starlike of order ⌕, in the unit disc ⋎z⋎<1. In the present article among other things, with very simple conditions on μ, ⌕ andh(z) we prove the f’(z) (f(z)/z)^μ−1<h(z) implies f∈S^*(⌕). Our results in this direction then admit new applications in the study of univalent functions. In many cases these results considerably extend the earlier works of Miller and Mocanu [6] and others.     

A unified approach for univalent functions with negative coefficients using the Hadamard product

For given analytic functions ϕ(z) = z + Σ _n=2^∞ λ _n z ⁿ , Ψ(z) = z + Σ _n=2^∞ μ with λ _n ≥ 0, μ _n ≥ 0, and λ _n ≥ μ _n and for α, β (0≤α<1, 0<β≤1), let E(φ,ψ; α, β) be of analytic functions ƒ(z) = z + Σ _n=2^∞ a _n z ⁿ in U such that f(z)*ψ(z)≠0 and

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

Connecting rational homotopy type singularities

Let N be a compact simply connected smooth Riemannian manifold and, for p ∈ {2,3,...}, W ^1,p (R ^p+1, N) be the Sobolev space of measurable maps from R ^p+1 into N whose gradients are in L ^p . The restriction of u to almost every p-dimensional sphere S in R ^p+1 is in W ^1,p (S, N) and defines an homotopy class in π _p (N) (White 1988). Evaluating a fixed element z of Hom(π _p (N), R) on this homotopy class thus gives a real number Φ _z,u (S). The main result of the paper is that any W ^1,p -weakly convergent limit u of a sequence of smooth maps in C ^∞(R ^p+1, N), Φ _z,u has a rectifiable Poincaré dual . Here Γ is a a countable union of C ¹ curves in R ^p+1 with Hausdorff -measurable orientation and density function θ: Γ→R. The intersection number between and S evaluates Φ _z,u (S), for almost every p-sphere S. Moreover, we exhibit a non-negative integer n _z , depending only on homotopy operation z, such that even though the mass may be infinite. We also provide cases of N, p and z for which this rational power p/(p + n _z ) is optimal. The construction of this Poincaré dual is based on 1-dimensional “bubbling” described by the notion of “scans” which was introduced in Hardt and Rivière (2003). We also describe how to generalize these results to R ^m for any m ⩾ p + 1, in which case the bubbling is described by an (m–p)-rectifiable set with orientation and density function determined by restrictions of the mappings to almost every oriented Euclidean p-sphere.     

The Generalised Dyson Circular Unitary Ensemble: Asymptotic Distribution of the Eigenvalues at the Origin of the Spectrum

The first part of this paper is devoted to the study of F_N{\Phi_N} the orthogonal polynomials on the circle, with respect to a weight of type f = (1 − cos θ) ^α c where c is a sufficiently smooth function and ${\alpha > -\frac{1}{2}}${\alpha > -\frac{1}{2}}. We obtain an asymptotic expansion of the coefficients F^*(p)_N(1){\Phi^{*(p)}_{N}(1)} for all integer p where F^*_N{\Phi^*_N} is defined by F^*_N (z) = z^N [`(F)]_N(\frac1z) (z 1 0){\Phi^*_N (z) = z^N \bar \Phi_N(\frac{1}{z})\ (z \not=0)}. These results allow us to obtain an asymptotic expansion of the associated Christofel–Darboux kernel, and to compute the distribution of the eigenvalues of a family of random unitary matrices. The proof of the results related to the orthogonal polynomials are essentially based on the inversion of the Toeplitz matrix associated to the symbol f.     

A Remark on the Linearized Stability of Positive Solutions for Systems Involving the p-Laplacian

The aim of this paper is to prove some stability result for nonlinear elliptic systems of the form where Δ_p denotes the p-Laplacian operator defined by Δ_pz = div(|∇ z|^p-2∇ z); p > 2, Ω is a bounded domain in R^N (N > 1) with smooth boundary where with h = 1 when α = 1, λ is a positive parameter and f,g are C² functin on [0,∞) × [0,∞). We prove stability and instability results of positive stationary solutions under various choices of f and g.     

Tame Sets in the Complement of Algebraic Variety

Let A?? ^N be an algebraic variety with dim?A≤N?2. Given discrete sequences {a _j },{b _j }?? ^N \ A with slow growth ( $\sum_{j}{1\over|a_{j}|^{2}}<\infty,\sum_{j}{1\over |b_{j}|^{2}}<\inftyLet A⊂ℂ ^N be an algebraic variety with dim A≤N−2. Given discrete sequences {a _j },{b _j }⊂ℂ ^N \ A with slow growth ( ?_j[1/(|a_j|²)] < ￥,?_j[1/(|b_j|²)] < ￥\sum_{j}{1\over|a_{j}|^{2}}<\infty,\sum_{j}{1\over |b_{j}|^{2}}<\infty ) we construct a holomorphic automorphism F with F(z)=z for all z∈A and F(a _j )=b _j for all j∈ℕ. Additional approximation of a given automorphism on a compact polynomially convex set, fixing A, is also possible. Given unbounded analytic variety A there is a tame set E such that F(E)≠{(j,0 ^N−1):j∈ℕ} for all automorphisms F with F| _A =id. As an application we obtain an embedding of a Stein manifold into the complement of an algebraic variety in ℂ ^N with interpolation on a given discrete set.     

On generalized shift bases for the wiener disc algebra

LetW(D) denote the set of functionsf(z)=Σ _n=0 ^∞ A _n Z ⁿ a _nzⁿ for which Σ_n=0 ^∞|a _n |<+∞. Given any finite set lcub;f _i (z)rcub; _i=1 ⁿ inW(D) the following are equivalent: (i) The generalized shift sequence lcub;f ₁(z)z ^kn ,f ₂(z)z ^kn+1, …,f _n (z)z ^(k+1)n−1rcub; _k=0 ^∞ is a basis forW(D) which is equivalent to the basis lcub;z ^m rcub; _m=0 ^∞ . (ii) The generalized shift sequence is complete inW(D), (iii) The function has no zero in |z|≦1, wherew=e ^2πiti /n.     

A reverse Denjoy theorem II

For α satisfying 0 < α < π, suppose that C ₁ and C ₂ are rays from the origin, C ₁: z = re ^i(π−α) and C ₂: z = re ^i(π+α), r ≥ 0, and that D = {z: | arg z − π| < α}. Let u be a nonconstant subharmonic function in the plane and define B(r, u) = sup_|z|=r u(z) and A _D (r, u) = $ \inf _{z \in \bar D_r } $ \inf _{z \in \bar D_r } u(z), where D _r = {z: z ∈ D and |z| = r}. If u(z) = (1 + o(1))B(|z|, u) as z → ∞ on C ₁ ∪ C ₂ and A _D (r, u) = o(B(r, u)) as r → ∞, then the lower order of u is at least π/(2α).