Minimal Legendrian submanifolds of S and absolutely area-minimizing cones

We use minimal Legendrian submanifolds in spheres to construct examples of absolutely area-minimizing cones and we prove a result about Legendrian 2-tori in S⁵.     

The Banach algebra l1(S)

Let S be the free semigroup with a finite or countably infinite set of generators plus an identity. It is shown that there is a natural involution 1 on the convolution Banach algebra l¹(S) such that (l¹(S), 1) has a separating family of finite-dimensional star representations. The star representations of the l¹-algebra of some other semigroups are also considered. The spectrum of every element of l¹(S) which is not a scalar multiple of the identity is shown to be a connected set with interior.     

Dense Subsets of H1/2(S2, S1)

We prove that the maps from S ² intoS ¹ having a finite number of isolated singularities ofdegree ±1 are dense for the strong topology inH ^1/2(S ², S ¹). We also prove that smooth maps are densein H ^1/2(S ², S ¹)for the sequentially weak topology andthat this is no more the case in H ^s (S ², S ¹) for s> 1/2.     

Solving stochastic differential equations on Homeo(S)

The Brownian motion with respect to the metric H^3/2 on Diff(S¹) has been constructed. It is realized on the group of homeomorphisms Homeo(S¹). In this work, we shall resolve the stochastic differential equations on Homeo(S¹) for a given drift Z.     

Approximate controllability and homogenization of a semilinear elliptic problem

The L²- and H¹-approximate controllability and homogenization of a semilinear elliptic boundary-value problem is studied in this paper. The principal term of the state equation has rapidly oscillating coefficients and the control region is locally distributed. The observation region is a subset of codimension 1 in the case of L²-approximate controllability or is locally distributed in the case of H¹-approximate controllability. By using the classical Fenchel-Rockafellar's duality theory, the existence of an approximate control of minimal norm is established by means of a fixed point argument. We consider its asymptotic behavior as the rapidly oscillating coefficients H-converge. We prove its convergence to an approximate control of minimal norm for the homogenized problem.     

Spectral gaps for periodic Schrödinger operators with hypersurface magnetic wells: Analysis near the bottom

We consider a periodic magnetic Schrödinger operator Hh, depending on the semiclassical parameter h>0, on a noncompact Riemannian manifold M such that H¹(M,R)=0 endowed with a properly discontinuous cocompact isometric action of a discrete group. We assume that there is no electric field and that the magnetic field has a periodic set of compact magnetic wells. We suppose that the magnetic field vanishes regularly on a hypersurface S. First, we prove upper and lower estimates for the bottom λ₀(Hh) of the spectrum of the operator Hh in L²(M). Then, assuming the existence of non-degenerate miniwells for the reduced spectral problem on S, we prove the existence of an arbitrarily large number of spectral gaps for the operator Hh in the region close to λ₀(Hh), as h→0. In this case, we also obtain upper estimates for the eigenvalues of the one-well problem.     

Homotopy decomposition of a group of symplectomorphisms of S×S

We continue the analysis started by Abreu, McDuff and Anjos of the topology of the group of symplectomorphisms of S²×S² when the ratio of the area of the two spheres lies in the interval (1,2]. We express the group, up to homotopy, as the pushout (or amalgam) of certain of its compact Lie subgroups. We use this to compute the homotopy type of the classifying space of the group of symplectomorphisms and the corresponding ring of characteristic classes for symplectic fibrations.     

Some resolutions of S(5, 8, 24)

There exist 13 mutually disjoint resolutions of the Steiner system S(5, 8, 24). There also exist nine nonisomorphic mutually disjoint resolutions of S(5, 8, 24) where three of the resolutions have the same L₂(23) as an automorphism group and the other six have the same affine group C₂₃¹¹ as an automorphism group. A resolution of S(5, 8, 24) using a group of order 21 is displayed and a 13-dimensional Room-type design is mentioned.     

On the Riemann zeta-function—Mean value theorems and the distribution of |S(T)|

Asymptotic formulae for the mean values of |S(t)|^λ, where λ is any nonnegative number are proved,. These are then used with λ ∈ $\text{N}$, to obtain information of the distribution of |S(t)|.     

Function algebra invariants and the conformal structure of planar domains

Let A(S) be the sup-normed Banach algebra of analytic functions with continuous boundary values on the compact bordered Riemann surface S.For (?) in $\text{A(S)}{}^{\mathrm{?1}}\text{exp}\text{(A(S))}$, the colength of (?) is defined by $\text{∥(?)∥ =}\text{1}\text{2}\text{log inf}\text{{∥ g ∥ ∥ g}{}^{\mathrm{?1}}\text{∥; g ? (?)}}$. Colength is shown to induce a norm on the cohomology group H¹(S,R) dual to the norm induced on the homology group H₁(S,R) by harmonic length, or, equivalently, dual to the norm on Re A(S)^⊥.The existence and uniqueness of extremal functions for the colength functional is demonstrated. The aforementioned norms are shown to determine the conformal structure of S (up to reflection) and to be related to the mapping properties of S.     

A priori error estimates of finite volume element method for hyperbolic optimal control problems

In this paper,optimize-then-discretize,variational discretization and the finite volume method are applied to solve the distributed optimal control problems governed by a second order hyperbolic equation.A semi-discrete optimal system is obtained.We prove the existence and uniqueness of the solution to the semidiscrete optimal system and obtain the optimal order error estimates in L ∞(J;L 2)-and L ∞(J;H 1)-norm.Numerical experiments are presented to test these theoretical results.     

