On maximal injective subalgebras in a <Emphasis Type="Italic">w</Emphasis>Γ factor

Let (F _ℚ) × _α ℤ be the crossed product von Neumann algebra of the free group factor (F _ℚ), associated with the left regular representation λ of the free group F _ℚ with the set {u _r : r ∈ ℚ} of generators, by an automorphism α defined by α(λ(u _r )) = exp(2πri)λ(u _r ), where ℚ is the rational number set. We show that (F _ℚ) × _α ℤ is a wΓ factor, and for each r ∈ ℚ, the von Neumann subalgebra generated in (F _ℚ) × _α ℚ by λ(u _r ) and υ is maximal injective, where υ is the unitary implementing the automorphism α. In particular, (F _ℚ) × _α ℣ is a wΓ factor with a maximal abelian selfadjoint subalgebra which cannot be contained in any hyperfinite type II₁ subfactor of (F _ℚ) × _α ℚ. This gives a counterexample of Kadison’s problem in the case of wΓ factor. This work was supported by the National Natural Science Foundation of China (Grant Nos. 10201007, A0324614) and the Natural Science Foundation of Shandong Province (Grant No. Y2006A03)     

The minimal sublinear expectations and their related properties

In this paper, we prove that for a sublinear expectation ɛ[·] defined on L ²(Ω,), the following statements are equivalent:

A note on the crossed product $$ \mathcal{R}(\mathcal{A},\alpha ) $$ associated with PSL2(ℝ)

Given the hyperbolic measure dxdy/y ² on the upper half plane ℍ, the rational actions of PSL₂(ℝ) on ℍ induces a continuous unitary representation α of this group on the Hilbert space L ²(ℍ, dxdy/y ²). Supposing that = {M _f : f ∈ L ^∞ (ℍ, dxdy/y ²)}, we show that the crossed product is of type I. In fact, the crossed product is *-isomorphic to the von Neumann algebra , where is the abelian group von Neumann algebra generated by the left regular representation of K. This work was supported by the Youth Foundation of Sichuan Education Department of China (Grant No. 2003B017)     

Normality concerning shared values

Let be a family of meromorphic functions in a plane domain D, and a and b be finite non-zero complex values such that . If for and , then is normal. We also construct a non-normal family of meromorphic functions in the unit disk Δ={|z|<1} such that for every and in Δ, where m is a given positive integer. This answers Problem 5.1 in the works of Gu, Pang and Fang. This work was supported by National Natural Science Foundation of China (Grant Nos. 10671093, 10871094) and the Natural Science Foundation of Universities of Jiangsu Province of China (Grant No. 08KJB110001), the Qing Lan Project of Jiangsu, China and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry     

The information-based complexity of approximation problem by adaptive Monte Carlo methods

In this paper, we study the complexity of information of approximation problem on the multivariate Sobolev space with bounded mixed derivative MWpr,α(Td), 1 < p < ∞, in the norm of Lq(Td), 1 < q < ∞, by adaptive Monte Carlo methods. Applying the discretization technique and some properties of pseudo-s-scale, we determine the exact asymptotic orders of this problem.     

Counting the number of indecomposable representations and a q-analogue of the Weyl-Kac denominator identity of type $$ \tilde B_n $$

By using Frobenius maps and F-stable representations, we count the number of isomorphism classes of indecomposable representations with the fixed dimension vector of a species of type over a finite field, first, and then, as an application, give a q-analogue of the Weyl-Kac denominator identity of type . This work was partially supported by the Doctoral Program of Higher Education (Grant No. 20030027002)     

Nonlinear maps of convex sets in Hilbert spaces with application to kinetic equations

Let be a separable Hilbert space, an open convex subset, and f: a smooth map. Let Ω be an open convex set in with , where denotes the closure of Ω in . We consider the following questions. First, in case f is Lipschitz, find sufficient conditions such that for ɛ > 0 sufficiently small, depending only on Lip(f), the image of Ω by I + ɛf, (I + ɛf)(Ω), is convex. Second, suppose df(u): is symmetrizable with σ(df(u)) ⊆ (0,∞), for all u ∈ , where σ(df(u)) denotes the spectrum of df(u). Find sufficient conditions so that the image f(Ω) is convex. We establish results addressing both questions illustrating our assumptions and results with simple examples. We also show how our first main result immediately apply to provide an invariance principle for finite difference schemes for nonlinear ordinary differential equations in Hilbert spaces. The main application of the theory developed in this paper concerns our second result and provides an invariance principle for certain convex sets in an L ²-space under the flow of a class of kinetic transport equations so called BGK model.      

<Emphasis Type="Italic">K</Emphasis><Subscript>0</Subscript>-group and approximate similarity invariants of strongly irreducible operators

Let H olenote a complex separable Hilbert space and L(H) denote the collection of bounded linear operators on H. An operator T ∈ L(H) is said to be strongly irreducible if T does not commute with any nontrivial idempotent. Herrero and Jiang showed that the norm-closure of the class of all strongly irreducible operators is the class of all operators with connected spectrum. This result can be considered as an approximate inverse of the Riesz decomposition theorem. In the paper, we give a more precise charact...     

