Analyticity of the sine family with L p -maximal regularity for second order Cauchy problems

If the second order problem u（t） ＋ Bu（t） ＋ Au（t） = f（t）, u（0） =u（0） = 0 has L^p-maximal regularity, 1 〈 p 〈 ∞, the analyticity of the corresponding propagator of the sine type is shown by obtaining the estimates of ‖λ（λ^2 ＋ λB ＋ A）^-1‖ and ‖B（λ^2 ＋ λB ＋ A）^-1‖ for λ∈ C with Reλ 〉 ω, where the constant ω≥ 0.     

Generalizations of spectrally multiplicative surjections between uniform algebras

Let $ A $ A and ℬ be unital semisimple commutative Banach algebras. It is shown that if surjections S,T: $ A $ A → ℬ with S(1)=T(1)= 1 and α ∈ ℂ \ {0} satisfy r(S(a)T(b) − α)= r(ab− α) for all a,b ∈ $ A $ A , then S=T and S is a real algebra isomorphism, where r(a) is the spectral radius of a. Let I be a nonempty set, A and B be uniform algebras. Let ρ, τ: I → A and S,T: I → B be maps satisfying σ _π (S(p)T(q)) ⊂ σ _π (ρ(p) τ(q)) for all p,q ∈ I, where σ _π (f) is the peripheral spectrum of f. Suppose that the ranges ρ(I), τ(I) ⊂ A and S(I),T(I) ⊂ B are closed under multiplication in a sense, and contain peaking functions “enough”. There exists a homeomorphism ϕ: Ch(B)→Ch(A) such that S(p)(y)= ρ(p)(ϕ(y)) and T(p)(y)= τ(p)(ϕ(y)) for every p ∈ I and y ∈ Ch(B), where Ch(A) is the Choquet boundary of A.     

Chern-Simons invariant and conformal embedding of a 3-manifold

This note studies the Chern-Simons invariant of a closed oriented Riemannian 3-manifold M. The first achievement is to establish the formula CS（e） - CS（e） = degA, where e and e are two （global） frames of M, and A ： M → SO（3） is the ＂difference＂ map. An interesting phenomenon is that the ＂jumps＂ of the Chern-Simons integrals for various frames of many 3-manifolds are at least two, instead of one. The second purpose is to give an explicit representation of CS（e＋） and CS（e_）, where e＋ and e_ are the ＂left＂ and ＂right＂ quaternionic frames on M3 induced from an immersion M^3 → E^4, respectively. Consequently we find many metrics on S^3 （Berger spheres） so that they can not be conformally embedded in E^4.     

Uniformly cross intersecting families

Let A and B denote two families of subsets of an n-element set. The pair (A,B) is said to be ℓ-cross-intersecting iff |A∩B|=ℓ for all A∈ A and B∈B. Denote by P _e (n) the maximum value of |A||B| over all such pairs. The best known upper bound on P _e (n) is Θ(2 ⁿ ), by Frankl and R?dl. For a lower bound, Ahlswede, Cai and Zhang showed, for all n ≥ 2ℓ, a simple construction of an ℓ-cross-intersecting pair (A,B) with |A||B| = $ \left( {{*{20}c} {2\ell } \\ \ell \\ } \right) $ \left( {\begin{array}{*{20}c} {2\ell } \\ \ell \\ \end{array} } \right) 2 ^n−2ℓ = Θ(2 ⁿ /$ \sqrt \ell $ \sqrt \ell ), and conjectured that this is best possible. Consequently, Sgall asked whether or not P _e (n) decreases with ℓ.     

Remark on the phase shift in the Kuzmak-Whitham ansatz

We consider one-phase (formal) asymptotic solutions in the Kuzmak-Whitham form for the nonlinear Klein-Gordon equation and for the Korteweg-de Vries equation. In this case, the leading asymptotic expansion term has the form X(S(x, t)/h+Φ(x, t), I(x, t), x, t) +O(h), where h ≪ 1 is a small parameter and the phase S}(x, t) and slowly changing parameters I(x, t) are to be found from the system of “averaged” Whitham equations. We obtain the equations for the phase shift Φ(x, t) by studying the second-order correction to the leading term. The corresponding procedure for finding the phase shift is then nonuniform with respect to the transition to a linear (and weakly nonlinear) case. Our observation, which essentially follows from papers by Haberman and collaborators, is that if we incorporate the phase shift Φ into the phase and adjust the parameter Ĩ by setting $ \tilde S $ \tilde S = S +hΦ+O(h ²),Ĩ = I + hI ₁ + O(h ²), then the functions $ \tilde S $ \tilde S (x, t, h) and Ĩ(x, t, h) become solutions of the Cauchy problem for the same Whitham system but with modified initial conditions. These functions completely determine the leading asymptotic term, which is X($ \tilde S $ \tilde S (x, t, h)/h, Ĩ(x, t, h), x, t) + O(h).     

