An algebraic invariant for Jordan automorphisms on B(H): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H)the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that φ is a surjective map from B(H) onto itself. If for everyλ∈ {-1, 1, 2, 3, 1/2, 1/3} and A, B ∈ B(H), A - λB ∈ I(H) (→)φ(A) - λφ(B) ∈ I(H), then φis a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that φ(A) = TAT-1 for all A ∈ B(H), or φ(A) = TA*T-1 for all A ∈ B(H); if, in addition, A - iB ∈ I(H) (→)φ(A) - iφ(B) ∈ I(H), here i is the imaginary unit, then φ is either an automorphism or an anti-automorphism.     

On Σ1-definable Functions Provably Total in I ∏

We prove the following theorem: Let φ(x) be a formula in the language of the theory PA^? of discretely ordered commutative rings with unit of the form ?yφ′(x,y) with φ′ and let ∈ Δ₀ and let fφ: ? → ? such that f_φ(x) = y iff φ′(x,y) & (?z < y) φ′(x,z). If I ∏ ∈(?x ≥ 0), φ then there exists a natural number K such that I ∏ ? ?y?x(x > y ? ?φ(x) < x^K). Here I ∏₁^? denotes the theory PA^? plus the scheme of induction for formulas φ(x) of the form ?yφ′(x,y) (with φ′) with φ′ ∈ Δ₀.     

Interpolation and duality of generalized grand Morrey spaces on quasi-metric measure spaces

Let θ ∈ (0, 1), λ ∈ [0, 1) and p, p ₀, p ₁ ∈ (1,∞] be such that (1 ? θ)/p ₀ + θ/p ₁ = 1/p, and let φ, φ₀, φ₁ be some admissible functions such that φ, φ₀ ^p/p0 and φ₁ ^p/p1 are equivalent. We first prove that, via the ± interpolation method, the interpolation L _φ0 ^p0),λ (X), L _φ1 ^{p1), λ} (X), θ> of two generalized grand Morrey spaces on a quasi-metric measure space X is the generalized grand Morrey space L _φ ^p),λ (X). Then, by using block functions, we also find a predual space of the generalized grand Morrey space. These results are new even for generalized grand Lebesgue spaces.     

Local Regularity of L∞ ∞-Refinable Function Vectors

This article discusses the local regularity of refinable function vectors associated with a dilation matrix M. Suppose that D is a complete set of representatives of Z^s/MZ^s. Under the assumptions that the self-affine tile T (M,D), associated with dilation matrix M and digit set D, has measure 1 and that the corresponding refinable function vector φ ∈ L_∞, we prove that there is a set H ? R^s of full measure such that the restriction φ|_H of φ on H has a positive Hölder exponent α(x) at every x ∈ H. Similar result holds for the derivatives of refinable function vectors provided that the dilation matrix is diagonalizable.     

Regularity of the obstacle problem for a fractional power of the laplace operator

Given a function φ and s ∈ (0, 1), we will study the solutions of the following obstacle problem:

• u ≥ φ in ?ⁿ,
• (??)^su ≥ 0 in ?ⁿ,
• (??)^su(x) = 0 for those x such that u(x) > φ(x),
• lim_{|x| → + ∞} u(x) = 0.

We show that when φ is C^{1, s} or smoother, the solution u is in the space C^{1, α} for every α < s. In the case where the contact set {u = φ} is convex, we prove the optimal regularity result u ∈ C^{1, s}. When φ is only C^{1, β} for a β < s, we prove that our solution u is C^{1, α} for every α < β. © 2006 Wiley Periodicals, Inc.     

An extension of the theory of Fredholm determinants

Analytic functions are introduced, which are analogous to the Fredholm determinant, but may have only finite radius of convergence. These functions are associated with operators of the form ε μ(dω) ?_ω, where ?_ω φ(x) = ?_ω(x). φ(ψ_ω x), , φ belongs to a space of Hölder or C ^r functions, ?_ω is Hölder or C ^r , and ψ_ω is a contraction or a C ^r contraction. The results obtained extend earlier results by Haydn, Pollicott, Tangerman and the author on zeta functions of expanding maps.     

Splitting Patterns and Invariants of Quadratic Forms