Strong Cesàro summability of double Fourier integrals

We prove the following theorem. Assume f ∈ L ^∞(R ²) with bounded support. If f is continuous at some point (x ₁,x ₂) ∈ R ², then the double Fourier integral of f is strongly q-Cesàro summable at (x ₁,x ₂) to the function value f(x ₁,x ₂) for every 0 < q < ∞. Furthermore, if f is continuous on some open subset of R ², then the strong q-Cesàro summability of the double Fourier integral of f is locally uniform on . Research partially supported by the Australian Research Council and the Hungarian National Foundation for Scientific Research under Grant T 046 192.     

On the relations among best approximation and Fourier coefficients

We discuss the relations among the best approximation E _n (f) and the Fourier coefficients of a function, under the conditions that and , where MVBVS^* is the class of the so-called Strong Mean Value Bounded Variation Sequences. This work was supported by NSERC RCD grant and AARMS of Canada (Yu D S), by NSERC of Canada (Zhou P), and by the National Natural Science Foundation of China (Grant No. 10471130) and the Open Fund (Grant No. PLN0613) of State Key Laboratory of Oil and Gas Reservoir Geology and Exploitation (Southwest Petroleum University) (Zhou S P)     

Extension of Floquet''''s theory to nonlinear quasiperiodic differential equations

In this paper, we consider the following autonomous system of differential equations: x = Ax f(x,θ), θ = ω, where θ∈Rm, ω = (ω1,…,ωm) ∈ Rm, x ∈ Rn, A ∈ Rn×n is a constant matrix and is hyperbolic, f is a C∞ function in both variables and 2π-periodic in each component of the vector e which satisfies f = O(||x||2) as x → 0. We study the normal form of this system and prove that under some proper conditions this system can be transformed to an autonomous system: x = Ax g(x), θ = ω. Additionally, the proof of this paper naturally implies the extension of Chen's theory in the quasi-periodic case.     

Distribution of the maxima of random Takagi functions

This paper concerns the maximum value and the set of maximum points of a random version of Takagi’s continuous, nowhere differentiable function. Let F(x):=∑ _n=1^∞ ε _n ϕ(2 ⁿ⁻¹ x), x ∈ R, where ɛ ₁, ɛ ₂, ... are independent, identically distributed random variables taking values in {−1, 1}, and ϕ is the “tent map” defined by ϕ(x) = 2 dist (x, Z). Let p:= P (ɛ ₁ = 1), M:= max {F(x): x ∈ R}, and := {x ∈ [0, 1): F(x) = M}. An explicit expression for M is given in terms of the sequence {ɛ _n }, and it is shown that the probability distribution μ of M is purely atomic if p < , and is singular continuous if p ≧ . In the latter case, the Hausdorff dimension and the multifractal spectrum of μ are determined. It is shown further that the set is finite almost surely if p < , and is topologically equivalent to a Cantor set almost surely if p ≧ . The distribution of the cardinality of is determined in the first case, and the almost-sure Hausdorff dimension of is shown to be (2p − 1)/2p in the second case. The distribution of the leftmost point of is also given. Finally, some of the results are extended to the more general functions Σa ^{n − 1} ɛ _n ϕ(2 ^{n − 1} x), where 0 < a < 1.      

Non-wandering points and the depth for graph maps

Let G be a graph and f:G→G be continuous.Denote by R(f) andΩ(f) the set of recurrent points and the set of non-wandering points of f respectively.LetΩ_0(f) = G andΩ_n(f)=Ω(f|_(Ω_(n-1)(f))) for all n∈N.The minimal m∈NU {∞} such thatΩ_m(f)=Ω_(m 1)(f) is called the depth of f.In this paper,we show thatΩ_2 (f)=(?) and the depth of f is at most 2.Furthermore,we obtain some properties of non-wandering points of f.     

Propagation of oscillations to 2D incompressible Euler equations

The asymptotic expansions are studied for the vorticity to 2D incompressible Euler equations with-initial vorticity , where ϕ₀(x) satisfies |d ϕ₀(x)|≠0 on the support of and is sufficiently smooth and with compact support in ℝ² (resp. ℝ²×T) The limit,v(t,x), of the corresponding velocity fields {v ^ɛ(t,x)} is obtained, which is the unique solution of (E) with initial vorticity ω₀(x). Moreover, (ℤ²)) for all 1≽p∞, where and ϕ(t,x) satisfy some modulation equation and eikonal equation, respectively.     

Small into-isomorphism from L∞(A,μ) into L∞(B,υ)

In this paper we shall assert that if T is an isomorphism of L_∞(Ω₁, A, μ) into L_∞(Ω₂, B, υ) satisfying the condition ‖T‖·‖T ⁻¹‖⩽1+ɛ for ɛ∈ , then is close to an isometry with an error less than 6ε in some conditions.     

Functoriality of automorphic <Emphasis Type="Italic">L</Emphasis>-functions through their zeros

Let E be a Galois extension of ℚ of degree l, not necessarily solvable. In this paper we first prove that the L-function L(s, π) attached to an automorphic cuspidal representation π of cannot be factored nontrivially into a product of L-functions over E. Next, we compare the n-level correlation of normalized nontrivial zeros of L(s, π₁)…L(s, π _k ), where π _j , j = 1,…, k, are automorphic cuspidal representations of , with that of L(s,π). We prove a necessary condition for L(s, π) having a factorization into a product of L-functions attached to automorphic cuspidal representations of specific , j = 1,…,k. In particular, if π is not invariant under the action of any nontrivial σ ∈ Gal _E/ℚ, then L(s, π) must equal a single L-function attached to a cuspidal representation of and π has an automorphic induction, provided L(s, π) can factored into a product of L-functions over ℚ. As E is not assumed to be solvable over ℚ, our results are beyond the scope of the current theory of base change and automorphic induction. Our results are unconditional when m,m ₁,…,m _k are small, but are under Hypothesis H and a bound toward the Ramanujan conjecture in other cases. The first author was supported by the National Basic Research Program of China, the National Natural Science Foundation of China (Grant No. 10531060), and Ministry of Education of China (Grant No. 305009). The second author was supported by the National Security Agency (Grant No. H98230-06-1-0075). The United States Government is authorized to reproduce and distribute reprints notwithstanding any copyright notation herein     

Riesz multiwavelet bases generated by vector refinement equation

In this paper, we investigate compactly supported Riesz multiwavelet sequences and Riesz multiwavelet bases for L ₂(ℝ ^s ). Suppose ψ = (ψ¹,..., ψ ^r ) ^T and are two compactly supported vectors of functions in the Sobolev space (H ^μ(ℝ ^s )) ^r for some μ > 0. We provide a characterization for the sequences {ψ _jk ^l : l = 1,...,r, j ε ℤ, k ε ℤ ^s } and to form two Riesz sequences for L ₂(ℝ ^s ), where ψ _jk ^l = m ^j/2ψ ^l (M ^j ·−k) and , M is an s × s integer matrix such that lim _n→∞ M ⁻ⁿ = 0 and m = |detM|. Furthermore, let ϕ = (ϕ¹,...,ϕ ^r ) ^T and be a pair of compactly supported biorthogonal refinable vectors of functions associated with the refinement masks a, and M, where a and are finitely supported sequences of r × r matrices. We obtain a general principle for characterizing vectors of functions ψ^ν = (ψ^ν1,...,ψ^νr ) ^T and , ν = 1,..., m − 1 such that two sequences {ψ _jk ^νl : ν = 1,..., m − 1, l = 1,...,r, j ε ℤ, k ε ℤ ^s } and { : ν=1,...,m−1,ℓ=1,...,r, j ∈ ℤ, k ∈ ℤ ^s } form two Riesz multiwavelet bases for ^L ₂(ℝ ^s ). The bracket product [f, g] of two vectors of functions f, g in (L ₂(ℝ ^s )) ^r is an indispensable tool for our characterization. This work was supported by National Natural Science Foundation of China (Grant Nos. 10771190, 10471123)     

Some functional equations on standard operator algebras

The main purpose of this paper is to prove the following result. Let H be a complex Hilbert space, let (H) be the algebra of all bounded linear operators on H, and let (H) ⊂ (H) be a standard operator algebra which is closed under the adjoint operation. Suppose that T: (H) → (H) is a linear mapping satisfying T(AA* A) = T(A)A* A − AT(A*)A + AA*T(A) for all A ∈ (H). Then T is of the form T(A) = AB + BA for all A ∈ (H), where B is a fixed operator from (H). A result concerning functional equations related to bicircular projections is proved      

On one representation of analytic functions by harmonic functions

Let u(x) be a function analytic in some neighborhood D about the origin, $ \mathcal{D} Let u(x) be a function analytic in some neighborhood D about the origin, ⊂ ℝ ⁿ . We study the representation of this function in the form of a series u(x) = u ₀(x) + |x|² u ₁(x) + |x|⁴ u ₂(x) + …, where u _k (x) are functions harmonic in . This representation is a generalization of the well-known Almansi formula. Original Russian Text ? V. V. Karachik, 2007, published in Matematicheskie Trudy, 2007, Vol. 10, No. 2, pp. 142–162.     

Approximately isometric lifting in quasidiagonal extensions

Let 0 → I → A → A/I → 0 be a short exact sequence of C*-algebras with A unital. Suppose that the extension 0 → I → A → A/I → 0 is quasidiagonal, then it is shown that any positive element (projection, partial isometry, unitary element, respectively) in A/I has a lifting with the same form which commutes with some quasicentral approximate unit of I consisting of projections. Furthermore, it is shown that for any given positive number ε, two positive elements (projections, partial isometries, unitary elements, respectively) in A/I, and a positive element (projection, partial isometry, unitary element, respectively) a which is a lifting of , there is a positive element (projection, partial isometry, unitary element, respectively) b in A which is a lifting of such that ∥a−b∥ < . As an application, it is shown that for any positive numbers ε and in U(A/I) ₀ , there exists u in U(A)₀ which is a lifting of such that cel(u) < cel. This work was supported by National Natural Science Foundation of China (Grant No. 10771161)