Distortion theorem for Bloch mappings on the unit ball <Emphasis Type="Italic">ℬ</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we obtain a version of subordination lemma for hyperbolic disk relative to hyperbolic geometry on the unit disk D. This subordination lemma yields the distortion theorem for Bloch mappings f ∈ H（B^n） satisfying ｜｜f｜｜0 = 1 and det f＇（0） = α ∈ （0, 1], where｜｜f｜｜0 = sup{（1 - ｜z｜^2 ）n＋1/2n det（f＇（z））[1/n ： z ∈ B^n}. Here we establish the distortion theorem from a unified perspective and generalize some known results. This distortion theorem enables us to obtain a lower bound for the radius of the largest univalent ball in the image of f centered at f（0）. When a = 1, the lower bound reduces to that of Bloch constant found by Liu. When n = 1, our distortion theorem coincides with that of Bonk, Minda and Yanagihara.     

Multiplicatively and non-symmetric multiplicatively norm-preserving maps

Let A and B be Banach function algebras on compact Hausdorff spaces X and Y and let ‖.‖ _X and ‖.‖ _Y denote the supremum norms on X and Y, respectively. We first establish a result concerning a surjective map T between particular subsets of the uniform closures of A and B, preserving multiplicatively the norm, i.e. ‖Tf Tg‖ _Y = ‖fg‖ _X , for certain elements f and g in the domain. Then we show that if α ∈ ℂ {0} and T: A → B is a surjective, not necessarily linear, map satisfying ‖fg + α‖ _X = ‖Tf Tg + α‖ _Y , f,g ∈ A, then T is injective and there exist a homeomorphism φ: c(B) → c(A) between the Choquet boundaries of B and A, an invertible element η ∈ B with η(Y) ⊆ {1, −1} and a clopen subset K of c(B) such that for each f ∈ A,

Modulus of continuity of the matrix absolute value

Lipschitz continuity of the matrix absolute value |A| = (A*A)^1/2 is studied. Let A and B be invertible, and let M ₁ = max(‖A‖, ‖B‖), M ₂ = max(‖A ⁻¹‖, ‖B ⁻¹‖). Then it is shown that

Sharp estimates for derivatives of functions in the Sobolev classes $$ \mathop {W_2^r }\limits^ \circ $$(−1,1)

Explicit formulas are obtained for the maximum possible values of the derivatives f ^(k)(x), x ∈ (−1, 1), k ∈ {0, 1, ..., r − 1}, for functions f that vanish together with their (absolutely continuous) derivatives of order up to ≤ r − 1 at the points ±1 and are such that $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 . As a corollary, it is shown that the first eigenvalue λ _1,r of the operator (−D ²) ^r with these boundary conditions is $ \sqrt 2 $ \sqrt 2 (2r)! (1 + O(1/r)), r → ∞.     

Hereditarily indecomposable Banach algebras of diagonal operators

We provide a characterization of the Banach spaces X with a Schauder basis (e _n ) _n∈ℕ which have the property that the dual space X* is naturally isomorphic to the space L _diag(X) of diagonal operators with respect to (e _n ) _n∈ℕ. We also construct a Hereditarily Indecomposable Banach space $ \mathfrak{X} $ \mathfrak{X} _D with a Schauder basis (e _n ) _n∈ℕ such that $ \mathfrak{X} $ \mathfrak{X} *_D is isometric to L _diag($ \mathfrak{X} $ \mathfrak{X} _D) with these Banach algebras being Hereditarily Indecomposable. Finally, we show that every T ∈ L _diag($ \mathfrak{X} $ \mathfrak{X} _D) is of the form T = λI + K, where K is a compact operator.     

Selfadjoint extensions of the operator of the Dirichlet problem in a 3-dimensional region with an edge

Taking various viewpoints, we study the selfadjoint extensions $ \mathcal{A} $ \mathcal{A} of the operator A of the Dirichlet problem in a 3-dimensional region Ω with an edge Γ. We identify the infinite dimensional nullspace def A with the Sobolev space H ^−ϰ(Γ) on Γ with variable smoothness exponent −ϰ ∈ (−1, 0); while the selfadjoint extensions, with selfadjoint operators $ \mathcal{T} $ \mathcal{T} on the subspaces of H ^−ϰ(Γ). To the boundary value problem in the region with a “smoothed” edge we associate a concrete extension, which yields a more precise approximate solution to the singularly perturbed problem.     

On rigidity of Clifford torus in a unit sphere

We extend the scalar curvature pinching theorems due to Peng-Terng, Wei-Xu and Suh-Yang. Let M be an n-dimensional compact minimal hypersurface in S n+1 satisfying Sf 4 f_3~2 ≤ 1/n S~3 , where S is the squared norm of the second fundamental form of M, and f_k =sum λ_i~k from i and λ_i (1 ≤ i ≤ n) are the principal curvatures of M. We prove that there exists a positive constant δ(n)(≥ n/2) depending only on n such that if n ≤ S ≤ n + δ(n), then S ≡ n, i.e., M is one of the Clifford torus S~k ((k/n)~1/2 ) ×S~...     

Hochschild （Co）homology of Galois Coverings of Grassmann Algebras

Let ∧ be the Z2-Galois covering of the Grassmann algebra A over a field k of characteristic not equal to 2. In this paper, the dimensional formulae of Hochschild homology and cohomology groups of ∧ are calculated explicitly. And the cyclic homology of∧ can also be calculated when the underlying field is of characteristic zero. As a result, we prove that there is an isomorphism from i≥1 HH^i（∧） to i≥1 HH^i（∧）.     

Realization of the Perron effect whereby the characteristic exponents of solutions of differential systems change their values

We realize the Perron effect of change of values of characteristic exponents: for arbitrary parameters λ ₁ <- λ ₂ < 0, β ₂ ≥ β ₁ ≥ λ ₂, and m > 1, we prove the existence of a linear differential system $ \dot x $ \dot x = A(t)x, x ∈ R ₂, t ≥ t ₀, with bounded infinitely differentiable coefficients and with characteristic exponents λ ₁(A) = λ ₁ <- λ ₂(A) = λ ₂ and of an m-perturbation f: [t ₀,+∞) × R ₂ → R ₂ infinitely differentiable in time, continuously differentiable with respect to the phase variables y ₁ and y ₂, (y ₁, y ₂) = y ∈ R ₂ (infinitely differentiable with respect to the variables y ₁ ≠ 0 and y ₂ ≠ 0 and with respect to all of these variables in the case of a positive integer m > 1), satisfying the condition ‖f(t, y)‖ ≤ const × ‖y‖ ^m , y ∈ R ², t ≥ t ₀, and such that all nontrivial solutions y(t, c) of the perturbed system

Deforming the Lie superalgebra of contact vector fields on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript> inside the Lie superalgebra of pseudodifferential operators on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript>

We classify deformations of the standard embedding of the Lie superalgebra $ \mathcal{K} $ \mathcal{K} (2) of contact vector fields on the (1, 2)-dimensional supercircle into the Lie superalgebra SΨD(S ^1|2 ) of pseudodifferential operators on the supercircle S ^1|2 . The proposed approach leads to the deformations of the central charge induced on $ \mathcal{K} $ \mathcal{K} (2) by the canonical central extension of SΨD(S ^1|2 ).     

Asymptotically minimal schemes for one sequence of Boolean functions

Monotone symmetric Boolean functions $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j are considered. For such functions, the asymptotics L ^B (f ₂ ⁿ ) ∼ 3n, where L ^B (f ₂ ⁿ ) is the complexity of realization of function f ₂ ⁿ by schemes of functional elements in the basis B = {&, −}, is established.     

Problem of the first passage time for <Emphasis Type="Italic">p</Emphasis>-adic diffusion

This work is a continuation of paper [1], where was considered analog of the problem of the first return for ultrametric diffusion. The main result of this paper consists in construction and investigation of stochastic quantity $ \tau _{B_r (a)} $ \tau _{B_r (a)} (ω), which has meaning of the first passage time into domain B _r (a) by trajectories of the Markov stochastic process ζ(t, ω).Markov stochastic process is given by distribution density f(x, t), x ∈ ℚ _p , t ∈ R ₊, which is solution of the Cauchy problem

Transient phenomena for random walks in the absence of the expected value of jumps

Let ξ, ξ₁, ξ₂, ... be independent identically distributed random variables, and S _n :=Σ _j=1 ⁿ ,ξ _j , $ \bar S $ \bar S := sup _n≥0 S _n . If Eξ = −a < 0 then we call transient those phenomena that happen to the distribution $ \bar S $ \bar S as a → 0 and $ \bar S $ \bar S tends to infinity in probability. We consider the case when Eξ fails to exist and study transient phenomena as a → 0 for the following two random walk models:

Strongly approximative similarity of operators

Two operators A, B ∈ B（H） are said to be strongly approximatively similar, denoted by A -sas B, if （i） given ε 〉 0, there exist Ki ∈ B（H） compact with ｜｜Ki｜｜ 〈ε（i = 1,2） such that A＋K1 and B ＋ K2 are similar; （ii） σ0（A） = σ0（B） and dim H（λ; A） = dim H（λ; B） for each λ ∈ σ0（A）. In this paper, we prove the following result. Let S,T ∈ B（H） be quasitriangular satisfying： （i） σ（T） = σ（S） = σw（S） is connected and σe（S） = σlre（S）; （ii） ρs-F（S） ∩ σ（S） consists of at most finite components and each component Ω satisfies that Ω = int Ω, where int Ω is the interior of Ω. Then, S -sas T if and only if S and T are essentially similar.     

Strong surjectivity of maps from 2-complexes into the 2-sphere

Given a model 2-complex K _P of a group presentation P, we associate to it an integer matrix Δ _P and we prove that a cellular map f: K _P → S ² is root free (is not strongly surjective) if and only if the diophantine linear system Δ _P Y = $ \overrightarrow {deg} $ \overrightarrow {deg} (f) has an integer solution, here $ \overrightarrow {deg} $ \overrightarrow {deg} (f)is the so-called vector-degree of f