Let φ be an anisotropic quadratic form over a field F of characteristic not 2. The splitting pattern of φ is defined to be the increasing sequence of nonnegative integers obtained by considering the Witt indices i_W(φ_k) of φ over K where K ranges over all field extensions of F. Restating earlier results by HURRELBRINK and REHMANN , we show how the index of the Clifford algebra of φ influences the splitting pattern. In the case where F is formally real, we investigate how the signatures of φ influence the splitting behaviour. This enables us to construct certain splitting patterns which have been known to exist, but now over much “simpler” fields like formally real global fields or ?(t). We also give a full classification of splitting patterns of forms of dimension less than or equal to 9 in terms of properties of the determinant and Clifford invariant. Partial results for splitting patterns in dimensions 10 and 11 are also provided. Finally, we consider two anisotropic forms φ and φ of the same dimension m with φ ? ? φ ∈ Iⁿ F and give some bounds on m depending on n which assure that they have the same splitting pattern.     

A Class of Operators on Lh 2

Let D be the open unit disc in ? and let L_h ² be the space of quadratic integrable harmonic functions defined on D. Let \(\varphi: {\bar D}\rightarrow {\rm C}\) be a function in L^∞(D) with the property that φ(b) = lim_x→b,x?Dφ(x) for all b ? ?D. Define the operator C_φ in L_h ² as follows: C_φf = Q(φ·f),f ? L_h ², where Q is the orthogonal projection from L² (D) on L_h ². The following results are proved. If φ¦_?D ≡ 0, then C_φ is a compact linear operator and if φ¦_?D vanishes nowhere, then C_φ is a Fredholm operator.     

Group and Moore-Penrose inverses of regular morphisms with kernel and cokernel

Let φ: × → Y be a morphism with kernel κ: K → X and cokernel λ: Y → L in an additive category $\text{C}$. (1) If X=Y, then φ has a group inverse φ^# iff κλ is invertible and φ is regular. (2) If $\text{C}$ has an involution ¹, then φ has a Moore-Penrose inverse φ² with respect to ¹ iff κκ¹ and λ¹λ are invertible and φ is regular.     

Properties of a Class of Nonlinear Transformations Over Euclidean Jordan Algebras with Applications to Complementarity Problems

For any function φ from ?^r to ?^r, Tao and Gowda [Math. Oper. Res., 30 (2005), pp. 985–1004] introduced a corresponding nonlinear transformation R_φ over a Euclidean Jordan algebra (which is called a relaxation transformation) and established some useful relations between φ and R_φ. In this paper, we further investigate some interconnections between properties of φ and properties of R_φ, including the properties of continuity, (local) Lipschitz continuity, directional differentiability, (continuous) differentiability, semismoothness, monotonicity, the P₀-property, and the uniform P-property. As an application, we investigate the symmetric cone complementarity problem with a relaxation transformation. A property of the solution set of this class of problems is given. We also investigate a smoothing algorithm for solving this class of problems and show that the algorithm is globally convergent under an assumption that the solution set of the problem concerned is nonempty.     

The Automorphism Group of a Free-by-Cyclic Group in Rank 2

Let φ be an automorphism of a free group F_n of rank n, and let M_φ = F_n ?_φ ? be the corresponding mapping torus of φ. We study the group Out(M_φ) under certain technical conditions on φ. Moreover, in the case of rank 2, we classify the cases when this group is finite or virtually cyclic, depending on the conjugacy class of the image of φ in GL₂(?). As an application, we solve the isomorphism problem for the family of F₂-by-? groups, in terms of the two defining automorphisms.     

Hyponormality of Toeplitz Operators with Polynomial Symbols: An Extremal Case

If T_φ is a hyponormal Toeplitz operator with polynomial symbol φ = ḡ + f (f, g ∈ H^∞ (𝕋 )) such that g divides f, and if ψ := then where μ is the leading coefficient of ψ and 𝒵(ψ) denotes the set of zeros of ψ. In this paper we present a necessary and sufficient condition for T_φ to be hyponormal when φ enjoys an extremal case in the above inequality, that is, equality holds in the above inequality.     

On Strong Spectrally Bounded LMC*-Algebras

A locally m-convex algebra E ≡ (E, (p_α); α ∈ A) is called “strong spectrally bounded” if supp_α (x) < ∞, for every x ∈ E. A locally m-convex C*-algebra of the last kind always accepts a faithful representation, say φ, with a continuous inverse, such that ‖‖φ(x)‖‖ = supp_α, for al x ∈ E. Particularly, in case E is moreover barrelled, φ is also continuous, E becoming thus a *-subalgebra of a concrete C*-algebra ??(H), H a Hilbert space.     

