Quasisymmetric geometry of the Julia sets of McMullen maps

We study the quasisymmetric geometry of the Julia sets of McMullen maps f_λ(z) = z^m + λ/z^?, where λ ∈ ? {0} and ? and m are positive integers satisfying 1/?+1/m < 1. If the free critical points of f_λ are escaped to the infinity, we prove that the Julia set J_λ of f_λ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a suffcient condition on λ such that J_λ is a Sierpiński carpet and prove that most of them are quasisymmetrically equivalent to some round carpets. In particular, there exist infinitely renormalizable rational maps whose Julia sets are quasisymmetrically equivalent to the round carpets.     

Approximation properties of sums of the form Σ k λ k h(λ k z)

A method for approximating functions f analytic in a neighborhood of the point z = 0 by finite sums of the form Σ _k λ _k h(λ _k z) is proposed, where h is a chosen function analytic on the unit disk and the approximation is carried out by choosing the complex numbers λ _k = λ _k (f). Some applications to numerical analysis are given.     

Parabolic Implosion and Julia-Lavaurs Sets in the Exponential Family

We deal with all the maps from the exponential family f _ε(z) = (e ⁻¹ + ε)exp(z), with ε ≥ 0. Let h _ε = HD(J _r,ε) be the Hausdorff dimension of the radial Julia sets J _r,ε. Observing the phenomenon of parabolic implosion, it is shown that the function ε ↦ h _ε is not continuous from the right.     

A Functional Equation Of J.A. Baker Involving Integral Means

The functional equation $$f(x)={1\over 2}\int^{x+1}_{x-1}f(t)\ dt\ \ \ {\rm for}\ \ \ x\ \in\ {\rm R}$$ has the linear functions ?(x) = a + bx (a, b ∈ ?) as trivial solutions. It is shown that there are two kinds of nontrivial solutions, (i) ?(x) = eλ_i ^x (i = 1, 2, …), where the λ_i∈ ? are the fixed points of the map z ? sinh z, and (ii) C^∞-solutions ? for which the values in the interval [?1,1] can be prescribed arbitrarily, but with the provision that ?^(j)(? 1) = ?^(j)(0) = ?^(j)(1) = 0 for all j = 0, 1, 2 …     

Parabolic Implosion and Julia-Lavaurs Sets in the Exponential Family

We deal with all the maps from the exponential family f _ε(z) = (e ⁻¹ + ε)exp(z), with ε ≥ 0. Let h _ε = HD(J _r,ε) be the Hausdorff dimension of the radial Julia sets J _r,ε. Observing the phenomenon of parabolic implosion, it is shown that the function ε ↦ h _ε is not continuous from the right. The research of the first author was supported in part by the NSF Grant DMS 0100078.     

The inverse of a matrix polynomial

An explicit representation is obtained for P(z)^?1 when P(z) is a complex n×n matrix polynomial in z whose coefficient of the highest power of z is the identity matrix. The representation is a sum of terms involving negative powers of z?λ for each λ such that P(λ) is singular. The coefficients of these terms are generated by sequences u_k, v_k of 1×n and n×1 vectors, respectively, which satisfy u₁≠0, v₁≠0, ∑^k?1_h=0(1?h!)u_k?hP^(h)(λ)=0, ∑^k?1_h=0(1?h!)P^(h)(λ)v_k?h=0, and certain orthogonality relations. In more general cases, including that when P(z) is analytic at λ but not necessarily a polynomial, the terms in the representation involving negative powers of z?λ provide the principal part of the Laurent expansion for P(z)^?1 in a punctured neighborhood of z=λ.     

Jordan form of the difference of projectors

The Jordan canonical form of the difference of projectors P — Q for the eigenvalues λ ≠ ?1, 0, 1 is proved to be made up of pairs of Jordan blocks; i.e., if there are several blocks J _k (λ), then there are exactly the same number of blocks J _k (?λ). For a block J _k (±1) with k > 1, there is necessarily a pair block J _l (?1), where |k — l| < 1.     

Implicit differential equations with impasse singularities and singular perturbation problems

This paper concerns families of constrained differential systems having the form {fx1-1} where h: ? ⁿ → ? is a C ^r -function, (α ₁, …, α _n ) is a C ^r vector field on ? ⁿ , r ≥ 1, x ∈ ? ⁿ and λ is a real parameter. Using singular perturbation techniques we present some results on the dynamics of the system around a point (x, λ) of the impasse set λ = h(x). In addition, planar constrained systems with non-regular impasse surfaces are considered.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ?_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ? ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ?_q,1(B _n )- module D^λ remains irreducible on restriction to ?_q(D _n ).     

