Some estimation theory on the sphere

Summary We consider distributions with densities of the formf(μ′x) andf(‖x _v ‖) where μ andx are unit vectors inR ^q and ‖x _v ‖ is the norm of the part ofx in somes dimensional subspaceV ofR ^q . For several loss functions, optimal Bayesian and Pitman estimators of μ andV are given. When uniform priors are used, these estimators are identical. Then the infinitesimal robustness characteristics of several special cases of these estimators are calculated.     

Asymptotic behavior of solutions for a class of retarded difference equations

Consider the retarded difference equationx _n −x _n−1 =F(−f(x _n )+g(x _n−k )), wherek is a positive integer,F,f,g:R→R are continuous,F andf are increasing onR, anduF(u)>0 for allu≠0. We show that whenf(y)≥g(y) (resp. f(y)≤g(y)) fory∈R, every solution of (*) tends to either a constant or −∞ (resp. ∞) asn→∞. Furthermore, iff(y)≡g(y) fory∈R, then every solution of (*) tends to a constant asn→∞. Project supported by NNSF (19601016) of China and NSF (97-37-42) of Hunan     

Isometric approximation

Suppose thatA ⊂R ⁿ is a bounded set of diameter 1 and that:f:A →l ₂ is a map satisfying the nearisometry condition |x−y|−ɛ≤|fx−fy|≤|x−y|+ɛ withɛ≤1. Then there is an isometryS:A →l ₂ such that |Sx−fx|≤c _n √ɛ for allx inA. IfA satisfies a thickness condition and iff:A →R ⁿ , then there is an isometryS:R ⁿ →R ⁿ with |Sx−fx|≤c _nɛ/q, whereq is a thickness parameter.     

Perturbed boundary eigenvalue problem for the Schrödinger operator on an interval

A perturbed two-parameter boundary value problem is considered for a second-order differential operator on an interval with Dirichlet conditions. The perturbation is described by the potential μ⁻¹ V((x − x ₀)ɛ⁻¹), where 0 < ɛ ≪ 1 and μ is an arbitrary parameter such that there exists δ > 0 for which ɛ/μ = o(ɛ^δ). It is shown that the eigenvalues of this operator converge, as ɛ → 0, to the eigenvalues of the operator with no potential. Complete asymptotic expansions of the eigenvalues and eigenfunctions of the perturbed operator are constructed.     

Vague convergence of sums of independent random variables

A sequence (μ _n) of probability measures on the real line is said to converge vaguely to a measureμ if∫ fdμ _n →∫ fdμ for every continuous functionf withcompact support. In this paper one investigates problems analogous to the classical central limit problem under vague convergence. Let ‖μ‖ denote the total mass ofμ andδ ₀ denote the probability measure concentrated in the origin. For the theory of infinitesimal triangular arrays it is true in the present context, as it is in the classical one, that all obtainable limit laws are limits of sequences of infinitely divisible probability laws. However, unlike the classical situation, the class of infinitely divisible laws is not closed under vague convergence. It is shown that for every probability measureμ there is a closed interval [0,λ], [0,e ⁻¹] ⊂ [0,λ] ⊂ [0, 1], such thatβμ is attainable as a limit of infinitely divisible probability laws iffβ ε [0,λ]. In the independent identically distributed case, it is shown that if (x ₁ + ... +x _n)/a _n, a_n → ∞, converges vaguely toμ with 0<‖μ‖<1, thenμ=‖μ‖δ ₀. If furthermore the ratiosa _n+1/a _n are bounded above and below by positive numbers, thenL(x)=P[|X ₁|>x] is a slowly varying function ofx. Conversely, ifL(x) is slowly varying, then for everyβ ε (0, 1) one can choosea _n → ∞ so that the limit measure=βδ ₀. To the memory of Shlomo Horowitz This research was partially supported by the National Science Foundation.     

Cohomology classes of dynamically non-negative Ck functions