Closed 1-forms with at most one zero

We prove that in any nonzero cohomology class ξ∈H¹(M;R) there always exists a closed 1-form having at most one zero.     

L(μ)-averaging domains

In this paper we first introduce L^s(μ)-averaging domains which are generalizations of L^s-averaging domains introduced by S.G. Staples. We characterize L^s(μ)-averaging domains using the quasihyperbolic metric. As applications, we prove norm inequalities for conjugate A-harmonic tensors in L^s(μ)-averaging domains which can be considered as generalizations of the Hardy and Littlewood theorem for conjugate harmonic functions. Finally, we give applications to quasiconformal and quasiregular mappings.     

Gauge invariance and implementability of the S-operator for spin-0 and spin-12 particles in time-dependent external fields

It is proved that the classical S-operator for relativistic spin-0 and spin-$\text{1}\text{2}$ particles in time-dependent external fields is gauge invariant, and that S_+- and S_?+ are entire functions of the coupling constant in the Hilbert-Schmidt norm. As a result the Fock space S-operator exists for any real value of the coupling constant, and is gauge invariant. The external fields and the gauge function are assumed to be real-valued resp. complex-valued functions in S(R⁴).     

The rigidity of Clifford torusS^1 \left( {\sqrt {\frac{1}{n}} } \right) \times S^{n - 1} \left( {\sqrt {\frac{{n - 1}}{n}} } \right)

In this paper, we prove that ifM is ann-dimensional closed minimal hypersurface with two distinct principal curvatures of a unit sphereS ⁿ⁺¹ (1), thenS=n andM is a Clifford torus ifn≤S≤n+[2n ²(n+4)/3(n(n+4)+4)], whereS is the squared norm of the second fundamental form ofM.     

An umbral calculus for polynomials characterizing U(n) tensor operators

After the change of variables Δ_i = γ_i ? δ_i and x_{i,i + 1} = δ_i ? δ_{i + 1} we show that the invariant polynomials _μG⁽ⁿ⁾_q(, Δ_i, ; , x_i,i+1,) characterizing U(n) tensor operators 〈p, q,…, q, 0,…, 0〉 become an integral linear combination of Schur functions S_λ(γ ? δ) in the symbol γ ? δ, where γ ? δ denotes the difference of the two sets of variables {γ₁ ,…, γ_n} and {δ₁ ,…, δ_n}. We obtain a similar result for the yet more general bisymmetric polynomials ^m_μG⁽ⁿ⁾_q(γ₁ ,…, γ_n; δ₁ ,…, δ_m). Making use of properties of skew Schur functions $\text{S}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\rho </mtext>}}$ and S_λ(γ ? δ) we put together an umbral calculus for ^m_μG⁽ⁿ⁾_q(γ; δ). That is, working entirely with polynomials, we uniquely determine ^m_μG⁽ⁿ⁾_q(γ; δ) from ^m_μG⁽ⁿ⁾_{q ? 1}(γ; δ) and combinatorial rules involving Ferrers diagrams (i.e., partitions), provided that n ≥ (μ + 1)q. (This restriction does not interfere with writing the general case of ^m_μG⁽ⁿ⁾_q(γ; δ) as a linear combination of S_λ(γ ? δ).) As an application we deduce “conjugation” symmetry for ⁿ_μG⁽ⁿ⁾_q(γ; δ) from “transposition” symmetry by showing that these two symmetries are equivalent.     

Diagonal norm hermitian matrices

If v is a norm on $\text{C}$ⁿ, let H(v) denote the set of all norm-Hermitians in $\text{C}$ⁿⁿ. Let S be a subset of the set of real diagonal matrices D. Then there exists a norm v such that S=H(v) (or S = H(v)∩D) if and only if S contains the identity and S is a subspace of D with a basis consisting of rational vectors. As a corollary, it is shown that, for a diagonable matrix h with distinct eigenvalues λ₁,…, λ_r, r?n, there is a norm v such that h ∈ H(v), but h^s?H(v), for some integer s, if and only if λ₂–λ₁,…, λ_r–λ₁ are linearly dependent over the rationals. It is also shown that the set of all norms v, for which H(v) consists of all real multiples of the identity, is an open, dense subset, in a natural metric, of the set of all norms.     

Strong S-domains

S-domains and strong S-rings are studied extensively with special emphasis on integral and polynomial ring extensions. The main theorem of this paper is that for a Prüfer domain R, the polynomial ring R[X₁,…X_n] in finitely many indeterminates is a strong S-domain. We also prove that any Prüfer υ-multiplication domain is an S-domain.     

Uniqueness of norm on L(G) and C(G) when G is a compact group

Let G be a compact group. If the trivial representation of G is not weakly contained in the left regular representation of G on L₀²(G) and X is either L^p(G) for 1<p?∞ or C(G), then we show that every complete norm |·| on X that makes translations from (X,|·|) into itself continuous is equivalent to ||·||_p or ||·||_∞ respectively. If 1<p?∞ and every left invariant linear functional on L^p(G) is a constant multiple of the Haar integral, then we show that every complete norm |·| on L^p(G) that makes translations from (L^p(G),|·|) into itself continuous and that makes the map t?L_t from G into bounded is equivalent to ||·||_p.