Generalized Solution of the First Boundary Value Problem for Parabolic Monge-Ampere Equation

The existence and uniqueness of generalized solution to the first boundary value problem for parabolic Monge-Ampère equation - ut det D²_xu = f in Q = Ω × (0, T], u = φ on ∂_pQ are proved if there exists a strict generalized supersolution u_φ, where Ω ⊂ R^n is a bounded convex set, f is a nonnegative bounded measurable function defined on Q, φ ∈ C(∂_pQ), φ(x, 0) is a convex function in \overline{\Omega}, ∀x_0 ∈ ∂Ω, φ(x_0, t) ∈ C^α([0, T]).     

On the Cauchy Problem and Initial Trace for Nonlinear Filtration Type with Singularity

In this paper, we consider the Cauchy problem \frac{∂u}{∂t} = Δφ(u) in R^N × (0, T] u(x,0} = u_0(x) in R^N where φ ∈ C[0,∞) ∩ C¹(0,∞), φ(0 ) = 0 and (1 - \frac{2}{N})^+ < a ≤ \frac{φ'(s)s}{φ(s)} ≤ m for some a ∈ ((1 - \frac{2}{n})^+, 1), s > 0. The initial value u_0 (z) satisfies u_0(x) ≥ 0 and u_0(x) ∈ L¹_{loc}(R^N). We prove that, under some further conditions, there exists a weak solution u for the above problem, and moreover u ∈ C^{α, \frac{α}{2}}_{x,t_{loc}} (R^N × (0, T]) for some α > 0.     

2维球面到复Grassmann流形的调和映照

在这篇文章中我们证明了：设φ：Ｓ２→Ｇｔ（ＣＮ）（ｔ＞１）是调和映照，它的迷向阶Ｉ（φ）≥ ｋ． ｋ为整数．若φ的能量密度 ｅ（φ） ≤ ２πｋ（关于 Ｓ２上标准度量ｄＳ２＝ｄｚｄｚ），则φ是迷向的．作为推论，我们获得了φ：Ｓ２→Ｇｔ（ＣＮ）是调和映照（ｔ＞１）．若ｅ（φ）≤２π（关于Ｓ２上标准度量ｄＳ２＝ｄｚｄｚ），则φ是迷向的．     

上三角矩阵的线性交换映射的表示

设Trn(R)表示定义在实数域R上的n×n阶上三角矩阵的集合,φ是定义Trn(R)上线性映射.如果对任意X∈Trn(R)有Xφ(X)=φ(X)X成立,称φ是线性交换映射.本文利用初等的矩阵计算方法描述了当φ(I)=I时,线性交换映射φ的表示形式,而且给出了φ的Frobenius范数‖φ(X)‖F的估计.     

Multiplier rules and the separation of convex sets

We consider the following abstract mathematical programming problem: in a setD, find an element that optimizes a real function φ₀, subject to inequality constraints φ₁?0, ..., φ _p ?0 and equality constraints φ _p+1=0, ..., φ _p+q =0. Necessary conditions for this problem, like the Karush-Kuhn-Tucker theorem, can be seen as a consequence of separating with a hyperplane two convex sets inR ^p+q+1, the image space of the map Φ=(φ₀, φ₁, ..., φ _p+q ). This paper reviews this approach and organizes it into a coherent way of looking at necessary conditions in optimization theory.     

集值映射的不动点指数与带间断非线性项的椭圆型方程的多重解

<正> 本文研究二阶半线性椭圆边值问题■的多重解(符号详见§3),其中φ(x,t)允许对t是不连续的.一些自由边界问题可以化归这类问题.为了统一处理φ(x,t)对t连续与不连续两种情形,我们采用集值映射的观点.为此推广了经典的算子与Hammerstein算子到集值映射,并发展了集值映射的Leray-Schauder度理论;与已有的集值映射理论不同,现在处理的是映射串(定     

DOUBLE Φ-FUNCTION INEQUALITY FOR NONNEGATIVE SUBMARTINGALES

91.IntroductionLet4beanonnegativenondecreasingcontinuousfunctionon[0,co)with.(0)=0andi454(t)=co,and(fi,Z,p)beacompleteprobabilityspace.WedenotebyMthesetofallZ-measurablefunctionsandL'(fl)={fEM,3e>0,E.(elfl)相似文献