On the set J(v) for Steiner Quadruple systems of order v = 2n with n⩾4

In the area of the Block-Intersection problem for Steiner Quadruple Systems (see [4, 5]), we prove that q₁₆?37 = 103 and q₁₆?29 = 111 ?J (16), and that q_v?h?J(v) for h = 21, 25, v = 2ⁿ and n?4.     

A constructive approximation theorem for the oblique derivative problem in potential theory

The (exterior) oblique derivative problem of potential theory is considered where l is a C^(1,λ)-vector field on a regular boundary ?G_e in Euclidean space R ³ and the direction l at any point of ?G_e forms with the outside normal n an angle ? (l, n) satisfying cos ? (l, n) ≥ c > 0. An approximation of the uniquely determined solution is given by use of trial functions {Φ_n}_n=0,1,… harmonic in some region containing G _e and suitable for numerical purpose (for instance: solid spherical harmonics, certain sequences of fundamental solutions). The system {l▽Φ_n+hΦ_n}_n=0,1,… defined on ?G_e is shown to be closed and complete in the pre-Hilbert space C^(0,λ)(?G_e) of λ-Hölder continuous functions.     

Handcuffed designs

Handcuffed designs are a particular case of block designs on graphs. A handcuffed design with parametersv, k, λ consists of a system of orderedk-subsets of av-set, called handcuffed blocks. In a block {A ₁,A ₂,?, A _k } each element is assumed to be handcuffed to its neighbours and the block containsk ? 1 handcuffed pairs (A ₁,A ₂), (A ₂,A ₃), ? (A _k?1,A _k ). These pairs are considered unordered. The collection of handcuffed blocks constitute a hundcuffed design if the following are satisfied: (1) each element of thev-set appears amongst the blocks the same number of times (and at most once in a block) and (2) each pair of distinct elements of thev-set are handcuffed in exactly λ of the blocks. If the total number of blocks isb and each element appears inr blocks the following conditions are necessary for the handcuffed design to exist:

1. λv(v?1) = (k?1) b,
2. rv = kb.

We denote byH(v, k, λ) the class of all handcuffed designs with parametersv, k, λ and sayH (v, k, λ) exists if there is a design with parametersv, k, λ. In this paper we prove that the necessary conditions forH (v, k, λ) exist are also sufficient in the following cases: (a)λ = 1 or 2; (b)k = 3; (c)k is evenk = 2h, and (λ, 2h ? 1) = 1; (d)k is odd,k = 2h + 1, and (λ, 4h)=2 or (λ, 4h)=1.     

A periodicity lemma in linear diophantine analysis

Let g = (g₁,…,g_r) ≥ 0 and h = (h₁,…,h_r) ≥ 0, g_?, h_? ∈ $\text{J}$, be two vectors of nonnegative integers and let λ ? $\text{J}$, λ ≥ 0, λ ≡ 0 mod d, where d denotes g.c.d. (g₁,…,g_r). Define

$\text{Δ(λ)=Δ(λg,h):=}\text{min}\text{∑}\text{?=1}\text{r}\text{x}{}_{\mathrm{?}}\text{h}{}_{\mathrm{?}}\text{:x}{}_{\mathrm{?}}\text{?0,x}{}_{\mathrm{?}}\text{∈J,}\text{∑}\text{?=1}\text{?}\text{x}{}_{\mathrm{?}}\text{g}{}_{\mathrm{?}}\text{=λ}$

It is shown in this paper that Λ(λ) is periodic in λ with constant jump. If i? {1,…,r} is such that

$\text{det}\text{g}{}_{\mathrm{i}}\text{h}{}_{\mathrm{i}}\text{g}{}_{\mathrm{?}}\text{h}{}_{\mathrm{?}}\text{? (?1,…r)}$

then

$\text{Δ(λ)+g}{}_{\mathrm{i}}\text{Δ(λ)+h}{}_{\mathrm{i}}$

holds true for all sufficiently large λ, λ ≡ 0 mod d.     

Factored forms for solutions of AX − XB = C and X − AXB = C in companion matrices

