Anti‐periodic solutions for evolution equations with mappings in the class (S+)

In this paper, we study the existence of anti‐periodic solutions for the first order evolution equation in a Hilbert space H, where G : H → ? is an even function such that ?G is a mapping of class (S₊) and f : ? → ? satisfies f(t + T) = –f(t) for any t ∈ ? with f(·) ∈ L²(0, T; H). (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Integral Operators in Sobolev Spaces on Domains with Boundary

Properties of integral operators with weak singularities arc investigated. It is assumed that G ? ?ⁿ is a bounded domain. The boundary δG should be smooth concerning the Sobolev trace theorem. It will be proved that the integral operators $\int {_G \frac{{f\left(\Theta \right)}}{{x - y|^{n - 1} }}u\left(\nu \right)d\partial G_\nu }$ and $ \int {_{\partial G} \frac{{f\left(\Theta \right)}}{{|x - y|^{n - 1} }}u\left(y \right)d\partial G_y }$ maps W_p^k(G) into W_p^k+1(G) and W_p^k?1(G) into W_p^k/p(G), respectively, and are bounded. Here θ ∈ S ? ?ⁿ, where S is the unit sphere. Furthermore, f possesses bounded first order derivatives and is bounded on S. Then applications to first order systems are discussed.     

Equivalence of weak Dirichlet's principle,the method of weak solutions and Perron's method towards classical solutions of Dirichlet's problem for harmonic functions

For boundary data ? ∈ W ^1,2(G ) (where G ? ?^N is a bounded domain) it is an easy exercise to prove the existence of weak L ²‐solutions to the Dirichlet problem “Δu = 0 in G, u |_?G = ? |_?G ”. By means of Weyl's Lemma it is readily seen that there is ? ∈ C ^∞(G ), Δ? = 0 and ? = u a.e. in G . On the contrary it seems to be a complicated task even for this simple equation to prove continuity of ? up to the boundary in a suitable domain if ? ∈ W ^1,2(G ) ∩ C ⁰( ). The purpose of this paper is to present an elementary proof of that fact in (classical) Dirichlet domains. Here the method of weak solutions (resp. Dirichlet's principle) is equivalent to the classical approaches (Poincaré's “sweeping‐out method”, Perron's method). (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Commutators of Calderón-Zygmund operators related to admissible functions on spaces of homogeneous type and applications to Schrödinger operators

Let X be an RD-space. In this paper, the authors establish the boundedness of the commutator Tbf = bTf-T(bf) on Lp , p∈(1,∞), where T is a Calderón-Zygmund operator related to the admissible function ρ and b∈BMOθ(X)BMO(X). Moreover, they prove that Tb is bounded from the Hardy space H1ρ(X) into the weak Lebesgue space L1weak(X). This can be used to deal with the Schrdinger operators and Schrdinger type operators on the Euclidean space Rn and the sub-Laplace Schrdinger operators on the stratified Lie group G.     

Characterization of Operators on the Dual of Hypergroups which Commute with Translations and Convolutions

For a locally compact group G, L^1 (G) is its group algebra and L^∞(G) is the dual of L^1 (G).Lau has studied the bounded linear operators T:L^∞(G)→L^∞(G) which commute with convolutions and translations. For a subspace H of L^∞(G), we know that M(L^∞(G),H), the Banach algebra of all bounded linear operators on L^∞(G) into H which commute with convolutions, has been studied by Pyre and Lau. In this paper, we generalize these problems to L(K)^*, the dual of a hypergroup algebra L(K) in a very general setting, i.e. we do not assume that K admits a Haar measure. It should be noted that these algebras include not only the group algebra L^1(G) but also most of the semigroup algebras.Compact hypergroups have a Haar measure, however, in general it is not known that every hypergroup has a Haar measure. The lack of the Haar measure and involution presents many difficulties; however,we succeed in getting some interesting results.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Three classes of smooth Banach submanifolds in B(E,F)

Let E, F be two Banach spaces, and B(E, F), Φ(E, F), SΦ(E, F) and R(E,F) be the bounded linear, Fredholm, semi-Frdholm and finite rank operators from E into F, respectively. In this paper, using the continuity characteristics of generalized inverses of operators under small perturbations, we prove the following result Let ∑ be any one of the following sets {T ∈ Φ(E, F) IndexT =const, and dim N(T) = const.}, {T ∈ SΦ(E, F) either dim N(T) = const. ＜ ∞ or codim R(T) = const.＜ ∞} and {T ∈ R(E, F) RankT =const.＜∞}. Then ∑ is a smooth submanifold of B(E, F) with the tangent space TA∑ = {B ∈ B(E,F) BN(A) (∪) R(A)} for any A ∈ ∑. The result is available for the further application to Thom's famous results on the transversility and the study of the infinite dimensional geometry.     

Edge‐face chromatic number and edge chromatic number of simple plane graphs

Given a simple plane graph G, an edge‐face k‐coloring of G is a function ? : E(G) ∪ F(G) → {1,…,k} such that, for any two adjacent or incident elements a, b ∈ E(G) ∪ F(G), ?(a) ≠ ?(b). Let χ_e(G), χ_ef(G), and Δ(G) denote the edge chromatic number, the edge‐face chromatic number, and the maximum degree of G, respectively. In this paper, we prove that χ_ef(G) = χ_e(G) = Δ(G) for any 2‐connected simple plane graph G with Δ (G) ≥ 24. © 2005 Wiley Periodicals, Inc. J Graph Theory     

Optimal Extension of Fourier Multiplier Operators in L p (G)

Given 1 ≤ p < ∞, a compact abelian group G and a p-multiplier ${\psi : \Gamma \to {\mathbb C}}Given 1 ≤ p < ∞, a compact abelian group G and a p-multiplier y: G? \mathbb C{\psi : \Gamma \to {\mathbb C}} (with Γ the dual group), we study the optimal domain of the multiplier operator T^(p)_y : L^p (G) ? L^p (G){T^{(p)}_\psi : L^p (G) \to L^p (G)}. This is the largest Banach function space, denoted by L¹(m^(p)_y){L^1(m^{(p)}_\psi)}, with order continuous norm into which L ^p (G) is embedded and to which T^(p)_y{ T^{(p)}_\psi} has a continuous L ^p (G)-valued extension. Compactness conditions for the optimal extension are given, as well as criteria for those ψ for which L¹(m^(p)_y) = L^p (G){L^1(m^{(p)}_\psi) = L^p (G)} is as small as possible and also for those ψ for which L¹(m^(p)_y) = L¹ (G){L^1(m^{(p)}_\psi) = L^1 (G)} is as large as possible. Several results and examples are presented for cases when L^p (G) \subsetneqq L¹(m^(p)_y) \subsetneqq L¹ (G){L^p (G) \subsetneqq L^1(m^{(p)}_\psi) \subsetneqq L^1 (G)}.     

EQUIVARIANT SELF EQUIVALENCES OF PRINCIPAL FIBRE BUNDLES

Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal sub-group of G. For principal fibre bundle (E,p, E,/G;G) tmd (E/H,p‘,E/G;G/H), the relation between auta(E) (resp. autce (E)) and autG/H(E/H) (resp. autGe/H(E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group JG(E) (resp. SG(E)) while the group J G/u(E/H) is known.     

Control problems governed by Sobolev partial differential equations

Let G be a bounded subset of Rⁿ with a smooth boundary and Q = G × (0, T]. We consider a control problem governed by the Sobolev initial-value problem My_t(u) + Ly(u) = u in L²(Q), y(·, 0; u) = 0 in L₂(G), where M = M(x) and L = L(x) are symmetric uniformly strongly elliptic operators of orders 2m and 2l, respectively. The problem is to find the control u₀ of L²(Q)-norm at most b that steers to within a prescribed tolerance ? of a given function Z in L²(G) and that minimizes a certain energy functional. Our main results establish regularity properties of u₀. We also give results concerning the existence and uniqueness of the optimal control, the controllability of Sobolev initial-value problems, and properties of the Lagrange multipliers associated with the problem constraints.     

A note on the similarity depth

In this note we demonstrate the existence of E0L forms F and G which are n-similar, i.e. $\text{L}$ⁿ(F) = $\text{L}$ⁿ(G) but $\text{L}$ⁿ⁺¹(F)≠$\text{L}$ⁿ⁺¹(G) for n ∈ {2, 3}. This partially solves an open problem from [3].     

A common property of R(E, F) and B(ℝ n , ℝ m ) and a new method for seeking a path to connect two operators

Given two Banach spaces E, F, let B(E, F) be the set of all bounded linear operators from E into F, and R(E, F) the set of all operators in B(E, F) with finite rank. It is well-known that B(? ⁿ ) is a Banach space as well as an algebra, while B(? ⁿ , ? ^m ) for m ≠ n, is a Banach space but not an algebra; meanwhile, it is clear that R(E, F) is neither a Banach space nor an algebra. However, in this paper, it is proved that all of them have a common property in geometry and topology, i.e., they are all a union of mutual disjoint path-connected and smooth submanifolds (or hypersurfaces). Let Σ _r be the set of all operators of finite rank r in B(E, F) (or B(? ⁿ , ? ^m )). In fact, we have that 1) suppose Σ _r ∈ B(? ⁿ , ? ^m ), and then Σ _r is a smooth and path-connected submanifold of B(? ⁿ , ? ^m ) and dimΣ _r = (n + m)r ? r ², for each r ∈ [0, min{n,m}; if m ≠ n, the same conclusion for Σ _r and its dimension is valid for each r ∈ [0, min{n, m}]; 2) suppose Σ _r ∈ B(E, F), and dimF = ∞, and then Σ _r is a smooth and path-connected submanifold of B(E, F) with the tangent space T _A Σ _r = {B ∈ B(E, F): BN(A) ? R(A)} at each A ∈ Σ _r for 0 ? r ? ∞. The routine methods for seeking a path to connect two operators can hardly apply here. A new method and some fundamental theorems are introduced in this paper, which is development of elementary transformation of matrices in B(? ⁿ ), and more adapted and simple than the elementary transformation method. In addition to tensor analysis and application of Thom’s famous result for transversility, these will benefit the study of infinite geometry.     

Global solutions for operator Riccati equations with unbounded coefficients: A non-linear semigroup approach

Let X be a Banach space of real-valued functions on [0, 1] and let ?(X) be the space of bounded linear operators on X. We are interested in solutions R:(0, ∞) → ?(X) for the operator Riccati equation where T is an unbounded multiplication operator in X and the B_i(t)'s are bounded linear integral operators on X. This equation arises in transport theory as the result of an invariant embedding of the Boltzmann equation. Solutions which are of physical interest are those that take on values in the space of bounded linear operators on L¹(0, 1). Conditions on X, R(0), T, and the coefficients are found such that the theory of non-linear semigroups may be used to prove global existence of strong solutions in ?(X) that also satisfy R(t) ? ?(L¹(0,1)) for all t ≥ 0.     

Fourier type 2 operators with respect to locally compact abelian groups

A linear and bounded operator T between Banach spaces X and Y has Fourier type 2 with respect to a locally compact abelian group G if there exists a constant c > 0 such that∥T ∥₂ ≤ c∥f∥₂ holds for all X‐valued functions f ∈ L^X₂(G) where is the Fourier transform of f. We show that any Fourier type 2 operator with respect to the classical groups has Fourier type 2 with respect to any locally compact abelian group. This generalizes previous special results for the Cantor group and for closed subgroups of ?ⁿ. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Gantmacher Type Theorems for Holomorphic Mappings

Given a holomorphic mapping of bounded type g ∈ H_b(U, F), where U ? E is a balanced open subset, and E, F are complex Banach spaces, let A : H_b(F) ∈ H_b(U) be the homomorphism defined by A(f) = fog for all f ∈ H_b(F). We prove that: (a) for F having the Dunford-Pettis property, A is weakly compact if and only if g is weakly compact; (b) A is completely continuous if and only if g(W) is a Dunford-Pettis set for every U-bounded subset W ? U. To obtain these results, we prove that the class of Dunford - Pettis sets is stable under projecti ve tensor products. Moreover, we diaracterize the reflexivity of the space H_b(U,F) and prove that E' and F have the Schur property if and only if H_b(U, F) has the Schur property. As an application, we obtain some results on linearization of holomorphic mappings.     

Quasirecognition by the set of element orders of the groups E 6( q ) and 2 E 6( q )

We prove that if L is one of the simple groups E ₆(q) and ² E ₆(q) and G is some finite group with the same spectrum as L, then the commutant of G/F(G) is isomorphic to L and the quotient G/G′ is a cyclic {2,3}-group. Original Russian Text Copyright ? 2007 Kondrat’ev A. S. The author was supported by the Russian Foundation for Basic Research (Grant 04-01-00463) and the RFBR-NSFC (Grant 05-01-39000). __________ Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 48, No. 6, pp. 1250–1271, November–December, 2007.