Let T:x↦2x (mod 1) be the doubling map of the circle ?=ℝ/ℤ. We construct a trigonometric polynomial f:?→ℝ with the following property: ∫f  dμ≥0 for every T-invariant probability measure μ, so that f is cohomologous to a non-negative Lipschitz function, yet f is not cohomologous to any non-negative C ¹ function. Oblatum 28-VI-2001 & 4-X-2001?Published online: 18 January 2002     

On Small Deviations of Series of Weighted Random Variables

Let ξ,ξ ₁,ξ ₂,… be positive i.i.d. random variables, S=∑ _j=1^∞ a(j)ξ _j , where the coefficients a(j)≥0 are such that P(S<∞)=1. We obtain an explicit form of the asymptotics of −ln P(S<x) as x→0 for the following three cases:

Metrizability and Coconnectedness

Solving the problem stated in Sichler and Trnková, Topol. Its Appl., 142: 159–179, 2004, we construct metrics μ, ν on a set P such that the spaces X=(P,μ) and Y=(P,ν) have the same monoid of all continuous selfmaps, the space Y is coconnected (in the sense that every continuous map Y×Y→Y depends on at most one coordinate) while X is not. Also, properties of the forgetful functors Metr → Unif → Top are investigated for the “simultaneous variant” of the above problem. Supported by the Grant Agency of Czech Republic under grant 201/06/0664 and by the project of Ministry of Education of Czech Republic MSM 0021620839.     

On the abelian fundamental group scheme of a family of varieties

Let S be a connected Dedekind scheme and X an S-scheme provided with a section x. We prove that the morphism between fundamental group schemes π ₁(X, x) ^ab → π ₁(Alb _X/S , 0_AlbX/S{0_{{\rm{Al}}{{\rm{b}}_{X/S}}}}) induced by the canonical morphism from X to its Albanese scheme Alb _X/S (when the latter exists) fits in an exact sequence of group schemes 0 → (NS _X/S ^τ )^⋎ → π ₁(X, x) ^ab → π ₁(Alb _X/S , 0_AlbX/S{0_{{\rm{Al}}{{\rm{b}}_{X/S}}}}) → 0, where the kernel is a finite and flat S-group scheme. Furthermore, we prove that any finite and commutative quotient pointed torsor over the generic fiber X _η of X can be extended to a finite and commutative pointed torsor over X.     

On weighted positivity and the Wiener regularity of a boundary point for the fractional Laplacian

A sufficient condition for the Wiener regularity of a boundary point with respect to the operator (− Δ)^μ inR ⁿ ,n≥1, is obtained, for μ∈(0,1/2n)/(1,1/2n−1). This extends some results for the polyharmonic operator obtained by Maz'ya and Maz'ya-Donchev. As in the polyharmonic case, the proof is based on a weighted positivity property of (− Δ)^μ, where the weight is a fundamental solution of this operator. It is shown that this property holds for μ as above while there is an interval [A _n , 1/2n−A _n ], whereA _n →1, asn→∞, with μ-values for which the property does not hold. This interval is non-empty forn≥8.     

Augmented group systems and shifts of finite type