The main concern of this paper is linear matrix equations with block-companion matrix coefficients. It is shown that general matrix equations AX ? XB = C and X ? AXB = C can be transformed to equations whose coefficients are block companion matrices: $\text{C}\text{?}{}_{\mathrm{L}}\text{X?XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$ and $\text{X?}\text{C}\text{?}{}_{\mathrm{L}}\text{XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$, respectively, where ?_L and C_M stand for the first and second block-companion matrices of some monic r × r matrix polynomials L(λ) = λ^sI + Σ^s?1_j=0λ^jL_j and M(λ) = λ^tI + Σ^t7minus;1_j=0λ^jM_j. The solution of the equat with block companion coefficients is reduced to solving vector equations Sx = ?, where the matrix S is r²l × r²l[l = max(s, t)] and enjoys some symmetry properties.     

Nontrivial expansions of zero and absolutely representing systems

В статье дается описа ние общего вида абсол ютно сходящегося в локаль но выпуклом пространствеH разлож ения нуля по системе ?_Λ:={e(λ_k)} _k=1 ^∞ , где ?λ∈CMe(λ) = λe(λ)M-линейный непрерывны й оператор вH иλ _k ∈C. При дополнительных пред положениях выясняет ся связь между наличием вH такого разложения нуля по системе ?_Λ и тем, что ?_Λ я вляется абсолютно представл яющей системой вH.     

A Hard-Core Model on a Cayley Tree: An Example of a Loss Network

The paper is about a nearest-neighbor hard-core model, with fugacity λ>0, on a homogeneous Cayley tree of order k(with k+1 neighbors). This model arises as as a simple example of a loss network with a nearest-neighbor exclusion. We focus on Gibbs measures for the hard core model, in particular on ‘splitting’ Gibbs measures generating a Markov chain along each path on the tree. In this model, ?λ>0 and k≥1, there exists a unique translation-invariant splitting Gibbs measure μ^*. Define λ_c=1/(k?1)×(k/(k?1)) ^k . Then: (i) for λ≤λ_c, the Gibbs measure is unique (and coincides with the above measure μ^*), (ii) for λ>λ_c, in addition to μ^*, there exist two distinct translation-periodic measures, μ₊and μ_?, taken to each other by the unit space shift. Measures μ₊and μ_?are extreme ?λ>λ_c. We also construct a continuum of distinct, extreme, non-translational-invariant, splitting Gibbs measures. For $\lambda >1/(\sqrt k - 1) \times (\sqrt k /\sqrt k - 1))^k $ , measure μ^*is not extreme (this result can be improved). Finally, we consider a model with two fugacities, λ_eand λ_o, for even and odd sites. We discuss open problems and state several related conjectures.     

Convergent expansions of the Bessel functions in terms of elementary functions

We consider the Bessel functions J _ν (z) and Y _ν (z) for R ν > ?1/2 and R z ≥ 0. We derive a convergent expansion of J _ν (z) in terms of the derivatives of \((\sin z)/z\), and a convergent expansion of Y _ν (z) in terms of derivatives of \((1-\cos z)/z\), derivatives of (1 ? e ^?z )/z and Γ(2ν, z). Both expansions hold uniformly in z in any fixed horizontal strip and are accompanied by error bounds. The accuracy of the approximations is illustrated with some numerical experiments.     

Precise Spectral Asymptotics for the Dirichlet Problem − u″(t) + g(u(t)) = λsinu(t)

We consider the nonlinear eigenvalue problem on an interval−u″(t)+g(u(t))=λsinu(t),u(t)>0,t∈I:=(−T,T),u(±T)=0,where λ > 0 is a parameter and T > 0 is a constant. It is known that if λ ? 1, then the corresponding solution has boundary layers. In this paper, we characterize λ by the boundary layers of the solution when λ ? 1 from a variational point of view. To this end, we parameterize a solution pair (λ, u) by a new parameter 0 < ?< T, which characterizes the boundary layers of the solution, and establish precise asymptotic formulas for λ(?) with exact second term as ? → 0. It turns out that the second term is a constant which is explicitly determined by the nonlinearity g.     

Vanishing exponential integrability for functions whose gradients belong to L(log(e+L))

If the gradient of u(x) is nth power locally integrable on Euclidean n-space, then the integral average over a ball B of the exponential of a constant multiple of |u(x)−u_B|^n/(n−1), u_B=average of u over B, tends to 1 as the radius of B shrinks to zero—for quasi almost all center points. This refines a result of N. Trudinger (1967). We prove here a similar result for the class of gradients in Lⁿ(log(e+L))^α, 0?α?n−1. The results depend on a capacitary strong-type inequality for these spaces.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.