Let (G, χ, x) be a triple consisting of a finitely presented groupG, epimorphism χ:G →Z, and distinguished elementx ∈G such that χ(x)=1. Given a finite symmetric groupS _r, we construct a finite directed graph Γ that describes the set Φ _r of representations π: Ker χ →S _r as well as the mapping σ _x :Φ _r →Φ _r defined by (σ _x ϱ)(a) = ϱ(x ⁻¹ ax) for alla ∈ Ker χ. The pair (Φ _r ,σ _x has the structure of a shift of finite type, a well-known type of compact 0-dimensional dynamical system. We discuss basic properties and applications of therepresentation shift (Φ _r ,σ _x ), including applications to knot theory.     

Admissible functions with multiple discontinuities

LetT be the unit circle, α irrational andF: T → R a step function. A necessary and sufficient condition for the skew of the α-rotation byf (considered as taking values mod 1) to be minimal is given. Also, the boundedness of Σ _i=1 ⁿ f(x+iα asn → α is resolved.     

Solution to the boundary blowup problem for k-curvature equation

We consider the boundary blowup problem for k-curvature equation, i.e., H _k [u] = f(u) g(|Du|) in an n-dimensional domain Ω, with the boundary condition u(x) → ∞ as dist (x,∂Ω) → 0. We prove the existence result under some hypotheses. We also establish the asymptotic behavior of a solution near the boundary ∂Ω. Mathematics Subject Classification (2000) 35J65, 35B40, 53C21     

Instability of Set Recurrence and Green’s Function on Groups with the Liouville Property

Let μ and ν be probability measures on a group Γ and let G _μ and G _ν denote Green’s function with respect to μ and ν. The group Γ is said to admit instability of Green’s function if there are symmetric, finitely supported measures μ and ν and a sequence {x _n } such that G _μ (e, x _n )/G _ν (e,x _n ) →0, and Γ admits instability of recurrence if there is a set S that is recurrent with respect to ν but transient with respect to μ. We give a number of examples of groups that have the Liouville property but have both types of instabilities. Previously known groups with these instabilities did not have the Liouville property.     

A Maximal Function Approach to Christoffel Functions and Nevai��s Operators

Let μ be a compactly supported positive measure on the real line, with associated Christoffel functions λ _n (d μ,⋅). Let g be a measurable function that is bounded above and below on supp[μ] by positive constants. We show that λ _n (g  d μ,⋅)/λ _n (d μ,⋅)→g in measure in {x:μ′(x)>0} and consequently in all L _p norms, p<∞. The novelty is that there are no local or global restrictions on μ. The main idea is a new maximal function estimate for the “tail” in Nevai’s operators.     

Random perturbations of transformations of an interval

Let μ^ε be invariant measures of the Markov chainsx _n ^F which are small random perturbations of an endomorphismf of the interval [0,1] satisfying the conditions of Misiurewicz [6]. It is shown here that in the ergodic case μ^ε converges as ε→0 to the smoothf-invariant measure which exists according to [6]. This result exhibits the first example of stability with respect to random perturbations while stability with respect to deterministic perturbations does not take place.     

Sharp estimation of the almost-sure Lyapunov exponent for the Anderson model in continuous space

In this article we study the exponential behavior of the continuous stochastic Anderson model, i.e. the solution of the stochastic partial differential equation u(t,x)=1+∫₀^tκΔ_xu (s,x) ds+∫₀^t W(ds,x) u (s,x), when the spatial parameter x is continuous, specifically x∈R, and W is a Gaussian field on R₊×R that is Brownian in time, but whose spatial distribution is widely unrestricted. We give a partial existence result of the Lyapunov exponent defined as lim_t→∞t⁻¹ log u(t,x). Furthermore, we find upper and lower bounds for lim sup_t→∞t⁻¹ log u(t,x) and lim inf_t→∞t⁻¹ log u(t,x) respectively, as functions of the diffusion constant κ which depend on the regularity of W in x. Our bounds are sharper, work for a wider range of regularity scales, and are significantly easier to prove than all previously known results. When the uniform modulus of continuity of the process W is in the logarithmic scale, our bounds are optimal. This author's research partially supported by NSF grant no. : 0204999     

Remarks on the uniqueness of comparable renormalized solutions of elliptic equations with measure data

We give a partial uniqueness result concerning comparable renormalized solutions of the nonlinear elliptic problem -div(a(x,Du))=μ in Ω, u=0 on ∂Ω, where μ is a Radon measure with bounded variation on Ω. Received: December 27, 2000 Published online: December 19, 2001     

On the Derivations of Semiprime Rings and Noncommutative Banach Algebras

Abstract Let A be a noncommutative Banach algebra. Suppose there exists a continuous linear Jordan derivation D : A→A such that [D(x), x]D(x)[D(x),x] ∈ rad(A) for all x∈A. In this case, D(A) ⊆ rad (A). The author has been supported by Kangnung National University, Research Fund, 1998     

Positive Solutions to a Neumann Problem of Semilinear Elliptic System with Critical Nonlinearity

In this paper, we consider the Neumann boundary value problem for a system of two elliptic equations involving the critical Sobolev exponents. By means of blowing-up method, we obtain behavior of positives with low energy and asymptotic behavior of positive solutions with minimum energy as the parameters λ,μ→∞.